title: Cell responses only partially shape cell-to-cell variations in protein abundances in Escherichia coli chemotaxis

abstract: Cell-to-cell variations in protein abundance in clonal cell populations are ubiquitous in living systems. Since protein composition determines responses in individual cells, it stands to reason that the variations themselves are subject to selective pressures. But the functional role of these cell-to-cell differences is not well understood. One way to tackle questions regarding relationships between form and function is to perturb the form (e.g., change the protein abundances) and observe the resulting changes in some function. Here we take on the form-function relationship from the inverse perspective, asking instead what specific constraints on cell-to-cell variations in protein abundance are imposed by a given functional phenotype. We develop a maximum entropy (MaxEnt) based approach to posing questions of this type, and illustrate the method by application to the well characterized chemotactic response in Escherichia coli (E. coli). We find that full determination of observed cell-to-cell variations in protein abundances is not inherent in chemotaxis itself, but in fact appears to be jointly imposed by the chemotaxis program in conjunction with other factors, e.g., the protein synthesis machinery and/or additional non-chemotactic cell functions such as cell metabolism. These results illustrate the power of MaxEnt as a tool for the investigation of relationships between biological form and function.


title: Magnetically generated spin-orbit coupling for ultracold atoms

abstract: We present a new technique for producing two- and three-dimensional Rashba-type spin-orbit couplings for ultracold atoms without involving light. The method relies on a sequence of pulsed inhomogeneous magnetic fields imprinting suitable phase gradients on the atoms. For sufficiently short pulse durations, the time-averaged Hamiltonian well approximates the Rashba Hamiltonian. Higher order corrections to the energy spectrum are calculated exactly for spin-1/2 and perturbatively for higher spins. The pulse sequence does not modify the form of rotationally symmetric atom-atom interactions. Finally, we present a straightforward implementation of this pulse sequence on an atom chip.


title: A Lower Bound for the Fisher Information Measure

abstract: The problem how to approximately determine the absolute value of the Fisher information measure for a general parametric probabilistic system is considered. Having available the first and second moment of the system output in a parametric form, it is shown that the information measure can be bounded from below through a replacement of the original system by a Gaussian system with equivalent moments. The presented technique is applied to a system of practical importance and the potential quality of the bound is demonstrated.


title: Limits on tensor type weak currents from nuclear and neutron $\beta$~decays

abstract: The limits on time-reversal invariant tensor-type weak currents from nuclear and neutron $\beta$ decays are evaluated including most recent experimental data. We find that $ -0.14 \times 10^{-2} < (C_T + C^\prime_T)/C_A < 1.4 \times 10^{-2} $ and $ -0.16 < (C_T - C^\prime_T)/C_A < 0.16$ (90% C.L.), while for the case $C_T = C^\prime_T$ the limits are $ | C_T/C_A | < 3.7 \times 10^{-3} $. These limits are shown to be more stringent than those from recent measurements of the radiative pion decay. In addition, the sensitivity of future $10^{-3}$-level correlation measurements is investigated.


title: The Muon Collider as a $H/A$ factory

abstract: We show that a muon collider is ideally suited for the study of heavy H/A scalars, cousins of the Higgs boson found in two-Higgs doublet models and required in supersymmetric models. The key aspects of H/A are: (1) they are narrow, yet have a width-to-mass ratio far larger than the expected muon collider beam-energy resolution, and (2) the larger muon Yukawa allows efficient s-channel production. We study in detail a representative Natural Supersymmetry model which has a 1.5 Tev H/A with $m_H$- $m_A$ = 10 Gev. The large event rates at resonant peak allow the determination of the individual H and A resonance parameters (including CP) and the decays into electroweakinos provides a wealth of information unavailable to any other present or planned collider.


title: The effect of gravity on the stability of an evaporating dichloromethane liquid film

abstract: Zero gravity evaporation of a Dicholoromethane (DCM) liquid film is explored. The resulting film dynamics are presented and a criterion for stable films is described based on the long wave theory. It is concluded that films subject to long wave instabilities shows the appearance of the mode of maximum growth rate at rupture, irrespective of the initial condition or domain size conditions. Films stable in Earth's gravity are destabilized in zero gravity.


title: Permutation Group Symmetry and Correlations

abstract: Correlation factors are constructed that are consistent with the permutation symmetry group of N Fermions at given value of the filling factor.


title: Pseudocompact primitive topological inverse semigroups

abstract: In the paper we study pseudocompact primitive topological inverse semigroups. We describe the structure of pseudocompact primitive topological inverse semigroups and show that a Tychonoff product of a family of pseudocompact primitive topological inverse semigroups is a pseudocompact topological space. Also we prove that the Stone-\v{C}ech compactification of a pseudocompact primitive topological inverse semigroup is a compact primitive topological inverse semigroup.


title: Estimates for the Thermal Width of Heavy Quarkonia in Strongly Coupled Plasmas from Holography

abstract: The gauge/gravity duality is used to investigate the imaginary part of the heavy quark potential (defined via the rectangular Wilson loop) in strongly coupled plasmas. This quantity can be used to estimate the width of heavy quarkonia in a plasma at strong coupling. In this paper the thermal worldsheet fluctuation method, proposed in [J.Noronha and A.Dumitru, Phys.\ Rev.\ Lett.\ {\bf 103}, 152304 (2009)], is revisited and general conditions for the existence of an imaginary part for the heavy quark potential computed within classical gravity models are obtained. We prove a general result that establishes the connection between this imaginary part of the potential determined holographically and the area law displayed by the Wilson loop in the vacuum of confining gauge theories. We also determine the imaginary part of the heavy quark potential in a strongly coupled plasma dual to Gauss-Bonnet gravity. This provides an estimate of how the thermal width of heavy quarkonia changes with the shear viscosity to entropy density ratio, $\eta/s$, at strong coupling.


title: Spin pseudogap in Ni-doped SrCuO2

abstract: The S=1/2 spin chain material SrCuO2 doped with 1% S=1 Ni-impurities is studied by inelastic neutron scattering. At low temperatures, the spectrum shows a pseudogap \Delta ~ 8 meV, absent in the parent compound, and not related to any structural phase transition. The pseudogap is shown to be a generic feature of quantum spin chains with dilute defects. A simple model based on this idea quantitatively accounts for the exprimental data measured in the temperature range 2-300 K, and allows to represent the momentum-integrated dynamic structure factor in a universal scaling form.


title: Matrix Factorizations for Complete Intersections and Minimal Free Resolutions

abstract: Matrix factorizations of a hypersurface yield a description of the asymptotic structure of minimal free resolutions over the hypersurface. We introduce a new concept of matrix factorizations for complete intersections that allows us to describe the asymptotic structure of minimal free resolutions over complete intersections.


title: The Euler Characteristic of a Haken 4-Manifold

abstract: Haken n-manifolds are aspherical manifolds, defined and studied by B. Foozwell and H. Rubinstein, that can be successively cut open along essential codimension-one submanifolds until a disjoint union of n-cells is obtained. Such manifolds come equipped with a boundary pattern, a particular kind of decomposition of the boundary into codimension-zero submanifolds. We prove that there is a certain numerical function phi(X^4) depending only on the boundary and boundary pattern of the compact Haken 4-manifold X^4 (and vanishing if X^4 has empty boundary), such that for any compact Haken 4-manifold X^4 the Euler characteristic satisfies the inequality chi(X^4) >= phi(X^4). In particular, if X^{4} is a closed Haken 4-manifold, then chi(X^4) >= 0.


title: On the number of type change loci of a generalized complex structure

abstract: In this note, we describe a procedure to construct generalized complex structures with an arbitrarily large number of type change loci on products of the circle with a connected sum of closed 3-manifolds. The loci need not be isotopic.


title: First-order formalism for flat branes in generalized N-field models

abstract: This work deals with braneworld scenarios obtained from N real scalar fields, whose dynamics is generalized to include higher order power in the derivative of the fields. For the scalar fields being driven by nonstandard dynamics, we show how a first-order formalism can be obtained for flat brane in the presence of several fields. We then illustrate our findings investigating distinct potentials with one and two fields, obtaining stable standard and compact solutions in the braneworld theory. In particular, we have found different models describing the very same warp factor.


title: Whirling skirts and rotating cones

abstract: Steady, dihedrally symmetric patterns with sharp peaks may be observed on a spinning skirt, lagging behind the material flow of the fabric. These qualitative features are captured with a minimal model of traveling waves on an inextensible, flexible, generalized-conical sheet rotating about a fixed axis. Conservation laws are used to reduce the dynamics to a quadrature describing a particle in a three-parameter family of potentials. One parameter is associated with the stress in the sheet, aNoether is the current associated with rotational invariance, and the third is a Rossby number which indicates the relative strength of Coriolis forces. Solutions are quantized by enforcing a topology appropriate to a skirt and a particular choice of dihedral symmetry. A perturbative analysis of nearly axisymmetric cones shows that Coriolis effects are essential in establishing skirt-like solutions. Fully non-linear solutions with three-fold symmetry are presented which bear a suggestive resemblance to the observed patterns.

categories: physics.class-ph cond-mat.soft math-ph math.MP nlin.PS


title: Decay of spin coherences in one-dimensional spin systems

abstract: Strategies to protect multi-qubit states against decoherence are difficult to formulate because of their complex many-body dynamics. A better knowledge of the decay dynamics would help in the construction of decoupling control schemes. Here we use solid-state nuclear magnetic resonance techniques to experimentally investigate the decay of coherent multi-spin states in linear spin chains. Leveraging on the quasi-one-dimensional geometry of Fluorapatite crystal spin systems, we can gain a deeper insight on the multi-spin states created by the coherent evolution, and their subsequent decay, than it is possible in 3D systems. We are then able to formulate an analytical model that captures the key features of the decay. We can thus compare the decoherence behavior for different initial states of the spin chain and link their decay rate to the state characteristics, in particular their coherence and long-range correlation among spins. Our experimental and theoretical study shows that the spin chains undergo a rich dynamics, with a slower decay rate than for the 3D case, and thus might be more amenable to decoupling techniques.


title: Two-dimensional metal-insulator-transition as a potential fluctuation driven semiclassical transport phenomenon

abstract: We theoretically consider the carrier density tuned (apparent) two-dimensional (2D) metal-insulator-transition (MIT) in semiconductor heterostructure-based 2D carrier systems as arising from a classical percolation phenomenon in the inhomogeneous density landscape created by the long-range potential fluctuations induced by random quenched charged impurities in the environment. The long-range Coulomb disorder inherent in semiconductors produces strong potential fluctuations in the 2D system where a fraction of the carriers gets trapped or classically localized, leading to a mixed 2-component semiclassical transport behavior at intermediate densities where a fraction of the carriers is mobile and another fraction immobile. At high carrier density, all the carriers are essentially mobile whereas at low carrier density all the carriers are essentially trapped since there is no possible percolating transport path through the lake-and-mountain inhomogeneous potential landscape. The low-density situation with no percolation would mimic an insulator whereas the high-density situation with allowed percolating paths through the lake-and-mountain energy landscape would mimic a metal with the system manifesting an apparent MIT in between. We calculate the transport properties as a function of carrier density, impurity density, impurity location, and temperature using a 2-component (trapped and mobile carriers) effective medium theory. Our theoretically calculated transport properties are in good qualitative agreement with the experimentally observed 2D MIT phenomenology in 2D electron and hole systems. We find a high (low) density metallic (insulating) temperature-dependence of the 2D resistivity, and an intermediate-density crossover behavior which could be identified with the experimentally observed 2D MIT.


title: Orthogonal units of the bifree double Burnside ring

abstract: The bifree double Burnside ring $B^\Delta(G,G)$ of a finite group $G$ has a natural anti-involution. We study the group $B^\Delta_\circ(G,G)$ of orthogonal units in $B^\Delta(G,G)$. It is shown that this group is always finite and contains a subgroup isomorphic to $B(G)^\times\rtimes \Out(G)$, where $B(G)^\times$ denotes the unit group of the Burnside ring of $G$ and $\Out(G)$ denotes the outer automorphism group of $G$. Moreover it is shown that if $G$ is nilpotent then $B^\Delta_\circ(G,G)\cong B(G)^\times\rtimes \Out(G)$. The results can be interpreted as positive answers to questions on equivalences of $p$-blocks of group algebras in the case that the block is the group algebra of a $p$-group.


title: Priority arguments via true strages

abstract: We describe a variation of Ash's $\eta$-system, and give a new proof of Ash's metatheorem. As an application, we prove a generalization of Ash and Knight's theorem on pairs of structures.


title: Stopping Criterion for the Mean Shift Iterative Algorithm

abstract: Image segmentation is a critical step in computer vision tasks constituting an essential issue for pattern recognition and visual interpretation. In this paper, we propose a new stopping criterion for the mean shift iterative algorithm by using images defined in Zn ring, with the goal of reaching a better segmentation. We carried out also a study on the weak and strong of equivalence classes between two images. An analysis on the convergence with this new stopping criterion is carried out too.


title: CP asymmetries in three-body B+- decays to charged pions and kaons

abstract: CP asymmetries have been measured recently by the LHCb collaboration in three-body $B^+$ decays to final states involving charged pions and kaons. Large asymmetries with opposite signs at a level of about 60% have been observed in $B^\pm\to \pi^\pm({\rm or} K^\pm)\pi^+\pi^-$ and $B^\pm \to \pi^\pm K^+K^-$ for restricted regions in the Dalitz plots involving $\pi^+\pi^-$ and $K^+K^-$ with low invariant mass. U-spin is shown to predict corresponding $\Delta S=0$ and $\Delta S=1$ asymmetries with opposite signs and inversely proportional to their branching ratios, in analogy with a successful relation predicted thirteen years ago between asymmetries in $B_s\to K^-\pi^+$ and $B^0 \to K^+ \pi^-$. We compare these predictions with the measured integrated asymmetries. Effects of specific resonant or non-resonant partial waves on enhanced asymmetries for low-pair-mass regions of the Dalitz plot are studied in $B^\pm \to \pi^\pm \pi^+\pi^-$. The closure of low-mass $\pi^+\pi^-$ and $K^+K^-$ channels involving only $\pi\pi \leftrightarrow K\bar K$ rescattering may explain by CPT approximately equal magnitudes and opposite signs measured in $B^\pm\to \pi^\pm\pi^+\pi^-$ and $B^\pm \to \pi^\pm K^+K^-$.


title: Localization at the Edge of 2D Topological Insulator by Kondo Impurities with Random Anisotropies

abstract: We consider chiral electrons moving along the 1D helical edge of a 2D topological insulator and interacting with a disordered chain of Kondo impurities. Assuming the electron-spin couplings of random anisotropies, we map this system to the problem of the pinning of the charge density wave by the disordered potential. This mapping proves that arbitrary weak anisotropic disorder in coupling of chiral electrons with spin impurities leads to the Anderson localization of the edge states.


title: Electronic structure and charge transfer excited states of a multichromophoric antenna

abstract: The electronic structure of a multichromophoric molecular complex containing two of each borondipyrromethane dye, Zn-tetraphenyl-porphyrin, bisphenyl anthracene and a fullerene are studied using density functional theory. The snowflake shaped molecule behaves like an antenna capturing photon at different frequencies and transferring the photon energy to the porphyrin where electron transfer occurs from the porphyrin to the fullerene. Molecular structure of this large complex is first optimized using plane wave projector augmented wave methodology. Subsequent electronic structure calculations are performed using the real space methodology using an all electron pseudopotential basis set containing total of 12478 basis functions. The results show that the HOMO and a state below the HOMO are primarily localized on one of the porphyrins while the LUMO resides mainly on the fullerene component of the complex. The energies of the HOMO and LUMO states in the complex, as adjudged by the ionization potential and the electron affinity values, show significant differences with respect to their values in participating subunits in isolation. We have systematically examined the effect of structural strain and the presence of ligands on the ionization energy and the electron affinity. Finally, we have calculated a few lowest charge transfer energies involving electronic transitions from a the porphyrin component to the fullerene subunit of the complex using the perturbative delta-SCF method. Our predicted value of the lowest charge transfer excited state (1.67 eV) is comparable to the experimental estimate of the charge transfer energy of a similar complex.


title: Greedy Clearing of Persistent Poissonian Dust

abstract: Given a Poisson point process on R, assign either one or two marks to each point of this process, independently of the others. We study the motion of a particle that jumps deterministically from its current location to the nearest point of the Poisson point process which still contains at least one mark, and removes one mark per each visit. A point of the Poisson point process which is left with no marks is removed from the system. We prove that the presence of any positive density of double marks leads to the eventual removal of every Poissonian point.


title: Coupling--mass mapping of di-jet peak searches

abstract: We study hypothetical gauge bosons that may produce dijet resonances at the LHC. Simple renormalizable models include leptophobic Z' bosons or colorons that have flavor-independent couplings and decay into a color-singlet or -octet quark-antiquark pair, respectively. We present the experimental results on dijet resonances at hadron colliders as limits in the coupling-versus-mass plane of a gauge boson associated with baryon number. This theoretical framework facilitates a direct comparison of dijet resonance searches performed at different center-of-mass energies or at different colliders.


title: Rapid Angular Expansion of the Ionized Core of CRL 618

abstract: CRL 618 is an object that exhibits characteristics of both AGB and post-AGB star. It also displays a spectacular array of bipolar lobes with a dense equatorial region, which makes it an excellent object to study the development of asymmetries in evolved stars. In the recent decades, an elliptical compact HII region located in the center of the nebula has been seen to be increasing in size and flux. This seems to be due to the ionization of the circumstellar envelope by the central star, and it would be indicating the beginning of the planetary nebula phase for CRL 618. We analyzed interferometric radio continuum data at ~5 and 22 GHz from observations carried out at seven epochs with the VLA. We traced the increase of the flux of the ionized region over a period of ~26 years. We measured the dimensions of the HII region directly from the brightness distribution images to determine the increase of its size over time. For one of the epochs we analyzed observations at six frequencies from which we estimated the electron density distribution. We carried out model calculations of the spectral energy distribution at two different epochs to corroborate our observational results. We found that the radio continuum flux and the size of the ionized region have been increasing monotonically in the last three decades. The size of the major axis of the HII region shows a dependance with frequency, which has been interpreted as a result of a gradient of the electron density in this direction. The growth of the HII region is due to the expansion of an ionized wind whose mass-loss rate increased continuously for a period of ~100 years until a few decades ago, when the mass-loss rate experienced a sudden decline. Our results indicate that the beginning of the ionization of the circumstellar envelope began around 1971, which marks the start of the planetary nebula phase of CRL 618.


title: Fermi level influence on the adsorption at semiconductor surfaces - ab initio simulations

abstract: Chemical adsorption of the species at semiconductor surfaces is analyzed showing the existence of the two contributions to adsorption energy: bond creation and charge transfer. It is shown that the energy of quantum surface states is affected by the electric field at the surface, nevertheless the potential contribution of electron and nuclei cancels out. The charge transfer contribution is Fermi level independent for pinned surfaces. Thus for Fermi level pinned at the surface, the adsorption energy is independent on the Fermi energy i.e. the doping in the bulk. The DFT simulations of adsorption of hydrogen at clean GaN(0001) and silicon at SiC(0001) surfaces confirmed independence of adsorption energy on the doping in the bulk. For the Fermi level nonpinned surfaces the charge contribution depends on the position of Fermi level in the bulk. Thus adsorption energy is sensitive to change of the Fermi energy in the bulk, i.e. the doping. The DFT simulations of adsorption of atomic hydrogen at 0.75 ML hydrogen covered GaN(0001) surface confirmed that the adsorption energy may be changed by about 2 eV by the doping change from n- to p-type.


title: 3D test particle simulations of the Galactic disks. The kinematical effects of the bar

abstract: Aims: To study the imprints of a rotating bar on the kinematics of stars in the thin and thick disks throughout the Galaxy. Methods: We perform test particle numerical simulations of the thin and thick disks in a 3D Galactic potential that includes a halo, a bulge, thin and thick disks, and a Ferrers bar. We analyze the resulting velocity distributions of populations corresponding to both disks, for different positions in the Galaxy and for different structural parameters of the bar. Results: We find that the velocity distributions of the disks are affected by the bar, and that strong transient effects are present for approximately 10 bar rotations after this is introduced adiabatically. On long (more realistic) timescales, the effects of the bar are strong on the kinematics of thin disk stars, and weaker on those in the thick disk, but in any case significant. Furthermore, we find that it is possible to trace the imprints of the bar also vertically and at least up to z ~ 1 kpc for the thin disk and z ~ 2 kpc for the thick disk.


title: Null-Wave Giant Gravitons from Thermal Spinning Brane Probes

abstract: We construct and analyze thermal spinning giant gravitons in type II/M-theory based on spherically wrapped black branes, using the method of thermal probe branes originating from the blackfold approach. These solutions generalize in different directions recent work in which the case of thermal (non-spinning) D3-brane giant gravitons was considered, and reveal a rich phase structure with various new properties. First of all, we extend the construction to M-theory, by constructing thermal giant graviton solutions using spherically wrapped M2- and M5-branes. More importantly, we switch on new quantum numbers, namely internal spins on the sphere, which are not present in the usual extremal limit for which the brane world volume stress tensor is Lorentz invariant. We examine the effect of this new type of excitation and in particular analyze the physical quantities in various regimes, including that of small temperatures as well as low/high spin. As a byproduct we find new stationary dipole-charged black hole solutions in AdS_m X S^n backgrounds of type II/M-theory. We finally show, via a double scaling extremal limit, that our spinning thermal giant graviton solutions lead to a novel null-wave zero-temperature giant graviton solution with a BPS spectrum, which does not have an analogue in terms of the conventional weakly coupled world volume theory.


title: Detecting Massive Galaxies at High Redshift using the Dark Energy Survey

abstract: The Dark Energy Survey (DES) will be unprecedented in its ability to probe exceptionally large cosmic volumes to relatively faint optical limits. Primarily designed for the study of comparatively low redshift (z<2) galaxies with the aim of constraining dark energy, an intriguing byproduct of the survey will be the identification of massive (>10^(12.0) M_sun) galaxies at z>~4. This will greatly improve our understanding of how galaxies form and evolve. By both passively evolving the low redshift mass function and extrapolating the observed high redshift mass function, we find that such galaxies should be rare but nonetheless present at early times, with predicted number densities of ~0.02 deg^-2. The unique combination of depth and coverage that DES provides will allow the identification of such galaxies should they exist - potentially identifying hundreds of such sources. We then model possible high redshift galaxies and determine their detectability using the DES filter sets and depths. We model sources with a broad range stellar properties and find that for these galaxies to be detected they must be either sufficiently young, high mass and/or relatively dust free (E(B-V)<0.45) - with these parameters jointly affecting each galaxy's detectability. We also propose colour-colour selection criteria for the identification of both pristine and dusty sources and find that, although contamination fractions will be high, the most reliable candidate massive high redshift galaxies are likely to be identifiable in the DES data through prioritisation of colour-selected sources.


title: A low-mass cut-off near the hydrogen burning limit for Salpeter-like initial mass functions in early-type galaxies

abstract: We conduct a detailed investigation of the properties of the stellar initial mass function (IMF) in two massive early-type lens galaxies with velocity dispersions of sigma ~245 km/s and sigma ~325 km/s, for which both HST imaging and X-Shooter spectra are available. We compare the inferences obtained from two fully independent methods: (i) a combined gravitational lensing and stellar dynamics (L&D) analysis of the data sets employing self-consistent axisymmetric models, and (ii) a spectroscopic simple stellar population (SSP) analysis of optical line-strength indices, assuming single power-law IMFs. The results from the two approaches are found to be in agreement within the 1-sigma uncertainties. Both galaxies are consistent with having a Salpeter IMF (power-law slope of x = 2.35), which is strongly favoured over a Chabrier IMF (x = 1.8), with probabilities inferred from the joint analysis of 89% and 99%, respectively. Bottom-heavy IMFs significantly steeper than Salpeter (x >= 3.0) are ruled out with decisive evidence (Bayes factor B > 1000) for both galaxies, as they exceed the total mass derived from the L&D constraints. Our analysis allows, for the first time, the inference of the low-mass cut-off of the IMF (M_low). Combining the joint L&D and SSP analyses of both galaxies, we infer an IMF slope of x = 2.22 +/- 0.14, consistent with Salpeter IMF, and a low-mass limit M_low = 0.13 +/- 0.03 M_sun, just above the hydrogen burning limit.


title: Inverse Compton X-ray signature of AGN feedback

abstract: Bright AGN frequently show ultra-fast outflows (UFOs) with outflow velocities vout ~0.1c. These outflows may be the source of AGN feedback on their host galaxies sought by galaxy formation modellers. The exact effect of the outflows on the ambient galaxy gas strongly depends on whether the shocked UFOs cool rapidly or not. This in turn depends on whether the shocked electrons share the same temperature as ions (one temperature regime; 1T) or decouple (2T), as has been recently suggested. Here we calculate the Inverse Compton spectrum emitted by such shocks, finding a broad feature potentially detectable either in mid-to-high energy X-rays (1T case) or only in the soft X-rays (2T). We argue that current observations of AGN do not seem to show evidence for the 1T component. The limits on the 2T emission are far weaker, and in fact it is possible that the observed soft X-ray excess of AGN is partially or fully due to the 2T shock emission. This suggests that UFOs are in the energy-driven regime outside the central few pc, and must pump considerable amounts of not only momentum but also energy into the ambient gas. We encourage X-ray observers to look for the Inverse Compton components calculated here in order to constrain AGN feedback models further.


title: A young hierarchical triple system harbouring a candidate debris disc

abstract: We report the detection of a wide young hierarchical triple system where the primary has a candidate debris disc. The primary, TYC 5241-986-1 A, is a known Tycho star which we classify as a late-K star with emission in the X-ray, near and far-UV and H\alpha\ suggestive of youth. Its proper motion, photometric distance (65-105 pc) and radial velocity lead us to associate the system with the broadly defined Local Association of young stars but not specifically with any young moving group. The presence of weak lithium absorption and X-ray and calcium H and K emission support an age in the 20 to ~125 Myr range. The secondary is a pair of M4.5+-0.5 dwarfs with near and far UV and H\alpha\ emission separated by approximately 1 arcsec (~65-105 AU projected separation) which lie 145 arcsec (9200-15200 AU) from the primary. The primary has a WISE 22 micron excess and follow-up Herschel observations also detect an excess at 70 micron. The excess emissions are indicative of a 100-175 K debris disc. We also explore the possibility that this excess could be due to a coincident background galaxy and conclude that this is unlikely. Debris discs are extremely rare around stars older than 15 Myr, hence if the excess is caused by a disc this is an extremely novel system.


title: What Shapes Supernova Remnants?

abstract: Evidence has mounted that Type Ia and core-collapse (CC) supernovae (SNe) can have substantial deviations from spherical symmetry; one such piece of evidence is the complex morphologies of supernova remnants (SNRs). However, the relative role of the explosion geometry and the environment in shaping SNRs remains an outstanding question. Recently, we have developed techniques to quantify the morphologies of SNRs, and we have applied these methods to the extensive X-ray and infrared archival images available of Milky Way and Magellanic Cloud SNRs. In this proceeding, we highlight some results from these studies, with particular emphasis on SNR asymmetries and whether they arise from "nature" versus "nurture".


title: NuSTAR and Chandra Insight into the Nature of the 3-40 keV Nuclear Emission in NGC 253

abstract: We present results from three nearly simultaneous NuSTAR and Chandra monitoring observations between 2012 Sep 2 and 2012 Nov 16 of local star-forming galaxy NGC 253. The 3-40 keV NuSTAR intensity of the inner 20 arcsec (~400 pc) nuclear region varied by a factor of ~2 across the three monitoring observations. The Chandra data reveal that the nuclear region contains three bright X-ray sources, including a luminous (L2-10 keV ~ few x 10^39 erg/s) point source ~1 arcsec from the dynamical center of the galaxy (within the 3sigma positional uncertainty of the dynamical center); this source drives the overall variability of the nuclear region at energies >3 keV. We make use of the variability to measure the spectra of this single hard X-ray source when it was in bright states. The spectra are well described by an absorbed (NH ~ 1.6 x 10^23 cm^-2) broken power-law model with spectral slopes and break energies that are typical of ultraluminous X-ray sources (ULXs), but not AGN. A previous Chandra observation in 2003 showed a hard X-ray point source of similar luminosity to the 2012 source that was also near the dynamical center (~0.4 arcsec); however, this source was offset from the 2012 source position by ~1 arcsec. We show that the probability of the 2003 and 2012 hard X-ray sources being unrelated is >>99.99% based on the Chandra spatial localizations. Interestingly, the Chandra spectrum of the 2003 source (3-8 keV) is shallower in slope than that of the 2012 hard X-ray source. Its proximity to the dynamical center and harder Chandra spectrum indicate that the 2003 source is a better AGN candidate than any of the sources detected in our 2012 campaign; however, we were unable to rule out a ULX nature for this source. Future NuSTAR and Chandra monitoring would be well equipped to break the degeneracy between the AGN and ULX nature of the 2003 source, if again caught in a high state.


title: Holographic Phases of Renyi Entropies

abstract: We consider Renyi entropies of conformal field theories in flat space, with the entangling surface being a sphere. The AdS/CFT correspondence relates this Renyi entropy to that of a black hole with hyperbolic horizon; as the Renyi parameter $n$ increases the temperature of the black hole decreases. If the CFT possesses a sufficiently low dimension scalar operator the black hole will be unstable to the development of hair. Thus, as $n$ is varied, the Renyi entropies will exhibit a phase transition at a critical value of $n$. The location of the phase transition, along with the spectrum of the reduced density matrix $\rho$, depends on the dimension of the lowest dimension non-trivial scalar operator in the theory.


title: Beyond the nuclear starburst? Clustered star formation in major mergers

abstract: Recent simulation work has successfully captured the formation of the star clusters that have been observed in merging galaxies. These studies, however, tend to focus on studying extreme starbursts, such as the Antennae galaxies. We aim to establish whether there is something special occurring in these extreme systems or whether the mechanism for cluster formation is present in all mergers to a greater or lesser degree. We undertake a general study of merger-induced star formation in a sample of 5 pc resolution adaptive mesh refinement simulations of low redshift equal-mass mergers with randomly-chosen orbital parameters. We find that there is an enhanced mass fraction of very dense gas that appears as the gas density probability density function evolves during the merger. This finding has implications for the interpretation of some observations; a larger mass fraction of dense gas could account for the enhanced HCN/CO ratios seen in ULIRGs and predicts that alpha_CO is lower in mergers, as for a given mass of H_2, CO emission will increase in a denser environment. We also find that as the star formation rate increases, there is a correlated peak in the velocity dispersion of the gas, which we attribute to increasing turbulence driven by the interaction itself. Star formation tends to be clumpy: in some cases there is extended clumpy star formation, but even when star formation is concentrated within the inner kpc (i.e. what may be considered a nuclear starburst) it still often has a clumpy, rather than a smooth, distribution. We find no strong evidence for a clear bimodality in the Kennicutt-Schmidt relation for the average mergers simulated here. Instead, they are typically somewhat offset above the predicted quiescent relation during their starbursts.


title: The Lee-Wick Standard Model at Finite Temperature

abstract: The Lee-Wick Standard Model at temperatures near electroweak scale is considered, with the aim of studying the electroweak phase transition. While Lee-Wick theories possess states of negative norm, they are not pathological but instead are treated by imposing particular boundary conditions and using particular integration contours in the calculation of S-matrix elements. It is not immediately clear how to extend this prescription to formulate the theory at finite temperature; we explore two different pictures of finite-temperature LW theories, and calculate the thermodynamic variables and the (one-loop) thermal effective potential. We apply these results to study the Lee-Wick Standard Model and find that the electroweak phase transition is a continuous crossover, much like in the Standard Model. However, the high-temperature behavior is modified due to cancellations between thermal corrections arising from the negative- and positive-norm states.


title: Duality Symmetric String and M-Theory

abstract: We review recent developments in duality symmetric string theory. We begin with the world sheet doubled formalism which describes strings in an extended space time with extra coordinates conjugate to winding modes. This formalism is T-duality symmetric and can accommodate non-geometric T-fold backgrounds which are beyond the scope of Riemannian geometry. Vanishing of the conformal anomaly of this theory can be interpreted as a set of spacetime equations for the background fields. These equations follow from an action principle that has been dubbed Double Field Theory (DFT). We review the aspects of generalised geometry relevant for DFT. We outline recent extensions of DFT and explain how, by relaxing the so-called strong constraint with a Scherk Schwarz ansatz, one can obtain backgrounds that simultaneously depend on both the regular and T-dual coordinates. This provides a purely geometric higher dimensional origin to gauged supergravities that arise from non-geometric compactification. We then turn to M-theory and describe recent progress in formulating an E_{n(n)} U-duality covariant description of the dynamics. We describe how spacetime may be extended to accommodate coordinates conjugate to brane wrapping modes and the construction of generalised metrics in this extend space that unite the bosonic fields of supergravity into a single object. We review the action principles for these theories and their novel gauge symmetries. We also describe how a Scherk Schwarz reduction can be applied in the M-theory context and the resulting relationship to the embedding tensor formulation of maximal gauged supergravities.


title: Tiling the integer lattice with translated sublattices

abstract: When $\mathbb{Z}^d$ is represented as a finite disjoint union of translated integer sublattices, the translated sublattices must possess some special properties. Such a representation is called a \emph{lattice tiling}. We develop a theoretical framework, based on multiple residues and dual groups, to provide a set of necessary and sufficient conditions for such a lattice tiling to exist. We also investigate the question of when a lattice tiling must possess at least two translated sublattices which are translates of one another.


title: Pion distribution amplitude from lattice-QCD

abstract: A method is explained through which a pointwise accurate approximation to the pion's valence-quark distribution amplitude (PDA) may be obtained from a limited number of moments. In connection with the single nontrivial moment accessible in contemporary simulations of lattice-regularised quantum chromodynamics (QCD), the method yields a PDA that is a broad concave function whose pointwise form agrees with that predicted by Dyson-Schwinger equation analyses of the pion. Under leading-order evolution, the PDA remains broad to energy scales in excess of 100 GeV, a feature which signals persistence of the influence of dynamical chiral symmetry breaking. Consequently, the asymptotic distribution, \phi_\pi^asy(x), is a poor approximation to the pion's PDA at all such scales that are either currently accessible or foreseeable in experiments on pion elastic and transition form factors. Thus, related expectations based on \phi_\pi^asy(x) should be revised.


title: Non-Linear Integral Equations for the SL(2,R)/U(1) black hole sigma model

abstract: It was previously established that the critical staggered XXZ spin chain provides a lattice regularization of the black hole CFT. We reconsider the continuum limit of this spin chain with the exact method of non-linear integral equations (NLIEs), paying particular attention to the effects of a singular integration kernel. With the help of the NLIEs, we rederive the continuous black hole spectrum, but also numerically match the density of states of the spin chain with that of the CFT, which is a new result. Finally, we briefly discuss the integrable structure of the black hole CFT and the identification of its massive integrable perturbation on the lattice.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Order-by-disorder in classical oscillator systems

abstract: We consider classical nonlinear oscillators on hexagonal lattices. When the coupling between the elements is repulsive, we observe coexisting states, each one with its own basin of attraction. These states differ by their degree of synchronization and by patterns of phase-locked motion. When disorder is introduced into the system by additive or multiplicative Gaussian noise, we observe a non-monotonic dependence of the degree of order in the system as a function of the noise intensity: intervals of noise intensity with low synchronization between the oscillators alternate with intervals where more oscillators are synchronized. In the latter case, noise induces a higher degree of order in the sense of a larger number of nearly coinciding phases. This order-by-disorder effect is reminiscent to the analogous phenomenon known from spin systems. Surprisingly, this non-monotonic evolution of the degree of order is found not only for a single interval of intermediate noise strength, but repeatedly as a function of increasing noise intensity. We observe noise-driven migration of oscillator phases in a rough potential landscape.


title: Topological phase states of the SU(3) QCD

abstract: We consider the topologically nontrivial phase states and the corresponding topological defects in the SU(3) d-dimensional quantum chromodynamics (QCD). The homotopy groups for topological classes of such defects are calculated explicitly. We have shown that the three nontrivial groups are pi_3 SU(3)=Z, pi_5 SU(3)=Z, and pi_6 SU(3)=Z_6 if 3 < d < 6. The latter result means that we are dealing exactly with six topologically different phase states. The topological invariants for d=3,5,6 are described in detail.


title: A note on noninner automorphisms of order $p$ for finite $p$-groups of coclass 2

abstract: In this note, the existence of noninner automorphisms of order 2 for finite 2-groups of coclass 2 is proved. Combining our result with a recent one due to Y. Guerboussa and M. Reguiat (see arXiv:1301.0085), we prove that every finite $p$-group of coclass 2 has a noninner automorphism of order $p$ leaving the center elementwise fixed.


title: Intrinsic decoherence and purity in a Bose quantum fluid in a triple well potential

abstract: We consider a quantum Bose fluid confined in a triple well potential in 1D within the exact N-body Bose-Hubbard model to investigate the phenomena of intrinsic decoherence and loss of purity. Our study is done by following the time evolution of one-body properties in an N-particle closed environment. We do an exhaustive exploration of initial conditions to characterize these phenomena. Here we illustrate our main findings with a set of relevant Fock and SU(3) coherent states. Our study shows that signatures of stationarity and maximal mixing are a direct consequence of the inter-particle interactions in the closed system and become evident as the number of particles is increased. This fact is confirmed by quantifying the deviations from stationarity by means of a matrix norm.


title: Magnetically Active Stars in Taurus-Auriga: Activity and Rotation

abstract: A sample of 70 magnetically active stars toward the Taurus-Auriga star-forming region has been investigated. The positions of the sample stars on the Rossby diagram have been analyzed. All stars are shown to be in the regime of a saturated dynamo, where the X-ray luminosity reaches its maximum and does not depend on the Rossby number. A correlation has been found between the lithium line equivalent width and the age of a solar-mass (from 0.7 to 1.2 Msun) pre-main-sequence star. The older the age, the smaller the Li line equivalent width. Analysis of the long-term photometric variability of these stars has shown that the photometric activity of the youngest stars is appreciably higher than that of the older objects from the sample. This result can be an indirect confirmation of the evolution of the magnetic field in pre-main-sequence stars from predominantly dipole and axisymmetric to multipole and nonaxisymmetric.


title: The KdV equation on the half-line: The Dirichlet to Neumann map

abstract: We consider initial-boundary value problems for the KdV equation $u_t + u_x + 6uu_x + u_{xxx} = 0$ on the half-line $x \geq 0$. For a well-posed problem, the initial data $u(x,0)$ as well as one of the three boundary values $\{u(0,t), u_x(0,t), u_{xx}(0,t)\}$ can be prescribed; the other two boundary values remain unknown. We provide a characterization of the unknown boundary values for the Dirichlet as well as the two Neumann problems in terms of a system of nonlinear integral equations. The characterizations are effective in the sense that the integral equations can be solved perturbatively to all orders in a well-defined recursive scheme.


title: Bellman approach to the one-sided bumping for weighted estimates of Calder\'on--Zygmund operators

abstract: We give again (see also arXiv:1112.0676) a proof of weighted estimate of any Calder\'on-Zygmund operator. This is under a universal sharp sufficient condition that is weaker than the so-called bump condition. Bump conjecture was recently solved independently and simultaneously by A. Lerner (arXiv:1202.1860) and Nazarov--Reznikov-Treil-Volberg (arXiv:1202.2406). The latter paper uses the Bellman approach. Immediately a very natural and seemingly simple question arises how to strengthen the bump conjecture result by weakening its assumptions in a natural symmetric way. This is what we are dealing with here. However we meet an unexpected and, in our opinion, deep obstacle, that allows us to achieve only a partial result. The result of the present article is slightly stronger than the one in arXiv:1112.0676. Our proof consists of two main parts: reduction to a simple model operator, construction of Bellman function for estimating this simple operator. The newer feature is that the domain of definition of our Bellman function is infinitely dimensional.


title: Spatially-Resolved Millimeter-Wavelength Maps of Neptune

abstract: We present maps of Neptune in and near the CO (2-1) rotation line at 230.538 GHz. These data, taken with the Combined Array for Research in Millimeter-wave Astronomy (CARMA) represent the first published spatially-resolved maps in the millimeter. At large (~5 GHz) offsets from the CO line center, the majority of the emission originates from depths of 1.1-4.7 bar. We observe a latitudinal gradient in the brightness temperature at these frequencies, increasing by 2-3 K from 40 degrees N to the south pole. This corresponds to a decrease in the gas opacity of about 30% near the south pole at altitudes below 1 bar, or a decrease of order a factor of 50 in the gas opacity at pressures greater than 4 bar. We look at three potential causes of the observed gradient: variations in the tropospheric methane abundance, variations in the H2S abundance, and deviations from equilibrium in the ortho/para ratio of hydrogen. At smaller offsets (0-213 MHz) from the center of the CO line, lower atmospheric pressures are probed, with contributions from mbar levels down to several bars. We find evidence of latitudinal variations at the 2-3% level in the CO line, which are consistent with the variations in zonal-mean temperature near the tropopause found by Conrath et al. (1998) and Orton et al. (2007).


title: The Electron Capture $^{163}$Ho Experiment ECHo

abstract: The determination of the absolute scale of the neutrino masses is one of the most challenging questions in particle physics. Different approaches are followed to achieve a sensitivity on neutrino masses in the sub-eV range. Among them, experiments exploring the beta decay and electron capture processes of suitable nuclides can provide necessary information on the electron neutrino mass value. In this talk we present the Electron Capture 163-Ho experiment ECHo, which aims to investigate the electron neutrino mass in the sub-eV range by means of the analysis of the calorimetrically measured energy spectrum following the electron capture process of 163-Ho. A high precision and high statistics spectrum will be measured by means of low temperature magnetic calorimeter arrays. We present preliminary results obtained with a first prototype of single channel detectors as well as the participating groups and their on-going developments.

categories: physics.ins-det hep-ex nucl-ex physics.atom-ph


title: LHC Signatures of Warped-space Vectorlike Quarks

abstract: We study the LHC signatures of TeV scale vectorlike quarks $b'$, $t'$ and $\chi$ with electromagnetic charges -1/3, 2/3 and 5/3 that appear in many beyond the standard model (BSM) extensions. We consider warped extra-dimensional models and analyze the phenomenology of such vectorlike quarks that are the custodial partners of third generation quarks. In addition to the usually studied pair-production channels which depend on the strong coupling, we put equal emphasis on single production channels that depend on electroweak couplings and on electroweak symmetry breaking induced mixing effects between the heavy vectorlike quarks and standard model quarks. We identify new promising $gg$-initiated pair and single production channels and find the luminosity required for discovering these states at the LHC. For these channels, we propose a cut that allows one to extract the relevant electroweak couplings. Although the motivation is from warped models, we present many of our results model-independently.


title: Hadron melting and QCD thermodynamics

abstract: We study in this paper mechanisms of hadron melting based on the spectral representation of hadronic quantum channels, and examine the hadron width dependence of the pressure. The findings are applied to a statistical hadron model of QCD thermodynamics, where hadron masses are distributed by the Hagedorn model and a uniform mechanism for producing hadron widths is assumed. According to this model the hadron - quark gluon plasma transition occurs at $T\approx 200$-250 MeV, the numerically observable $T_c=156$ MeV crossover temperature is relevant for the onset of the hadron melting process.


title: CP Violation in $B^0_s \to K^-\pi^+$, $B^0 \to K^+\pi^-$ Decays and Tests for SU(3) Flavor Symmetry Predictions

abstract: The LHCb collaboration has recently measured the first direct CP violation in $B^0_s$ decays with a rate asymmetry $A_{CP}(B^0_s\to K^- \pi^+)$ given by $0.27 \pm 0.04(stat)\pm 0.01(syst)$. At the same time they also made the most precise measurement for $A_{CP}(B^0 \to K^+ \pi^-) = -0.080\pm 0.007(stat)\pm 0.003(syst)$. These data confirm the predicted relation, $A_{CP}(B^0 \to K^+ \pi^-)/A_{CP}(B^0_s \to K^- \pi^+) = - Br(B^0_s\to K^- \pi^+)\tau_{B^0}/Br(B^0 \to K^+ \pi^-)\tau_{B^0_s}$, in the standard model with SU(3) flavor symmetry. We discuss possible modifications due to SU(3) breaking effects to this relation. There are several other similar relations in B decays. Using current available data we study whether relevant relations hold in $B^0$ and $B^0_s$ to $PP$ and $PV$ decays. Here $P$ and $V$ indicate pesudoscalar and vector mesons in the flavor octet representations.


title: Neutrino spin oscillations in matter under the influence of gravitational and electromagnetic fields

abstract: We derive the new quasi-classical equation for the description of the spin evolution of a neutrino propagating in a curved space-time and interacting with a background matter and an external electromagnetic field. This equation is used to analyze neutrino spin oscillations in these external backgrounds. We obtain the effective Hamiltonian and the transition probability for oscillations of neutrinos when they move in the vicinity of a rotating black hole, surrounded by an accretion disk, and interact with an external magnetic field. The appearance of new resonances in neutrino spin oscillations in this system is considered. The approximate treatment of spin oscillations of radially propagating ultra high energy neutrinos is developed. We also discuss the applications of our results to the description of neutrino spin oscillations in realistic astrophysical media.


title: Local potential approximation for the renormalization group flow of fermionic field theories

abstract: The second functional derivative of the effective potential of pure fermionic field theories is rewritten in a factorized form which facilitates the evaluation of the renormalisation flow rate of the effective action in the Wetterich equation. It is applied to the Local Potential Approximation in cases, when the effective potential depends on scalar composites built from the fermions. The procedure is demonstrated explicitly on the example of the $N_f$-flavor Gross-Neveu model and the one-flavor chiral Nambu--Jona-Lasinio model.


title: Are giant tornadoes the legs of solar prominences?

abstract: Observations in the 171 AA channel of the Atmospheric Imaging Assembly of the space-borne Solar Dynamics Observatory show tornadoes-like features in the atmosphere of the Sun. These giant tornadoes appear as dark, elongated and apparently rotating structures in front of a brighter background. This phenomenon is thought to be produced by rotating magnetic field structures that extend throughout the atmosphere. We characterize giant tornadoes through a statistical analysis of properties like spatial distribution, lifetimes, and sizes. A total number of 201 giant tornadoes are detected in a period of 25 days, suggesting that on average about 30 events are present across the whole Sun at a time close to solar maximum. Most tornadoes appear in groups and seem to form the legs of prominences, thus serving as plasma sources/sinks. Additional Halpha observations with the Swedish 1-m Solar Telescope imply that giant tornadoes rotate as a structure although clearly exhibiting a thread-like structure. We observe tornado groups that grow prior to the eruption of the connected prominence. The rotation of the tornadoes may progressively twist the magnetic structure of the prominence until it becomes unstable and erupts. Finally, we investigate the potential relation of giant tornadoes to other phenomena, which may also be produced by rotating magnetic field structures. A comparison to cyclones, magnetic tornadoes and spicules implies that such events are more abundant and short-lived the smaller they are. This comparison might help to construct a power law for the effective atmospheric heating contribution as function of spatial scale.


title: Densely Defined Multiplication on the Sobolev Space

abstract: Following Sarason's classification of the densely defined multiplication operators over the Hardy space, we classify the densely defined multipliers over the Sobolev space, $W^{1,2}[0,1]$. In this paper we find that the collection of such multipliers for the Sobolev space is exactly the Sobolev space itself. This sharpens a result of Shields concerning bounded multipliers. The densely defined multiplication operators over the subspace $W_0 = \{f \in W^{1,2}[0,1] : f(0)=f(1)=0 \}$ are also classified. In this case the densely defined multiplication operators can be written as a ratio of functions in $W_0$ where the denominator is non-vanishing. This is proved using a contructive argument.


title: Large Margin Low Rank Tensor Analysis

abstract: Other than vector representations, the direct objects of human cognition are generally high-order tensors, such as 2D images and 3D textures. From this fact, two interesting questions naturally arise: How does the human brain represent these tensor perceptions in a "manifold" way, and how can they be recognized on the "manifold"? In this paper, we present a supervised model to learn the intrinsic structure of the tensors embedded in a high dimensional Euclidean space. With the fixed point continuation procedures, our model automatically and jointly discovers the optimal dimensionality and the representations of the low dimensional embeddings. This makes it an effective simulation of the cognitive process of human brain. Furthermore, the generalization of our model based on similarity between the learned low dimensional embeddings can be viewed as counterpart of recognition of human brain. Experiments on applications for object recognition and face recognition demonstrate the superiority of our proposed model over state-of-the-art approaches.


title: Localization of disordered bosons and magnets in random fields

abstract: We study localization properties of disordered bosons and spins in random fields at zero temperature. We focus on two representatives of different symmetry classes, hard-core bosons (XY magnets) and Ising magnets in random transverse fields, and contrast their physical properties. We describe localization properties using a locator expansion on general lattices. For 1d Ising chains, we find non-analytic behavior of the localization length as a function of energy at \omega = 0, $\xi^{-1}(\omega) = \xi^{-1}(0) + A |\omega|^\alpha$, with $\alpha$ vanishing at criticality. This contrasts with the much smoother behavior predicted for XY magnets. We use these results to approach the ordering transition on Bethe lattices of large connectivity K, which mimic the limit of high dimensionality. In both models, in the paramagnetic phase with uniform disorder, the localization length is found to have a local maximum at \omega = 0. For the Ising model, we find activated scaling at the phase transition, in agreement with infinite randomness studies. In the Ising model long range order is found to arise due to a delocalization and condensation initiated at \omega = 0, without a closing mobility gap. We find that Ising systems establish order on much sparser (fractal) subgraphs than XY models. Possible implications of these results for finite-dimensional systems are discussed.


title: Precisely Verifying the Null Space Conditions in Compressed Sensing: A Sandwiching Algorithm

abstract: In this paper, we propose new efficient algorithms to verify the null space condition in compressed sensing (CS). Given an $(n-m) \times n$ ($m>0$) CS matrix $A$ and a positive $k$, we are interested in computing $\displaystyle \alpha_k = \max_{\{z: Az=0,z\neq 0\}}\max_{\{K: |K|\leq k\}}$ ${\|z_K \|_{1}}{\|z\|_{1}}$, where $K$ represents subsets of $\{1,2,...,n\}$, and $|K|$ is the cardinality of $K$. In particular, we are interested in finding the maximum $k$ such that $\alpha_k < {1}{2}$. However, computing $\alpha_k$ is known to be extremely challenging. In this paper, we first propose a series of new polynomial-time algorithms to compute upper bounds on $\alpha_k$. Based on these new polynomial-time algorithms, we further design a new sandwiching algorithm, to compute the \emph{exact} $\alpha_k$ with greatly reduced complexity. When needed, this new sandwiching algorithm also achieves a smooth tradeoff between computational complexity and result accuracy. Empirical results show the performance improvements of our algorithm over existing known methods; and our algorithm outputs precise values of $\alpha_k$, with much lower complexity than exhaustive search.

categories: cs.IT cs.LG cs.SY math.IT math.OC stat.ML


title: Bethe ansatz description of edge-localization in the open-boundary XXZ spin chain

abstract: At large values of the anisotropy \Delta, the open-boundary Heisenberg spin-1/2 chain has eigenstates displaying localization at the edges. We present a Bethe ansatz description of this `edge-locking' phenomenon in the entire \Delta>1 region. We focus on the simplest spin sectors, namely the highly polarized sectors with only one or two overturned spins, i.e., one-particle and two-particle sectors. Edge-locking is associated with pure imaginary solutions of the Bethe equations, which are not commonly encountered in periodic chains. In the one-particle case, at large anisotropies there are two eigenstates with imaginary Bethe momenta, related to localization at the two edges. For any finite chain size, one of the two solutions become real as the anisotropy is lowered below a certain value. For two particles, a richer scenario is observed, with eigenstates having the possibility of both particles locked on the same or different edge, one locked and the other free, and both free either as single magnons or as bound composites corresponding to `string' solutions. For finite chains, some of the edge-locked spins get delocalized at certain values of the anisotropy (`exceptional points'), corresponding to imaginary solutions becoming real. We characterize these phenomena thoroughly by providing analytic expansions of the Bethe momenta for large chains, large anisotropy, and near the exceptional points. In the large-chain limit all the exceptional points coalesce at the isotropic point (\Delta=1) and edge-locking becomes stable in the whole \Delta>1 region.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP


title: Deconstruction of Resolution Effects in Angle-Resolved Photoemission

abstract: We study how the energy and momentum resolution of angle-resolved photoemission spectroscopy (ARPES) affects the linewidth, Fermi crossing, velocity, and curvature of the measured band structure. Based on the fact that the resolution smooths out the spectra, acting as a low-pass filter, we develop an iterative simulation scheme that compensates for resolution effects and allows the fundamental physical parameters to be accurately extracted. By simulating a parabolic band structure of Fermi-liquid quasiparticles, we show that this method works for an energy resolution up to 100 meV and a momentum resolution equal to twice the energy resolution scaled by the Fermi velocity. Our analysis acquires particular relevance in the hard and soft x-ray regimes, where a degraded resolution limits the accuracy of the extracted physical parameters, making it possible to study how the electronic excitations are modified when the ARPES probing depth increases beyond the surface.


title: Seeking a Game in which the standard model Group shall Win

abstract: It is attempted to construct a group-dependent quantity that could be used to single out the Standard Model group S(U(2) x U(3)) as being the "winner" by this quantity being the biggest possible for just the Standard Model group. The suggested quantity is first of all based on the inverse quadratic Cassimir for the fundamental or better smallest faithful representation in a notation in which the adjoint representation quadratic Cassimir is normalized to unity. Then a further correction is added to help the wanted Standard Model group to win and the rule comes even to involve the Abelian group U(1) to be multiplied into the group to get this correction be allowed. The scheme is suggestively explained to have some physical interpretation(s). By some appropriate proceedure for extending the group dependent quantity to groups that are not simple we find a way to make the Standard Model Group the absolute "winner". Thus we provide an indication for what could be the reason for the Standard Model Group having been chosen to be the realized one by Nature.


title: Hilbert's Tenth Problem over Function Fields of Positive Characteristic Not Containing the Algebraic Closure of a Finite Field

abstract: We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the undecidability proof for function fields of higher transcendence degree to characteristic 2 and show that the first-order theory of {\bf any} function field of positive characteristic is undecidable in the language of rings without parameters.


title: Foliations and Conjugacy:Anosov Structures in the plane

abstract: In a non-compact setting, the notion of hyperbolicity, and the associated structure of stable and unstable manifolds (for unbounded orbits), is highly dependent on the choice of metric used to define it. We consider the simplest version of this, the analogue for the plane of Anosov diffeomorphisms, studied earlier by W. White and P. Mendes. The two known topological conjugacy classes of such diffeomorphisms are linear hyperbolic automorphisms and translations. We show that if the structure of stable and unstable manifolds is required to be preserved by these conjugacies, the number of distinct equivalence classes of Anosov diffeomorphisms in the plane becomes infinite.


title: Posterior asymptotics of nonparametric location-scale mixtures for multivariate density estimation

abstract: Density estimation represents one of the most successful applications of Bayesian nonparametrics. In particular, Dirichlet process mixtures of normals are the gold standard for density estimation and their asymptotic properties have been studied extensively, especially in the univariate case. However a gap between practitioners and the current theoretical literature is present. So far, posterior asymptotic results in the multivariate case are available only for location mixtures of Gaussian kernels with independent prior on the common covariance matrix, while in practice as well as from a conceptual point of view a location-scale mixture is often preferable. In this paper we address posterior consistency for such general mixture models by adapting a convergence rate result which combines the usual low-entropy, high-mass sieve approach with a suitable summability condition. Specifically, we establish consistency for Dirichlet process mixtures of Gaussian kernels with various prior specifications on the covariance matrix. Posterior convergence rates are also discussed.


title: R3MC: A Riemannian three-factor algorithm for low-rank matrix completion

abstract: We exploit the versatile framework of Riemannian optimization on quotient manifolds to develop R3MC, a nonlinear conjugate-gradient method for low-rank matrix completion. The underlying search space of fixed-rank matrices is endowed with a novel Riemannian metric that is tailored to the least-squares cost. Numerical comparisons suggest that R3MC robustly outperforms state-of-the-art algorithms across different problem instances, especially those that combine scarcely sampled and ill-conditioned data.


title: Spontaneous Rayleigh seeding of stimulated Rayleigh scattering in high power fiber amplifiers

abstract: We estimate the Stokes wave starting power for stimulated thermal Rayleigh scattering (STRS) produced by thermal fluctuations in the fiber core that transiently alter the refractive index profile in the core. A transverse temperature gradient creates a transverse refractive index gradient via the thermo optic effect, and if the fluctuation frequency lies in the STRS gain band, it can couple light from mode LP$_{01}$ to LP$_{11}$ to seed STRS. This spontaneous Rayleigh seed may be stronger than the quantum background and may affect the mode instability thresholds of fiber amplifiers. This new seed estimate can be incorporated in STRS models to improve threshold calculations.


title: Convergence of the Fourth Moment and Infinite Divisibility

abstract: In this note we prove that, for infinitely divisible laws, convergence of the fourth moment to 3 is sufficient to ensure convergence in law to the Gaussian distribution. Our results include infinitely divisible measures with respect to classical, free, Boolean and monotone convolution. A similar criterion is proved for compound Poissons with jump distribution supported on a finite number of atoms. In particular, this generalizes recent results of Nourdin and Poly.


title: Kolmogorov Complexity of Categories

abstract: Kolmogorov complexity theory is used to tell what the algorithmic informational content of a string is. It is defined as the length of the shortest program that describes the string. We present a programming language that can be used to describe categories, functors, and natural transformations. With this in hand, we define the informational content of these categorical structures as the shortest program that describes such structures. Some basic consequences of our definition are presented including the fact that equivalent categories have equal Kolmogorov complexity. We also prove different theorems about what can and cannot be described by our programming language.

categories: math.CT cs.IT cs.LO cs.PL math.IT math.LO


title: Some exact results on CP and CPT violations in a $C=-1$ entangled pseudoscalar neutral meson pair

abstract: We consider neutral pseudoscalar mesons in an entangled or Einstein-Podolsky-Rosen state with $C=-1$. Due to quantum entanglement and antisymmetry of this state, the rates of the joint decays of the meson pair display various interesting features, as is well known. As functions of CP and CPT violating parameters, here we obtain some exact results about the joint decay rates and their asymmetries for a given time difference defined for joint decays to flavor eigenstates, as well as those for joint decays to CP eigenstates. The entanglement allows a meaningful and useful definition of the transition amplitude from a CP eigenstate of a meson. These results yield useful information and criteria on CP and CPT violations.


title: Optimal quantum-enhanced interferometry using a laser power source

abstract: We consider an interferometer powered by laser light (a coherent state) into one input port and ask the following question: what is the best state to inject into the second input port, given a constraint on the mean number of photons this state can carry, in order to optimize the interferometer's phase sensitivity? This question is the practical question for high-sensitivity interferometry. We answer the question by considering the quantum Cram{\'e}r-Rao bound for such a setup. The answer is squeezed vacuum.


title: Asteroids in the service of humanity

abstract: There are at least three compelling reasons for the human race to initiate a major programme to explore and better understand the 'minor planets' of the Solar System: (1) Enhancing scientific knowledge; (2) Mitigating the impact hazard; and (3) Utilizing extraterrestrial resources. Strong synergies exist between all three. Moreover, all these activities would benefit from greater international cooperation in space exploration by the World's space agencies, and the recognition that asteroids are important targets for human and robotic exploration.


title: The supermassive black hole mass - S\'ersic index relations for bulges and elliptical galaxies

abstract: Scaling relations between supermassive black hole mass, M_BH, and host galaxy properties are a powerful instrument for studying their coevolution. A complete picture involving all of the black hole scaling relations, in which each relation is consistent with the others, is necessary to fully understand the black hole-galaxy connection. The relation between M_BH and the central light concentration of the surrounding bulge, quantified by the S\'ersic index n, may be one of the simplest and strongest such relations, requiring only uncalibrated galaxy images. We have conducted a census of literature S\'ersic index measurements for a sample of 54 local galaxies with directly measured M_BH values. We find a clear M_BH - n relation, despite an appreciable level of scatter due to the heterogeneity of the data. Given the current M_BH - L_sph and the L_sph - n relations, we have additionally derived the expected M_BH - n relations, which are marginally consistent at the 2 sigma level with the observed relations. Elliptical galaxies and the bulges of disc galaxies are each expected to follow two distinct bent M_BH - n relations due to the S\'ersic/core-S\'ersic divide. For the same central light concentration, we predict that M_BH in the S\'ersic bulges of disc galaxies are an order magnitude higher than in S\'ersic elliptical galaxies if they follow the same M_BH - L_sph relation.


title: Broad Absorption Line Quasars with Redshifted Troughs: High-Velocity Infall or Rotationally Dominated Outflows?

abstract: We report the discovery in the Sloan Digital Sky Survey and the SDSS-III Baryon Oscillation Spectroscopic Survey of seventeen broad absorption line (BAL) quasars with high-ionization troughs that include absorption redshifted relative to the quasar rest frame. The redshifted troughs extend to velocities up to v=12,000 km/s and the trough widths exceed 3000 km/s in all but one case. Approximately 1 in 1000 BAL quasars with blueshifted C IV absorption also has redshifted C IV absorption; objects with C IV absorption present only at redshifted velocities are roughly four times rarer. In more than half of our objects, redshifted absorption is seen in C II or Al III as well as C IV, making low-ionization absorption at least ten times more common among BAL quasars with redshifted troughs than among standard BAL quasars. However, the C IV absorption equivalent widths in our objects are on average smaller than those of standard BAL quasars with low-ionization absorption. We consider several possible ways of generating redshifted absorption. The two most likely possibilities may be at work simultaneously, in the same objects or in different ones. Rotationally dominated outflows seen against a quasar's extended continuum source can produce redshifted and blueshifted absorption, but variability consistent with this scenario is seen in only one of the four objects with multiple spectra. The infall of relatively dense and low-ionization gas to radii as small as 400 Schwarzschild radii can in principle explain the observed range of trough profiles, but current models do not easily explain the origin and survival of such gas. Whatever the origin(s) of the absorbing gas in these objects, it must be located at small radii to explain its large redshifted velocities, and thus offers a novel probe of the inner regions of quasars.


title: Determining the luminosity function of Swift long gamma-ray bursts with pseudo-redshifts

abstract: The determination of luminosity function (LF) of gamma-ray bursts (GRBs) is of an important role for the cosmological applications of the GRBs, which is however hindered seriously by some selection effects due to redshift measurements. In order to avoid these selection effects, we suggest to calculate pseudo-redshifts for Swift GRBs according to the empirical L-E_p relationship. Here, such a $L-E_p$ relationship is determined by reconciling the distributions of pseudo- and real redshifts of redshift-known GRBs. The values of E_p taken from Butler's GRB catalog are estimated with Bayesian statistics rather than observed. Using the GRB sample with pseudo-redshifts of a relatively large number, we fit the redshift-resolved luminosity distributions of the GRBs with a broken-power-law LF. The fitting results suggest that the LF could evolve with redshift by a redshift-dependent break luminosity, e.g., L_b=1.2\times10^{51}(1+z)^2\rm erg s^{-1}. The low- and high-luminosity indices are constrained to 0.8 and 2.0, respectively. It is found that the proportional coefficient between GRB event rate and star formation rate should correspondingly decrease with increasing redshifts.


title: Alternate islands of multiple isochronous chains in wave-particle interactions

abstract: We analyze the dynamics of a relativistic particle moving in a uniform magnetic field and perturbed by a standing electrostatic wave. We show that a pulsed wave produces an infinite number of perturbative terms with the same winding number, which may generate islands in the same region of phase space. As a consequence, the number of isochronous island chains varies as a function of the wave parameters. We observe that in all the resonances, the number of chains is related to the amplitude of the various resonant terms. We determine analytically the position of the periodic points and the number of island chains as a function of the wave number and wave period. Such information is very important when one is concerned with regular particle acceleration, since it is necessary to adjust the initial conditions of the particle to obtain the maximum acceleration.


title: Growth Index after the Planck Results

abstract: The growth index $\gamma_L$ was proposed to investigate the possible deviation from the standard $\Lambda$CDM model and Einstein's gravity theory in a dynamical perspective. Recently, thanks to the measurement of the cosmic growth rate via the redshift-space distortion, one can understand the evolution of density contrast through $f\sigma_8(z)$, where $f(z)=d\ln \delta/d \ln a$ is the growth rate of matter and $\sigma_8(z)$ is the rms amplitude of the density contrast $\delta$ at the comoving $8h^{-1}$ Mpc scale. In this paper, we use the redshift space distortion data points to study the growth index on the bases of Einstein's gravity theory and a modified gravity theory under the assumption of $f=\Omega_m(a)^{\gamma_L}$. The cosmic background evolution is fixed by the cosmic observations from the type Ia supernovae SNLS3, cosmic microwave background radiation data from {\it Planck} and baryon acoustic oscillations. Via the Markov Chain Monte Carlo method, we found the $\gamma_L$ values for Einstein's gravity with a cosmological constant, $w=constant$ dark energy and a modified gravity theory in the $1,2,3\sigma$ regions respectively: $0.675_{-0.0662-0.120-0.155}^{+0.0611+0.129+0.178}$, $0.745_{-0.0819-0.146-0.190}^{+0.0755+0.157+0.205}$ and $0.555_{-0.0167-0.0373-0.0516}^{+0.0193+0.0335+0.0436}$. In the Einstein's gravity theory, the values of growth index $\gamma_L$ show almost $2\sigma$ deviation from the theoretical prediction 6/11 for the $\Lambda$CDM model. However in the modified gravity framework, a deviation from the Einstein's relativity is not detected in $1\sigma$ region. That implies that the currently available cosmic observations don't expect an alternative modified gravity theory beyond the $\Lambda$CDM model under Einstein's gravity, but that the simple assumption of $f=\Omega_m^{\gamma_L}$ should be improved.


title: Superconducting Symmetry Studied from Impurity Effects in Single-Crystal Fe1-yMySe0.3Te0.7 (M = Co, Ni, Zn)

abstract: We have investigated the suppression of the superconducting transition temperature, Tc, with an increase of the residual resistivity, \rho_0, through the substitution of M (M = Co, Ni, Zn) for Fe in Fe1-yMySe0.3Te0.7 single crystals, in order to clarify the symmetry of the superconducting gap in FeSe1-xTex. Small, large and very small suppression of Tc have been observed through the Co, Ni and Zn substitution, respectively. The magnitude of the suppression rate is hardly explained in terms of the pair-breaking effect due to potential scattering calculated based on the Abrikosov-Gor'kov theory, even if errors in the estimation of the carrier concentration, effective mass and \rho_0 were taken into account. Accordingly, these results suggest that the superconducting symmetry is the s++-wave in FeSe1-xTex.


title: Flexible sampling of discrete data correlations without the marginal distributions

abstract: Learning the joint dependence of discrete variables is a fundamental problem in machine learning, with many applications including prediction, clustering and dimensionality reduction. More recently, the framework of copula modeling has gained popularity due to its modular parametrization of joint distributions. Among other properties, copulas provide a recipe for combining flexible models for univariate marginal distributions with parametric families suitable for potentially high dimensional dependence structures. More radically, the extended rank likelihood approach of Hoff (2007) bypasses learning marginal models completely when such information is ancillary to the learning task at hand as in, e.g., standard dimensionality reduction problems or copula parameter estimation. The main idea is to represent data by their observable rank statistics, ignoring any other information from the marginals. Inference is typically done in a Bayesian framework with Gaussian copulas, and it is complicated by the fact this implies sampling within a space where the number of constraints increases quadratically with the number of data points. The result is slow mixing when using off-the-shelf Gibbs sampling. We present an efficient algorithm based on recent advances on constrained Hamiltonian Markov chain Monte Carlo that is simple to implement and does not require paying for a quadratic cost in sample size.


title: Thermal conductivity and annealing effects in the iron-based superconductor FeSe$_{0.3}$Te$_{0.7}$

abstract: Thermal conductivity measurements in magnetic fields have been carried out for FeSe$_{0.3}$Te$_{0.7}$ single crystals as-grown and annealed at 400 {\degree}C for 100 h in vacuum ($\sim$ 10$^{-4}$ Pa). It has been found that the thermal conductivity in the {\it ab}-plane, {\kab}, of the annealed crystal shows an enhancement at low temperatures just below the superconducting transition temperature, {\tc}, owing to the thermal conductivity due to quasiparticles, while {\kab} of the as-grown crystal does not. This suggests that FeSe$_{1-x}$Te$_{x}$ is a strongly correlated electron system. It has also been found that both the degree of the enhancement of {\kab} just below {\tc} and the behavior of the suppression of {\kab} by the application of magnetic field for the annealed crystal depend on the thickness of the crystal. These results indicate that bulk superconductivity is absent in the as-grown crystal, appears only in the surface area in the annealed-thick crystal and appears in the almost whole region in the annealed-thin crystal. It has been concluded that the excess Fe included in the as-grown crystal is removed from the surface through the vacuum-annealing.


title: Energy Loss at Propagating Jamming Fronts in Granular Gas Clusters

abstract: We explore the initial moments of impact between two dense granular clusters in a two-dimensional geometry. The particles are composed of solid CO$_{2}$ and are levitated on a hot surface. Upon collision, the propagation of a dynamic "jamming front" produces a distinct regime for energy dissipation in a granular gas in which the translational kinetic energy decreases by over 90%. Experiments and associated simulations show that the initial loss of kinetic energy obeys a power law in time, $\Delta E=-Kt^{3/2}$, a form that can be predicted from kinetic arguments.


title: A Mathematical Aspect of A Tunnel-Junction for Spintronic Qubit

abstract: We consider the Dirac particle living in the 1-dimensional configuration space with a junction for a spintronic qubit. We give concrete formulae explicitly showing the one-to-one correspondence between every self-adjoint extension of the minimal Dirac operator and the boundary condition of the wave functions of the Dirac particle. We then show that the boundary conditions are classified into two types: one of them is characterized by two parameters and the other is by three parameters. Then, we show that Benvegnu and Dabrowski's four-parameter family can actually be characterized by three parameters, concerned with the reflection, penetration, and phase factor.


title: Groups in which some primary subgroups are weakly s-supplemented?

abstract: A subgroup $H$ of a group $G$ is called weakly s-supplemented in $G$ if there is a subgroup $T$ such that $G=HT$ and $H\cap T\le H_{sG}$, where $H_{sG}$ is the subgroup of $H$ generated by all those subgroups of $H$ which are s-permutable in $G$. The influence of primary weakly s-supplemented subgroups on the structure of finite groups is investigated. An open question promoted by Skiba is studied and some known results are generalized.


title: On Some Expander Graphs and Algebraic Cayley Graphs

abstract: Expander graphs have many interesting applications in communication networks and other areas, and thus these graphs have been extensively studied in theoretic computer sciences and in applied mathematics. In this paper, we use reversible difference sets and generalized difference sets to construct more expander graphs, some of them are Ramanujan graphs. Three classes of elementary constructions of infinite families of Ramanujan graphs are provided. It is proved that for every even integer $k>4$, if $2(k+2)=rs$ for two even numbers $r$ and $s$ with $s\geq 4$ and $2s>r\geq s$, or $r\geq 4$ and $2r>s\geq r$, then there exists an $k$-regular Ramanujan graph. As a consequence, there exists an $k$-regular Ramanujan graph with $k=2t^2-2$ for every integer $t>2$. It is also proved that for every odd integer $m$, there is an $(2^{2m-2}+2^{m-1})$-regular Ramanujan graph. These results partially solved the long hanging open question for the existence of $k$-regular Ramanujan graphs for every positive integer $k$.


title: Preserving differential privacy under finite-precision semantics

abstract: The approximation introduced by finite-precision representation of continuous data can induce arbitrarily large information leaks even when the computation using exact semantics is secure. Such leakage can thus undermine design efforts aimed at protecting sensitive information. We focus here on differential privacy, an approach to privacy that emerged from the area of statistical databases and is now widely applied also in other domains. In this approach, privacy is protected by the addition of noise to a true (private) value. To date, this approach to privacy has been proved correct only in the ideal case in which computations are made using an idealized, infinite-precision semantics. In this paper, we analyze the situation at the implementation level, where the semantics is necessarily finite-precision, i.e. the representation of real numbers and the operations on them, are rounded according to some level of precision. We show that in general there are violations of the differential privacy property, and we study the conditions under which we can still guarantee a limited (but, arguably, totally acceptable) variant of the property, under only a minor degradation of the privacy level. Finally, we illustrate our results on two cases of noise-generating distributions: the standard Laplacian mechanism commonly used in differential privacy, and a bivariate version of the Laplacian recently introduced in the setting of privacy-aware geolocation.


title: Indexed Labels for Loop Iteration Dependent Costs

abstract: We present an extension to the labelling approach, a technique for lifting resource consumption information from compiled to source code. This approach, which is at the core of the annotating compiler from a large fragment of C to 8051 assembly of the CerCo project, looses preciseness when differences arise as to the cost of the same portion of code, whether due to code transformation such as loop optimisations or advanced architecture features (e.g. cache). We propose to address this weakness by formally indexing cost labels with the iterations of the containing loops they occur in. These indexes can be transformed during the compilation, and when lifted back to source code they produce dependent costs. The proposed changes have been implemented in CerCo's untrusted prototype compiler from a large fragment of C to 8051 assembly.


title: Quantitative Security Analysis for Multi-threaded Programs

abstract: Quantitative theories of information flow give us an approach to relax the absolute confidentiality properties that are difficult to satisfy for many practical programs. The classical information-theoretic approaches for sequential programs, where the program is modeled as a communication channel with only input and output, and the measure of leakage is based on the notions of initial uncertainty and remaining uncertainty after observing the final outcomes, are not suitable to multi-threaded programs. Besides, the information-theoretic approaches have been also shown to conflict with each other when comparing programs. Reasoning about the exposed information flow of multi-threaded programs is more complicated, since the outcomes of such programs depend on the scheduler policy, and the leakages in intermediate states also contribute to the overall leakage of the program. This paper proposes a novel model of quantitative analysis for multi-threaded programs that also takes into account the effect of observables in intermediate states along the trace. We define a notion of the leakage of a program trace. Given the fact that the execution of a multi-threaded program is typically described by a set of traces, the leakage of a program under a specific scheduler is computed as the expected value of the leakages of all possible traces. Examples are given to compare our approach with the existing approaches.


title: Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance

abstract: LTL is frequently used to express specifications in many domains such as embedded systems or business processes. Witnesses can help to understand why an LTL specification is satisfiable, and a number of approaches exist to make understanding a witness easier. In the case of unsatisfiable specifications unsatisfiable cores (UCs), i.e., parts of an unsatisfiable formula that are themselves unsatisfiable, are a well established means for debugging. However, little work has been done to help understanding a UC of an unsatisfiable LTL formula. In this paper we suggest to enhance a UC of an unsatisfiable LTL formula with additional information about the time points at which the subformulas of the UC are relevant for unsatisfiability. For example, in "(G p) and (X not p)" the first occurrence of "p" is really only "relevant" for unsatisfiability at time point 1 (time starts at time point 0). We present a method to extract such information from the resolution graph of a temporal resolution proof of unsatisfiability of an LTL formula. We implement our method in TRP++, and we experimentally evaluate it. Source code of our tool is available.


title: Modal Specifications for Probabilistic Timed Systems

abstract: Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal automata were introduced for specifying and reasoning about component-based designs for embedded and mobile systems. These respectively generalize modal specification theories for timed and probabilistic systems. In this paper, we define a modal specification language for combined probabilistic timed systems, called abstract probabilistic timed automata, which generalizes existing formalisms. We introduce appropriate syntactic and semantic refinement notions and discuss consistency of our specification language, also with respect to time-divergence. We identify a subclass of our models for which we define the fundamental operations for abstraction, conjunction and parallel composition, and show several compositionality results.


title: The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes

abstract: We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, we examine the discriminating power of three variants stemming from three approaches that differ for the way probabilities of events are compared when nondeterministic choices are resolved via deterministic schedulers. We show that the first approach - which compares two resolutions relatively to the probability distributions of all considered events - results in a fragment of the spectrum compatible with the spectrum of behavioral equivalences for fully probabilistic processes. In contrast, the second approach - which compares the probabilities of the events of a resolution with the probabilities of the same events in possibly different resolutions - gives rise to another fragment composed of coarser equivalences that exhibits several analogies with the spectrum of behavioral equivalences for fully nondeterministic processes. Finally, the third approach - which only compares the extremal probabilities of each event stemming from the different resolutions - yields even coarser equivalences that, however, give rise to a hierarchy similar to that stemming from the second approach.


title: Probabilistic Concurrent Kleene Algebra

abstract: We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automata modulo probabilistic simulation. We use the resulting algebra to generalise the algebraic formulation of a variant of Jones' rely/guarantee calculus.


title: Violation of Entanglement-Area Law in Bosonic Systems with Bose Surfaces: Possible Application to Bose Metals

abstract: We show the violation of the entanglement-area law for bosonic systems with Bose surfaces. For bosonic systems with gapless factorized energy dispersions on a N^d Cartesian lattice in d-dimension, e.g., the exciton Bose liquid in two dimension, we explicitly show that a belt subsystem with width L preserving translational symmetry along d-1 Cartesian axes has leading entanglement entropy (N^{d-1}/3)ln L. Using this result, the strong subadditivity inequality, and lattice symmetries, we bound the entanglement entropy of a rectangular subsystem from below and above showing a logarithmic violation of the area law. For subsystems with a single flat boundary we also bound the entanglement entropy from below showing a logarithmic violation, and argue that the entanglement entropy of subsystems with arbitrary smooth boundaries are similarly bounded.


title: Testing quantum mechanics: a statistical approach

abstract: As experiments continue to push the quantum-classical boundary using increasingly complex dynamical systems, the interpretation of experimental data becomes more and more challenging: when the observations are noisy, indirect, and limited, how can we be sure that we are observing quantum behavior? This tutorial highlights some of the difficulties in such experimental tests of quantum mechanics, using optomechanics as the central example, and discusses how the issues can be resolved using techniques from statistics and insights from quantum information theory.


title: Hierarchical Interference Mitigation for Massive MIMO Cellular Networks

abstract: We propose a hierarchical interference mitigation scheme for massive MIMO cellular networks. The MIMO precoder at each base station (BS) is partitioned into an inner precoder and an outer precoder. The inner precoder controls the intra-cell interference and is adaptive to local channel state information (CSI) at each BS (CSIT). The outer precoder controls the inter-cell interference and is adaptive to channel statistics. Such hierarchical precoding structure reduces the number of pilot symbols required for CSI estimation in massive MIMO downlink and is robust to the backhaul latency. We study joint optimization of the outer precoders, the user selection, and the power allocation to maximize a general concave utility which has no closed-form expression. We first apply random matrix theory to obtain an approximated problem with closed-form objective. We show that the solution of the approximated problem is asymptotically optimal with respect to the original problem as the number of antennas per BS grows large. Then using the hidden convexity of the problem, we propose an iterative algorithm to find the optimal solution for the approximated problem. We also obtain a low complexity algorithm with provable convergence. Simulations show that the proposed design has significant gain over various state-of-the-art baselines.