title: New Horoball Packing Density Lower Bound in Hyperbolic 5-space

abstract: We describe the optimal horoball packings of asymptotic Koszul type Coxeter simplex tilings of $5$-dimensional hyperbolic space where the symmetries of the packings are generated by Coxeter groups. We find that the optimal horoball packing density of $\delta_{opt}=0.59421\dots$ is realized in an entire commensurability class of arithmetic Coxeter tilings. Eleven optimal arrangements are achieved by placing horoballs at the asymptotic vertices of the corresponding Coxeter simplices that give the fundamental domains. When multiple horoball types are allowed, in the case of the arithmetic Coxeter groups, the relative packing densities of the optimal horoball types are rational submultiples of $\delta_{opt}$, corresponding to the Dirichlet-Voronoi cell densities of the packing. The packings given in this paper are so far the densest known in hyperbolic $5$-space.


title: Entropy and Entropy Production in Multiscale Dynamics

abstract: Heat conduction is investigated on three levels: equilibrium, Fourier, and Cattaneo. The Fourier level is either the point of departure for investigating the approach to equilibrium or the final stage in the investigation of the approach from the Cattaneo level. Both investigations bring to the Fourier level an entropy and a thermodynamics. In the absence of external and internal influences preventing the approach to equilibrium the entropy that arises in the latter investigation is the production of the classical entropy that arises in the former investigation. If the approach to equilibrium is prevented, then the entropy that arises in the investigation of the approach from the Cattaneo level to the Fourier level still brings to the Fourier level the entropy and the thermodynamics even if the classical entropy and the classical thermodynamics is absent. We also note that vanishing total entropy production as a characterization of equilibrium state is insufficient.


title: 3-colored asymmetric bipartite Ramsey number of connected matchings and cycles

abstract: Let $k,l,m$ be integers and $r(k,l,m)$ be the minimum integer $N$ such that for any red-blue-green coloring of $K_{N,N}$, there is a red matching of size at least $k$ in a component, or a blue matching of at least size $l$ in a component, or a green matching of size at least $m$ in a component. In this paper, we determine the exact value of $r(k,l,m)$ completely. Applying a technique originated by {\L}uczak that applies Szemer\'edi's Regularity Lemma to reduce the problem of showing the existence of a monochromatic cycle to show the existence of a monochromatic matching in a component, we obtain the 3-colored asymmetric bipartite Ramsey number of cycles asymptotically.


title: On multi-solitons for the energy-critical wave equation in dimension 5

abstract: In this paper, we construct $K$-solitons of the focusing energy-critical nonlinear wave equation in five-dimensional space, i.e. solutions $u$ of the equation such that \begin{equation*} \|\nabla_{t,x}u(t)-\nabla_{t,x}\big(\sum_{k=1}^{K}W_{k}(t)\big)\|_{L^{2}}\to 0\quad \mathrm{as}\ t\to \infty, \end{equation*} where for any $k\in \{1,\dots,K\}$, $W_{k}$ is Lorentz transform of the explicit standing soliton $W(x)=(1+|x|^{2}/15)^{-3/2}$, with any speed $\boldsymbol{\ell}_{k}\in \mathbb{R}^{5}$ ,$|\boldsymbol{\ell}_{k}|<1$ ($\boldsymbol{\ell}_{k'}\ne \boldsymbol{\ell}_{k}$ for $k'\ne k$) satisfying an explicit smallness condition.


title: Building a Collaborative Culture: A Grounded Theory of Well Succeeded DevOps Adoption in Practice

abstract: Background. DevOps is a set of practices and cultural values that aims to reduce the barriers between development and operations teams. Due to its increasing interest and imprecise definitions, existing research works have tried to characterize DevOps---mainly using a set of concepts and related practices. Aims. Nevertheless, little is known about thepractitioners practitioners' understanding about successful paths for DevOps adoption. The lack of such understanding might hinder institutions to adopt DevOps practices. Therefore, our goal here is to present a theory about DevOps adoption, highlighting the main related concepts that contribute to its adoption in industry. Method. Our work builds upon Classic Grounded Theory. We interviewed practitioners that contributed to DevOps adoption in 15 companies from different domains and across 5 countries. We empirically evaluate our model through a case study, whose goal is to increase the maturity level of DevOps adoption at the Brazilian Federal Court of Accounts, a Brazilian Government institution.Results. This paper presents a model to improve both the understanding and guidance of DevOps adoption. The model increments the existing view of DevOps by explaining the role and motivation of each category (and their relationships) in the DevOps adoption process. We organize this model in terms of DevOps enabler categories and DevOps outcome categories. We provide evidence that collaboration is the core DevOps concern, contrasting with an existing wisdom that implanting specific tools to automate building, deployment, and infrastructure provisioning and management is enough to achieve DevOps. Conclusions. Altogether, our results contribute to (a) generating an adequate understanding of DevOps, from the perspective of practitioners; and (b) assisting other institutions in the migration path towards DevOps adoption.


title: Differential transcendence criteria for second-order linear difference equations and elliptic hypergeometric functions

abstract: We develop general criteria that ensure that any non-zero solution of a given second-order difference equation is differentially transcendental, which apply uniformly in particular cases of interest, such as shift difference equations, q-dilation difference equations, Mahler difference equations, and elliptic difference equations. These criteria are obtained as an application of differential Galois theory for difference equations. We apply our criteria to prove a new result to the effect that most elliptic hypergeometric functions are differentially transcendental.


title: A H\"older type inequality and an interpolation theorem in Euclidean Jordan algebras

abstract: In a Euclidean Jordan algebra V of rank n which carries the trace inner product, to each element x we associate the eigenvalue vector whose components are the eigenvalues of x written in the decreasing order. For any number p between (and including) one and infinity, we define the spectral p-norm of x to be the p-norm of the corresponding eigenvalue vector in the Euclidean n-space. In this paper, we show that for any two elements x and y, the one-norm of the Jordan product xoy is less than or equal to the product of p-norm of x and q-norm of y, where q is the conjugate of p. For a linear transformation on V, we state and prove an interpolation theorem relative to these spectral norms. In addition, we compute/estimate the norms of Lyapunov transformations, quadratic representations, and positive transformations on V.


title: Asymptotic laws for a class of quasi-periodic Schr\"odinger cocycles at the lowest energy of the spectrum

abstract: Let $(\omega, A_E)$ be a quasi-periodic Schr\"odinger cocycle, where $\omega$ is a Diophantine irrational. The potential is assumed to be $C^2$ with a unique non-degenerate minimum, and the coupling constant is assumed to be large. We show that, as the energy approaches the lowest energy of the spectrum from below, the distance between the Oseledets-directions, in projective coordinates, is asymptotically linear. Moreover, we show that the $C^2$-norm of the Oseledets-directions, in projective coordinates, grows asymptotically (almost) like the inverse of the square root of the distance. Both of these results confirm numerical observations.


title: Approximate Query Processing over Static Sets and Sliding Windows

abstract: Indexing of static and dynamic sets is fundamental to a large set of applications such as information retrieval and caching. Denoting the characteristic vector of the set by B, we consider the problem of encoding sets and multisets to support approximate versions of the operations rank(i) (i.e., computing sum_{j <= i}B[j]) and select(i) (i.e., finding min{p | rank(p) >= i}) queries. We study multiple types of approximations (allowing an error in the query or the result) and present lower bounds and succinct data structures for several variants of the problem. We also extend our model to sliding windows, in which we process a stream of elements and compute suffix sums. This is a generalization of the window summation problem that allows the user to specify the window size at query time. Here, we provide an algorithm that supports updates and queries in constant time while requiring just (1+o(1)) factor more space than the fixed-window summation algorithms.


title: Sharp $\frac12$-H\"older continuity of the Lyapunov exponent at the bottom of the spectrum for a class of Schr\"odinger cocycles

abstract: We consider a similar type of scenario for the disappearance of uniform of hyperbolicity as in Bjerkl\"ov and Saprykina (2008, Nonlinearity 21), where it was proved that the minimum distance between invariant stable and unstable bundles has a linear power law dependence on parameters. In this scenario we prove that the Lyapunov exponent is sharp $\frac12$-H\"older continuous. In particular, we show that the Lyapunov exponent of Schr\"odinger cocycles with a potential having a unique non-degenerate minimum, is sharp $\frac12$-H\"older continuous below the lowest energy of the spectrum, in the large coupling regime.


title: Existence of entire solutions of Monge-Amp\`ere equations with prescribed asymptotic behaviors

abstract: We prove the existence of entire solutions of the Monge-Amp\`ere equations with prescribed asymptotic behavior at infinity of the plane, which was left by Caffarelli-Li in 2003. The special difficulty of the problem in dimension two is due to the global logarithmic term in the asymptotic expansion of solutions at infinity. Furthermore, we give a PDE proof of the characterization of the space of solutions of the Monge-Amp\`ere equation $\det \nabla^2 u=1$ with $k\ge 2$ singular points, which was established by G\'alvez-Mart\'inez-Mira in 2005. We also obtain the existence in higher dimensional cases with general right hand sides.


title: Marginal Structural Models for Time-varying Endogenous Treatments: A Time-Varying Instrumental Variable Approach

abstract: Robins (1998) introduced marginal structural models (MSMs), a general class of counterfactual models for the joint effects of time-varying treatment regimes in complex longitudinal studies subject to time-varying confounding. He established identification of MSM parameters under a sequential randomization assumption (SRA), which essentially rules out unmeasured confounding of treatment assignment over time. In this technical report, we consider sufficient conditions for identification of MSM parameters with the aid of a time-varying instrumental variable, when sequential randomization fails to hold due to unmeasured confounding. Our identification conditions essentially require that no unobserved confounder predicts compliance type for the time-varying treatment, the longitudinal generalization of the identifying condition of Wang and Tchetgen Tchetgen (2018). Under this assumption, We derive a large class of semiparametric estimators that extends standard inverse-probability weighting (IPW), the most popular approach for estimating MSMs under SRA, by incorporating the time-varying IV through a modified set of weights. The set of influence functions for MSM parameters is derived under a semiparametric model with sole restriction on observed data distribution given by the MSM, and is shown to provide a rich class of multiply robust estimators, including a local semiparametric efficient estimator.


title: Do hydrodynamic models misestimate exchange effects? Comparison with kinetic theory for electrostatic waves

abstract: We have extended previous kinetic results to compute the exchange correction to the electrostatic electron susceptibility for arbitrary frequencies and wavenumbers in the low temperature limit. This has allowed us to make a general comparison with a much used hydrodynamic expression for exchange effects. It is found that the hydrodynamic expression gives a useful approximation when the phase velocity is roughly a factor $2.5$ larger than the Fermi velocity. For low phase velocities, as for ion-acoustic waves, wave-particle interaction leads to a strong enhancement of the exchange correction and the hydrodynamic results is smaller by an order of magnitude.


title: From $D_{s}^{\pm}$ production asymmetry at the LHC to prompt $\nu_{\tau}$ at IceCube

abstract: The description of the heavy meson production at large energies and forward rapidities at the LHC is fundamental to derive realistic predictions of the prompt atmospheric neutrino flux at the IceCube Observatory. In particular, the prompt tau neutrino flux is determined by the decay of $D_s$ mesons produced in cosmic ray - air interactions at high energies and large values of the Feynman - $x_F$ variable. Recent data from the LHCb Collaboration indicate a production asymmetry for $D_s^+$ and $D_s^-$ mesons, which cannot be explained in terms of the standard modelling of the hadronization process. In this paper we demonstrate that this asymmetry can be described assuming an asymmetric strange sea ($s(x) \ne \bar s(x)$) in the proton wave function and taking into account of the charm and strange fragmentation into $D_s$ mesons. Moreover, we show that the strange quark fragmentation contribution is dominant at large - $x_F$ ($\ge 0.3$). The prompt $\nu_{\tau}$ flux is calculated and the enhancement associated to the strange quark fragmentation contribution, disregarded in previous calculations, is estimated.


title: Free Fractions: An Invitation to (applied) Free Fields

abstract: Long before we learn to construct the field of rational numbers (out of the ring of integers) at university, we learn how to calculate with fractions at school. When it comes to "numbers", we are used to a commutative multiplication, for example 2*3=6=3*2. On the other hand --even before we can write-- we learn to talk (in a language) using words, consisting of purely non-commuting "letters" (or symbols), for example "xy" is not equal to "yx" (with the concatenation as multiplication). Now, if we combine numbers (from a field) with words (from the free monoid of an alphabet) we get non-commutative polynomials which form a ring (with "natural" addition and multiplication), namely the free associative algebra. Adding or multiplying polynomials is easy, for example (2/3*xy+z)+1/3*xy=xy+z or 2*x(yx+3*z)=2*xyx+6*xz. Although the integers and the non-commutative polynomials look rather different, they share many properties, for example the unique number of irreducible factors: x(1-yx)=x-xyx=(1-xy)x. However, the construction of the universal field of fractions (aka "free field") of the free associative algebra is highly non-trivial (but really beautiful). Therefore we provide techniques (building on the work of Cohn and Reutenauer) to calculate with free fractions (representing elements in the free field or "skew field of non-commutative rational functions") to be able to explore a fascinating non-commutative world.


title: Global Seiberg-Witten maps for U(n)-bundles on tori and T-duality

abstract: Seiberg-Witten maps are a well-established method to locally construct noncommutative gauge theories starting from commutative gauge theories. We revisit and classify the ambiguities and the freedom in the definition. Geometrically, Seiberg-Witten maps provide a quantization of bundles with connections. We study the case of U(n)-vector bundles on two-dimensional tori, prove the existence of globally defined Seiberg-Witten maps (induced from the plane to the torus) and show their compatibility with Morita equivalence.


title: Nonequilibrium polariton dynamics in a Bose-Einstein condensate coupled to an optical cavity

abstract: We study quasiparticle scattering effects on the dynamics of a homogeneous Bose-Einstein condensate of ultracold atoms coupled to a single mode of an optical cavity. The relevant excitations, which are polariton-like mixed excitations of photonic and atomic density-wave modes, are identified. All the first-order correlation functions are presented by means of the Keldysh Green's function technique. Beyond confirming the existence of the resonant enhancement of Beliaev damping, we find a very structured spectrum of fluctuations. There is a spectral hole burning at half of the recoil frequency reflecting the singularity of the Beliaev scattering process. The effects of the photon-loss dissipation channel and that of the Beliaev damping due to atom-atom collisions can be well separated. We show that the Beliaev process does not influence the properties of the self-organization criticality.


title: Weierstrass weight of the hyperosculating points of generalized Fermat curves

abstract: Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperosculating points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for the Weierstrass weight of these points.


title: Regular dessins d'enfants with dicyclic group of automorphisms

abstract: Let $G_{n}$ be the dicyclic group of order $4n$. We observe that, up to isomorphisms, (i) for $n \geq 2$ even there is exactly one regular dessin d'enfant with automorphism group $G_{n}$, and (ii) for $n \geq 3$ odd there are exactly two of them. All of them are produced on very well known hyperelliptic Riemann surfaces. We observe, for each of these cases, that the isotypical decomposition, induced by the action of $G_{n}$, of its jacobian variety has only one component. If $n$ is even, then the action is purely-non-free, that is, every element acts with fixed points. In the case $n$ odd, the action is not purely-non-free in one of the actions and purely non-free for the other.


title: Surrogate-based global sensitivity analysis for turbulence and fire-spotting effects in regional-scale wildland fire modeling

abstract: In presence of strong winds, wildfires feature nonlinear behavior, possibly inducing fire-spotting. We present a global sensitivity analysis of a new sub-model for turbulence and fire-spotting included in a wildfire spread model based on a stochastic representation of the fireline. To limit the number of model evaluations, fast surrogate models based on generalized Polynomial Chaos (gPC) and Gaussian Process are used to identify the key parameters affecting topology and size of burnt area. This study investigates the application of these surrogates to compute Sobol' sensitivity indices in an idealized test case. The wind is known to drive the fire propagation. The results show that it is a more general leading factor that governs the generation of secondary fires. This study also compares the performance of the surrogates for varying size and type of training sets as well as for varying parameterization and choice of algorithms. The best performance was achieved using a gPC strategy based on a sparse least-angle regression (LAR) and a low-discrepancy Halton's sequence. Still, the LAR-based gPC surrogate tends to filter out the information coming from parameters with large length-scale, which is not the case of the cleaning-based gPC surrogate. For both algorithms, sparsity ensures a surrogate can be built using an affordable number of forward model evaluations, while the model response is highly multi-scale and nonlinear. Using a sparse surrogate is thus a promising strategy to analyze new models and its dependency on input parameters in wildfire applications.


title: Visualizing entanglement in atoms and molecules

abstract: In this work we show how constructing Wigner functions of heterogeneous quantum systems leads to new capability in the visualization of quantum states of atoms and molecules. This method allows us to display quantum correlations (entanglement) between spin and spatial degrees of freedom (spin-orbit coupling) and between spin degrees of freedom, as well as more complex combinations of spin and spatial entanglement for the first time. This is important as there is growing recognition that such properties affect the physical characteristics, and chemistry, of atoms and molecules. Our visualizations are sufficiently accessible that, with some preparation, those with a non-technical background can gain an appreciation of subtle quantum properties of atomic and other systems. By providing new insights and modelling capability, our phase-space representation will be of great utility in understanding aspects of atomic physics and chemistry not available with current techniques.


title: On the Carmichael rings, Carmichael ideals and Carmichael polynomials

abstract: Motivated by Carmichael numbers, we say that a finite ring $R$ is a Carmichael ring if $a^{|R|}=a$ for any $a \in R$. We then call an ideal $I$ of a ring $R$ as a Carmichael ideal if $R/I$ is a Carmichael ring, and a Carmichael element of $R$ means it generates a Carmichael ideal. In this paper, we determine the structure of Carmichael rings and prove a generalization of Korselt's criterion for Carmichael ideals in Dedekind domains. We also study Carmichael elements of polynomial rings over finite fields (called Carmichael polynomials) by generalizing various classical results. For example, we show that there are infinitely many Carmichael polynomials but they have zero density.


title: The Gaseous Environments of Quasars: Associate Absorption Lines with Density and Distance Constraints

abstract: Associated absorption lines (AALs) in quasar spectra are valuable probes of the gas kinematics and physical conditions in quasar environments. The host galaxies are by definition in an active evolution stage that might involve large-scale blowouts and/or cold-mode accretion (infall) from the intergalactic medium (IGM). We discuss rest-frame UV spectra of four redshift 2-3 quasars selected to have low-ionisation AALs of SiII or CII that place unique density and distance constraints on the absorbers. Our analysis of the AALs yields the following results. One of the quasars, Q0119$-$046, has a rich complex of 11 AAL systems that appear to be infalling at measured speeds from $\sim$0 to $\sim$1150 km s$^{-1}$ at distance $\sim$5.7 kpc from the quasar. The range of ions detected, up to NeVIII, indicates a wide range of densities from $\sim$4 to $\sim$2500 cm$^{-3}$. Partial covering the quasar emission source requires cloud sizes $<$1 pc and possibly $<$0.01 pc. The short dissipation times of these small clouds suggests that they are created in situ at their observed location, perhaps as dense condensations in cold-mode accreting gas from IGM. The AALs in the other three quasars have outflow speeds from $\sim$1900 to $\sim$3000 km s$^{-1}$. Some of them also appear to have a range of densities based on the range of ions detected, including MgI $\lambda$2853 in Q0105+061. However, the absence of excited-state AALs yields only upper limits on their gas densities ($\lesssim150$ cm$^{-3}$) and large minimum distances ($\gtrsim$40 kpc) from the quasars. These AALs might represent highly extended quasar-driven outflows, although their actual physical relationships to the quasars cannot be established.


title: Binary interaction along the Red Giant Branch: The Barium Star perspective

abstract: Barium (Ba) stars form via mass-transfer in binary systems, and can subsequently interact with their white dwarf companion in a second stage of binary interaction. We used observations of main-sequence Ba systems as input for our evolutionary models, and try to reproduce the orbits of the Ba giants. We show that to explain short and sometimes eccentric orbits, additional interaction mechanisms are needed along the RGB.


title: On three-dimensional flows of pore pressure activated Bingham fluids

abstract: We are concerned with a system of partial differential equations describing internal flows of homogeneous incompressible fluids of Bingham type in which the value of activation (the so-called yield) stress depends on the internal pore pressure governed by an advection-diffusion equation. After providing the physical background of the considered model, paying attention to the assumptions involved in its derivation, we focus on the PDE analysis of the initial and boundary value problems. We give several equivalent descriptions for the considered class of fluids of Bingham type. In particular, we exploit the possibility to write such a response as an implicit tensorial constitutive equation, involving the pore pressure, the deviatoric part of the Cauchy stress and the velocity gradient. Interestingly, this tensorial response can be characterized by two scalar constraints. We employ a similar approach to treat stick-slip boundary conditions. Within such a setting we prove long time and large data existence of weak solutions to the evolutionary problem in three dimensions.


title: Enhanced Multiuser Superposition Transmission through Structured Modulation

abstract: The 5G air interface, namely, dynamic multiple access (MA) based on multiuser superposition transmission (MUST) and orthogonal multiple access (OMA), may require complicated scheduling and heavy signaling overhead. To address these challenges, we propose a a unified MA scheme for future cellular networks, which we refer to as structured multiuser superposition transmission (S-MUST). In S-MUST, we apply complex power allocation coefficients (CPACs) over multiuser legacy constellations to generate a composite constellation. In particular, the in-phase (I) and quadrature (Q) components of the legacy constellation of each user are separately multiplied by those of the CPACs. As such, the CPACs offer an extra degree of freedom for multiplexing users and guarantee fairness in symmetric broadcast channels. This new paradigm of superposition coding allows us to design IQ separation at the user side, which significantly reduces the decoding complexity without degrading performance. Hence, it supports low-complexity frequency-selective scheduling that does not entail dynamically switching between MUST and OMA. We further propose to quantize the CPACs into complex numbers where I and Q components of each quantized coefficient are primes, facilitating parallel interference cancellation at each user via modulo operations, last but not least, we generalize the design of S-MUST to exploit the capabilities of multiantenna base stations. The proposed S-MUST exhibits an improved user fairness with respect to conventional MUST (134% spectral efficiency enhancement) and a lower system complexity compared with dynamically alternating MUST and OMA.


title: Fast and easy super-sample covariance of large scale structure observables

abstract: We present a numerically cheap approximation to super-sample covariance (SSC) of large scale structure cosmological probes, first in the case of angular power spectra. It necessitates no new elements besides those used for the prediction of the considered probes, thus relieving analysis pipelines from having to develop a full SSC modeling, and reducing the computational load. The approximation is asymptotically exact for fine redshift bins $\Delta z \rightarrow 0$. We furthermore show how it can be implemented at the level of a Gaussian likelihood or a Fisher matrix forecast, as a fast correction to the Gaussian case without needing to build large covariance matrices. Numerical application to a Euclid-like survey show that, compared to a full SSC computation, the approximation recovers nicely the signal-to-noise ratio as well as Fisher forecasts on cosmological parameters of the $w$CDM cosmological model. Moreover it allows for a fast prediction of which parameters are going to be the most affected by SSC and at which level. In the case of photometric galaxy clustering with Euclid-like specifications, we find that $\sigma_8$, $n_s$ and the dark energy equation of state $w$ are particularly heavily affected. We finally show how to generalize the approximation for probes other than angular spectra (correlation functions, number counts and bispectra), and at the likelihood level, allowing for the latter to be non-Gaussian if needs be. We release publicly a Python module allowing to implement the SSC approximation, as well as a notebook reproducing the plots of the article, at https://github.com/fabienlacasa/PySSC


title: Sbottoms as probes to MSSM with nonholomorphic soft interactions

abstract: Presence of nonholomorphic soft SUSY breaking terms is known to be a possibility in the popular setup of the Minimal Supersymmetric Standard Model (MSSM). It has been shown that such a scenario known as NonHolomorphic Supersymmetric Standard Model (NHSSM) could remain `natural' ( i.e., not fine-tuned) even in the presence of a rather heavy higgsino-like LSP. However, it turns out that distinguishing such a scenario from the MSSM is unlikely to be an easy task, in particular at the Large Hadron Collider (LHC). In a first study of such a scenario at colliders (LHC), we explore a possible way that focuses on the sbottom phenomenology. This exploits the usual $\tan\beta$-dependence (enhancement) of the bottom Yukawa coupling but reinforced/altered in the presence of non-vanishing nonholomorphic soft trilinear parameter $A_b^{\prime}$. For a given set of masses of the sbottom(s) and the light electroweakinos (LSP, lighter chargino etc.) which are known from experiments, the difference between the two scenarios could manifest itself via event rate in the 2b-jets + ${\, \not \! \! E_T}$ final state, which could be characteristically different from its MSSM expectation. Impact on the phenomenology of the stops at the LHC is also touched upon.


title: Fractional coloring of planar graphs of girth five

abstract: A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We first show that for every triangle-free planar graph G and a vertex x of G, the graph G has a set coloring phi by subsets of {1,...,6} such that |phi(v)|>=2 for each vertex v of G and |phi(x)|=3. As a corollary, every triangle-free planar graph on n vertices is (6n:2n+1)-colorable. We further use this result to prove that for every Delta, there exists a constant M_Delta such that every planar graph G of girth at least five and maximum degree Delta is (6M_Delta:2M_Delta+1)-colorable. Consequently, planar graphs of girth at least five with bounded maximum degree Delta have fractional chromatic number at most 3-3/(2M_Delta+1).


title: Complexity of energy barriers in mean-field glassy systems

abstract: We analyze the energy barriers that allow escapes from a given local minimum in a mean-field model of glasses. We perform this study by using the Kac-Rice method and computing the typical number of critical points of the energy function at a given distance from the minimum. We analyze their Hessian in terms of random matrix theory and show that for a certain regime of energies and distances critical points are index-one saddles and are associated to barriers. We find that the lowest barrier, important for activated dynamics at low temperature, is strictly lower than the "threshold" level above which saddles proliferate. We characterize how the quenched complexity of barriers, important for activated process at finite temperature, depends on the energy of the barrier, the energy of the initial minimum, and the distance between them. The overall picture gained from this study is expected to hold generically for mean-field models of the glass transition.


title: Totally asymmetric exclusion process with site-wise dynamic disorder

abstract: We propose an extension of the totally asymmetric simple exclusion process (TASEP) in which particles hopping along a lattice can be blocked by obstacles that dynamically attach/detach from lattice sites. The model can be thought as TASEP with site-wise dynamic disorder. We consider two versions of defect dynamics: (i) defects can bind to any site, irrespective of particle occupation, (ii) defects only bind to sites which are not occupied by particles (particle-obstacle exclusion). In case (i) there is a symmetric, parabolic-like relationship between the current and particle density, as in the standard TASEP. Case (ii) leads to a skewed relationship for slow defect dynamics. We also show that the presence of defects induces particle clustering, despite the translation invariance of the system. For open boundaries the same three phases as for the standard TASEP are observed, albeit the position of phase boundaries is affected by the presence of obstacles. We develop a simple mean-field theory that captures the model's quantitative behaviour for periodic and open boundary conditions and yields good estimates for the current-density relationship, mean cluster sizes and phase boundaries. Lastly, we discuss an application of the model to the biological process of gene transcription.


title: Incompressible limit of a continuum model of tissue growth for two cell populations

abstract: This paper investigates the incompressible limit of a system modelling the growth of two cells population. The model describes the dynamics of cell densities, driven by pressure exclusion and cell proliferation. It has been shown that solutions to this system of partial differential equations have the segregation property, meaning that two population initially segregated remain segregated. This work is devoted to the incompressible limit of such system towards a free boundary Hele Shaw type model for two cell populations.


title: Reconfiguration of graphs with connectivity constraints

abstract: A graph $G$ realizes the degree sequence $S$ if the degrees of its vertices is $S$. Hakimi gave a necessary and sufficient condition to guarantee that there exists a connected multigraph realizing $S$. Taylor later proved that any connected multigraph can be transformed into any other via a sequence of flips (maintaining connectivity at any step). A flip consists in replacing two edges $ab$ and $cd$ by the diagonals $ac$ and $bd$. In this paper, we study a generalization of this problem. A set of subsets of vertices $\mathcal{CC}$ is \emph{nested} if for every $C,C' \in \mathcal{CC}$ either $C \cap C' = \emptyset$ or one is included in the other. We are interested in multigraphs realizing a degree sequence $S$ and such that all the sets of a nested collection $\mathcal{CC}$ induce connected subgraphs. Such constraints naturally appear in tandem mass spectrometry. We show that it is possible to decide in polynomial if there exists a graph realizing $S$ where all the sets in $\mathcal{CC}$ induce connected subgraphs. Moreover, we prove that all such graphs can be obtained via a sequence of flips such that all the intermediate graphs also realize $S$ and where all the sets of $\mathcal{CC}$ induce connected subgraphs. Our proof is algorithmic and provides a polynomial time approximation algorithm on the shortest sequence of flips between two graphs whose ratio depends on the depth of the nested partition.


title: Factorisation and Subtraction beyond NLO

abstract: We provide a general method to construct local infrared subtraction counterterms for unresolved radiative contributions to differential cross sections, to any order in perturbation theory. We start from the factorised structure of virtual corrections to scattering amplitudes, where soft and collinear divergences are organised in gauge-invariant matrix elements of fields and Wilson lines, and we define radiative eikonal form factors and jet functions which are fully differential in the radiation phase space, and can be shown to cancel virtual poles upon integration by using completeness relations and general theorems on the cancellation of infrared singularities. Our method reproduces known results at NLO and NNLO, and yields substantial simplifications in the organisation of the subtraction procedure, which will help in the construction of efficient subtraction algorithms at higher orders.


title: A classification of global conformal invariants

abstract: We provide the full classification, in arbitrary even and odd dimensions, of global conformal invariants, i.e., scalar densities in the spacetime metric and its derivatives that are invariant, possibly up to a total derivative, under local Weyl rescalings of the metric. We use cohomological techniques that have already proved instrumental in the classification of Weyl anomalies in arbitrary dimensions. The approach we follow is purely algebraic and borrows techniques originating from perturbative Quantum Field Theory for which locality is crucial.


title: Approximation Num\'erique de Racines Isol\'ees Multiples de Syst\`emes Analytiques

abstract: The approximation of a multiple isolated root is a difficult problem. In fact the root can even be a repulsive root for a fixed point method like the Newton method. However there exists a huge literature on this topic but the answers given are not satisfactory. Numerical methods allowing a local convergence analysis work often under specific hypotheses. This viewpoint favouring numerical analysis forgets the geometry and the structure of the local algebra. Thus appeared so-called symbolic-numeric methods, yet full of lessons, but their precise numerical analysis is still missing. We propose in this paper a method of symbolic-numeric kind, whose numerical treatment is certified. The general idea is to construct a finite sequence of systems, admitting the same root, and called the deflation sequence, so that the multiplicity of the root drops strictly between two successive systems. So the root becomes regular. Then we can extract a regular square system we call deflated system. We described already the construction of this deflated sequence when the singular root is known. The originality of this paper consists on one hand to construct a deflation sequence from a point close to the root and on the other hand to give a numerical analysis of this method. Analytic square integrable functions build the functional frame. Using the Bergman kernel, reproducing kernel of this functional frame, we are able to give a $\alpha$-theory {\`a} la Smale. Furthermore we present new results on the determination of the numerical rank of a matrix and the closeness to zero of the evaluation map. As an important consequence we give an algorithm computing a deflation sequence free of $\epsilon$, threshold quantity measuring the numerical approximation, meaning that the entry of this algorithm does not involve the variable $\epsilon$.


title: Polar charge induced self-assembly: An electric effect that causes non-isotropic nanorod growth in wurtzite semiconductors

abstract: Crystals grow by gathering and bonding of atoms to form an ordered structure. Typically, the growth is equally probable in all crystalline directions, but sometimes, it is not, as is the case of nanowire growth. Nanowire growth is explained, in most cases, by the presence of liquid metal droplets that mediate between an incoming flux of atoms and a substrate or an existing crystal nucleus, while defining the lateral dimension. Here, we report and explain a previously unknown mode of non-isotropic crystal growth observed in two wurtzite semiconductors, InN and ZnO. Being of polar structure, wurtzite crystals possess a built-in internal electric field. Thermally-excitied charges screen the built-in electric field during growth in a non-uniform, yet symmetric, manner, causing the formation of symmetric domains of inverted polarity. These domains limit the lateral expansion of the crystal, inducing a fiber growth mode. The mechanism described here elucidates previously unexplained phenomena in the growth of group III-nitrides on sapphire, emphasizing the need to consider the effects of built-in electric fields in the growth of polar semiconductors.


title: Resilient Distributed Energy Management for Systems of Interconnected Microgrids

abstract: In this paper, distributed energy management of interconnected microgrids, which is stated as a dynamic economic dispatch problem, is studied. Since the distributed approach requires cooperation of all local controllers, when some of them do not comply with the distributed algorithm that is applied to the system, the performance of the system might be compromised. Specifically, it is considered that adversarial agents (microgrids with their controllers) might implement control inputs that are different than the ones obtained from the distributed algorithm. By performing such behavior, these agents might have better performance at the expense of deteriorating the performance of the regular agents. This paper proposes a methodology to deal with this type of adversarial agents such that we can still guarantee that the regular agents can still obtain feasible, though suboptimal, control inputs in the presence of adversarial behaviors. The methodology consists of two steps: (i) the robustification of the underlying optimization problem and (ii) the identification of adversarial agents, which uses hypothesis testing with Bayesian inference and requires to solve a local mixed-integer optimization problem. Furthermore, the proposed methodology also prevents the regular agents to be affected by the adversaries once the adversarial agents are identified. In addition, we also provide a sub-optimality certificate of the proposed methodology.


title: Regimes and quantum bounds of nanoscale thermoelectrics with peaked transmission function

abstract: Based on the Landauer-B\"{u}ttiker theory, we explore the thermal regimes of two-terminal nanoscale systems with an energy-peaked transmission function. The device is in contact with two reservoirs held at different temperatures and chemical potentials. We identify the operation regions where the system acts as energy pump (thermal machine) or heat pump (refrigerator machine), or where it is working in dissipative modes. The corresponding thermoelectric parameters are obtained without numerical calculations. The recent literature, by focusing on systems with box-like or step-like shapes of the transmission functions, demonstrated that bounds of quantum origin exist for output power and heat currents of thermal machines and refrigerators. The simple model we adopt in this paper allows us to grasp easily and without numerical calculations the presence of quantum bounds for the above thermoelectric quantities, as function of the position of the transmission peak with respect to the chemical potentials of the left and right reservoirs. In spite of the simple model and treatment, our results are in qualitative agreement with analytic findings in previous researches obtained with more realistic description of the electronic transmission function.


title: User preferences in Bayesian multi-objective optimization: the expected weighted hypervolume improvement criterion

abstract: In this article, we present a framework for taking into account user preferences in multi-objective Bayesian optimization in the case where the objectives are expensive-to-evaluate black-box functions. A novel expected improvement criterion to be used within Bayesian optimization algorithms is introduced. This criterion, which we call the expected weighted hypervolume improvement (EWHI) criterion, is a generalization of the popular expected hypervolume improvement to the case where the hypervolume of the dominated region is defined using an absolutely continuous measure instead of the Lebesgue measure. The EWHI criterion takes the form of an integral for which no closed form expression exists in the general case. To deal with its computation, we propose an importance sampling approximation method. A sampling density that is optimal for the computation of the EWHI for a predefined set of points is crafted and a sequential Monte-Carlo (SMC) approach is used to obtain a sample approximately distributed from this density. The ability of the criterion to produce optimization strategies oriented by user preferences is demonstrated on a simple bi-objective test problem in the cases of a preference for one objective and of a preference for certain regions of the Pareto front.


title: Completing the optical spectroscopy of the $6p_{J}$ manifold: the $5p_{3/2}\rightarrow 6p_{1/2}$ electric dipole forbidden transition in atomic rubidium

abstract: We present the first evidence of excitation of the $5p_{3/2} \rightarrow 6p_{1/2}$ electric dipole-forbidden transition in atomic rubidium. The experiments were carried out in a rubidium vapor cell using Doppler-free optical-optical double-resonance spectroscopy with counter-propagating beams. This a similar scheme to the excitation of the other fine transition $J=3/2$ in the $6p_{J}$ manifold previously reported. A $5s_{1/2} \rightarrow 5p_{3/2}$ electric dipole preparation step using a diode laser locked to the maximum F cyclic transition of the $D_2$ line is used to prepare the atoms in the first excited state. This is followed by the $5p_{3/2} \rightarrow 6p_{1/2}$ dipole-forbidden excitation, in a two-photon ladder ($\Xi$) excitation scheme. Production of atoms in the $6p_{1/2}$ excited state is verified by detection of the $421$ nm fluorescence that results from direct decay into the $5s_{1/2}$ ground state. The polarization dependence of the relative intensities of the lines of the decay fluorescence is also investigated. Experimental data for different polarization configurations of the light beams are compared with the results of calculations that consider a strong atom-field coupling in the preparation step, followed by a weak electric quadrupole excitation and the blue fluorescence decay emission. Good agreement between experiment and this three-step model is found in the case of linear-linear polarizations in both isotopes.


title: BCOV invariants of Calabi--Yau manifolds and degenerations of Hodge structures

abstract: Calabi--Yau manifolds have risen to prominence in algebraic geometry, in part because of mirror symmetry and enumerative geometry. After Bershadsky--Cecotti--Ooguri--Vafa (BCOV), it is expected that genus 1 curve counting on a Calabi--Yau manifold is related to a conjectured invariant, only depending on the complex structure of the mirror, and built from Ray--Singer holomorphic analytic torsions. To this end, extending work of Fang--Lu--Yoshikawa in dimension 3, we introduce and study the BCOV invariant of Calabi--Yau manifolds of arbitrary dimension. To determine it, knowledge of its behaviour at the boundary of moduli spaces is imperative. We address this problem by proving precise asymptotics along one-parameter degenerations, in terms of topological data and intersection theory. Central to the approach are new results on degenerations of $L^2$ metrics on Hodge bundles, combined with information on the singularities of Quillen metrics in our previous work.


title: Density estimates of 1-avoiding sets via higher order correlations

abstract: We improve the best known upper bound on the density of a planar measurable set A containing no two points at unit distance to 0.25442. We use a combination of Fourier analytic and linear programming methods to obtain the result. The estimate is achieved by means of obtaining new linear constraints on the autocorrelation function of A utilizing triple-order correlations in A, a concept that has not been previously studied.


title: Lower Bounds on the Redundancy of Huffman Codes with Known and Unknown Probabilities

abstract: In this paper we provide a method to obtain tight lower bounds on the minimum redundancy achievable by a Huffman code when the probability distribution underlying an alphabet is only partially known. In particular, we address the case where the occurrence probabilities are unknown for some of the symbols in an alphabet. Bounds can be obtained for alphabets of a given size, for alphabets of up to a given size, and for alphabets of arbitrary size. The method operates on a Computer Algebra System, yielding closed-form numbers for all results. Finally, we show the potential of the proposed method to shed some light on the structure of the minimum redundancy achievable by the Huffman code.


title: Experimental few-copy multi-particle entanglement detection

abstract: Quantum technologies lead to a variety of applications that outperform their classical counterparts. In order to build a quantum device it must be verified that it operates below some error threshold. Recently, because of technological developments which allow for the experimental realization of quantum states with increasing complexity, these tasks must be applied to large multi-qubit states. However, due to the exponentially-increasing system size, tasks like quantum entanglement verification become hard to carry out in such cases. Here we develop a generic framework to translate any entanglement witness into a resource-efficient probabilistic scheme. We show that the confidence to detect entanglement grows exponentially with the number of individual detection events. To benchmark our findings, we experimentally verify the presence of entanglement in a photonic six-qubit cluster state generated using three single-photon sources operating at telecommunication wavelengths. We find that its presence can be certified with at least 99.74% confidence by detecting 20 copies of the quantum state. Additionally, we show that genuine six-qubit entanglement is verified with at least 99% confidence by using 112 copies of the state. Our protocol can be carried out with a remarkably low number of copies, making it a practical and applicable method to verify large-scale quantum devices.


title: Interfering Coherent Lightsheets Assisted Structure Synthesis (iCLASS) Technique for Nanofabrication

abstract: We propose a light-sheet based plane-selective fabrication technique that enables fabrication of nano-electronic/nano-fluidic components (nano-wires, nano-waveguides, nano-gratings and nano-channels) with specificity, selectivity on a user-defined patterning area. The technique is termed as, interfering coherent lightsheet assisted structure synthesis (iCLASS). iCLASS use specialized $2\pi$-geometry (consists of two opposing cylindrical lenses) that facilitates interference of counter-propagating light-sheets at a common geometrical focus. This gives rise to 1D interference pattern with a feature size of less than diffraction limit. A commercially available S1813 photoresist coated on a cleaned glass substrate is subsequently exposed to the light-sheets pattern (visible light). This is followed by the development of photoresist film to imprint the 1D nano-pattern. Experimental study and analysis shows an inter-feature spacing and feature-size of approximately, $\lambda/2$. Investigation show that the light-dose interaction-time ($\tau_{exp} +\tau_{dev}$) play crucial role in determining the feature-size and quality of fabricated nano-pattern array. The proposed iCLASS technique may find applications in nanoscience and nanotechnology.


title: Magnetic Field Uniformity Across the GF 9-2 YSO, L1082C Dense Core, and GF 9 Filamentary Dark Cloud

abstract: The orientation of the magnetic field (B-field) in the filamentary dark cloud GF 9 was traced from the periphery of the cloud into the L1082C dense core that contains the low-mass, low-luminosity Class 0 young stellar object (YSO) GF 9-2 (IRAS 20503+6006). This was done using SOFIA HAWC+ dust thermal emission polarimetry (TEP) at 216 um in combination with Mimir near-infrared background starlight polarimetry (BSP) conducted at H-band (1.6 um) and K-band (2.2 um). These observations were augmented with published I-band (0.77 um) BSP and Planck 850 um TEP to probe B-field orientations with offset from the YSO in a range spanning 6000 AU to 3 pc. No strong B-field orientation change with offset was found, indicating remarkable uniformity of the B-field from the cloud edge to the YSO environs. This finding disagrees with weak-field models of cloud core and YSO formation. The continuity of inferred B-field orientations for both TEP and BSP probes is strong evidence that both are sampling a common B-field that uniformly threads the cloud, core, and YSO region. Bayesian analysis of Gaia DR2 stars matched to the Mimir BSP stars finds a distance to GF 9 of 270 +/- 10 pc. No strong wavelength dependence of B-field orientation angle was found, contrary to previous claims.


title: Brauer groups of involution surface bundles

abstract: We present an algorithm to compute the Brauer group of involution surface bundles over rational surfaces.


title: The Singular Hydrodynamic Interactions Between Two Spheres In Stokes Flow

abstract: We study exact solutions for the slow viscous flow of an infinite liquid caused by two rigid spheres approaching each either along or parallel to their line of centres, valid at all separations. This goes beyond the applicable range of existing solutions for singular hydrodynamic interactions (HIs) which, for practical applications, are limited to the near-contact or far field region of the flow. For the normal component of the HI, by use of a bipolar coordinate system, we derive the stream function for the flow as $Re\to 0$ and a formula for the singular (squeeze) force between the spheres as an infinite series. We also obtain the asymptotic behaviour of the forces as the nondimensional separation between the spheres goes to zero and infinity, rigorously confirming and improving upon known results relevant to a widely accepted lubrication theory. Additionally, we recover the force on a sphere moving perpendicularly to a plane as a special case. For the tangential component, again by using a bipolar coordinate system, we obtain the corresponding infinite series expression of the (shear) singular force between the spheres. All results hold for retreating spheres, consistent with the reversibility of Stokes flow. We demonstrate substantial differences in numerical simulations of colloidal fluids when using the present theory compared with existing multipole methods. Furthermore, we show that the present theory preserves positive definiteness of the resistance matrix $\boldsymbol{R}$ in a number of situations in which positivity is destroyed for multipole/perturbative methods.


title: O-minimal flows on nilmanifolds

abstract: Let $G$ be a connected, simply connected nilpotent Lie group, identified with a real algebraic subgroup of $\mathrm{UT}(n,\mathbb{R})$, and let $\Gamma$ be a lattice in $G$, with $\pi:G\to G/\Gamma$ the quotient map. For a semi-algebraic $X\subseteq G$, and more generally a definable set in an o-minimal structure on the real field, we consider the topological closure of $\pi(X)$ in the compact nilmanifold $G/\Gamma$. Our theorem describes $\mathrm{cl}(\pi(X))$ in terms of finitely many families of cosets of real algebraic subgroups of $G$. The underlying families are extracted from $X$, independently of $\Gamma$. We also prove an equidistribution result in the case of curves.


title: On finite quotient Aubry set for generic geodesic flows

abstract: We study the structure of the Mather and Aubry sets for the family of lagrangians given by the kinetic energy associated to a riemannian metric $ g$ on a closed manifold $ M$. In this case the Euler-Lagrange flow is the geodesic flow of $(M,g)$. We prove that there exists a residual subset $ \mathcal G$ of the set of all conformal metrics to $g$, such that, if $ \overline g \in \mathcal G$ then the corresponding geodesic flow has a finitely many ergodic c-minimizing measures, for each non-trivial cohomology class $ c \in H^1(M,\mathbb{R})$. This implies that, for any $ c \in H^1(M,\mathbb{R})$, the quotient Aubry set for the cohomology class c has a finite number of elements for this particular family of lagrangian systems.


title: Thermally Driven Topology in Frustrated Systems

abstract: Non-trivial topology in a two-dimensional frustrated spin system with the Dzyaloshinskii-Moriya (DM) interaction was investigated by Monto Carlo simulations. At finite temperatures, thermally driven topology was discovered and was found to be dominant at low magnetic field. This topological charge has a quadratic relation with the DM interaction and linear realtions with the external magnetic field or the uniaxial magnetic anisotropy. We also proposed a real frustrated system, the Mn-Bi mono-layer film with exceedingly large DM interaction, to enable thermally driven topology. Other topological non-trivial phases in high magnetic field region were also discussed in this real system.


title: On numbers divisible by the product of their nonzero base $b$ digits

abstract: For each integer $b \geq 3$ and every $x \geq 1$, let $\mathcal{N}_{b,0}(x)$ be the set of positive integers $n \leq x$ which are divisible by the product of their nonzero base $b$ digits. We prove bounds of the form $x^{\rho_{b,0} + o(1)} < \#\mathcal{N}_{b,0}(x) < x^{\eta_{b,0} + o(1)}$, as $x \to +\infty$, where $\rho_{b,0}$ and $\eta_{b,0}$ are constants in ${]0,1[}$ depending only on $b$. In particular, we show that $x^{0.526} < \#\mathcal{N}_{10,0}(x) < x^{0.787}$, for all sufficiently large $x$. This improves the bounds $x^{0.495} < \#\mathcal{N}_{10,0}(x) < x^{0.901}$, which were proved by De Koninck and Luca.


title: Simulation of gating currents of the Shaker K channel using a Brownian model of the voltage sensor

abstract: The physical mechanism underlying the voltage-dependent gating of K channels is usually addressed theoretically using molecular dynamics simulations.However, besides being computationally very expensive, this approach is presently unable to fully predict the behavior of fundamental variables of channel gating, such as the macroscopic gating current.To fill this gap here we propose a voltage gating model that treats the S4 segment as a Brownian particle moving through a gating channel pore and adjacent internal and external vestibules.In our model charges on the S4 segment are screened by charged residues localized on the other segments of the channel protein, and by ions present in the vestibules, whose dynamics is assessed using a flux conservation equation. The electrostatic voltage spatial profile is consistently assessed by applying the Poisson equation to all the charges present in the system. The treatment of the S4 segment as a Brownian particle allows to alternatively describe the dynamics of a single S4 segment, using the Langevin stochastic differential equation, or the behavior of a population of S4 segments, useful to assess the macroscopic gating current, using the Fokker-Planck equation. The proposed model confirms the gating charge transfer hypothesis, with the movement of the S4 segment among 5 different stable positions where the gating charges differently interact with the negatively charged residues on the channel protein. This behavior results in macroscopic gating currents displaying properties quite similar to those experimentally found, including a very fast component followed by a slower one with an evident rising phase at high depolarizing voltages.


title: Are screening methods useful in feature selection? An empirical study

abstract: Filter or screening methods are often used as a preprocessing step for reducing the number of variables used by a learning algorithm in obtaining a classification or regression model. While there are many such filter methods, there is a need for an objective evaluation of these methods. Such an evaluation is needed to compare them with each other and also to answer whether they are at all useful, or a learning algorithm could do a better job without them. For this purpose, many popular screening methods are partnered in this paper with three regression learners and five classification learners and evaluated on ten real datasets to obtain accuracy criteria such as R-square and area under the ROC curve (AUC). The obtained results are compared through curve plots and comparison tables in order to find out whether screening methods help improve the performance of learning algorithms and how they fare with each other. Our findings revealed that the screening methods were useful in improving the prediction of the best learner on two regression and two classification datasets out of the ten datasets evaluated.


title: Non-collinearity and spin frustration in the itinerant kagome ferromagnet Fe3Sn2

abstract: Frustrated itinerant ferromagnets, with non-collinear static spin structures, are an exciting class of material as their spin chirality can introduce a Berry phase in the electronic scattering and lead to exotic electronic phenomena such as the anomalous Hall effect (AHE). This study presents a reexamination of the magnetic properties of Fe$_3$Sn$_2$, a metallic ferromagnet, based on the 2-dimensional kagome bilayer structure. Previously thought of as a conventional ferromagnet, we show using a combination of SQUID measurements, symmetry analysis and powder neutron diffraction, that Fe$_3$Sn$_2$ is a frustrated ferromagnet with a temperature-dependent non-collinear spin structure. The complexity of the magnetic interactions is further evidenced by a re-entrant spin glass transition ($T_f\simeq80$\,K) at temperatures far below the main ferromagnetic transition ($T\mathrm{_C}$ = 640\,K). Fe$_3$Sn$_2$ therefore provides a rare example of a frustrated itinerant ferromagnet. Further, as well as being of great fundamental interest our studies highlight the potential of Fe$_3$Sn$_2$ for practical application in spintronics technology, as the AHE arising from the ferromagnetism in this material is expected to be enhanced by the coupling between the conduction electrons and the non-trivial magnetic structure over an exceptionally wide temperature range.


title: Discovering Reliable Dependencies from Data: Hardness and Improved Algorithms

abstract: The reliable fraction of information is an attractive score for quantifying (functional) dependencies in high-dimensional data. In this paper, we systematically explore the algorithmic implications of using this measure for optimization. We show that the problem is NP-hard, which justifies the usage of worst-case exponential-time as well as heuristic search methods. We then substantially improve the practical performance for both optimization styles by deriving a novel admissible bounding function that has an unbounded potential for additional pruning over the previously proposed one. Finally, we empirically investigate the approximation ratio of the greedy algorithm and show that it produces highly competitive results in a fraction of time needed for complete branch-and-bound style search.


title: Wave and Klein-Gordon equations on certain locally symmetric spaces

abstract: This paper is devoted to study the dispersive properties of the linear Klein-Gordon and wave equations on a class of locally symmetric spaces. As a consequence, we obtain the Strichartz estimate and prove global well-posedness results for the corresponding semilinear equation with low regularity data as on real hyperbolic spaces.


title: Spectrum of complex networks

abstract: The study of complex networks has been one of the most active fields in science in recent decades. Spectral properties of networks (or graphs that represent them) are of fundamental importance. Researchers have been investigating these properties for many years, and, based on numerical data, have raised a number of questions about the distribution of the eigenvalues and eigenvectors. In this paper, we give the solution to some of these questions. In particular, we determine the limiting distribution of (the bulk of) the spectrum as the size of the network grows to infinity and show that the leading eigenvectors are strongly localized. We focus on the preferential attachment graph, which is the most popular mathematical model for growing complex networks. Our analysis is, on the other hand, general and can be applied to other models.


title: Spin-orbit interactions and chiroptical effects engaging orbital angular momentum of twisted light in chiral and achiral media

abstract: There is recurrent interest in the orbital angular momentum (OAM) conveyed by optical vortices, which are structured beams with a helically twisted wavefront. Particular significance is attached to the issue of how, in its interactions with matter, light conveying OAM might prove sensitive to the relative handedness and degree of twist in the associated optical wavefront. As a result of recent experimental and theoretical studies, the supposition that beams with OAM might enable discrimination between oppositely handed forms of matter has become a renewed focus of attention. Some of the tantalizing conclusions that are beginning to emerge from this research have, however, not yet established a definitive basis for a supporting mechanism. To resolve this problem requires the development of theory to support a faithful representation, and a thorough understanding, of the fundamental molecule-photon physics at play in such optical processes, even for processes as basic as absorption. The present analysis establishes mechanisms at play that entail a novel manifestation of optical spin-orbit interactions (SOI), engaging transition electric quadrupole moments. Moreover, powerful symmetry principles prove to render distinctively different criteria governing the exhibition of 2D and 3D chirality. The new results elucidate the operation of such effects, identifying their responsibility for discriminatory optical interactions of various forms in both chiral and achiral media.


title: Sum-factorization techniques in Isogeometric Analysis

abstract: The fast assembling of stiffness and mass matrices is a key issue in isogeometric analysis, particularly if the spline degree is increased. We present two algorithms based on the idea of sum factorization, one for matrix assembling and one for matrix-free methods, and study the behavior of their computational complexity in terms of the spline order $p$. Opposed to the standard approach, these algorithms do not apply the idea element-wise, but globally or on macro-elements. If this approach is applied to Gauss quadrature, the computational complexity grows as $p^{d+2}$ instead of $p^{2d+1}$ as previously achieved.


title: Spectroscopic diagnostics of low-ionized iron-peak elements. Electron-impact excitation of Ni$^{3+}$ and photoionisation of Ni$^{2+}$

abstract: The spectra from Fe-peak elements may be used to determine the temperature and density of various astrophysical objects. Determination of these quantities is underpinned by the accuracy and the comprehensiveness of the underlying atomic structure and collisional calculations. In the following paper, we shall focus specifically on Ni IV lines associated with transitions amongst several low-lying levels. We shall employ modified versions of the parallel Dirac R-matrix codes, considering both electron-impact excitation of Ni$^{3+}$ and the photoionisation of both the ground and excited states of Ni$^{2+}$. We produce high-quality data sets for both processes, and using these data, we calculate line ratios relevant for plasma diagnostics of temperature and density.


title: Nonrepresentable relation algebras from group systems

abstract: A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids.


title: Real Time System for Facial Analysis

abstract: In this paper we describe the anatomy of a real-time facial analysis system. The system recognizes the age, gender and facial expression from users in appearing in front of the camera. All components are based on convolutional neural networks, whose accuracy we study on commonly used training and evaluation sets. A key contribution of the work is the description of the interplay between processing threads for frame grabbing, face detection and the three types of recognition. The python code for executing the system uses common libraries--keras/tensorflow, opencv and dlib--and is available for download.


title: Superadditivity of convex roof coherence measures

abstract: In this paper, we examine the superadditivity of convex roof coherence measures. We put forward a theorem on the superadditivity of convex roof coherence measures, which provides a sufficient condition to identify the convex roof coherence measures fulfilling the superadditivity. By applying the theorem to each of the known convex roof coherence measures, we prove that the coherence of formation and the coherence concurrence are superadditive, while the geometric measure of coherence, the convex roof coherence measure based on linear entropy, the convex roof coherence measure based on fidelity, and convex roof coherence measure based on $\frac{1}{2}$-entropy are non-superadditive.


title: Hardware-Aware Machine Learning: Modeling and Optimization

abstract: Recent breakthroughs in Deep Learning (DL) applications have made DL models a key component in almost every modern computing system. The increased popularity of DL applications deployed on a wide-spectrum of platforms have resulted in a plethora of design challenges related to the constraints introduced by the hardware itself. What is the latency or energy cost for an inference made by a Deep Neural Network (DNN)? Is it possible to predict this latency or energy consumption before a model is trained? If yes, how can machine learners take advantage of these models to design the hardware-optimal DNN for deployment? From lengthening battery life of mobile devices to reducing the runtime requirements of DL models executing in the cloud, the answers to these questions have drawn significant attention. One cannot optimize what isn't properly modeled. Therefore, it is important to understand the hardware efficiency of DL models during serving for making an inference, before even training the model. This key observation has motivated the use of predictive models to capture the hardware performance or energy efficiency of DL applications. Furthermore, DL practitioners are challenged with the task of designing the DNN model, i.e., of tuning the hyper-parameters of the DNN architecture, while optimizing for both accuracy of the DL model and its hardware efficiency. Therefore, state-of-the-art methodologies have proposed hardware-aware hyper-parameter optimization techniques. In this paper, we provide a comprehensive assessment of state-of-the-art work and selected results on the hardware-aware modeling and optimization for DL applications. We also highlight several open questions that are poised to give rise to novel hardware-aware designs in the next few years, as DL applications continue to significantly impact associated hardware systems and platforms.


title: Project AutoVision: Localization and 3D Scene Perception for an Autonomous Vehicle with a Multi-Camera System

abstract: Project AutoVision aims to develop localization and 3D scene perception capabilities for a self-driving vehicle. Such capabilities will enable autonomous navigation in urban and rural environments, in day and night, and with cameras as the only exteroceptive sensors. The sensor suite employs many cameras for both 360-degree coverage and accurate multi-view stereo; the use of low-cost cameras keeps the cost of this sensor suite to a minimum. In addition, the project seeks to extend the operating envelope to include GNSS-less conditions which are typical for environments with tall buildings, foliage, and tunnels. Emphasis is placed on leveraging multi-view geometry and deep learning to enable the vehicle to localize and perceive in 3D space. This paper presents an overview of the project, and describes the sensor suite and current progress in the areas of calibration, localization, and perception.


title: Close Examination of the Ground-State Casimir-Polder Interaction: Time-Ordered Versus Covariant Formalism and Radiative Corrections

abstract: The purpose of this paper is twofold. First, we compare, in detail, the derivation of the Casimir-Polder interaction using time-ordered perturbation theory, to the matching of the scattering amplitude using quantum electrodynamics. In the first case, a total of twelve time-ordered diagrams need to be considered, while in the second case, one encounters only two Feynman diagrams, namely, the ladder and crossed-ladder contributions. For ground-state interactions, we match the contribution of six of the time-ordered diagrams against the corresponding Feynman diagrams, showing the consistency of the two approaches. Second, we also examine the leading radiative correction to the long-range interaction, which is of relative order O(alpha^3). In doing so, we uncover logarithmic terms, in both the interatomic distance as well as the fine-structure constant, in higher-order corrections to the Casimir-Polder interaction.


title: Leftover hashing from quantum error correction: Unifying the two approaches to the security proof of quantum key distribution

abstract: We show that the Mayers-Shor-Preskill approach and Renner's approach to proving the security of quantum key distribution (QKD) are essentially the same. We begin our analysis by considering a special case of QKD called privacy amplification (PA). PA itself is an important building block of cryptography, both classical and quantum. The standard theoretical tool used for its security proof is called the leftover hashing lemma (LHL). We present a direct connection between the LHL and the coding theorem of a certain quantum error correction code. Then we apply this result to proving the equivalence between the two approaches to proving the security of QKD.


title: Equivariant motives and geometric representation theory. (with an appendix by F. H\"ormann and M. Wendt)

abstract: We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic approximations of it. The definitions turn out to be equivalent and give rise to a full six-functor formalism. For rational \'etale motives over a finite field or the homotopical stable algebraic derivator arising from the semisimplified Hodge realization, the equivariant mixed Tate motives provide a graded version of the equivariant derived category. We show that, in sufficiently nice and clean cases, these categories admit weight structures; moreover, a tilting result holds which identifies the category of equivariant mixed Tate motives with the bounded homotopy category of the heart of its weight structure. This can be seen as a formality result for equivariant derived categories. We also discuss convolution functors on equivariant mixed Tate motives, and consequences for the categorification of the Hecke algebra and some of its modules.


title: Multi-Modal Route Planning in Road and Transit Networks

abstract: We present algorithms for multi-modal route planning in road and public transit networks, as well as in combined networks. Therefore, we explore the nearest neighbor and shortest path problem and propose solutions based on Cover-Trees, ALT and CSA. Further, we illustrate the theory behind the algorithms, give a short overview of other techniques, present experimental results and compare the techniques with each other.


title: Applications of Holography

abstract: This thesis consists of four parts. In the first part of the thesis, we investigate the phase structure of Einstein-Maxwell-Scalar system with a negative cosmological constant. We chart out the full phase diagram, and discuss it's dependence on the value of the scalar charge. In the second part, we do a systematic study of the phases of gravity coupled to an electromagnetic field and charged scalar in flat space, with box boundary conditions, and we show that the system admits both boson stars as well as hairy black holes as solutions, providing yet another way to evade flat space no-hair theorems. In part three, we explicitly diagonalize the simplest non-trivial Gurau-Witten tensor model and study its spectral and late-time properties. We find parallels to (a single sample of) SYK where some of these features were recently attributed to random matrix behavior and quantum chaos. In particular, after a running time average, the spectral form factor exhibits striking qualitative similarities to SYK. In part four, we construct general asymptotically Klebanov-Strassler solutions of a five dimensional $SU(2) \times SU(2) \times \mathbb{Z}_2\times \mathbb{Z}_{2R}$ truncation of IIB supergravity on $ T^{1,1} $, that break supersymmetry. We observe that there are only two SUSY-breaking modes even in this generalized set up, and by holographically computing Ward identities, we confirm that only one of them corresponds to spontaneous breaking: this is the mode triggered by smeared anti-D3 branes at the tip of the warped throat. Our results strengthen the evidence that {\it if} the KKLT construction is meta-stable, it is indeed a spontaneously SUSY-broken (and therefore bona fide) vacuum of string theory.


title: A Multi-Stage Algorithm for Acoustic Physical Model Parameters Estimation

abstract: One of the challenges in computational acoustics is the identification of models that can simulate and predict the physical behavior of a system generating an acoustic signal. Whenever such models are used for commercial applications an additional constraint is the time-to-market, making automation of the sound design process desirable. In previous works, a computational sound design approach has been proposed for the parameter estimation problem involving timbre matching by deep learning, which was applied to the synthesis of pipe organ tones. In this work we refine previous results by introducing the former approach in a multi-stage algorithm that also adds heuristics and a stochastic optimization method operating on objective cost functions based on psychoacoustics. The optimization method shows to be able to refine the first estimate given by the deep learning approach and substantially improve the objective metrics, with the additional benefit of reducing the sound design process time. Subjective listening tests are also conducted to gather additional insights on the results.


title: Conductance of inhomogeneous Luttinger liquids with a finite bandwidth

abstract: The finite-bandwidth conductance of a Luttinger liquid (LL) with a cluster of impurities is studied and its variation with respect to temperature is shown. The calculations are done using the correlation functions obtained using the powerful non-chiral bosonization technique (NCBT) . The results are compared with those obtained by Matveev, Yue and Glazman [K. Matveev et al., Phys. Rev. Lett. 71, 3351 (1993)] who deal with a weakly interacting LL. By contrast, NCBT correctly provides the conductance for all values of the interaction strength (as well as the sign). In addition to finding perfect agreement with the results of Matveev et al. for both weakly repulsive and weakly attractive mutual interactions, we are also able to probe novel physics seen when the repulsion is strong - in the form of a weakly temperature dependent conductance when there is a definite relationship between the transmission amplitude of the non-interacting system and the holon velocity. Secondly, an unusual high conductance for strongly repulsive mutual interactions is observed for a weak barrier at low temperatures. Lastly, inclusion of backward scattering leads to the non-monotonic temperature dependence of conductance when dealing with fermions with spin. This work is also important as a validation of the NCBT itself.


title: Blameworthiness in Strategic Games

abstract: There are multiple notions of coalitional responsibility. The focus of this paper is on the blameworthiness defined through the principle of alternative possibilities: a coalition is blamable for a statement if the statement is true, but the coalition had a strategy to prevent it. The main technical result is a sound and complete bimodal logical system that describes properties of blameworthiness in one-shot games.


title: Identifying the 3FHL catalog: I. Results of the KOSMOS optical spectroscopy campaign

abstract: We present the results of the optical spectroscopy follow-up of a sample of 28 unclassified blazars from the Third Fermi-LAT Catalog of High-Energy Sources (3FHL). All the spectra were taken with the 4m Mayall telescope at Kitt Peak. With this follow-up program we are able to classify 27 out of 28 objects as BL Lacs, while the remaining one is a flat spectrum radio quasar. We determine a redshift (z) for three of these objects and a lower limit on z for other four sources: the farthest object for which we obtain a redshift has z>0.836. These results are part of a more extended campaign of optical spectroscopy follow-up of 3FHL blazars, aimed to obtain a complete sample of blazars at >10 GeV which will then be used to extend our knowledge on blazar emission mechanisms and on the extragalactic background light.


title: A Second Order Fully-discrete Linear Energy Stable Scheme for a Binary Compressible Viscous Fluid Model

abstract: We present a linear, second order fully discrete numerical scheme on a staggered grid for a thermodynamically consistent hydrodynamic phase field model of binary compressible fluid flow mixtures derived from the generalized Onsager Principle. The hydrodynamic model not only possesses the variational structure, but also warrants the mass, linear momentum conservation as well as energy dissipation. We first reformulate the model in an equivalent form using the energy quadratization method and then discretize the reformulated model to obtain a semi-discrete partial differential equation system using the Crank-Nicolson method in time. The numerical scheme so derived preserves the mass conservation and energy dissipation law at the semi-discrete level. Then, we discretize the semi-discrete PDE system on a staggered grid in space to arrive at a fully discrete scheme using the 2nd order finite difference method, which respects a discrete energy dissipation law. We prove the unique solvability of the linear system resulting from the fully discrete scheme. Mesh refinements and two numerical examples on phase separation due to the spinodal decomposition in two polymeric fluids and interface evolution in the gas-liquid mixture are presented to show the convergence property and the usefulness of the new scheme in applications.


title: Partial equilibration of integer and fractional edge channels in the thermal quantum Hall effect

abstract: Since the charged mode is much faster than the neutral modes on quantum Hall edges at large filling factors, the edge may remain out of equilibrium in thermal conductance experiments. This sheds light on the observed imperfect quantization of the thermal Hall conductance at $\nu=8/3$ and can increase the observed thermal conductance by two quanta at $\nu=8/5$. Under certain unlikely but not impossible assumptions, this might also reconcile the observed thermal conductance at $\nu=5/2$ with not only the PH-Pfaffian order but also the anti-Pfaffian order.


title: On Lax-Phillips scattering matrix of the abstract wave equation

abstract: The dependence of singularities of scattering matrices of the abstract wave equation on the choice of asymptotically equivalent outgoing/incoming subspaces is studied. The obtained results are applied to the radial wave equation with nonlocal potential. In the latter case, the concept of associated inner function introduced in the Douglas-Shapiro-Shields work \cite{DSS} plays an essential role.


title: Improving Orbit Estimates for Incomplete Orbits with a New Approach to Priors -- with Applications from Black Holes to Planets

abstract: We propose a new approach to Bayesian prior probability distributions (priors) that can improve orbital solutions for low-phase-coverage orbits, where data cover less than approximately 40% of an orbit. In instances of low phase coverage such as with stellar orbits in the Galactic center or with directly-imaged exoplanets, data have low constraining power and thus priors can bias parameter estimates and produce under-estimated confidence intervals. Uniform priors, which are commonly assumed in orbit fitting, are notorious for this. We propose a new observable-based prior paradigm that is based on uniformity in observables. We compare performance of this observable-based prior and of commonly assumed uniform priors using Galactic center and directly-imaged exoplanet (HR 8799) data. The observable-based prior can reduce biases in model parameters by a factor of two and helps avoid under-estimation of confidence intervals for simulations with less than about 40% phase coverage. Above this threshold, orbital solutions for objects with sufficient phase coverage such as S0-2, a short-period star at the Galactic center with full phase coverage, are consistent with previously published results. Below this threshold, the observable-based prior limits prior influence in regions of prior dominance and increases data influence. Using the observable-based prior, HR 8799 orbital analyses favor lower eccentricity orbits and provide stronger evidence that the four planets have a consistent inclination around 30 degrees to within 1-sigma. This analysis also allows for the possibility of coplanarity. We present metrics to quantify improvements in orbital estimates with different priors so that observable-based prior frameworks can be tested and implemented for other low-phase-coverage orbits.


title: MoSculp: Interactive Visualization of Shape and Time

abstract: We present a system that allows users to visualize complex human motion via 3D motion sculptures---a representation that conveys the 3D structure swept by a human body as it moves through space. Given an input video, our system computes the motion sculptures and provides a user interface for rendering it in different styles, including the options to insert the sculpture back into the original video, render it in a synthetic scene or physically print it. To provide this end-to-end workflow, we introduce an algorithm that estimates that human's 3D geometry over time from a set of 2D images and develop a 3D-aware image-based rendering approach that embeds the sculpture back into the scene. By automating the process, our system takes motion sculpture creation out of the realm of professional artists, and makes it applicable to a wide range of existing video material. By providing viewers with 3D information, motion sculptures reveal space-time motion information that is difficult to perceive with the naked eye, and allow viewers to interpret how different parts of the object interact over time. We validate the effectiveness of this approach with user studies, finding that our motion sculpture visualizations are significantly more informative about motion than existing stroboscopic and space-time visualization methods.


title: Modeling near ground-state cooling of two-dimensional ion crystals in a Penning trap using electromagnetically induced transparency

abstract: Penning traps, with their ability to control planar crystals of tens to hundreds of ions, are versatile quantum simulators. Thermal occupations of the motional drumhead modes, transverse to the plane of the ion crystal, degrade the quality of quantum simulations. Laser cooling using electromagnetically induced transparency (EIT cooling) is attractive as an efficient way to quickly initialize the drumhead modes to near ground-state occupations. We numerically investigate the efficiency of EIT cooling of planar ion crystals in a Penning trap, accounting for complications arising from the nature of the trap and from the simultaneous cooling of multiple ions. We show that, in spite of challenges, the large bandwidth of drumhead modes (hundreds of kilohertz) can be rapidly cooled to near ground-state occupations within a few hundred microseconds. Our predictions for the center-of-mass mode include a cooling time constant of tens of microseconds and an enhancement of the cooling rate with increasing number of ions. Successful experimental demonstrations of EIT cooling in the NIST Penning trap [E. Jordan, K. A. Gilmore, A. Shankar, A. Safavi-Naini, M. J. Holland, and J. J. Bollinger, "Near ground-state cooling of two-dimensional trapped-ion crystals with more than 100 ions", (2018), submitted.] validate our predictions.

categories: quant-ph cond-mat.quant-gas physics.atm-clus physics.atom-ph


title: Sum rules for strong decays of 10 and 27 dibaryon multiplets in broken SU(3) symmetry

abstract: 10 and 27 SU(3) multiplets of hexaquarks states with baryon number B=2, known as dibaryons, are considered. Previous analyses are complemented and sum rules for strong decay amplitudes with SU(3) symmetry violation up to the first order are determined for the 10 and 27 dibaryon multiplets into a baryon octet plus a baryon decuplet and for the dibaryon 27 into two baryon octets.


title: Thermodynamically Consistent Hydrodynamic Models of Multi-Component Fluid Flows

abstract: We present a systematic derivation of thermodynamically consistent hydrodynamic phase field models for compressible viscous fluid mixtures using the generalized Onsager principle. By maintaining momentum conservation while enforcing mass conservation at different levels, we obtain two compressible models. When the fluid components in the mixture are incompressible, we show the compressible model reduces to the quasi-incompressible model via a Lagrange multiplier approach. Several equivalent approaches to arrive at the quasi-incompressible model are discussed. Finally, we conduct a linear stability analysis on all binary models and show the differences of the models in near equilibrium dynamics.


title: Auto-tuning Distributed Stream Processing Systems using Reinforcement Learning

abstract: Fine tuning distributed systems is considered to be a craftsmanship, relying on intuition and experience. This becomes even more challenging when the systems need to react in near real time, as streaming engines have to do to maintain pre-agreed service quality metrics. In this article, we present an automated approach that builds on a combination of supervised and reinforcement learning methods to recommend the most appropriate lever configurations based on previous load. With this, streaming engines can be automatically tuned without requiring a human to determine the right way and proper time to deploy them. This opens the door to new configurations that are not being applied today since the complexity of managing these systems has surpassed the abilities of human experts. We show how reinforcement learning systems can find substantially better configurations in less time than their human counterparts and adapt to changing workloads.


title: On the dynamics of Translated Cone Exchange Transformations

abstract: In this paper we investigate translated cone exchange transformations, a new family of piecewise isometries and renormalize its first return map to a subset of its partition. As a consequence we show that the existence of an embedding of an interval exchange transformation into a map of this family implies the existence of infinitely many bounded invariant sets. We also prove the existence of infinitely many periodic islands, accumulating on the real line, as well as non-ergodicity of our family of maps close to the origin.


title: Feature-specific inference for penalized regression using local false discovery rates

abstract: Penalized regression methods, most notably the lasso, are a popular approach to analyzing high-dimensional data. An attractive property of the lasso is that it naturally performs variable selection. An important area of concern, however, is the reliability of these variable selections. Motivated by local false discovery rate methodology from the large-scale hypothesis testing literature, we propose a method for calculating a local false discovery rate for each variable under consideration by the lasso model. These rates can be used to assess the reliability of an individual feature, or to estimate the model's overall false discovery rate. The method can be used for all values of $\lambda$. This is particularly useful for models with a few highly significant features but a high overall Fdr, which are a relatively common occurrence when using cross validation to select $\lambda$. It is also flexible enough to be applied to many varieties of penalized likelihoods including GLM and Cox models, and a variety of penalties, including MCP and SCAD. We demonstrate the validity of this approach and contrast it with other inferential methods for penalized regression as well as with local false discovery rates for univariate hypothesis tests. Finally, we show the practical utility of our method by applying it to two case studies involving high dimensional genetic data.


title: A Second-Order Symplectic Integrator for Guiding-Center Equations

abstract: This paper had no abstract originally. A second-order symplectic integration algorithm for guiding center motion is presented. The algorithm is based on the Poincar\'e (mid-point) generating function.


title: Elastic Registration of Geodesic Vascular Graphs

abstract: Vascular graphs can embed a number of high-level features, from morphological parameters, to functional biomarkers, and represent an invaluable tool for longitudinal and cross-sectional clinical inference. This, however, is only feasible when graphs are co-registered together, allowing coherent multiple comparisons. The robust registration of vascular topologies stands therefore as key enabling technology for group-wise analyses. In this work, we present an end-to-end vascular graph registration approach, that aligns networks with non-linear geometries and topological deformations, by introducing a novel overconnected geodesic vascular graph formulation, and without enforcing any anatomical prior constraint. The 3D elastic graph registration is then performed with state-of-the-art graph matching methods used in computer vision. Promising results of vascular matching are found using graphs from synthetic and real angiographies. Observations and future designs are discussed towards potential clinical applications.


title: CAVE-AR: A VR Authoring System to Interactively Design, Simulate, and Debug Multi-user AR Experiences

abstract: Despite advances in augmented reality (AR), the process of creating meaningful experiences with this technology is still extremely challenging. Due to different tracking implementations and hardware constraints, developing AR applications either requires low-level programming skills, or is done through specific authoring tools that largely sacrifice the possibility of customizing the AR experience. Existing development workflows also do not support previewing or simulating the AR experience, requiring a lengthy process of trial and error by which content creators deploy and physically test applications in each iteration. To mitigate these limitations, we propose CAVE-AR, a novel virtual reality system for authoring, simulating and debugging custom AR experiences. Available both as a standalone or a plug-in tool, CAVE-AR is based on the concept of representing in the same global reference system both in AR content and tracking information, mixing geographical information, architectural features, and sensor data to simulate the context of an AR experience. Thanks to its novel abstraction of existing tracking technologies, CAVE-AR operates independently of users' devices, and integrates with existing programming tools to provide maximum flexibility. Our VR application provides designers with ways to create and modify an AR application, even while others are in the midst of using it. CAVE-AR further allows the designer to track how users are behaving, preview what they are currently seeing, and interact with them through several different channels. To illustrate our proposed development workflow and demonstrate the advantages of our authoring system, we introduce two CAVEAR use cases in which an augmented reality application is created and tested. We compare the CAVE-AR workflow to traditional development methods and demonstrate the importance of simulation and live application debugging.


title: Ground Truth for training OCR engines on historical documents in German Fraktur and Early Modern Latin

abstract: In this paper we describe a dataset of German and Latin \textit{ground truth} (GT) for historical OCR in the form of printed text line images paired with their transcription. This dataset, called \textit{GT4HistOCR}, consists of 313,173 line pairs covering a wide period of printing dates from incunabula from the 15th century to 19th century books printed in Fraktur types and is openly available under a CC-BY 4.0 license. The special form of GT as line image/transcription pairs makes it directly usable to train state-of-the-art recognition models for OCR software employing recurring neural networks in LSTM architecture such as Tesseract 4 or OCRopus. We also provide some pretrained OCRopus models for subcorpora of our dataset yielding between 95\% (early printings) and 98\% (19th century Fraktur printings) character accuracy rates on unseen test cases, a Perl script to harmonize GT produced by different transcription rules, and give hints on how to construct GT for OCR purposes which has requirements that may differ from linguistically motivated transcriptions.


title: Mugeetion: Musical Interface Using Facial Gesture and Emotion

abstract: People feel emotions when listening to music. However, emotions are not tangible objects that can be exploited in the music composition process as they are difficult to capture and quantify in algorithms. We present a novel musical interface, Mugeetion, designed to capture occurring instances of emotional states from users' facial gestures and relay that data to associated musical features. Mugeetion can translate qualitative data of emotional states into quantitative data, which can be utilized in the sound generation process. We also presented and tested this work in the exhibition of sound installation, Hearing Seascape, using the audiences' facial expressions. Audiences heard changes in the background sound based on their emotional state. The process contributes multiple research areas, such as gesture tracking systems, emotion-sound modeling, and the connection between sound and facial gesture.