title: Fast and sensitive detection of hemoglobin and other paramagnetic species using coupled charge and spin dynamics in strongly fluorescent nanodiamonds

abstract: Sensing of a few unpaired electron spins, such as metal ions and radicals, is a useful but difficult task in nanoscale physics, biology, and chemistry. Single nitrogen-vacancy (NV) centers in diamond offer high sensitivity and spatial resolution in the optical detection of weak magnetic fields produced by a spin bath, but often require long acquisition times, of the order of seconds. Here we use a novel approach, based on coupled spin and charge dynamics in dense NV ensembles in strongly fluorescent nanodiamonds (NDs) to sense external magnetic dipoles. We apply this approach to various paramagnetic species, including gadolinium complexes, magnetite nanoparticles and hemoglobin in whole blood. Taking advantage of the high NV density, we demonstrate detection of subnanomolar amounts of Gd spins with ultrashort acquisition time approaching 10 ms. Strong luminescence, high sensitivity and short acquisition time make dense NV- ensembles in NDs a powerful tool for biosensing and bioimaging applications.


title: Maximum Weight Online Matching with Deadlines

abstract: We study the problem of matching agents who arrive at a marketplace over time and leave after d time periods. Agents can only be matched while they are present in the marketplace. Each pair of agents can yield a different match value, and the planner's goal is to maximize the total value over a finite time horizon. First we study the case in which vertices arrive in an adversarial order. We provide a randomized 0.25-competitive algorithm building on a result by Feldman et al. (2009) and Lehman et al. (2006). We extend the model to the case in which departure times are drawn independently from a distribution with non-decreasing hazard rate, for which we establish a 1/8-competitive algorithm. When the arrival order is chosen uniformly at random, we show that a batching algorithm, which computes a maximum-weighted matching every (d+1) periods, is 0.279-competitive.


title: Existence of hypersurfaces with prescribed mean curvature I - Generic min-max

abstract: We prove that, for a generic set of smooth prescription functions $h$ on a closed ambient manifold, there always exists a nontrivial, smooth, closed hypersurface of prescribed mean curvature $h$. The solution is either an embedded minimal hypersurface with integer multiplicity, or a non-minimal almost embedded hypersurface of multiplicity one. More precisely, we show that our previous min-max theory, developed for constant mean curvature hypersurfaces, can be extended to construct min-max prescribed mean curvature hypersurfaces for certain classes of prescription function, including smooth Morse functions and nonzero analytic functions. In particular we do not need to assume that $h$ has a sign.


title: The magnetic origin of the metal-insulator transition in V2O3: Mott meets Slater

abstract: Despite decades of experimental and theoretical efforts, the origin of metal-insulator transitions (MIT) in strongly-correlated materials is one of the main longstanding problems in condensed matter physics. An archetypal example is V2O3, where electronic, structural and magnetic phase transitions occur simultaneously. This remarkable concomitance makes the understanding of the origin of the MIT a challenge due to the many degrees of freedom at play. In this work, we demonstrate that magnetism plays the key dominant role. By acting on the magnetic degree of freedom, we reveal an anomalous behaviour of the magnetoresistance of V2O3, which provides strong evidence that the origin of the MIT in V2O3 is the opening of an antiferromagnetic gap in the presence of strong electronic correlations.


title: Local limit of nonlocal traffic models: convergence results and total variation blow-up

abstract: Consider a nonlocal conservation where the flux function depends on the convolution of the solution with a given kernel. In the singular local limit obtained by letting the convolution kernel converge to the Dirac delta one formally recovers a conservation law. However, recent counter-examples show that in general the solutions of the nonlocal equations do not converge to a solution of the conservation law. In this work we focus on nonlocal conservation laws modeling vehicular traffic: in this case, the convolution kernel is anisotropic. We show that, under fairly general assumptions on the (anisotropic) convolution kernel, the nonlocal-to-local limit can be rigorously justified provided the initial datum satisfies a one-sided Lipschitz condition and is bounded away from $0$. We also exhibit a counter-example showing that, if the initial datum attains the value $0$, then there are severe obstructions to a convergence proof.


title: Optimal Lebesgue constants for least squares polynomial approximation on the (hyper)sphere

abstract: We investigate the uniform approximation provided by least squares polynomials on the unit Euclidean sphere $\mathbb{S}^q$ in $\mathbb{R}^{q+1}$, with $q\ge 2$. Like any other polynomial projection, the study concerns the growth, as the degree $n$ tends to infinity, of the associated Lebesgue constant, i.e., of the uniform norm of the least squares operator. If the least squares polynomial of degree $n$ is based on a set of points, which are nodes of a positive weighted quadrature rule of degree of exactness $2n$, then we state two different sufficient conditions for having an optimal Lebesgue constant that increases with $n$ at the minimal projections order. Hence, under our assumptions least squares and hyperinterpolation polynomials provide a comparable approximation with respect to the uniform norm.


title: Joint constraints on Galactic diffuse neutrino emission from ANTARES and IceCube

abstract: The existence of diffuse Galactic neutrino production is expected from cosmic ray interactions with Galactic gas and radiation fields. Thus, neutrinos are a unique messenger offering the opportunity to test the products of Galactic cosmic ray interactions up to energies of hundreds of TeV. Here we present a search for this production using ten years of ANTARES track and shower data, as well as seven years of IceCube track data. The data are combined into a joint likelihood test for neutrino emission according to the KRA$_\gamma$ model assuming a 5 PeV per nucleon Galactic cosmic ray cutoff. No significant excess is found. As a consequence, the limits presented in this work start constraining the model parameter space for Galactic cosmic ray production and transport.


title: Long-distance QCD effects in FCNC $B\to \gamma l^+l^-$ decays

abstract: This presentation reviews the main results of our recent work [A.K., D.M., N.N., Phys. Rev. D97, 053007 (2018)] on rare radiative leptonic decays $B_{d,s}\to\gamma\mu^+\mu^-$ and $B_{d,s}\to\gamma e^+e ^-$ induced by flavour-changing neutral currents (FCNC) in the Standard Model.


title: Measuring azimuthal and radial modes of photons

abstract: With the emergence of the field of quantum communications, the appropriate choice of photonic degrees of freedom used for encoding information is of paramount importance. Highly precise techniques for measuring the polarisation, frequency, and arrival time of a photon have been developed. However, the transverse spatial degree of freedom still lacks a measurement scheme that allows the reconstruction of its full transverse structure with a simple implementation and a high level of accuracy. Here we show a method to measure the azimuthal and radial modes of Laguerre-Gaussian beams with a greater than 99% accuracy, using a single phase screen. We compare our technique with previous commonly used methods and demonstrate the significant improvements it presents for quantum key distribution and state tomography of high-dimensional quantum states of light. Moreover, our technique can be readily extended to any arbitrary family of spatial modes, such as mutually unbiased bases, Hermite-Gauss, and Ince-Gauss. Our scheme will significantly enhance existing quantum and classical communication protocols that use the spatial structure of light, as well as enable fundamental experiments on spatial-mode entanglement to reach their full potential.


title: Electrical and optical properties of MoS$_{2}$,MoO$_{x=2,3}$(MoSO)/RGO heterostructure

abstract: We report on transport properties of the controllable large area MoSO/Reduced graphene oxide(RGO) heterostructures electrodeposited on FTO substrates and its comparision with theoretical calculations on MoSo/Gr. I-V characteristics of the heterostructure made by P or n-type MoSO, exhibit Schottkey behavior in the interface similar to the MoS$_{2}$/Gr ones. Theoretical calculations show significant effects of lateral layer size as well as layer number in the electronic properties. In monolayer MoS$_{2}$/Gr by increasing the lateral size the energy gap disappears and the Fermi level shifts towards valence band. In the case of bilayer MoS$_{2}$ on bilayer Gr structure, the Fermi level shift is again towards valence band but, the gap is slightly higher than the monolayer structure. We found that the experimentally obtained results for n-type MoSO/RGO results are qualitatively in agreement with theoretical calculations of the MoS$_{2}$/Gr heterostructure. These results are beneficial to understand and design the high quality and low cost MoSO/RGO based electronic, optoelectronic and energy storage devices or cocatalysts.


title: How to prove the discrete reliability for nonconforming finite element methods

abstract: Optimal convergence rates of adaptive finite element methods are well understood in terms of the axioms of adaptivity. One key ingredient is the discrete reliability of a residual-based a posteriori error estimator, which controls the error of two discrete finite element solutions based on two nested triangulations. In the error analysis of nonconforming finite element methods, like the Crouzeix-Raviart or Morley finite element schemes, the difference of the piecewise derivatives of discontinuous approximations to the distributional gradients of global Sobolev functions plays a dominant role and is the object of this paper. The nonconforming interpolation operator, which comes natural with the definition of the aforementioned nonconforming finite element in the sense of Ciarlet, allows for stability and approximation properties that enable direct proofs of the reliability for the residual that monitors the equilibrium condition. The novel approach of this paper is the suggestion of a right-inverse of this interpolation operator in conforming piecewise polynomials to design a nonconforming approximation of a given coarse-grid approximation on a refined triangulation. The results of this paper allow for simple proofs of the discrete reliability in any space dimension and multiply connected domains on general shape-regular triangulations beyond newest-vertex bisection of simplices. Particular attention is on optimal constants in some standard discrete estimates listed in the appendices.


title: The Hall property $\mathcal{D}_\pi$ is inherited by overgroups of $\pi$-Hall subgroups

abstract: Let $\pi$ be a set of primes. We say that a finite group $G$ is a $\mathcal{D}_\pi$-group if the maximal $\pi$-subgroups of $G$ are conjugate. In this paper, we give an affirmative answer to Problem 17.44(b) from "Kourovka notebook", namely we prove that in a $\mathcal{D}_\pi$-group an overgroup of a $\pi$-Hall subgroup is always a $\mathcal{D}_\pi$-group.


title: Optimizing error of high-dimensional statistical queries under differential privacy

abstract: Differentially private algorithms for answering sets of predicate counting queries on a sensitive database have many applications. Organizations that collect individual-level data, such as statistical agencies and medical institutions, use them to safely release summary tabulations. However, existing techniques are accurate only on a narrow class of query workloads, or are extremely slow, especially when analyzing more than one or two dimensions of the data. In this work we propose HDMM, a new differentially private algorithm for answering a workload of predicate counting queries, that is especially effective for higher-dimensional datasets. HDMM represents query workloads using an implicit matrix representation and exploits this compact representation to efficiently search (a subset of) the space of differentially private algorithms for one that answers the input query workload with high accuracy. We empirically show that HDMM can efficiently answer queries with lower error than state-of-the-art techniques on a variety of low and high dimensional datasets.


title: On the p-Adic Navier-Stokes Equation

abstract: We prove the local solvability of the p-adic analog of the Navier-Stokes equation. This equation describes, within the p-adic model of porous medium, the flow of a fluid in capillaries.


title: Moduli of Weierstrass fibrations with marked section

abstract: We study the the moduli space of KSBA stable pairs $(X,sS+\sum a_i F_i)$, consisting of a Weierstrass fibration $X$, its section $S$, and some fibers $F_i$. We find a compactification which is a DM stack, and we describe the objects on the boundary. We show that the fibration in the definition of Weierstrass fibration extends to the boundary, and it is equidimensional when $s \ll 1$. We prove that there are wall-crossing morphisms when the weights $s$ and $a_i$ change. When $s=1$, this recovers the work of La Nave (arXiv:math/0205035); and a special case of the work of Ascher-Bejleri (arXiv:1702.06107).


title: Role of Resultant Dipole Moment in Mechanical Dissociation of Biological Complexes

abstract: Protein-peptide interactions play essential roles in many cellular processes and their structural characterization is the major focus of current experimental and theoretical research. Two decades ago, it was proposed to employ the steered molecular dynamics to assess the strength of protein-peptide interactions. The idea behind using steered molecular dynamics simulations is that the mechanical stability can be used as a promising and an efficient alternative to computationally highly demanding estimation of binding affinity. However, mechanical stability defined as a peak in force-extension profile depends on the choice of the pulling direction. Here we propose an uncommon choice of the pulling direction along resultant dipole moment vector, which has not been explored in simulations so far. Using explicit solvent all-atom MD simulations, we apply steered molecular dynamics technique to probe mechanical resistance of protein-peptide system pulled along two different vectors. A novel pulling direction, along the resultant dipole moment vector, results in stronger forces compared to commonly used peptide unbinding along center of masses vector. Our results demonstrate that resultant dipole moment is one of the factors influencing the mechanical stability of protein-peptide complex.


title: Skeletal filtrations of the fundamental group of a non-archimedean curve

abstract: In this paper we study skeleta of residually tame coverings of a marked curve over a non-archimedean field. We first generalize a result by Liu and Lorenzini by proving a simultaneous semistable reduction theorem for residually tame coverings. We then use this to construct a functor from the category of residually tame coverings of a marked curve $(X,D)$ to the category of tame coverings of a metrized complex $\Sigma$ associated to $(X,D)$. We enhance the latter category by adding a set of gluing data to every covering and we show that this yields an equivalence of categories. Using this equivalence, we then define filtrations of the fundamental group of the marked curve, giving for instance the absolute decomposition and inertia groups of the metrized complex. We then use the analytic slope formula to prove that the extensions that arise from the abelianizations of the decomposition and inertia quotients coincide with the extensions that arise from the toric and connected parts of the analytic Jacobian of the curve.


title: Isolated eigenvalues, poles and compact perturbations of Banach space operators

abstract: Given a Banach space operator $A$, the isolated eigenvalues $E(A)$ and the poles $\Pi(A)$ (resp., eigenvalues $E^a(A)$ which are isolated points of the approximate point spectrum and the left ploles $\Pi^a(A)$) of the spectrum of $A$ satisfy $\Pi(A)\subseteq E(A)$ (resp., $\Pi^a(A)\subseteq E^a(A)$), and the reverse inclusion holds if and only if $E(A)$ (resp., $E^a(A)$) has empty intersection with the B-Weyl spectrum (resp., upper B-Weyl spectrum) of $A$. Evidently $\Pi(A)\subseteq E^a(A)$, but no such inclusion exists for $E(A)$ and $\Pi^a(A)$. The study of identities $E(A)=\Pi^a(A)$ and $E^a(A)=\Pi(A)$, and their stability under perturbation by commuting Riesz operators, has been of some interest in the recent past. This paper studies the stability of these identities under perturbation by (non-commuting) compact operators. Examples of analytic Toeplitz operators and operators satisfying the abstract shift condition are considered.


title: Introducing fully UP-semigroups

abstract: In this paper, we introduce some new classes of algebras related to UP-algebras and semigroups, called a left UP-semigroup, a right UP-semigroup, a fully UP-semigroup, a left-left UP-semigroup, a right-left UP-semigroup, a left-right UP-semigroup, a right-right UP-semigroup, a fully-left UP-semigroup, a fully-right UP-semigroup, a left-fully UP-semigroup, a right-fully UP-semigroup, a fully-fully UP-semigroup, and find their examples.


title: A new result for boundedness in the quasilinear parabolic-parabolic Keller-Segel model (with logistic source)

abstract: The current paper considers the boundedness of solutions to the following quasilinear Keller-Segel model (with logistic source) $$\left\{\begin{array}{ll} u_t = \nabla\cdot(D(u)\nabla u)-\chi\nabla\cdot(u\nabla v)+\mu (u-u^2),\quad x\in \Omega, t>0,\\ v_t-\Delta v = u-v,\quad x\in \Omega, t>0,\\ (D(u)\nabla u-\chi u\cdot \nabla v)\cdot \nu = \frac{\partial v}{\partial\nu}=0,\quad x\in \partial\Omega, t>0,\\ u(x,0) = u_0(x),\quad v(x,0) = v_0(x),\ \ x\in \Omega, \end{array}\right.$$ where $\Omega\subset\mathbb{R}^N(N\geq1)$ is a bounded domain with smooth boundary $\partial\Omega,$ $\chi>0$ and $\mu\geq0$. We prove that for nonnegative and suitably smooth initial data $(u_0, v_0)$, if $D(u)\geq C_{D}(u+1)^{m-1}$ for all $u\geq 0$ with some $C_{D} > 0$ and some $m>2-\frac{2}{N}\frac{\chi\max\{1,\lambda_0\}}{[\chi\max\{1,\lambda_0\}-\mu]_{+}}$ or $m=2-\frac{2}{N}$ and $C_D>\frac{C_{GN}(1+\|u_0\|_{L^1(\Omega)})}{3}(2-\frac{2}{N})^2\max\{1,\lambda_0\}\chi$, the $(KS)$ possesses a global classical solution which is bounded in $\Omega\times (0,\infty)$, where $C_{GN}$ and $\lambda_0$ are the constants which are corresponding to the Gagliardo--Nirenberg inequality and the maximal Sobolev regularity. To our best knowledge, this seems to be the first rigorous mathematical result which (precisely) gives the relationship between $m$ and $\frac{\mu}{\chi}$ that yields to the boundedness of the solutions.


title: On testing for high-dimensional white noise

abstract: Testing for white noise is a classical yet important problem in statistics, especially for diagnostic checks in time series modeling and linear regression. For high-dimensional time series in the sense that the dimension $p$ is large in relation to the sample size $T$, the popular omnibus tests including the multivariate Hosking and Li-McLeod tests are extremely conservative, leading to substantial power loss. To develop more relevant tests for high-dimensional cases, we propose a portmanteau-type test statistic which is the sum of squared singular values of the first $q$ lagged sample autocovariance matrices. It, therefore, encapsulates all the serial correlations (upto the time lag $q$) within and across all component series. Using the tools from random matrix theory and assuming both $p$ and $T$ diverge to infinity, we derive the asymptotic normality of the test statistic under both the null and a specific VMA(1) alternative hypothesis. As the actual implementation of the test requires the knowledge of three characteristic constants of the population cross-sectional covariance matrix and the value of the fourth moment of the standardized innovations, non trivial estimations are proposed for these parameters and their integration leads to a practically usable test. Extensive simulation confirms the excellent finite-sample performance of the new test with accurate size and satisfactory power for a large range of finite $(p,T)$ combinations, therefore ensuring wide applicability in practice. In particular, the new tests are consistently superior to the traditional Hosking and Li-McLeod tests.


title: Global and local properties of finite groups with only finitely many central units in their integral group ring

abstract: The aim of this article is to explore global and local properties of finite groups whose integral group rings have only trivial central units, so-called cut groups. For such a group we study actions of Galois groups on its character table and show that the natural actions on the rows and columns are essentially the same, in particular the number of rational-valued irreducible characters coincides with the number of rational-valued conjugacy classes. Further, we prove a natural criterion for nilpotent groups of class 2 to be cut and give a complete list of simple cut groups. Also, the impact of the cut property on Sylow 3-subgroups is discussed. We also collect substantial data on groups which indicates that the class of cut groups is surprisingly large. Several open problems are included.


title: Quasi-exactly solvable quantum systems with explicitly time-dependent Hamiltonians

abstract: For a large class of time-dependent non-Hermitain Hamiltonians expressed in terms linear and bilinear combinations of the generators for an Euclidean Lie-algebra respecting different types of PT-symmetries, we find explicit solutions to the time-dependent Dyson equation. A specific Hermitian model with explicit time-dependence is analyzed further and shown to be quasi-exactly solvable. Technically we constructed the Lewis-Riesenfeld invariants making useof the metric picture, which is an equivalent alternative to the Schr\"{o}dinger, Heisenberg and interaction picture containing the time-dependence in the metric operator that relates the time-dependent Hermitian Hamiltonian to a static non-Hermitian Hamiltonian.


title: Small-time moderate deviations for the randomised Heston model

abstract: We extend previous large deviations results for the randomised Heston model to the case of moderate deviations. The proofs involve the G\"artner-Ellis theorem and sharp large deviations tools.


title: Evaluation of the Spatial Consistency Feature in the 3GPP GSCM Channel Model

abstract: Since the development of 4G networks, Multiple-Input Multiple-Output (MIMO) and later multiple-user MIMO became a mature part to increase the spectral efficiency of mobile communication networks. An essential part of simultaneous multiple-user communication is the grouping of users with complementing channel properties. With the introduction of Base Station (BS) with large amount of antenna ports, i.e. transceiver units, the focus in spatial precoding is moved from uniform to heterogeneous cell coverage with changing traffic demands throughout the cell and 3D beamforming. In order to deal with the increasing feedback requirement for Frequency-Division Duplex (FDD) systems, concepts for user clustering on second order statistics are suggested in both the scientific and standardization literature. Former 3rd Generation Partnership Project (3GPP) Geometry-based Stochastic Channel Model (GSCM) channel models lack the required spatial correlation of small-scale fading. Since the latest release of 3GPP Geometry-based Stochastic Channel Model this issue is claimed to be solved and hence our contribution is an evaluation of this spatial consistency feature.


title: Atmospheric turbulence mitigation for sequences with moving objects using recursive image fusion

abstract: This paper describes a new method for mitigating the effects of atmospheric distortion on observed sequences that include large moving objects. In order to provide accurate detail from objects behind the distorting layer, we solve the space-variant distortion problem using recursive image fusion based on the Dual Tree Complex Wavelet Transform (DT-CWT). The moving objects are detected and tracked using the improved Gaussian mixture models (GMM) and Kalman filtering. New fusion rules are introduced which work on the magnitudes and angles of the DT-CWT coefficients independently to achieve a sharp image and to reduce atmospheric distortion, respectively. The subjective results show that the proposed method achieves better video quality than other existing methods with competitive speed.


title: Majority carrier type inversion in FeSe family and "doped semimetal" scheme in iron-based superconductors

abstract: The field and temperature dependencies of the longitudinal and Hall resistivity have been studied for high-quality FeSe${}_{1-x}$S${}_{x}$ (x up to 0.14) single crystals. Quasiclassical analysis of the obtained data indicates a strong variation of the electron and hole concentrations under the studied isovalent substitution and proximity of FeSe to the point of the majority carrier-type inversion. On this basis, we propose a `doped semimetal' scheme for the superconducting phase diagram of the FeSe family, which can be applied to other iron-based superconductors. In this scheme, the two local maxima of the superconducting temperature can be associated with the Van Hove singularities of a simplified semi-metallic electronic structure. The multicarrier analysis of the experimental data also reveals the presence of a tiny and highly mobile electron band for all the samples studied. Sulfur substitution in the studied range leads to a decrease in the number of mobile electrons by more than ten times, from about 3\% to about 0.2\%. This behavior may indicate a successive change of the Fermi level position relative to singular points of the electronic structure which is consistent with the `doped semimetal' scheme. The scattering time for mobile carriers does not depend on impurities, which allows us to consider this group as a possible source of unusual acoustic properties of FeSe.


title: Conforming nanoparticle sheets to surfaces with Gaussian curvature

abstract: Nanoparticle monolayer sheets are ultrathin inorganic-organic hybrid materials that combine highly controllable optical and electrical properties with mechanical flexibility and remarkable strength. Like other thin sheets, their low bending rigidity allows them to easily roll into or conform to cylindrical geometries. Nanoparticle monolayers not only can bend, but also cope with strain through local particle rearrangement and plastic deformation. This means that, unlike thin sheets such as paper or graphene, nanoparticle sheets can much more easily conform to surfaces with complex topography characterized by non-zero Gaussian curvature, like spherical caps or saddles. Here, we investigate the limits of nanoparticle monolayers' ability to conform to substrates with Gaussian curvature by stamping nanoparticle sheets onto lattices of larger polystyrene spheres. Tuning the local Gaussian curvature by increasing the size of the substrate spheres, we find that the stamped sheet morphology evolves through three characteristic stages: from full substrate coverage, where the sheet extends over the interstices in the lattice, to coverage in the form of caps that conform tightly to the top portion of each sphere and fracture at larger polar angles, to caps that exhibit radial folds. Through analysis of the nanoparticle positions, obtained from scanning electron micrographs, we extract the local strain tensor and track the onset of strain-induced dislocations in the particle arrangement. By considering the interplay of energies for elastic and plastic deformations and adhesion, we construct arguments that capture the observed changes in sheet morphology as Gaussian curvature is tuned over two orders of magnitude.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft physics.app-ph


title: Dynamic all scores matrices for LCS score

abstract: The problem of aligning two strings A,B in order to determine their similarity is fundamental in the field of pattern matching. An important concept in this domain is the "all scores matrix" that encodes the local alignment comparison of two strings. Namely, let K denote the all scores matrix containing the alignment score of every substring of B with A, and let J denote the all scores matrix containing the alignment score of every suffix of B with every prefix of A. In this paper we consider the problem of maintaining an all scores matrix where the scoring function is the LCS score, while supporting single character prepend and append operations to A and N. Our algorithms exploit the sparsity parameters L=LCS(A,B) and Delta = |B|-L. For the matrix K we propose an algorithm that supports incremental operations to both ends of A in O(Delta) time. Whilst for the matrix J we propose an algorithm that supports a single type of incremental operation, either a prepend operation to A or an append operation to B, in O(L) time. This structure can also be extended to support both operations simultaneously in O(L log log L) time.


title: Integrated gallium phosphide nonlinear photonics

abstract: Gallium phosphide (GaP) is an indirect bandgap semiconductor used widely in solid-state lighting. Despite numerous intriguing optical properties---including large $\chi^{(2)}$ and $\chi^{(3)}$ coefficients, a high refractive index ($>3$), and transparency from visible to long-infrared wavelengths ($0.55-11\,\mu$m)---its application as an integrated photonics material has been little studied. Here we introduce GaP-on-insulator as a platform for nonlinear photonics, exploiting a direct wafer bonding approach to realize integrated waveguides with 1.2 dB/cm loss in the telecommunications C-band (on par with Si-on-insulator). High quality $(Q> 10^5)$, grating-coupled ring resonators are fabricated and studied. Employing a modulation transfer approach, we obtain a direct experimental estimate of the nonlinear index of GaP at telecommunication wavelengths: $n_2=1.2(5)\times 10^{-17}\,\text{m}^2/\text{W}$. We also observe Kerr frequency comb generation in resonators with engineered dispersion. Parametric threshold powers as low as 3 mW are realized, followed by broadband ($>100$ nm) frequency combs with sub-THz spacing, frequency-doubled combs and, in a separate device, efficient Raman lasing. These results signal the emergence of GaP-on-insulator as a novel platform for integrated nonlinear photonics.


title: Ektelo: A Framework for Defining Differentially-Private Computations

abstract: The adoption of differential privacy is growing but the complexity of designing private, efficient and accurate algorithms is still high. We propose a novel programming framework and system, Ektelo, for implementing both existing and new privacy algorithms. For the task of answering linear counting queries, we show that nearly all existing algorithms can be composed from operators, each conforming to one of a small number of operator classes. While past programming frameworks have helped to ensure the privacy of programs, the novelty of our framework is its significant support for authoring accurate and efficient (as well as private) programs. After describing the design and architecture of the Ektelo system, we show that Ektelo is expressive, allows for safer implementations through code reuse, and that it allows both privacy novices and experts to easily design algorithms. We demonstrate the use of Ektelo by designing several new state-of-the-art algorithms.


title: Existence of symmetric maximal noncrossing collections of $k$-element sets

abstract: We investigate the existence of maximal collections of mutually noncrossing $k$-element subsets of $\left\{ 1, \dots, n \right\}$ that are invariant under adding $k\pmod n$ to all indices. Our main result is that such a collection exists if and only if $k$ is congruent to $0, 1$ or $-1$ modulo $n/\operatorname{GCD}(k,n)$. Moreover, we present some algebraic consequences of our result related to self-injective Jacobian algebras.


title: A Security Analysis of IoT Encryption: Side-channel Cube Attack on Simeck32/64

abstract: Simeck, a lightweight block cipher has been proposed to be one of the encryption that can be employed in the Internet of Things (IoT) applications. Therefore, this paper presents the security of the Simeck32/64 block cipher against side-channel cube attack. We exhibit our attack against Simeck32/64 using the Hamming weight leakage assumption to extract linearly independent equations in key bits. We have been able to find 32 linearly independent equations in 32 key variables by only considering the second bit from the LSB of the Hamming weight leakage of the internal state on the fourth round of the cipher. This enables our attack to improve previous attacks on Simeck32/64 within side-channel attack model with better time and data complexity of 2^35 and 2^11.29 respectively.


title: Graphite in 90 T: Evidence for Strong-coupling Excitonic Pairing

abstract: Strong magnetic field induces at least two phase transitions in graphite beyond the quantum limit where many-body effects are expected. We report on a study using a state-of-the-art non-destructive magnet allowing to attain 90.5 T at 1.4 K, which reveals a new field-induced phase and evidence that the insulating state destroyed at 75 T is an excitonic condensate of electron-hole pairs. By monitoring the angle dependence of in-plane and out-of-plane magnetoresistance, we distinguish between the role of cyclotron and Zeeman energies in driving various phase transitions. We find that, with the notable exception of the transition field separating the two insulating states, the threshold magnetic field for all other transitions display an exact cosine angular dependence. Remarkably, the threshold field for the destruction of the second insulator (phase B) is temperature-independent with no detectable Landau-level crossing nearby. We conclude that the field-induced insulator starts as a weak-coupling spin-density-wave, but ends as a strong-coupling excitonic insulator of spin-polarized electron-hole pairs.


title: Regular Tree Algebras

abstract: We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the existence of syntactic algebras. Finally, we give a more algebraic characterisation of the algebras in our class.


title: Emergence of topological Mott insulators in proximity of quadratic band touching points

abstract: Recently, the field of strongly correlated electrons has begun an intense search for a correlation induced topological insulating phase. An example is the quadratic band touching point which arises in a checkerboard lattice at half-filling, and in the presence of interactions gives rise to topological Mott insulators. In this work, we perform a mean-field theory computation to show that such a system shows instability to topological insulating phases even away from half-filling (chemical potential $\mu = 0 $). The interaction parameters consist of on-site repulsion ($ U $), nearest-neighbour repulsion ($ V $), and a next-nearest-neighbour correlated hopping ($ t_\text{c} $). The $t_\text{c}$ interaction originates from strong Coulomb repulsion. By tuning the values of these parameters, we obtain a desired topological phase that spans the area around $(V = 0 , \mu = 0)$, extending to regions with $(V>0,\mu=0)$ and $(V>0,\mu>0)$. This extends the realm of current experimental efforts to find these topological phases.


title: Finding a Small Number of Colourful Components

abstract: A partition $(V_1,\ldots,V_k)$ of the vertex set of a graph $G$ with a (not necessarily proper) colouring $c$ is colourful if no two vertices in any $V_i$ have the same colour and every set $V_i$ induces a connected graph. The COLOURFUL PARTITION problem is to decide whether a coloured graph $(G,c)$ has a colourful partition of size at most $k$. This problem is closely related to the COLOURFUL COMPONENTS problem, which is to decide whether a graph can be modified into a graph whose connected components form a colourful partition by deleting at most $p$ edges. Nevertheless we show that COLOURFUL PARTITION and COLOURFUL COMPONENTS may have different complexities for restricted instances. We tighten known NP-hardness results for both problems and in addition we prove new hardness and tractability results for COLOURFUL PARTITION. Using these results we complete our paper with a thorough parameterized study of COLOURFUL PARTITION.


title: Seeing opportunity in every difficulty: protecting information with weak value techniques

abstract: A weak value is an effective description of the influence of a pre and post-selected 'principal' system on another 'meter' system to which it is weakly coupled. Weak values can describe anomalously large deflections of the meter, and deflections in otherwise unperturbed variables: this motivates investigation of the potential benefits of the protocol in precision metrology. We present a visual interpretation of weak value experiments in phase space, enabling an evaluation of the effects of three types of detector noise as 'Fisher information efficiency' functions. These functions depend on the marginal distribution of the Wigner function of the meter, and give a unified view of the weak value protocol as a way of protecting Fisher information from detector imperfections. This approach explains why weak value techniques are more effective for avoiding detector saturation than for mitigating detector jitter or pixelation.


title: AKARI and IRAS: From Beam Corrections to SEDs

abstract: There is significant scientific value to be gained from combining AKARI fluxes with data at other far-IR wavelengths from the IRAS and Herschel missions. To be able to do this we must ensure that there are no systematic differences between the datasets that need to be corrected before the fluxes are compatible with each other. One such systematic effect identified in the BSCv1 data is the issue of beam corrections. We determine these for the BSCv2 data by correlating ratios of appropriate IRAS and AKARI bands with the difference in 2MASS J band extended and point source magnitudes for sources cross matched between the IRAS FSC, AKARI BSCv2 and 2MASS catalogs. We find significant correlations (p<< 10^-13) indicating that beam corrections are necessary in the 65 and 90 micron bands. We then use these corrected fluxes to supplement existing data in spectral energy distribution (SED) fits for ultraluminous infrared galaxies in the HERUS survey. The addition of AKARI fluxes makes little difference to the results of simple (T,beta) fits to the SEDs of these sources, though there is a general decrease in reduced chi^2 values. The utility of the extra AKARI data, however, is in allowing physically more realistic SED models with more parameters to be fit to the data. We also extend our analysis of beam correction issues in the AKARI data by examining the Herschel Reference Sample, which have Herschel photometry from 100 to 500 microns and which are more spatially extended than the HERUS ULIRGs. Thirty-four of the HRS sources have good Herschel SEDs and matching data from AKARI. This investigation finds that our simple 2MASS-based beam correction scheme is inadequate for these larger and more complex sources. There are also indications that additional beam corrections at 140 and 160 microns are needed for these sources, extended on scales >1 arcminute.


title: Reduction techniques for the finitistic dimension

abstract: In this paper we develop new reduction techniques for testing the finiteness of the finitistic dimension of a finite dimensional algebra over a field. Viewing the latter algebra as a quotient of a path algebra, we propose two operations on the quiver of the algebra, namely arrow removal and vertex removal. The former gives rise to cleft extensions and the latter to recollements. These two operations provide us new practical methods to detect algebras of finite finitistic dimension. We illustrate our methods with many examples.


title: Footprints of New Physics in $b\to c\tau\nu$ Transitions

abstract: In this work, we perform a combined analysis of the $R(D)$, $R(D^*)$, and $R(J/\psi)$ anomalies in a model-independent manner based on the general framework of the four-fermion effective field theory, paying special attention to the use of the hadronic form factors. For the $B\to D(D^*)$ transition form factors, we use the HQET parametrization that includes the higher order corrections of $\mathcal{O}(\alpha_s,\Lambda_{\mathrm{QCD}}/m_{b,c})$ and was determined recently from a fit to lattice QCD and light-cone sum rule results in complementary kinematical regions of the momentum transfer. For the $B_c\to J/\psi(\eta_c)$ transitions, we use the form factors calculated in the covariant light-front quark model, which are found to be well consistent with the preliminary lattice results. With this particular treatment of hadronic matrix elements, in our analysis the two classes of vector operators are shown to be the most favored single new physics (NP) operators by the current experimental constraints within $2\sigma$ and the LEP1 data on $Br(B_c\to \tau\nu)$ as well as the minimum $\chi^2$ fit, while the tensor operator is also allowed but severely constrained, and the scalar ones are excluded. Using the favored ranges and fitted values of the Wilson coefficients of the single NP operators, we also give a prognosis for the physical observables such as the ratios of decay rates ($R(D(D^*)), R(J/\psi(\eta_c))$) and other polarized observables as well as the $q^2$ distributions.


title: Greedy Algorithms for Approximating the Diameter of Machine Learning Datasets in Multidimensional Euclidean Space

abstract: Finding the diameter of a dataset in multidimensional Euclidean space is a well-established problem, with well-known algorithms. However, most of the algorithms found in the literature do not scale well with large values of data dimension, so the time complexity grows exponentially in most cases, which makes these algorithms impractical. Therefore, we implemented 4 simple greedy algorithms to be used for approximating the diameter of a multidimensional dataset; these are based on minimum/maximum l2 norms, hill climbing search, Tabu search and Beam search approaches, respectively. The time complexity of the implemented algorithms is near-linear, as they scale near-linearly with data size and its dimensions. The results of the experiments (conducted on different machine learning data sets) prove the efficiency of the implemented algorithms and can therefore be recommended for finding the diameter to be used by different machine learning applications when needed.


title: Robust adaptive hp discontinuous Galerkin finite element methods for the Helmholtz equation

abstract: This paper presents an $hp$ a posteriori error analysis for the 2D Helmholtz equation that is robust in the polynomial degree $p$ and the wave number $k$. For the discretization, we consider a discontinuous Galerkin formulation that is unconditionally well posed. The a posteriori error analysis is based on the technique of equilibrated fluxes applied to a shifted Poisson problem, with the error due to the nonconformity of the discretization controlled by a potential reconstruction. We prove that the error estimator is both reliable and efficient, under the condition that the initial mesh size and polynomial degree is chosen such that the discontinuous Galerkin formulation converges, i.e., it is out of the regime of pollution. We confirm the efficiency of an $hp$-adaptive refinement strategy based on the presented robust a posteriori error estimator via several numerical examples.


title: Choosing the optimal multi-point iterative method for the Colebrook flow friction equation -- Numerical validation

abstract: The Colebrook equation $\zeta$ is implicitly given in respect to the unknown flow friction factor $\lambda$; $\lambda=\zeta(Re,\epsilon^*,\lambda)$ which cannot be expressed explicitly in exact way without simplifications and use of approximate calculus. Common approach to solve it is through the Newton-Raphson iterative procedure or through the fixed-point iterative procedure. Both requires in some case even eight iterations. On the other hand numerous more powerful iterative methods such as three-or two-point methods, etc. are available. The purpose is to choose optimal iterative method in order to solve the implicit Colebrook equation for flow friction accurately using the least possible number of iterations. The methods are thoroughly tested and those which require the least possible number of iterations to reach the accurate solution are identified. The most powerful three-point methods require in worst case only two iterations to reach final solution. The recommended representatives are Sharma-Guha-Gupta, Sharma-Sharma, Sharma-Arora, D\v{z}uni\'c-Petkovi\'c-Petkovi\'c; Bi-Ren-Wu, Chun-Neta based on Kung-Traub, Neta, and Jain method based on Steffensen scheme. The recommended iterative methods can reach the final accurate solution with the least possible number of iterations. The approach is hybrid between iterative procedure and one-step explicit approximations and can be used in engineering design for initial rough, but also for final fine calculations.


title: Self-equilibration theorem in quantum-point contacts of interacting electrons: time-dependent quantum fluctuations of tunnel transport beyond the Levitov-Lesovik scattering approach

abstract: Equilibration to the steady state for a wide class of Luttinger liquid ballistic weakly linked tunnel contacts is extensively studied. Quantum fluctuations of tunnel current are considered in all orders in tunnel coupling and out of the equilibrium in the time domain. Especially, two important mathematical statements: Self-equilibration (SE-)theorem and Self-equilibration (SE-)lemma on the exact re-exponentiation of thermal average from the Keldysh-contour-ordered evolution operator for arbitrary weakly linked Luttinger liquid tunnel contact are proven. Demonstrated proof of SE-theorem and SE-lemma represents first evidence of a novel emergent phenomenon of "self-equilibration" in the dynamics of quantum fluctuations of electron transport through ballistic tunnel junctions. This phenomenon and all related real-time full counting statistics are shown to be much more general as compared to the usual Levitov-Lesovik scattering approach for the non-interacting electrons, though SE-theorem also contains known results obtained within the Levitov-Lesovik scattering approach as corresponding limiting case for lowest order cumulants at $ g=1 $. As the result, corresponding differential equation of "self-equilibration" for time-dependent Keldysh partition function of tunnel contact is derived and explained. As the consequence of obtained results, a universal character of self-equilibration of tunnel current in one-dimensional weakly linked tunnel junctions is revealed and studied on the level of non-equilibrium Fano factor. As well, a new measure of disequilibrium in such systems - the "steady flow" rate - is also introduced and discussed.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP quant-ph


title: Densely Connected Convolutional Networks for Speech Recognition

abstract: This paper presents our latest investigation on Densely Connected Convolutional Networks (DenseNets) for acoustic modelling (AM) in automatic speech recognition. DenseN-ets are very deep, compact convolutional neural networks, which have demonstrated incredible improvements over the state-of-the-art results on several data sets in computer vision. Our experimental results show that DenseNet can be used for AM significantly outperforming other neural-based models such as DNNs, CNNs, VGGs. Furthermore, results on Wall Street Journal revealed that with only a half of the training data DenseNet was able to outperform other models trained with the full data set by a large margin.


title: Physics-based Learned Design: Optimized Coded-Illumination for Quantitative Phase Imaging

abstract: Coded-illumination can enable quantitative phase microscopy of transparent samples with minimal hardware requirements. Intensity images are captured with different source patterns and a non-linear phase retrieval optimization reconstructs the image. The non-linear nature of the processing makes optimizing the illumination pattern designs complicated. Traditional techniques for experimental design (e.g. condition number optimization, spectral analysis) consider only linear measurement formation models and linear reconstructions. Deep neural networks (DNNs) can efficiently represent the non-linear process and can be optimized over via training in an end-to-end framework. However, DNNs typically require a large amount of training examples and parameters to properly learn the phase retrieval process, without making use of the known physical models. Here, we aim to use both our knowledge of the physics and the power of machine learning together. We develop a new data-driven approach to optimizing coded-illumination patterns for a LED array microscope for a given phase reconstruction algorithm. Our method incorporates both the physics of the measurement scheme and the non-linearity of the reconstruction algorithm into the design problem. This enables efficient parameterization, which allows us to use only a small number of training examples to learn designs that generalize well in the experimental setting without retraining. We show experimental results for both a well-characterized phase target and mouse fibroblast cells using coded-illumination patterns optimized for a sparsity-based phase reconstruction algorithm. Our learned design results using 2 measurements demonstrate similar accuracy to Fourier Ptychography with 69 measurements.


title: Simultaneous H alpha and dust reverberation mapping of 3C120: Testing the bowl-shaped torus geometry

abstract: At the Universitaetssternwarte Bochum near Cerro Armazones we have monitored the Seyfert-1 galaxy 3C 120 between September 2014 and March 2015 in BVRI and a narrow band filter covering the redshifted H alpha line; in addition we obtained a single con-temporary spectrum with FAST at Mt. Hopkins. Compared to earlier epochs 3C 120 is about a factor of three brighter, allowing us to study the shape of the broad line region (BLR) and the dust torus in a high luminosity phase. The analysis of the light curves yields that the dust echo is rather sharp and symmetric in contrast to the more complex broad H alpha BLR echo. We investigate how far this supports an optically thick bowl-shaped BLR and dust torus geometry as proposed by Kawaguchi & Mori (2010) and Goad et al. (2012). The comparison with several parameterizations of these models supports the following geometry: the BLR clouds lie inside the bowl closely above the bowl rim, up to a half covering angle 0 deg < theta < 40 deg (measured against the equatorial plane). Then the BLR is spread over many isodelay surfaces, yielding a smeared and structured echo as observed. Furthermore, if the BLR clouds shield the bottom of the bowl rim against radiation from the nucleus, the hot dust emission comes essentially from the top edge of the bowl (40 deg < theta < 45 deg). Then, for small inclinations as for 3C120, the top dust edge forms a ring which largely coincides with a narrow range of isodelay surfaces, yielding the observed sharp dust echo. The scale height of the BLR increases with radial distance from the black hole. This leads to luminosity dependent foreshortening effects of the lag. We discuss implications and possible corrections of the foreshortening for the black hole mass determination and consequences for the lag (size) - luminosity relationships and the difference to interferometric torus sizes.


title: Enumerating Anchored Permutations with Bounded Gaps

abstract: Say that a permutation of $1,2,\ldots,n$ is \textit{$k$-bounded} if every pair of consecutive entries in the permutation differs by no more than $k$. Such a permutation is \textit{anchored} if the first entry is $1$ and the last entry is $n$. We show that the generating function for the enumeration of $k$-bounded anchored permutations is always rational, mirroring the known result on (non-anchored) $k$-bounded permutations due to Avgustinovich and Kitaev. We then explicitly determine the recursive formulas of minimal depth for the number of anchored $k$-bounded permutations of $n$ for $k=2$ and $k=3$, resolving a conjecture listed on the Online Encyclopedia of Integer Sequences (entry A249665). We additionally show that the number of anchored $k$-bounded permutations of $n$ is asymptotically $O\left(k^n\right)$ as a function of $n$ for a given $k$.


title: Computation of Stability Radii for Large-Scale Dissipative Hamiltonian Systems

abstract: A linear time-invariant dissipative Hamiltonian (DH) system x' = (J-R)Q x, with a skew-Hermitian J, an Hermitian positive semi-definite R, and an Hermitian positive definite Q, is always Lyapunov stable and under weak further conditions even asymptotically stable. In various applications there is uncertainty on the system matrices J, R, Q, and it is desirable to know whether the system remains asymptotically stable uniformly against all possible uncertainties within a given perturbation set. Such robust stability considerations motivate the concept of stability radius for DH systems, i.e., what is the maximal perturbation permissible to the coefficients J, R, Q, while preserving the asymptotic stability. We consider two stability radii, the unstructured one where J, R, Q are subject to unstructured perturbation, and the structured one where the perturbations preserve the DH structure. We employ characterizations for these radii that have been derived recently in [SIAM J. Matrix Anal. Appl., 37, pp. 1625-1654, 2016] and propose new algorithms to compute these stability radii for large scale problems by tailoring subspace frameworks that are interpolatory and guaranteed to converge at a super-linear rate in theory. At every iteration, they first solve a reduced problem and then expand the subspaces in order to attain certain Hermite interpolation properties between the full and reduced problems. The reduced problems are solved by means of the adaptations of existing level-set algorithms for H-infinity norm computation in the unstructured case, while, for the structured radii, we benefit from algorithms that approximate the objective eigenvalue function with a piece-wise quadratic global underestimator. The performance of the new approaches is illustrated with several examples including a system that arises from a finite-element modeling of an industrial disk brake.


title: Weakly- and Semi-Supervised Panoptic Segmentation

abstract: We present a weakly supervised model that jointly performs both semantic- and instance-segmentation -- a particularly relevant problem given the substantial cost of obtaining pixel-perfect annotation for these tasks. In contrast to many popular instance segmentation approaches based on object detectors, our method does not predict any overlapping instances. Moreover, we are able to segment both "thing" and "stuff" classes, and thus explain all the pixels in the image. "Thing" classes are weakly-supervised with bounding boxes, and "stuff" with image-level tags. We obtain state-of-the-art results on Pascal VOC, for both full and weak supervision (which achieves about 95% of fully-supervised performance). Furthermore, we present the first weakly-supervised results on Cityscapes for both semantic- and instance-segmentation. Finally, we use our weakly supervised framework to analyse the relationship between annotation quality and predictive performance, which is of interest to dataset creators.


title: Recording Concerns in Source Code Using Annotations

abstract: A concern can be characterized as a developer's intent behind a piece of code, often not explicitly captured in it. We discuss a technique of recording concerns using source code annotations (concern annotations). Using two studies and two controlled experiments, we seek to answer the following 3 research questions: 1) Do programmers' mental models overlap? 2) How do developers use shared concern annotations when they are available? 3) Does using annotations created by others improve program comprehension and maintenance correctness, time and confidence? The first study shows that developers' mental models, recorded using concern annotations, overlap and thus can be shared. The second study shows that shared concern annotations can be used during program comprehension for the following purposes: hypotheses confirmation, feature location, obtaining new knowledge, finding relationships and maintenance notes. The first controlled experiment with students showed that the presence of annotations significantly reduced program comprehension and maintenance time by 34%. The second controlled experiment was a differentiated replication of the first one, focused on industrial developers. It showed a 33% significant improvement in correctness. We conclude that concern annotations are a viable way to share developers' thoughts.


title: Influence of minivalleys and Berry curvature on electrostatically induced quantum wires in gapped bilayer graphene

abstract: We show that the spectrum of subbands in an electrostatically defined quantum wire in gapped bilayer graphene directly manifests the minivalley structure and reflects Berry curvature via the associated magnetic moment of the states in the low-energy bands of this two-dimensional material. We demonstrate how these appear in degeneracies of the low-energy minibands and their valley splitting, which develops linearly in a weak magnetic field. Consequently, magneto-conductance of a ballistic point contact connecting two non-gapped areas of a bilayer through a gapped (top and bottom gated) barrier would reflect such degeneracies by the heights of the first few conductance steps developing upon the increase of the doping of the BLG conduction channel: $8e^2/h$ steps in a wide channel in BLG with a large gap, $4e^2/h$ steps in narrow channels, all splitting into a staircase of $2e^2/h$ steps upon lifting valley degeneracy by a magnetic field.


title: Dropout is a special case of the stochastic delta rule: faster and more accurate deep learning

abstract: Multi-layer neural networks have lead to remarkable performance on many kinds of benchmark tasks in text, speech and image processing. Nonlinear parameter estimation in hierarchical models is known to be subject to overfitting and misspecification. One approach to these estimation and related problems (local minima, colinearity, feature discovery etc.) is called Dropout (Hinton, et al 2012, Baldi et al 2016). The Dropout algorithm removes hidden units according to a Bernoulli random variable with probability $p$ prior to each update, creating random "shocks" to the network that are averaged over updates. In this paper we will show that Dropout is a special case of a more general model published originally in 1990 called the Stochastic Delta Rule, or SDR (Hanson, 1990). SDR redefines each weight in the network as a random variable with mean $\mu_{w_{ij}}$ and standard deviation $\sigma_{w_{ij}}$. Each weight random variable is sampled on each forward activation, consequently creating an exponential number of potential networks with shared weights. Both parameters are updated according to prediction error, thus resulting in weight noise injections that reflect a local history of prediction error and local model averaging. SDR therefore implements a more sensitive local gradient-dependent simulated annealing per weight converging in the limit to a Bayes optimal network. Tests on standard benchmarks (CIFAR) using a modified version of DenseNet shows the SDR outperforms standard Dropout in test error by approx. $17\%$ with DenseNet-BC 250 on CIFAR-100 and approx. $12-14\%$ in smaller networks. We also show that SDR reaches the same accuracy that Dropout attains in 100 epochs in as few as 35 epochs.


title: Large-scale cosmic-ray anisotropies above 4 EeV measured by the Pierre Auger Observatory

abstract: We present a detailed study of the large-scale anisotropies of cosmic rays with energies above 4 EeV measured using the Pierre Auger Observatory. For the energy bins [4,8] EeV and $E\geq 8$ EeV, the most significant signal is a dipolar modulation in right ascension at energies above 8 EeV, as previously reported. In this paper we further scrutinize the highest-energy bin by splitting it into three energy ranges. We find that the amplitude of the dipole increases with energy above 4 EeV. The growth can be fitted with a power law with index $\beta=0.79\pm 0.19$. The directions of the dipoles are consistent with an extragalactic origin of these anisotropies at all the energies considered. Additionally we have estimated the quadrupolar components of the anisotropy: they are not statistically significant. We discuss the results in the context of the predictions from different models for the distribution of ultrahigh-energy sources and cosmic magnetic fields.


title: Johnson type bounds for mixed dimension subspace codes

abstract: Subspace codes, i.e., sets of subspaces of $\mathbb{F}_q^v$, are applied in random linear network coding. Here we give improved upper bounds for their cardinalities based on the Johnson bound for constant dimension codes.


title: Ion velocity and electron temperature inside and around the diamagnetic cavity of comet 67P

abstract: A major point of interest in cometary plasma physics has been the diamagnetic cavity, an unmagnetized region in the inner-most part of the coma. Here, we combine Langmuir and Mutual Impedance Probe measurements to investigate ion velocities and electron temperatures in the diamagnetic cavity of comet 67P, probed by the Rosetta spacecraft. We find ion velocities generally in the range 2-4 km/s, significantly above the expected neutral velocity $\lesssim$1~km/s, showing that the ions are (partially) decoupled from the neutrals, indicating that ion-neutral drag was not responsible for balancing the outside magnetic pressure. Observations of clear wake effects on one of the Langmuir probes showed that the ion flow was close to radial and supersonic, at least w.r.t. the perpendicular temperature, inside the cavity and possibly in the surrounding region as well. We observed spacecraft potentials $\lesssim$-5~V throughout the cavity, showing that a population of warm ($\sim$5~eV) electrons was present throughout the parts of the cavity reached by Rosetta. Also, a population of cold ($\lesssim0.1$~eV) electrons was consistently observed throughout the cavity, but less consistently in the surrounding region, suggesting that while Rosetta never entered a region of collisionally coupled electrons, such a region was possibly not far away during the cavity crossings.


title: Diffeomorphisms preserving Morse-Bott functions

abstract: Let $f:M\to\mathbb{R}$ be a Morse-Bott function on a closed manifold $M$, so the set $\Sigma_f$ of its critical points is a closed submanifold whose connected components may have distinct dimensions. Denote by $\mathcal{S}(f) = \{h \in \mathcal{D}(M) \mid f\circ h=h \}$ the group of diffeomorphisms of $M$ preserving $f$ and let $\mathcal{D}(\Sigma_f)$ be the group of diffeomorphisms of $\Sigma_f$. We prove that the "restriction to $\Sigma_f$" map $\rho:\mathcal{S}(f) \to \mathcal{D}(\Sigma_f)$, $\rho(h) = h|_{\Sigma_f}$, is a locally trivial fibration over its image $\rho(\mathcal{S}(f))$.


title: Tunneling anomalous Hall effect in a ferroelectric tunnel junction

abstract: We report on a theoretical study on the tunneling anomalous Hall effect (TAHE) in a ferroelectric tunnel junction (FTJ), resulting from spin-orbit coupling (SOC) in the ferroelectric barrier. For ferroelectric barriers with large SOC, such as orthorhombic HfO2 and BiInO3, we predict values of the tunneling anomalous Hall conductivity (TAHC) measurable experimentally. We demonstrate strong anisotropy in TAHC depending on the type of SOC. For the SOC with equal Rashba and Dresselhaus parameters, we predict the perfect anisotropy with zero TAHC for certain magnetization orientations. The TAHC changes sign with ferroelectric polarization reversal providing a new functionality of FTJs. Conversely, measuring the TAHC as a function of magnetization orientation offers an efficient way to quantify the type of SOC in the insulating barrier. Our results provide a new insight into the TAHE and open avenues for potential device applications.


title: Shape differentiability of Lagrangians and application to Stokes problem

abstract: A class of convex constrained minimization problems over polyhedral cones for geometry-dependent quadratic objective functions is considered in a functional analysis framework. Shape differentiability of the primal minimization problem needs a bijective property for mapping of the primal cone. This restrictive assumption is relaxed to bijection of the dual cone within the Lagrangian formulation as a primal-dual minimax problem. In this paper, we give results on primal-dual shape sensitivity analysis that extends the class of shape-differentiable problems supported by explicit formula of the shape derivative. We apply the results to the Stokes problem under mixed Dirichlet-Neumann boundary conditions subject to the divergence-free constraint.


title: One-dimensional quasicrystals with power-law hopping

abstract: One-dimensional quasi-periodic systems with power-law hopping, $1/r^a$, differ from both the standard Aubry-Azbel-Harper (AAH) model and from power-law systems with uncorrelated disorder. Whereas in the AAH model all single-particle states undergo a transition from ergodic to localized at a critical quasi-disorder strength, short-range power-law hops with $a>1$ can result in mobility edges. Interestingly, there is no localization for long-range hops with $a\leq 1$, in contrast to the case of uncorrelated disorder. Systems with long-range hops are rather characterized by ergodic-to-multifractal edges and a phase transition from ergodic to multifractal (extended but non ergodic) states. We show that both mobility and ergodic-to-multifractal edges may be clearly revealed in experiments on expansion dynamics.


title: On the moments of the (2+1)-dimensional directed polymer and stochastic heat equation in the critical window

abstract: The partition function of the directed polymer model on Z^{2+1} undergoes a phase transition in a suitable continuum and weak disorder limit. In this paper, we focus on a window around the critical point. Exploiting local renewal theorems, we compute the limiting third moment of the space-averaged partition function, showing that it is uniformly bounded. This implies that the rescaled partition functions, viewed as a generalized random field on R^2, have non-trivial subsequential limits, and each such limit has the same explicit covariance structure. We obtain analogous results for the stochastic heat equation on R^2, extending previous work by Bertini and Cancrini.


title: A simplified convolutional sparse filter for impulsive signature enhancement and its application to the prognostic of rotating machinery

abstract: Impulsive signature enhancement (ISE) is an important topic in the monitoring of rotating machinery and many different methods have been proposed. Even though, the topic of how to leverage these ISE techniques to improve the data quality in terms of prognostics and health management (PHM) still needs to be investigated. In this work, a systematic view for data quality enhancement is presented. The data quality issues for the prognostics and health management (PHM) of rotating machinery are identified, and the major steps to enhance data quality are organized. Based on this, a novel ISE algorithm is originally proposed, the importance of extracting scale invariant features are explained, and also related features are proposed for the PHM of rotating machinery. In order to demonstrate the effectiveness of the novelties, two experimental studies are presented. The final results indicate that the proposed method can be effectively employed to enhance the data quality for machine failure detection and diagnosis.


title: New physics from TOTEM's recent measurements of elastic and total cross sections

abstract: We analyze the recently discovered phenomena in elastic proton-proton scattering at the LHC, challenging the standard Regge-pole theory: the low-$|t|$ "break" (departure from the exponential behavior of the diffraction cone), the accelerating rise with energy of the forward slope $B(s,t=0)$, the absence of secondary dips and bumps on the cone and the role of the odderon in the forward phase of the amplitude, $\rho(13~TeV)=0.1\pm0.01$, and especially its contribution at the dip region, measured recently by TOTEM. Relative contributions from different components to the scattering amplitude are evaluated from the fitted model.


title: Nakayama automorphisms of Ore extensions over polynomial algebras

abstract: Nakayama automorphisms play an important role in several mathematical branches, which are known to be tough to compute in general. We compute the Nakayama automorphism $\nu$ of any Ore extension $R[x; \sigma, \delta]$ over a polynomial algebra $R$ in $n$ variables for an arbitrary $n$. The formula of $\nu$ is obtained explicitly. When $\sigma$ is not the identity map, the invariant $E^G$ is also investigated in term of Zhang's twist, where $G$ is a cyclic group sharing the same order with $\sigma$.


title: New global optimality conditions for nonsmooth DC optimization problems

abstract: In this article we propose a new approach to an analysis of DC optimization problems. This approach was largely inspired by codifferential calculus and the method of codifferential descent and is based on the use of a so-called affine support set of a convex function instead of the Frenchel conjugate function. With the use of affine support sets we define a global codifferential mapping of a DC function and derive new necessary and sufficient global optimality conditions for DC optimization problems. We also provide new simple necessary and sufficient conditions for the global exactness of the $\ell_1$ penalty function for DC optimization problems with equality and inequality constraints and present a series of simple examples demonstrating a constructive nature of the new global optimality conditions. These examples show that when the optimality conditions are not satisfied, they can be easily utilised in order to find "global descent" directions of both constrained and unconstrained problems. As an interesting theoretical example, we apply our approach to the analysis of a nonsmooth problem of Bolza.


title: How Complex is your classification problem? A survey on measuring classification complexity

abstract: Characteristics extracted from the training datasets of classification problems have proven to be effective predictors in a number of meta-analyses. Among them, measures of classification complexity can be used to estimate the difficulty in separating the data points into their expected classes. Descriptors of the spatial distribution of the data and estimates of the shape and size of the decision boundary are among the known measures for this characterization. This information can support the formulation of new data-driven pre-processing and pattern recognition techniques, which can in turn be focused on challenges highlighted by such characteristics of the problems. This paper surveys and analyzes measures which can be extracted from the training datasets in order to characterize the complexity of the respective classification problems. Their use in recent literature is also reviewed and discussed, allowing to prospect opportunities for future work in the area. Finally, descriptions are given on an R package named Extended Complexity Library (ECoL) that implements a set of complexity measures and is made publicly available.


title: On the structure of the set of active sets in constrained linear quadratic regulation

abstract: The constrained linear quadratic regulation problem is solved by a continuous piecewise affine function on a set of state space polytopes. It is an obvious question whether this solution can be built up iteratively by increasing the horizon, i.e., by extending the classical backward dynamic programming solution for the unconstrained case to the constrained case. Unfortunately, however, the piecewise affine solution for horizon N is in general not contained in the piecewise affine law for horizon N + 1. We show that a backward dynamic programming does, in contrast, result in a useful structure for the set of the active sets that defines the solution. Essentially, every active set for the problem with horizon N + 1 results from extending an active set for horizon N , if the constraints are ordered stage by stage. Consequently, the set for horizon N + 1 can be found by only considering the constraints of the additional stage. Furthermore, it is easy to detect which polytopes and affine pieces are invariant to increasing the horizon, and therefore persist in the limit N to infinity. Several other aspects of the structure of the set of active sets become evident if the active sets are represented by bit tuples. There exists, for example, a subset of special active sets that generates a positive invariant and persistent (i.e., horizon invariant) set around the origin. It is very simple to identify these special active sets, and the positive invariant and persistent region can be found without solving optimal control or auxiliary optimization problems. The paper briefly discusses the use of these results in model predictive control. Some opportunities for uses in computational methods are also briefly summarized.


title: Nilpotent orbits of orthogonal groups over $p$-adic fields, and the DeBacker parametrization

abstract: For local non-archimedean fields $k$ of sufficiently large residual characteristic, we explicitly parametrize and count the rational nilpotent adjoint orbits in each algebraic orbit of orthogonal and special orthogonal groups. We separately give an explicit algorithmic construction for representatives of each orbit. We then, in the general setting of groups $\mathrm{GL}_n(D)$, $\mathrm{SL}_n(D)$ (where $D$ is a central division algebra over $k$) or classical groups, give a new characterisation of the "building set" (defined by DeBacker) of an $\mathfrak{sl}_2(k)$-triple in terms of the building of its centralizer. Using this, we prove our construction realizes DeBacker's parametrization of rational nilpotent orbits via elements of the Bruhat-Tits building.


title: Overlapping community detection using superior seed set selection in social networks

abstract: Community discovery in the social network is one of the tremendously expanding areas which earn interest among researchers for the past one decade. There are many already existing algorithms. However, new seed-based algorithms establish an emerging drift in this area. The basic idea behind these strategies is to identify exceptional nodes in the given network, called seeds, around which communities can be located. This paper proposes a blended strategy for locating suitable superior seed set by applying various centrality measures and using them to find overlapping communities. The examination of the algorithm has been performed regarding the goodness of the identified communities with the help of intra-cluster density and inter-cluster density. Finally, the runtime of the proposed algorithm has been compared with the existing community detection algorithms showing remarkable improvement.


title: Scaling to the stars -- a linearly scaling elliptic solver for $p$-multigrid

abstract: High-order methods gain increased attention in computational fluid dynamics. However, due to the time step restrictions arising from the semi-implicit time stepping for the incompressible case, the potential advantage of these methods depends critically on efficient elliptic solvers. Due to the operation counts of operators scaling with with the polynomial degree $p$ times the number of degrees of freedom $n_{\mathrm{DOF}}$, the runtime of the best available multigrid solvers scales with $\mathcal{O}( p \cdot n_{\mathrm{DOF}})$. This scaling with $p$ significantly lowers the applicability of high-order methods to high orders. While the operators for residual evaluation can be linearized when using static condensation, Schwarz-type smoothers require their inverses on fixed subdomains. No explicit inverse is known in the condensed case and matrix-matrix multiplications scale with ${p \cdot n_{\mathrm{DOF}}}$. This paper derives a matrix-free explicit inverse for the static condensed operator in a cuboidal subdomain. It scales with $p^3$ per element, i.e. ${n_{\mathrm{DOF}}}$ globally, and allows for a linearly scaling additive Schwarz smoother, yielding a $p$-multigrid cycle with an operation count of $\mathcal{O}(n_{\mathrm{DOF}})$. The resulting solver uses fewer than four iterations for all polynomial degrees to reduce the residual by ten orders and has a runtime scaling linearly with ${n_{\mathrm{DOF}}}$ for polynomial degrees at least up to $48$. Furthermore the runtime is less than one microsecond per unknown over wide parameter ranges when using one core of a CPU, leading to time-stepping for the incompressible Navier-Stokes equations using as much time for explicitly treated convection terms as for the elliptic solvers.


title: Integrable Hamiltonian systems with a periodic orbit or invariant torus unique in the whole phase space

abstract: It is very well known that periodic orbits of autonomous Hamiltonian systems are generically organized into smooth one-parameter families (the parameter being just the energy value). We present a simple example of an integrable Hamiltonian system (with an arbitrary number of degrees of freedom greater than one) with a unique periodic orbit in the phase space (which is not compact). Similar examples are given for Hamiltonian systems with a unique invariant torus (of any prescribed dimension) carrying conditionally periodic motions. Parallel examples for Hamiltonian systems with a compact phase space and with uniqueness replaced by isolatedness are also constructed. Finally, reversible analogues of all the examples are described.


title: Rigidity of proper colorings of $\mathbb{Z}^d$

abstract: A proper $q$-coloring of a domain in $\mathbb{Z}^d$ is a function assigning one of $q$ colors to each vertex of the domain such that adjacent vertices are colored differently. Sampling a proper $q$-coloring uniformly at random, does the coloring typically exhibit long-range order? It has been known since the work of Dobrushin that no such ordering can arise when $q$ is large compared with $d$. We prove here that long-range order does arise for each $q$ when $d$ is sufficiently high, and further characterize all periodic maximal-entropy Gibbs states for the model. Ordering is also shown to emerge in low dimensions if the lattice $\mathbb{Z}^d$ is replaced by $\mathbb{Z}^{d_1}\times\mathbb{T}^{d_2}$ with $d_1\ge 2$, $d=d_1+d_2$ sufficiently high and $\mathbb{T}$ a cycle of even length. The results address questions going back to Berker--Kadanoff (1980), Koteck\'y (1985) and Salas--Sokal (1997).


title: Overarching Computation Model (OCM)

abstract: Existing models of computation, such as a Turing machine (hereafter, TM), do not consider the agent involved in interpreting the outcome of the computation. We argue that a TM, or any other computation model, has no significance if its output is not interpreted by some agent. Furthermore, we argue that including the interpreter in the model definition sheds light on some of the difficult problems faced in computation and mathematics. We provide an analytic process framework to address this limitation. The framework can be overlaid on existing concepts of computation to address many practical and philosophical concerns such as the P vs NP problem. In addition, we argue that the P vs NP problem is reminiscent of existing computation model which does not account for the person that initiates the computation and interprets the intermediate and final output. We utilize the observation that deterministic computational procedures lack fundamental capacity to fully simulate their non-deterministic variant to conclude that the set NP cannot be fully contained in P. Deterministic procedure can approximate non-deterministic variant to some degree. However, the logical implication of the fundamental differences between determinism and non-determinism is that equivalence of the two classes is impossible to establish.


title: Search for charged Higgs bosons decaying into top and bottom quarks at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search for charged Higgs bosons heavier than the top quark and decaying via $H^\pm \rightarrow tb$ is presented. The data analysed corresponds to 36.1 fb$^{-1}$ of $pp$ collisions at $\sqrt{s}$ = 13 TeV and was recorded with the ATLAS detector at the LHC in 2015 and 2016. The production of a charged Higgs boson in association with a top quark and a bottom quark, $pp \rightarrow tb H^\pm$, is explored in the mass range from $m_{H^\pm}$ = 200 to 2000 GeV using multi-jet final states with one or two electrons or muons. Events are categorised according to the multiplicity of jets and how likely these are to have originated from hadronisation of a bottom quark. Multivariate techniques are used to discriminate between signal and background events. No significant excess above the background-only hypothesis is observed and exclusion limits are derived for the production cross-section times branching fraction of a charged Higgs boson as a function of its mass, which range from 2.9 pb at $m_{H^\pm}$ = 200 GeV to 0.070 pb at $m_{H^\pm}$ = 2000 GeV. The results are interpreted in two benchmark scenarios of the Minimal Supersymmetric Standard Model.


title: A nearly continuous observation of the equatorial plasmasphere from the inner radiation belt to near a magnetopause reconnection site

abstract: On 22 October 2015, VAP and MMS obtained near-continuous observations of the full radial extent of the duskside equatorial plasmasphere and plume. The plume is evident in in situ plasma data and an equatorial mapping of the ionospheric total electron content. The properties of the equatorial plasmasphere change dramatically from its the inner radiation belt to its outermost boundary (the magnetopause, near a reconnection site). The density decreases by a factor of $\sim$1000 over this range and scales with $L$-shell as $L^{-4.3\pm0.4}$, in good agreement with with theoretical expectations of the expansion of a flux tube volume during outward radial transport. The proton temperature increases by a factor of $\sim$100 over this same range, with the most pronounced heating occurring at $L>7$, which was covered by the orbit of MMS.


title: Using Randomness to Improve Robustness of Machine-Learning Models Against Evasion Attacks

abstract: Machine learning models have been widely used in security applications such as intrusion detection, spam filtering, and virus or malware detection. However, it is well-known that adversaries are always trying to adapt their attacks to evade detection. For example, an email spammer may guess what features spam detection models use and modify or remove those features to avoid detection. There has been some work on making machine learning models more robust to such attacks. However, one simple but promising approach called {\em randomization} is underexplored. This paper proposes a novel randomization-based approach to improve robustness of machine learning models against evasion attacks. The proposed approach incorporates randomization into both model training time and model application time (meaning when the model is used to detect attacks). We also apply this approach to random forest, an existing ML method which already has some degree of randomness. Experiments on intrusion detection and spam filtering data show that our approach further improves robustness of random-forest method. We also discuss how this approach can be applied to other ML models.


title: Temporal starvation in multi-channel CSMA networks: an analytical framework

abstract: In this paper we consider a stochastic model for a frequency-agile CSMA protocol for wireless networks where multiple orthogonal frequency channels are available. Even when the possible interference on the different channels is described by different conflict graphs, we show that the network dynamics can be equivalently described as that of a single-channel CSMA algorithm on an appropriate virtual network. Our focus is on the asymptotic regime in which the network nodes try to activate aggressively in order to achieve maximum throughput. Of particular interest is the scenario where the number of available channels is not sufficient for all nodes of the network to be simultaneously active and the well-studied temporal starvation issues of the single-channel CSMA dynamics persist. For most networks we expect that a larger number of available channels should alleviate these temporal starvation issues. However, we prove that the aggregate throughput is a non-increasing function of the number of available channels. To investigate this trade-off that emerges between aggregate throughput and temporal starvation phenomena, we propose an analytical framework to study the transient dynamics of multi-channel CSMA networks by means of first hitting times. Our analysis further reveals that the mixing time of the activity process does not always correctly characterize the temporal starvation in the multi-channel scenario and often leads to pessimistic performance estimates.

categories: math.PR cond-mat.stat-mech cs.NI math.CO


title: How accurately can we measure the reconnection rate $E_M$ for the MMS diffusion region event of 2017-07-11?

abstract: We investigate the accuracy with which the reconnection electric field $E_M$ can be determined from in-situ plasma data. We study the magnetotail electron diffusion region observed by NASA's Magnetospheric Multiscale (MMS) on 2017-07-11 at 22:34 UT and focus on the very large errors in $E_M$ that result from errors in an $LMN$ boundary-normal coordinate system. We determine several $LMN$ coordinates for this MMS event using several different methods. We use these $M$ axes to estimate $E_M$. We find some consensus that the reconnection rate was roughly $E_M$=3.2 mV/m $\pm$ 0.06 mV/m, which corresponds to a normalized reconnection rate of $0.18\pm0.035$. Minimum variance analysis of the electron velocity (MVA-$v_e$), MVA of $E$, minimization of Faraday residue, and an adjusted version of the maximum directional derivative of the magnetic field (MDD-$B$) technique all produce {reasonably} similar coordinate axes. We use virtual MMS data from a particle-in-cell simulation of this event to estimate the errors in the coordinate axes and reconnection rate associated with MVA-$v_e$ and MDD-$B$. The $L$ and $M$ directions are most reliably determined by MVA-$v_e$ when the spacecraft observes a clear electron jet reversal. When the magnetic field data has errors as small as 0.5\% of the background field strength, the $M$ direction obtained by MDD-$B$ technique may be off by as much as 35$^\circ$. The normal direction is most accurately obtained by MDD-$B$. Overall, we find that these techniques were able to identify $E_M$ from the virtual data within error bars $\geq$20\%.


title: Disease Progression Timeline Estimation for Alzheimer's Disease using Discriminative Event Based Modeling

abstract: Alzheimer's Disease (AD) is characterized by a cascade of biomarkers becoming abnormal, the pathophysiology of which is very complex and largely unknown. Event-based modeling (EBM) is a data-driven technique to estimate the sequence in which biomarkers for a disease become abnormal based on cross-sectional data. It can help in understanding the dynamics of disease progression and facilitate early diagnosis and prognosis. In this work we propose a novel discriminative approach to EBM, which is shown to be more accurate than existing state-of-the-art EBM methods. The method first estimates for each subject an approximate ordering of events. Subsequently, the central ordering over all subjects is estimated by fitting a generalized Mallows model to these approximate subject-specific orderings. We also introduce the concept of relative distance between events which helps in creating a disease progression timeline. Subsequently, we propose a method to stage subjects by placing them on the estimated disease progression timeline. We evaluated the proposed method on Alzheimer's Disease Neuroimaging Initiative (ADNI) data and compared the results with existing state-of-the-art EBM methods. We also performed extensive experiments on synthetic data simulating the progression of Alzheimer's disease. The event orderings obtained on ADNI data seem plausible and are in agreement with the current understanding of progression of AD. The proposed patient staging algorithm performed consistently better than that of state-of-the-art EBM methods. Event orderings obtained in simulation experiments were more accurate than those of other EBM methods and the estimated disease progression timeline was observed to correlate with the timeline of actual disease progression. The results of these experiments are encouraging and suggest that discriminative EBM is a promising approach to disease progression modeling.


title: A Spin-1 Representation for Dual-Funnel Energy Landscapes

abstract: The interconversion between left- and right-handed helical folds of a polypeptide defines a dual-funneled free energy landscape. In this context, the funnel minima are connected through a continuum of unfolded conformations, evocative of the classical helix-coil transition. Physical intuition and recent conjectures suggest that this landscape can be mapped by assigning a left- or right-handed helical state to each residue. We explore this possibility using all-atom replica exchange molecular dynamics and an Ising-like model, demonstrating that the energy landscape architecture is at odds with a two-state picture. A three-state model - left, right, and unstructured - can account for most key intermediates during chiral interconversion. Competing folds and excited conformational states still impose limitations on the scope of this approach. However, the improvement is stark: Moving from a two-state to a three-state model decreases the fit error from 1.6 $k_B T$ to 0.3 $k_B T$ along the left-to-right interconversion pathway.


title: Moving Frames and Noether's Finite Difference Conservation Laws II

abstract: In this second part of the paper, we consider finite difference Lagrangians which are invariant under linear and projective actions of $SL(2)$, and the linear equi-affine action which preserves area in the plane. We first find the generating invariants, and then use the results of the first part of the paper to write the Euler--Lagrange difference equations and Noether's difference conservation laws for any invariant Lagrangian, in terms of the invariants and a difference moving frame. We then give the details of the final integration step, assuming the Euler Lagrange equations have been solved for the invariants. This last step relies on understanding the Adjoint action of the Lie group on its Lie algebra. We also use methods to integrate Lie group invariant difference equations developed in Part I. Effectively, for all three actions, we show that solutions to the Euler--Lagrange equations, in terms of the original dependent variables, share a common structure for the whole set of Lagrangians invariant under each given group action, once the invariants are known as functions on the lattice.


title: "Quantum Equilibrium-Disequilibrium": Asset Price Dynamics, Symmetry Breaking, and Defaults as Dissipative Instantons

abstract: We propose a simple non-equilibrium model of a financial market as an open system with a possible exchange of money with an outside world and market frictions (trade impacts) incorporated into asset price dynamics via a feedback mechanism. Using a linear market impact model, this produces a non-linear two-parametric extension of the classical Geometric Brownian Motion (GBM) model, that we call the "Quantum Equilibrium-Disequilibrium" (QED) model. The QED model gives rise to non-linear mean-reverting dynamics, broken scale invariance, and corporate defaults. In the simplest one-stock (1D) formulation, our parsimonious model has only one degree of freedom, yet calibrates to both equity returns and credit default swap spreads. Defaults and market crashes are associated with dissipative tunneling events, and correspond to instanton (saddle-point) solutions of the model. When market frictions and inflows/outflows of money are neglected altogether, "classical" GBM scale-invariant dynamics with an exponential asset growth and without defaults are formally recovered from the QED dynamics. However, we argue that this is only a formal mathematical limit, and in reality the GBM limit is non-analytic due to non-linear effects that produce both defaults and divergence of perturbation theory in a small market friction parameter.


title: Constrained-search density functional study of quantum transport in two-dimensional vertical heterostructures

abstract: Based on a microcanonical picture that maps the steady-state quantum transport process to a drain-to-source excitation, we develop a constrained-search density functional formalism for finite-bias quantum transport calculations. By variationally minimizing the total energy of an electrode-channel-electrode system without introducing separate bulk electrode information, ambiguities in identifying its nonequilibrium electronic structure under a bias is reduced and finite electrode cases can be naturally treated. We apply the approach to vertically stacked van der Waals heterostructures made of a hexagonal boron nitride (hBN) channel sandwiched by single-layer graphene electrodes, which so far could not be treated within first-principles calculations. We find that the experimentally observed negative differential resistance originates from the hBN defect-mediated hybridizations between two graphene states, and concurrently obtain a high-bias linear current increase that was not captured in previous semiclassical treatments. Going beyond the capability of existing $ab\ initio$ nonequilibrium quantum transport simulation methods, the developed formalism will provide valuable atomistic information in the development of next-generation nanodevices.


title: Weakly supervised learning of indoor geometry by dual warping

abstract: A major element of depth perception and 3D understanding is the ability to predict the 3D layout of a scene and its contained objects for a novel pose. Indoor environments are particularly suitable for novel view prediction, since the set of objects in such environments is relatively restricted. In this work we address the task of 3D prediction especially for indoor scenes by leveraging only weak supervision. In the literature 3D scene prediction is usually solved via a 3D voxel grid. However, such methods are limited to estimating rather coarse 3D voxel grids, since predicting entire voxel spaces has large computational costs. Hence, our method operates in image-space rather than in voxel space, and the task of 3D estimation essentially becomes a depth image completion problem. We propose a novel approach to easily generate training data containing depth maps with realistic occlusions, and subsequently train a network for completing those occluded regions. Using multiple publicly available dataset~\cite{song2017semantic,Silberman:ECCV12} we benchmark our method against existing approaches and are able to obtain superior performance. We further demonstrate the flexibility of our method by presenting results for new view synthesis of RGB-D images.


title: On smile properties of volatility derivatives and exotic products: understanding the VIX skew

abstract: We develop a method to study the implied volatility for exotic options and volatility derivatives with European payoffs such as VIX options. Our approach, based on Malliavin calculus techniques, allows us to describe the properties of the at-the-money implied volatility (ATMI) in terms of the Malliavin derivatives of the underlying process. More precisely, we study the short-time behaviour of the ATMI level and skew. As an application, we describe the short-term behavior of the ATMI of VIX and realized variance options in terms of the Hurst parameter of the model, and most importantly we describe the class of volatility processes that generate a positive skew for the VIX implied volatility. In addition, we find that our ATMI asymptotic formulae perform very well even for large maturities. Several numerical examples are provided to support our theoretical results.


title: An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem

abstract: Although Path-Relinking is an effective local search method for many combinatorial optimization problems, its application is not straightforward in solving the MAX-SAT, an optimization variant of the satisfiability problem (SAT) that has many real-world applications and has gained more and more attention in academy and industry. Indeed, it was not used in any recent competitive MAX-SAT algorithms in our knowledge. In this paper, we propose a new local search algorithm called IPBMR for the MAX-SAT, that remedies the drawbacks of the Path-Relinking method by using a careful combination of three components: a new strategy named Path-Breaking to avoid unpromising regions of the search space when generating trajectories between two elite solutions; a weak and a strong mutation strategies, together with restarts, to diversify the search; and stochastic path generating steps to avoid premature local optimum solutions. We then present experimental results to show that IPBMR outperforms two of the best state-of-the-art MAX-SAT solvers, and an empirical investigation to identify and explain the effect of the three components in IPBMR.