title: Phonon statistics in an acoustical resonator coupled to a pumped two-level emitter

abstract: The concept of an acoustical analog of the optical laser has been developed recently both in theoretical as well as experimental works. We discuss here a model of a coherent phonon generator with a direct signature of quantum properties of the sound vibrations. The considered setup is made of a laser driven quantum dot (QD) embedded in an acoustical nanocavity. The system's dynamics is solved for a single phonon mode in the steady-state and in the strong QD-phonon coupling regime beyond the secular approximation. We demonstrate that the phonon statistics exhibits quantum features, i.e. sub-Poissonian phonon statistics.


title: A Multiple-Expert Binarization Framework for Multispectral Images

abstract: In this work, a multiple-expert binarization framework for multispectral images is proposed. The framework is based on a constrained subspace selection limited to the spectral bands combined with state-of-the-art gray-level binarization methods. The framework uses a binarization wrapper to enhance the performance of the gray-level binarization. Nonlinear preprocessing of the individual spectral bands is used to enhance the textual information. An evolutionary optimizer is considered to obtain the optimal and some suboptimal 3-band subspaces from which an ensemble of experts is then formed. The framework is applied to a ground truth multispectral dataset with promising results. In addition, a generalization to the cross-validation approach is developed that not only evaluates generalizability of the framework, it also provides a practical instance of the selected experts that could be then applied to unseen inputs despite the small size of the given ground truth dataset.


title: Correlated Electron Pseudopotentials for 3d-Transition Metals

abstract: A recently published correlated electron pseudopotentials (CEPPs) method has been adapted for application to the 3d-transition metals, and to include relativistic effects. New CEPPs are reported for the atoms Sc$-$Fe, constructed from atomic quantum chemical calculations that include an accurate description of correlated electrons. Dissociation energies, molecular geometries, and zero-point vibrational energies of small molecules are compared with all electron results, with all quantities evaluated using coupled cluster singles doubles and triples (CCSD(T)) calculations. The CEPPs give better results in the correlated-electron calculations than Hartree-Fock-based pseudopotentials available in the literature.


title: Electrical control and interaction effects of the RKKY interaction in helical liquids

abstract: We study the RKKY interaction mediated by the helical edge states of a quantum spin Hall insulator in the presence of the Rashba spin-orbital coupling induced by an external electric field and the electron-electron interaction. We show that in the presence of the Rashba coupling, the RKKY interaction induced by the helical edge states contains not only the Heisenberg-like and the Dzyaloshinskii-Moria terms but also the nematic-type term that is not present originally, with the range functions depending on the strength of the Rashba coupling. We also show that the electron-electron interaction changes the strength of the RKKY interaction by modifying the power of the $1/|x|$ dependence of the range functions. In particular, by varying the strength of the interaction or the Rashba coupling, there is an (impurity) quantum phase transition involving the sign change of the RKKY interaction at the value of the Luttinger liquid parameter $K=1/2$. Since both the strength of the Rashba coupling and the chemical potential of the helical edge states are electrically controllable by external gate voltages, our results not only shed light on the nature of magnetic impurity correlations in the edge of a two-dimensional topological insulator, but also pave a way to manipulate the qubits in quantum computing.


title: Asymptotics of type I Hermite-Pad\'e polynomials for semiclassical functions

abstract: Type I Hermite--Pad\'e polynomials for a set of functions $f_0, f_1, ..., f_s$ at infinity, $Q_{n,0}$, $Q_{n,1}$, ..., $Q_{n,s}$, is defined by the asymptotic condition $$ R_n(z):=\bigl(Q_{n,0}f_0+Q_{n,1}f_1+Q_{n,2}f_2+...+Q_{n,s}f_s\bigr)(z) =\mathcal O (\frac1{z^{s n+s}}), \quad z\to\infty, $$ with the degree of all $Q_{n,k}\leq n$. We describe an approach for finding the asymptotic zero distribution of these polynomials as $n\to \infty$ under the assumption that all $f_j$'s are semiclassical, i.e. their logarithmic derivatives are rational functions. In this situation $R_n$ and $Q_{n,k}f_k$ satisfy the same differential equation with polynomials coefficients. We discuss in more detail the case when $f_k$'s are powers of the same function $f$ ($f_k=f^k$); for illustration, the simplest non trivial situation of $s=2$ and $f$ having two branch points is analyzed in depth. Under these conditions, the ratio or comparative asymptotics of these polynomials is also discussed. From methodological considerations and in order to make the situation clearer, we start our exposition with the better known case of Pad\'e approximants (when $s=1$).


title: Deformation-Driven Diffusion and Plastic Flow in Two-Dimensional Amorphous Granular Pillars

abstract: We report a combined experimental and simulation study of deformation-induced diffusion in compacted two-dimensional amorphous granular pillars, in which thermal fluctuations play negligible role. The pillars, consisting of bidisperse cylindrical acetal plastic particles standing upright on a substrate, are deformed uniaxially and quasistatically by a rigid bar moving at a constant speed. The plastic flow and particle rearrangements in the pillars are characterized by computing the best-fit affine transformation strain and non-affine displacement associated with each particle between two stages of deformation. The non-affine displacement exhibits exponential crossover from ballistic to diffusive behavior with respect to the cumulative deviatoric strain, indicating that in athermal granular packings, the cumulative deviatoric strain plays the role of time in thermal systems and drives effective particle diffusion. We further study the size-dependent deformation of the granular pillars by simulation, and find that different-sized pillars follow self-similar shape evolution during deformation. In addition, the yield stress of the pillars increases linearly with pillar size. Formation of transient shear lines in the pillars during deformation becomes more evident as pillar size increases. The width of these elementary shear bands is about twice the diameter of a particle, and does not vary with pillar size.


title: Single-grain dose-distribution measurements by optically stimulated luminescence using an integrated EMCCD-based system

abstract: We report on the feasibility of assessing single-grain dose-distributions by using an EMCCD-based imaging system with complementary analysis software. Automated image-processing was successfully applied to compensate sample motion and for automated grain identification. Following a dose recovery test, 74 % of the grains were recognized successfully, and 44 % exhibited a suitable OSL dose response behavior to interpolate an equivalent dose value and a central dose recovery ratio of 1.038 was obtained.


title: Centroid of triangles associated with a curve

abstract: Archimedes showed that the area between a parabola and any chord $AB$ on the parabola is four thirds of the area of triangle $\Delta ABP$, where P is the point on the parabola at which the tangent is parallel to the chord $AB$. Recently, this property of parabolas was proved to be a characteristic property of parabolas. With the aid of this characterization of parabolas, using centroid of triangles associated with a curve we present two conditions which are necessary and sufficient for a strictly locally convex curve in the plane to be a parabola.


title: On existence of general solution of the Navier-Stokes equations for 3D non-stationary incompressible flow

abstract: A new presentation of general solution of Navier-Stokes equations is considered here. We consider equations of motion for 3-dimensional non-stationary incompressible flow. The field of flow velocity as well as the equation of momentum should be split to the sum of two components: an irrotational (curl-free) one, and a solenoidal (divergence-free) one. The obviously irrotational (curl-free) part of equation of momentum used for obtaining of the components of pressure gradient. As a term of such an equation, we used the irrotational (curl-free) vector field of flow velocity, which is given by the proper potential (besides, the continuity equation determines such a potential as a harmonic function). The other part of equation of momentum could also be split to the sum of 2 equations: - with zero curl for the field of flow velocity (viscous-free), and the proper Eq. with viscous effects but variable curl. A solenoidal Eq. with viscous effects is represented by the proper Heat equation for each component of flow velocity with variable curl. Non-viscous case is presented by the PDE-system of 3 linear differential equations (in regard to the time-parameter), depending on the components of solution of the above Heat Eq. for the components of flow velocity with variable curl. So, the existence of the general solution of Navier-Stokes equations is proved to be the question of existence of the proper solution for such a PDE-system of linear equations. Final solution is proved to be the sum of 2 components: - an irrotational (curl-free) one and a solenoidal (variable curl) components.

categories: math.AP math-ph math.MP nlin.SI physics.flu-dyn


title: Physics from Angular Projection of Rectangular Grids

abstract: In this paper, we present a mathematical model for the angular projection of a rectangular arrangement of points in a grid. This simple, yet interesting problem, has both a scholarly value and applications for data extraction techniques to study the physics of various systems. Our work can interest undergraduate students to understand subtle points in the angular projection of a grid and describes various quantities of interest in the projection with completeness and sufficient rigour. We show that for certain angular ranges, the projection has non-distinctness, and calculate the details of such angles, and correspondingly, the number of distinct points and the total projected length. We focus on interesting trends obtained for the projected length of the grid elements and present a simple application of the model to determine the geometry of an unknown grid whose spatial extensions are known, using measurement of the grid projection at two angles only. Towards the end, our model is shown to have potential applications in various branches of physical sciences including crystallography, astrophysics and bulk properties of materials.


title: A moment-equation-copula-closure method for nonlinear vibrational systems subjected to correlated noise

abstract: We develop a moment equation closure minimization method for the inexpensive approximation of the steady state statistical structure of nonlinear systems whose potential functions have bimodal shapes and which are subjected to correlated excitations. Our approach relies on the derivation of moment equations that describe the dynamics governing the two-time statistics. These are combined with a non-Gaussian pdf representation for the joint response-excitation statistics that has i) single time statistical structure consistent with the analytical solutions of the Fokker-Planck equation, and ii) two-time statistical structure with Gaussian characteristics. Through the adopted pdf representation, we derive a closure scheme which we formulate in terms of a consistency condition involving the second order statistics of the response, the closure constraint. A similar condition, the dynamics constraint, is also derived directly through the moment equations. These two constraints are formulated as a low-dimensional minimization problem with respect to unknown parameters of the representation, the minimization of which imposes an interplay between the dynamics and the adopted closure. The new method allows for the semi-analytical representation of the two-time, non-Gaussian structure of the solution as well as the joint statistical structure of the response-excitation over different time instants. We demonstrate its effectiveness through the application on bistable nonlinear single-degree-of-freedom energy harvesters with mechanical and electromagnetic damping, and we show that the results compare favorably with direct Monte-Carlo Simulations.


title: A Generalization of the Hopf's Lemma for the 1-D Moving-Boundary Problem for the Fractional Diffusion Equation and its Application to a Fractional Free-Boundary Problem

abstract: This paper deals with a theoretical mathematical analysis of a one-dimensional-moving-boundary problem for the time-fractional diffusion equation, where the time-fractional derivative of order $\al$ $\in (0,1)$ is taken in the Caputo's sense. A generalization of the Hopf's lemma is proved, and then this result is used to prove a monotonicity property for the free-boundary when a fractional free-boundary Stefan problem is considered.


title: The Galois closure for rings and some related constructions

abstract: Let $R$ be a ring and let $A$ be a finite projective $R$-algebra of rank $n$. Manjul Bhargava and Matthew Satriano have recently constructed an $R$-algebra $G(A/R)$, the Galois closure of $A/R$. Many natural questions were asked at the end of their paper. Here we address one of these questions, proving the existence of the natural constructions they call intermediate $S_n$-closures. We will also study properties of these constructions, generalizing some of their results, and proving new results both on the intermediate $S_n$-closures and on $G(A/R)$.


title: Are spectral and timing correlations similar in different spectral states in black hole X-ray binaries?

abstract: We study the outbursts of the black hole X-ray binaries MAXI J1659-152, SWIFT J1753.5--0127 and GX 339-4 with the Swift X-ray Telescope. The bandpass of the X-ray Telescope has access to emission from both components of the accretion flow: the accretion disk and the corona/hot flow. This allows a correlated spectral and variability study, with variability from both components of the accretion flow. We present for the first time, a combined study of the evolution of spectral parameters (disk temperature and radius) and timing parameters (frequency and strength) of all power spectral components in different spectral states. Comparison of the correlations in different spectral states shows that the frequency and strength of the power spectral components exhibit dependencies on the disk temperature that are different in the (low-)hard and the hard-intermediate states; most of these correlations that are clearly observed in the hard-intermediate state (in MAXI J1659-152 and GX 339-4) are not seen in the (low-)hard state (in GX 339-4 and SWIFT J1753.5-0127). Also, the responses of the individual frequency components to changes in the disk temperature are markedly different from one component to the next. Hence, the spectral-timing evolution cannot be explained by a single correlation that spans both these spectral states. We discuss our findings in the context of the existing models proposed to explain the origin of variability.


title: Discrete metric spaces: structure, enumeration, and $0$-$1$ laws

abstract: Fix an integer $r\geq 3$. We consider metric spaces on $n$ points such that the distance between any two points lies in $\{1,..., r\}$. Our main result describes their approximate structure for large $n$. As a consequence, we show that the number of these metric spaces is $\lceil \frac{r+1}{2}\rceil ^{{n\choose 2} + o(n^2)}$. Related results in the continuous setting have recently been proved by Kozma, Meyerovitch, Peled, and Samotij. When $r$ is even, our structural characterization is more precise, and implies that almost all such metric spaces have all distances at least $r/2$. As an easy consequence, when $r$ is even we improve the error term above from $o(n^2)$ to $o(1)$, and also show a labeled first-order $0$-$1$ law in the language $\mathcal{L}_r$, consisting of $r$ binary relations, one for each element of $[r]$. In particular, we show the almost sure theory $T$ is the theory of the Fra\"{i}ss\'{e} limit of the class of all finite simple complete edge-colored graphs with edge colors in $\{r/2,..., r\}$. Our work can be viewed as an extension of a long line of research in extremal combinatorics to the colored setting, as well as an addition to the collection of known structures that admit logical $0$-$1$ laws.


title: Wbbj production at NLO with POWHEG+MiNLO

abstract: We present a next-to-leading order plus parton-shower event generator for the production of a W boson plus two bottom quarks and a jet at hadron colliders, implemented in the POWHEG BOX framework. Bottom-mass effects and spin correlations of the decay products of the W boson are fully taken into account. The code has been automatically generated using the two available interfaces to MadGraph4 and GoSam, the last one updated to a new version. We have applied the MiNLO prescription to our Wbbj calculation, obtaining a finite differential cross section also in the limit of vanishing jet transverse momentum. Furthermore, we have compared several key distributions for Wbbj production with those generated with a next-to-leading order plus parton-shower event generator for Wbb production, and studied their factorization- and renormalization-scale dependence. Finally, we have compared our results with recent experimental data from the ATLAS and CMS Collaborations.


title: Effective upliftings in Large volume compactifications

abstract: After reviewing several mechanisms proposed to get a dS/Minkowski vacuum in moduli stabilization scenarios of type-IIB superstring orientifold compactifications we propose a criterium for characterizing those that may effectively lead to a positive small cosmological constant. We suggest that the variation in the expectation value of a good uplifting term, due to the shift in the minimum of the potential after uplifting, is much smaller than the original cosmological constant. This is studied with some detail in Large volume scenarios where the dependency on the volume direction is rather generic and easy to spot. Here we find that an uplifting term in the potential, with generic form $V_{up}\sim 1/{\cal V}^\gamma$, should be restricted to the one satisfying $\gamma^2\ll 12$. Such a bound might explain why in models previously studied no uplifting has been achieved, and gives motivations to study a novel proposal of dilaton dependent uplifting mechanism for which no numerical studies has been performed before. We find that in this case it is actually possible to get a dS vacuum, but still leave open the question of a more precise discrimination feature the good uplifting mechanisms should satisfy.


title: What can Gaia proper motions tell us about Milky Way dwarf galaxies?

abstract: We present a proper-motion study on models of the dwarf spheroidal galaxy Sculptor, based on the predicted proper-motion accuracy of Gaia measurements. Gaia will measure proper motions of several hundreds of stars for a Sculptor-like system. Even with an uncertainty on the proper motion of order 1.5 times the size of an individual proper-motion value of ~10 mas/century, we find that it is possible to recover Sculptor's systemic proper motion at its distance of 79 kpc.


title: Minimizing Wiener Index for Vertex-Weighted Trees with Given Weight and Degree Sequences

abstract: In 1997 Klav\v{z}ar and Gutman suggested a generalization of the Wiener index to vertex-weighted graphs. We minimize the Wiener index over the set of trees with the given vertex weights' and degrees' sequences and show an optimal tree to be the, so-called, Huffman tree built in a bottom-up manner by sequentially connecting vertices of the least weights.


title: A Dynamic Model for Infectious Diseases: The Role of Vaccination and Treatment

abstract: Understanding dynamics of an infectious disease helps in designing appropriate strategies for containing its spread in a population. Recent mathematical models are aimed at studying dynamics of some specific types of infectious diseases. In this paper we propose a new model for infectious diseases spread having susceptible, infected, and recovered populations and study its dynamics in presence of incubation delays and relapse of the disease. The influence of treatment and vaccination efforts on the spread of infection in presence of time delays are studied. Sufficient conditions for local stability of the equilibria and change of stability are derived in various cases. The problem of global stability is studied for an important special case of the model. Simulations carried out in this study brought out the importance of treatment rate in controlling the disease spread. It is observed that incubation delays have influence on the system even under enhanced vaccination. The present study has clearly brought out the fact that treatment rate in presence of time delays would contain the disease as compared to popular belief that eradication can only be done through vaccination.


title: On certain functionals of the maximum of Brownian motion and their applications

abstract: We consider a Brownian motion (BM) $x(\tau)$ and its maximal value $x_{\max} = \max_{0 \leq \tau \leq t} x(\tau)$ on a fixed time interval $[0,t]$. We study functionals of the maximum of the BM, of the form ${\cal O}_{\max}(t)=\int_0^t\, V(x_{\max} - x(\tau)) {\rm d} \tau$ where $V(x)$ can be any arbitrary function and develop various analytical tools to compute their statistical properties. These tools rely in particular on (i) a "counting paths" method and (ii) a path-integral approach. In particular, we focus on the case where $V(x) = \delta(x-r)$, with $r$ a real parameter, which is relevant to study the density of near-extreme values of the BM (the so called density of states), $\rho(r,t)$, which is the local time of the BM spent at given distance $r$ from the maximum. We also provide a thorough analysis of the family of functionals ${T}_{\alpha}(t)=\int_0^t (x_{\max} - x(\tau))^\alpha \, {\rm d}\tau$, corresponding to $V(x) = x^\alpha$, with $\alpha$ real. As $\alpha$ is varied, $T_\alpha(t)$ interpolates between different interesting observables. For instance, for $\alpha =1$, $T_{\alpha = 1}(t)$ is a random variable of the "area", or "Airy", type while for $\alpha=-1/2$ it corresponds to the maximum time spent by a ballistic particle through a Brownian random potential. On the other hand, for $\alpha = -1$, it corresponds to the cost of the optimal algorithm to find the maximum of a discrete random walk, proposed by Odlyzko. We revisit here, using tools of theoretical physics, the statistical properties of this algorithm which had been studied before using probabilistic methods. Finally, we extend our methods to constrained BM, including in particular the Brownian bridge, i.e., the Brownian motion starting and ending at the origin.

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


title: Two-color QCD at high density

abstract: QCD at high chemical potential has interesting properties such as deconfinement of quarks. Two-color QCD, which enables numerical simulations on the lattice, constitutes a laboratory to study QCD at high chemical potential. Among the interesting properties of two-color QCD at high density is the diquark condensation, for which we present recent results obtained on a finer lattice compared to previous studies. The quark propagator in two-color QCD at non-zero chemical potential is referred to as the Gor'kov propagator. We express the Gor'kov propagator in terms of form factors and present recent lattice simulation results.


title: Unveiling The Tree: A Convex Framework for Sparse Problems

abstract: This paper presents a general framework for generating greedy algorithms for solving convex constraint satisfaction problems for sparse solutions by mapping the satisfaction problem into one of graph traversal on a rooted tree of unknown topology. For every pre-walk of the tree an initial set of generally dense feasible solutions is processed in such a way that the sparsity of each solution increases with each generation unveiled. The specific computation performed at any particular child node is shown to correspond to an embedding of a polytope into the polytope received from that nodes parent. Several issues related to pre-walk order selection, computational complexity and tractability, and the use of heuristic and/or side information is discussed. An example of a single-path, depth-first algorithm on a tree with randomized vertex reduction and a run-time path selection algorithm is presented in the context of sparse lowpass filter design.


title: Brightest group galaxies and the large-scale environment

abstract: We study the dependence of the properties of group galaxies on the surrounding large-scale environment, using SDSS-DR7 data. Galaxies are ranked according to their luminosity within each group and classified morphologically by the S\'ersic index. We have considered samples of the host groups in superstructures of galaxies, and elsewhere. We find a significant dependence of the properties of late-type brightest group galaxies on the large-scale environment: they show statistically significant higher luminosities and stellar masses, redder u-r colours, lower star formation activity and longer star-formation time-scale when embedded in superstructures. By contrast, the properties of the early-type brightest group galaxies are remarkably similar regardless of the group global environment. The other group member galaxies exhibit only the local influence of the group they inhabit. Our analysis comprises tests against the dependence on the host group luminosity and we argue that group brightest member properties are not only determined by the host halo, but also by the large-scale structure which can influence the accretion process onto their late-type brightest galaxies.


title: Is There WiFi Yet? How Aggressive WiFi Probe Requests Deteriorate Energy and Throughput

abstract: WiFi offloading has emerged as a key component of cellular operator strategy to meet the data needs of rich, mobile devices. As such, mobile devices tend to aggressively seek out WiFi in order to provide improved user Quality of Experience (QoE) and cellular capacity relief. For home and work environments, aggressive WiFi scans can significantly improve the speed on which mobile nodes join the WiFi network. Unfortunately, the same aggressive behavior that excels in the home environment incurs considerable side effects across crowded wireless environments. In this paper, we show through empirical studies at both large (stadium) and small (laboratory) scales how aggressive WiFi scans can have significant implications for energy and throughput, both for the mobile nodes scanning and other nearby mobile nodes. We close with several thoughts on the disjoint incentives for properly balancing WiFi discovery speed and ultra-dense network interactions.


title: Simple Alcohols with the Lowest Normal Boiling Point Using Topological Indices

abstract: We find simple saturated alcohols with the given number of carbon atoms and the minimal normal boiling point. The boiling point is predicted with a weighted sum of the generalized first Zagreb index, the second Zagreb index, the Wiener index for vertex-weighted graphs, and a simple index caring for the degree of a carbon atom being incident to the hydroxyl group. To find extremal alcohol molecules we characterize chemical trees of order $n$, which minimize the sum of the second Zagreb index and the generalized first Zagreb index, and also build chemical trees, which minimize the Wiener index over all chemical trees with given vertex weights.


title: A complete radio study of SNR G15.4+0.1 from new GMRT observations

abstract: The supernova remnant G15.4+0.1 is considered to be the possible counterpart of the gamma-ray source HESSJ1818-154. With the goal of getting a complete view of this remnant and understanding the nature of the gamma-ray flux, we conducted a detailed radio study that includes the search for pulsations and a model of the broadband emission for the G15.4+0.1/HESSJ1818-154 system. Low-frequency imaging at 624 MHz and pulsar observations at 624 and 1404 MHz towards G15.4+0.1 were carried out with the Giant Metrewave Radio Telescope (GMRT). We correlated the new radio data with observations of the source at X-ray and infrared wavelengths from XMM-Newton and Herschel observatories, respectively. To characterize the neutral hydrogen medium (HI) towards G15.4+0.1, we used data from the Southern Galactic Plane Survey. We modelled the spectral energy distribution using both hadronic and leptonic scenarios. From the combination of the new GMRT observations with existing data, we derived a continuum spectral index alpha=-0.62+-0.03 for the whole remnant. The local synchrotron spectra of G15.4+0.1, calculated from the combination of the GMRT data with 330 MHz observations from the VLA, tends to be flatter in the central part of the remnant, accompanying the region where the blast wave is impinging molecular gas. No spectral index trace was found indicating the radio counterpart to the pulsar wind nebula proposed from X-ray observations. In addition, the search for radio pulsations yielded negative results. Emission at far-infrared wavelengths is observed in the region where the SNR shock is interacting with dense molecular clumps. We also identified HI features forming a shell that wraps most of the outer border of G15.4+0.1. Characteristic parameters were estimated for the shocked HI gas. We found that either a purely hadronic or leptonic model is compatible with the broadband emission known so far.


title: Schrodinger Evolution for the Universe: Reparametrization

abstract: Starting from a generalized Hamilton-Jacobi formalism, we develop a new framework for constructing observables and their evolution in theories invariant under global time reparametrizations. Our proposal relaxes the usual Dirac prescription for the observables of a totally constrained system (`perennials') and allows one to recover the influential partial and complete observables approach in a particular limit. Difficulties such as the non-unitary evolution of the complete observables in terms of certain partial observables are explained as a breakdown of this limit. Identification of our observables (`mutables') relies upon a physical distinction between gauge symmetries that exist at the level of histories and states (`Type 1'), and those that exist at the level of histories and not states (`Type 2'). This distinction resolves a tension in the literature concerning the physical interpretation of the partial observables and allows for a richer class of observables in the quantum theory. There is the potential for the application of our proposal to the quantization of gravity when understood in terms of the Shape Dynamics formalism.


title: Gauss-Bonnet-Chern theorem and differential characters

abstract: In this paper we first prove that every differential character can be represented by differential form with singularities. Then we lift the Gauss-Bonnet-Chern theorem for vector bundles to differential characters.


title: Modeling Curved Carbon Fiber Composite (CFC) Structures in the Transmission-Line Modeling (TLM) Method

abstract: A new embedded model for curved thin panels is developed in the Transmission Line Modeling (TLM) method. In this model, curved panels are first linearized and then embedded between adjacent 2D TLM nodes allowing for arbitrary positioning between adjacent node centers. The embedded model eliminates the necessity for fine discretization thus reducing the run time and memory requirements for the calculation. The accuracy and convergence of the model are verified by comparing the resonant frequencies of an elliptical cylinder formed using carbon fiber composite (CFC) materials with those of the equivalent metal cylinder. Furthermore, the model is used to analyze the shielding performance of CFC airfoil NACA2415.


title: Linear-time Online Action Detection From 3D Skeletal Data Using Bags of Gesturelets

abstract: Sliding window is one direct way to extend a successful recognition system to handle the more challenging detection problem. While action recognition decides only whether or not an action is present in a pre-segmented video sequence, action detection identifies the time interval where the action occurred in an unsegmented video stream. Sliding window approaches for action detection can however be slow as they maximize a classifier score over all possible sub-intervals. Even though new schemes utilize dynamic programming to speed up the search for the optimal sub-interval, they require offline processing on the whole video sequence. In this paper, we propose a novel approach for online action detection based on 3D skeleton sequences extracted from depth data. It identifies the sub-interval with the maximum classifier score in linear time. Furthermore, it is invariant to temporal scale variations and is suitable for real-time applications with low latency.


title: Tropical Limit in Statistical Physics

abstract: Tropical limit for macroscopic systems in equilibrium defined as the formal limit of Boltzmann constant k going to 0 is discussed. It is shown that such tropical limit is well-adapted to analyse properties of systems with highly degenerated energy levels, particularly of frustrated systems like spin ice and spin glasses. Tropical free energy is a piecewise linear function of temperature, tropical entropy is a piecewise constant function and the system has energy for which tropical Gibbs' probability has maximum. Properties of systems in the points of jump of entropy are studied. Systems with finite and infinitely many energy levels and phenomena of limiting temperatures are discussed.


title: The Light-Front Vacuum

abstract: Background: The vacuum in the light-front representation of quantum field theory is trivial while vacuum in the equivalent canonical representation of the same theory is non-trivial. Purpose: Understand the relation between the vacuum in light-front and canonical representations of quantum field theory and the role of zero-modes in this relation. Method: Vacuua are defined as linear functionals on an algebra of field operators. The role of the algebra in the definition of the vacuum is exploited to understand this relation. Results: The vacuum functional can be extended from the light-front Fock algebra to an algebra of local observables. The extension to the algebra of local observables is responsible for the inequivalence. The extension defines a unitary mapping between the physical representation of the local algebra and a sub-algebra of the light-front Fock algebra. Conclusion: There is a unitary mapping from the physical representation of the algebra of local observables to a sub-algebra of the light-front Fock algebra with the free light-front Fock vacuum. The dynamics appears in the mapping and the structure of the sub-algebra. This correspondence provides a formulation of locality and Poincar\'e invariance on the light-front Fock space.


title: Evidence for a hybridization gap in noncentrosymmetric CeRuSi3

abstract: Inelastic neutron scattering (INS) and specific heat measurements have been performed on the intermediate valence compound CeRuSi$_3$, which is isostructural to the noncentrosymmetric pressure-induced superconductors CeRhSi$_3$, CeIrSi$_3$ and CeCoGe$_3$. INS measurements at 7~K reveal a broad peak at (58.5~$\pm$~1.4)~meV, while at 300~K, broad quasielastic scattering is observed. This indicates a large Kondo temperature of $T_{\rm K}~\sim~680$~K. The magnetic contribution to the specific heat ($C_{\rm mag}$) has a value of $\gamma~=~62.5(1)$~mJ/mol~K$^2$ at low temperatures and above about 100~K can be well accounted for by the Coqlbin-Schrieffer model with a characteristic temperature of $T_0$~=~680~K, which is further evidence that CeRuSi$_3$ is in the intermediate valence regime.


title: Differential geometric invariants for time-reversal symmetric Bloch-bundles: the "Real" case

abstract: Topological quantum systems subjected to an even (resp. odd) time-reversal symmetry can be classified by looking at the related "Real" (resp. "Quaternionic") Bloch-bundles. If from one side the topological classification of these time-reversal vector bundle theories has been completely described in [DG1] for the "Real" case and in [DG2] for the "Quaternionic" case, from the other side it seems that a classification in terms of differential geometric invariants is still missing in the literature. With this article (and its companion [DG3]) we want to cover this gap. More precisely, we extend in an equivariant way the theory of connections on principal bundles and vector bundles endowed with a time-reversal symmetry. In the "Real" case we generalize the Chern-Weil theory and we showed that the assignment of a "Real" connection, along with the related differential Chern class and its holonomy, suffices for the classification of "Real" vector bundles in low dimensions.


title: Exploiting Multimodal Biometrics in E-Privacy Scheme for Electronic Health Records

abstract: Existing approaches to protect the privacy of Electronic Health Records are either insufficient for existing medical laws or they are too restrictive in their usage. For example, smart card-based encryption systems require the patient to be always present to authorize access to medical records. Questionnaires were administered by 50 medical practitioners to identify and categorize different Electronic Health Records attributes. The system was implemented using multi biometrics of patients to access patient record in pre-hospital care.The software development tools employed were JAVA and MySQL database. The system provides applicable security when patients records are shared either with other practitioners, employers, organizations or research institutes. The result of the system evaluation shows that the average response time of 6 seconds and 11.1 seconds for fingerprint and iris respectively after ten different simulations. The system protects privacy and confidentiality by limiting the amount of data exposed to users.The system also enables emergency medical technicians to gain easy and reliable access to necessary attributes of patients Electronic Health Records while still maintaining the privacy and confidentiality of the data using the patients fingerprint and iris.


title: Perturbative decay of anti-branes in flux backgrounds due to space time instabilities

abstract: In this paper we suggest a new source of perturbative decay of the KPV-state, which might have consequences for the viability of the KKLT-construction. The results do not rely on any direct enhancement of the decay due to flux accumulating on the anti-brane in transverse space. Instead, we note that the system can lower its energy through a sequence of NS5-configurations all the way to the true vacuum, without encountering a barrier, if we allow for clumping of screened charge in space time. The clumping can possibly be a parallel to the Gregory-Laflamme instability of black branes. The results are obtained at large $p$, but for $p/M$ arbitrarily small. It is furthermore argued that the results extend to cases of few or single anti-branes where quantization becomes important. We believe that it is important to investigate this possible effect further to judge whether there are any fatal consequences.


title: Coarsening in granular systems

abstract: We review a few representative examples of granular experiments or models where phase separation, accompanied by domain coarsening, is a relevant phenomenon. We first elucidate the intrinsic non-equilibrium, or athermal, nature of granular media. Thereafter, dilute systems, the so-called "granular gases" are discussed: idealized kinetic models, such as the gas of inelastic hard spheres in the cooling regime, are the optimal playground to study the slow growth of correlated structures, e.g. shear patterns, vortices and clusters. In fluidized experiments, liquid-gas or solid-gas separations have been observed. In the case of monolayers of particles, phase coexistence and coarsening appear in several different setups, with mechanical or electrostatic energy input. Phenomenological models describe, even quantitatively, several experimental measures, both for the coarsening dynamics and for the dynamic transition between different granular phases. The origin of the underlying bistability is in general related to negative compressibility from granular hydrodynamics computations, even if the understanding of the mechanism is far from complete. A relevant problem, with important industrial applications, is related to the demixing or segregation of mixtures, for instance in rotating tumblers or on horizontally vibrated plates. Finally, the problem of compaction of highly dense granular materials, which has many important applications, is usually described in terms of coarsening dynamics: there, bubbles of mis-aligned grains evaporate, allowing the coalescence of optimally arranged islands and a progressive reduction of total occupied volume.


title: Estimating the Attack Ratio of Dengue Epidemics under Time-varying Force of Infection using Aggregated Notification Data

abstract: Quantifying the attack ratio of disease is key to epidemiological inference and Public Health planning. For multi-serotype pathogens, however, different levels of serotype-specific immunity make it difficult to assess the population at risk. In this paper we propose a Bayesian method for estimation of the attack ratio of an epidemic and the initial fraction of susceptibles using aggregated incidence data. We derive the probability distribution of the effective reproductive number, R t , and use MCMC to obtain posterior distributions of the parameters of a single-strain SIR transmission model with time-varying force of infection. Our method is showcased in a data set consisting of 18 years of dengue incidence in the city of Rio de Janeiro, Brazil. We demonstrate that it is possible to learn about the initial fraction of susceptibles and the attack ratio even in the absence of serotype specific data. On the other hand, the information provided by this approach is limited, stressing the need for detailed serological surveys to characterise the distribution of serotype-specific immunity in the population.


title: Running Identical Threads in C-Slow Retiming based Designs for Functional Failure Detection

abstract: This paper shows the usage of C-Slow Retiming (CSR) in safety critical and low power applications. CSR generates C copies of a design by reusing the given logic resources in a time sliced fashion. When all C design copies are stimulated with the same input values, then all C design copies should behave the same way and will therefore create a redundant system. The paper shows that this special method of using CSR offers great benefits when used in safety critical and low power applications. Additional optimization techniques towards reducing register count are shown and an on-the-fly recovery mechanism is discussed.


title: Recovering a polyhedral obstacle by a few backscattering measurements

abstract: We propose an inverse scattering scheme of recovering a polyhedral obstacle in $\mathbb{R}^n$, $n=2,3$, by only a few high-frequency acoustic backscattering measurements. The obstacle could be sound-soft or sound-hard. It is shown that the modulus of the far-field pattern in the backscattering aperture possesses a certain local maximum behavior, from which one can determine the exterior normal directions of the front sides/faces. Then by using the phaseless backscattering data corresponding to a few incident plane waves with suitably chosen incident directions, one can determine the exterior unit normal vector of each side/face of the obstacle. After the determination of the exterior unit normals, the recovery is reduced to a finite-dimensional problem of determining a location point of the obstacle and the distance of each side/face away from the location point. For the latter reconstruction, we need make use of the far-field data with phases. Numerical experiments are also presented to illustrate the effectiveness of the proposed scheme.


title: A Pathway between Bernal and Rhombohedral Stacked Graphene Layers with Scanning Tunneling Microscopy

abstract: Horizontal shifts in the top layer of highly oriented pyrolytic graphite, induced by a scanning tunneling microscope (STM) tip, are presented. Excellent agreement is found between STM images and those simulated using density functional theory. First-principle calculations identify that the low-energy barrier direction of the top layer displacement is toward a structure where none of the carbon pz orbitals overlap, while the high-energy barrier direction is toward AA stacking. Each directional shift yields a real-space surface charge density similar to graphene; however the low-energy barrier direction requires only one bond length to convert ABA (Bernal) to ABC (rhombohedral).


title: A Predictive Framework for Cyber Security Analytics using Attack Graphs

abstract: Security metrics serve as a powerful tool for organizations to understand the effectiveness of protecting computer networks. However majority of these measurement techniques don't adequately help corporations to make informed risk management decisions. In this paper we present a stochastic security framework for obtaining quantitative measures of security by taking into account the dynamic attributes associated with vulnerabilities that can change over time. Our model is novel as existing research in attack graph analysis do not consider the temporal aspects associated with the vulnerabilities, such as the availability of exploits and patches which can affect the overall network security based on how the vulnerabilities are interconnected and leveraged to compromise the system. In order to have a more realistic representation of how the security state of the network would vary over time, a nonhomogeneous model is developed which incorporates a time dependent covariate, namely the vulnerability age. The daily transition-probability matrices are estimated using Frei's Vulnerability Lifecycle model. We also leverage the trusted CVSS metric domain to analyze how the total exploitability and impact measures evolve over a time period for a given network.


title: A specialized face-processing network consistent with the representational geometry of monkey face patches

abstract: Ample evidence suggests that face processing in human and non-human primates is performed differently compared with other objects. Converging reports, both physiologically and psychophysically, indicate that faces are processed in specialized neural networks in the brain -i.e. face patches in monkeys and the fusiform face area (FFA) in humans. We are all expert face-processing agents, and able to identify very subtle differences within the category of faces, despite substantial visual and featural similarities. Identification is performed rapidly and accurately after viewing a whole face, while significantly drops if some of the face configurations (e.g. inversion, misalignment) are manipulated or if partial views of faces are shown due to occlusion. This refers to a hotly-debated, yet highly-supported concept, known as holistic face processing. We built a hierarchical computational model of face-processing based on evidence from recent neuronal and behavioural studies on faces processing in primates. Representational geometries of the last three layers of the model have characteristics similar to those observed in monkey face patches (posterior, middle and anterior patches). Furthermore, several face-processing-related phenomena reported in the literature automatically emerge as properties of this model. The representations are evolved through several computational layers, using biologically plausible learning rules. The model satisfies face inversion effect, composite face effect, other race effect, view and identity selectivity, and canonical face views. To our knowledge, no models have so far been proposed with this performance and agreement with biological data.


title: On the formation of compact, massive sub-systems in stellar clusters and its relation with intermediate mass black holes

abstract: During their evolution, star clusters undergo mass segregation, by which the orbits of the most massive stars shrink, while the lighter stars move outwards from the cluster centre. In this context, recent observations and dynamical modelling of several galactic and extra-galactic globular clusters (GCs) suggest that most of them show, close to their centre, an overabundance of mass whose nature is still matter of debate. For instance, many works show that orbitally segregated stars may collide with each other in a runaway fashion, leading to the formation of a very massive star or an intermediate mass black hole (IMBH) with a mass comparable to the observed mass excess. On the other hand, segregated stars can form a dense system if the IMBH formation fails. In this paper we study the early formation phase of a dense, massive sub-system (MSS) in several GCs models using a recently developed semi-analytical treatment of the mass segregation process. In order to investigate how the MSS properties depend on the host cluster properties, we varied initial mass function (IMF), total mass, spatial distribution and metallicity of our models. Our results show how the IMF contributes to determine the final mass of the MSS, while the metallicity and the spatial distribution play a minor role. The method presented in this paper allowed us to provide scaling relations that connect the MSS mass and the host cluster mass in agreement with the observed correlation. In order to follow the early formation stage of the MSSs and improve our statistical results, we performed several $N$-body simulations of stellar clusters with masses between $10^3$ and $2\times 10^5$ solar masses.


title: A multiplicity result via Ljusternick-Schnirelmann category and morse theory for a fractional schr\"odinger equation in $\mathbb R^{N}$

abstract: In this work we study the following class of problems in $\mathbb R^{N}, N>2s$ $$ \varepsilon^{2s} (-\Delta)^{s}u + V(z)u=f(u), \,\,\, u(z) > 0 $$ where $0<s<1$, $(-\Delta)^{s}$ is the fractional Laplacian, $\varepsilon$ is a positive parameter, the potential $V:\mathbb{R}^N \to\mathbb{R}$ %is a continuous functions and the nonlinearity $f:\mathbb R \to \mathbb R$ satisfy suitable assumptions; in particular it is assumed that $V$ achieves its positive minimum on some set $M.$ By using variational methods we prove existence, multiplicity and concentration of maxima of positive solutions when $\varepsilon\to 0^{+}$. In particular the multiplicity result is obtained by means of the Ljusternick-Schnirelmann and Morse theory, by exploiting the "topological complexity" of the set $M$.


title: Origin Of The Cosmic Ray Positrons Observed Near Earth- Meson Decay Or Dark Matter Decay?

abstract: We show that the flux of the high-energy cosmic ray positrons observed near Earth is that expected from the decay of mesons produced by the primary cosmic rays (CRs) in the local interstellar medium.


title: Authorship recognition via fluctuation analysis of network topology and word intermittency

abstract: Statistical methods have been widely employed in many practical natural language processing applications. More specifically, complex networks concepts and methods from dynamical systems theory have been successfully applied to recognize stylistic patterns in written texts. Despite the large amount of studies devoted to represent texts with physical models, only a few studies have assessed the relevance of attributes derived from the analysis of stylistic fluctuations. Because fluctuations represent a pivotal factor for characterizing a myriad of real systems, this study focused on the analysis of the properties of stylistic fluctuations in texts via topological analysis of complex networks and intermittency measurements. The results showed that different authors display distinct fluctuation patterns. In particular, it was found that it is possible to identify the authorship of books using the intermittency of specific words. Taken together, the results described here suggest that the patterns found in stylistic fluctuations could be used to analyze other related complex systems. Furthermore, the discovery of novel patterns related to textual stylistic fluctuations indicates that these patterns could be useful to improve the state of the art of many stylistic-based natural language processing tasks.


title: On the initial conditions for inflation with plateau potentials: the $R+R^2$ (super)gravity case

abstract: We discuss the initial conditions problem for inflation driven by the vacuum energy of a plateau potential, and in particular the Starobinsky inflation. We show that the supergravity embedding of the $R+R^2$ theory naturally decreases the size of the acausal homogeneity, required for the low-scale inflation to occur, thanks to the presence of the dynamical pure supergravitational "auxiliary" fields. We examine the evolution of the $R+R^2$ fields within a FLRW Universe. We also find a dependence of the initial conditions problem on the background spatial curvature.


title: Reconstructing the final state of Pb+Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV

abstract: We fit the single-hadron transverse-momentum spectra measured in Pb+Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV with the blast-wave model that includes production via resonance decays. Common fit to pions, kaons, (anti)protons, and lambdas yields centrality dependence of the freeze-out temperature and transverse expansion velocity. In the most central collisions we see $T=98$ MeV and $\langle v_t \rangle = 0.654$. The $K^*$ resonance fits into this picture but the $\phi$ meson might freeze-out a little earlier. Multistrange baryons seem to decouple at higher temperature and weaker transverse flow. Within our model we observe hints of chemical potential for the charged pions.


title: Comparative study of three-nucleon force models in nuclear matter

abstract: We calculate the energy per particle of symmetric nuclear matter and pure neutron matter using the microscopic many-body Brueckner-Hartree-Fock (BHF) approach and employing the Argonne V18 (AV18) nucleon-nucleon (NN) potential supplemented with two different three-nucleon force models recently constructed to reproduce the binding energy of $^3$H, $^3$He and $^4$He nuclei as well as the neutron-deuteron doublet scattering length. We find that none of these new three-nucleon force models is able to reproduce simultaneously the empirical saturation point of symmetric nuclear matter and the properties of three- and four-nucleon systems.


title: The Yarkovsky and YORP Effects

abstract: The Yarkovsky effect describes a small but significant force that affects the orbital motion of meteoroids and asteroids smaller than $30-40$ kilometers in diameter. It is caused by sunlight; when these bodies heat up in the Sun, they eventually re-radiate the energy away in the thermal waveband, which in turn creates a tiny thrust. This recoil acceleration is much weaker than solar and planetary gravitational forces, but it can produce measurable orbital changes over decades and substantial orbital effects over millions to billions of years. The same physical phenomenon also creates a thermal torque that, complemented by a torque produced by scattered sunlight, can modify the rotation rates and obliquities of small bodies as well. This rotational variant has been coined the Yarkovsky-O'Keefe-Radzievskii-Paddack (YORP) effect. During the past decade or so, the Yarkovsky and YORP effects have been used to explore and potentially resolve a number of unsolved mysteries in planetary science dealing with small bodies. Here we review the main results to date, and preview the goals for future work.


title: A loophole to the universal photon spectrum in electromagnetic cascades: application to the "cosmological lithium problem"

abstract: The standard theory of electromagnetic cascades onto a photon background predicts a quasi-universal shape for the resulting non-thermal photon spectrum. This has been applied to very disparate fields, including non-thermal big bang nucleosynthesis (BBN). However, once the energy of the injected photons falls below the pair-production threshold the spectral shape is very different, a fact that has been overlooked in past literature. This loophole may have important phenomenological consequences, since it generically alters the BBN bounds on non-thermal relics: for instance it allows to re-open the possibility of purely electromagnetic solutions to the so-called "cosmological lithium problem", which were thought to be excluded by other cosmological constraints. We show this with a proof-of-principle example and a simple particle physics model, compared with previous literature.


title: The Lebesgue Universal Covering Problem

abstract: In 1914 Lebesgue defined a "universal covering" to be a convex subset of the plane that contains an isometric copy of any subset of diameter 1. His challenge of finding a universal covering with the least possible area has been addressed by various mathematicians: Pal, Sprague and Hansen have each created a smaller universal covering by removing regions from those known before. However, Hansen's last reduction was microsopic: he claimed to remove an area of $6 \cdot 10^{-18}$, but we show that he actually removed an area of just $8 \cdot 10^{-21}$. In the following, with the help of Greg Egan, we find a new, smaller universal covering with area less than $0.8441153$. This reduces the area of the previous best universal covering by a whopping $2.2 \cdot 10^{-5}$.


title: Signal Partitioning Algorithm for Highly Efficient Gaussian Mixture Modeling in Mass Spectrometry

abstract: Mixture - modeling of mass spectra is an approach with many potential applications including peak detection and quantification, smoothing, de-noising, feature extraction and spectral signal compression. However, existing algorithms do not allow for automatic analyses of whole spectra. Therefore, despite highlighting potential advantages of mixture modeling of mass spectra of peptide/protein mixtures and some preliminary results presented in several papers, the mixture modeling approach was so far not developed to the stage enabling systematic comparisons with existing software packages for proteomic mass spectra analyses. In this paper we present an efficient algorithm for Gaussian mixture modeling of proteomic mass spectra of different types (e.g., MALDI-ToF profiling, MALDI-IMS). The main idea is automatic partitioning of protein mass spectral signal into fragments. The obtained fragments are separately decomposed into Gaussian mixture models. The parameters of the mixture models of fragments are then aggregated to form the mixture model of the whole spectrum. We compare the elaborated algorithm to existing algorithms for peak detection and we demonstrate improvements of peak detection efficiency obtained by using Gaussian mixture modeling. We also show applications of the elaborated algorithm to real proteomic datasets of low and high resolution.


title: Prices Matter for the Parameterized Complexity of Shift Bribery

abstract: In the Shift Bribery problem, we are given an election (based on preference orders), a preferred candidate $p$, and a budget. The goal is to ensure that $p$ wins by shifting $p$ higher in some voters' preference orders. However, each such shift request comes at a price (depending on the voter and on the extent of the shift) and we must not exceed the given budget. We study the parameterized computational complexity of Shift Bribery with respect to a number of parameters (pertaining to the nature of the solution sought and the size of the election) and several classes of price functions. When we parameterize Shift Bribery by the number of affected voters, then for each of our voting rules (Borda, Maximin, Copeland) the problem is W[2]-hard. If, instead, we parameterize by the number of positions by which $p$ is shifted in total,then the problem is fixed-parameter tractable for Borda and Maximin,and is W[1]-hard for Copeland. If we parameterize by the budget, then the results depend on the price function class. We also show that Shift Bribery tends to be tractable when parameterized by the number of voters, but that the results for the number of candidates are more enigmatic.


title: Regge behavior saves String Theory from causality violations

abstract: Higher-derivative corrections to the Einstein-Hilbert action are present in bosonic string theory leading to the potential causality violations recently pointed out by Camanho et al. We analyze in detail this question by considering high-energy string-brane collisions at impact parameters $b \le l_s$ (the string-length parameter) with $l_s \gg R_p$ (the characteristic scale of the D$p$-brane geometry). If we keep only the contribution of the massless states causality is violated for a set of initial states whose polarization is suitably chosen with respect to the impact parameter vector. Such violations are instead neatly avoided when the full structure of string theory - and in particular its Regge behavior - is taken into account.


title: Graph Isomorphism, Color Refinement, and Compactness

abstract: Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in distinguishing G from any non-isomorphic graph H. Tinhofer (1991) explored a linear programming approach to Graph Isomorphism and defined compact graphs: A graph is compact if its fractional automorphisms polytope is integral. Tinhofer noted that isomorphism testing for compact graphs can be done quite efficiently by linear programming. However, the problem of characterizing and recognizing compact graphs in polynomial time remains an open question. Our results are summarized below: - We show that amenable graphs are recognizable in time O((n + m)logn), where n and m denote the number of vertices and the number of edges in the input graph. - We show that all amenable graphs are compact. - We study related combinatorial and algebraic graph properties introduced by Tinhofer and Godsil. The corresponding classes of graphs form a hierarchy and we prove that recognizing each of these graph classes is P-hard. In particular, this gives a first complexity lower bound for recognizing compact graphs.


title: An observational proxy of halo assembly time and its correlation with galaxy properties

abstract: We show that the ratio between the stellar mass of central galaxy and the mass of its host halo, $f_c \equiv M_{*,c}/M_{\rm h}$, can be used as an observable proxy of halo assembly time, in that galaxy groups with higher $f_c$ assembled their masses earlier. Using SDSS groups of Yang et al., we study how $f_c$ correlates with galaxy properties such as color, star formation rate, metallicity, bulge to disk ratio, and size. Central galaxies of a given stellar mass in groups with $f_c>0.02$ tend to be redder in color, more quenched in star formation, smaller in size, and more bulge dominated, as $f_c$ increases. The trends in color and star formation appear to reverse at $f_c<0.02$, reflecting a down-sizing effect that galaxies in massive halos formed their stars earlier although the host halos themselves assembled later (lower $f_c$). No such reversal is seen in the size of elliptical galaxies, suggesting that their assembly follows halo growth more closely than their star formation. Satellite galaxies of a given stellar mass in groups of a given halo mass tend to be redder in color, more quenched in star formation and smaller in size as $f_c$ increases. For a given stellar mass, satellites also tend to be smaller than centrals. The trends are stronger for lower mass groups. For groups more massive than $\sim 10^{13}{\rm M}_\odot$, a weak reversed trend is seen in color and star formation. The observed trends in star formation are qualitatively reproduced by an empirical model based on halo age abundance matching, but not by a semi-analytical model tested here.


title: Towards a Complexity-through-Realisability Theory

abstract: We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This semantic-based approach should apply uniformly to various computational paradigms, and enable the use of new mathematical methods and tools to attack problem in computational complexity. This paper provides the background, motivations and perspectives of this complexity-through-realisability theory to be developed, and illustrates it with recent results.


title: Enstrophy cascade in physical scales for the 3D Navier-Stokes equations

abstract: An enstrophy cascade is exhibited for the Navier-Stokes equations in physical scales independently of boundary conditions under physically reasonable assumptions on the flow.


title: Amplitude extraction in pseudoscalar-meson photoproduction: towards a situation of complete information

abstract: A complete set for pseudoscalar-meson photoproduction is a minimum set of observables from which one can determine the underlying reaction amplitudes unambiguously. The complete sets considered in this work involve single- and double-polarization observables. It is argued that for extracting amplitudes from data, the transversity representation of the reaction amplitudes offers advantages over alternate representations. It is shown that with the available single-polarization data for the p({\gamma},K^+)\Lambda reaction, the energy and angular dependence of the moduli of the normalized transversity amplitudes in the resonance region can be determined to a fair accuracy. Determining the relative phases of the amplitudes from double-polarization observables is far less evident.


title: Hyperspectral unmixing with spectral variability using a perturbed linear mixing model

abstract: Given a mixed hyperspectral data set, linear unmixing aims at estimating the reference spectral signatures composing the data - referred to as endmembers - their abundance fractions and their number. In practice, the identified endmembers can vary spectrally within a given image and can thus be construed as variable instances of reference endmembers. Ignoring this variability induces estimation errors that are propagated into the unmixing procedure. To address this issue, endmember variability estimation consists of estimating the reference spectral signatures from which the estimated endmembers have been derived as well as their variability with respect to these references. This paper introduces a new linear mixing model that explicitly accounts for spatial and spectral endmember variabilities. The parameters of this model can be estimated using an optimization algorithm based on the alternating direction method of multipliers. The performance of the proposed unmixing method is evaluated on synthetic and real data. A comparison with state-of-the-art algorithms designed to model and estimate endmember variability allows the interest of the proposed unmixing solution to be appreciated.


title: Persistent semi-metal-like nature of epitaxial perovskite CaIrO3 thin films

abstract: Strong spin-orbit coupled 5d transition metal based ABO3 oxides, especially iridates, allow tuning parameters in the phase diagram and may demonstrate important functionalities, for example, by means of strain effects and symmetry-breaking, because of the interplay between the Coulomb interactions and strong spin-orbit coupling. Here, we have epitaxially stabilized high quality thin films of perovskite (Pv) CaIrO3. Film on the best lattice-matched substrate shows semi-metal-like characteristics. Intriguingly, imposing tensile or compressive strain on the film by altering the underlying lattice-mismatched substrates still maintains semi-metallicity with minute modification of the effective correlation as tensile (compressive) strain results in tiny increases (decreases) of the electronic bandwidth. In addition, magnetoresistance remains positive with a quadratic field dependence. This persistent semi-metal-like nature of Pv-CaIrO3 thin films with minute changes in the effective correlation by strain may provide new wisdom into strong spin-orbit coupled 5d based oxide physics.


title: Making the decoy-state measurement-device-independent quantum key distribution practically useful

abstract: The relatively low key rate seems to be the major barrier to its practical use for the decoy state measurement device independent quantum key distribution (MDIQKD). We present a 4-intensity protocol for the decoy-state MDIQKD that hugely raises the key rate, especially in the case the total data size is not large. Also, calculation shows that our method makes it possible for secure private communication with {\em fresh} keys generated from MDIQKD with a delay time of only a few seconds.


title: Production of strange particles in charged jets in p--Pb and Pb--Pb collisions measured with ALICE at the LHC

abstract: Studies of jet production can provide information about the properties of the hot and dense strongly interacting matter created in ultra-relativistic heavy-ion collisions. Specifically, measurement of strange particles in jets may clarify the role of fragmentation processes in the anomalous baryon to meson ratio at intermediate particle pT that was observed in PbPb and, to a lesser extent, in pPb collisions. In this contribution, measurements of the pT spectra of Lambda and Antilambda baryons and K0s mesons produced in association with charged jets in PbPb collisions at sqrt(sNN)=2.76 TeV and pPb collisions at sqrt(sNN)=5.02 TeV are presented. The analysis is based on data which was recorded by ALICE at the LHC, exploiting its excellent particle identification capabilities. The baryon meson ratios of the spectra of strange particles associated with jets are studied for different event activities in p-Pb and are restricted to central events in PbPb. A comparison to the ratios obtained for inclusive particles and for particles stemming from the underlying event as well as to PYTHIA simulations is shown.


title: A Secure Electronic Prescription System Using Steganography with Encryption Key Implementation

abstract: Over the years health care has seen major improvement due to the introduction information and communication technology with electronic medical prescription being one the areas benefiting from it. Within the overall context of protection of health care information, privacy of prescription data needs special treatment. This paper presents an e-prescription system that addresses some challenges pertaining to the prescription privacy protection in the process of drug prescription. The developed system uses spread spectrum image steganography algorithm with Advanced Encryption Standard (AES) key implementation to provide a secure means of delivering medical prescription to the parties involved. The architecture for encoding and decoding was implemented with an electronic health record. The software development tools used were PHP and MySQL database management system for front end and backend data management respectively. The designed system demonstration shows that the synergistic combination of steganography and cryptography technologies in medical prescription is capable of providing a secure transmission to properly provide security for patients medical prescription.


title: Optimal transport over a linear dynamical system

abstract: We consider the problem of steering an initial probability density for the state vector of a linear system to a final one, in finite time, using minimum energy control. In the case where the dynamics correspond to an integrator ($\dot x(t) = u(t)$) this amounts to a Monge-Kantorovich Optimal Mass Transport (OMT) problem. In general, we show that the problem can again be reduced to solving an OMT problem and that it has a unique solution. In parallel, we study the optimal steering of the state-density of a linear stochastic system with white noise disturbance; this is known to correspond to a Schr\"odinger bridge. As the white noise intensity tends to zero, the flow of densities converges to that of the deterministic dynamics and can serve as a way to compute the solution of its deterministic counterpart. The solution can be expressed in closed-form for Gaussian initial and final state densities in both cases.


title: Dynamics of rotation in M dwarfs: Indications for a change in the dynamo regime in stars at the onset of complete convection

abstract: We have measured v sin i with high precision for a sample of dM3 stars (86 targets). We detected rotation in 82 stars (73 dM3 stars, and 9 dM3e stars). We compare our measurements of v sin i for all the stars in our dM0, dM2, dM3 and dM4 samples to those from other authors. We find a good agreement down to v sin i values of less than 1 km/s. The mean of the differences between measurements is only 0.42 km/s. We find that the distribution of P/sini for our dM3 stars is different from the distribution of P/sini among our samples of dM2 and dM4 stars. The mean rotation rate for the dM3 stars (excluding dM3e and sdM3 stars) is significantly slower (25.8 days) than for dM2 (14.4 days) and dM4 stars (11.4 days). Analogous behavior also emerges among the faster rotators (dMe stars): we find that a longer rotation period also occurs at spectral sub-type dM3e. Our data suggest that, as regards the rotational properties of lower main sequence stars, spectral sub-type dM3 stands out as exhibiting unusual slow rotation compared to that of adjoining sub-types. Our data lead us to suggest that the unusual rotational properties of M3 dwarfs may represent a signature of the transition to complete convection (TTCC).


title: Characterization of central elements of operator algebras by inequalities

abstract: We propose a list of inequalities which characterize central elements in von Neumann algebras and C*-algebras.


title: A flexible method to evolve collisional systems and their tidal debris in external potentials

abstract: We introduce a numerical method to integrate tidal effects on collisional systems, using any definition of the external potential as a function of space and time. Rather than using a linearisation of the tidal field, this new method follows a differential technique to numerically evaluate the tidal acceleration and its time derivative. Theses are then used to integrate the motions of the components of the collisional systems, like stars in star clusters, using a predictor-corrector scheme. The versatility of this approach allows the study of star clusters, including their tidal tails, in complex, multi-components, time-evolving external potentials. The method is implemented in the code nbody6 (Aarseth 2003).


title: Existence and Uniqueness of Proper Scoring Rules

abstract: To discuss the existence and uniqueness of proper scoring rules one needs to extend the associated entropy functions as sublinear functions to the conic hull of the prediction set. In some natural function spaces, such as the Lebesgue $L^p$-spaces over $\mathbb R^d$, the positive cones have empty interior. Entropy functions defined on such cones have only directional derivatives. Certain entropies may be further extended continuously to open cones in normed spaces containing signed densities. The extended densities are G\^ateaux differentiable except on a negligible set and have everywhere continuous subgradients due to the supporting hyperplane theorem. We introduce the necessary framework from analysis and algebra that allows us to give an affirmative answer to the titular question of the paper. As a result of this, we give a formal sense in which entropy functions have uniquely associated proper scoring rules. We illustrate our framework by studying the derivatives and subgradients of the following three prototypical entropies: Shannon entropy, Hyv\"arinen entropy, and quadratic entropy.


title: Is inner core seismic anisotropy a marker of plastic flow of cubic iron?

abstract: This paper investigates whether observations of seismic anisotropy are compatible with a cubic structure of the inner core Fe alloy. We assume that anisotropy is the result of plastic deformation within a large scale flow induced by preferred growth at the inner core equator. Based on elastic moduli from the literature, bcc- or fcc-Fe produce seismic anisotropy well below seismic observations ($\textless{}0.4\%$). A Monte-Carlo approach allows us to generalize this result to any form of elastic anisotropy in a cubic system. Within our model, inner core global anisotropy is not compatible with a cubic structure of Fe alloy. Hence, if the inner core material is indeed cubic, large scale coherent anisotropic structures, incompatible with plastic deformation induced by large scale flow, must be present.


title: INRIASAC: Simple Hypernym Extraction Methods

abstract: Given a set of terms from a given domain, how can we structure them into a taxonomy without manual intervention? This is the task 17 of SemEval 2015. Here we present our simple taxonomy structuring techniques which, despite their simplicity, ranked first in this 2015 benchmark. We use large quantities of text (English Wikipedia) and simple heuristics such as term overlap and document and sentence co-occurrence to produce hypernym lists. We describe these techniques and pre-sent an initial evaluation of results.


title: Monogamy, polygamy, and other properties of entanglement of purification

abstract: For bipartite pure and mixed quantum states, in addition to the quantum mutual information, there is another measure of total correlation, namely, the entanglement of purification. We study the monogamy, polygamy, and additivity properties of the entanglement of purification for pure and mixed states. In this paper, we show that, in contrast to the quantum mutual information which is strictly monogamous for any tripartite pure states, the entanglement of purification is polygamous for the same. This shows that there can be genuinely two types of total correlation across any bipartite cross in a pure tripartite state. Furthermore, we find the lower bound and actual values of the entanglement of purification for different classes of tripartite and higher-dimensional bipartite mixed states. Thereafter, we show that if entanglement of purification is not additive on tensor product states, it is actually subadditive. Using these results, we identify some states which are additive on tensor products for entanglement of purification. The implications of these findings on the quantum advantage of dense coding are briefly discussed, whereby we show that for tripartite pure states, it is strictly monogamous and if it is nonadditive, then it is superadditive on tensor product states.


title: D-modules on rigid analytic spaces II: Kashiwara's equivalence

abstract: We prove that the category of coadmissible D-cap-modules on a smooth rigid analytic space supported on a closed smooth subvariety is naturally equivalent to the category of coadmissible D-cap-modules on the subvariety, and use this result to construct a large family of pairwise non-isomorphic simple coadmissible D-cap-modules.


title: Detecting the local indistinguishability of maximally entangled states

abstract: By incorporating the asymmetry of local protocols, i.e., some party has to start with a nontrivial measurement, into an operational method of detecting the local indistinguishability proposed by Horodecki {\it et al.} [Phys.Rev.Lett. 90 047902 (2003)], we derive a computable criterion to efficiently detect the local indistinguishability of maximally entangled states. Locally indistinguishable sets of $d$ maximally entangled states in a $d\otimes d$ system are systematically constructed for all $d\ge 4$ as an application. Furthermore, by exploiting the fact that local protocols are necessarily separable, we explicitly construct small sets of $k$ locally indistinguishable maximally entangled states with the ratio $k/d$ approaching 3/4. In particular, in a $d\otimes d$ system with even $d\ge 6$, there always exist $d-1$ maximally entangled states that are locally indistinguishable by separable measurements.


title: All the generalized Georgi-Machacek models

abstract: The Georgi-Machacek model adds two SU(2)_L-triplet scalars to the Standard Model in such a way as to preserve custodial SU(2) symmetry. We study the generalizations of the Georgi-Machacek model to SU(2)_L representations larger than triplets. Perturbative unitarity considerations limit the possibilities to models containing only SU(2)_L quartets, quintets, or sextets. These models are phenomenologically interesting because they allow the couplings of the 125 GeV Higgs boson to WW and ZZ to be larger than their values in the Standard Model. We write down the most general custodial SU(2)-preserving scalar potentials for these models and outline their phenomenology. We find that experimental and theoretical constraints on the fermiophobic custodial-fiveplet states present in each of the models lead to absolute upper bounds on the 125 GeV Higgs boson coupling strength to WW and ZZ.


title: Dynamics of Ion Transport in Ionic Liquids

abstract: A gap in understanding the link between continuum theories of ion transport in ionic liquids and the underlying microscopic dynamics has hindered the development of frameworks for transport phenomena in these concentrated electrolytes. Here, we construct a continuum theory for ion transport in ionic liquids by coarse graining a simple exclusion process of interacting particles on a lattice. The resulting dynamical equations can be written as a gradient flow with a mobility matrix that vanishes at high densities. This form of the mobility matrix gives rise to a charging behaviour that is different to the one known for electrolytic solutions, but which agrees qualitatively with the phenomenology observed in experiments and simulations.


title: Gravitational collapse of thin shells: Time evolution of the holographic entanglement entropy

abstract: We study the dynamics of gravitationally collapsing massive shells in AdS spacetime, and show in detail how one can determine extremal surfaces traversing them. The results are used to solve the time evolution of the holographic entanglement entropy in strongly coupled dual conformal gauge theory, which is is seen to exhibit a regime of linear growth independent of the shape of the boundary entangling region and the equation of state of the shell. Our exact results are finally compared to those of two commonly used approximation schemes, the Vaidya metric and the quasistatic limit, whose respective regions of validity are quantitatively determined.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-ph


title: A Falsification View of Success Typing

abstract: Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure. Hence, unit testing is the prevalent incomplete method for validating programs in such languages. Falsification is an alternative approach that uncovers definite errors in programs. A falsifier computes a set of inputs that definitely crash a program. Success typing is a type-based approach to document programs in dynamic languages. We demonstrate that success typing is, in fact, an instance of falsification by mapping success (input) types into suitable logic formulae. Output types are represented by recursive types. We prove the correctness of our mapping (which establishes that success typing is falsification) and we report some experiences with a prototype implementation.


title: Unexpected Mesons X, Y, Z, ... (tetraquarks? hadron molecules? ...)

abstract: This talk briefly discusses the set of meson resonances discovered in the latest decade. They are frequently treated in the literature as tetraquarks or hadron molecules. Our consideration (using the energy-time uncertainty relation) suggests, however, that the most reasonable description for each of them may be a two- (or more-) component Fock column, with one line being a conventional quark-antiquark pair, and the other line(s) corresponding to a charmed (or beauty) meson-antimeson pair near its threshold. Detailed investigation of decay properties might allow to reveal presence of several Fock components and separate their contributions.


title: The GBT 67 -- 93.6 GHz Spectral Line Survey of Orion-KL

abstract: We present a 67--93.6 GHz spectral line survey of Orion-KL with the new 4 mm Receiver on the Green Bank Telescope (GBT). The survey reaches unprecedented depths and covers the low-frequency end of the 3 mm atmospheric window which has been relatively unexplored previously. The entire spectral-line survey is published electronically for general use by the astronomical community. The calibration and performance of 4 mm Receiver on the GBT is also summarized.


title: High-resolution mass models of dwarf galaxies from LITTLE THINGS

abstract: We present high-resolution rotation curves and mass models of 26 dwarf galaxies from LITTLE THINGS. LITTLE THINGS is a high-resolution Very Large Array HI survey for nearby dwarf galaxies in the local volume within 11 Mpc. The rotation curves of the sample galaxies derived in a homogeneous and consistent manner are combined with Spitzer archival 3.6 micron and ancillary optical U, B, and V images to construct mass models of the galaxies. We decompose the rotation curves in terms of the dynamical contributions by baryons and dark matter halos, and compare the latter with those of dwarf galaxies from THINGS as well as Lambda CDM SPH simulations in which the effect of baryonic feedback processes is included. Being generally consistent with THINGS and simulated dwarf galaxies, most of the LITTLE THINGS sample galaxies show a linear increase of the rotation curve in their inner regions, which gives shallower logarithmic inner slopes alpha of their dark matter density profiles. The mean value of the slopes of the 26 LITTLE THINGS dwarf galaxies is alpha =-0.32 +/- 0.24 which is in accordance with the previous results found for low surface brightness galaxies (alpha = -0.2 +/- 0.2) as well as the seven THINGS dwarf galaxies (alpha =-0.29 +/- 0.07). However, this significantly deviates from the cusp-like dark matter distribution predicted by dark-matter-only Lambda CDM simulations. Instead our results are more in line with the shallower slopes found in the Lambda CDM SPH simulations of dwarf galaxies in which the effect of baryonic feedback processes is included. In addition, we discuss the central dark matter distribution of DDO 210 whose stellar mass is relatively low in our sample to examine the scenario of inefficient supernova feedback in low mass dwarf galaxies predicted from recent Lambda SPH simulations of dwarf galaxies where central cusps still remain.


title: Observations of Giant Pulses from Pulsar PSR B0950+08 using LWA1

abstract: We report the detection of giant pulse emission from PSR B0950+08 in 24 hours of observations made at 39.4 MHz, with a bandwidth of 16 MHz, using the first station of the Long Wavelength Array, LWA1. We detected 119 giant pulses from PSR B0950+08 (at its dispersion measure), which we define as having SNRs at least 10 times larger than for the mean pulse in our data set. These 119 pulses are 0.035% of the total number of pulse periods in the 24 hours of observations. The rate of giant pulses is about 5.0 per hour. The cumulative distribution of pulse strength $S$ is a steep power law, $N(>S)\propto S^{-4.7}$, but much less steep than would be expected if we were observing the tail of a Gaussian distribution of normal pulses. We detected no other transient pulses in a dispersion measure range from 1 to 90 pc cm$^{-3}$, in the beam tracking PSR B0950+08. The giant pulses have a narrower temporal width than the mean pulse (17.8 ms, on average, vs. 30.5 ms). The pulse widths are consistent with a previously observed weak dependence on observing frequency, which may be indicative of a deviation from a Kolmogorov spectrum of electron density irregularities along the line of sight. The rate and strength of these giant pulses is less than has been observed at $\sim$100 MHz. Additionally, the mean (normal) pulse flux density we observed is less than at $\sim$100 MHz. These results suggest this pulsar is weaker and produces less frequent giant pulses at 39 MHz than at 100 MHz.


title: Fast charge sensing of a cavity-coupled double quantum dot using a Josephson parametric amplifier

abstract: We demonstrate fast readout of a double quantum dot (DQD) that is coupled to a superconducting resonator. Utilizing parametric amplification in a nonlinear operational mode, we improve the signal-to-noise ratio (SNR) by a factor of 2000 compared to the situation with the parametric amplifier turned off. With an integration time of 400 ns we achieve a SNR of 76. By studying SNR as a function of the integration time we extract an equivalent charge sensitivity of 8 x 10^{-5} e/root(Hz). The high SNR allows us to acquire a DQD charge stability diagram in just 20 ms. At such a high data rate, it is possible to acquire charge stability diagrams in a live "video-mode," enabling real time tuning of the DQD confinement potential.


title: A porosity-based Biot model for acoustic waves in snow

abstract: Phase velocities and attenuation in snow can not be explained by the widely used elastic or viscoelastic models for acoustic wave propagation. Instead, Biot's model of wave propagation in porous materials should be used. However, the application of Biot's model is complicated by the large property space of the underlying porous material. Here the properties of ice and air as well as empirical relationships are used to define the properties of snow as a function of porosity. Based on these relations, phase velocities and plane wave attenuation of shear- and compressional-waves as functions of porosity or density are predicted. For light snow the peculiarity was found that the velocity of the first compressional wave is lower than the second compressional wave that is commonly referred to as the "slow" wave. The reversal of the velocities comes with an increase of attenuation for the first compressional wave. This is in line with the common observation that sound is strongly absorbed in light snow. The results have important implications for the use of acoustic waves to evaluate snow properties and to numerically simulate wave propagation in snow.


title: Globally strictly convex cost functional for an inverse parabolic problem

abstract: A coefficient inverse problem for a parabolic equation is considered. Using a Carleman Weight Function, a globally strictly convex cost functional is constructed for this problem.


title: Robust asymptotic entanglement under multipartite collective dephasing

abstract: We derive an analytic solution for the ensemble-averaged collective dephasing dynamics of $N$ noninteracting atoms in a fluctuating homogeneous external field. The obtained Kraus map is used to specify families of states whose entanglement properties are preserved at all times under arbitrary field orientations, even for states undergoing incoherent evolution. Our results apply to arbitrary spectral distributions of the field fluctuations.


title: Two bounds on the noncommuting graph

abstract: Erd\H{o}s introduced the noncommuting graph, in order to study the number of commuting elements in a finite group. Despite the use of combinatorial ideas, his methods involved several techniques of classical analysis. The interest for this graph is becoming relevant in the last years for various reasons. Here we deal with a numerical aspect, showing for the first time an isoperimetric inequality and an analytic condition in terms of Sobolev inequalities. This last result holds in the more general context of weighted locally finite graphs.


title: Local-Global principles for certain images of Galois representations

abstract: Let $K$ be a number field and let $E/K$ be an elliptic curve whose mod $\ell$ Galois representation locally has image contained in a group $G$, up to conjugacy. We classify the possible images for the global Galois representation in the case where $G$ is a Cartan subgroup or the normalizer of a Cartan subgroup. When $K = \mathbf{Q}$, we deduce a counterexample to the local-global principle in the case where $G$ is the normalizer of a split Cartan and $\ell = 13$. In particular, there are at least three elliptic curves (up to twist) over $\mathbf{Q}$ whose mod $13$ image of Galois is locally contained in the normalizer of a split Cartan, but whose global image is not.


title: Robustness of the O($N$) universality class

abstract: We calculate the critical exponents for Lorentz-violating O($N$) $\lambda\phi^{4}$ scalar field theories by using two independent methods. In the first situation we renormalize a massless theory by utilizing normalization conditions. An identical task is fulfilled in the second case in a massive version of the same theory, previously renormalized in the BPHZ method in four dimensions. We show that although the renormalization constants, the $\beta$ and anomalous dimensions acquire Lorentz-violating quantum corrections, the outcome for the critical exponents in both methods are identical and furthermore they are equal to their Lorentz-invariant counterparts. Finally we generalize the last two results for all loop levels and we provide symmetry arguments for justifying the latter.

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


title: Hot flow anomaly remnant in the far geotail?

abstract: A hot flow anomaly (HFA) like event was observed by the Solar TErrestrial RElations Observatory (STEREO) in the night side magnetosheath in the far tail in February-March 2007. The magnetic signature of the tangential discontinuity was visible, but the resolution of the plasma ion data is not sufficient for our analysis, so a method is given to identify HFAs without solar wind velocity measurements. The event observed in the night side magnetosheath in the far tail might be the remnant of an HFA event, a not-so-active current sheet. This observation suggests that the lifetime of the HFAs might be several 10 minutes, much longer than the expected several minutes.


title: A Small-gap Effective-Temperature Model of Transient Shear Band Formation During Flow

abstract: Recent Couette-cell shear experiments of carbopol gels have revealed the formation of a transient shear band before reaching the steady state, which is characterized by homogeneous flow. This shear band is observed in the small-gap limit where the shear stress is spatially uniform. An effective-temperature model of the transient shear banding and solid-fluid transition is developed for the small-gap limit. The small-gap model demonstrates the ability of a continuum-constitutive law that is based solely on microstructural rearrangements of the gel to account for this transient behavior, and identifies that it proceeds via two distinct processes. A shear band nucleates and gradually broadens via disordering at the interface of the band. Simultaneously, spatially homogeneous fluidization is induced outside of the shear band where the disorder of the gel grows uniformly. Experimental data are used to determine the physical parameters of the theory, and direct, quantitative comparison is made to measurements of the structural evolution of the gel, its fluidization time, and its mechanical response under plastic flow.


title: Machine-Checked Proofs For Realizability Checking Algorithms

abstract: Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descriptions, assume/guarantee contracts, and compositional reasoning rules, these techniques can be used to prove important safety properties about the architecture prior to system construction. For these proofs to be meaningful, each leaf-level component contract must be realizable; i.e., it is possible to construct a component such that for any input allowed by the contract assumptions, there is some output value that the component can produce that satisfies the contract guarantees. We have recently proposed (in [1]) a contract-based realizability checking algorithm for assume/guarantee contracts over infinite theories supported by SMT solvers such as linear integer/real arithmetic and uninterpreted functions. In that work, we used an SMT solver and an algorithm similar to k-induction to establish the realizability of a contract, and justified our approach via a hand proof. Given the central importance of realizability to our virtual integration approach, we wanted additional confidence that our approach was sound. This paper describes a complete formalization of the approach in the Coq proof and specification language. During formalization, we found several small mistakes and missing assumptions in our reasoning. Although these did not compromise the correctness of the algorithm used in the checking tools, they point to the value of machine-checked formalization. In addition, we believe this is the first machine-checked formalization for a realizability algorithm.


title: Remarks on the inverse Cherednik-Opdam transform on the real line

abstract: We obtain Hausdorff-Young inequalities for the one-dimensional Cherednik--Opdam transform and its inverse, and we establish a real Paley-Wiener theorem for its inverse that generalizes an analogous result by N. B. Andersen for the Jacobi transform.