title: Pairing the Volcano

abstract: Isogeny volcanoes are graphs whose vertices are elliptic curves and whose edges are $\ell$-isogenies. Algorithms allowing to travel on these graphs were developed by Kohel in his thesis (1996) and later on, by Fouquet and Morain (2001). However, up to now, no method was known, to predict, before taking a step on the volcano, the direction of this step. Hence, in Kohel's and Fouquet-Morain algorithms, many steps are taken before choosing the right direction. In particular, ascending or horizontal isogenies are usually found using a trial-and-error approach. In this paper, we propose an alternative method that efficiently finds all points $P$ of order $\ell$ such that the subgroup generated by $P$ is the kernel of an horizontal or an ascending isogeny. In many cases, our method is faster than previous methods. This is an extended version of a paper published in the proceedings of ANTS 2010. In addition, we treat the case of 2-isogeny volcanoes and we derive from the group structure of the curve and the pairing a new invariant of the endomorphism class of an elliptic curve. Our benchmarks show that the resulting algorithm for endomorphism ring computation is faster than Kohel's method for computing the $\ell$-adic valuation of the conductor of the endomorphism ring for small $\ell$.


title: Multidimensional renewal theory in the non-centered case. Application to strongly ergodic Markov chains

abstract: Let $(S_n)_n$ be a $R^d$-valued random walk ($d\geq2$). Using Babillot's method [2], we give general conditions on the characteristic function of $S_n$ under which $(S_n)_n$ satisfies the same renewal theorem as the classical one obtained for random walks with i.i.d. non-centered increments. This statement is applied to additive functionals of strongly ergodic Markov chains under the non-lattice condition and (almost) optimal moment conditions.


title: Sharp Trace Hardy-Sobolev-Maz'ya Inequalities and the Fractional Laplacian

abstract: In this work we establish trace Hardy and trace Hardy-Sobolev-Maz'ya inequalities with best Hardy constants, for domains satisfying suitable geometric assumptions such as mean convexity or convexity. We then use them to produce fractional Hardy-Sobolev-Maz'ya inequalities with best Hardy constants for various fractional Laplacians. In the case where the domain is the half space our results cover the full range of the exponent $s \in (0,1)$ of the fractional Laplacians. We answer in particular an open problem raised by Frank and Seiringer \cite{FS}.


title: Hamiltonian description and traveling waves of the spatial Dysthe equations

abstract: The spatial version of the fourth-order Dysthe equations describe the evolution of weakly nonlinear narrowband wave trains in deep waters. For unidirectional waves, the hidden Hamiltonian structure and new invariants are unveiled by means of a gauge transformation to a new canonical form of the evolution equations. A highly accurate Fourier-type spectral scheme is developed to solve for the equations and validate the new conservation laws, which are satisfied up to machine precision. Further, traveling waves are numerically investigated using the Petviashvili method. It is found that their collision appears inelastic, suggesting the non-integrability of the Dysthe equations.

categories: physics.class-ph nlin.PS physics.ao-ph physics.comp-ph physics.flu-dyn


title: Convergence to equilibrium in Wasserstein distance for Fokker-Planck equations

abstract: We describe conditions on non-gradient drift diffusion Fokker-Planck equations for its solutions to converge to equilibrium with a uniform exponential rate in Wasserstein distance. This asymptotic behaviour is related to a functional inequality, which links the distance with its dissipation and ensures a spectral gap in Wasserstein distance. We give practical criteria for this inequality and compare it to classical ones. The key point is to quantify the contribution of the diffusion term to the rate of convergence, which to our knowledge is a novelty.


title: Electronic and Thermoelectric Properties of RuIn_{3-x}A_{x} (A = Sn, Zn)

abstract: Recently, we reported [M. Wagner et al., J. Mater. Res. 26, 1886 (2011)] transport measurements on the semiconducting intermetallic system RuIn3 and its substitution derivatives RuIn_{3-x}A_{x} (A = Sn, Zn). Higher values of the thermoelectric figure of merit (zT = 0.45) compared to the parent compound were achieved by chemical substitution. Here, using density functional theory based calculations, we report on the microscopic picture behind the measured phenomenon. We show in detail that the electronic structure of the substitution variants of the intermetallic system RuIn_{3-x}A_{x} (A = Sn, Zn) changes in a rigid-band like fashion. This behavior makes possible the fine tuning of the substitution concentration to take advantage of the sharp peak-like features in the density of states of the semiconducting parent compound. Trends in the transport properties calculated using the semi-classical Boltzmann transport equations within the constant scattering time approximation are in good agreement with the former experimental results for RuIn_{3-x}Sn_{x}. Based on the calculated thermopower for the p-doped systems, we reinvestigated the Zn-substituted derivative and obtained ZnO-free RuIn_{3-x}Zn_{x}. The new experimental results are consistent with the calculated trend in thermopower and yield large zT value of 0.8.


title: Stabilization of the surface CDW order parameter by long-range Coulomb interaction

abstract: We study theoretically formation of two-dimensional (2D) charge density wave (CDW) in a system of conducting chains at the surface of an insulator due to interaction of quasi 1D surface electrons with phonons. We show that the unscreened long-range Coloumb interaction between the charges induced by fluctuations of the CDW phase stabilizes the finite order parameter value at finite temperatures, and thus the long-range order (LRO) exists. In the case of screened Coloumb interaction the phase fluctuations suppress the phase transition, but decay of the order parameter is rather slow, it obeys a power-law $<\Delta^*(r) \Delta(0)> \propto r^{-\gamma}$ with small exponent $\gamma$


abstract: We call a pair (K, m) of a knot K in the 3-sphere S^3 and an integer m a Seifert fibered surgery if m-surgery on K yields a Seifert fiber space. For most known Seifert fibered surgeries (K, m), K can be embedded in a genus 2 Heegaard surface of S^3 in a primitive/Seifert position, the concept introduced by Dean as a natural extension of primitive/primitive position defined by Berge. Recently Guntel has given an infinite family of Seifert fibered surgeries each of which has distinct primitive/Seifert positions. In this paper we give yet other infinite families of Seifert fibered surgeries with distinct primitive/Seifert positions from a different point of view. In particular, we can choose such Seifert surgeries (K, m) so that K is a hyperbolic knot whose complement S^3 - K has an arbitrarily large volume.


title: Reflectivity and transmissivity of an optical cavity coupled to two-level atoms: Coherence properties and the influence of atomic phase noise

abstract: We consider N identical two-level atoms coupled to an optical cavity, which is coherently driven by an external field. In the limit of small atomic excitation, the reflection and transmission coefficients for both fields and intensities are calculated analytically. In addition, the frequency content of the cavity field and hence also the emission spectrum of the cavity is determined. It is discussed in particular how individual collisional dephasing and common atomic energy-level fluctuations prevent the cavity field from being in a coherent state, which in turn affects the outgoing fields.


title: A VIMOS spectroscopy of photometric variables and straggler candidates in omega Centauri

abstract: We report a spectroscopic study of 19 photometric variables and 55 blue, yellow and red straggler candidates in the field of omega Centauri. We confirm the cluster membership of 18 variables and 54 straggler candidates. Velocity variations are detected in 22 objects, and another 17 objects are classified as suspected of being velocity-variable. Velocity data of 11 photometric variables phase with their photometric periods, however none of these objects has a mass function indicating the presence of a massive degenerate component. Based on both photometric and spectroscopic data we find that the fraction of binaries among blue stragglers may be as high as 69 per cent.


title: Integral identities for a semi-infinite interfacial crack in 2D and 3D elasticity

abstract: The paper is concerned with the problem of a semi-infinite crack at the interface between two dissimilar elastic half-spaces, loaded by a general asymmetrical system of forces distributed along the crack faces. On the basis of the weight function approach and the fundamental reciprocal identity (Betti formula), we formulate the elasticity problem in terms of singular integral equations relating the applied loading and the resulting crack opening. Such formulation is fundamental in the theory of elasticity and extensively used to solve several problems in linear elastic fracture mechanics (for instance various classic crack problems in homogeneous and heterogeneous media). This formulation is also crucial in important recent multiphysics applications, where the elastic problem is coupled with other concurrent physical phenomena. A paradigmatic example is hydraulic fracturing, where the elasticity equations are coupled with fluid dynamics.


title: Fountain-driven gas accretion by the Milky Way

abstract: Accretion of fresh gas at a rate of ~ 1 M_{sun} yr^{-1} is necessary in star-forming disc galaxies, such as the Milky Way, in order to sustain their star-formation rates. In this work we present the results of a new hydrodynamic simulation supporting the scenario in which the gas required for star formation is drawn from the hot corona that surrounds the star-forming disc. In particular, the cooling of this hot gas and its accretion on to the disc are caused by the passage of cold galactic fountain clouds through the corona.


title: Regularity for radial solutions of degenerate fully nonlinear equations

abstract: In this paper we prove Holder regularity of the derivative of radial solutions to fully nonlinear equations when the operator is hessian, homogenous of degree 1 in the Hessian, homogenous of some degree $\alpha>-1$ in the gradient and which is elliptic when the gradient is not null.


title: Anomalies and Transport Coefficients: The Chiral Gravito-Magnetic Effect

abstract: Axial anomalies give rise to interesting new transport phenomena such as the "chiral magnetic effect". We discuss how the associated transport coefficients can be studied via Kubo formulas at weak and strong coupling, the latter via gauge gravity duality. We argue for a new "chiral gravito-magnetic" (or vortical) effect sensitive to the presence of mixed gauge-gravitational anomalies.


title: Optimal value functions for weakly coupled systems: a posteriori estimates

abstract: We consider weakly coupled LQ optimal control problems and derive estimates on the sensitivity of the optimal value function in dependence of the coupling strength. In order to improve these sensitivity estimates a "coupling adapted" norm is proposed. Our main result is that if a weak coupling suffices to destabilize the closed loop system with the optimal feedback of the uncoupled system then the value function might change drastically with the coupling. As a consequence, it is not reasonable to expect that a weakly coupled system possesses a weakly coupled optimal value function. Also, for a known result on the connection of the separation operator and the stability radius a new and simpler proof is given.


title: Failure of the Maxwell relation for the quantification of caloric effects in ferroic materials

abstract: Giant caloric effects were reported in elasto-, electro- and magnetocaloric materials near phase transformations. Commonly, their entropy change is indirectly evaluated by a Maxwell relation. We report the fundamental failure of this approach. We analyze exemplarily the Ni-Mn-Ga magnetic shape memory alloy. An applied field results in magnetically induced reorientation of martensitic variants, which form during the phase transformation. This results in a spurious magnetocaloric effect, which only disappears when repeating the measurement a second time. This failure is universal as the vector character of the applied field is not considered in the common scalar evaluation of a Maxwell relation.


title: The origin of large molecules in primordial autocatalytic reaction networks

abstract: Large molecules such as proteins and nucleic acids are crucial for life, yet their primordial origin remains a major puzzle. The production of large molecules, as we know it today, requires good catalysts, and the only good catalysts we know that can accomplish this task consist of large molecules. Thus the origin of large molecules is a chicken and egg problem in chemistry. Here we present a mechanism, based on autocatalytic sets (ACSs), that is a possible solution to this problem. We discuss a mathematical model describing the population dynamics of molecules in a stylized but prebiotically plausible chemistry. Large molecules can be produced in this chemistry by the coalescing of smaller ones, with the smallest molecules, the `food set', being buffered. Some of the reactions can be catalyzed by molecules within the chemistry with varying catalytic strengths. Normally the concentrations of large molecules in such a scenario are very small, diminishing exponentially with their size. ACSs, if present in the catalytic network, can focus the resources of the system into a sparse set of molecules. ACSs can produce a bistability in the population dynamics and, in particular, steady states wherein the ACS molecules dominate the population. However to reach these steady states from initial conditions that contain only the food set typically requires very large catalytic strengths, growing exponentially with the size of the catalyst molecule. We present a solution to this problem by studying `nested ACSs', a structure in which a small ACS is connected to a larger one and reinforces it. We show that when the network contains a cascade of nested ACSs with the catalytic strengths of molecules increasing gradually with their size (e.g., as a power law), a sparse subset of molecules including some very large molecules can come to dominate the system.

categories: nlin.AO physics.bio-ph q-bio.MN q-bio.PE


title: Playing Mastermind With Constant-Size Memory

abstract: We analyze the classic board game of Mastermind with $n$ holes and a constant number of colors. A result of Chv\'atal (Combinatorica 3 (1983), 325-329) states that the codebreaker can find the secret code with $\Theta(n / \log n)$ questions. We show that this bound remains valid if the codebreaker may only store a constant number of guesses and answers. In addition to an intrinsic interest in this question, our result also disproves a conjecture of Droste, Jansen, and Wegener (Theory of Computing Systems 39 (2006), 525-544) on the memory-restricted black-box complexity of the OneMax function class.


title: The sunspot observations by Samuel Heinrich Schwabe

abstract: A long time-series of sunspot observations is preserved from Samuel Heinrich Schwabe who made notes and drawings of sunspots from 1825-1867. Schwabe's observing records are preserved in the manuscript archives of the Royal Astronomical Society, London. The drawings have now been digitized for future measurements of sunspot positions and sizes. The present work gives an inventory and evaluation of the images obtained from the log books of Schwabe. The total number of full-disk drawings of the sun with spots is 8486, the number of additional verbal reports on sunspots is 3699. There are also 31 reports about possible aurorae.


title: On random flights with non-uniformly distributed directions

abstract: This paper deals with a new class of random flights $\underline{\bf X}_d(t),t>0,$ defined in the real space $\mathbb{R}^d, d\geq 2,$ characterized by non-uniform probability distributions on the multidimensional sphere. These random motions differ from similar models appeared in literature which take directions according to the uniform law. The family of angular probability distributions introduced in this paper depends on a parameter $\nu\geq 0$ which gives the level of drift of the motion. Furthermore, we assume that the number of changes of direction performed by the random flight is fixed. The time lengths between two consecutive changes of orientation have joint probability distribution given by a Dirichlet density function. The analysis of $\underline{\bf X}_d(t),t>0,$ is not an easy task, because it involves the calculation of integrals which are not always solvable. Therefore, we analyze the random flight $\underline{\bf X}_m^d(t),t>0,$ obtained as projection onto the lower spaces $\mathbb{R}^m,m<d,$ of the original random motion in $\mathbb{R}^d$. Then we get the probability distribution of $\underline{\bf X}_m^d(t),t>0.$ Although, in its general framework, the analysis of $\underline{\bf X}_d(t),t>0,$ is very complicated, for some values of $\nu$, we can provide some results on the process. Indeed, for $\nu=1$, we obtain the characteristic function of the random flight moving in $\mathbb{R}^d$. Furthermore, by inverting the characteristic function, we are able to give the analytic form (up to some constants) of the probability distribution of $\underline{\bf X}_d(t),t>0.$


title: Standard SANC modules for NLO QCD Radiative Corrections to Single-top Production

abstract: It this paper we present the results obtained with the newly created Standard SANC modules for calculation of the NLO QCD corrections to single top production processes in s and t channels at the partonic level, as well as top-decays. The main aim of these results is to prove the correct work of modules. A comprehensive comparison with results of the CompHEP system is given, where possible. These modules are intended to be used in Monte Carlo generators for single top production processes at the LHC. As in our recent paper, devoted to the electroweak corrections to these processes, we study the regularization of the top-legs associated infrared divergences with aid of the complex mass of the top quark. A comparison of QCD corrections with those computed by the conventional method is presented both for top production and decays. For s channel production we give an analytic proof of equivalence of the two methods in the limit of low top width.


title: Microscopic theory of energy dissipation and decoherence in solid-state systems: A reformulation of the conventional Markov limit

abstract: We present and discuss a general density-matrix description of energy-dissipation and decoherence phenomena in open quantum systems, able to overcome the intrinsic limitations of the conventional Markov approximation. In particular, the proposed alternative adiabatic scheme does not threaten positivity at any time. The key idea of our approach rests in the temporal symmetrization and coarse graining of the scattering term in the Liouville-von Neumann equation, before applying the reduction procedure over the environment degrees of freedom. The resulting dynamics is genuinely Lindblad-like and recovers the Fermi's golden rule features in the semiclassical limit. Applications to the prototypical case of a semiconductor quantum dot exposed to incoherent phonon excitation peaked around a central mode are discussed, highlighting the success of our formalism with respect to the critical issues of the conventional Markov limit.


title: Investigation of the magnetic phase transition and magnetocaloric properties of the Mn$_2$FeSbO$_6$ ilmenite

abstract: The magnetic phase transition and magnetocaloric properties of mineral and synthetic melanostibite Mn$_2$FeSbO$_6$ with ilmenite-type structure have been studied. Mn$_2$FeSbO$_6$ orders ferrimagnetically below 270 K and is found to undergo a second-order magnetic phase transition. The associated magnetic entropy change amounts to 1.7 J/kgK for the mineral and 1.8 J/kgK synthetic melanostibite for 5 T field change. For the synthetic Mn$_2$FeSbO$_6$ the adiabatic temperature change was estimated from magnetic- and specific heat measurements and amounts to 0.2 K in 1 T field change. Perspectives of the promising functional properties of Mn$_2$FeSbO$_6$-based materials are discussed.


title: High-reflectivity, high-Q micromechanical membranes via guided resonances for enhanced optomechanical coupling

abstract: Using Fano-type guided resonances (GRs) in photonic crystal (PhC) slab structures, we numerically and experimentally demonstrate optical reflectivity enhancement of high-Q SiNx membrane-type resonators used in membrane-in-the-middle optomechanical (OM) systems. Normal-incidence transmission and mechanical ringdown measurements of 50-nm-thick PhC membranes demonstrate GRs near 1064 nm, leading to a ~ 4\times increase in reflectivity while preserving high mechanical Q factors of up to ~ 5 \times 10^6. The results would allow improvement of membrane-in-the-middle OM systems by virtue of increased OM coupling, presenting a path towards ground state cooling of such a membrane and observations of related quantum effects.


title: Quantum graphs and their spectra

abstract: We show that families of leafless quantum graphs that are isospectral for the standard Laplacian are finite. We show that the minimum edge length is a spectral invariant. We give an upper bound for the size of isospectral families in terms of the total edge length of the quantum graphs. We define the Bloch spectrum of a quantum graph to be the map that assigns to each element in the deRham cohomology the spectrum of an associated magnetic Schr\"odinger operator. We show that the Bloch spectrum determines the Albanese torus, the block structure and the planarity of the graph. It determines a geometric dual of a planar graph. This enables us to show that the Bloch spectrum identifies and completely determines planar 3-connected quantum graphs.


title: A sharpening of Tusn\'ady's inequality

abstract: Let ~$\veps_1, ..., \veps_m$ be i.i.d. random variables with $$P(\veps_i=1)= P(\veps_i= -1)=1/2,$$ and $X_m = \sum_{i=1}^m \veps_i.$ Let $Y_m $ be a normal random variable with the same first two moments as that of $X_m.$ There is a uniquely determined function $\Psi_m$ such that the distribution of $\Psi_m(Y_m)$ equals to the distribution of $X_m$. Tusn\'ady's inequality states that $$ \mid \Psi_m(Y_m) - Y_m \mid \leq \frac{Y_m^2}{m}+1.$$ Here we propose a sharpened version of this inequality.


title: Renormalization group and isochronous oscillations

abstract: We show how the condition of isochronicity can be studied for two dimensional systems in the renormalization group (RG) context. We find a necessary condition for the isochronicity of the Cherkas and another class of cubic systems. Our conditions are satisfied by all the cases studied recently by Bardet et al \cite{bard} and Ghose Choudhury and Guha


title: A multiplet analysis of spectra in the presence of broken symmetries

abstract: We introduce the notion of a generalised symmetry M of a hamiltonian H. It is a symmetry which has been broken in a very specific manner, involving ladder operators R and R*. In Theorem 1 these generalised symmetries are characterised in terms of repeated commutators of H with M. Breaking supersymmetry by adding a term linear in the supercharges is discussed as a motivating example. The complex parameter gamma which appears in the definition of a generalised symmetry is necessarily real when the spectrum of M is discrete. Theorem 2 shows that gamma must also be real when the spectrum of H is fully discrete and R and R* are bounded operators. Any generalised symmetry induces a partitioning of the spectrum of H in what we call M-multiplets. The hydrogen atom in the presence of a symmetry breaking external field is discussed as an example. The notion of stability of eigenvectors of H relative to the generalised symmetry M is discussed. A characterisation of stable eigenvectors is given in Theorem 3.


title: Bound State Solution of Exponential-coshine screened and Morse potential

abstract: The analytical solution of the Schr\"odinger equation with exponential coshine screened and Morse potential are presented. The energy eigenvalues and the corresponding wave function are obtained for several values of screening parameters. We also present some numerical results for some selected diatomic molecules which are consistent with the values in the literature


title: Conditions on the pressure for vanishing velocity in the incompressible fluid flows

abstract: In this paper we derive various sufficient conditions on the pressure for vanishing velocity in the incompressible Navier-Stokes and the Euler equations in $\Bbb R^N$.


title: Breakdown of a perturbed Z_N topological phase

abstract: We study the robustness of a generalized Kitaev's toric code with Z_N degrees of freedom in the presence of local perturbations. For N=2, this model reduces to the conventional toric code in a uniform magnetic field. A quantitative analysis is performed for the perturbed Z_3 toric code by applying a combination of high-order series expansions and variational techniques. We provide strong evidences for first- and second-order phase transitions between topologically-ordered and polarized phases. Most interestingly, our results also indicate the existence of topological multi-critical points in the phase diagram.

categories: cond-mat.stat-mech hep-lat hep-th quant-ph


title: Theory of Non-Degenerated Oscillatory Flows

abstract: The aim of this paper is to derive the averaged governing equations for non-degenerated oscillatory flows, in which the magnitudes of mean velocity and oscillating velocity are similar. We derive the averaged equations for a scalar passive admixture, for a vectorial passive admixture (magnetic field in kinematic MHD), and for vortex dynamics. The small parameter of our asymptotic theory is the inverse dimensionless frequency $1/\sigma$. Our mathematical approach combines the two-timing method, distinguished limits, and the use of commutators to simplify calculations. This approach produces recurrent equations for both the averaged and oscillating parts of unknown fields. We do not use any physical or mathematical assumptions (except the most common ones) and present calculations for the first three (zeroth, first, and second) successive approximations. In all our examples the averaged equations exhibit the universal structure: the Reynolds-stress-type terms (or the cross-correlations) are transformed into drift velocities, pseudo-diffusion, and two other terms reminiscent of Moffatt's mean-fields in turbulence. In particular, the averaged motion of a passive scalar admixture is described only by a drift and pseudo-diffusion. The averaged equations for a passive vectorial admixture and for vortex dynamics possess two mean-field terms, additional to pseudo-diffusion. It is remarkable that all mean-field terms (including pseudo-diffusion) are expressed by invariant operators (Lie-derivatives) which measure the deviation of some tensors from their `frozen-in' values. Some physical assumptions and the results can be build upon obtained averaged equations. Our physical interpretation suggests purely kinematic nature of pseudo-diffusion.


title: Roughness of level sets of differentiable maps on Heisenberg group

abstract: We investigate metric properties of level sets of horizontally differentiable maps defined on the first Heisenberg group $(\Bbb{H}^1,d_{cc})$ equipped with the standard sub-Riemannian structure. In particular, we present an exhaustive analysis in a new case of a map $F\in C^1_H(\Bbb{H}^1, \Bbb{R}^2)$ with surjective horizontal differential (an analogue of the classical implicit function theorem). Among other results, we show that a level set of such map is locally a simple curve of Hausdorff sub-Riemannian dimension 2, but, surprisingly, in general its two-dimensional Hausdorff measure can be zero or infinity. Therefore, those level sets (called \textsf{vertical curves}) can be of rough nature and not belong to the class of intrinsic regular manifolds.


title: Ensemble Equivalence for Counterion Condensation on a Two Dimensional Charged Disc

abstract: We study the counterion condensation on a two dimensional charged disc in the limit of infinite dilution, and compare the energy-temperature relation obtained from the canonical free energy and microcanonical entropy. The microcanonical entropy is piecewise linear in energy, and is shown to be concave for all energies. As a result, even though the interactions are long-ranged, the energy-temperature relation and hence the counterion condensation transition points are identical in both the ensembles.


title: Universal conductivity and dimensional crossover in multi-layer graphene

abstract: We show, by exact Renormalization Group methods, that in multi-layer graphene the dimensional crossover energy scale is decreased by the intra-layer interaction, and that for temperatures and frequencies greater than such scale the conductivity is close to the one of a stack of independent layers up to small corrections.


title: Rotational fission of Trans-Neptunian Objects. The case of Haumea

abstract: We present several lines of evidence based on different kinds of observations to conclude that rotational fission has likely occurred for a fraction of the known Trans-Neptunian Objects (TNOs). It is also likely that a number of binary systems have formed from that process in the trans-neptunian belt. We show that Haumea is a potential example of an object that has suffered a rotational fission. Its current fast spin would be a slight evolution of a primordial fast spin, rather than the result of a catastrophic collision, because the percentage of objects rotating faster than 4 hours would not be small in a maxwellian distribution of spin rates that fits the current TNO rotation database. On the other hand, the specific total angular momentum of Haumea and its satellites falls close to that of the high size ratio asteroid binaries, which are thought to be the result of rotational fissions or mass shedding. We also present N-body simulations of rotational fissions applied to the case of Haumea, which show that this process is feasible, might have generated satellites, and might have even created a "family" of bodies orbitally associated to Haumea. The orbitally associated bodies may come from the direct ejection of fragments according to our simulations, or through the evolution of a proto-satellite formed during the fission event. Also, the disruption of an escaped fragment after the fission might create the orbitally related bodies. If any of those mechanisms are correct, other rotational fission families may be detectable in the trans-neptunian belt in the future, and perhaps even TNO pairs might be found (pairs of bodies sharing very similar orbital elements, but not bound together).


title: On the Lelong-Demailly numbers of plurisubharmonic currents

abstract: In this note we study the existence of the Lelong-Demailly number of a negative plurisubharmonic current with respect to a positive plurisubharmonic function on an open subset of $\C^n$. Then we establish some estimates of the Lelong-Demailly numbers of positive or negative plurisubharmonic currents.


title: Complexity of Ising Polynomials

abstract: This paper deals with the partition function of the Ising model from statistical mechanics, which is used to study phase transitions in physical systems. A special case of interest is that of the Ising model with constant energies and external field. One may consider such an Ising system as a simple graph together with vertex and edge weights. When these weights are considered indeterminates, the partition function for the constant case is a trivariate polynomial Z(G;x,y,z). This polynomial was studied with respect to its approximability by L. A. Goldberg, M. Jerrum and M. Paterson in 2003. Z(G;x,y,z) generalizes a bivariate polynomial Z(G;t,y), which was studied by D. Andr\'{e}n and K. Markstr\"{o}m in 2009. We consider the complexity of Z(G;t,y) and Z(G;x,y,z) in comparison to that of the Tutte polynomial, which is well-known to be closely related to the Potts model in the absence of an external field. We show that Z(G;\x,\y,\z) is #P-hard to evaluate at all points in $mathbb{Q}^3$, except those in an exception set of low dimension, even when restricted to simple graphs which are bipartite and planar. A counting version of the Exponential Time Hypothesis, #ETH, was introduced by H. Dell, T. Husfeldt and M. Wahl\'{e}n in 2010 in order to study the complexity of the Tutte polynomial. In analogy to their results, we give a dichotomy theorem stating that evaluations of Z(G;t,y) either take exponential time in the number of vertices of $G$ to compute, or can be done in polynomial time. Finally, we give an algorithm for computing Z(G;x,y,z) in polynomial time on graphs of bounded clique-width, which is not known in the case of the Tutte polynomial.

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


title: Lepton Flavor Model and Decaying Dark Matter in The Binary Icosahedral Group Symmetry

abstract: We propose a new flavor model that can simlutaneously well-describe the indirect detection experiment of (decaying) dark matter in the cosmic-ray, with the binary icosahedral group A'_5. We show not only that the A'_{5} symmetry can derive quark and lepton masses and mixings consistently, but also that are expected some predictions for the lepton sector. And if we assume a gauge-singlet fermionic decaying dark matter, its decay operators are also constrained by this symmetry so that only dimension six operators of leptonic decay are allowed up to six dimensional Lagrangians. We find that the cosmic-ray anomalies reported by PAMELA and Fermi-LAT are well explained by decaying dark matter controlled by the A'_{5} flavor symmetry, which induces universal decays.


title: A duality relation for matrix pencils with application to linearizations

abstract: The aim of this paper is twofold. First, we introduce a new class of linearizations, based on the generalization of a construction used in polynomial algebra to find the zeros of a system of (scalar) polynomial equations. We show that one specific linearization in this class, which is constructed naturally from the QR factorization of the matrix obtained by stacking the coefficients of $A(x)$, has good conditioning and stability properties. Moreover, while analyzing this class, we introduce a general technique to derive new linearizations from existing ones. This technique generalizes some ad-hoc arguments used in dealing with the existing linearization classes, and can hopefully be used to derive a simpler and more general theory of linearizations. This technique relates linearizations to \emph{pencil arithmetic}, a technique used in solving matrix equations that allows to extend some algebraic operations from matrix to matrix pencils.


title: Could the OPERA setup send a bit of information faster than light?

abstract: We argue that with the current experimental setup of the OPERA neutrino experiment no `bit' of information faster than light was or could be sent, and therefore no violation of Lorentz symmetry and/or causality was observed.


title: Jets and Photons in ALICE

abstract: ALICE measured transverse momentum spectra of pi0 and eta mesons via the two photon decay in pp collisions at sqrt(s)=0.9, 2.76 and 7 TeV and Pb-Pb collisions at sqrt(sNN)=2.76 TeV. NLO pQCD calculations agree with p-p measurements at 0.9 TeV, but overestimate the data at 2.76 and 7 TeV. The nuclear modification factor for neutral pions shows a strong suppression of high-pt particle production in central Pb-Pb collisions. Raw spectra of charged particle jets have been measured in Pb-Pb collisions. Detailed studies of background fluctuations have been performed and will allow us to unfold the spectra even for low momentum cut offs, giving access to soft fragmentation products in quenched jets.


title: Thermal instability in the collisionally cooled gas

abstract: We have presented the non-equilibrium (time-dependent) cooling rate and ionization state calculations for a gas behind shock waves with $v \sim 50-150$ km s$^{-1}$ ($T_s \sim 0.5 - 6\times 10^5$ K). Such shock waves do not lead to the radiative precursor formation, i.e. the thermal evolution of a gas behind the shock waves are controlled by collisions only. We have found that the cooling rate in a gas behind the shock waves with $v \sim 50-120$ km s$^{-1}$ ($T_s \sim 0.5 - 3\times 10^5$ K) differs considerably from the cooling rate for a gas cooled from $T = 10^8$ K. It is well-known that a gas cooled from $T = 10^8$ K is thermally unstable for isobaric and isochoric perturbations at $T \simgt 2\times 10^4$ K. We have studied the thermal instability in a collisionally controlled gas for shock waves with $v \sim 50-150$ km s$^{-1}$. We have found that the temperature range, where the postshock gas is thermally unstable, is significantly modified and depends on both gas metallicity and ionic composition of a gas before shock wave. For $Z \simgt 0.1Z_\odot$ the temperature range, where the thermal instability criterion for isochoric perturbations is not fulfilled, widens in comparison with that for a gas cooled from $T = 10^8$ K, while that for isobaric perturbations remains almost without a change. For $Z\sim Z_\odot$ a gas behind shock waves with $v \simlt 65$ km s$^{-1}$ ($T_s \simlt 10^5$ K) is thermally stable to isochoric perturbations during full its evolution. We have shown that the transition from isobaric to isochoric cooling for a gas with $Z \simgt 0.1Z_\odot$ behind shock waves with $T_s = 0.5 - 3\times 10^5$ K proceeds at lower column density layer behind a shock wave than that for a gas cooled from $T = 10^8$ K. (abridged)


title: Synthetic observations of simulated pillars of creation

abstract: We present synthetic observations of star-forming interstellar medium structures obtained by hydrodynamic calculations of a turbulent box under the influence of an ionising radiation field. The morphological appearance of the pillar-like structures in optical emission lines is found to be very similar to observations of nearby star forming regions. We calculate line profiles as a function of position along the pillars for collisionally excited [OIII]5007, [NII]6584 and [SII]6717, which show typical FWHM of 2--4 km/s. Spatially resolved emission line diagnostic diagrams are also presented which show values in general agreement with observations of similar regions. The diagrams, however, also highlight significant spatial variations in the line ratios, including values that would be classically interpreted as shocked regions based on one-dimensional photoionisation calculations. These values tend to be instead the result of lines of sight intersecting which intersect for large portions of their lenghts the ionised-to-neutral transition regions in the gas. We caution therefore against a straightforward application of classical diagnostic diagrams and one--dimensional photoionisation calculations to spatially resolved observations of complex three-dimensional star forming regions.


title: Density Matrix Recursion Method: Genuine Multisite Entanglement Distinguishes Odd from Even Quantum Heisenberg Ladders

abstract: We introduce an analytical iterative method, the density matrix recursion method, to generate arbitrary reduced density matrices of superpositions of short-range dimer coverings on periodic or non-periodic quantum spin-1/2 ladder lattices, with an arbitrary number of legs. The method can be used to calculate bipartite as well as multipartite physical properties, including bipartite and multi-partite entanglement. We apply this technique to distinguish between even- and odd-legged ladders. Specifically, we show that while genuine multi-partite entanglement decreases with increasing system size for the even-legged ladder states, it does the opposite for odd-legged ones.


title: On compactness in the Trudinger-Moser inequality

abstract: The paper studies continutity of Moser nonlinearity in two dimensions with respect to weak convergence. Unlike the critical nonlinearity in the Sobolev inequality, which lacks weak continuity at any point, Moser functional fails to be weakly continuous only in an exceptional case of a concentrating sequence of functions from the Moser family (up to translations and the remainder vanishing in Sobolev norm). The argument is based on a structural description of the defect of weak converegence, analogous to the profile decomposition established by Solimini for Sobolev inequalities, but involving gauge operators specific for the two-dimensional case.


title: A new code to study structures in collisionally active, perturbed debris discs. Application to binaries

abstract: Debris discs are traditionally studied using two distinct types of numerical models: statistical particle-in-a-box codes to study their collisional and size distribution evolution, and dynamical N-body models to study their spatial structure. The absence of collisions from N-body codes is in particular a major shortcoming, as collisional processes are expected to significantly alter the results obtained from pure N-body runs. We present a new numerical model, to study the spatial structure of perturbed debris discs at dynamical and collisional steady-state. We focus on the competing effects between gravitational perturbations by a massive body (planet or star), collisional production of small grains, and radiation pressure placing these grains in possibly dynamically unstable regions. We consider a disc of parent bodies at dynamical steady-state, from which small radiation-pressure-affected grains are released in a series of runs, each corresponding to a different orbital position of the perturber, where particles are assigned a collisional destruction probability. These collisional runs produce successive position maps that are then recombined, following a complex procedure, to produce surface density profiles for each orbital position of the perturbing body. We apply our code to the case of a circumprimary disc in a binary. We find pronounced structures inside and outside the dynamical stability regions. For low $e_B$, the disc's structure is time varying, with spiral arms in the dynamically "forbidden" region precessing with the companion star. For high $e_B$, the disc is strongly asymmetric but time invariant, with a pronounced density drop in the binary's periastron direction. (better resolution version of the paper at http://lesia.obspm.fr/perso/philippe-thebault/theb2011.pdf)


title: Algorithms to automatically quantify the geometric similarity of anatomical surfaces

abstract: We describe new approaches for distances between pairs of 2-dimensional surfaces (embedded in 3-dimensional space) that use local structures and global information contained in inter-structure geometric relationships. We present algorithms to automatically determine these distances as well as geometric correspondences. This is motivated by the aspiration of students of natural science to understand the continuity of form that unites the diversity of life. At present, scientists using physical traits to study evolutionary relationships among living and extinct animals analyze data extracted from carefully defined anatomical correspondence points (landmarks). Identifying and recording these landmarks is time consuming and can be done accurately only by trained morphologists. This renders these studies inaccessible to non-morphologists, and causes phenomics to lag behind genomics in elucidating evolutionary patterns. Unlike other algorithms presented for morphological correspondences our approach does not require any preliminary marking of special features or landmarks by the user. It also differs from other seminal work in computational geometry in that our algorithms are polynomial in nature and thus faster, making pairwise comparisons feasible for significantly larger numbers of digitized surfaces. We illustrate our approach using three datasets representing teeth and different bones of primates and humans, and show that it leads to highly accurate results.


title: Groups of given intermediate word growth

abstract: We show that there exists a finitely generated group of growth ~f for all functions f:\mathbb{R}\rightarrow\mathbb{R} satisfying f(2R) \leq f(R)^{2} \leq f(\eta R) for all R large enough and \eta\approx2.4675 the positive root of X^{3}-X^{2}-2X-4. This covers all functions that grow uniformly faster than \exp(R^{\log2/\log\eta}). We also give a family of self-similar branched groups of growth ~\exp(R^\alpha) for a dense set of \alpha\in(\log2/\log\eta,1).


title: Tantalum STJ for Photon Counting Detectors

abstract: Superconducting Tunnel Junctions (STJ's) are currently being developed as photon detectors for a wide range of applications. Interest comes from their ability to cumulate photon counting with chromaticity (i.e. energy resolution) from the near infrared (2 $\mu$m) to the X-rays wavelengths and good quantum efficiency up to 80%. Resolving power can exceed 10 in the visible wavelength range. Our main goal is to use STJ's for astronomical observations at low light level in the near infrared. This paper put the emphasis on two main points: the improvement of the tantalum absorber epitaxy and the development of a new version of the fabrication process for making Ta/Al-AlOx-Al/Ta photon counting STJ's. The main features of this process are that pixels have aligned electrodes and vias patterned through a protecting SiO2 layer. These vias are then used to contact the top electrode layer. We use a double thin aluminum trapping layer on top of a 150 nm thick Ta absorber grown epitaxially. Photon counting experiments with Ta junction array are presented at \lambda = 0.78 $\mu$m. Digital filtering methods are used to compute the photon counting data in order to minimize the effects of noise.


title: Multi-wavelength anomalous diffraction at high x-ray intensity

abstract: The multi-wavelength anomalous diffraction (MAD) method is used to determine phase information in x-ray crystallography by employing dispersion corrections from heavy atoms on coherent x-ray scattering. X-ray free-electron lasers (FELs) show promise for revealing the structure of single molecules or nanocrystals within femtoseconds, but the phase problem remains largely unsolved. Due to the ultrabrightness of x-ray FEL, samples experience severe electronic radiation damage, especially to heavy atoms, which hinders direct implementation of the MAD method with x-ray FELs. We propose a generalized version of the MAD phasing method at high x-ray intensity. We demonstrate the existence of a Karle--Hendrickson-type equation for the MAD method in the high-intensity regime and calculate relevant coefficients with detailed electronic damage dynamics of heavy atoms. Our results show that the bleaching effect on the scattering strength of the heavy atoms can be advantageous to the phasing method. The present method offers a potential for \textit{ab initio} structural determination in femtosecond x-ray nanocrystallography.

categories: physics.atom-ph cond-mat.mes-hall physics.atm-clus physics.bio-ph physics.optics


title: Decomposition of semigroup algebras

abstract: Let A \subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we explain how to compute many ring-theoretic properties of R[B] in terms of this decomposition. In particular we obtain a fast algorithm to compute the Castelnuovo-Mumford regularity of homogeneous semigroup rings. As an application we confirm the Eisenbud-Goto conjecture in a range of new cases. Our algorithms are implemented in the Macaulay2 package MonomialAlgebras.


title: Crossed Andreev reflection and spin-resolved non-local electron transport

abstract: The phenomenon of crossed Andreev reflection (CAR) is known to play a key role in non-local electron transport across three-terminal normal-superconducting-normal (NSN) devices. Here we review our general theory of non-local charge transport in three-terminal disordered ferromagnet-superconductor-ferromagnet (FSF) structures. We demonstrate that CAR is highly sensitive to electron spins and yields a rich variety of properties of non-local conductance which we describe non-perturbatively at arbitrary voltages, temperature, degree of disorder, spin-dependent interface transmissions and their polarizations. We demonstrate that magnetic effects have different implications: While strong exchange field suppresses disorder-induced electron interference in ferromagnetic electrodes, spin-sensitive electron scattering at SF interfaces can drive the total non-local conductance negative at sufficiently low energies. At higher energies magnetic effects become less important and the non-local resistance behaves similarly to the non-magnetic case. Our results can be applied to multi-terminal hybrid structures with normal, ferromagnetic and half-metallic electrodes and can be directly tested in future experiments.


title: Accelerating Algorithms using a Dataflow Graph in a Reconfigurable System

abstract: In this paper, the acceleration of algorithms using a design of a field programmable gate array (FPGA) as a prototype of a static dataflow architecture is discussed. The static dataflow architecture using operators interconnected by parallel buses was implemented. Accelerating algorithms using a dataflow graph in a reconfigurable system shows the potential for high computation rates. The results of benchmarks implemented using the static dataflow architecture are reported at the end of this paper.


title: Nonlocality tests enhanced by a third observer

abstract: We consider Bell tests involving bipartite states shared between three parties. We show that the simple inclusion of a third part may greatly simplify the measurement scenario (in terms of the number of measurement settings per part) and allows the identification of previously unknown nonlocal resources.


title: Groupoids, root systems and weak order II

abstract: This is the second introductory paper concerning structures called rootoids and protorootoids, the definition of which is abstracted from formal properties of Coxeter groups with their root systems and weak orders. The ubiquity of protorootoids is shown by attaching them to structures such as groupoids with generators, to simple graphs, to subsets of Boolean rings, to possibly infinite oriented matroids, and to groupoids with a specified preorder on each set of morphisms with fixed codomain; in each case, the condition that the structure give rise to a rootoid defines an interesting subclass of these structures. The paper also gives non-trivial examples of morphisms of rootoids and describes (without proof, and partly informally) some main ideas, results and questions from subsequent papers of the series, including the basic facts about principal rootoids and functor rootoids which together provide the raison d'\^etre for these papers.


title: Full stress tensor measurement using colour centres in diamond

abstract: Stress and strain are important factors in determining the mechanical, electronic, and optical properties of materials, relating to each other by the material's elasticity or stiffness. Both are represented by second rank field tensors with, in general, six independent components. Measurements of these quantities are usually achieved by measuring a property that depends on the translational symmetry and periodicity of the crystal lattice, such as optical phonon energies using Raman spectroscopy, the electronic band gap using cathodoluminescence, photoelasticity via the optical birefringence, or Electron Back Scattering Diffraction (EBSD). A reciprocal relationship therefore exists between the maximum sensitivity of the measurements and the spatial resolution. Furthermore, of these techniques, only EBSD and off-axis Raman spectroscopy allow measurement of all six components of the stress tensor, but neither is able to provide full 3D maps. Here we demonstrate a method for measuring the full stress tensor in diamond, using the spectral and optical polarization properties of the photoluminescence from individual nitrogen vacancy (NV) colour centres. We demonstrate a sensitivity of order 10 MPa, limited by local fluctuations in the stress in the sample, and corresponding to a strain of about 10^-5, comparable with the best sensitivity provided by other techniques. By using the colour centres as built-in local sensors, the technique overcomes the reciprocal relationship between spatial resolution and sensitivity and offers the potential for measuring strains as small as 10^-9 at spatial resolution of order 10 nm. Furthermore it provides a straightforward route to volumetric stress mapping. Aside from its value in understanding strain distributions in diamond, this new approach to stress and strain measurement could be adapted for use in micro or nanoscale sensors.


title: Automorphic representations with prescribed ramification for unitary groups

abstract: Let F be a totally real number field, n a prime integer, and G a unitary group of rank n defined over F that is compact at every infinite place. We prove an asymptotic formula for the number of cuspidal automorphic representations of G whose factors at finitely many places are prescribed up to inertia. The results and the methods used are a generalization to this setting of those used by Weinstein for GL_2.


title: Extended Nambu--Jona-Lasinio model with eight quark interactions

abstract: We review the effect on vacuum properties and magnetic catalysis, of adding the most general 0-spin 8-quark (8q) interactions to the combined SU(3) flavor Nambu--Jona-Lasinio (NJL) and 6-quark (6q) 't Hooft interaction Lagrangian.


title: Affine Mirkovi\'c-Vilonen polytopes

abstract: Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra g has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given g, there is a limit crystal, usually denoted by B(-\infty), which contains all the other crystals. When g is finite dimensional, a convex polytope, called the Mirkovi\'c-Vilonen polytope, can be associated to each element in B(-\infty). This polytope sits in the dual space of a Cartan subalgebra of g, and its edges are parallel to the roots of g. In this paper, we generalize this construction to the case where g is a symmetric affine Kac-Moody algebra. The datum of the polytope must however be complemented by partitions attached to the edges parallel to the imaginary root \delta. We prove that these decorated polytopes are characterized by conditions on their normal fans and on their 2-faces. In addition, we discuss how our polytopes provide an analog of the notion of Lusztig datum for affine Kac-Moody algebras. Our main tool is an algebro-geometric model for B(-\infty) constructed by Lusztig and by Kashiwara and Saito, based on representations of the completed preprojective algebra \Lambda\ of the same type as g. The underlying polytopes in our construction are described with the help of Buan, Iyama, Reiten and Scott's tilting theory for the category \Lambda-mod. The partitions we need come from studying the category of semistable \Lambda-modules of dimension-vector a multiple of \delta.


title: Non Classical Rotational Inertia Fraction in a One Dimensional Model of Supersolid

abstract: We study the rotational inertia of a model of supersolid in the frame of the mean field Gross-Pitaevskii theory in one space dimension. We discuss the ground state of the model and the existence of a non classical inertia (NCRI) under rotation that models an annular geometry. An explicit formula for the NCRI is deduced. It depends on the density profil of the ground state, in full agreement with former theories. We compare the NCRI computed through this theory with direct numerical simulations of rotating 1D systems.


abstract: The phase diagram at finite temperature and chemical potential for the Polyakov-NJL model with eight quark interactions is reviewed for the SU(3) flavor case.


title: Quasi-modular forms attached to elliptic curves, I

abstract: In the present text we give a geometric interpretation of quasi-modular forms using moduli of elliptic curves with marked elements in their de Rham cohomologies. In this way differential equations of modular and quasi-modular forms are interpreted as vector fields on such moduli spaces and they can be calculated from the Gauss-Manin connection of the corresponding universal family of elliptic curves. For the full modular group such a differential equation is calculated and it turns out to be the Ramanujan differential equation between Eisenstein series. We also explain the notion of period map constructed from elliptic integrals. This turns out to be the bridge between the algebraic notion of a quasi-modular form and the one as a holomorphic function on the upper half plane. In this way we also get another interpretation, essentially due to Halphen, of the Ramanujan differential equation in terms of hypergeometric functions. The interpretation of quasi-modular forms as sections of jet bundles and some related enumerative problems are also presented.


title: Flavor analysis of nucleon electromagnetic form factors

abstract: We have performed an evaluation of the individual up- and down-flavor contributions to the nucleon electromagnetic form factors within a relativistic constituent-quark model. It is found that the theoretical parameter-free predictions agree surprisingly well with recent experimental data from a flavor decomposition of the proton and neutron electromagnetic form factors for momentum transfers up to $Q^2\sim\;$3.5 GeV$^2$. It means that in this regime three-quark valence degrees of freedom dominate and other contributions, such as explicit mesonic effects, can at most play a minor role.


title: Foliated neighborhoods of exceptional submanifolds

abstract: The present article is a study of germs of regular foliations transverse to an embedded strongly exceptional submanifold of a complex manifold. Cohomological conditions are given on this embedding for the existence of these foliations and their classification is established. One dimensional foliations singular at the submanifold and a generalization of a linearization theorem of Poincar\'e for these foliations, are used in this study. As a consequence of our approach, we obtain a refinement of the embedding theorem of Grauert.


title: Acoustic phonons mediated non-equilibrium spin current in the presence of Rashba and Dresselhaus spin-orbit couplings

abstract: The influence of the electrons interaction with longitudinal acoustic phonons on magnetoeletric and spin-related transport effects are investigated. The physical system under consideration has been assumed to be a two dimensional electron gas system with both Rashba and Dreesselhaus spin-orbit couplings. In the works which have been previously performed in this field it has been shown that in the non-equilibrium regime, the Rashba and Dreesselhaus couplings can not be responsible for spin-current where in the absence of other interactions such as lattice vibrations identically vanishes. In the current work we have employed a semi-classical method by using the Boltzmann approach. It was shown that the spin-current of the system, in general, does not go all the way to zero at any value of the spin-orbit couplings. It was also shown that the spin accumulation of the system can be influenced by the electron-phonon coupling.


title: Cosmological observations in non-local $F(R)$ cosmology

abstract: In this article in a generalization of our previous work, we investigate the dynamics of the non-local $F(R)$ gravity after casting it into local form. The non-singular bouncing behavior and quintom model of dark energy are achieved without involving negative kinetic energy fields. Two cosmological tests are performed to constrain the model parameters. In case of phantom crossing the distance modulus predicted by the model best-fits the observational data. In comparison with the CPL parametrization for drift velocity, the model in some redshift intervals is in good agreement with the data.


title: Embedded Curves and Foliations

abstract: We prove the existence of regular foliations with a prescribed tangency divisor in neighborhoods of negatively embedded holomorphic curves; this is related to a linearization theorem due to Grauert. We give also examples of neighborhoods which can not be linearized.


title: Quadrupole oscillation in a dipolar Fermi gas: hydrodynamic vs collisionless regime

abstract: The surface quadrupole mode of an harmonically trapped dipolar Fermi gas is studied in both the hydrodynamic and collisionless regimes. The anisotropy and long range effects of the dipolar force as well as the role of the trapping geometry are explicitly investigated. In the hydrodynamic regime the frequency is always slightly smaller than the $\sqrt{2}\omega_\perp$ value holding for gases interacting with contact interactions. In the collisionless regime the frequency can be either pretty smaller or larger than the non-interacting value $2\omega_\perp$, depending on the cloud aspect ratio. Our results suggest that the frequency of the surface quadrupole oscillation can provide a useful test for studying, at very low temperatures, the transition between the normal and the superfluid phase and, in the normal phase at higher temperatures, the crossover between the collisional and collisionless regimes. The consequences of the anisotropy of the dipolar force on the virial theorem are also discussed.


title: Thermalization and dissipation in out of equilibrium quantum systems: A perturbative renormalization group approach

abstract: A perturbative renormalization group approach is employed to study the effect of a periodic potential on a system of one-dimensional bosons in a non-equilibrium steady-state due to an initial interaction quench. The renormalization group flows are modified significantly from the well known equilibrium Berezinski-Kosterlitz-Thouless form. They show several new features such as, a generation of an effective temperature, generation of dissipation, as well as a change in the location of the quantum critical point separating the weak coupling and strong coupling phases. Detailed results on the weak-coupling side of the phase diagram are presented, such as the renormalization of the parameters and the asymptotic behavior of the correlation functions. The physical origin of the generated temperature and friction is discussed.


title: Reasoning about Actions with Temporal Answer Sets

abstract: In this paper we combine Answer Set Programming (ASP) with Dynamic Linear Time Temporal Logic (DLTL) to define a temporal logic programming language for reasoning about complex actions and infinite computations. DLTL extends propositional temporal logic of linear time with regular programs of propositional dynamic logic, which are used for indexing temporal modalities. The action language allows general DLTL formulas to be included in domain descriptions to constrain the space of possible extensions. We introduce a notion of Temporal Answer Set for domain descriptions, based on the usual notion of Answer Set. Also, we provide a translation of domain descriptions into standard ASP and we use Bounded Model Checking techniques for the verification of DLTL constraints.


title: Adaptive Optics for Fluorescence Correlation Spectroscopy

abstract: Fluorescence Correlation Spectroscopy (FCS) yields measurement parameters (number of molecules, diffusion time) that characterize the concentration and kinetics of fluorescent molecules within a supposedly known observation volume. Absolute derivation of concentrations and diffusion constants therefore requires preliminary calibrations of the confocal Point Spread Function with phantom solutions under perfectly controlled environmental conditions. In this paper, we quantify the influence of optical aberrations on single photon FCS and demonstrate a simple Adaptive Optics system for aberration correction. Optical aberrations are gradually introduced by focussing the excitation laser beam at increasing depths in fluorescent solutions with various refractive indices, which leads to drastic depth-dependent bias in the estimated FCS parameters. Aberration correction with a Deformable Mirror stabilizes these parameters within a range of several tens of \mum into the solution. We also demonstrate, both theoretically and experimentally, that the molecular brightness scales as the Strehl ratio squared.


title: Measures and LMI for impulsive optimal control with applications to space rendezvous problems

abstract: This paper shows how to find lower bounds on, and sometimes solve globally, a large class of nonlinear optimal control problems with impulsive controls using semi-definite programming (SDP). This is done by relaxing an optimal control problem into a measure differential problem. The manipulation of the measures by their moments reduces the problem to a convergent series of standard linear matrix inequality (LMI) relaxations. After providing numerous academic examples, we apply the method to the impulsive rendezvous of two orbiting spacecrafts. As the method provides lower bounds on the global infimum, global optimality of the solutions can be guaranteed numerically by a posteriori simulations, and we can recover simultaneously the optimal impulse time and amplitudes by simple linear algebra.


title: The implications of particle rotation on the effect of photophoresis

abstract: In a laboratory experiment, water-ice aggregates are trapped in a vacuum chamber at a pressure of 2 mbar due to photophoresis and thermophoresis. The particles are located between a Peltier element at the bottom at 250 K and a reservoir of liquid nitrogen at the top at 77 K. Particle sizes vary between 20 micrometres and a few hundred micrometres. It is found that 95% of all the particles rotate about their vertical axis. A qualitative model is developed which explains why particles should mainly align to and rotate around the vertical. The results imply that rotation does not decrease the vertical strength of photophoretically driven motion in, e.g., protoplanetary discs.


title: First observation of the decay $\bar{B}^0_s \to D^0 K^{*0}$ and a measurement of the ratio of branching fractions $\frac{{\cal B}(\bar{B}^0_s \to D^0 K^{*0})}{{\cal B}(\bar{B}^0 \to D^0 \rho^0)}$

abstract: The first observation of the decay $\bar{B}^0_s \to D^0 K^{*0}$ using $pp$ data collected by the LHCb detector at a centre-of-mass energy of 7 TeV, corresponding to an integrated luminosity of 36 pb$^{-1}$, is reported. A signal of $34.4 \pm 6.8$ events is obtained and the absence of signal is rejected with a statistical significance of more than nine standard deviations. The $\bar{B}^0_s \to D^0 K^{*0}$ branching fraction is measured relative to that of $\bar{B}^0 \to D^0 \rho^0$: $\frac{{\cal B}(\bar{B}^0_s \to D^0 K^{*0})}{{\cal B}(\bar{B}^0 \to D^0 \rho^0)} = 1.48 \pm 0.34 \pm 0.15 \pm 0.12$, where the first uncertainty is statistical, the second systematic and the third is due to the uncertainty on the ratio of the $B^0$ and $B^0_s$ hadronisation fractions.


title: Cortical phase transitions, non-equilibrium thermodynamics and the time-dependent Ginzburg-Landau equation

abstract: The formation of amplitude modulated and phase modulated assemblies of neurons is observed in the brain functional activity. The study of the formation of such structures requires that the analysis has to be organized in hierarchical levels, microscopic, mesoscopic, macroscopic, each with its characteristic space-time scales and the various forms of energy, electric, chemical, thermal produced and used by the brain. In this paper, we discuss the microscopic dynamics underlying the mesoscopic and the macroscopic levels and focus our attention on the thermodynamics of the non-equilibrium phase transitions. We obtain the time-dependent Ginzburg-Landau equation for the non-stationary regime and consider the formation of topologically non-trivial structures such as the vortex solution. The power laws observed in functional activities of the brain is also discussed and related to coherent states characterizing the many-body dissipative model of brain.


title: Dynamics and universality in noise driven dissipative systems

abstract: We investigate the dynamical properties of low dimensional systems, driven by external noise sources. Specifically we consider a resistively shunted Josephson junction and a one dimensional quantum liquid in a commensurate lattice potential, subject to $1/f$ noise. In absence of nonlinear coupling, we have shown previously that these systems establish a non-equilibrium critical steady state [Nature Phys. 6, 806 (2010)]. Here we use this state as the basis for a controlled renormalization group analysis using the Keldysh path integral formulation to treat the non linearities: the Josephson coupling and the commensurate lattice. The analysis to first order in the coupling constant indicates transitions between superconducting and localized regimes that are smoothly connected to the respective equilibrium transitions. However at second order, the back action of the mode coupling on the critical state leads to renormalization of dissipation and emergence of an effective temperature. In the Josephson junction the temperature is parametrically small allowing to observe a universal crossover between the superconducting and insulating regimes. The IV characteristics of the junction displays algebraic behavior controlled by the underlying critical state over a wide range. In the noisy one dimensional liquid the generated dissipation and effective temperature are not small as in the junction. We find a crossover between a quasi-localized regime dominated by dissipation and another dominated by temperature. However since in the thermal regime the thermalization rate is parametrically small, signatures of the non-equilibrium critical state can be seen in transient dynamics.


title: Collective modes, stability and superfluid transition of a quasi-two-dimensional dipolar Fermi gas

abstract: We examine collective modes, stability, and BCS pairing in a quasi-two-dimensional gas of dipolar fermions aligned by an external field. By using the (conserving) Hartree-Fock approximation, which treats direct and exchange interactions on an equal footing, we obtain the spectrum of single-particle excitations and long wavelength collective modes (zero sound) in the normal phase. It appears that exchange interactions result in strong damping of zero sound when the tilting angle between the dipoles and the normal to the plane of confinement is below some critical value. In particular, zero sound cannot propagate if the dipoles are perpendicular to the plane of confinement. At intermediate coupling we find unstable modes that can lead either to collapse of the system or the formation of a density wave. The BCS transition to a superfluid phase, on the other hand, occurs at arbitrarily weak strengths of the dipole-dipole interaction, provided the tilting angle exceeds a critical value. We determine the critical temperature of the transition taking into account many-body effects as well as virtual transitions to higher excited states in the confining potential, and discuss prospects of experimental observations.


title: Eikonal Approach to N=4 SYM Regge Amplitudes in the AdS/CFT Correspondence

abstract: The high-energy behavior of N=4 SYM elastic amplitudes at strong coupling is studied by means of the AdS/CFT correspondence. We consider the eikonal method proposed by Janik and one of the authors, where the relevant minimal surface is a "generalized helicoid" in hyperbolic space ("Euclidean AdS_5"), from which the physical amplitude is obtained after an appropriate analytic continuation. We then compare our results with those obtained, using a minimal surface in AdS_5 momentum space, by Alday and Maldacena for gluon-gluon scattering, and by Barnes and Vaman for quark-quark scattering ("Alday-Maldacena approach"). Exploiting a conformal transformation, we show that the eikonal amplitudes are dominated by the Euclidean version of the cusp contribution found in the Alday-Maldacena approach. The amplitudes in the two approaches are of Regge type at high-energy and with the same logarithmic Regge trajectory independently of the kind of colliding particles, in agreement with the expected universality of Regge trajectories.


title: Optimized Neutrino Factory for small and large $\theta_{13}$

abstract: Recent results from long baseline neutrino oscillation experiments point towards a non-zero value of theta(13) at around 3 sigma confidence level. In the coming years, further ratification of this result with high significance will have crucial impact on the planning of the future long baseline Neutrino Factory setup aimed to explore leptonic CP violation and the neutrino mass ordering. In this talk, we discuss the baseline and energy optimization of the Neutrino Factory including the latest simulation results on the magnetized iron neutrino detector (MIND) in the light of both small and large theta(13). We find that in case of small theta(13), baselines of about 2500 to 5000 km is the optimal choice for the CP violation measurement with E(mu) as low as 12 GeV can be considered. However, for large theta(13), we show that the lower threshold and the backgrounds reconstructed at lower energies allow in fact for muon energies as low as 5 to 8 GeV at considerably shorter baselines, such as Fermilab to Homestake. This suggests that with the latest MIND simulation, low- and high-energy versions of the Neutrino Factory are just two different forms of the same experiment optimized for different regions of the parameter space.


title: Divergent energy strings in $AdS_5\times S^5$ with three angular momenta

abstract: In this paper, novel solutions for strings with three angular momenta in $AdS_5 \times S^5$ geometry are presented; the divergent energy limit and the corresponding conserved charges, as well as dispersion relation are also determined. Interpretations of these configurations as either a giant magnon (GM) or a spiky string (SS) are discussed.


title: Positive Kernels and Quantization

abstract: In the paper we investigate a method of quantization based on the concept of positive definite kernel on a principal $G$-bundle with compact structural group G. For G=U(1) our approach leads to Kostant-Souriau geometric quantization as well as to coherent state method of quantization. So, the theory proposed here can be treated as a generalization of both mentioned quantizations to the case of general compact group.


title: Structure of Fat Jets at the Tevatron and Beyond

abstract: Boosted resonances is a highly probable and enthusiastic scenario in any process probing the electroweak scale. Such objects when decaying into jets can easily blend with the cornucopia of jets from hard relative light QCD states. We review jet observables and algorithms that can contribute to the identification of highly boosted heavy jets and the possible searches that can make use of such substructure information. We also review previous studies by CDF on boosted jets and its measurements on specific jet shapes.


title: Vortical Dynamics of spinning quantum plasmas - Helicity Conservation

abstract: It is shown that a vorticity, constructed from spin field of a quantum spinning plasma, combines with the classical generalized vorticity (representing the magnetic and the velocity fields) to yield a new grand generalized vorticity that obeys the standard vortex dynamics. Expressions for the quantum or spin vorticity, and for the resulting generalized helicity invariant are derived. Reduction of the rather complex spinning quantum system to a well known and highly investigated classical form opens familiar channels for the delineation of physics peculiar to dense plasmas spanning solid state to astrophysical objects. A simple example is worked out to show that the magnetics of a spinning plasma can be much richer than that of the corresponding classical system.


title: Singlet-triplet excitations and high-field magnetization in CuTe2O5

abstract: By measuring the THz electron spin resonance (ESR) transmission spectra and high-field magnetization on the spin-gapped system CuTe$_2$O$_5$, we identified the singlet-triplet excitations in the dimerized non-magnetic ground state. The determined spin-gap value of $h\nu_0=4.94$ meV at the $\Gamma$ point ($\mathbf{Q}\simeq\mathbf{0}$) is significantly smaller than the strongest antiferromagnetic exchange interaction between the Cu ions predicted by theoretical investigations. We also observed the critical field $H_{c1}^{a^*}=37.6$ T for \textbf{H} $\bot$ \emph{bc}-plane and $H_{c1}^{bc}=40.6$ T for \textbf{H} $\|$ \emph{bc}-plane at the onset of non-zero magnetization, consistent with the gap value and corresponding anisotropic \emph{g}-factors determined previously. The observed singlet-triplet excitations in Faraday and Voigt configurations suggest a mixing of the singlet state with the $S_z=0$ triplet state and the $S_z=\pm 1$ triplet states, respectively, due to the Dzyaloshinskii-Moriya (DM) interaction with a DM vector perpendicular to the crystalline \emph{bc}-plane.


title: Evaluating the SharedCanvas Manuscript Data Model in CATCHPlus

abstract: In this paper, we present the SharedCanvas model for describing the layout of culturally important, hand-written objects such as medieval manuscripts, which is intended to be used as a common input format to presentation interfaces. The model is evaluated using two collections from CATCHPlus not consulted during the design phase, each with their own complex requirements, in order to determine if further development is required or if the model is ready for general usage. The model is applied to the new collections, revealing several new areas of concern for user interface production and discovery of the constituent resources. However, the fundamental information modelling aspects of SharedCanvas and the underlying Open Annotation Collaboration ontology are demonstrated to be sufficient to cover the challenging new requirements. The distributed, Linked Open Data approach is validated as an important methodology to seamlessly allow simultaneous interaction with multiple repositories, and at the same time to facilitate both scholarly commentary and crowd-sourcing of the production of transcriptions.


title: Technipion Limits from LHC Higgs Searches

abstract: LHC searches for the standard model Higgs Boson in di-photon or di-tau decay modes place strong constraints on the light top-pion state predicted in technicolor models that include colored technifermions. Compared with the standard Higgs Boson, the top-pions have an enhanced production rate (largely because the technipion decay constant is smaller than the weak scale) and also enhanced branching ratios into di-photon and di-tau final states (largely due to the suppression of WW decays of the technipions). These factors combine to make the technipions more visible in both channels than a standard model Higgs would be. Hence, the recent ATLAS and CMS searches for Higgs bosons exclude the presence of technipions with masses from 110 GeV to nearly twice the top-quark mass in technicolor models that (a) include colored technifermions (b) feature topcolor dynamics and (c) have technicolor groups with three or more technicolors. For certain models, the limits also apply out to higher technipion masses or down to the minimum number of technicolors. The limits may be softened somewhat in models where extended technicolor plays a significant role in producing the top quark's mass. Additional LHC data on di-tau and di-photon final states will be extremely valuable in further exploring technicolor parameter space.


title: Efficient Bayesian Multivariate Surface Regression

abstract: Methods for choosing a fixed set of knot locations in additive spline models are fairly well established in the statistical literature. While most of these methods are in principle directly extendable to non-additive surface models, they are less likely to be successful in that setting because of the curse of dimensionality, especially when there are more than a couple of covariates. We propose a regression model for a multivariate Gaussian response that combines both additive splines and interactive splines, and a highly efficient MCMC algorithm that updates all the knot locations jointly. We use shrinkage priors to avoid overfitting with different estimated shrinkage factors for the additive and surface part of the model, and also different shrinkage parameters for the different response variables. This makes it possible for the model to adapt to varying degrees of nonlinearity in different parts of the data in a parsimonious way. Simulated data and an application to firm leverage data show that the approach is computationally efficient, and that allowing for freely estimated knot locations can offer a substantial improvement in out-of-sample predictive performance.


title: Search for double beta decay processes in 106Cd with the help of 106CdWO4 crystal scintillator

abstract: A search for the double beta processes in 106Cd was carried out at the Gran Sasso National Laboratories of the INFN (Italy) with the help of a 106CdWO4 crystal scintillator (215 g) enriched in 106Cd up to 66%. After 6590 h of data taking, new improved half-life limits on the double beta processes in 106Cd were established at the level of 10^{19}-10^{21} yr; in particular, T_{1/2}(2\nu \epsilon \beta^+) > 2.1 10^{20} yr, T_{1/2}(2\nu 2\beta^+) > 4.3 10^{20} yr, and T_{1/2}(0\nu 2\epsilon) > 1.0 10^{21} yr. The resonant neutrinoless double electron captures to the 2718 keV, 2741 keV and 2748 keV excited states of 106Pd are restricted to T_{1/2}(0\nu 2K) > 4.3 10^{20} yr, T_{1/2}(0\nu KL1) > 9.5 10^{20} yr and T_{1/2}(0\nu KL3) > 4.3 10^{20} yr, respectively (all limits at 90% C.L.). A possible resonant enhancement of the 0\nu 2\epsilon processes is estimated in the framework of the QRPA approach. The radioactive contamination of the 106CdWO4 crystal scintillator is reported.


title: A Device to Measure the Propulsive Power of Nematodes

abstract: In the fluid dynamics video, we present a microfluidic device to measure the propulsive power of nematodes. The device consists of a tapered conduit filled with aqueous solution. The conduit is subjected to a DC electric field with the negative pole at the narrow end and to pressure-driven flow directed from the narrow end. The nematode is inserted at the conduit's wide end. Directed by the electric field (through electrotaxis), the nematode swims deliberately upstream toward the negative pole of the DC field. As the conduit narrows, the average fluid velocity and the drag force on the nematode increase. Eventually, the nematode arrives at an equilibrium position, at which its propulsive force balances the viscous drag force induced by the adverse flow. The equilibrium position of different animals, with similar body lengths, was measured as a function of the flow rate. The flow field around the nematode was obtained by direct numerical simulations with the experimentally imaged gait and the tapered geometry of the conduit as boundary conditions. The flow field generated by a swimming worm is similar to the one induced by two pairs of counter rotating rotors. Equilibrium positions under different flow rates were identified by finding the positions at which the horizontal component of the total force exerted on the worm body vanishes. The theoretically predicted equilibrium positions were compared and favorably agreed with the experimental data. The nematode's propulsive power was calculated by integrating the product of velocity and total stress over the worm's body surface. The device is useful to retain the nematodes at a nearly fixed position for prolonged observations of active animals under a microscope, to keep the nematode exercising, and to estimate the nematode's power consumption based on the conduit's width at the equilibrium position.


title: The problem of zero divisors in convolution algebras of supersolvable Lie groups

abstract: We prove a variant of the Titchmarsh convolution theorem for simply connected supersolvable Lie groups, namely we show that the convolution algebras of compactly supported continuous functions and compactly supported finite measures on such groups do not contain zero divisors. This can be also viewed as a topological version of the zero divisor conjecture of Kaplansky.


title: Central Meson Production in ALICE

abstract: The ALICE experiment at the Large Hadron Collider (LHC) at CERN consists of a central barrel, a muon spectrometer and of additional detectors for trigger and event classification purposes. The low transverse momentum threshold of the central barrel gives ALICE a unique opportunity to study the low mass sector of central production at the LHC. First analysis results of meson production in double gap events in proton-proton collisions at $\sqrt{s}$ = 7 TeV and in PbPb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV are presented.


title: Charmonium and meson-molecule hybrid tetraquarks - Vector meson width and the isospin breaking in the X(3872) decay

abstract: In the X(3872) decay, both of the J/\psi\pi\pi\ and J/\psi\pi\pi\pi\ branching fractions are observed experimentally, and their sizes are comparable to each other. In order to clarify the mechanism to cause such a large isospin violation, we investigate X(3872) employing a model of coupled-channel two-meson scattering with a ccbar core. The two-meson states consist of D0Dbar*0, D+Dbar*-, J/\psi\rho, and J/\psi\omega. The effects of the \rho\ and \omega\ meson width are also taken into account. We calculate the transfer strength from the ccbar core to the final two-meson states. It is found that very narrow J/\psi\rho\ and J/\psi\omega\ peaks appear very close to the D0Dbar*0 threshold for a wide range of variation in the parameter sets. The size of the J/\psi\rho\ peak is almost the same as that of J/\psi\omega, which is consistent with the experiments. The large width of the \rho\ meson makes the originally small isospin violation by about five times larger.


title: Geometric methods for estimation of structured covariances

abstract: We consider problems of estimation of structured covariance matrices, and in particular of matrices with a Toeplitz structure. We follow a geometric viewpoint that is based on some suitable notion of distance. To this end, we overview and compare several alternatives metrics and divergence measures. We advocate a specific one which represents the Wasserstein distance between the corresponding Gaussians distributions and show that it coincides with the so-called Bures/Hellinger distance between covariance matrices as well. Most importantly, besides the physically appealing interpretation, computation of the metric requires solving a linear matrix inequality (LMI). As a consequence, computations scale nicely for problems involving large covariance matrices, and linear prior constraints on the covariance structure are easy to handle. We compare this transportation/Bures/Hellinger metric with the maximum likelihood and the Burg methods as to their performance with regard to estimation of power spectra with spectral lines on a representative case study from the literature.


title: Quantum oscillations in the linear chain of coupled orbits: the organic metal with two cation layers theta-(ET)(4)CoBr(4)(C(6)H(4)Cl(2))

abstract: Analytical formulae for de Haas-van Alphen (dHvA) oscillations in linear chain of coupled two-dimensional (2D) orbits (Pippard's model) are derived systematically taking into account the chemical potential oscillations in magnetic field. Although corrective terms are observed, basic (alpha) and magnetic breakdown-induced (beta and 2beta - alpha) orbits can be accounted for by the Lifshits-Kosevich (LK) and Falicov-Stachowiak semiclassical models in the explored field and temperature ranges. In contrast, the 'forbidden orbit' beta - alpha amplitude is described by a non-LK equation involving a product of two classical orbit amplitudes. Furthermore, strongly non-monotonic field and temperature dependence may be observed for the second harmonics of basic frequencies such as 2alpha and the magnetic breakdown orbit beta + alpha, depending on the value of the spin damping factors. These features are in agreement with the dHvA oscillation spectra of the strongly 2D organic metal theta- theta-(ET)(4)CoBr(4)(C(6)H(4)Cl(2)).


title: Cause of Spiral Galaxy Rotation Rates: a Massive Graviton

abstract: We attribute the observed rotational velocity profiles of spiral galaxy disks to a combination of Newtonian and exponential gravitational potentials. We offer a novel, yet perfectly plausible, Lagrangian from which the exponential potential is derived. The exponential potential is defined by two universal constants (corresponding to a coupling constant and a graviton mass) that we determine from our sample of 12 THINGS disks. All velocity profile fits are excellent.


title: Freezing singularities in water drops

abstract: In this fluid dynamics video we show how a drop of water freezes into a singular shape when deposited on a cold surface. The process of solidification can be observed very clearly due to the change in refraction when water turns into ice. The drop remains approximately spherical during most of the process, with a freezing front moving upwards and smoothly following the interface. However, at the final stage of freezing, when the last cap of liquid turns into ice, a singular tip develops spontaneously. Interestingly, the sharp tip of the ice drop acts as a preferential site for deposition of water vapour, and a beautiful "tree" of ice crystals develops right at the tip. The tip singularity attracts the vapour in analogy to a sharp lightning rod attracting lightning.


title: On Conjugacy of Maximal Subalgebras of Solvable Lie Algebras

abstract: The purpose of this paper is to consider when two maximal subalgebras of a finite-dimensional solvable Lie algebra $L$ are conjugate, and to investigate their intersection.


title: Flame Reconstruction Using Synthetic Aperture Imaging

abstract: Flames can be formed by burning methane (CH4). When oxygen is scarce, carbon particles nucleate into solid particles called soot. These particles emit photons, making the flame yellow. Later, methane is pre-mixed with air forming a blue flame; burning more efficiently, providing less soot and light. Imaging flames and knowing their temperature are vital to maximizing efficiency and validating numerical models. Most temperature probes disrupt the flame and create differences leading to an inaccurate measurement of the flame temperature. We seek to image the flame in three dimensions using synthetic aperture imaging. This technique has already successfully measured velocity fields of a vortex ring [1]. Synthetic aperture imaging is a technique that views one scene from multiple cameras set at different angles, allowing some cameras to view objects that are obscured by others. As the resulting images are overlapped different depths of the scene come into and out of focus, known as focal planes, similar to tomography. These focal planes can be used to extract three-dimensional information about the scene. This procedure was used to extract the outer edge of a oxygen-starved methane flame (yellow) from which the three-dimensional flame was reconstructed. When the reconstructed image was compared to the raw image from the central camera the two shapes corresponded well. This experiment in the fluid dynamics video (entry #: V041) demonstrated that a three-dimensional flame can be reconstructed by combining images from multiple cameras using synthetic aperture imaging.


title: Theory of quasi-spherical accretion in X-ray pulsars

abstract: A theoretical model for quasi-spherical subsonic accretion onto slowly rotating magnetized neutron stars is constructed. In this model the accreting matter subsonically settles down onto the rotating magnetosphere forming an extended quasi-static shell. This shell mediates the angular momentum removal from the rotating neutron star magnetosphere during spin-down episodes by large-scale convective motions. The accretion rate through the shell is determined by the ability of the plasma to enter the magnetosphere. The settling regime of accretion can be realized for moderate accretion rates $\dot M< \dot M_*\simeq 4\times 10^{16}$ g/s. At higher accretion rates a free-fall gap above the neutron star magnetosphere appears due to rapid Compton cooling, and accretion becomes highly non-stationary. From observations of the spin-up/spin-down rates (the angular rotation frequency derivative $\dot \omega^*$, and $\partial\dot\omega^*/\partial\dot M$ near the torque reversal) of X-ray pulsars with known orbital periods, it is possible to determine the main dimensionless parameters of the model, as well as to estimate the magnetic field of the neutron star. We illustrate the model by determining these parameters for three wind-fed X-ray pulsars GX 301-2, Vela X-1, and GX 1+4. The model explains both the spin-up/spin-down of the pulsar frequency on large time-scales and the irregular short-term frequency fluctuations, which can correlate or anti-correlate with the X-ray flux fluctuations in different systems. It is shown that in real pulsars an almost iso-angular-momentum rotation law with $\omega \sim 1/R^2$, due to strongly anisotropic radial turbulent motions sustained by large-scale convection, is preferred.


title: A Toy Model of Renormalization and Reformulation

abstract: I consider a specially designed simple mechanical problem where "particle acceleration" due to an external force creates sound waves. Theoretical description of this phenomenon should provide the total energy conservation. To introduce "small radiative losses" into the phenomenological mechanical equation, I advance first an "interaction Lagrangian" similar to that of the Classical Electrodynamics (kind of a self-action ansatz). New, "better-coupled" mechanical and wave equations manifest unexpectedly wrong dynamics due to changes of their coefficients (masses); thus this ansatz fails. I show how we make a mathematical error with advancing a self-interaction Lagrangian. I show, however, that renormalization of the fundamental constants in the wrong equations works - the original inertial properties of solutions are restored. The exactly renormalized equations contain only physical fundamental constants, describe well the experimental data, and reveal a deeper physics - that of permanently coupled constituents. The perturbation theory is then just a routine calculation giving small and physical corrections. I demonstrate that renormalization is just illegitimately discarding harmful corrections compensating this error, that the exactly renormalized equations may sometimes accidentally coincide with the correct equations (a fluke), and that the right theoretical formulation of permanently coupled constituents can be fulfilled directly, if realized.


title: Liquid ring

abstract: This article describes the fluid dynamics video for "Liquid ring" presented at the 64th Annual Meeting of the APS Division of Fluid Dynamics in Baltimore, Maryland, November 20-22, 2011.


title: Using non-convex approximations for efficient analysis of timed automata

abstract: The reachability problem for timed automata asks if there exists a path from an initial state to a target state. The standard solution to this problem involves computing the zone graph of the automaton, which in principle could be infinite. In order to make the graph finite, zones are approximated using an extrapolation operator. For reasons of efficiency in current algorithms extrapolation of a zone is always a zone and in particular it is convex. In this paper, we propose to solve the reachability problem without such extrapolation operators. To ensure termination, we provide an efficient algorithm to check if a zone is included in the so called region closure of another. Although theoretically better, closure cannot be used in the standard algorithm since a closure of a zone may not be convex. An additional benefit of the proposed approach is that it permits to calculate approximating parameters on-the-fly during exploration of the zone graph, as opposed to the current methods which do it by a static analysis of the automaton prior to the exploration. This allows for further improvements in the algorithm. Promising experimental results are presented.


title: Better abstractions for timed automata

abstract: We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones. These abstractions preserve underlying simulation relations on the state space of the automaton. For both effectiveness and efficiency reasons, they are parametrized by the maximal lower and upper bounds (LU-bounds) occurring in the guards of the automaton. We consider the aLU abstraction defined by Behrmann et al. Since this abstraction can potentially yield non-convex sets, it has not been used in implementations. We prove that aLU abstraction is the biggest abstraction with respect to LU-bounds that is sound and complete for reachability. We also provide an efficient technique to use the aLU abstraction to solve the reachability problem.


title: The Logic of XACML - Extended

abstract: We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra.