title: Crystal nucleation of hard spheres using molecular dynamics, umbrella sampling and forward flux sampling: A comparison of simulation techniques

abstract: Over the last number of years several simulation methods have been introduced to study rare events such as nucleation. In this paper we examine the crystal nucleation rate of hard spheres using three such numerical techniques: molecular dynamics, forward flux sampling and a Bennett-Chandler type theory where the nucleation barrier is determined using umbrella sampling simulations. The resulting nucleation rates are compared with the experimental rates of Harland and Van Megen [J. L. Harland and W. van Megen, Phys. Rev. E 55, 3054 (1997)], Sinn et al. [C. Sinn et al., Prog. Colloid Polym. Sci. 118, 266 (2001)] and Schatzel and Ackerson [K. Schatzel and B.J. Ackerson, Phys. Rev. E, 48, 3766 (1993)] and the predicted rates for monodisperse and 5% polydisperse hard spheres of Auer and Frenkel [S. Auer and D. Frenkel, Nature 409, 1020 (2001)]. When the rates are examined in long-time diffusion units, we find agreement between all the theoretically predicted nucleation rates, however, the experimental results display a markedly different behaviour for low supersaturation. Additionally, we examined the pre-critical nuclei arising in the molecular dynamics, forward flux sampling, and umbrella sampling simulations. The structure of the nuclei appear independent of the simulation method, and in all cases, the nuclei contain on average significantly more face-centered-cubic ordered particles than hexagonal-close-packed ordered particles.


title: Conflict-Free Coloring Made Stronger

abstract: In FOCS 2002, Even et al. showed that any set of $n$ discs in the plane can be Conflict-Free colored with a total of at most $O(\log n)$ colors. That is, it can be colored with $O(\log n)$ colors such that for any (covered) point $p$ there is some disc whose color is distinct from all other colors of discs containing $p$. They also showed that this bound is asymptotically tight. In this paper we prove the following stronger results: \begin{enumerate} \item [(i)] Any set of $n$ discs in the plane can be colored with a total of at most $O(k \log n)$ colors such that (a) for any point $p$ that is covered by at least $k$ discs, there are at least $k$ distinct discs each of which is colored by a color distinct from all other discs containing $p$ and (b) for any point $p$ covered by at most $k$ discs, all discs covering $p$ are colored distinctively. We call such a coloring a {\em $k$-Strong Conflict-Free} coloring. We extend this result to pseudo-discs and arbitrary regions with linear union-complexity. \item [(ii)] More generally, for families of $n$ simple closed Jordan regions with union-complexity bounded by $O(n^{1+\alpha})$, we prove that there exists a $k$-Strong Conflict-Free coloring with at most $O(k n^\alpha)$ colors. \item [(iii)] We prove that any set of $n$ axis-parallel rectangles can be $k$-Strong Conflict-Free colored with at most $O(k \log^2 n)$ colors. \item [(iv)] We provide a general framework for $k$-Strong Conflict-Free coloring arbitrary hypergraphs. This framework relates the notion of $k$-Strong Conflict-Free coloring and the recently studied notion of $k$-colorful coloring. \end{enumerate} All of our proofs are constructive. That is, there exist polynomial time algorithms for computing such colorings.


title: Thermodynamics of the L\'evy spin glass

abstract: We investigate the L\'evy glass, a mean-field spin glass model with power-law distributed couplings characterized by a divergent second moment. By combining extensively many small couplings with a spare random backbone of strong bonds the model is intermediate between the Sherrington-Kirkpatrick and the Viana-Bray model. A truncated version where couplings smaller than some threshold $\eps$ are neglected can be studied within the cavity method developed for spin glasses on locally tree-like random graphs. By performing the limit $\eps\to 0$ in a well-defined way we calculate the thermodynamic functions within replica symmetry and determine the de Almeida-Thouless line in the presence of an external magnetic field. Contrary to previous findings we show that there is no replica-symmetric spin glass phase. Moreover we determine the leading corrections to the ground-state energy within one-step replica symmetry breaking. The effects due to the breaking of replica symmetry appear to be small in accordance with the intuitive picture that a few strong bonds per spin reduce the degree of frustration in the system.


title: First Dark Matter Search Results from a Surface Run of the 10-L DMTPC Directional Dark Matter Detector

abstract: The Dark Matter Time Projection Chamber (DMTPC) is a low pressure (75 Torr CF4) 10 liter detector capable of measuring the vector direction of nuclear recoils with the goal of directional dark matter detection. In this paper we present the first dark matter limit from DMTPC. In an analysis window of 80-200 keV recoil energy, based on a 35.7 g-day exposure, we set a 90% C.L. upper limit on the spin-dependent WIMP-proton cross section of 2.0 x 10^{-33} cm^{2} for 115 GeV/c^2 dark matter particle mass.


title: Quasicircles and Bounded Turning Circles Modulo bi-Lipschitz Maps

abstract: We construct a catalog, of snowflake type metric circles, that describes all metric quasicircles up to \bl\ equivalence. This is a metric space analog of a result due to Rohde. Our construction also works for all bounded turning metric circles; these need not be doubling. As a byproduct, we show that a metric quasicircle with Assouad dimension strictly less than two is bi-Lipschitz equivalent to a planar quasicircle.


title: Fermion Coherence Hamiltonians

abstract: We have established that the most general form of Hamiltonian that preserves fermionic coherent states stable in time, is that of the nonstationary free fermionic oscillator. This is to be compared with the earlier result of boson coherence Hamiltonian, which is of the more general form of the nonstationary forced bosonic oscillator. If however one admits Grassmann variables as Hamiltonian parameters then the coherence Hamiltonian takes again the form of (Grassmannian fermionic) forced oscillator.


title: Advantageous punishers in nature

abstract: The evolution and maintenance of cooperation fascinated researchers for several decades. Recently, theoretical models and experimental evidence show that costly punishment may facilitate cooperation in human societies, but may not be used by winners. The puzzle how the costly punishment behaviour evolves can be solved under voluntary participation. Could the punishers emerge if participation is compulsory? Is the punishment inevitably a selfish behaviour or an altruistic behaviour? The motivations behind punishment are still an enigma. Based on public goods interactions, we present a model in which just a certain portion of the public good is divided equally among all members. The other portion is distributed to contributors when paying a second cost. Contributors who are willing to pay a second cost can be costly (and then altruistic) punishers, but they can also flourish or dominate the population, in this case we may call them "advantageous punishers". We argue that most of successful cooperators and punishers in nature are advantageous punishers, and costly punishment mostly happens in humans. This indicates a universal surviving rule: contributing more and gaining more. Our models show theoretically that the original motivation behind punishment is to retrieve deserved payoff from their own contributions, a selfish incentive.


title: Generation of optical beams with desirable orbital angular momenta by transformation media

abstract: We propose a scheme to controllably convert the wavefront of an arbitrary incident beam into a helical one by compact transformation slabs, thus enabling the output beam to carry desirable orbital angular momentum (OAM). First, based on transformation optics, a three-dimensional (3D) phase transformation between any two wavefronts by {\deg}at transformation media is established and then used to mold a wavefront of Gaussian beam into a helical one. Second, 3D FDTD simulations are performed to confirm the spiraling evolutions of the resultant field and phase, clearly demonstrating OAM generated. Further theoretical analyses show that the refractive index exhibiting a helical distribution leads to the oppositely spiral phase front and that it is feasible to produce desirable OAM by generators of unit OAM. The results not only provide an additional way to manipulate phase and photon OAM, but reciprocally shed further light on the phase structure of helical beams, which leads to a new transformation way by a surface.


title: Global geometry of T2 symmetric spacetimes with weak regularity

abstract: We define the class of weakly regular spacetimes with T2 symmetry, and investigate their global geometry structure. We formulate the initial value problem for the Einstein vacuum equations with weak regularity, and establish the existence of a global foliation by the level sets of the area R of the orbits of symmetry, so that each leaf can be regarded as an initial hypersurface. Except for the flat Kasner spacetimes which are known explicitly, R takes all positive values. Our weak regularity assumptions only require that the gradient of R is continuous while the metric coefficients belong to the Sobolev space H1 (or have even less regularity).


title: Spectrum of turbulent Kelvin-waves cascade in superfluid helium

abstract: To explain the observed decay of superfluid turbulence at very low temperature, it has been proposed that a cascade of Kelvin waves (analogous to the classical Kolmogorov cascade) transfers kinetic energy to length scales which are small enough that sound can be radiated away. We report results of numerical simulations of the interaction of quantized vortex filaments. We observe the development of the Kelvin-waves cascade, and compute the statistics of the curvature, the amplitude spectrum (which we compare with competing theories) and the fractal dimension.


title: Bose-Hubbard dynamics of polaritons in a chain of circuit QED cavities

abstract: We investigate a chain of superconducting stripline resonators, each interacting with a transmon qubit, that are capacitively coupled in a row. We show that the dynamics of this system can be described by a Bose-Hubbard Hamiltonian with attractive interactions for polaritons, superpositions of photons and qubit excitations. This setup we envisage constitutes one of the first platforms where all technological components that are needed to experimentally study chains of strongly interacting polaritons have already been realized. By driving the first stripline resonator with a microwave source and detecting the output field of the last stripline resonator one can spectroscopically probe properties of the system in the driven dissipative regime. We calculate the stationary polariton density and density-density correlations $g^{(2)}$ for the last cavity which can be measured via the output field. Our results display a transition from a coherent to a quantum field as the ratio of on site interactions to driving strength is increased.


title: Endpoint behavior of the pion distribution amplitude in QCD sum rules with nonlocal condensates

abstract: Starting from the QCD sum rules with nonlocal condensates for the pion distribution amplitude, we derive another sum rule for its derivative and its "integral" derivatives---defined in this work. We use this new sum rule to analyze the fine details of the pion distribution amplitude in the endpoint region $x\sim 0$. The results for endpoint-suppressed and flat-top (or flat-like) pion distribution amplitudes are compared with those we obtained with differential sum rules by employing two different models for the distribution of vacuum-quark virtualities. We determine the range of values of the derivatives of the pion distribution amplitude and show that endpoint-suppressed distribution amplitudes lie within this range, while those with endpoint enhancement---flat-type or CZ-like---yield values outside this range.


title: Preface "Nonlinear processes in oceanic and atmospheric flows"

abstract: Nonlinear phenomena are essential ingredients in many oceanic and atmospheric processes, and successful understanding of them benefits from multidisciplinary collaboration between oceanographers, meteorologists, physicists and mathematicians. The present Special Issue on ``Nonlinear Processes in Oceanic and Atmospheric Flows'' contains selected contributions from attendants to the workshop which, in the above spirit, was held in Castro Urdiales, Spain, in July 2008. Here we summarize the Special Issue contributions, which include papers on the characterization of ocean transport in the Lagrangian and in the Eulerian frameworks, generation and variability of jets and waves, interactions of fluid flow with plankton dynamics or heavy drops, scaling in meteorological fields, and statistical properties of El Ni\~no Southern Oscillation.


title: When is the (co)sine of a rational angle equal to a rational number?

abstract: If the cosine of a rational multiple of $\pi$ is a rational number then it is an integral multiple of $\frac12$. For this fact, we give a proof accessible to an interested school student. We then discuss which quadratic and cubic irrationalities are values of cosine at ratinal multiples of $\pi$.


title: Study of the Radivative Pion Decay

abstract: We study the radiative pion decay of $\pi ^{+} \to e^{+}\nu_{e}\gamma$ in the chiral perturbation theory (ChPT) and light front quark model (LFQM). The vector and axial-vector hadronic form factors ($F_{V,A}$) for the $\pi\to\gamma$ transition are evaluated in the whole allowed momentum transfer. In terms of these momentum dependent form factors, we calculate the decay branching ratio and compare our results with the experimental data and other theoretical predictions in the literature. We also constrain the possible size of the tensor interaction in the LFQM.


title: LASSO ISOtone for High Dimensional Additive Isotonic Regression

abstract: Additive isotonic regression attempts to determine the relationship between a multi-dimensional observation variable and a response, under the constraint that the estimate is the additive sum of univariate component effects that are monotonically increasing. In this article, we present a new method for such regression called LASSO Isotone (LISO). LISO adapts ideas from sparse linear modelling to additive isotonic regression. Thus, it is viable in many situations with high dimensional predictor variables, where selection of significant versus insignificant variables are required. We suggest an algorithm involving a modification of the backfitting algorithm CPAV. We give a numerical convergence result, and finally examine some of its properties through simulations. We also suggest some possible extensions that improve performance, and allow calculation to be carried out when the direction of the monotonicity is unknown.


title: The relevance of prior inclination determination for direct imaging of Earth-like planets

abstract: Direct imaging and characterization of extrasolar Earth-like planets is strongly impacted by the orbital inclination of the planet to be studied, as a combination of pure geometrical effects and the impact of exozodiacal dust. Here, we perform simulations to quantify the impact of a priori knowledge of inclination for the efficiency of a typical coronagraphic or occulter-based mission. The relative impact and complementarity with prior knowledge of exozodiacal brightness down to achievable levels is examined and discussed. It is found that inclination has an even greater impact than the exozodiacal brightness, though the two have excellent complementarity. We also discuss different methods for inclination determination, and their respective applicability to the context of precursor science to an imaging mission. It is found that if technologically achievable, a combined effort to determine inclinations and exozodiacal brightnesses with ground-based facilities would substantially increase the efficiency of a space-based dedicated mission to image and characterize Earth-like planets.


title: On the Dynamics of a Fluid-Particle Interaction Model: The Bubbling Regime

abstract: This article deals with the issues of global-in-time existence and asymptotic analysis of a fluid-particle interaction model in the so-called bubbling regime. The mixture occupies the physical space $\Omega \subset \mathbb{R}^3$ which may be unbounded. The system under investigation describes the evolution of particles dispersed in a viscous compressible fluid and is expressed by the conservation of fluid mass, the balance of momentum and the balance of particle density often referred as the Smoluchowski equation. The coupling between the dispersed and dense phases is obtained through the drag forces that the fluid and the particles exert mutually by action-reaction principle. We show that solutions exist globally in time under reasonable physical assumptions on the initial data, the physical domain, and the external potential. Furthermore, we prove the large-time stabilization of the system towards a unique stationary state fully determined by the masses of the initial density of particles and fluid and the external potential.


title: On the question of metallicity and ferromagnetism in charge ordered insulating Nd0.5Sr0.5MnO3 nanoparticles

abstract: The fascinating phenomenon of destabilization of charge/orbital order in Nd0.5Sr0.5MnO3 with the reduction of grain size is critically investigated. Based on our magnetic and transport experiments followed by a theoretical analysis, we analyze various possible mechanisms and try to delineate a universal scenario behind this phenomenon. We, revisit this issue and discuss the overwhelming evidence from experiments on nano and bulk manganites as well as the absence of correlation between size reduction and pressure effects on manganites. We propose a phenomenological understanding on the basis of enhanced surface disorder to explain the appearance of weak ferromagnetism and metallicity in nanoparticles of Nd0.5Sr0.5MnO3. We also provide supportive evidence from an ab-initio electron structure calculation and a recent numerical simulation and argue that the mechanism is universal in all nanosize charge ordered manganites.


title: Modularity of Convergence and Strong Convergence in Infinitary Rewriting

abstract: Properties of Term Rewriting Systems are called modular iff they are preserved under (and reflected by) disjoint union, i.e. when combining two Term Rewriting Systems with disjoint signatures. Convergence is the property of Infinitary Term Rewriting Systems that all reduction sequences converge to a limit. Strong Convergence requires in addition that redex positions in a reduction sequence move arbitrarily deep. In this paper it is shown that both Convergence and Strong Convergence are modular properties of non-collapsing Infinitary Term Rewriting Systems, provided (for convergence) that the term metrics are granular. This generalises known modularity results beyond metric \infty.


title: Two-Timescale Learning Using Idiotypic Behaviour Mediation For A Navigating Mobile Robot

abstract: A combined Short-Term Learning (STL) and Long-Term Learning (LTL) approach to solving mobile-robot navigation problems is presented and tested in both the real and virtual domains. The LTL phase consists of rapid simulations that use a Genetic Algorithm to derive diverse sets of behaviours, encoded as variable sets of attributes, and the STL phase is an idiotypic Artificial Immune System. Results from the LTL phase show that sets of behaviours develop very rapidly, and significantly greater diversity is obtained when multiple autonomous populations are used, rather than a single one. The architecture is assessed under various scenarios, including removal of the LTL phase and switching off the idiotypic mechanism in the STL phase. The comparisons provide substantial evidence that the best option is the inclusion of both the LTL phase and the idiotypic system. In addition, this paper shows that structurally different environments can be used for the two phases without compromising transferability.


title: Ad- and desorption of Rb atoms on a gold nanofilm measured by surface plasmon polaritons

abstract: Hybrid quantum systems made of cold atoms near nanostructured surfaces are expected to open up new opportunities for the construction of quantum sensors and for quantum information. For the design of such tailored quantum systems the interaction of alkali atoms with dielectric and metallic surfaces is crucial and required to be understood in detail. Here, we present real-time measurements of the adsorption and desorption of Rubidium atoms on gold nanofilms. Surface plasmon polaritons (SPP) are excited at the gold surface and detected in a phase sensitive way. From the temporal change of the SPP phase the Rubidium coverage of the gold film is deduced with a sensitivity of better than 0.3 % of a monolayer. By comparing the experimental data with a Langmuir type adsorption model we obtain the thermal desorption rate and the sticking probability. In addition, also laser-induced desorption is observed and quantified.


title: Projective modules over overrings of polynomial rings

abstract: Let A be a commutative Noetherian ring of dimension d and let P be a projective R=A[X_1,\ldots,X_l,Y_1,\ldots,Y_m,\frac {1}{f_1\ldots f_m}]-module of rank r\geq max {2,dim A+1, where f_i\in A[Y_i]. Then (i) \EL^1(R\op P) acts transitively on Um(R\oplus P). In particular, P is cancellative. (ii) If A is an affine algebra over a field, then P has a unimodular element. (iii) The natural map \Phi_r : GL_r(R)/EL^1_r(R) \ra K_1(R) is surjective. (iv) Assume f_i is a monic polynomial. Then \Phi_{r+1} is an isomorphism. In the case of Laurent polynomial ring (i.e. f_i=Y_i), (i) is due to Lindel, (ii) is due to Bhatwadekar, Lindel and Rao and (iii, iv) is due to Suslin.


title: Quantum entanglement: The unitary 8-vertex braid matrix with imaginary rapidity

abstract: We study quantum entanglements induced on product states by the action of 8-vertex braid matrices, rendered unitary with purely imaginary spectral parameters (rapidity). The unitarity is displayed via the "canonical factorization" of the coefficients of the projectors spanning the basis. This adds one more new facet to the famous and fascinating features of the 8-vertex model. The double periodicity and the analytic properties of the elliptic functions involved lead to a rich structure of the 3-tangle quantifying the entanglement. We thus explore the complex relationship between topological and quantum entanglement.


title: CoRoT-10b: a giant planet in a 13.24 day eccentric orbit

abstract: The space telescope CoRoT searches for transiting extrasolar planets by continuously monitoring the optical flux of thousands of stars in several fields of view. We report the discovery of CoRoT-10b, a giant planet on a highly eccentric orbit (e=0.53 +/- 0.04) revolving in 13.24 days around a faint (V=15.22) metal-rich K1V star. We use CoRoT photometry, radial velocity observations taken with the HARPS spectrograph, and UVES spectra of the parent star to derive the orbital, stellar and planetary parameters. We derive a radius of the planet of 0.97 +/- 0.07 R_Jup and a mass of 2.75 +/- 0.16 M_Jup. The bulk density, rho_pl=3.70 +/- 0.83 g/cm^3, is ~2.8 that of Jupiter. The core of CoRoT-10b could contain up to 240 M_Earth of heavy elements. Moving along its eccentric orbit, the planet experiences a 10.6-fold variation in insolation. Owing to the long circularisation time, tau_circ > 7 Gyr, a resonant perturber is not required to excite and maintain the high eccentricity of CoRoT-10b.


title: The 2008 October Swift detection of X-ray bursts/outburst from the transient SGR-like AXP 1E 1547.0-5408

abstract: We report on the detailed study of the 2008 October outburst from the anomalous X-ray pulsar (AXP) 1E 1547.0-5408 discovered through the Swift/Burst Alert Telescope (BAT) detection of SGR-like short X-ray bursts on 2008 October 3. The Swift/X-ray Telescope (XRT) started observing the source after less than 100 s since the BAT trigger, when the flux (about 6E-11 erg/cm^2/s in the 2-10 keV range) was >50 times higher than its quiescent level. Swift monitored the outbursting activity of 1E 1547.0-5408 on a daily basis for approximately three weeks. This strategy allowed us to find a phase-coherent solution for the source pulsations after the burst, which, besides period and period derivative, requires a positive Period second derivative term (spin-down increase). The time evolution of the pulse shape is complex and variable, with the pulsed fraction increasing from 20% to 50% within the Swift observational window. The XRT spectra can be fitted well by means of a single component, either a power-law (PL) or a blackbody (BB). During the very initial phases of the outburst the spectrum is hard, with a PL photon index about 2 (or kT about 1.4 keV) which steepens to about 4 (or kT about 0.8 keV) within one day from the BAT trigger, though the two components are likely present simultaneously during the first day spectra. An INTEGRAL observation carried out five days after the trigger provided an upper limit of about 2E-11 erg/cm^2/s to the emission of 1E 1547.0-5408 in the 18-60 keV band.


title: The Complexity of Proving Chaoticity and the Church-Turing Thesis

abstract: Proving the chaoticity of some dynamical systems is equivalent to solving the hardest problems in mathematics. Conversely, one argues that it is not unconceivable that classical physical systems may "compute the hard or even the incomputable" by measuring observables which correspond to computationally hard or even incomputable problems.


title: Some results on Euler class groups

abstract: Let A be a regular domain of dimension d containing an infinite field and let n be an integer with 2n\geq d+3. For a stably free A-module P of rank n, we prove that (i) P has a unimodular element if and only if the euler class of P is zero in E^n(A) and (ii) we define Whitney class homomorphism w(P):E^s(A)\ra E^{n+s}(A), where E^s(A) denotes the sth Euler class group of A for s\geq 1.


title: Probing lepton flavor violation with nonzero $U_{e3}$ and leptogenesis through $A_4$ symmetry breaking

abstract: We study how lepton flavor violation (LFV) is related to the reactor angle $\theta_{13}$, LHC/dark matter (DM) signal with a successful leptogenesis in a radiative seesaw model through $A_4$ flavor symmetry breaking, in the light of the deviation of tri-bimaximal mixing (TBM) angles and the recent precision oscillation data. To do this, we consider the normal mass spectrum of light neutrino giving a successful leptogenesis at electroweak (EW) scale or more with a relatively large $\sin\theta_{13}\simeq{\cal O}(0.1)$, where a successful leptogenesis requires LHC/DM signal $m_{-}\lesssim$ a few keV in our scenario, and we show that the measurement of $\tau\rightarrow\mu\gamma$ is strongly dependent on $m_{-}$ and the leptogenesis scale. Especially, we show that $\mu\rightarrow e\gamma$ and $\mu-e$ conversion are proportional to the value of $\theta_{13}$, and the measurements of both $\mu\rightarrow e\gamma$ (and/or $\mu-e$ conversion) and $\theta_{13}$ can give a prediction of $\tau\rightarrow\mu\gamma$ with a successful leptogenesis.


title: Particle-Localized Ground State of Atom-Molecule Bose-Einstein Condensates in a Double-Well Potential

abstract: We study the effect of atom-molecule internal tunneling on the ground state of atom-molecule Bose-Einstein condensates in a double-well potential. In the absence of internal tunneling between atomic and molecular states, the ground state is symmetric, which has equal-particle populations in two wells. From the linear stability analysis, we show that the symmetric stationary state becomes dynamically unstable at a certain value of the atom-molecule internal tunneling strength. Above the critical value of the internal tunneling strength, the ground state bifurcates to the particle-localized ground states. The origin of this transition can be attributed to the effective attractive inter-atomic interaction induced by the atom-molecule internal tunneling. This effective interaction is similar to that familiar in the context of BCS-BEC crossover in a Fermi gas with Feshbach resonance. Furthermore, we point out the possibility of reentrant transition in the case of the large detuning between the atomic and molecular states.


title: Approximation Algorithm for Line Segment Coverage for Wireless Sensor Network

abstract: The coverage problem in wireless sensor networks deals with the problem of covering a region or parts of it with sensors. In this paper, we address the problem of covering a set of line segments in sensor networks. A line segment ` is said to be covered if it intersects the sensing regions of at least one sensor distributed in that region. We show that the problem of finding the minimum number of sensors needed to cover each member in a given set of line segments in a rectangular area is NP-hard. Next, we propose a constant factor approximation algorithm for the problem of covering a set of axis-parallel line segments. We also show that a PTAS exists for this problem.


title: The Dyson Brownian minor process

abstract: Consider an $n\times n$ Hermitean matrix valued stochastic process $\{H_t\}_{t\geq 0}$ where the matrix elements evolve according to Ornstein-Uhlenbeck processes. It is well known that the eigenvalues perform a so called Dyson Brownian motion, that is they behave as Ornstein-Uhlenbeck processes conditioned never to intersect. In this paper we study not only the eigenvalues of the full matrix, but also the eigenvalues of all the principal minors. That is, the eigenvalues of the $k\times k$ in the upper left corner of $H_t$. If you project this process to a space-like path it is a determinantal process and we compute the kernel. This kernel contains as special cases the well known GUE minor kernel, discovered by Johansson-Nordenstam and Okounkov-Reshetikhin in 2006, and the Dyson Brownian motion kernel discovered by Forrester-Nagao in 1998. In the bulk scaling limit of this kernel it is possible to recover a time-dependent generalisation of Boutillier's bead kernel.


title: High-Angular Resolution Dust Polarization Measurements: Shaped B-field Lines in the Massive Star Forming Region Orion BN/KL

abstract: We present observational results of the thermal dust continuum emission and its linear polarization in one of the nearest massive star-forming sites Orion BN/KL in Orion Molecular Cloud-1. The observations were carried out with the Submillimeter Array. With an angular resolution of 1" (~2 mpc; 480 AU), we have detected and resolved the densest cores near the BN/KL region. At a wavelength of ~870 micron, the polarized dust emission can be used to trace the structure of the magnetic field in this star-forming core. The dust continuum appears to arise from a V-shaped region, with a cavity nearly coincident with the center of the explosive outflows observed on larger scales. The position angles (P.A.s) of the observed polarization vary significantly by a total of about 90 degree but smoothly, i.e., curl-like, across the dust ridges. Such a polarization pattern can be explained with dust grains being magnetically aligned instead of mechanically with outflows, since the latter mechanism would cause the P.A.s to be parallel to the direction of the outflow, i.e., radial-like. The magnetic field projected in the plane of sky is therefore derived by rotating the P.A.s of the polarization by 90 degree. We find an azimuthally symmetric structure in the overall magnetic field morphology, with the field directions pointing toward 2.5" west to the center of the explosive outflows. We also find a preferred symmetry plane at a P.A. of 36 degree, which is perpendicular to the mean magnetic field direction (120 degree) of the 0.5 pc dust ridge. Two possible interpretations of the origin of the observed magnetic field structure are discussed.


title: Extended core and choosability of a graph

abstract: A graph $G$ is $(a,b)$-choosable if for any color list of size $a$ associated with each vertices, one can choose a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. This paper shows an equivalence between the $(a,b)$-choosability of a graph and the $(a,b)$-choosability of one of its subgraphs called the extended core. As an application, this result allows to prove the $(5,2)$-choosability and $(7,3)$-colorability of triangle-free induced subgraphs of the triangular lattice.


title: Casimir effect in the scattering approach: correlations between material properties, temperature and geometry

abstract: We present calculations of the quantum and thermal Casimir interaction between real mirrors in electromagnetic fields using the scattering approach. We begin with a pedagogical introduction of this approach in simple cases where the scattering is specular. We then discuss the more general case of stationary arbitrarily shaped mirrors and present in particular applications to two geometries of interest for experiments, that is corrugated plates and the plane-sphere geometry. The results nicely illustrate the rich correlations existing between material properties, temperature and geometry in the Casimir effect.


title: Imitation, internal absorption and the reversal of local drift in stochastic evolutionary games

abstract: Evolutionary game dynamics in finite populations is typically subject to noise, inducing effects which are not present in deterministic systems, including fixation and extinction. In the first part of this paper we investigate the phenomenon of drift reversal in finite populations, taking into account that drift is a local quantity in strategy space. Secondly, we study a simple imitation dynamics, and show that it can lead to fixation at internal mixed-strategy fixed points even in finite populations. Imitation in infinite populations is adequately described by conventional replicator dynamics, and these equations are known to have internal fixed points. Internal absorption in finite populations on the other hand is a novel dynamic phenomenon. Due to an outward drift in finite populations this type of dynamic arrest is not found in other commonly studied microscopic dynamics, not even in those with the same deterministic replicator limit as imitation.


title: Bounds for the order for p-elementary subgroups in the plane Cremona group over a perfect field

abstract: We obtain a sharp bound for p-elementary subgroups in the plane Cremona group over an arbitrary perfect field.


title: Rotonlike instability and pattern formation in spinor Bose-Einstein condensates

abstract: We show that metastable phases of an antiferromagnetic spin-1 condensate in a simple model with pure contact interactions can exhibit a rotonlike minimum in the excitation spectrum. The introduction of magnetic field gives rise to the instability of roton modes, which can lead to spontaneous emergence of regular periodic, polygonal, polyhedral or crystalline patterns, as shown in numerical simulations within the truncated Wigner approximation. An explanation of the occurrence of rotonlike instability is given based on the energy and spin conservation laws.


title: The GeV to TeV connection in the environment of SNR IC 443

abstract: We have recently interpreted the source MAGIC J0616+225 as a result of delayed TeV emission of cosmic-rays diffusing from IC 443 and interacting with a cloud in the foreground of the remnant. This model was used to make predictions for future observations, especially those to be made with the Fermi satellite. Just recently, AGILE, Fermi, and VERITAS have released new results of their observations of IC 443. In this work, we compare them with the predictions of our model, exploring the GeV to TeV connection in this region of space. We use Fermi data to consider the possibility of constraining the cosmic-ray diffusion features of the environment. We analyze the cosmic-ray distributions, their interactions, and a possible detection of the SNR environment in the neutrino channel.


title: Guiding of vortices and ratchet effect in superconducting films with asymmetric pinning potential

abstract: Two-dimensional vortex dynamics in a ratchet washboard planar pinning potential (PPP) in the presence of thermal fluctuations is considered on the basis of a Fokker-Planck equation. Explicit expressions for two new nonlinear anisotropic voltages (longitudinal and transverse with respect to the current direction) are derived and analyzed. The physical origin of these odd (with respect to magnetic field or transport current direction reversal) voltages is caused by the interplay between the even effect of vortex guiding and the ratchet asymmetry. Both new voltages are going to zero in the linear regimes of the vortex motion (i.e. in the thermally activated flux flow (TAFF) and ohmic flux flow (FF) regimes) and have a bump-like current or temperature dependence in the vicinity of the highly nonlinear resistive transition from the TAFF to the FF.


title: First passage process of a Markov additive process, with applications to reflection problems

abstract: In this paper we consider the first passage process of a spectrally negative Markov additive process (MAP). The law of this process is uniquely characterized by a certain matrix function, which plays a crucial role in fluctuation theory. We show how to identify this matrix using the theory of Jordan chains associated with analytic matrix functions. Importantly, our result also provides us with a technique, which can be used to derive various further identities. We then proceed to show how to compute the stationary distribution associated with a one-sided reflected (at zero) MAP for both the spectrally positive and spectrally negative cases as well as for the two sided reflected Markov-modulated Brownian motion; these results can be interpreted in terms of queues with MAP input.


title: Variation of geodesic length functions over Teichm\"uller space

abstract: In a family of compact, canonically polarized, complex manifolds equipped with K\"ahler-Einstein metrics the first variation of the lengths of closed geodesics was previously shown in by the authors in [arXiv:0808.3741v2] to be the geodesic integral of the harmonic Kodaira-Spencer form. We compute the second variation. For one dimensional fibers we arrive at a formula that only depends upon the harmonic Beltrami differentials. As an application a new proof for the plurisubharmonicity of the geodesic length function and its logarithm (with new upper and lower estimates) follows, which also applies to the previously not known cases of Teichm\"uller spaces of weighted punctured Riemann surfaces, where the methods of Kleinian groups are not available.


title: Producing Hard Processes Regarding the Complete Event: The EPOS Event Generator

abstract: Jet cross sections can be in principle compared to simple pQCD calculations, based on the hypothesis of factorization. But often it is useful or even necessary to not only compute the production rate of the very high pt jets, but in addition the "rest of the event". The proposed talk is based on recent work, where we try to construct an event generator fully compatible with pQCD which allows to compute complete events, consisting of high pt jets plus all the other low pt particles produced at the same time. Whereas in "generators of inclusive spectra" like Pythia one may easily trigger on high pt phenomena, this is not so obvious for "generators of physical events", where in principle one has to generate a very large number of events in order to finally obtain rare events (like those with a very high pt jet). We recently developped an independnat block method which allow us ta have a direct access to dedicated variables 1. We will present latest results concerning this approach.


title: On scattering of small energy solutions of non autonomous hamiltonian nonlinear Schr\"odinger equations

abstract: We revisit a result by Cuccagna, Kirr and Pelinovsky about the cubic nonlinear Schr\" odinger equation (NLS) with an attractive localized potential and a time-dependent factor in the nonlinearity. We show that, under generic hypotheses on the linearization at 0 of the equation, small energy solutions are asymptotically free. This is yet a new application of the hamiltonian structure, continuing a program initiated in a paper by Bambusi and Cuccagna.


title: Juxtaposition of Spin Freezing and Long Range Order in a Series of Geometrically Frustrated Antiferromagnetic Gadolinium Garnets

abstract: Specific heat measurements in zero magnetic field are presented on a homologous series of geometrically frustrated, antiferromagnetic, Heisenberg garnet systems. Measurements of Gd3Ga5O12, grown with isotopically pure Gd, agree well with previous results on samples with naturally abundant Gd, showing no ordering features. In contrast, samples of Gd3Te2Li3O12 and Gd3Al5O12 are found to exhibit clear ordering transitions at 243 mK and 175 mK respectively. The effects of low level disorder are studied through dilution of Gd3+ with non-magnetic Y3+ in Gd3Te2Li3O12. A thorough structural characterization, using X-ray diffraction, is performed on all of the samples studied. We discuss possible explanations for such diverse behavior in very similar systems.


title: Solid oxygen as converter for the production of ultra-cold neutrons

abstract: We have investigated solid oxygen as a converter material for the production of ultra-cold neutrons. In a first series of experiments the crystal preparation was examined. An optically semi-transparent solid $\alpha$-oxygen crystal has been prepared. In a second series of experiments such a crystal prepared indentically as in the first series of experiments has been exposed to the cold neutron flux of the MEPHISTO beam line of the FRM II. Ultra-cold neutrons produced inside the oxygen crystal have been extracted and the count rates have been measured at different converter temperatures. The results of these measurements give a clear signal of the superthermal UCN production mechanism in $\alpha$-oxygen. The mean free loss length of UCN inside the crystal at a temperature of 5\,K was determined to be in the order of $20\,\mathrm{cm}$.


title: Multicolor photometry of SU UMa and U Gem during quiescence, outburst and superoutburst

abstract: The results of time-resolved observations of SU UMa and U Gem obtained over two-years are presented. Both stars are prototypes of different classes of dwarf novae. We studied brightness variations on different time scales: orbital, QPO and flickering. The multicolor BVRI photometry allows to distinguisch the geometrical and physical sources of these variations.


title: The horn in the kaon to pion ratio

abstract: A microscopic approach has been employed to study the kaon productions in heavy ion collisions. The momentum integrated Boltzmann equation has been used to study the evolution of strangeness in the system formed in heavy ion collision at relativistic energies. The kaon productions have been calculated for different centre of mass energies ($\sqrt{s_{\mathrm {NN}}}$) ranging from AGS to RHIC. The results have been compared with available experimental data. We obtain a non-monotonic horn like structure for $K^+/\pi^+$ when plotted with $\sqrt{s_{\mathrm {NN}}}$ with the assumption of an initial partonic phase beyond a certain threshold in $\sqrt{s_{NN}}$. However, a monotonic rise of $K^+/\pi^+$ is observed when a hadronic initial state is assumed for all $\sqrt{s_{\mathrm {NN}}}$. Experimental values of $K^-/\pi^-$ are also reproduced within the ambit of the same formalism. Results from scenarios where the strange quarks and hadrons are formed in equilibrium and evolves with and without secondary productions have also been presented.


title: Quasi Regular Polyhedra and Their Duals with Coxeter Symmetries Represented by Quaternions II

abstract: In this paper we construct the quasi regular polyhedra and their duals which are the generalizations of the Archimedean and Catalan solids respectively. This work is an extension of two previous papers of ours which were based on the Archimedean and Catalan solids obtained as the orbits of the Coxeter groups . When these groups act on an arbitrary vector in 3D Euclidean space they generate the orbits corresponding to the quasi regular polyhedra. Special choices of the vectors lead to the platonic and Archimedean solids. In general, the faces of the quasi regular polyhedra consist of the equilateral triangles, squares, regular pentagons as well as rectangles, isogonal hexagons, isogonal octagons, and isogonal decagons depending on the choice of the Coxeter groups of interest. We follow the quaternionic representation of the group elements of the Coxeter groups which necessarily leads to the quaternionic representation of the vertices. We note the fact that the molecule can best be represented by a truncated icosahedron where the hexagonal faces are not regular, rather, they are isogonal hexagons where single bonds and double bonds of the carbon atoms are represented by the alternating edge lengths of isogonal hexagons.


title: Low Energy Action of "Covariant" Superstring Field Theory in the NS-NS pp-Wave Background

abstract: Exact construction of superstring field theory in some background fields is very important. We construct the low energy NS-NS sector of superstring field action in the pp-wave background with the flux of NS-NS antisymmetric tensor field (NS-NS pp-wave) without gauge fixing up to the second-order where the action is world-sheet BRST invariant. Here we use the word "covariant" in a invariant theory for a symmetric transformation of the pp-wave background which is not the Lorentz transformation in the flat background. Moreover we prove the exact correspondence between this low energy action and the second-order perturbation of supergravity action in the same background. We also prove the correspondence of the gauge transformation in both the actions. This construction is based on the BRST first quantization of superstrings in the pp-wave background in our previous paper.


title: Cold atom simulation of interacting relativistic quantum field theories

abstract: We demonstrate that Dirac fermions self-interacting or coupled to dynamic scalar fields can emerge in the low energy sector of designed bosonic and fermionic cold atom systems. We illustrate this with two examples defined in two spacetime dimensions. The first one is the self-interacting Thirring model. The second one is a model of Dirac fermions coupled to a dynamic scalar field that gives rise to the Gross-Neveu model. The proposed cold atom experiments can be used to probe spectral or correlation properties of interacting quantum field theories thereby presenting an alternative to lattice gauge theory simulations.


title: Elastic Lattice Polymers

abstract: We study a model of "elastic" lattice polymer in which a fixed number of monomers $m$ is hosted by a self-avoiding walk with fluctuating length $l$. We show that the stored length density $\rho_m = 1 - <l>/m$ scales asymptotically for large $m$ as $\rho_m=\rho_\infty(1-\theta/m + ...)$, where $\theta$ is the polymer entropic exponent, so that $\theta$ can be determined from the analysis of $\rho_m$. We perform simulations for elastic lattice polymer loops with various sizes and knots, in which we measure $\rho_m$. The resulting estimates support the hypothesis that the exponent $\theta$ is determined only by the number of prime knots and not by their type. However, if knots are present, we observe strong corrections to scaling, which help to understand how an entropic competition between knots is affected by the finite length of the chain.


title: Algebraic Constructions of Graph-Based Nested Codes from Protographs

abstract: Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence of noise, in joint network-channel coding, or in physical-layer secrecy. Whereas nested lattice codes have been proposed recently for continuous-input channels, in this paper we focus on the construction of nested linear codes for joint channel-network coding problems based on algebraic protograph LDPC codes. In particular, over the past few years several constructions of codes have been proposed that are based on random lifts of suitably chosen base graphs. More recently, an algebraic analog of this approach was introduced using the theory of voltage graphs. In this paper we illustrate how these methods can be used in the construction of nested codes from algebraic lifts of graphs.


title: Thermal Dynamics in General Relativity

abstract: We discuss a relativistic model for heat conduction, building on a convective variational approach to multi-fluid systems where the entropy is treated as a distinct dynamical entity. We demonstrate how this approach leads to a relativistic version of the Cattaneo equation, encoding the finite thermal relaxation time that is required to satisfy causality. We also show that the model naturally includes the non-equilibrium Gibbs relation that is a key ingredient in most approaches to extended thermodynamics. Focussing on the pure heat conduction problem, we compare the variational results to the second-order model developed by Israel and Stewart. The comparison shows that, despite the very different philosophies behind the two approaches, the two models are equivalent at first order deviations from thermal equilibrium. Finally, we complete the picture by working out the non-relativistic limit of our results, making contact with recent work in that regime.


title: Isomorphisms and Fusion Rules of Orthogonal Free Quantum Groups and their Complexifications

abstract: We show that all orthogonal free quantum groups are isomorphic to variants of the free orthogonal Wang algebra, the hyperoctahedral quantum group or the quantum permutation group. We also obtain a description of their free complexification. In particular we complete the calculation of fusion rules of all orthogonal free quantum groups and their free complexifications.


title: Risk bounds for purely uniformly random forests

abstract: Random forests, introduced by Leo Breiman in 2001, are a very effective statistical method. The complex mechanism of the method makes theoretical analysis difficult. Therefore, a simplified version of random forests, called purely random forests, which can be theoretically handled more easily, has been considered. In this paper we introduce a variant of this kind of random forests, that we call purely uniformly random forests. In the context of regression problems with a one-dimensional predictor space, we show that both random trees and random forests reach minimax rate of convergence. In addition, we prove that compared to random trees, random forests improve accuracy by reducing the estimator variance by a factor of three fourths.


title: Successful modeling of the environmental changes' influence on forests' vegetation over North Eurasia

abstract: Modeling of forests' vegetation in North Eurasia has been performed for 1982-2006 on the basis of remote sensing data. Four meteorological parameters and one parameter, characterizing geomagnetic field disturbance level, were used for this aim. It was found out that revealed formula is adequate both for coniferous evergreen and coniferous deciduous forests for accuracy to a coefficient. The most proper parameters' combination gives the correlation coefficients ~ 0.9 between modeling parameter and original data rows. These results could solve problems of climate-forests feedbacks' investigations and be useful for dendrological aims.


title: N-body simulations in reconstruction of the kinematics of young stars in the Galaxy

abstract: We try to determine the Galactic structure by comparing the observed and modeled velocities of OB-associations in the 3 kpc solar neighborhood. We made N-body simulations with a rotating stellar bar. The galactic disk in our model includes gas and stellar subsystems. The velocities of gas particles averaged over large time intervals ($\sim 8$ bar rotation periods) are compared with the observed velocities of the OB-associations. Our models reproduce the directions of the radial and azimuthal components of the observed residual velocities in the Perseus and Sagittarius regions and in the Local system. The mean difference between the model and observed velocities is $\Delta V=3.3$ km s$^{-1}$. The optimal value of the solar position angle $\theta_b$ providing the best agreement between the model and observed velocities is $\theta_b=45\pm5^\circ$, in good accordance with several recent estimates. The self-gravitating stellar subsystem forms a bar, an outer ring of subclass $R_1$, and slower spiral modes. Their combined gravitational perturbation leads to time-dependent morphology in the gas subsystem, which forms outer rings with elements of the $R_1$- and $R_2$-morphology. The success of N-body simulations in the Local System is likely due to the gravity of the stellar $R_1$-ring, which is omitted in models with analytical bars.


title: Scalar field in cosmology: Potential for isotropization and inflation

abstract: The important role of scalar field in cosmology was noticed by a number of authors. Due to the fact that the scalar field possesses zero spin, it was basically considered in isotropic cosmological models. If considered in an anisotropic model, the linear scalar field does not lead to isotropization of expansion process. One needs to introduce scalar field with nonlinear potential for the isotropization process to take place. In this paper the general form of scalar field potentials leading to the asymptotic isotropization in case of Bianchi type-I cosmological model, and inflationary regime in case of isotropic space-time is obtained. In doing so we solved both direct and inverse problem, where by direct problem we mean to find metric functions and scalar field for the given potential, whereas, the inverse problem means to find the potential and scalar field for the given metric function. The scalar field potentials leading to the inflation and isotropization were found both for harmonic and proper synchronic time.


title: The helicity and vorticity of liquid crystal flows

abstract: We present explicit expressions of the helicity conservation in nematic liquid crystal flows, for both the Ericksen-Leslie and Landau-de Gennes theories. This is done by using a minimal coupling argument that leads to an Euler-like equation for a modified vorticity involving both velocity and structure fields (e.g. director and alignment tensor). This equation for the modified vorticity shares many relevant properties with ideal fluid dynamics and it allows for vortex filament configurations as well as point vortices in 2D. We extend all these results to particles of arbitrary shape by considering systems with fully broken rotational symmetry.


title: Acoustic signatures in the Cosmic Microwave Background bispectrum from primordial magnetic fields

abstract: Using the full radiation transfer function, we numerically calculate the CMB angular bispectrum seeded by the compensated magnetic scalar density mode. We find that, for the string inspired primordial magnetic fields characterized by index $n_B=-2.9$ and mean-field amplitude $B_{\lam}=9{\rm nG}$, the angular bispectrum is dominated by two primordial magnetic shapes. The first magnetic shape looks similar to the one from local-type primordial curvature perturbations, so both the amplitude and profile of the Komatsu-Spergel estimator (reduced bispectrum) seeded by this shape are almost the same as those of the primary CMB anisotropies. However, for different parameter sets ($l_1,l_2$), this "local-type" reduced bispectrum oscillates around different asymptotic values in the high-$l_3$ regime because of the effect of the Lorentz force, which is exerted by the primordial magnetic fields on the charged baryons. This feature is different from the standard case where all modes approach to zero asymptotically in the high-$l$ limit. On the other hand, the second magnetic shape appears only in the primordial magnetic field model. The amplitude of the Komatsu-Spergel estimator sourced by the second shape diverges in the low-$l$ regime because of the negative slope of shape. In the high-$l$ regime, this amplitude is approximately equal to that of the first estimator, but with a reversal phase.


title: Multi-channel gas electron multiplier with metallic electrodes

abstract: The design of multi-channel gas electron multiplier (MGEM) with metallic electrodes is proposed, produced and tested. The electrodes of MGEM are produced from the brass plates with thickness of 1 mm, round openings of 1 mm in diameter and 1.5 mm steps between them. The gap between the electrodes is equal to 3 mm, while the total working area has a diameter of 20 mm. The neon gas fillings of the MWGEM chamber with micro admixtures of N_2 and H_2O have been tested. The total maximal coefficient of proportional multiplication of electrons in neon with admixture of (H_2O+N_2)<100 ppm of 30000 is obtained.


title: Running Scaling Dimensions in Holographic Renormalization Group Flows

abstract: Holographic renormalization group flows can be interpreted in terms of effective field theory. Based on such an interpretation, a formula for the running scaling dimensions of gauge-invariant operators along such flows is proposed. The formula is checked for some simple examples from the AdS/CFT correspondence, but can be applied also in non-AdS/non-CFT cases.


title: Analytic torsion, vortices and positive Ricci curvature

abstract: We characterize the global maximizers of a certain non-local functional defined on the space of all positively curved metrics on an ample line bundle L over a Kahler manifold X. This functional is an adjoint version, introduced by Berndtsson, of Donaldson's L-functional and generalizes the Ding-Tian functional whose critical points are Kahler-Einstein metrics of positive Ricci curvature. Applications to (1) analytic torsions on Fano manifolds (2) Chern-Simons-Higgs vortices on tori and (3) Kahler geometry are given. In particular, proofs of conjectures of (1) Gillet-Soul\'e and Fang (concerning the regularized determinant of Dolbeault Laplacians on the two-sphere) (2) Tarantello and (3) Aubin (concerning Moser-Trudinger type inequalities) in these three settings are obtained. New proofs of some results in Kahler geometry are also obtained, including a lower bound on Mabuchi's K-energy and the uniqueness result for Kahler-Einstein metrics on Fano manifolds of Bando-Mabuchi. This paper is a substantially extended version of the preprint arXiv:0905.4263 which it supersedes.


title: Resonances in Loewner equations

abstract: We prove that given a Herglotz vector field on the unit ball of $\mathbb{C}^n$ of the form $H(z,t)=(a_1 z_1,...,a_n z_n)+O(|z|^2)$ with $\Re a_j<0$ for all $j$, its evolution family admits an associated Loewner chain, which is normal if no real resonances occur. Hence the Loewner-Kufarev PDE admits a solution defined for all positive times.


title: On Rabi oscillations between Bloch bands

abstract: We study Rabi oscillations between the bands of an arbitrary biased superlattice in a tight-binding model. We reduce the problem to an equation of Whittaker--Hill type and, in absence of any known solutions in closed form, discuss different approximations to describe the oscillations between the Bloch bands. We identify regimes of weak and strong inter-band coupling and compare predictions for these Rabi oscillations to numerical results.


title: Mathematical model for coupling a quasi-unidimensional perfect flow

abstract: Nonlinear acoustics of wind instruments conducts to study unidimensional fluid flows. From physically relevant approximations that are modelized with the thin layer Navier Stokes equations, we propose a coupled model where perfect fluid flow is described by the Euler equations of gas dynamics and viscous and thermal boundary layer is modelized by a linear equation. We describe numerical discretization, validate the associated software by comparison with analytical solutions and consider musical application of strongly nonlinear waves in the trombone.


title: Imitation in Large Games

abstract: In games with a large number of players where players may have overlapping objectives, the analysis of stable outcomes typically depends on player types. A special case is when a large part of the player population consists of imitation types: that of players who imitate choice of other (optimizing) types. Game theorists typically study the evolution of such games in dynamical systems with imitation rules. In the setting of games of infinite duration on finite graphs with preference orderings on outcomes for player types, we explore the possibility of imitation as a viable strategy. In our setup, the optimising players play bounded memory strategies and the imitators play according to specifications given by automata. We present algorithmic results on the eventual survival of types.


title: Two-Domain DNA Strand Displacement

abstract: We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand. To preserve this structural invariant, we impose restrictions on the single strands they interact with: we consider only two-domain single strands consisting of one toehold domain and one recognition domain. We study fork and join signal-processing gates based on these structures, and we show that these systems are amenable to formalization and to mechanical verification.


title: Two Theories of Special Relativity ?

abstract: Recently, [3], it was shown that Special Relativity is in fact based on one single physical axiom which is that of Reciprocity. Originally, Einstein, [1], established Special Relativity on two physical axioms, namely, the Galilean Relativity and the Constancy of the Speed of Light in inertial reference frames. Soon after, [4,5], it was shown that the Galilean Relativity alone is sufficient for Special Relativity. Here it is important to note that, implicitly, three more assumptions have been used on space-time coordinate transformations, namely, the homogeneity of space-time, the isotropy of space, and a mathematical condition of smoothness type. In [3], a boundedness condition on space-time coordinate transformations is used instead of a usual mathematical smoothness type condition. In this paper it is shown that the respective boundedness condition is closely related to a Principle of Transformation Increment Ratio Limitation, or in short, PTIRL, which has an obvious physical meaning. It is also shown that PTIRL is {\it not} a stronger assumption than that of the mentioned boundedness in [3]. Of interest is the fact that, by formulating PTIRL as a physical axiom, the possibility is opened up for the acceptance, or on the contrary, rejection of this physical axiom PTIRL, thus leading to {\it two} possible theories of Special Relativity. And to add further likelihood to such a possibility, the rejection of PTIRL leads easily to effects which involve unlimited time and/or space intervals, thus are not accessible to usual experimentation for the verification of their validity, or otherwise.


title: Noncompactness and noncompleteness in isometries of Lipschitz spaces

abstract: We solve the following three questions concerning surjective linear isometries between spaces of Lipschitz functions $\mathrm{Lip}(X,E)$ and $\mathrm{Lip}(Y,F)$, for strictly convex normed spaces $E$ and $F$ and metric spaces $X$ and $Y$: \begin{enumerate} \item Characterize those base spaces $X$ and $Y$ for which all isometries are weighted composition maps. \item Give a condition independent of base spaces under which all isometries are weighted composition maps. \item Provide the general form of an isometry, both when it is a weighted composition map and when it is not. \end{enumerate} In particular, we prove that requirements of completeness on $X$ and $Y$ are not necessary when $E$ and $F$ are not complete, which is in sharp contrast with results known in the scalar context.


title: Bounding the Rate Region of Vector Gaussian Multiple Descriptions with Individual and Central Receivers

abstract: In this work, the rate region of the vector Gaussian multiple description problem with individual and central quadratic distortion constraints is studied. In particular, an outer bound to the rate region of the L-description problem is derived. The bound is obtained by lower bounding a weighted sum rate for each supporting hyperplane of the rate region. The key idea is to introduce at most L-1 auxiliary random variables and further impose upon the variables a Markov structure according to the ordering of the description weights. This makes it possible to greatly simplify the derivation of the outer bound. In the scalar Gaussian case, the complete rate region is fully characterized by showing that the outer bound is tight. In this case, the optimal weighted sum rate for each supporting hyperplane is obtained by solving a single maximization problem. This contrasts with existing results, which require solving a min-max optimization problem.


title: $p$-adic Beilinson conjecture for ordinary Hecke motives associated to imaginary quadratic fields

abstract: The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$.


title: Magneto-acoustic waves in sunspots: first results from a new 3D nonlinear magnetohydrodynamic code

abstract: Waves observed in the photosphere and chromosphere of sunspots show complex dynamics and spatial patterns. The interpretation of high-resolution sunspot wave observations requires modeling of three-dimensional non-linear wave propagation and mode transformation in the sunspot upper layers in realistic spot model atmospheres. Here we present the first results of such modeling. We have developed a 3D non-linear numerical code specially designed to calculate the response of magnetic structures in equilibrium to an arbitrary perturbation. The code solves the 3D nonlinear MHD equations for perturbations; it is stabilized by hyper-diffusivity terms and is fully parallelized. The robustness of the code is demonstrated by a number of standard tests. We analyze several simulations of a sunspot perturbed by pulses of different periods at subphotospheric level, from short periods, introduced for academic purposes, to longer and realistic periods of three and five minutes. We present a detailed description of the three-dimensional mode transformation in a non-trivial sunspot-like magnetic field configuration, including the conversion between fast and slow magneto-acoustic waves and the Alfv\'en wave, by calculation of the wave energy fluxes. Our main findings are the following: (1) the conversion from acoustic to the Alfv\'en mode is only observed if the the driving pulse is located out of the sunspot axis, but this conversion is energetically inefficient; (2) as a consequence of the cut-off effects and refraction of the fast magneto-acoustic mode, the energy of the evanescent waves with periods around 5 minutes remains almost completely below the level beta=1; (3) waves with frequencies above the cut-off propagate field-aligned to the chromosphere and their power becomes dominating over that of evanescent 5-minute oscillations, in agreement with observations.


title: Dynamical Density Fluctuation of Superfluids near Critical Velocities

abstract: We propose a stability criterion of superfluids in condensed Bose-Einstein systems, which incorporates the spectral function or the autocorrelation function of the local density. Within the Gross-Pitaevskii-Bogoliubov theory, we demonstrate the validity of our criterion for the soliton-emission instability, with use of explicit forms of zero modes of the Bogoliubov equation and a dynamical scaling near the saddle-node bifurcation. We also show that the criterion is applicable to the Landau phonon instability and the Landau roton instability within the single-mode approximation.


title: Normal forms approach to diffusion near hyperbolic equilibria

abstract: We consider the exit problem for small white noise perturbation of a smooth dynamical system on the plane in the neighborhood of a hyperbolic critical point. We show that if the distribution of the initial condition has a scaling limit then the exit distribution and exit time also have a joint scaling limit as the noise intensity goes to zero. The limiting law is computed explicitly. The result completes the theory of noisy heteroclinic networks in two dimensions. The analysis is based on normal forms theory.


title: On the location of spectral edges in $\mathbb{Z}$-periodic media

abstract: Periodic $2$nd order ordinary differential operators on $\R$ are known to have the edges of their spectra to occur only at the spectra of periodic and antiperiodic boundary value problems. The multi-dimensional analog of this property is false, as was shown in a 2007 paper by some of the authors of this article. However, one sometimes encounters the claims that in the case of a single periodicity (i.e., with respect to the lattice $\mathbb{Z}$), the $1D$ property still holds, and spectral edges occur at the periodic and anti-periodic spectra only. In this work we show that even in the simplest case of quantum graphs this is not true. It is shown that this is true if the graph consists of a $1D$ chain of finite graphs connected by single edges, while if the connections are formed by at least two edges, the spectral edges can already occur away from the periodic and anti-periodic spectra.


title: Free energy Sequential Monte Carlo, application to mixture modelling

abstract: We introduce a new class of Sequential Monte Carlo (SMC) methods, which we call free energy SMC. This class is inspired by free energy methods, which originate from Physics, and where one samples from a biased distribution such that a given function $\xi(\theta)$ of the state $\theta$ is forced to be uniformly distributed over a given interval. From an initial sequence of distributions $(\pi_t)$ of interest, and a particular choice of $\xi(\theta)$, a free energy SMC sampler computes sequentially a sequence of biased distributions $(\tilde{\pi}_{t})$ with the following properties: (a) the marginal distribution of $\xi(\theta)$ with respect to $\tilde{\pi}_{t}$ is approximatively uniform over a specified interval, and (b) $\tilde{\pi}_{t}$ and $\pi_{t}$ have the same conditional distribution with respect to $\xi$. We apply our methodology to mixture posterior distributions, which are highly multimodal. In the mixture context, forcing certain hyper-parameters to higher values greatly faciliates mode swapping, and makes it possible to recover a symetric output. We illustrate our approach with univariate and bivariate Gaussian mixtures and two real-world datasets.


title: Hypercritical accretion onto a magnetized neutron star surface: a numerical approach

abstract: The properties of a new-born neutron star, produced in a core-collapse supernova, can be strongly affected by the possible late fallback which occurs several hours after the explosion. This accretion occurs in the regime dominated by neutrino cooling, explored initially in this context by Chevalier (1989). Here we revisit this approach in a 1D spherically symmetric model and carry out numerical simulations in 2D in an accretion column onto a neutron star considering detailed microphysics, neutrino cooling and the presence of magnetic fields in ideal MHD. We compare our numerical results to the analytic solutions and explore how the purely hydrodynamical as well as the MHD solutions differ from them, and begin to explore how this may affect the appearance of the remnant as a typical radio pulsar.


title: The approach to vortex reconnection

abstract: We present numerical solutions of the Gross--Pitaevskii equation corresponding to reconnecting vortex lines. We determine the separation of vortices as a function of time during the approach to reconnection, and study the formation of pyramidal vortex structures. Results are compared with analytical work and numerical studies based on the vortex filament method.


title: Extension of the Poincar\'e Group and Non-Abelian Tensor Gauge Fields

abstract: In the recently proposed generalization of the Yang-Mills theory the group of gauge transformation gets essentially enlarged. This enlargement involves an elegant mixture of the internal and space-time symmetries. The resulting group is an extension of the Poincar\'e group with infinitely many generators which carry internal and space-time indices. This is similar to the super-symmetric extension of the Poincar\'e group, where instead of an anti-commuting spinor variable one should introduce a new vector variable. The construction of irreducible representations of the extended Poincar\'e algebra identifies a vector variable with the derivative of the Pauli-Lubanski vector over its length. As a result of this identification the generators of the gauge group have nonzero components only in the plane transversal to the momentum and are projecting out non-Abelian tensor gauge fields into the transversal plane, keeping only their positively definite space-like components.


title: Ultracold RbSr molecules can be formed by magnetoassociation

abstract: We investigate the interactions between ultracold alkali metal atoms and closed-shell atoms using electronic structure calculations on the prototype system Rb+Sr. There are molecular bound states that can be tuned across atomic thresholds with magnetic field, and there are previously neglected terms in the collision Hamiltonian that can produce zero-energy Feshbach resonances with significant widths. The largest effect comes from the interaction-induced variation of the Rb hyperfine coupling. The resonances may be used to form paramagnetic polar molecules if the magnetic field can be controlled precisely enough.


title: Exclusive $b \bar b$ pair production and irreducible background to the exclusive Higgs boson production

abstract: We calculated the cross section for the exclusive double diffractive $b\bar b$ production in $pp\to p(b\bar b)p$ reaction at LHC. Large cross sections are obtained (3 -- 10 nb). This process constitutes the irreducible background to the exclusive Higgs production and is of particular importance in the upcoming Higgs boson searches. The distribution in invariant mass of the $b \bar b$ pair is calculated and compared with the corresponding contribution from the Higgs decay. The contribution from the exclusive production of $Z^0$ and its decay as well as the contribution from the $\gamma \gamma \to b \bar b$ subprocess are also presented for the first time. The influence of cuts on the signal-to-background ratio is discussed.


title: Comparing cavity and ordinary laser cooling within the Lamb-Dicke regime

abstract: Cavity-mediated cooling has the potential to become one of the most efficient techniques to cool molecular species down to very low temperatures. In this paper we analyse cavity cooling with single-laser driving for relatively large cavity decay rates kappa and relatively large phonon frequencies nu. It is shown that cavity cooling and ordinary laser cooling are essentially the same within the validity range of the Lamb-Dicke approximation. This is done by deriving a closed set of rate equations and calculating the corresponding stationary state phonon number and cooling rate. For example, when nu is either much larger or much smaller than kappa, the minimum stationary state phonon number scales as kappa^2/16 nu^2 (strong confinement regime) and as kappa / 4 nu (weak confinement regime), respectively.


title: Universal Loop-Free Super-Stabilization

abstract: We propose an univesal scheme to design loop-free and super-stabilizing protocols for constructing spanning trees optimizing any tree metrics (not only those that are isomorphic to a shortest path tree). Our scheme combines a novel super-stabilizing loop-free BFS with an existing self-stabilizing spanning tree that optimizes a given metric. The composition result preserves the best properties of both worlds: super-stabilization, loop-freedom, and optimization of the original metric without any stabilization time penalty. As case study we apply our composition mechanism to two well known metric-dependent spanning trees: the maximum-flow tree and the minimum degree spanning tree.


title: Five-Dimensional Tangent Vectors in Space-Time: VI. Bivector Derivative and Its Application

abstract: This is the sixth, concluding part of a series of papers the first five of which have been submitted to the present archive in mid 1998 and published as INR preprints in 1999. The present paper was printed as an INR preprint, too, but for nonscientific reasons was never made public in any form, electronic or hard-copy. In it I define the bivector derivative for four- and five-vector fields in the case of arbitrary Riemannian geometry; examine a more general case of five-vector affine connection; introduce the five-vector analog of the curvature tensor; and consider a possible five-vector generalization of the Einstein and Kibble-Sciama equations. In conclusion, I define the bivector derivative for the fields of nonspacetime vectors and tensors and derive a possible five-vector generalization of Maxwell's equation.


title: Modification of black-body radiance at low temperatures and frequencies

abstract: In contrast to earlier reports, where the spectrum of the {\sl energy density} of photonic black-body radiation modified by SU(2) effects was discussed, we discuss the low-frequency spectrum of the {\sl radiance} at temperatures ranging between 5 and 20 Kelvin. We conclude that compared to the conventional theory the only observable effect is associated with the spectral gap (total screening). We also discuss how a low-temperature black body cavity under the influence of a sufficiently strong static electric field is forced to emit according to Planck's radiation law (pure U(1) theory) even at low frequencies and how this effect can be utilized to measure SU(2) induced deviations.


title: Interest Point Detection for Reconstruction in High Granularity Tracking Detectors

abstract: This paper presents an investigation of the use of interest point detection algorithms from image processing applied to reconstruction of interactions in high granularity tracking detectors. Their purpose is to extract keypoints from the data as input to higher level reconstruction algorithms, replacing the role of human operators in event selection and reconstruction guidance. Simulations of nu_mu charged current events in a small liquid argon time projection chamber are used as a concrete example of a modern high granularity tracking detector. Data from the simulations are used to characterize the localization of interest points to physical features and the efficiency of finding interest points associated with the primary vertex and track ends is measured. A high degree of localization is found, with 93% of detected interest points found within 5mm of a physical feature. Working in two 2D projections, the primary vertex and both track ends are found in both projections in 85% of events. It is also shown that delta electrons can be detected.


title: Two New Interpretations of the Fishburn Numbers and their Refined Generating Functions

abstract: We show that two classes of combinatorial objects--inversion tables with no subsequence of decreasing consecutive numbers and matchings with no 2-nestings--are enumerated by the Fishburn numbers. In particular, we give a simple bijection between matchings with no 2-nestings and inversion tables with no subsequence of decreasing consecutive numbers. We then prove using the involution principle that inversion tables with no subsequence of decreasing consecutive numbers have the same generating function as the Fishburn numbers. The Fishburn numbers have previously been shown by Bousquet-M\'elou, Claesson, Dukes and Kitaev to enumerate $\textbf{(2+2)}$-avoiding posets, matchings with no left- or right-nestings, permutations avoiding a particular pattern, and so-called ascent sequences, and by Dukes and Parviainen to enumerate upper triangular matrices with non-negative entries and no empty rows or columns. Claesson and Linusson conjectured they also enumerated matchings with no 2-nestings. Using these new interpretations of the Fishburn numbers and another version of the involution, we prove the conjectured equality (also proven using matrices by Jel\'{\i}nek and by Yan) of two refinements by Remmel and Kitaev of the Fishburn generating function. In an appendix, we state and prove another conjecture of Claesson and Linusson giving the distribution of left-nestings over the set of all matchings.


title: Hopf-Galois objects and cogroupoids

abstract: We survey some aspects of the theory of Hopf-Galois objects that may studied advantageously by using the language of cogroupoids. These are the notes for a series of lectures given at Cordoba University, may 2010. The lectures are part of the course ``Hopf-Galois theory'' by Sonia Natale.


title: $W$ Boson Production in Polarized p+p Collisions at RHIC

abstract: The production of $W^{\pm}$ bosons in longitudinally polarized $\vec{p}+\vec{p}$ collisions at RHIC provides a new means of studying the spin-flavor asymmetries of the proton sea quark distributions. Details of the $W^{\pm}$ event selection in the $e^{\pm}$ decay channel at mid-rapidity are presented, along with preliminary results for the production cross section and parity-violating single-spin asymmetry, $A_L$, from the STAR Collaboration's 2009 data at $\sqrt{s}=500$ GeV.


title: Fluorographene: Two Dimensional Counterpart of Teflon

abstract: We report a stoichiometric derivative of graphene with a fluorine atom attached to each carbon. Raman, optical, structural, micromechanical and transport studies show that the material is qualitatively different from the known graphene-based nonstoichiometric derivatives. Fluorographene is a high-quality insulator (resistivity >10^12 Ohm per square) with an optical gap of 3 eV. It inherits the mechanical strength of graphene, exhibiting Young's modulus of 100 N/m and sustaining strains of 15%. Fluorographene is inert and stable up to 400C even in air, similar to Teflon.


title: A hands-on Assessment of Transport Protocols with Lower than Best Effort Priority

abstract: Last year, the official BitTorrent client switched to LEDBAT, a new congestion control algorithm targeting a lower-than Best Effort transport service. In this paper, we study this new protocol through packet-level simulations, with a special focus on a performance comparison with other lower-than Best Effort protocols such as TCP-LP and TCP-NICE: our aim is indeed to quantify and relatively weight the level of Low-priority provided by such protocols. Our results show that LEDBAT transport generally achieves the lowest possible level of priority, with the default configurations of TCP-NICE and TCP-LP representing increasing levels of aggressiveness. In addition, we perform a careful sensitivity analysis of LEDBAT performance, by tuning its main parameters in both inter-protocol (against TCP) and intra-protocol (against LEDBAT itself) scenarios. In the inter-protocol case, although in case of misconfiguration LEDBAT competes as aggressively as TCP, however we show that it is not possible to achieve an arbitrary level of low-priority by merely tuning its parameters. In the intra-protocol case, we show that coexistence of legacy flows with slightly dissimilar settings, or experiencing different network conditions, can result in significant unfairness.


title: The quest for LEDBAT fairness

abstract: BitTorrent developers have recently introduced a new application layer congestion control algorithm based on UDP framing at transport layer and currently under definition at the IETF LEDBAT Working Group. LEDBAT is a delay-based protocol which aims at offering a "lower than Best Effort" data transfer service, with a lower priority with respect to elastic TCP and interactive traffic (e.g., VoIP, game). However, in its current specification, LEDBAT is affected by a late-comer advantage: indeed the last flow arriving at the bottleneck is more aggressive due to a wrong estimation of the base delay and finally takes over all resources. In this work, we study several solutions to the late-comer problem by means of packet level simulations and simple analysis: in the investigation process, we individuate the root cause for LEDBAT unfairness and propose effective countermeasures.


title: How good are your fits? Unbinned multivariate goodness-of-fit tests in high energy physics

abstract: Multivariate analyses play an important role in high energy physics. Such analyses often involve performing an unbinned maximum likelihood fit of a probability density function (p.d.f.) to the data. This paper explores a variety of unbinned methods for determining the goodness of fit of the p.d.f. to the data. The application and performance of each method is discussed in the context of a real-life high energy physics analysis (a Dalitz-plot analysis). Several of the methods presented in this paper can also be used for the non-parametric determination of whether two samples originate from the same parent p.d.f. This can be used, e.g., to determine the quality of a detector Monte Carlo simulation without the need for a parametric expression of the efficiency.


title: Bounded Search Tree Algorithms for Parameterized Cograph Deletion: Efficient Branching Rules by Exploiting Structures of Special Graph Classes

abstract: Many fixed-parameter tractable algorithms using a bounded search tree have been repeatedly improved, often by describing a larger number of branching rules involving an increasingly complex case analysis. We introduce a novel and general search strategy that branches on the forbidden subgraphs of a graph class relaxation. By using the class of $P_4$-sparse graphs as the relaxed graph class, we obtain efficient bounded search tree algorithms for several parameterized deletion problems. We give the first non-trivial bounded search tree algorithms for the cograph edge-deletion problem and the trivially perfect edge-deletion problems. For the cograph vertex deletion problem, a refined analysis of the runtime of our simple bounded search algorithm gives a faster exponential factor than those algorithms designed with the help of complicated case distinctions and non-trivial running time analysis [21] and computer-aided branching rules [11].


title: A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

abstract: Different notions of equivalence, such as the prominent notions of strong and uniform equivalence, have been studied in Answer-Set Programming, mainly for the purpose of identifying programs that can serve as substitutes without altering the semantics, for instance in program optimization. Such semantic comparisons are usually characterized by various selections of models in the logic of Here-and-There (HT). For uniform equivalence however, correct characterizations in terms of HT-models can only be obtained for finite theories, respectively programs. In this article, we show that a selection of countermodels in HT captures uniform equivalence also for infinite theories. This result is turned into coherent characterizations of the different notions of equivalence by countermodels, as well as by a mixture of HT-models and countermodels (so-called equivalence interpretations). Moreover, we generalize the so-called notion of relativized hyperequivalence for programs to propositional theories, and apply the same methodology in order to obtain a semantic characterization which is amenable to infinite settings. This allows for a lifting of the results to first-order theories under a very general semantics given in terms of a quantified version of HT. We thus obtain a general framework for the study of various notions of equivalence for theories under answer-set semantics. Moreover, we prove an expedient property that allows for a simplified treatment of extended signatures, and provide further results for non-ground logic programs. In particular, uniform equivalence coincides under open and ordinary answer-set semantics, and for finite non-ground programs under these semantics, also the usual characterization of uniform equivalence in terms of maximal and total HT-models of the grounding is correct, even for infinite domains, when corresponding ground programs are infinite.


title: An Accurate Numerical Solution to the Kinetics of Breakable Filament Assembly

abstract: Proteinaceous aggregation occurs through self-assembly-- a process not entirely understood. In a recent article [1], an analytical theory for amyloid fibril growth via secondary rather than primary nucleation was presented. Remarkably, with only a single kinetic parameter, the authors were able to unify growth characteristics for a variety of experimental data. In essence, they seem to have uncovered the underlying allometric laws governing the evolution of filament elongation simply from two coupled non-linear ordinary differential equations (ODEs) stemming from a master equation. While this work adds significantly to our understanding of filament self-assembly, it required an approximate analytical solution representation. Here, we show that the same results are found by purely numerical means once a straightforward and reliable numerical solution to the set of ODEs has been established.


title: SPM Bulletin 30

abstract: This is the 30th issue of this bulletin, dedicated to mathematical selection principles and related areas. Now in a concise format.


title: Josephson tunneling of dark solitons in a double-well potential

abstract: We study the dynamics of matter waves in an effectively one-dimensional Bose-Einstein condensate in a double well potential. We consider in particular the case when one of the double wells confines excited states. Similarly to the known ground state oscillations, the states can tunnel between the wells experiencing the physics known for electrons in a Josephson junction, or be self-trapped. As the existence of dark solitons in a harmonic trap are continuations of such non-ground state excitations, one can view the Josephson-like oscillations as tunnelings of dark solitons. Numerical existence and stability analysis based on the full equation is performed, where it is shown that such tunneling can be stable. Through a numerical path following method, unstable tunneling is also obtained in different parameter regions. A coupled-mode system is derived and compared to the numerical observations. Regions of (in)stability of Josephson tunneling are discussed and highlighted. Finally, we outline an experimental scheme designed to explore such dark soliton dynamics in the laboratory.


title: Some congruences for trinomial coefficients

abstract: We prove several congruences for trinomial coefficients.


title: Planetary transit timing variations induced by stellar binarity. The light travel time effect

abstract: [ABRIDGED] Since the discovery of the first transiting extrasolar planet, transit timing has been recognized as a powerful method to discover and characterize additional planets in these systems. However, the gravitational influence of additional planets is not the only expected source of transit timing variations. In this work, we derive the expected detection frequency of stellar companions of hot-jupiter transiting planets host-stars, detectable by means of transit timing analysis. Since roughly half of the stars in the solar neighborhood belong to binary or multiple stellar systems, the same fraction of binary systems may be expected to be present among transiting planet-host stars, unless planet formation is significantly influenced by the presence of a stellar companion. Transit searches are less affected by the selection biases against long-period binaries that plague radial velocity surveys. If the frequency of binaries among hot-jupiter planets host stars is the same as determined in the solar neighborhood, after 5 years since the discovery of a sample of transiting planets 1.0%+/-0.2% of them have a probability >99% to present transit timing variations >50 sec induced by stellar binarity, and 2.8%+/-0.3% after 10 years, if the planetary and binary orbits are coplanar. Considering the case of random inclinations the probabilities are 0.6%+/-0.1% and 1.7%+/-0.2% after 5 and 10 years respectively. Our estimates can be considered conservative lower limits, since we have taken into account only binaries with periods P>5x10^3 days (a>=6 AU). Our simulations indicate that transit timing variations due to the light travel time effect allow discovery of stellar companions up to maximum separations equal to a\sim36 AU after 5 years since the discovery of the planet (a\sim75 AU after 10 years).


title: Algebraic Theories over Nominal Sets

abstract: We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.


title: Representation formula for the entropy and functional inequalities

abstract: We prove a stochastic formula for the Gaussian relative entropy in the spirit of Borell's formula for the Laplace transform. As an application, we give unified and short proofs of a number of functional inequalities.


title: Universal Local symmetries and non-superposition in classical mechanics

abstract: In the Hilbert space formulation of classical mechanics (CM), pioneered by Koopman and von Neumann (KvN), there are potentially more observables that in the standard approach to CM. In this paper we show that actually many of those extra observables are not invariant under a set of universal local symmetries which appear once the KvN is extended to include the evolution of differential forms. Because of their non-invariance, those extra observables have to be removed. This removal makes the superposition of states in KvN, and as a consequence also in CM, impossible.


title: Satisfiability Thresholds for k-CNF Formula with Bounded Variable Intersections

abstract: We determine the thresholds for the number of variables, number of clauses, number of clause intersection pairs and the maximum clause degree of a k-CNF formula that guarantees satisfiability under the assumption that every two clauses share at most $\alpha$ variables. More formally, we call these formulas $\alpha$-intersecting and define, for example, a threshold $\mu_i(k,\alpha)$ for the number of clause intersection pairs $i$, such that every $\alpha$-intersecting k-CNF formula in which at most $\mu_i(k,\alpha)$ pairs of clauses share a variable is satisfiable and there exists an unsatisfiable $\alpha$-intersecting k-CNF formula with $\mu_m(k,\alpha)$ such intersections. We provide a lower bound for these thresholds based on the Lovasz Local Lemma and a nearly matching upper bound by constructing an unsatisfiable k-CNF to show that $\mu_i(k,\alpha) = \tilde{\Theta}(2^{k(2+1/\alpha)})$. Similar thresholds are determined for the number of variables ($\mu_n = \tilde{\Theta}(2^{k/\alpha})$) and the number of clauses ($\mu_m = \tilde{\Theta}(2^{k(1+\frac{1}{\alpha})})$) (see [Scheder08] for an earlier but independent report on this threshold). Our upper bound construction gives a family of unsatisfiable formula that achieve all four thresholds simultaneously.


title: Note on a new fundamental length scale $l$ instead of the Newtonian constant $G$

abstract: The newly proposed entropic gravity suggests gravity as an emergent force rather than a fundamental one. In this approach, the Newtonian constant $G$ does not play a fundamental role any more, and a new fundamental constant is required to replace its position. This request also arises from some philosophical considerations to contemplate the physical foundations for the unification of theories. We here consider the suggestion to derive $G$ from more fundamental quantities in the presence of a new fundamental length scale $l$, which is suspected to originate from the structure of quantum space-time, and can be measured directly from Lorentz-violating observations. Our results are relevant to the fundamental understanding of physics, and more practically, of natural units, as well as explanations of experimental constraints in searching for Lorentz violation.


title: Maximal violation of the I3322 inequality using infinite dimensional quantum systems

abstract: The I3322 inequality is the simplest bipartite two-outcome Bell inequality beyond the Clauser-Horne-Shimony-Holt (CHSH) inequality, consisting of three two-outcome measurements per party. In case of the CHSH inequality the maximal quantum violation can already be attained with local two-dimensional quantum systems, however, there is no such evidence for the I3322 inequality. In this paper a family of measurement operators and states is given which enables us to attain the largest possible quantum value in an infinite dimensional Hilbert space. Further, it is conjectured that our construction is optimal in the sense that measuring finite dimensional quantum systems is not enough to achieve the true quantum maximum. We also describe an efficient iterative algorithm for computing quantum maximum of an arbitrary two-outcome Bell inequality in any given Hilbert space dimension. This algorithm played a key role to obtain our results for the I3322 inequality, and we also applied it to improve on our previous results concerning the maximum quantum violation of several bipartite two-outcome Bell inequalities with up to five settings per party.