title: On homotopy $K3$ surfaces constructed by two knots and their applications

abstract: Let $LHT$ be a left handed trefoil knot and $K$ be any knot. We define $M_n(K)$ to be the homology $3$-sphere which is represented by a simple link of $LHT$ and $LHT \sharp K$ with framings $0$ and $n$ respectively. Starting with this link, we construct homotopy $K3$ and spin rational homology $K3$ surfaces containing $M_n(K)$. Then we apply the adjunction inequality to show that if $n>2g^n_s(K)-2$, $M_n(K)$ does not bound any smooth spin rational $4$-ball, and that under the same assumption the negative $n$-twisted Whitehead double of $LHT \sharp K$ is not a slice knot, where $g^n_s(K)$ is the $n$-shake genus of $K$.


title: Design of A Conduction-cooled 4T Superconducting Racetrack for Multi-field Coupling Measurement System

abstract: A conduction-cooled superconducting magnet producing a transverse field of 4 Tesla has been designed for the new generation multi-field coupling measurement system, which was used to study the mechanical behavior of superconducting samples at cryogenic temperature and intense magnetic fields. Considering experimental costs and coordinating with system of strain measurements by contactless signals (nonlinear CCD optics system), the racetrack type for the coil winding was chosen in our design, and a compact cryostat with a two-stage GM cryocooler was designed and manufactured for the superconducting magnet. The magnet was composed of a pair of flat racetrack coils wound by NbTi/Cu superconducting composite wires, a copper and stainless steel combinational form and two Bi2Sr2CaCu2Oy superconducting current leads. All the coils were connected in series and can be powered with a single power supply. The maximum central magnetic field is 4 T. In order to support the high stress and uniform thermal distribution in the superconducting magnet, a detailed finite element (FE) analysis has been performed. The detailed design of superconducting racetrack magnet system is described in this paper.


title: Boundary density and Voronoi set estimation for irregular sets

abstract: In this paper, we study the inner and outer boundary densities of some sets with self-similar boundary having Minkowski dimension $s\textgreater{}d-1$ in $\mathbb{R}^{d}$. These quantities turn out to be crucial in some problems of set estimation theory, as we show here for the Voronoi approximation of the set with a random input constituted by $n$ iid points in some larger bounded domain. We prove that some classes of such sets have positive inner and outer boundary density, and therefore satisfy Berry-Essen bounds in $n^{-s/2d}$ for Kolmogorov distance. The Von Koch flake serves as an example, and a set with Cantor boundary as a counter-example. We also give the almost sure rate of convergence of Hausdorff distance between the set and its approximation.


title: Learning Invariants using Decision Trees

abstract: The problem of inferring an inductive invariant for verifying program safety can be formulated in terms of binary classification. This is a standard problem in machine learning: given a sample of good and bad points, one is asked to find a classifier that generalizes from the sample and separates the two sets. Here, the good points are the reachable states of the program, and the bad points are those that reach a safety property violation. Thus, a learned classifier is a candidate invariant. In this paper, we propose a new algorithm that uses decision trees to learn candidate invariants in the form of arbitrary Boolean combinations of numerical inequalities. We have used our algorithm to verify C programs taken from the literature. The algorithm is able to infer safe invariants for a range of challenging benchmarks and compares favorably to other ML-based invariant inference techniques. In particular, it scales well to large sample sets.


title: The Science Case for Multi-Object Spectroscopy on the European ELT

abstract: This White Paper presents the scientific motivations for a multi-object spectrograph (MOS) on the European Extremely Large Telescope (E-ELT). The MOS case draws on all fields of contemporary astronomy, from extra-solar planets, to the study of the halo of the Milky Way and its satellites, and from resolved stellar populations in nearby galaxies out to observations of the earliest 'first-light' structures in the partially-reionised Universe. The material presented here results from thorough discussions within the community over the past four years, building on the past competitive studies to agree a common strategy toward realising a MOS capability on the E-ELT. The cases have been distilled to a set of common requirements which will be used to define the MOSAIC instrument, entailing two observational modes ('high multiplex' and 'high definition'). When combined with the unprecedented sensitivity of the E-ELT, MOSAIC will be the world's leading MOS facility. In analysing the requirements we also identify a high-multiplex MOS for the longer-term plans for the E-ELT, with an even greater multiplex (>1000 targets) to enable studies of large-scale structures in the high-redshift Universe. Following the green light for the construction of the E-ELT the MOS community, structured through the MOSAIC consortium, is eager to realise a MOS on the E-ELT as soon as possible. We argue that several of the most compelling cases for ELT science, in highly competitive areas of modern astronomy, demand such a capability. For example, MOS observations in the early stages of E-ELT operations will be essential for follow-up of sources identified by the James Webb Space Telescope (JWST). In particular, multi-object adaptive optics and accurate sky subtraction with fibres have both recently been demonstrated on sky, making fast-track development of MOSAIC feasible.


title: Cyclotron-resonance-induced negative dc conductivity in a two-dimensional electron system on liquid helium

abstract: We theoretically predict instability of a zero-dc-current state of the two-dimensional electron system formed on the surface of liquid helium induced by the cyclotron resonance (CR). This conclusion follows from the theoretical analysis of the dc magnetoconductivity which takes into account the contribution from radiation in an exact way. A many-electron model of the dynamic structure factor of the 2D Coulomb liquid is used to describe the influence of strong internal forces acting between electrons. For low electron densities and high amplitudes of the microwave field, the dc magnetoconductivity is shown to become negative in the vicinity of the CR which causes the instability. This effect is strongly suppressed by Coulomb forces in the region of high densities.


title: Quantum Spin Hall Effect in IV-VI Topological Crystalline Insulators

abstract: We envision that quantum spin Hall effect should be observed in $(111)$-oriented thin films of SnSe and SnTe topological crystalline insulators. Using a tight-binding approach supported by first-principles calculations of the band structures we demonstrate that in these films the energy gaps in the two-dimensional band spectrum depend in an oscillatory fashion on the layer thickness. These results as well as the calculated topological invariant indexes and edge state spin polarizations show that for films ~20-40 monolayers thick a two-dimensional topological insulator phase appears. In this range of thicknesses in both, SnSe and SnTe, (111)-oriented films edge states with Dirac cones with opposite spin polarization in their two branches are obtained. While in the SnTe layers a single Dirac cone appears at the projection of the G point of the two-dimensional Brillouin zone, in the SnSe (111)-oriented layers three Dirac cones at M points projections are predicted.


title: Experimental and theoretical study of red-shifted solitonic resonant radiation in photonic crystal fibers and generation of radiation seeded Raman solitons

abstract: The red shifted solitonic resonant radiation is a fascinating phase matching phenomenon that occurs when an optical pulse, launched in the normal dispersion regime of photonic crystal fiber, radiates across the zero dispersion wavelength. The formation of such phase-matched radiation is independent of the generation of any optical soliton and mainly governed by the leading edge of input pump which forms a shock front. The radiation is generated at the anomalous dispersion regime and found to be confined both in time and frequency domain. We experimentally investigate the formation of such radiations in photonic crystal fibers with detailed theoretical analysis. Our theoretical predictions corroborate well with experimental results. Further we extend our study for long length fiber and investigate the interplay between red-shifted solitonic resonant radiation and intrapulse Raman scattering (IPRS). It is observed that series of radiation-seeded Raman solitons are generated in anomalous dispersion regime.


title: Static Analysis of File-Processing Programs using File Format Specifications

abstract: Programs that process data that reside in files are widely used in varied domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs in the context of software verification and transformation tasks is a challenging problem. Our key insight is that static analysis of file-processing programs can be made more useful if knowledge of the input file formats of these programs is made available to the analysis. We propose a generic framework that is able to perform any given underlying abstract interpretation on the program, while restricting the attention of the analysis to program paths that are potentially feasible when the program's input conforms to the given file format specification. We describe an implementation of our approach, and present empirical results using real and realistic programs that show how our approach enables novel verification and transformation tasks, and also improves the precision of standard analysis problems.


title: Robust Reconstruction of Complex Networks from Sparse Data

abstract: Reconstructing complex networks from measurable data is a fundamental problem for understanding and controlling collective dynamics of complex networked systems. However, a significant challenge arises when we attempt to decode structural information hidden in limited amounts of data accompanied by noise and in the presence of inaccessible nodes. Here, we develop a general framework for robust reconstruction of complex networks from sparse and noisy data. Specifically, we decompose the task of reconstructing the whole network into recovering local structures centered at each node. Thus, the natural sparsity of complex networks ensures a conversion from the local structure reconstruction into a sparse signal reconstruction problem that can be addressed by using the lasso, a convex optimization method. We apply our method to evolutionary games, transportation and communication processes taking place in a variety of model and real complex networks, finding that universal high reconstruction accuracy can be achieved from sparse data in spite of noise in time series and missing data of partial nodes. Our approach opens new routes to the network reconstruction problem and has potential applications in a wide range of fields.


title: Strabismic syndromes and syndromic strabismus - a brief review

abstract: Strabismus can be found in association with congenital heart diseases, for examples, in velocardiofacial (DiGeorge) syndrome, Down syndrome, mild dysmorphic features, in CHARGE association, Turner syndrome, Ullrich-Turner syndrome, cardiofaciocutaneous syndrome.1-4 Some types of strabismus is heritable (e.g. infantile esotropia syndrome), particularly the ones associated with multisystem disorders, e.g. Moebius syndrome, Prader-Willi syndrome, craniofacial dysostoses, and mitochondrial myopathies.5 Due to the complexities that a case of strabismus may pertain to, it is worthwhile to get to know more about the strabismic syndromes and syndromic strabismus. This brief review -as its name implied- does not attempt to cover every angle of the syndromic conditions, but offers a refreshment on our knowledge about more prevalent strabismus-related syndromes.


title: Improving the LSST dithering pattern and cadence for dark energy studies

abstract: The Large Synoptic Survey Telescope (LSST) will explore the entire southern sky over 10 years starting in 2022 with unprecedented depth and time sampling in six filters, $ugrizy$. Artificial power on the scale of the 3.5 deg LSST field-of-view will contaminate measurements of baryonic acoustic oscillations (BAO), which fall at the same angular scale at redshift $z \sim 1$. Using the HEALPix framework, we demonstrate the impact of an "un-dithered" survey, in which $17\%$ of each LSST field-of-view is overlapped by neighboring observations, generating a honeycomb pattern of strongly varying survey depth and significant artificial power on BAO angular scales. We find that adopting large dithers (i.e., telescope pointing offsets) of amplitude close to the LSST field-of-view radius reduces artificial structure in the galaxy distribution by a factor of $\sim$10. We propose an observing strategy utilizing large dithers within the main survey and minimal dithers for the LSST Deep Drilling Fields. We show that applying various magnitude cutoffs can further increase survey uniformity. We find that a magnitude cut of $r < 27.3$ removes significant spurious power from the angular power spectrum with a minimal reduction in the total number of observed galaxies over the ten-year LSST run. We also determine the effectiveness of the observing strategy for Type Ia SNe and predict that the main survey will contribute $\sim$100,000 Type Ia SNe. We propose a concentrated survey where LSST observes one-third of its main survey area each year, increasing the number of main survey Type Ia SNe by a factor of $\sim$1.5, while still enabling the successful pursuit of other science drivers.


title: On Relative Stabilities of Distinct Polyenes. An Extension of the Concept of Conjugated Paths

abstract: The study continues the previous development [MATCH, 72 (2014) 39-73] of the perturbative approach to relative stabilities of pi-electron systems of conjugated hydrocarbons modeled as sets of weakly-interacting initially-double (C=C) bonds. Distinct isomers of acyclic hydrocarbons (polyenes) are now under focus. The relevant total pi-electron energies (E) are expressed in the form of power series containing members (E_(k)) of even orders (k=0,2,4,...) with respect to the averaged resonance parameter of initially-single (C-C) bonds. Terms to within the sixth order (k=6) inclusive are shown to be of importance for discrimination between similar isomers. In this connection, missing expressions for corrections E_(6) are originally derived. Conjugated paths of various lengths (i.e. linear chains consisting of C=C and C-C bonds alternately) are shown to be the most important (but not the only) fragments contributing to stabilization of any acyclic pi-electron system. Again, new types of fragments (substructures) are revealed (viz. the so-called composite conjugated paths) that contribute to destabilization of the system concerned. As a result, formation of the total energy of an acyclic pi-electron system is concluded to be governed by an interplay between stabilizing and destabilizing factors. Accordingly, the perturbative approach applied offers us an extension of the concept of conjugated paths. Particular isomers containing four, five and six C=C bonds are considered in a detail as examples.


title: Mechanism of runaway electron beam formation during plasma disruptions in tokamaks

abstract: A new physical mechanism of formation of runaway electron (RE) beams during plasma disruptions in tokamaks is proposed. The plasma disruption is caused by a strong stochastic magnetic field formed due to nonlinearly excited low-mode number magnetohydrodynamic (MHD) modes. It is conjectured that the runaway electron beam is formed in the central plasma region confined inside the intact magnetic surface located between $q=1$ and the closest low--order rational magnetic surfaces [$q=5/4$ or $q=4/3$, \dots]. It results in that runaway electron beam current has a helical nature with a predominant $m/n=1/1$ component. The thermal quench and current quench times are estimated using the collisional models for electron diffusion and ambipolar particle transport in a stochastic magnetic field, respectively. Possible mechanisms for the decay of the runaway electron current owing to an outward drift electron orbits and resonance interaction of high--energy electrons with the $m/n=1/1$ MHD mode are discussed.


title: Tuning the pressure-induced superconductivity in Pd-substituted CeRhIn5

abstract: The effect of substituting Rh in CeRh1-xPdxIn5 with Pd up to x = 0.25 has been studied on single crystals. The crystals have been grown by means of the In self-flux method and characterized by x-ray diffraction and microprobe. The tetragonal HoCoGa5-type of structure and the c/a ratio of the parent compound remains intact by the Pd substitution; the unit cell volume increases by 0.6 % with x = 0.25 of Pd. The low-temperature behavior of resistivity was studied also under hydrostatic pressure up to 2.25 GPa. The Pd substitution for Rh affects the magnetic behavior and the maximum value of the superconducting transition temperature measured at pressures above 2 GPa only negligibly. On the other hand, the results provide evidence that superconductivity in CeRh0.75Pd0.25In5 is induced at significantly lower pressures, i.e. the Pd substitution for Rh shifts the CeRh1-xPdxIn5 system closer to coexistence of magnetism and superconductivity at ambient pressure.


title: Personal Data: Thinking Inside the Box

abstract: We propose there is a need for a technical platform enabling people to engage with the collection, management and consumption of personal data; and that this platform should itself be personal, under the direct control of the individual whose data it holds. In what follows, we refer to this platform as the Databox, a personal, networked service that collates personal data and can be used to make those data available. While your Databox is likely to be a virtual platform, in that it will involve multiple devices and services, at least one instance of it will exist in physical form such as on a physical form-factor computing device with associated storage and networking, such as a home hub.


title: The GRAVITY metrology system: narrow-angle astrometry via phase-shifting interferometry

abstract: The VLTI instrument GRAVITY will provide very powerful astrometry by combining the light from four telescopes for two objects simultaneously. It will measure the angular separation between the two astronomical objects to a precision of 10 microarcseconds. This corresponds to a differential optical path difference (dOPD) between the targets of few nanometers and the paths within the interferometer have to be maintained stable to that level. For this purpose, the novel metrology system of GRAVITY will monitor the internal dOPDs by means of phase-shifting interferometry. We present the four-step phase-shifting concept of the metrology with emphasis on the method used for calibrating the phase shifts. The latter is based on a phase-step insensitive algorithm which unambiguously extracts phases in contrast to other methods that are strongly limited by non-linearities of the phase-shifting device. The main constraint of this algorithm is to introduce a robust ellipse fitting routine. Via this approach we are able to measure phase shifts in the laboratory with a typical accuracy of lambda/2000 or 1 nanometer of the metrology wavelength.


title: A hierarchical Bayesian setting for an inverse problem in linear parabolic PDEs with noisy boundary conditions

abstract: In this work we develop a Bayesian setting to infer unknown parameters in initial-boundary value problems related to linear parabolic partial differential equations. We realistically assume that the boundary data are noisy, for a given prescribed initial condition. We show how to derive the joint likelihood function for the forward problem, given some measurements of the solution field subject to Gaussian noise. Given Gaussian priors for the time-dependent Dirichlet boundary values, we analytically marginalize the joint likelihood using the linearity of the equation. Our hierarchical Bayesian approach is fully implemented in an example that involves the heat equation. In this example, the thermal diffusivity is the unknown parameter. We assume that the thermal diffusivity parameter can be modeled a priori through a lognormal random variable or by means of a space-dependent stationary lognormal random field. Synthetic data are used to test the inference. We exploit the behavior of the non-normalized log posterior distribution of the thermal diffusivity. Then, we use the Laplace method to obtain an approximated Gaussian posterior and therefore avoid costly Markov Chain Monte Carlo computations. Expected information gains and predictive posterior densities for observable quantities are numerically estimated using Laplace approximation for different experimental setups.


title: Creation of a neutrino laboratory for search for sterile neutrino at SM-3 reactor

abstract: In connection with the question of possible existence of sterile neutrino the laboratory on the basis of SM-3 reactor was created to search for oscillations of reactor antineutrino. A prototype of a neutrino detector with scintillator volume of 400 l can be moved at the distance of 6-11 m from the reactor core. The measurements of background conditions have been made. It is shown that the main experimental problem is associated with cosmic radiation background. Test measurements of dependence of a reactor antineutrino flux on the distance from a reactor core have been made. The prospects of search for oscillations of reactor antineutrino at short distances are discussed.


title: Adjoint Lattice Boltzmann for Topology Optimization on multi-GPU architecture

abstract: In this paper we present a topology optimization technique applicable to a broad range of flow design problems. We propose also a discrete adjoint formulation effective for a wide class of Lattice Boltzmann Methods (LBM). This adjoint formulation is used to calculate sensitivity of the LBM solution to several type of parameters, both global and local. The numerical scheme for solving the adjoint problem has many properties of the original system, including locality and explicit time-stepping. Thus it is possible to integrate it with the standard LBM solver, allowing for straightforward and efficient parallelization (overcoming limitations typical for discrete adjoint solvers). This approach is successfully used for the channel flow to design a free-topology mixer and a heat exchanger. Both resulting geometries being very complex maximize their objective functions, while keeping viscous losses at acceptable level.


title: Poincar\'e duality of wonderful compactifications and tautological rings

abstract: Let $g \geq 2$. Let $M_{g,n}^{rt}$ be the moduli space of $n$-pointed genus $g$ curves with rational tails. Let $C_g^n$ be the $n$-fold fibered power of the universal curve over $M_g$. We prove that the tautological ring of $M_{g,n}^{rt}$ has Poincar\'e duality if and only if the same holds for the tautological ring of $C_g^n$. We also obtain a presentation of the tautological ring of $M_{g,n}^{rt}$ as an algebra over the tautological ring of $C_g^n$. This proves a conjecture of Tavakol. Our results are valid in the more general setting of wonderful compactifications.


title: The Hvar survey for roAp stars: II. Final results (Research Note)

abstract: The 60 known rapidly oscillating Ap (roAp) stars are excellent laboratories to test pulsation models in the presence of stellar magnetic fields. Our survey is dedicated to search for new group members in the Northern Hemisphere. We attempt to increase the number of known chemically peculiar stars that are known to be pulsationally unstable. About 40 h of new CCD photometric data of 21 roAp candidates, observed at the 1m Austrian-Croatian Telescope (Hvar Observatory) are presented. We carefully analysed these to search for pulsations in the frequency range of up to 10mHz. No new roAp star was detected among the observed targets. The distribution of the upper limits for roAp-like variations is similar to that of previoius similar efforts using photomultipliers and comparable telescope sizes. In addition to photometric observations, we need to consolidate spectroscopic information to select suitable targets.


title: The structure of mirrors on Platonic surfaces

abstract: A Platonic surface is a Riemann surface that underlies a regular map and so we can consider its vertices, edge-centres and face-centres. A symmetry (anticonformal involution) of the surface will fix a number of simple closed curves which we call mirrors. These mirrors must pass through the vertices, edge-centres and face-centres in some sequence which we call the pattern of the mirror. Here we investigate these patterns for various well-known families of Platonic surfaces, including genus 1 regular maps, and regular maps on Hurwitz surfaces and Fermat curves. The genesis of this paper is classical. Klein in Section 13 of his famous 1878 paper [11], worked out the pattern of the mirrors on the Klein quartic and Coxeter in his book on regular polytopes worked out the patterns for mirrors on the regular solids. We believe that this topic has not been pursued since then.


title: Generalized Parton Distributions of proton for non zero skewness in transverse and longitudinal position spaces

abstract: We investigate the Generalized Parton Distributions(GPDs) of proton by expressing them in terms of overlaps of light front wave functions (LFWFs) using a simulated model which is able to qualitatively improve the convergence near the end points of $x$. We study the spin non-flip $H(x, \zeta, t)$ and spin flip $E(x, \zeta, t)$ part of GPDs for the particle conserving $n \rightarrow n$ overlap in the DGLAP region $(\zeta<x<1)$. The Fourier transform (FT) of the GPDs w.r.t. to the transverse momentum transfer as well the FT of the GPDs w.r.t. $\zeta$ have also been obtained giving the distribution of partons in the transverse position space and the distribution in the longitudinal position space respectively. Diffraction pattern is obtained for both $ \mathcal{H}(x,\sigma,t)$ and $ \mathcal{E}(x,\sigma,t)$ in the longitudinal position space.


title: The Toom Interface Via Coupling

abstract: We consider a one dimensional interacting particle system which describes the effective interface dynamics of the two dimensional Toom model at low temperature and noise. We prove a number of basic properties of this model. First we consider the dynamics on a half open finite interval $[1, N)$, bounding the mixing time from above by $2N$. Then we consider the model defined on the integers. Due to infinite range interaction, this is a non-Feller process that we can define starting from product Bernoulli measures with density $p \in (0, 1)$, but not from arbitrary measures. We show, under a modest technical condition, that the only possible invariant measures are those product Bernoulli measures. We further show that the unique stationary measure on $[-k, \infty)$ converges weakly to a product Bernoulli measure on $\mathbb{Z}$ as $k \rightarrow \infty$.


title: Consumption investment optimization with Epstein-Zin utility in incomplete markets

abstract: In a market with stochastic investment opportunities, we study an optimal consumption investment problem for an agent with recursive utility of Epstein-Zin type. Focusing on the empirically relevant specification where both risk aversion and elasticity of intertemporal substitution are in excess of one, we characterize optimal consumption and investment strategies via backward stochastic differential equations. The supperdifferential of indirect utility is also obtained, meeting demands from applications in which Epstein-Zin utilities were used to resolve several asset pricing puzzles. The empirically relevant utility specification introduces difficulties to the optimization problem due to the fact that the Epstein-Zin aggregator is neither Lipschitz nor jointly concave in all its variables.


title: Branching Bisimilarity on Normed BPA Is EXPTIME-complete

abstract: We put forward an exponential-time algorithm for deciding branching bisimilarity on normed BPA (Bacis Process Algebra) systems. The decidability of branching (or weak) bisimilarity on normed BPA was once a long standing open problem which was closed by Yuxi Fu. The EXPTIME-hardness is an inference of a slight modification of the reduction presented by Richard Mayr. Our result claims that this problem is EXPTIME-complete.


title: A cabling formula for $\nu^+$ invariant

abstract: We prove a cabling formula for the concordance invariant $\nu^+$, defined by the author and Hom. This gives rise to a simple and effective 4-ball genus bound for many cable knots.


title: Some remarks and conjectures related to lattice paths in strips along the x-axis

abstract: In the first part of this paper I give an elementary overview about some number sequences which count various sorts of lattice paths in strips along the x-axis and compute their generating functions in terms of Fibonacci and Lucas polynomials. In the second part I generalize these results by introducing suitable weights and study some special cases in more detail. In the course of this work I have been led to curious number triangles and various conjectures


title: Multidimensional SDEs with singular drift and universal construction of the polymer measure with white noise potential

abstract: We study existence and uniqueness of solution for stochastic differential equations with distributional drift by giving a meaning to the Stroock-Varadhan martingale problem associated such equations. The approach we exploit is the one of paracontrolled distributions introduced in [13]. As a result we make sense of the three dimensional polymer measure with white noise potential.


title: Shape optimization of an electric motor subject to nonlinear magnetostatics

abstract: The goal of this paper is to improve the performance of an electric motor by modifying the geometry of a specific part of the iron core of its rotor. To be more precise, the objective is to smooth the rotation pattern of the rotor. A shape optimization problem is formulated by introducing a tracking-type cost functional to match a desired rotation pattern. The magnetic field generated by permanent magnets is modeled by a nonlinear partial differential equation of magnetostatics. The shape sensitivity analysis is rigorously performed for the nonlinear problem by means of a new shape-Lagrangian formulation adapted to nonlinear problems.


title: State-of-the-Art Predictions for C-parameter and a Determination of alpha_s

abstract: The C-parameter event-shape distribution for e+e- annihilation into hadrons is computed in the framework of SCET including input from fixed-order perturbation theory. We calculate all missing ingredients for achieving N3LL resummation accuracy in the cross section, which is then matched onto O(alpha_s^3) fixed-order results. Hadronization power corrections are incorporated as a convolution with a nonperturbative shape function. Wide-angle soft radiation effects introduce an O(Lambda_QCD) renormalon ambiguity in the cross section, which we cure by switching to the Rgap short-distance scheme. We also include hadron mass effects, but find their effect is rather small. Performing fits to the tail of the C-parameter distribution for many center of mass energies we find that the strong coupling constant is alpha_s(mZ) = 0.1123 +-0.0015, with chi^2/dof=0.99.


title: Distributed Data Association in Smart Camera Networks via Dual Decomposition

abstract: One of the fundamental requirements for visual surveillance using smart camera networks is the correct association of each persons observations generated on different cameras. Recently, distributed data association that involves only local information processing on each camera node and mutual information exchanging between neighboring cameras has attracted many research interests due to its superiority in large scale applications. In this paper, we formulate the problem of data association in smart camera networks as an Integer Programming problem by introducing a set of linking variables, and propose two distributed algorithms, namely L-DD and Q-DD, to solve the Integer Programming problem using dual decomposition technique. In our algorithms, the original IP problem is decomposed into several sub-problems, which can be solved locally and efficiently on each smart camera, and then different sub-problems reach consensus on their solutions in a rigorous way by adjusting their parameters based on projected sub-gradient optimization. The proposed methods are simple and flexible, in that (i) we can incorporate any feature extraction and matching technique into our framework to measure the similarity between two observations, which is used to define the cost of each link, and (ii) we can decompose the original problem in any way as long as the resulting sub-problem can be solved independently on individual camera. We show the competitiveness of our methods in both accuracy and speed by theoretical analysis and experimental comparison with state of the art algorithms on two real data sets collected by camera networks in our campus garden and office building.


title: Sparse Clustering of Functional Data

abstract: We consider the problem of clustering functional data while jointly selecting the most relevant features for classification. This problem has never been tackled before in the functional data context, and it requires a proper definition of the concept of sparsity for functional data. Functional sparse clustering is here analytically defined as a variational problem with a hard thresholding constraint ensuring the sparsity of the solution. First, a unique solution to sparse clustering with hard thresholding in finite dimensions is proved to exist. Then, the infinite dimensional generalization is given and proved to have a unique solution. Both the multivariate and the functional version of sparse clustering with hard thresholding exhibits improvements on other standard and sparse clustering strategies on simulated data. A real functional data application is also shown.


title: Shock capturing and front tracking methods for granular avalanches

abstract: Shock formations are observed in granular avalanches when supercritical flow merges into a region of subcritical flow. In this paper we employ a shock-capturing numerical scheme for the one-dimensional Savage-Hutter theory of granular flow to describe this phenomenon. A Lagrangian moving mesh scheme applied to the non-conservative form of the equations reproduces smooth solutions of these free boundary problems very well, but fails when shocks are formed. A non-oscillatory central difference (NOC) scheme with TVD limiter or WENO cell reconstruction for the conservative equations is therefore introduced. For the avalanche free boundary problems it must be combined with a front-tracking method, developed here, to properly describe the margin evolution. It is found that this NOC scheme combined with the front-tracking module reproduces both the shock wave and the smooth solution accurately. A piecewise quadratic WENO reconstruction improves the smoothness of the solution near local extrema. The schemes are checked against exact solutions for (1) an upward moving shock wave, (2) the motion of a parabolic cap down an inclined plane and (3) the motion of a parabolic cap down a curved slope ending in a flat run-out region, where a shock is formed as the avalanche comes to a halt.


title: Power-law decay of the velocity autocorrelation function of a granular fluid in the homogeneous cooling state

abstract: The hydrodynamic part of the velocity autocorrelation function of a granular fluid in the homogeneous cooling state has been calculated by using mode-coupling theory for a finite system with periodic boundary conditions. The existence of the shearing instability, leading to a divergent behavior of the velocity flow fluctuations, is taken into account. A time region in which the velocity autocorrelation function exhibits a power law decay, when time is measured by the number of collisions per particle, has been been identified. Also the explicit form of the exponential asymptotic long time decay has been obtained. The theoretical prediction for the power law decay is compared with molecular dynamics simulation results, and a good agreement is found, after taking into account finite size corrections. The effects of approaching the shearing instability are also explored.


title: Stochastic flows for L\'evy processes with H\"{o}lder drifts

abstract: In this paper we study the following stochastic differential equation (SDE) in ${\mathbb R}^d$: $$ \mathrm{d} X_t= \mathrm{d} Z_t + b(t, X_t)\mathrm{d} t, \quad X_0=x, $$ where $Z$ is a L\'evy process. We show that for a large class of L\'evy processes ${Z}$ and H\"older continuous drift $b$, the SDE above has a unique strong solution for every starting point $x\in{\mathbb R}^d$. Moreover, these strong solutions form a $C^1$-stochastic flow. As a consequence, we show that, when ${Z}$ is an $\alpha$-stable-type L\'evy process with $\alpha\in (0, 2)$ and $b$ is bounded and $\beta$-H\"older continuous with $\beta\in (1- {\alpha}/{2},1)$, the SDE above has a unique strong solution. When $\alpha \in (0, 1)$, this in particular solves an open problem from Priola \cite{Pr1}. Moreover, we obtain a Bismut type derivative formula for $\nabla {\mathbb E}_x f(X_t)$ when ${Z}$ is a subordinate Brownian motion. To study the SDE above, we first study the following nonlocal parabolic equation with H\"older continuous $b$ and $f$: $$ \partial_t u+{\mathscr L} u+b\cdot \nabla u+f=0,\quad u(1, \cdot )=0, $$ where $\mathscr L$ is the generator of the L\'evy process ${Z}$.


title: Information Recovery In Behavioral Networks

abstract: In the context of agent based modeling and network theory, we focus on the problem of recovering behavior-related choice information from origin-destination type data, a topic also known under the name of network tomography. As a basis for predicting agents' choices we emphasize the connection between adaptive intelligent behavior, causal entropy maximization and self-organized behavior in an open dynamic system. We cast this problem in the form of binary and weighted networks and suggest information theoretic entropy-driven methods to recover estimates of the unknown behavioral flow parameters. Our objective is to recover the unknown behavioral values across the ensemble analytically, without explicitly sampling the configuration space. In order to do so, we consider the Cressie-Read family of entropic functionals, enlarging the set of estimators commonly employed to make optimal use of the available information. More specifically, we explicitly work out two cases of particular interest: Shannon functional and the likelihood functional. We then employ them for the analysis of both univariate and bivariate data sets, comparing their accuracy in reproducing the observed trends.


title: An Alternate Construction of an Access-Optimal Regenerating Code with Optimal Sub-Packetization Level

abstract: Given the scale of today's distributed storage systems, the failure of an individual node is a common phenomenon. Various metrics have been proposed to measure the efficacy of the repair of a failed node, such as the amount of data download needed to repair (also known as the repair bandwidth), the amount of data accessed at the helper nodes, and the number of helper nodes contacted. Clearly, the amount of data accessed can never be smaller than the repair bandwidth. In the case of a help-by-transfer code, the amount of data accessed is equal to the repair bandwidth. It follows that a help-by-transfer code possessing optimal repair bandwidth is access optimal. The focus of the present paper is on help-by-transfer codes that employ minimum possible bandwidth to repair the systematic nodes and are thus access optimal for the repair of a systematic node. The zigzag construction by Tamo et al. in which both systematic and parity nodes are repaired is access optimal. But the sub-packetization level required is $r^k$ where $r$ is the number of parities and $k$ is the number of systematic nodes. To date, the best known achievable sub-packetization level for access-optimal codes is $r^{k/r}$ in a MISER-code-based construction by Cadambe et al. in which only the systematic nodes are repaired and where the location of symbols transmitted by a helper node depends only on the failed node and is the same for all helper nodes. Under this set-up, it turns out that this sub-packetization level cannot be improved upon. In the present paper, we present an alternate construction under the same setup, of an access-optimal code repairing systematic nodes, that is inspired by the zigzag code construction and that also achieves a sub-packetization level of $r^{k/r}$.


title: An Analytical Window into the World of Ultracold Atoms

abstract: We review the recent developments which had taken place in the domain of quasi one dimensional BECs from the viewpoint of integrability. To start with, we consider the dynamics of scalar BECs in a time independent harmonic trap and observe that the scattering length (SL) can be suitably manipulated either to compress the bright solitons to attain peak matter wave density without causing their explosion or to broaden the width of the condensates without diluting them. When the harmonic trap frequency becomes time dependent, we notice that one can stabilize the condensates in the confining domain while the density of the condensates continue to increase in the expulsive region. We also observe that the trap frequency and the temporal SL can be maneuvered to generate matter wave interference patterns indicating the coherent nature of the atoms in the condensates. We also notice that a small repulsive three body interaction when reinforced with attractive binary interaction can extend the region of stability of the condensates in the quasi-one dimensional regime. On the other hand, the investigation of two component BECs in a time dependent harmonic trap suggests that it is possible to switch matter wave energy from one mode to the other confirming the fact that vector BECs are long lived compared to scalar BECs. The Feshbach resonance management of vector BECs indicates that the two component BECs in a time dependent harmonic trap are more stable compared to the condensates in a time independent trap. The introduction of weak time dependent Rabi coupling rapidly compresses the bright solitons which however can be again stabilized through Feshbach resonance or by finetuning the Rabi coupling while the spatial coupling of vector BECs introduces a phase difference between the condensates which subsequently can be exploited to generate interference pattern in the bright or dark solitons.


title: Computationally Efficient Sparse Bayesian Learning via Generalized Approximate Message Passing

abstract: The sparse Beyesian learning (also referred to as Bayesian compressed sensing) algorithm is one of the most popular approaches for sparse signal recovery, and has demonstrated superior performance in a series of experiments. Nevertheless, the sparse Bayesian learning algorithm has computational complexity that grows exponentially with the dimension of the signal, which hinders its application to many practical problems even with moderately large data sets. To address this issue, in this paper, we propose a computationally efficient sparse Bayesian learning method via the generalized approximate message passing (GAMP) technique. Specifically, the algorithm is developed within an expectation-maximization (EM) framework, using GAMP to efficiently compute an approximation of the posterior distribution of hidden variables. The hyperparameters associated with the hierarchical Gaussian prior are learned by iteratively maximizing the Q-function which is calculated based on the posterior approximation obtained from the GAMP. Numerical results are provided to illustrate the computational efficacy and the effectiveness of the proposed algorithm.


title: Hofer growth of $C^1$-generic Hamiltonian flows

abstract: We prove that on certain closed symplectic manifolds a $C^1$-generic cyclic subgroup of the universal cover of the group of Hamiltonian diffeomorphisms is undistorted with respect to the Hofer metric.


title: Optimized Uplink Transmission in Multi-Antenna C-RAN with Spatial Compression and Forward

abstract: Massive MIMO and C-RAN are two promising techniques for implementing future wireless communication systems, where a large number of antennas are deployed either being co-located at the base station (BS) or totally distributed at separate sites called remote radio heads (RRHs). In this paper, we consider a general antenna deployment design for wireless networks, termed multi-antenna C-RAN, where a flexible number of antennas can be equipped at each RRH to more effectively balance the performance and fronthaul complexity trade-off beyond the conventional massive MIMO and single-antenna C-RAN. Under the uplink communication setup, we propose a new "spatial-compression-and-forward (SCF)" scheme, where each RRH first performs a linear spatial filtering to denoise and maximally compress its received signals from multiple users to a reduced number of dimensions, then conducts uniform scalar quantization over each of the resulting dimensions in parallel, and finally sends the total quantized bits to the baseband unit (BBU) via a finite-rate fronthaul link for joint information decoding. Under this scheme, we maximize the minimum signal-to-interference-plus-noise ratio (SINR) of all users at the BBU by a joint resource allocation over the wireless transmission and fronthaul links. Specifically, each RRH determines its own spatial filtering solution in a distributed manner to reduce the signalling overhead with the BBU, while the BBU jointly optimizes the users' transmit power, the RRHs' fronthaul bits allocation, and the BBU's receive beamforming with fixed spatial filters at individual RRHs. Through numerical results, it is shown that given a total number of antennas to be deployed, multi-antenna C-RAN with the proposed SCF and joint optimization significantly outperforms both massive MIMO and single-antenna C-RAN under practical fronthaul capacity constraints.


title: Discontinuous Galerkin approximation of linear parabolic problems with dynamic boundary conditions

abstract: In this paper we propose and analyze a Discontinuous Galerkin method for a linear parabolic problem with dynamic boundary conditions. We present the formulation and prove stability and optimal a priori error estimates for the fully discrete scheme. More precisely, using polynomials of degree $p\geq 1$ on meshes with granularity $h$ along with a backward Euler time-stepping scheme with time-step $\Delta t$, we prove that the fully-discrete solution is bounded by the data and it converges, in a suitable (mesh-dependent) energy norm, to the exact solution with optimal order $h^p + \Delta t$. The sharpness of the theoretical estimates are verified through several numerical experiments.


title: Edge flutter of long beams under follower loads

abstract: The linear instability of a beam tensioned by its own weight is considered. It is shown that for long beams, in the sense of an adequate dimensionless parameter, the characteristics of the instability caused by a follower force do not depend on the length. The asymptotic regime significantly differs from that of short beams: flutter prevails for all types of follower loads, and flutter is localized at the edge of the beam. An approximate solution using matched assymptotic expansion is proposed for the case of a semi-infinite beam. Using a local criterion based on the stability of waves, the characteristics of this regime as well as its range of application can be well predicted. These results are finally discussed in relation with cases of flow-induced instabilities of slender structures.


title: Inertial Vector Based Attitude Stabilization of Rigid Body Without Angular Velocity Measurements

abstract: We address the problem of attitude stabilization of a rigid body, in which neither the angular velocity nor the instantaneous measurements of the attitude are used in the feedback, only body vector measurements are needed. The design of the controller is based on an angular velocity observer-like system, where a first order linear auxiliary system based directly on vector measurements is introduced. The introduction of gain matrices provides more tuning flexibility and better results compared with existing works. The proposed controller ensures almost global asymptotic stability. The performance and effectiveness of the proposed solution are illustrated via simulation results where the gains of the controller are adjusted using non linear optimization.


title: Locally standard torus actions and sheaves over Buchsbaum posets

abstract: We consider a sheaf of exterior algebras on a simplicial poset $S$ and introduce a notion of homological characteristic function. Two natural objects are associated with these data: a graded sheaf $\mathcal{I}$ and a graded cosheaf $\widehat{\Pi}$. When $S$ is a homology manifold, we prove the isomorphism $H^{n-1-p}(S;\mathcal{I})\cong H_{p}(S;\widehat{\Pi})$ which can be considered as an extension of the Poincare duality. In general, there is a spectral sequence $E^2_{p,q}\cong H^{n-1-p}(S;\mathcal{U}_{n-1+q}\otimes \mathcal{I})\Rightarrow H_{p+q}(S;\widehat{\Pi})$, where $\mathcal{U}_*$ is the local homology stack on $S$. This spectral sequence, in turn, extends Zeeman--McCrory spectral sequence. This sheaf-theoretical result is applied to toric topology. We consider a manifold $X$ with a locally standard action of a compact torus and acyclic proper faces of the orbit space. A principal torus bundle $Y$ is associated with $X$, so that $X\cong Y/\sim$. The orbit type filtration on $X$ is covered by the topological filtration on $Y$. We prove that homological spectral sequences associated with these two filtrations are isomorphic in many nontrivial positions.


title: Thin and thick cloud top height retrieval algorithm with the Infrared Camera and LIDAR of the JEM-EUSO Space Mission

abstract: The origin of cosmic rays have remained a mistery for more than a century. JEM-EUSO is a pioneer space-based telescope that will be located at the International Space Station (ISS) and its aim is to detect Ultra High Energy Cosmic Rays (UHECR) and Extremely High Energy Cosmic Rays (EHECR) by observing the atmosphere. Unlike ground-based telescopes, JEM-EUSO will observe from upwards, and therefore, for a properly UHECR reconstruction under cloudy conditions, a key element of JEM-EUSO is an Atmospheric Monitoring System (AMS). This AMS consists of a space qualified bi-spectral Infrared Camera, that will provide the cloud coverage and cloud top height in the JEM-EUSO Field of View (FoV) and a LIDAR, that will measure the atmospheric optical depth in the direction it has been shot. In this paper we will explain the effects of clouds for the determination of the UHECR arrival direction. Moreover, since the cloud top height retrieval is crucial to analyze the UHECR and EHECR events under cloudy conditions, the retrieval algorithm that fulfills the technical requierements of the Infrared Camera of JEM-EUSO to reconstruct the cloud top height is presently reported.


title: On the role of the history force for inertial particles in turbulence

abstract: The history force is one of the hydrodynamic forces which act on a particle moving through a fluid. It is an integral over the full time history of the particle's motion and significantly complicates the equations of motion (accordingly it is often neglected). We present here a study of the influence of this force on particles moving in a turbulent flow, for a wide range of particle parameters. It is shown that the magnitude of history force can be significant and that it can have a considerable effect on the particles' slip velocity, acceleration, preferential concentration and collision rate. We also investigate the parameter dependence of the strength of these effects.


title: Drag of ballistic electrons by an ion beam

abstract: Drag of electrons of 1D ballistic nanowire by a nearby 1D beam of ions is considered. We assume that the ion beam is represented by an ensemble of heavy ions of the same velocity $\bf V$. The ratio of the drag current to primary current carried by the ion beam is calculated. The drag current appears to be a nonmonotonic function of velocity $V$, it has maxima for $V$ near $v_{nF}/2$ where $n$ is the number of electron miniband (channel) and $v_{nF}$ is the corresponding Fermi velocity. This means that the ion beam drag can be applied for ballistic nanostructure spectroscopy.


title: Strong Evidence of Plasma-like Behavior for Ion-Solid Collisions

abstract: Charge state distributions of various projectile ions passing through thin carbon foils have been studied in the energy range of 0.7-3.0 MeV/u using x-ray spectroscopy. This technique is found to be appropriate to segregate the charge state distribution in the bulk from that of the surface by measuring the charge changing phenomena right at the interaction zone i.e. at t=0. This observation has been confirmed by different theoretical approaches. Surprisingly, it is found that the charge state distribution measured in the bulk, exhibits Lorentzian profile which is an important characteristic of any plasma. The occurrence of such behaviour suggests that ion-solid collisions constitute tenuous plasma in the bulk of the solid target. Thus, this work is expected to have practical implications in various fields, in particular, plasma physics and astrophysics.


title: Einstein-Gauss-Bonnet traversable wormholes satisfying the weak energy condition

abstract: In this paper, we explore higher-dimensional asymptotically flat wormhole geometries in the framework of Gauss-Bonnet (GB) gravity and investigate the effects of the GB term, by considering a specific radial-dependent redshift function and by imposing a particular equation of state. This work is motivated by previous assumptions that wormhole solutions were not possible for the $k=1$ and $\alpha < 0$ case, where $k$ is the sectional curvature of an $(n-2)$-dimensional maximally symmetric space, and $\alpha$ is the Gauss-Bonnet coupling constant. However, we emphasize that this discussion is purely based on a nontrivial assumption that is only valid at the wormhole throat, and cannot be extended to the entire radial-coordinate range. In this work, we provide a counterexample to this claim, and find for the first time specific solutions that satisfy the weak energy condition throughout the entire spacetime, for $k=1$ and $\alpha < 0$. In addition to this, we also present other wormhole solutions which alleviate the violation of the WEC in the vicinity of the wormhole throat.


title: Gelfand-Kirillov dimensions of the $Z^2$-graded oscillator representations of sl(n)

abstract: We find an exact formula of Gelfand-Kirillov dimensions for the infinite-dimensional explicit irreducible sl(n, F)-modules that appeared in the Z^2-graded oscillator generalizations of the classical theorem on harmonic polynomials established by Luo and Xu. Three infinite subfamilies of these modules have the minimal Gelfand-Kirillov dimension. They contain weight modules with unbounded weight multiplicities and completely pointed modules.


title: Interference Aligned Space-Time Transmission with Diversity for the $2 \times 2$ X-Network

abstract: The sum degrees of freedom (DoF) of the two-transmitter, two-receiver multiple-input multiple-output (MIMO) X-Network ($2 \times 2$ MIMO X-Network) with $M$ antennas at each node is known to be $\frac{4M}{3}$. Transmission schemes which couple local channel-state-information-at-the-transmitter (CSIT) based precoding with space-time block coding to achieve the sum-DoF of this network are known specifically for $M=2,4$. These schemes have been proven to guarantee a diversity gain of $M$ when a finite-sized input constellation is employed. In this paper, an explicit transmission scheme that achieves the $\frac{4M}{3}$ sum-DoF of the $2 \times 2$ X-Network for arbitrary $M$ is presented. The proposed scheme needs only local CSIT unlike the Jafar-Shamai scheme which requires the availability of global CSIT in order to achieve the $\frac{4M}{3}$ sum-DoF. Further, it is shown analytically that the proposed scheme guarantees a diversity gain of $M+1$ when finite-sized input constellations are employed.


title: Generation and detection of pure valley current by electrically induced Berry curvature in bilayer graphene

abstract: Valley is a useful degree of freedom for non-dissipative electronics since valley current that can flow even in an insulating material does not accompany electronic current. We use dual-gated bilayer graphene in the Hall bar geometry to electrically control broken inversion symmetry or Berry curvature as well as the carrier density to generate and detect the pure valley current. We find a large nonlocal resistance and a cubic scaling between the nonlocal resistance and the local resistivity in the insulating regime at zero-magnetic field and 70 K as evidence of the pure valley current. The electrical control of the valley current in the limit of zero conductivity allows non-dissipative induction of valley current from electric field and thus provides a significant contribution to the advancement of non-dissipative electronics.


title: Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions

abstract: Linear constraint transformation is an essential step to solve the forbidden state problem in Petri nets that contain uncontrollable transitions. This work studies the equivalent transformation from a legal-marking set to its admissible-marking set given such a net. First, the concepts of an escaping-marking set and a transforming marking set are defined. Based on them, two algorithms are given to compute the admissible-marking set and the transforming marking set, which establish the theoretical foundation for the equivalent transformation of linear constraints. Second, the theory about the equivalent transformation of a disjunction of linear constraints imposed to Petri nets with uncontrollable transitions is established. Third, two rules are given to decide the priority of transitions for transformation. Finally, the transformation procedure from a given linear constraint to a logic expression of linear constraints that can describe its entire admissible-marking set is illustrated via two examples.


title: Photometry Transformation from RGB Bayer Filter System to Johnson-Cousins BVR Filter System

abstract: The RGB Bayer filter system consists of a mosaic of R, G, and B filters on the grid of the photo sensors which typical commercial DSLR (Digital Single Lens Reflex) cameras and CCD cameras are equipped with. Lot of unique astronomical data obtained using an RGB Bayer filter system are available, including transient objects, e.g. supernovae, variable stars, and solar system bodies. The utilization of such data in scientific research requires that reliable photometric transformation methods are available between the systems. In this work, we develop a series of equations to convert the observed magnitudes in the RGB Bayer filter system ($R_B$, $G_B$, and $B_B$) into the Johnson-Cousins BVR filter system ($B_J$, $V_J$, and $R_C$). The new transformation equations derive the calculated magnitudes in the Johnson-Cousins filters ($B_{Jcal}$, $V_{Jcal}$, and $R_{Ccal}$) as functions of RGB magnitudes and colors. The mean differences between the transformed magnitudes and original magnitudes, i.e. the residuals, are $\Delta(B_J-B_{Jcal})$ = 0.064 mag, $\Delta(V_J-V_{Jcal})$ = 0.041 mag, and $\Delta(R_C-R_{Ccal})$ = 0.039 mag. The calculated Johnson-Cousins magnitudes from the transformation equations show a good linear correlation with the observed Johnson-Cousins magnitudes.


title: Commissioning of the new taggers of the KLOE-2 experiment

abstract: In order to fully reconstruct the gamma gamma processes (e+e- -> e+e- gamma gamma) in the energy region of the phi meson production, new detectors along the DAFNE beam line have been installed in order to detect the scattered e+e-.


title: The Microwave Thermal Emission from the Zodiacal Dust Cloud Predicted with Contemporary Meteoroid Models

abstract: Predictions of the microwave thermal emission from the interplanetary dust cloud are made using several contemporary meteoroid models to construct the distributions of cross-section area of dust in space, and applying the Mie light-scattering theory to estimate the temperatures and emissivities of dust particles in broad size and heliocentric distance ranges. In particular, the model of the interplanetary dust cloud by Kelsall et al. (1998, ApJ 508: 44-73), the five populations of interplanetary meteoroids of Divine (1993, JGR 98(E9): 17,029-17,048) and the Interplanetary Meteoroid Engineering Model (IMEM) by Dikarev et al. (2004, EMP 95: 109-122) are used in combination with the optical properties of olivine, carbonaceous and iron spherical particles. The Kelsall model has been widely accepted by the Cosmic Microwave Background (CMB) community. We show, however, that it predicts the microwave emission from interplanetary dust remarkably different from the results of application of the meteoroid engineering models. We make maps and spectra of the microwave emission predicted by the three models assuming variant composition of dust particles. Predictions can be used to look for the emission from interplanetary dust in CMB experiments as well as to plan new observations.


title: Gelfand-Kirillov Dimensions of the Z-graded Oscillator Representations of $\mathfrak{o}(n,\mathbb{C})$ and $\mathfrak{sp}(2n,\mathbb{C})$

abstract: In this paper, we compute the Gelfand-Kirillov dimensions for the infinite-dimensional explicit irreducible $\mathfrak{o}(n, \mathbb{C})$-modules and $\mathfrak{sp}(2n, \mathbb{C})$-modules that appeared in the $\mathbb{Z}$-graded oscillator generalizations of the classical theorem on harmonic polynomials established by Luo and Xu. We also found that some of the modules have the secondly minimal GK-dimension, and some of them have the larger GK-dimension than the maximal GK-dimension of unitary highest-weight modules.


title: Constructing Binary Descriptors with a Stochastic Hill Climbing Search

abstract: Binary descriptors of image patches provide processing speed advantages and require less storage than methods that encode the patch appearance with a vector of real numbers. We provide evidence that, despite its simplicity, a stochastic hill climbing bit selection procedure for descriptor construction defeats recently proposed alternatives on a standard discriminative power benchmark. The method is easy to implement and understand, has no free parameters that need fine tuning, and runs fast.


title: Harvey Lawson Manifolds and Dualities

abstract: The purpose of this paper is to introduce Harvey-Lawson manifolds and review the construction of certain mirror dual Calabi-Yau submanifolds inside a G_2 manifold. More specifically, given a Harvey-Lawson manifold HL, we explain how to assign a pair of tangent bundle valued 2 and 3-forms to a G_2 manifold (M,HL, \varphi, \Lambda), with the calibration 3-form \varphi and an oriented 2-plane field \Lambda. These forms can then be used to define different complex and symplectic structures on certain 6-dimensional sub bundles of T(M). When these bundles are integrated they give mirror CY manifolds (related thru HL manifolds).


title: Global finite element matrix construction based on a CPU-GPU implementation

abstract: The finite element method (FEM) has several computational steps to numerically solve a particular problem, to which many efforts have been directed to accelerate the solution stage of the linear system of equations. However, the finite element matrix construction, which is also time-consuming for unstructured meshes, has been less investigated. The generation of the global finite element matrix is performed in two steps, computing the local matrices by numerical integration and assembling them into a global system, which has traditionally been done in serial computing. This work presents a fast technique to construct the global finite element matrix that arises by solving the Poisson's equation in a three-dimensional domain. The proposed methodology consists in computing the numerical integration, due to its intrinsic parallel opportunities, in the graphics processing unit (GPU) and computing the matrix assembly, due to its intrinsic serial operations, in the central processing unit (CPU). In the numerical integration, only the lower triangular part of each local stiffness matrix is computed thanks to its symmetry, which saves GPU memory and computing time. As a result of symmetry, the global sparse matrix also contains non-zero elements only in its lower triangular part, which reduces the assembly operations and memory usage. This methodology allows generating the global sparse matrix from any unstructured finite element mesh size on GPUs with little memory capacity, only limited by the CPU memory.


title: Quantum Phase Transition of Bosons in a Shaken Optical Lattice

abstract: Recently, the lattice shaking technique has been used to couple different Bloch bands resonantly. For the one-dimensional (1D) case, in which shaking is along only one direction, experimental observation of domain-wall formation has been explained by superfluid Ising transition. Inspired by these, we generalize to a 2D case in which shaking is along two orthogonal directions. Analogous to the 1D case, we find three different phases, the normal superfluid (NSF) phase, the $D_4$ symmetry-breaking superfluid ($D_4$SF) phase and the Mott insulator (MI) phase. Furthermore, we demonstrate that the interaction effect induced by inhomogeneous band mixing can modify the critical shaking amplitude. Unlike in the 1D case, shaking types also can modify the critical shaking amplitude. Unlike in the 1D case, shaking types also can modify the critical shaking amplitude. We also construct a low-energy effective field theory to study the quantum criticality of bosons near the tricritical point of NSF, $D_4$SF and MI phases. Moreover, we find a Bose liquid with anisotropically algebraic order and propose to change the Bose-Einstein condensation (BEC) into a non-condensed Bose liquid by tuning the shaking amplitude approaching the critical value.


title: Consid{\'e}rant la d{\'e}pendance dans la th{\'e}orie des fonctions de croyance

abstract: In this paper, we propose to learn sources independence in order to choose the appropriate type of combination rules when aggregating their beliefs. Some combination rules are used with the assumption of their sources independence whereas others combine beliefs of dependent sources. Therefore, the choice of the combination rule depends on the independence of sources involved in the combination. In this paper, we propose also a measure of independence, positive and negative dependence to integrate in mass functions before the combinaision with the independence assumption.


title: Minimax adaptive estimation of nonparametric hidden Markov models

abstract: We consider stationary hidden Markov models with finite state space and nonparametric modeling of the emission distributions. It has remained unknown until very recently that such models are identifiable. In this paper, we propose a new penalized least-squares esti-mator for the emission distributions which is statistically optimal and practically tractable. We prove a non asymptotic oracle inequality for our nonparametric estimator of the emission distributions. A consequence is that this new estimator is rate minimax adaptive up to a logarithmic term. Our methodology is based on projections of the emission distributions onto nested subspaces of increasing complexity. The popular spectral estimators are unable to achieve the optimal rate but may be used as initial points in our procedure. Simulations are given that show the improvement obtained when applying the least-squares minimization consecutively to the spectral estimation.


title: Key components for nano-assembled plasmon-excited single molecule non-linear devices

abstract: Tremendous enhancement of light-matter interaction in plasmon-excited molecular hybrid devices allows for non-linearities on the level of single emitters and few photons. This promises a plethora of novel applications like single photon transistors. Nevertheless, building the components of such devices is technologically extremely challenging. We tackle this task by lithographically fabricating on-chip plasmonic waveguides, efficiently connected to far-field in- and out-coupling ports via low-loss dielectric waveguides. Furthermore, a nano-assembling technology is developed, enabling the controlled coupling of single organic emitters to the plasmonic waveguides. Dibenzoterrylene fluorescent molecules hosted in anthracene crystals are investigated for this purpose. Here we present all key-components and technologies for a plasmon-excited single molecule non-linear device.


title: Relational semantics of linear logic and higher-order model-checking

abstract: In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any higher-order recursion scheme (HORS) comes together with a dual Church encoding of an alternating tree automata (ATA) of the same signature. Moreover, the interaction between the relational interpretations of the HORS and of the ATA identifies the set of accepting states of the tree automaton against the infinite tree generated by the recursion scheme. We show how to extend this result to alternating parity automata (APT) by introducing a parametric version of the exponential modality of linear logic, capturing the formal properties of colors (or priorities) in higher-order model-checking. We show in particular how to reunderstand in this way the type-theoretic approach to higher-order model-checking developed by Kobayashi and Ong. We briefly explain in the end of the paper how his analysis driven by linear logic results in a new and purely semantic proof of decidability of the formulas of the monadic second-order logic for higher-order recursion schemes.


title: Potential barrier heights at metal on oxygen-terminated diamond interfaces

abstract: Electrical properties of metal-semiconductor (M/SC) and metal/oxide/SC structures built with Zr or ZrO\_2 deposited on oxygen-terminated surfaces of (001)-oriented diamond films, comprising a stack of lightly p-doped diamond on a heavily doped layer itself homoepitaxially grown on a Ib substrate, are investigated experimentally and compared to different models. In Schottky barrier diodes, the interfacial oxide layer evidenced by high resolution transmission electron microscopy and electron energy losses spectroscopy before and after annealing, and barrier height inhomogeneities accounts for the measured electrical characteristics until flat bands are reached, in accordance with a model which generalizes that of R.T. Tung [Phys. Rev. B 45, 13509 (1992)] and permits to extract physically meaningful parameters of the three kinds of interface: (a) unannealed ones; (b) annealed at 350{\textdegree}C; (c) annealed at 450{\textdegree}C, with characteristic barrier heights of 2.2-2.5 V in case (a) while as low as 0.96 V in case (c). Possible models of potential barriers for several metals deposited on well defined oxygen-terminated diamond surfaces are discussed and compared to experimental data. It is concluded that interface dipoles of several kinds present at these compound interfaces and their chemical evolution due to annealing are the suitable ingredients able to account for the Mott-Schottky behavior when the effect of the metal work function is ignored, and to justify the reverted slope observed regarding metal work function, in contrast to the trend always reported for all other metal-semiconductor interfaces.


title: Early Super Soft Source spectra in RS Oph

abstract: Recent Swift X-ray monitoring campaigns of novae have revealed extreme levels of variability during the early super-soft-source (SSS) phase. The first time this was observed was during the 2006 outburst of the recurrent nova RS Oph which was also extensively covered by grating observations with XMM-Newton and Chandra. I focus here on an XMM-Newton observation taken on day 26.1, just before Swift confirmed the start of the SSS phase, and a Chandra observation taken on day 39.7. The first observation probes the evolution of the shock emission produced by the collision of the nova ejecta with the stellar wind of the companion. The second observation contains bright SSS emission longwards of 15A while at short wavelengths, the shock component can be seen to have hardly changed. On top of the SSS continuum, additional emission lines are clearly seen, and I show that they are much stronger than those seen on day 26.1, indicating line pumping caused by the SSS emission. The lightcurve on day 39.7 is highly variable on short time scales while the long-term Swift light curve was still variable. In 2007, we have shown that brightness variations are followed by hardness variations, lagging behind 1000 seconds. I show now that the hardness variations are owed to variations in the depth of the neutral hydrogen column density of order 25%, particularly affecting the oxygen K-shell ionization edge at 0.5 keV.


title: Designing a Belief Function-Based Accessibility Indicator to Improve Web Browsing for Disabled People

abstract: The purpose of this study is to provide an accessibility measure of web-pages, in order to draw disabled users to the pages that have been designed to be ac-cessible to them. Our approach is based on the theory of belief functions, using data which are supplied by reports produced by automatic web content assessors that test the validity of criteria defined by the WCAG 2.0 guidelines proposed by the World Wide Web Consortium (W3C) organization. These tools detect errors with gradual degrees of certainty and their results do not always converge. For these reasons, to fuse information coming from the reports, we choose to use an information fusion framework which can take into account the uncertainty and imprecision of infor-mation as well as divergences between sources. Our accessibility indicator covers four categories of deficiencies. To validate the theoretical approach in this context, we propose an evaluation completed on a corpus of 100 most visited French news websites, and 2 evaluation tools. The results obtained illustrate the interest of our accessibility indicator.


title: Limits of Random Differential Equations on Manifolds

abstract: Consider a family of random ordinary differential equations on a manifold driven by vector fields of the form $\sum_kY_k\alpha_k(z_t^\epsilon(\omega))$ where $Y_k$ are vector fields, $\epsilon$ is a positive number, $z_t^\epsilon$ is a ${1\over \epsilon} {\mathcal L}_0$ diffusion process taking values in possibly a different manifold, $\alpha_k$ are annihilators of $ker ({\mathcal L}_0^*)$. Under H\"ormander type conditions on ${\mathcal L}_0$ we prove that, as $\epsilon $ approaches zero, the stochastic processes $y_{t\over \epsilon}^\epsilon$ converge weakly and in the Wasserstein topologies. We describe this limit and give an upper bound for the rate of the convergence.


title: Associated jet and subjet rates in light-quark and gluon jet discrimination

abstract: We show that in studies of light quark- and gluon-initiated jet discrimination, it is important to include the information on softer reconstructed jets (associated jets) around a primary hard jet. This is particularly relevant while adopting a small radius parameter for reconstructing hadronic jets. The probability of having an associated jet as a function of the primary jet transverse momentum ($p_T$) and radius, the minimum associated jet $p_T$ and the association radius is computed upto next-to-double logarithmic accuracy (NDLA), and the predictions are compared with results from Herwig++, Pythia6 and Pythia8 Monte Carlos (MC). We demonstrate the improvement in quark-gluon discrimination on using the associated jet rate variable with the help of a multivariate analysis. The associated jet rates are found to be only mildly sensitive to the choice of parton shower and hadronization algorithms, as well as to the effects of initial state radiation and underlying event. In addition, the number of $k_T$ subjets of an anti-$k_T$ jet is found to be an observable that leads to a rather uniform prediction across different MC's, broadly being in agreement with predictions in NDLA, as compared to the often used number of charged tracks observable.


title: Belief Approach for Social Networks

abstract: Nowadays, social networks became essential in information exchange between individuals. Indeed, as users of these networks, we can send messages to other people according to the links connecting us. Moreover, given the large volume of exchanged messages, detecting the true nature of the received message becomes a challenge. For this purpose, it is interesting to consider this new tendency with reasoning under uncertainty by using the theory of belief functions. In this paper, we tried to model a social network as being a network of fusion of information and determine the true nature of the received message in a well-defined node by proposing a new model: the belief social network.


title: What do we learn about development from baby robots?

abstract: Understanding infant development is one of the greatest scientific challenges of contemporary science. A large source of difficulty comes from the fact that the development of skills in infants results from the interactions of multiple mechanisms at multiple spatio-temporal scales. The concepts of "innate" or "acquired" are not any more adequate tools for explanations, which call for a shift from reductionist to systemic accounts. To address this challenge, building and experimenting with robots modeling the growing infant brain and body is crucial. Systemic explanations of pattern formation in sensorimotor, cognitive and social development, viewed as a complex dynamical system, require the use of formal models based on mathematics, algorithms and robots. Formulating hypothesis about development using such models, and exploring them through experiments, allows us to consider in detail the interaction between many mechanisms and parameters. This complements traditional experimental methods in psychology and neuroscience where only a few variables can be studied at the same time. Furthermore, the use of robots is of particular importance. The laws of physics generate everywhere around us spontaneous patterns in the inorganic world. They also strongly impact the living, and in particular constrain and guide infant development through the properties of its (changing) body in interaction with the physical environment. Being able to consider the body as an experimental variable, something that can be systematically changed in order to study the impact on skill formation, has been a dream to many developmental scientists. This is today becoming possible with developmental robotics.


title: Solving Shift Register Problems over Skew Polynomial Rings using Module Minimisation

abstract: For many algebraic codes the main part of decoding can be reduced to a shift register synthesis problem. In this paper we present an approach for solving generalised shift register problems over skew polynomial rings which occur in error and erasure decoding of $\ell$-Interleaved Gabidulin codes. The algorithm is based on module minimisation and has time complexity $O(\ell \mu^2)$ where $\mu$ measures the size of the input problem.


title: On the group action of $Mod(M,F)$ on the disk complex

abstract: Let $(\mathcal{V},\mathcal{W};F)$ be a weakly reducible, unstabilized, Heegaard splitting of genus at least three in an orientable, irreducible $3$-manifold $M$. Then $Mod(M,F)$ naturally acts on the disk complex $\mathcal{D}(F)$ as a group action. In this article, we prove if $F$ is topologically minimal and its topological index is two, then the orbit of any element of $\mathcal{D}(F)$ for this group action consists of infinitely many elements. Moreover, we prove there are at most two elements of $\mathcal{D}(F)$ whose orbits are finite if the genus of $F$ is three.


title: Universality of weakly bound dimers and Efimov trimers close to Li-Cs Feshbach resonances

abstract: We study the interspecies scattering properties of ultracold Li-Cs mixtures in their two energetically lowest spin channels in the magnetic field range between 800 G and 1000 G. Close to two broad Feshbach resonances we create weakly bound LiCs dimers by radio-frequency association and measure the dependence of the binding energy on the external magnetic field strength. Based on the binding energies and complementary atom loss spectroscopy of three other Li-Cs s-wave Feshbach resonances we construct precise molecular singlet and triplet electronic ground state potentials using a coupled-channels calculation. We extract the Li-Cs interspecies scattering length as a function of the external field and obtain almost a ten-fold improvement in the precision of the values for the pole positions and widths of the s-wave Li-Cs Feshbach resonances as compared to our previous work [Pires \textit{et al.}, Phys. Rev. Lett. \textbf{112}, 250404 (2014)]. We discuss implications on the Efimov scenario and the universal geometric scaling for LiCsCs trimers.


title: Long-time behaviour of a fully discrete Lagrangian scheme for a family of fourth order

abstract: A fully discrete Lagrangian scheme for solving a family of fourth order equations numerically is presented. The discretization is based on the equation's underlying gradient flow structure w.r.t. the $L^2$-Wasserstein distance, and adapts numerous of its most important structural properties by construction, as conservation of mass and entropy-dissipation. In this paper, the long-time behaviour of our discretization is analyzed: We show that discrete solutions decay exponentially to equilibrium at the same rate as smooth solutions of the origin problem. Moreover, we give a proof of convergence of discrete entropy minimizers towards Barenblatt-profiles or Gaussians, respectively, using $\Gamma$-convergence.


title: Study of the $K_SK_L\to\pi\ell\nu 3 \pi^0$ process for time reversal symmetry test at KLOE-2

abstract: This work presents prospects for conducting a novel direct test of time-reversal symmetry at the KLOE-2 experiment. Quantum entanglement of neutral K meson pairs uniquely available at KLOE-2 allows to probe directly the time-reversal symmetry (T) independently of CP violation. This is achieved by a comparison of probabilities for a transition between flavour and CP-definite states and its inverse obtained through exchange of initial and final states. As such a test requires the reconstruction of the $K_L\to 3\pi^0$ decay accompanied by $K_S\to\pi^{\pm}\ell^{\mp}\nu$ with good timing information, a new reconstruction method for this process is also presented which is capable of reconstructing the $K_L\to 3\pi^0$ decay with decay time resolution of O(1$\tau_S$).


title: Weyl modules associated to Kac-Moody Lie algebras

abstract: Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in \cite{CP}. In this paper we extend the notion of Weyl modules for a Lie algebra $\mathfrak{g} \otimes A$, where $\mathfrak{g}$ is any Kac-Moody algebra and A is any finitely generated commutative associative algebra with unit over $\mathbb{C}$, and prove a tensor product decomposition theorem generalizing \cite{CP}.


title: A mathematical and numerical framework for magnetoacoustic tomography with magnetic induction

abstract: We provide a mathematical analysis and a numerical framework for magnetoacoustic tomography with magnetic induction. The imaging problem is to reconstruct the conductivity distribution of biological tissue from measurements of the Lorentz force induced tissue vibration. We begin with reconstructing from the acoustic measurements the divergence of the Lorentz force, which is acting as the source term in the acoustic wave equation. Then we recover the electric current density from the divergence of the Lorentz force. To solve the nonlinear inverse conductivity problem, we introduce an optimal control method for reconstructing the conductivity from the electric current density. We prove its convergence and stability. We also present a point fixed approach and prove its convergence to the true solution. A new direct reconstruction scheme involving a partial differential equation is then proposed based on viscosity-type regularization to a transport equation satisfied by the electric current density field. We prove that solving such an equation yields the true conductivity distribution as the regularization parameter approaches zero. Finally, we test the three schemes numerically in the presence of measurement noise, quantify their stability and resolution, and compare their performance.


title: Sublinearity of the number of semi-infinite branches for geometric random trees

abstract: The present paper addresses the following question: for a geometric random tree in $\R^{2}$, how many semi-infinite branches cross the circle $\CC_{r}$ centered at the origin and with a large radius $r$? We develop a method ensuring that the expectation of the number $\chi_{r}$ of these semi-infinite branches is $o(r)$. The result follows from the fact that, far from the origin, the distribution of the tree is close to that of an appropriate directed forest which lacks bi-infinite paths. In order to illustrate its robustness, the method is applied to three different models: the Radial Poisson Tree (RPT), the Euclidean First-Passage Percolation (FPP) Tree and the Directed Last-Passage Percolation (LPP) Tree. Moreover, using a coalescence time estimate for the directed forest approximating the RPT, we show that for the RPT $\chi_{r}$ is $o(r^{1-\eta})$, for any $0<\eta<1/4$, almost surely and in expectation.


title: Homotopical Khovanov homology

abstract: We modify the definition of the Khovanov complex for oriented links in a thickening of an oriented surface to obtain a triply graded homological link invariant with a new homotopical grading.


title: Fractional diffusions with time-varying coefficients

abstract: This paper is concerned with the fractionalized diffusion equations governing the law of the fractional Brownian motion $B_H(t)$. We obtain solutions of these equations which are probability laws extending that of $B_H(t)$. Our analysis is based on McBride fractional operators generalizing the hyper-Bessel operators $L$ and converting their fractional power $L^{\alpha}$ into Erd\'elyi--Kober fractional integrals. We study also probabilistic properties of the r.v.'s whose distributions satisfy space-time fractional equations involving Caputo and Riesz fractional derivatives. Some results emerging from the analysis of fractional equations with time-varying coefficients have the form of distributions of time-changed r.v.'s.


title: Kaon physics with the KLOE detector

abstract: In this paper we discuss the recent finalized analyses by the KLOE experiment at DA$\Phi$NE: the CPT and Lorentz invariance test with entangled $K^0 \bar{K}^0$ pairs, and the precision measurement of the branching fraction of the decay ${ K^+} \rightarrow \pi^+\pi^-\pi^+(\gamma)$. We also present the status of an ongoing analysis aiming to precisely measure the $K^{\pm} $ mass.


title: Hadamard states from null infinity

abstract: Free field theories on a four dimensional, globally hyperbolic spacetime, whose dynamics is ruled by a Green hyperbolic partial differential operator, can be quantized following the algebraic approach. It consists of a two-step procedure: In the first part one identifies the observables of the underlying physical system collecting them in a *-algebra which encodes their relational and structural properties. In the second step one must identify a quantum state, that is a positive, normalized linear functional on the *-algebra out of which one recovers the interpretation proper of quantum mechanical theories via the so-called Gelfand-Naimark-Segal theorem. In between the plethora of possible states, only few of them are considered physically acceptable and they are all characterized by the so-called Hadamard condition, a constraint on the singular structure of the associated two-point function. Goal of this paper is to outline a construction scheme for these states which can be applied whenever the underlying background possesses a null (conformal) boundary. We discuss in particular the examples of a real, massless conformally coupled scalar field and of linearized gravity on a globally hyperbolic and asymptotically flat spacetime.


title: Splints of root systems for special Lie subalgebras

abstract: Splint is a decomposition of root system into union of root systems. Splint of root system for simple Lie algebra appears naturally in studies of (regular) embeddings of reductive subalgebras. Splint can be used to construct branching rules. We consider special embedding of Lie subalgebra to Lie algebra. We classify projections of algebra root systems using extended Dynkin diagrams and single out the conditions of splint appearance and coincidence of branching coefficients with weight multiplicities. While such a coincidence is not very common it is connected with Gelfand-Tsetlin basis.


title: Aging Scaled Brownian Motion

abstract: Scaled Brownian motion (SBM) is widely used to model anomalous diffusion of passive tracers in complex and biological systems. It is a highly non-stationary process governed by the Langevin equation for Brownian motion, however, with a power-law time dependence of the noise strength. Here we study the aging properties of SBM for both unconfined and confined motion. Specifically, we derive the ensemble and time averaged mean squared displacements and analyze their behavior in the regimes of weak, intermediate, and strong aging. A very rich behavior is revealed for confined aging SBM depending on different aging times and whether the process is sub- or superdiffusive. We demonstrate that the information on the aging factorizes with respect to the lag time and exhibits a functional form, that is identical to the aging behavior of scale free continuous time random walk processes. While SBM exhibits a disparity between ensemble and time averaged observables and is thus weakly non-ergodic, strong aging is shown to effect a convergence of the ensemble and time averaged mean squared displacement. Finally, we derive the density of first passage times in the semi-infinite domain that features a crossover defined by the aging time.


title: SDSS J083253.18+064316.7: one strange object with double-peaked narrow H\alpha but single-peaked narrow H\beta

abstract: In this letter, we firstly report one unique object SDSS J0832+0643 with particular features of narrow balmer emission lines: double-peaked narrow H\alpha but single-peaked narrow H\beta. The particular features can not be expected by currently proposed kinematic models for double-peaked narrow emission lines, because the proposed kinematic models lead to similar line profiles of narrow balmer emission lines. However, due to radiative transfer effects, the non-kinematic model can be naturally applied to well explain the particular features of narrow balmer emission lines: larger optical depth in H\alpha than 10 leads to observed double-peaked narrow H\alpha, but smaller optical depth in H\beta around 2 leads to observed single-peaked narrow H\beta. Therefore, SDSS J0832+0643 can be used as strong evidence to support the non-kinematic model for double-peaked narrow emission lines.


title: The Painlev\'e III equation of type (0,0,4,-4), its associated vector bundles with isomonodromic connections, and the geometry of the movable poles

abstract: The paper is about a Painlev\'e III equation and its relation to isomonodromic families of vector bundles on P^1 with meromorphic connections. The purpose of the paper is two-fold: it offers a conceptual language for the geometrical objects underlying Painlev\'e equations, and it offers new results on a particular Painlev\'e III equation, which we denote by P_{III}(0,0,4,-4). This is equivalent to the radial sine (or sinh) Gordon equation and, as such, it appears very widely in geometry and physics. Complex multi-valued solutions on C^* are the natural context for most of the paper, but in the last three chapters real solutions on the positive real line (with or without singularities) are addressed. Results about the asymptotics of real solutions near 0 and near infinity are combined with results on the global geometry of the moduli spaces of initial data and monodromy data. This leads to a new global picture of all zeros and poles of all real solutions on the positive real line.


title: Consistent Quantum Measurements

abstract: In response to recent criticisms by Okon and Sudarsky, various aspects of the consistent histories (CH) resolution of the quantum measurement problem(s) are discussed using a simple Stern-Gerlach device, and compared with the alternative approaches to the measurement problem provided by spontaneous localization (GRW), Bohmian mechanics, many worlds, and standard (textbook) quantum mechanics. Among these CH is unique in solving the second measurement problem: inferring from the measurement outcome a property of the measured system at a time before the measurement took place, as is done routinely by experimental physicists. The main respect in which CH differs from other quantum interpretations is in allowing multiple stochastic descriptions of a given measurement situation, from which one (or more) can be selected on the basis of its utility. This requires abandoning a principle (termed unicity), central to classical physics, that at any instant of time there is only a single correct description of the world.


title: Some recent developments in quantization of fractal measures

abstract: We give an overview on the quantization problem for fractal measures, including some related results and methods which have been developed in the last decades. Based on the work of Graf and Luschgy, we propose a three-step procedure to estimate the quantization errors. We survey some recent progress, which makes use of this procedure, including the quantization for self-affine measures, Markov-type measures on graph-directed fractals, and product measures on multiscale Moran sets. Several open problems are mentioned.


title: Explaining the CMS $eejj$ and $e\ \rm{missing}\ p_T \ jj$ excess and leptogenesis in superstring inspired $E_6$ models

abstract: We show that superstring inspired $E_6$ models can explain both the recently detected excess $eejj$ and $e\ \rm{missing}\ p_T \ jj$ signals at CMS, and also allow for leptogenesis. Working in a R-parity conserving low energy supersymmetric effective model, we show that the excess CMS events can be produced via the decay of exotic sleptons in Alternative Left-Right Symmetric Model of $E_6$, which can also accommodate leptogenesis at a high scale. On the other hand, either the $eejj$ excess or the $e\ \rm{missing}\ p_T \ jj$ excess can be produced via the decays of right handed gauge bosons, but some of these scenarios may not accommodate letptogenesis as there will be strong $B-L$ violation at low energy, which, along with the anomalous fast electroweak $B+L$ violation, will wash out all baryon asymmetry. Baryogenesis below the electroweak scale may then need to be implemented in these models.


title: Cycles and matchings in randomly perturbed digraphs and hypergraphs

abstract: We give several results showing that different discrete structures typically gain certain spanning substructures (in particular, Hamilton cycles) after a modest random perturbation. First, we prove that adding linearly many random edges to a dense k-uniform hypergraph ensures the (asymptotically almost sure) existence of a perfect matching or a loose Hamilton cycle. The proof involves an interesting application of Szemer\'edi's Regularity Lemma, which might be independently useful. We next prove that digraphs with certain strong expansion properties are pancyclic, and use this to show that adding a linear number of random edges typically makes a dense digraph pancyclic. Finally, we prove that perturbing a certain (minimum-degree-dependent) number of random edges in a tournament typically ensures the existence of multiple edge-disjoint Hamilton cycles. All our results are tight.


title: Support Recovery with Orthogonal Matching Pursuit in the Presence of Noise: A New Analysis

abstract: Support recovery of sparse signals from compressed linear measurements is a fundamental problem in compressed sensing (CS). In this paper, we study the orthogonal matching pursuit (OMP) algorithm for the recovery of support under noise. We consider two signal-to-noise ratio (SNR) settings: i) the SNR depends on the sparsity level $K$ of input signals, and ii) the SNR is an absolute constant independent of $K$. For the first setting, we establish necessary and sufficient conditions for the exact support recovery with OMP, expressed as lower bounds on the SNR. Our results indicate that in order to ensure the exact support recovery of all $K$-sparse signals with the OMP algorithm, the SNR must at least scale linearly with the sparsity level $K$. In the second setting, since the necessary condition on the SNR is not fulfilled, the exact support recovery with OMP is impossible. However, our analysis shows that recovery with an arbitrarily small but constant fraction of errors is possible with the OMP algorithm. This result may be useful for some practical applications where obtaining some large fraction of support positions is adequate.