title: Sparse Antenna and Pulse Placement for Colocated MIMO Radar

abstract: Multiple input multiple output (MIMO) radar is known for its superiority over conventional radar due to its antenna and waveform diversity. Although higher angular resolution, improved parameter identifiability, and better target detection are achieved, the hardware costs (due to multiple transmitters and multiple receivers) and high energy consumption (multiple pulses) limit the usage of MIMO radars in large scale networks. On one hand, higher angle and velocity estimation accuracy is required, but on the other hand, a lower number of antennas/pulses is desirable. To achieve such a compromise, in this work, the Cram'er-Rao lower bound (CRLB) for the angle and velocity estimator is employed as a performance metric to design the antenna and pulse placement. It is shown that the CRLB derived for two targets is a more appropriate criterion in comparison with the single-target CRLB since the two-target CRLB takes into account both the mainlobe width and sidelobe level of the ambiguity function. In this paper, several algorithms for antenna and pulse selection based on convex and submodular optimization are proposed. Numerical experiments are provided to illustrate the developed theory.


title: Binary black hole simulation with an adaptive finite element method III: Evolving a single black hole

abstract: We extend a new finite element code, Einstein PHG (iPHG), to solve the evolution part of Einstein equations in first-order GH formalism. This paper is the third one of a systematic investigation of applying adaptive finite element method to the Einstein equations, especially binary compact objects simulations. The primary motivation of this work is to evolve black holes for the first time utilizing a continuous Galerkin finite element method on unstructured (tetrahedral) mesh. We test our code by evolving a nonlinear scalar wave equation. It works well and runs stably with both reflect and radiative boundary conditions. Then we use iPHG to simulate the full three-dimensional spacetime of a single black hole. We find that the filter used to dealt with aliasing error is a crucial ingredient for numerical stability. For simplicity, we impose the "freezing" ingoing characteristic fields condition in weak form at the outer boundary. Our simulations show both the convergence and stability.


title: 3-dimensional Combinatorial Yamabe Flow in Hyperbolic Background Geometry

abstract: We study the 3-dimensional combinatorial Yamabe flow in hyperbolic background geometry. For a triangulation of a 3-manifold, we prove that if the number of tetrahedra incident to each vertex is at least 23, then there exist real or virtual ball packings with vanishing (extended) combinatorial scalar curvature, i.e. the (extended) solid angle at each vertex is equal to 4{\pi}. In this case, if such a ball packing is real, then the (extended) combinatorial Yamabe flow converges exponentially fast to that ball packing. Moreover, we prove that there is no real or virtual ball packing with vanishing (extended) combinatorial scaler curvature if the number of tetrahedra incident to each vertex is at most 22.


title: Comparison of VCA and GAEE algorithms for Endmember Extraction

abstract: Endmember Extraction is a critical step in hyperspectral image analysis and classification. It is an useful method to decompose a mixed spectrum into a collection of spectra and their corresponding proportions. In this paper, we solve a linear endmember extraction problem as an evolutionary optimization task, maximizing the Simplex Volume in the endmember space. We propose a standard genetic algorithm and a variation with In Vitro Fertilization module (IVFm) to find the best solutions and compare the results with the state-of-art Vertex Component Analysis (VCA) method and the traditional algorithms Pixel Purity Index (PPI) and N-FINDR. The experimental results on real and synthetic hyperspectral data confirms the overcome in performance and accuracy of the proposed approaches over the mentioned algorithms.


title: Electroweak baryogenesis via chiral gravitational waves

abstract: We propose a new mechanism for electroweak baryogenesis based on gravitational waves generated by helical magnetic fields that are present during a first order electroweak phase transition. We generate a net lepton number through the gravitational chiral anomaly which appears due to the chiral gravitational waves produced by these magnetic fields. The observed value of baryon asymmetry can be obtained in our mechanism within parameter space of scenarios with an inverse cascade evolution for magnetic fields which can also be candidates for large-scale magnetic fields.


title: Palindromes in starlike trees

abstract: In this note, we obtain an upper bound on the maximum number of distinct non-empty palindromes in starlike trees. This bound implies, in particular, that there are at most $4n$ distinct non-empty palindromes in a starlike tree with three branches each of length $n$. For such starlike trees labelled with a binary alphabet, we sharpen the upper bound to $4n-1$ and conjecture that the actual maximum is $4n-2$. It is intriguing that this simple conjecture seems difficult to prove, in contrast to the straightforward proof of the bound.


title: Possible Evidence for Cosmic-Ray Acceleration in the Type Ia SNR RCW 86: Spatial Correlation between TeV Gamma rays and Interstellar Atomic Protons

abstract: We present a detailed morphological study of TeV gamma rays, synchrotron radiation, and interstellar gas in the young Type Ia supernova remnant (SNR) RCW 86. We find that the interstellar atomic gas shows good spatial correlation with the gamma rays, indicating that the TeV gamma rays from RCW 86 are likely to be dominantly of hadronic origin. In contrast, the spatial correlation between the interstellar molecular cloud and the TeV gamma rays is poor in the southeastern shell of the SNR. We argue that this poor correlation can be attributed to the low-energy cosmic rays (~ 1 TeV) not penetrating into the dense molecular cloud due to an enhancement of the turbulent magnetic field around the dense cloud of ~ 10-100 $\mu$G. We also find that the southwestern shell, which is bright in both synchrotron X-ray and radio continuum radiation, shows a significant gamma-ray excess compared with the interstellar proton column density, suggesting that leptonic gamma rays via inverse Compton scattering possibly contributes along with hadronic gamma rays. The total cosmic-ray energies of the young TeV gamma-ray SNRs$-$RX J1713.7$-$3946, Vela Jr, HESS J1731$-$347, and RCW 86$-$are roughly similar, which indicates that cosmic rays can be accelerated in both the core-collapse and Type Ia supernovae. The total energy of cosmic rays derived using the gas density, ~ 10$^{48}$-10$^{49}$ erg, gives a safe lower limit due mainly to the low filling factor of interstellar gas within the shell.


title: Eigenvalue estimates for bilayer graphene

abstract: Recently, Ferrulli-Laptev-Safronov (2016arXiv161205304F) obtained eigenvalue estimates for an operator associated to bilayer graphene in terms of $L^q$ norms of the (possibly non-selfadjoint) potential. They proved that for $1<q<4/3$ all non-embedded eigenvalues lie near the edges of the spectrum of the free operator. In this note we prove this for the larger range $1\leq q\leq 3/2$. The latter is optimal if embedded eigenvalues are also considered. We prove similar estimates for a modified bilayer operator with so-called "trigonal warping" term. Here, the range for $q$ is smaller since the Fermi surface has less curvature. The main tool are new uniform resolvent estimates that may be of independent interest and are collected in an appendix (in greater generality than needed).


title: Implications on cosmic ray injection and propagation parameters from Voyager/ACE/AMS-02 nucleus data

abstract: We study the propagation and injection models of cosmic rays using the latest measurements of the Boron-to-Carbon ratio and fluxes of protons, Helium, Carbon, and Oxygen nuclei by the Alpha Magnetic Spectrometer and the Advanced Composition Explorer at top of the Earth, and the Voyager spacecraft outside the heliosphere. The ACE data during the same time interval of the AMS-02 data are extracted to minimize the complexity of the solar modulation effect. We find that the cosmic ray nucleus data favor a modified version of the diffusion-reacceleration scenario of the propagation. The diffusion coefficient is, however, required to increase moderately with decreasing rigidity at low energies, which has interesting implications on the particle and plasma interaction in the Milky Way. We further find that the low rigidity ($<$ a few GV) injection spectra are different for different compositions. The injection spectra are softer for lighter nuclei. These results are expected to be helpful in understanding the acceleration process of cosmic rays.


title: White dwarfs in de Rham-Gabadadze-Tolley like massive gravity

abstract: The existence of possible massive white dwarfs more than the Chandrasekhar limit ($1.45M_{\odot }$, in which $M_{\odot }$ is mass of the sun) is a challenging topic. In this regard and motivated by the important effect of massive graviton on the structure of white dwarfs we study the white dwarfs in Vegh's massive gravity which is known as one of theories of de Rham, Gabadadze and Tolley (dRGT) like massive gravity. First, we consider the modified Tolman-Oppenheimer-Volkoff equation in this theory of massive gravity and solve it numerically by using the Chandrasekhar's equation of state. Our results show that the maximum mass of white dwarfs in massive gravity can be more than the Chandrasekhar limit ($M>1.45M_{\odot }$ ), and this result imposes some constraints on parameters of massive gravity. Then, we investigate the effects of various parameters on other properties of the white dwarfs such as mass-radius relation, mass-central density relation, Schwarzschild radius, average density and Kretschmann scalar. Next, we study dynamical stability condition for super-Chandrasekhar white dwarfs and show that these massive compact objects enjoy dynamical stability. Finally, in order to have a better insight, we compare the super-Chandrasekhar white dwarfs with the obtained massive neutron stars in dRGT like massive theory of gravity.


title: Gluing together Modular flows with free fermions

abstract: We revisit the calculation of multi-interval modular Hamiltonians for free fermions using a Euclidean path integral approach. We show how the multi-interval modular flow is obtained by gluing together the single interval modular flows. Using this relation, we obtain an exact expression for the multi-interval modular Hamiltonian and entanglement entropy in agreement with existing results. An essential ingredient in our derivation is the introduction of the \emp{modular action}. This determines the non-local field theory describing the free fermion reduced density matrix, and makes manifest it's non-local conformal symmetry and $U(1)$ Kacs-Moody symmetry.

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


title: Defending Against Adversarial Attacks by Leveraging an Entire GAN

abstract: Recent work has shown that state-of-the-art models are highly vulnerable to adversarial perturbations of the input. We propose cowboy, an approach to detecting and defending against adversarial attacks by using both the discriminator and generator of a GAN trained on the same dataset. We show that the discriminator consistently scores the adversarial samples lower than the real samples across multiple attacks and datasets. We provide empirical evidence that adversarial samples lie outside of the data manifold learned by the GAN. Based on this, we propose a cleaning method which uses both the discriminator and generator of the GAN to project the samples back onto the data manifold. This cleaning procedure is independent of the classifier and type of attack and thus can be deployed in existing systems.


title: Preferential Attachment When Stable

abstract: We study an urn process with two urns, initialized with a ball each. Balls are added sequentially, the urn being chosen independently with probability proportional to the $\alpha^{th}$ power $(\alpha >1)$ of the existing number of balls. We study the (rare) event that the urn compositions are balanced after the addition of $2n-2$ new balls. We derive precise asymptotics of the probability of this event by embedding the process in continuous time. Quite surprisingly, a fine control on this probability may be leveraged to derive a lower tail Large Deviation Principle (LDP) for $L = \sum_{i=1}^{n} \frac{S_i^2}{i^2}$, where $\{S_n : n \geq 0\}$ is a simple symmetric random walk started at zero. We provide an alternate proof of the LDP via coupling to Brownian motion, and subsequent derivation of the LDP for a continuous time analogue of $L$. Finally, we turn our attention back to the urn process conditioned to be balanced, and provide a functional limit law describing the trajectory of the urn process.


title: Distributed Big-Data Optimization via Block Communications

abstract: We study distributed multi-agent large-scale optimization problems, wherein the cost function is composed of a smooth possibly nonconvex sum-utility plus a DC (Difference-of-Convex) regularizer. We consider the scenario where the dimension of the optimization variables is so large that optimizing and/or transmitting the entire set of variables could cause unaffordable computation and communication overhead. To address this issue, we propose the first distributed algorithm whereby agents optimize and communicate only a portion of their local variables. The scheme hinges on successive convex approximation (SCA) to handle the nonconvexity of the objective function, coupled with a novel block-signal tracking scheme, aiming at locally estimating the average of the agents' gradients. Asymptotic convergence to stationary solutions of the nonconvex problem is established. Numerical results on a sparse regression problem show the effectiveness of the proposed algorithm and the impact of the block size on its practical convergence speed and communication cost.


title: On Late Time Tails in an Extreme Reissner-Nordstr\"om Black Hole: Frequency Domain Analysis

abstract: In this brief note, we revisit the study of the leading order late time decay tails of massless scalar perturbations outside an extreme Reissner-Nordstr\"om black hole. Previous authors have analysed this problem in the time domain; we analyse the problem in the frequency domain. We first consider initial perturbations with generic regular behaviour across the horizon on characteristic surfaces. For this set-up, we reproduce some of the previous results of Sela [arXiv:1510.06169] using Fourier methods. Next, we consider related initial data on $t=\mbox{const}$ hypersurfaces, and present decay results at timelike infinity, near future null infinity, and near the future horizon. Along the way, using the $r_* \to -r_*$ inversion symmetry of the extreme Reissner-Nordstr\"om spacetime, we relate the higher multipole Aretakis and Newman-Penrose constants for a massless scalar in this background.


title: Integer quantum Hall conductivity and longitudinal conductivity in silicene under the electric field and magnetic field

abstract: We investigate the integer Hall conductivity and longitudinal conductivity of silicene under the magnetic field, electric field, and exchange field in this letter. We focus not only on the low-temperature and $\delta$-function impurities (i.e., independent of the scattering momentum) case, which only exist the intra-Landau level transition, but also on the case of inter-Landau level transition which also with the non-elastic scattering. The resulting longitudinal conductivity is very different with the intra-Landau level one at low-temperature. The exprssions of the Hall conductivity, longitudinal conductivity, valley contributed Hall conductivity, and the spin or valley Hall conductivity, are deduced in this letter. We also compute the dynamical polarization under the magnetic field which is a important quantity and has many exciting and novel properties, and with the screened scattering due to the charged impurities. The polarization function here is also related to the Landau level index under the magnetic field, and shows step-like feature rather than the logarithmically divergenas which appears for the zero-magnetic field case, and it's also naturally related to the conductivity in silicene. The generalized Laguerre polynomial is used in both the longitudinal conductivity and dynamical polarization function under magnetic field.


title: Property Testing of Planarity in the CONGEST model

abstract: We give a distributed algorithm in the {\sf CONGEST} model for property testing of planarity with one-sided error in general (unbounded-degree) graphs. Following Censor-Hillel et al. (DISC 2016), who recently initiated the study of property testing in the distributed setting, our algorithm gives the following guarantee: For a graph $G = (V,E)$ and a distance parameter $\epsilon$, if $G$ is planar, then every node outputs {\sf accept\/}, and if $G$ is $\epsilon$-far from being planar (i.e., more than $\epsilon\cdot |E|$ edges need to be removed in order to make $G$ planar), then with probability $1-1/{\rm poly}(n)$ at least one node outputs {\sf reject}. The algorithm runs in $O(\log|V|\cdot{\rm poly}(1/\epsilon))$ rounds, and we show that this result is tight in terms of the dependence on $|V|$. Our algorithm combines several techniques of graph partitioning and local verification of planar embeddings. Furthermore, we show how a main subroutine in our algorithm can be applied to derive additional results for property testing of cycle-freeness and bipartiteness, as well as the construction of spanners, in minor-free (unweighted) graphs.


title: Existence and asymptotic properties for the solutions to nonlinear SFDEs driven by G-Brownian motion with infinite delay

abstract: The aim of this paper is to present the analysis for the solutions of nonlinear stochastic functional differential equation driven by G-Brownian motion with infinite delay (G-SFDEwID). Under some useful assumptions, we have proved that the G-SFDEwID admits a unique local solution. The mentioned theory has been further generalized to show that G-SFDEwID admits a unique strong global solution. The asymptotic properties, mean square boundedness and convergence of solutions with different initial data have been derived. We have assessed that the solution map $X_t$ is mean square bounded and two solution maps from different initial data are convergent. In addition, the exponential estimate for the solution has been studied.


title: Further Spectral Properties of the Weighted Finite Fourier Transform Operator and Related Applications

abstract: In this work, we first give some mathematical preliminaries concerning the generalized prolate spheroidal wave function (GPSWFs). These set of special functions have been introduced in [16] and [7] and they are defined as the infinite and countable set of the eigenfunctions of a weighted finite Fourier transform operator. Then, we show that the set of the singular values of this operator decay at a super-exponential decay rate. We also give some local estimates and bounds of these GPSWFs. As a first application of the spectral properties of the GPSWFs and their associated eigenvalues, we give their quality of approximation in a periodic Sobolev space. Our second application is related to a generalization in the context of the GPSWFs, of the Landau-Pollak approximate dimension of the space of band-limited and almost time-limited functions, given in the context of the classical PSWFs, the eigenfunctions of the finite Fourier transform operator. Finally, we provide the reader with some numerical examples that illustrate the different results of this work.


title: Invariance of Hironaka's characteristic polyhedron

abstract: We show that given a face of Hironaka's characteristic polyhedron, it does only depend on the singularity and a flag defined by the linear form determining the face. As a consequence we get that certain numerical data obtained from the characteristic polyhedron are invariants of the singularity. In particular, they do not depend on an embedding.


title: Global Well-Posedness of a 3D MHD Model in Porous Media

abstract: In this paper we show the global well-posedness of solutions to a three-dimensional magnetohydrodynamical (MHD) model in porous media. Compared to the classical MHD equations, our system involves a nonlinear damping term in the momentum equations due to the "Brinkman-Forcheimer-extended-Darcy" law of flow in porous media.


title: Fingerprint Policy Optimisation for Robust Reinforcement Learning

abstract: Policy gradient methods ignore the potential value of adjusting environment variables: unobservable state features that are randomly determined by the environment in a physical setting, but are controllable in a simulator. This can lead to slow learning, or convergence to suboptimal policies, if the environment variable has a large impact on the transition dynamics. In this paper, we present fingerprint policy optimisation (FPO), which finds a policy that is optimal in expectation across the distribution of environment variables. The central idea is to use Bayesian optimisation (BO) to actively select the distribution of the environment variable that maximises the improvement generated by each iteration of the policy gradient method. To make this BO practical, we contribute two easy-to-compute low-dimensional fingerprints of the current policy. Our experiments show that FPO can efficiently learn policies that are robust to significant rare events, which are unlikely to be observable under random sampling, but are key to learning good policies.


title: High fidelity GHZ generation within nearby nodes

abstract: Generating entanglement in a distributed scenario is a fundamental task for implementing the quantum network of the future. We here report a protocol that uses only linear optics for generating GHZ states with high fidelities in a nearby node configuration. Moreover, we analytically show that the scheme provides the highest success probability, and, then, the highest generation rate for sequential protocols. We furthermore show how to retrieve the same results using a numerical approach. Both the analytical proof and the numerical optimization represent a novelty in the field of entanglement generation in quantum networks and are tools for further investigation. Finally, we give some estimates for the generation rate in a real scenario.


title: Towards Multifocal Displays with Dense Focal Stacks

abstract: We present a virtual reality display that is capable of generating a dense collection of depth/focal planes. This is achieved by driving a focus-tunable lens to sweep a range of focal lengths at a high frequency and, subsequently, tracking the focal length precisely at microsecond time resolutions using an optical module. Precise tracking of the focal length, coupled with a high-speed display, enables our lab prototype to generate 1600 focal planes per second. This enables a novel first-of-its-kind virtual reality multifocal display that is capable of resolving the vergence-accommodation conflict endemic to today's displays.


title: Adversarial Deformation Regularization for Training Image Registration Neural Networks

abstract: We describe an adversarial learning approach to constrain convolutional neural network training for image registration, replacing heuristic smoothness measures of displacement fields often used in these tasks. Using minimally-invasive prostate cancer intervention as an example application, we demonstrate the feasibility of utilizing biomechanical simulations to regularize a weakly-supervised anatomical-label-driven registration network for aligning pre-procedural magnetic resonance (MR) and 3D intra-procedural transrectal ultrasound (TRUS) images. A discriminator network is optimized to distinguish the registration-predicted displacement fields from the motion data simulated by finite element analysis. During training, the registration network simultaneously aims to maximize similarity between anatomical labels that drives image alignment and to minimize an adversarial generator loss that measures divergence between the predicted- and simulated deformation. The end-to-end trained network enables efficient and fully-automated registration that only requires an MR and TRUS image pair as input, without anatomical labels or simulated data during inference. 108 pairs of labelled MR and TRUS images from 76 prostate cancer patients and 71,500 nonlinear finite-element simulations from 143 different patients were used for this study. We show that, with only gland segmentation as training labels, the proposed method can help predict physically plausible deformation without any other smoothness penalty. Based on cross-validation experiments using 834 pairs of independent validation landmarks, the proposed adversarial-regularized registration achieved a target registration error of 6.3 mm that is significantly lower than those from several other regularization methods.


title: An Evaluation of Score Level Fusion Approaches for Fingerprint and Finger-vein Biometrics

abstract: Biometric systems have to address many requirements, such as large population coverage, demographic diversity, varied deployment environment, as well as practical aspects like performance and spoofing attacks. Traditional unimodal biometric systems do not fully meet the aforementioned requirements making them vulnerable and susceptible to different types of attacks. In response to that, modern biometric systems combine multiple biometric modalities at different fusion levels. The fused score is decisive to classify an unknown user as a genuine or impostor. In this paper, we evaluate combinations of score normalization and fusion techniques using two modalities (fingerprint and finger-vein) with the goal of identifying which one achieves better improvement rate over traditional unimodal biometric systems. The individual scores obtained from finger-veins and fingerprints are combined at score level using three score normalization techniques (min-max, z-score, hyperbolic tangent) and four score fusion approaches (minimum score, maximum score, simple sum, user weighting). The experimental results proved that the combination of hyperbolic tangent score normalization technique with the simple sum fusion approach achieve the best improvement rate of 99.98%.


title: Quantum thermodynamics in a single-electron box

abstract: This chapter provides an overview of the methods and results for quantum thermodynamic experiments with single-electron devices. The experiments with a single-electron box on Jarzynski equality and Crooks relation, two-temperature fluctuation relations, and Maxwell's demon performed over the past few years are reviewed here. We further review the first experimental realization of an autonomous Maxwell's demon using a single-electron box as the demon.


title: Epistemic Horizons and the Foundations of Quantum Mechanics

abstract: In-principle restrictions on the amount of information that can be gathered about a system have been proposed as a foundational principle in several recent reconstructions of the formalism of quantum mechanics. However, it seems unclear precisely why one should be thus restricted. We investigate the notion of paradoxical self-reference as a possible origin of such epistemic horizons by means of a fixed-point theorem in Cartesian closed categories due to F. W. Lawvere that illuminates and unifies the different perspectives on self-reference.


title: Local null controllability of coupled degenerate systems with nonlocal terms and one control force

abstract: In this paper, we are concerned with the internal control of a class of one-dimensional nonlinear parabolic systems with nonlocal and weakly degenerate diffusion coefficients. Our main theorem establishes a local null controllability result with only one internal control for a system of two equations. The proof, based on the ideias developed by Fursikov and Imanivilov, is obtained from the global null controllability of the linearized system provided by \textit{Lyusternik's Inverse Mapping Theorem}. This work extends the results previously treated by the authors for just one equation. For the system, the main issue is to obtain similar results with just one internal control, which requires a new Carleman estimate with the local term just depending on one of the state function.


title: Substrate-induced topological minibands in graphene

abstract: The honeycomb lattice sets the basic arena for numerous ideas to implement electronic, photonic, or phononic topological bands in (meta-)materials. Novel opportunities to manipulate Dirac electrons in graphene through band engineering arise from superlattice potentials as induced by a substrate such as hexagonal boron-nitride. Making use of the general form of a weak substrate potential as dictated by symmetry, we analytically derive the low-energy minibands of the superstructure, including a characteristic 1.5 Dirac cone deriving from a three-band crossing at the Brillouin zone edge. Assuming a large supercell, we focus on a single Dirac cone (or valley) and find all possible arrangements of the low-energy electron and hole bands in a complete six-dimensional parameter space. We identify the various symmetry planes in parameter space inducing gap closures and find the sectors hosting topological minibands, including also complex band crossings that generate a valley Chern number atypically larger than one. Our map provides a starting point for the systematic design of topological bands by substrate engineering.

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


title: Non-Detection of a Helium Exosphere for the Hot Jupiter WASP-12b

abstract: An exosphere was recently detected around the exoplanet WASP-107b, a low-density, warm Neptune, based on an absorption feature from metastable helium (which has a vacuum wavelength of 10833 \AA). Inspired by the WASP-107b detection, we reanalyzed archival HST observations of another evaporating exoplanet, WASP-12b, to search for signs of helium in its exosphere. We find no significant increase in transit depth at 10833 \AA. We compare this result to theoretical predictions from a 1D model, and find that the expected helium feature amplitude is small, in agreement with the observed non-detection. We discuss possible explanations for why the helium feature is weaker for WASP-12b than WASP-107b, and conclude that the amplitude of the signal is highly sensitive to the stellar spectrum and the geometry of the evaporating gas cloud. These considerations should be taken into account in the design of future searches for helium exospheres.


title: A note on belief structures and S-approximation spaces

abstract: We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempster's multivalued mappings and lower and upper probabilities and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory. We also demonstrate that one can induce a natural belief structure on one set, given a belief structure on another set if those sets are related by a partial monotone S-approximation space.


title: Gravitational clock compass in General Relativity

abstract: We show how a suitably prepared set of clocks can be used to determine all components of the gravitational field in General Relativity. We call such an experimental setup a clock compass, in analogy to the usual gravitational compass. Particular attention is paid to the construction of the underlying reference frame. Conceptual differences between the clock compass and the standard gravitational compass, which is based on the measurement of the mutual accelerations between the constituents of a swarm of test bodies, are highlighted. Our results are of direct operational relevance for the setup of networks of clocks, for example in the context of relativistic geodesy.


title: Well-posedness and Exponential Estimates for the Solutions to Neutral Stochastic Functional Differential Equations with Infinite Delay

abstract: In this work, neutral stochastic functional differential equations with infinite delay (NSFDEwID) has been studied. The existence and uniqueness of solutions to NSFDEwID at the state space $ C_{r} $ under the local weak monotone condition, the weak coercivity condition and the global condition on the neutral term have been investigated. In addition, the $ \mathcal{L}^{2} $ and exponential estimates have been studied of NSFDEwID.


title: Screen Transversal Cauchy Riemann Lightlike Submanifolds of Indefinite Kaehler Manifolds

abstract: We introduce a new class of lightlike submanifolds, namely, Screen Transversal Cauchy Riemann (STCR)-lightlike submanifolds, of indefinite Kaehler manifolds. We show that this new class is an umbrella of screen transversal lightlike, screen transversal totally real lightlike and CR-lightlike submanifolds. We give a few examples of a STCR lightlike submanifold, investigate the integrability of various distributions, obtain a characterization of such lightlike submanifolds in a complex space form and find new conditions for the induced connection to be a metric connection. Moreover, we investigate the existence of totally umbilical (STCR)-lightlike submanifolds and minimal (STCR)-lightlike submanifolds. The paper also contains several examples.


title: Powers of Hamiltonian cycles in randomly augmented graphs

abstract: We study the existence of powers of Hamiltonian cycles in graphs with large minimum degree to which some additional edges have been added in a random manner. It follows from the theorems of Dirac and of Koml\'os, Sark\"ozy, and Szemer\'edi that for every $k\geq 1$ and sufficiently large $n$ already the minimum degree $\delta(G)\ge\tfrac{k}{k+1}n$ for an $n$-vertex graph $G$ alone suffices to ensure the existence of a $k$-th power of a Hamiltonian cycle. Here we show that under essentially the same degree assumption the addition of just $O(n)$ random edges ensures the presence of the $(k+1)$-st power of a Hamiltonian cycle with probability close to one.


title: On a stochastic model of epidemic spread with an application to competing infections

abstract: A simple, but ``classical``, stochastic model for epidemic spread in a finite, but large, population is studied. The progress of the epidemic can be divided into three different phases that requires different tools to analyse. Initially the process is approximated by a branching process. It is discussed for how long time this approximation is valid. When a non-negligible proportion of the population is already infected the process can be studied using differential equations. In a final phase the spread will fade out. The results are used to investigate what happens if two strains of infectious agents, with different potential for spread, are simultaneously introduced in a totally susceptible population. It is assumed that an infection causes immunity, and that a person can only be infected by one strain. The two epidemics will initially develop approximately as independent branching processes. However, if both strains causes large epidemics they will, due to immunity, eventually interact. We will mainly be interested in the final outcome of the spread, i.e., how large proportion of the population is infected by the different strains.


title: ADMM for combinatorial graph problems

abstract: We investigate a class of general combinatorial graph problems, including MAX-CUT and community detection, reformulated as quadratic objectives over nonconvex constraints and solved via the alternating direction method of multipliers (ADMM). We propose two reformulations: one using vector variables and a binary constraint, and the other further reformulating the Burer-Monteiro form for simpler subproblems. Despite the nonconvex constraint, we prove the ADMM iterates converge to a stationary point in both formulations, under mild assumptions. Additionally, recent work suggests that in this latter form, when the matrix factors are wide enough, local optimum with high probability is also the global optimum. To demonstrate the scalability of our algorithm, we include results for MAX-CUT, community detection, and image segmentation benchmark and simulated examples.


title: Adaptive algorithms for mirror descent in convex programming problems with Lipschitz constraints

abstract: The paper is devoted to new modifications of recently proposed adaptive methods of Mirror Descent for convex minimization problems in the case of several convex functional constraints. Methods for problems of two classes are considered. The first type of problems with Lipschitz-continuous objective (generally speaking, nonsmooth) functional. The second one is for problems with a Lipschitz-continuous gradient of the objective smooth functional. We consider the class of problems with a non-smooth objective functional equal to the maximum of smooth functionals with a Lipschitz-continuous gradient. Note that functional constraints, generally speaking, are non-smooth and Lipschitz-contionuous. The proposed modifications allow saving the algorithm running time due to consideration of not all functional constraints on non-productive steps. Estimates for the rate of convergence of the methods under consideration are obtained. The methods proposed are optimal from the point of view of lower oracle estimates. The results of numerical experiments illustrating the advantages of the proposed procedure for some examples are given.


title: A generating polynomial for the pretzel knot

abstract: We collect statistics which consist of the coefficients in the expansion of the generating polynomials that count the Kauffman states associated with certain classes of pretzel knots having n tangles, of r half-twists respectively.


title: The Strategic Reference Gene: an organismal theory of inclusive fitness

abstract: How to define and use the concept of inclusive fitness is a contentious topic in evolutionary theory. Inclusive fitness can be used to calculate selection on a focal gene, but it is also applied to whole organisms. Individuals are then predicted to appear designed as if to maximise their inclusive fitness, provided that certain conditions are met (formally when interactions between individuals are 'additive'). Here we argue that applying the concept of inclusive fitness to organisms is justified under far broader conditions than previously shown, but only if it is appropriately defined. Specifically, we propose that organisms should maximise the sum of their offspring (including any accrued due to the behaviour/phenotype of relatives), plus any effects on their relatives' offspring production, weighted by relatedness. In contrast, most theoreticians have argued that a focal individual's inclusive fitness should exclude any offspring accrued due to the behaviour of relatives. Our approach is based on the notion that long-term evolution follows the genome's 'majority interest' of building coherent bodies that are efficient 'vehicles' for gene propagation. A gene favoured by selection that reduces the propagation of unlinked genes at other loci (e.g. meiotic segregation distorters that lower sperm production) is eventually neutralised by counter-selection throughout the rest of the genome. Most phenotypes will therefore appear as if designed to maximise the propagation of any given gene in a focal individual and its relatives.


title: A cocomplete but not complete abelian category

abstract: An example of a cocomplete abelian category that is not complete is constructed.


title: Comments on the paper 'Static solutions of the Vlasov-Einstein system' by G. Wolansky

abstract: In this note we address the attempted proof of the existence of static solutions to the Einstein-Vlasov system as given in \cite{Wol}. We focus on a specific and central part of the proof which concerns a variational problem with an obstacle. We show that two important claims in \cite{Wol} are incorrect and we question the validity of a third claim. We also discuss the variational problem and its difficulties with the aim to stimulate further investigations of this intriguing problem: to answer the question whether or not static solutions of the Einstein-Vlasov system can be found as local minimizers of an energy-Casimir functional.


title: An Asymmetric TBM Texture

abstract: We construct a texture where the Seesaw matrix is diagonalized by the TriBiMaximal (TBM) matrix with a phase. All CKM and PMNS angles are within their pdg values, and the mass relations of quarks and charged leptons extrapolated to GUT scale are satisfied, including the Gatto relation. The novel ingredient is the asymmetry of the down-quark and charged lepton Yukawa matrices. Explaining the reactor angle requires a $\require{cancel} \cancel {CP}$ phase in the TBM matrix, resulting in the Jarlskog-Greenberg invariant at $|J|=0.028$, albeit with an undetermined sign. While $SO(10)$ restrains the right-handed neutrino Majorana matrix, the neutrino masses are left undetermined.


title: Legal Document Retrieval using Document Vector Embeddings and Deep Learning

abstract: Domain specific information retrieval process has been a prominent and ongoing research in the field of natural language processing. Many researchers have incorporated different techniques to overcome the technical and domain specificity and provide a mature model for various domains of interest. The main bottleneck in these studies is the heavy coupling of domain experts, that makes the entire process to be time consuming and cumbersome. In this study, we have developed three novel models which are compared against a golden standard generated via the on line repositories provided, specifically for the legal domain. The three different models incorporated vector space representations of the legal domain, where document vector generation was done in two different mechanisms and as an ensemble of the above two. This study contains the research being carried out in the process of representing legal case documents into different vector spaces, whilst incorporating semantic word measures and natural language processing techniques. The ensemble model built in this study, shows a significantly higher accuracy level, which indeed proves the need for incorporation of domain specific semantic similarity measures into the information retrieval process. This study also shows, the impact of varying distribution of the word similarity measures, against varying document vector dimensions, which can lead to improvements in the process of legal information retrieval.


title: Three-dimensional enantiomeric recognition of optically trapped single chiral nanoparticles

abstract: We optically trap freestanding single metallic chiral nanoparticles using a standing-wave optical tweezer. We also incorporate within the trap a polarimetric setup that allows to perform in situ chiral recognition of single enantiomers. This is done by measuring the S_3 component of the Stokes vector of a light beam scattered off the trapped nanoparticle in the forward direction. This unique combination of optical trapping and chiral recognition, all implemented within a single setup, opens new perspectives towards the control, recognition, and manipulation of chiral objects at nanometer scales.


title: Auxetic regions in large deformations of periodic frameworks

abstract: In materials science, auxetic behavior refers to lateral widening upon stretching. We investigate the problem of finding domains of auxeticity in global deformation spaces of periodic frameworks. Case studies include planar periodic mechanisms constructed from quadrilaterals with diagonals as periods and other frameworks with two vertex orbits. We relate several geometric and kinematic descriptions.


title: Essentially non-perturbative and peculiar polarization effects in planar QED with strong coupling

abstract: The essentially non-perturbative polarization effects are considered for a planar supercritical Dirac-Coulomb system with strong coupling (similar to graphene and graphene-based heterostructures) in terms of induced charge density $\rho_{VP}(\vec{r})$. The main attention is paid to the renormalization, convergence of the partial expansion and the behavior of $\rho_{VP}(\vec{r})$ and the integral induced charge $Q_{VP}$ in the overcritical region. The dependence of the induced density on the screening of the Coulomb asymptotics of the external source is also explored in detail. Some peculiar effects in the discrete spectrum with the lowest rotational numbers $m_j=\pm 1/2\, , \pm3/2$ in the screened case are detected and their possible role in the transition through corresponding $Z_{cr}$ is also discussed.


title: Time Dependent Markovian Quantum Master Equation

abstract: We construct a quantum Markovian Master equation for a driven system coupled to a thermal bath. The derivation utilizes an explicit solution of the propagator of the driven system. This enables the validity of the Master equation to be extended beyond the adiabatic limit. The Non-Adiabatic Master Equation (NAME) is derived employing the weak system-bath coupling limit. The NAME is valid when a separation of timescales exists between the bath dynamics and the external driving. In contrast to the adiabatic Master equation, the NAME leads to coupled equations of motion for the population and coherence. We employ the NAME to solve the example of an open driven time-dependent harmonic oscillator. For the harmonic oscillator the NAME predicts the emergence of coherence associated with the dissipation term. As a result of the non-adiabatic driving the thermalization rate is suppressed. The solution is compared with both numerical calculations and the adiabatic Master equation.


title: One-ended spanning trees in amenable unimodular graphs

abstract: We prove that every amenable one-ended Cayley graph has an invariant spanning tree of one end. More generally, for any 1-ended amenable unimodular random graph we construct a factor of iid percolation (jointly unimodular subgraph) that is almost surely a spanning tree of one end. In [2] and [1] similar claims were proved, but the resulting spanning tree had 1 or 2 ends, and one had no control of which of these two options would be the case.


title: Simulations of propelling and energy harvesting articulated bodies via vortex particle-mesh methods

abstract: The emergence and understanding of new design paradigms that exploit flow induced mechanical instabilities for propulsion or energy harvesting demands robust and accurate flow structure interaction numerical models. In this context, we develop a novel two dimensional algorithm that combines a Vortex Particle-Mesh (VPM) method and a Multi-Body System (MBS) solver for the simulation of passive and actuated structures in fluids. The hydrodynamic forces and torques are recovered through an innovative approach which crucially complements and extends the projection and penalization approach of Coquerelle et al. and Gazzola et al. The resulting method avoids time consuming computation of the stresses at the wall to recover the force distribution on the surface of complex deforming shapes. This feature distinguishes the proposed approach from other VPM formulations. The methodology was verified against a number of benchmark results ranging from the sedimentation of a 2D cylinder to a passive three segmented structure in the wake of a cylinder. We then showcase the capabilities of this method through the study of an energy harvesting structure where the stocking process is modeled by the use of damping elements.


title: Compact and Computationally Efficient Representation of Deep Neural Networks

abstract: At the core of any inference procedure in deep neural networks are dot product operations, which are the component that require the highest computational resources. A common approach to reduce the cost of inference is to reduce its memory complexity by lowering the entropy of the weight matrices of the neural network, e.g., by pruning and quantizing their elements. However, the quantized weight matrices are then usually represented either by a dense or sparse matrix storage format, whose associated dot product complexity is not bounded by the entropy of the matrix. This means that the associated inference complexity ultimately depends on the implicit statistical assumptions that these matrix representations make about the weight distribution, which can be in many cases suboptimal. In this paper we address this issue and present new efficient representations for matrices with low entropy statistics. These new matrix formats have the novel property that their memory and algorithmic complexity are implicitly bounded by the entropy of the matrix, consequently implying that they are guaranteed to become more efficient as the entropy of the matrix is being reduced. In our experiments we show that performing the dot product under these new matrix formats can indeed be more energy and time efficient under practically relevant assumptions. For instance, we are able to attain up to x42 compression ratios, x5 speed ups and x90 energy savings when we convert in a lossless manner the weight matrices of state-of-the-art networks such as AlexNet, VGG-16, ResNet152 and DenseNet into the new matrix formats and benchmark their respective dot product operation.


title: Strategyproof Linear Regression in High Dimensions

abstract: This paper is part of an emerging line of work at the intersection of machine learning and mechanism design, which aims to avoid noise in training data by correctly aligning the incentives of data sources. Specifically, we focus on the ubiquitous problem of linear regression, where strategyproof mechanisms have previously been identified in two dimensions. In our setting, agents have single-peaked preferences and can manipulate only their response variables. Our main contribution is the discovery of a family of group strategyproof linear regression mechanisms in any number of dimensions, which we call generalized resistant hyperplane mechanisms. The game-theoretic properties of these mechanisms -- and, in fact, their very existence -- are established through a connection to a discrete version of the Ham Sandwich Theorem.


title: Exponential convergence rates for Batch Normalization: The power of length-direction decoupling in non-convex optimization

abstract: Normalization techniques such as Batch Normalization have been applied successfully for training deep neural networks. Yet, despite its apparent empirical benefits, the reasons behind the success of Batch Normalization are mostly hypothetical. We here aim to provide a more thorough theoretical understanding from a classical optimization perspective. Our main contribution towards this goal is the identification of various problem instances in the realm of machine learning where % -- under certain assumptions-- Batch Normalization can provably accelerate optimization. We argue that this acceleration is due to the fact that Batch Normalization splits the optimization task into optimizing length and direction of the parameters separately. This allows gradient-based methods to leverage a favourable global structure in the loss landscape that we prove to exist in Learning Halfspace problems and neural network training with Gaussian inputs. We thereby turn Batch Normalization from an effective practical heuristic into a provably converging algorithm for these settings. Furthermore, we substantiate our analysis with empirical evidence that suggests the validity of our theoretical results in a broader context.


title: Converse Theorems for the DMC with Mismatched Decoding

abstract: The problem of mismatched decoding with an additive metric $q$ for a discrete memoryless channel $W$ is addressed. The "product-space" improvement of the random coding lower bound on the mismatch capacity, $C_q^{(\infty)}(W)$, was introduced by Csisz\'ar and Narayan. We study two kinds of decoders. The {\it $\delta$-margin mismatched decoder} outputs a message whose metric with the channel output exceeds that of all the other codewords by at least $\delta$. The {\it $\tau$-threshold decoder} outputs a single message whose metric with the channel output exceeds a threshold $\tau$. Both decoders declare an error if they fail to find a message that meets the requirement. It is assumed that $q$ is bounded. It is proved that $C_q^{(\infty)}(W)$ is equal to the mismatch capacity with a constant margin decoder. We next consider sequences of $P$-constant composition codebooks, whose empirical distribution of the codewords are at least $o(n^{-1/2})$ close in the $L_1$ distance sense to $P$. Using the Central Limit Theorem, it is shown that for such sequences of codebooks the supremum of achievable rates with constant threshold decoding is upper bounded by the supremum of the achievable rates with a constant margin decoder, and therefore also by $C_q^{(\infty)}(W)$. Further, a soft converse is proved stating that if the average probability of error of a sequence of codebooks converges to zero sufficiently fast, the rate of the code sequence is upper bounded by $C_q^{(\infty)}(W)$. In particular, if $q$ is a bounded rational metric, and the average probability of error converges to zero faster than $O(n^{-1})$, then $R\leq C_q^{(\infty)}(W)$. Finally, a max-min multi-letter upper bound on the mismatch capacity that bears some resemblance to $C_q^{(\infty)}(W)$ is presented.


title: Developing RFID library systems in the direction of integration into the global identification system EPC

abstract: The possibility of modification of the regulatory framework of RFID library systems in the direction of integration into the EPCglobal Network, based on existing harmonized standards of RFID technology. It is shown that this approach to the formation of the regulatory framework will improve the availability of RFID technology for libraries and contribute to the overall development of library technologies.


title: Measuring Congruence on High Dimensional Time Series

abstract: A time series is a sequence of data items; typical examples are videos, stock ticker data, or streams of temperature measurements. Quite some research has been devoted to comparing and indexing simple time series, i.e., time series where the data items are real numbers or integers. However, for many application scenarios, the data items of a time series are not simple, but high-dimensional data points. Motivated by an application scenario dealing with motion gesture recognition, we develop a distance measure (which we call congruence distance) that serves as a model for the approximate congruency of two multi-dimensional time series. This distance measure generalizes the classical notion of congruence from point sets to multi-dimensional time series. We show that, given two input time series $S$ and $T$, computing the congruence distance of $S$ and $T$ is NP-hard. Afterwards, we present two algorithms that compute an approximation of the congruence distance. We provide theoretical bounds that relate these approximations with the exact congruence distance.


title: Toward Super-Polynomial Size Lower Bounds for Depth-Two Threshold Circuits

abstract: Proving super-polynomial size lower bounds for $\textsf{TC}^0$, the class of constant-depth, polynomial-size circuits of Majority gates, is a notorious open problem in complexity theory. A major frontier is to prove that $\textsf{NEXP}$ does not have poly-size $\textsf{THR} \circ \textsf{THR}$ circuit (depth-two circuits with linear threshold gates). In recent years, R.~Williams proposed a program to prove circuit lower bounds via improved algorithms. In this paper, following Williams' framework, we show that the above frontier question can be resolved by devising slightly faster algorithms for several fundamental problems: 1. Shaving Logs for $\textsf{$\ell_2$-Furthest-Pair}$. An $n^2 \textrm{poly}(d) / \log^{\omega(1)} n$ time algorithm for $\textsf{$\ell_2$-Furthest-Pair}$ in $\mathbb{R}^d$ for polylogarithmic $d$ implies $\textsf{NEXP}$ has no polynomial size $\textsf{THR} \circ \textsf{THR}$ circuits. The same holds for Hopcroft's problem, $\textsf{Bichrom.-$\ell_2$-Closest-Pair}$ and Integer $\textsf{Max-IP}$. 2. Shaving Logs for Approximate $\textsf{Bichrom.-$\ell_2$-Closest-Pair}$. An $n^2 \textrm(d) / \log^{\omega(1)} n$ time algorithm for $(1+1/\log^{\omega(1)} n)$-approximation to $\textsf{Bichrom.-$\ell_2$-Closest-Pair}$ or $\textsf{Bichrom.-$\ell_1$-Closest-Pair}$ for polylogarithmic $d$ implies $\textsf{NEXP}$ has no polynomial size $\textsf{SYM}\circ\textsf{THR}$ circuits. 3. Shaving Logs for Modest Dimension Boolean $\textsf{Max-IP}$. An $n^2 / \log^{\omega(1)} n$ time algorithm for Bichromatic Maximum Inner Product with vector dimension $d = n^\epsilon$ for any small constant $\epsilon$ would imply $\textsf{NEXP}$ has no polynomial size $\textsf{THR} \circ \textsf{THR}$ circuits. Note there is an $n^2\textrm{polylog}(n)$ time algorithm via fast rectangle matrix multiplication. Our results build on two structure lemmas for threshold circuits.


title: Explicit IMF $B_y$-dependence in high-latitude geomagnetic activity

abstract: The interaction of the solar wind with the Earth's magnetic field produces geomagnetic activity, which is critically dependent on the orientation of the interplanetary magnetic field (IMF). Most solar wind coupling functions quantify this dependence on the IMF orientation with the so-called IMF clock angle in a way, which is symmetric with respect to the sign of the $B_y$ component. However, recent studies have suggested that the sign of $B_y$ is an additional, independent driver of high-latitude geomagnetic activity, leading to higher (weaker) geomagnetic activity in Northern Hemisphere (NH) winter for $B_y\! >\! 0$ ($B_y\! <\! 0$). In this paper we quantify the size of this explicit $B_y$-effect with respect to the solar wind coupling function, both for Northern and Southern high-latitude geomagnetic activity. We show that high-latitude geomagnetic activity is significantly (by about 40-50\%) suppressed for $B_y\!<\!0$ in NH winter and for $B_y\!>\!0$ in SH winter. When averaged over all months, high-latitude geomagnetic activity in NH is about 12\% weaker for $B_y\!<\!0$ than for $B_y\!>\!0$. The $B_y$-effect affects the westward electrojet strongly but hardly at all the eastward electrojet. We also show that the suppression of the westward electrojet in NH during $B_y\!<\!0$ maximizes when the Earth's dipole axis points towards the night sector, i.e., when the auroral region is maximally in darkness.


title: Real-Time Spectrum Sniffer for Cognitive Radio Based on Rotman Lens Spectrum Decomposer

abstract: We introduce the concept of a Rotman-lens spectrum decomposer (RLSD) real-time spectrum-sniffer (RTSS) for cognitive radio. Compared to a previously existing RTSS, the RLSD-RTSS offers the advantages of being 1) based an a simpler and lower-cost purely passive structure, 2) easier to design and easily amenable to tunability, 3) of much broader bandwidth, and 4) of accommodating more channels. The electrical size of the device is electrically larger, but perfectly acceptable in the millimeter-wave frequency range. The proposed RLSD-RTSS is demonstrated theoretically and experimentally, and been shown to support tunability in terms of both bandwidth-resolution and operation band. Given its unique features, this device may find wide applications in 5G UHD and 3D video systems.


title: On a model for rotational tunneling with a $C_{6}$-space-time symetric analog

abstract: We analyze the simple model of a rigid rotor with $C_{3}$ symmetry and show that the use of parity simplifies considerably the calculation of its eigenvalues. We also consider a non-Hermitian space-time-symmetric counterpart that exhibits real eigenvalues and determine the exceptional point at which the antiunitary symmetry is broken.


title: Study of Unique-Word Based GFDM Transmission Systems

abstract: In this paper, we propose the use of a deterministic sequence, known as unique word (UW), instead of the cyclic prefix (CP) in generalized frequency division multiplexing (GFDM) systems. The UW consists of known sequences that, if not null, can be used advantageously for synchronization and channel estimation purposes. In addition, UW allows the application of a highly efficient linear minimum mean squared error (LMMSE) smoother for noise reduction at the receiver. To avoid the conditions of non-orthogonality caused by the insertion of the UW and performance degradation in time varying frequency-selective channels, we use frequency-shift offset quadrature amplitude modulation (FS-OQAM). We present a signal model of a UW-GFDM system considering a single and multiple UWs. We then develop an LMMSE receive filter for signal reception of the proposed UW-GFDM system. Simulations show that the proposed UW-GFDM system outperforms prior work.


title: Achieving continuously tunable critical exponents for long-range spin systems simulated with trapped ions

abstract: Quantum phase transitions are usually classified into discrete universality classes that typically only depend on symmetries and spatial dimensionalities. In this Letter, we demonstrate an opportunity to continuously vary the critical exponents or universalities by tuning experimental parameters in a given physical system. Particularly, we show that critical exponents in long-range spin systems simulated in ion traps can be easily tuned with laser detuning. We suggest that such experiments also effectively simulate some aspects of critical phenomena in conventional spin systems but in artificial non-integer spatial dimensions.


title: Synergistic Reconstruction and Synthesis via Generative Adversarial Networks for Accelerated Multi-Contrast MRI

abstract: Multi-contrast MRI acquisitions of an anatomy enrich the magnitude of information available for diagnosis. Yet, excessive scan times associated with additional contrasts may be a limiting factor. Two mainstream approaches for enhanced scan efficiency are reconstruction of undersampled acquisitions and synthesis of missing acquisitions. In reconstruction, performance decreases towards higher acceleration factors with diminished sampling density particularly at high-spatial-frequencies. In synthesis, the absence of data samples from the target contrast can lead to artefactual sensitivity or insensitivity to image features. Here we propose a new approach for synergistic reconstruction-synthesis of multi-contrast MRI based on conditional generative adversarial networks. The proposed method preserves high-frequency details of the target contrast by relying on the shared high-frequency information available from the source contrast, and prevents feature leakage or loss by relying on the undersampled acquisitions of the target contrast. Demonstrations on brain MRI datasets from healthy subjects and patients indicate the superior performance of the proposed method compared to previous state-of-the-art. The proposed method can help improve the quality and scan efficiency of multi-contrast MRI exams.


title: A fast minimal solver for absolute camera pose with unknown focal length and radial distortion from four planar points

abstract: In this paper we present a fast minimal solver for absolute camera pose estimation from four known points that lie in a plane. We assume a perspective camera model with unknown focal length and unknown radial distortion. The radial distortion is modelled using the division model with one parameter. We show that the solutions to this problem can be found from a univariate six-degree polynomial. This results in a very fast and numerically stable solver.


title: Investigating Dark Matter and MOND Models with Galactic Rotation Curve Data

abstract: We study geometries of galactic rotation curves from Dark Matter (DM) and Modified Newtonian Dynamics (MOND) models in $(g_{\rm bar},g_{\rm tot})$-space ($g2$-space) where $g_{\rm tot}$ is the total centripetal acceleration of matter in the galaxies and $g_{\rm bar}$ is that due to the baryonic (visible) matter assuming Newtonian gravity. The $g2$-space geometries of the models and data from the SPARC database are classified and compared in a rescaled $\hat{g}2$-space that reduces systematic uncertainties on galaxy distance, inclination angle and variations in mass to light ratios. We find that MOND modified inertia models, frequently used to fit rotation curve data, are disfavoured at more than 5$\sigma$ independent of model details. The Bekenstein-Milgrom formulation of MOND modified gravity compares better with data in the analytic approximation we use. However a quantitative comparison with data is beyond the scope of the paper due to this approximation. NFW DM profiles only agree with a minority of galactic rotation curves. Improved measurements of rotation curves, in particular at radii below the maximum of the total and the baryonic accelerations of the curves are very important in discriminating models aiming to explain the missing mass problem on galactic scales.


title: Representing interpolated free group factors as group factors

abstract: We construct a one parameter family of ICC groups $\{G_t\}_{t>1}$, with the property that the group factor $L(G_t)$ is isomorphic to the interpolated free group factor $L(\mathbb F_t):=L(\mathbb{F}_2)^{1/\sqrt{t-1}}$, $\forall t$. Moreover, the groups $G_t$ have fixed cost $t$, are strongly treeable and freely generate any treeable ergodic equivalence relation of same cost.


title: Distributed Treewidth Computation

abstract: Of all the restricted graph families out there, the family of low treewidth graphs has continuously proven to admit many algorithmic applications. For example, many NP-hard algorithms can be solved in polynomial time on graphs of constant treewidth. Other algorithmic techniques, such as Baker's technique, partition the graph into components of low treewidth. Therefore, computing the treewidth of a graph remains an important problem in algorithm design. For graphs of constant treewidth, linear-time algorithms are known in the classical setting, and well as $\text{polylog}(n)$-time parallel algorithms for computing an $O(1)$-approximation to treewidth. However, nothing is yet known in the distributed setting. In this paper, we give near-optimal algorithms for computing the treewidth on a distributed network. We show that for graphs of constant treewidth, an $O(1)$-approximation to the treewidth can be computed in near-optimal $\tilde O(D)$ time, where $D$ is the diameter of the network graph. In addition, we show that many NP-hard problems that are tractable on constant treewidth graphs can also be solved in $\tilde O(D)$ time on a distributed network of constant treewidth. Our algorithms make use of the shortcuts framework of Ghaffari and Haeupler [SODA'16], which has proven to be a powerful tool in designing near-optimal distributed algorithms for restricted graph networks, such as planar graphs, low-treewidth graphs, and excluded minor graphs.


title: Ranks, $2$-Selmer groups, and Tamagawa numbers of elliptic curves with $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/8\mathbb{Z}$-torsion

abstract: In 2016, Balakrishnan-Ho-Kaplan-Spicer-Stein-Weigandt produced a database of elliptic curves over $\mathbb{Q}$ ordered by height in which they computed the rank, the size of the $2$-Selmer group, and other arithmetic invariants. They observed that after a certain point, the average rank seemed to decrease as the height increased. Here we consider the family of elliptic curves over $\mathbb{Q}$ whose rational torsion subgroup is isomorphic to $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/8\mathbb{Z}$. Conditional on GRH and BSD, we compute the rank of $92\%$ of the $202461$ curves with parameter height less than $10^3$. We also compute the size of the $2$-Selmer group and the Tamagawa product, and prove that their averages tend to infinity for this family.


title: Safety-Critical Java: Level 2 in Practice

abstract: Safety Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three compliance levels: Level 0, Level 1 and Level 2. The SCJ specification is clear on what constitutes a Level 2 application in terms of its use of the defined API, but not the occasions on which it should be used. This paper broadly classifies the features that are only available at Level 2 into three groups:~nested mission sequencers, managed threads, and global scheduling across multiple processors. We explore the first two groups to elicit programming requirements that they support. We identify several areas where the SCJ specification needs modifications to support these requirements fully; these include:~support for terminating managed threads, the ability to set a deadline on the transition between missions, and augmentation of the mission sequencer concept to support composibility of timing constraints. We also propose simplifications to the termination protocol of missions and their mission sequencers. To illustrate the benefit of our changes, we present excerpts from a formal model of SCJ Level~2 written in Circus, a state-rich process algebra for refinement.


title: A Formal Model of the Safety-Critical Java Level 2 Paradigm

abstract: Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it does not include verification techniques. Previous work has addressed verification for SCJ Level~1 programs. We support the much more complex SCJ Level~2 programs, which allows the programming of highly concurrent multi-processor applications with Java threads, and wait and notify mechanisms. We present a formal model of SCJ Level~2 that captures the state and behaviour of both SCJ programs and the SCJ API. This is the first formal semantics of the SCJ Level~2 paradigm and is an essential ingredient in the development of refinement-based reasoning techniques for SCJ Level~2 programs. We show how our models can be used to prove properties of the SCJ API and applications.


title: NetLSD: Hearing the Shape of a Graph

abstract: Comparison among graphs is ubiquitous in graph analytics. However, it is a hard task in terms of the expressiveness of the employed similarity measure and the efficiency of its computation. Ideally, graph comparison should be invariant to the order of nodes and the sizes of compared graphs, adaptive to the scale of graph patterns, and scalable. Unfortunately, these properties have not been addressed together. Graph comparisons still rely on direct approaches, graph kernels, or representation-based methods, which are all inefficient and impractical for large graph collections. In this paper, we propose the Network Laplacian Spectral Descriptor (NetLSD): the first, to our knowledge, permutation- and size-invariant, scale-adaptive, and efficiently computable graph representation method that allows for straightforward comparisons of large graphs. NetLSD extracts a compact signature that inherits the formal properties of the Laplacian spectrum, specifically its heat or wave kernel; thus, it hears the shape of a graph. Our evaluation on a variety of real-world graphs demonstrates that it outperforms previous works in both expressiveness and efficiency.


title: Ultrafilter limits of asymptotic density are not universally measurable

abstract: We show that for any nonprincipal ultrafilter $U$ on the positive integers, then probability measure induced by the $U$-limit of asymptotic density is not a universally measurable function.


title: From statistical inference to a differential learning rule for stochastic neural networks

abstract: Stochastic neural networks are a prototypical computational device able to build a probabilistic representation of an ensemble of external stimuli. Building on the relationship between inference and learning, we derive a synaptic plasticity rule that relies only on delayed activity correlations, and that shows a number of remarkable features. Our "delayed-correlations matching" (DCM) rule satisfies some basic requirements for biological feasibility: finite and noisy afferent signals, Dale's principle and asymmetry of synaptic connections, locality of the weight update computations. Nevertheless, the DCM rule is capable of storing a large, extensive number of patterns as attractors in a stochastic recurrent neural network, under general scenarios without requiring any modification: it can deal with correlated patterns, a broad range of architectures (with or without hidden neuronal states), one-shot learning with the palimpsest property, all the while avoiding the proliferation of spurious attractors. When hidden units are present, our learning rule can be employed to construct Boltzmann machine-like generative models, exploiting the addition of hidden neurons in feature extraction and classification tasks.


title: Density of rational points on a quadric bundle in $\mathbb{P}^3\times \mathbb{P}^3$

abstract: An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski dense subset of the biprojective hypersurface $x_1y_1^2+\dots+x_4y_4^2=0$ in $\mathbb{P}^3\times\mathbb{P}^3$. This confirms the modified Manin conjecture for this variety, in which the removal of a thin set of rational points is allowed.


title: Learning Simplicial Complexes from Persistence Diagrams

abstract: Topological Data Analysis (TDA) studies the shape of data. A common topological descriptor is the persistence diagram, which encodes topological features in a topological space at different scales. Turner, Mukeherjee, and Boyer showed that one can reconstruct a simplicial complex embedded in R^3 using persistence diagrams generated from all possible height filtrations (an uncountably infinite number of directions). In this paper, we present an algorithm for reconstructing plane graphs K=(V,E) in R^2 , i.e., a planar graph with vertices in general position and a straight-line embedding, from a quadratic number height filtrations and their respective persistence diagrams.


title: Discriminator Feature-based Inference by Recycling the Discriminator of GANs

abstract: Generative adversarial networks (GANs)successfully generate high quality data by learning amapping from a latent vector to the data. Various studies assert that the latent space of a GAN is semanticallymeaningful and can be utilized for advanced data analysis and manipulation. To analyze the real data in thelatent space of a GAN, it is necessary to build an inference mapping from the data to the latent vector. Thispaper proposes an effective algorithm to accurately infer the latent vector by utilizing GAN discriminator features. Our primary goal is to increase inference mappingaccuracy with minimal training overhead. Furthermore,using the proposed algorithm, we suggest a conditionalimage generation algorithm, namely a spatially conditioned GAN. Extensive evaluations confirmed that theproposed inference algorithm achieved more semantically accurate inference mapping than existing methodsand can be successfully applied to advanced conditionalimage generation tasks.


title: Identifying complex sources in large astronomical data using a coarse-grained complexity measure

abstract: The volume of data that will be produced by the next generation of astrophysical instruments represents a significant opportunity for making unplanned and unexpected discoveries. Conversely, finding unexpected objects or phenomena within such large volumes of data presents a challenge that may best be solved using computational and statistical approaches. We present the application of a coarse-grained complexity measure for identifying interesting observations in large astronomical data sets. This measure, which has been termed apparent complexity, has been shown to model human intuition and perceptions of complexity. Apparent complexity is computationally efficient to derive and can be used to segment and identify interesting observations in very large data sets based on their morphological complexity. We show, using data from the Australia Telescope Large Area Survey, that apparent complexity can be combined with clustering methods to provide an automated process for distinguishing between images of galaxies which have been classified as having simple and complex morphologies. The approach generalizes well when applied to new data after being calibrated on a smaller data set, where it performs better than tested classification methods using pixel data. This generalizability positions apparent complexity as a suitable machine-learning feature for identifying complex observations with unanticipated features.


title: Skyrmion lattice with a giant topological Hall effect in a frustrated triangular-lattice magnet

abstract: Geometrically frustrated magnets provide abundant opportunities for discovering complex spin textures, which sometimes yield unconventional electromagnetic responses in correlated electron systems. It is theoretically predicted that magnetic frustration may also promote a topologically nontrivial spin state, i.e., magnetic skyrmions, which are nanometric spin vortices. Empirically, however, skyrmions are essentially concomitant with noncentrosymmetric lattice structures or interfacial-symmetry-breaking heterostructures. Here, we report the emergence of a Bloch-type skyrmion state in the frustrated centrosymmetric triangular-lattice magnet Gd2PdSi3. We identified the field-induced skyrmion phase via a giant topological Hall response, which is further corroborated by the observation of in-plane spin modulation probed by resonant x-ray scattering. Our results exemplify a new gold mine of magnetic frustration for producing topological spin textures endowed with emergent electrodynamics in centrosymmetric magnets.


title: Multi-region segmentation of bladder cancer structures in MRI with progressive dilated convolutional networks

abstract: Precise segmentation of bladder walls and tumor regions is an essential step towards non-invasive identification of tumor stage and grade, which is critical for treatment decision and prognosis of patients with bladder cancer (BC). However, the automatic delineation of bladder walls and tumor in magnetic resonance images (MRI) is a challenging task, due to important bladder shape variations, strong intensity inhomogeneity in urine and very high variability across population, particularly on tumors appearance. To tackle these issues, we propose to use a deep fully convolutional neural network. The proposed network includes dilated convolutions to increase the receptive field without incurring extra cost nor degrading its performance. Furthermore, we introduce progressive dilations in each convolutional block, thereby enabling extensive receptive fields without the need for large dilation rates. The proposed network is evaluated on 3.0T T2-weighted MRI scans from 60 pathologically confirmed patients with BC. Experiments shows the proposed model to achieve high accuracy, with a mean Dice similarity coefficient of 0.98, 0.84 and 0.69 for inner wall, outer wall and tumor region, respectively. These results represent a very good agreement with reference contours and an increase in performance compared to existing methods. In addition, inference times are less than a second for a whole 3D volume, which is between 2-3 orders of magnitude faster than related state-of-the-art methods for this application. We showed that a CNN can yield precise segmentation of bladder walls and tumors in bladder cancer patients on MRI. The whole segmentation process is fully-automatic and yields results in very good agreement with the reference standard, demonstrating the viability of deep learning models for the automatic multi-region segmentation of bladder cancer MRI images.


title: Bernstein's inequalities for general Markov chains

abstract: We establish Bernstein's inequalities for functions of general (general-state-space and possibly non-reversible) Markov chains. These inequalities achieve sharp variance proxies and encompass the classical Bernstein inequality for independent random variables as special cases. The key analysis lies in bounding the operator norm of a perturbed Markov transition kernel by the exponential of sum of two convex functions. One coincides with what delivers the classical Bernstein inequality, and the other reflects the influence of the Markov dependence. A convex analysis on these two functions then derives our Bernstein inequalities. As applications, we apply our Bernstein inequalities to the Markov chain Monte Carlo integral estimation problem and the robust mean estimation problem with Markov-dependent samples, and achieve tight deviation bounds that previous inequalities can not.


title: Origin of unexpected large Seebeck effect in SrTiO3: nonperturbative polaron study from ab initio cumulant expansion

abstract: The experimental unexpected large Seebeck coefficient in SrTiO3 (STO) cannot be reproduced theoretically by the conventional Bloch-Boltzmann transport with electron-phonon coupling calculated perturbatively, indicating a failure of Fermi liquid picture in STO and ill-treatment of polaronic states. Starting from many-body interaction picture, the polaronic states can be precisely described by the method of cumulant expansion of retarded Green's function. By applying Kubo-Greenwood method, we found that the mysterious Seebeck coefficient can be fully described by a combination of polarons and Fermi liquid. The coexistence of two types of quasi-particles are attributed to the multi-band nature of t2g orbitals. Polarons are formed from the one with heavier electronic effective mass, while the one with lighter effective mass is renormalized into Fermi liquid quasi-particles. Our method provides a practical way to study the effect of strong electron-phonon coupling on transport properties from first principles.


title: Designing for Democratization: Introducing Novices to Artificial Intelligence Via Maker Kits

abstract: Existing research highlight the myriad of benefits realized when technology is sufficiently democratized and made accessible to non-technical or novice users. However, democratizing complex technologies such as artificial intelligence (AI) remains hard. In this work, we draw on theoretical underpinnings from the democratization of innovation, in exploring the design of maker kits that help introduce novice users to complex technologies. We report on our work designing TJBot: an open source cardboard robot that can be programmed using pre-built AI services. We highlight principles we adopted in this process (approachable design, simplicity, extensibility and accessibility), insights we learned from showing the kit at workshops (66 participants) and how users interacted with the project on GitHub over a 12-month period (Nov 2016 - Nov 2017). We find that the project succeeds in attracting novice users (40% of users who forked the project are new to GitHub) and a variety of demographics are interested in prototyping use cases such as home automation, task delegation, teaching and learning.


title: RetainVis: Visual Analytics with Interpretable and Interactive Recurrent Neural Networks on Electronic Medical Records

abstract: We have recently seen many successful applications of recurrent neural networks (RNNs) on electronic medical records (EMRs), which contain histories of patients' diagnoses, medications, and other various events, in order to predict the current and future states of patients. Despite the strong performance of RNNs, it is often challenging for users to understand why the model makes a particular prediction. Such black-box nature of RNNs can impede its wide adoption in clinical practice. Furthermore, we have no established methods to interactively leverage users' domain expertise and prior knowledge as inputs for steering the model. Therefore, our design study aims to provide a visual analytics solution to increase interpretability and interactivity of RNNs via a joint effort of medical experts, artificial intelligence scientists, and visual analytics researchers. Following the iterative design process between the experts, we design, implement, and evaluate a visual analytics tool called RetainVis, which couples a newly improved, interpretable and interactive RNN-based model called RetainEX and visualizations for users' exploration of EMR data in the context of prediction tasks. Our study shows the effective use of RetainVis for gaining insights into how individual medical codes contribute to making risk predictions, using EMRs of patients with heart failure and cataract symptoms. Our study also demonstrates how we made substantial changes to the state-of-the-art RNN model called RETAIN in order to make use of temporal information and increase interactivity. This study will provide a useful guideline for researchers that aim to design an interpretable and interactive visual analytics tool for RNNs.


title: Highly sensitive macro-scale diamond magnetometer operated by dynamical decoupling sequence with coplanar waveguide resonator

abstract: Ultimate sensitivity for quantum magnetometry using nitrogen-vacancy (NV) centers in diamond is limited by number of NV centers and coherence time. Microwave irradiation with a high and homogeneous power density for a large detection volume is necessary to achieve highly sensitive magnetometer. Here, we demonstrate a microwave resonator to enhance the power density of the microwave field and an optical system with a detection volume of 1.4e-3 mm$^3$. The strong microwave field enables us to achieve 48 ns Rabi oscillation which is sufficiently faster than the phase relaxation time of NV centers. This system combined with a decoupling pulse sequence, XY16, extends the spin coherence time (T2) up to 27 times longer than that with a spin echo method. Consequently, we obtained an AC magnetic field sensitivity of 10.8 pT/Hz$^{1/2}$ using the dynamical decoupling pulse sequence.


title: A Neurobiological Evaluation Metric for Neural Network Model Search

abstract: Neuroscience theory posits that the brain's visual system coarsely identifies broad object categories via neural activation patterns, with similar objects producing similar neural responses. Artificial neural networks also have internal activation behavior in response to stimuli. We hypothesize that networks exhibiting brain-like activation behavior will demonstrate brain-like characteristics, e.g., stronger generalization capabilities. In this paper we introduce a human-model similarity (HMS) metric, which quantifies the similarity of human fMRI and network activation behavior. To calculate HMS, representational dissimilarity matrices (RDMs) are created as abstractions of activation behavior, measured by the correlations of activations to stimulus pairs. HMS is then the correlation between the fMRI RDM and the neural network RDM across all stimulus pairs. We test the metric on unsupervised predictive coding networks, which specifically model visual perception, and assess the metric for statistical significance over a large range of hyperparameters. Our experiments show that networks with increased human-model similarity are correlated with better performance on two computer vision tasks: next frame prediction and object matching accuracy. Further, HMS identifies networks with high performance on both tasks. An unexpected secondary finding is that the metric can be employed during training as an early-stopping mechanism.


title: Perceive Your Users in Depth: Learning Universal User Representations from Multiple E-commerce Tasks

abstract: Tasks such as search and recommendation have become increas- ingly important for E-commerce to deal with the information over- load problem. To meet the diverse needs of di erent users, person- alization plays an important role. In many large portals such as Taobao and Amazon, there are a bunch of di erent types of search and recommendation tasks operating simultaneously for person- alization. However, most of current techniques address each task separately. This is suboptimal as no information about users shared across di erent tasks. In this work, we propose to learn universal user representations across multiple tasks for more e ective personalization. In partic- ular, user behavior sequences (e.g., click, bookmark or purchase of products) are modeled by LSTM and attention mechanism by integrating all the corresponding content, behavior and temporal information. User representations are shared and learned in an end-to-end setting across multiple tasks. Bene ting from better information utilization of multiple tasks, the user representations are more e ective to re ect their interests and are more general to be transferred to new tasks. We refer this work as Deep User Perception Network (DUPN) and conduct an extensive set of o ine and online experiments. Across all tested ve di erent tasks, our DUPN consistently achieves better results by giving more e ective user representations. Moreover, we deploy DUPN in large scale operational tasks in Taobao. Detailed implementations, e.g., incre- mental model updating, are also provided to address the practical issues for the real world applications.


title: Extended Sampling Method in Inverse Scattering

abstract: A new sampling method for inverse scattering problems is proposed to process far field data of one incident wave. As the linear sampling method, the method sets up ill-posed integral equations and uses the (approximate) solutions to reconstruct the target. In contrast, the kernels of the associated integral operators are the far field patterns of sound soft balls. The measured data is moved to right hand sides of the equations, which gives the method the ability to process limit aperture data. Furthermore, a multilevel technique is employed to improve the reconstruction. Numerical examples show that the method can effectively determine the location and approximate the support with little a priori information of the unknown target.


title: Statistical Study of Chromospheric Evaporation in Impulsive Phase of Solar Flares

abstract: We present a statistical study of chromospheric evaporation in solar flares using simultaneous observations by the RHESSI X-ray telescope and the IRIS UV spectrograph. The results are compared with radiation hydrodynamic flare models from the F-CHROMA RADYN database. For each event, we study spatially-resolved Doppler shifts of spectral lines formed in the transition region (C\,II\,1334.5\,{\AA}) and hot coronal plasma (Fe\,XXI\,1354.1\,{\AA}) to investigate the dynamics of the solar atmosphere during the flare impulsive phase. We estimate the energy fluxes deposited by high-energy electrons using X-ray imaging spectroscopy and assuming the standard thick-target model. Using the RADYN flare models, the RH 1.5D radiative transfer code and the Chianti atomic line database, we calculate C\,II and Fe\,XXI line profiles and compare with the observations. While the RADYN models predict a correlation between the Doppler shifts and deposited energy flux for both lines, this was only observed in the C II data. Several quantitative discrepancies are found between the observations and models: the Fe\,XXI Doppler shifts are substantially stronger in the models than in the data; the C\,II mean blueshifts are absent in the observations but predicted by the models. The transition energy between `gentle' and `explosive' evaporation regimes estimated from the observations ($2-8\times{}10^{9}$~erg~cm$^{-2}$~s$^{-1}$) and derived from the models ($2.2-10.1\times{}10^{9}$~erg~cm$^{-2}$~s$^{-1}$) are comparable with each other. The results illustrate relationships among the processes of chromospheric evaporation, response of the colder layers, and the flare energy flux deposited by high-energy electrons, although demonstrating discrepancy between analyzed observations and RADYN models.


title: Deep learning for the R-parity violating supersymmetry searches at the LHC

abstract: Supersymmetry with hadronic R-parity violation in which the lightest neutralino decays into three quarks is still weakly constrained. This work aims to further improve the current search for this scenario by the boosted decision tree method with additional information from jet substructure. In particular, we find a deep neural network turns out to perform well in characterizing the neutralino jet substructure. We first construct a Convolutional Neutral Network (CNN) which is capable of tagging the neutralino jet in any signal process by using the idea of jet image. When applied to pure jet samples, such a CNN outperforms the N-subjettiness variable by a factor of a few in tagging efficiency. Moreover, we find the method, which combines the CNN output and jet invariant mass, can perform better and is applicable to a wider range of neutralino mass than the CNN alone. Finally, the ATLAS search for the signal of gluino pair production with subsequent decay $\tilde{g} \to q q \tilde{\chi}^0_1 (\to q q q)$ is recasted as an application. In contrast to the pure sample, the heavy contamination among jets in this complex final state renders the discriminating powers of the CNN and N-subjettiness similar. By analyzing the jets substructure in events which pass the ATLAS cuts with our CNN method, the exclusion limit on gluino mass can be pushed up by $\sim200$ GeV for neutralino mass $\sim 100$ GeV.


title: Multimodal Speaker Segmentation and Diarization using Lexical and Acoustic Cues via Sequence to Sequence Neural Networks

abstract: While there has been substantial amount of work in speaker diarization recently, there are few efforts in jointly employing lexical and acoustic information for speaker segmentation. Towards that, we investigate a speaker diarization system using a sequence-to-sequence neural network trained on both lexical and acoustic features. We also propose a loss function that allows for selecting not only the speaker change points but also the best speaker at any time by allowing for different speaker groupings. We incorporate Mel Frequency Cepstral Coefficients (MFCC) as an acoustic feature alongside lexical information that are obtained from conversations from the Fisher dataset. Thus, we show that acoustics provide complementary information to the lexical modality. The experimental results show that sequence-to-sequence system trained on both word sequences and MFCC can improve on speaker diarization result compared to the system that only relies on lexical modality or the baseline MFCC-based system. In addition, we test the performance of our proposed method with Automatic Speech Recognition (ASR) transcripts. While the performance on ASR transcripts drops, the Diarization Error Rate (DER) of our proposed method still outperforms the traditional method based on Bayesian Information Criterion (BIC).


title: How polarization can provide an increase in content dissemination amongst the highly ranked influencers

abstract: This work extends a model of simulating influence in a network of stochastic edge dynamics to account for polarization. The model built upon is termed Dynamic Communicators and seeks to understand the process which produces low volume, high influence amongst users. This model is extended to introduce the effects polarization. The fundamental assumption of the model is that a parameter of importance governs the rate of message responsiveness. With the introduction of relative incremental changes according to the response incurred in adjacent nodes receiving content, the changes in the power brokerage of a network can be examined. This provides a content agnostic interpretation for the desire to proliferate content amongst peers. From the results of the simulations, the analysis shows that a lack of polarization incrementally develops a more level discussion network with more even response rates whereas the polarization introduction leads to a gradual increase in response rate disparity.


title: Stochastic thermodynamic limit on E. coli adaptation by Information geometric approach

abstract: Biological systems process information under noisy environment. Sensory adaptation model of E. coli is suitable for investigation because of its simplicity. To understand the adaptation processing quantitatively, stochastic thermodynamic approach has been attempted. Information processing can be assumed as state transition of a system that consists of signal transduction molecules using thermodynamic approach, and efficiency can be measured as thermodynamic cost. Recently, using information geometry and stochastic thermodynamics, a relationship between speed of the transition and the thermodynamic cost has been investigated for a chemical reaction model. Here, we introduce this approach to sensory adaptation model of E. coli, and examined a relationship between adaptation speed and the thermodynamic cost, and efficiency of the adaptation speed. For increasing external noise level in stimulation, the efficiency decreased, but the efficiency was highly robust to external stimulation strength. Moreover, we demonstrated that there is the best noise to achieve the adaptation in the aspect of thermodynamic efficiency. Our quantification method provides a framework to understand the adaptation speed and the thermodynamic cost for various biological systems.