title: Besicovitch Covering Property for homogeneous distances in the Heisenberg groups

abstract: Our main result is a positive answer to the question whether one can find homogeneous distances on the Heisenberg groups that have the Besicovitch Covering Property (BCP). This property is well known to be one of the fundamental tools of measure theory, with strong connections with the theory of differentiation of measures. We prove that BCP is satisfied by the homogeneous distances whose unit ball centered at the origin coincides with an Euclidean ball. Such homogeneous distances do exist on any Carnot group by a result of Hebisch and Sikora. In the Heisenberg groups, they are related to the Cygan-Koranyi (also called Koranyi) distance. They were considered in particular by Lee and Naor to provide a counterexample to the Goemans-Linial conjecture in theoretical computer science. To put our result in perspective, we also prove two geometric criteria that imply the non-validity of BCP, showing that in some sense our example is sharp. Our first criterion applies in particular to commonly used homogeneous distances on the Heisenberg groups, such as the Cygan-Koranyi and Carnot-Caratheodory distances that are already known not to satisfy BCP. To put a different perspective on these results and for sake of completeness, we also give a proof of the fact, noticed by D. Preiss, that in a general metric space, one can always construct a bi-Lipschitz equivalent distance that does not satisfy BCP.


title: Iterative Neural Autoregressive Distribution Estimator (NADE-k)

abstract: Training of the neural autoregressive density estimator (NADE) can be viewed as doing one step of probabilistic inference on missing values in data. We propose a new model that extends this inference scheme to multiple steps, arguing that it is easier to learn to improve a reconstruction in $k$ steps rather than to learn to reconstruct in a single inference step. The proposed model is an unsupervised building block for deep learning that combines the desirable properties of NADE and multi-predictive training: (1) Its test likelihood can be computed analytically, (2) it is easy to generate independent samples from it, and (3) it uses an inference engine that is a superset of variational inference for Boltzmann machines. The proposed NADE-k is competitive with the state-of-the-art in density estimation on the two datasets tested.


title: Numerical evolution of squeezed and non-Gaussian states in loop quantum cosmology

abstract: In recent years, numerical simulations with Gaussian initial states have demonstrated the existence of a quantum bounce in loop quantum cosmology in various models. A key issue pertaining to the robustness of the bounce and the associated physics is to understand the quantum evolution for more general initial states which may depart significantly from Gaussianity and may have no well defined peakedness properties. The analysis of such states, including squeezed and highly non-Gaussian states, has been computationally challenging until now. In this manuscript, we overcome these challenges by using the Chimera scheme for the spatially flat, homogeneous and isotropic model sourced with a massless scalar field. We demonstrate that the quantum bounce in this model occurs even for states which are highly squeezed or are non-Gaussian with multiple peaks and with little resemblance to semi-classical states. The existence of the bounce is found to be robust, being independent of the properties of the states. The evolution of squeezed and non-Gaussian states turns out to be qualitatively similar to that of Gaussian states, and satisfies strong constraints on the growth of the relative fluctuations across the bounce. We also compare the results from the effective dynamics and find that, although it captures the qualitative aspects of the evolution for squeezed and highly non-Gaussian states, it always underestimates the bounce volume. We show that various properties of the evolution, such as the energy density at the bounce, are in excellent agreement with the predictions from an exactly solvable loop quantum cosmological model for arbitrary states.


title: Lens Models of Herschel-Selected Galaxies From High-Resolution Near-IR Observations

abstract: We present Keck-Adaptive Optics and Hubble Space Telescope high resolution near-infrared (IR) imaging for 500 um-bright candidate lensing systems identified by the Herschel Multi-tiered Extra-galactic Survey (HerMES) and Herschel Astrophysical Terahertz Survey (H-ATLAS). Out of 87 candidates with near-IR imaging, 15 (~17%) display clear near-IR lensing morphologies. We present near-IR lens models to reconstruct and recover basic rest-frame optical morphological properties of the background galaxies from 12 new systems. Sources with the largest near-IR magnification factors also tend to be the most compact, consistent with the size bias predicted from simulations and pre- vious lensing models for sub-millimeter galaxies. For four new sources that also have high-resolution sub-mm maps, we test for differential lensing between the stellar and dust components and find that the 880 um magnification factor (u_880) is ~1.5 times higher than the near-IR magnification factor (u_NIR), on average. We also find that the stellar emission is ~2 times more extended in size than dust. The rest-frame optical properties of our sample of Herschel-selected lensed SMGs are consistent with those of unlensed SMGs, which suggests that the two populations are similar.


title: IRCI Free Colocated MIMO Radar Based on Sufficient Cyclic Prefix OFDM Waveforms

abstract: In this paper, we propose a cyclic prefix (CP) based MIMO-OFDM range reconstruction method and its corresponding MIMO-OFDM waveform design for co-located MIMO radar systems. Our proposed MIMO-OFDM waveform design achieves the maximum signal-to-noise ratio (SNR) gain after the range reconstruction and its peak-to-average power ratio (PAPR) in the discrete time domain is also optimal, i.e., 0dB, when Zadoff-Chu sequences are used in the discrete frequency domain as the weighting coefficients for the subcarriers. We also investigate the performance when there are transmit and receive digital beamforming (DBF) pointing errors. It is shown that our proposed CP based MIMO-OFDM range reconstruction is inter-range-cell interference (IRCI) free no matter whether there are transmit and receive DBF pointing errors or not. Simulation results are presented to verify the theory and compare it with the conventional OFDM and LFM co-located MIMO radars.


title: Controllability and reachability of singular linear discrete time systems

abstract: The main objective of this article is to develop a matrix pencil approach for the study of the controllability and reachability of a class of linear singular discrete time systems. The description equation of a practical system may be established through selection of the proper state variables. Time domain analysis is the method of analyzing the system based on this description equation, through which we may gain a fair understanding of the system's structural features as well as its internal properties. Using time domain analysis, this article studies the fundamentals in system theory such as reachability and controllability.


title: Effective Theory of Floquet Topological Transitions

abstract: We develop a theory of topological transitions in a Floquet topological insulator, using graphene irradiated by circularly polarized light as a concrete realization. We demonstrate that a hallmark signature of such transitions in a static system, i.e. metallic bulk transport with conductivity of order $e^2/h$, is substantially suppressed at some Floquet topological transitions in the clean system. We determine the conditions for this suppression analytically and confirm our results in numerical simulations. Remarkably, introducing disorder dramatically enhances this transport by several orders of magnitude.


title: Geography of irreducible plane sextics

abstract: We complete the equisingular deformation classification of irreducible singular plane sextic curves. As a by-product, we also compute the fundamental groups of the complement of all but a few maximizing sextics.


title: Experimental signatures of a light singlet-like scalar in NMSSM

abstract: NMSSM with a light singlet-like scalar and strongly suppressed couplings to $b$ and $\tau$ is investigated. It is shown that in such a scenario the singlet-like scalar to diphoton signal can be larger than for the SM Higgs for a wide range of masses between 60 and 110 GeV, in agreement with all the LEP and LHC data. Enhancement of the singlet-like scalar to diphoton signal is correlated with positive correction to the SM-like Higgs mass from mixing between SM-like Higgs and the singlet. It is also shown that the couplings to $b$ and $\tau$ and, in consequence, branching ratios of the SM-like Higgs are anti-correlated with those of the singlet-like scalar. If the singlet-like scalar to diphoton signal is enhanced, the signal strengths of the 125 GeV Higgs in the diphoton and $WW^*/ZZ^*$ channels are predicted to be smaller than for the SM Higgs.


title: Addendum to "Coherent Lagrangian vortices: The black holes of turbulence"

abstract: In Haller and Beron-Vera (2013) we developed a variational principle for the detection of coherent Lagrangian vortex boundaries. The solutions of this variational principle turn out to be closed null-geodesics of the Lorentzian metric associated with a generalized Green-Lagrange strain tensor family. This metric interpretation implies a mathematical analogy between coherent Lagrangian vortex boundaries and photon spheres in general relativity. Here we give an improved discussion on this analogy.


title: Computational Algorithm for Orbit and Mass Determination of Visual Binaries

abstract: In this paper we introduce an algorithm for determining the orbital elements and individual masses of visual binaries. The algorithm uses an optimal point, which minimizes a specific function describing the average length between the least-squares solution and the exact solution. The objective function to be minimized is exact, without any approximation. The algorithm is applied to Kowalsky's method for orbital parameter computation, and to Reed's method for the determination of the dynamical parallax and individual masses. The procedure is applied to A 1145 and ADS 15182.


title: Predicting Polymeric Crystal Structures by Evolutionary Algorithms

abstract: The recently developed evolutionary algorithm USPEX proved to be a tool that enables accurate and reliable prediction of structures for a given chemical composition. Here we extend this method to predict the crystal structure of polymers by performing constrained evolutionary search, where each monomeric unit is treated as one or several building blocks with fixed connectivity. This greatly reduces the search space and allows the initial structure generation with different sequences and packings using these blocks. The new constrained evolutionary algorithm is successfully tested and validated on a diverse range of experimentally known polymers, namely polyethylene (PE), polyacetylene (PA), poly(glycolic acid) (PGA), poly(vinyl chloride) (PVC), poly(oxymethylene) (POM), poly(phenylene oxide) (PPO), and poly (p-phenylene sulfide) (PPS). By fixing the orientation of polymeric chains, this method can be further extended to predict all polymorphs of poly(vinylidene fluoride) (PVDF), and the complex linear polymer crystals, such as nylon-6 and cellulose. The excellent agreement between predicted crystal structures and experimentally known structures assures a major role of this approach in the efficient design of the future polymeric materials.


title: Structure in galaxy clusters

abstract: We will discuss here how structures observed in clusters of galaxies can provide us insight on the formation and evolution of these objects. We will focus primarily on X-ray observations and results from hydrodynamical $N$-body simulations. This paper is based on a talk given at the School of Cosmology Jose Plinio Baptista -- `Cosmological perturbations and Structure Formation' in Ubu/ES, Brazil.


title: Improved Mass and Radius Constraints for Quiescent Neutron Stars in Omega Cen and NGC 6397

abstract: We use Chandra and XMM observations of the globular clusters $\omega$ Cen and NGC 6397 to measure the spectrum of their quiescent neutron stars (NSs), and thus to constrain the allowed ranges of mass and radius for each. We also use Hubble Space Telescope photometry of NGC 6397 to identify a potential optical companion to the quiescent NS, and find evidence that the companion lacks hydrogen. We carefully consider a number of systematic problems, and show that the choices of atmospheric composition, interstellar medium abundances, and cluster distances can have important effects on the inferred NS mass and radius. We find that for typical NS masses, the radii of both NSs are consistent with the 10-13 km range favored by recent nuclear physics experiments. This removes the evidence suggested by Guillot and collaborators for an unusually small NS radius, which relied upon the small inferred radius of the NGC 6397 NS.


title: Glassy slowdown and replica-symmetry-breaking instantons

abstract: Glass-forming liquids exhibit a dramatic dynamical slowdown as the temperature is lowered. This can be attributed to relaxation proceeding via large structural rearrangements whose characteristic size increases as the system cools. These cooperative rearrangements are well modeled by instantons in a replica effective field theory, with the size of the dominant instanton encoding the liquid's cavity point-to-set correlation length. Varying the parameters of the effective theory corresponds to varying the statistics of the underlying free-energy landscape. We demonstrate that, for a wide range of parameters, replica-symmetry-breaking instantons dominate. The detailed structure of the dominant instanton provides a rich window into point-to-set correlations and glassy dynamics.


title: Heat Trace and Functional Determinant in One Dimension

abstract: We study the spectral properties of the Laplace type operator on the circle. We discuss various approximations for the heat trace, the zeta function and the zeta-regularized determinant. We obtain a differential equation for the heat kernel diagonal and a recursive system for the diagonal heat kernel coefficients, which enables us to find closed approximate formulas for the heat trace and the functional determinant which become exact in the limit of infinite radius. The relation to the generalized KdV hierarchy is discussed as well.


title: F-Saturation Games

abstract: We study F-saturation games, first introduced by F\"uredi, Reimer and Seress in 1991, and named as such by West. The main question is to determine the length of the game whilst avoiding various classes of graph, playing on a large complete graph. We show lower bounds on the length of path-avoiding games, and more precise results for short paths. We show sharp results for the tree avoiding game and the star avoiding game.


title: Connectivity of Natura 2000 forest sites in Europe

abstract: Background/Purpose: In the context of the European Biodiversity policy, the Green Infrastructure Strategy is one supporting tool to mitigate fragmentation, inter-alia to increase the spatial and functional connectivity between protected and unprotected areas. The Joint Research Centre has developed an integrated model to provide a macro-scale set of indices to evaluate the connectivity of the Natura 2000 network, which forms the backbone of a Green Infrastructure for Europe. The model allows a wide assessment and comparison to be performed across countries in terms of structural (spatially connected or isolated sites) and functional connectivity (least-cost distances between sites influenced by distribution, distance and land cover). Main conclusion: The Natura 2000 network in Europe shows differences among countries in terms of the sizes and numbers of sites, their distribution as well as distances between sites. Connectivity has been assessed on the basis of a 500 m average inter-site distance, roads and intensive land use as barrier effects as well as the presence of "green" corridors. In all countries the Natura 2000 network is mostly made of sites which are not physically connected. Highest functional connectivity values are found for Spain, Slovakia, Romania and Bulgaria. The more natural landscape in Sweden and Finland does not result in high inter-site network connectivity due to large inter-site distances. The distribution of subnets with respect to roads explains the higher share of isolated subnets in Portugal than in Belgium.


title: Towards designing artificial universes for artificial agents under interaction closure

abstract: We are interested in designing artificial universes for artifi- cial agents. We view artificial agents as networks of high- level processes on top of of a low-level detailed-description system. We require that the high-level processes have some intrinsic explanatory power and we introduce an extension of informational closure namely interaction closure to capture this. Then we derive a method to design artificial universes in the form of finite Markov chains which exhibit high-level pro- cesses that satisfy the property of interaction closure. We also investigate control or information transfer which we see as an building block for networks representing artificial agents.


title: The luminosity and stellar mass functions of GRB host galaxies: Insight into the metallicity bias

abstract: Long-Duration Gamma-Ray Bursts (GRBs) are powerful probes of the Universe star formation history, but correlation between the two depends on the highly debated presence/strength of a metallicity bias. To investigate this correlation, we use a phenomenological model that successfully describes star formation rates, luminosities and stellar masses of star forming galaxies, applying it to GRB production. We predict luminosities, stellar masses, and metallicities of host galaxies depending on the metallicity bias. Our best-fitting model includes a moderate metallicity bias, broadly consistent with the large majority of long-duration GRBs in metal-poor environments originating from collapsars (probability ~83%), but with a secondary contribution (~17%) from metal-independent production channels, such as binary evolution. Because of the mass-metallicity relation of galaxies, the maximum likelihood model predicts that the metal-independent channel becomes dominant at z<2, where hosts have higher metallicities and collapsars are suppressed. This possibly explains why some studies find no clear evidence of a metal-bias based on low-z samples. However, while metallicity predictions match observations well at high redshift, there is tension with low redshift observations, since a significant fraction of GRB hosts are predicted to have (near-)solar metallicity. This is in contrast to observations, unless obscured, metal-rich hosts are preferentially missed in current datasets, and suggests that lower efficiencies of the metal-independent GRB channel might be preferred following a comprehensive fit from complete samples. Overall, we are able to establish the presence of a metallicity bias for GRB production, but continued characterization of GRB host galaxies is needed to quantify its strength.


title: 1-loop Color structures and sunny diagrams

abstract: Recently the space of tree level color structures for gluon scattering was determined in arXiv:1403.6837 together with its transformation properties under permutations. Here we generalize the discussion to loops, demonstrating a reduction of an arbitrary color diagram to its vacuum skeleton plus rays. For 1-loop there are no residual relations and we determine the space of color structures both diagrammatically and algebraically in terms of certain sunny diagrams. We present the generating function for the characteristic polynomials and a list of irreducible representations for $3 \le n \le 9$ external legs. Finally we present a new proof for the 1-loop shuffle relations based on the cyclic shuffle and split operations.


title: Black Holes, Entropies, and Semiclassical Spacetime in Quantum Gravity

abstract: We present a coherent picture of the quantum mechanics of black holes. The picture does not require the introduction of any drastically new physical effect beyond what is already known; it arises mostly from synthesizing and (re)interpreting existing results in appropriate manners. We identify the Bekenstein-Hawking entropy as the entropy associated with coarse-graining performed to obtain semiclassical field theory from a fundamental microscopic theory of quantum gravity. This clarifies the issues around the unitary evolution, the existence of the interior spacetime, and the thermodynamic nature in black hole physics--any result in semiclassical field theory is a statement about the maximally mixed ensemble of microscopic quantum states consistent with the specified background, within the precision allowed by quantum mechanics. We present a detailed analysis of information transfer in Hawking emission and black hole mining processes, clarifying what aspects of the underlying dynamics are (not) visible in semiclassical field theory. We also discuss relations between the black hole entropy and the entanglement entropy across the horizon. We then extend our discussions to more general contexts in quantum gravity. The subjects include extensions to de Sitter and Minkowski spaces and implications for complementarity and cosmology, especially the eternally inflating multiverse.


title: The Ellipticity Distribution of Ambiguously Blended Objects

abstract: Using overlapping fields with space-based Hubble Space Telescope (HST) and ground-based Subaru Telescope imaging we identify a population of blended galaxies that are blended to such a large degree that they are detected as single objects in the ground-based monochromatic imaging, which we label as 'ambiguous blends'. For deep imaging data, such as the depth targeted with the Large Synoptic Survey Telescope (LSST), the ambiguous blend population is both large ($\sim 14$%) and has a distribution of ellipticities that is different from that of unblended objects in a way that will likely be important for the weak lensing measurements. Most notably, for a limiting magnitude of $i \sim 27$ we find that ambiguous blending results in a ~14% increase in shear noise (or ~12% decrease in the effective projected number density of lensed galaxies; neff) due to 1) larger intrinsic ellipticity dispersion, 2) a scaling with the galaxy number density $N_{gal}$ that is shallower than 1/$\sqrt{N_{gal}}$. For the LSST Gold Sample ($i < 25.3$) there is a ~7% increase in shear noise (or ~7% decrease in $n_{eff}$). More importantly than these increases in the shear noise, we find that the ellipticity distribution of ambiguous blends has an RMS 13% larger than that of non-blended galaxies. Given the need of future weak lensing surveys to constrain the ellipticity distribution of galaxies to better than a percent in order to mitigate cosmic shear multiplicative biases, the different ellipticity distribution of ambiguous blends could be a dominant systematic if unaccounted for.


title: The Density of Surface States in Weyl Semimetals

abstract: Weyl semimetal is a three-dimensional material with a conical spectrum near an even number of point nodes, where two bands touch each other. Here we study spectral properties of surface electron states in such a system. We show that the density of surface states possesses a logarithmic singularity for the energy $\varepsilon \to 0$. It decreases linearly at the intermediate energy of surface electron states and approaches zero as $\sqrt{1-\varepsilon}$ for $\varepsilon \to 1$. This universal behavior is a hallmark of the topological order that offers a new wide range of applications.


title: A Parametric Family of Subalgebras of the Weyl Algebra III. Derivations

abstract: An Ore extension over a polynomial algebra F[x] is either a quantum plane, a quantum Weyl algebra, or an infinite-dimensional unital associative algebra A_h generated by elements x,y, which satisfy yx-xy = h, where h is in F[x]. When h is nonzero, these algebras are subalgebras of the Weyl algebra A_1 and can be viewed as differential operators with polynomial coefficients. In previous work, we investigated the structure of A_h, determined its automorphisms and their invariants, and studied the irreducible A_h-modules. Here we determine the derivations of A_h over an arbitrary field.


title: Systematic N-tuple Networks for Position Evaluation: Exceeding 90% in the Othello League

abstract: N-tuple networks have been successfully used as position evaluation functions for board games such as Othello or Connect Four. The effectiveness of such networks depends on their architecture, which is determined by the placement of constituent n-tuples, sequences of board locations, providing input to the network. The most popular method of placing n-tuples consists in randomly generating a small number of long, snake-shaped board location sequences. In comparison, we show that learning n-tuple networks is significantly more effective if they involve a large number of systematically placed, short, straight n-tuples. Moreover, we demonstrate that in order to obtain the best performance and the steepest learning curve for Othello it is enough to use n-tuples of size just 2, yielding a network consisting of only 288 weights. The best such network evolved in this study has been evaluated in the online Othello League, obtaining the performance of nearly 96% --- more than any other player to date.


title: Proceedings of the Eleventh Workshop on Constraint Handling Rules

abstract: This volume contains the papers presented at the eleventh Workshop on Constraint Handling Rules (CHR 2014), which will be held in Vienna at the occasion of the Vienna Summer of Logic (VSL)


title: Dusty plasma cavities: probe-induced and natural

abstract: A comprehensive exploration of regional dust evacuation in complex plasma crystals is presented. Voids created in 3D crystals on the International Space Station have provided a rich foundation for experiments, but cavities in dust crystals formed in ground-based experiments have not received as much attention. Inside a modified GEC RF cell, a powered vertical probe was used to clear the central area of a dust crystal, producing a cavity with high cylindrical symmetry. Cavities generated by three mechanisms are examined. First, repulsion of micrometer-sized particles by a negatively charged probe is investigated. A model of this effect developed for a DC plasma is modified and applied to explain new experimental data in RF plasma. Second, the formation of natural cavities is surveyed; a radial ion drag proposed to occur due to a curved sheath is considered in conjunction with thermophoresis and a flattened confinement potential above the center of the electrode. Finally, cavity formation unexpectedly occurs upon increasing the probe potential above the plasma floating potential. The cavities produced by these methods appear similar, but each are shown to be facilitated by fundamentally different processes.


title: Improved initial guess for minimum energy path calculations

abstract: A method is presented for generating a good initial guess of a transition path between given initial and final states of a system without evaluation of the energy. An objective function surface is constructed using an interpolation of pairwise distances at each discretization point along the path and the nudged elastic band method then used to find an optimal path on this image dependent pair potential (IDPP) surface. This provides an initial path for the more computationally intensive calculations of the true minimum energy path using some method of choice for evaluating the energy and atomic forces, for example by ab initio or density functional theory. The optimal path on the IDPP surface is significantly closer to the true minimum energy path than a linear interpolation of the Cartesian coordinates and, therefore, reduces the number of iterations needed to reach convergence and averts divergence in the electronic structure calculations when atoms are brought too close to each other in the initial path. The method is illustrated with three examples: (1) rotation of a methyl group in an ethane molecule, (2) an exchange of atoms in an island on a crystal surface, and (3) an exchange of two Si-atoms in amorphous silicon. In all three cases, the computational effort in finding the minimum energy path with DFT was reduced by a factor ranging from 50 % to an order of magnitude by using an IDPP path as the initial path. The time required for parallel computations was reduced even more because of load imbalance when linear interpolation of Cartesian coordinates was used.


title: Localisation in worldline pair production and lightfront zero-modes

abstract: The nonperturbative probability of pair production in electric fields depending on lightfront time is given exactly by the locally constant approximation. We explain this by showing that the worldline path integral defining the effective action contains a constraint, which localises contributing paths on hypersurfaces of constant lightfront time. These paths are lightfront zero-modes and there can be no pair production without them; the effective action vanishes if they are projected out.


title: Differential cohomology and locally covariant quantum field theory

abstract: We study differential cohomology on categories of globally hyperbolic Lorentzian manifolds. The Lorentzian metric allows us to define a natural transformation whose kernel generalizes Maxwell's equations and fits into a restriction of the fundamental exact sequences of differential cohomology. We consider smooth Pontryagin duals of differential cohomology groups, which are subgroups of the character groups. We prove that these groups fit into smooth duals of the fundamental exact sequences of differential cohomology and equip them with a natural presymplectic structure derived from a generalized Maxwell Lagrangian. The resulting presymplectic Abelian groups are quantized using the CCR-functor, which yields a covariant functor from our categories of globally hyperbolic Lorentzian manifolds to the category of C*-algebras. We prove that this functor satisfies the causality and time-slice axioms of locally covariant quantum field theory, but that it violates the locality axiom. We show that this violation is precisely due to the fact that our functor has topological subfunctors describing the Pontryagin duals of certain singular cohomology groups. As a byproduct, we develop a Fr\'echet-Lie group structure on differential cohomology groups.


title: An overview of the planned CCAT software system

abstract: CCAT will be a 25m diameter sub-millimeter telescope capable of operating in the 0.2 to 2.1mm wavelength range. It will be located at an altitude of 5600m on Cerro Chajnantor in northern Chile near the ALMA site. The anticipated first generation instruments include large format (60,000 pixel) kinetic inductance detector (KID) cameras, a large format heterodyne array and a direct detection multi-object spectrometer. The paper describes the architecture of the CCAT software and the development strategy.


title: On the Performance of Non-Orthogonal Multiple Access in 5G Systems with Randomly Deployed Users

abstract: In this letter, the performance of non-orthogonal multiple access (NOMA) is investigated in a cellular downlink scenario with randomly deployed users. The developed analytical results show that NOMA can achieve superior performance in terms of ergodic sum rates; however, the outage performance of NOMA depends critically on the choices of the users' targeted data rates and allocated power. In particular, a wrong choice of the targeted data rates and allocated power can lead to a situation in which the user's outage probability is always one, i.e. the user's targeted quality of service will never be met.


title: Yet another criterion for global existence in the 3D relativistic Vlasov-Maxwell system

abstract: We prove that solutions of the 3D relativistic Vlasov-Maxwell system can be extended, as long as the quantity $\sigma_{-1}(t, x) = \max_{|\omega|=1} \,\int_{R^3} \frac{dp}{\sqrt{1+p^2}}\, \frac{1}{(1+v\cdot\omega)}\, f(t, x, p)$ is bounded in $L^2_x$.


title: Signatures of Cloud, Temperature, and Gravity From Spectra of the Closest Brown Dwarfs

abstract: We present medium resolution optical and NIR spectral data for components of the newly discovered WISE J104915.57-531906.1AB (Luhman 16AB) brown dwarf binary. The optical spectra reveal strong 6708 A Li I absorption in both Luhman 16A (8.0+/-0.4 A) and Luhman 16B (3.8+/-0.4 A). Interestingly, this is the first detection of Li I absorption in a T dwarf. Combined with the lack of surface gravity features, the Li I detection constrains the system age to 0.1 - 3 Gyr. In the NIR data, we find strong KI absorption at 1.168, 1.177, 1.243, and 1.254 {\mu}m in both components. Compared to the strength of KI line absorption in equivalent spectral subtype brown dwarfs, Luhman 16A is weaker while Luhman 16B is stronger. Analyzing the spectral region around each doublet in distance scaled flux units and comparing the two sources, we confirm the J band flux reversal and find that Luhman 16B has a brighter continuum in the 1.17 {\mu}m and 1.25 {\mu}m regions than Luhman 16A. Converting flux units to a brightness temperature we interpret this to mean that the secondary is ~ 50 K warmer than the primary in regions dominated by condensate grain scattering. One plausible explanation for this difference is that Luhman 16B has thinner clouds or patchy holes in its atmosphere allowing us to see to deeper, hotter regions. We also detect comparably strong FeH in the 0.9896 {\mu}m Wing-Ford band for both components. Traditionally, a signpost of changing atmosphere conditions from late-type L to early T dwarfs, the persistence and similarity of FeH at 0.9896 {\mu}m in both Luhman 16A and Luhman 16B is an indication of homogenous atmosphere conditions. We calculate bolometric luminosities from observed data supplemented with best fit models for longer wavelengths and find the components are consistent within 1{\sigma} with resultant Teffs of 1310+/-30 K and 1280+/-75 K for Luhman 16AB respectively.


title: Exploring the role of the Sun's motion in terrestrial comet impacts

abstract: The cratering record on the Earth and Moon shows that our planet has been exposed to high velocity impacts for much or all of its existence. Some of these craters were produced by the impact of long period comets (LPCs). These probably originated in the Oort cloud, and were put into their present orbits through gravitational perturbations arising from the Galactic tide and stellar encounters, both of which are modulated by the solar motion about the Galaxy. Here we construct dynamicalmodels of these mechanisms in order to predict the time-varying impact rate of LPCs and the angular distribution of their perihelia (which is observed to be non-uniform). Comparing the predictions of these dynamical models with other models, we conclude that cometary impacts induced by the solar motion contribute only a small fraction of terrestrial impact craters over the past 250 Myr. Over this time scale the apparent cratering rate is dominated by a secular increase towards the present, which might be the result of the disruption of a large asteroid. Our dynamical models, together with the solar apex motion, predict a non-uniform angular distribution of the perihelia, without needing to invoke the existence of a massive body in the outer Oort cloud. Our results are reasonably robust to changes in the parameters of the Galaxy model, Oort cloud, and stellar encounters.


title: Inherent limits on optimization and discovery in physical systems

abstract: Topological mapping of a large physical system on a graph, and its decomposition using universal measures is proposed. We find inherent limits to the potential for optimization of a given system and its approximate representations by motifs, and the ability to reconstruct the full system given approximate representations. The approximate representation of the system most suited for optimization may be different from that which most accurately describes the full system.


title: Higher spin AdS_3 holography with extended supersymmetry

abstract: We propose a holographic duality between a higher spin AdS_3 gravity with so(p) extended supersymmetry and a large N limit of a 2-dimensional Grassmannian-like model with a specific critical level k=N and a non-diagonal modular invariant. As evidence, we show the match of one-loop partition functions. Moreover, we construct symmetry generators of the coset model for low spins which are dual to gauge fields in the supergravity. Further, we discuss a possible relation to superstring theory by noticing an N=3 supersymmetry of critical level model at finite k,N. In particular, we examine BPS states and marginal deformations. Inspired by the supergravity side, we also propose and test another large N CFT dual obtained as a Z_2 automorphism truncation of a similar coset model, but at a non-critical level.


title: Necessary integrability conditions for evolutionary lattice equations

abstract: The structure of solutions is studied for the Lax equation $D_t(G)=[F,G]$ for formal power series with respect to the shift operator. It is proved that if the equation with a given series $F$ of degree $m$ admits a solution $G$ of degree $k$ then it admits, as well, a solution $H$ of degree $m$ such that $H^k=G^m$. This property is used for derivation of necessary integrability conditions for scalar evolutionary lattices.


title: McMillan-Mayer Theory of Solutions Revisited: Simplifications and Extensions

abstract: McMillan and Mayer (MM) proved two remarkable theorems in their paper on the equilibrium statistical mechanics of liquid solutions. They first showed that the grand canonical partition function for a solution can be reduced to a one with an effectively solute-only form, by integrating out the solvent degrees of freedom. The total effective solute potential in the effective solute grand partition function can be decomposed into components which are potentials of mean force for isolated groups of one, two, three, etc, solute molecules. Secondly, from the first result, now assuming low solute concentration, MM derived an expansion for the osmotic pressure in powers of the solute concentration, in complete analogy with the virial expansion of gas pressure in powers of the density at low density. The molecular expressions found for the osmotic virial coefficients have exactly the same form as the corresponding gas virial coefficients, with potentials of mean force replacing vacuum potentials. In this paper we restrict ourselves to binary liquid solutions with solute species $A$ and solvent species $B$ and do three things: (a) By working with a semi-grand canonical ensemble (grand with respect to solvent only) instead of the grand canonical ensemble used by MM, and avoiding graphical methods, we have greatly simplified the derivation of the first MM result,(b) by using a simple nongraphical method developed by van Kampen for gases, we have greatly simplified the derivation of the second MM result,i.e.,the osmotic pressure virial expansion; as a by-product, we show the precise relation between MM theory and Widom potential distribution theory, and (c) we have extended MM theory by deriving virial expansions for other solution properties such as the enthalpy of mixing. The latter expansion, with changed independent variables corresponding to current experiments, is proving useful.


title: Thermodynamics of lattice QCD with 3 flavours of colour-sextet quarks II: N_t=6 and N_t=8

abstract: We have been studying QCD with 2 flavours of colour-sextet quarks as a candidate walking-Technicolor theory using lattice-QCD simulations. The evolution of the coupling constant with lattice spacing is measured at the finite-temperature chiral transition to determine if this theory is asymptotically free and hence QCD-like. The lattice spacing is varied by changing the number of lattice sites, $N_t$, in the Euclidean time direction. QCD with 3 flavours is studied for comparison. Since this theory is expected to be conformal, with an infrared fixed point, the coupling constant at the chiral transition should approach a non-zero value as $N_t$ becomes large. Our earlier simulations on lattices with $N_t=4$ and $N_t=6$ exhibited a significant decrease in coupling at the chiral transition as $N_t$ was increased. We have now extended these simulations to $N_t=8$, and performed additional simulations at $N_t=6$ to measure the coupling constant at the chiral transition more precisely. These indicate that while there is an appreciable decrease in coupling between $N_t=6$ and $N_t=8$, this is much smaller than that between $N_t=4$ and $N_t=6$. Thus we are hopeful that we are approaching the large-$N_t$ limit. However, further simulations at larger $N_t$(s) are needed.


title: Backreaction of Hawking Radiation on a Gravitationally Collapsing Star I: Black Holes?

abstract: Particle creation leading to Hawking radiation is produced by the changing gravitational field of the collapsing star. The two main initial conditions in the far past placed on the quantum field from which particles arise, are the Hartle Hawking vacuum and the Unruh vacuum. The former leads to a time symmetric thermal bath of radiation, while the latter to a flux of radiation coming out of the collapsing star. The energy of Hawking radiation in the interior of the collapsing star is negative and equal in magnitude to its value at future infinity. This work investigates the backreaction of Hawking radiation on the interior of a gravitationally collapsing star, in a Hartle-Hawking initial vacuum. It shows that due to the negative energy Hawking radiation in the interior, the collapse of the star stops at a finite radius, before the singularity and the event horizon of a black hole have a chance to form. That is, the star bounces instead of collapsing to a black hole. A trapped surface near the last stage of the star's collapse to its minimum size may still exist temporarily. Its formation depends on the details of collapse. Results for the case of Hawking flux of radiation with the Unruh initial state, will be given in a companion paper II.


title: Totally disconnected locally compact groups locally of finite rank

abstract: We study totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contain a compact open subgroup with finite rank. We show such groups that additionally admit a pro-$\pi$ compact open subgroup for some finite set of primes $\pi$ are virtually an extension of a finite direct product of topologically simple groups by an elementary group. This result, in particular, applies to l.c.s.c. $p$-adic Lie groups. We go on to prove a decomposition result for all t.d.l.c.s.c. groups containing a compact open subgroup with finite rank. In the course of proving these theorems, we demonstrate independently interesting structure results for t.d.l.c.s.c. groups with a compact open pro-nilpotent subgroup and for topologically simple l.c.s.c. $p$-adic Lie groups.


title: Nonexistence of small doubly periodic solutions for dispersive equations

abstract: We study the question of existence of time-periodic, spatially periodic solutions for dispersive evolution equations, and in particular, we introduce a framework for demonstrating the nonexistence of such solutions. We formulate the problem so that doubly periodic solutions correspond to fixed points of a certain operator. We prove that this operator is locally contracting, for almost every temporal period, if the Duhamel integral associated to the evolution exhibits a weak smoothing property. This implies the nonexistence of nontrivial, small-amplitude time-periodic solutions for almost every period if the smoothing property holds. This can be viewed as a partial analogue of scattering for dispersive equations on periodic intervals, since scattering in free space implies the nonexistence of small coherent structures. We use a normal form to demonstrate the smoothing property on specific examples, so that it can be seen that there are indeed equations for which the hypotheses of the general theorem hold. The nonexistence result is thus established through the novel combination of small divisor estimates and dispersive smoothing estimates. The examples treated include the Korteweg-de Vries equation and the Kawahara equation.


title: Towards building a Crowd-Sourced Sky Map

abstract: We describe a system that builds a high dynamic-range and wide-angle image of the night sky by combining a large set of input images. The method makes use of pixel-rank information in the individual input images to improve a "consensus" pixel rank in the combined image. Because it only makes use of ranks and the complexity of the algorithm is linear in the number of images, the method is useful for large sets of uncalibrated images that might have undergone unknown non-linear tone mapping transformations for visualization or aesthetic reasons. We apply the method to images of the night sky (of unknown provenance) discovered on the Web. The method permits discovery of astronomical objects or features that are not visible in any of the input images taken individually. More importantly, however, it permits scientific exploitation of a huge source of astronomical images that would not be available to astronomical research without our automatic system.


title: Jamming in finite systems: stability, anisotropy, fluctuations and scaling

abstract: Athermal packings of soft repulsive spheres exhibit a sharp jamming transition in the thermodynamic limit. Upon further compression, various structural and mechanical properties display clean power-law behavior over many decades in pressure. As with any phase transition, the rounding of such behavior in finite systems close to the transition plays an important role in understanding the nature of the transition itself. The situation for jamming is surprisingly rich: the assumption that jammed packings are isotropic is only strictly true in the large-size limit, and finite-size has a profound effect on the very meaning of jamming. Here, we provide a comprehensive numerical study of finite-size effects in sphere packings above the jamming transition, focusing on stability as well as the scaling of the contact number and the elastic response.


title: A quantitative variant of the multi-colored Motzkin-Rabin theorem

abstract: We prove a quantitative version of the multi-colored Motzkin-Rabin theorem in the spirit of [BDWY12]: Let $V_1,\ldots,V_n \subset R^d$ be $n$ disjoint sets of points (of $n$ `colors'). Suppose that for every $V_i$ and every point $v \in V_i$ there are at least $\delta |V_i|$ other points $u \in V_i$ so that the line connecting $v$ and $u$ contains a third point of another color. Then the union of the points in all $n$ sets is contained in a subspace of dimension bounded by a function of $n$ and $\delta$ alone.


title: Elasto-capillary interaction of particles on the surfaces of ultra-soft gels: a novel route to study self-assembly and soft lubrication

abstract: We study the interaction of small hydrophobic particles on the surface of an ultra-soft elastic gel, in which a small amount of elasticity of the medium balances the weights of the particles. The excess energy of the surface of the deformed gel causes them to attract as is the case with the generic capillary interactions of particles on a liquid surface. The variation of the gravitational potential energies of the particles resulting from their descents in the gel coupled with the superposition principle of Nicolson allow a fair estimation of the distance dependent attractive energy of the particles. This energy follows a modified Bessel function of the second kind with a characteristic elastocapillary decay length that decreases with the elasticity of the medium. An interesting finding of this study is that the particles on the gel move towards each other as if the system possesses a negative diffusivity that is inversely proportional to friction. This study illustrates how the capillary interaction of particles is modified by the elasticity of the medium, which is expected to have important implications in the surface force driven self-assembly of particles. In particular, this study points out that the range and the strength of the capillary interaction can be tuned in by appropriate choices of the elasticity of the support and the interfacial tension of the surrounding medium. Manipulation of the particle interactions is exemplified in such fascinating mimicry of the biological processes as the tubulation, phagocytic engulfment and in the assembly of particles that can be used to study nucleation and clustering phenomena in well controlled settings.


title: Developing a Mathematical Model for Bobbin Lace

abstract: Bobbin lace is a fibre art form in which intricate and delicate patterns are created by braiding together many threads. An overview of how bobbin lace is made is presented and illustrated with a simple, traditional bookmark design. Research on the topology of textiles and braid theory form a base for the current work and is briefly summarized. We define a new mathematical model that supports the enumeration and generation of bobbin lace patterns using an intelligent combinatorial search. Results of this new approach are presented and, by comparison to existing bobbin lace patterns, it is demonstrated that this model reveals new patterns that have never been seen before. Finally, we apply our new patterns to an original bookmark design and propose future areas for exploration.


title: Continuous Data Assimilation with Stochastically Noisy Data

abstract: We analyze the performance of a data-assimilation algorithm based on a linear feedback control when used with observational data that contains measurement errors. Our model problem consists of dynamics governed by the two-dimension incompressible Navier-Stokes equations, observational measurements given by finite volume elements or nodal points of the velocity field and measurement errors which are represented by stochastic noise. Under these assumptions, the data-assimilation algorithm consists of a system of stochastically forced Navier-Stokes equations. The main result of this paper provides explicit conditions on the observation density (resolution) which guarantee explicit asymptotic bounds, as the time tends to infinity, on the error between the approximate solution and the actual solutions which is corresponding to these measurements, in terms of the variance of the noise in the measurements. Specifically, such bounds are given for the the limit supremum, as the time tends to infinity, of the expected value of the $L^2$-norm and of the $H^1$ Sobolev norm of the difference between the approximating solution and the actual solution. Moreover, results on the average time error in mean are stated.

categories: math.AP nlin.CD physics.ao-ph physics.flu-dyn physics.geo-ph


title: Proceedings 5th Workshop on Mathematically Structured Functional Programming

abstract: This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. MSFP is devoted to the derivation of functionality from structure. It highlights concepts from algebra, semantics and type theory as they are increasingly reflected in programming practice, especially functional programming. As the range of papers presented in this year's workshop shows, this continues to be a fruitful interface.


title: Equilibrium Phase Behavior and Maximally Random Jammed State of Truncated Tetrahedra

abstract: Systems of hard nonspherical particles exhibit a variety of stable phases with different degrees of translational and orientational order, including isotropic liquid, solid crystal, rotator and a variety of liquid crystal phases. In this paper, we employ a Monte Carlo implementation of the adaptive-shrinking-cell (ASC) numerical scheme and free-energy calculations to ascertain with high precision the equilibrium phase behavior of systems of congruent Archimedean truncated tetrahedra over the entire range of possible densities up to the maximal nearly space-filling density. In particular, we find that the system undergoes two first-order phase transitions as the density increases: first a liquid-solid transition and then a solid-solid transition. The isotropic liquid phase coexists with the Conway-Torquato (CT) crystal phase at intermediate densities. At higher densities, we find that the CT phase undergoes another first-order phase transition to one associated with the densest-known crystal. We find no evidence for stable rotator (or plastic) or nematic phases. We also generate the maximally random jammed (MRJ) packings of truncated tetrahedra, which may be regarded to be the glassy end state of a rapid compression of the liquid. We find that such MRJ packings are hyperuniform with an average packing fraction of 0.770, which is considerably larger than the corresponding value for identical spheres (about 0.64). We conclude with some simple observations concerning what types of phase transitions might be expected in general hard-particle systems based on the particle shape and which would be good glass formers.


title: Low-temperature physical properties of GdCoIn$_5$

abstract: A comprehensive experimental and theoretical study of the low temperature properties of GdCoIn$_5$ was performed. Specific heat, thermal expansion, magnetization and electrical resistivity were measured in good quality single crystals down to $^4$He temperatures. All the experiments show a second-order-like phase transition at 30 K probably associated with the onset of antiferromagnetic order. Total energy GGA+U calculations indicate a ground state with magnetic moments localized at the Gd ions and allowed a determination of the Gd-Gd magnetic interactions. Band structure calculations of the electron and phonon contributions to the specific heat and Quantum Monte Carlo calculations of the magnetic contributions to the thermodynamic quantities reproduce quite well the experimental data.


title: Dynamics of desynchronized episodes in intermittent synchronization

abstract: Intermittent synchronization is observed in a variety of different experimental settings in physics and beyond and is an established research topic in nonlinear dynamics. When coupled oscillators exhibit relatively weak, intermittent synchrony, the trajectory in the phase space spends a substantial fraction of time away from a vicinity of a synchronized state. Thus to describe and understand the observed dynamics one may consider both synchronized episodes and desynchronized episodes (the episodes when oscillators are not synchronous). This mini-review discusses recent developments in this area. We explain how one can consider variation in synchrony on the very short time-scales, provided that there is some degree of overall synchrony. We show how to implement this approach in the case of intermittent phase locking, review several recent examples of the application of these ideas to experimental data and modeling systems, and discuss when and why these methods may be useful.


title: Fractional Hida Malliavin Derivatives and Series Representations of Fractional Conditional Expectations

abstract: We represent fractional conditional expectations of a functional of fractional Brownian motion as a convergent series in L^2 space. When the target random variable is some function of a discrete trajectory of fractional Brownian motion, we obtain a backward Taylor series representation; when the target functional is generated by a continuous fractional filtration, the series representation is obtained by applying a "frozen path" operator and an exponential operator to the functional. Three examples are provided to show that our representation gives useful series expansions of ordinary expectations of target random variables.


title: Statistical mechanics of the spherical hierarchical model with random fields

abstract: We study analytically the equilibrium properties of the spherical hierarchical model in the presence of random fields. The expression for the critical line separating a paramagnetic from a ferromagnetic phase is derived. The critical exponents characterising this phase transition are computed analytically and compared with those of the corresponding $D$-dimensional short-range model, leading to conclude that the usual mapping between one dimensional long-range models and $D$-dimensional short-range models holds exactly for this system, in contrast to models with Ising spins. Moreover, the critical exponents of the pure model and those of the random field model satisfy a relationship that mimics the dimensional reduction rule. The absence of a spin-glass phase is strongly supported by the local stability analysis of the replica symmetric saddle-point as well as by an independent computation of the free-energy using a renormalization-like approach. This latter result enlarges the class of random field models for which the spin-glass phase has been recently ruled out.


title: Double-pole nature of $\Lambda(1405)$ studied with coupled-channel complex scaling method using complex-range Gaussian basis

abstract: The excited hyperon $\Lambda(1405)$ is the important building block for kaonic nuclei which are nuclear many-body system with anti-kaons. We have been investigating the $\Lambda(1405)$ resonance with the coupled-channel Complex Scaling Method (ccCSM) in which the $\Lambda(1405)$ is treated as a hadron-molecular state of a $\bar{K}N$-$\pi\Sigma$ coupled system. We use a $\bar{K}N$(-$\pi Y$) potential based on the chiral SU(3) theory. In this article, we report the double-pole nature of the $\Lambda(1405)$, which is a characteristic property predicted by many studies with chiral SU(3)-based models. With the help of the complex-range Gaussian basis in ccCSM, we have found successfully another pole besides a pole near the $\bar{K}N$ threshold (called higher pole) which was found in our previous work with the real-range Gaussian basis. The new pole (called lower pole) is found far below $\bar{K}N$ threshold: $(M, -\Gamma/2)=(1395, -138)$ MeV when $f_\pi=110$ MeV. In spite of so broad width of the lower-pole state, the state is clearly identified with good separation from continuum states, since the oscillatory behavior of the continuum states is improved owing to the complex-range Gaussian basis. Analyzing the ccCSM wave function of the lower pole, we have revealed explicitly that the lower-pole state is dominated by the $\pi\Sigma$ component rather than the $\bar{K}N$ component. We have confirmed that the ccCSM wave function is correctly connected to the asymptotic form of the resonance wave function. We have estimated the meson-baryon mean distance for the lower-pole state as well as for the higher-pole state. In addition, we have investigated the origin of the appearance of the lower pole. The lower pole is confirmed to be generated by the energy dependence attributed to the chiral dynamics, by comparing the result of an energy-independent potential.


title: Cosmological dynamics of gravitating hadron matter

abstract: Anisotropic cosmologies are studied in the case where the matter source is given by the Skyrme model which is an effective description of low energy QCD. The dynamical evolution of the Kantowski-Sachs and Bianchi-I universes are analyzed in depth. In both situations in order for solutions to exist and at the same time to avoid finite time future singularities, bounds on the value of the cosmological constant and on the values of the Skyrme couplings must be set. The upper bound on the cosmological constant, which depends also on the initial conditions is closely related to the fact that the baryons appear below 1 GeV. The upper bound on the cosmological constant is actually 72 orders of magnitudes lower than the standard estimations from quantum field theory. The lower bound on the cosmological constant and the bounds on the Skyrme couplings are due to the peculiar combination of nonlinear terms in the Skyrme model. It is worth to point out that bounds on the Skyrme couplings occur in similar fashion both for the Kantowski-Sachs and for the Bianchi-I models which are topologically completely different. Our results suggest that this behavior is intrinsic to the coupling of the Skyrme field to gravity rather than on a specific cosmological model.


title: Complex organic molecules during low-mass star formation: Pilot survey results

abstract: Complex organic molecules (COMs) are known to be abundant toward some low-mass young stellar objects (YSOs), but how these detections relate to typical COM abundance are not yet understood. We aim to constrain the frequency distribution of COMs during low-mass star formation, beginning with this pilot survey of COM lines toward six embedded YSOs using the IRAM 30m telescope. The sample was selected from the Spitzer c2d ice sample and covers a range of ice abundances. We detect multiple COMs, including CH3CN, toward two of the YSOs, and tentatively toward a third. Abundances with respect to CH3OH vary between 0.7 and 10%. This sample is combined with previous COM observations and upper limits to obtain a frequency distributions of CH3CN, HCOOCH3, CH3OCH3 and CH3CHO. We find that for all molecules more than 50% of the sample have detections or upper limits of 1-10% with respect to CH3OH. Moderate abundances of COMs thus appear common during the early stages of low-mass star formation. A larger sample is required, however, to quantify the COM distributions, as well as to constrain the origins of observed variations across the sample.


title: Untappable key distribution system: a one-time-pad booster

abstract: One-time-pad (OTP) encryption simply cannot be cracked, even by a quantum computer. The need of sharing in a secure way supplies of symmetric random keys turned the method almost obsolete as a standing-alone method for fast and large volume telecommunication. Basically, this secure sharing of keys and their renewal, once exhausted, had to be done through couriers, in a slow and costly process. This paper presents a solution for this problem providing a fast and unlimited renewal of secure keys: An untappable key distribution system is presented and detailed. This fast key distribution system utilizes two layers of confidentially protection: 1) Physical noise intrinsic to the optical channel that turn the coded signals into stealth signals and 2) Privacy amplification using a bit pool of refreshed entropy run after run, to eliminate any residual information. The resulting level of security is rigorously calculated and demonstrates that the level of information an eavesdropper could obtain is completely negligible. The random bit sequences, fast and securely distributed, can be used to encrypt text, data or voice.


title: A Bayesian approach to multi-messenger astronomy: Identification of gravitational-wave host galaxies

abstract: We present a general framework for incorporating astrophysical information into Bayesian parameter estimation techniques used by gravitational wave data analysis to facilitate multi-messenger astronomy. Since the progenitors of transient gravitational wave events, such as compact binary coalescences, are likely to be associated with a host galaxy, improvements to the source sky location estimates through the use of host galaxy information are explored. To demonstrate how host galaxy properties can be included, we simulate a population of compact binary coalescences and show that for ~8.5% of simulations with in 200Mpc, the top ten most likely galaxies account for a ~50% of the total probability of hosting a gravitational wave source. The true gravitational wave source host galaxy is in the top ten galaxy candidates ~10% of the time. Furthermore, we show that by including host galaxy information, a better estimate of the inclination angle of a compact binary gravitational wave source can be obtained. We also demonstrate the flexibility of our method by incorporating the use of either B or K band into our analysis.


title: Detecting chaos in particle accelerators through the frequency map analysis method

abstract: The motion of beams in particle accelerators is dominated by a plethora of non-linear effects which can enhance chaotic motion and limit their performance. The application of advanced non-linear dynamics methods for detecting and correcting these effects and thereby increasing the region of beam stability plays an essential role during the accelerator design phase but also their operation. After describing the nature of non-linear effects and their impact on performance parameters of different particle accelerator categories, the theory of non-linear particle motion is outlined. The recent developments on the methods employed for the analysis of chaotic beam motion are detailed. In particular, the ability of the frequency map analysis method to detect chaotic motion and guide the correction of non-linear effects is demonstrated in particle tracking simulations but also experimental data.


title: Consistent procedures for cluster tree estimation and pruning

abstract: For a density $f$ on ${\mathbb R}^d$, a {\it high-density cluster} is any connected component of $\{x: f(x) \geq \lambda\}$, for some $\lambda > 0$. The set of all high-density clusters forms a hierarchy called the {\it cluster tree} of $f$. We present two procedures for estimating the cluster tree given samples from $f$. The first is a robust variant of the single linkage algorithm for hierarchical clustering. The second is based on the $k$-nearest neighbor graph of the samples. We give finite-sample convergence rates for these algorithms which also imply consistency, and we derive lower bounds on the sample complexity of cluster tree estimation. Finally, we study a tree pruning procedure that guarantees, under milder conditions than usual, to remove clusters that are spurious while recovering those that are salient.


title: Arbitrage-free exchange rate ensembles over a general trade network

abstract: It is assumed that under suitable economic and information-theoretic conditions, market exchange rates are free from arbitrage. Commodity markets in which trades occur over a complete graph are shown to be trivial. We therefore examine the vector space of no-arbitrage exchange rate ensembles over an arbitrary connected undirected graph. Consideration is given for the minimal information for determination of an exchange rate ensemble. We conclude with a topical discussion of exchanges in which our analyses may be relevant, including the emergent but highly-regulated (and therefore not a complete graph) market for digital currencies.


title: Estimation of global network statistics from incomplete data

abstract: Complex networks underlie an enormous variety of social, biological, physical, and virtual systems. A profound complication for the science of complex networks is that in most cases, observing all nodes and all network interactions is impossible. Previous work addressing the impacts of partial network data is surprisingly limited, focuses primarily on missing nodes, and suggests that network statistics derived from subsampled data are not suitable estimators for the same network statistics describing the overall network topology. We generate scaling methods to predict true network statistics, including the degree distribution, from only partial knowledge of nodes, links, or weights. Our methods are transparent and do not assume a known generating process for the network, thus enabling prediction of network statistics for a wide variety of applications. We validate analytical results on four simulated network classes and empirical data sets of various sizes. We perform subsampling experiments by varying proportions of sampled data and demonstrate that our scaling methods can provide very good estimates of true network statistics while acknowledging limits. Lastly, we apply our techniques to a set of rich and evolving large-scale social networks, Twitter reply networks. Based on 100 million tweets, we use our scaling techniques to propose a statistical characterization of the Twitter Interactome from September 2008 to November 2008. Our treatment allows us to find support for Dunbar's hypothesis in detecting an upper threshold for the number of active social contacts that individuals maintain over the course of one week.


title: A Liouville Property for Isotropic Diffusions in Random Environment

abstract: We obtain a Liouville property for stationary diffusions in random environment which are small, isotropic perturbations of Brownian motion in spacial dimension greater than two. Precisely, we prove that, on a subset of full probability, the constant functions are the only strictly sub-linear maps which are invariant with respect to the evolution of the diffusion. And, we prove that the constant functions are the only bounded, ancient maps which are invariant under the evolution. These results depend upon the previous work of Fehrman [3] and Sznitman and Zeitouni [7] and, in the first case, our methods are motivated by the work, in the discrete setting, of Benjamini, Duminil-Copin, Kozma and Yadin [1].


title: Beyond Nuclear Pasta: Phase Transitions and Neutrino Opacity of Non-Traditional Pasta

abstract: In this work, we focus on different length scales within the dynamics of nucleons in conditions according to the neutron star crust, with a semiclassical molecular dynamics model, studying isospin symmetric matter at subsaturation densities. While varying the temperature, we find that a solid-liquid phase transition exists, that can be also characterized with a morphology transition. For higher temperatures, above this phase transition, we study the neutrino opacity, and find that in the liquid phase, the scattering of low momenta neutrinos remain high, even though the morphology of the structures differ significatively from those of the traditional nuclear pasta.


title: Relativistic Particle and Relativistic Fluids: Magnetic Moment and Spin-Orbit Interactions

abstract: We consider relativistic charged particle dynamics and relativistic magnetohydrodynamics using symplectic structures and actions given in terms of co-adjoint orbits of the Poincar\'e group. The particle case is meant to clarify some points such as how minimal coupling (as defined in text) leads to a gyromagnetic ratio of $2$, and to set the stage for fluid dynamics. The general group-theoretic framework is further explained and is then used to set up Abelian magnetohydrodynamics including spin effects. An interesting new physical effect is precession of spin density induced by gradients in pressure and energy density. The Euler equation (the dynamics of the velocity field) is also modified by gradients of the spin density.


title: A study of rotating globular clusters - the case of the old, metal-poor globular cluster NGC 4372

abstract: Aims: We present the first in-depth study of the kinematic properties and derive the structural parameters of NGC 4372 based on the fit of a Plummer profile and a rotating, physical model. We explore the link between internal rotation to different cluster properties and together with similar studies of more GCs, we put these in the context of globular cluster formation and evolution. Methods: We present radial velocities for 131 cluster member stars measured from high-resolution FLAMES/GIRAFFE observations. Their membership to the GC is additionally confirmed from precise metallicity estimates. Using this kinematic data set we build a velocity dispersion profile and a systemic rotation curve. Additionally, we obtain an elliptical number density profile of NGC 4372 based on optical images using a MCMC fitting algorithm. From this we derive the cluster's half-light radius and ellipticity as r_h=3.4'+/-0.04' and e=0.08+/-0.01. Finally, we give a physical interpretation of the observed morphological and kinematic properties of this GC by fitting an axisymmetric, differentially rotating, dynamical model. Results: Our results show that NGC 4372 has an unusually high ratio of rotation amplitude to velocity dispersion (1.2 vs. 4.5 km/s) for its metallicity. This, however, puts it in line with two other exceptional, very metal-poor GCs - M 15 and NGC 4590. We also find a mild flattening of NGC 4372 in the direction of its rotation. Given its old age, this suggests that the flattening is indeed caused by the systemic rotation rather than tidal interactions with the Galaxy. Additionally, we estimate the dynamical mass of the GC M_dyn=2.0+/-0.5 x 10^5 M_Sun based on the dynamical model, which constrains the mass-to-light ratio of NGC 4372 between 1.4 and 2.3 M_Sun/L_Sun, representative of an old, purely stellar population.


title: From thermodynamics to the solutions in gravity theory

abstract: In a recent work, we present a new point of view to the relation of gravity and thermodynamics, in which we derive the \sch~solution through thermodynamic laws by the aid of the Misner-Sharp mass in an adiabatic system. In this paper we continue to investigate the relation between gravity and thermodynamics for obtaining solutions via thermodynamics. We generalize our studies on gravi-thermodynamics in Einstein gravity to modified gravity theories. By using the first law with the assumption that the Misner-Sharp mass is the mass for an adiabatic system, we reproduce the Boulware-Deser-Cai solution in Guass-Bonnet gravity. Using this gravi-thermodynamics thought, we obtain a NEW class of solution in $F(R)$ gravity in an $n$-dimensional (n$\geq$3) spacetime which permits three-type $(n-2)$-dimensional maximally symmetric subspace, as an extension of our recent three-dimensional black hole solution, and four-dimensional Clifton-Barrow solution in $F(R)$ gravity.


title: A note on nowhere-zero 3-flow and Z_3-connectivity

abstract: There are many major open problems in integer flow theory, such as Tutte's 3-flow conjecture that every 4-edge-connected graph admits a nowhere-zero 3-flow, Jaeger et al.'s conjecture that every 5-edge-connected graph is $Z_3$-connected and Kochol's conjecture that every bridgeless graph with at most three 3-edge-cuts admits a nowhere-zero 3-flow (an equivalent version of 3-flow conjecture). Thomassen proved that every 8-edge-connected graph is $Z_3$-connected and therefore admits a nowhere-zero 3-flow. Furthermore, Lov$\acute{a}$sz, Thomassen, Wu and Zhang improved Thomassen's result to 6-edge-connected graphs. In this paper, we prove that: (1) Every 4-edge-connected graph with at most seven 5-edge-cuts admits a nowhere-zero 3-flow. (2) Every bridgeless graph containing no 5-edge-cuts but at most three 3-edge-cuts admits a nowhere-zero 3-flow. (3) Every 5-edge-connected graph with at most five 5-edge-cuts is $Z_3$-connected. Our main theorems are partial results to Tutte's 3-flow conjecture, Kochol's conjecture and Jaeger et al.'s conjecture, respectively.


title: Probing the Electrical Properties of Overlapped Graphene Grain Boundaries by Raman spectroscopy

abstract: The effect of grain boundaries and wrinkles on the electrical properties of polycrystalline graphene is pronounced. Here we investigate the stitching between grains of polycrystalline graphene, specifically, overlapping of layers at the boundaries, grown by chemical vapor deposition (CVD) and subsequently doped by the oxidized Cu substrate. We analyze overlapped regions between 60 and 220 nm wide via Raman spectroscopy, and find that some of these overlapped boundaries contain AB stacked bilayers. The Raman spectra from the overlapped grain boundaries are distinctly different from bilayer graphene and exhibit splitting of the G band peak. The degree of splitting, peak widths, as well as peak intensities depend on the width of the overlap. We attribute these features to inhomogeneous doping by charge carriers (holes) across the overlapped regions via the oxidized Cu substrate. As a result, the Fermi level at the overlapped grain boundaries lies between 0.3 and 0.4 eV below the charge neutrality point. Our results suggest an enhancement of electrical conductivity across overlapped grain boundaries, similar to previously observed measurements(1). The dependence of charge distribution on the width of overlapping of grain boundaries may have strong implications for the growth of large-area graphene with enhanced conductivity.


title: Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

abstract: We report on improvements to ACL2 made since the 2013 ACL2 Workshop.


title: Data Definitions in the ACL2 Sedan

abstract: We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our primary motivation for developing the data definition framework was pedagogical. We were teaching undergraduate students how to reason about programs using ACL2s and wanted to provide them with an effective method for defining, testing, and reasoning about data types in the context of an untyped theorem prover. Our framework is now routinely used not only for pedagogical purposes, but also by advanced users. Our framework concisely supports common data definition patterns, e.g. list types, map types, and record types. It also provides support for polymorphic functions. A distinguishing feature of our approach is that we maintain both a predicative and an enumerative characterization of data definitions. In this paper we present our data definition framework via a sequence of examples. We give a complete characterization in terms of tau rules of the inclusion/exclusion relations a data definition induces, under suitable restrictions. The data definition framework is a key component of counterexample generation support in ACL2s, but can be independently used in ACL2, and is available as a community book.


title: Polymorphic Types in ACL2

abstract: This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of programming with the ability to define polymorphic types. These ideas are introduced via macros into the language of ACL2, taking advantage of ACL2's guard-checking mechanism to perform type checking on both function definitions and theorems. Finally, we discuss how these macros were used to implement features of Specware, a software specification and implementation system.


title: Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

abstract: This paper reports our initial experiments with using external ATP on some corpora built with the ACL2 system. This is intended to provide the first estimate about the usefulness of such external reasoning and AI systems for solving ACL2 problems.


title: Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis

abstract: ACL2(r) is a variant of ACL2 that supports the irrational real and complex numbers. Its logical foundation is based on internal set theory (IST), an axiomatic formalization of non-standard analysis (NSA). Familiar ideas from analysis, such as continuity, differentiability, and integrability, are defined quite differently in NSA-some would argue the NSA definitions are more intuitive. In previous work, we have adopted the NSA definitions in ACL2(r), and simply taken as granted that these are equivalent to the traditional analysis notions, e.g., to the familiar epsilon-delta definitions. However, we argue in this paper that there are circumstances when the more traditional definitions are advantageous in the setting of ACL2(r), precisely because the traditional notions are classical, so they are unencumbered by IST limitations on inference rules such as induction or the use of pseudo-lambda terms in functional instantiation. To address this concern, we describe a formal proof in ACL2(r) of the equivalence of the traditional and non-standards definitions of these notions.


title: Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent

abstract: The verification of many algorithms for calculating transcendental functions is based on polynomial approximations to these functions, often Taylor series approximations. However, computing and verifying approximations to the arctangent function are very challenging problems, in large part because the Taylor series converges very slowly to arctangent-a 57th-degree polynomial is needed to get three decimal places for arctan(0.95). Medina proposed a series of polynomials that approximate arctangent with far faster convergence-a 7th-degree polynomial is all that is needed to get three decimal places for arctan(0.95). We present in this paper a proof in ACL2(r) of the correctness and convergence rate of this sequence of polynomials. The proof is particularly beautiful, in that it uses many results from real analysis. Some of these necessary results were proven in prior work, but some were proven as part of this effort.


title: Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

abstract: Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis. Certifying the loop pipelining algorithm is challenging because there is a huge semantic gap between the input sequential design and the output pipelined implementation making it infeasible to verify their equivalence with automated sequential equivalence checking techniques. We discuss our ongoing effort using ACL2 to certify loop pipelining transformation. The completion of the proof is work in progress. However, some of the insights developed so far may already be of value to the ACL2 community. In particular, we discuss the key invariant we formalized, which is very different from that used in most pipeline proofs. We discuss the needs for this invariant, its formalization in ACL2, and our envisioned proof using the invariant. We also discuss some trade-offs, challenges, and insights developed in course of the project.


title: An ACL2 Mechanization of an Axiomatic Framework for Weak Memory

abstract: Proving the correctness of programs written for multiple processors is a challenging problem, due in no small part to the weaker memory guarantees afforded by most modern architectures. In particular, the existence of store buffers means that the programmer can no longer assume that writes to different locations become visible to all processors in the same order. However, all practical architectures do provide a collection of weaker guarantees about memory consistency across processors, which enable the programmer to write provably correct programs in spite of a lack of full sequential consistency. In this work, we present a mechanization in the ACL2 theorem prover of an axiomatic weak memory model (introduced by Alglave et al.). In the process, we provide a new proof of an established theorem involving these axioms.


title: Rational Design of Antibiotic Treatment Plans

abstract: The development of reliable methods for restoring susceptibility after antibiotic resistance arises has proven elusive. A greater understanding of the relationship between antibiotic administration and the evolution of resistance is key to overcoming this challenge. Here we present a data-driven mathematical approach for developing antibiotic treatment plans that can reverse the evolution of antibiotic resistance determinants. We have generated adaptive landscapes for 16 genotypes of the TEM beta-lactamase that vary from the wild type genotype TEM-1 through all combinations of four amino acid substitutions. We determined the growth rate of each genotype when treated with each of 15 beta-lactam antibiotics. By using growth rates as a measure of fitness, we computed the probability of each amino acid substitution in each beta-lactam treatment using two different models named the Correlated Probability Model (CPM) and the Equal Probability Model (EPM). We then performed an exhaustive search through the 15 treatments for substitution paths leading from each of the 16 genotypes back to the wild type TEM-1. We identified those treatment paths that returned the highest probabilities of selecting for reversions of amino acid substitutions and returning TEM to the wild type state. For the CPM model, the optimized probabilities ranged between 0.6 and 1.0. For the EPM model, the optimized probabilities ranged between 0.38 and 1.0. For cyclical CPM treatment plans in which the starting and ending genotype was the wild type, the probabilities were between 0.62 and 0.7. Overall this study shows that there is promise for reversing the evolution of resistance through antibiotic treatment plans.


title: Modeling Algorithms in SystemC and ACL2

abstract: We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of documentation, which in turn is translated to ACL2 for formal verification. The parser also generates a SystemC variant that is suitable as input to a high-level synthesis tool. As an illustration of this methodology, we describe a proof of correctness of a simple 32-bit radix-4 multiplier.


title: Development of a Translator from LLVM to ACL2

abstract: In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystems whose top-level assurance relies on the assurance of the individual components. We have thus undertaken a project to build a translator from LLVM to the applicative subset of Common Lisp accepted by the ACL2 theorem prover. Our translator produces executable ACL2 formal models, allowing us to both prove theorems about the translated models as well as validate those models by testing. The resulting models can be translated and certified without user intervention, even for code with loops, thanks to the use of the def::ung macro which allows us to defer the question of termination. Initial measurements of concrete execution for translated LLVM functions indicate that performance is nearly 2.4 million LLVM instructions per second on a typical laptop computer. In this paper we overview the translation process and illustrate the translator's capabilities by way of a concrete example, including both a functional correctness theorem as well as a validation test for that example.


title: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems

abstract: This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April, 2014. QAPL 2014 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS). The central theme of the workshop is that of quantitative aspects of computation. These aspects are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust), and play an important (sometimes essential) role in characterising the behaviour and determining the properties of systems. Such quantities are central to the definition of both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of the systems properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems.


title: Phase transition on the convergence rate of parameter estimation under an Ornstein-Uhlenbeck diffusion on a tree

abstract: Diffusion processes on trees are commonly used in evolutionary biology to model the joint distribution of continuous traits, such as body mass, across species. Estimating the parameters of such processes from tip values presents challenges because of the intrinsic correlation between the observations produced by the shared evolutionary history, thus violating the standard independence assumption of large-sample theory. For instance Ho and An\'e \cite{HoAne13} recently proved that the mean (also known in this context as selection optimum) of an Ornstein-Uhlenbeck process on a tree cannot be estimated consistently from an increasing number of tip observations if the tree height is bounded. Here, using a fruitful connection to the so-called reconstruction problem in probability theory, we study the convergence rate of parameter estimation in the unbounded height case. For the mean of the process, we provide a necessary and sufficient condition for the consistency of the maximum likelihood estimator (MLE) and establish a phase transition on its convergence rate in terms of the growth of the tree. In particular we show that a loss of $\sqrt{n}$-consistency (i.e., the variance of the MLE becomes $\Omega(n^{-1})$, where $n$ is the number of tips) occurs when the tree growth is larger than a threshold related to the phase transition of the reconstruction problem. For the covariance parameters, we give a novel, efficient estimation method which achieves $\sqrt{n}$-consistency under natural assumptions on the tree.


title: Two-Part Reconstruction with Noisy-Sudocodes

abstract: We develop a two-part reconstruction framework for signal recovery in compressed sensing (CS), where a fast algorithm is applied to provide partial recovery in Part 1, and a CS algorithm is applied to complete the residual problem in Part 2. Partitioning the reconstruction process into two complementary parts provides a natural trade-off between runtime and reconstruction quality. To exploit the advantages of the two-part framework, we propose a Noisy-Sudocodes algorithm that performs two-part reconstruction of sparse signals in the presence of measurement noise. Specifically, we design a fast algorithm for Part 1 of Noisy-Sudocodes that identifies the zero coefficients of the input signal from its noisy measurements. Many existing CS algorithms could be applied to Part 2, and we investigate approximate message passing (AMP) and binary iterative hard thresholding (BIHT). For Noisy-Sudocodes with AMP in Part 2, we provide a theoretical analysis that characterizes the trade-off between runtime and reconstruction quality. In a 1-bit CS setting where a new 1-bit quantizer is constructed for Part 1 and BIHT is applied to Part 2, numerical results show that the Noisy-Sudocodes algorithm improves over BIHT in both runtime and reconstruction quality.


title: Correction to "The classification of the surfaces with parallel mean curvature vector in two-dimensional complex space forms"

abstract: We give a condition under which the findings of the paper cited above work well and determine the surfaces that were not considered before. In this paper, we show that a parallel mean curvature surface of a general type in a complex two-dimensional complex space form depends on one real-valued harmonic function on the surface and five real constants if the ambient space is not flat, the mean curvature vector does not vanish, and the Kaehler angle is not constant.


title: Optimal Auctions for Correlated Buyers with Sampling

abstract: Cr\'emer and McLean [1985] showed that, when buyers' valuations are drawn from a correlated distribution, an auction with full knowledge on the distribution can extract the full social surplus. We study whether this phenomenon persists when the auctioneer has only incomplete knowledge of the distribution, represented by a finite family of candidate distributions, and has sample access to the real distribution. We show that the naive approach which uses samples to distinguish candidate distributions may fail, whereas an extended version of the Cr\'emer-McLean auction simultaneously extracts full social surplus under each candidate distribution. With an algebraic argument, we give a tight bound on the number of samples needed by this auction, which is the difference between the number of candidate distributions and the dimension of the linear space they span.


title: Consensus-based In-Network Computation of the PARAFAC Decomposition

abstract: In this work, we present a new approach for the distributed computation of the PARAFAC decomposition of a third-order tensor across a network of collaborating nodes. We are interested in the case where the overall data gathered across the network can be modeled as a data tensor admitting an essentially unique PARAFAC decomposition, while each node only observes a sub-tensor with not necessarily enough diversity so that identifiability conditions are not locally fulfilled at each node. In this situation, conventional (centralized) tensor based methods cannot be applied individually at each node. By allowing collaboration between neighboring nodes of the network, we propose distributed versions of the alternating least squares (ALS) and Levenberg-Marquardt (LM) algorithms for the in-network estimation of the factor matrices of a third-order tensor. We assume that one of the factor matrices contains parameters that are local to each node, while the two remaining factor matrices contain global parameters that are common to the whole network. The proposed algorithms combine the estimation of the local factors with an in-network computation of the global factors of the PARAFAC decomposition using average consensus over graphs. They emulate their centralized counterparts in the case of ideal data exchange and ideal consensus computations. The performance of the proposed algorithms are evaluated in both ideal and imperfect cases.


title: QBism in the New Scientist

abstract: I correct a misrepresentation of QBism as antirealist.


title: Triple Derivations and Triple Homomorphisms of Perfect Lie Superalgebras

abstract: In this paper, we study triple derivations and triple homomorphisms of perfect Lie superalgebras over a commutative ring $R$. It is proved that, if the base ring contains $\frac{1}{2}$, $L$ is a perfect Lie superalgebra with zero center, then every triple derivation of $L$ is a derivation, and every triple derivation of the derivation algebra $ Der (L)$ is an inner derivation. Let $L,~L^{'}$ be Lie superalgebras over a commutative ring $R$, the notion of triple homomorphism from $L$ to $L^{'}$ is introduced. We proved that, under certain assumptions, homomorphisms, anti-homomorphisms, and sums of homomorphisms and anti-homomorphisms are all triple homomorphisms.


title: On Handlebody Structures of Rational Balls

abstract: It is known that for coprime integers $p>q\geq 1$, the lens space $L(p^2,pq-1)$ bounds a rational ball, $B_{p,q}$, arising as the 2-fold branched cover of a (smooth) slice disk in $B^4$ bounding the associated 2-bridge knot. Lekilli and Maydanskiy give handle decompositions for each $B_{p,q}$. Whereas, Yamada gives an alternative definition of rational balls, $A_{m,n}$, bounding $L(p^2,pq-1)$ by their handlebody decompositions alone. We show that these two families coincide - answering a question of Kadokami and Yamada. To that end, we show that each $A_{m,n}$ admits a Stein filling of the "standard" contact structure, $\bar{\xi}_{st}$, on $L(p^2,pq-1)$ investigated by Lisca.


title: Coupled fluids model in FRW space-time

abstract: In this paper, we analyze a two coupled fluids model by investigating several solutions for accelerated universe in flat FRW space-time. One of the fluids can be identified with the matter and the model possesses the standard matter solution also. Beyond the removal of the coincidence problem, we will see how the coupling may change the description of the energy contents of the universe and which features can be aquired with respect to the standard decoupled cases.


title: Classical simulation of fermionic linear optics augmented with noisy ancillas

abstract: Fermionic linear optics is a model of quantum computation which is efficiently simulable on a classical probabilistic computer. We study the problem of a classical simulation of fermionic linear optics augmented with noisy auxiliary states. If the auxiliary state can be expressed as a convex combination of pure Fermionic Gaussian states, the corresponding computation scheme is classically simulable. We present an analytic characterisation of the set of convex-Gaussian states in the first non-trivial case, in which the Hilbert space of the ancilla is a four-mode Fock space. We use our result to solve an open problem recently posed by De Melo et al. and to study in detail the geometrical properties of the set of convex-Gaussian states.


title: Generalized Derivations of Hom-Lie Superalgebras

abstract: In this paper, we give some basic properties of the generalized derivation algebra ${\rm GDer}(L)$ of a Hom-Lie superalgebra $L$. In particular, we prove that ${\rm GDer}(L) = {\rm QDer}(L) + {\rm QC}(L)$, the sum of the quasiderivation algebra and the quasicentroid. We also prove that ${\rm QDer}(L)$ can be embedded as derivations in a larger Hom-Lie superalgebra.