Mathematics from the arXiv

Malthusian assumptions, Boserupian response in models of the transitions to agriculture.

Authors: Carsten Lemmen

In the many transitions from foraging to agropastoralism it is debated whether the primary drivers are innovations in technology or increases of population. The driver discussion traditionally separates Malthusian (technology driven) from Boserupian (population driven) theories. I present a numerical model of the transitions to agriculture and discuss this model in the light of the population versus technology debate and in Boserup’s analytical framework in development theory. Although my model is based on ecological -Neomalthusian- principles, the coevolutionary positive feedback relationship between technology and population results in a seemingly Boserupian response: innovation is greatest when population pressure is highest. This outcome is not only visible in the theory-driven reduced model, but is also present in a corresponding “real world” simulator which was tested against archaeological data, demonstrating the relevance and validity of the coevolutionary model. The lesson to be learned is that not all that acts Boserupian needs Boserup at its core.

Unleashing the power of Schrijver's permanental inequality with the help of the Bethe Approximation.

Authors: Leonid Gurvits

Let be doubly-stochastic matrix. Alexander Schrijver proved in 1998 the following remarkable inequality per(\widetilde{A}) \geq \prod_{1 \leq i,j \leq n} (1- A(i,j)); \widetilde{A}(i,j) =: A(i,j)(1-A(i,j)), 1 \leq i,j \leq n.

We use the above Shrijver’s inequality to prove the following lower bound:

\frac{per(A)}{F(A)} \geq 1; F(A) =: \prod_{1 \leq i,j \leq n} (1- A(i,j))^{1- A(i,j)}.

We use this new lower bound to prove S.Friedland’s Asymptotic Lower Matching Conjecture(LAMC) on monomer-dimer problem.

We use some ideas of our proof of (LAMC) to disprove [Lu,Mohr,Szekely] positive correlation conjecture.

We present explicit doubly-stochastic matrices with the ratio ; conjecture that

\max_{A \in \Omega_n}\frac{per(A)}{F(A)} \approx (\sqrt{2})^{n} and give some examples supporting the conjecture.

If true, the conjecture (and other ones stated in the paper) would imply a deterministic poly-time algorithm to approximate the permanent of nonnegative matrices within the relative factor . The best current such factor is .

Feedback-Topology Designs for Interference Alignment in MIMO Interference Channels.

Authors: Sungyoon Cho, Kaibin Huang, Dongku Kim, Vincent K. N. Lau, Hanbyul Seo, Byounghoon Kim

Interference alignment (IA) is a joint-transmission technique that achieves the capacity of the interference channel for high signal-to-noise ratios (SNRs). Most prior work on IA is based on the impractical assumption that perfect and global channel-state information(CSI) is available at all transmitters. To implement IA, each receiver has to feed back CSI to all interferers, resulting in overwhelming feedback overhead. In particular, the sum feedback rate of each receiver scales quadratically with the number of users even if the quantized CSI is fed back. To substantially suppress feedback overhead, this paper focuses on designing efficient arrangements of feedback links, called feedback topologies, under the IA constraint. For the multiple-input-multiple-output (MIMO) K-user interference channel, we propose the feedback topology that supports sequential CSI exchange (feedback and feedforward) between transmitters and receivers so as to achieve IA progressively. This feedback topology is shown to reduce the network feedback overhead from a cubic function of K to a linear one. To reduce the delay in the sequential CSI exchange, an alternative feedback topology is designed for supporting two-hop feedback via a control station, which also achieves the linear feedback scaling with K. Next, given the proposed feedback topologies, the feedback-bit allocation algorithm is designed for allocating feedback bits by each receiver to different feedback links so as to regulate the residual interference caused by the finite-rate feedback. Simulation results demonstrate that the proposed bit allocation leads to significant throughput gains especially in strong interference environments.

Statistical mechanics of the international trade network.

Authors: Agata Fronczak, Piotr Fronczak

Analyzing real data on international trade covering the time interval 1950-2000, we show that in each year over the analyzed period the network is a typical representative of the ensemble of maximally random weighted networks, whose directed connections (bilateral trade volumes) are only characterized by the product of the trading countries’ GDPs. It means that time evolution of this network may be considered as a continuous sequence of equilibrium states, i.e. quasi-static process. This, in turn, allows one to apply the linear response theory to make (and also verify) simple predictions about the network. In particular, we show that bilateral trade fulfills fluctuation-response theorem, which states that the average relative change in import (export) between two countries is a sum of relative changes in their GDPs. Yearly changes in trade volumes prove that the theorem is valid.

Optimal Uncertainty Quantification.

Authors: Houman Owhadi, Clint Scovel, Timothy John Sullivan, Mike McKerns, Michael Ortiz

We propose a rigorous framework for Uncertainty Quantification (UQ) in which the UQ objectives and the assumptions/information set are brought to the forefront. This framework, which we call \emph{Optimal Uncertainty Quantification} (OUQ), is based on the observation that, given a set of assumptions and information about the problem, there exist optimal bounds on uncertainties: these are obtained as values of well-defined optimization problems corresponding to extremizing probabilities of failure, or of deviations, subject to the constraints imposed by the scenarios compatible with the assumptions and information. In particular, this framework does not implicitly impose inappropriate assumptions, nor does it repudiate relevant information. Although OUQ optimization problems are extremely large, we show that under general conditions they have finite-dimensional reductions. As an application, we develop \emph{Optimal Concentration Inequalities} (OCI) of Hoeffding and McDiarmid type. Surprisingly, these results show that uncertainties in input parameters, which propagate to output uncertainties in the classical sensitivity analysis paradigm, may fail to do so if the transfer functions (or probability distributions) are imperfectly known. We show how, for hierarchical structures, this phenomenon may lead to the non-propagation of uncertainties or information across scales. In addition, a general algorithmic framework is developed for OUQ and is tested on the Caltech surrogate model for hypervelocity impact and on the seismic safety assessment of truss structures, suggesting the feasibility of the framework for important complex systems. The introduction of this paper provides both an overview of the paper and a self-contained mini-tutorial about basic concepts and issues of UQ.

Fast Distributed Computation in Dynamic Networks via Random Walks.

Authors: Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan

The paper investigates efficient distributed computation in dynamic networks in which the network topology changes (arbitrarily) from round to round.

Our first contribution is a rigorous framework for design and analysis of distributed random walk algorithms in dynamic networks. We then develop a fast distributed random walk based algorithm that runs in rounds (with high probability), where is the dynamic mixing time and is the dynamic diameter of the network respectively, and returns a sample close to a suitably defined stationary distribution of the dynamic network. We also apply our fast random walk algorithm to devise fast distributed algorithms for two key problems, namely, information dissemination and decentralized computation of spectral properties in a dynamic network.

Our next contribution is a fast distributed algorithm for the fundamental problem of information dissemination (also called as gossip) in a dynamic network. In gossip, or more generally, -gossip, there are pieces of information (or tokens) that are initially present in some nodes and the problem is to disseminate the tokens to all nodes. We present a random-walk based algorithm that runs in rounds (with high probability). To the best of our knowledge, this is the first -time fully-distributed token forwarding algorithm that improves over the previous-best round distributed algorithm [Kuhn et al., STOC 2010], although in an oblivious adversary model.

Our final contribution is a simple and fast distributed algorithm for estimating the dynamic mixing time and related spectral properties of the underlying dynamic network.

The Capacity Loss of Dense Constellations.

Authors: Tobias Koch, Alfonso Martinez, Albert Guillén i Fàbregas

We determine the loss in capacity incurred by using signal constellations with a bounded support over general complex-valued additive-noise channels for suitably high signal-to-noise ratio. Our expression for the capacity loss recovers the power loss of 1.53dB for square signal constellations.

Four Degrees of Separation, Really.

Authors: Paolo Boldi, Sebastiano Vigna

We recently measured the average distance of users in the Facebook graph, spurring comments in the scientific community as well as in the general press (“Four Degrees of Separation”). A number of interesting criticisms have been made about the meaningfulness, methods and consequences of the experiment we performed. In this paper we want to discuss some methodological aspects that we deem important to underline in the form of answers to the questions we have read in newspapers, magazines, blogs, or heard from colleagues. We indulge in some reflections on the actual meaning of “average distance” and make a number of side observations showing that, yes, 3.74 “degrees of separation” are really few.

Algorithmic randomness and stochastic selection function.

Authors: Hayato Takahashi

We show some equivalent conditions for a sequence to be random w.r.t. uniform measure in terms of its subsequences.

Web Portal for Photonic Technologies Using Grid Infrastructures.

Authors: H. V. Astsatryan, T. V. Gevorgyan, A. R. Shahinyan

The modeling of physical processes is an integral part of scientific and technical research. In this area, the Extendible C++ Application in Quantum Technologies (ECAQT) package provides the numerical simulations and modeling of complex quantum systems in the presence of decoherence with wide applications in photonics. It allows creating models of interacting complex systems and simulates their time evolution with a number of available time-evolution drivers. Physical simulations involving massive amounts of calculations are often executed on distributed computing infrastructures. It is often difficult for non expert users to use such computational infrastructures or even to use advanced libraries over the infrastructures, because they often require being familiar with middleware and tools, parallel programming techniques and packages. The P-RADE Grid Portal is a Grid portal solution that allows users to manage the whole life-cycle for executing a parallel application on the computing Grid infrastructures. The article describes the functionality and the structure of the web portal based on ECAQT package.