title: Regularization approaches for support vector machines with applications to biomedical data

abstract: The support vector machine (SVM) is a widely used machine learning tool for classification based on statistical learning theory. Given a set of training data, the SVM finds a hyperplane that separates two different classes of data points by the largest distance. While the standard form of SVM uses L2-norm regularization, other regularization approaches are particularly attractive for biomedical datasets where, for example, sparsity and interpretability of the classifier's coefficient values are highly desired features. Therefore, in this paper we consider different types of regularization approaches for SVMs, and explore them in both synthetic and real biomedical datasets.


title: Factorial Representations of Compact Lie Groups, Wigner Sets and Locally Invariant Quantum Fields

abstract: The fibre bundle construct defined in our previous work continues to be the context for this paper; quantum fields composed of fibre algebras become liftings of; or sections through; a fibre bundle with base space a subset of curved space-time. We consider a compact Lie group such as SU(n) acting as a local gauge group of automorphisms of each fibre algebra A(x). Compact Lie groups, represented as gauge groups acting locally on quantum fields, are key elements in electroweak and strong force unification. In our recent joint work we have focused on the translational subgroup of the Poincare group as the generator of local diffeomorphism invariant quantum states. Here we extend those algebraic non-perturbative approaches to address the other half of unification by considering the existence of quantum states of the fibre algebra A(x) invariant to the action of compact non-abelian Lie groups. Wigner sets are complementary to little groups and we prove they have the finite intersection property. Exploiting this then allows us to show that invariant states are common in the sense that the weakly closed convex hull of every normal (density matrix) state contains such an invariant state. From these results and our related research emerges the existence of a locally invariant density matrix quantum state of the field.


title: Limiting weak-type behaviors of some integral operators

abstract: In this paper, we explore the limiting weak-type behaviors of some integral operators including maximal operators, singular and fractional integral operators and maximal truncated singular integrals et al. Some optimal limiting weak-type behaviors are given, which essentially improve and extend the previous results in this topics.


title: Hausdorff operators on the Sobolev spaces $W^{k,1}$

abstract: This paper is served as a first contribution regarding the boundedness of Hausdorff operators on function spaces with smoothness. The sharp conditions are established for boundedness of Hausdorff operators on Sobolev spaces $W^{k,1}$. As applications, some bounded and unbounded properties of Hardy operator and adjoint Hardy operator on $W^{k,1}$ are deduced.


title: SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0)

abstract: SDPNAL+ is a {\sc Matlab} software package that implements an augmented Lagrangian based method to solve large scale semidefinite programming problems with bound constraints. The implementation was initially based on a majorized semismooth Newton-CG augmented Lagrangian method, here we designed it within an inexact symmetric Gauss-Seidel based semi-proximal ADMM/ALM (alternating direction method of multipliers/augmented Lagrangian method) framework for the purpose of deriving simpler stopping conditions and closing the gap between the practical implementation of the algorithm and the theoretical algorithm. The basic code is written in {\sc Matlab}, but some subroutines in C language are incorporated via Mex files. We also design a convenient interface for users to input their SDP models into the solver. Numerous problems arising from combinatorial optimization and binary integer quadratic programming problems have been tested to evaluate the performance of the solver. Extensive numerical experiments conducted in [Yang, Sun, and Toh, Mathematical Programming Computation, 7 (2015), pp. 331--366] show that the proposed method is quite efficient and robust, in that it is able to solve 98.9\% of the 745 test instances of SDP problems arising from various applications to the accuracy of $ 10^{-6}$ in the relative KKT residual.


title: All transverse and TT tensors in flat spaces of any dimension

abstract: We present general formulas for transverse and transverse-traceless (TT) symmetric tensors in flat spaces. TT tensors in conformally flat spaces can be obtained by means of a conformal transformation.


title: Regularity and Sensitivity for McKean-Vlasov SPDEs

abstract: In the first part of the paper we develop the sensitivity analysis for the nonlinear McKean-Vlasov diffusions stressing precise estimates of growth of solutions and their derivatives with respect to the initial data, under rather general assumptions on the coefficients. The exact estimates become particularly important when treating the extension of these equations having random coefficient, since the noise is usually assumed to be unbounded. The second part contains our main results dealing with the sensitivity of stochastic McKean-Vlasov diffusions. By using the method of stochastic characteristics, we transfer these equations to the non-stochastic equations with random coefficients thus making it possible to use the estimates obtained in the first part. The motivation for studying sensitivity of McKean-Vlasov SPDEs arises naturally from the analysis of the mean-field games with common noise.


title: Modeling Dzyaloshinskii-Moriya Interaction at Transition Metal Interfaces: Constrained Moment versus Generalized Bloch Theorem

abstract: Dzyaloshinskii-Moriya interaction (DMI) at Pt/Co interfaces is investigated theoretically using two different first principles methods. The first one uses the constrained moment method to build a spin spiral in real space, while the second method uses the generalized Bloch theorem approach to construct a spin spiral in reciprocal space. We show that although the two methods produce an overall similar total DMI energy, the dependence of DMI as a function of the spin spiral wavelength is dramatically different. We suggest that long-range magnetic interactions, that determine itinerant magnetism in transition metals, are responsible for this discrepancy. We conclude that the generalized Bloch theorem approach is more adapted to model DMI in transition metal systems, where magnetism is delocalized, while the constrained moment approach is mostly applicable to weak or insulating magnets, where magnetism is localized.


title: Skyrmion Glass in a Disordered Magnetic Film

abstract: We show that high concentration of skyrmions can be achieved in magnetic films with quenched disorder. A 2D system of Heisenberg spins with feromagnetic exchange, $J$, and random magnetic anisotropy of strength $D_R \ll J$ has been studied. Analytical theory for the dependence of the average skyrmion size on the magnetic field $H$, and for the stability of pinned skyrmions, is complemented by numerical studies of 2D lattices containing up to 40 million spins. At low fields the average size of the skyrmion, $\lambda$, is determined by the average size of Imry-Ma domains. On increasing the field the skyrmions first shrink, with $\lambda \propto D_R/H$, and then collapse at fields distributed around $H_c \propto D_R^{4/3}$. Concentration of the skyrmions goes down with the field as $\exp[-(H/H_c)^{3/2}]$.


title: Finding Dominant User Utterances And System Responses in Conversations

abstract: There are several dialog frameworks which allow manual specification of intents and rule based dialog flow. The rule based framework provides good control to dialog designers at the expense of being more time consuming and laborious. The job of a dialog designer can be reduced if we could identify pairs of user intents and corresponding responses automatically from prior conversations between users and agents. In this paper we propose an approach to find these frequent user utterances (which serve as examples for intents) and corresponding agent responses. We propose a novel SimCluster algorithm that extends standard K-means algorithm to simultaneously cluster user utterances and agent utterances by taking their adjacency information into account. The method also aligns these clusters to provide pairs of intents and response groups. We compare our results with those produced by using simple Kmeans clustering on a real dataset and observe upto 10% absolute improvement in F1-scores. Through our experiments on synthetic dataset, we show that our algorithm gains more advantage over K-means algorithm when the data has large variance.


title: Homogeneous locally nilpotent derivations of non-factorial trinomial algebras

abstract: We describe homogeneous locally nilpotent derivations of the algebra of regular functions for a class of affine trinomial hypersurfaces. This class comprises all non-factorial trinomial hypersurfaces.


title: Spectral classification and composites of galaxies in LAMOST DR4

abstract: We study the classification and composite spectra of galaxy in the fourth data release (DR4) of the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST). We select 40,182 spectra of galaxies from LAMOST DR4, which have photometric in- formation but no spectroscopic observations in the Sloan Digital Sky Survey(SDSS). These newly observed spectra are re-calibrated and classified into six classes, i.e. pas- sive, H{\alpha}-weak, star-forming, composite, LINER and Seyfert using the line intensity (H\b{eta}, [OIII]{\lambda}5007, H{\alpha} and [NII]{\lambda}6585). We also study the correlation between spectral classes and morphological types through three parameters: concentration index, (u - r) color, and D4000n index. We calculate composite spectra of high signal-to-noise ra- tio(S/N) for six spectral classes, and using these composites we pick out some features that can differentiate the classes effectively, including H\b{eta}, Fe5015, H{\gamma}A, HK, and Mg2 band etc. In addition, we compare our composite spectra with the SDSS ones and analyse their difference. A galaxy catalogue of 40,182 newly observed spectra (36,601 targets) and the composite spectra of the six classes are available online.


title: Mechanical model of Golgi apparatus

abstract: The Golgi apparatus has intrigued researchers since its discovery and despite the advances, there are still many open questions in regards to its shape and function. Here, we propose a mechanical model of Golgi apparatus stack and explain its most elementary geometrical properties: the equilibrium number of cisternae, the stack size, and its general equilibrium shape. In order to gain comprehensive insight into the stack morphology, we combine both analytical and numerical methods. We successfully reconstruct the stack morphology using minimal assumptions, thus identifying the most dominant factors regulating the stack shape. We demonstrate that energy-wise the stack prefers an overall bent shape and show strong evidence that the adhesion strength determines the equilibrium number of cisternae per stack. We explore the morphological role of fenestrations and discuss their impact on the overall stack structure. We also comment on the effects of the membrane asymmetry on the shape of the cisternae and thus offer a broad steady-state study of the stack morphology and present a method that can be used also for other membrane-bound organelles.


title: Writing and storing information in an array of magnetic vortex nanodisks using their azimuthal modes

abstract: The switching of a vortex core of a single disk in an array of a multilayer system is investigated by micromagnetic simulation. We found that the perpendicular uniaxial anisotropy (PUA) decreases the frequencies of the azimuthal mode in disks with magnetic vortex configuration. We obtained a phase diagram of magnetic field intensity vs. frequency of the azimuthal mode, as a function of the value of perpendicular uniaxial anisotropy. We demonstrated that rotating magnetic fields (CW and CCW) with frequency equal to azimuthal modes can be used to switch the vortex core of single disks in a disk array. This allows obtaining different memory states with a single array of nanodisks, and therefore writing information through the application of rotating fields.


title: Search for standard model production of four top quarks with same-sign and multilepton final states in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for standard model production of four top quarks ($\mathrm{t}\overline{\mathrm{t}}\mathrm{t}\overline{\mathrm{t}})$ is reported using events containing at least three leptons (e, $\mu$) or a same-sign lepton pair. The events are produced in proton-proton collisions at a center-of-mass energy of 13 TeV at the LHC, and the data sample, recorded in 2016, corresponds to an integrated luminosity of 35.9 fb$^{-1}$. Jet multiplicity and flavor are used to enhance signal sensitivity, and dedicated control regions are used to constrain the dominant backgrounds. The observed and expected signal significances are, respectively, 1.6 and 1.0 standard deviations, and the $\mathrm{t}\overline{\mathrm{t}}\mathrm{t}\overline{\mathrm{t}}$ cross section is measured to be 16.9 $^{+13.8}_{-11.4}$ fb, in agreement with next-to-leading-order standard model predictions. These results are also used to constrain the Yukawa coupling between the top quark and the Higgs boson to be less than 2.1 times its expected standard model value at 95% confidence level.


title: Gravity Theories with Background Fields and Spacetime Symmetry Breaking

abstract: An overview is given of effective gravitational field theories with fixed background fields that break spacetime symmetry. The behavior of the background fields and the types of excitations that can occur depend on whether the symmetry breaking is explicit or spontaneous. For example, when the breaking is spontaneous, the background field is dynamical and massless Nambu--Goldstone and massive Higgs excitations can appear. However, if the breaking is explicit, the background is nondynamical, and in this case additional metric or vierbein excitations occur due to the loss of local symmetry, or these excitations can be replaced by dynamical scalar fields using a Stuckelberg approach. The interpretation of Noether identities that must hold in each case differs, depending on the type of symmetry breaking, and this affects the nature of the consistency conditions that must hold. The Noether identities also shed light on why the Stuckelberg approach works, and how it is able to restore the broken spacetime symmetry in a theory with explicit breaking.


title: $k$-Foldability of Words

abstract: We extend results regarding a combinatorial model introduced by Black, Drellich, and Tymoczko (2017+) which generalizes the folding of the RNA molecule in biology. Consider a word on alphabet $\{A_1, \overline{A}_1, \ldots, A_m, \overline{A}_m\}$ in which $\overline{A}_i$ is called the complement of $A_i$. A word $w$ is foldable if can be wrapped around a rooted plane tree $T$, starting at the root and working counterclockwise such that one letter labels each half edge and the two letters labeling the same edge are complements. The tree $T$ is called $w$-valid. We define a bijection between edge-colored plane trees and words folded onto trees. This bijection is used to characterize and enumerate words for which there is only one valid tree. We follow up with a characterization of words for which there exist exactly two valid trees. In addition, we examine the set $\mathcal{R}(n,m)$ consisting of all integers $k$ for which there exists a word of length $2n$ with exactly $k$ valid trees. Black, Drellich, and Tymoczko showed that for the $n$th Catalan number $C_n$, $\{C_n,C_{n-1}\}\subset \mathcal{R}(n,1)$ but $k\not\in\mathcal{R}(n,1)$ for $C_{n-1}<k<C_n$. We describe a superset of $\mathcal{R}(n,1)$ in terms of the Catalan numbers by which we establish more missing intervals. We also prove $\mathcal{R}(n,1)$ contains all non-negative integer less than $n+1$.


title: Natural SUSY at LHC with Right-Sneutrino LSP

abstract: We study an extension of the minimal supersymmetric standard model (MSSM) with additional right-handed singlet neutrino superfields. While such an extension incorporates a mechanism for the neutrino mass, it also opens up the possibility of having the right-sneutrinos ($\widetilde{\nu}$) as the lightest supersymmetric particle (LSP). In this work, we focus on the the viability of rather small ($\lesssim 500$ GeV) higgsino mass parameter ($\mu$), an important ingredient for "naturalness", in the presence of such a LSP. For simplicity, we assume that the bino and wino mass parameters are much heavier, thus we only consider (almost) pure and compressed higgsino-like states, with small $\mathcal{O}(10^{-2})$ gaugino admixture. Considering only prompt decays of the higgino-like states, especially the lightest chargino, we discuss the importance of leptonic channels consisting of up to two leptons with large missing transverse energy to probe this scenario at the Large Hadron Collider (LHC). Further, we emphasize on how the gaugino mass parameters, although very heavy, affects the decay of the low-lying higgsino-like states, thus significantly affecting the proposed signatures at LHC.


title: The Social and Work Structure of an Afterschool Math Club

abstract: The objective of this exploratory study was to examine the interpersonal dynamics of an afterschool math club for middle schoolers. Using social network analysis, two networks were identified and analyzed: (a) a network of friendship relationships and (b) a network of working relationships. The interconnections and correlations between friendship relationships, working relationships, and a student opinion survey were studied. We identified a core working group of students from within the network of working relations. This group acted as a central go-between for other members in the club. This core working group also expanded into the largest friendship group in the friendship network. A second group was formed from popular but aloof students who reported less impact from the club. Although there were working isolates, they were not found to be socially isolated. Students who were less popular tended to report a greater favorable impact from club participation than those who were more popular.


title: Half of an antipodal spherical design

abstract: We investigate several antipodal spherical designs on whether we can choose half of the points, one from each antipodal pair, such that they are balanced at the origin. In particular, root systems of type A, D and E, minimal points of Leech lattice and the unique tight 7-design on $S^{22}$ are studied. We also study a half of an antipodal spherical design from the viewpoint of association schemes and spherical designs of harmonic index $T$.


title: Large deviations of a forced velocity jump process with a Hamilton-Jacobi approach

abstract: We study the dispersion of a particle whose motion dynamics can be described by a forced velocity jump process. To investigate large deviations results, we study the Chapman-Kolmogorov equation of this process in the hyperbolic scaling (t,x,v) -> (t/epsilon,x/epsilon,v) and then, perform a Hopf-Cole transform which gives us a kinetic equation on a potential. We prove the convergence of this potential to the solution of a Hamilton-Jacobi equation. The hamiltonian can have a C1 singularity, as was previously observed in this kind of studies. This is a preliminary work before studying spreading results for more realistic processes.


title: Data-Driven Power Flow Linearization: A Regression Approach

abstract: The linearization of a power flow (PF) model is an important approach for simplifying and accelerating the calculation of a power system's control, operation, and optimization. Traditional model-based methods derive linearized PF models by making approximations in the analytical PF model according to the physical characteristics of the power system. Today, more measurements of the power system are available and thus facilitate data-driven approaches beyond model-driven approaches. This work studies a linearized PF model through a data-driven approach. Both a forward regression model ((P, Q) as a function of (theta, V)) and an inverse regression model ((theta, V) as a function of (P, Q)) are proposed. Partial least square (PLS)- and Bayesian linear regression (BLR)-based algorithms are designed to address data collinearity and avoid overfitting. The proposed approach is tested on a series of IEEE standard cases, which include both meshed transmission grids and radial distribution grids, with both Monte Carlo simulated data and public testing data. The results show that the proposed approach can realize a higher calculation accuracy than model-based approaches can. The results also demonstrate that the obtained regression parameter matrices of data-driven models reflect power system physics by demonstrating similar patterns with some power system matrices (e.g., the admittance matrix).


title: "Swarm relaxation": Equilibrating a large ensemble of computer simulations

abstract: It is common practice in molecular dynamics and Monte Carlo computer simulations to run multiple, separately-initialized simulations in order to improve the sampling of independent microstates. Here we examine the utility of an extreme case of this strategy, in which we run a large ensemble of $M$ independent simulations (a "swarm"), each of which is relaxed to equilibrium. We show that if $M$ is of order $10^3$, we can monitor the swarm's relaxation to equilibrium, and confirm its attainment, within $\sim 10\bar\tau$, where $\bar\tau$ is the equilibrium relaxation time. As soon as a swarm of this size attains equilibrium, the ensemble of $M$ final microstates from each run is sufficient for the evaluation of most equilibrium properties without further sampling. This approach dramatically reduces the wall-clock time required, compared to a single long simulation, by a factor of several hundred, at the cost of an increase in the total computational effort by a small factor. It is also well-suited to modern computing systems having thousands of processors, and is a viable strategy for simulation studies that need to produce high-precision results in a minimum of wall-clock time. We present results obtained by applying this approach to several test cases.


title: Primordial Perturbation of Dark Matter as a Novel Probe of Very Early Universe

abstract: Dark matter(DM) is the only possible candidate which would be apart from the thermal equilibrium before Big Bang nucleosynthesis(BBN) in accordance with current DM searches. In this work, we report a generic scenario that primordial perturbation of dark matter(PPDM) can be, effectively, generated and encoded with primordial information of very early universe up to the reheating era. We present an analytical solution of the whole evolution of PPDM. A novel and strong constraint on the reheating process imposed by primordial gravitational wave(PGW) is obtained for the first time. It indicates the ratio of PGW to primordial curvature perturbation(PCP) is not only dependent on the slow-roll spectral index but also, strongly, on the decay process of inflaton at reheating. For very generic reheating process, our result provides a natural explanation of the paucity of PGW in current observations.


title: Piezospectroscopy and first-principles calculations of the nitrogen-vacancy center in gallium arsenide

abstract: The nitrogen-vacancy (NV) center occurs in GaAs bulk crystals doped or implanted with nitrogen. The local vibration of nitrogen gives rise to a sharp infrared absorption band at 638 cm$^{-1}$, exhibiting a fine structure due to the different masses of neighboring $^{69}$Ga and $^{71}$Ga host isotopes. Piezospectroscopic investigations in the crystallographic <100> direction prove that the center has C$_\text{3v}$ point symmetry, which is weakly perturbed by the isotope effect. The stress-induced shifts of some band components show an unusual non-linear behavior that can be explained by coupling between the isotope and the stress splitting. First-principles density-functional theory calculations are in full accordance with the experiments and confirm the C$_\text{3v}$ symmetry, caused by relaxation of the nitrogen atom from the anion lattice site towards the nearest-neighbor Ga plane. The NV center in GaAs is structurally analogous to the same center in diamond. The $-3$ charge state is most stable for nearly all Fermi-level positions.


title: On the Tropical Discs Counting on Elliptic K3 Surfaces with General Singular Fibres

abstract: Using Lagrangian Floer theory, we study the tropical geometry of K3 surfaces with general singular fibres. In particular, we give the local models for the type $I_n$, $II$, $III$ and $IV$ singular fibres in the Kodaira's classification and generalize the correspondence theorem between open Gromov-Witten invariants/tropical discs counting to these cases.


title: Detecting Multiple Random Changepoints in Bayesian Piecewise Growth Mixture Models

abstract: Piecewise growth mixture models (PGMM) are a flexible and useful class of methods for analyzing segmented trends in individual growth trajectory over time, where the individuals come from a mixture of two or more latent classes. These models allow each segment of the overall developmental process within each class to have a different functional form; examples include two linear phases of growth, or a quadratic phase followed by a linear phase. The changepoint (knot) is the time of transition from one developmental phase (segment) to another. Inferring the location of the changepoint(s) is often of practical interest, along with inference for other model parameters. A random changepoint allows for individual differences in the transition time within each class. The primary objectives of our study are: (1) to develop a PGMM using a Bayesian inference approach that allows the estimation of multiple random changepoints within each class; (2) to develop a procedure to empirically detect the number of random changepoints within each class; and (3) to empirically investigate the bias and precision of the estimation of the model parameters, including the random changepoints, via a simulation study. We have developed the user-friendly package BayesianPGMM for R to facilitate the adoption of this methodology in practice, which is available at https://github.com/lockEF/BayesianPGMM . We describe an application to mouse-tracking data for a visual recognition task.


title: Real hypersurfaces of complex quadric in terms of star-Ricci tensor

abstract: In this article, we introduce the notion of star-Ricci tensors in the real hypersurfaces of complex quadric $Q^m$. It is proved that there exist no Hopf hypersurfaces in $Q^m,m\geq3$, with commuting star-Ricci tensor or parallel star-Ricci tensor. As a generalization of star-Einstein metric, star-Ricci solitons on $M$ are considered. In this case we show that $M$ is an open part of a tube around a totally geodesic $\mathbb{C}P^\frac{m}{2}\subset Q^{m},m\geq4$.


title: Variational Continual Learning

abstract: This paper develops variational continual learning (VCL), a simple but general framework for continual learning that fuses online variational inference (VI) and recent advances in Monte Carlo VI for neural networks. The framework can successfully train both deep discriminative models and deep generative models in complex continual learning settings where existing tasks evolve over time and entirely new tasks emerge. Experimental results show that VCL outperforms state-of-the-art continual learning methods on a variety of tasks, avoiding catastrophic forgetting in a fully automatic way.


title: Dimensionality reduction methods for molecular simulations

abstract: Molecular simulations produce very high-dimensional data-sets with millions of data points. As analysis methods are often unable to cope with so many dimensions, it is common to use dimensionality reduction and clustering methods to reach a reduced representation of the data. Yet these methods often fail to capture the most important features necessary for the construction of a Markov model. Here we demonstrate the results of various dimensionality reduction methods on two simulation data-sets, one of protein folding and another of protein-ligand binding. The methods tested include a k-means clustering variant, a non-linear auto encoder, principal component analysis and tICA. The dimension-reduced data is then used to estimate the implied timescales of the slowest process by a Markov state model analysis to assess the quality of the projection. The projected dimensions learned from the data are visualized to demonstrate which conformations the various methods choose to represent the molecular process.


title: Dark matter in galaxies

abstract: Dark matter in galaxies, its abundance, and its distribution remain a subject of long-standing discussion, especially in view of the fact that neither dark matter particles nor dark matter bodies have yet been found. Experts' opinions range from a very large number of completely dark galaxies exist to nonbaryonic dark matter does not exist at all in any significant amounts. We discuss astronomical evidence for the existence of dark matter and its connection with visible matter and examine attempts to estimate its mass and distribution in galaxies from photometry, dynamics, gravitational lensing, and other observations (the cosmological aspects of the existence of dark matter are not considered in this review). In our view, the presence of dark matter in and around galaxies is a well-established fact. We conclude with an overview of mechanisms by which a dark halo can influence intragalactic processes.


title: Lifting Theorems and Smooth Profinite Groups

abstract: This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to further applications. Let p be a prime number. Let k be a perfect field of characteristic p. Let m be a positive integer. Our first goal is to provide a canonical process for "lifting" a module M, over the ring of Witt vectors $W_m(k)$ (of length m), to a $W_{m+1}(k)$-module, in a way that deeply respects Pontryagin duality. These are our big, medium and small Omega powers, each of which naturally occurs as a direct factor of the previous one. In the case where M is a k-vector space, they come equipped with Verschiebung and Frobenius operations. If moreover the field k is finite, Omega powers are endowed with a striking extra operation: the Transfer, to shifted Omega powers of finite-codimensional linear subspaces. To show how this formalism fits into Galois theory, we first offer an axiomatized approach to Hilbert's Theorem 90 (or more precisely, to its consequence for cohomology with finite coefficients: Kummer theory). In the context of profinite group cohomology, we thus define the notions a cyclotomic G-module, and of a smooth profinite group. We bear in mind that the fundamental example is that of an absolute Galois group, together with the Tate module of roots of unity. We then define the notion of exact sequences of G-modules of Kummer type. To finish, we give applications of this formalism. The first ones are the Stable Lifting Theorems, enabling the lifting to higher torsion in the cohomology of smooth profinite groups, with p-primary coefficients. We finish by an application to p-adic deformations. We state and prove a general descent statement, for the quotient map $\mathbb{Z}/p^2\mathbb{Z}\rightarrow\mathbb{Z}/p\mathbb{Z}$.


title: The Coxeter transformation on Cominuscule Posets

abstract: Let $\mathsf{J(C)}$ be the poset of order ideals of a cominuscule poset $\mathsf{C}$ where $\mathsf{C}$ comes from two of the three infinite families of cominuscule posets or the exceptional cases. We show that the Auslander-Reiten translation $\tau$ on the Grothendieck group of the bounded derived category for the incidence algebra of the poset $\mathsf{J(C)}$, which is called the \emph{Coxeter transformation} in this context, has finite order. Specifically, we show that $\tau^{h+1}=\pm id$ where $h$ is the Coxeter number for the relevant root system.


title: Graphene plasmons: impurities and nonlocal effects

abstract: This work analyses how impurities and vacancies on the surface of a graphene sample affect its optical conductivity and plasmon excitations. The disorder is analysed in the self-consistent Green's function formulation and nonlocal effects are fully taken into account. It is shown that impurities modify the linear spectrum and give rise to an impurity band whose position and width depend on the two parameters of our model, the density and the strength of impurities. The presence of the impurity band strongly influences the electromagnetic response and the plasmon losses. Furthermore, we discuss how the impurity-band position can be obtained experimentally from the plasmon dispersion relation and discuss this in the context of sensing.


title: Recursive formulae in regularity structures

abstract: We construct renormalised models of regularity structures by using a recursive formulation for the structure group and for the renormalisation group. This construction covers all the examples of singular SPDEs which have been treated so far with the theory of regularity structures and improves the renormalisation procedure based on Hopf algebras given in [BHZ16].


title: GaAs droplet quantum dots with nanometer-thin capping layer for plasmonic applications

abstract: We report on the growth and optical characterisation of droplet GaAs quantum dots with extremely-thin (11 nm) capping layers. To achieve such result, an internal thermal heating step is introduced during the growth and its role in the morphological properties of the quantum dots obtained is investigated via scanning electron and atomic force microscopy. Photoluminescence measurements at cryogenic temperatures show optically stable, sharp and bright emission from single quantum dots, at near-infrared wavelengths. Given the quality of their optical properties and the proximity to the surface, such emitters are ideal candidates for the investigation of near field effects, like the coupling to plasmonic modes, in order to strongly control the directionality of the emission and/or the spontaneous emission rate, crucial parameters for quantum photonic applications.

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


title: Design and Analysis of a Controller Using Quantitative Feedback Theory for a Vehicle Air Suspension System

abstract: This paper presents the design of a robust controller for a vehicle air suspension system using Quantitative Feedback Theory (QFT). This study is primarily focused on control of linearized active air suspension system. For the purpose of simplicity, the dynamics of the air suspension system is modeled using a simple 2-DOF quarter car model. Uncertain dynamic system with different working condition has been considered for the vehicle air suspension system.


title: Network translation and steady state properties of chemical reaction systems

abstract: Network translation has recently been used to establish steady state properties of mass action systems by corresponding the given system to a generalized one which is either dynamically or steady state equivalent. In this work we further use network translation to identify network structures which give rise to the well-studied property of absolute concentration robustness in the corresponding mass action systems. In addition to establishing the capacity for absolute concentration robustness, we show that network translation can often provide a method for deriving the steady state value of the robust species. We furthermore present a MILP algorithm for the identification of translated chemical reaction networks that improves on previous approaches, allowing for easier application of the theory.


title: Black hole solutions in mimetic Born-Infeld gravity

abstract: The vacuum, static, and spherically symmetric solutions in the mimetic Born-Infeld gravity are studied. The mimetic Born-Infeld gravity is a reformulation of the Eddington-inspired-Born-Infeld (EiBI) model under the mimetic approach. Due to the mimetic field, the theory contains non-trivial vacuum solutions different from those in Einstein gravity. We find that with the existence of the mimetic field, the spacelike singularity inside a Schwarzschild black hole could be altered to a lightlike singularity, even though the curvature invariants still diverge at the singularity. Furthermore, in this case, the maximal proper time for a timelike radially-infalling observer to reach the singularity is found to be infinite.


title: JESC: Japanese-English Subtitle Corpus

abstract: In this paper we describe the Japanese-English Subtitle Corpus (JESC). JESC is a large Japanese-English parallel corpus covering the underrepresented domain of conversational dialogue. It consists of more than 3.2 million examples, making it the largest freely available dataset of its kind. The corpus was assembled by crawling and aligning subtitles found on the web. The assembly process incorporates a number of novel preprocessing elements to ensure high monolingual fluency and accurate bilingual alignments. We summarize its contents and evaluate its quality using human experts and baseline machine translation (MT) systems.


title: Eikonal model analysis of elastic proton-proton collisions at 52.8 GeV and 8 TeV

abstract: Under the influence of standardly used description of Coulomb-hadronic interference proposed by West and Yennie the protons have been interpreted as transparent objects; elastic events have been interpreted as more central than inelastic ones. It is known that using more general eikonal model the measured elastic data may be interpreted also very differently; elastic processes being more peripheral than inelastic ones. The most ample elastic data set measured at ISR energy of 52.8 GeV have been recently reanalyzed with the help of the eikonal model and new results obtained. The impact of recently established electromagnetic form factors on determination of quantities specifying hadron interaction determined from the fits of experimental elastic data have been studied. The influence of some other assumptions on proton characteristics derived from elastic hadronic scattering amplitude determined on the basis of experimental data have been analyzed, too. It concerns mainly the assumed $t$-dependence of phase of elastic hadronic amplitude. The results may be then compared to similar analysis of experimental data at much higher LHC energy of 8 TeV recently published by TOTEM experiment.


title: A Fast, Accurate Two-Step Linear Mixed Model for Genetic Analysis Applied to Repeat MRI Measurements

abstract: Large-scale biobanks are being collected around the world in efforts to better understand human health and risk factors for disease. They often survey hundreds of thousands of individuals, combining questionnaires with clinical, genetic, demographic, and imaging assessments; some of this data may be collected longitudinally. Genetic associations analysis of such datasets requires methods to properly handle relatedness, population structure and other types of biases introduced by confounders. Most popular and accurate approaches rely on linear mixed model (LMM) algorithms, which are iterative and computational complexity of each iteration scales by the square of the sample size, slowing the pace of discoveries (up to several days for single trait analysis), and, furthermore, limiting the use of repeat phenotypic measurements. Here, we describe our new, non-iterative, much faster and accurate Two-Step Linear Mixed Model (Two-Step LMM) approach, that has a computational complexity that scales linearly with sample size. We show that the first step retains accurate estimates of the heritability (the proportion of the trait variance explained by additive genetic factors), even when increasingly complex genetic relationships between individuals are modeled. Second step provides a faster framework to obtain the effect sizes of covariates in regression model. We applied Two-Step LMM to real data from the UK Biobank, which recently released genotyping information and processed MRI data from 9,725 individuals. We used the left and right hippocampus volume (HV) as repeated measures, and observed increased and more accurate heritability estimation, consistent with simulations.


title: Homophily of Music Listening in Online Social Networks

abstract: Homophily, ranging from demographics to sentiments, breeds connections in social networks, either offline or online. However, with the prosperous growth of music streaming service, whether homophily exists in online music listening remains unclear. In this study, two online social networks of a same group of active users are established respectively in Netease Music and Weibo. Through presented multiple similarity measures, it is evidently demonstrated that homophily does exist in music listening of both online social networks. The unexpected music similarity in Weibo also implies that knowledge from generic social networks can be confidently transfered to domain-oriented networks for context enrichment and algorithm enhancement. Comprehensive factors that might function in formation of homophily are further probed and many interesting patterns are profoundly revealed. It is found that female friends are more homogeneous in music listening and positive and energetic songs significantly pull users close. Our methodology and findings would shed lights on realistic applications in online music services.


title: A short proof of solution formulas for the linear differential equations with constant coefficients

abstract: The solution of equations from the title is well known since the Euler's time. However, its proof in the case of multiple roots of the characteristic polynomial is rather long and technical and even appearance of the factors $x^m$ looks artificial. A new proof, proposed below, seems not only shorter, but also more comprehensible for the students of any level.


title: Percolation without FKG

abstract: We prove a Russo-Seymour-Welsh theorem for large and natural perturbative families of discrete percolation models that do not necessarily satisfy the Fortuin-Kasteleyn-Ginibre condition of positive association. In particular, we prove the box-crossing property for the antiferromagnetic Ising model with small parameter, and for certain discrete Gaussian fields with oscillating correlation function.


title: The Extended Bogomolny Equations and Generalized Nahm Pole Boundary Condition

abstract: In this paper we develop a Kobayashi-Hitchin type correspondence between solutions of the extended Bogomolny equations on $\Sigma\times \RP$ with Nahm pole singularity at $\Sigma \times \{0\}$ and the Hitchin component of the stable $SL(2,\mathbb{R})$ Higgs bundle; this verifies a conjecture of Gaiotto and Witten. We also develop a partial Kobayashi-Hitchin correspondence for solutions with a knot singularity in this program, corresponding to the non-Hitchin components in the moduli space of stable $SL(2,\mathbb{R})$ Higgs bundles. We also prove existence and uniqueness of solutions with knot singularities on $\mathbb{C}\ti\RP$.


title: On the Consistency of Quick Shift

abstract: Quick Shift is a popular mode-seeking and clustering algorithm. We present finite sample statistical consistency guarantees for Quick Shift on mode and cluster recovery under mild distributional assumptions. We then apply our results to construct a consistent modal regression algorithm.


title: Form Factors and Differential Branching Ratio of $B \to K \mu^+ \mu^-$ in AdS/QCD

abstract: The light-front distribution amplitudes (LFDAs) and the decay constant of the $K $ pseudoscalar meson are extracted within the framework of the AdS/QCD correspondence. For the LFDAs calculation, we consider a momentum-dependent (dynamical) helicity wave function which contains the dynamical spin effects. We use the LFDAs to predict the transition form factors of the semileptonic $B\to K \ell^{+}\ell^{-}$ decay. With the help of these form factors, the differential branching ratio of the $B\to K\, \mu^+ \mu^-$ on $q^2$ is plotted. A comparison is made between our prediction in AdS/QCD and the results obtained from two models including the light-cons sum rules (LCSR) and lattice QCD as well as the experimental values.


title: Using the quantization error from Self-Organized Map (SOM) output for detecting critical variability in large bodies of image time series in less than a minute

abstract: The quantization error (QE) from SOM applied on time series of spatial contrast images with variable relative amount of white and dark pixel contents, as in monochromatic medical images or satellite images, is proven a reliable indicator of potentially critical changes in image homogeneity. The QE is shown to increase linearly with the variability in spatial contrast contents across time when contrast intensity is kept constant.


title: The Bulk-Edge Correspondence in Three Simple Cases

abstract: We present examples in three symmetry classes of topological insulators in one or two dimensions where the proof of the bulk-edge correspondence is particularly simple. This serves to illustrate the mechanism behind the bulk-edge principle without the overhead of the more general proofs which are available. We also give a new formula for the \mathbb{Z}_{2}-index of our time-reversal invariant systems inspired by Moore and Balents.


title: Hypergraphs and proper forcing

abstract: Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies. For this broad class of posets, most fusion arguments and iteration preservation arguments can be replaced with simple combinatorial considerations concerning the hypergraphs.


title: Computing Tropical Varieties in Macaulay2

abstract: We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly tool for computing tropical varieties requiring little prerequisite knowledge.


title: Dynamics of plasma heating and energy distributions of accelerated electrons during solar flares based on X-ray and ultraviolet emission

abstract: The aim of the thesis is the study of properties of solar flares via reconstruction of energy distributions of accelerated/heated electrons, diagnostics of flare plasma based on EUV and X-ray observations, as well as the estimation of the thermal balance within the "standard" flare model. The X-ray data were obtained from the Ramaty High Energy Solar Spectroscopic Imager (RHESSI) and the Russian solar observatory KORONAS-F (IRIS experiment). The EUV data were obtained from the Solar Dynamics Observatory / Atmospheric Imaging Assembly (SDO/AIA). In the first chapter a new technique is presented, which allowed to determine at first the photon spectra based on the KORONAS-F/IRIS observations and then to reconstruct the energy spectra of the emitting electrons using the random search method and the Tikhonov regularization method. In the second chapter the developed technique of simultaneously fitting the model differential emission measure functions (DEM) to RHESSI and SDO/AIA data is introduced, which allowed to infer the electron distribution from X-ray and EUV observations. The proposed method allows to reconstruct of both the spectra of accelerated/heated electrons and the basic parameters of the flare plasma, such as temperature, emission measure, total electron number density, and flare energy. In addition, the analytical function suitable for both DEM analysis and mean electron flux spectra in flares has been developed and applied, as well as kappa-distribution in the form of differential emission measure. The thermal balance and hard X-ray emission of coronal loops from different flare regions within the "standard" flare model is considered in the third chapter. This thesis is based on the next papers: Motorina et al., TePh, 2012, Motorina & Kontar, Ge&Ae, 2015, Battaglia et al., ApJ, 2015, Motorina et al., TePh, 2016, Tsap et al., Ge&Ae, 2016.


title: Robust adaptive efficient estimation for a semi-Markov continuous time regression from discrete data

abstract: In this article we consider the nonparametric robust estimation problem for regression models in continuous time with semi-Markov noises observed in discrete time moments. An adaptive model selection procedure is proposed. A sharp non-asymptotic oracle inequality for the robust risks is obtained. We obtain sufficient conditions on the frequency observations under which the robust efficiency is shown. It turns out that for the semi-Markov models the robust minimax convergence rate may be faster or slower than the classical one.


title: Delivery Time Minimization in Edge Caching: Synergistic Benefits of Subspace Alignment and Zero Forcing

abstract: An emerging trend of next generation communication systems is to provide network edges with additional capabilities such as additional storage resources in the form of caches to reduce file delivery latency. To investigate this aspect, we study the fundamental limits of a cache-aided wireless network consisting of one central base station, $M$ transceivers and $K$ receivers from a latency-centric perspective. We use the normalized delivery time (NDT) to capture the per-bit latency for the worst-case file request pattern at high signal-to-noise ratios (SNR), normalized with respect to a reference interference-free system with unlimited transceiver cache capabilities. For various special cases with $M=\{1,2\}$ and $K=\{1,2,3\}$ that satisfy $M+K\leq 4$, we establish the optimal tradeoff between cache storage and latency. This is facilitated through establishing a novel converse (for arbitrary $M$ and $K$) and an achievability scheme on the NDT. Our achievability scheme is a synergistic combination of multicasting, zero-forcing beamforming and interference alignment.


title: If it ain't broke, don't fix it: Sparse metric repair

abstract: Many modern data-intensive computational problems either require, or benefit from distance or similarity data that adhere to a metric. The algorithms run faster or have better performance guarantees. Unfortunately, in real applications, the data are messy and values are noisy. The distances between the data points are far from satisfying a metric. Indeed, there are a number of different algorithms for finding the closest set of distances to the given ones that also satisfy a metric (sometimes with the extra condition of being Euclidean). These algorithms can have unintended consequences, they can change a large number of the original data points, and alter many other features of the data. The goal of sparse metric repair is to make as few changes as possible to the original data set or underlying distances so as to ensure the resulting distances satisfy the properties of a metric. In other words, we seek to minimize the sparsity (or the $\ell_0$ "norm") of the changes we make to the distances subject to the new distances satisfying a metric. We give three different combinatorial algorithms to repair a metric sparsely. In one setting the algorithm is guaranteed to return the sparsest solution and in the other settings, the algorithms repair the metric. Without prior information, the algorithms run in time proportional to the cube of the number of input data points and, with prior information we can reduce the running time considerably.


title: Open, convex, unbounded sets in normed spaces

abstract: Let X be a normed linear space. We examine if every open, convex and unbounded subset of X is equal to the union of a family of open straight half lines. The answer is affirmative if and only if X is finite dimensional.


title: Discrepancy-Based Algorithms for Non-Stationary Rested Bandits

abstract: We study the multi-armed bandit problem where the rewards are realizations of general non-stationary stochastic processes, a setting that generalizes many existing lines of work and analyses. In particular, we present a theoretical analysis and derive regret guarantees for rested bandits in which the reward distribution of each arm changes only when we pull that arm. Remarkably, our regret bounds are logarithmic in the number of rounds under several natural conditions. We introduce a new algorithm based on classical UCB ideas combined with the notion of weighted discrepancy, a useful tool for measuring the non-stationarity of a stochastic process. We show that the notion of discrepancy can be used to design very general algorithms and a unified framework for the analysis of multi-armed rested bandit problems with non-stationary rewards. In particular, we show that we can recover the regret guarantees of many specific instances of bandit problems with non-stationary rewards that have been studied in the literature. We also provide experiments demonstrating that our algorithms can enjoy a significant improvement in practice compared to standard benchmarks.


title: Imaging the paramagnetic nonlinear Meissner effect in nodal gap superconductor

abstract: Boundary surfaces of nodal gap superconductors can host Andreev bound states (ABS) which develop a paramagnetic response under external RF field in contrast to the bulk diamagnetic response of the bulk superconductor. At low temperature this surface paramagnetic response dominates and enhances the nonlinear RF response of the sample. With a recently developed photoresponse imaging technique, the anisotropy of this "paramagnetic" nonlinear Meissner response, and its current direction (angular) and RF power dependence has been systematically studied. A theoretical model describing the current flow in the surface paramagnetic Andreev bound state, the bulk diamagnetic Meissner state, and their response to optical illumination is proposed and it shows good agreement with the experimental results.


title: Semiclassical Dynamics, Berry Curvature and Spiral Holonomy in Optical Quasicrystals

abstract: We describe the theory of the dynamics of atoms in two-dimensional quasicrystalline optical lattices. We focus on a regime of shallow lattice depths under which the applied force can cause Landau-Zener tunneling past a dense hierarchy of gaps in the quasiperiodic energy spectrum. We derive conditions on the external force that allow for a "semiadiabatic" regime in which semiclassical equations of motion can apply, leading to Bloch oscillations between the edges of a pseudo-Brillouin-zone. We verify this semiclassical theory by comparing to the results of an exact numerical solution. Interesting features appear in the semiclassical dynamics for the quasicrystal for a particle driven in a cyclic trajectory around the corner of the pseudo-Brillouin-zone: The particle fails to return to its initial state, providing a realization of a "spiral holonomy" in the dynamics. We show that there can appear anomalous velocity contibutions, associated with nonzero Berry curvature. We relate these to the Berry phase associated with the spiral holonomy, and show how the Berry curvature can be accessed from the semiclassical dynamics. Finally, by identifying the pseudo-Brillouin-zone as a higher genus surface, we show that the Chern number classification for periodic systems can be extended to a quasicrystal, thereby determining a topological index for the system.


title: Improved Bounds for Testing Forbidden Order Patterns

abstract: A sequence $f\colon\{1,\dots,n\}\to\mathbb{R}$ contains a permutation $\pi$ of length $k$ if there exist $i_1<\dots<i_k$ such that, for all $x,y$, $f(i_x)<f(i_y)$ if and only if $\pi(x)<\pi(y)$; otherwise, $f$ is said to be $\pi$-free. In this work, we consider the problem of testing for $\pi$-freeness with one-sided error, continuing the investigation of [Newman et al., SODA'17]. We demonstrate a surprising behavior for non-adaptive tests with one-sided error: While a trivial sampling-based approach yields an $\varepsilon$-test for $\pi$-freeness making $\Theta(\varepsilon^{-1/k} n^{1-1/k})$ queries, our lower bounds imply that this is almost optimal for most permutations! Specifically, for most permutations $\pi$ of length $k$, any non-adaptive one-sided $\varepsilon$-test requires $\varepsilon^{-1/(k-\Theta(1))}n^{1-1/(k-\Theta(1))}$ queries; furthermore, the permutations that are hardest to test require $\Theta(\varepsilon^{-1/(k-1)}n^{1-1/(k-1)})$ queries, which is tight in $n$ and $\varepsilon$. Additionally, we show two hierarchical behaviors here. First, for any $k$ and $l\leq k-1$, there exists some $\pi$ of length $k$ that requires $\tilde{\Theta}_{\varepsilon}(n^{1-1/l})$ non-adaptive queries. Second, we show an adaptivity hierarchy for $\pi=(1,3,2)$ by proving upper and lower bounds for (one- and two-sided) testing of $\pi$-freeness with $r$ rounds of adaptivity. The results answer open questions of Newman et al. and [Canonne and Gur, CCC'17].


title: Localization of light in an optical microcapillary introduced by a droplet

abstract: Sensing with optical whispering gallery modes (WGMs) is a rapidly developing detection method in modern microfluidics research. This method explores the perturbations of spectra of WGMs propagating along the wall of an optical microcapillary to characterize the liquid medium inside it. Here we show that WGMs in a silica microcapillary can be fully localized (rather than perturbed) by evanescent coupling to a water droplet and, thus, form a high quality-factor microresonator. The spectra of this resonator, measured with a microfiber translated along the capillary, present a hierarchy of resonances which allow us to determine the size of the droplet and variation of its length due to the evaporation. The resolution of our measurements of this variation equal to 4.5 nm is only limited by the resolution of the optical spectrum analyzer used. The discovered phenomenon of complete localization of light in liquid-filled optical microcapillaries suggests a new type of microfluidic photonic devices as well as an ultraprecise method for microfluidic characterization.


title: A Study on Topological Descriptors for the Analysis of 3D Surface Texture

abstract: Methods from computational topology are becoming more and more popular in computer vision and have shown to improve the state-of-the-art in several tasks. In this paper, we investigate the applicability of topological descriptors in the context of 3D surface analysis for the classification of different surface textures. We present a comprehensive study on topological descriptors, investigate their robustness and expressiveness and compare them with state-of-the-art methods including Convolutional Neural Networks (CNNs). Results show that class-specific information is reflected well in topological descriptors. The investigated descriptors can directly compete with non-topological descriptors and capture complementary information. As a consequence they improve the state-of-the-art when combined with non-topological descriptors.


title: List-decodable zero-rate codes

abstract: We consider list-decoding in the zero-rate regime for two cases: the binary alphabet and the spherical codes in Euclidean space. Specifically, we study the maximal $\tau \in [0,1]$ for which there exists an arrangement of $M$ balls of relative Hamming radius $\tau$ in the binary hypercube (of arbitrary dimension) with the property that no point of the latter is covered by $L$ or more of them. As $M\to \infty$ the maximal $\tau$ decreases to a well-known critical value $\tau_L$. In this work, we prove several results on the rate of this convergence. For the binary case, we show that the rate is $\Theta(M^{-1})$ when $L$ is even, thus extending the classical results of Plotkin and Levenshtein for $L=2$. For $L=3$ the rate is shown to be $\Theta(M^{-\tfrac{2}{3}})$. For the similar question about spherical codes, we prove the rate is $\Omega(M^{-1})$ and $O(M^{-\tfrac{2L}{L^2-L+2}})$.


title: Concordances from differences of torus knots to $L$-space knots

abstract: It is known that connected sums of positive torus knots are not concordant to $L$-space knots. Here we consider differences of torus knots. The main result states that the subgroup of the concordance group generated by two positive torus knots contains no nontrivial $L$-space knots other than the torus knots themselves. Generalizations to subgroups generated by more than two torus knots are also considered.


title: Rigid limit for hypermultiplets and five-dimensional gauge theories

abstract: We study the rigid limit of a class of hypermultiplet moduli spaces appearing in Calabi-Yau compactifications of type IIB string theory, which is induced by a local limit of the Calabi-Yau. We show that the resulting hyperkahler manifold is obtained by performing a hyperkahler quotient of the Swann bundle over the moduli space, along the isometries arising in the limit. Physically, this manifold appears as the target space of the non-linear sigma model obtained by compactification of a five-dimensional gauge theory on a torus. This allows to compute dyonic and stringy instantons of the gauge theory from the known results on D-instantons in string theory. Besides, we formulate a simple condition on the existence of a non-trivial local limit in terms of intersection numbers of the Calabi-Yau, and find an explicit form for the hypermultiplet metric including corrections from all mutually non-local D-instantons, which can be of independent interest.


title: Deep HST Imaging in 47 Tucanae: A Global Dynamical Model

abstract: Multi-epoch observations with ACS and WFC3 on HST provide a unique and comprehensive probe of stellar dynamics within 47 Tucanae. We confront analytic models of the globular cluster with the observed stellar proper motions that probe along the main sequence from just above 0.8 to 0.1M$_\odot$ as well as white dwarfs younger than one gigayear. One field lies just beyond the half-light radius where dynamical models (\eg lowered Maxwellian distributions) make robust predictions for the stellar proper motions. The observed proper motions in this outer field show evidence for anisotropy in the velocity distribution as well as skewness; the latter is evidence of rotation. The measured velocity dispersions and surface brightness distributions agree in detail with a rotating, anisotropic model of the stellar distribution function with mild dependence of the proper-motion dispersion on mass. However, the best fitting models under-predict the rotation and skewness of the stellar velocities. In the second field, centered on the core of the cluster, the mass segregation in proper motion is much stronger. Nevertheless the model developed in the outer field can be extended inward by taking this mass segregation into account in a heuristic fashion. The proper motions of the main-sequence stars yield a mass estimate of the cluster of $1.31 \pm 0.02 \times 10^6 \mathrm{M}_\odot$ at a distance of 4.7 kpc. By comparing the proper motions of a sample of giant and sub-giant stars with the observed radial velocities we estimate the distance to the cluster kinematically to be $4.29 \pm 0.47$ kpc.


title: Atomic-scale identification of novel planar defect phases in heteroepitaxial YBa$_2$Cu$_3$O$_{7-\delta}$ thin films

abstract: We have discovered two novel types of planar defects that appear in heteroepitaxial YBa$_2$Cu$_3$O$_{7-\delta}$ (YBCO123) thin films, grown by pulsed-laser deposition (PLD) either with or without a La$_{2/3}$Ca$_{1/3}$MnO$_3$ (LCMO) overlayer, using the combination of high-angle annular dark-field scanning transmission electron microscopy (HAADF-STEM) imaging and electron energy loss spectroscopy (EELS) mapping for unambiguous identification. These planar lattice defects are based on the intergrowth of either a BaO plane between two CuO chains or multiple Y-O layers between two CuO$_2$ planes, resulting in non-stoichiometric layer sequences that could directly impact the high-$T_c$ superconductivity.


title: Strain-driven attenuation of superconductivity in heteroepitaxial perovskite/YBCO/perovskite thin films

abstract: To distinguish between the effects of strain and magnetism on the superconductivity in $c$-axis La$_{2/3}$Ca$_{1/3}$MnO$_3$/YBa$_2$Cu$_3$O$_{7-\delta}$ (LCMO/YBCO) heterostructures, we study perovskite/YBCO/perovskite thin films using either ferromagnetic LCMO or paramagnetic LaNiO$_3$ (LNO) as perovskite. For a lattice-symmetry matched comparison, we also use orthorhombic PrBa$_2$Cu$_3$O$_{7-\delta}$ (PBCO) in place of the pseudocubic perovskites. Unlike PBCO/YBCO/PBCO, both LCMO/YBCO/LCMO and LNO/YBCO/LNO trilayers show strong attenuation of the superconducting $T_c$ as YBCO layer thickness is reduced from 21.4 to 5.4 nm. Our results indicate that heteroepitaxial strain, rather than long-range proximity effect, is responsible for the long length scales of $T_c$ attenuation observed in $c$-axis LCMO/YBCO heterostructures.


title: Wideband Channel Estimation for Hybrid Beamforming Millimeter Wave Communication Systems with Low-Resolution ADCs

abstract: A potential tremendous spectrum resource makes millimeter wave (mmWave) communications a promising technology. High power consumption due to a large number of antennas and analog-to-digital converters (ADCs) for beamforming to overcome the large propagation losses is problematic in practice. As a hybrid beamforming architecture and low-resolution ADCs are considered to reduce power consumption, estimation of mmWave channels becomes challenging. We evaluate several channel estimation algorithms for wideband mmWave systems with hybrid beamforming and low-resolution ADCs. Through simulation, we show that 1) infinite bit ADCs with least-squares estimation have worse channel estimation performance than do one-bit ADCs with orthogonal matching pursuit (OMP) in an SNR range of interest, 2) three- and four-bit quantizers can achieve channel estimation performance close to the unquantized case when using OMP, 3) a receiver with a single RF chain can yield better estimates than that with four RF chains if enough frames are exploited, and 4) for one-bit ADCs, exploitation of higher transmit power and more frames for performance enhancement adversely affects estimation performance after a certain point.


title: On the Tits alternative for $PD(3)$ groups

abstract: We prove the Tits alternative for an almost coherent $PD(3)$ group which is not virtually properly locally cyclic. In particular, we show that an almost coherent $PD(3)$ group which cannot be generated by fewer than four elements always contains a rank 2 free group.


title: The fate of close encounters between binary stars and binary supermassive black holes

abstract: The evolution of main sequence binaries that reside in the Galactic Centre can be heavily influenced by the central supermassive black hole (SMBH). Due to these perturbative effects, the stellar binaries in dense environments are likely to experience mergers, collisions or ejections through secular and/or non-secular interactions. More direct interactions with the central SMBH are thought to produce hypervelocity stars (HVSs) and tidal disruption events (TDEs). In this paper, we use N-body simulations to study the dynamics of stellar binaries orbiting a central SMBH primary with an outer SMBH secondary orbiting this inner triple. The effects of the secondary SMBH on the event rates of HVSs, TDEs and stellar mergers are investigated, as a function of the SMBH-SMBH binary mass ratio. Our numerical experiments reveal that, relative to the isolated SMBH case, the TDE and HVS rates are enhanced for, respectively, the smallest and largest mass ratio SMBH-SMBH binaries. This suggests that the observed event rates of TDEs and HVSs have the potential to serve as a diagnostic of the mass ratio of a central SMBH-SMBH binary. The presence of a secondary SMBH also allows for the creation of hypervelocity binaries. Observations of these systems could thus constrain the presence of a secondary SMBH in the Galactic Centre.


title: Synthesis of high-oxidation Y-Ba-Cu-O phases in superoxygenated thin films

abstract: It is known that solid-state reaction in high-pressure oxygen can stabilize high-oxidation phases of Y-Ba-Cu-O superconductors in powder form. We extend this superoxygenation concept of synthesis to thin films which, due to their large surface-to-volume ratio, are more reactive thermodynamically. Epitaxial thin films of $\rm{YBa_2Cu_3O_{7-\delta}}$ grown by pulsed laser deposition are annealed at up to 700 atm O$_2$ and 900$^\circ$C, in conjunction with Cu enrichment by solid-state diffusion. The films show clear formation of $\rm{Y_2Ba_4Cu_7O_{15-\delta}}$ and $\rm{Y_2Ba_4Cu_8O_{16}}$ as well as regions of $\rm{YBa_2Cu_5O_{9-\delta}}$ and YBa$_2$Cu$_6$O$_{10-\delta}$ phases, according to scanning transmission electron microscopy, x-ray diffraction and x-ray absorption spectroscopy. Similarly annealed $\rm{YBa_2Cu_3O_{7-\delta}}$ powders show no phase conversion. Our results demonstrate a novel route of synthesis towards discovering more complex phases of cuprates and other superconducting oxides.


title: Narrowband Channel Estimation for Hybrid Beamforming Millimeter Wave Communication Systems with One-bit Quantization

abstract: Millimeter wave (mmWave) spectrum has drawn attention due to its tremendous available bandwidth. The high propagation losses in the mmWave bands necessitate beamforming with a large number of antennas. Traditionally each antenna is paired with a high-speed analog-to-digital converter (ADC), which results in high power consumption. A hybrid beamforming architecture and one-bit resolution ADCs have been proposed to reduce power consumption. However, analog beamforming and one-bit quantization make channel estimation more challenging. In this paper, we propose a narrowband channel estimation algorithm for mmWave communication systems with one-bit ADCs and hybrid beamforming based on generalized approximate message passing (GAMP). We show through simulation that 1) GAMP variants with one-bit ADCs have better performance than do least-squares estimation methods without quantization, 2) the proposed one-bit GAMP algorithm achieves the lowest estimation error among the GAMP variants, and 3) exploiting more frames and RF chains enhances the channel estimation performance.


title: Existence and stability of steady compressible Navier-Stokes solutions on a finite interval with noncharacteristic boundary conditions

abstract: We study existence and stability of steady solutions of the isentropic compressible Navier-Stokes equations on a finite interval with non characteristic boundary conditions, for general not necessarily small-amplitude data. We show that there exists a unique solution, about which the linearized spatial operator possesses (i) a spectral gap between neutral and growing/decaying modes, and (ii) an even number of nonstable eigenvalues ? (with a nonnegative real part). In the case that there are no nonstable eigenvalues, i.e., of spectral stability, we show this solution to be nonlinearly exponentially stable in H2 X H3. Using "Goodman-type" weighted energy estimates, we establish spectral stability for small-amplitude data. For large amplitude data, we obtain high-frequency stability, reducing stability investigations to a bounded frequency regime. On this remaining, bounded-frequency regime, we carry out a numerical Evans function study, with results again indicating universal stability of solutions.


title: Discovery Radiomics with CLEAR-DR: Interpretable Computer Aided Diagnosis of Diabetic Retinopathy

abstract: Objective: Radiomics-driven Computer Aided Diagnosis (CAD) has shown considerable promise in recent years as a potential tool for improving clinical decision support in medical oncology, particularly those based around the concept of Discovery Radiomics, where radiomic sequencers are discovered through the analysis of medical imaging data. One of the main limitations with current CAD approaches is that it is very difficult to gain insight or rationale as to how decisions are made, thus limiting their utility to clinicians. Methods: In this study, we propose CLEAR-DR, a novel interpretable CAD system based on the notion of CLass-Enhanced Attentive Response Discovery Radiomics for the purpose of clinical decision support for diabetic retinopathy. Results: In addition to disease grading via the discovered deep radiomic sequencer, the CLEAR-DR system also produces a visual interpretation of the decision-making process to provide better insight and understanding into the decision-making process of the system. Conclusion: We demonstrate the effectiveness and utility of the proposed CLEAR-DR system of enhancing the interpretability of diagnostic grading results for the application of diabetic retinopathy grading. Significance: CLEAR-DR can act as a potential powerful tool to address the uninterpretability issue of current CAD systems, thus improving their utility to clinicians.


title: Magnetic field control of cycloidal domains and electric polarization in multiferroic BiFeO$_3$

abstract: The magnetic field induced rearrangement of the cycloidal spin structure in ferroelectric mono-domain single crystals of the room-temperature multiferroic BiFeO$_3$ is studied using small-angle neutron scattering (SANS). The cycloid propagation vectors are observed to rotate when magnetic fields applied perpendicular to the rhombohedral (polar) axis exceed a pinning threshold value of $\sim$5\,T. In light of these experimental results, a phenomenological model is proposed that captures the rearrangement of the cycloidal domains, and we revisit the microscopic origin of the magnetoelectric effect. A new coupling between the magnetic anisotropy and the polarization is proposed that explains the recently discovered magnetoelectric polarization to the rhombohedral axis.


title: Inertial self-propulsion of spherical microswimmers by rotation-translation coupling

abstract: We study swimming of small spherical particles who regulate fluid flow on their surface by applying tangential squirming strokes. We derive translational and rotational velocities for any given stroke which is not restricted by axial symmetry as assumed usually. The formulation includes inertia of both the fluid and the swimmer, motivated by inertia's relevance for large Volvox colonies. We show that inertial contribution to mean speed comes from dynamic coupling between translation and rotation, which occurs only for strokes that break axial symmetry. Remarkably, this effect enables overcoming the scallop theorem on impossibility of propulsion by time-reversible stroke. We study examples of tangential strokes of axisymmetric travelling wave, and of asymmetric time-reversible flapping. In the latter case, we find that inertia-driven mean speed is optimized for flapping frequency and swimmer's size which fall well within the range of realistic physical values for Volvox colonies. We conjecture that similarly to Paramecium, large Volvox could use time-reversible strokes for inertia-driven swimming coupled with their rotations.


title: A new approach to the nonsingular cubic binary moment problem

abstract: We present an alternative solution to nonsingular cubic moment problems, using techniques that are expected to be useful for higher-degree truncated moment problems. In particular, we apply the theory of recursively determinate moment matrices to deal with a case of rank-increasing moment matrix extensions.


title: Local limit theorems and mod-phi convergence

abstract: We prove local limit theorems for mod-{\phi} convergent sequences of random variables, {\phi} being a stable distribution. In particular, we give two new proofs of a local limit theorem in the framework of mod-phi convergence: one proof based on the notion of zone of control, and one proof based on the notion of mod-{\phi} convergence in L1(iR). These new approaches allow us to identify the infinitesimal scales at which the stable approximation is valid. We complete our analysis with a large variety of examples to which our results apply, and which stem from random matrix theory, number theory, combinatorics or statistical mechanics.


title: Weyl's Theorem for pairs of commuting hyponormal operators

abstract: Let $\mathbf{T}$ be a pair of commuting hyponormal operators satisfying the so-called quasitriangular property $$ \textrm{dim} \; \textrm{ker} \; (\mathbf{T}-\boldsymbol\lambda) \ge \textrm{dim} \; \textrm{ker} \; (\mathbf{T} - {\boldsymbol\lambda})^*), $$ for every $\boldsymbol\lambda$ in the Taylor spectrum $\sigma(\mathbf{T})$ of $\mathbf{T}$. We prove that the Weyl spectrum of $\mathbf{T}$, $\omega(\mathbf{T})$, satisfies the identity $$ \omega(\mathbf{T})=\sigma(\mathbf{T}) \setminus \pi_{00}(\mathbf{T}), $$ where $\pi_{00}(\mathbf{T})$ denotes the set of isolated eigenvalues of finite multiplicity. Our method of proof relies on a (strictly $2$-variable) fact about the topological boundary of the Taylor spectrum; as a result, our proof does not hold for $d$-tuples of commuting hyponormal operators with $d>2$.


title: The $2$-Class Tower of $\mathbb{Q}(\sqrt{-5460})$

abstract: The seminal papers in the field of root-discriminant bounds are those of Odlyzko and Martinet. Both papers include the question of whether the field $\mathbb{Q}(\sqrt{-5460})$ has finite or infinite $2$-class tower. This is a critical case that will either substantially lower the best known upper bound for lim inf of root-discriminants (if infinite) or else give a counter-example to what is often termed Martinet's conjecture or question (if finite). Using extensive computation and introducing some new techniques, we give strong evidence that the tower is in fact finite, establishing other properties of its Galois group en route.


title: A comparison theorem for Finsler submanifolds and its applications

abstract: In this paper, we consider the conormal bundle over a submanifold in a Finsler manifold and establish a volume comparison theorem. As an application, we derive a lower estimate for length of closed geodesics in a Finsler manifold. In the reversible case, a lower bound of injective radius is also obtained.


title: Moment infinitely divisible weighted shifts

abstract: We say that a weighted shift $W_\alpha$ with (positive) weight sequence $\alpha: \alpha_0, \alpha_1, \ldots$ is {\it moment infinitely divisible} (MID) if, for every $t > 0$, the shift with weight sequence $\alpha^t: \alpha_0^t, \alpha_1^t, \ldots$ is subnormal. \ Assume that $W_{\alpha}$ is a contraction, i.e., $0 < \alpha_i \le 1$ for all $i \ge 0$. \ We show that such a shift $W_\alpha$ is MID if and only if the sequence $\alpha$ is log completely alternating. \ This enables the recapture or improvement of some previous results proved rather differently. \ We derive in particular new conditions sufficient for subnormality of a weighted shift, and each example contains implicitly an example or family of infinitely divisible Hankel matrices, many of which appear to be new.


title: Exact solutions for nonlinear development of Kelvin-Helmholtz instability for counterflow of superfluid and normal components of Helium II

abstract: A relative motion of the normal and superfluid components of Helium II results in Kelvin-Helmholtz instability (KHI) at their common free surface. We found the exact solutions for the nonlinear stage of the development of that instability. Contrary to the usual KHI of the interface between two fluids, the dynamics of Helium II free surface allows decoupling of the governing equations with their reduction to the Laplace growth equation which has the infinite number of exact solutions including the formation of sharp cusps at free surface in a finite time.


title: Exact completion and constructive theories of sets

abstract: In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-L\"of type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms of properties of their subcategories of choice objects (i.e. objects satisfying the axiom of choice). Because of these intended applications, we deal with categories that lack equalisers and just have weak ones, but whose objects can be regarded as collections of global elements. In this context, we study the internal logic of the categories involved, and employ this analysis to give a sufficient condition for the local cartesian closure of an exact completion. Finally, we apply this result to show when an exact completion produces a model of CETCS.


title: Regularization for Deep Learning: A Taxonomy

abstract: Regularization is one of the crucial ingredients of deep learning, yet the term regularization has various definitions, and regularization methods are often studied separately from each other. In our work we present a systematic, unifying taxonomy to categorize existing methods. We distinguish methods that affect data, network architectures, error terms, regularization terms, and optimization procedures. We do not provide all details about the listed methods; instead, we present an overview of how the methods can be sorted into meaningful categories and sub-categories. This helps revealing links and fundamental similarities between them. Finally, we include practical recommendations both for users and for developers of new regularization methods.


title: High-Precision Localization Using Ground Texture

abstract: Location-aware applications play an increasingly critical role in everyday life. However, satellite-based localization (e.g., GPS) has limited accuracy and can be unusable in dense urban areas and indoors. We introduce an image-based global localization system that is accurate to a few millimeters and performs reliable localization both indoors and outside. The key idea is to capture and index distinctive local keypoints in ground textures. This is based on the observation that ground textures including wood, carpet, tile, concrete, and asphalt may look random and homogeneous, but all contain cracks, scratches, or unique arrangements of fibers. These imperfections are persistent, and can serve as local features. Our system incorporates a downward-facing camera to capture the fine texture of the ground, together with an image processing pipeline that locates the captured texture patch in a compact database constructed offline. We demonstrate the capability of our system to robustly, accurately, and quickly locate test images on various types of outdoor and indoor ground surfaces.


title: Nikolay Luzin, his students, adversaries, and defenders (notes on the history of Moscow mathematics, 1914-1936)

abstract: This is historical-mathematical and historical notes on Moscow mathematics 1914-1936. Nikolay Luzin was a central figure of that time. Pavel Alexandroff, Nina Bari, Alexandr Khinchin, Andrey Kolmogorov, Mikhail Lavrentiev, Lazar Lyusternik, Dmitry Menshov, Petr Novikov, Lev Schnirelman, Mikhail Suslin, and Pavel Urysohn were his students. We discuss the time of the great intellectual influence of Luzin (1915-1924), the time of decay of his school (1922-1930), a moment of his administrative power (1934-1936), and his fall in July 1936.


title: Kernel Graph Convolutional Neural Networks

abstract: Graph kernels have been successfully applied to many graph classification problems. Typically, a kernel is first designed, and then an SVM classifier is trained based on the features defined implicitly by this kernel. This two-stage approach decouples data representation from learning, which is suboptimal. On the other hand, Convolutional Neural Networks (CNNs) have the capability to learn their own features directly from the raw data during training. Unfortunately, they cannot handle irregular data such as graphs. We address this challenge by using graph kernels to embed meaningful local neighborhoods of the graphs in a continuous vector space. A set of filters is then convolved with these patches, pooled, and the output is then passed to a feedforward network. With limited parameter tuning, our approach outperforms strong baselines on 7 out of 10 benchmark datasets.


title: Maximum Likelihood Estimations Based on Upper Record Values for Probability Density Function and Cumulative Distribution Function in Exponential Family and Investigating Some of Their Properties

abstract: In this paper a useful subfamily of the exponential family has been considered. The ML estimation based on upper record values has been calculated for the parameter, Cumulative Density Function, and Probability Density Function of the family. Also, the relations between MLE based on record values and a random sample has been discussed. Additionally, some properties of these estimators have been investigated. Finally, it has been proven that these estimators have some useful properties for samples with large size


title: A Strongly Coupled Open System with Non-linear Bath: Fluctuation-Dissipation and Langevin Dynamics

abstract: Study of Langevin dynamics and the fluctuation-dissipation relation (FDR) for a generic probe system (represented by a mass $M$), bilinearly coupled to a bath of harmonic oscillators, has been a standard paradigm for a microscopic theory of stochastic processes for several decades. The question that we probe in this paper is, how far the structure of the classical FDR is robust, when one replaces the harmonic bath by an anharmonic one in the limit of strong system-bath coupling? Such a picture carries the signature of the probe system in the zeroth order through a nonlocal time kernel. We observe that the two-time noise correlations hold out a rich structure from which the usual FDR emerges only in the leading order of perturbation. Beyond this order, multiple time scales and nontrivial dependence on the temperature starts manifesting. These new aspects conspire to break the time-translational invariance of the noise-correlations. Several other interesting features show up and we discuss them methodically through rigorous calculations order-by-order in perturbation. This formalistic derivation along with a specific example of non-linearity can be easily applied to a huge range of processes and statistical observables that fall under the purview of system-reservoir theory.


title: Research on ruin probability of risk model based on AR(1) series

abstract: In this text, we establish the risk model based on AR(1) series and propose the basic model which has a dependent structure under intensity of claim number. Considering some properties of the risk model, we take advantage of newton iteration method to figure out the adjustment coefficient and estimate the exponential upper bound of ruin probability. This is significant to refine the research of ruin theory. As a result, our theory will help develop insurance industry stably.


title: Secondary Term of Asymptotic Distribution of $S_3\times A$ Extensions over $\mathbb{Q}$

abstract: We combine a sieve method together with good uniformity estimates to prove a secondary term for the asymptotic estimate of $S_3\times A$ extensions over $\mathbb{Q}$ when $A$ is an odd abelian group with minimal prime divisor greater than $5$. At the same time, we prove the existence of a power saving error when $A$ is any odd abelian group.


title: Notes on the Multiplicative Ergodic Theorem

abstract: The Oseledets Multiplicative Ergodic theorem is a basic result with numerous applications throughout dynamical systems. These notes provide an introduction to this theorem, as well as subsequent generalizations. They are based on lectures at summer schools in Brazil, France, and Russia.


title: Multilinear Class-Specific Discriminant Analysis

abstract: There has been a great effort to transfer linear discriminant techniques that operate on vector data to high-order data, generally referred to as Multilinear Discriminant Analysis (MDA) techniques. Many existing works focus on maximizing the inter-class variances to intra-class variances defined on tensor data representations. However, there has not been any attempt to employ class-specific discrimination criteria for the tensor data. In this paper, we propose a multilinear subspace learning technique suitable for applications requiring class-specific tensor models. The method maximizes the discrimination of each individual class in the feature space while retains the spatial structure of the input. We evaluate the efficiency of the proposed method on two problems, i.e. facial image analysis and stock price prediction based on limit order book data.


title: Links between quantum chaos and counting problems

abstract: We show that Hurwitz numbers may be generated by certain correlation functions which appear in quantum chaos.


title: Robust Optimal Design of Quantum Electronic Devices

abstract: We consider the optimal design of a sequence of quantum barriers in order to manufacture an electronic device at the nanoscale such that the dependence of its transmission coefficient on the bias voltage is linear. The technique presented here is easily adaptable to other response characteristics. The transmission coefficient is computed using the Wentzel-Kramers-Brillouin (WKB) method, so we can explicitly compute the gradient of the objective function. In contrast with earlier treatments, manufacturing uncertainties are incorporated in the model through random variables and the optimal design problem is formulated in a probabilistic setting. As a measure of robustness, a weighted sum of the expectation and the variance of a least-squares performance metric is considered. Several simulations illustrate the proposed approach.


title: Extended nilHecke algebra and symmetric functions in type B

abstract: We formulate a type B extended nilHecke algebra, following the type A construction of Naisse and Vaz. We describe an action of this algebra on extended polynomials and describe some results on the structure on the extended symmetric polynomials. Finally, following Appel, Egilmez, Hogancamp, and Lauda, we prove a result analogous to a classical theorem of Solomon connecting the extended symmetric polynomial ring to a ring of usual symmetric polynomials and their differentials.


title: Single top-quark production at the Tevatron and the LHC

abstract: This paper provides a review of the experimental studies of processes with a single top quark at the Tevatron proton-antiproton collider and the LHC proton-proton collider. Single top-quark production in the t-channel process has been measured at both colliders. The s-channel process has been observed at the Tevatron, and its rate has been also measured at the center-of-mass energy of 8 TeV at the LHC in spite of the comparatively harsher background contamination. LHC data also brought the observation of the associated production of a single top quark with a W boson as well as with a Z boson. The Cabibbo-Kobayashi-Maskawa matrix element |Vtb| is extracted from the single-top-quark production cross sections, and t-channel events are used to measure several properties of the top quark and set constraints on models of physics beyond the Standard Model. Rare final states with a single top quark are searched for, as enhancements in their production rates, if observed, would be clear signs of new physics.


title: Equivalent Circuit for Magnetoelectric Read and Write Operations

abstract: We describe an equivalent circuit model applicable to a wide variety of magnetoelectric phenomena and use SPICE simulations to benchmark this model against experimental data. We use this model to suggest a different mode of operation where the "1" and "0'" states are not represented by states with net magnetization (like $m_x$, $m_y$ or $m_z$) but by different easy axes, quantitatively described by ($m_x^2 - m_y^2$) which switches from "0" to "1" through the write voltage. This change is directly detected as a read signal through the inverse effect. The use of ($m_x^2 - m_y^2$) to represent a bit is a radical departure from the standard convention of using the magnetization ($m$) to represent information. We then show how the equivalent circuit can be used to build a device exhibiting tunable randomness and suggest possibilities for extending it to non-volatile memory with read and write capabilities, without the use of external magnetic fields or magnetic tunnel junctions.


title: Quantized Majorana conductance

abstract: Majorana zero-modes hold great promise for topological quantum computing. Tunnelling spectroscopy in electrical transport is the primary tool to identify the presence of Majorana zero-modes, for instance as a zero-bias peak (ZBP) in differential-conductance. The Majorana ZBP-height is predicted to be quantized at the universal conductance value of 2e2/h at zero temperature. Interestingly, this quantization is a direct consequence of the famous Majorana symmetry, 'particle equals antiparticle'. The Majorana symmetry protects the quantization against disorder, interactions, and variations in the tunnel coupling. Previous experiments, however, have shown ZBPs much smaller than 2e2/h, with a recent observation of a peak-height close to 2e2/h. Here, we report a quantized conductance plateau at 2e2/h in the zero-bias conductance measured in InSb semiconductor nanowires covered with an Al superconducting shell. Our ZBP-height remains constant despite changing parameters such as the magnetic field and tunnel coupling, i.e. a quantized conductance plateau. We distinguish this quantized Majorana peak from possible non-Majorana origins, by investigating its robustness on electric and magnetic fields as well as its temperature dependence. The observation of a quantized conductance plateau strongly supports the existence of non-Abelian Majorana zero-modes in the system, consequently paving the way for future braiding experiments.


title: Towards A Usability Model for Software Development Process and Practice

abstract: Context/Background: process and practice adoption is a key element in modern software process improvement initiatives, and many of them fail. Goal: this paper presents a preliminary version of a usability model for software development process and practice. Method: this model integrates different perspectives, the ISO Standard on Sys- tems and Software Quality Models (ISO 25010) and classic usability literature. For illustrating the feasibility of the model, two experts applied it to Scrum. Results: metrics values were mostly positive and consistent between evaluators. Conclusions: we find the model feasible to use and potentially beneficial.


title: Revealing the Milky Way's Hidden Circumgalactic Medium with the Cosmic Origins Spectrograph Quasar Database for Galactic Absorption Lines

abstract: Every quasar (QSO) spectrum contains absorption-line signatures from the interstellar medium, disk-halo interface, and circumgalactic medium (CGM) of the Milky Way (MW). We analyze Hubble Space Telescope/Cosmic Origins Spectrograph (COS) spectra of 132 QSOs to study the significance and origin of SiIV absorption at $|v_{\rm LSR}|\leq100$ km/s in the Galactic halo. The gas in the north predominantly falls in at $-50\lesssim v_{\rm LSR}\lesssim 0$ km/s, whereas in the south, no such pattern is observed. The SiIV column density has an average and a standard deviation of $\langle N_{\rm SiIV}\rangle=(3.8\pm1.4)\times10^{13}$ cm$^{-2}$. At $|b|\gtrsim 30$ degree, $N_{\rm SiIV}$ does not significantly correlate with $b$, which cannot be explained by a commonly adopted flat-slab geometry. We propose a two-component model to reconstruct the $N_{\rm SiIV}$-$b$ distribution: a plane-parallel component $N_{\rm DH}^{\perp}$ to account for the MW's disk-halo interface and a global component $N_{\rm G}$ to reproduce the weak dependence on $b$. We find $N_{\rm DH}^{\perp}=1.3^{+4.7}_{-0.7}\times10^{12}$ cm$^{-2}$ and $N_{\rm G}=(3.4\pm0.3)\times10^{13}$ cm$^{-2}$ on the basis of Bayesian analyses and block bootstrapping. The global component is most likely to have a Galactic origin, although its exact location is uncertain. If it were associated with the MW's CGM, we would find $M_{\rm gas, all}\gtrsim4.7\times10^9\ M_{\odot} (\frac{C_f}{1})(\frac{R}{75\ {\rm kpc}})^2 (\frac{f_{\rm SiIV}}{0.3})^{-1}(\frac{Z}{0.3\ Z_{\odot}})^{-1}$ for the cool gas at all velocities in the Galactic halo. Our analyses show that there is likely a considerable amount of gas at $|v_{\rm LSR}|\leq100$ km s$^{-1}$ hidden in the MW's CGM. Along with this work, we make our QSO dataset publicly available as the COS Quasar Database for Galactic Absorption Lines (COS-GAL).


title: Training Probabilistic Spiking Neural Networks with First-to-spike Decoding

abstract: Third-generation neural networks, or Spiking Neural Networks (SNNs), aim at harnessing the energy efficiency of spike-domain processing by building on computing elements that operate on, and exchange, spikes. In this paper, the problem of training a two-layer SNN is studied for the purpose of classification, under a Generalized Linear Model (GLM) probabilistic neural model that was previously considered within the computational neuroscience literature. Conventional classification rules for SNNs operate offline based on the number of output spikes at each output neuron. In contrast, a novel training method is proposed here for a first-to-spike decoding rule, whereby the SNN can perform an early classification decision once spike firing is detected at an output neuron. Numerical results bring insights into the optimal parameter selection for the GLM neuron and on the accuracy-complexity trade-off performance of conventional and first-to-spike decoding.