title: Magnetic Response of Magnetospirillum Gryphiswaldense

abstract: In this study we modelled and measured the U-turn trajectories of individual magnetotactic bacteria under the application of rotating magnetic fields, ranging in ampitude from 1 to 12 mT. The model is based on the balance between rotational drag and magnetic torque. For accurate verification of this model, bacteria were observed inside 5 m tall microfluidic channels, so that they remained in focus during the entire trajectory. From the analysis of hundreds of trajectories and accurate measurements of bacteria and magnetosome chain dimensions, we confirmed that the model is correct within measurement error. The resulting average rate of rotation of Magnetospirillum Gryphiswaldense is 0.74 +- 0.03 rad/mTs.


title: The harmonic oscillator in a space with a screw dislocation

abstract: We obtain the eigenvalues of the harmonic oscillator in a space with a screw dislocation. By means of a suitable nonorthogonal basis set with variational parameters we obtain sufficiently accurate eigenvalues for an arbitrary range of values of the space-deformation parameter. The energies exhibit a rich structure of avoided crossings in terms of such model parameter.


title: Fibers of rational maps and Jacobian matrices

abstract: A rational map $\phi: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $\phi$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2.


title: On the validity of the local Fourier analysis

abstract: Local Fourier analysis (LFA) is a useful tool in predicting the convergence factors of geometric multigrid methods (GMG). As is well known, on rectangular domains with periodic boundary conditions this analysis gives the exact convergence factors of such methods. In this work, using the Fourier method, we extend these results by proving that such analysis yields the exact convergence factors for a wider class of problems.


title: Combinatorics of Toric Arrangements

abstract: In this paper we build an Orlik-Solomon model for the canonical gradation of the cohomology algebra with integer coefficients of the complement of a toric arrangement. We give some results on the uniqueness of the representation of arithmetic matroids, in order to discuss how the Orlik-Solomon model depends on the poset of layers. The analysis of discriminantal toric arrangements permits us to isolate certain conditions under which two toric arrangements have diffeomorphic complements. We also give combinatorial conditions determining whether the cohomology algebra is generated in degree one.


title: Time-Reversal Symmetry-Breaking Nematic Insulators near Quantum Spin Hall Phase Transitions

abstract: We study the phase diagram of a model quantum spin Hall system as a function of band inversion and band-coupling strength, demonstrating that when band hybridization is weak, an interaction-induced nematic insulator state emerges over a wide range of band inversion. This property is a consequence of the long-range Coulomb interaction, which favors interband phase coherence that is weakly dependent on momentum and therefore frustrated by the single-particle Hamiltonian at the band inversion point. For weak band hybridization, interactions convert the continuous gap closing topological phase transition at inversion into a pair of continuous phase transitions bounding a state with broken time-reversal and rotational symmetries. At intermediate band hybridization, the topological phase transition proceeds instead via a quantum anomalous Hall insulator state, whereas at strong hybridization interactions play no role. We comment on the implications of our findings for InAs/GaSb and HgTe/CdTe quantum spin Hall systems.


title: Observing the circumgalactic medium of simulated galaxies through synthetic absorption spectra

abstract: We explore the multiphase structure of the circumgalactic medium (CGM) probed by synthetic spectra through a cosmological zoom-in galaxy formation simulation. We employ a Bayesian method for modelling a combination of absorption lines to derive physical properties of absorbers with a formal treatment of detections, including saturated systems, and non-detections in a uniform manner. We find that in the lines of sight passing through localized density structures, absorption lines of low, intermediate and high ions are present in the spectrum and overlap in velocity space. Low, intermediate and high ions can be combined to derive the mass-weighted properties of a density-varying peak, although the ions are not co-spatial within the structure. By contrast, lines of sight that go through the hot halo only exhibit detectable HI and high ions. In such lines of sight, the absorption lines are typically broad due to the complex velocity fields across the entire halo. We show that the derived gas density, temperature, and metallicity match closely the corresponding HI mass-weighted averages along the LOS. We also show that when the data quality allows, our Bayesian technique allows one to recover the underlying physical properties of LOS by incorporating both detections and non-detections. It is especially useful to include non-detections, of species such as NV or NeVIII, when the number of detections of strong absorbers, such as HI and OVI, is smaller than the number of model parameters (density, temperature, and metallicity).


title: Relations de Manin d'ordre 2 v\'erifi\'ees par le polyn\^ome des bi-p\'eriodes d'un couple de formes modulaires

abstract: Manin's relations characterize period polynomials of a modular form. In this paper, we propose a finite set of relations checked by bi-period polynomials of a couple of forms. Then we construct an Eisenstein part of depth 2 which essentially completed the set of bi-periods polynomials among polynomials canceled by the relations. By giving a computational description of that part, we prove a result of irrationality of ratio of the periods for some weights.


title: CP violation in $D^0 \to K^+ \pi^- $

abstract: In this paper we study the direct CP asymmetry of the doubly Cabibbo-suppressed decay mode $D^0 \to K^+ \pi^- $ within standard model and two Higgs doublet model with generic Yukawa structure. In the standard model we derive the corrections to the tree level amplitude, generated from the box and di-penguin diagrams, required for generating the weak CP violating phases. We show that these phases are so tiny leading to a direct CP asymmetry of order $10^{-9}$. Regarding the two Higgs doublet model with generic Yukawa structure we derive the Wilson coefficients relevant to $D^0 \to K^+ \pi^- $. After taking into account all constraints on the parameter space of the model we show that charged Higgs couplings to quarks can lead to a direct CP asymmetry of order $10^{-3}$ which is $6$ orders of magnitude larger than the standard model prediction.


title: Straggler Mitigation by Delayed Relaunch of Tasks

abstract: Redundancy for straggler mitigation, originally in data download and more recently in distributed computing context, has been shown to be effective both in theory and practice. Analysis of systems with redundancy has drawn significant attention and numerous papers have studied pain and gain of redundancy under various service models and assumptions on the straggler characteristics. We here present a cost (pain) vs. latency (gain) analysis of using simple replication or erasure coding for straggler mitigation in executing jobs with many tasks. We quantify the effect of the tail of task execution times and discuss tail heaviness as a decisive parameter for the cost and latency of using redundancy. Specifically, we find that coded redundancy achieves better cost vs. latency tradeoff than simple replication and can yield reduction in both cost and latency under less heavy tailed execution times. We show that delaying redundancy is not effective in reducing cost and that delayed relaunch of stragglers can yield significant reduction in cost and latency. We validate these observations by comparing with the simulations that use empirical distributions extracted from Google cluster data.


title: The diversity of assembly histories leading to disc galaxy formation in a LambdaCDM model

abstract: [Abridged] Typical disc galaxies forming in a LambdaCDM cosmology encounter a violent environment, where they often experience mergers with massive satellites. The fact that disc galaxies are ubiquitous in the local Universe suggests that a quiescent history is not necessary for their formation. Modern cosmological simulations can now obtain relatively realistic populations of disc galaxies, but it still remains to be clarified how discs manage to survive massive mergers. Here we use a suite of high-resolution hydrodynamical simulations set in a LambdaCDM cosmology to elucidate the fate of discs encountering massive mergers. We extract a sample of approximately 100 disc galaxies and follow the changes in their post-merger morphologies, as tracked by their disc-to-total ratios (D/T). We also examine the relations between their present-day morphology, assembly history and gas fractions. We find that approximately half of present-day disc galaxies underwent at least one merger with a satellite of total mass exceeding the host system's stellar mass, a third had mergers with satellites of mass exceeding 3 times the host's stellar mass, and approximately one-sixth had mergers with satellites of mass exceeding 10 times of the host's stellar mass. These mergers lead to a sharp, but often temporary, decrease in the D/T of the hosts, implying that discs are usually disrupted but then quickly re-grow. To do so, high cold gas fractions are required post-merger, as well as a relatively quiescent recent history (over a few Gyrs before z=0). Our results show that discs can form via diverse merger pathways and that quiescent histories are not the dominant mode of disc formation.


title: Instabilities via Negative Krein Signature in a Non-Conservative DNLS Model

abstract: In the present work we consider a model that has been proposed at the continuum level for self-defocusing nonlinearities in atomic BECs in order to capture phenomenologically the loss of condensate atoms to thermal ones. We explore the model at the discrete level, using this prototypical setting combining dispersion, nonlinearity and gain/loss to illustrate the idea that modes associated with negative "energy" (mathematically: negative Krein signature) can give rise to instability of excited states when gain/loss terms are introduced in a nonlinear dynamical lattice. We showcase this idea by considering one-, two- and three-site discrete modes, exploring their stability semi-analytically, and corroborating their continuation over the gain/loss parameter numerically, as well as manifesting through direct numerical simulations their unstable nonlinear dynamics.


title: Second-order invariant domain preserving approximation of the Euler equations using convex limiting

abstract: A new second-order method for approximating the compressible Euler equations is introduced. The method preserves all the known invariant domains of the Euler system: positivity of the density, positivity of the internal energy and the local minimum principle on the specific entropy. The technique combines a first-order, invariant domain preserving, Guaranteed Maximum Speed method using a Graph Viscosity (GMS-GV1) with an invariant domain violating, but entropy consistent, high-order method. Invariant domain preserving auxiliary states, naturally produced by the GMS-GV1 method, are used to define local bounds for the high-order method which is then made invariant domain preserving via a convex limiting process. Numerical tests confirm the second-order accuracy of the new GMS-GV2 method in the maximum norm, where 2 stands for second-order. The proposed convex limiting is generic and can be applied to other approximation techniques and other hyperbolic systems.


title: The Thomas-Fermi quark model and mesonic matter

abstract: The first results of a new application of the Thomas-Fermi statistical quark model to mesonic matter is presented. Interesting aspects of the theory are discussed, distinguishing such states from baryonic matter. A major motivation of this study is the tetraquark states discovered by the Belle and other collaborations and the possibility that stable multi-quark families of such states exist. Similar to our previous baryonic study, we use a two-inequivalent wave function approach to investigate aspects of multi-quark matter. We think of our model as a tool for quickly assessing the characteristics of new, possibly bound, particle states of higher quark number content, which can not yet be examined by lattice methods.


title: Physics-based Motion Planning with Temporal Logic Specifications

abstract: One of the main foci of robotics is nowadays centered in providing a great degree of autonomy to robots. A fundamental step in this direction is to give them the ability to plan in discrete and continuous spaces to find the required motions to complete a complex task. In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide sampling-based motion planning, with the aim of finding dynamically-feasible motions that satisfy the temporal-logic task specifications. The present paper proposes an LTL planning approach enhanced with the use of ontologies to describe and reason about the task, on the one hand, and that includes physics-based motion planning to allow the purposeful manipulation of objects, on the other hand. The proposal has been implemented and is illustrated with didactic examples with a mobile robot in simple scenarios where some of the goals are occupied with objects that must be removed in order to fulfill the task.


title: Network Link Dimensioning based on Statistical Analysis and Modeling of Real Internet Traffic

abstract: Link dimensioning is used by ISPs to properly provision the capacity of their network links. Operators have to make provisions for sudden traffic bursts and network failures to assure uninterrupted operations. In practice, traffic averages are used to roughly estimate required capacity. More accurate solutions often require traffic statistics easily obtained from packet captures, e.g. variance. Our investigations on real Internet traffic have emphasized that the traffic shows high variations at small aggregation times, which indicates that the traffic is self-similar and has a heavy-tailed characteristics. Self-similarity and heavy-tailedness are of great importance for network capacity planning purposes. Traffic modeling process should consider all Internet traffic characteristics. Thereby, the quality of service (QoS) of the network would not affected by any mismatching between the real traffic properties and the reference statistical model. This paper proposes a new class of traffic profiles that is better suited for metering bursty Internet traffic streams. We employ bandwidth provisioning to determine the lowest required bandwidth capacity level for a network link, such that for a given traffic load, a desired performance target is met. We validate our approach using packet captures from real IP-based networks. The proposed link dimensioning approach starts by measuring the statistical parameters of the available traces, and then the degree of fluctuations in the traffic has been measured. This is followed by choosing a proper model to fit the traffic such as lognormal and generalized extreme value distributions. Finally, the optimal capacity for the link can be estimated by deploying the bandwidth provisioning approach. It has been shown that the heavy tailed distributions give more precise values for the link capacity than the Gaussian model.


title: Video Generation From Text

abstract: Generating videos from text has proven to be a significant challenge for existing generative models. We tackle this problem by training a conditional generative model to extract both static and dynamic information from text. This is manifested in a hybrid framework, employing a Variational Autoencoder (VAE) and a Generative Adversarial Network (GAN). The static features, called "gist," are used to sketch text-conditioned background color and object layout structure. Dynamic features are considered by transforming input text into an image filter. To obtain a large amount of data for training the deep-learning model, we develop a method to automatically create a matched text-video corpus from publicly available online videos. Experimental results show that the proposed framework generates plausible and diverse videos, while accurately reflecting the input text information. It significantly outperforms baseline models that directly adapt text-to-image generation procedures to produce videos. Performance is evaluated both visually and by adapting the inception score used to evaluate image generation in GANs.


title: Henkin constructions of models with size continuum

abstract: We survey the technique of constructing customized models of size continuum in omega steps and illustrate the method by giving new proofs of mostly old results within this rubric. One new theorem, which is joint with Saharon Shelah, is that a pseudominimal theory has an atomic model of size continuum.


title: Gauss congruences for rational functions in several variables

abstract: We investigate necessary as well as sufficient conditions under which the Laurent series coefficients $f_{\boldsymbol{n}}$ associated to a multivariate rational function satisfy Gauss congruences, that is $f_{\boldsymbol{m}p^r} \equiv f_{\boldsymbol{m}p^{r-1}}$ modulo $p^r$. For instance, we show that these congruences hold for certain determinants of logarithmic derivatives. As an application, we completely classify rational functions $P/Q$ satisfying the Gauss congruences in the case that $Q$ is linear in each variable.


title: Lack of clustering in low-redshift 21-cm intensity maps cross-correlated with 2dF galaxy densities

abstract: We report results from 21-cm intensity maps acquired from the Parkes radio telescope and cross-correlated with galaxy maps from the 2dF galaxy survey. The data span the redshift range $0.057<z<0.098$ and cover approximately 1,300 square degrees over two long fields. Cross correlation is detected at a significance of $5.18\sigma$. The amplitude of the cross-power spectrum is low relative to the expected dark matter power spectrum, assuming a neutral hydrogen (HI) bias and mass density equal to measurements from the ALFALFA survey. The decrement is pronounced and statistically significant at small scales. At $k\sim1.5$ $ h \mathrm{Mpc^{-1}}$, the cross power spectrum is more than a factor of 6 lower than expected, with a significance of $14.8\,\sigma$. This decrement indicates either a lack of clustering of neutral hydrogen (HI), a small correlation coefficient between optical galaxies and HI, or some combination of the two. Separating 2dF into red and blue galaxies, we find that red galaxies are much more weakly correlated with HI on $k\sim1.5$ $h \mathrm{Mpc^{-1}}$ scales, suggesting that HI is more associated with blue star-forming galaxies and tends to avoid red galaxies.


title: Cumulant Expansion in Gluon Saturation, and Five and Six-Gluon Azimuthal Correlations

abstract: Correlations between the momenta of the final state hadrons measured in proton or nucleus collisions contain information that sheds light on the initial conditions and evolutionary dynamics of the collision system. These correlation measurements have revealed the long-range rapidity correlations in p-p and p-Pb systems, and they have also made it possible to extract the elliptic flow coefficient from hadron correlation measurements. In this work, we calculate five- and six-gluon correlation functions in the framework of saturation physics by using superdiagrams. We also derive the cumulant expansion of the gluon correlators that is valid in the gluon saturation limit. We show that the cumulant expansion of the gluon correlators that is used for counting the number of diagrams to be calculated does not follow the standard cumulant expansion. We also explain how these findings can be used in obtaining experimentally relevant observables such as flow coefficients calculated from correlations as well as ratios of the correlation functions of different orders.


title: Square-Contact Representations of Partial 2-Trees and Triconnected Simply-Nested Graphs

abstract: A square-contact representation of a planar graph $G=(V,E)$ maps vertices in $V$ to interior-disjoint axis-aligned squares in the plane and edges in $E$ to adjacencies between the sides of the corresponding squares. In this paper, we study proper square-contact representations of planar graphs, in which any two squares are either disjoint or share infinitely many points. We characterize the partial $2$-trees and the triconnected cycle-trees allowing for such representations. For partial $2$-trees our characterization uses a simple forbidden subgraph whose structure forces a separating triangle in any embedding. For the triconnected cycle-trees, a subclass of the triconnected simply-nested graphs, we use a new structural decomposition for the graphs in this family, which may be of independent interest. Finally, we study square-contact representations of general triconnected simply-nested graphs with respect to their outerplanarity index.


title: Spectral Properties of Tensor Products of Channels

abstract: We investigate spectral properties of the tensor products of two quantum channels defined on matrix algebras. This leads to the important question of when an arbitrary subalgebra can split into the tensor product of two subalgebras. We show that for two unital quantum channels $\mathcal{E}_1$ and $\mathcal{E}_2$ the multiplicative domain of $\mathcal{E}_1\otimes\mathcal{E}_2$ splits into the tensor product of the individual multiplicative domains. Consequently, we fully describe the fixed points and peripheral eigen operators of the tensor product of channels. Through a structure theorem of maximal unital proper $^*$-subalgebras (MUPSA) of a matrix algebra we provide a non-trivial upper bound of the 'multiplicative index' of a unital channel which was recently introduced. This bound gives a criteria on when a channel cannot be factored into a product of two different channels. We construct examples of channels which can not be realized as a tensor product of two channels in any way. With these techniques and results, we found some applications in quantum error correction.


title: Effective Methods for Solving Band SLEs after Parabolic Nonlinear PDEs

abstract: A class of models of heat transfer processes in a multilayer domain is considered. The governing equation is a nonlinear heat-transfer equation with different temperature-dependent densities and thermal coefficients in each layer. Homogeneous Neumann boundary conditions and ideal contact ones are applied. A finite difference scheme on a special uneven mesh with a second-order approximation in the case of a piecewise constant spatial step is built. This discretization leads to a pentadiagonal system of linear equations (SLEs) with a matrix which is neither diagonally dominant, nor positive definite. Two different methods for solving such a SLE are developed -- diagonal dominantization and symbolic algorithms.


title: Kan's combinatorial spectra and their sheaves revisited

abstract: We define a right Cartan-Eilenberg structure on the category of Kan's combinatorial spectra, and the category of sheaves of such spectra, assuming some conditions. In both structures, we use the geometric concept of homotopy equivalence as the strong equivalence. In the case of sheaves, we use local equivalence as the weak equivalence. This paper is the first step in a larger-scale program of investigating sheaves of spectra from a geometric viewpoint.


title: Bounds for the integral points on elliptic curves over function fields

abstract: In this paper we give an upper bound for the number of integral points on an elliptic curve E over F_q[T] in terms of its conductor N and q. We proceed by applying the lower bounds for the canonical height that are analogous to those given by Silverman and extend the technique developed by Helfgott-Venkatesh to express the number of integral points on E in terms of its algebraic rank. We also use the sphere packing results to optimize the size of an implied constant. In the end we use partial Birch Swinnerton-Dyer conjecture that is known to be true over function fields to bound the algebraic rank by the analytic one and apply the explicit formula for the analytic rank of E.


title: Kelly's Criterion in Portfolio Optimization: A Decoupled Problem

abstract: Kelly's Criterion is well known among gamblers and investors as a method for maximizing the returns one would expect to observe over long periods of betting or investing. These ideas are conspicuously absent from portfolio optimization problems in the financial and automation literature. This paper will show how Kelly's Criterion can be incorporated into standard portfolio optimization models. The model developed here combines risk and return into a single objective function by incorporating a risk parameter. This model is then solved for a portfolio of 10 stocks from a major stock exchange using a differential evolution algorithm. Monte Carlo calculations are used to verify the accuracy of the results obtained from differential evolution. The results show that evolutionary algorithms can be successfully applied to solve a portfolio optimization problem where returns are calculated by applying Kelly's Criterion to each of the assets in the portfolio.


title: Automorphism groups of Weyl algebras

abstract: Kanel-Belov and Kontsevich's conjecture in \cite[Conjecture 1]{BeKo} is proved: The automorphism group of the $n$-th Weyl algebra is isomorphic to the Poisson automorphism group of the $n$-th Poisson Weyl algebra.


title: A strong stability condition on minimal submanifolds and its implications

abstract: We identify a strong stability condition on minimal submanifolds that implies uniqueness and dynamical stability properties. In particular, we prove a uniqueness theorem and a C^1 dynamical stability theorem of the mean curvature flow for minimal submanifolds that satisfy this condition. The latter theorem states that the mean curvature flow of any other submanifold in a C^1 neighborhood of such a minimal submanifold exists for all time, and converges exponentially to the minimal one. This extends our previous uniqueness and stability theorem [arXiv:1605.03645] which applies only to calibrated submanifolds of special holonomy ambient manifolds.


title: Origin of the RNA World: The Fate of Nucleobases in Warm Little Ponds

abstract: Prior to the origin of simple cellular life, the building blocks of RNA (nucleotides) had to form and polymerize in favourable environments on the early Earth. At this time, meteorites and interplanetary dust particles delivered organics such as nucleobases (the characteristic molecules of nucleotides) to warm little ponds whose wet-dry cycles promoted rapid polymerization. We build a comprehensive numerical model for the evolution of nucleobases in warm little ponds leading to the emergence of the first nucleotides and RNA. We couple Earth's early evolution with complex prebiotic chemistry in these environments. We find that RNA polymers must have emerged very quickly after the deposition of meteorites (< a few years). Their constituent nucleobases were primarily meteoritic in origin and not from interplanetary dust particles. Ponds appeared as continents rose out of the early global ocean but this increasing availability of "targets" for meteorites was offset by declining meteorite bombardment rates. Moreover, the rapid losses of nucleobases to pond seepage during wet periods, and to UV photodissociation during dry periods means that the synthesis of nucleotides and their polymerization into RNA occurred in just one to a few wet-dry cycles. Under these conditions, RNA polymers likely appeared prior to 4.17 billion years ago. Significance: There are two competing hypotheses for the site at which an RNA world emerged: hydrothermal vents in the deep ocean and warm little ponds. Because the former lacks wet and dry cycles, which are well known to promote polymerization (in this case, of nucleotides into RNA), we construct a comprehensive model for the origin of RNA in the latter sites. Our model advances the story and timeline of the RNA world by constraining the source of biomolecules, the environmental conditions, the timescales of reaction, and the emergence of first RNA polymers.


title: Demarcating circulation regimes of synchronously rotating terrestrial planets within the habitable zone

abstract: We investigate the atmospheric dynamics of terrestrial planets in synchronous rotation within the habitable zone of low-mass stars using the Community Atmosphere Model (CAM). The surface temperature contrast between day and night hemispheres decreases with an increase in incident stellar flux, which is opposite the trend seen on gas giants. We define three dynamical regimes in terms of the equatorial Rossby deformation radius and the Rhines length. The slow rotation regime has a mean zonal circulation that spans from day to night side, with both the Rossby deformation radius and the Rhines length exceeding planetary radius, which occurs for planets around stars with effective temperatures of 3300 K to 4500 K (rotation period > 20 days). Rapid rotators have a mean zonal circulation that partially spans a hemisphere and with banded cloud formation beneath the substellar point, with the Rossby deformation radius is less than planetary radius, which occurs for planets orbiting stars with effective temperatures of less than 3000 K (rotation period < 5 days). In between is the Rhines rotation regime, which retains a thermally-direct circulation from day to night side but also features midlatitude turbulence-driven zonal jets. Rhines rotators occur for planets around stars in the range of 3000 K to 3300 K (rotation period ~ 5 to 20 days), where the Rhines length is greater than planetary radius but the Rossby deformation radius is less than planetary radius. The dynamical state can be observationally inferred from comparing the morphology of the thermal emission phase curves of synchronously rotating planets.


title: Measurement of hyper triton lifetime in Au + Au collisions at the Relativistic Heavy-Ion Collider

abstract: A precise measurement of the hypertriton lifetime is presented. In this letter, the mesonic decay modes $\mathrm{{^3_\Lambda}H \rightarrow ^3He + \pi^-}$ and $\mathrm{{^3_\Lambda}H \rightarrow d + p + \pi^-}$ are used to reconstruct the hypertriton from Au+Au collision data collected by the STAR collaboration at RHIC. A minimum $\chi^2$ estimation is used to determine the lifetime of $\tau = 142^{+24}_{-21}\,{\rm (stat.)} {\pm} 31\,{\rm (syst.)}$ ps. This lifetime is about 50\% shorter than the lifetime $\tau = 263\pm2$ ps of a free $\Lambda$, indicating strong hyperon-nucleon interaction in the hypernucleus system. The branching ratios of the mesonic decay channels are also determined to satisfy B.R.$_{(^3{\rm He}+\pi^-)}/$(B.R.$_{(^3{\rm He}+\pi^-)}+$B.R.$_{(d+p+\pi^-)})$ = $0.32\rm{\pm}0.05\,{\rm (stat.)}\pm 0.08\,{\rm (syst.)}$. Our ratio result favors the assignment $J(\mathrm{^{3}_{\Lambda}H})$ = $\frac{1}{2}$ over $J(\mathrm{^{3}_{\Lambda}H})$ = $\frac{3}{2}$. These measurements will help to constrain models of hyperon-baryon interactions.


title: Thin limit of the 6D Cascading DGP model

abstract: A thin limit description of the 6D Cascading DGP model is derived, starting from a configuration where both the codimension-1 and the codimension-2 branes are thick. Postulating that the thicknesses of the two branes obey a hierarchic relation, the thin limit is executed in two steps. First the thin limit of the codimension-1 brane is executed, obtaining a system where a "ribbon" codimension-2 brane is embedded inside a thin codimension-1 brane with induced gravity, and then the thin limit of the ribbon brane is considered. By proposing a geometric ansatz on the limit configuration, the junction conditions which are to hold at the thin codimension-2 brane are derived. The latters are fully non-perturbative and covariant and, together with the Israel junction conditions at the codimension-1 brane and the Einstein equations in the bulk, constitute the looked-for thin limit formulation of the 6D Cascading DGP model. It is commented on how wide is the class of thin source configurations which can be placed on the thin codimension-2 brane.


title: Modular vector fields attached to Dwork family: $\mathfrak{sl}_2(\mathbb{C})$ Lie algebra

abstract: This paper aims to show that a certain moduli space $\textsf{T}$, which arises from the so-called Dwork family of Calabi-Yau $n$-folds, carries a special complex Lie algebra containing a copy of $\mathfrak{sl}_2(\mathbb{C})$. In order to achieve this goal, we introduce an algebraic group $\sf G$ acting from the right on $\textsf{T}$ and describe its Lie algebra ${\rm Lie}({\sf G})$. We observe that ${\rm Lie}({\sf G})$ is isomorphic to a Lie subalgebra of the space of the vector fields on $\textsf{T}$. In this way, it turns out that ${\rm Lie}({\sf G})$ and the modular vector field ${\sf R}$ generate another Lie algebra $\mathfrak{G}$, called AMSY-Lie algebra, satisfying $\dim (\mathfrak{G})=\dim (\textsf{T})$. We find a copy of $\mathfrak{sl}_2(\mathbb{C})$ containing ${\sf R}$ as a Lie subalgebra of $\mathfrak{G}$. The proofs are based on an algebraic method calling "Gauss-Manin connection in disguise". Some explicit examples for $n=1,2,3,4$ are stated as well.


title: A graph-theoretic description of scale-multiplicative semigroups of automorphisms

abstract: It is shown that a flat subgroup, $H$, of the totally disconnected, locally compact group $G$ decomposes into a finite number of subsemigroups on which the scale function is multiplicative. The image, $P$, of a multiplicative semigroup in the quotient, $H/H(1)$, of $H$ by its uniscalar subgroup has a unique minimal generating set which determines a natural Cayley graph structure on $P$. For each compact, open subgroup $U$ of $G$, a graph is defined and it is shown that if $P$ is multiplicative over $U$ then this graph is a regular, rooted, strongly simple $P$-graph. This extends to higher rank the result of R. M\"oller that $U$ is tidy for $x$ if and only if a certain graph is a regular, rooted tree.


title: Unsupervised Learning for Nonlinear PieceWise Smooth Hybrid Systems

abstract: This paper introduces a novel system identification and tracking method for PieceWise Smooth (PWS) nonlinear stochastic hybrid systems. We are able to correctly identify and track challenging problems with diverse dynamics and low dimensional transitions. We exploit the composite structure system to learn a simpler model on each component/mode. We use Gaussian Process Regression techniques to learn smooth, nonlinear manifolds across mode transitions, guard-regions, and make multi-step ahead predictions on each mode dynamics. We combine a PWS non-linear model with a particle filter to effectively track multi-modal transitions. We further use synthetic oversampling techniques to address the challenge of detecting mode transition which is sparse compared to mode dynamics. This work provides an effective form of model learning in a complex hybrid system, which can be useful for future integration in a reinforcement learning setting. We compare multi-step prediction and tracking performance against traditional dynamical system tracking methods, such as EKF and Switching Gaussian Processes, and show that this framework performs significantly better, being able to correctly track complex dynamics with sparse transitions.


title: Design and Simulation of the IsoDAR RFQ Direct Injection System and Spiral Inflector

abstract: In this paper we present the development of a simulation code capable of optimizing the geometry of a spiral inflector designed for axial injection into a cyclotron. To do this, an electric field map of the device is generated by utilizing a boundary elements method and then used to track one or more particles. The information from the trajectories is then used to shorten the electrodes of the spiral inflector to adjust for fringing electric fields such that the particles end up on the mid-plane of the cyclotron. This method was also used to analyze the effects of a modified electrode geometry that can focus the beam as it travels through the device. Compared against commercial multiphysics software, the developed code produced similar results within a negligible margin of error attributed to differences in meshing and particle tracking algorithms.


title: Virtual Element Methods on Meshes with Small Edges or Faces

abstract: We consider a model Poisson problem in $\R^d$ ($d=2,3$) and establish error estimates for virtual element methods on polygonal or polyhedral meshes that can contain small edges ($d=2$) or small faces ($d=3$).


title: On the transferability of time-lagged independent components between similar molecular dynamics systems

abstract: Dimensionality reduction techniques have found great success in a wide range of fields requiring analysis of high-dimensional datasets. Time-lagged independent components analysis (TICA), which finds independent components (TICs) with maximal autocorrelation, is often applied to atomistic biomolecular simulations, where the full molecular configuration can be projected onto only a few TICs describing the slowest modes of motion. Recently, Sultan and Pande have proposed the use of TICs as collective variables for enhanced sampling. However, it is unclear what the best strategy for estimating the TICs of a system is a priori. In order to evaluate the utility of TICs calculated on one system to describe the slow dynamics of similar systems, we develop a methodology for measuring the transferability of TICs and apply it to a wide range of systems. We find that transferred TICs can approximate the slowest dynamics of some systems surprisingly well, while failing to transfer between other sets of systems, highlighting the inherent difficulties of predicting TIC transferability. Additionally, we use two dimensional Brownian dynamics simulations on similar potential surfaces to gain insight into the relationship between TIC transferability and potential surface changes.


title: Kasner-type singularities and solitons with Lifshitz asymptotics

abstract: We present an exact solution in Einstein-Maxwell-dilaton gravity describing a spacetime with an anisotropic Kasner-type singularity and Lifshitz asymptotics. This configuration can also be supported by a phantom scalar while still satisfying the Null Energy Condition. For certain parameters of this solution, null geodesics can have an infinitely deep effective potential, thus trapping photons in a finite region along the radial direction. Some examples of periodic null geodesics are obtained. A particularly interesting special case of this solution is a regular, soliton-type metric that retains its Lifshitz scaling in the time coordinate.


title: Towards the recognition of $\operatorname{PGL}_n$ via a high degree of generic transitivity

abstract: In 2008, Borovik and Cherlin posed the problem of showing that the degree of generic transitivity of an infinite permutation group of finite Morley rank $(X,G)$ is at most $n+2$ where $n$ is the Morley rank of $X$. Moreover, they conjectured that the bound is only achieved (assuming transitivity) by $\operatorname{PGL}_{n+1}(\mathbb{F})$ acting naturally on projective $n$-space. We solve the problem under the two additional hypotheses that (1) $(X,G)$ is $2$-transitive, and (2) $(X-\{x\},G_x)$ has a definable quotient equivalent to $(\mathbb{P}^{n-1}(\mathbb{F}),\operatorname{PGL}_{n}(\mathbb{F}))$. The latter hypothesis drives the construction of the underlying projective geometry and is at the heart of an inductive approach to the main problem.


title: Extracting Insights from the Topology of the JavaScript Package Ecosystem

abstract: Software ecosystems have had a tremendous impact on computing and society, capturing the attention of businesses, researchers, and policy makers alike. Massive ecosystems like the JavaScript node package manager (npm) is evidence of how packages are readily available for use by software projects. Due to its high-dimension and complex properties, software ecosystem analysis has been limited. In this paper, we leverage topological methods in visualize the high-dimensional datasets from a software ecosystem. Topological Data Analysis (TDA) is an emerging technique to analyze high-dimensional datasets, which enables us to study the shape of data. We generate the npm software ecosystem topology to uncover insights and extract patterns of existing libraries by studying its localities. Our real-world example reveals many interesting insights and patterns that describes the shape of a software ecosystem.


title: Privacy with Estimation Guarantees

abstract: We study the central problem in data privacy: how to share data with an analyst while providing both privacy and utility guarantees to the user that owns the data. In this setting, we present an estimation-theoretic analysis of the privacy-utility trade-off (PUT). Here, an analyst is allowed to reconstruct (in a mean-squared error sense) certain functions of the data (utility), while other private functions should not be reconstructed with distortion below a certain threshold (privacy). We demonstrate how chi-square information captures the fundamental PUT in this case and provide bounds for the best PUT. We propose a convex program to compute privacy-assuring mappings when the functions to be disclosed and hidden are known a priori and the data distribution is known. We derive lower bounds on the minimum mean-squared error of estimating a target function from the disclosed data and evaluate the robustness of our approach when an empirical distribution is used to compute the privacy-assuring mappings instead of the true data distribution. We illustrate the proposed approach through two numerical experiments.


title: Learning event representation: As sparse as possible, but not sparser

abstract: Selecting an optimal event representation is essential for event classification in real world contexts. In this paper, we investigate the application of qualitative spatial reasoning (QSR) frameworks for classification of human-object interaction in three dimensional space, in comparison with the use of quantitative feature extraction approaches for the same purpose. In particular, we modify QSRLib, a library that allows computation of Qualitative Spatial Relations and Calculi, and employ it for feature extraction, before inputting features into our neural network models. Using an experimental setup involving motion captures of human-object interaction as three dimensional inputs, we observe that the use of qualitative spatial features significantly improves the performance of our machine learning algorithm against our baseline, while quantitative features of similar kinds fail to deliver similar improvement. We also observe that sequential representations of QSR features yield the best classification performance. A result of our learning method is a simple approach to the qualitative representation of 3D activities as compositions of 2D actions that can be visualized and learned using 2-dimensional QSR.


title: Measurement of Neutral Current Coherent $\pi^0$ Production In The NOvA Near Detector

abstract: The NOvA experiment is a long-baseline neutrino oscillation experiment designed to measure electron neutrino appearance in a muon neutrino beam. It consists of two finely segmented, liquid scintillator detectors at 14 mrad off-axis in the NuMI beam.The NOvA Near Detector, located at Fermilab, provides an excellent opportunity to study neutrino-nucleus interactions which are important for the neutrino oscillation measurements. This talk will present one of the first such measurements from the NOvA Near Detector: neutral current coherent-$\pi^0$ production. Neutrinos can coherently interact with the target nucleus via neutral current exchange and produce a single, forward $\pi^0$, which is a background to the $\nu_e$ appearance measurement. This analysis measures the coherent- $\pi^0$ kinematics and cross-section and compares it to the model predictions. A data-driven method is developed to constrain the neutral current resonance and deep-inelastic $\pi^0$ productions which are background to this analysis.


title: Asymptotic Allocation Rules for a Class of Dynamic Multi-armed Bandit Problems

abstract: This paper presents a class of Dynamic Multi-Armed Bandit problems where the reward can be modeled as the noisy output of a time varying linear stochastic dynamic system that satisfies some boundedness constraints. The class allows many seemingly different problems with time varying option characteristics to be considered in a single framework. It also opens up the possibility of considering many new problems of practical importance. For instance it affords the simultaneous consideration of temporal option unavailabilities and the depen- dencies between options with time varying option characteristics in a seamless manner. We show that, for this class of problems, the combination of any Upper Confidence Bound type algorithm with any efficient reward estimator for the expected reward ensures the logarithmic bounding of the expected cumulative regret. We demonstrate the versatility of the approach by the explicit consideration of a new example of practical interest.


title: Regularity for Shape Optimizers: The Degenerate Case

abstract: We consider minimizers of \[ F(\lambda_1(\Omega),\ldots,\lambda_N(\Omega)) + |\Omega|, \] where $F$ is a function nondecreasing in each parameter, and $\lambda_k(\Omega)$ is the $k$-th Dirichlet eigenvalue of $\Omega$. This includes, in particular, functions $F$ which depend on just some of the first $N$ eigenvalues, such as the often studied $F=\lambda_N$. The existence of a minimizer, which is also a bounded set of finite perimeter, was shown recently. Here we show that the reduced boundary of the minimizers $\Omega$ is made up of smooth graphs, and examine the difficulties in classifying the singular points. Our approach is based on an approximation ("vanishing viscosity") argument, which--counterintuitively--allows us to recover an Euler-Lagrange equation for the minimizers which is not otherwise available.


title: The GAPS Experiment to Search for Dark Matter using Low-energy Antimatter

abstract: The GAPS experiment is designed to carry out a sensitive dark matter search by measuring low-energy cosmic ray antideuterons and antiprotons. GAPS will provide a new avenue to access a wide range of dark matter models and masses that is complementary to direct detection techniques, collider experiments and other indirect detection techniques. Well-motivated theories beyond the Standard Model contain viable dark matter candidates which could lead to a detectable signal of antideuterons resulting from the annihilation or decay of dark matter particles. The dark matter contribution to the antideuteron flux is believed to be especially large at low energies (E < 1 GeV), where the predicted flux from conventional astrophysical sources (i.e. from secondary interactions of cosmic rays) is very low. The GAPS low-energy antiproton search will provide stringent constraints on less than 10 GeV dark matter, will provide the best limits on primordial black hole evaporation on Galactic length scales, and will explore new discovery space in cosmic ray physics. Unlike other antimatter search experiments such as BESS and AMS that use magnetic spectrometers, GAPS detects antideuterons and antiprotons using an exotic atom technique. This technique, and its unique event topology, will give GAPS a nearly background-free detection capability that is critical in a rare-event search. GAPS is designed to carry out its science program using long-duration balloon flights in Antarctica. A prototype instrument was successfully flown from Taiki, Japan in 2012. GAPS has now been approved by NASA to proceed towards the full science instrument, with the possibility of a first long-duration balloon flight in late 2020. Here we motivate low-energy cosmic ray antimatter searches and discuss the current status of the GAPS experiment and the design of the payload.


title: Visual Reasoning with Natural Language

abstract: Natural language provides a widely accessible and expressive interface for robotic agents. To understand language in complex environments, agents must reason about the full range of language inputs and their correspondence to the world. Such reasoning over language and vision is an open problem that is receiving increasing attention. While existing data sets focus on visual diversity, they do not display the full range of natural language expressions, such as counting, set reasoning, and comparisons. We propose a simple task for natural language visual reasoning, where images are paired with descriptive statements. The task is to predict if a statement is true for the given scene. This abstract describes our existing synthetic images corpus and our current work on collecting real vision data.


title: Building a Structured Query Engine

abstract: Finding patterns in data and being able to retrieve information from those patterns is an important task in Information retrieval. Complex search requirements which are not fulfilled by simple string matching and require exploring certain patterns in data demand a better query engine that can support searching via structured queries. In this article, we built a structured query engine which supports searching data through structured queries on the lines of ElasticSearch. We will show how we achieved real time indexing and retrieving of data through a RESTful API and how complex queries can be created and processed using efficient data structures we created for storing the data in structured way. Finally, we will conclude with an example of movie recommendation system built on top of this query engine.


title: On the atomic and molecular decomposition of weighted Hardy spaces

abstract: The purpose of this article is to give another molecular decomposition for members of the weighted Hardy spaces.


title: The Cauchy problem for the Finsler heat equation

abstract: Let $H$ be a norm of ${\bf R}^N$ and $H_0$ the dual norm of $H$. Denote by $\Delta_H$ the Finsler-Laplace operator defined by $\Delta_Hu:=\mbox{div}\,(H(\nabla u)\nabla_\xi H(\nabla u))$. In this paper we prove that the Finsler-Laplace operator $\Delta_H$ acts as a linear operator to $H_0$-radially symmetric smooth functions. Furthermore, we obtain an optimal sufficient condition for the existence of the solution to the Cauchy problem for the Finsler heat equation $$ \partial_t u=\Delta_H u,\qquad x\in{\bf R}^N,\quad t>0, $$ where $N\ge 1$ and $\partial_t:=\partial/\partial t$.


title: Rigorous calibration method for photon-number statistics

abstract: Characterization of photon statistics of a light source is one of the most basic tools in quantum optics. Although the outcome from existing methods is believed to be a good approximation when the measured light is sufficiently weak, there is no rigorous quantitative bounds on the degree of the approximation. As a result, they fail to fulfill the demand arising from emerging applications of quantum information such as quantum cryptography. Here, we propose a calibration method to produce rigorous bounds for a photon-number probability distribution by using a conventional Hanbury-Brown-Twiss setup with threshold photon detectors. We present a general framework to treat any number of detectors and non-uniformity of their efficiencies. The bounds are conveniently given as closed-form expressions of the observed coincidence rates and the detector efficiencies. We also show optimality of the bounds for light with a small mean photon number. As an application, we show that our calibration method can be used for the light source in a decoy-state quantum key distribution protocol. It replaces the a priori assumption on the distribution that has been commonly used, and achieves almost the same secure key rate when four detectors are used for the calibration.


title: ObliDB: Oblivious Query Processing for Secure Databases

abstract: Hardware enclaves such as Intel SGX are a promising technology for improving the security of databases outsourced to the cloud. These enclaves provide an execution environment isolated from the hypervisor/OS, and encrypt data in RAM. However, for applications that use large amounts of memory, including most databases, enclaves do not protect against access pattern leaks, which let attackers gain a large amount of information about the data. Moreover,the naive way to address this issue, using Oblivious RAM (ORAM) primitives from the security literature, adds substantial overhead. A number of recent works explore trusted hardware enclaves as a path toward secure, access-pattern oblivious outsourcing of data storage and analysis. While these works efficiently solve specific subproblems (e.g. building secure indexes or running analytics queries that always scan entire tables), no prior work has supported oblivious query processing for general query workloads on a DBMS engine with multiple access methods. Moreover, applying these techniques individually does not guarantee that an end-to-end workload, such as a complex SQL query over multiple tables, will be oblivious. In this paper, we introduce ObliDB, an oblivious database engine design that is the first system to provide obliviousness for general database read workloads over multiple access methods. ObliDB supports a broad range of queries, including aggregation, joins, insertions, deletions and point queries. We implement ObliDB and show that, on analytics work-loads, ObliDB ranges from 1.1-19x faster than Opaque,a previous oblivious, enclave-based system designed only for analytics, and comes within 2.6x of Spark SQL. ObliDB supports point queries with 3-10ms latency, which runs over 7x faster than HIRB, a previous encryption-based oblivious index system.


title: Deep Abstract Q-Networks

abstract: We examine the problem of learning and planning on high-dimensional domains with long horizons and sparse rewards. Recent approaches have shown great successes in many Atari 2600 domains. However, domains with long horizons and sparse rewards, such as Montezuma's Revenge and Venture, remain challenging for existing methods. Methods using abstraction (Dietterich 2000; Sutton, Precup, and Singh 1999) have shown to be useful in tackling long-horizon problems. We combine recent techniques of deep reinforcement learning with existing model-based approaches using an expert-provided state abstraction. We construct toy domains that elucidate the problem of long horizons, sparse rewards and high-dimensional inputs, and show that our algorithm significantly outperforms previous methods on these domains. Our abstraction-based approach outperforms Deep Q-Networks (Mnih et al. 2015) on Montezuma's Revenge and Venture, and exhibits backtracking behavior that is absent from previous methods.


title: Hidden Markov model tracking of continuous gravitational waves from young supernova remnants

abstract: Searches for persistent gravitational radiation from nonpulsating neutron stars in young supernova remnants (SNRs) are computationally challenging because of rapid stellar braking. We describe a practical, efficient, semi-coherent search based on a hidden Markov model (HMM) tracking scheme, solved by the Viterbi algorithm, combined with a maximum likelihood matched filter, the $\mathcal{F}$-statistic. The scheme is well suited to analyzing data from advanced detectors like the Advanced Laser Interferometer Gravitational Wave Observatory (Advanced LIGO). It can track rapid phase evolution from secular stellar braking and stochastic timing noise torques simultaneously without searching second- and higher-order derivatives of the signal frequency, providing an economical alternative to stack-slide-based semi-coherent algorithms. One implementation tracks the signal frequency alone. A second implementation tracks the signal frequency and its first time derivative. It improves the sensitivity by a factor of a few upon the first implementation, but the cost increases by two to three orders of magnitude.


title: Cooperative Automated Vehicles: a Review of Opportunities and Challenges in Socially Intelligent Vehicles Beyond Networking

abstract: The connected automated vehicle has been often touted as a technology that will become pervasive in society in the near future. One can view an automated vehicle as having Artificial Intelligence (AI) capabilities, being able to self-drive, sense its surroundings, recognise objects in its vicinity, and perform reasoning and decision-making. Rather than being stand alone, we examine the need for automated vehicles to cooperate and interact within their socio-cyber-physical environments, including the problems cooperation will solve, but also the issues and challenges. We review current work in cooperation for automated vehicles, based on selected examples from the literature. We conclude noting the need for the ability to behave cooperatively as a form of social-AI capability for automated vehicles, beyond sensing the immediate environment and beyond the underlying networking technology.


title: Local cohomology and Lyubeznik numbers of $F$-pure rings

abstract: In this article, we study certain local cohomology modules over $F$-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula for computing these invariants when the $F$-pure ring is standard graded and, by its means, we provide some new examples of Lyubeznik tables. We study associated primes of certain Ext-modules, showing that they are all compatible ideals. Finally, we focus on properties that Lyubeznik numbers detect over a globally $F$-split projective variety.


title: Kaon-Scatter Introduced Backgrounds in the KOTO Experiment

abstract: The KOTO experiment is a particle physics experiment located in J-PARC, Japan, aiming to explore physics beyond the Standard Model by measuring the branching ratio of the $K_L\rightarrow\pi^{0}\nu\bar{\nu}$ decay. This decay has not yet been observed. The branching ratio predicted by the Standard Model of $(3.0\pm0.3)\times10^{-11}$ and the current experimental upper limit established by KEK E391a is $2.6\times10^{-8}$. The signal of $K_L\rightarrow\pi^{0}\nu\bar{\nu}$ decay has the signature of two photons on the calorimeter with no signal on the veto detectors. It also has a large transverse momentum due to missing neutrinos. Kaons that decay outside the beam line with final product of two photons, such as $K_L\rightarrow\gamma\gamma$ and $K_L\rightarrow\pi^{+}\pi^{-}\pi^{0}$, can appear to have large transverse momentum due to kaon scattering and beam interaction with the detectors. These off-axis kaon decay events can impact the upper limit of $K_L\rightarrow\pi^{0}\nu\bar{\nu}$ branching ratio. Aluminum targets located at the upstream of the KOTO detector and inside the decay-volume were used to study kaon beam profile, which provided off-axis kaon decay vertex information. The beam profile provided insights on background contributions to the signal. Studies on the kaon beam profile and background identification from kaon scattering were presented in this talk.


title: Beyond Anyons

abstract: The theory of anyon systems, as modular functors topologically and unitary modular tensor categories algebraically, is mature. To go beyond anyons, our first step is the interplay of anyons with conventional group symmetry due to the paramount importance of group symmetry in physics. This led to the theory of symmetry-enriched topological order. Another direction is the boundary physics of topological phases, both gapless as in the fractional quantum Hall physics and gapped as in toric code. A more speculative and interesting direction is the study of Banados-Teitelboim-Zanelli black holes and quantum gravity in $3d$. The clearly defined physical and mathematical issues require a far-reaching generalization of anyons and seem to be within reach. In this short survey, I will first cover the extensions of anyon theory to symmetry defects and gapped boundaries. Then I will discuss a desired generalization of anyons to anyon-like objects---the Banados-Teitelboim-Zanelli black holes---in $3d$ quantum gravity.

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


title: Moving heavy quarkonium entropy, effective string tension, and the QCD phase diagram

abstract: The entropy and effective string tension of the moving heavy quark-antiquark pair in the strongly coupled plasmas are calculated by using a deformed an anti-de Sitter/Reissner-Nordstr$\ddot{o}$m black hole metric. A sharp peak of the heavy-quarkonium entropy around the deconfinement transition can be realized in our model, which is consistent with the lattice QCD result. The effective string tension of the heavy quark-antiquark pair is related to the deconfinement phase transition. Thus, we investigate the deconfinement phase transition by analyzing the characteristics of the effective string tension with different temperatures, chemical potentials, and rapidities. It is found that the results of phase diagram calculated through effective string tension are in agreement with results calculated through a Polyakov loop. We argue that a moving system will reach the phase transition point at a lower temperature and chemical potential than a stationary system. It means that the lifetime of the moving QGP becomes longer than the static one.


title: Patrolling a Path Connecting a Set of Points with Unbalanced Frequencies of Visits

abstract: Patrolling consists of scheduling perpetual movements of a collection of mobile robots, so that each point of the environment is regularly revisited by any robot in the collection. In previous research, it was assumed that all points of the environment needed to be revisited with the same minimal frequency. In this paper we study efficient patrolling protocols for points located on a path, where each point may have a different constraint on frequency of visits. The problem of visiting such divergent points was recently posed by Gasieniec et al. in [13], where the authors study protocols using a single robot patrolling a set of $n$ points located in nodes of a complete graph and in Euclidean spaces. The focus in this paper is on patrolling with two robots. We adopt a scenario in which all points to be patrolled are located on a line. We provide several approximation algorithms concluding with the best currently known $\sqrt 3$-approximation.


title: Qubit-assisted transduction for a detection of surface acoustic waves near the quantum limit

abstract: We demonstrate ultra-sensitive measurement of fluctuations in a surface-acoustic-wave~(SAW) resonator using a hybrid quantum system consisting of the SAW resonator, a microwave (MW) resonator and a superconducting qubit. The nonlinearity of the driven qubit induces parametric coupling, which up-converts the excitation in the SAW resonator to that in the MW resonator. Thermal fluctuations of the SAW resonator near the quantum limit are observed in the noise spectroscopy in the MW domain.


title: MicroBooNE Investigation of Low-Energy Excess Using Deep Learning Algorithms

abstract: MicroBooNE is a neutrino experiment based at Fermilab which consists of a liquid argon time-projection chamber in the Booster Neutrino Beam (BNB). The experiment aims to investigate the excess of electron-neutrino-like events seen by the MiniBooNE experiment, also located in the BNB, which is potential evidence for new non-Standard Model physics such as sterile neutrinos. I discuss the status of a search for low-energy electron-neutrino interactions within the MicroBooNE detector. This analysis features a hybrid approach of traditional reconstruction methods along with the use of convolutional neural networks (CNNs), a type of deep learning algorithm highly adept at pattern recognition. I describe the identification of events and the ways in which the CNNs are used. I also outline the ways that we are addressing issues related to applying CNNs, which are trained on simulated data, to data from the detector.


title: Asymptotic behavior of global weak solutions for the micropolar dynamics in $L^{2}(\mathbb{R}^{3})$

abstract: In this paper the long time behavior of the micropolar fluid equations energy on three dimensional space are studied. We show that $ \| (u,w)(\cdot,t) \|_{{L^{2}(\mathbb{R}^{3})}} \to 0 $ as $t \to \infty$ for Leray-Hopf's global weak solutions in inviscid vortex case. Moreover, when the vortex viscosity are considered, i.e., $\chi >0$, we obtain a (faster) decay for micro-rotational field: $ \| w (\cdot,t) \|_{{L^{2}(\mathbb{R}^{3})}} = o(t^{-1/2})$.


title: Upper stellar mass limit by radiative feedback at low-metallicities: metallicity and accretion rate dependence

abstract: We investigate the upper stellar mass limit set by radiative feedback by the forming star with various accretion rates and metallicities. To this end, we numerically solve the structures of both a protostar and its surrounding accretion envelope assuming a spherical symmetric and steady flow. The optical depth of the dust cocoon, a dusty part of the accretion envelope, differs among the direct light from the stellar photosphere and the diffuse light re-emitted as dust thermal emission. As a result, varying the metallicity qualitatively changes the way that the radiative feedback suppresses the accretion flow. With a fixed accretion rate of $10^{-3}M_{\odot} {\rm yr^{-1}}$, the both direct and diffuse lights jointly operate to prevent the mass accretion at $Z \gtrsim 10^{-1}Z_{\odot}$. At $Z \lesssim 10^{-1}Z_{\odot}$, the diffuse light is no longer effective, and the direct light solely limits the mass accretion. At $Z \lesssim 10^{-3}Z_{\odot}$, the HII region formation plays an important role in terminating the accretion. The resultant upper mass limit increases with decreasing metallicity, from a few $\times~10~M_\odot$ to $\sim 10^3~M_\odot$ over $Z = 1Z_{\odot} - 10^{-4}~Z_\odot$. We also illustrate how the radiation spectrum of massive star-forming cores changes with decreasing metallicity. First, the peak wavelength of the spectrum, which is located around $30 \mu {\rm m}$ at $1Z_{\odot}$, shifts to $< 3 \mu {\rm m}$ at $Z \lesssim 0.1 Z_\odot$. Second, a characteristic feature at $10 \mu \rm{m}$ due to the amorphous silicate band appears as a dip at $1Z_{\odot}$, but changes to a bump at $Z \lesssim 0.1 Z_{\odot}$. Using these spectral signatures, we can search massive accreting protostars in nearby low-metallicity environments with up-coming observations.


title: Realization of the Axion Insulator State in Quantum Anomalous Hall Sandwich Heterostructures

abstract: The 'magnetoelectric effect' arises from the coupling between magnetic and electric properties in materials. The Z2 invariant of topological insulators (TIs) leads to a quantized version of this phenomenon, known as the topological magnetoelectric (TME) effect. This effect can be realized in a new topological phase called an 'axion insulator' whose surface states are all gapped but the interior still obeys time reversal symmetry. We demonstrate such a phase using electrical transport measurements in a quantum anomalous Hall (QAH) sandwich heterostructure, in which two compositionally different magnetic TI layers are separated by an undoped TI layer. Magnetic force microscopy images of the same sample reveal sequential magnetization reversals of the top and bottom layers at different coercive fields, a consequence of the weak interlayer exchange coupling due to the spacer. When the magnetization is antiparallel, both the Hall resistance and Hall conductance show zero plateaus, accompanied by a large longitudinal resistance and vanishing longitudinal conductance, indicating the realization of an axion insulator state. Our findings thus show evidences for a phase of matter distinct from the established QAH state and provide a promising platform for the realization of the TME effect.


title: Pressure-induced Superconductivity in the Three-component Fermion Topological Semimetal Molybdenum Phosphide

abstract: Topological semimetal, a novel state of quantum matter hosting exotic emergent quantum phenomena dictated by the non-trivial band topology, has emerged as a new frontier in condensed-matter physics. Very recently, a coexistence of triply degenerate points of band crossing and Weyl points near the Fermi level was theoretically predicted and immediately experimentally verified in single crystalline molybdenum phosphide (MoP). Here we show in this material the high-pressure electronic transport and synchrotron X-ray diffraction (XRD) measurements, combined with density functional theory (DFT) calculations. We report the emergence of pressure-induced superconductivity in MoP with a critical temperature Tc of about 2 K at 27.6 GPa, rising to 3.7 K at the highest pressure of 95.0 GPa studied. No structural phase transitions is detected up to 60.6 GPa from the XRD. Meanwhile, the Weyl points and triply degenerate points topologically protected by the crystal symmetry are retained at high pressure as revealed by our DFT calculations. The coexistence of three-component fermion and superconductivity in heavily pressurized MoP offers an excellent platform to study the interplay between topological phase of matter and superconductivity.


title: Importance Sampling and its Optimality for Stochastic Simulation Models

abstract: We consider the problem of estimating an expected outcome from a stochastic simulation model. Our goal is to develop a theoretical framework on importance sampling for such estimation. By investigating the variance of an importance sampling estimator, we propose a two-stage procedure that involves a regression stage and a sampling stage to construct the final estimator. We introduce a parametric and a nonparametric regression estimator in the first stage and study how the allocation between the two stages affects the performance of the final estimator. We analyze the variance reduction rates and derive oracle properties of both methods. We evaluate the empirical performances of the methods using two numerical examples and a case study on wind turbine reliability evaluation.


title: Further finding results for cycles by semilinear control

abstract: We provide a simple method for detecting of cycles in discrete autonomous vector dynamical systems. The method generalizes some results by O.Morgul.


title: Relative phantom maps

abstract: The de Bruijn-Erd\H{o}s theorem states that the chromatic number of an infinite graph equals the maximum of the chromatic numbers of finite subgraphs. Such a determinativeness by finite subobjects appears in the definition of a phantom map which is classical in algebraic topology. The topological method in combinatorics connects these two, which leads us to define the relative version of a phantom map: a map $f\colon X\to Y$ is called a relative phantom map to a map $\varphi\colon B\to Y$ if the restriction of $f$ to any finite subcomplex of $X$ lifts to $B$ through $\varphi$, up to homotopy. There are two kinds of maps which are obviously relative phantom maps: (1) the composite of a map $X\to B$ with $\varphi$; (2) a usual phantom map $X\to Y$. A relative phantom map of type (1) is called trivial, and a relative phantom map out of a suspension which is a sum of (1) and (2) is called relatively trivial. We study the (relative) triviality of relative phantom maps and in particular, we give rational homology conditions for the (relative) triviality.


title: Sharp estimates for pseudo-differential operators of type (1,1) on Triebel-Lizorkin and Besov spaces

abstract: Pseudo-differential operators of type $(1,1)$ and order $m$ are continuous from $F_p^{s+m,q}$ to $F_p^{s,q}$ if $s>d/\min{(1,p,q)}-d$ for $0<p<\infty$, and from $B_p^{s+m,q}$ to $B_{p}^{s,q}$ if $s>d/\min{(1,p)}-d$ for $0<p\leq\infty$. In this work we extend the $F$-boundedness result to $p=\infty$. Additionally, we prove that the operators map $F_{\infty}^{m,1}$ into $bmo$ when $s=0$, and consider H\"ormander's twisted diagonal condition for arbitrary $s\in\mathbb{R}$. We also prove that the restrictions on $s$ are necessary conditions for the boundedness to hold.


title: A Crowd-Annotated Spanish Corpus for Humor Analysis

abstract: Computational Humor involves several tasks, such as humor recognition, humor generation, and humor scoring, for which it is useful to have human-curated data. In this work we present a corpus of 27,000 tweets written in Spanish and crowd-annotated by their humor value and funniness score, with about four annotations per tweet, tagged by 1,300 people over the Internet. It is equally divided between tweets coming from humorous and non-humorous accounts. The inter-annotator agreement Krippendorff's alpha value is 0.5710. The dataset is available for general use and can serve as a basis for humor detection and as a first step to tackle subjectivity.


title: Margin Sample Mining Loss: A Deep Learning Based Method for Person Re-identification

abstract: Person re-identification (ReID) is an important task in computer vision. Recently, deep learning with a metric learning loss has become a common framework for ReID. In this paper, we also propose a new metric learning loss with hard sample mining called margin smaple mining loss (MSML) which can achieve better accuracy compared with other metric learning losses, such as triplet loss. In experi- ments, our proposed methods outperforms most of the state-of-the-art algorithms on Market1501, MARS, CUHK03 and CUHK-SYSU.


title: Permutation methods for factor analysis and PCA

abstract: Researchers often have datasets measuring features $x_{ij}$ of samples, such as test scores of students. In factor analysis and PCA, these features are thought to be influenced by unobserved factors, such as skills. Can we determine how many components affect the data? This is an important problem, because it has a large impact on all downstream data analysis. Consequently, many approaches have been developed to address it. Parallel Analysis is a popular permutation method. It works by randomly scrambling each feature of the data. It selects components if their singular values are larger than those of the permuted data. Despite widespread use in leading textbooks and scientific publications, as well as empirical evidence for its accuracy, it currently has no theoretical justification. In this paper, we show that the parallel analysis permutation method consistently selects the large components in certain high-dimensional factor models. However, it does not select the smaller components. The intuition is that permutations keep the noise invariant, while "destroying" the low-rank signal. This provides justification for permutation methods in PCA and factor models under some conditions. Our work uncovers drawbacks of permutation methods, and paves the way to improvements.


title: On the Symmetry Foundation of Double Soft Theorems

abstract: Double-soft theorems, like its single-soft counterparts, arises from the underlying symmetry principles that constrain the interactions of massless particles. While single soft theorems can be derived in a non-perturbative fashion by employing current algebras, recent attempts of extending such an approach to known double soft theorems has been met with difficulties. In this work, we have traced the difficulty to two inequivalent expansion schemes, depending on whether the soft limit is taken asymmetrically or symmetrically, which we denote as type A and B respectively. We show that soft-behaviour for type A scheme can simply be derived from single soft theorems, and are thus non-preturbatively protected. For type B, the information of the four-point vertex is required to determine the corresponding soft theorems, and thus are in general not protected. This argument can be readily extended to general multi-soft theorems. We also ask whether unitarity can be emergent from locality together with the two kinds of soft theorems, which has not been fully investigated before.


title: New Subexponential Fewnomial Hypersurface Bounds

abstract: Suppose $c_1,\ldots,c_{n+k}$ are real numbers, $\{a_1,\ldots,a_{n+k}\}\!\subset\!\mathbb{R}^n$ is a set of points not all lying in the same affine hyperplane, $y\!\in\!\mathbb{R}^n$, $a_j\cdot y$ denotes the standard real inner product of $a_j$ and $y$, and we set $g(y)\!:=\!\sum^{n+k}_{j=1} c_j e^{a_j\cdot y}$. We prove that, for generic $c_j$, the number of connected components of the real zero set of $g$ is $O\!\left(n^2+\sqrt{2}^{k^2}(n+2)^{k-2}\right)$. The best previous upper bounds, when restricted to the special case $k\!=\!3$ and counting just the non-compact components, were already exponential in $n$.


title: Weighted-SVD: Matrix Factorization with Weights on the Latent Factors

abstract: The Matrix Factorization models, sometimes called the latent factor models, are a family of methods in the recommender system research area to (1) generate the latent factors for the users and the items and (2) predict users' ratings on items based on their latent factors. However, current Matrix Factorization models presume that all the latent factors are equally weighted, which may not always be a reasonable assumption in practice. In this paper, we propose a new model, called Weighted-SVD, to integrate the linear regression model with the SVD model such that each latent factor accompanies with a corresponding weight parameter. This mechanism allows the latent factors have different weights to influence the final ratings. The complexity of the Weighted-SVD model is slightly larger than the SVD model but much smaller than the SVD++ model. We compared the Weighted-SVD model with several latent factor models on five public datasets based on the Root-Mean-Squared-Errors (RMSEs). The results show that the Weighted-SVD model outperforms the baseline methods in all the experimental datasets under almost all settings.


title: Breathing multichimera states in nonlocally coupled phase oscillators

abstract: Chimera states for the one-dimensional array of nonlocally coupled phase oscillators in the continuum limit are assumed to be stationary states in most studies, but a few studies report the existence of breathing chimera states. We focus on multichimera states with two coherent and incoherent regions, and numerically demonstrate that breathing multichimera states, whose global order parameter oscillates temporally, can appear. Moreover, we show that the system exhibits a Hopf bifurcation from a stationary multichimera to a breathing one by the linear stability analysis for the stationary multichimera.


title: Performance analysis of FSO using relays and spatial diversity under log-normal fading channel

abstract: The performance analysis of free space optical communication (FSO) system using relays and spatial diversity at the source is studied in this paper. The effect of atmospheric turbulence and attenuation, caused by different weather conditions and geometric losses, has also been considered for analysis. The exact closed-form expressions are presented for bit error rate (BER) of M-ary quadrature amplitude modulation (M-QAM) technique for multi-hop multiple-input single-output (MISO) FSO system under log-normal fading channel. Furthermore, the link performance of multi-hop MISO and multi-hop single-input and single-output (SISO) FSO systems are compared to the different systems using on-off keying (OOK), repetition codes (RCs) and M-ary pulse amplitude modulation (M-PAM) techniques. A significant performance enhancement in terms of BER analysis and SNR gains is shown for multi-hop MISO and multi-hop SISO FSO systems with M-QAM over other existing systems with different modulation schemes. Moreover, Monte-Carlo simulations are used to validate the accuracy and consistency of the derived analytical results. Numerical results show that M-QAM modulated multi-hop MISO and multi-hop SISO FSO system with relays and spatial diversity outperforms other systems while having the same spectral efficiency of each system.


title: Remarks on Rational Points of Universal Curves

abstract: In this notes, we will give some remarks on the results in Rational points of universal curves by Hain. In particular, we consider the universal curves $\mathcal{M}_{g,n+1}\to \mathcal{M}_{g,n}$ and the sections of their algebraic fundamental groups.


title: DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

abstract: Deep neural networks have become widely used, obtaining remarkable results in domains such as computer vision, speech recognition, natural language processing, audio recognition, social network filtering, machine translation, and bio-informatics, where they have produced results comparable to human experts. However, these networks can be easily fooled by adversarial perturbations: minimal changes to correctly-classified inputs, that cause the network to mis-classify them. This phenomenon represents a concern for both safety and security, but it is currently unclear how to measure a network's robustness against such perturbations. Existing techniques are limited to checking robustness around a few individual input points, providing only very limited guarantees. We propose a novel approach for automatically identifying safe regions of the input space, within which the network is robust against adversarial perturbations. The approach is data-guided, relying on clustering to identify well-defined geometric regions as candidate safe regions. We then utilize verification techniques to confirm that these regions are safe or to provide counter-examples showing that they are not safe. We also introduce the notion of targeted robustness which, for a given target label and region, ensures that a NN does not map any input in the region to the target label. We evaluated our technique on the MNIST dataset and on a neural network implementation of a controller for the next-generation Airborne Collision Avoidance System for unmanned aircraft (ACAS Xu). For these networks, our approach identified multiple regions which were completely safe as well as some which were only safe for specific labels. It also discovered several adversarial perturbations of interest.


title: YUI and HANA: Control and Visualization Programs for HRC in J-PARC

abstract: We developed control and visualization programs, YUI and HANA, for High- Resolution Chopper spectrometer (HRC) installed at BL12 in MLF, J-PARC. YUI is a comprehensive program to control DAQ-middleware, the accessories, and sample environment devices. HANA is a program for the data transformation and visualization of inelastic neutron scattering spectra. In this paper, we describe the basic system structures and unique functions of these programs from the viewpoint of users.


title: Chirp Mixing

abstract: In this paper, we develop the theory of chirp mixing. The working principle is simple, given coupled homonuclear spins with offsets in range [-B, B], we adiabatically sweep through the resonances. This achieves cross polarization between the z magnetization of the coupled spins. We repeat this basic operation many times with a supercycle to achieve appropriate mixing time. When we sweep through the resonances, midway between the resonances of the coupled spin I and S, the effective field seen by two spins is the same and hence they precess at same frequency around their effective fields. This means the coupling, which normally gets averaged due to the chemical shift difference is no more averaged for a short time and we get mixing. In this paper, we develop these basic ideas. By virtue of its design, the chirp mixing is much more broadband compared to state of the art methods. The proposed methodology is demonstrated on 13C mixing in a sample of Alanine.


title: SE3-Pose-Nets: Structured Deep Dynamics Models for Visuomotor Planning and Control

abstract: In this work, we present an approach to deep visuomotor control using structured deep dynamics models. Our deep dynamics model, a variant of SE3-Nets, learns a low-dimensional pose embedding for visuomotor control via an encoder-decoder structure. Unlike prior work, our dynamics model is structured: given an input scene, our network explicitly learns to segment salient parts and predict their pose-embedding along with their motion modeled as a change in the pose space due to the applied actions. We train our model using a pair of point clouds separated by an action and show that given supervision only in the form of point-wise data associations between the frames our network is able to learn a meaningful segmentation of the scene along with consistent poses. We further show that our model can be used for closed-loop control directly in the learned low-dimensional pose space, where the actions are computed by minimizing error in the pose space using gradient-based methods, similar to traditional model-based control. We present results on controlling a Baxter robot from raw depth data in simulation and in the real world and compare against two baseline deep networks. Our method runs in real-time, achieves good prediction of scene dynamics and outperforms the baseline methods on multiple control runs. Video results can be found at: https://rse-lab.cs.washington.edu/se3-structured-deep-ctrl/


title: The Dutch's Real World Financial Institute: Introducing Quantum-Like Bayesian Networks as an Alternative Model to deal with Uncertainty

abstract: In this work, we analyse and model a real life financial loan application belonging to a sample bank in the Netherlands. The log is robust in terms of data, containing a total of 262 200 event logs, belonging to 13 087 different credit applications. The dataset is heterogeneous and consists of a mixture of computer generated automatic processes and manual human tasks. The goal is to work out a decision model, which represents the underlying tasks that make up the loan application service, and to assess potential areas of improvement of the institution's internal processes. To this end we study the impact of incomplete event logs for the extraction and analysis of business processes. It is quite common that event logs are incomplete with several amounts of missing information (for instance, workers forget to register their tasks). Absence of data is translated into a drastic decrease of precision and compromises the decision models, leading to biased and unrepresentative results. We investigate how classical probabilistic models are affected by incomplete event logs and we explore quantum-like probabilistic inferences as an alternative mathematical model to classical probability. This work represents a first step towards systematic investigation of the impact of quantum interference in a real life large scale decision scenario. The results obtained in this study indicate that, under high levels of uncertainty, the quantum-like models generate quantum interference terms, which allow an additional non-linear parameterisation of the data. Experimental results attest the efficiency of the quantum-like Bayesian networks, since the application of interference terms is able to reduce the error percentage of inferences performed over quantum-like models when compared to inferences produced by classical models.


title: Minimax Iterative Dynamic Game: Application to Nonlinear Robot Control Tasks

abstract: Multistage decision policies provide useful control strategies in high-dimensional state spaces, particularly in complex control tasks. However, they exhibit weak performance guarantees in the presence of disturbance, model mismatch, or model uncertainties. This brittleness limits their use in high-risk scenarios. We present how to quantify the sensitivity of such policies in order to inform of their robustness capacity. We also propose a minimax iterative dynamic game framework for designing robust policies in the presence of disturbance/uncertainties. We test the quantification hypothesis on a carefully designed deep neural network policy; we then pose a minimax iterative dynamic game (iDG) framework for improving policy robustness in the presence of adversarial disturbances. We evaluate our iDG framework on a mecanum-wheeled robot, whose goal is to find a ocally robust optimal multistage policy that achieve a given goal-reaching task. The algorithm is simple and adaptable for designing meta-learning/deep policies that are robust against disturbances, model mismatch, or model uncertainties, up to a disturbance bound. Videos of the results are on the author's website, http://ecs.utdallas.edu/~opo140030/iros18/iros2018.html, while the codes for reproducing our experiments are on github, https://github.com/lakehanne/youbot/tree/rilqg. A self-contained environment for reproducing our results is on docker, https://hub.docker.com/r/lakehanne/youbotbuntu14/


title: Observation of half-integer thermal Hall conductance

abstract: Topological states of matter are characterized by topological invariant, which are physical quantities whose values are quantized and do not depend on details of the measured system. Of these, the easiest to probe in experiments is the electrical Hall conductance, which is expressed in units of $e^2/h$ ($e$ the electron charge, $h$ the Planck's constant). In the fractional quantum Hall effect (FQHE), fractional quantized values of the electrical Hall conductance attest to topologically ordered states, which are states that carry quasi particles with fractional charge and anyonic statistics. Another topological invariant, which is much harder to measure, is the thermal Hall conductance, expressed in units of $\kappa_0T=(\pi^2kB^2/3h)T$ ($kB$ the Boltzmann constant, $T$ the temperature). For the quantized thermal Hall conductance, a fractional value attests that the probed state of matter is non-abelian. Quasi particles in non-abelian states lead to a ground state degeneracy and perform topological unitary transformations among ground states when braided. As such, they may be useful for topological quantum computation. In this paper, we report our measurements of the thermal Hall conductance for several quantum Hall states in the first excited Landau level. Remarkably, we find the thermal Hall conductance of the $\nu=5/2$ state to be fractional, and to equal $2.5\kappa_0T$


title: Heating and thermoelectric transport in a molecular junction

abstract: The energy dissipation and heat flows associated with the particle current in a system with a molecular junction are considered. In this connection, we determine the effective temperature of the molecular oscillator that is compatible with the existence of a steady state. The calculations based on the Kadanov-Baym nonequilibrium Green function formalism are carried out supposing a strong coupling of the dot electrons with the molecular vibrations. Accordingly, the representation given by the Lang-Firsov polaron transformation is used and the dependence of results on the electron-phonon interaction strength is investigated.


title: Log-majorizations for the (symplectic) eigenvalues of the Cartan barycenter

abstract: In this paper we show that the eigenvalue map and the symplectic eigenvalue map of positive definite matrices are Lipschitz for the Cartan-Hadamard Riemannian metric, and establish log-majorizations for the (symplectic) eigenvalues of the Cartan barycenter of integrable probability Borel measures. This leads a version of Jensen's inequality for geometric integrals of matrix-valued integrable random variables.


title: REinforcement learning based Adaptive samPling: REAPing Rewards by Exploring Protein Conformational Landscapes

abstract: One of the key limitations of Molecular Dynamics simulations is the computational intractability of sampling protein conformational landscapes associated with either large system size or long timescales. To overcome this bottleneck, we present the REinforcement learning based Adaptive samPling (REAP) algorithm that aims to efficiently sample conformational space by learning the relative importance of each reaction coordinate as it samples the landscape. To achieve this, the algorithm uses concepts from the field of reinforcement learning, a subset of machine learning, which rewards sampling along important degrees of freedom and disregards others that do not facilitate exploration or exploitation. We demonstrate the effectiveness of REAP by comparing the sampling to long continuous MD simulations and least-counts adaptive sampling on two model landscapes (L-shaped and circular), and realistic systems such as alanine dipeptide and Src kinase. In all four systems, the REAP algorithm consistently demonstrates its ability to explore conformational space faster than the other two methods when comparing the expected values of the landscape discovered for a given amount of time. The key advantage of REAP is on-the-fly estimation of the importance of collective variables, which makes it particularly useful for systems with limited structural information.


title: Quantum point contact: a case of spin-resolved electron transport

abstract: The work presents the extended theoretical model of the electrical conductance in non-magnetic and magnetic nano-size point contacts. The developed approach describes diffusive, quasi-ballistic, ballistic and quantum regimes of the spin-resolved conductance. It is based on the electron transport through metallic junction within approach of the circular constriction. The model provides unified description of the contact resistance from Maxwell diffusive through the ballistic to purely quantum transport regimes without any residual terms depending from the scale. An application are given for experimental treatment of the golden nanocontacts as a non-magnetic case and Permalloy nanowire with/without domain wall as example for the magnetic system. The model of quantum point contact assumes that contact area can be replaced by the quantum object (i.e. magnetic tunnel junction, narrow domain wall, etc.), where potential energy profile determine its electrical properties.


title: Obtuse constants of Alexandrov spaces

abstract: We introduce a new geometric invariant called the obtuse constant of spaces with curvature bounded below. We first find relations between this invariant and the normalized volume. We also discuss the case of maximal obtuse constant equal to $\pi/2$, where we prove some rigidity for spaces. Although we consider Alexandrov spaces with curvature bounded below, the results are new even in the Riemannian case.


title: A non-vanishing neutrino mass and the strong CP problem: A new solution from the perspective of the EW-$\nu_R$ model

abstract: The EW-$\nu_R$ model was constructed to provide a scenario in which right-handed neutrinos are non-sterile and have masses proportional to the electroweak scale, providing an opportunity to test the seesaw mechanism at the LHC. What was hidden in the model until recently is the chiral symmetry which helps solve the strong CP problem by using it to rotate $\theta_{QCD}$ to zero. It turns out the contribution from the electroweak sector to the effective $\bar{\theta}$ is proportional to the light neutrino masses and is naturally small, satisfying the constraint coming from the present absence of the neutron electric dipole moment, and without the need for an axion. Talk presented at the APS Division of Particles and Fields Meeting (DPF 2017), July 31-August 4, 2017, Fermilab. C170731


title: Online control of the false discovery rate with decaying memory

abstract: In the online multiple testing problem, p-values corresponding to different null hypotheses are observed one by one, and the decision of whether or not to reject the current hypothesis must be made immediately, after which the next p-value is observed. Alpha-investing algorithms to control the false discovery rate (FDR), formulated by Foster and Stine, have been generalized and applied to many settings, including quality-preserving databases in science and multiple A/B or multi-armed bandit tests for internet commerce. This paper improves the class of generalized alpha-investing algorithms (GAI) in four ways: (a) we show how to uniformly improve the power of the entire class of monotone GAI procedures by awarding more alpha-wealth for each rejection, giving a win-win resolution to a recent dilemma raised by Javanmard and Montanari, (b) we demonstrate how to incorporate prior weights to indicate domain knowledge of which hypotheses are likely to be non-null, (c) we allow for differing penalties for false discoveries to indicate that some hypotheses may be more important than others, (d) we define a new quantity called the decaying memory false discovery rate (mem-FDR) that may be more meaningful for truly temporal applications, and which alleviates problems that we describe and refer to as "piggybacking" and "alpha-death". Our GAI++ algorithms incorporate all four generalizations simultaneously, and reduce to more powerful variants of earlier algorithms when the weights and decay are all set to unity. Finally, we also describe a simple method to derive new online FDR rules based on an estimated false discovery proportion.