title: Freeze-out radii extracted from three-pion cumulants in pp, p-Pb and Pb-Pb collisions at the LHC

abstract: In high-energy collisions, the spatio-temporal size of the particle production region can be measured using the Bose-Einstein correlations of identical bosons at low relative momentum. The source radii are typically extracted using two-pion correlations, and characterize the system at the last stage of interaction, called kinetic freeze-out. In low-multiplicity collisions, unlike in high-multiplicity collisions, two-pion correlations are substantially altered by background correlations, e.g. mini-jets. Such correlations can be suppressed using three-pion cumulant correlations. We present the first measurements of the size of the system at freeze-out extracted from three-pion cumulant correlations in pp, p-Pb and Pb-Pb collisions at the LHC with ALICE. At similar multiplicity, the invariant radii extracted in p-Pb collisions are found to be 5-15% larger than those in pp, while those in Pb-Pb are 35-55% larger than those in p-Pb. Our measurements disfavor models which incorporate substantially stronger collective expansion in p-Pb as compared to pp collisions at similar multiplicity.


title: Memory effects and magnetic relaxation in single-crystalline La$_{0.9}$Sr$_{0.1}$CoO$_3$

abstract: We report a detailed investigation of magnetic relaxation and memory effects in La$_{0.9}$Sr$_{0.1}$CoO$_3$ single crystal from dc magnetization measurements. The analysis of magnetic relaxation at different temperatures and magnetic fields below the freezing temperature ($T_{f}$) manifests the characteristics of spin glass phase. Below $T_{f}$, striking memory effects have been clearly observed in different experimental protocols. The memory effect in the zero-field-cooled magnetization further establishes that the glassy magnetic state arises from the co-operative spin-spin interaction but not due to the independent relaxation of metastable phase clusters. The asymmetric response with respect to negative and positive temperature change favors the hierarchical model of memory effects rather than the droplet model discussed in other works for different insulating and metallic Heisenberg spin glasses.


title: Inversion d'op\'erateurs de courbures au voisinage de la m\'etrique euclidienne

abstract: We show that some curvature operators are locally invertible, in some weithted sobolev spaces, near the euclidian metric. (Nous montrons que certains op\'erateurs affines en la courbure de Ricci sont localement inversibles, dans des espaces de Sobolev \`a poids, au voisinage de la m\'etrique euclidienne.)


title: Boundary regularity for fully nonlinear integro-differential equations

abstract: We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order $2s$, with $s\in(0,1)$. We consider the class of nonlocal operators $\mathcal L_*\subset \mathcal L_0$, which consists of infinitesimal generators of stable L\'evy processes belonging to the class $\mathcal L_0$ of Caffarelli-Silvestre. For fully nonlinear operators $I$ elliptic with respect to $\mathcal L_*$, we prove that solutions to $I u=f$ in $\Omega$, $u=0$ in $\mathbb R^n\setminus\Omega$, satisfy $u/d^s\in C^{s+\gamma}(\overline\Omega)$, where $d$ is the distance to $\partial\Omega$ and $f\in C^\gamma$. We expect the class $\mathcal L_*$ to be the largest scale invariant subclass of $\mathcal L_0$ for which this result is true. In this direction, we show that the class $\mathcal L_0$ is too large for all solutions to behave like $d^s$. The constants in all the estimates in this paper remain bounded as the order of the equation approaches 2. Thus, in the limit $s\uparrow1$ we recover the celebrated boundary regularity result due to Krylov for fully nonlinear elliptic equations.


title: Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

abstract: Starting from an informal requirements description of a toy production cell used in an intra-project competition in 1994, we give a formal specification that is as close as possible to requirements. We use the deductive program synthesis approach by Manna and Waldinger (1980) to obtain a verified TTL-like circuitery to control the cell. The formal specification also covers mechanical aspects and thus allows to reason not only about software issues but also about issues of mechanical engineering. Besides an approach confined to first order predicate logic with explicit, continuous time, an attempt is presented to employ application specific user-defined logical operators to get a more concise specification as well as proof.


title: The $S^1$-equivariant cohomology rings of $(n-k,k)$ Springer varieties

abstract: The main result of this note gives an explicit presentation of the $S^1$-equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$) as a quotient of a polynomial ring by an ideal $I$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.


title: Production and decay of radion in Randall-Sundrum model at a photon collider

abstract: A warped extra dimension model predicts an extra scalar particle beyond the Standard Model which is called a radion. Although interactions of the radion are similar to those of the Higgs boson in the Standard Model, a relatively light radion ($\lesssim 100 {\rm GeV}$) is not severely constrained from the Higgs search experiments at the LHC. In this paper we study discovery potential of the radion at a photon collider as an option of ILC. Owing to the trace anomaly of the energy-momentum tensor, both a production of radion in $\gamma \gamma$ collision and its decay to gluon pair are enhanced sizably. We find that the photon collider has a sensitivity for discovering the radion in low-mass region up to $\Lambda_\phi\sim 3 {\rm TeV}$, where $\Lambda_\phi$ is a scale parameter which suppresses the interactions of radion to the Standard Model particles.


title: Regular Substitution Sets: A Means of Controlling E-Unification

abstract: A method for selecting solution constructors in narrowing is presented. The method is based on a sort discipline that describes regular sets of ground constructor terms as sorts. It is extended to cope with regular sets of ground substitutions, thus allowing different sorts to be computed for terms with different variable bindings. An algorithm for computing signatures of equationally defined functions is given that allows potentially infinite overloading. Applications to formal program development are sketched.


title: Spectral Line Survey toward Spiral Arm of M51 in the 3 mm and 2 mm Bands

abstract: We have conducted a spectral line survey in the 3 mm and 2 mm bands toward two positions in a spiral arm of M51 (NGC 5194) with the IRAM 30 m telescope. In this survey, we have identified 13 molecular species, including CN, CCH, N2H+, HNCO, and CH3OH. Furthermore, 6 isotopologues of the major species have been detected. On the other hand, SiO, HC3N, CH3CN, and the deuterated species such as DCN and DCO+ are not detected. The deuterium fractionation ratios are evaluated to be less than 0.8 % and 1.2 % for DCN/HCN and DCO+/HCO+, respectively. By comparing the results of the two positions with different star formation activities, we have found that the observed chemical compositions do not strongly depend on star formation activities. They seem to reflect a chemical composition averaged over the 1-kpc scale region including many giant molecular clouds. Among the detected molecules CN, CCH, and CH3OH are found to be abundant. High abundances of CN, and CCH are consistent with the above picture of a wide spread distribution of molecules, because they can be produced by photodissociation. On the other hand, it seems likely that CH3OH is liberated into the gas phase by shocks associated with large scale phenomena such as cloud-cloud collisions and/or by non-thermal desorption processes such as photoevaporation due to cosmic-ray induced UV photons. The present result demonstrates a characteristic chemical composition of a giant molecular cloud complex in the spiral arm, which can be used as a standard reference for studying chemistry in AGNs and starbursts.


title: Comparing invariants of Legendrian knots

abstract: We prove the equivalence of the invariants EH(L) and LOSS-(L) for oriented Legendrian knots L in the 3-sphere equipped with the standard contact structure, partially extending a previous result by Stipsicz and Vertesi. In the course of the proof we relate the sutured Floer homology groups associated with a knot complement and knot Floer homology, and define intermediate Legendrian invariants.


title: Transport in graphene nanostructures with spatially modulated gap and potential

abstract: We study transport properties of graphene nanostructures consisted of alternating slabs of gapless and gapped graphene in the presence of piecewise constant external potential equal to zero in the gapless regions. The transmission through single-, double-barrier structures and superlattices has been studied. It was revealed that any n-barrier structure is perfectly transparent at certain conditions defining the positions of new Dirac points created in the superlattice. The conductance and the shot noise were as well computed and investigated for the considered graphene systems. In a general case, existence of gapped graphene fraction leads to decrease of the conductance and increase of the Fano factor. For two barriers formed by gapped graphene and separated by a long and highly doped region the Fano factor rises up to 0.5 in contrast to the similar gapless structure where the Fano factor is close to 0.25. Similarly to a gapless graphene superlattice, creation of each new Dirac point manifests itself as a conductivity resonance and a narrow dip in the Fano factor. However, gapped graphene inclusion into the potential-barrier regions in the superlattice leads to more complicated dependence of the Fano factor on the potential height compared to pseudo-diffusive behaviour (with F = 1/3) typical for a gapless superlattice.


title: Large deviation principle for the empirical degree measure of preferential attachment random graphs

abstract: We consider preferential attachment random graphs which may be obtained as follows: It starts with a single node. If a new node appears, it is linked by an edge to one or more existing node(s) with a probability proportional to function of their degree. For a class of linear preferential attachment random graphs we find a large deviation principle (LDP) for the empirical degree measure. In the course of the prove this LDP we establish an LDP for the empirical degree and pair distribution see Theorem 2.3, of the fitness preferential attachment model of random graphs.


title: How unproportional must a graph be?

abstract: Let $u_k(G,p)$ be the maximum over all $k$-vertex graphs $F$ of by how much the number of induced copies of $F$ in $G$ differs from its expectation in the binomial random graph with the same number of vertices as $G$ and with edge probability $p$. This may be viewed as a measure of how close $G$ is to being $p$-quasirandom. For a positive integer $n$ and $0<p<1$, let $D(n,p)$ be the distance from $p\binom{n}{2}$ to the nearest integer. Our main result is that, for fixed $k\ge 4$ and for $n$ large, the minimum of $u_k(G,p)$ over $n$-vertex graphs has order of magnitude $\Theta\big(\max\{D(n,p), p(1-p)\} n^{k-2}\big)$ provided that $p(1-p)n^{1/2} \to \infty$.


title: Spontaneous creation of the universe from nothing

abstract: An interesting idea is that the universe could be spontaneously created from nothing, but no rigorous proof has been given. In this paper, we present such a proof based on the analytic solutions of the Wheeler-DeWitt equation (WDWE). Explicit solutions of the WDWE for the special operator ordering factor p=-2 (or 4) show that, once a small true vacuum bubble is created by quantum fluctuations of the metastable false vacuum, it can expand exponentially no matter whether the bubble is closed, flat or open. The exponential expansion will end when the bubble becomes large and thus the early universe appears. With the de Broglie-Bohm quantum trajectory theory, we show explicitly that it is the quantum potential that plays the role of the cosmological constant and provides the power for the exponential expansion of the true vacuum bubble. So it is clear that the birth of the early universe completely depends on the quantum nature of the theory.


title: Existence and uniqueness of global strong solutions for SDEs with jumps under a new sufficient condition

abstract: In this paper, we investigate new sufficient conditions to ensure the existence of a unique global strong solution of stochastic differential equations with jumps. By using Euler approximation and by utilising a new test function $\varphi_\delta$ (see the following definition (\ref{pntas1})), we prove that there is a unique global strong solution for the initial value problem of the equation. The condition we posed is even weaker than the local Lipschitzian continuity of the coefficients. We also present an example to show that our conditions are indeed weaker than those relevant conditions existing in the literature.


title: On the deceleration of FRI jets: mass loading by stellar-winds

abstract: Jets in low-luminosity radio galaxies are known to decelerate from relativistic speeds on parsec scales to mildly or sub-relativistic speeds on kiloparsec scales. Several mechanisms have been proposed to explain this effect, including strong reconfinement shocks and the growth of instabilities (both leading to boundary-layer entrainment) and mass loading from stellar winds or molecular clouds. We have performed a series of axisymmetric simulations of the early evolution of jets in a realistic ambient medium to probe the effects of mass loading from stellar winds using the code Ratpenat. We study the evolution of Fanaroff-Riley Class I (FRI) jets, with kinetic powers L_j \sim 1.e41-1.e44 erg/s, within the first 2 kpc of their evolution, where deceleration by stellar mass loading should be most effective. Mass entrainment rates consistent with present models of stellar mass loss in elliptical galaxies produce deceleration and effective decollimation of weak FRI jets within the first kiloparsec. However, powerful FRI jets are not decelerated significantly. In those cases where the mass loading is important, the jets show larger opening angles and decollimate at smaller distances, but the overall structure and dynamics of the bow-shock are similar to those of unloaded jets with the same power and thrust. According to our results, the flaring observed on kpc scales is initiated by mass loading in the weaker FRI jets and by reconfinement shocks or the growth of instabilities in the more powerful jets. The final mechanism of decollimation and deceleration is always the development of disruptive pinching modes.


title: Anisotropic two-dimensional RF-dressed potentials for ultracold atoms

abstract: In this work, the RF-dressed potentials generated using a static magnetic field of a quadrupole trap and various radio frequency (RF) fields, have been theoretically investigated for trapping and manipulations of cold atoms in a two-dimensional (2D) geometry. It is shown that, in this scheme, the RF fields of some particular polarizations and phases can give rise to some novel static and time-dependent anisotropic two-dimensional potentials which are useful to trap and manipulate the cold atoms in the 2D geometry. The generated time-dependent 2D potentials, rotating on the circular ring, can be used for the controlled rotation and oscillation of the cold atom cloud on the circular ring path. The ultracold atoms trapped in these potentials may be used to investigate the interesting physics phenomena such as tunnelling and super-fluidity.


title: Adventures of a tidally induced bar

abstract: Using N-body simulations, we study the properties of a bar induced in a dwarf galaxy as a result of tidal interaction with the Milky Way. The dwarf is initially composed of a disk embedded in a dark matter halo and we follow its evolution on a typical orbit for 10 Gyr. It undergoes an evolution typical of tidally stirred dwarf galaxies: it loses mass, the stellar component transforms from a disk to a spheroid and the rotation of the stars is partially replaced by random motions. A tidally induced bar forms at the first pericentre passage and survives until the end of the evolution. Fourier decomposition of the distribution of stars reveals that only even modes are significant and preserve a hierarchy so that the bar mode is always the strongest. They show a characteristic profile with a maximum, similar to simulated bars forming in isolated galaxies and observed bars in real galaxies. We adopt the maximum of the bar mode as a measure of the bar strength and we estimate the bar length by comparing the density profiles along the bar and perpendicular to it. Both the bar strength and the bar length decrease with time, mainly at pericentres, as a result of tidal torques acting at those times and not to secular evolution. The pattern speed of the bar varies significantly on a time scale of 1 Gyr and seems to be fully controlled by the orientation of the tidal torque from the Milky Way. The bar is never tidally locked but we discover a hint of a 5/2 orbital resonance between the third and fourth pericentre passage. The speed of the bar expressed in terms of the ratio of the bar length to the corotation radius decreases in the long run so that the bar changes from initially rather fast to slow in the later stages. The boxy/peanut shape is clearly visible in the edge-on view between the second and third pericentre and its occurrence is preceded by a short period of buckling instability.


title: Measurement of the low-mass Drell-Yan differential cross section at $\sqrt{s}$ = 7 TeV using the ATLAS detector

abstract: The differential cross section for the process $Z/\gamma^*\rightarrow ll$ ($l=e,\mu$) as a function of dilepton invariant mass is measured in pp collisions at $\sqrt{s}=$ 7 TeV at the LHC using the ATLAS detector. The measurement is performed in the $e$ and $\mu$ channels for invariant masses between 26 GeV and 66 GeV using an integrated luminosity of 1.6 fb$^{-1}$ collected in 2011 and these measurements are combined. The analysis is extended to invariant masses as low as 12 GeV in the muon channel using 35 pb$^{-1}$ of data collected in 2010. The cross sections are determined within fiducial acceptance regions and corrections to extrapolate the measurements to the full kinematic range are provided. Next-to-next-to-leading-order QCD predictions provide a significantly better description of the results than next-to-leading-order QCD calculations, unless the latter are matched to a parton shower calculation.


title: Orbital ordering transition in the single-layer manganites near half doping: a weak-coupling approach

abstract: The roles of crystal-field splitting and Jahn-Teller distortions on the orbital ordering transition are investigated in the single-layer manganites near half doping. Crystal-field splitting of energy levels favoring the $d_{3z^2-r^2}$ occupancy provides not only the correct Fermi surface topology for La$_{0.5}$Sr$_{1.5}$MnO$_4$ having a circular electron pocket around the $\Gamma$ point, but also enhances the flatness of the hole pocket around the M point thereby improving the nesting. In the presence of the circular electron pocket, Jahn-Teller distortions are found to be crucial for the transition to the transverse orbital ordering with ordering wavevector ($0.5\pi, 0.5\pi$). In the hole-doping regime $0.5 \leq x \leq 0.7$, the orbital ordering wavevector shows a linear dependence on the hole concentration in accordance with the experiments.


title: Persistence Barcodes versus Kolmogorov Signatures: Detecting Modes of One-Dimensional Signals

abstract: We investigate the problem of estimating the number of modes (i.e., local maxima) - a well known question in statistical inference - and we show how to do so without presmoothing the data. To this end, we modify the ideas of persistence barcodes by first relating persistence values in dimension one to distances (with respect to the supremum norm) to the sets of functions with a given number of modes, and subsequently working with norms different from the supremum norm. As a particular case we investigate the Kolmogorov norm. We argue that this modification has certain statistical advantages. We offer confidence bands for the attendant Kolmogorov signatures, thereby allowing for the selection of relevant signatures with a statistically controllable error. As a result of independent interest, we show that taut strings minimize the number of critical points for a very general class of functions. We illustrate our results by several numerical examples.


title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads

abstract: Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour. Nearly all of the ensuing notions are instances of the more general notion of coalgebraic bisimulation. Weak bisimulation, however, has so far been much less amenable to a coalgebraic treatment. Here we attempt to close this gap by giving a coalgebraic treatment of (parametrized) weak equivalences, including weak bisimulation. Our analysis requires that the functor defining the transition type of the system is based on a suitable order-enriched monad, which allows us to capture weak equivalences by least fixpoints of recursive equations. Our notion is in agreement with existing notions of weak bisimulations for labelled transition systems, probabilistic and weighted systems, and simple Segala systems.


title: A numerical method to calculate the muon relaxation function in the presence of diffusion

abstract: We present an accurate and efficient method to calculate the effect of random fluctuations of the local field at the muon, for instance in the case muon diffusion, within the framework of the strong collision approximation. The method is based on a reformulation of the Markovian process over a discretized time base, leading to a summation equation for the muon polarization function which is solved by discrete Fourier transform. The latter is formally analogous, though not identical, to the integral equation of the original continuous-time model, solved by Laplace transform. With real-case parameter values, the solution of the discrete-time strong collision model is found to approximate the continuous-time solution with excellent accuracy even with a coarse-grained time sampling. Its calculation by the fast Fourier transform algorithm is very efficient and suitable for real time fitting of experimental data even on a slow computer.


title: The torus equivariant cohomology rings of Springer varieties

abstract: The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$-equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$-th symmetric group on the $T^{\ell}$-equivariant cohomology group. The $T^{\ell}$-equivariant analogue of so called Tanisaki's ideal will appear in the presentation.


title: A geometric proof of the existence of definable Whitney stratifications

abstract: We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.


title: X-ray emission from hot accretion flows

abstract: Radiatively inefficient, hot accretion flows are widely considered as a relevant accretion mode in low-luminosity AGNs. We study spectral formation in such flows using a refined model with a fully general relativistic description of both the radiative (leptonic and hadronic) and hydrodynamic processes, as well as with an exact treatment of global Comptonization. We find that the X-ray spectral index--Eddington ratio anticorrelation as well as the cut-off energy measured in the best-studied objects favor accretion flows with rather strong magnetic field and with a weak direct heating of electrons. Furthermore, they require a much stronger source of seed photons than considered in previous studies. The nonthermal synchrotron radiation of relativistic electrons seems to be the most likely process capable of providing a sufficient flux of seed photons. Hadronic processes, which should occur due to basic properties of hot flows, provide an attractive explanation for the origin of such electrons.


title: Irreversible Thermodynamics of the Universe: Constraints from Planck Data

abstract: The present work deals with irreversible Universal thermodynamics. The homogenous and isotropic flat model of the universe is chosen as open thermodynamical system and non-equilibrium thermodynamics comes into picture due to the mechanism of particle creation. For simplicity, entropy flow is considered only due to heat conduction. Further, due to Maxwell-Cattaneo modified Fourier law for non-equilibrium phenomenon, the temperature satisfies damped wave equation instead of heat conduction equation. Validity of generalized second law of thermodynamics (GSLT) has been investigated for Universe bounded by apparent or event horizon with cosmic substrutum as perfect fluid with constant or variable equation of state or interacting dark species. Finally, we have used three Planck data sets to constrain the thermal conductivity \lambda and the coupling parameter b^2. These constraints must be satisfied in order for GSLT to hold for Universe bounded by apparent or event horizons.


title: A method to calibrate the absolute energy scale of air showers with ultra-high energy photons

abstract: Calibrating the absolute energy scale of air showers initiated by ultra-high energy cosmic rays is an important experimental issue. Currently, the corresponding systematic uncertainty amounts to 14-21% using the fluorescence technique. Here we describe a new, independent method which can be applied if ultra-high energy photons are observed. While such photon-initiated showers have not yet been identified, the capabilities of present and future cosmic-ray detectors may allow their discovery. The method makes use of the geomagnetic conversion of UHE photons (preshower effect), which significantly affects the subsequent longitudinal shower development. The conversion probability depends on photon energy and can be calculated accurately by QED. The comparison of the observed fraction of converted photon events to the expected one allows the determination of the absolute energy scale of the observed photon air showers and, thus, an energy calibration of the air shower experiment. We provide details of the method and estimate the accuracy that can be reached as a function of the number of observed photon showers. Already a very small number of UHE photons may help to test and fix the absolute energy scale.


title: Three classes of 1-planar graphs

abstract: A graph is called 1-planar if it can be drawn in the plane so that each of its edges is crossed by at most one other edge. In this paper we decompose the set of all 1-planar graphs into three classes $\mathcal C_0, \mathcal C_1$ and $\mathcal C_2$ with respect to the types of crossings and present the decomposition of 1-planar join products. Zhang \cite{z} proved that every $n$-vertex 1-planar graph of class $\mathcal C_1$ has at most $\frac{18}{5}n-\frac{36}{5}$ edges and a $\mathcal C_1$-drawing with at most $\frac 35 n-\frac 65$ crossings. We improve these results. We show that every $\mathcal C_1$-drawing of a 1-planar graph has at most $\frac 35 n-\frac 65$ crossings. Consequently, every $n$-vertex 1-planar graph of class $\mathcal C_1$ has at most $\frac{18}{5}n-\frac{36}{5}$ edges. Moreover, we prove that this bound is sharp.


title: Quantum dynamics of an atomic double-well system interacting with a trapped ion

abstract: We theoretically analyze the dynamics of an atomic double-well system with a single ion trapped in its center. We find that the atomic tunnelling rate between the wells depends both on the spin of the ion via the short-range spin-dependent atom-ion scattering length and on its motional state with tunnelling rates reaching hundreds of Hz. A protocol is presented that could transport an atom from one well to the other depending on the motional (Fock) state of the ion within a few ms. This phonon-atom coupling is of interest for creating atom-ion entangled states and may form a building block in constructing a hybrid atom-ion quantum simulator. We also analyze the effect of imperfect ground state cooling of the ion and the role of micromotion when the ion is trapped in a Paul trap. Due to the strong non-linearities in the atom-ion interaction, the micromotion can cause couplings to high energy atom-ion scattering states, preventing accurate state preparation and complicating the double-well dynamics. We conclude that the effects of micromotion can be reduced by choosing ion/atom combinations with a large mass ratio and by choosing large inter-well distances. The proposed double-well system may be realised in an experiment by combining either optical traps or magnetic microtraps for atoms with ion trapping technology.


title: Burnside problem for groups of homeomorphisms of compact surfaces

abstract: A group $\Gamma$ is said to be periodic if for any $g$ in $\Gamma$ there is a positive integer $n$ with $g^n=id$. We first prove that a finitely generated periodic group acting on the 2-sphere $\SS^2$ by $C^1$-diffeomorphisms with a finite orbit, is finite and conjugate to a subgroup of $\mathrm{O}(3,\R)$ and we use it for proving that a finitely generated periodic group of spherical diffeomorphisms with even bounded orders is finite. Finally, we show that a finitely generated periodic group of homeomorphisms of any orientable compact surface other than the 2-sphere or the 2-torus (which is the purpose of a previous paper of the authors) is finite.


title: Layer Systems for Proving Confluence

abstract: We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that imply confluence. Our abstract framework covers known results like modularity, many-sorted persistence, layer-preservation and currying. We present a counterexample to an extension of persistence to order-sorted rewriting and derive new sufficient conditions for the extension to hold. All our proofs are constructive.


title: Interference-induced enhancement of field entanglement in a microwave-driven V-type single-atom laser

abstract: We investigate the generation and the evolution of two-mode continuous-variable (CV) entanglement from system of a microwave-driven V-type atom in a quantum beat laser. By taking into account the effects of spontaneously generated quantum interference between two atomic decay channels, we show that the CV entanglement with large mean number of photons can be generated in our scheme, and the property of the filed entanglement can be adjusted by properly modulating the frequency detuning of the fields. More interesting, it is found that the entanglement can be significantly enhanced by the spontaneously generated interference.


title: Formale Entwicklung einer Steuerung f\"ur eine Fertigungszelle mit SYSYFOS

abstract: Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal language level, we could achieve a requirements specification to the informal description. We demonstrated that the paradigm of deductive synthesis can be applied to the development of complete verified systems, including hardware and mechanics. We defined two domain-specific logical operators that schematise frequent patterns in specification and proof and hence allow a more concise and expressive presentation. In Burghardt (1995), an english short version of this paper, without appendices, can be found.


title: Nucleus-nucleus potential with shell-correction contribution and deep sub-barrier fusion of heavy nuclei

abstract: It is suggested that the full nucleus-nucleus potential consists of the macroscopic and shell-correction parts. The deep sub-barrier fusion hindrance takes place in a nucleus-nucleus system with a strong negative shell-correction contribution to the full heavy-ion potential, while a strong positive shell-correction contribution to the full potential leads to weak enhancement of the deep sub-barrier fusion cross section.


title: Quantum interferometry with binary-outcome measurements in the presence of phase diffusion

abstract: Optimal measurement scheme with an efficient data processing is important in quantum-enhanced interferometry. Here we prove that for a general binary outcome measurement, the simplest data processing based on inverting the average signal can saturate the Cram\'{e}r-Rao bound. This idea is illustrated by binary outcome homodyne detection, even-odd photon counting (i.e., parity detection), and zero-nonzero photon counting that have achieved super-resolved interferometric fringe and shot-noise limited sensitivity in coherent-light Mach-Zehnder interferometer. The roles of phase diffusion are investigated in these binary outcome measurements. We find that the diffusion degrades the fringe resolution and the achievable phase sensitivity. Our analytical results confirm that the zero-nonzero counting can produce a slightly better sensitivity than that of the parity detection, as demonstrated in a recent experiment.


title: Constraint on inflation model from BICEP2 and WMAP 9-year data

abstract: Even though Planck data released in 2013 (P13) is not compatible with Background Imaging of Cosmic Extragalactic Polarization (B2) and some local cosmological observations, including Supernova Legacy Survey (SNLS) samples and $H_0$ prior from Hubble Space Telescope (HST) etc, Wilkinson Microwaves Anisotropy Probe 9-year data (W9) is consistent with all of them in the base six-parameter $\Lambda$CDM+tensor cosmology quite well. In this letter, we adopt the combinations of B2+W9 and B2+W9+SNLS+BAO+HST to constrain the cosmological parameters in the base six-parameter $\Lambda$CDM+tensor model with $n_t=-r/8$, where r and $n_t$ are the tensor-to-scalar ratio and the tilt of relic gravitational wave spectrum, and BAO denotes Baryon Acoustic Oscillation. We find that the Harrison-Zel'dovich (HZ) scale invariant scalar power spectrum is consistent with both data combinations, chaotic inflation is marginally disfavored by the data at around $2\sigma$ level, but the power-law inflation model and the inflation model with inverse power-law potential can fit the data nicely.


title: Rejection of randomly coinciding events in ZnMoO$_4$ scintillating bolometers

abstract: Random coincidence of events (particularly from two neutrino double beta decay) could be one of the main sources of background in the search for neutrinoless double beta decay with cryogenic bolometers due to their poor time resolution. Pulse-shape discrimination by using front edge analysis, mean-time and $\chi^2$ methods was applied to discriminate randomly coinciding events in ZnMoO$_4$ cryogenic scintillating bolometers. These events can be effectively rejected at the level of 99% by the analysis of the heat signals with rise-time of about 14 ms and signal-to-noise ratio of 900, and at the level of 92% by the analysis of the light signals with rise-time of about 3 ms and signal-to-noise ratio of 30, under the requirement to detect 95% of single events. These rejection efficiencies are compatible with extremely low background levels in the region of interest of neutrinoless double beta decay of $^{100}$Mo for enriched ZnMoO$_4$ detectors, of the order of $10^{-4}$ counts/(y keV kg). Pulse-shape parameters have been chosen on the basis of the performance of a real massive ZnMoO$_4$ scintillating bolometer. Importance of the signal-to-noise ratio, correct finding of the signal start and choice of an appropriate sampling frequency are discussed.


title: Probing electric and magnetic vacuum fluctuations with quantum dots

abstract: The electromagnetic-vacuum-field fluctuations are intimately linked to the process of spontaneous emission of light. Atomic emitters cannot probe electric- and magnetic-field fluctuations simultaneously because electric and magnetic transitions correspond to different selection rules. In this paper we show that semiconductor quantum dots are fundamentally different and are capable of mediating electric-dipole, magnetic-dipole, and electric-quadrupole transitions on a single electronic resonance. As a consequence, quantum dots can probe electric and magnetic fields simultaneously and can thus be applied for sensing the electromagnetic environment of complex photonic nanostructures. Our study opens the prospect of interfacing quantum dots with optical metamaterials for tailoring the electric and magnetic light-matter interaction at the single-emitter level.

categories: quant-ph cond-mat.mes-hall physics.atom-ph physics.optics


title: Random walks and effective optical depth in relativistic flow

abstract: We investigate the random walk process in relativistic flow. In the relativistic flow, photon propagation is concentrated in the directions of the flow velocity due to relativistic beaming effect. We show that, in the pure scattering case, the number of scatterings is proportional to the size parameter $\xi\equiv L/l_0$ if the flow velocity $\beta\equiv v/c$ satisfies $\beta/\Gamma\gg \xi^{-1}$, while it is proportional to $\xi^2$ if $\beta/\Gamma\ll \xi^{-1}$ where $L$ and $l_0$ are the size of the system in the observer frame and the mean free path in the comoving frame, respectively. We also examine the photon propagation in the scattering and absorptive medium. We find that, if the optical depth for absorption $\tau_{\rm a}$ is considerably smaller than the optical depth for scattering $\tau_{\rm s}$ ($\tau_{\rm a}/\tau_{\rm s} \ll 1$) and the flow velocity satisfies $\beta\gg \sqrt{2\tau_{\rm a}/\tau_{\rm s}}$, the effective optical depth is approximated by $\tau_*\simeq\tau_{\rm a}(1+\beta)/\beta$. Furthermore, we perform Monte Carlo simulations of radiative transfer and compare the results with the analytic expression for the number of scattering. The analytic expression is consistent with the results of the numerical simulations. The expression derived in this Letter can be used to estimate the photon production site in relativistic phenomena, e.g., gamma-ray burst and active galactic nuclei.


title: Quaternionic Hardy spaces

abstract: The theory of slice regular functions of a quaternionic variable, introduced in 2006 by Gentili and Struppa, extends the notion of holomorphic function to the quaternionic setting. This fast growing theory is already rich of many results and has interesting applications. In this setting, the present paper is devoted to introduce and study the quaternionic counterparts of Hardy spaces of holomorphic functions of one complex variable. The basic properties of the theory of quaternionic Hardy spaces are investigated, and in particular a Poisson-type representation formula, the notions of outer function, singular function and inner function are given. A quaternionic (partial) counterpart of the classical $H^p$-factorization theorem is proved. This last result assumes a particularly interesting formulation for a large subclass of slice regular functions, where it is obtained in terms of an outer function, a singular function and a quaternionic Blaschke product.


title: Stable Bimetric Theories

abstract: We prove that there are energetically stable bimetric theories. These theories satisfies a positive energy theorem. We construct a model example.


title: Poly-time Computability of the Feigenbaum Julia set

abstract: We present the first example of a poly-time computable Julia set with a recurrent critical point: we prove that the Julia set of the Feigenbaum map is computable in polynomial time.


title: Operational Rate-Distortion Performance of Single-source and Distributed Compressed Sensing

abstract: We consider correlated and distributed sources without cooperation at the encoder. For these sources, we derive the best achievable performance in the rate-distortion sense of any distributed compressed sensing scheme, under the constraint of high--rate quantization. Moreover, under this model we derive a closed--form expression of the rate gain achieved by taking into account the correlation of the sources at the receiver and a closed--form expression of the average performance of the oracle receiver for independent and joint reconstruction. Finally, we show experimentally that the exploitation of the correlation between the sources performs close to optimal and that the only penalty is due to the missing knowledge of the sparsity support as in (non distributed) compressed sensing. Even if the derivation is performed in the large system regime, where signal and system parameters tend to infinity, numerical results show that the equations match simulations for parameter values of practical interest.


title: Exact Estimation of Multiple Directed Acyclic Graphs

abstract: This paper considers the problem of estimating the structure of multiple related directed acyclic graph (DAG) models. Building on recent developments in exact estimation of DAGs using integer linear programming (ILP), we present an ILP approach for joint estimation over multiple DAGs, that does not require that the vertices in each DAG share a common ordering. Furthermore, we allow also for (potentially unknown) dependency structure between the DAGs. Results are presented on both simulated data and fMRI data obtained from multiple subjects.


title: Towards a Multi-Subject Analysis of Neural Connectivity

abstract: Directed acyclic graphs (DAGs) and associated probability models are widely used to model neural connectivity and communication channels. In many experiments, data are collected from multiple subjects whose connectivities may differ but are likely to share many features. In such circumstances it is natural to leverage similarity between subjects to improve statistical efficiency. The first exact algorithm for estimation of multiple related DAGs was recently proposed by Oates et al. 2014; in this letter we present examples and discuss implications of the methodology as applied to the analysis of fMRI data from a multi-subject experiment. Elicitation of tuning parameters requires care and we illustrate how this may proceed retrospectively based on technical replicate data. In addition to joint learning of subject-specific connectivity, we allow for heterogeneous collections of subjects and simultaneously estimate relationships between the subjects themselves. This letter aims to highlight the potential for exact estimation in the multi-subject setting.


title: Fast and accurate multivariate Gaussian modeling of protein families: Predicting residue contacts and protein-interaction partners

abstract: In the course of evolution, proteins show a remarkable conservation of their three-dimensional structure and their biological function, leading to strong evolutionary constraints on the sequence variability between homologous proteins. Our method aims at extracting such constraints from rapidly accumulating sequence data, and thereby at inferring protein structure and function from sequence information alone. Recently, global statistical inference methods (e.g. direct-coupling analysis, sparse inverse covariance estimation) have achieved a breakthrough towards this aim, and their predictions have been successfully implemented into tertiary and quaternary protein structure prediction methods. However, due to the discrete nature of the underlying variable (amino-acids), exact inference requires exponential time in the protein length, and efficient approximations are needed for practical applicability. Here we propose a very efficient multivariate Gaussian modeling approach as a variant of direct-coupling analysis: the discrete amino-acid variables are replaced by continuous Gaussian random variables. The resulting statistical inference problem is efficiently and exactly solvable. We show that the quality of inference is comparable or superior to the one achieved by mean-field approximations to inference with discrete variables, as done by direct-coupling analysis. This is true for (i) the prediction of residue-residue contacts in proteins, and (ii) the identification of protein-protein interaction partner in bacterial signal transduction. An implementation of our multivariate Gaussian approach is available at the website http://areeweb.polito.it/ricerca/cmp/code


title: SUSY induced top quark FCNC decay $t \to c h$ after Run I of LHC

abstract: In light of the Higgs discovery and the nonobservation of sparticles at the LHC, we revisit the SUSY induced top quark flavor changing decay into the Higgs boson. We perform a scan over the relevant SUSY parameter space by considering the constraints from the Higgs mass measurement, the LHC search for SUSY, the vacuum stability, the precision electro-weak observables as well as $B \to X_s \gamma$. We have the following observations: (1) In the MSSM, the branching ratio of $ t \to c h$ can only reach $3.0\times10^{-6}$, which is about one order smaller than previous results obtained before the advent of the LHC. Among the considered constraints, the Higgs mass and the LHC search for sparticles are found to play an important role in limiting the prediction. (2) In the singlet extension of the MSSM, since the squark sector is less constrained by the Higgs mass, the branching ratio of $t \to c h$ can reach the order of $10^{-5}$ in the allowed parameter space. (3) The chiral-conserving mixings $\delta_{LL}$ and $\delta_{RR}$ may have remanent effects on $t \to c h$ in heavy SUSY limit. In the MSSM with squarks and gluino above 3 TeV and meanwhile the CP-odd Higgs boson mass around 1 TeV, the branching ratio of $t\to c h$ can still reach the order of $10^{-8}$ under the constraints.


title: Exceptional points and lasing self-termination in photonic molecules

abstract: We investigate the rich physics of photonic molecule lasers using a non-Hermitian dimer model. We show that several interesting features, predicted recently using a rigorous steady state ab-initio laser theory (SALT), can be captured by this toy model. In particular, we demonstrate the central role played by exceptional points in both pump-selective lasing and laser self-terminations phenomena. Due to its transparent mathematical structure, our model provides a lucid understanding for how different physical parameters (optical loss, modal coupling between microcavities and pump profiles) affect the lasing action. Interestingly, our analysis also confirms that, for frequency mismatched cavities, operation in the proximity of exceptional points (without actually crossing the square root singularities) can still lead to laser self-termination. We confirm this latter prediction for two coupled slab cavities using scattering matrix analysis and SALT technique. In addition, we employ our model to investigate the pump-controlled lasing action and we show that emission patterns are governed by the locations of exceptional points in the gain parameter space. Finally we extend these results to multi-cavity photonic molecules, where we found the existence of higher-order EPs and pump-induced localization.


title: The mechanical response of a creased sheet

abstract: We investigate the mechanics of thin sheets decorated by non-interacting creases. The system considered here consists in parallel folds connected by elastic panels. We show that the mechanical response of the creased structure is twofold, depending both on the bending deformation of the panels and the hinge-like intrinsic response of the crease. We show that a characteristic length scale, defined by the ratio of bending to hinge energies, governs whether the structure's response consists in angle opening or panel bending when a small load is applied. The existence of this length scale is a building block for future works on origami mechanics


title: Measuring the photon coalescence time-window in the continuous-wave regime for resonantly driven semiconductor quantum dots

abstract: We revisit Mandel's notion that the degree of coherence equals the degree of indistinguishability by performing Hong-Ou-Mandel- (HOM-)type interferometry with single photons elastically scattered by a cw resonantly driven excitonic transition of an InAs/GaAs epitaxial quantum dot. We present a comprehensive study of the temporal profile of the photon coalescence phenomenon which shows that photon indistinguishability can be tuned by the excitation laser source, in the same way as their coherence time. A new figure of merit, the coalescence time window, is introduced to quantify the delay below which two photons are indistinguishable. This criterion sheds new light on the interpretation of HOM experiments under cw excitation, particularly when photon coherence times are longer than the temporal resolution of the detectors. The photon indistinguishability is extended over unprecedented time scales beyond the detectors' response time, thus opening new perspectives to conducting quantum optics with single photons and conventional detectors.


title: Density, porosity and magnetic susceptibility of the Ko\v{s}ice meteorite shower and homogeneity of its parent meteoroid

abstract: Bulk and grain density, porosity, and magnetic susceptibility of 67 individuals of Ko\v{s}ice H chondrite fall were measured. The mean bulk and grain densities were determined to be 3.43 g/cm$^\text{3}$ with standard deviation (s.d.) of 0.11 g/cm$^\text{3}$ and 3.79 g/cm$^\text{3}$ with s.d. 0.07 g/cm$^\text{3}$, respectively. Porosity is in the range from 4.2 to 16.1%. The logarithm of the apparent magnetic susceptibility (in 10$^\text{-9}$ m$^\text{3}$/kg) shows narrow distribution from 5.17 to 5.49 with mean value at 5.35 with s.d. 0.08. These results indicate that all studied Ko\v{s}ice meteorites are of the same composition down to ~g scale without presence of foreign (non-H) clasts and are similar to other H chondrites. Ko\v{s}ice is thus a homogeneous meteorite fall derived from a homogeneous meteoroid.


title: High-precision efficiency calibration of a high-purity co-axial germanium detector

abstract: A high-purity co-axial germanium detector has been calibrated in efficiency to a precision of about 0.15% over a wide energy range. High-precision scans of the detector crystal and gamma-ray source measurements have been compared to Monte-Carlo simulations to adjust the dimensions of a detector model. For this purpose, standard calibration sources and short-lived on-line sources have been used. The resulting efficiency calibration reaches the precision needed e.g. for branching ratio measurements of super-allowed beta decays for tests of the weak-interaction standard model.


title: To be or not to be oblate: the shape of the dark matter halo in the polar ring galaxies

abstract: With the aim to determine the spatial distribution of the dark matter halo, we investigate two polar ring galaxies NGC 4262 and SPRC-7. For both galaxies the stellar kinematics data for the central galaxy were obtained from optical spectroscopy at the 6-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences. The information about polar gaseous components was taken from the optical 3D-spectroscopic observations of ionized gas (for SPRC-7) and H {\sc i} radio observations (for NGC 4262). SPRC-7 is the system with a relative angle $\delta=73^{\circ}$ towards the central galaxy and a quite massive stellar-gaseous polar component. Meanwhile NGC 4262 is the classic polar case with $\delta=88^{\circ}$ where the polar ring mainly consists of neutral gas with a negligible stellar contribution to the mass. We are hence dealing with two different systems and the results are quite diverse too. The observed properties of both galaxies were compared with the results of self consistent simulations of velocity fields of the polar component along with the rotation curve of the central lenticular galaxy. For SPRC-7 we have found a slightly flattened halo towards the polar plane with the axis ratio $c/a \simeq 1.7 \pm 0.2$ for the isothermal halo model and $c/a \simeq 1.5 \pm 0.2$ for the NFW model. The case of NGC 4262 is more unusual, the shape of the dark matter distribution varies strongly with radius. Namely, the dark matter halo is fattened in the vicinity of the galactic disc ($c/a \approx 0.4 \pm 0.1$), however it is prolate far beyond the central galaxy ($c/a \approx 1.7$ for the isothermal halo and $c/a \approx 2.3$ for NFW).


title: Integrable models for quantum media excited by laser radiation: a method, physical interpretation, and examples

abstract: A method to build various integrable models for description of coherent excitation of multilevel media by laser pulses is suggested. Distribution functions over the energy levels of quantum systems depending on the time and frequency detuning are obtained. The distributions follow from Schr\"odinger equation exact solutions and give the complete dynamical description of laser-excited quantum multilevel systems. Interpretation based on the Fourier spectra of the probability amplitudes of a quantum system is presented. The spectra are expressed in terms of orthonormal polynomials and their weight functions. Matrix elements of the dipole transitions between levels are equal to coefficients of the recurrence formula for the orthonormal polynomial system. Some examples are presented. The Kravchuk oscillator family as an integrable model is constructed to describe the coherent excitation dynamics of multilevel resonance media. It is based on the use of the Kravchuk orthogonal polynomials. The Kravchuk oscillator excitation dynamics is described by the binomial distribution of energy level populations and the distribution parameter depends on excitation conditions. Two known basic models in quantum physics -- the harmonic oscillator and two-level system are the special representatives of the Kravchuk oscillator family.


title: Directional locking in deterministic lateral displacement microfluidic separation systems

abstract: We analyze the trajectory of suspended spherical particles moving through a square array of obstacles, in the deterministic limit and at zero Reynolds number. We show that, in the dilute approximation of widely separated obstacles, the average motion of the particles is equivalent to the trajectory followed by a point particle moving through an array of obstacles with an effective radius. The effective radius accounts for the hydrodynamic as well as short-range repulsive non-hydrodynamic interactions between the suspended particles and the obstacles and is equal to the critical offset at which particle trajectories become irreversible. Using this equivalent system we demonstrate the presence of directional locking in the trajectory of the particles and derive an inequality that accurately describes the Devil's staircase type of structure observed in the migration angle as a function of the forcing direction. Finally, we use these results to determine the optimum resolution in the fractionation of binary mixtures using deterministic lateral displacement separation microfluidic systems.


title: Enumeration of graphs with a heavy-tailed degree sequence

abstract: In this paper, we asymptotically enumerate graphs with a given degree sequence d=(d_1,...,d_n) satisfying restrictions designed to permit heavy-tailed sequences in the sparse case (i.e. where the average degree is rather small). Our general result requires upper bounds on functions of M_k= \sum_{i=1}^n [d_i]_k for a few small integers k\ge 1. Note that M_1 is simply the total degree of the graphs. As special cases, we asymptotically enumerate graphs with (i) degree sequences satisfying M_2=o(M_1^{ 9/8}); (ii) degree sequences following a power law with parameter gamma>5/2; (iii) power-law degree sequences that mimic independent power-law "degrees" with parameter gamma>1+\sqrt{3}\approx 2.732; (iv) degree sequences following a certain "long-tailed" power law; (v) certain bi-valued sequences. A previous result on sparse graphs by McKay and the second author applies to a wide range of degree sequences but requires Delta =o(M_1^{1/3}), where Delta is the maximum degree. Our new result applies in some cases when Delta is only barely o(M_1^ {3/5}). Case (i) above generalises a result of Janson which requires M_2=O(M_1) (and hence M_1=O(n) and Delta=O(n^{1/2})). Cases (ii) and (iii) provide the first asymptotic enumeration results applicable to degree sequences of real-world networks following a power law, for which it has been empirically observed that 2<gamma<3.


title: From surface to volume plasmons in hyperbolic metamaterials: General existence conditions for bulk high-k waves in metal-dielectric and graphene-dielectric multilayers

abstract: We theoretically investigate general existence conditions for broadband bulk large-wavevector (high-k) propagating waves (such as volume plasmon polaritons in hyperbolic metamaterials) in subwavelength periodic multilayer structures. Describing the elementary excitation in the unit cell of the structure by a generalized resonance pole of a reflection coefficient, and using Bloch's theorem, we derive analytical expressions for the band of large-wavevector propagating solutions. We apply our formalism to determine the high-k band existence in two important cases: the well-known metal-dielectric, and recently introduced graphene-dielectric stacks. We confirm that short-range surface plasmons in thin metal layers can give rise to hyperbolic metamaterial properties, and demonstrate that long-range surface plasmons cannot. We also show that graphene-dielectric multilayers tend to support high-k waves and explore the range of parameters for which this is possible, confirming the prospects of using graphene for materials with hyperbolic dispersion. The approach is applicable to a large variety of structures, such as continuous or structured microwave, terahertz (THz) and optical metamaterials.


title: Excitation Energy Dependent Raman Signatures of ABA- and ABC-stacked Few-layer Graphene

abstract: The dependence of the Raman spectrum on the excitation energy has been investigated for ABA-and ABC- stacked few-layer graphene in order to establish the fingerprint of the stacking order and the number of layers, which affect the transport and optical properties of few-layer graphene. Five different excitation sources with energies of 1.96, 2.33, 2.41, 2.54 and 2.81 eV were used. The position and the line shape of the Raman 2D, G*, N, M, and other combination modes show dependence on the excitation energy as well as the stacking order and the thickness. One can unambiguously determine the stacking order and the thickness by comparing the 2D band spectra measured with 2 different excitation energies or by carefully comparing weaker combination Raman modes such as N, M, or LOLA modes. The criteria for unambiguous determination of the stacking order and the number of layers up to 5 layers are established.


title: General slit L\"owner chains

abstract: We use general L\"owner theory to define general slit L\"owner chains in the unit disk, which in the stochastic case lead to slit holomorphic stochastic flows. Radial, chordal and dipolar SLE are classical examples of such flows. Our approach, however, allows to construct new processes of SLE type that possess conformal invariance and the domain Markov property.The local behavior of these processes is similar to that of the classical SLE.


title: Mechanism governing separation in microfluidic pinched flow fractionation devices

abstract: We present a computational investigation of the mechanism governing size-based particle separation in microfluidic pinched flow fractionation. We study the behavior of particles moving through a pinching gap (i.e., a constriction in the aperture of a channel) in the Stokes regime as a function of particle size. The constriction aperture is created by a plane wall and spherical obstacle, and emulates the pinching segment in pinched flow fractionation devices. The simulation results show that the distance of closest approach between the particle and obstacle surfaces (along a trajectory) decreases with increasing particle size. We then use the distance of closest approach to investigate the effect of short-range repulsive non-hydrodynamic interactions (e.g., solid-solid contact). We define a critical trajectory as the one in which the minimum particle-obstacle separation is equal to the range of the non-hydrodynamic interactions. The results further show that the initial offset of the critical trajectory (defined as the critical offset) increases with particle size. We interpret the variation of the critical offset with particle size as the basis for size-based microfluidic separation in pinched flow fractionation. We also compare the effect of different driving fields on the particle trajectories; we simulate a constant force driving the particles in a quiescent fluid as well as a freely suspended particles in a pressure-driven flow. We observe that the particles driven by a constant force approach closer to the obstacle than those suspended in a flow (for the same initial offset). On the other hand, the increment in the critical offset (as a function of particle size) is larger in the pressure-driven case than in the force-driven case. Thus, pressure-driven particle separation using pinched flow fractionation would prove more effective than its force-driven counterpart.


title: Probing the axis alignment of an ultracold spin-polarized $\textrm{Rb}_2$ molecule

abstract: We present a novel method for probing the alignment of the molecular axis of an ultracold, nonpolar dimer. These results are obtained using diatomic $^{87}\textrm{Rb}_2$ molecules in the vibrational ground state of the lowest triplet potential $a^3\Sigma_u^+$ trapped in a 3D optical lattice. We measure the molecular polarizabilities, which are directly linked to the alignment, along each of the $x$, $y$, and $z$ directions of the lab coordinate system. By preparing the molecules in various, precisely defined rotational quantum states we can control the degree of alignment of the molecular axis with high precision over a large range. Furthermore, we derive the dynamical polarizabilities for a laser wavelength of $1064.5\:\textrm{nm}$ parallel and orthogonal to the molecular axis of the dimer, $\alpha_\parallel=(8.9 \pm 0.9)\times10^3\:\textrm{a.u.}$ and $\alpha_\perp=(0.9 \pm 0.4)\times10^3\:\textrm{a.u.}$, respectively. Our findings highlight that the depth of an optical lattice strongly depends on the rotational state of the molecule which has to be considered in collision experiments. The present work paves the way for reaction studies between aligned molecules in the ultracold temperature regime.


title: Statistical Power-Law Spectra due to Reservoir Fluctuations

abstract: LHC ALICE data are interpreted in terms of statistical power-law tailed pT spectra. As explanation we derive such statistical distributions for particular particle number fluctuation patterns in a finite heat bath exactly, and for general thermodynamical systems in the subleading canonical expansion approximately. Our general result, $q = 1 - 1/C + \Delta T^2 / T^2$, demonstrates how the heat capacity and the temperature fluctuation effects compete, and cancel only in the standard Gaussian approximation.

categories: hep-ph cond-mat.stat-mech math.ST stat.TH


title: Conceptual Inadequacy of the Shore and Johnson Axioms for Wide Classes of Complex Systems

abstract: It is by now well known that the Boltzmann-Gibbs-von Neumann-Shannon logarithmic entropic functional ($S_{BG}$) is inadequate for wide classes of strongly correlated systems: see for instance the 2001 Brukner and Zeilinger's {\it Conceptual inadequacy of the Shannon information in quantum measurements}, among many other systems exhibiting various forms of complexity. On the other hand, the Shannon and Khinchin axioms uniquely mandate the BG form $S_{BG}=-k\sum_i p_i \ln p_i$; the Shore and Johnson axioms follow the same path. Many natural, artificial and social systems have been satisfactorily approached with nonadditive entropies such as the $S_q=k \frac{1-\sum_i p_i^q}{q-1}$ one ($q \in {\cal R}; \,S_1=S_{BG}$), basis of nonextensive statistical mechanics. Consistently, the Shannon 1948 and Khinchine 1953 uniqueness theorems have already been generalized in the literature, by Santos 1997 and Abe 2000 respectively, in order to uniquely mandate $S_q$. We argue here that the same remains to be done with the Shore and Johnson 1980 axioms. We arrive to this conclusion by analyzing specific classes of strongly correlated complex systems that await such generalization.


title: Periodicity of free subgroup numbers modulo prime powers

abstract: We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power.


title: Hybridization expansion Monte Carlo simulation of multi-orbital quantum impurity problems: matrix product formalism and improved Monte Carlo sampling

abstract: We explore two complementary modifications of the hybridization-expansion continuous-time Monte Carlo method, aiming at large multi-orbital quantum impurity problems. One idea is to compute the imaginary-time propagation using a matrix product states representation. We show that bond dimensions considerably smaller than the dimension of the Hilbert space are sufficient to obtain accurate results, and that this approach scales polynomially, rather than exponentially with the number of orbitals. Based on scaling analyses, we conclude that a matrix product state implementation will outperform the exact-diagonalization based method for quantum impurity problems with more than 12 orbitals. The second idea is an improved Monte Carlo sampling scheme which is applicable to all variants of the hybridization expansion method. We show that this so-called sliding window sampling scheme speeds up the simulation by at least an order of magnitude for a broad range of model parameters, with the largest improvements at low temperature.


title: Laser-Driven Rayleigh-Taylor Instability: Plasmonics Effects and Three-Dimensional Structures

abstract: The acceleration of dense targets driven by the radiation pressure of high-intensity lasers leads to a Rayleigh-Taylor instability (RTI) with rippling of the interaction surface. Using a simple model it is shown that the self-consistent modulation of the radiation pressure caused by a sinusoidal rippling affects substantially the wavevector spectrum of the RTI depending on the laser polarization. The plasmonic enhancement of the local field when the rippling period is close to a laser wavelength sets the dominant RTI scale. The nonlinear evolution is investigated by three dimensional simulations, which show the formation of stable structures with "wallpaper" symmetry.


title: When omnigeneity fails

abstract: A generic non-symmetric magnetic field does not confine magnetized charged particles for long times due to secular magnetic drifts. Stellarator magnetic fields should be omnigeneous (that is, designed such that the secular drifts vanish), but perfect omnigeneity is technically impossible. There always are small deviations from omnigeneity that necessarily have large gradients. The amplification of the energy flux caused by a deviation of size $\epsilon$ is calculated and it is shown that the scaling with $\epsilon$ of the amplification factor can be as large as linear. In opposition to common wisdom, most of the transport is not due to particles trapped in ripple wells, but to the perturbed motion of particles trapped in the omnigeneous magnetic wells around their bounce points.


title: Quantum correlations among optical and vibrational quanta

abstract: We investigate the feasibility of correlating an optical cavity field and a vibrational phonon mode. A laser pumped quantum dot fixed on a nano-mechanical resonator beam interact as a whole with the optical resonator mode. When the quantum dot variables are faster than the optical and phonon ones, we obtain a final master equation describing the involved modes only. Increasing the temperature, that directly affects the vibrational degrees of freedom, one can as well influence the cavity photon intensity, i.e., the optical and phonon modes are correlated. Furthermore, the corresponding Cauchy-Schwarz inequality is violated demonstrating the quantum nature of those correlations.


title: Fast computation of uncertainty quantification measures in the geostatistical approach to solve inverse problems

abstract: We consider the computational challenges associated with uncertainty quantification involved in parameter estimation such as seismic slowness and hydraulic transmissivity fields. The reconstruction of these parameters can be mathematically described as Inverse Problems which we tackle using the Geostatistical approach. The quantification of uncertainty in the Geostatistical approach involves computing the posterior covariance matrix which is prohibitively expensive to fully compute and store. We consider an efficient representation of the posterior covariance matrix at the maximum a posteriori (MAP) point as the sum of the prior covariance matrix and a low-rank update that contains information from the dominant generalized eigenmodes of the data misfit part of the Hessian and the inverse covariance matrix. The rank of the low-rank update is typically independent of the dimension of the unknown parameter. The cost of our method scales as $\bigO(m\log m)$ where $m $ dimension of unknown parameter vector space. Furthermore, we show how to efficiently compute measures of uncertainty that are based on scalar functions of the posterior covariance matrix. The performance of our algorithms is demonstrated by application to model problems in synthetic travel-time tomography and steady-state hydraulic tomography. We explore the accuracy of the posterior covariance on different experimental parameters and show that the cost of approximating the posterior covariance matrix depends on the problem size and is not sensitive to other experimental parameters.


title: Effective field theory approach to top-quark decay at next-to-leading order in QCD

abstract: We present analytical results for top-quark decay processes, in an effective field theory beyond the Standard Model, at next-to-leading order in QCD. We parametrize new physics effects using dimension-six operators, and consider all operators that give rise to non-standard interactions of the top quark. We investigate both the flavor-conserving and flavor-changing decay modes, including their two-body and three-body semi-leptonic final states. The QCD mixing among relevant operators are also taken into account. These results provide all information needed for a complete model-independent study of top-quark decay at next-to-leading order accuracy, paving the way to global analyses for new physics effects in an effective field theory approach.


title: A general mechanism for producing scale-invariant perturbations and small non-Gaussianity in ekpyrotic models

abstract: We explore a new type of entropic mechanism for generating density perturbations in a contracting phase in which there are two scalar fields, but only one has a steep negative potential. This first field dominates the energy density and is the source of the ekpyrotic equation of state. The second field has a negligible potential, but its kinetic energy density is coupled to the first field with a non-linear sigma-model type interaction. We show that for any ekpyrotic equation of state it is possible to choose the potential and the kinetic coupling such that exactly scale-invariant (or nearly scale-invariant) entropy perturbations are produced. The corresponding background solutions are stable, and the bispectrum of the entropy perturbations vanishes as no non-Gaussianity is produced during the ekpyrotic phase. Hence, the only contribution to non-Gaussianity comes from the non-linearity of the conversion process during which entropic perturbations are turned into adiabatic ones, resulting in a local non-Gaussianity parameter $f_{NL} \sim 5$.


title: Search for CP violation in D^0 -> pi^0 pi^0 decays

abstract: We search for CP violation in neutral charm meson decays using a data sample with an integrated luminosity of 966 fb^-1 collected with the Belle detector at the KEKB e+e- asymmetric-energy collider. The asymmetry obtained in the rate of D^0 and D^0-bar decays to the pi^0 pi^0 final state, [-0.03+-0.64(stat)+-0.10(syst)]%, is consistent with no CP violation. This constitutes an order of magnitude improvement over the existing result. We also present an updated measurement of the CP asymmetry in the D^0 -> K_S pi^0 decay: A_{CP}(D^0 -> K_S pi^0) = [-0.21+-0.16(stat)+-0.07(syst)]%.


title: NANOGrav Limits on Gravitational Waves from Individual Supermassive Black Hole Binaries in Circular Orbits

abstract: The North American Nanohertz Observatory for Gravitational Waves (NANOGrav) project currently observes 43 pulsars using the Green Bank and Arecibo radio telescopes. In this work we use a subset of 17 pulsars timed for a span of roughly five years (2005--2010). We analyze these data using standard pulsar timing models, with the addition of time-variable dispersion measure and frequency-variable pulse shape terms. Within the timing data, we perform a search for continuous gravitational waves from individual supermassive black hole binaries in circular orbits using robust frequentist and Bayesian techniques. We find that there is no evidence for the presence of a detectable continuous gravitational wave; however, we can use these data to place the most constraining upper limits to date on the strength of such gravitational waves. Using the full 17 pulsar dataset we place a 95% upper limit on the sky-averaged strain amplitude of $h_0\lesssim 3.8\times 10^{-14}$ at a frequency of 10 nHz. Furthermore, we place 95% \emph{all sky} lower limits on the luminosity distance to such gravitational wave sources finding that the $d_L \gtrsim 425$ Mpc for sources at a frequency of 10 nHz and chirp mass $10^{10}{\rm M}_{\odot}$. We find that for gravitational wave sources near our best timed pulsars in the sky, the sensitivity of the pulsar timing array is increased by a factor of $\sim$4 over the sky-averaged sensitivity. Finally we place limits on the coalescence rate of the most massive supermassive black hole binaries.


title: Ion plasma wave and its instability in interpenetrating plasmas

abstract: Some essential features of the ion plasma wave in both kinetic and fluid descriptions are presented. The wave develops at wavelengths shorter than the electron Debye radius. Thermal motion of electrons at this scale is such that they overshoot the electrostatic potential perturbation caused by ion bunching, which consequently propagates as an unshielded wave, completely unaffected by electron dynamics. So in the simplest fluid description, the electrons can be taken as a fixed background. However, in the presence of magnetic field and for the electron gyro-radius shorter than the Debye radius, electrons can participate in the wave and can increase its damping rate. This is determined by the ratio of the electron gyro-radius and the Debye radius. In interpenetrating plasmas (when one plasma drifts through another), the ion plasma wave can easily become growing and this growth rate is quantitatively presented for the case of an argon plasma.


title: Unified Performance Analysis of Mixed Line of Sight RF-FSO Fixed Gain Dual-Hop Transmission Systems

abstract: In this work, we carry out a unified performance analysis of a dual-hop fixed gain relay system over asymmetric links composed of both radio-frequency (RF) and unified free-space optics (FSO) under the effect of pointing errors. The RF link is modeled by the Nakagami-$m$ fading channel and the FSO link by the Gamma-Gamma fading channel subject to both types of detection techniques (i.e. heterodyne detection and intensity modulation with direct detection (IM/DD)). In particular, we derive new unified closed-form expressions for the cumulative distribution function, the probability density function, the moment generation function, and the moments of the end-to-end signal-to-noise ratio of these systems in terms of the Meijer's G function. Based on these formulas, we offer exact closed-form expressions for the outage probability, the higher-order amount of fading, and the average bit-error rate of a variety of binary modulations in terms of the Meijer's G function. Further, an exact closed-form expression for the end-to-end ergodic capacity for the Nakagami-$m$-unified FSO relay links is derived in terms of the bivariate G function. All the given results are verified via Computer-based Monte-Carlo simulations.


title: Semantics and Validation of Shapes Schemas for RDF

abstract: We present a formal semantics and proof of soundness for shapes schemas, an expressive schema language for RDF graphs that is the foundation of Shape Expressions Language 2.0. It can be used to describe the vocabulary and the structure of an RDF graph, and to constrain the admissible properties and values for nodes in that graph. The language defines a typing mechanism called shapes against which nodes of the graph can be checked. It includes an algebraic grouping operator, a choice operator and cardinality constraints for the number of allowed occurrences of a property. Shapes can be combined using Boolean operators, and can use possibly recursive references to other shapes. We describe the syntax of the language and define its semantics. The semantics is proven to be well-defined for schemas that satisfy a reasonable syntactic restriction, namely stratified use of negation and recursion. We present two algorithms for the validation of an RDF graph against a shapes schema. The first algorithm is a direct implementation of the semantics, whereas the second is a non-trivial improvement. We also briefly give implementation guidelines.


title: Design of Reversible Counter

abstract: This article presents a research work on the design and synthesis of sequential circuits and flip-flops that are available in digital arena; and describes a new synthesis design of reversible counter that is optimized in terms of quantum cost, delay and garbage outputs compared to the existing designs. We proposed a new model of reversible T flip-flop in designing reversible counter


title: Adaptive Real Time Selection for Quantum Key Distribution in Lossy and Turbulent Free-Space Channels

abstract: Quantum Key Distribution (QKD) allows to share random keys between two users with unconditional security: the key is usually generated by exchanging a stream of photons. The long-term vision of QKD is represented by a quantum network, implemented by fiber and free-space links involving ground and/or satellites stations. The presence of the atmospheric turbulence represents an obstacle for free-space quantum communications, due to the increase of optical losses. Here we introduce a method to exploit the atmospheric turbulence as a resource for QKD. An Adaptive Real Time Selection (ARTS) technique at the receiver allows to take advantage of the fluctuating transmissivity of the channel, giving rise to an increase of the secure key rate.


title: Continuity Results and Estimates for the Lyapunov Exponent of Brownian Motion in Random Potential

abstract: We collect some applications of the variational formula established by Schr\"oder (1988) and Rue\ss (2013) for the quenched Lyapunov exponent of Brownian motion in stationary and ergodic nonnegative potential. We show for example that the Lyapunov exponent for nondeterministic potential is strictly lower than the Lyapunov exponent for the averaged potential. The behaviour of the Lyapunov exponent under independent perturbations of the underlying potential is examined. And with the help of counterexamples we are able to give a detailed picture of the continuity properties of the Lyapunov exponent.


title: On the Finiteness property of negative cubic Pisot bases

abstract: We study arithmetical aspects of Ito-Sadahiro number systems with negative base. We show that the bases $-\beta<-1$, where $\beta$ is zero of $x^3-mx^2-mx-m,\ m\in\mathbb N,$ possess the so-called finiteness property. For the Tribonacci base $-\gamma,$ zero of $x^3-x^2-x-1$, we present an effective algorithm for addition and subtraction. In particular, we present a finite state transducer performing these operations. As a consequence of the structure of the transducer, we determine the maximal number of fractional digits arising from addition or subtraction of two $(-\gamma)$-integers.


title: Global stability for a coupled physics inverse problem

abstract: We prove a global H\"older stability estimate for a hybrid inverse problem combining microwave imaging and ultrasound. The principal features of this result are that we assume to have access to measurements associated to a single, arbitrary and possibly sign changing solution of a Schr\"odinger equation, and that zero is allowed to be an eigenvalue of the equation.


title: An uncertainty principle for unimodular quantum groups

abstract: We present a generalization of Hirschman's entropic uncertainty principle for locally compact abelian groups to unimodular locally compact quantum groups. As a corollary, we strengthen a well-known uncertainty principle for compact groups, and generalize the relation to compact quantum groups of Kac type. We also establish the complementarity of finite-dimensional quantum group algebras. In the non-unimodular setting, we obtain an uncertainty relation for arbitrary locally compact groups using the relative entropy with respect to the Haar weight as the measure of uncertainty. We also show that when restricted to normal central states of discrete quantum groups, the relative entropy with respect to the Haar weight reduces to the canonical entropy of the random walk generated by the central state.


title: Vector separation of particles and cells using an array of slanted open cavities

abstract: We present a microfluidic platform for the continuous separation of suspended particles based on their size and settling velocity. The separation method takes advantage of the flow field in the vicinity and inside a parallel array of slanted open cavities. These cavities induce flow along them, which deflects the suspended particles to a different degree depending on the extent to which they penetrate into the cavities. The cumulative deflection in the periodic array ultimately leads to vector chromatography, with the different species in the sample moving in different directions. We demonstrate density and size based separation over a range of flow rates by separating polystyrene and silica particles and show that purities nearing 100% can be achieved for multicomponent mixtures. We also demonstrate the potential of the platform to separate biological cells by fractionating different blood components. We discuss the presence of two regimes, which can be distinguished depending on the ratio between the settling velocity and the velocity of the particles across the open cavities. The proposed platform could also integrate additional separative force fields in the direction normal to the plane of the cavities to fractionate specific mixtures based on the distinguishing properties of the component species.


title: Disentangling Flavor Violation in the Top-Higgs Sector at the LHC

abstract: We study the LHC phenomenology of flavor changing Yukawa couplings between top quark, Higgs boson, and either an up or charm quark. Such $tuh$ or $tch$ couplings arise for instance in models in which Higgs sector is extended by the existence of additional Higgs bosons or by higher dimensional operators. We emphasize the importance of anomalous single top plus Higgs production in these scenarios, in addition to the more widely studied $t \to h j$ decays. By recasting existing CMS searches in multilepton and diphoton plus lepton final states, we show that bounds on $tuh$ couplings are improved by a factor of 1.5 when single top plus Higgs production is accounted for. We also recast the CMS search for vector boson plus Higgs production into new, competitive constraints on $tuh$ and $tch$ couplings, setting the limits of $BR(t\to hu) < 0.7%$ and $BR(t\to hc) <1.2%$. We then investigate the sensitivity of future searches in multilepton channel and in fully hadronic channel. In multilepton searches, studying the lepton rapidity distributions and charge assignments can be used to discriminate between $tuh$ couplings, for which anomalous single top production is relevant, and $tch$ couplings, for which it is suppressed by the parton distribution function of the charm quark. An analysis of fully hadronic $t+h$ production and $t\to h j$ decay can be competitive with the multilepton search at 100 fb$^{-1}$ of 13 TeV data if jet substructure techniques are employed to reconstruct boosted top quarks and Higgs bosons. To show this we develop a modified version of the HEPTopTagger algorithm, optimized for tagging $t \to h j$ decays. Our sensitivity estimates on $BR(t\to hu)$ ($BR(t\to hc)$) at 100 fb$^{-1}$ of 13 TeV data for multilepton searches, vector boson plus Higgs search and fully hadronic search are $0.22%$ ($0.33%$), $0.15%$ ($0.19%$) and $0.36%$ ($0.48%$), respectively.


title: Event-Flow Graphs for Efficient Path-Sensitive Analyses

abstract: Efficient and accurate path-sensitive analyses pose the challenges of: (a) analyzing an exponentially-increasing number of paths in a control-flow graph (CFG), and (b) checking feasibility of paths in a CFG. We address these challenges by introducing an equivalence relation on the CFG paths to partition them into equivalence classes. It is then sufficient to perform analysis on these equivalence classes rather than on the individual paths in a CFG. This technique has two major advantages: (a) although the number of paths in a CFG can be exponentially large, the essential information to be analyzed is captured by a small number of equivalence classes, and (b) checking path feasibility becomes simpler. The key challenge is how to efficiently compute equivalence classes of paths in a CFG without examining each path in the CFG? In this paper, we present a linear-time algorithm to form equivalence classes without the need for examination of each path in a CFG. The key to this algorithm is construction of an event-flow graph (EFG), a compact derivative of the CFG, in which each path represents an equivalence class of paths in the corresponding CFG. EFGs are defined with respect to the set of events that are in turn defined by the analyzed property. The equivalence classes are thus guaranteed to preserve all the event traces in the original CFG. We present an empirical evaluation of the Linux kernel (v3.12). The EFGs in our evaluation are defined with respect to events of the spin safe-synchronization property. Evaluation results show that there are many fewer EFG-based equivalence classes compared to the corresponding number of paths in a CFG. This reduction is close to 99% for CFGs with a large number of paths. Moreover, our controlled experiment results show that EFGs are human comprehensible and compact compared to their corresponding CFGs.


title: The magnetic properties of $^{\rm 177}$Hf and $^{\rm 180}$Hf in the strong coupling deformed model

abstract: This paper reports NMR measurements of the magnetic dipole moments of two high-K isomers, the 37/2$^-$, 51.4 m, 2740 keV state in $^{\rm 177}$Hf and the 8$^-$, 5.5 h, 1142 keV state in $^{\rm 180}$Hf by the method of on-line nuclear orientation. Also included are results on the angular distributions of gamma transitions in the decay of the $^{\rm 177}$Hf isotope. These yield high precision E2/M1 multipole mixing ratios for transitions in bands built on the 23/2$^+$, 1.1 s, isomer at 1315 keV and on the 9/2$^+$, 0.663 ns, isomer at 321 keV. The new results are discussed in the light of the recently reported finding of systematic dependence of the behavior of the g$_{\rm R}$ parameter upon the quasi-proton and quasi-neutron make up of high-K isomeric states in this region.


title: Antiferromagnetic long-range order in dissipative Rydberg lattices

abstract: We study the dynamics of dissipative spin lattices with power-law interactions, realized via few-level atoms driven by coherent laser-coupling and decoherence processes. Using Monte-Carlo simulations, we determine the phase diagram in the steady state and analyze the dynamics of its generation. As opposed to mean-field predictions and nearest-neighbour models there is no phase transition to long-range ordered phases for realistic interactions and resonant driving. However, for finite laser detunings, we demonstrate the emergence of crystalline order with a vanishing dissipative gap. Although the found steady states differ considerably from those of an equilibrium Ising magnet, the critical exponent of the revealed dissipative phase transition falls into the 2D Ising universality class. Two complementary schemes for an experimental implementation with cold Rydberg atoms are discussed.


title: Hierarchical Dirichlet Scaling Process

abstract: We present the \textit{hierarchical Dirichlet scaling process} (HDSP), a Bayesian nonparametric mixed membership model. The HDSP generalizes the hierarchical Dirichlet process (HDP) to model the correlation structure between metadata in the corpus and mixture components. We construct the HDSP based on the normalized gamma representation of the Dirichlet process, and this construction allows incorporating a scaling function that controls the membership probabilities of the mixture components. We develop two scaling methods to demonstrate that different modeling assumptions can be expressed in the HDSP. We also derive the corresponding approximate posterior inference algorithms using variational Bayes. Through experiments on datasets of newswire, medical journal articles, conference proceedings, and product reviews, we show that the HDSP results in a better predictive performance than labeled LDA, partially labeled LDA, and author topic model and a better negative review classification performance than the supervised topic model and SVM.


title: The Kinetic Basis of Self-Organized Pattern Formation

abstract: In his seminal paper on morphogenesis (1952), Alan Turing demonstrated that different spatio-temporal patterns can arise due to instability of the homogeneous state in reaction-diffusion systems, but at least two species are necessary to produce even the simplest stationary patterns. This paper is aimed to propose a novel model of the analog (continuous state) kinetic automaton and to show that stationary and dynamic patterns can arise in one-component networks of kinetic automata. Possible applicability of kinetic networks to modeling of real-world phenomena is also discussed.


title: Introduction to superfluidity -- Field-theoretical approach and applications

abstract: In this pedagogical introduction, I discuss theoretical aspects of superfluidity and superconductivity, mostly using a field-theoretical formalism. While the emphasis is on general concepts and mechanisms behind superfluidity, I also discuss various applications in low-energy and high-energy physics. Besides some introductory and standard topics such as superfluid helium and superfluidity in a simple scalar field theory, the lecture notes also include more advanced chapters, for instance discussions of the covariant two-fluid formalism and Cooper pairing with mismatched Fermi surfaces.


title: Hypergraph states in Grover's quantum search algorithm

abstract: We study the entanglement content of the states employed in the Grover algorithm after the first oracle call when a few searched items are concerned. We then construct a link between these initial states and hypergraphs, which provides an illustration of their entanglement properties.


title: Steerable Antennas for Automotive Communication Systems

abstract: This research project undertakes a comprehensive analysis of RF beamforming techniques for design, simulation, fabrication, and measurement of Butler Matrix and Rotman Lens beamforming networks. It is aimed to develop novel and well-established designs for steerable antenna systems that can be used in vehicular telematics and automotive communication systems based on microwave and millimeter-wave techniques.


title: Topological invariants in interacting Quantum Spin Hall: a Cluster Perturbation Theory approach

abstract: Using Cluster Perturbation Theory we calculate Green's functions, quasi-particle energies and topological invariants for interacting electrons on a 2-D honeycomb lattice, with intrinsic spin-orbit coupling and on-site e-e interaction. This allows to define the parameter range (Hubbard U vs spin-orbit coupling) where the 2D system behaves as a trivial insulator or Quantum Spin Hall insulator. This behavior is confirmed by the existence of gapless quasi-particle states in honeycomb ribbons. We have discussed the importance of the cluster symmetry and the effects of the lack of full translation symmetry typical of CPT and of most Quantum Cluster approaches. Comments on the limits of applicability of the method are also provided.


title: Depicting qudit quantum mechanics and mutually unbiased qudit theories

abstract: We generalize the ZX calculus to quantum systems of dimension higher than two. The resulting calculus is sound and universal for quantum mechanics. We define the notion of a mutually unbiased qudit theory and study two particular instances of these theories in detail: qudit stabilizer quantum mechanics and Spekkens-Schreiber toy theory for dits. The calculus allows us to analyze the structure of qudit stabilizer quantum mechanics and provides a geometrical picture of qudit stabilizer theory using D-toruses, which generalizes the Bloch sphere picture for qubit stabilizer quantum mechanics. We also use our framework to describe generalizations of Spekkens toy theory to higher dimensional systems. This gives a novel proof that qudit stabilizer quantum mechanics and Spekkens-Schreiber toy theory for dits are operationally equivalent in three dimensions. The qudit pictorial calculus is a useful tool to study quantum foundations, understand the relationship between qubit and qudit quantum mechanics, and provide a novel, high level description of quantum information protocols.


title: A viscosity approach to degenerate complex Monge-Amp\`ere equations

abstract: This is the content of the lectures given by the author at the winter school KAWA3 held at the University of Barcelona in 2012 from January 30 to February 3. The main goal was to give an account of viscosity techniques and to apply them to degenerate Complex Monge-Amp\`ere equations following recent works of P. Eyssidieux, V. Guedj and the author. We will survey the main techniques used in the viscosity approach and show how to adapt them to degenerate complex Monge-Amp\`ere equations. The heart of the matter in this approach is the "Comparison Principle" which allows us to prove uniqueness of solutions. We will prove a global viscosity comparison principle for degenerate complex Monge-Amp\`ere equations on compact K\"ahler manifolds and show how to combine Viscosity methods and Pluripotential methods to get "continuous versions" of the Calabi-Yau and Aubin-Yau Theorems in some degenerate situations. In particular we prove the existence of singular K\"ahler-Einstein metrics with continuous potentials on compact normal K\"ahler varieties with mild singularities and ample or trivial canonical divisor.


title: High-power magnetron transmitter as an RF source for the electron collider ring of the MEIC facility

abstract: A novel concept of high-power transmitters utilizing the Continuous Wave (CW) magnetrons, frequency-locked by phase-modulated signals has been proposed to compensate energy losses caused by Synchrotron Radiation (SR) in the electron ring of the MEIC facility. At operating frequency of about 750 MHz the SR losses are ~2 MW. They can be compensated by some number of Superconducting RF (SRF) cavities at the feeding power of about 100-200 kW per cavity. A high-power CW transmitters, based on magnetrons, frequency-locked by phase-modulated signal, allowing a wide-band control in phase and power, and associated with a wide-band closed feedback loop are proposed to feed the SRF cavities to compensate the SR losses of the electron beam in the MEIC collider electron ring.


title: Applications and identification of surface correlations

abstract: We compare theoretical, experimental, and computational approaches to random rough surfaces. The aim is to produce rough surfaces with desirable correlations and to analyze the correlation functions extracted from the surface profiles. Physical applications include ultracold neutrons in a rough waveguide, lateral electronic transport, and scattering of longwave particles and waves. Results provide guidance on how to deal with experimental and computational data on rough surfaces. A supplemental goal is to optimize the neutron waveguide for GRANIT experiments. The measured correlators are identified by fitting functions or by direct spectral analysis. The results are used to compare the calculated observables with theoretical values. Because of fluctuations, the fitting procedures lead to inaccurate physical results even if the quality of the fit is very good unless one guesses the right shape of the fitting function. Reliable extraction of the correlation function from the measured surface profile seems virtually impossible without independent information on the structure of the correlation function. Direct spectral analysis of raw data rarely works better than the use of a "wrong" fitting function. Analysis of surfaces with a large correlation radius is hindered by the presence of domains and interdomain correlations.