title: Adiabatic groupoids and secondary invariants in K-theory

abstract: In this paper we define K-theoretic secondary invariants attached to a Lie groupoid $G$. The K-theory of $C^*_r(G_{ad}^0)$ (where $G_{ad}^0$ is the adiabatic deformation $G$ restricted to the interval $[0,1)$) is the receptacle for K-theoretic secondary invariants. We give a Lie groupoid version of construction given by Piazza and Schick in the setting of the Coarse Geometry. Our construction directly generalises to more involved geometrical situation, such as foliations, well encoded by a Lie groupoid. Along the way we tackle the problem of producing a wrong-way functoriality between adiabatic deformation groupoid K-groups with respect to transverse maps. This extends the construction of the lower shriek map given by Connes and Skandalis. Moreover we attach a secondary invariant to the two following operators: the signature operator on a pair of homotopically equivalent Lie groupoids; the Dirac operator on a Lie groupoid equipped with a metric that has positive scalar curvature $s$-fiber-wise. Furthermore we prove a Lie groupoid version of the Delocalized APS Index Theorem of Piazza and Schick. Finally we give a product formula for the secondary invariants and we state stability results about cobordism classes of Lie groupoid structures and bordism classes of Lie groupoid metric with positive scalar curvature along the $s$-fibers. This is the revised version accepted by Advances in Mathematics.


title: Entanglement monotones and transformations of symmetric bipartite states

abstract: The primary goal in the study of entanglement as a resource theory is to find conditions that determine when one quantum state can or cannot be transformed into another via local operations and classical communication. This is typically done through entanglement monotones or conversion witnesses. Such quantities cannot be computed for arbitrary quantum states in general, but it is useful to consider classes of symmetric states for which closed-form expressions can be found. In this paper, we show how to compute the convex roof of any entanglement monotone for all Werner states. The convex roofs of the well-known Vidal monotones are computed for all isotropic states, and we show how this method can generalize to other entanglement measures and other types of symmetries as well. We also present necessary and sufficient conditions that determine when a pure bipartite state can be deterministically converted into a Werner state or an isotropic state.


title: Dropout with Expectation-linear Regularization

abstract: Dropout, a simple and effective way to train deep neural networks, has led to a number of impressive empirical successes and spawned many recent theoretical investigations. However, the gap between dropout's training and inference phases, introduced due to tractability considerations, has largely remained under-appreciated. In this work, we first formulate dropout as a tractable approximation of some latent variable model, leading to a clean view of parameter sharing and enabling further theoretical analysis. Then, we introduce (approximate) expectation-linear dropout neural networks, whose inference gap we are able to formally characterize. Algorithmically, we show that our proposed measure of the inference gap can be used to regularize the standard dropout training objective, resulting in an \emph{explicit} control of the gap. Our method is as simple and efficient as standard dropout. We further prove the upper bounds on the loss in accuracy due to expectation-linearization, describe classes of input distributions that expectation-linearize easily. Experiments on three image classification benchmark datasets demonstrate that reducing the inference gap can indeed improve the performance consistently.


title: Small near-Earth asteroids in the Palomar Transient Factory survey: A real-time streak-detection system

abstract: Near-Earth asteroids (NEAs) in the 1-100 meter size range are estimated to be $\sim$1,000 times more numerous than the $\sim$15,000 currently-catalogued NEAs, most of which are in the 0.5-10 kilometer size range. Impacts from 10-100 meter size NEAs are not statistically life-threatening but may cause significant regional damage, while 1-10 meter size NEAs with low velocities relative to Earth are compelling targets for space missions. We describe the implementation and initial results of a real-time NEA-discovery system specialized for the detection of small, high angular rate (visually-streaked) NEAs in Palomar Transient Factory (PTF) images. PTF is a 1.2-m aperture, 7.3-deg$^2$ field-of-view optical survey designed primarily for the discovery of extragalactic transients (e.g., supernovae) in 60-second exposures reaching $\sim$20.5 visual magnitude. Our real-time NEA discovery pipeline uses a machine-learned classifier to filter a large number of false-positive streak detections, permitting a human scanner to efficiently and remotely identify real asteroid streaks during the night. Upon recognition of a streaked NEA detection (typically within an hour of the discovery exposure), the scanner triggers follow-up with the same telescope and posts the observations to the Minor Planet Center for worldwide confirmation. We describe our ten initial confirmed discoveries, all small NEAs that passed 0.3-15 lunar distances from Earth. Lastly, we derive useful scaling laws for comparing streaked-NEA-detection capabilities of different surveys as a function of their hardware and survey-pattern characteristics. This work most directly informs estimates of the streak-detection capabilities of the Zwicky Transient Facility (ZTF, planned to succeed PTF in 2017), which will apply PTF's current resolution and sensitivity over a 47-deg$^2$ field-of-view.


title: Lamb shift in muonic ions of lithium, beryllium and boron

abstract: We present a precise calculation of the Lamb shift $(2P_{1/2}-2S_{1/2})$ in muonic ions $(\mu ^6_3Li)^{2+},~(\mu ^7_3Li)^{2+}$, $(\mu ^9_4Be)^{3+},~(\mu ^{10}_4Be)^{3+}$, $(\mu ^{10}_5B)^{4+},~(\mu ^{11}_5B)^{4+}$. The contributions of orders $\alpha^3\div\alpha^6$ to the vacuum polarization, nuclear structure and recoil, relativistic effects are taken into account. Our numerical results are consistent with previous calculations and improve them due to account of new corrections. The obtained results can be used for the comparison with future experimental data, and extraction more accurate values of nuclear charge radii.


title: Quantum charge pumping through resonant crossed Andreev reflection in superconducting hybrid junction of Silicene

abstract: We theoretically investigate the phenomena of adiabatic quantum charge pumping through a normal-insulator-superconductor-insulator-normal (NISIN) setup of silicene within the scattering matrix formalism. Assuming thin barrier limit, we consider the strength of the two barriers ($\chi_{1}$ and $\chi_{2}$) as the two pumping parameters in the adiabatic regime. Within this geometry, we obtain crossed Andreev reflection (CAR) with probability unity in the $\chi_{1}$-$\chi_{2}$ plane without concomitant transmission or elastic cotunneling (CT). Tunability of the band gap at the Dirac point by applying an external electric field perpendicular to the silicene sheet and variation of the chemical potential at the normal silicene region, open up the possibility of achieving perfect either CAR or transmission process through our setup. This resonant behavior is periodic with the barrier strengths. We analyze the behavior of the pumped charge through the NISIN structure as a function of the pumping strength and angles of the incident electrons. We show that large ($Q\sim2e$) pumped charge can be obtained through our geometry when the pumping contour encloses either the CAR or transmission resonance in the pumping parameter space. We discuss possible experimental feasibility of our theoretical predictions.


title: Covariant Quantum Gravity I: Covariant Hamiltonian Framework

abstract: The first part of the series formulates the Einstein-Cartan theory in the covariant hamiltonian framework. The first section revises the general multisymplectic approach and introduces the notion of the d-jet bundles. Since the whole Standard Model Lagrangian (including gravity) can be written as the functional of the forms, the structure of the d-jet bundles is more appropriate for the covariant hamiltonian analysis than the standard jet bundle approach. The definition of the local covariant Poisson bracket on the space of covariant observables is recalled. The main goal of the work is to show that the gauge group of the Einstein-Cartan theory is given by the semidirect product of the local Lorentz group and the group of spacetime diffeomorphisms. Vanishing of the integral generators of the gauge group is equivalent to equations of motion of the Einstein-Cartan theory and the local constraints algebra is closed Lie algebra.


title: Correlation based passive imaging with a white noise source

abstract: Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - \Delta_g u = \chi W$, where $W$ is a random variable with the white noise statistics on ${\mathbb R}^{1+n}$, $n \ge 3$, $\chi$ is a smooth function vanishing for negative times and outside a compact set in space, and $\Delta_g$ is the Laplace-Beltrami operator associated to a smooth non-trapping Riemannian metric tensor $g$ on ${\mathbb R}^n$. The metric tensor $g$ models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set $\mathcal X \subset {\mathbb R}^n$, $$ C_T(t_1, x_1, t_2, x_2) = \frac 1 T \int_0^T u(t_1+s,x_1) u(t_2+s,x_2) ds, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, $$ for $T>0$. Supposing that $\chi$ is non-zero on $\mathcal X$ and constant in time after $t > 1$, we show that in the limit $T \to \infty$, the data $C_T$ becomes statistically stable, that is, independent of the realization of $W$. Our main result is that, with probability one, this limit determines the Riemannian manifold $({\mathbb R}^n,g)$ up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales.


title: Thermal conductivity of the side ledge in aluminium electrolysis cells: compounds as a function of temperature and grain size

abstract: In aluminium electrolysis cells, a ledge of frozen electrolyte is formed, attached to the sides of the cell. The control of the side ledge thickness is essential in ensuring a reasonable lifetime for the cells. Numerical modelling of the side ledge thickness requires an accurate knowledge of the thermal transport properties as a function of temperature. Unfortunately, there is a considerable lack of experimental data for the large majority of the phases constituting the side ledge. The aim of this work is to provide, for each phase possibly present in the side ledge, a formulation of the thermal conductivity as a function of both temperature and size. To achieve this, we consider reliable physical models linking the density of the lattice vibration energy and the phonon mean free path to key parameters: the high temperature limit of the Debye temperature and the Gruneisen constant. These model parameters can be obtained by simultaneous fitting of (i) the heat capacity, (ii) the thermal expansion tensor coefficient and (iii) the adiabatic elastic constants, on relevant physical models. Where data is missing, first principles (ab initio) calculations are used to determine directly the model parameters. For compounds for which data is available, the model's predictions are found to be in very good agreement with the reported experimental data.


title: An active, asynchronous companion to a redback millisecond pulsar

abstract: PSR\,J1723$-$2837 is a "redback" millisecond pulsar (MSP) with a low-mass companion in a 14.8\,h orbit. The system's properties closely resemble those of "transitional" MSPs that alternate between spin-down and accretion-powered states. In this paper we report on long-term photometry of the 15.5\,mag companion to the pulsar. We use our data to illustrate that the star experiences sporadic activity, which we attribute to starspots. We also find that the companion is not tidally locked and infer $P_{\rm s}/P_{\rm b}= 0.9974(7)$ for the ratio between the rotational and orbital periods. Finally, we place constraints on various parameters, including the irradiation efficiency and pulsar mass. We discuss similarities with other redback MSPs and conclude that starspots may provide the most likely explanation for the often seen irregular and asymmetric optical lightcurves.


title: On the Activation of Quantum Nonlocality

abstract: We report on some quantum properties of physical systems, namely, entanglement, nonlocality, $k$-copy nonlocality (superactivation of nonlocality), hidden nonlocality (activation of nonlocality through local filtering) and the activation of nonlocality through tensoring and local filtering. The aim of this work is two-fold. First, we provide a review of the numerical procedures that must be followed in order to calculate the aforementioned properties, in particular, for any two-qubit system, and reproduce the bounds for two-qudit Werner states. Second, we use such numerical tools to calculate new bounds of these properties for two-qudit Isotropic states and two-qubit Hirsch states.


title: Quantum interference in a macroscopic van der Waals conductor

abstract: Quantum corrections to charge transport can give rise to an oscillatory magnetoconductance, typically observed in mesoscopic samples with a length shorter than or comparable with the phase coherence length. Here, we report the observation of magnetoconductance oscillations periodic in magnetic field with an amplitude of the order of $e^2/h$ in macroscopic samples of Highly Oriented Pyrolytic Graphite (HOPG). The observed effect emerges when all carriers are confined to their lowest Landau levels. We argue that this quantum interference phenomenon can be explained by invoking moir\'e superlattices with a discrete distribution in periodicity. According to our results, when the magnetic length $\ell_B$, the Fermi wave length $\lambda_F$ and the length scale of fluctuations in local chemical potential are comparable in a layered conductor, quantum corrections can be detected over centimetric length scales.


title: Identifying Ultrahigh-Energy Cosmic-Ray Accelerators with Future Ultrahigh-Energy Neutrino Detectors

abstract: The detection of ultrahigh-energy (UHE) neutrino sources would contribute significantly to solving the decades-old mystery of the origin of the highest-energy cosmic rays. We investigate the ability of a future UHE neutrino detector to identify the brightest neutrino point sources, by exploring the parameter space of the total number of observed events and the angular resolution of the detector. The favored parameter region can be translated to requirements for the effective area, sky coverage and angular resolution of future detectors, for a given source number density and evolution history. Moreover, by studying the typical distance to sources that are expected to emit more than one event for a given diffuse neutrino flux, we find that a significant fraction of the identifiable UHE neutrino sources may be located in the nearby Universe if the source number density is above $\sim10^{-6}\,\rm Mpc^{-3}$. If sources are powerful and rare enough, as predicted in blazar scenarios, they can first be detected at distant locations. Our result also suggests that if UHE cosmic-ray accelerators are neither beamed nor transients, it will be possible to associate the detected UHE neutrino sources with nearby UHE cosmic-ray and gamma-ray sources, and that they may also be observed using other messengers, including ones with limited horizons such as TeV gamma rays, UHE gamma rays and cosmic rays. We find that for a $\gtrsim5\sigma$ detection of UHE neutrino sources with a uniform density, $n_s\sim{10}^{-7}-{10}^{-5}~{\rm Mpc}^{-3}$, at least $\sim100-1000$ events and sub-degree angular resolution are needed, and the results depend on the source evolution model.


title: A Unified Statistical Framework for Single Cell and Bulk RNA Sequencing Data

abstract: Recent advances in technology have enabled the measurement of RNA levels for individual cells. Compared to traditional tissue-level bulk RNA-seq data, single cell sequencing yields valuable insights about gene expression profiles for different cell types, which is potentially critical for understanding many complex human diseases. However, developing quantitative tools for such data remains challenging because of high levels of technical noise, especially the "dropout" events. A "dropout" happens when the RNA for a gene fails to be amplified prior to sequencing, producing a "false" zero in the observed data. In this paper, we propose a Unified RNA-Sequencing Model (URSM) for both single cell and bulk RNA-seq data, formulated as a hierarchical model. URSM borrows the strength from both data sources and carefully models the dropouts in single cell data, leading to a more accurate estimation of cell type specific gene expression profile. In addition, URSM naturally provides inference on the dropout entries in single cell data that need to be imputed for downstream analyses, as well as the mixing proportions of different cell types in bulk samples. We adopt an empirical Bayes approach, where parameters are estimated using the EM algorithm and approximate inference is obtained by Gibbs sampling. Simulation results illustrate that URSM outperforms existing approaches both in correcting for dropouts in single cell data, as well as in deconvolving bulk samples. We also demonstrate an application to gene expression data on fetal brains, where our model successfully imputes the dropout genes and reveals cell type specific expression patterns.


title: Shallow water equations: Split-form, entropy stable, well-balanced, and positivity preserving numerical methods

abstract: For the first time, a general two-parameter family of entropy conservative numerical fluxes for the shallow water equations is developed and investigated. These are adapted to a varying bottom topography in a well-balanced way, i.e. preserving the lake-at-rest steady state. Furthermore, these fluxes are used to create entropy stable and well-balanced split-form semidiscretisations based on general summation-by-parts (SBP) operators, including Gau{\ss} nodes. Moreover, positivity preservation is ensured using the framework of Zhang and Shu (Maximum-principle-satisfying and positivity-preserving high-order schemes for conservation laws: survey and recent developments, 2011. In: Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, The Royal Society, vol 467, pp. 2752--2766). Therefore, the new two-parameter family of entropy conservative fluxes is enhanced by dissipation operators and investigated with respect to positivity preservation. Additionally, some known entropy stable and positive numerical fluxes are compared. Furthermore, finite volume subcells adapted to nodal SBP bases with diagonal mass matrix are used. Finally, numerical tests of the proposed schemes are performed and some conclusions are presented.


title: An empirically grounded agent based model for modeling directs, conflict detection and resolution operations in Air Traffic Management

abstract: We present an agent based model of the Air Traffic Management socio-technical complex system that aims at modeling the interactions between aircrafts and air traffic controllers at a tactical level. The core of the model is given by the conflict detection and resolution module and by the directs module. Directs are flight shortcuts that are given by air controllers to speed up the passage of an aircraft within a certain airspace and therefore to facilitate airline operations. Conflicts resolution between flight trajectories can arise during the en-route phase of each flight due to both not detailed flight trajectory planning or unforeseen events that perturb the planned flight plan. Our model performs a local conflict detection and resolution procedure. Once a flight trajectory has been made conflict-free, the model searches for possible improvements of the system efficiency by issuing directs. We give an example of model calibration based on real data. We then provide an illustration of the capability of our model in generating scenario simulations able to give insights about the air traffic management system. We show that the calibrated model is able to reproduce the existence of a geographical localization of air traffic controllers' operations. Finally, we use the model to investigate the relationship between directs and conflict resolutions (i) in the presence of perfect forecast ability of controllers, and (ii) in the presence of some degree of uncertainty in flight trajectory forecast.


title: Smoothings and Rational Double Point Adjacencies for Cusp Singularities

abstract: A cusp singularity is a surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in naturally dual pairs. Looijenga proved in 1981 that if a cusp singularity is smoothable, the minimal resolution of the dual cusp is the anticanonical divisor of some smooth rational surface. In 1983, the second author and Miranda gave a criterion for smoothability of a cusp singularity, in terms of the existence of a K-trivial semistable model for the central fiber of such a smoothing. We study these "Type III degenerations" of rational surfaces with an anticanonical divisor--their deformations, birational geometry, and monodromy. Looijenga's original paper also gave a description of the rational double point configurations to which a cusp singularity deforms, but only in the case where the resolution of the dual cusp has cycle length 5 or less. We generalize this classification to an arbitrary cusp singularity, giving an explicit construction of a semistable simultaneous resolution of such an adjacency. The main tools of the proof are (1) formulas for the monodromy of a Type III degeneration, (2) a construction via surgeries on integral-affine surfaces of a degeneration with prescribed monodromy, (3) surjectivity of the period map for Type III central fibers, and (4) a theorem of Shepherd-Barron producing the simultaneous contraction to the adjacency of the cusp singularity.


title: The geometry of constant mean curvature surfaces in $\mathbb{R}^3$

abstract: We derive intrinsic curvature and radius estimates for compact disks embedded in $\mathbb{R}^3$ with nonzero constant mean curvature and apply these estimates to study the global geometry of complete surfaces embedded in $\mathbb{R}^3$ with nonzero constant mean curvature.


title: Minimal Lagrangian connections on compact surfaces

abstract: We introduce the notion of a minimal Lagrangian connection on the tangent bundle of a manifold and classify all such connections in the case where the manifold is a compact oriented surface of non-vanishing Euler characteristic. Combining our classification with results of Labourie and Loftin, we conclude that every properly convex projective surface arises from a unique minimal Lagrangian connection.


title: Hilbert series and mixed branches of $T[SU(N)]$ theory

abstract: We consider mixed branches of 3d $\mathcal{N}=4$ $T[SU(N)]$ theory. We compute the Hilbert series of the Coulomb branch part of the mixed branch from a restriction rule acting on the Hilbert series of the full Coulomb branch that will truncate the magnetic charge summation only to the subset of BPS dressed monopole operators that arise in the Coulomb branch sublocus where the mixed branch stems. This restriction can be understood directly from the type IIB brane picture by a relation between the magnetic charges of the monopoles and brane position moduli. We also apply the restriction rule to the Higgs branch part of a given mixed branch by exploiting 3d mirror symmetry. Both cases show complete agreement with the results calculated by different methods.


title: Connecting the dots across time: Reconstruction of single cell signaling trajectories using time-stamped data

abstract: Single cell responses are shaped by the geometry of signaling kinetic trajectories carved in a multidimensional space spanned by signaling protein abundances. It is however challenging to assay large number (>3) of signaling species in live-cell imaging which makes it difficult to probe single cell signaling kinetic trajectories in large dimensions. Flow and mass cytometry techniques can measure a large number (4 - >40) of signaling species but are unable to track single cells. Thus cytometry experiments provide detailed time stamped snapshots of single cell signaling kinetics. Is it possible to use the time stamped cytometry data to reconstruct single cell signaling trajectories? Borrowing concepts of conserved and slow variables from non-equilibrium statistical physics we develop an approach to reconstruct signaling trajectories using snapshot data by creating new variables that remain invariant or vary slowly during the signaling kinetics. We apply this approach to reconstruct trajectories using snapshot data obtained from in silico simulations and live-cell imaging measurements. The use of invariants and slow variables to reconstruct trajectories provides a radically different way to track object using snapshot data. The approach is likely to have implications for solving matching problems in a wide range of disciplines.


title: Regularity of minimal submanifolds and mean curvature flows with a common free boundary

abstract: Let $N$ be a smooth $(n+l)$-dimensional Riemannian manifold. We show that if $V$ is an area-stationary union of three or more $C^{1,\mu}$ $n$-dimensional submanifolds-with-boundary $M_k \subset N$ with a common boundary $\Gamma$, then $\Gamma$ is smooth and each $M_k$ is smooth up to $\Gamma$ (real-analytic in the case $N$ is real-analytic). This extends a previous result of the author for codimension $l = 1$. We additionally show that if $\{V_t\}_{t \in (-1,1)}$ is a Brakke flow such that each time-slice $V_t$ is a union of three or more $n$-dimensional submanifolds-with-boundary $M_{k,t} \subset N$ with a common boundary $\Gamma_t$ and with parabolic $C^{2+\mu}$ regularity in time-space, then $\{\Gamma_t\}_{t \in (-1,1)}$ and $\{M_{k,t}\}_{t \in (-1,1)}$ are smooth (second Gevrey with real-analytic time-slices in the case $N$ is real-analytic).


title: A Multi-Dimensional Central Limit Bound and its Application to the Euler Approximation of L\'evy SDEs

abstract: Rio gave a concise bound for the central limit theorem in the Vaserstein distances, which is a ratio between some higher moments and some powers of the variance. As a corollary, it gives an estimate for the normal approximation of the small jumps of the L\'evy processes, and Fournier applied that to the Euler approximation of L\'evy-driven stochastic differential equations. However both results are restricted to the one-dimensional case. It will be shown in this article that, following Davie's idea, one can generalise Rio's result to multidimensional case, and the number of moments required is independent of the dimension. Also two different approaches are developed to simulate multidimensional L\'evy SDEs: one as a corollary to the central limit bound, the other directly derived from the L\'evy-Khinchine formula.


title: Interface Effect in QCD Phase Transitions via Dyson-Schwinger Equation Approach

abstract: With the chiral susceptibility criterion we obtain the phase diagram of strong-interaction matter in terms of temperature and chemical potential in the framework of Dyson-Schwinger equations (DSEs) of QCD.After calculating the pressure and some other thermodynamic properties of the matter in the DSE method, we get the phase diagram in terms of temperature and baryon number density. We also obtain the interface tension and the interface entropy density to describe the inhomogeneity of the two phases in the coexistence region of the first order phase transition. After including the interface effect, we find that the total entropy density of the system increases in both the deconfinement (dynamical chiral symmetry restoration) and the hadronization (dynamical chiral symmetry breaking) processes of the first order phase transitions and thus solve the entropy puzzle in the hadronization process.


title: One-Class SVM with Privileged Information and its Application to Malware Detection

abstract: A number of important applied problems in engineering, finance and medicine can be formulated as a problem of anomaly detection. A classical approach to the problem is to describe a normal state using a one-class support vector machine. Then to detect anomalies we quantify a distance from a new observation to the constructed description of the normal class. In this paper we present a new approach to the one-class classification. We formulate a new problem statement and a corresponding algorithm that allow taking into account a privileged information during the training phase. We evaluate performance of the proposed approach using a synthetic dataset, as well as the publicly available Microsoft Malware Classification Challenge dataset.


title: Dimension reduction for the micromagnetic energy functional on curved thin films

abstract: Recently a significant interest in ferromagnetic curved thin films has appeared. In particular, thin spherical shells are currently of great interest due to their capability to support skyrmion solutions which can be stabilized by curvature effects only, in contrast to the planar case where the Dzyaloshinskii-Moriya interaction is required. This paper aims to a $\Gamma$-asymptotic analysis of the micromagnetic energy functional, when the shell is generated, like in the case of a sphere, by a bounded, convex and smooth surface.

categories: math.AP cond-mat.mes-hall cond-mat.mtrl-sci math-ph math.MP


title: From the generalized reflection law to the realization of perfect anomalous reflectors

abstract: The use of the generalized Snell's law opens wide possibilities for the manipulation of transmitted and reflected wavefronts. However, known structures designed to shape reflection wave fronts suffer from significant parasitic reflections in undesired directions: In fact, the desired field distributions do not satisfy Maxwell's equations if the boundary conditions are specified in accordance with the generalized Snell's law. In this work, we explore the limitations of the existing solutions for the design of passive planar reflectors and demonstrate that strongly non-local response is required for perfect performance. Ideal reflective surfaces capable of steering the energy into any desired direction have to localize and carry energy along the inhomogeneous reflective surface. A new paradigm for the design of perfect reflectors based on energy surface channeling is introduced. We realize and experimentally verify a theoretically perfect design of an anomalously reflective surface using an array of rectangular metal patches backed by a metallic plate. This conceptually new mechanism for wavefront manipulation allows the design of thin perfect reflectors, offering a versatile design method applicable to other scenarios such as focusing reflectors or surface wave manipulations, extendible to other frequencies.


title: Viewport-Adaptive Navigable 360-Degree Video Delivery

abstract: The delivery and display of 360-degree videos on Head-Mounted Displays (HMDs) presents many technical challenges. 360-degree videos are ultra high resolution spherical videos, which contain an omnidirectional view of the scene. However only a portion of this scene is displayed on the HMD. Moreover, HMD need to respond in 10 ms to head movements, which prevents the server to send only the displayed video part based on client feedback. To reduce the bandwidth waste, while still providing an immersive experience, a viewport-adaptive 360-degree video streaming system is proposed. The server prepares multiple video representations, which differ not only by their bit-rate, but also by the qualities of different scene regions. The client chooses a representation for the next segment such that its bit-rate fits the available throughput and a full quality region matches its viewing. We investigate the impact of various spherical-to-plane projections and quality arrangements on the video quality displayed to the user, showing that the cube map layout offers the best quality for the given bit-rate budget. An evaluation with a dataset of users navigating 360-degree videos demonstrates that segments need to be short enough to enable frequent view switches.


title: A Compressed Sampling and Dictionary Learning Framework for WDM-Based Distributed Fiber Sensing

abstract: We propose a compressed sampling and dictionary learning framework for fiber-optic sensing using wavelength-tunable lasers. A redundant dictionary is generated from a model for the reflected sensor signal. Imperfect prior knowledge is considered in terms of uncertain local and global parameters. To estimate a sparse representation and the dictionary parameters, we present an alternating minimization algorithm that is equipped with a pre-processing routine to handle dictionary coherence. The support of the obtained sparse signal indicates the reflection delays, which can be used to measure impairments along the sensing fiber. The performance is evaluated by simulations and experimental data for a fiber sensor system with common core architecture.


title: A test field for Gaia. Radial velocity catalogue of stars in the South Ecliptic Pole

abstract: Gaia is a space mission currently measuring the five astrometric parameters as well as spectrophotometry of at least 1 billion stars to G = 20.7 mag with unprecedented precision. The sixth parameter in phase space (radial velocity) is also measured thanks to medium-resolution spectroscopy being obtained for the 150 million brightest stars. During the commissioning phase, two fields, one around each ecliptic pole, have been repeatedly observed to assess and to improve the overall satellite performances as well as the associated reduction and analysis software. A ground-based photometric and spectroscopic survey was therefore initiated in 2007, and is still running in order to gather as much information as possible about the stars in these fields. This work is of particular interest to the validation of the Radial Velocity Spectrometer (RVS) outputs. The paper presents the radial velocity measurements performed for the Southern targets in the 12 - 17 R magnitude range on high- to mid-resolution spectra obtained with the GIRAFFE and UVES spectrographs.


title: Derivation of matrix product states for the Heisenberg spin chain with open boundary conditions

abstract: Using the algebraic Bethe ansatz, we derive a matrix product representation of the exact Bethe-ansatz states of the six-vertex Heisenberg chain (either XXX or XXZ and spin-$\frac{1}{2}$) with open boundary conditions. In this representation, the components of the Bethe eigenstates are expressed as traces of products of matrices which act on a tensor product of auxiliary spaces. As compared to the matrix product states of the same Heisenberg chain but with periodic boundary conditions, the dimension of the exact auxiliary matrices is enlarged as if the conserved number of spin-flips considered would have been doubled. This result is generic for any non-nested integrable model, as is clear from our derivation and we further show by providing an additional example of the same matrix product state construction for a well known model of a gas of interacting bosons. Counterintuitively, the matrices do not depend on the spatial coordinate despite the open boundaries and thus suggest generic ways of exploiting (emergent) translational invariance both for finite size and in the thermodynamic limit.

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


title: Universal bound on the efficiency of molecular motors

abstract: The thermodynamic uncertainty relation provides an inequality relating any mean current, the associated dispersion and the entropy production rate for arbitrary non-equilibrium steady states. Applying it here to a general model of a molecular motor running against an external force or torque, we show that the thermodynamic efficiency of such motors is universally bounded by an expression involving only experimentally accessible quantities. For motors pulling cargo through a viscous fluid, a universal bound for the corresponding Stokes efficiency follows as a variant. A similar result holds if mechanical force is used to synthesize molecules of high chemical potential. Crucially, no knowledge of the detailed underlying mechano-chemical mechanism is required for applying these bounds.


title: Tiny-Shaped Particles Developing a Mono-Layer Shape Dealing Localized Gravity and Levity at the Solution Surface

abstract: Developing tiny metallic particles of specific shapes is needed for many cutting-edge applications. In processing solutions by different methods and approaches, atoms first dissociate from the precursor. The supplied tuned pulses develop tiny triangular particles. According to the published literature, the supply of nanoenergy packets for developing tiny-shaped particles occurs through different sources. Owing to their potential application, tiny-shaped particles are the building blocks of the later-developed mono-layers of nanoparticles and particles. During development, triangularly shaped tiny particles leave the electronically flat-leveled solution surface. By entering an electronically decreasing-level solution surface, tiny-shaped particles arrive at the center of the concave meniscus. In a triangularly shaped tiny particle, atomic arrays convert into structures of smooth elements, where photons traveling along the air-solution interface further flatten them. There is the nucleation of a mono-layer. For later coalesced tiny particles, structures of smooth elements adhered adjacently to grow a nucleated mono-layer. The developing tiny-sized and tiny-shaped particles do not appear to qualify for the extensively studied surface plasmons phenomenon. In the upper-shaped mono-layer, the force of gravity becomes more significant than the force of levity. The opposite is the case for the lower-shaped mono-layer. Only a few microseconds are involved in adhering to two mono-layers. This study highlights the development of triangularly shaped tiny particles, a mono-layer shape, and the adherence of two mono-layer shapes. This study has great potential in the nanoscience and nanotechnology fields.


title: On the number of limit cycles for a class of discontinuous quadratic differential systems

abstract: The present paper is devoted to the study of the maximum number of limit cycles bifurcated from the periodic orbits of the quadratic isochronous center $\dot{x}=-y+\frac{16}{3}x^{2}-\frac{4}{3}y^{2},\dot{y}=x+\frac{8}{3}xy$ by the averaging method of first order, when it is perturbed inside a class of discontinuous quadratic polynomial differential systems. The \emph{Chebyshev criterion} is used to show that this maximum number is 5 and can be realizable. The result and that in paper \cite{LC} completely answer the questions left in the paper \cite{LM}.


title: Towards Evidence-Based Ontology for Supporting Systematic Literature Review

abstract: [Background]: Systematic Literature Review (SLR) has become an important software engineering research method but costs tremendous efforts. [Aim]: This paper proposes an approach to leverage on empirically evolved ontology to support automating key SLR activities. [Method]: First, we propose an ontology, SLRONT, built on SLR experiences and best practices as a groundwork to capture common terminologies and their relationships during SLR processes; second, we present an extended version of SLRONT, the COSONT and instantiate it with the knowledge and concepts extracted from structured abstracts. Case studies illustrate the details of applying it for supporting SLR steps. [Results]: Results show that through using COSONT, we acquire the same conclusion compared with sheer manual works, but the efforts involved is significantly reduced. [Conclusions]: The approach of using ontology could effectively and efficiently support the conducting of systematic literature review.


title: Energy-based Modeling of AC Motors

abstract: We propose an approach to modeling of AC motors entirely based on analytical mechanics. Symmetry and connection constraints are moreover incorporated in the energy function from which the models are derived. The approach is especially suited to handle magnetic saturation, but also directly recovers the standard unsaturated models of the literature. The theory is illustrated by some experimental data.


title: Nambu-Jona-Lasinio model with Wilson fermions

abstract: We present a lattice study of a Nambu Jona-Lasinio (NJL) model using Wilson fermions. Four fermion interactions are a natural part of several extensions of the Standard Model, appearing as a low energy description of a more fundamental theory. In models of dynamical electroweak symmetry breaking they are used to endow the Standard Model fermions with masses. In infrared conformal models these interaction, when sufficiently strong, can alter the dynamics of the fixed point, turning the theory into a (near) conformal model with desirable features for model building. As a first step toward the nonperturbative study of these models, we study the phase space of the ungauged NJL model.


title: Magnetically Dominated Parallel Interstellar Filaments at the Infrared Dark Cloud G14.225-0.506

abstract: The G14.225-0.506 infrared dark cloud (IRDC G14.2) displays a remarkable complex of parallel dense molecular filaments projected on the plane of the sky. Previous dust emission and molecular-line studies have speculated whether magnetic fields could have played an important role in the formation of such long-shaped structures, which are hosts to numerous young stellar sources. In this work we have conducted a vast polarimetric survey at optical and near-infrared wavelengths in order to study the morphology of magnetic field lines in IRDC G14.2 through the observation of background stars. The orientation of interstellar polarization, which traces magnetic field lines, is perpendicular to most of the filamentary features within the cloud. Additionally, the larger-scale molecular cloud as a whole exhibits an elongated shape also perpendicular to magnetic fields. Estimates of magnetic field strengths indicate values in the range $320 - 550\,\mu$G, which allows sub-alfv\'enic conditions, but does not prevent the gravitational collapse of hub-filament structures, which in general are close to the critical state. These characteristics suggest that magnetic fields played the main role in regulating the collapse from large to small scales, leading to the formation of series of parallel elongated structures. The morphology is also consistent with numerical simulations that show how gravitational instabilities develop under strong magnetic fields. Finally, the results corroborate the hypothesis that a strong support from internal magnetic fields might explain why the cloud seems to be contracting on a time scale 2-3 times larger than what is expected from a free-fall collapse.


title: A proof of Furstenberg's conjecture on the intersections of $\times p$ and $\times q$-invariant sets

abstract: We prove the following conjecture of Furstenberg (1969): if $A,B\subset [0,1]$ are closed and invariant under $\times p \mod 1$ and $\times q \mod 1$, respectively, and if $\log p/\log q\notin \mathbb{Q}$, then for all real numbers $u$ and $v$, $$\dim_{\rm H}(uA+v)\cap B\le \max\{0,\dim_{\rm H}A+\dim_{\rm H}B-1\}.$$ We obtain this result as a consequence of our study on the intersections of incommensurable self-similar sets on $\mathbb{R}$. Our methods also allow us to give upper bounds for dimensions of arbitrary slices of planar self-similar sets satisfying SSC and certain natural irreducible conditions.


title: Some generalizations of second submodules

abstract: In this paper, we will introduce two generalizations of second submodules of a module over a commutative ring and explore some basic properties of these classes of modules.


title: Modelling glueballs

abstract: Glueballs are predicted in various theoretical approaches of QCD (most notably lattice QCD), but their experimental verification is still missing. In the low-energy sector some promising candidate for the scalar glueball exist, and some (less clear) candidates for the tensor and pseudoscalar glueballs were also proposed. Yet, for heavier gluonic states there is much work to be done both from the experimental and theoretical points of view. In these proceedings, we briefly review the current status of research of glueballs and discuss future developments.


title: ALICE Diffractive Detector Control System for RUN-II in the ALICE Experiment

abstract: This paper describes general characteristics of the deployment and commissioned of the Detector Control System (DCS) AD0 for the second phase of the Large Hadron Collider (LHC). The AD0 detector is installed in the ALICE experiment to provide a better selection of diffractive events.


title: The Blanchfield pairing of colored links

abstract: It is well known that the Blanchfield pairing of a knot can be expressed using Seifert matrices. In this paper, we compute the Blanchfield pairing of a colored link with non-zero Alexander polynomial. More precisely, we show that the Blanchfield pairing of such a link can be written in terms of generalized Seifert matrices which arise from the use of C-complexes.


title: The effects of external planets on inner systems: multiplicities, inclinations, and pathways to eccentric warm Jupiters

abstract: We study how close-in systems such as those detected by Kepler are affected by the dynamics of bodies in the outer system. We consider two scenarios: outer systems of giant planets potentially unstable to planet--planet scattering, and wide binaries that may be capable of driving Kozai or other secular variations of outer planets' eccentricities. Dynamical excitation of planets in the outer system reduces the multiplicity of Kepler-detectable planets in the inner system in $\sim20-25\%$ of our systems. Accounting for the occurrence rates of wide-orbit planets and binary stars, $\approx18\%$ of close-in systems could be destabilised by their outer companions in this way. This provides some contribution to the apparent excess of systems with a single transiting planet compared to multiple, however, it only contributes at most $25\%$ of the excess. The effects of the outer dynamics can generate systems similar to Kepler-56 (two coplanar planets significantly misaligned with the host star) and Kepler-108 (two significantly non-coplanar planets in a binary). We also identify three pathways to the formation of eccentric warm Jupiters resulting from the interaction between outer and inner systems: direct inelastic collision between an eccentric outer and an inner planet, secular eccentricity oscillations that may "freeze out" when scattering resolves in the outer system; and scattering in the inner system followed by "uplift", where inner planets are removed by interaction with the outer planets. In these scenarios, the formation of eccentric warm Jupiters is a signature of a past history of violent dynamics among massive planets beyond $\sim1$ au.


title: Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length (Journal version)

abstract: The outcomes of this paper are twofold. Implicit complexity. We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class PTIME of languages computable in polynomial time in terms of differential equations with polynomial right-hand side. This result gives a purely continuous elegant and simple characterization of PTIME. We believe it is the first time complexity classes are characterized using only ordinary differential equations. Our characterization extends to functions computable in polynomial time over the reals in the sense of computable analysis. Our results may provide a new perspective on classical complexity, by giving a way to define complexity classes, like PTIME, in a very simple way, without any reference to a notion of (discrete) machine. This may also provide ways to state classical questions about computational complexity via ordinary differential equations. Continuous-Time Models of Computation. Our results can also be interpreted in terms of analog computers or analog models of computation: As a side effect, we get that the 1941 General Purpose Analog Computer (GPAC) of Claude Shannon is provably equivalent to Turing machines both in terms of computability and complexity, a fact that has never been established before. This result provides arguments in favour of a generalised form of the Church-Turing Hypothesis, which states that any physically realistic (macroscopic) computer is equivalent to Turing machines both in terms of computability and complexity.


title: Center-of-mass interpretation for bipartite purity analysis of $N$-party entanglement

abstract: We provide a graphical description of the entanglement of pure-state multiparty systems based on an analogy between a bipartite purity analysis and the centroid of a collection of point masses. This description applies to quantum systems with $N$ parties, each with an arbitrary number of (discrete) states. The case of $N$ qubits is highlighted for simplicity. This geometric description illustrates some of the restrictions in the form of inequalities that apply to entanglement in multiparty systems.


title: Elastic Spin Hall effect in Mechanical Graphene

abstract: We show that spin-orbit interaction and elastic spin-Hall effect can exist in a classical mechanical system consisting of a two-dimensional honeycomb lattice of masses and springs. The band structure shows the presence of splitting at K point induced by the difference of longitudinal and transverse elastic constant, and this splitting can be regarded as an effective Dresselhaus-type spin-orbit coupling. Interestingly, as an initial displacement away from the equilibrium is applied, the time evolution simulation shows that waves of different spin polarization propagates along different directions at the Gamma and K point, which is characteristic of spin-Hall effect. Several cases for spin-Hall effect are also discussed.


title: Fault-tolerant interface between quantum memories and quantum processors

abstract: Topological error correction codes are promising candidates to protect quantum computations from the deteriorating effects of noise. While some codes provide high noise thresholds suitable for robust quantum memories, others allow straightforward gate implementation needed for data processing. To exploit the particular advantages of different topological codes for fault-tolerant quantum computation, it is necessary to be able to switch between them. Here we propose a practical solution, subsystem lattice surgery, which requires only two-body nearest neighbor interactions in a fixed layout in addition to the indispensable error correction. This method can be used for the fault-tolerant transfer of quantum information between arbitrary topological subsystem codes in two dimensions and beyond. In particular, it can be employed to create a simple interface, a quantum bus, between noise resilient surface code memories and flexible color code processors.


title: Modeling Parallel Wiener-Hammerstein Systems Using Tensor Decomposition of Volterra Kernels

abstract: Providing flexibility and user-interpretability in nonlinear system identification can be achieved by means of block-oriented methods. One of such block-oriented system structures is the parallel Wiener-Hammerstein system, which is a sum of Wiener-Hammerstein branches, consisting of static nonlinearities sandwiched between linear dynamical blocks. Parallel Wiener-Hammerstein models have more descriptive power than their single-branch counterparts, but their identification is a non-trivial task that requires tailored system identification methods. In this work, we will tackle the identification problem by performing a tensor decomposition of the Volterra kernels obtained from the nonlinear system. We illustrate how the parallel Wiener-Hammerstein block-structure gives rise to a joint tensor decomposition of the Volterra kernels with block-circulant structured factors. The combination of Volterra kernels and tensor methods is a fruitful way to tackle the parallel Wiener-Hammerstein system identification task. In simulation experiments, we were able to reconstruct very accurately the underlying blocks under noisy conditions.


title: Limit theory for controlled McKean-Vlasov dynamics

abstract: This paper rigorously connects the problem of optimal control of McKean-Vlasov dynamics with large systems of interacting controlled state processes. Precisely, the empirical distributions of near-optimal control-state pairs for the $n$-state systems, as $n$ tends to infinity, admit limit points in distribution (if the objective functions are suitably coercive), and every such limit is supported on the set of optimal control-state pairs for the McKean-Vlasov problem. Conversely, any distribution on the set of optimal control-state pairs for the McKean-Vlasov problem can be realized as a limit in this manner. Arguments are based on controlled martingale problems, which lend themselves naturally to existence proofs; along the way it is shown that a large class of McKean-Vlasov control problems admit optimal Markovian controls.


title: Equivalence and/or quantum duality of the non/supersymmetric noncommutative field theories related by the theta-exact Seiberg-Witten map

abstract: In this article we expound a discovery of the quantum equivalence/duality of U(N) noncommutative quantum field theories (NC QFT) related by the theta-exact Seiberg-Witten (SW) maps and at all orders in the perturbation theory with respect to the coupling constant. We show that this proof holds for Super Yang-Mills (SYM) theories with N=0,1,2,4$ supersymmetry. In short, Seiberg-Witten map does commute with the quantization of the U(N) NCQFT independently, with or without supersymmetry.


title: Polynomial-Time Approximation for Nonconvex Optimization Problems with an L1-Constraint

abstract: Nonconvex optimization problems with an L1-constraint are ubiquitous, and are found in many application domains including: optimal control of hybrid systems, machine learning and statistics, and operations research. This paper shows that nonconvex optimization problems with an L1-constraint can be approximately solved in polynomial time. We first show that nonlinear integer programs with an L1-constraint can be solved in a number of oracle steps that is polynomial in the dimension of the decision variable, for each fixed radius of the L1-constraint. When specialized to polynomial integer programs, our result shows that such problems have a time complexity that is polynomial in simultaneously both the dimension of the decision variables and number of constraints, for each fixed radius of the L1-constraint. We prove this result using a geometric argument that leverages ideas from stochastic process theory and from the theory of convex bodies in high-dimensional spaces. We conclude by providing an additive polynomial time approximation scheme (PTAS) for continuous optimization of Lipschitz functions subject to Lipschitz constraints intersected with an L1-constraint, and we sketch a generalization to mixed-integer optimization.


title: Metrics Based on Finite Directed Graphs and Coding Invariants

abstract: Given a finite directed graph with $n$ vertices, we define a metric $d_G$ on $\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. The weight of a word is defined as the number of vertices that can be reached by a directed path starting at the support of the vector. Two canonical forms, which do not affect the metric, are given to each graph. Based on these forms we characterize each such metric. We further use these forms to prove that two graphs with different canonical forms yield different metrics. Efficient algorithms to check if a set of metric weights define a metric based on a graph are given. We provide tight bounds on the number of metric weights required to reconstruct the metric. Furthermore, we give a complete description of the group of linear isometries of the graph metrics and a characterization of the graphs for which every linear code admits a $G$-canonical decomposition. Considering those graphs, we are able to derive an expression of the packing radius of linear codes in such metric spaces. Finally, given a directed graph which determines a hierarchical poset, we present sufficient and necessary conditions to ensure the validity of the MacWilliams Identity and the MacWilliams Extension Property.


title: Impact of non-stationary optical illumination on image reconstruction in optoacoustic tomography

abstract: Optoacoustic tomography (OAT), also known as photoacoustic tomography, is a rapidly emerging hybrid imaging technique that possesses great potential for a wide range of biomedical imaging applications. In OAT, a laser is employed to illuminate the tissue of interest and acoustic signals are produced via the photoacoustic effect. From these data, an estimate of the distribution of the absorbed optical energy density within the tissue is reconstructed, referred to as the object function. This quantity is defined, in part, by the distribution of light fluence within the tissue that is established by the laser source. When performing three-dimensional imaging of large objects, such as a female human breast, it can be difficult to achieve a relatively uniform coverage of light fluence within the volume of interest when the position of the laser source is fixed. To circumvent this, researchers have proposed illumination schemes in which the relative position of the laser source and ultrasound probe is fixed, and both are rotated together to acquire a tomographic data set. A problem with this rotating-illumination scheme is that the tomographic data are inconsistent; namely, the acoustic data recorded at each tomographic view angle (i.e., probe position) are produced by a distinct object function. In this work, the impact of this data inconsistency on image reconstruction accuracy is investigated systematically. This is accomplished by use of computer-simulation studies and application of mathematical results from the theory of microlocal analysis. These studies specify the set of image discontinuities that can be stably reconstructed with a non-stationary optical illumination set-up. The study also includes a comparison of the ability of iterative and analytic image reconstruction methods to mitigate artifacts attributable to the data inconsistency.


title: Connecting VLBI and Gaia celestial reference frames

abstract: The current state of the link problem between radio and optical celestial reference frames is considered. The main objectives of the investigations in this direction during the next few years are the preparation of a comparison and the mutual orientation and rotation between the optical {\it Gaia} Celestial Reference Frame (GCRF) and the 3rd generation radio International Celestial Reference Frame (ICRF3), obtained from VLBI observations. Both systems, ideally, should be a realization of the ICRS (International Celestial Reference System) at micro-arcsecond level accuracy. Therefore, the link accuracy between the ICRF and GCRF should be obtained with similar error level, which is not a trivial task due to relatively large systematic and random errors in source positions at different frequency bands. In this paper, a brief overview of recent work on the GCRF--ICRF link is presented. Additional possibilities to improve the GCRF--ICRF link accuracy are discussed. The suggestion is made to use astrometric radio sources with optical magnitude to 20$^m$ rather than to 18$^m$ as currently planned for the GCRF--ICRF link. In addition, the use of radio stars is also a prospective method to obtain independent and accurate orientation between the Gaia frame and the ICRF.


title: The projective cover of the trivial representation for a finite group of Lie type in defining characteristic

abstract: We give a lower bound of the Loewy length of the projective cover of the trivial module for the group algebra $kG$ of a finite group $G$ of Lie type defined over a finite field of odd characteristic $p$, where $k$ is an arbitrary field of characteristic $p$; the proof uses Auslander-Reiten theory.


title: Localization of supersymmetric field theories on non-compact hyperbolic three-manifolds

abstract: We study supersymmetric gauge theories with an R-symmetry, defined on non-compact, hyperbolic, Riemannian three-manifolds, focusing on the case of a supersymmetry-preserving quotient of Euclidean AdS$_3$. We compute the exact partition function in these theories, using the method of localization, thus reducing the problem to the computation of one-loop determinants around a supersymmetric locus. We evaluate the one-loop determinants employing three different techniques: an index theorem, the method of pairing of eigenvalues, and the heat kernel method. Along the way, we discuss aspects of supersymmetry in manifolds with a conformal boundary, including supersymmetric actions and boundary conditions.


title: A brief introduction to Spectral Graph Theory

abstract: Expanded lecture notes. Preliminary version, comments are welcome.


title: On non-polynomial lower error bounds for adaptive strong approximation of SDEs

abstract: Recently, it has been shown in [Hairer, M., Hutzenthaler, M., Jentzen, A., Loss of regularity for Kolmogorov equations, Ann. Probab. 43, 2 (2015), 468--527] that there exists a system of stochastic differential equations (SDE) on the time interval $[0,T]$ with infinitely often differentiable and bounded coefficients such that the Euler scheme with equidistant time steps converges to the solution of this SDE at the final time in the strong sense but with no polynomial rate. Even worse, in [Jentzen, A., M\"uller-Gronbach, T., and Yaroslavtseva, L. On stochastic differential equations with arbitrary slow convergence rates for strong approximation, Commun. Math. Sci. 14, 7 (2016), 1477-1500] it has been shown that for any sequence $(a_n)_{n\in\mathbb N}\subset (0,\infty)$, which may converge to zero arbitrary slowly, there exists an SDE on $[0,T]$ with infinitely often differentiable and bounded coefficients such that no approximation of the solution of this SDE at the final time based on $n$ evaluations of the driving Brownian motion at fixed time points can achieve a smaller absolute mean error than the given number $a_n$. In the present article we generalize the latter result to the case when the approximations may choose the location as well as the number of the evaluation sites of the driving Brownian motion in an adaptive way dependent on the values of the Brownian motion observed so far.


title: Orientation Statistics and Quantum Information

abstract: Motivated by the engineering applications of uncertainty quantification, in this work we draw connections between the notions of random quantum states and operations in quantum information with probability distributions commonly encountered in the field of orientation statistics. This approach identifies natural probability distributions that can be used in the analysis, simulation, and inference of quantum information systems. The theory of exponential families on Stiefel manifolds provides the appropriate generalization to the classical case, and fortunately there are many existing techniques for inference and sampling that exist for these distributions. Furthermore, this viewpoint motivates a number of additional questions into the convex geometry of quantum operations relative to both the differential geometry of Stiefel manifolds as well as the information geometry of exponential families defined upon them. In particular, we draw on results from convex geometry to characterize which quantum operations can be represented as the average of a random quantum operation.


title: S-MART: Novel Tree-based Structured Learning Algorithms Applied to Tweet Entity Linking

abstract: Non-linear models recently receive a lot of attention as people are starting to discover the power of statistical and embedding features. However, tree-based models are seldom studied in the context of structured learning despite their recent success on various classification and ranking tasks. In this paper, we propose S-MART, a tree-based structured learning framework based on multiple additive regression trees. S-MART is especially suitable for handling tasks with dense features, and can be used to learn many different structures under various loss functions. We apply S-MART to the task of tweet entity linking --- a core component of tweet information extraction, which aims to identify and link name mentions to entities in a knowledge base. A novel inference algorithm is proposed to handle the special structure of the task. The experimental results show that S-MART significantly outperforms state-of-the-art tweet entity linking systems.


title: Review: Local Integrals of Motion in Many-Body Localized systems

abstract: We review the current (as of Fall 2016) status of the studies on the emergent integrability in many-body localized models. We start by explaining how the phenomenology of fully many-body localized systems can be recovered if one assumes the existence of a complete set of (quasi)local operators which commute with the Hamiltonian (local integrals of motion, or LIOMs). We describe the evolution of this idea from the initial conjecture, to the perturbative constructions, to the mathematical proof given for a disordered spin chain. We discuss the proposed numerical algorithms for the construction of LIOMs and the status of the debate on the existence and nature of such operators in systems with a many-body mobility edge, and in dimensions larger than one.


title: Derived A-infinity algebras and their homotopies

abstract: The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of the homotopy theory of these algebras, by introducing a hierarchy of notions of homotopy between the morphisms of such algebras. We define r-homotopy, for non-negative integers r, in such a way that r-homotopy equivalences underlie E_r-quasi-isomorphisms, defined via an associated spectral sequence. We study the special case of twisted complexes (also known as multicomplexes) first since it is of independent interest and this simpler case clearly exemplifies the structure we study. We also give two new interpretations of derived A-infinity algebras as A-infinity algebras in twisted complexes and as A-infinity algebras in split filtered cochain complexes.


title: Robust Regression For Image Binarization Under Heavy Noises and Nonuniform Background

abstract: This paper presents a robust regression approach for image binarization under significant background variations and observation noises. The work is motivated by the need of identifying foreground regions in noisy microscopic image or degraded document images, where significant background variation and severe noise make an image binarization challenging. The proposed method first estimates the background of an input image, subtracts the estimated background from the input image, and apply a global thresholding to the subtracted outcome for achieving a binary image of foregrounds. A robust regression approach was proposed to estimate the background intensity surface with minimal effects of foreground intensities and noises, and a global threshold selector was proposed on the basis of a model selection criterion in a sparse regression. The proposed approach was validated using 26 test images and the corresponding ground truths, and the outcomes of the proposed work were compared with those from nine existing image binarization methods. The approach was also combined with three state-of-the-art morphological segmentation methods to show how the proposed approach can improve their image segmentation outcomes.


title: Properties of the multiway discrepancy

abstract: Some properties of the multiway discrepanc of rectangular matrices of nonnegative entries are discussed. We are able to prove the continuity of this discrepancy, as well as some statements about the multiway discrepancy of some special matrices and graphs. We also conjecture that the k-way discrepancy is monotonic in k.


title: Swipe Mosaics from Video

abstract: A panoramic image mosaic is an attractive visualization for viewing many overlapping photos, but its images must be both captured and processed correctly to produce an acceptable composite. We propose Swipe Mosaics, an interactive visualization that places the individual video frames on a 2D planar map that represents the layout of the physical scene. Compared to traditional panoramic mosaics, our capture is easier because the user can both translate the camera center and film moving subjects. Processing and display degrade gracefully if the footage lacks distinct, overlapping, non-repeating texture. Our proposed visual odometry algorithm produces a distribution over (x,y) translations for image pairs. Inferring a distribution of possible camera motions allows us to better cope with parallax, lack of texture, dynamic scenes, and other phenomena that hurt deterministic reconstruction techniques. Robustness is obtained by training on synthetic scenes with known camera motions. We show that Swipe Mosaics are easy to generate, support a wide range of difficult scenes, and are useful for documenting a scene for closer inspection.


title: Electron - positron cascades in multiple-laser optical traps

abstract: We present an analytical and numerical study of multiple-laser QED cascades induced with linearly polarised laser pulses. We analyse different polarisation orientations and propose a configuration that maximises the cascade multiplicity and favours the laser absorption. We generalise the analytical estimate for the cascade growth rate previously calculated in the field of two colliding linearly polarised laser pulses and account for multiple laser interaction. The estimate is verified by a comprehensive numerical study of four-laser QED cascades across a range of different laser intensities with QED PIC module of OSIRIS. We show that by using four linearly polarised 30 fs laser pulses, one can convert more than 50 % of the total energy to gamma-rays already at laser intensity $I\simeq10^{24}\ \mathrm{W/cm^2}$. In this configuration, the laser conversion efficiency is higher compared with the case with two colliding lasers.


title: An Ontology of Preference-Based Multiobjective Metaheuristics

abstract: User preference integration is of great importance in multi-objective optimization, in particular in many objective optimization. Preferences have long been considered in traditional multicriteria decision making (MCDM) which is based on mathematical programming. Recently, it is integrated in multi-objective metaheuristics (MOMH), resulting in focus on preferred parts of the Pareto front instead of the whole Pareto front. The number of publications on preference-based multi-objective metaheuristics has increased rapidly over the past decades. There already exist various preference handling methods and MOMH methods, which have been combined in diverse ways. This article proposes to use the Web Ontology Language (OWL) to model and systematize the results developed in this field. A review of the existing work is provided, based on which an ontology is built and instantiated with state-of-the-art results. The OWL ontology is made public and open to future extension. Moreover, the usage of the ontology is exemplified for different use-cases, including querying for methods that match an engineering application, bibliometric analysis, checking existence of combinations of preference models and MOMH techniques, and discovering opportunities for new research and open research questions.


title: The multiplicity of memory enhancement: Practical and ethical implications of the diverse neural substrates underlying human memory systems

abstract: The neural basis of human memory is incredibly complex. We argue that the diversity of neural systems underlying various forms of memory suggests that any discussion of enhancing 'memory' per se is too broad, thus obfuscating the biopolitical debate about human enhancement. Memory can be differentiated into at least four major (and several minor) systems with largely dissociable (i.e., non-overlapping) neural substrates. We outline each system, and discuss both the practical and the ethical implications of these diverse neural substrates. In practice, distinct neural bases imply the possibility, and likely the necessity, of specific approaches for the safe and effective enhancement of various memory systems. In the debate over the ethical and social implications of enhancement technologies, this fine-grained perspective clarifies - and may partially mitigate - certain common concerns in enhancement debates, including issues related to safety, fairness, coercion, and authenticity. While many researchers certainly appreciate the neurobiological complexity of memory, the political debate tends to revolve around a monolithic one-size-fits-all conception. The overall project - exploring how human enhancement technologies affect society - stands to benefit from a deeper appreciation of memory's neurobiological diversity.


title: Toward Socially-Infused Information Extraction: Embedding Authors, Mentions, and Entities

abstract: Entity linking is the task of identifying mentions of entities in text, and linking them to entries in a knowledge base. This task is especially difficult in microblogs, as there is little additional text to provide disambiguating context; rather, authors rely on an implicit common ground of shared knowledge with their readers. In this paper, we attempt to capture some of this implicit context by exploiting the social network structure in microblogs. We build on the theory of homophily, which implies that socially linked individuals share interests, and are therefore likely to mention the same sorts of entities. We implement this idea by encoding authors, mentions, and entities in a continuous vector space, which is constructed so that socially-connected authors have similar vector representations. These vectors are incorporated into a neural structured prediction model, which captures structural constraints that are inherent in the entity linking task. Together, these design decisions yield F1 improvements of 1%-5% on benchmark datasets, as compared to the previous state-of-the-art.


title: Electron and phonon transport in shandite-structured Ni$_3$Sn$_2$S$_2$

abstract: The shandite family of solids, with hexagonal structure and composition A3M2X2 (A = Ni,Co,Rh,Pd; M = Pb,In,Sn,Tl; X = S,Se), has attracted recent research attention due to promising applications as thermoelectric materials. Herein we discuss the electron and phonon transport properties of shandite-structured Ni3Sn2S2, based on a combination of density functional theory (DFT), Boltzmann transport theory, and experimental measurements. Ni3Sn2S2 exhibits a metallic and non-magnetic groundstate with Ni$^0$ oxidation state and very low charge on Sn and S atoms. Seebeck coefficients obtained from theoretical calculations are in excellent agreement with those measured experimentally between 100 and 600 K. From the calculation of the ratio $\sigma$/$\tau$ between the electronic conductivity and relaxation time, and the experimental determination of electron conductivity, we extract the variation of the scattering rate (1/$\tau$) with temperature between 300 and 600 K, which turns out to be almost linear, thus implying that the dominant electron scattering mechanism in this temperature range is via phonons. The electronic thermal conductivity, which deviates only slightly from the Wiedemann-Franz law, provides the main contribution to thermal transport. The small lattice contribution to the thermal conductivity is calculated from the phonon structure and third-order force constants, and is only ~2 Wm$^{-1}$K$^{-1}$ at 300 K (less than 10% of the total thermal conductivity), which is confirmed by experimental measurements. Overall, Ni$_3$Sn$_2$S$_2$ is a poor thermoelectric material (ZT~0.01 at 300 K), principally due to the low absolute value of the Seebeck coefficient. However, the understanding of its transport properties will be useful for the rationalization of the thermoelectric behavior of other, more promising members of the shandite family.


title: Dynamical Systems and Sheaves

abstract: A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special cases include continuous and discrete dynamical systems (e.g. Moore machines). Additionally, morphisms between the different types of systems allow their translation in a common framework. A central goal is to understand the systems that result from arbitrary interconnection of component subsystems, possibly of different types, as well as establish conditions that ensure totality and determinism compositionally. The fundamental categorical tools used here include lax monoidal functors, which provide a language of compositionality, as well as sheaf theory, which flexibly captures the crucial notion of time.


title: On the Rationality of Nagaraj-Seshadri Moduli Space

abstract: We show that each of the irreducible components of moduli of rank 2 torsion-free sheaves with odd Euler characteristic over a reducible nodal curve is rational.


title: Fluctuations of Two-Dimensional Coulomb Gases

abstract: We prove a Central Limit Theorem for the linear statistics of two-dimensional Coulomb gases, with arbitrary inverse temperature and general confining potential, at the macroscopic and mesoscopic scales and possibly near the boundary of the support of the equilibrium measure. This can be stated in terms of convergence of the random electrostatic potential to a Gaussian Free Field. Our result is the first to be valid at arbitrary temperature and at the mesoscopic scales, and we recover previous results of Ameur-Hendenmalm-Makarov and Rider-Vir\'ag concerning the determinantal case, with weaker assumptions near the boundary. We also prove moderate deviations upper bounds, or rigidity estimates, for the linear statistics and a convergence result for those corresponding to energy-minimizers. The method relies on a change of variables, a perturbative expansion of the energy, and the comparison of partition functions deduced from our previous work. Near the boundary, we use recent quantitative stability estimates on the solutions to the obstacle problem obtained by Serra and the second author.


title: Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture

abstract: Making cities smarter help improve city services and increase citizens' quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms potentially support the development and integration of Smart City applications. However, the ICT community must overcome current significant technological and scientific challenges before these platforms can be widely used. This paper surveys the state-of-the-art in software platforms for Smart Cities. We analyzed 23 projects with respect to the most used enabling technologies, as well as functional and non-functional requirements, classifying them into four categories: Cyber-Physical Systems, Internet of Things, Big Data, and Cloud Computing. Based on these results, we derived a reference architecture to guide the development of next-generation software platforms for Smart Cities. Finally, we enumerated the most frequently cited open research challenges, and discussed future opportunities. This survey gives important references for helping application developers, city managers, system operators, end-users, and Smart City researchers to make project, investment, and research decisions.


title: Nonclassicality of local bipartite correlations

abstract: Simulating quantum nonlocality and steering requires augmenting pre-shared randomness with non-vanishing communication cost. This prompts the question of how one may provide such an operational characterization for the quantumness of correlations due even to unentangled states. Here we show that for a certain class of states, such quantumness can be pointed out by superlocality, the requirement for a larger dimension of the pre-shared randomness to simulate the correlations than that of the quantum state that generates them. This provides an approach to define the nonclassicality of local multipartite correlations in convex operational theories.


title: H.E.S.S. limits on line-like dark matter signatures in the 100 GeV to 2 TeV energy range close to the Galactic Centre

abstract: A search for dark matter line-like signals was performed in the vicinity of the Galactic Centre by the H.E.S.S. experiment on observational data taken in 2014. An unbinned likelihood analysis was developed to improve the sensitivity to line-like signals. The upgraded analysis along with newer data extend the energy coverage of the previous measurement down to 100 GeV. The 18 h of data collected with the H.E.S.S. array allow one to rule out at 95% CL the presence of a 130 GeV line (at $l = -1.5^{\circ}, b = 0^{\circ}$ and for a dark matter profile centered at this location) previously reported in Fermi-LAT data. This new analysis overlaps significantly in energy with previous Fermi-LAT and H.E.S.S. results. No significant excess associated with dark matter annihilations was found in the energy range 100 GeV to 2 TeV and upper limits on the gamma-ray flux and the velocity weighted annihilation cross-section are derived adopting an Einasto dark matter halo profile. Expected limits for present and future large statistics H.E.S.S. observations are also given.


title: How much can we trust high-resolution spectroscopic stellar atmospheric parameters?

abstract: The determination of atmospheric parameters depends on the use of radiative transfer codes (among other elements such as model atmospheres) to compute synthetic spectra and/or derive abundances from equivalent widths. However, it is common to mix results from different surveys/studies where different setups were used to derive the parameters. These inhomogeneities can lead us to inaccurate conclusions. In this work, we studied one aspect of the problem: When deriving atmospheric parameters from high-resolution stellar spectra, what differences originate from the use of different radiative transfer codes?


title: The effect of matter structure on the gravitational waveform

abstract: Third generation ground-based interferometers as well as the planned space-based interferometer LISA are expected to detect a plethora of gravitational wave signals from coalescing binaries at cosmological distance. The emitted gravitational waves propagate in the expanding universe through the inhomogeneous distribution of matter. Here we show that the acceleration of the universe and the peculiar acceleration of the binary with respect to the observer distort the gravitational chirp signal from the simplest General Relativity prediction beyond a mere time independent rescaling of the chirp mass, affecting intrinsic parameter estimations for the binaries visible by LISA. We find that the effect due to the peculiar acceleration can be much larger than the one due to the universe acceleration. Moreover, peculiar accelerations can introduce a bias in the estimation of parameters such as the time of coalescence and the individual masses of the binary. An error in the estimation of the arrival time will have an impact in the case of sources visible first by LISA and later by ground based interferometers.


title: Efficient and portable acceleration of quantum chemical many-body methods in mixed floating point precision using OpenACC compiler directives

abstract: It is demonstrated how the non-proprietary OpenACC standard of compiler directives may be used to compactly and efficiently accelerate the rate-determining steps of two of the most routinely applied many-body methods of electronic structure theory, namely the second-order M{\o}ller-Plesset (MP2) model in its resolution-of-the-identity (RI) approximated form and the (T) triples correction to the coupled cluster singles and doubles model (CCSD(T)). By means of compute directives as well as the use of optimized device math libraries, the operations involved in the energy kernels have been ported to graphics processing unit (GPU) accelerators, and the associated data transfers correspondingly optimized to such a degree that the final implementations (using either double and/or single precision arithmetics) are capable of scaling to as large systems as allowed for by the capacity of the host central processing unit (CPU) main memory. The performance of the hybrid CPU/GPU implementations is assessed through calculations on test systems of alanine amino acid chains using one-electron basis sets of increasing size (ranging from double- to pentuple-zeta quality). For all but the smallest problem sizes of the present study, the optimized accelerated codes (using a single multi-core CPU host node in conjunction with six GPUs) are found to be capable of reducing the total time-to-solution by at least an order of magnitude over optimized, OpenMP-threaded CPU-only reference implementations.


title: How much does a treedepth modulator help to obtain polynomial kernels beyond sparse graphs?

abstract: In the last years, kernelization with structural parameters has been an active area of research within the field of parameterized complexity. As a relevant example, Gajarsk{\`y} et al. [ESA 2013] proved that every graph problem satisfying a property called finite integer index admits a linear kernel on graphs of bounded expansion and an almost linear kernel on nowhere dense graphs, parameterized by the size of a $c$-treedepth modulator, which is a vertex set whose removal results in a graph of treedepth at most $c$, where $c \geq 1$ is a fixed integer. The authors left as further research to investigate this parameter on general graphs, and in particular to find problems that, while admitting polynomial kernels on sparse graphs, behave differently on general graphs. In this article we answer this question by finding two very natural such problems: we prove that Vertex Cover admits a polynomial kernel on general graphs for any integer $c \geq 1$, and that Dominating Set does not for any integer $c \geq 2$ even on degenerate graphs, unless $\text{NP} \subseteq \text{coNP}/\text{poly}$. For the positive result, we build on the techniques of Jansen and Bodlaender [STACS 2011], and for the negative result we use a polynomial parameter transformation for $c\geq 3$ and an OR-cross-composition for $c = 2$. As existing results imply that Dominating Set admits a polynomial kernel on degenerate graphs for $c = 1$, our result provides a dichotomy about the existence of polynomial kernels for Dominating Set on degenerate graphs with this parameter.


title: Chiral study of the $a_0(980)$ resonance and $\pi\eta$ scattering phase shifts in light of a recent lattice simulation

abstract: We investigate the $a_0(980)$ resonance within chiral effective field theory through a three-coupled-channel analysis, namely $\pi\eta$, $K\bar{K}$ and $\pi\eta'$. A global fit to recent lattice finite-volume energy levels from $\pi\eta$ scattering and relevant experimental data on a $\pi\eta$ event distribution and the $\gamma\gamma\to\pi\eta$ cross section is performed. Both the leading and next-to-leading-order analyses lead to similar and successful descriptions of the finite-volume energy levels and the experimental data. However, these two different analyses yield different $\pi\eta$ scattering phase shifts for the physical masses for the $\pi, K, \eta$ and $\eta'$ mesons. The inelasticities, the pole positions in the complex energy plane and their residues are calculated both for unphysical and physical meson masses.


title: Creating Causal Embeddings for Question Answering with Minimal Supervision

abstract: A common model for question answering (QA) is that a good answer is one that is closely related to the question, where relatedness is often determined using general-purpose lexical models such as word embeddings. We argue that a better approach is to look for answers that are related to the question in a relevant way, according to the information need of the question, which may be determined through task-specific embeddings. With causality as a use case, we implement this insight in three steps. First, we generate causal embeddings cost-effectively by bootstrapping cause-effect pairs extracted from free text using a small set of seed patterns. Second, we train dedicated embeddings over this data, by using task-specific contexts, i.e., the context of a cause is its effect. Finally, we extend a state-of-the-art reranking approach for QA to incorporate these causal embeddings. We evaluate the causal embedding models both directly with a casual implication task, and indirectly, in a downstream causal QA task using data from Yahoo! Answers. We show that explicitly modeling causality improves performance in both tasks. In the QA task our best model achieves 37.3% P@1, significantly outperforming a strong baseline by 7.7% (relative).


title: Estimates for the number of eigenvalues of two dimensional Schroedinger operators lying below the essential spectrum

abstract: The celebrated Cwikel-Lieb_Rozenblum inequality gives an upper estimate for the number of negative eigenvalues of Schroedinger operators in dimension three and higher. The situation is much more difficult in the two dimensional case. There has been significant progress in obtaining upper estimates for the number of negative eigenvalues of two dimensional Schroedinger operators on the whole plane. In this thesis, we present estimates of the Cwikel-Lieb_Rozenblum type for the number of eigenvalues (counted with multiplicities) of two dimensional Schroedinger operators lying below the essential spectrum in terms of the norms of the potential. The problem is considered on the whole plane with different supports of the potential of dimension between 0 and 2, and on a strip with various boundary conditions. In both cases, the estimates involve weighted L^1 norms and Orlicz norms of the potential.


title: Wavy membranes and the growth rate of a planar chemical garden: Enhanced diffusion and bioenergetics

abstract: In order to model ion transport across protocell membranes in Hadean hydrothermal vents, we consider both theoretically and experimentally the planar growth of a precipitate membrane formed at the interface between two parallel fluid streams in a two-dimensional microfluidic reactor. The growth rate of the precipitate is found to be proportional to the square root of time, which is characteristic of diffusive transport. However, the dependence of the growth rate on the concentrations of hydroxide and metal ions is approximately linear and quadratic, respectively. We show that such a difference in ionic transport dynamics arises from the enhanced transport of metal ions across a thin gel layer present at the surface of the precipitate. The fluctuations in transverse velocity in this wavy porous gel layer allow an enhanced transport of the cation, so that the effective diffusivity is about an order of magnitude higher than that expected from molecular diffusion alone. Our theoretical predictions are in excellent agreement with our laboratory measurements of the growth of a manganese hydroxide membrane in a microfluidic channel, and this enhanced transport is thought to have been needed to account for the bioenergetics of the first single-celled organisms.

categories: nlin.AO cond-mat.soft physics.bio-ph q-bio.SC


title: On Divisors of Modular Forms

abstract: The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(\tau)$ given in terms of the Hecke system of $\operatorname{SL}_2(\mathbb Z)$-modular functions $j_n(\tau)$. It is prominent in Zagier's seminal paper on traces of singular moduli, and in the Duncan-Frenkel work on Moonshine. The formula is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. We use these functions to study divisors of modular forms.


title: Adaptive Euler-Maruyama Method for SDEs with Non-globally Lipschitz Drift: Part I, Finite Time Interval

abstract: This paper proposes an adaptive timestep construction for an Euler-Maruyama approximation of SDEs with a drift which is not globally Lipschitz. It is proved that if the timestep is bounded appropriately, then over a finite time interval the numerical approximation is stable, and the expected number of timesteps is finite. Furthermore, the order of strong convergence is the same as usual, i.e. order one-half for SDEs with a non-uniform globally Lipschitz volatility, and order one for Langevin SDEs with unit volatility and a drift with sufficient smoothness. The analysis is supported by numerical experiments for a variety of SDEs.


title: Improved quasi parton distribution through Wilson line renormalization

abstract: Recent developments showed that hadron light-cone parton distributions could be directly extracted from spacelike correlators, known as quasi parton distributions, in the large hadron momentum limit. Unlike the normal light-cone parton distribution, a quasi parton distribution contains ultraviolet (UV) power divergence associated with the Wilson line self energy. We show that to all orders in the coupling expansion, the power divergence can be removed by a "mass" counterterm in the auxiliary $z$-field formalism, in the same way as the renormalization of power divergence for an open Wilson line. After adding this counterterm, the quasi quark distribution is improved such that it contains at most logarithmic divergences. Based on a simple version of discretized gauge action, we present the one-loop matching kernel between the improved non-singlet quasi quark distribution with a lattice regulator and the corresponding quark distribution in dimensional regularization.


title: Quantum Circuits for Quantum Channels

abstract: We study the implementation of quantum channels with quantum computers while minimizing the experimental cost, measured in terms of the number of Controlled-NOT (C-NOT) gates required (single-qubit gates are free). We consider three different models. In the first, the Quantum Circuit Model (QCM), we consider sequences of single-qubit and C-NOT gates and allow qubits to be traced out at the end of the gate sequence. In the second (RandomQCM), we also allow external classical randomness. In the third (MeasuredQCM) we also allow measurements followed by operations that are classically controlled on the outcomes. We prove lower bounds on the number of C-NOT gates required and give near-optimal decompositions in almost all cases. Our main result is a MeasuredQCM circuit for any channel from m qubits to n qubits that uses at most one ancilla and has a low C-NOT count. We give explicit examples for small numbers of qubits that provide the lowest known C-NOT counts.


title: Inducing Superconducting Correlation in Quantum Hall Edge States

abstract: The quantum Hall (QH) effect supports a set of chiral edge states at the boundary of a 2-dimensional electron gas (2DEG) system. A superconductor (SC) contacting these states induces correlation of the quasi-particles in the dissipationless 1D chiral QH edge states. If the superconducting electrode is narrower than the superconducting coherence length, the incoming electron are correlated to outgoing hole along the chiral edge state by the Andreev process. In order to realize this crossed Andreev conversion (CAC), it is necessary to fabricate highly transparent and nanometer-scale superconducting junctions to QH system. Here we report the observation of CAC in a graphene QH system contacted with a nanostructured NbN superconducting electrode. The chemical potential of the edge states across the superconducting electrode exhibits a sign reversal, providing direct evidence of CAC. This hybrid SC/QH system is a novel route to create isolated non-Abelian anyonic zero modes, in resonance with the chiral QH edge.


title: Classical and quantum dynamics of a charged scalar particle in a background of two counterpropagating plane waves

abstract: We consider a scalar particle in a background formed by two counter-propagating plane waves. Two cases are studied: i) dynamics at a magnetic node and ii) zero initial transverse canonical momentum. The Lorentz and Klein-Gordon equations are solved for these cases and approximations analysed. For the magnetic node solution (homogeneous, time-dependent electric field), the modified Volkov wavefunction which arises from a high-energy approximation is found to be inaccurate for all energies and the solution itself unstable when photon emission (nonlinear Compton scattering) is included. For the zero initial transverse canonical momentum case, in both quantum and classical cases, forbidden parameter regimes, absent in the plane wave model, are identified.

categories: quant-ph hep-ph physics.class-ph physics.plasm-ph