title: Dynamical systems of eternal inflation: A possible solution to the problems of entropy, measure, observables and initial conditions

abstract: There are two main approaches to non-equlibrium statistical mechanics: one using stochastic processes and the other using dynamical systems. To model the dynamics during inflation one usually adopts a stochastic description, which is known to suffer from serious conceptual problems. To overcome the problems and/or to gain more insight, we develop a dynamical systems approach. A key assumption that goes into analysis is the chaotic hypothesis, which is a natural generalization of the ergodic hypothesis to non-Hamiltonian systems. The unfamiliar feature for gravitational systems is that the local phase space trajectories can either reproduce or escape due to the presence of cosmological and black hole horizons. We argue that the effect of horizons can be studied using dynamical systems and apply the so-called thermodynamic formalism to derive the equilibrium (or Sinai-Ruelle-Bowen) measure given by a variational principle. We show that the only physical measure is not the Liouville measure (i.e. no entropy problem), but the equilibrium measure (i.e. no measure problem) defined over local trajectories (i.e. no problem of observables) and supported on only infinite trajectories (i.e. no problem of initial conditions). Phenomenological aspects of the fluctuation theorem are discussed.


title: Directly Imaging Tidally Powered Migrating Jupiters

abstract: Upcoming direct-imaging experiments may detect a new class of long-period, highly luminous, tidally powered extrasolar gas giants. Even though they are hosted by ~ Gyr-"old" main-sequence stars, they can be as "hot" as young Jupiters at ~100 Myr, the prime targets of direct-imaging surveys. They are on years-long orbits and presently migrating to "feed" the "hot Jupiters." They are expected from "high-e" migration mechanisms, in which Jupiters are excited to highly eccentric orbits and then shrink semi-major axis by a factor of ~10-100 due to tidal dissipation at close periastron passages. The dissipated orbital energy is converted to heat, and if it is deposited deep enough into the atmosphere, the planet likely radiates steadily at luminosity L ~ 100-1000 L_Jup(2 x 10-7-2 x 10-6 L_Sun) during a typical ~ Gyr migration timescale. Their large orbital separations and expected high planet-to-star flux ratios in IR make them potentially accessible to high-contrast imaging instruments on 10 m class telescopes. ~10 such planets are expected to exist around FGK dwarfs within ~50 pc. Long-period radial velocity planets are viable candidates, and the highly eccentric planet HD 20782b at maximum angular separation ~0.''08 is a promising candidate. Directly imaging these tidally powered Jupiters would enable a direct test of high-e migration mechanisms. Once detected, the luminosity would provide a direct measurement of the migration rate, and together with mass (and possibly radius) estimate, they would serve as a laboratory to study planetary spectral formation and tidal physics.


title: State/Operator Correspondence in Higher-Spin dS/CFT

abstract: A recently conjectured microscopic realization of the dS$_4$/CFT$_3$ correspondence relating Vasiliev's higher-spin gravity on dS$_4$ to a Euclidean $Sp(N)$ CFT$_3$ is used to illuminate some previously inaccessible aspects of the dS/CFT dictionary. In particular it is argued that states of the boundary CFT$_3$ on $S^2$ are holographically dual to bulk states on geodesically complete, spacelike $R^3$ slices which terminate on an $S^2$ at future infinity. The dictionary is described in detail for the case of free scalar excitations. The ground states of the free or critical $Sp(N)$ model are dual to dS-invariant plane-wave type vacua, while the bulk Euclidean vacuum is dual to a certain mixed state in the CFT$_3$. CFT$_3$ states created by operator insertions are found to be dual to (anti) quasinormal modes in the bulk. A norm is defined on the $R^3$ bulk Hilbert space and shown for the scalar case to be equivalent to both the Zamolodchikov and pseudounitary C-norm of the $Sp(N)$ CFT$_3$.


title: Associated production of $J/\psi$-mesons and open charm and double open charm production at the LHC

abstract: Theoretical predictions of cross sections and properties of the $J/\psi$-meson production in association with an open charm hadron and formation of two open charm hadrons from two $c\bar{c}$ pairs in the LHC conditions are presented. Processes in both single and in double parton scattering mechanisms are included into consideration. Special attention is paid to the kinematic limits of the LHCb detector for which comparison with the newest experimental data is carried out.


title: Masers in star forming regions

abstract: Maser emission plays an important role as a tool in star formation studies. It is widely used for deriving kinematics, as well as the physical conditions of different structures, hidden in the dense environment very close to the young stars, for example associated with the onset of jets and outflows. We will summarize the recent observational and theoretical progress on this topic since the last maser symposium: the IAU Symposium 242 in Alice Springs.


title: Spectrum of Higher Derivative 6D Chiral Supergravity

abstract: Gauged off-shell Maxwell-Einstein supergravity in six dimensions with N=(1,0) supersymmetry has a higher derivative extension afforded by a supersymmetrized Riemann squared term. This theory admits a supersymmetric Minkowski x S^2 compactification with a U(1) monopole of unit charge on S^2. We determine the full spectrum of the theory on this background. We also determine the spectrum on a non-supersymmetric version of this compactification in which the monopole charge is different from unity, and we find the peculiar feature that there are massless gravitini in a representation of the S^2 isometry group determined by the monopole charge.


title: Diphotons from Tetraphotons in the Decay of a 125 GeV Higgs at the LHC

abstract: Recently the ATLAS and CMS experiments have presented data hinting at the presence of a Higgs boson at $m_h\simeq125$ GeV. The best-fit $h\rightarrow\gamma\gamma$ rate averaged over the two experiments is approximately $2.1\pm0.5$ times the Standard Model prediction. We study the possibility that the excess relative to the Standard Model is due to $h\rightarrow aa$ decays, where $a$ is a light pseudoscalar that decays predominantly into $\gamma\gamma$. Although this process yields $4\gamma$ final states, if the pseudoscalar has a mass of the order tens of MeV, the two photons from each $a$ decay can be so highly collimated that they may be identified as a single photon. Some fraction of the events then contribute to an effective $h\rightarrow\gamma\gamma$ signal. We study the constraints on the parameter space where the net $h\rightarrow\gamma\gamma$ rate is enhanced over the Standard Model by this mechanism and describe some simple models that give rise to the pseudoscalar-photon interaction. Further tests and prospects for searches in the near future are discussed.


title: AdS and Lifshitz Black Holes in Conformal and Einstein-Weyl Gravities

abstract: We study black hole solutions in extended gravities with higher-order curvature terms, including conformal and Einstein-Weyl gravities. In addition to the usual AdS vacuum, the theories admit Lifshitz and Schr\"odinger vacua. The AdS black hole in conformal gravity contains an additional parameter over and above the mass, which may be interpreted as a massive spin-2 hair. By considering the first law of thermodynamics, we find that it is necessary to introduce an associated additional intensive/extensive pair of thermodynamic quantities. We also obtain new Liftshitz black holes in conformal gravity and study their thermodynamics. We use a numerical approach to demonstrate that AdS black holes beyond the Schwarzschild-AdS solution exist in Einstein-Weyl gravity. We also demonstrate the existence of asymptotically Lifshitz black holes in Einstein-Weyl gravity. The Lifshitz black holes arise at the boundary of the parameter ranges for the AdS black holes. Outside the range, the solutions develop naked singularities. The asymptotically AdS and Lifshitz black holes provide an interesting phase transition, in the corresponding boundary field theory, from a relativistic Lorentzian system to a non-relativistic Lifshitz system.


title: Commuting Pauli Hamiltonians as maps between free modules

abstract: We study unfrustrated spin Hamiltonians that consist of commuting tensor products of Pauli matrices. Assuming translation-invariance, a family of Hamiltonians that belong to the same phase of matter is described by a map between modules over the translation-group algebra, so homological methods are applicable. In any dimension every point-like charge appears as a vertex of a fractal operator, and can be isolated with energy barrier at most logarithmic in the separation distance. For a topologically ordered system in three dimensions, there must exist a point-like nontrivial charge. If the ground-state degeneracy is upper bounded by a constant independent of the system size, then the topological charges in three dimensions always appear at the end points of string operators. A connection between the ground state degeneracy and the number of points on an algebraic set is discussed. Tools to handle local Clifford unitary transformations are given.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: New Sum Rules from Low Energy Compton Scattering on Arbitrary Spin Target

abstract: We derive two sum rules by studying the low energy Compton scattering on a target of arbitrary (nonzero) spin j. In the first sum rule, we consider the possibility that the intermediate state in the scattering can have spin |j \pm 1| and the same mass as the target. The second sum rule applies if the theory at hand possesses intermediate narrow resonances with masses different from the mass of the scatterer. These sum rules are generalizations of the Gerasimov-Drell-Hearn-Weinberg sum rule. Along with the requirement of tree level unitarity, they relate different low energy couplings in the theory. Using these sum rules, we show that in certain cases the gyromagnetic ratio can differ from the "natural" value g=2, even at tree level, without spoiling perturbative unitarity. These sum rules can be used as constraints applicable to all supergravity and higher-spin theories that contain particles charged under some U(1) gauge field. In particular, applied to four dimensional N=8 supergravity in a spontaneously broken phase, these sum rules suggest that for the theory to have a good ultraviolet behavior, additional massive states need to be present, such as those coming from the embedding of the N=8 supergravity in type II superstring theory. We also discuss the possible implications of the sum rules for QCD in the large-N_c limit.


title: Brane Geometry and Dimer Models

abstract: The field content and interactions of almost all known gauge theories in AdS_5/CFT_4 can be expressed in terms of dimer models or bipartite graphs drawn on a torus. Associated with the fundamental cell is a complex structure parameter tau_R. Based on the brane realization of these theories, we can specify a special Lagrangian (SLag) torus fibration that is the natural candidate to be identified as the torus on which the dimer lives. Using the metrics known in the literature, we compute the complex structure tau_G of this torus. For the theories on C^3 and the conifold and for orbifolds thereof tau_R = tau_G. However, for more complicated examples, we show that the two complex structures cannot be equal and yet, remarkably, differ only by a few percent. We leave the explanation for this extraordinary proximity as an open challenge.


title: X-Ray Emission from the Supergiant Shell in IC 2574

abstract: The M81 group member dwarf galaxy IC 2574 hosts a supergiant shell of current and recent star-formation activity surrounding a 1000 x 500 pc hole in the ambient Hi gas distribution. Chandra X-ray Observatory imaging observations reveal a luminous, L_x ~ 6.5 x 10^{38} erg/s in the 0.3 - 8.0 keV band, point-like source within the hole but offset from its center and fainter diffuse emission extending throughout and beyond the hole. The star formation history at the location of the point source indicates a burst of star formation beginning ~25 Myr ago and currently weakening and there is a young nearby star cluster, at least 5 Myr old, bracketing the likely age of the X-ray source at between 5 and ~25 Myr. The source is thus likely a bright high-mass X-ray binary --- either a neutron star or black hole accreting from an early B star undergoing thermal-timescale mass transfer through Roche lobe overflow. The properties of the residual diffuse X-ray emission are consistent with those expected from hot gas associated with the recent star-formation activity in the region.


title: Central Limit Theorem for Nonlinear Hawkes Processes

abstract: Hawkes process is a self-exciting point process with clustering effect whose intensity depends on its entire past history. It has wide applications in neuroscience, finance and many other fields. In this paper, we obtain a functional central limit theorem for nonlinear Hawkes process. Under the same assumptions, we also obtain a Strassen's invariance principle, i.e. a functional law of the iterated logarithm.


title: Spectral Bandwidth Reduction of Thomson Scattered Light by Pulse Chirping

abstract: Based on single particle tracking in the framework of classical Thomson scattering with incoherent superposition, we developed a fully relativistic, three dimensional numerical code that calculates and quantifies the characteristics of emitted radiation when a relativistic electron beam collides head-on with a focused counter-propagating intense laser field. The developed code has been benchmarked against analytical expressions, based on the plane wave approximation to the laser field, derived in (1). For sufficiently long duration laser pulses, we find that the scattered radiation spectrum is broadened due to interferences arising from the pulsed nature of the laser. We show that by appropriately chirping the scattering laser pulse, the spectral broadening could be minimized.


title: Convergence and Equivalence results for the Jensen's inequality - Application to time-delay and sampled-data systems

abstract: The Jensen's inequality plays a crucial role in the analysis of time-delay and sampled-data systems. Its conservatism is studied through the use of the Gr\"{u}ss Inequality. It has been reported in the literature that fragmentation (or partitioning) schemes allow to empirically improve the results. We prove here that the Jensen's gap can be made arbitrarily small provided that the order of uniform fragmentation is chosen sufficiently large. Non-uniform fragmentation schemes are also shown to speed up the convergence in certain cases. Finally, a family of bounds is characterized and a comparison with other bounds of the literature is provided. It is shown that the other bounds are equivalent to Jensen's and that they exhibit interesting well-posedness and linearity properties which can be exploited to obtain better numerical results.


title: Existence and Uniqueness Results for Double-Free-Boundary Problems in Fluid Dynamics

abstract: In two space dimensions, we study a general double-free-boundary problem which models a stream flowing through a gravitaional potentiay. ntial-energy terrain. The existence theorem generalizes (by a different proof) a result of A. Beurling. We study the uniqueness question kn two ways.


title: Underlining some limitations of the statistical formalism in quantum mechanics: Reply to the Comment of Bodor and Di\'osi

abstract: In a paper of us, it is showed that Density Matrices do not provide a complete description of ensembles of states in quantum mechanics, since they lack measurable information concerning the preparation of the ensembles. Bodor and Di\'osi have later posted a comment on that article, which agrees on some points of it but disagrees on some others. This reply is intended to clarify the discussion.


title: Generalized Semi-Quantum Secret Sharing Schemes

abstract: We investigate quantum secret sharing schemes constructed from $[[n,k,\delta]]_D$ non-binary stabilizer quantum error correcting codes with carrier qudits of prime dimension $D$. We provide a systematic way of determining the access structure, which completely determines the forbidden and intermediate structures. We then show that the information available to the intermediate structure can be fully described and quantified by what we call the *information group*, a subgroup of the Pauli group of $k$ qudits, and employ this group structure to construct a method for hiding the information from the intermediate structure via twirling of the information group and sharing of classical bits between the dealer and the players. Our scheme allows the transformation of a ramp (intermediate) quantum secret sharing scheme into a semi-quantum perfect secret sharing scheme with the same access structure as the ramp one but without any intermediate subsets, and is optimal in the amount of classical bits the dealer has to distribute.


title: Circumbinary MHD Accretion into Inspiraling Binary Black Holes

abstract: As 2 black holes bound to each other in a close binary approach merger their inspiral time becomes shorter than the characteristic inflow time of surrounding orbiting matter. Using an innovative technique in which we represent the changing spacetime in the region occupied by the orbiting matter with a 2.5PN approximation and the binary orbital evolution with 3.5PN, we have simulated the MHD evolution of a circumbinary disk surrounding an equal-mass non-spinning binary. Prior to the beginning of the inspiral, the structure of the circumbinary disk is predicted well by extrapolation from Newtonian results. The binary opens a low-density gap whose radius is roughly two binary separations, and matter piles up at the outer edge of this gap as inflow is retarded by torques exerted by the binary; nonetheless, the accretion rate is diminished relative to its value at larger radius by only about a factor of 2. During inspiral, the inner edge of the disk at first moves inward in coordination with the shrinking binary, but as the orbital evolution accelerates, the rate at which the inner edge moves toward smaller radii falls behind the rate of binary compression. In this stage, the rate of angular momentum transfer from the binary to the disk slows substantially, but the net accretion rate decreases by only 10-20%. When the binary separation is tens of gravitational radii, the rest-mass efficiency of disk radiation is a few percent, suggesting that supermassive binary black holes in galactic nuclei could be very luminous at this stage of their evolution. If the luminosity were optically thin, it would be modulated at a frequency that is a beat between the orbital frequency of the disk's surface density maximum and the binary orbital frequency. However, a disk with sufficient surface density to be luminous should also be optically thick; as a result, the periodic modulation may be suppressed.


title: Fundamentals of the Dwarf Fundamental Plane

abstract: Star-forming dwarfs are studied to elucidate the physical underpinnings of their fundamental plane. It is confirmed that residuals in the Tully-Fisher relation are correlated with surface brightness, but that even after accommodating the surface brightness dependence through the dwarf fundamental plane, residuals in absolute magnitude are far larger than expected from observational errors. Rather, a more fundamental plane is identified which connects the potential to HI line width and surface brightness. Residuals correlate with the axis ratio in a way which can be accommodated by recognizing the galaxies to be oblate spheroids viewed at varying angles. Correction of surface brightnesses to face-on leads to a correlation among the potential, line width, and surface brightness for which residuals are entirely attributable to observational uncertainties. The mean mass-to-light ratio of the diffuse component of the galaxies is constrained to be 0.88 +/- 0.20 in Ks. Blue compact dwarfs lie in the same plane as dwarf irregulars. The dependence of the potential on line width is less strong than expected for virialized systems, but this may be because surface brightness is acting as a proxy for variations in the mass-to-light ratio from galaxy to galaxy. Altogether, the observations suggest that gas motions are predominantly disordered and isotropic, that they are a consequence of gravity, not turbulence, and that the mass and scale of dark matter haloes scale with the amount and distribution of luminous matter. The tight relationship between the potential and observables offers the promise of determining distances to unresolved star-forming dwarfs to an accuracy comparable to that provided by the Tully-Fisher relation for spirals.


title: From Atiyah Classes to Homotopy Leibniz Algebras

abstract: A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold $X$ makes $T_X[-1]$ into a Lie algebra object in $D^+(X)$, the bounded below derived category of coherent sheaves on $X$. Furthermore Kapranov proved that, for a K\"ahler manifold $X$, the Dolbeault resolution $\Omega^{\bullet-1}(T_X^{1,0})$ of $T_X[-1]$ is an $L_\infty$ algebra. In this paper, we prove that Kapranov's theorem holds in much wider generality for vector bundles over Lie pairs. Given a Lie pair $(L,A)$, i.e. a Lie algebroid $L$ together with a Lie subalgebroid $A$, we define the Atiyah class $\alpha_E$ of an $A$-module $E$ (relative to $L$) as the obstruction to the existence of an $A$-compatible $L$-connection on $E$. We prove that the Atiyah classes $\alpha_{L/A}$ and $\alpha_E$ respectively make $L/A[-1]$ and $E[-1]$ into a Lie algebra and a Lie algebra module in the bounded below derived category $D^+(\mathcal{A})$, where $\mathcal{A}$ is the abelian category of left $\mathcal{U}(A)$-modules and $\mathcal{U}(A)$ is the universal enveloping algebra of $A$. Moreover, we produce a homotopy Leibniz algebra and a homotopy Leibniz module stemming from the Atiyah classes of $L/A$ and $E$, and inducing the aforesaid Lie structures in $D^+(\mathcal{A})$.


title: Complete asymptotic expansion of the integrated density of states of multidimensional almost-periodic pseudo-differential operators

abstract: We obtain a complete asymptotic expansion of the integrated density of states of operators of the form H =(-\Delta)^w +B in R^d. Here w >0, and B belongs to a wide class of almost-periodic self-adjoint pseudo-differential operators of order less than 2w. In particular, we obtain such an expansion for magnetic Schr\"odinger operators with either smooth periodic or generic almost-periodic coefficients.


title: Emergence: Key physical issues for deeper philosophical inquiries

abstract: A sketch of three senses of emergence and a suggestive view on the emergence of time and the direction of time is presented. After trying to identify which issues philosophers interested in emergent phenomena in physics view as important I make several observations pertaining to the concepts, methodology and mechanisms required to understand emergence and describe a platform for its investigation. I then identify some key physical issues which I feel need be better appreciated by the philosophers in this pursuit. I end with some comments on one of these issues, that of coarse-graining and persistent structures.

categories: physics.hist-ph cond-mat.stat-mech gr-qc hep-th quant-ph


title: A Generalized Apery Series

abstract: The inverse central binomial series {equation}S_k(z)=\sum_{n=1}^{\infty}\frac{n^k z^n}{\binom{2n}{n}}{equation} popularized by Ap\'ery and Lehmer is evaluated for positive integers $k$ along with the asymptotic behavior for large $k$. It is found that value $z=2$, as commented on by D. H. Lehmer provides a unique relation to $\pi$.


title: The Power of Linear Programming for Valued CSPs

abstract: A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the language with the goal to minimise the sum. This framework includes and generalises well-studied constraint satisfaction problems (CSPs) and maximum constraint satisfaction problems (Max-CSPs). Our main result is a precise algebraic characterisation of valued constraint languages whose instances can be solved exactly by the basic linear programming relaxation. Using this result, we obtain tractability of several novel and previously widely-open classes of VCSPs, including problems over valued constraint languages that are: (1) submodular on arbitrary lattices; (2) bisubmodular (also known as k-submodular) on arbitrary finite domains; (3) weakly (and hence strongly) tree-submodular on arbitrary trees.


title: Memory Resilient Gain-scheduled State-Feedback Control of Uncertain LTI/LPV Systems with Time-Varying Delays

abstract: The stabilization of uncertain LTI/LPV time delay systems with time varying delays by state-feedback controllers is addressed. At the difference of other works in the literature, the proposed approach allows for the synthesis of resilient controllers with respect to uncertainties on the implemented delay. It is emphasized that such controllers unify memoryless and exact-memory controllers usually considered in the literature. The solutions to the stability and stabilization problems are expressed in terms of LMIs which allow to check the stability of the closed-loop system for a given bound on the knowledge error and even optimize the uncertainty radius under some performance constraints; in this paper, the $\mathcal{H}_\infty$ performance measure is considered. The interest of the approach is finally illustrated through several examples.


title: Carrier-controlled ferromagnetism in SrTiO3

abstract: Magnetotransport and superconducting properties are investigated for uniformly La-doped SrTiO3 films and GdTiO3/SrTiO3 heterostructures, respectively. GdTiO3/SrTiO3 interfaces exhibit a high-density two-dimensional electron gas on the SrTiO3-side of the interface, while for the SrTiO3 films carriers are provided by the dopant atoms. Both types of samples exhibit ferromagnetism at low temperatures, as evidenced by a hysteresis in the magnetoresistance. For the uniformly doped SrTiO3 films, the Curie temperature is found to increase with doping and to coexist with superconductivity for carrier concentrations on the high-density side of the superconducting dome. The Curie temperature of the GdTiO3/SrTiO3 heterostructures scales with the thickness of the SrTiO3 quantum well. The results are used to construct a stability diagram for the ferromagnetic and superconducting phases of SrTiO3.


title: Set It and Forget It: Approximating the Set Once Strip Cover Problem

abstract: We consider the Set Once Strip Cover problem, in which n wireless sensors are deployed over a one-dimensional region. Each sensor has a fixed battery that drains in inverse proportion to a radius that can be set just once, but activated at any time. The problem is to find an assignment of radii and activation times that maximizes the length of time during which the entire region is covered. We show that this problem is NP-hard. Second, we show that RoundRobin, the algorithm in which the sensors simply take turns covering the entire region, has a tight approximation guarantee of 3/2 in both Set Once Strip Cover and the more general Strip Cover problem, in which each radius may be set finitely-many times. Moreover, we show that the more general class of duty cycle algorithms, in which groups of sensors take turns covering the entire region, can do no better. Finally, we give an optimal O(n^2 log n)-time algorithm for the related Set Radius Strip Cover problem, in which all sensors must be activated immediately.


title: Influence of Small-Scale Inhomogeneities on the Cosmological Consistency Tests

abstract: The current cosmological dark sector (dark matter plus dark energy) is challenging our comprehension about the physical processes taking place in the Universe. Recently, some authors tried to falsify the basic underlying assumptions of such dark matter-dark energy paradigm. In this Letter, we show that oversimplifications of the measurement process may produce false positives to any consistency test based on the globally homogeneous and isotropic LCDM model and its expansion history based on distance measurements. In particular, when local inhomogeneity effects due to clumped matter or voids are taken into account, an apparent violation of the basic assumptions ("Copernican Principle") seems to be present. Conversely, the amplitude of the deviations also probes the degree of reliability underlying the phenomenological Dyer-Roeder procedure by confronting its predictions with the accuracy of the weak lensing approach. Finally, a new method is devised to reconstruct the effects of the inhomogeneities in a LCDM model, and some suggestions of how to distinguish between clumpiness (or void) effects from different cosmologies are discussed.


title: Encoding Universal Computation in the Ground States of Ising Lattices

abstract: We characterize the set of ground states that can be synthesized by classical 2-body Ising Hamiltonians. We then construct simple Ising planar blocks that simulates efficiently a universal set of logic gates and connections, and hence any boolean function. We therefore provide a new method of encoding universal computation in the ground states of Ising lattices, and a simpler alternative demonstration of the known fact that finding the ground state of a finite Ising spin glass model is NP complete. We relate this with our previous result about emergence properties in infinite lattices.


title: Post-Nonlinear Sparse Component Analysis Using Single-Source Zones and Functional Data Clustering

abstract: In this paper, we introduce a general extension of linear sparse component analysis (SCA) approaches to postnonlinear (PNL) mixtures. In particular, and contrary to the state-of-art methods, our approaches use a weak sparsity source assumption: we look for tiny temporal zones where only one source is active. We investigate two nonlinear single-source confidence measures, using the mutual information and a local linear tangent space approximation (LTSA). For this latter measure, we derive two extensions of linear single-source measures, respectively based on correlation (LTSA-correlation) and eigenvalues (LTSA-PCA). A second novelty of our approach consists of applying functional data clustering techniques to the scattered observations in the above single-source zones, thus allowing us to accurately estimate them.We first study a classical approach using a B-spline approximation, and then two approaches which locally approximate the nonlinear functions as lines. Finally, we extend our PNL methods to more general nonlinear mixtures. Combining single-source zones and functional data clustering allows us to tackle speech signals, which has never been performed by other PNL-SCA methods. We investigate the performance of our approaches with simulated PNL mixtures of real speech signals. Both the mutual information and the LTSA-correlation measures are better-suited to detecting single-source zones than the LTSA-PCA measure. We also find local-linear-approximation-based clustering approaches to be more flexible and more accurate than the B-spline one.


title: Sharp Bounds on Davenport-Schinzel Sequences of Every Order

abstract: One of the longest-standing open problems in computational geometry is to bound the lower envelope of $n$ univariate functions, each pair of which crosses at most $s$ times, for some fixed $s$. This problem is known to be equivalent to bounding the length of an order-$s$ Davenport-Schinzel sequence, namely a sequence over an $n$-letter alphabet that avoids alternating subsequences of the form $a \cdots b \cdots a \cdots b \cdots$ with length $s+2$. These sequences were introduced by Davenport and Schinzel in 1965 to model a certain problem in differential equations and have since been applied to bounding the running times of geometric algorithms, data structures, and the combinatorial complexity of geometric arrangements. Let $\lambda_s(n)$ be the maximum length of an order-$s$ DS sequence over $n$ letters. What is $\lambda_s$ asymptotically? This question has been answered satisfactorily (by Hart and Sharir, Agarwal, Sharir, and Shor, Klazar, and Nivasch) when $s$ is even or $s\le 3$. However, since the work of Agarwal, Sharir, and Shor in the mid-1980s there has been a persistent gap in our understanding of the odd orders. In this work we effectively close the problem by establishing sharp bounds on Davenport-Schinzel sequences of every order $s$. Our results reveal that, contrary to one's intuition, $\lambda_s(n)$ behaves essentially like $\lambda_{s-1}(n)$ when $s$ is odd. This refutes conjectures due to Alon et al. (2008) and Nivasch (2010).


title: A Weiszfeld-like algorithm for a Weber location problem constrained to a closed and convex set

abstract: The Weber problem consists of finding a point in $\mathbbm{R}^n$ that minimizes the weighted sum of distances from $m$ points in $\mathbbm{R}^n$ that are not collinear. An application that motivated this problem is the optimal location of facilities in the 2-dimensional case. A classical method to solve the Weber problem, proposed by Weiszfeld in 1937, is based on a fixed point iteration. In this work a Weber problem constrained to a closed and convex set is considered. A Weiszfeld-like algorithm, well defined even when an iterate is a vertex, is presented. The iteration function $Q$ that defines the proposed algorithm, is based mainly on an orthogonal projection over the feasible set, combined with the iteration function of a modified Weiszfeld algorithm presented by Vardi and Zhang in 2001. It can be seen that the proposed algorithm generates a sequence of feasible iterates that have descent properties. Under certain hypotheses, the limit of this sequence satisfies the KKT optimality conditions, is a fixed point of the iteration function that defines the algorithm, and is the solution of the constrained minimization problem. Numerical experiments confirmed the theoretical results.


title: Search for heavy bottom-like quarks in 4.9 inverse femtobarns of pp collisions at sqrt(s) = 7 TeV

abstract: Results are presented from a search for heavy bottom-like quarks, pair-produced in pp collisions at sqrt(s) = 7 TeV, undertaken with the CMS experiment at the LHC. The b' quarks are assumed to decay exclusively to tW. The b' anti-b' to t W(+) anti-t W(-) process can be identified by its distinctive signatures of three leptons or two leptons of same charge, and at least one b-quark jet. Using a data sample corresponding to an integrated luminosity of 4.9 inverse femtobarns, observed events are compared to the standard model background predictions, and the existence of b' quarks having masses below 611 GeV is excluded at 95% confidence level.


title: Simulation Studies of the Backscattering Signal in HSRL Technique

abstract: The technique of High Spectral Resolution Lidar (HSRL) for atmospheric monitoring allows the determination of the aerosol to molecular ratio and can be used in UHECR Observatories using air fluorescence telescopes. By this technique a more accurate estimate of the Cherenkov radiation superimposed to the fluorescence signal can be achieved. A laboratory setup was developed to determine the backscattering coefficients using microparticles diluted in water and diffusion interfaces. In this setup we used a CW SLM laser at 532 nm and a 250 mm Newtonian telescope. Simulations of the above experimental configuration have been made using Scatlab\c{opyright}, FINESSE\c{opyright} 0.99.8 and MATLAB\c{opyright} and are presented in this work. We compare the simulated 2-dimensional Fabry-Perot fringe images of the backscattering signal recorded in the CCD sensor with that of experimental ones. Additionally, we simulated the backscattering of the laser beam by the atmosphere at a height of 2000 m and we have studied the influence of the beam and its diameter on the fringe image.


title: A non-type (D) linear isometry

abstract: Previous constructions of non-type (D) maximal monotone operators were based on the non-type (D) operators introduced by Gossez, and the construction of such operators or the proof that they were non-type (D) were not straightforward. The aim of this paper is to present a very simple non-type (D) linear isometry.


title: Load-Aware Modeling and Analysis of Heterogeneous Cellular Networks

abstract: Random spatial models are attractive for modeling heterogeneous cellular networks (HCNs) due to their realism, tractability, and scalability. A major limitation of such models to date in the context of HCNs is the neglect of network traffic and load: all base stations (BSs) have typically been assumed to always be transmitting. Small cells in particular will have a lighter load than macrocells, and so their contribution to the network interference may be significantly overstated in a fully loaded model. This paper incorporates a flexible notion of BS load by introducing a new idea of conditionally thinning the interference field. For a K-tier HCN where BSs across tiers differ in terms of transmit power, supported data rate, deployment density, and now load, we derive the coverage probability for a typical mobile, which connects to the strongest BS signal. Conditioned on this connection, the interfering BSs of the $i^{th}$ tier are assumed to transmit independently with probability $p_i$, which models the load. Assuming - reasonably - that smaller cells are more lightly loaded than macrocells, the analysis shows that adding such access points to the network always increases the coverage probability. We also observe that fully loaded models are quite pessimistic in terms of coverage.


title: On Rogers-Ramanujan functions, binary quadratic forms and eta-quotients

abstract: In a handwritten manuscript published with his lost notebook, Ramanujan stated without proofs forty identities for the Rogers-Ramanujan functions. We observe that the functions that appear in Ramanujan's identities can be obtained from a Hecke action on a certain family of eta products. We establish further Hecke-type relations for these functions involving binary quadratic forms. Our observations enable us to find new identities for the Rogers-Ramanujan functions and also to use such identities in turn to find identities involving binary quadratic forms.


title: Knot Universes in Bianchi Type I Cosmology

abstract: We investigate the trefoil and figure-eight knot universes from Bianchi-type I cosmology. In particular, we construct several concrete models describing the knot universes related to the cyclic universe and examine those cosmological features and properties in detail. Finally some examples of unknotted closed curves solutions (spiky and Mobius strip universes) are presented.


title: Control over stress induces plasticity of individual prefrontal cortical neurons: A conductance-based neural simulation

abstract: Behavioral control over stressful stimuli induces resilience to future conditions when control is lacking. The medial prefrontal cortex(mPFC) is a critically important brain region required for plasticity of stress resilience. We found that control over stress induces plasticity of the intrinsic voltage-gated conductances of pyramidal neurons in the PFC. To gain insight into the underlying biophysical mechanisms of this plasticity we used the conductance- based neural simulation software tool, NEURON, to model the increase in membrane excitability associated with resilience to stress. A ball and stick multicompartment conductance-based model was used to realistically fit passive and active data traces from prototypical pyramidal neurons in neurons in rats with control over tail shock stress and those lacking control. The results indicate that the plasticity of membrane excitability associated with control over stress can be attributed to an increase in Na+ and Ca2+ T-type conductances and an increase in the leak conductance. Using simulated dendritic synaptic inputs we observed an increase in excitatory postsynaptic summation and amplification resulting in elevated action potential output. This realistic simulation suggests that control over stress enhances the output of the PFC and offers specific testable hypotheses to guide future electrophysiological mechanistic studies in animal models of resilience and vulnerability to stress.


title: Characterization of radially symmetric finite time blowup in multidimensional aggregation equations,

abstract: This paper studies the transport of a mass $\mu$ in $\real^d, d \geq 2,$ by a flow field $v= -\nabla K*\mu$. We focus on kernels $K=|x|^\alpha/ \alpha$ for $2-d\leq \alpha<2$ for which the smooth densities are known to develop singularities in finite time. For this range This paper studies the transport of a mass $\mu$ in $\real^d, d \geq 2,$ by a flow field $v= -\nabla K*\mu$. We focus on kernels $K=|x|^\alpha/ \alpha$ for $2-d\leq \alpha<2$ for which the smooth densities are known to develop singularities in finite time. For this range we prove the existence for all time of radially symmetric measure solutions that are monotone decreasing as a function of the radius, thus allowing for continuation of the solution past the blowup time. The monotone constraint on the data is consistent with the typical blowup profiles observed in recent numerical studies of these singularities. We prove monotonicity is preserved for all time, even after blowup, in contrast to the case $\alpha >2$ where radially symmetric solutions are known to lose monotonicity. In the case of the Newtonian potential ($\alpha=2-d$), under the assumption of radial symmetry the equation can be transformed into the inviscid Burgers equation on a half line. This enables us to prove preservation of monotonicity using the classical theory of conservation laws. In the case $2 -d < \alpha < 2$ and at the critical exponent $p$ we exhibit initial data in $L^p$ for which the solution immediately develops a Dirac mass singularity. This extends recent work on the local ill-posedness of solutions at the critical exponent.


title: MIMO Precoding in Underlay Cognitive Radio Systems with Completely Unknown Primary CSI

abstract: This paper studies a novel underlay MIMO cognitive radio (CR) system, where the instantaneous or statistical channel state information (CSI) of the interfering channels to the primary receivers (PRs) is completely unknown to the CR. For the single underlay receiver scenario, we assume a minimum information rate must be guaranteed on the CR main channel whose CSI is known at the CR transmitter. We first show that low-rank CR interference is preferable for improving the throughput of the PRs compared with spreading less power over more transmit dimensions. Based on this observation, we then propose a rank minimization CR transmission strategy assuming a minimum information rate must be guaranteed on the CR main channel. We propose a simple solution referred to as frugal waterfilling (FWF) that uses the least amount of power required to achieve the rate constraint with a minimum-rank transmit covariance matrix. We also present two heuristic approaches that have been used in prior work to transform rank minimization problems into convex optimization problems. The proposed schemes are then generalized to an underlay MIMO CR downlink network with multiple receivers. Finally, a theoretical analysis of the interference temperature and leakage rate outage probabilities at the PR is presented for Rayleigh fading channels.We demonstrate that the direct FWF solution leads to higher PR throughput even though it has higher interference "temperature (IT) compared with the heuristic methods and classic waterfilling, which calls into question the use of IT as a metric for CR interference.


title: Image Processing Variations with Analytic Kernels

abstract: Let $f\in L^1(\R^d)$ be real. The Rudin-Osher-Fatemi model is to minimize $\|u\|_{\dot{BV}}+\lambda\|f-u\|_{L^2}^2$, in which one thinks of $f$ as a given image, $\lambda > 0$ as a "tuning parameter", $u$ as an optimal "cartoon" approximation to $f$, and $f-u$ as "noise" or "texture". Here we study variations of the R-O-F model having the form $\inf_u\{\|u\|_{\dot{BV}}+\lambda \|K*(f-u)\|_{L^p}^q\}$ where $K$ is a real analytic kernel such as a Gaussian. For these functionals we characterize the minimizers $u$ and establish several of their properties, including especially their smoothness properties. In particular we prove that on any open set on which $u \in W^{1,1}$ and $\nabla u \neq 0$ almost every level set $\{u =c\}$ is a real analytic surface. We also prove that if $f$ and $K$ are radial functions then every minimizer $u$ is a radial step function.


title: Space efficient streaming algorithms for the distance to monotonicity and asymmetric edit distance

abstract: Approximating the length of the longest increasing sequence (LIS) of an array is a well-studied problem. We study this problem in the data stream model, where the algorithm is allowed to make a single left-to-right pass through the array and the key resource to be minimized is the amount of additional memory used. We present an algorithm which, for any $\delta > 0$, given streaming access to an array of length $n$ provides a $(1+\delta)$-multiplicative approximation to the \emph{distance to monotonicity} ($n$ minus the length of the LIS), and uses only $O((\log^2 n)/\delta)$ space. The previous best known approximation using polylogarithmic space was a multiplicative 2-factor. Our algorithm can be used to estimate the length of the LIS to within an additive $\delta n$ for any $\delta >0$ while previous algorithms could only achieve additive error $n(1/2-o(1))$. Our algorithm is very simple, being just 3 lines of pseudocode, and has a small update time. It is essentially a polylogarithmic space approximate implementation of a classic dynamic program that computes the LIS. We also give a streaming algorithm for approximating $LCS(x,y)$, the length of the longest common subsequence between strings $x$ and $y$, each of length $n$. Our algorithm works in the asymmetric setting (inspired by \cite{AKO10}), in which we have random access to $y$ and streaming access to $x$, and runs in small space provided that no single symbol appears very often in $y$. More precisely, it gives an additive-$\delta n$ approximation to $LCS(x,y)$ (and hence also to $E(x,y) = n-LCS(x,y)$, the edit distance between $x$ and $y$ when insertions and deletions, but not substitutions, are allowed), with space complexity $O(k(\log^2 n)/\delta)$, where $k$ is the maximum number of times any one symbol appears in $y$.


title: Revealing Correlation of Valence State with Nanoporous Structure in Cobalt Catalyst Nanoparticles by in Situ Environmental TEM

abstract: Simultaneously probing the electronic structure and morphology of materials at the nanometer or atomic scale while a chemical reaction proceeds is significant for understanding the underlying reaction mechanisms and optimizing a materials design. This is especially important in the study of nanoparticle catalysts, yet such experiments have rarely been achieved. Utilizing an environmental transmission electron microscope (ETEM) equipped with a differentially pumped gas cell, we are able to conduct nanoscopic imaging and electron energy loss spectroscopy (EELS) in situ for cobalt catalysts under reaction conditions. Analysis revealed quantitative correlation of the cobalt valence states to the particles' nanoporous structures. The in situ experiments were performed on nanoporous cobalt particles coated with silica while a 15 mTorr hydrogen environment was maintained at various temperatures (300-600\degreeC). When the nanoporous particles were reduced, the valence state changed from cobalt oxide to metallic cobalt and concurrent structural coarsening was observed. In situ mapping of the valence state and the corresponding nanoporous structures allows quantitatively analysis necessary for understanding and improving the mass activity and lifetime of cobalt-based catalysts, i.e., for Fischer-Tropsch synthesis that converts carbon monoxide and hydrogen into fuels, and uncovering the catalyst optimization mechanisms.


title: Generalized Hausdorff measure for generic compact sets

abstract: Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$ denotes the $h$-Hausdorff measure. This answers a question of C. Cabrelli, U. B. Darji, and U. M. Molter. Moreover, for every weak contraction $f\colon K\to X$ we have $\mathcal{H}^{h} (K\cap f(K))=0$. This is a measure theoretic analogue of a result of M. Elekes.


title: Absence of broken inversion symmetry phase of electrons in bilayer graphene under charge density fluctuations

abstract: On a lattice model, we study the possibility of existence of gapped broken inversion symmetry phase (GBISP) of electrons with long-range Coulomb interaction in bilayer graphene using both self-consistent Hartree-Fock approximation (SCHFA) and the renormalized-ring-diagram approximation (RRDA). RRDA takes into account the charge-density fluctuations beyond the mean field. While GBISP at low temperature and low carrier concentration is predicted by SCHFA, we show here the state can be destroyed by the charge-density fluctuations. We also present a numerical algorithm for calculating the self-energy of electrons with the singular long-range Coulomb interaction on the lattice model.


title: Characteristics of Two-Dimensional Quantum Turbulence in a Compressible Superfluid

abstract: Under suitable forcing a fluid exhibits turbulence, with characteristics strongly affected by the fluid's confining geometry. Here we study two-dimensional quantum turbulence in a highly oblate Bose-Einstein condensate in an annular trap. As a compressible quantum fluid, this system affords a rich phenomenology, allowing coupling between vortex and acoustic energy. Small-scale stirring generates an experimentally observed disordered vortex distribution that evolves into large-scale flow in the form of a persistent current. Numerical simulation of the experiment reveals additional characteristics of two-dimensional quantum turbulence: spontaneous clustering of same-circulation vortices, and an incompressible energy spectrum with $k^{-5/3}$ dependence for low wavenumbers $k$ and $k^{-3}$ dependence for high $k$.


title: Energy spectra of vortex distributions in two-dimensional quantum turbulence

abstract: We theoretically explore key concepts of two-dimensional turbulence in a homogeneous compressible superfluid described by a dissipative two-dimensional Gross-Pitaeveskii equation. Such a fluid supports quantized vortices that have a size characterized by the healing length $\xi$. We show that for the divergence-free portion of the superfluid velocity field, the kinetic energy spectrum over wavenumber $k$ may be decomposed into an ultraviolet regime ($k\gg \xi^{-1}$) having a universal $k^{-3}$ scaling arising from the vortex core structure, and an infrared regime ($k\ll\xi^{-1}$) with a spectrum that arises purely from the configuration of the vortices. The Novikov power-law distribution of intervortex distances with exponent -1/3 for vortices of the same sign of circulation leads to an infrared kinetic energy spectrum with a Kolmogorov $k^{-5/3}$ power law, consistent with the existence of an inertial range. The presence of these $k^{-3}$ and $k^{-5/3}$ power laws, together with the constraint of continuity at the smallest configurational scale $k\approx\xi^{-1}$, allows us to derive a new analytical expression for the Kolmogorov constant that we test against a numerical simulation of a forced homogeneous compressible two-dimensional superfluid. The numerical simulation corroborates our analysis of the spectral features of the kinetic energy distribution, once we introduce the concept of a {\em clustered fraction} consisting of the fraction of vortices that have the same sign of circulation as their nearest neighboring vortices. Our analysis presents a new approach to understanding two-dimensional quantum turbulence and interpreting similarities and differences with classical two-dimensional turbulence, and suggests new methods to characterize vortex turbulence in two-dimensional quantum fluids via vortex position and circulation measurements.


title: Branching structure for the transient random walk on a strip in a random environment

abstract: An intrinsic branching structure within the transient random walk on a strip in a random environment is revealed. As applications, which enables us to express the hitting time explicitly, and specifies the density of the absolutely continuous invariant measure for the "environments viewed from the particle".


title: Comment on the narrow structure reported by Amaryan et al

abstract: The CLAS Collaboration provides a comment on the physics interpretation of the results presented in a paper published by M. Amaryan et al. regarding the possible observation of a narrow structure in the mass spectrum of a photoproduction experiment.


title: Message Passing for Dynamic Network Energy Management

abstract: We consider a network of devices, such as generators, fixed loads, deferrable loads, and storage devices, each with its own dynamic constraints and objective, connected by lossy capacitated lines. The problem is to minimize the total network objective subject to the device and line constraints, over a given time horizon. This is a large optimization problem, with variables for consumption or generation in each time period for each device. In this paper we develop a decentralized method for solving this problem. The method is iterative: At each step, each device exchanges simple messages with its neighbors in the network and then solves its own optimization problem, minimizing its own objective function, augmented by a term determined by the messages it has received. We show that this message passing method converges to a solution when the device objective and constraints are convex. The method is completely decentralized, and needs no global coordination other than synchronizing iterations; the problems to be solved by each device can typically be solved extremely efficiently and in parallel. The method is fast enough that even a serial implementation can solve substantial problems in reasonable time frames. We report results for several numerical experiments, demonstrating the method's speed and scaling, including the solution of a problem instance with over 30 million variables in 52 minutes for a serial implementation; with decentralized computing, the solve time would be less than one second.


title: Enhanced charge order in a photoexcited one-dimensional strongly correlated system

abstract: We present a compelling response of a low-dimensional strongly correlated system to an external perturbation. Using the time-dependent Lanczos method we investigate a nonequilibrium evolution of the half-filled one-dimensional extended Hubbard model, driven by a transient laser pulse. When the system is close to the phase boundary, by tuning the laser frequency and strength, a sustainable charge order enhancement is found that is absent in the Mott insulating phase. We analyze the conditions and investigate possible mechanisms of emerging charge order enhancement. Feasible experimental realizations are proposed.


title: Dynamical magnetic anisotropy and quantum phase transitions in a vibrating spin-1 molecular junction

abstract: We study the electronic transport through a spin-1 molecule in which mechanical stretching produces a magnetic anisotropy. In this type of device, a vibron mode along the stretching axis will couple naturally to the molecular spin. We consider a single molecular vibrational mode and find that the electron-vibron interaction induces an effective correction to the magnetic anisotropy that shifts the ground state of the device toward a non-Fermi liquid phase. A transition into a Fermi liquid phase could then be achieved, by means of mechanical stretching, passing through an underscreened spin-1 Kondo regime. We present numerical renormalization group results for the differential conductance, the spectral density, and the magnetic susceptibility across the transition.


title: Crossing Statistic: Reconstructing the Expansion History of the Universe

abstract: We present that by combining Crossing Statistic and Smoothing method one can reconstruct the expansion history of the universe with a very high precision without considering any prior on the cosmological quantities such as the equation of state of dark energy. We show that the presented method performs very well in reconstruction of the expansion history of the universe independent of the underlying models and it works well even for non-trivial dark energy models with fast or slow changes in the equation of state of dark energy. Accuracy of the reconstructed quantities along with independence of the method to any prior or assumption gives the proposed method advantages to the other non-parametric methods proposed before in the literature. Applying on the Union 2.1 supernovae combined with WiggleZ BAO data we present the reconstructed results and test the consistency of the two data sets in a model independent manner. Results show that latest available supernovae and BAO data are in good agreement with each other and spatially flat LCDM model is in concordance with the current data.


title: Moving Multi-Channel Systems in a Finite Volume with Application to Proton-Proton Fusion

abstract: The spectrum of a system with multiple channels composed of two hadrons with nonzero total momentum is determined in a finite cubic volume with periodic boundary conditions using effective field theory methods. The results presented are accurate up to exponentially suppressed corrections in the volume due to the finite range of hadronic interactions. The formalism allows one to determine the phase shifts and mixing parameters of pipi-KK isosinglet coupled channels directly from Lattice Quantum Chromodynamics. We show that the extension to more than two channels is straightforward and present the result for three channels. From the energy quantization condition, the volume dependence of electroweak matrix elements of two-hadron processes is extracted. In the non-relativistic case, we pay close attention to processes that mix the 1S0-3S1 two-nucleon states, e.g. proton-proton fusion (pp -> d+ e^+ + nu_e), and show how to determine the transition amplitude of such processes directly from lattice QCD.


title: Faster Algorithms for Rectangular Matrix Multiplication

abstract: Let {\alpha} be the maximal value such that the product of an n x n^{\alpha} matrix by an n^{\alpha} x n matrix can be computed with n^{2+o(1)} arithmetic operations. In this paper we show that \alpha>0.30298, which improves the previous record \alpha>0.29462 by Coppersmith (Journal of Complexity, 1997). More generally, we construct a new algorithm for multiplying an n x n^k matrix by an n^k x n matrix, for any value k\neq 1. The complexity of this algorithm is better than all known algorithms for rectangular matrix multiplication. In the case of square matrix multiplication (i.e., for k=1), we recover exactly the complexity of the algorithm by Coppersmith and Winograd (Journal of Symbolic Computation, 1990). These new upper bounds can be used to improve the time complexity of several known algorithms that rely on rectangular matrix multiplication. For example, we directly obtain a O(n^{2.5302})-time algorithm for the all-pairs shortest paths problem over directed graphs with small integer weights, improving over the O(n^{2.575})-time algorithm by Zwick (JACM 2002), and also improve the time complexity of sparse square matrix multiplication.


title: Bounds on the non-real spectrum of differential operators with indefinite weights

abstract: Ordinary and partial differential operators with an indefinite weight function can be viewed as bounded perturbations of non-negative operators in Krein spaces. Under the assumption that 0 and $\infty$ are not singular critical points of the unperturbed operator it is shown that a bounded additive perturbation leads to an operator whose non-real spectrum is contained in a compact set and with definite type real spectrum outside this set. The main results are quantitative estimates for this set, which are applied to Sturm-Liouville and second order elliptic partial differential operators with indefinite weights on unbounded domains.


title: Sub-Linear Root Detection, and New Hardness Results, for Sparse Polynomials Over Finite Fields

abstract: We present a deterministic 2^O(t)q^{(t-2)(t-1)+o(1)} algorithm to decide whether a univariate polynomial f, with exactly t monomial terms and degree <q, has a root in F_q. A corollary of our method --- the first with complexity sub-linear in q when t is fixed --- is that the nonzero roots in F_q can be partitioned into at most 2 \sqrt{t-1} (q-1)^{(t-2)(t-1)} cosets of two subgroups S_1,S_2 of F^*_q, with S_1 in S_2. Another corollary is the first deterministic sub-linear algorithm for detecting common degree one factors of k-tuples of t-nomials in F_q[x] when k and t are fixed. When t is not fixed we show that each of the following problems is NP-hard with respect to BPP-reductions, even when p is prime: (1) detecting roots in F_p for f, (2) deciding whether the square of a degree one polynomial in F_p[x] divides f, (3) deciding whether the discriminant of f vanishes, (4) deciding whether the gcd of two t-nomials in F_p[x] has positive degree. Finally, we prove that if the complexity of root detection is sub-linear (in a refined sense), relative to the straight-line program encoding, then NEXP is not in P/Poly.


title: Combinatorics of the asymmetric exclusion process on a semi-infinite lattice

abstract: We study two versions of the asymmetric exclusion process (ASEP) -- an ASEP on a semi-infinite lattice with an open left boundary, and an ASEP on a finite lattice with open left and right boundaries -- and we demonstrate a surprising relationship between their stationary measures. The semi-infinite ASEP was first studied by Liggett and then Grosskinsky, while the finite ASEP had been introduced earlier by Spitzer and Macdonald-Gibbs-Pipkin. We show that the finite correlation functions involving the first L sites for the stationary measures on the semi-infinite ASEP can be obtained as a nonphysical specialization of the stationary distribution of an ASEP on a finite one-dimensional lattice with L sites. Namely, if the output and input rates of particles at the right boundary of the finite ASEP are beta and delta, respectively, and we set delta=-beta, then this specialization corresponds to sending the right boundary of the lattice to infinity. Combining this observation with work of the second author and Corteel, we obtain a combinatorial formula for finite correlation functions of the ASEP on a semi-infinite lattice.

categories: cond-mat.stat-mech math-ph math.CO math.MP math.PR


title: Conformational Collapse of Surface-Bound Helical Filaments

abstract: Chiral polymers are ubiquitous in nature and in the cellular context they are often found in association with membranes. Here we show that surface bound polymers with an intrinsic twist and anisotropic bending stiffness can exhibit a sharp continuous phase transition between states with very different effective persistence lengths as the binding affinity is increased. Above a critical value for the binding strength, determined solely by the torsional modulus and intrinsic twist rate, the filament can exist in a zero twist, surface bound state with a homogeneous stiffness. Below the critical binding strength, twist walls proliferate and function as weak or floppy joints that sharply reduce the effective persistence length that is measurable on long lengthscales. The existence of such dramatically different conformational states has implications for both biopolymer function {\it in vivo} and for experimental observations of such filaments {\it in vitro}.


title: The Kilometer-Sized Main Belt Asteroid Population as Revealed by Spitzer

abstract: Multi-epoch Spitzer Space Telescope 24 micron data is utilized from the MIPSGAL and Taurus Legacy surveys to detect asteroids based on their relative motion. These infrared detections are matched to known asteroids and rotationally averaged diameters and albedos are derived using the Near Earth Asteroid Model (NEATM) in conjunction with Monte Carlo simulations for 1835 asteroids ranging in size from 0.2 to 143.6 km. A small subsample of these objects was also detected by IRAS or MSX and the single wavelength albedo and diameter fits derived from this data are within 5% of the IRAS and/or MSX derived albedos and diameters demonstrating the robustness of our technique. The mean geometric albedo of the small main belt asteroids in this sample is p_V = 0.138 with a sample standard deviation of 0.105. The albedo distribution of this sample is far more diverse than the IRAS or MSX samples. The cumulative size-frequency distribution of asteroids in the main belt at small diameters is directly derived. Completeness limits of the optical and infrared surveys are discussed.


title: A Renormalization Program for Systems with Non-Perturbative Conditions

abstract: In this paper we introduce an alternative renormalization program for systems with non-perturbative conditions. The non-perturbative conditions that we concentrate on in this paper are confined to be either the presence of non-trivial boundary conditions or non-perturbative background fields. We show that these non-perturbative conditions have profound effects on all physical properties of the system and our renormalization program is consistent with these conditions. We formulate the general renormalization program in the configuration space. The differences between the free space renormalization program and ours manifest themselves in the counter-terms as well, which we shall elucidate. The general expressions that we obtain for the counter-terms reduce to the standard results in the free space cases. We show that the differences between these divergent counter-terms are extremely small. Moreover we argue that the position dependences induced on the parameters of the renormalized Lagrangian via the loop corrections, however small, are direct and natural consequences of the non-perturbative position dependent conditions imposed on the system.


title: Closed orbits on partial flag varieties and double flag variety of finite type

abstract: Let $ G $ be a connected reductive algebraic group over $ \C $. We denote by $ K = (G^{\theta})_{0} $ the identity component of the fixed points of an involutive automorphism $ \theta $ of $ G $. The pair $ (G, K) $ is called a symmetric pair. Let $Q$ be a parabolic subgroup of $K$. We want to find a pair of parabolic subgroups $P_{1}$, $P_{2}$ of $G$ such that (i) $P_{1} \cap P_{2} = Q$ and (ii) $P_{1} P_{2}$ is dense in $G$. The main result of this article states that, for a simple group $G$, we can find such a pair if and only if $(G, K)$ is a Hermitian symmetric pair. The conditions (i) and (ii) yield to conclude that the $K$-orbit through the origin $(e P_{1}, e P_{2})$ of $G/P_{1} \times G/P_{2}$ is closed and it generates an open dense $G$-orbit on the product of partial flag variety. From this point of view, we also give a complete classification of closed $K$-orbits on $G/P_{1} \times G/P_{2}$.


title: Probing Colored Particles with Photons, Leptons, and Jets

abstract: If pairs of new colored particles are produced at the Large Hadron Collider, determining their quantum numbers, and even discovering them, can be non-trivial. We suggest that valuable information can be obtained by measuring the resonant signals of their near-threshold QCD bound states. If the particles are charged, the resulting signatures include photons and leptons and are sufficiently rich for unambiguously determining their various quantum numbers, including the charge, color representation and spin, and obtaining a precise mass measurement. These signals provide well-motivated benchmark models for resonance searches in the dijet, photon+jet, diphoton and dilepton channels. While these measurements require that the lifetime of the new particles be not too short, the resulting limits, unlike those from direct searches for pair production above threshold, do not depend on the particles' decay modes. These limits may be competitive with more direct searches if the particles decay in an obscure way.


title: Ab initio molecular dynamics study of dissociation of water under an electric field

abstract: The behavior of liquid water under an electric field is a crucial phenomenon in science and engineering. However, its detailed description at a microscopic level is difficult to achieve experimentally. Here we report on the first ab initio molecular-dynamics study on water under an electric field. We observe that the hydrogen-bond length and the molecular orientation are significantly modified at low-to-moderate field intensities. Fields beyond a threshold of about 0.35 V/\AA are able to dissociate molecules and sustain an ionic current via a series of correlated proton jumps. Upon applying even more intense fields (1.0 V/\AA), a 15-20% fraction of molecules are instantaneously dissociated and the resulting ionic flow yields a conductance of about 7.8 $\Omega^{-1}cm^{-1}$, in good agreement with experimental values. This result paves the way to quantum-accurate microscopic studies of the effect of electric fields on aqueous solutions and, thus, to massive applications of ab initio molecular dynamics in neurobiology, electrochemistry and hydrogen economy.


title: GPGPU for orbital function evaluation with a new updating scheme

abstract: We accelerated an {\it ab-initio} QMC electronic structure calculation by using GPGPU. The bottleneck of the calculation for extended solid systems is replaced by CUDA-GPGPU subroutine kernels which build up spline basis set expansions of electronic orbital functions at each Monte Carlo step. We achieved 30.8 times faster evaluation for the bottleneck, confirmed on the simulation of TiO$_2$ solid with 1,536 electrons. To achieve better performance in GPGPU we propose a new updating scheme for Monte Carlo sampling, quasi-simultaneous updating, which is in between the configuration-by-configuration updating and the widely-used particle-by-particle one. The energy deviation caused both by the single precision treatment and the new updating scheme is found to be within the accuracy required in the calculation, $\sim 10^{-3}$ hartree per primitive cell.


title: On the cosmology of Weyl's gauge invariant gravity

abstract: Recently the vector inflation has been proposed as the alternative to inflationary models based on scalar bosons and quintessence scalar fields. In the vector inflationary model, the vector field non-minimally couples to gravity. We should, however, inquire if there exists a relevant fundamental theory which supports the inflationary scenario. We investigate the possibility that Weyl's gauge gravity theory could be such a fundamental theory. That is the reason why the Weyl's gauge invariant vector and scalar fields are naturally introduced. After rescaling the Weyl's gauge invariant Lagrangian to the Einstein frame, we find that in four dimensions the Lagrangian is equivalent to Einstein-Proca theory and does not have the vector field non-minimally coupled to gravity, but has the scalar boson with a polynomial potential which leads to the spontaneously symmetry breakdown.


title: Tippe Top Equations and Equations for the Related Mechanical Systems

abstract: The equations of motion for the rolling and gliding Tippe Top (TT) are nonintegrable and difficult to analyze. The only existing arguments about TT inversion are based on analysis of stability of asymptotic solutions and the LaSalle type theorem. They do not explain the dynamics of inversion. To approach this problem we review and analyze here the equations of motion for the rolling and gliding TT in three equivalent forms, each one providing different bits of information about motion of TT. They lead to the main equation for the TT, which describes well the oscillatory character of motion of the symmetry axis $\mathbf{\hat{3}}$ during the inversion. We show also that the equations of motion of TT give rise to equations of motion for two other simpler mechanical systems: the gliding heavy symmetric top and the gliding eccentric cylinder. These systems can be of aid in understanding the dynamics of the inverting TT.

categories: nlin.SI math-ph math.MP physics.class-ph


title: Relativistic dissipative hydrodynamics with extended matching conditions for ultra-relativistic heavy-ion collisions

abstract: Recently we proposed a novel approach to the formulation of relativistic dissipative hydrodynamics by extending the so-called matching conditions in the Eckart frame [Phys. Rev. {\bf C 85}, (2012) 14906]. We extend this formalism further to the arbitrary Lorentz frame. We discuss the stability and causality of solutions of fluid equations which are obtained by applying this formulation to the Landau frame, which is more relevant to treat the fluid produced in ultra-relativistic heavy-ion collisions. We derive equations of motion for a relativistic dissipative fluid with zero baryon chemical potential and show that linearized equations obtained from them are stable against small perturbations. It is found that conditions for a fluid to be stable against infinitesimal perturbations are equivalent to imposing restrictions that the sound wave, $c_s$, propagating in the fluid, must not exceed the speed of light $c$, i.e., $c_s < c$. This conclusion is equivalent to that obtained in the previous paper using the Eckart frame [Phys. Rev. {\bf C 85}, (2012) 14906].


title: Quarkonium at T>0

abstract: We report recent progress on theoretical investigations of quarkonia at finite temperature. We discuss medium modification of charmonia and bottomonia from a viewpoint of local operators and point out that while charmonia are sensitive to the deconfinement transition bottomonia will be modified at much higher temperatures.


title: Computing Functionals of Multidimensional Diffusions via Monte Carlo Methods

abstract: We discuss suitable classes of diffusion processes, for which functionals relevant to finance can be computed via Monte Carlo methods. In particular, we construct exact simulation schemes for processes from this class. However, should the finance problem under consideration require e.g. continuous monitoring of the processes, the simulation algorithm can easily be embedded in a multilevel Monte Carlo scheme. We choose to introduce the finance problems under the benchmark approach, and find that this approach allows us to exploit conveniently the analytical tractability of these diffusion processes.


title: Characterization of almost $L^p$-eigenfunctions of the Laplace-Beltrami operator

abstract: In \cite{Roe} Roe proved that if a doubly-infinite sequence $\{f_k\}$ of functions on $\R$ satisfies $f_{k+1}=(df_{k}/dx)$ and $|f_{k}(x)|\leq M$ for all $k=0,\pm 1,\pm 2,...$ and $x\in \R$, then $f_0(x)=a\sin(x+\varphi)$ where $a$ and $\varphi$ are real constants. This result was extended to $\R^n$ by Strichartz \cite{Str} where $d/dx$ is substituted by the Laplacian on $\R^n$. While it is plausible to extend this theorem for other Riemannian manifolds or Lie groups, Strichartz showed that the result holds true for Heisenberg groups, but fails for hyperbolic 3-space. This negative result can be indeed extended to any Riemannian symmetric space of noncompact type. We observe that this failure is rooted in the $p$-dependance of the $L^p$-spectrum of the Laplacian on the hyperbolic spaces. Taking this into account we shall prove that for all rank one Riemannian symmetric spaces of noncompact type, or more generally for the harmonic $NA$ groups, the theorem actually holds true when uniform boundedness is replaced by uniform "almost $L^p$ boundedness". In addition we shall see that for the symmetric spaces this theorem is capable of characterizing the Poisson transforms of $L^p$ functions on the boundary, which some what resembles the original theorem of Roe on $\R$.


title: A hyperbolic metric and stability conditions on K3 surfaces with \rho=1

abstract: In this article we introduce a hyperbolic metric on the (normalized) space of stability conditions on projective K3 surfaces $X$ with Picard rank $\rho (X) =1$. And we show that all walls are geodesic in the normalized space with respect to the hyperbolic metric. Furthermore we demonstrate how the hyperbolic metric is helpful for us by discussing mainly three topics. We first make a study of so called Bridgeland's conjecture. In the second topic we prove a famous Orlov's theorem without the global Torelli theorem. In the third topic we give an explicit example of stable complexes in large volume limits by using the hyperbolic metric. Though Bridgeland's conjecture may be well-known for algebraic geometers, we would like to start from the review of it.


title: Direct Observation of the Hyperfine Transition of the Ground State Positronium

abstract: We report the first direct measurement of the hyperfine transition of the ground state positronium. The hyperfine structure between ortho-positronium and para-positronium is about 203 GHz. We develop a new optical system to accumulate about 10 kW power using a gyrotron, a mode converter, and a Fabry-P\'{e}rot cavity. The hyperfine transition has been observed with a significance of 5.4 standard deviations. The transition probability is measured to be $A = 3.1^{+1.6}_{-1.2} \times 10^{-8}$ s$^{-1}$ for the first time, which is in good agreement with the theoretical value of $3.37 \times 10^{-8}$ s$^{-1}$.


title: Multimode image memory based on a cold atomic ensemble

abstract: Quantum memory is one of key ingredients consisting of quantum networks, therefore storing light at single photon level is an important step for realizing quantum networks. A photon, encoded in a high-dimensional state, can significantly increase the information capacity that a photon can carry. Furthermore, quantum memories with the ability to store multiple optical modes offer advantages in speed and robustness over single mode memories in quantum communication and computation. So far, there is no any report about the storage and retrieval of multiple mode images at single photon level. Here, we give a first experimental demonstration to our best knowledge, that two spatial probe fields at single photon level, each imprinted a real image, can be stored and retrieved with a considerable visibility and similarity through electromagnetically induced transparency in cold atomic ensemble. The accomplishment of multiple modes quantum image memory would move closer towards high dimensional quantum networks.


title: Power of earthquake cluster detection tests

abstract: Testing the global earthquake catalogue for indications of non-Poissonian attributes has been an area of intense research, especially since the 2011 Tohoku earthquake. The usual approach is to test statistically for the hypothesis that the global earthquake catalogue is well explained by a Poissonian process. In this paper we analyse one aspect of this problem which has been disregarded by the literature: the power of such tests to detect non-Poissonian features if they existed; that is, the probability of type II statistical errors. We argue that the low frequency of large events and the brevity of our earthquake catalogues reduces the power of the statistical tests so that an unequivocal answer for this question is not granted. We do this by providing a counter example of a stochastic process that is clustered by construction and by analysing the resulting distribution of p-values given by the current tests.


title: Gaseous Material Orbiting the Polluted, Dusty White Dwarf HE1349-2305

abstract: We present new spectroscopic observations of the polluted, dusty, helium-dominated atmosphere white dwarf star HE1349-2305. Optical spectroscopy reveals weak CaII infrared triplet emission indicating that metallic gas debris orbits and is accreted by the white dwarf. Atmospheric abundances are measured for magnesium and silicon while upper limits for iron and oxygen are derived from the available optical spectroscopy. HE1349-2305 is the first gas disk-hosting white dwarf star identified amongst previously known polluted white dwarfs. Further characterization of the parent body polluting this star will require ultraviolet spectroscopy.


title: Simulation of radiation driven wind from disc galaxies

abstract: We present 2-D hydrodynamic simulation of rotating galactic winds driven by radiation. We study the structure and dynamics of the cool and/or warm component($T \simeq 10^4$ K) which is mixed with dust. We have taken into account the total gravity of a galactic system that consists of a disc, a bulge and a dark matter halo. We find that the combined effect of gravity and radiation pressure from a realistic disc drives the gas away to a distance of $\sim 5$ kpc in $\sim 37$ Myr for typical galactic parameters. The outflow speed increases rapidly with the disc Eddington parameter $\Gamma_0(=\kappa I/(2 c G \Sigma)$) for $\Gamma_0 \ge 1.5$. We find that the rotation speed of the outflowing gas is $\lesssim 100$ km s$^{-1}$. The wind is confined in a cone which mostly consist of low angular momentum gas lifted from the central region.


title: The strength of Ramsey Theorem for coloring relatively large sets

abstract: We characterize the computational content and the proof-theoretic strength of a Ramsey-type theorem for bi-colorings of so-called {\em exactly large} sets. An {\it exactly large} set is a set $X\subset\Nat$ such that $\card(X)=\min(X)+1$. The theorem we analyze is as follows. For every infinite subset $M$ of $\Nat$, for every coloring $C$ of the exactly large subsets of $M$ in two colors, there exists and infinite subset $L$ of $M$ such that $C$ is constant on all exactly large subsets of $L$. This theorem is essentially due to Pudl\`ak and R\"odl and independently to Farmaki. We prove that --- over Computable Mathematics --- this theorem is equivalent to closure under the $\omega$ Turing jump (i.e., under arithmetical truth). Natural combinatorial theorems at this level of complexity are rare. Our results give a complete characterization of the theorem from the point of view of Computable Mathematics and of the Proof Theory of Arithmetic. This nicely extends the current knowledge about the strength of Ramsey Theorem. We also show that analogous results hold for a related principle based on the Regressive Ramsey Theorem. In addition we give a further characterization in terms of truth predicates over Peano Arithmetic. We conjecture that analogous results hold for larger ordinals.


title: A finite oscillator model related to sl(2|1)

abstract: We investigate a new model for the finite one-dimensional quantum oscillator based upon the Lie superalgebra sl(2|1). In this setting, it is natural to present the position and momentum operators of the oscillator as odd elements of the Lie superalgebra. The model involves a parameter p (0<p<1) and an integer representation label j. In the (2j+1)-dimensional representations W_j of sl(2|1), the Hamiltonian has the usual equidistant spectrum. The spectrum of the position operator is discrete and turns out to be of the form $\pm\sqrt{k}$, where k=0,1,...,j. We construct the discrete position wave functions, which are given in terms of certain Krawtchouk polynomials. These wave functions have appealing properties, as can already be seen from their plots. The model is sufficiently simple, in the sense that the corresponding discrete Fourier transform (relating position wave functions to momentum wave functions) can be constructed explicitly.


title: Faster Walks in Graphs: A $\tilde O(n^2)$ Time-Space Trade-off for Undirected s-t Connectivity

abstract: In this paper, we make use of the Metropolis-type walks due to Nonaka et al. (2010) to provide a faster solution to the $S$-$T$-connectivity problem in undirected graphs (USTCON). As our main result, we propose a family of randomized algorithms for USTCON which achieves a time-space product of $S\cdot T = \tilde O(n^2)$ in graphs with $n$ nodes and $m$ edges (where the $\tilde O$-notation disregards poly-logarithmic terms). This improves the previously best trade-off of $\tilde O(n m)$, due to Feige (1995). Our algorithm consists in deploying several short Metropolis-type walks, starting from landmark nodes distributed using the scheme of Broder et al. (1994) on a modified input graph. In particular, we obtain an algorithm running in time $\tilde O(n+m)$ which is, in general, more space-efficient than both BFS and DFS. We close the paper by showing how to fine-tune the Metropolis-type walk so as to match the performance parameters (e.g., average hitting time) of the unbiased random walk for any graph, while preserving a worst-case bound of $\tilde O(n^2)$ on cover time.


title: Computational comparison of the bending behavior of aortic stent-grafts

abstract: Secondary interventions after endovascular repair of abdominal aortic aneurysms are frequent because stent-graft (SG) related complications may occur (mainly endoleak and SG thrombosis). Complications have been related to insufficient SG flexibility, especially when devices are deployed in tortuous arteries. Little is known on the relationship between SG design and flexibility. Therefore, the aim of this study was to simulate numerically the bending of two manufactured SGs (Aorfix-Lombard Medical (A) and Zenith-Cook Medical Europe (Z)) using finite element analysis (FEA). Global SG behavior was studied by assessing stent spacing variation and cross-section deformation. Four criteria were defined to compare flexibility of SGs: maximal luminal reduction rate, torque required for bending, maximal membrane strains in graft and maximal Von Mises stress in stents. For angulation greater than 60\degree, values of these four criteria were lower with A-SG, compared to Z-SG. In conclusion, A-SG was more flexible than Z-SG according to FEA. A-SG may decrease the incidence of complications in the setting of tortuous aorto-iliac aneurysms. Our numerical model could be used to assess flexibility of further manufactured as well as newly designed SGs.


title: Simulation of NMR Fermi contact shifts for Lithium battery materials: the need of an efficient hybrid functional approach

abstract: In the context of the development of NMR Fermi contact shift calculations for assisting structural characterization of battery materials, we propose an accurate, efficient, and robust approach based on the use of an all electron method. The full-potential linearized augmented plane wave method, as implemented in the WIEN2k code, is coupled with the use of hybrid functionals for the evaluation of hyperfine field quantities. The WIEN2k code is able to fully relax relativistic core states and uses an autoadaptive basis set that is highly accurate for the determination of the hyperfine field. Furthermore, the way hybrid functional approaches are implemented offers the possibility to use them at no additional computational cost. In this paper, NMR Fermi contact shifts for lithium are studied in different classes of paramagnetic materials that present an interest in the field of Li-ion batteries: olivine LiMPO4 (M = Mn, Fe, Co, Ni), anti-NASICON type Li3M2(PO4)3 (M = Fe, V), and antifluorite-type Li6CoO4. Making use of the possibility to apply partial hybrid functionals either only on the magnetic atom or also on the anionic species, we evidence the role played by oxygen atoms on polarisation mechanisms. Our method is quite general for an application on various types of materials.


title: NLTE determination of the calcium abundance and 3D corrections in extremely metal-poor stars

abstract: (Abridged) Extremely metal-poor stars contain the fossil records of the chemical composition of the early Galaxy. The NLTE profiles of the calcium lines were computed in a sample of 53 extremely metal-poor stars with a modified version of the program MULTI. With our new model atom we are able to reconcile the abundance of Ca deduced from the Ca I and Ca II lines in Procyon. -We find that [Ca/Fe] = 0.50 $\pm$ 0.09 in the early Galaxy, a value slightly higher than the previous LTE estimations. -The scatter of the ratios [X/Ca] is generally smaller than the scatter of the ratio [X/Mg] where X is a "light metal" (O, Na, Mg, Al, S, and K) with the exception of Al. These scatters cannot be explained by error of measurements, except for oxygen. Surprisingly, the scatter of [X/Fe] is always equal to, or even smaller than, the scatter around the mean value of [X/Ca]. -We note that at low metallicity, the wavelength of the Ca I resonance line is shifted relative to the (weaker) subordinate lines, a signature of the effect of convection. -The Ca abundance deduced from the Ca I resonance line (422.7 nm) is found to be systematically smaller at very low metallicity, than the abundance deduced from the subordinate lines.


title: Cloud Computing Security in Business Information Systems

abstract: Cloud computing providers' and customers' services are not only exposed to existing security risks, but, due to multi-tenancy, outsourcing the application and data, and virtualization, they are exposed to the emergent, as well. Therefore, both the cloud providers and customers must establish information security system and trustworthiness each other, as well as end users. In this paper we analyze main international and industrial standards targeting information security and their conformity with cloud computing security challenges. We evaluate that almost all main cloud service providers (CSPs) are ISO 27001:2005 certified, at minimum. As a result, we propose an extension to the ISO 27001:2005 standard with new control objective about virtualization, to retain generic, regardless of company's type, size and nature, that is, to be applicable for cloud systems, as well, where virtualization is its baseline. We also define a quantitative metric and evaluate the importance factor of ISO 27001:2005 control objectives if customer services are hosted on-premise or in cloud. The conclusion is that obtaining the ISO 27001:2005 certificate (or if already obtained) will further improve CSP and CC information security systems, and introduce mutual trust in cloud services but will not cover all relevant issues. In this paper we also continue our efforts in business continuity detriments cloud computing produces, and propose some solutions that mitigate the risks.


title: A Combinatorial Proof of the Enumeration of Alternating Permutations with Given Peak Set

abstract: Using the correspondence between a cycle up-down permutation and a pair of matchings, we give a combinatorial proof of the enumeration of alternating permutations according to the given peak set.


title: Ulta-slow relaxation in discontinuous-film based electron glasses

abstract: We present field effect measurements on discontinuous 2D thin films which are composed of a sub monolayer of nano-grains of Au, Ni, Ag or Al. Like other electron glasses these systems exhibit slow conductance relaxation and memory effects. However, unlike other systems, the discontinuous films exhibit a dramatic slowing down of the dynamics below a characteristic temperature $T^*$. $T^*$ is typically between 10-50K and is sample dependent. For $T<T^*$ the sample exhibits a few other peculiar features such as repeatable conductance fluctuations in millimeter size samples. We suggest that the enhanced system sluggishness is related to the current carrying network becoming very dilute in discontinuous films so that the system contains many parts which are electrically very weakly connected and the transport is dominated by very few weak links. This enables studying the glassy properties of the sample as it transitions from a macroscopic sample to a mesocopic sample, hence, the results provide new insight on the underlying physics of electron glasses.


title: Sharp lower bound on the curvatures of ASD connections over the cylinder

abstract: We prove a sharp lower bound on the curvatures of non-flat ASD connections over the cylinder.


title: Magnetoresistivity in a Tilted Magnetic Field in p-Si/SiGe/Si Heterostructures with an Anisotropic g-Factor: Part II

abstract: The magnetoresistance components $\rho_{xx}$ and $\rho_{xy}$ were measured in two p-Si/SiGe/Si quantum wells that have an anisotropic g-factor in a tilted magnetic field as a function of temperature, field and tilt angle. Activation energy measurements demonstrate the existence of a ferromagnetic-paramagnetic (F-P) transition for a sample with a hole density of $p$=2$\times10^{11}$\,cm$^{-2}$. This transition is due to crossing of the 0$\uparrow$ and 1$\downarrow$ Landau levels. However, in another sample, with $p$=7.2$\times10^{10}$\,cm$^{-2}$, the 0$\uparrow$ and 1$\downarrow$ Landau levels coincide for angles $\Theta$=0-70$^{\text{o}}$. Only for $\Theta$ > 70$^{\text{o}}$ do the levels start to diverge which, in turn, results in the energy gap opening.


title: Phase space reduction of the one-dimensional Fokker-Planck (Kramers) equation

abstract: A pointlike particle of finite mass m, moving in a one-dimensional viscous environment and biased by a spatially dependent force, is considered. We present a rigorous mapping of the Fokker-Planck equation, which determines evolution of the particle density in phase space, onto the spatial coordinate x. The result is the Smoluchowski equation, valid in the overdamped limit, m->0, with a series of corrections expanded in powers of m. They are determined unambiguously within the recurrence mapping procedure. The method and the results are interpreted on the simplest model with no field and on the damped harmonic oscillator.


title: On a question of A. Schinzel: Omega estimates for a special type of arithmetic functions

abstract: The paper deals with lower bounds for the remainder term in asymptotics for a certain class of arithmetic functions. Typically, these are generated by a Dirichlet series which involves a product of Riemann zeta-functions of a special form.


title: Numerical Invariants through Convex Relaxation and Max-Strategy Iteration

abstract: In this article we develop a max-strategy improvement algorithm for computing least fixpoints of operators on on the reals that are point-wise maxima of finitely many monotone and order-concave operators. Computing the uniquely determined least fixpoint of such operators is a problem that occurs frequently in the context of numerical program/systems verification/analysis. As an example for an application we discuss how our algorithm can be applied to compute numerical invariants of programs by abstract interpretation based on quadratic templates.


title: Cycles of the magnetic activity of the Sun and solar-type stars and simulation of their fluxes

abstract: The application of the Wavelet analysis and Fourier analysis to the dataset of variations of radiation fluxes of solar-like stars and the Sun is examined. In case of the Sun the wavelet-analysis helped us to see a set of values of periods of cycles besides "11-year" cycle: the long-duration cycles of 22-year, 40-50 year and 100-120 year and short-duration cycles of 2-3,5 years and 1,3-year. We present a method of the chromospheric flux simulation using the 13 late-type stars, which have well-determined cyclic flux variations similar to the 11-year solar activity cycle. Our flux prediction is based on the chromospheric calcium emission time series measurements from the Mount Wilson Observatory and comparable solar dataset. We show that solar three - component modeling well explains the stellar chromospheric observations.


title: On the longest length of arithmetic progressions

abstract: Suppose that $\xi^{(n)}_1,\xi^{(n)}_2,...,\xi^{(n)}_n$ are i.i.d with $P(\xi^{(n)}_i=1)=p_n=1-P(\xi^{(n)}_i=0)$. Let $U^{(n)}$ and $W^{(n)}$ be the longest length of arithmetic progressions and of arithmetic progressions mod $n$ relative to $\xi^{(n)}_1,\xi^{(n)}_2,..., \xi^{(n)}_n$ respectively. Firstly, the asymptotic distributions of $U^{(n)}$ and $W^{(n)}$ are given. Simultaneously, the errors are estimated by using Chen-Stein method. Next, the almost surely limits are discussed when all $p_n$ are equal and when considered on a common probability space. Finally, we consider the case that $\lim_{n\to\infty}p_n=0$ and $\lim_{n\to\infty}{np_n}=\infty$. We prove that as $n$ tends to $\infty$, the probability that $U^{(n)}$ takes two numbers and $W^{(n)}$ takes three numbers tends to 1.


title: Spin waves and Collisional Frequency Shifts of a Trapped-Atom Clock

abstract: We excite spin-waves with spatially inhomogeneous pulses and study the resulting frequency shifts of a chip-scale atomic clock of trapped $^{87}$Rb. The density-dependent frequency shifts of the hyperfine transition simulate the s-wave collisional frequency shifts of fermions, including those of optical lattice clocks. As the spin polarizations oscillate in the trap, the frequency shift reverses and it depends on the area of the second Ramsey pulse, exhibiting a predicted beyond mean-field frequency shift. Numerical and analytic models illustrate the observed behaviors.