Image scoring in ad-hoc networks : an investigation on realistic settings

Encouraging cooperation in distributed Multi-Agent Systems (MAS) remains an open problem. Emergent application domains such as Mobile Ad-hoc Networks (MANETs) are characterised by constraints including sparse connectivity and a lack of direct interaction history. Image scoring, a simple model of reputation proposed by Nowak and Sigmund, exhibits low space and time complexity and promotes cooperation through indirect reciprocity, in which an agent can expect cooperation in the future without repeat interactions with the same partners. The low overheads of image scoring make it a promising technique for ad-hoc networking domains. However, the original investigation of Nowak and Sigmund is limited in that it (i) used a simple idealised setting, (ii) did not consider the effects of incomplete information on the mechanism’s efficacy, and (iii) did not consider the impact of the network topology connecting agents. We address these limitations by investigating more realistic values for the number of interactions agents engage in, and show that incomplete information can cause significant errors in decision making. As the proportion of incorrect decisions rises, the efficacy of image scoring falls and selfishness becomes more dominant. We evaluate image scoring on three different connection topologies: (i) completely connected, which closely approximates Nowak and Sigmund’s original setup, (ii) random, with each pair of nodes connected with a constant probability, and (iii) scale-free, which is known to model a number of real world environments including MANETs

A Classification of Minimal Sets of Torus Homeomorphisms

We provide a classification of minimal sets of homeomorphisms of the two-torus, in terms of the structure of their complement. We show that this structure is exactly one of the following types: (1) a disjoint union of topological disks, or (2) a disjoint union of essential annuli and topological disks, or (3) a disjoint union of one doubly essential component and bounded topological disks. Periodic bounded disks can only occur in type 3. This result provides a framework for more detailed investigations, and additional information on the torus homeomorphism allows to draw further conclusions. In the non-wandering case, the classification can be significantly strengthened and we obtain that a minimal set other than the whole torus is either a periodic orbit, or the orbit of a periodic circloid, or the extension of a Cantor set. Further special cases are given by torus homeomorphisms homotopic to an Anosov, in which types 1 and 2 cannot occur, and the same holds for homeomorphisms homotopic to the identity with a rotation set which has non-empty interior. If a non-wandering torus homeomorphism has a unique and totally irrational rotation vector, then any minimal set other than the whole torus has to be the extension of a Cantor set.Comment: Published in Mathematische Zeitschrift, June 2013, Volume 274, Issue 1-2, pp 405-42

Efficient algorithms for tensor scaling, quantum marginals and moment polytopes

We present a polynomial time algorithm to approximately scale tensors of any format to arbitrary prescribed marginals (whenever possible). This unifies and generalizes a sequence of past works on matrix, operator and tensor scaling. Our algorithm provides an efficient weak membership oracle for the associated moment polytopes, an important family of implicitly-defined convex polytopes with exponentially many facets and a wide range of applications. These include the entanglement polytopes from quantum information theory (in particular, we obtain an efficient solution to the notorious one-body quantum marginal problem) and the Kronecker polytopes from representation theory (which capture the asymptotic support of Kronecker coefficients). Our algorithm can be applied to succinct descriptions of the input tensor whenever the marginals can be efficiently computed, as in the important case of matrix product states or tensor-train decompositions, widely used in computational physics and numerical mathematics. We strengthen and generalize the alternating minimization approach of previous papers by introducing the theory of highest weight vectors from representation theory into the numerical optimization framework. We show that highest weight vectors are natural potential functions for scaling algorithms and prove new bounds on their evaluations to obtain polynomial-time convergence. Our techniques are general and we believe that they will be instrumental to obtain efficient algorithms for moment polytopes beyond the ones consider here, and more broadly, for other optimization problems possessing natural symmetries

Strictly Toral Dynamics

This article deals with nonwandering (e.g. area-preserving) homeomorphisms of the torus $\mathbb{T}^2$ which are homotopic to the identity and strictly toral, in the sense that they exhibit dynamical properties that are not present in homeomorphisms of the annulus or the plane. This includes all homeomorphisms which have a rotation set with nonempty interior. We define two types of points: inessential and essential. The set of inessential points $ine(f)$ is shown to be a disjoint union of periodic topological disks ("elliptic islands"), while the set of essential points $ess(f)$ is an essential continuum, with typically rich dynamics (the "chaotic region"). This generalizes and improves a similar description by J\"ager. The key result is boundedness of these "elliptic islands", which allows, among other things, to obtain sharp (uniform) bounds of the diffusion rates. We also show that the dynamics in $ess(f)$ is as rich as in $\mathbb{T}^2$ from the rotational viewpoint, and we obtain results relating the existence of large invariant topological disks to the abundance of fixed points.Comment: Incorporates suggestions and corrections by the referees. To appear in Inv. Mat

Novel methods of fabrication and metrology of superconducting nanostructures

As metrology extends toward the nanoscale, a number of potential applications and new challenges arise. By combining photolithography with focused ion beam and/or electron beam methods, superconducting quantum interference devices (SQUIDs) with loop dimensions down to 200 nm and superconducting bridge dimensions of the order 80 nm have been produced. These SQUIDs have a range of potential applications. As an illustration, we describe a method for characterizing the effective area and the magnetic penetration depth of a structured superconducting thin film in the extreme limit, where the superconducting penetration depth $lambda$ is much greater than the film thickness and is comparable with the lateral dimensions of the device

Thermodynamic behaviour and structural properties of an aqueous sodium chloride solution upon supercooling

We present the results of a molecular dynamics simulation study of thermodynamic and structural properties upon supercooling of a low concentration sodium chloride solution in TIP4P water and the comparison with the corresponding bulk quantities. We study the isotherms and the isochores for both the aqueous solution and bulk water. The comparison of the phase diagrams shows that thermodynamic properties of the solution are not merely shifted with respect to the bulk. Moreover, from the analysis of the thermodynamic curves, both the spinodal line and the temperatures of maximum density curve can be calculated. The spinodal line appears not to be influenced by the presence of ions at the chosen concentration, while the temperatures of maximum density curve displays both a mild shift in temperature and a shape modification with respect to bulk. Signatures of the presence of a liquid-liquid critical point are found in the aqueous solution. By analysing the water-ion radial distribution functions of the aqueous solution we observe that upon changing density, structural modifications appear close to the spinodal. For low temperatures additional modifications appear also for densities close to that corresponding to a low density configurational energy minimum.Comment: 10 pages, 13 figures, 2 tables. To be published in J. Chem. Phy

Variation in the flowering time orthologs BrFLC and BrSOC1 in a natural population of Brassica rapa.

Understanding the genetic basis of natural phenotypic variation is of great importance, particularly since selection can act on this variation to cause evolution. We examined expression and allelic variation in candidate flowering time loci in Brassica rapa plants derived from a natural population and showing a broad range in the timing of first flowering. The loci of interest were orthologs of the Arabidopsis genes FLC and SOC1 (BrFLC and BrSOC1, respectively), which in Arabidopsis play a central role in the flowering time regulatory network, with FLC repressing and SOC1 promoting flowering. In B. rapa, there are four copies of FLC and three of SOC1. Plants were grown in controlled conditions in the lab. Comparisons were made between plants that flowered the earliest and latest, with the difference in average flowering time between these groups ∼30 days. As expected, we found that total expression of BrSOC1 paralogs was significantly greater in early than in late flowering plants. Paralog-specific primers showed that expression was greater in early flowering plants in the BrSOC1 paralogs Br004928, Br00393 and Br009324, although the difference was not significant in Br009324. Thus expression of at least 2 of the 3 BrSOC1 orthologs is consistent with their predicted role in flowering time in this natural population. Sequences of the promoter regions of the BrSOC1 orthologs were variable, but there was no association between allelic variation at these loci and flowering time variation. For the BrFLC orthologs, expression varied over time, but did not differ between the early and late flowering plants. The coding regions, promoter regions and introns of these genes were generally invariant. Thus the BrFLC orthologs do not appear to influence flowering time in this population. Overall, the results suggest that even for a trait like flowering time that is controlled by a very well described genetic regulatory network, understanding the underlying genetic basis of natural variation in such a quantitative trait is challenging

Global surfaces of section in the planar restricted 3-body problem

The restricted planar three-body problem has a rich history, yet many unanswered questions still remain. In the present paper we prove the existence of a global surface of section near the smaller body in a new range of energies and mass ratios for which the Hill's region still has three connected components. The approach relies on recent global methods in symplectic geometry and contrasts sharply with the perturbative methods used until now.Comment: 11 pages, 1 figur

Isoperimetric Inequalities for Minimal Submanifolds in Riemannian Manifolds: A Counterexample in Higher Codimension

For compact Riemannian manifolds with convex boundary, B.White proved the following alternative: Either there is an isoperimetric inequality for minimal hypersurfaces or there exists a closed minimal hypersurface, possibly with a small singular set. There is the natural question if a similar result is true for submanifolds of higher codimension. Specifically, B.White asked if the non-existence of an isoperimetric inequality for k-varifolds implies the existence of a nonzero, stationary, integral k-varifold. We present examples showing that this is not true in codimension greater than two. The key step is the construction of a Riemannian metric on the closed four-dimensional ball B with the following properties: (1) B has strictly convex boundary. (2) There exists a complete nonconstant geodesic. (3) There does not exist a closed geodesic in B.Comment: 11 pages, We changed the title and added a section that exhibits the relation between our example and the question posed by Brian White concerning isoperimetric inequalities for minimal submanifold