title: Time Entanglement between a Photon and a Spin Wave in a Multimode Solid-state Quantum Memory

abstract: The generation and distribution of entanglement are key resources in quantum repeater schemes. Temporally multiplexed systems offer time-bin encoding of quantum information which provides robustness against decoherence in fibers, crucial in long distance communication. Here we demonstrate the direct generation of entanglement in time between a photon and a collective spin excitation in a rare earth ion doped ensemble. We analyze the entanglement by mapping the atomic excitation onto a photonic qubit and by using time-bin qubits analyzers implemented with another doped crystal using the atomic frequency comb technique. Our results provide a solid-state source of entangled photons with embedded quantum memory. Moreover, the quality of the entanglement is high enough to enable a violation of a Bell inequality by more than two standard deviations.


title: Generalizations of Schoenberg's theorem on positive definite kernels

abstract: The seminal theorem of I.J. Schoenberg characterizes positive definite (p.d.) kernels on the unit sphere $S^{n-1}$ invariant under the automorphisms of the sphere. We obtain two generalizations of this theorem for p.d. kernels on fiber bundles. Our first theorem characterizes invariant p.d. kernels on bundles whose fiber is a product of a compact set and the unit sphere. This result implies, in particular, a characterization of invariant under the automorphisms of the sphere, p.d. kernels on a product of $S^{n-1}$ and a compact set. Our second result characterizes invariant p.d. kernels on the bundle whose fiber is $S^{n-1}$, base space is $(S^{n-1})^{r}$ and map is the projection on the base space. This set of kernels is isomorphic to the set of invariant under the automorphisms of the sphere continuous functions $F$ on $(S^{n-1})^{r+2}$ such that $F(\cdot,\cdot ,Z)$ is positive definite for every $Z \in (S^{n-1})^{r}$. When $Z$ is fixed, this class reduces to the class of p.d. kernels invariant under the stabilizer of $Z$ in the automorphism group of the sphere. For $r=1$ these kernels have been used to obtain upper bounds for the spherical codes problem. Our extension for $r>1$ can be used to construct new upper bounds on the size of spherical codes.


title: An introduction to functional analysis for science and engineering

abstract: This is a tutorial introduction to the functional analysis mathematics needed in many physical problems, such as in waves in continuous media. Functional analysis takes us beyond finite matrices, allowing us to work with infinite sets of continuous functions. It resolves important issues, such as whether, why and how we can practically reduce such problems to finite matrix approximations. It is, however, difficult to find a readable introduction that is efficient and comprehensible for scientists and engineers. Here, I have selected only the topics necessary for the most important results, but the argument is mathematically complete and self-contained. The article starts from sets and sequences of real numbers. It then develops spaces of vectors or functions, introducing the concepts of norms and metrics that allow us to consider how these can converge. Adding the inner product, it introduces Hilbert spaces, and the key forms of operators that map within or between such spaces. This leads to the concept of compact operators, which allows us to resolve many difficulties of working with infinite sets of vectors or functions. We then introduce Hilbert-Schmidt operators, which are compact operators encountered extensively in physical problems, such as those involving waves. Finally, it introduces the eigenfunctions for major classes of operators, and their powerful properties, and ends with singular-value decomposition of operators. This article is written in a style that is complementary to that of standard mathematical treatments; by relegating longer proofs to a separate section, I have attempted to retain a clear narrative flow and motivation in developing the mathematical structure. Hopefully, the result is useful to a broader readership who need to understand this mathematics, especially in physical science and engineering.


title: Orbital Stability of Standing Waves for a fourth-order nonlinear Schr\"odinger equation with the mixed dispersions

abstract: In this paper, we study the ground state standing wave solutions for the focusing bi-harmonic nonlinear Schr\"{o}dinger equation with a $\mu$-Laplacian term (BNLS). Such BNLS models the propagation of intense laser beams in a bulk medium with a second-order dispersion term. Denote by $Q_p$ the ground state for the BNLS with $\mu=0$. We prove that in the mass-subcritical regime $p\in (1,1+\frac{8}{d})$, there exist orbitally stable {ground state solutions} for the BNLS when $\mu\in ( -\lambda_0, \iy)$ for some $\lambda_0=\lambda_0(p, d,\|Q_p\|_{L^2})>0$. Moreover, in the mass-critical case $p=1+\frac{8}{d}$\,, we prove the orbital stability on certain mass level below $\|Q^*\|_{L^2}$, provided $\mu\in (-\lam_1,0)$, where $\lam_1=\dfrac{4\|\nabla Q^*\|^2_{L^2}}{\|Q^*\|^2_{L^2}}$ and $Q^*=Q_{1+8/d}$. The proofs are mainly based on the profile decomposition and a sharp Gagliardo-Nirenberg type inequality. Our treatment allows to fill the gap concerning existence of the ground states for the BNLS when $\mu$ is negative and $p\in (1,1+\frac8d]$.


title: An Integer Linear Programming Formulation for the Convex Dominating Set Problems

abstract: Due to their importance in practice, dominating set problems in graphs have been greatly studied in past and different formulations of these problems are presented in literature. This paper's focus is on two problems: weakly convex dominating set problem (WCVXDSP) and convex dominating set problem (CVXDSP). It introduces two integer linear programming (ILP) formulation for CVXDSP and one ILP mode for WCVXDSP, as well as proof for equivalency between ILP models for CVXDSP. The proof of correctness for all introduced ILP formulations is provided by showing that optimal solution to the each ILP formulation is equal to the optimal solution of the original problem.


title: Dynamical analysis of mass-spring models using Lie algebraic methods

abstract: The dynamical analysis of vibrational systems of masses interconnected by restitution elements each with a single degree of freedom, and different configurations between masses and spring constants, is presented. Finite circular and linear arrays are studied using classical arguments, and their proper solution is given using methods often found in quantum optical systems. We further study some more complicated arrays where the solutions are given by using Lie algebras.


title: Filament mechanics in a half-space via regularised Stokeslet segments

abstract: We present a generalisation of efficient numerical frameworks for modelling fluid-filament interactions via the discretisation of a recently-developed, non-local integral equation formulation to incorporate regularised Stokeslets with half-space boundary conditions, as motivated by the importance of confining geometries in many applications. We proceed to utilise this framework to examine the drag on slender inextensible filaments moving near a boundary, firstly with a relatively-simple example, evaluating the accuracy of resistive force theories near boundaries using regularised Stokeslet segments. This highlights that resistive force theories do not accurately quantify filament dynamics in a range of circumstances, even with analytical corrections for the boundary. However, there is the notable and important exception of movement in a plane parallel to the boundary, where accuracy is maintained. In particular, this justifies the judicious use of resistive force theories in examining the mechanics of filaments and monoflagellate microswimmers with planar flagellar patterns moving parallel to boundaries. We proceed to apply the numerical framework developed here to consider how filament elastohydrodynamics can impact drag near a boundary, analysing in detail the complex responses of a passive cantilevered filament to an oscillatory flow. In particular, we document the emergence of an asymmetric periodic beating in passive filaments in particular parameter regimes, which are remarkably similar to the power and reverse strokes exhibited by motile 9+2 cilia. Furthermore, these changes in the morphology of the filament beating, arising from the fluid-structure interactions, also induce a significant increase in the hydrodynamic drag of the filament.


title: Boolean analysis of lateral inhibition

abstract: We study Boolean networks which are simple spatial models of the highly conserved Delta-Notch system. The models assume the inhibition of Delta in each cell by Notch in the same cell, and the activation of Notch in presence of Delta in surrounding cells. We consider fully asynchronous dynamics over undirected graphs representing the neighbour relation between cells. In this framework, one can show that all attractors are fixed points for the system, independently of the neighbour relation, for instance by using known properties of simplified versions of the models, where only one species per cell is defined. The fixed points correspond to the so-called fine-grained "patterns" that emerge in discrete and continuous modelling of lateral inhibition. We study the reachability of fixed points, giving a characterisation of the trap spaces and the basins of attraction for both the full and the simplified models. In addition, we use a characterisation of the trap spaces to investigate the robustness of patterns to perturbations. The results of this qualitative analysis can complement and guide simulation-based approaches, and serve as a basis for the investigation of more complex mechanisms.


title: Fast-Rolling Relaxion

abstract: We discuss new mechanisms to stop the relaxion field during inflation. They can be realized in a generic model, including the original model but in a quite different parameter region. We consider a fast-rolling relaxion field, which can go over the bumps created by QCD-like dynamics. Then, in one of the mechanisms, we stop it with a parametric resonance of the Higgs field. The mechanisms are free from a super-Planckian field excursion or a gigantic number of e-folds of inflation. The relaxion has a mass around the weak scale and mixes with the Higgs boson, which enhances the testability of our mechanisms.


title: Automated Fortran--C++ Bindings for Large-Scale Scientific Applications

abstract: Although many active scientific codes use modern Fortran, most contemporary scientific software "libraries" are implemented in C and C++. Providing their numerical, algorithmic, or data management features to Fortran codes requires writing and maintaining substantial amounts of glue code. This article introduces a tool that automatically generates native Fortran 2003 interfaces to C and C++ libraries. The tool supports C++ features that have no direct Fortran analog, such as templated functions and exceptions. A set of simple examples demonstrate the utility and scope of the tool, and timing measurements with a mock numerical library illustrate the minimal performance impact of the generated wrapper code.


title: Robust Evaluation of Language-Brain Encoding Experiments

abstract: Language-brain encoding experiments evaluate the ability of language models to predict brain responses elicited by language stimuli. The evaluation scenarios for this task have not yet been standardized which makes it difficult to compare and interpret results. We perform a series of evaluation experiments with a consistent encoding setup and compute the results for multiple fMRI datasets. In addition, we test the sensitivity of the evaluation measures to randomized data and analyze the effect of voxel selection methods. Our experimental framework is publicly available to make modelling decisions more transparent and support reproducibility for future comparisons.


title: A path integral description of quantum nonlinear optics in arbitrary media

abstract: We present a method, based on Feynman path integrals, to describe the propagation and properties of the quantised electromagnetic field in an arbitrary, nonlinear medium. We provide a general theory, valid for any order of optical nonlinearity, and we then specialise the the case of second order nonlinear processes. In particular, we show, that second-order nonlinear processes in arbitrary media, under the undepleted pump approximation, can be described by an effective free electromagnetic field, propagating in a vacuum, dressed by the medium itself. Moreover, we show,that the probability of such processes to occur is related to the biphoton propagator, which contains informations about the structure of the medium, its nonlinear properties, and the structure of the pump beam.


title: DeCaFA: Deep Convolutional Cascade for Face Alignment In The Wild

abstract: Face Alignment is an active computer vision domain, that consists in localizing a number of facial landmarks that vary across datasets. State-of-the-art face alignment methods either consist in end-to-end regression, or in refining the shape in a cascaded manner, starting from an initial guess. In this paper, we introduce DeCaFA, an end-to-end deep convolutional cascade architecture for face alignment. DeCaFA uses fully-convolutional stages to keep full spatial resolution throughout the cascade. Between each cascade stage, DeCaFA uses multiple chained transfer layers with spatial softmax to produce landmark-wise attention maps for each of several landmark alignment tasks. Weighted intermediate supervision, as well as efficient feature fusion between the stages allow to learn to progressively refine the attention maps in an end-to-end manner. We show experimentally that DeCaFA significantly outperforms existing approaches on 300W, CelebA and WFLW databases. In addition, we show that DeCaFA can learn fine alignment with reasonable accuracy from very few images using coarsely annotated data.


title: On some conjectural congruences

abstract: In this paper, we confirm some congruences conjectured by V.J.W. Guo and M.J. Schlosser recently. For example, we show that for primes $p>3$, $$ \sum_{k=0}^{p-1}(2pk-2k-1)\frac{\left(\frac{-1}{p-1}\right)_k^{2p-2}}{(k!)^{2p-2}}\equiv0\pmod{p^5}. $$


title: Electron pairs' sliding states in superconductivity

abstract: A quantum-mechanical model of Cu-O-Cu-O four-center four-electron part of the copper-oxide plane embedded in a superconducting crystal La$_{2-x}$Sr$% _{x}$CuO$_{4}$ (LSCO) is considered. It is shown that displacing the nearest-neighbor La(Sr)O plane lattice atoms off by a distance as small as $\pm 0.1$ angstrem, i.e. of the order of ground state vibrations dictated by the Heisenberg uncertainty principle, may trigger a dramatic change of the ground state electronic charge distribution in the CuOCuO system. This results in the electron pairs' concerted sliding within the system over distances about 2 angstrem , i.e. close to the copper oxygen atomic distance. The effect depends crucially on the lattice crystal field and doping. The appearance of energy gaps associated with the electronic states' avoided crossings points to a universal nature of the phenomenon. The results suggest a generalization of the models used up to now in description of strongly correlated electrons.


title: A Lipschitz metric for the Camassa--Holm equation

abstract: We analyze stability of conservative solutions of the Cauchy problem on the line for the Camassa--Holm (CH) equation. Generically, the solutions of the CH equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the breakdown of the solution is associated with a complicated interplay where the measure becomes singular. The main result in this paper is the construction of a Lipschitz metric that compares two solutions of the CH equation with the respective initial data. The Lipschitz metric is based on the use of the Wasserstein metric.


title: Generic Multiview Visual Tracking

abstract: Recent progresses in visual tracking have greatly improved the tracking performance. However, challenges such as occlusion and view change remain obstacles in real world deployment. A natural solution to these challenges is to use multiple cameras with multiview inputs, though existing systems are mostly limited to specific targets (e.g. human), static cameras, and/or camera calibration. To break through these limitations, we propose a generic multiview tracking (GMT) framework that allows camera movement, while requiring neither specific object model nor camera calibration. A key innovation in our framework is a cross-camera trajectory prediction network (TPN), which implicitly and dynamically encodes camera geometric relations, and hence addresses missing target issues such as occlusion. Moreover, during tracking, we assemble information across different cameras to dynamically update a novel collaborative correlation filter (CCF), which is shared among cameras to achieve robustness against view change. The two components are integrated into a correlation filter tracking framework, where the features are trained offline using existing single view tracking datasets. For evaluation, we first contribute a new generic multiview tracking dataset (GMTD) with careful annotations, and then run experiments on GMTD and the PETS2009 datasets. On both datasets, the proposed GMT algorithm shows clear advantages over state-of-the-art ones.


title: Impact of single and double oxygen vacancies on electronic transport in Fe/MgO/Fe magnetic tunnel junctions

abstract: To study the impact of oxygen vacancies on spin-polarized transport, we have computed the electronic and transport properties of single (F centers) and paired (M centers) oxygen vacancies using density functional theory. These point defects can generate barrier heights as low as 0.4V for FeCo electrodes irrespective of the defect's spatial position within the barrier, and of the orientation of the M center. These defects promote a strong decrease in the conductance of the spin up channel in the magnetic tunnel junctions (MTJ)'s parallel (P) magnetic state that mainly accounts for an order-of-magnitude drop in TMR, from about 10000$\%$ in the ideal case toward values more in line with experiment. When placed in the middle layer of the MgO barrier, the F center introduces additional P $\uparrow$ transmission away from the $\Gamma$ point. This scattering lowers TMR to 145$\%$. In contrast, the M center merely broadens this transmission around $\Gamma$, thereby boosting TMR to 315$\%$. Rotating a M center so as to partly point along the transmission direction sharpens transmission around $\Gamma$, further increasing TMR to 1423$\%$. When these defects are placed at the MTJ interface, the transmission and ensuing TMR, which reaches $\approx$ 4000$\%$, suggest that such junctions behave as would an ideal MTJ, only with a much lower barrier height. Our results thus theoretically reconcile the concurrent observations of high TMR and low barrier heights, such as post-deposition oxidation of metallic Mg, which can generate oxygen vacancies at the lower MTJ interface, and annealing which can promote M centers over F centers.


title: A complete derived invariant for gentle algebras via winding numbers and Arf invariants

abstract: Gentle algebras are in bijection with admissible dissections of marked oriented surfaces. In this paper, we further study the properties of admissible dissections and we show that silting objects for gentle algebras are given by admissible dissections of the associated surface. We associate to each gentle algebra a line field on the corresponding surface and prove that the derived equivalence class of the algebra is completely determined by the homotopy class of the line field up to homeomorphism of the surface. Then, based on winding numbers and the Arf invariant of a certain quadratic form over $\mathbb Z_2$, we translate this to a numerical complete derived invariant for gentle algebras.


title: Limits of radial multiple SLE and a Burgers-Loewner differential equation

abstract: We consider multiple radial SLE as the number of curves tends to infinity. We give conditions that imply the tightness of the associated processes given by the Loewner equation. In the case of equal weights, the infinite-slit limit is described by a Loewner equation whose Herglotz vector field is given by a Burgers differential equation. Furthermore, we investigate a more general form of the Burgers equation. On the one hand, it appears in connection with semigroups of probability measures on the unit circle with respect to free convolution. On the other hand, the Burgers equation itself is also a Loewner differential equation for certain subordination chains.


title: Cosmological Backreaction in Spherical and Plane Symmetric Dust-Filled Space-Times

abstract: We examine the implementation of Buchert's and Green & Wald's averaging formalisms in exact spherically symmetric and plane symmetric dust-filled cosmological models. We find that, given a cosmological space-time, Buchert's averaging scheme gives a faithful way of interpreting the large-scale expansion of space, and explicit terms that precisely quantify deviations from the behaviour expected from the Friedmann equations of homogeneous and isotropic cosmological models. The Green & Wald formalism, on the other hand, does not appear to yield any information about the large-scale properties of a given inhomogeneous space-time. Instead, this formalism is designed to calculate the back-reaction effects of short-wavelength fluctuations around a given "background" geometry. We find that the inferred expansion of space in this approach is entirely dependent on the choice of this background, which is not uniquely specified for any given inhomogeneous space-time, and that the "back-reaction" from small-scale structures vanishes in every case we study. This would appear to limit the applicability of Green & Wald's formalism to the study of large-scale expansion in the real Universe, which also has no pre-defined background. Further study is required to enhance the evaluation and comparison of these averaging formalisms, and determine whether the same difficulties exist, in less idealized space-time geometries.


title: The embedding of the space of negatively curved surfaces in geodesic currents

abstract: We prove by an algebraic method that the embedding of the Teichmuller space in the space of geodesic currents is totally linearly independent. We prove a similar result for all negatively curved surfaces using an ergodic argument.


title: Finiteness of the image of the Reidemeister torsion of a splice

abstract: The set $\mathit{RT}(M)$ of values of the $\mathit{SL}(2,\mathbb{C})$-Reidemeister torsion of a 3-manifold $M$ can be both finite and infinite. We prove that $\mathit{RT}(M)$ is a finite set if $M$ is the splice of two certain knots in the 3-sphere. The proof is based on an observation on the character varieties and $A$-polynomials of knots.


title: The Minimal Simple Composite Higgs Model

abstract: Most of the analysis of composite Higgs have focussed on the Minimal Composite Higgs Model, based on the coset SO(5)$\times$U(1)$_X$/SO(4)$\times$U(1)$_X$. We consider a model based on the coset of simple groups SO(7)/SO(6), with SO(4)$\times$U(1)$_X$ embedded into SO(6). This extension of the minimal model leads to a new complex pNGB that has hypercharge and is a singlet of SU(2)$_L$, with properties mostly determined by the pattern of symmetry breaking and a mass of order TeV. Composite electroweak unification also leads to new bosonic and fermion resonances with exotic charges, not present in the minimal model. The lightest of these resonances is stable, and in some cases could provide candidates for dark matter. A new rich phenomenology is expected at LHC.


title: A Practical Guide to Surface Kinetic Monte Carlo Simulations

abstract: This review article is intended as a practical guide for newcomers to the field of kinetic Monte Carlo (KMC) simulations, and specifically to lattice KMC simulations as prevalently used for surface and interface applications. We will provide worked out examples using the kmos code, where we highlight the central approximations made in implementing a KMC model as well as possible pitfalls. This includes the mapping of the problem onto a lattice and the derivation of rate constant expressions for various elementary processes. Example KMC models will be presented within the application areas surface diffusion, crystal growth and heterogeneous catalysis, covering both transient and steady-state kinetics as well as the preparation of various initial states of the system. We highlight the sensitivity of KMC models to the elementary processes included, as well as to possible errors in the rate constants. For catalysis models in particular, a recurrent challenge is the occurrence of processes at very different timescales, e.g. fast diffusion processes and slow chemical reactions. We demonstrate how to overcome this timescale disparity problem using recently developed acceleration algorithms. Finally, we will discuss how to account for lateral interactions between the species adsorbed to the lattice, which can play an important role in all application areas covered here.


title: Rigid equivalences of $5$-dimensional $2$-nondegenerate rigid real hypersurfaces $M^5 \subset \mathbb{C}^ 3$ of constant Levi rank $1$

abstract: We study the local equivalence problem for real-analytic ($\mathcal{C}^\omega$) hypersurfaces $M^5 \subset \mathbb{C}^3$ which, in coordinates $(z_1, z_2, w) \in \mathbb{C}^3$ with $w = u+i\, v$, are rigid: \[ u \,=\, F\big(z_1,z_2,\overline{z}_1,\overline{z}_2\big), \] with $F$ independent of $v$. Specifically, we study the group ${\sf Hol}_{\sf rigid}(M)$ of rigid local biholomorphic transformations of the form: \[ \big(z_1,z_2,w\big) \longmapsto \Big( f_1(z_1,z_2), f_2(z_1,z_2), a\,w + g(z_1,z_2) \Big), \] where $a \in \mathbb{R} \backslash \{0\}$ and $\frac{D(f_1,f_2)}{D(z_1,z_2)} \neq 0$, which preserve rigidity of hypersurfaces. After performing a Cartan-type reduction to an appropriate $\{e\}$-structure, we find exactly two primary invariants $I_0$ and $V_0$, which we express explicitly in terms of the $5$-jet of the graphing function $F$ of $M$. The identical vanishing $0 \equiv I_0 \big( J^5F \big) \equiv V_0 \big( J^5F \big)$ then provides a necessary and sufficient condition for $M$ to be locally rigidly-biholomorphic to the known model hypersurface: \[ M_{\sf LC} \colon \ \ \ \ \ u \,=\, \frac{z_1\,\overline{z}_1 +\frac{1}{2}\,z_1^2\overline{z}_2 +\frac{1}{2}\,\overline{z}_1^2z_2}{ 1-z_2\overline{z}_2}. \] We establish that $\dim\, {\sf Hol}_{\sf rigid} (M) \leq 7 = \dim\, {\sf Hol}_{\sf rigid} \big( M_{\sf LC} \big)$ always. If one of these two primary invariants $I_0 \not\equiv 0$ or $V_0 \not\equiv 0$ does not vanish identically, we show that this rigid equivalence problem between rigid hypersurfaces reduces to an equivalence problem for a certain $5$-dimensional $\{e\}$-structure on $M$.


title: UV contributions to energy of a static quark-antiquark pair in large $\beta_0$ approximation

abstract: The total energy of a static quark-antiquark pair $E_{\rm tot}(r)=2m_{\rm pole}+V_{\rm QCD}(r)$ is known to be predictable up to ${\cal O}(\Lambda_{\rm QCD}^3 r^2)$ and ${\cal O}(\frac{\Lambda_{\rm QCD}^3}{\overline{m}^2})$ renormalon uncertainties in the large-$\beta_0$ approximation, after canceling ${\cal O}(\Lambda_{\rm QCD})$ renormalons. We compute the predictable part (genuine UV part) in terms of the $\overline{\rm MS}$ mass $\overline{m}$, extending a recently-proposed method which conforms with OPE. In particular the $r$-independent part is determined. The result would help understanding the nature of $E_{\rm tot}(r)$ in the context of OPE with renormalon subtraction.


title: Modal Logics for Nominal Transition Systems

abstract: We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these systems is introduced, and proved adequate and expressively complete for bisimulation equivalence. A main technical novelty is the use of finitely supported infinite conjunctions. We show how to treat different bisimulation variants such as early, late, open and weak in a systematic way, explore the folklore theorem that state predicates can be replaced by actions, and make substantial comparisons with related work. The main definitions and theorems have been formalised in Nominal Isabelle.


title: Bibliography of Literature on GW Ab Initio Calculations which use Imaginary Time

abstract: The GW Approximation is an ab initio approach to calculating electronic structure which avoids using the Local Density (LDA) Approximation, the Generalized Gradient (GGA) Approximation, or similar density functionals. It goes beyond the Hartree-Fock approximation by including screening and excited state effects, and shares conceptual similarities with MP2 and RPA calculations. Because GW includes dynamics and time/frequency dependence of the system's screening and excited state behavior, a pivotal issue in any GW calculation is the question of how to numerically represent and manipulate time/frequency dependence. While earlier GW calculations generally used a representation in real time/frequency, many recent calculations have used a representation on the imaginary time axis. Imaginary time is important not only for numerics but also because it can enable additional physics such as systems where self-consistent GW is needed or that are strongly interacting, integration with DMFT, and scaling of GW to very large systems. This current text reviews the research literature on imaginary time GW codes and briefly discusses the possibilities for memory and CPU optimizations.


title: Noise-Level Estimation from Single Color Image Using Correlations Between Textures in RGB Channels

abstract: We propose a simple method for estimating noise level from a single color image. In most image-denoising algorithms, an accurate noise-level estimate results in good denoising performance; however, it is difficult to estimate noise level from a single image because it is an ill-posed problem. We tackle this problem by using prior knowledge that textures are highly correlated between RGB channels and noise is uncorrelated to other signals. We also extended our method for RAW images because they are available in almost all digital cameras and often used in practical situations. Experiments show the high noise-estimation performance of our method in synthetic noisy images. We also applied our method to natural images including RAW images and achieved better noise-estimation performance than conventional methods.


title: Fat Tails in Financial Return Distributions Revisited: Evidence from the Korean Stock Market

abstract: This study empirically re-examines fat tails in stock return distributions by applying statistical methods to an extensive dataset taken from the Korean stock market. The tails of the return distributions are shown to be much fatter in recent periods than in past periods and much fatter for small-capitalization stocks than for large-capitalization stocks. After controlling for the 1997 Korean foreign currency crisis and using the GARCH filter models to control for volatility clustering in the returns, the fat tails in the distribution of residuals are found to persist. We show that market crashes and volatility clustering may not sufficiently account for the existence of fat tails in return distributions. These findings are robust regardless of period or type of stock group.


title: Rigidity results for the $p$-Laplace type equations on compact Riemannian manifolds

abstract: In this paper, we obtain two rigidity results for $p$-Laplace type equation and $n$-Laplace equation with exponential nonlinearity on $n$-dimensional compact Riemannian manifolds by using of nonlinear flow and the carr\'e du champ methods, respectively, where rigidity means that the PDE has only constant solution when a parameter is in a certain range. Moreover, an interpolation inequality is derived as an application.


title: Full-wave electromagnetic modes and hybridization in nanoparticle dimers

abstract: The plasmon hybridization theory is based on a quasi-electrostatic approximation of the Maxwell's equations. It does not take into account magnetic interactions, retardation effects, and radiation losses. Magnetic interactions play a dominant role in the scattering from dielectric nanoparticles. The retardation effects play a fundamental role in the coupling of the modes with the incident radiation and in determining their radiative strength; their exclusion may lead to erroneous predictions of the excited modes and of the scattered power spectra. Radiation losses may lead to a significant broadening of the scattering resonances. We propose a hybridization theory for non-hermitian composite systems based on the full-Maxwell equations that, overcoming all the limitations of the plasmon hybridization theory, unlocks the description of dielectric dimers. As an example, we decompose the scattered field from silicon and silver dimers, under different excitation conditions and gap-sizes, in terms of dimer modes, pinpointing the hybridizing isolated-sphere modes behind them.


title: Can multimodal sensing detect and localize transient events?

abstract: With the increased focus on making cities "smarter", we see an upsurge in investment in sensing technologies embedded in the urban infrastructure. The deployment of GPS sensors aboard taxis and buses, smartcards replacing paper tickets, and other similar initiatives have led to an abundance of data on human mobility, generated at scale and available real-time. Further still, users of social media platforms such as Twitter and LBSNs continue to voluntarily share multimedia content revealing in-situ information on their respective localities. The availability of such longitudinal multimodal data not only allows for both the characterization of the dynamics of the city, but also, in detecting anomalies, resulting from events (e.g., concerts) that disrupt such dynamics, transiently. In this work, we investigate the capabilities of such urban sensor modalities, both physical and social, in detecting a variety of local events of varying intensities (e.g., concerts) using statistical outlier detection techniques. We look at loading levels on arriving bus stops, telecommunication records, and taxi trips, accrued via the public APIs made available through the local transport authorities from Singapore and New York City, and Twitter/Foursquare check-ins collected during the same period, and evaluate against a set of events assimilated from multiple event websites. In particular, we report on our early findings on (1) the spatial impact evident via each modality (i.e., how far from the event venue is the anomaly still present), and (2) the utility in combining decisions from the collection of sensors using rudimentary fusion techniques.


title: Effect of Thomas Rotation on the Lorentz Transformation of Electromagnetic fields

abstract: A relativistic particle undergoing successive boosts which are non collinear will experience a rotation of its coordinate axes with respect to the boosted frame. This rotation of coordinate axes is caused by a relativistic phenomenon called Thomas Rotation. We assess the importance of Thomas rotation in the calculation of physical quantities like electromagnetic fields in the relativistic regime. We calculate the electromagnetic field tensor for general three dimensional successive boosts in the particle's rest frame as well as the laboratory frame. We then compare the electromagnetic field tensors obtained by a direct boost $\vec{\beta} + \delta \vec{\beta}$ and successive boosts $\vec{\beta}$ and $\Delta \vec{\beta}$ and check their consistency with Thomas rotation. This framework might be important to situations such as the calculation of frequency shifts for relativistic spin-1/2 particles undergoing Larmor precession in electromagnetic fields with small field non-uniformities.


title: 5G Handover using Reinforcement Learning

abstract: In typical wireless cellular systems, the handover mechanism involves reassigning an ongoing session handled by one cell into another. In order to support increased capacity requirement and to enable newer use cases, the next generation wireless systems will have a very dense deployment with advanced beam-forming capability. In such systems, providing a better mobility along with enhanced throughput performance requires an improved handover strategy. In this paper, we will detail a novel method for handover optimization in a 5G cellular network using reinforcement learning (RL). In contrast to the conventional method, we propose to control the handovers between base-stations (BSs) using a centralized RL agent. This agent handles the radio measurement reports from the UEs and choose appropriate handover actions in accordance with the RL framework to maximize a long-term utility. We show that the handover mechanism can be posed as a contextual multi-armed bandit problem and solve it using Q-learning method. We analyze the performance of the methods using different propagation and deployment environment and compare the results with the state-of-the-art algorithms. Results indicate a link-beam performance gain of about 0.3 to 0.7 dB for practical propagation environments.


title: The conductor density of local function fields with abelian Galois group

abstract: We give an exact formula for the number of $G$-extensions of local function fields $\mathbb{F}_q((t))$ for finite abelian groups $G$ up to a conductor bound. As an application we give a lower bound for the corresponding counting problem by discriminant.


title: On conformal Gauss maps

abstract: We characterise the maps into the space of $2$-spheres in $S^n$ that are the conformal Gauss maps of conformal immersions of a surface. In particular, we give an invariant formulation and efficient proof of a characterisation, due to Dorfmeister--Wang \cites{DorWan13,DorWan}, of the harmonic maps that are conformal Gauss maps of Willmore surfaces.


title: Segmentation of the Prostatic Gland and the Intraprostatic Lesions on Multiparametic MRI Using Mask-RCNN

abstract: Prostate cancer (PCa) is the most common cancer in men in the United States. Multiparametic magnetic resonance imaging (mp-MRI) has been explored by many researchers to targeted prostate biopsies and radiation therapy. However, assessment on mp-MRI can be subjective, development of computer-aided diagnosis systems to automatically delineate the prostate gland and the intraprostratic lesions (ILs) becomes important to facilitate with radiologists in clinical practice. In this paper, we first study the implementation of the Mask-RCNN model to segment the prostate and ILs. We trained and evaluated models on 120 patients from two different cohorts of patients. We also used 2D U-Net and 3D U-Net as benchmarks to segment the prostate and compared the model's performance. The contour variability of ILs using the algorithm was also benchmarked against the interobserver variability between two different radiation oncologists on 19 patients. Our results indicate that the Mask-RCNN model is able to reach state-of-art performance in the prostate segmentation and outperforms several competitive baselines in ILs segmentation.


title: The emergence of sequence-dependent structural motifs in stretched, torsionally constrained DNA

abstract: The double-helical structure of DNA results from canonical base pairing and stacking interactions. However, variations from steady-state conformations result from mechanical perturbations in cells. These different topologies have physiological relevance but their dependence on sequence remains unclear. Here, we use molecular dynamics simulations to show that sequence differences result in markedly different structural motifs upon physiological twisting and stretching. We simulated overextension on four different sequences of DNA ((AA)12, (AT)12, (GG)12 and (GC)12) with supercoiling densities within the physiological range. We found that DNA denatures in the majority of stretching simulations, surprisingly including those with overtwisted DNA. GC-rich sequences were observed to be more stable than AT-rich, with the specific response dependent on base pair ordering. Furthermore, we found that (AT)12 forms stable periodic structures with non-canonical hydrogen bonds in some regions and non-canonical stacking in others, whereas (GC)12 forms a stacking motif of four base pairs independent of supercoiling density. Our results demonstrate that 20-30% DNA extension is sufficient for breaking B-DNA around and significantly above cellular supercoiling, and that the DNA sequence is crucial for understanding structural changes under mechanical stress. Our findings have important implications for the activities of protein machinery interacting with DNA in all cells.


title: Analytical Development of Incomplete Riemann-Liouville Fractional Calculus

abstract: The theory of fractional calculus has developed in a number of directions over the years, including: the formulation of multiple different definitions of fractional differintegration; the extension of various properties of standard calculus into the fractional scenario; the application of fractional differintegrals to assorted special functions. Recently, a new variant of fractional calculus has arisen, namely incomplete fractional calculus. In two very recent papers, incomplete versions of the Riemann-Liouville and Caputo fractional differintegrals have been formulated and applied to several important special functions. In the current work, we develop the theory of incomplete fractional calculus in more depth, investigating further properties of the incomplete Riemann-Liouville fractional differintegrals and answering some fundamental questions about these operators. By considering appropriate function spaces, we formulate rigorously the definitions of incomplete Riemann-Liouville fractional integration, and justify how this model may be used to analyse a wider class of functions than classical fractional calculus. By using analytic continuation, we formulate definitions for incomplete Riemann-Liouville fractional differentiation, hence extending the incomplete integrals to a fully-fledged model of fractional calculus. We also investigate and analyse these operators further, in order to prove new properties. These include a Leibniz rule for incomplete differintegrals of products, and composition properties of incomplete differintegrals with classical calculus operations. These are natural and expected issues to investigate in any new model of fractional calculus, and in the incomplete Riemann-Liouville model the results emerge naturally from the definition previously proposed.


title: A weight-adjusted discontinuous Galerkin method for the poroelastic wave equation: penalty fluxes and micro-heterogeneities

abstract: We introduce a high-order weight-adjusted discontinuous Galerkin (WADG) scheme for the numerical solution of three-dimensional (3D) wave propagation problems in anisotropic porous media. We use a coupled first-order symmetric stress-velocity formulation. Careful attention is directed at (a) the derivation of an energy-stable penalty-based numerical flux, which offers high-order accuracy in presence of material discontinuities, and (b) proper treatment of micro-heterogeneities (sub-element variations) in the numerical scheme. The use of a penalty-based numerical flux avoids the diagonalization of Jacobian matrices into polarized wave constituents necessary when solving element-wise Riemann problems. Micro-heterogeneities are accurately and stably incorporated in the numerical scheme using easily-invertible weight-adjusted mass matrices. The convergence of the proposed numerical scheme is proven and verified by using convergence studies against analytical plane wave solutions. The proposed method is also compared against an existing implementation using the spectral element method to solve the poroelastic wave equation.


title: Can a Robot Become a Movie Director? Learning Artistic Principles for Aerial Cinematography

abstract: Aerial filming is constantly gaining importance due to the recent advances in drone technology. It invites many intriguing, unsolved problems at the intersection of aesthetical and scientific challenges. In this work, we propose a deep reinforcement learning agent which supervises motion planning of a filming drone by making desirable shot mode selections based on aesthetical values of video shots. Unlike most of the current state-of-the-art approaches that require explicit guidance by a human expert, our drone learns how to make favorable viewpoint selections by experience. We propose a learning scheme that exploits aesthetical features of retrospective shots in order to extract a desirable policy for better prospective shots. We train our agent in realistic AirSim simulations using both a hand-crafted reward function as well as reward from direct human input. We then deploy the same agent on a real DJI M210 drone in order to test the generalization capability of our approach to real world conditions. To evaluate the success of our approach in the end, we conduct a comprehensive user study in which participants rate the shot quality of our methods. Videos of the system in action can be seen at https://youtu.be/qmVw6mfyEmw.


title: Online Convex Matrix Factorization with Representative Regions

abstract: Matrix factorization (MF) is a versatile learning method that has found wide applications in various data-driven disciplines. Still, many MF algorithms do not adequately scale with the size of available datasets and/or lack interpretability. To improve the computational efficiency of the method, an online (streaming) MF algorithm was proposed in Mairal et al. [2010]. To enable data interpretability, a constrained version of MF, termed convex MF, was introduced in Ding et al. [2010]. In the latter work, the basis vectors are required to lie in the convex hull of the data samples, thereby ensuring that every basis can be interpreted as a weighted combination of data samples. No current algorithmic solutions for online convex MF are known as it is challenging to find adequate convex bases without having access to the complete dataset. We address both problems by proposing the first online convex MF algorithm that maintains a collection of constant-size sets of representative data samples needed for interpreting each of the basis (Ding et al. [2010]) and has the same almost sure convergence guarantees as the online learning algorithm of Mairal et al. [2010]. Our proof techniques combine random coordinate descent algorithms with specialized quasi-martingale convergence analysis. Experiments on synthetic and real world datasets show significant computational savings of the proposed online convex MF method compared to classical convex MF. Since the proposed method maintains small representative sets of data samples needed for convex interpretations, it is related to a body of work in theoretical computer science, pertaining to generating point sets (Blum et al. [2016]), and in computer vision, pertaining to archetypal analysis (Mei et al. [2018]). Nevertheless, it differs from these lines of work both in terms of the objective and algorithmic implementations.


title: The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs

abstract: Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a Hamiltonian cycle, and is said to be Hamiltonian connected if there exists a Hamiltonian path between any two distinct vertices in it. In this paper, we first prove that every L-shaped supergrid graph always contains a Hamiltonian cycle except one trivial condition. We then verify the Hamiltonian connectivity of L-shaped supergrid graphs except few conditions. The Hamiltonicity and Hamiltonian connectivity of L-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a L-like object is printed. Finally, we present a linear-time algorithm to compute the longest (s, t)-path of L-shaped supergrid graph given two distinct vertices s and t.


title: Band engineering of a magnetic thin film rare earth monopnictide

abstract: Realizing quantum materials in few atomic layer morphologies is a key to both observing and controlling a wide variety of exotic quantum phenomena. This includes topological electronic materials, where the tunability and dimensionality of few layer materials have enabled the detection of $Z_2$, Chern, and Majorana phases. Here, we report the development of a platform for thin film correlated, topological states in the magnetic rare-earth monopnictide ($RX$) system GdBi synthesized by molecular beam epitaxy. This material is known from bulk single crystal studies to be semimetallic antiferromagnets with Neel temperature $T_N =$ 28 K and is the magnetic analog of the non-$f$-electron containing system LaBi proposed to have topological surface states. Our transport and magnetization studies of thin films grown epitaxially on BaF$_2$ reveal that semimetallicity is lifted below approximately 8 crystallographic unit cells while magnetic order is maintained down to our minimum thickness of 5 crystallographic unit cells. First-principles calculations show that the non-trivial topology is preserved down to the monolayer limit, where quantum confinement and the lattice symmetry give rise to a $C=2$ Chern insulator phase. We further demonstrate the stabilization of these films against atmospheric degradation using a combination of air-free buffer and capping procedures. These results together identify thin film $RX$ materials as potential platforms for engineering topological electronic bands in correlated magnetic materials.


title: Bayesian 3D Reconstruction of Subsampled Multispectral Single-photon Lidar Signals

abstract: Light detection and ranging (Lidar) single-photon devices capture range and intensity information from a 3D scene. This modality enables long range 3D reconstruction with high range precision and low laser power. A multispectral single-photon Lidar system provides additional spectral diversity, allowing the discrimination of different materials. However, the main drawback of such systems can be the long acquisition time needed to collect enough photons in each spectral band. In this work, we tackle this problem in two ways: first, we propose a Bayesian 3D reconstruction algorithm that is able to find multiple surfaces per pixel, using few photons, i.e., shorter acquisitions. In contrast to previous algorithms, the novel method processes the jointly all the spectral bands, obtaining better reconstructions using less photon detections. The proposed model promotes spatial correlation between neighbouring points within a given surface using spatial point processes. Secondly, we account for different spatial and spectral subsampling schemes, which reduce the total number of measurements, without significant degradation of the reconstruction performance. In this way, the total acquisition time, memory requirements and computational time can be significantly reduced. The experiments performed using both synthetic and real single-photon Lidar data demonstrate the advantages of tailored sampling schemes over random alternatives. Furthermore, the proposed algorithm yields better estimates than other existing methods for multi-surface reconstruction using multispectral Lidar data.


title: On the growth of the Bergman metric near a point of infinite type

abstract: We derive optimal estimates for the Bergman kernel and the Bergman metric for certain model domains in $\mathbb{C}^2$ near boundary points that are of infinite type. Being unbounded models, these domains obey certain geometric constraints -- some of them necessary for a non-trivial Bergman space. However, these are mild constraints: unlike most earlier works on this subject, we are able to make estimates for non-convex pseudoconvex models as well. In fact, the domains we can analyse range from being mildly infinite-type to very flat at infinite-type boundary points.


title: Local weak convergence for sparse networks of interacting processes

abstract: We study the limiting behavior of interacting particle systems indexed by large sparse graphs, which evolve either according to a discrete time Markov chain or a diffusion, in which particles interact directly only with their nearest neighbors in the graph. To encode sparsity we work in the framework of local weak convergence of marked (random) graphs. We show that the joint law of the particle system varies continuously with respect to local weak convergence of the underlying graph marked with the initial conditions. In addition, we show that the global empirical measure converges to a non-random limit for a large class of graph sequences including sparse Erd\"{o}s-R\'{e}nyi graphs and configuration models, whereas the empirical measure of the connected component of a uniformly random vertex converges to a random limit. Along the way, we develop some related results on the time-propagation of ergodicity and empirical field convergence, as well as some general results on local weak convergence of Gibbs measures in the uniqueness regime which appear to be new. The results obtained here are also useful for obtaining autonomous descriptions of marginal dynamics of interacting diffusions and Markov chains on sparse graphs. While limits of interacting particle systems on dense graphs have been extensively studied, there are relatively few works that have studied the sparse regime in generality.


title: High-temperature ferroelectric order and magnetic field-cooled effect driven magnetoelectric coupling in R2BaCuO5 (R= Er, Dy, Sm)

abstract: The high-temperature ferroelectric order and a remarkable magnetoelectric effect driven by the magnetic field cooling are reported in R2BaCuO5 (R = Er, Dy, Sm) series. The ferroelectric (FE) orders are observed at much higher temperatures than their magnetic orders for all three members. The value of FE Curie temperature (TFE) is considerably high as ~ 235 K with the polarization value (P) of ~ 1410 {\mu}C/m2 for a 4 kV/cm poling field in case of Er2BaCuO5, whereas the values of TFE and P are also promising as ~ 232 K and ~ 992 {\mu}C/m2 for Dy2BaCuO5, and ~ 184 K and ~ 980 {\mu}C/m2 for Sm2BaCuO5. The synchrotron diffraction studies of Dy2BaCuO5 confirm a structural transition at TFE to a polar Pna21 structure, which correlates the FE order. An unusual magnetoelectric coupling is observed below the R order for Er and Dy compounds and below the Cu order for Sm compound, when the pyroelectric current is recorded only with the magnetic field both in heating and cooling cycles i.e. typical magnetic field cooled effect. The magnetic field cooled effect driven emergence of polarization is ferroelectric in nature, as it reverses due to the opposite poling field. The unexplored R2BaCuO5 series attracts the community for large TFE, high P value, and strange magnetoelectric consequences.


title: Geometry of the Hough transforms with applications to synthetic data

abstract: In the framework of the Hough transform technique to detect curves in images, we provide a bound for the number of Hough transforms to be considered for a successful optimization of the accumulator function in the recognition algorithm. Such a bound is consequence of geometrical arguments. We also show the robustness of the results when applied to synthetic datasets strongly perturbed by noise. An algebraic approach, discussed in the appendix, leads to a better bound of theoretical interest in the exact case.


title: Hamiltonian quantization of solitons in the $\phi^4_{1+1}$ quantum field theory. I. The semiclassical mass shift

abstract: We study of the interaction of a scalar quantum field $\phi $ with a fixed (external) electromagnetic field $A^{ext}_\mu dx^\mu$ in two dimensional space-time. The dynamics is determined by the action functional \[ S\,=\,\int\,\Bigl(\frac{1}{2}\partial_\mu\phi\partial^\mu\phi- \frac{1}{2}\,g^2\bigl(\phi^2-\frac{m^2}{g^2}\bigr)^2 +\lambda\epsilon_{\mu\nu}\partial_\mu A^{ext}_\nu \phi\,\Bigr)\,dxdt\,. \] The quartic interaction, a double well potential, supports the existence of solitons in the classical theory. The existence of the corresponding quantum theory can be proved by the methods of constructive quantum field theory. The aim is to analyze the dynamics of the soliton in this quantized theory as $g\to 0 $, which corresponds to a nonrelativistic limit for the soliton, which has mass which diverges as $g^{-2} $ in this limit. In this first paper attention is focused on the case $\lambda=0$. We develop the analytical framework for quantizing the theory, identify the appropriate degrees of freedom to describe the soliton and the $g\to 0 $ limiting dynamics and provide an interpretation and proof of the Dashen-Hasslacher-Neveu semiclassical mass correction formula.


title: High-temperature deep-level transient spectroscopy system for defect studies in wide-bandgap semiconductors

abstract: Full investigation of deep defect states and impurities in wide-bandgap materials by employing commercial transient capacitance spectroscopy is a challenge, demanding very high temperatures. Therefore, a high-temperature deep-level transient spectroscopy (HT-DLTS) system was developed for measurements up to 1100 K. The upper limit of the temperature range allows for the study of deep defects and trap centers in the bandgap, deeper than previously reported by DLTS characterization in any material. Performance of the system was tested by conducting measurements on the well-known intrinsic defects in n-type 4H-SiC in the temperature range 300-950 K. Experimental observations performed on 4H-SiC Schottky diodes were in good agreement with the literatures. However, the DLTS measurements were restricted by the operation and quality of the electrodes.


title: A Gromov-Hausdorff convergence theorem of surfaces in $\mathbb{R}^n$ with small total curvature

abstract: In this paper, we mainly study the compactness and local structure of immersing surfaces in $\mathbb{R}^n$ with local uniform bounded area and small total curvature $\int_{\Sigma\cap B_1(0)} |A|^2$. A key ingredient is a new quantity which we call isothermal radius. Using the estimate of the isothermal radius we establish a compactness theorem of such surfaces in intrinsic $L^p$-topology and extrinsic $W^{2,2}$-weak topology. As applications, we can explain Leon Simon's decomposition theorem\cite{LS} in the viewpoint of convergence and prove a non-collapsing version of H\'{e}lein's convergence theorem\cite{H}\cite{KL12}.


title: Black Hole Time Scales: Thermalization, Infall and Complexity

abstract: We argue that the infall time to the singularity in the interior of a black hole, is always related to a classical thermalization time. This indicates that singularities are related to the equilibration of infalling objects with the microstates of the black hole, but only in the sense of classical equilibration. When the singularity is reached, the quantum state of the black hole, initially a tensor product of the state of the infalling object and that of the black hole, is not yet a "generic" state in the enlarged Hilbert space, so its complexity is not maximal. We relate these observations to the phenomenon of mirages in the membrane paradigm description of the black hole horizon and to the shrinking of the area of causal diamonds inside the black hole. The observations are universal and we argue that they give a clue to the nature of the underlying quantum theory of black holes in all types of asymptotic space-times.


title: Energy Efficient Software Matching in Vehicular Fog

abstract: Along with the development of Internet of Things (IoT) and the rise of fog computing, more new joint technologies have been proposed. Vehicular Ad-hoc Networks (VANET) are one of the emergent technologies that come with a very promising role, where the spare processing capabilities of vehicles can be exploited. In this paper, we propose a fog architecture to provide services for end users based on a cluster of static vehicles in a parking lot referred to as a vehicular fog. The proposed vehicular fog architecture is connected to the central data center through an optical infrastructure. As the processing requests from users require specific software packages that may not be available in all vehicles, we study the software matching problem of task assignments in vehicular fog. The goal of this paper is to examine the effect of software packages variety in vehicles on the assignment decision and the overall power consumption. A mixed integer linear programming (MILP) model was utilized to optimize the power consumption of the overall architecture, considering different numbers of software packages in the vehicular fog. The results reveal a power saving of up to 27% when vehicles are uploaded with four or more different software packages out of a library of ten software packages in this example.


title: Evidence, Proofs, and Derivations

abstract: The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning.


title: Dialogue Act Classification with Context-Aware Self-Attention

abstract: Recent work in Dialogue Act classification has treated the task as a sequence labeling problem using hierarchical deep neural networks. We build on this prior work by leveraging the effectiveness of a context-aware self-attention mechanism coupled with a hierarchical recurrent neural network. We conduct extensive evaluations on standard Dialogue Act classification datasets and show significant improvement over state-of-the-art results on the Switchboard Dialogue Act (SwDA) Corpus. We also investigate the impact of different utterance-level representation learning methods and show that our method is effective at capturing utterance-level semantic text representations while maintaining high accuracy.


title: Isoperimetry, Stability, and Irredundance in Direct Products

abstract: The direct product of graphs $G_1,\ldots,G_n$ is the graph with vertex set $V(G_1)\times\cdots\times V(G_n)$ in which two vertices $(g_1,\ldots,g_n)$ and $(g_1',\ldots,g_n')$ are adjacent if and only if $g_i$ is adjacent to $g_i'$ in $G_i$ for all $i$. Building off of the recent work of Brakensiek, we prove an optimal vertex isoperimetric inequality for direct products of complete multipartite graphs. Applying this inequality, we derive a stability result for independent sets in direct products of balanced complete multipartite graphs, showing that every large independent set must be close to the maximal independent set determined by setting one of the coordinates to be constant. Armed with these isoperimetry and stability results, we prove that the upper irredundance number of a direct product of balanced complete multipartite graphs is equal to its independence number in all but at most $37$ cases. This proves most of a conjecture of Burcroff that arose as a strengthening of a conjecture of the second author and Iyer. We also propose a further strengthening of Burcroff's conjecture.


title: Multivariate outlier detection based on a robust Mahalanobis distance with shrinkage estimators

abstract: A collection of robust Mahalanobis distances for multivariate outlier detection is proposed, based on the notion of shrinkage. Robust intensity and scaling factors are optimally estimated to define the shrinkage. Some properties are investigated, such as affine equivariance and breakdown value. The performance of the proposal is illustrated through the comparison to other techniques from the literature, in a simulation study and with a real dataset. The behavior when the underlying distribution is heavy-tailed or skewed, shows the appropriateness of the method when we deviate from the common assumption of normality. The resulting high correct detection rates and low false detection rates in the vast majority of cases, as well as the significantly smaller computation time shows the advantages of our proposal.


title: A-ComVar: A Flexible Extension of Common Variance Design

abstract: We consider nonregular fractions of factorial experiments for a class of linear models. These models have a common general mean and main effects, however they may have different 2-factor interactions. Here we assume for simplicity that 3-factor and higher order interactions are negligible. In the absence of a priori knowledge about which interactions are important, it is reasonable to prefer a design that results in equal variance for the estimates of all interaction effects to aid in model discrimination. Such designs are called common variance designs and can be quite challenging to identify without performing an exhaustive search of possible designs. In this work, we introduce an extension of common variance designs called approximate common variance, or A-ComVar designs. We develop a numerical approach to finding A-ComVar designs that is much more efficient than an exhaustive search. We present the types of A-ComVar designs that can be found for different number of factors, runs, and interactions. We further demonstrate the competitive performance of both common variance and A-ComVar designs using several comparisons to other popular designs in the literature.


title: DDM: Fast Near-Optimal Multi-Robot Path Planning using Diversified-Path and Optimal Sub-Problem Solution Database Heuristics

abstract: We propose a novel centralized and decoupled algorithm, DDM, for solving multi-robot path planning problems in grid graphs, targeting on-demand and automated warehouse-like settings. Two settings are studied: a traditional one whose objective is to move a set of robots from their respective initial vertices to the goal vertices as quickly as possible, and a dynamic one which requires frequent re-planning to accommodate for goal configuration adjustments. Among other techniques, DDM is mainly enabled through exploiting two innovative heuristics: path diversification and optimal sub-problem solution databases. The two heuristics attack two distinct phases of a decoupling-based planner: while path diversification allows the more effective use of the entire workspace for robot travel, optimal sub-problem solution databases facilitate the fast resolution of local path conflicts. Extensive evaluation demonstrates that DDM achieves high levels of scalability and high levels of solution optimality.


title: General modal estimation for cross-bispectra

abstract: We describe a fast, optimal estimator for measuring angular bispectra between two correlated weakly non-Gaussian fields ($Y$ and $Z$) from observational datasets, based on a separable modal bispectrum expansion. Our methodology is applicable to (1) any shape of the input theoretical bispectrum templates (factorizable or not), (2) both even and odd $\ell_1 + \ell_2 + \ell_3$ multipole domains and (3) both amplitude ($f_{\rm NL})$ bispectrum estimation and full bispectrum reconstruction, considering either joint estimation of ($YYY$, $ZZZ$, $YYZ$ and $ZZY$) shapes, or independent estimation of auto-bispectra ($YYY$ or $ZZZ$) and cross-bispectra ($YYZ$ or $ZZY$); hence, it has quite high versatility. The methodology described here was implemented and used for the official analysis of temperature and polarization cosmic microwave background maps from the $Planck$ satellite.


title: Large-scale Species Tree Estimation

abstract: Species tree estimation is a complex problem, due to the fact that different parts of the genome can have different evolutionary histories than the genome itself. One of the causes for this discord is incomplete lineage sorting (also called deep coalescence), which is a population-level process that produces gene trees that differ from the species tree. The last decade has seen a large number of new methods developed to estimate species trees from multi-locus datasets, specifically addressing this cause of gene tree heterogeneity. In this paper, we review these methods, focusing mainly on issues that relate to analyses of datasets containing large numbers of species or loci (or both). We also discuss divide-and-conquer strategies for enabling species tree estimation methods to run on large datasets, including new approaches that are based on algorithms (such as TreeMerge) for the Disjoint Tree Merger problem.


title: TightCap: 3D Human Shape Capture with Clothing Tightness Field

abstract: In this paper, we present TightCap, a data-driven scheme to capture both the human shape and dressed garments accurately with only a single 3D human scan, which enables numerous applications such as virtual try-on, biometrics and body evaluation. To break the severe variations of the human poses and garments, we propose to model the clothing tightness - the displacements from the garments to the human shape implicitly in the global UV texturing domain. To this end, we utilize an enhanced statistical human template and an effective multi-stage alignment scheme to map the 3D scan into a hybrid 2D geometry image. Based on this 2D representation, we propose a novel framework to predicted clothing tightness via a novel tightness formulation, as well as an effective optimization scheme to further reconstruct multi-layer human shape and garments under various clothing categories and human postures. We further propose a new clothing tightness dataset (CTD) of human scans with a large variety of clothing styles, poses and corresponding ground-truth human shapes to stimulate further research. Extensive experiments demonstrate the effectiveness of our TightCap to achieve high-quality human shape and dressed garments reconstruction, as well as the further applications for clothing segmentation, retargeting and animation.


title: Maritime Coverage Enhancement Using UAVs Coordinated with Hybrid Satellite-Terrestrial Networks

abstract: Due to its agile maneuverability, unmanned aerial vehicles (UAVs) have shown great promise for ondemand communications. In practice, UAV-aided aerial base stations are not separate. Instead, they rely on existing satellites/terrestrial systems for spectrum sharing and efficient backhaul. In this case, how to coordinate satellites, UAVs and terrestrial systems is still an open issue. In this paper, we deploy UAVs for coverage enhancement of a hybrid satellite-terrestrial maritime communication network. Under the typical composite channel model including both large-scale and small-scale fading, the UAV trajectory and in-flight transmit power are jointly optimized, subject to constraints on UAV kinematics, tolerable interference, backhaul, and the total energy of UAV for communications. Different from existing studies, only the location-dependent large-scale channel state information (CSI) is assumed available, because it is difficult to obtain the small-scale CSI before takeoff in practice, and the ship positions can be obtained via the dedicated maritime Automatic Identification System. The optimization problem is non-convex. We solve it by problem decomposition, successive convex optimization and bisection searching tools. Simulation results demonstrate that the UAV fits well with existing satellite and terrestrial systems, using the proposed optimization framework.


title: VeST: Very Sparse Tucker Factorization of Large-Scale Tensors

abstract: Given a large tensor, how can we decompose it to sparse core tensor and factor matrices such that it is easier to interpret the results? How can we do this without reducing the accuracy? Existing approaches either output dense results or give low accuracy. In this paper, we propose VeST, a tensor factorization method for partially observable data to output a very sparse core tensor and factor matrices. VeST performs initial decomposition, determines unimportant entries in the decomposition results, removes the unimportant entries, and carefully updates the remaining entries. To determine unimportant entries, we define and use entry-wise 'responsibility' for the decomposed results. The entries are updated iteratively in a coordinate descent manner in parallel for scalable computation. Extensive experiments show that our method VeST is at least 2.2 times more sparse and at least 2.8 times more accurate compared to competitors. Moreover, VeST is scalable in terms of input order, dimension, and the number of observable entries. Thanks to VeST, we successfully interpret the result of real-world tensor data based on the sparsity pattern of the resulting factor matrices.


title: Uniform Kazhdan Constants and Paradoxes of the Affine Plane

abstract: Let $G=\mathrm{SL}(2,\mathbb{Z})\ltimes\mathbb{Z}^2$ and $H=\mathrm{SL}(2,\mathbb{Z})$. We prove that the action $G\curvearrowright\mathbb{R}^2$ is uniformly non-amenable and that the quasi-regular representation of $G$ on $\ell^2(G/H)$ has a uniform spectral gap. Both results are a consequence of a uniform quantitative form of ping-pong for affine transformations, which we establish here.


title: 3D Face Reconstruction Using Color Photometric Stereo with Uncalibrated Near Point Lights

abstract: We present a new color photometric stereo (CPS) method that recovers high quality, detailed 3D face geometry in a single shot. Our system uses three uncalibrated near point lights of different colors and a single camera. For robust self-calibration of the light sources, we use 3D morphable model (3DMM) and semantic segmentation of facial parts. We address the spectral ambiguity problem by incorporating albedo consensus, albedo similarity, and proxy prior into a unified framework. We avoid the need for spatial constancy of albedo; instead, we use a new measure for albedo similarity that is based on the albedo norm profile. Experiments show that our new approach produces state-of-the-art results from single image with high-fidelity geometry that includes details such as wrinkles.


title: Hierarchical Trajectory Planning for Autonomous Driving in Low-speed Driving Scenarios Based on RRT and Optimization

abstract: Though great effort has been put into the study of path planning on urban roads and highways, few works have studied the driving strategy and trajectory planning in low-speed driving scenarios, e.g., driving on a university campus or driving through a housing or industrial estate. The study of planning in these scenarios is crucial as these environments often cover the first or the last one kilometer of a daily travel or logistic system. Additionally, it is essential to treat these scenarios differently as, in most cases, the driving environment is narrow, dynamic, and rich with obstacles, which also causes the planning in such environments to continue to be a challenging task. This paper proposes a hierarchical planning approach that separates the path planning and the temporal planning. A path that satisfies the kinematic constraints is generated through a modified bidirectional rapidly exploring random tree (bi-RRT) approach. Following that, the timestamp of each node of the path is optimized through sequential quadratic programming (SQP) with the feasible searching bounds defined by safe intervals (SIs). Simulations and real tests in different driving scenarios prove the effectiveness of this method.


title: The energy point of view in plasmonics

abstract: The group velocity of a plasmonic guided mode can be written as the ratio of the flux of the Poynting to the integral of the energy density along the profile of the mode. This theorem, linking the way energy propagates in metals to the properties of guided modes and Bloch modes in a multilayer, provides a unique physical insight in plasmonics. It allows to better understand the link between the negative permittivity of metals and the wide diversity of exotic phenomenon that occur in plasmonics -- like the slowing down of guided modes, the high wavevector and the negative refraction.


title: LED illumination faceted Fresnel DOEs generating perceived virtual 3D vision

abstract: An approach for the optimization and synthesis of a phase-only faceted Fresnel type diffractive optical element (FDOE) generating 3D virtual images is proposed. The FDOE is a transmissive Fresnel type DOE array, which produces the perception of a customized floating 3D virtual image behind the FDOE when illuminated with a divergent monochromatic Light Emitter Diode (LED) source. Each DOE unit of the FDOE is optimized with a modified iterative Fourier transform algorithm (M-IFTA). Each unit of the FDOE locally deflects the incident light to the same position to form a designated view of the target plane. The FDOE is fabricated using our home-built parallel write photo-lithography machine. Numerical simulations and optical experiments are performed to verify the proposed design method. Photos of the generated image are also presented. This work can find applications in optical security, anti-counterfeiting, and holographic display.


title: Meromorphic connections in filtered $A_{\infty}$ categories

abstract: In this note, introducing notions of CH module, CH morphism and CH connection, we define a meromorphic connection in the "$z$-direction" on periodic cyclic homology of an $A_\infty$ category as a connection on cohomology of a CH module. Moreover, we study and clarify compatibility of our meromorphic connections under a CH module morphism preserving CH connections at chain level. Our motivation comes from symplectic geometry. The formulation given in this note designs to fit algebraic properties of open-closed maps in symplectic geometry.


title: Diverse communities behave like typical random ecosystems

abstract: In 1972, Robert May triggered a worldwide research program studying ecological communities using random matrix theory. Yet, it remains unclear if and when we can treat real communities as random ecosystems. Here, we draw on recent progress in random matrix theory and statistical physics to extend May's approach to generalized consumer-resource models. We show that in diverse ecosystems adding even modest amounts of noise to consumer preferences results in a transition to "typicality" where macroscopic ecological properties of communities are indistinguishable from those of random ecosystems, even when resource preferences have prominent designed structures. We test these ideas using numerical simulations on a wide variety of ecological models. Our work offers an explanation for the success of random consumer-resource models in reproducing experimentally observed ecological patterns in microbial communities and highlights the difficulty of scaling up bottom-up approaches in synthetic ecology to diverse communities.


title: Intensity Noise Optimization of a Mid-Infrared Frequency Comb Difference Frequency Generation Source

abstract: We experimentally demonstrate in a difference-frequency generation mid-infrared frequency comb source the effect of temporal overlap between pump- and signal- pulse to the relative intensity noise (RIN) of the idler pulse. When scanning the temporal delay between our 130 fs long signal- and pump pulses, we observe a RIN minimum with a 3 dB width of 20 fs delay and an RIN increase of 20 dB in 40 fs delay at the edges of this minimum. We also demonstrate active long-term stabilization of the mid-infrared frequency comb source to the temporal overlap setting corresponding to the lowest RIN operation point by an on-line RIN-detector and active feedback control of the pump-signal- pulse delay. This active stabilization set-up allowed us to dramatically increase the signal-to-noise ratio of mid-infrared absorption spectra.


title: MoA Interpretation of the Iterative Conjugate Gradient Method with Psi Reduction - A Tutorial to teach the Mathematically literate in Linear and Tensor Algebra: Part I

abstract: It is often difficult to learn new mathematics semantically and syntactically, even when there are similarities in the words and meaning when discussed aloud. The goal of this document is to facilitate learning through explanations and definitions relating our common mathematical knowledge and highlighting what is new. It is meant to be a working document that will evolve based on feedback from target audiences, those mathematically literate in linear and tensor algebra, those that want to learn MoA, Psi Calculus, and its uses, those that want and need the ability to prove a design, either in hardware or software through the ONF, Operational Normal Form, and those wanting to exploit all resources optimally, especially when Tensor Algebra, i.e. algorithms foundational to their application,are needed: Knowledge Representation, Machine Learning, Signal Processing, AI, HPC, etc.


title: Descents in $t$-Sorted Permutations

abstract: Let $s$ denote West's stack-sorting map. A permutation is called $t-\textit{sorted}$ if it is of the form $s^t(\mu)$ for some permutation $\mu$. We prove that the maximum number of descents that a $t$-sorted permutation of length $n$ can have is $\left\lfloor\frac{n-t}{2}\right\rfloor$. When $n$ and $t$ have the same parity and $t\geq 2$, we give a simple characterization of those $t$-sorted permutations in $S_n$ that attain this maximum. In particular, the number of such permutations is $(n-t-1)!!$.


title: Sampling Limits for Electron Tomography with Sparsity-exploiting Reconstructions

abstract: Electron tomography (ET) has become a standard technique for 3D characterization of materials at the nano-scale. Traditional reconstruction algorithms such as weighted back projection suffer from disruptive artifacts with insufficient projections. Popularized by compressed sensing, sparsity-exploiting algorithms have been applied to experimental ET data and show promise for improving reconstruction quality or reducing the total beam dose applied to a specimen. Nevertheless, theoretical bounds for these methods have been less explored in the context of ET applications. Here, we perform numerical simulations to investigate performance of l_1-norm and total-variation (TV) minimization under various imaging conditions. From 36,100 different simulated structures, our results show specimens with more complex structures generally require more projections for exact reconstruction. However, once sufficient data is acquired, dividing the beam dose over more projections provides no improvements - analogous to the traditional dose-fraction theorem. Moreover, a limited tilt range of +-75 or less can result in distorting artifacts in sparsity-exploiting reconstructions. The influence of optimization parameters on reconstructions is also discussed.


title: Entanglement Content of Quantum Particle Excitations III. Graph Partition Functions

abstract: We consider two measures of entanglement, the logarithmic negativity and the entanglement entropy, between regions of space in excited states of many-body systems formed by a finite number of particle excitations. In parts I and II of the current series of papers, it has been shown in one-dimensional free-particle models that, in the limit of large system's and regions' sizes, the contribution from the particles is given by the entanglement of natural qubit states, representing the uniform distribution of particles in space. We show that the replica logarithmic negativity and R\'enyi entanglement entropy of such qubit states are equal to the partition functions of certain graphs, that encode the connectivity of the manifold induced by permutation twist fields. Using this new connection to graph theory, we provide a general proof, in the massive free boson model, that the qubit result holds in any dimensionality, and for any regions' shapes and connectivity. The proof is based on clustering and the permutation-twist exchange relations, and is potentially generalisable to other situations, such as lattice models, particle and hole excitations above generalised Gibbs ensembles, and interacting integrable models.

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


title: Signal-to-Noise Ratio: A Robust Distance Metric for Deep Metric Learning

abstract: Deep metric learning, which learns discriminative features to process image clustering and retrieval tasks, has attracted extensive attention in recent years. A number of deep metric learning methods, which ensure that similar examples are mapped close to each other and dissimilar examples are mapped farther apart, have been proposed to construct effective structures for loss functions and have shown promising results. In this paper, different from the approaches on learning the loss structures, we propose a robust SNR distance metric based on Signal-to-Noise Ratio (SNR) for measuring the similarity of image pairs for deep metric learning. By exploring the properties of our SNR distance metric from the view of geometry space and statistical theory, we analyze the properties of our metric and show that it can preserve the semantic similarity between image pairs, which well justify its suitability for deep metric learning. Compared with Euclidean distance metric, our SNR distance metric can further jointly reduce the intra-class distances and enlarge the inter-class distances for learned features. Leveraging our SNR distance metric, we propose Deep SNR-based Metric Learning (DSML) to generate discriminative feature embeddings. By extensive experiments on three widely adopted benchmarks, including CARS196, CUB200-2011 and CIFAR10, our DSML has shown its superiority over other state-of-the-art methods. Additionally, we extend our SNR distance metric to deep hashing learning, and conduct experiments on two benchmarks, including CIFAR10 and NUS-WIDE, to demonstrate the effectiveness and generality of our SNR distance metric.


title: Controlling classical cardinal characteristics while collapsing cardinals

abstract: Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to $\kappa$) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$, $\mathfrak p$ and $\mathfrak h$ and also keeping all the values in Cicho\'n's diagram distint, using the Boolean Ultrapower method of arXiv:1708.03691 . (In arXiv:2006.09826 , the same was done for the newer Cicho\'n's Maximum construction, which avoids large cardinals.)


title: Area minimizing surfaces of bounded genus in metric spaces

abstract: The Plateau-Douglas problem asks to find an area minimizing surface of fixed or bounded genus spanning a given finite collection of Jordan curves in Euclidean space. In the present paper we solve this problem in the setting of proper metric spaces admitting a local quadratic isoperimetric inequality for curves. We moreover obtain continuity up to the boundary and interior H\"older regularity of solutions. Our results generalize corresponding results of Jost and Tomi-Tromba from the setting of Riemannian manifolds to that of proper metric spaces with a local quadratic isoperimetric inequality. The special case of a disc-type surface spanning a single Jordan curve corresponds to the classical problem of Plateau, in proper metric spaces recently solved by Lytchak and the second author.


title: Sequence-to-Sequence Speech Recognition with Time-Depth Separable Convolutions

abstract: We propose a fully convolutional sequence-to-sequence encoder architecture with a simple and efficient decoder. Our model improves WER on LibriSpeech while being an order of magnitude more efficient than a strong RNN baseline. Key to our approach is a time-depth separable convolution block which dramatically reduces the number of parameters in the model while keeping the receptive field large. We also give a stable and efficient beam search inference procedure which allows us to effectively integrate a language model. Coupled with a convolutional language model, our time-depth separable convolution architecture improves by more than 22% relative WER over the best previously reported sequence-to-sequence results on the noisy LibriSpeech test set.


title: Mutation of tilting bundles of tubular type

abstract: Let $\mathbb{X}$ be a weighted projective line of tubular type and $\operatorname{coh}\mathbb{X}$ the category of coherent sheaves on $\mathbb{X}$. The main purpose of this note is to show that the subgraph of the tilting graph consisting of all basic tilting bundles in $\operatorname{coh}\mathbb{X}$ is connected. This yields an alternative proof for the connectedness of the tilting graph of $\operatorname{coh}\mathbb{X}$. Our approach leads to the investigation of the change of slopes of a tilting sheaf in $\operatorname{coh}\mathbb{X}$ under (co-)APR mutations, which may be of independent interest.


title: Effect of rf electromagnetic irradiation on current-voltage characteristics of wide superconducting films

abstract: The effect of the electromagnetic irradiation on the current-voltage characteristics (IVCs) of a wide superconducting film is experimentally investigated. In contrast to the microwave field (several GHz) which suppresses vortex resistivity, the action of the rf field (tens of MHz) leads to significant expansion of the linear part of the IVC due to rapid suppression of the critical current with a slower change in the upper stability limit of the vortex state where the phase-slip lines (PSLs) occur. With an increase in the rf power, the stepwise structure of the IVC associated with the PSLs becomes smoothed and eventually disappears. A model of the IVC in the adiabatic regime is proposed, which explains the effects of smoothing of the voltage steps and the suppression of the critical current.


title: Reconstruction of mimetic gravity in a non-singular bouncing universe from quantum gravity

abstract: We illustrate a general reconstruction procedure for mimetic gravity. Focusing on a bouncing cosmological background, we derive general properties that must be satisfied by the function $f(\Box\phi)$ implementing the limiting curvature hypothesis. We show how relevant physical information can be extracted from power law expansions of $f$ in different regimes, corresponding e.g. to the very early universe or to late times. Our results are then applied to two specific models reproducing the cosmological background dynamics obtained in group field theory and in loop quantum cosmology, and we discuss the possibility of using this framework as providing an effective field theory description of quantum gravity. We study the evolution of anisotropies near the bounce, and discuss instabilities of scalar perturbations. Furthermore, we discuss two equivalent formulations of mimetic gravity: one in terms of an effective fluid with exotic properties, the other featuring two distinct time-varying gravitational "constants" in the cosmological equations.


title: Skewness correction in tail probability approximations for sums of local statistics

abstract: Correcting for skewness can result in more accurate tail probability approximations in the central limit theorem for sums of independent random variables. In this paper, we extend the theory to sums of local statistics of independent random variables and apply the result to $k$-runs, U-statistics, and subgraph counts in the Erd\"os-R\'enyi random graph. To prove our main result, we develop exponential concentration inequalities and higher-order Cram\'er-type moderate deviations via Stein's method.


title: Efficient estimation of accelerated lifetime models under length-biased sampling

abstract: In prevalent cohort studies where subjects are recruited at a cross-section, the time to an event may be subject to length-biased sampling, with the observed data being either the forward recurrence time, or the backward recurrence time, or their sum. In the regression setting, it has been shown that the accelerated failure time model for the underlying event time is invariant under these observed data set-ups and can be fitted using standard methodology for accelerated failure time model estimation, ignoring the length-bias. However, the efficiency of these estimators is unclear, owing to the fact that the observed covariate distribution, which is also length-biased, may contain information about the regression parameter in the accelerated life model. We demonstrate that if the true covariate distribution is completely unspecified, then the naive estimator based on the conditional likelihood given the covariates is fully efficient.


title: $\Lambda$CDM or self-interacting neutrinos? - how CMB data can tell the two models apart

abstract: Of the many proposed extensions to the $\Lambda$CDM paradigm, a model in which neutrinos self-interact until close to the epoch of matter-radiation equality has been shown to provide a good fit to current cosmic microwave background (CMB) data, while at the same time alleviating tensions with late-time measurements of the expansion rate and matter fluctuation amplitude. Interestingly, CMB fits to this model either pick out a specific large value of the neutrino interaction strength, or are consistent with the extremely weak neutrino interaction found in $\Lambda$CDM, resulting in a bimodal posterior distribution for the neutrino self-interaction cross section. In this paper, we explore why current cosmological data select this particular large neutrino self-interaction strength, and by consequence, disfavor intermediate values of the self-interaction cross section. We show how it is the $\ell \gtrsim 1000$ CMB temperature anisotropies, most recently measured by the Planck satellite, that produce this bimodality. We also establish that smaller scale temperature data, and improved polarization data measuring the temperature-polarization cross-correlation, will best constrain the neutrino self-interaction strength. We forecast that the upcoming Simons Observatory should be capable of distinguishing between the models.


title: Comparison between "Parametrized homology via zigzag persistence" and "Refined homology in the presence of a real-valued continuous function"

abstract: In this note one shows that the four persistence diagrams and measures defined in [5] are particular cases of the maps and the measures discussed in [2] and [1]


title: Catalan Intervals and Uniquely Sorted Permutations

abstract: For each positive integer $k$, we consider five well-studied posets defined on the set of Dyck paths of semilength $k$. We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.


title: End-to-End Video Captioning

abstract: Building correspondences across different modalities, such as video and language, has recently become critical in many visual recognition applications, such as video captioning. Inspired by machine translation, recent models tackle this task using an encoder-decoder strategy. The (video) encoder is traditionally a Convolutional Neural Network (CNN), while the decoding (for language generation) is done using a Recurrent Neural Network (RNN). Current state-of-the-art methods, however, train encoder and decoder separately. CNNs are pretrained on object and/or action recognition tasks and used to encode video-level features. The decoder is then optimised on such static features to generate the video's description. This disjoint setup is arguably sub-optimal for input (video) to output (description) mapping. In this work, we propose to optimise both encoder and decoder simultaneously in an end-to-end fashion. In a two-stage training setting, we first initialise our architecture using pre-trained encoders and decoders -- then, the entire network is trained end-to-end in a fine-tuning stage to learn the most relevant features for video caption generation. In our experiments, we use GoogLeNet and Inception-ResNet-v2 as encoders and an original Soft-Attention (SA-) LSTM as a decoder. Analogously to gains observed in other computer vision problems, we show that end-to-end training significantly improves over the traditional, disjoint training process. We evaluate our End-to-End (EtENet) Networks on the Microsoft Research Video Description (MSVD) and the MSR Video to Text (MSR-VTT) benchmark datasets, showing how EtENet achieves state-of-the-art performance across the board.


title: The Boolean SATisfiability Problem and the orthogonal group $O(n)$

abstract: We explore the relations between the Boolean Satisfiability Problem with $n$ Boolean variables and the orthogonal group $\mbox{O}(n)$. We show that all $2^n$ possible solutions induce involutions of $\mathbb{R}^n$ that lie in the compact, disconnected real manifold of dimension $n (n-1)/2$ of $\mbox{O}(n)$. This result in turn gives a new unsatisfiability test within group $\mbox{O}(n)$.