title: An Online Learning Approach to Buying and Selling Demand Response

abstract: We adopt the perspective of an aggregator, which seeks to coordinate its purchase of demand reductions from a fixed group of residential electricity customers, with its sale of the aggregate demand reduction in a two-settlement wholesale energy market. The aggregator procures reductions in demand by offering its customers a uniform price for reductions in consumption relative to their predetermined baselines. Prior to its realization of the aggregate demand reduction, the aggregator must also determine how much energy to sell into the two-settlement energy market. In the day-ahead market, the aggregator commits to a forward contract, which calls for the delivery of energy in the real-time market. The underlying aggregate demand curve, which relates the aggregate demand reduction to the aggregator's offered price, is assumed to be affine and subject to unobservable, random shocks. Assuming that both the parameters of the demand curve and the distribution of the random shocks are initially unknown to the aggregator, we investigate the extent to which the aggregator might dynamically adapt its offered prices and forward contracts to maximize its expected profit over a time window of $T$ days. Specifically, we design a dynamic pricing and contract offering policy that resolves the aggregator's need to learn the unknown demand model with its desire to maximize its cumulative expected profit over time. In particular, the proposed pricing policy is proven to incur a regret over $T$ days that is no greater than $O(\log(T)\sqrt{T})$.


title: A Sequential Model for Classifying Temporal Relations between Intra-Sentence Events

abstract: We present a sequential model for temporal relation classification between intra-sentence events. The key observation is that the overall syntactic structure and compositional meanings of the multi-word context between events are important for distinguishing among fine-grained temporal relations. Specifically, our approach first extracts a sequence of context words that indicates the temporal relation between two events, which well align with the dependency path between two event mentions. The context word sequence, together with a parts-of-speech tag sequence and a dependency relation sequence that are generated corresponding to the word sequence, are then provided as input to bidirectional recurrent neural network (LSTM) models. The neural nets learn compositional syntactic and semantic representations of contexts surrounding the two events and predict the temporal relation between them. Evaluation of the proposed approach on TimeBank corpus shows that sequential modeling is capable of accurately recognizing temporal relations between events, which outperforms a neural net model using various discrete features as input that imitates previous feature based models.


title: Event Coreference Resolution by Iteratively Unfolding Inter-dependencies among Events

abstract: We introduce a novel iterative approach for event coreference resolution that gradually builds event clusters by exploiting inter-dependencies among event mentions within the same chain as well as across event chains. Among event mentions in the same chain, we distinguish within- and cross-document event coreference links by using two distinct pairwise classifiers, trained separately to capture differences in feature distributions of within- and cross-document event clusters. Our event coreference approach alternates between WD and CD clustering and combines arguments from both event clusters after every merge, continuing till no more merge can be made. And then it performs further merging between event chains that are both closely related to a set of other chains of events. Experiments on the ECB+ corpus show that our model outperforms state-of-the-art methods in joint task of WD and CD event coreference resolution.


title: Mathematical aspect of the combinatorial game "Mahjong"

abstract: We illustrate how one can use basic combinatorial theory and computer programming technique (Python) to analyze the combinatorial game: Mahjong. The results confirm some folklore concerning the game, and expose some unexpected results. Related results and possible future research in connection to artificial intelligence are mentioned. Readers interested in the subject may further develop the techniques to deepen the study of the game, or study other combinatorial games.


title: Globally Constructed Adaptive Local Basis Set for Spectral Projectors of Second Order Differential Operators

abstract: Spectral projectors of second order differential operators play an important role in quantum physics and other scientific and engineering applications. In order to resolve local features and to obtain converged results, typically the number of degrees of freedom needed is much larger than the rank of the spectral projector. This leads to significant cost in terms of both computation and storage. In this paper, we develop a method to construct a basis set that is adaptive to the given differential operator. The basis set is systematically improvable, and the local features of the projector is built into the basis set. As a result the required number of degrees of freedom is only a small constant times the rank of the projector. The construction of the basis set uses a randomized procedure, and only requires applying the differential operator to a small number of vectors on the global domain, while each basis function itself is supported on strictly local domains and is discontinuous across the global domain. The spectral projector on the global domain is systematically approximated from such a basis set using the discontinuous Galerkin (DG) method. The global construction procedure is very flexible, and allows a local basis set to be consistently constructed even if the operator contains a nonlocal potential term. We verify the effectiveness of the globally constructed adaptive local basis set using one-, two- and three-dimensional linear problems with local potentials, as well as a one dimensional nonlinear problem with nonlocal potentials resembling the Hartree-Fock problem in quantum physics.


title: Seshadri constants for curve classes

abstract: We develop a local positivity theory for movable curves on projective varieties similar to the classical Seshadri constants of nef divisors. We give analogues of the Seshadri ampleness criterion, of a characterization of the augmented base locus of a big and nef divisor, and of the interpretation of Seshadri constants as an asymptotic measure of jet separation. We also study the case of arbitrary codimension.


title: Larkin-Ovchinnikov state of superconducting Weyl metals: Fundamental differences between pairings restricted and extended in the $\it{\textbf{k}}$-space

abstract: Two common approaches of studying theoretically the property of a superconductor are shown to have significant differences, when they are applied to the Larkin-Ovchinnikov state of Weyl metals. In the first approach the pairing term is restricted by a cutoff energy to the neighborhood of the Fermi surface, whereas in the second approach the pairing term is extended to the whole Brillouin zone. We explore their difference by considering two minimal models for the Weyl metal. For a model giving a single pair of Weyl pockets, both two approaches give a partly-gapped (fully-gapped) bulk spectrum for small (large) pairing amplitude. However, for very small cutoff energy, a portion of the Fermi surface can be completely unaffected by the pairing term in the first approach. For the other model giving two pairs of Weyl pockets, while the bulk spectrum for the first approach can be fully gapped, the one from the second approach has a robust line node, and the surface states are also changed qualitatively by the pairing. We elucidate the above differences by topological arguments and analytical analyses. A factor common to both of the two models is the tilting of the Weyl cones which leads to asymmetric normal state band structure with respect to the Weyl nodes. For the Weyl metal with two pairs of Weyl pockets, the band folding leads to a double degeneracy in the effective model, which distinguishes the pairing of the second approach from all others.


title: Stability and instability in saddle point dynamics -- Part I

abstract: We consider the problem of convergence to a saddle point of a concave-convex function via gradient dynamics. Since first introduced by Arrow, Hurwicz and Uzawa in [1] such dynamics have been extensively used in diverse areas, there are, however, features that render their analysis non trivial. These include the lack of convergence guarantees when the function considered is not strictly concave-convex and also the non-smoothness of subgradient dynamics. Our aim in this two part paper is to provide an explicit characterization to the asymptotic behaviour of general gradient and subgradient dynamics applied to a general concave-convex function. We show that despite the nonlinearity and non-smoothness of these dynamics their $\omega$-limit set is comprised of trajectories that solve only explicit linear ODEs that are characterized within the paper. More precisely, in Part I an exact characterization is provided to the asymptotic behaviour of unconstrained gradient dynamics. We also show that when convergence to a saddle point is not guaranteed then the system behaviour can be problematic, with arbitrarily small noise leading to an unbounded variance. In Part II we consider a general class of subgradient dynamics that restrict trajectories in an arbitrary convex domain, and show that when an equilibrium point exists their limiting trajectories are solutions of subgradient dynamics on only affine subspaces. The latter is a smooth class of dynamics with an asymptotic behaviour exactly characterized in Part I, as solutions to explicit linear ODEs. These results are used to formulate corresponding convergence criteria and are demonstrated with several examples and applications presented in Part II.


title: Limit fluctuations for density of asymmetric simple exclusion processes with open boundaries

abstract: We investigate the fluctuations of cumulative density of particles in the asymmetric simple exclusion process with respect to the stationary distribution (also known as the steady state), as a stochastic process indexed by $[0,1]$. In three phases of the model and their boundaries within the fan region, we establish a complete picture of the scaling limits of the fluctuations of the density as the number of sites goes to infinity. In the maximal current phase, the limit fluctuation is the sum of two independent processes, a Brownian motion and a Brownian excursion. This extends an earlier result by Derrida et al. (2004) for totally asymmetric simple exclusion process in the same phase. In the low/high density phases, the limit fluctuations are Brownian motion. Most interestingly, at the boundary of the maximal current phase, the limit fluctuation is the sum of two independent processes, a Brownian motion and a Brownian meander (or a time-reversal of the latter, depending on the side of the boundary). Our proofs rely on a representation of the joint generating function of the asymmetric simple exclusion process with respect to the stationary distribution in terms of joint moments of a Markov processes, which is constructed from orthogonality measures of the Askey--Wilson polynomials.


title: Stability and instability in saddle point dynamics Part II: The subgradient method

abstract: In part I we considered the problem of convergence to a saddle point of a concave-convex function via gradient dynamics and an exact characterization was given to their asymptotic behaviour. In part II we consider a general class of subgradient dynamics that provide a restriction in an arbitrary convex domain. We show that despite the nonlinear and non-smooth character of these dynamics their $\omega$-limit set is comprised of solutions to only linear ODEs. In particular, we show that the latter are solutions to subgradient dynamics on affine subspaces which is a smooth class of dynamics the asymptotic properties of which have been exactly characterized in part I. Various convergence criteria are formulated using these results and several examples and applications are also discussed throughout the manuscript.


title: Optical conductivity of a two-dimensional metal near a quantum-critical point: the status of the "extended Drude formula"

abstract: The optical conductivity of a metal near a quantum critical point (QCP) is expected to depend on frequency not only via the scattering time but also via the effective mass, which acquires a singular frequency dependence near a QCP. We check this assertion by computing diagrammatically the optical conductivity, $\sigma' (\Omega)$, near both nematic and spin-density wave (SDW) quantum critical points (QCPs) in 2D. If renormalization of current vertices is not taken into account, $\sigma' (\Omega)$ is expressed via the quasiparticle residue $Z$ (equal to the ratio of bare and renormalized masses in our approximation) and transport scattering rate $\gamma_{\text{tr}}$ as $\sigma' (\Omega)\propto Z^2 \gamma_{\text{tr}}/\Omega^2$. For a nematic QCP ($\gamma_{\text{tr}}\propto\Omega^{4/3}$ and $Z\propto\Omega^{1/3}$), this formula suggests that $\sigma'(\Omega)$ would tend to a constant at $\Omega \to 0$. We explicitly demonstrate that the actual behavior of $\sigma' (\Omega)$ is different due to strong renormalization of the current vertices, which cancels out a factor of $Z^2$. As a result, $\sigma' (\Omega)$ diverges as $1/\Omega^{2/3}$, as earlier works conjectured. In the SDW case, we consider two contributions to the conductivity: from hot spots and from"lukewarm" regions of the Fermi surface. The hot-spot contribution is not affected by vertex renormalization, but it is subleading to the lukewarm one. For the latter, we argue that a factor of $Z^2$ is again cancelled by vertex corrections. As a result, $\sigma' (\Omega)$ at a SDW QCP scales as $1/\Omega$ down to the lowest frequencies.


title: Derived equivalences induced by good silting complexes

abstract: We study the equivalences induced by some special silting objects in the derived category over dg-algebra whose positive cohomologies are all zero.


title: Corrections to holographic entanglement plateau

abstract: We investigate the robustness of the Araki-Lieb inequality in a two-dimensional (2D) conformal field theory (CFT) on torus. The inequality requires that $\Delta S=S(L)-|S(L-\ell)-S(\ell)|$ is nonnegative, where $S(L)$ is the thermal entropy and $S(L-\ell)$, $S(\ell)$ are the entanglement entropies. Holographically there is an entanglement plateau in the BTZ black hole background, which means that there exists a critical length such that when $\ell \leq \ell_c$ the inequality saturates $\Delta S=0$. In thermal AdS background, the holographic entanglement entropy leads to $\Delta S=0$ for arbitrary $\ell$. We compute the next-to-leading order contributions to $\Delta S$ in the large central charge CFT at both high and low temperatures. In both cases we show that $\Delta S$ is strictly positive except for $\ell = 0$ or $\ell = L$. This turns out to be true for any 2D CFT. In calculating the single interval entanglement entropy in a thermal state, we develop new techniques to simplify the computation. At a high temperature, we ignore the finite size correction such that the problem is related to the entanglement entropy of double intervals on a complex plane. As a result, we show that the leading contribution from a primary module takes a universal form. At a low temperature, we show that the leading thermal correction to the entanglement entropy from a primary module does not take a universal form, depending on the details of the theory.


title: Correlations within the Non-Equilibrium Green's Function Method

abstract: Non-equilibrium Green's Function (NGF) method is a powerful tool for studying the evolution of quantum many-body systems. Different types of correlations can be systematically incorporated within the formalism. The time evolution of the single-particle Green's functions is described in terms of the Kadanoff-Baym equations. The current work initially focuses on introducing the correlations within infinite nuclear matter in one dimension and then in a finite system in the NGF approach. Starting from the harmonic oscillator Hamiltonian, by switching on adiabatically the mean-field and correlations simultaneously, a correlated state with ground-state characteristics is arrived at within the NGF method. Furthermore the use of cooling to for improving the adiabatic switching is explored.


title: General relativistic radiation magnetohydrodynamics simulations of supercritical accretion onto magnetized neutron star; -modeling of ultra luminous x-ray pulsars

abstract: By performing 2.5-dimensional general relativistic radiation magnetohydrodynamic simulations, we demonstrate supercritical accretion onto a non-rotating, magnetized neutron star, where the magnetic field strength of dipole fields is $10^{10}$ G on the star surface. We found the supercritical accretion flow consists of two parts; the accretion columns and the truncated accretion disk. The supercritical accretion disk, which appears far from the neutron star, is truncated at around $\sim 3R_*$ ($R_*=10^6$ cm is the neutron star radius), where the magnetic pressure via the dipole magnetic fields balances with the radiation pressure of the disks. The angular momentum of the disk around the truncation radius is effectively transported inward through magnetic torque by dipole fields, inducing the spin up of a neutron star. The evaluated spin up rate, $\sim -10^{-11}$ s s$^{-1}$, is consistent with the recent observations of the ultra luminous X-ray pulsars. Within the truncation radius, the gas falls onto neutron star along dipole fields, which results in a formation of accretion columns onto north and south hemispheres. The net accretion rate and the luminosity of the column are $\sim 66L_{\rm Edd}/c^2$ and $\lesssim 10L_{\rm Edd}$, where $L_{\rm Edd}$ is the Eddington luminosity and c is the light speed. Our simulations support a hypothesis whereby the ultra luminous X-ray pulsars are powered by the supercritical accretion onto the magnetized neutron stars.


title: Rational deformations of conformal mechanics

abstract: We study deformations of the quantum conformal mechanics of De Alfaro-Fubini-Furlan with rational additional potential term generated by applying the generalized Darboux-Crum-Krein-Adler transformations to the quantum harmonic oscillator and by using the method of dual schemes and mirror diagrams. In this way we obtain infinite families of isospectral and non-isospectral deformations of the conformal mechanics model with special values of the coupling constant $g=m(m+1)$, $m\in {\mathbb N}$, in the inverse square potential term, and for each completely isospectral or gapped deformation given by a mirror diagram, we identify the sets of the spectrum-generating ladder operators which encode and coherently reflect its fine spectral structure. Each pair of these operators generates a nonlinear deformation of the conformal symmetry, and their complete sets pave the way for investigation of the associated superconformal symmetry deformations.


title: Overcoming the acoustic diffraction limit in photoacoustic imaging by localization of flowing absorbers

abstract: The resolution of photoacoustic imaging deep inside scattering media is limited by the acoustic diffraction limit. In this work, taking inspiration from super-resolution imaging techniques developed to beat the optical diffraction limit, we demonstrate that the localization of individual optical absorbers can provide super-resolution photoacoustic imaging well beyond the acoustic diffraction limit. As a proof-of-principle experiment, photoacoustic cross-sectional images of microfluidic channels were obtained with a 15 MHz linear CMUT array while absorbing beads were flown through the channels. The localization of individual absorbers allowed to obtain super-resolved cross-sectional image of the channels, by reconstructing both the channel width and position with an accuracy better than $\lambda/10$. Given the discrete nature of endogenous absorbers such as red blood cells, or that of exogenous particular contrast agents, localization is a promising approach to push the current resolution limits of photoacoustic imaging.


title: {\L}S condition for filled Julia sets in $\mathbb{C}$

abstract: In this article, we derive an inequality of {\L}ojasiewicz-Siciak type for certain sets arising in the context of the complex dynamics in dimension 1. More precisely, if we denote by $dist$ the euclidian distance in $\mathbb{C}$, we show that the Green function $G_K$ of the filled Julia set $K$ of a polynomial such that $\mathring{K}\neq \emptyset$ satisfies the so-called {\L}S condition $\displaystyle G_A\geq c\cdot dist(\cdot, K)^{c'}$ in a neighborhood of $K$, for some constants $c,c'>0$. Relatively few examples of compact sets satisfying the {\L}S condition are known. Our result highlights an interesting class of compact sets fulfilling this condition. The fact that filled Julia sets satisfy the {\L}S condition may seem surprising, since they are in general very irregular. In order to prove our main result, we define and study the set of obstruction points to the {\L}S condition. We also prove, in dimension $n\geq 1$, that for a polynomially convex and L-regular compact set of non empty interior, these obstruction points are rare, in a sense which will be specified.


title: Compact Model Representation for 3D Reconstruction

abstract: 3D reconstruction from 2D images is a central problem in computer vision. Recent works have been focusing on reconstruction directly from a single image. It is well known however that only one image cannot provide enough information for such a reconstruction. A prior knowledge that has been entertained are 3D CAD models due to its online ubiquity. A fundamental question is how to compactly represent millions of CAD models while allowing generalization to new unseen objects with fine-scaled geometry. We introduce an approach to compactly represent a 3D mesh. Our method first selects a 3D model from a graph structure by using a novel free-form deformation FFD 3D-2D registration, and then the selected 3D model is refined to best fit the image silhouette. We perform a comprehensive quantitative and qualitative analysis that demonstrates impressive dense and realistic 3D reconstruction from single images.


title: Sudakov suppression of jets in QCD media

abstract: We compute modifications to the jet spectrum in the presence of a dense medium. We show that in the large-$N_c$ approximation and at leading logarithmic accuracy the jet nuclear modification factor factorizes into a quenching factor associated to the total jet color charge and a Sudakov suppression factor which accounts for the energy loss of jet substructure fluctuations. This factor, called the jet collimator, implements the fact that subjets, that are not resolved by the medium, lose energy coherently as a single color charge, whereas resolved large angle fluctuations suffer more quenching. For comparison, we show that neglecting color coherence results in a stronger suppression of the jet nuclear modification factor.


title: Detecting Topological Changes in Dynamic Community Networks

abstract: The study of time-varying (dynamic) networks (graphs) is of fundamental importance for computer network analytics. Several methods have been proposed to detect the effect of significant structural changes in a time series of graphs. The main contribution of this work is a detailed analysis of a dynamic community graph model. This model is formed by adding new vertices, and randomly attaching them to the existing nodes. It is a dynamic extension of the well-known stochastic blockmodel. The goal of the work is to detect the time at which the graph dynamics switches from a normal evolution -- where balanced communities grow at the same rate -- to an abnormal behavior -- where communities start merging. In order to circumvent the problem of decomposing each graph into communities, we use a metric to quantify changes in the graph topology as a function of time. The detection of anomalies becomes one of testing the hypothesis that the graph is undergoing a significant structural change. In addition the the theoretical analysis of the test statistic, we perform Monte Carlo simulations of our dynamic graph model to demonstrate that our test can detect changes in graph topology.


title: Removable sets for intrinsic metric and for holomorphic functions

abstract: We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other classes of "thin" sets that appeared in the literature. They are also related to the removability problems for classes of holomorphic functions with restrictions on the derivative.


title: Clockwork seesaw mechanisms

abstract: We propose new mechanisms for small neutrino masses based on clockwork mechanism. The Standard Model neutrinos and lepton number violating operators communicate through the zero mode of clockwork gears, one of the two couplings of the zero mode is exponentially suppressed by clockwork mechanism. Including all known examples for the clockwork realization of the neutrino masses, different types of models are realized depending on the profile and chirality of the zero mode fermion. Each type of realization would have phenomenologically distinctive features with the accompanying heavy neutrinos.


title: Massey products in cohomology of moment-angle manifolds corresponding to Pogorelov polytopes

abstract: In this work we construct nontrivial Massey products in the cohomology of moment-angle manifolds corresponding to polytopes from the Pogorelov class. This class includes the dodecahedron and all fullerenes, i. e. simple 3-polytopes with only 5-gonal and 6-gonal facets. The existence of a nontrivial Massey product implies the nonformality of the space in the sense of rational homotopy theory.


title: Maximality of Galois actions for abelian and hyperkahler varieties

abstract: Let $\{\rho_\ell\}_\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Let $\Gamma_\ell$ and $\mathbf{G}_\ell$ be respectively the image and the algebraic monodromy group of $\rho_\ell$. We prove that the reductive quotient of $\mathbf{G}_\ell^\circ$ is unramified over every degree 12 totally ramified extension of $\mathbb{Q}_\ell$ for all sufficiently large $\ell$. We give a necessary and sufficient condition $(\ast)$ on $\{\rho_\ell\}_\ell$ such that for all sufficiently large $\ell$, the subgroup $\Gamma_\ell$ is in some sense maximal compact in $\mathbf{G}_\ell(\mathbb{Q}_\ell)$. This is used to deduce Galois maximality results for $\ell$-adic representations arising from abelian varieties (for all $i$) and hyperk\"ahler varieties ($i=2$) defined over finitely generated fields over $\mathbb{Q}$.


title: Tensor FEM for spectral fractional diffusion

abstract: We design and analyze several Finite Element Methods (FEMs) applied to the Caffarelli-Silvestre extension that localizes the fractional powers of symmetric, coercive, linear elliptic operators in bounded domains with Dirichlet boundary conditions. We consider open, bounded, polytopal but not necessarily convex domains $\Omega \subset \mathbb{R}^d$ with $d=1,2$. For the solution to the extension problem, we establish analytic regularity with respect to the extended variable $y\in (0,\infty)$. We prove that the solution belongs to countably normed, power-exponentially weighted Bochner spaces of analytic functions with respect to $y$, taking values in corner-weighted Kondat'ev type Sobolev spaces in $\Omega$. In $\Omega\subset \mathbb{R}^d$, we discretize with continuous, piecewise linear, Lagrangian FEM ($P_1$-FEM) with mesh refinement near corners, and prove that first order convergence rate is attained for compatible data $f\in \mathbb{H}^{1-s}(\Omega)$. We also prove that tensorization of a $P_1$-FEM in $\Omega$ with a suitable $hp$-FEM in the extended variable achieves log-linear complexity with respect to $\mathcal{N}_\Omega$, the number of degrees of freedom in the domain $\Omega$. In addition, we propose a novel, sparse tensor product FEM based on a multilevel $P_1$-FEM in $\Omega$ and on a $P_1$-FEM on radical-geometric meshes in the extended variable. We prove that this approach also achieves log-linear complexity with respect to $\mathcal{N}_\Omega$. Finally, under the stronger assumption that the data is analytic in $\overline{\Omega}$, and without compatibility at $\partial \Omega$, we establish exponential rates of convergence of $hp$-FEM for spectral, fractional diffusion operators. We also report numerical experiments for model problems which confirm the theoretical results. We indicate several extensions and generalizations of the proposed methods.


title: Common Denominator for Value and Expectation No-Go Theorems

abstract: Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That literature gives one an impression that expectation no-go theorems subsume the time-honored no-go theorems asserting that HV theories cannot predict the possible values of measurements. But the two approaches speak about different kinds of measurement. This hinders comparing them to each other. Only projection measurements are common to both. Here, we sharpen the results of both approaches so that only projection measurements are used. This allows us to clarify the similarities and differences between the two approaches. Neither one dominates the other.


title: Acoustic streaming and its suppression in inhomogeneous fluids

abstract: We present a theoretical and experimental study of boundary-driven acoustic streaming in an inhomogeneous fluid with variations in density and compressibility. In a homogeneous fluid this streaming results from dissipation in the boundary layers (Rayleigh streaming). We show that in an inhomogeneous fluid, an additional non-dissipative force density acts on the fluid to stabilize particular inhomogeneity configurations, which markedly alters and even suppresses the streaming flows. Our theoretical and numerical analysis of the phenomenon is supported by ultrasound experiments performed with inhomogeneous aqueous iodixanol solutions in a glass-silicon microchip.


title: Exact expression of the energy gap at first-order quantum phase transitions of a non-stoquastic Hamiltonian

abstract: We study the energy gap between the ground state and the first excited state of a mean-field-type non-stoquastic Hamiltonian by a semi-classical analysis. The fully connected mean-field model with $p$-body ferromagnetic interactions under a transverse field has a first-order quantum phase transition for $p\ge 3$. This first-order transition is known to be reduced to second order for $p\ge 5$ by an introduction of antiferromagnetic transverse interactions, which makes the Hamiltonian non-stoquastic. This reduction of the order of transition means an exponential speedup of quantum annealing by adiabatic processes because the first-order transition is shown to have an exponentially small energy gap whereas the second order case does not. We apply a semi-classical method to analytically derive the explicit expression of the rate of the exponential decay of the energy gap at first-order transitions. The result reveals how the property of first-order transition changes as a function of the system parameters. We also derive the exact closed-form expression for the critical point where the first-order transition line disappears within the ferromagnetic phase. These results help us understand how the antiferromagnetic transverse interactions affect the performance of quantum annealing by controlling the effects of non-stoquasticity in the Hamiltonian.


title: Integration of Information Patterns in the Modeling and Design of Mobility Management Services

abstract: Over the last decade, the rise of the mobile internet and the usage of mobile devices has enabled ubiquitous traffic information. With the increased adoption of specific smartphone applications, the number of users of routing applications has become large enough to disrupt traffic flow patterns in a significant manner. Similarly, but at a slightly slower pace, novel services for freight transportation and city logistics improve the efficiency of goods transportation and change the use of road infrastructure. The present article provides a general four-layer framework for modeling these new trends. The main motivation behind the development is to provide a unifying formal system description that can at the same time encompass system physics (flow and motion of vehicles) as well as coordination strategies under various information and cooperation structures. To showcase the framework, we apply it to the specific challenge of modeling and analyzing the integration of routing applications in today's transportation systems. In this framework, at the lowest layer (flow dynamics) we distinguish app users from non-app users. A distributed parameter model based on a non-local partial differential equation is introduced and analyzed. The second layer incorporates connected services (e.g., routing) and other applications used to optimize the local performance of the system. As inputs to those applications, we propose a third layer introducing the incentive design and global objectives, which are typically varying over the day depending on road and weather conditions, external events etc. The high-level planning is handled on the fourth layer taking social long-term objectives into account.


title: Lyapunov Stability Analysis for Invariant States of Quantum Systems

abstract: In this article, we propose a Lyapunov stability approach to analyze the convergence of the density operator of a quantum system. In contrast to many previously studied convergence analysis methods for invariant density operators which use weak convergence, in this article we analyze the convergence of density operators by considering the set of density operators as a subset of Banach space. We show that the set of invariant density operators is both closed and convex, which implies the impossibility of having multiple isolated invariant density operators. We then show how to analyze the stability of this set via a candidate Lyapunov operator.


title: Mode-Coupling Theory for Active Brownian Particles

abstract: We present a mode-coupling theory (MCT) for the high-density dynamics of two-dimensional spherical active Brownian particles (ABP). The theory is based on the integration-through-transients (ITT) formalism and hence provides a starting point for the calculation of non-equilibrium averages in active-Brownian particle systems. The ABP are characterized by a self-propulsion velocity $v_0$, and by their translational and rotational diffusion coefficients, $D_t$ and $D_r$. The theory treats both the translational and the orientational degrees of freedom of ABP explicitly. This allows to study the effect of self-propulsion of both weak and strong persistence of the swimming direction, also at high densities where the persistence length $\ell_p=v_0/D_r$ is large compared to the typical interaction length scale. While the low-density dynamics of ABP is characterized by a single P\'eclet number, $Pe=v_0^2/D_rD_t$, close to the glass transition the dynamics is found to depend on $Pe$ and $\ell_p$ separately. At fixed density, increasing the self-propulsion velocity causes structural relaxatino to speed up, while decreasing the persistence length slows down the relaxation. The theory predicts a non-trivial idealized-glass-transition diagram in the three-dimensional parameter space of density, self-propulsion velocity and rotational diffusivity. The active-MCT glass is a nonergodic state where correlations of initial density fluctuations never fully decay, but also an infinite memory of initial orientational fluctuations is retained in the positions.


title: On the torsion in the center conjecture

abstract: We present a condition for towers of fiber bundles which implies that the fundamental group of the total space has a nilpotent subgroup of finite index whose torsion is contained in its center. Moreover, the index of the subgroup can be bounded in terms of the fibers of the tower. Our result is motivated by the conjecture that every almost nonnegatively curved closed m-dimensional manifold M admits a finite cover M' for which the number of leafs is bounded in terms of m such that the torsion of the fundamental group of M' lies in its center.


title: Preconditioned wire array Z-pinches driven by a double pulse current generator

abstract: Suppressing of the core-corona structures shows a strong potential as a new breakthrough in the X-ray power production of the wire array Z-pinches. In this letter, the demonstration of suppressing the core-corona structures and its ablation using a novel double pulse current generator "Qin-1" facility is presented. The "Qin-1" facility coupled a ~10 kA 20 ns prepulse generator to a ~ 1 MA 170 ns main current generator. Driven by the prepulse current, the two aluminum wire array were mostly heated to gaseous state rather than the core-corona structures, and the implosion of the aluminum vapors driven by the main current showed no ablation, and no trailing mass. The seeds for the MRT instability formed from the inhomogeneous ablation were suppressed, however, the magneto Rayleigh-Taylor instability during the implosion was still significant and further researches on the generation and development of the magneto Rayleigh-Taylor instabilities of this gasified wire array are needed.


title: Differentiability and H\"older spectra of a class of self-affine functions

abstract: This paper studies a large class of continuous functions $f:[0,1]\to\mathbb{R}^d$ whose range is the attractor of an iterated function system $\{S_1,\dots,S_{m}\}$ consisting of similitudes. This class includes such classical examples as P\'olya's space-filling curves, the Riesz-Nagy singular functions and Okamoto's functions. The differentiability of $f$ is completely classified in terms of the contraction ratios of the maps $S_1,\dots,S_{m}$. Generalizing results of Lax (1973) and Okamoto (2006), it is shown that either (i) $f$ is nowhere differentiable; (ii) $f$ is non-differentiable almost everywhere but with uncountably many exceptions; or (iii) $f$ is differentiable almost everywhere but with uncountably many exceptions. The Hausdorff dimension of the exceptional sets in cases (ii) and (iii) above is calculated, and more generally, the complete multifractal spectrum of $f$ is determined.


title: Tracially sequentially-split ${}^*$-homomorphisms between $C^*$-algebras

abstract: We define a tracial analogue of the sequentially split $*$-homomorphism between $C^*$-algebras of Barlak and Szab\'{o} and show that several important approximation properties related to the classification theory of $C^*$-algebras pass from the target algebra to the domain algebra. Then we show that the tracial Rokhlin property of the finite group $G$ action on a $C^*$-algebra $A$ gives rise to a tracial version of sequentially split $*$-homomorphism from $A\rtimes_{\alpha}G$ to $M_{|G|}(A)$ and the tracial Rokhlin property of an inclusion $C^*$-algebras $A\subset P$ with a conditional expectation $E:A \to P$ of a finite Watatani index generates a tracial version of sequentially split map. By doing so, we provide a unified approach to permanence properties related to tracial Rokhlin property of operator algebras.


title: A Cantilevered Extensible Beam in Axial Flow: Semigroup Well-posedness and Post-flutter Regimes

abstract: We consider a cantilevered (clamped-free) beam in an axial potential flow. Certain flow velocities may bring about a bounded-response instability in the structure, termed {\em flutter}. As a preliminary analysis, we employ the theory of {\em large deflections} and utilize a piston-theoretic approximation of the flow for appropriate parameters, yielding a nonlinear (Berger/Woinowsky-Krieger) beam equation with a non-dissipative RHS. As we obtain this structural model via a simplification, we arrive at a nonstandard nonlinear boundary condition that necessitates careful well-posedness analysis. We account for rotational inertia effects in the beam and discuss technical issues that necessitate this feature. We demonstrate nonlinear semigroup well-posedness of the model with the rotational inertia terms. For the case with no rotational inertia, we utilize a Galerkin approach to establish existence of weak, possibly non-unique, solutions. For the former, inertial model, we prove that the associated non-gradient dynamical system has a compact global attractor. Finally, we study stability regimes and {\em post-flutter} dynamics (non-stationary end behaviors) using numerical methods for models with, and without, the rotational inertia terms.


title: A Discrete Choice Framework for Modeling and Forecasting The Adoption and Diffusion of New Transportation Services

abstract: Current travel demand models are unable to predict long-range trends in travel behavior as they do not entail a mechanism that projects membership and market share of new modes of transport (Uber, Lyft, etc). We propose integrating discrete choice and technology adoption models to address the aforementioned issue. In order to do so, we build on the formulation of discrete mixture models and specifically Latent Class Choice Models (LCCMs), which were integrated with a network effect model. The network effect model quantifies the impact of the spatial/network effect of the new technology on the utility of adoption. We adopted a confirmatory approach to estimating our dynamic LCCM based on findings from the technology diffusion literature that focus on defining two distinct types of adopters: innovator/early adopters and imitators. LCCMs allow for heterogeneity in the utility of adoption for the various market segments i.e. innovators/early adopters, imitators and non-adopters. We make use of revealed preference (RP) time series data from a one-way carsharing system in a major city in the United States to estimate model parameters. The data entails a complete set of member enrollment for the carsharing service for a time period of 2.5 years after being launched. Consistent with the technology diffusion literature, our model identifies three latent classes whose utility of adoption have a well-defined set of preferences that are significant and behaviorally consistent. The technology adoption model predicts the probability that a certain individual will adopt the service at a certain time period, and is explained by social influences, network effect, socio-demographics and level-of-service attributes. Finally, the model was calibrated and then used to forecast adoption of the carsharing system for potential investment strategy scenarios.


title: Speeding up finite-time consensus via minimal polynomial of a weighted graph - a numerical approach

abstract: Reaching consensus among states of a multi-agent system is a key requirement for many distributed control/optimization problems. Such a consensus is often achieved using the standard Laplacian matrix (for continuous system) or Perron matrix (for discrete-time system). Recent interest in speeding up consensus sees the development of finite-time consensus algorithms. This work proposes an approach to speed up finite-time consensus algorithm using the weights of a weighted Laplacian matrix. The approach is an iterative procedure that finds a low-order minimal polynomial that is consistent with the topology of the underlying graph. In general, the lowest-order minimal polynomial achievable for a network system is an open research problem. This work proposes a numerical approach that searches for the lowest order minimal polynomial via a rank minimization problem using a two-step approach: the first being an optimization problem involving the nuclear norm and the second a correction step. Several examples are provided to illustrate the effectiveness of the approach.


title: Group-wise Deep Co-saliency Detection

abstract: In this paper, we propose an end-to-end group-wise deep co-saliency detection approach to address the co-salient object discovery problem based on the fully convolutional network (FCN) with group input and group output. The proposed approach captures the group-wise interaction information for group images by learning a semantics-aware image representation based on a convolutional neural network, which adaptively learns the group-wise features for co-saliency detection. Furthermore, the proposed approach discovers the collaborative and interactive relationships between group-wise feature representation and single-image individual feature representation, and model this in a collaborative learning framework. Finally, we set up a unified end-to-end deep learning scheme to jointly optimize the process of group-wise feature representation learning and the collaborative learning, leading to more reliable and robust co-saliency detection results. Experimental results demonstrate the effectiveness of our approach in comparison with the state-of-the-art approaches.


title: Star Formation of Merging Disk Galaxies with AGN Feedback Effects

abstract: Using numerical hydrodynamics code, we perform various idealized galaxy merger simulations to study the star formation (SF) of two merging disk galaxies. Our simulations include gas accretion onto supermassive black holes and active galactic nucleus (AGN) feedback. By comparing AGN simulations with those without AGNs, we attempt to understand when the AGN feedback effect is significant. With ~70 simulations, we investigated the SF with the AGN effect in mergers with variety of mass ratios, inclinations, orbits, galaxy structures and morphologies. Using these merger simulations with AGN feedback, we measure merger-driven SF using the burst efficiency parameter introduced by Cox et al. We confirm the previous studies that, in galaxy mergers, AGN suppresses SF more efficiently than in isolated galaxies. However, we additionally find that the effect of AGNs on SF is larger in major mergers than in minor mergers. In minor merger simulations with different primary bulge-to-total ratios, the effect of bulge fraction on the merger-driven SF decreases due to AGN feedback. We create models of Sa, Sb and Sc type galaxies and compare their SF properties while undergoing mergers. With the current AGN prescriptions, the difference in merger-driven SF is not as pronounced as that in the recent observational study of Kaviraj. We discuss the implications of this discrepancy.


title: Continuous-Time Gaussian Process Motion Planning via Probabilistic Inference

abstract: We introduce a novel formulation of motion planning, for continuous-time trajectories, as probabilistic inference. We first show how smooth continuous-time trajectories can be represented by a small number of states using sparse Gaussian process (GP) models. We next develop an efficient gradient-based optimization algorithm that exploits this sparsity and GP interpolation. We call this algorithm the Gaussian Process Motion Planner (GPMP). We then detail how motion planning problems can be formulated as probabilistic inference on a factor graph. This forms the basis for GPMP2, a very efficient algorithm that combines GP representations of trajectories with fast, structure-exploiting inference via numerical optimization. Finally, we extend GPMP2 to an incremental algorithm, iGPMP2, that can efficiently replan when conditions change. We benchmark our algorithms against several sampling-based and trajectory optimization-based motion planning algorithms on planning problems in multiple environments. Our evaluation reveals that GPMP2 is several times faster than previous algorithms while retaining robustness. We also benchmark iGPMP2 on replanning problems, and show that it can find successful solutions in a fraction of the time required by GPMP2 to replan from scratch.


title: A locking-free optimal control problem with $L^1$ cost for optimal placement of control devices in Timoshenko beam

abstract: The numerical approximation of an optimal control problem with $L^1$-control of a Timoshenko beam is considered and analyzed by using the finite element method. From the practical point of view, inclusion of the $L^1$--norm in the cost functional is interesting in the case of beam vibration model, since the sparsity enforced by the $L^1$--norm is very useful for localizing actuators or control devices. The discretization of the control variables is performed by using piecewise constant functions. The states and the adjoint states are approximated by a \emph{locking free scheme} of linear finite elements. Analogously to the purely $L^2$--norm penalized optimal control, it is proved that this approximation have optimal convergence order, which do not depend on the thickness of the beam.


title: End-to-End Navigation in Unknown Environments using Neural Networks

abstract: We investigate how a neural network can learn perception actions loops for navigation in unknown environments. Specifically, we consider how to learn to navigate in environments populated with cul-de-sacs that represent convex local minima that the robot could fall into instead of finding a set of feasible actions that take it to the goal. Traditional methods rely on maintaining a global map to solve the problem of over coming a long cul-de-sac. However, due to errors induced from local and global drift, it is highly challenging to maintain such a map for long periods of time. One way to mitigate this problem is by using learning techniques that do not rely on hand engineered map representations and instead output appropriate control policies directly from their sensory input. We first demonstrate that such a problem cannot be solved directly by deep reinforcement learning due to the sparse reward structure of the environment. Further, we demonstrate that deep supervised learning also cannot be used directly to solve this problem. We then investigate network models that offer a combination of reinforcement learning and supervised learning and highlight the significance of adding fully differentiable memory units to such networks. We evaluate our networks on their ability to generalize to new environments and show that adding memory to such networks offers huge jumps in performance


title: Energy Conditions in Modified $f(G)$ Gravity

abstract: In this paper, we have considered flat Friedmann-Lema\^{i}tre-Robertson-Walker metric in the framework of perfect fluid models and modified $f(G)$ gravity (where $G$ is the Gauss Bonnet invariant). Particularly, we have considered particular realistic $f(G)$ configurations that could be used to cure finite-time future singularities arising in the late-time cosmic accelerating epochs. We have then developed the viability bounds of these models induced by weak and null energy conditions, by using the recent estimated numerical figures of the deceleration, Hubble, snap and jerk parameters.


title: Merging of a CO WD and a He-rich white dwarf to produce a type Ia supernovae

abstract: Context: Although type Ia supernovae (SNe Ia) play a key role in astrophysics, the companions of the exploding carbon-oxygen white dwarfs (CO WDs) are still not completely identified. It has been suggested recently that a He-rich WD (a He WD or a hybrid HeCO WD) merges with a CO WD may produce an SN Ia. This theory was based on the double-detonation model, in which the shock compression in the CO core caused by the surface explosion of the He-rich shell might lead to the explosion of the whole CO WD. However, so far, very few binary population synthesis (BPS) studies have been made on the merger scenario of a CO WD and a He-rich WD in the context of SNe Ia. Aims: We aim to systematically study the Galactic birthrates and delay-time distributions of SNe Ia based on the merger scenario of a CO WD and a He-rich WD. Methods: We performed a series of Monte Carlo BPS simulations to investigate the properties of SNe Ia from the merging of a CO WD and a He-rich WD based on the Hurley rapid binary evolution code. We also considered the influence of different metallicities on the final results. Results: From our simulations, we found that no more than 15% of all SNe Ia stem from the merger scenario of a CO WD and a He-rich WD, and their delay times range from ~110 Myr to the Hubble time. This scenario mainly contributes to SN Ia explosions with intermediate and long delay times. The present work indicates that the merger scenario of a CO WD and a He-rich WD can roughly reproduce the birthrates of SN 1991bg-like events, and cover the range of their delay times. We also found that SN Ia birthrates from this scenario would be higher for the cases with low metallicities.


title: Semantic 3D Occupancy Mapping through Efficient High Order CRFs

abstract: Semantic 3D mapping can be used for many applications such as robot navigation and virtual interaction. In recent years, there has been great progress in semantic segmentation and geometric 3D mapping. However, it is still challenging to combine these two tasks for accurate and large-scale semantic mapping from images. In the paper, we propose an incremental and (near) real-time semantic mapping system. A 3D scrolling occupancy grid map is built to represent the world, which is memory and computationally efficient and bounded for large scale environments. We utilize the CNN segmentation as prior prediction and further optimize 3D grid labels through a novel CRF model. Superpixels are utilized to enforce smoothness and form robust P N high order potential. An efficient mean field inference is developed for the graph optimization. We evaluate our system on the KITTI dataset and improve the segmentation accuracy by 10% over existing systems.


title: Controlled Alternate Quantum Walks based Quantum Hash Function

abstract: Through introducing controlled alternative quantum walks, we present controlled alternate quantum walks (CAQW) based quantum hash function. CAQW based quantum hash function have excellent security, outstanding statistical performance and splendid expansibility. Furthermore, due to the structure of alternative quantum walks, implementing CAQW based quantum hash function significantly reduces the resources necessary for its feasible experimental realization than implementing other quantum hash functions. Besides, CAQW based quantum hash function has expansibility.


title: New nilpotent ${\cal N}= 2$ superfields

abstract: We propose new off-shell models for spontaneously broken local ${\cal N}=2$ supersymmetry, in which the supergravity multiplet couples to nilpotent Goldstino superfields that contain either a gauge one-form or a gauge two-form in addition to spin-1/2 Goldstone fermions and auxiliary fields. In the case of ${\cal N}=2$ Poincar\'e supersymmetry, we elaborate on the concept of twisted chiral superfields and present a nilpotent ${\cal N}=2$ superfield that underlies the cubic nilpotency conditions given in arXiv:1707.03414 in terms of constrained ${\cal N}=1$ superfields.


title: Contrastive-center loss for deep neural networks

abstract: The deep convolutional neural network(CNN) has significantly raised the performance of image classification and face recognition. Softmax is usually used as supervision, but it only penalizes the classification loss. In this paper, we propose a novel auxiliary supervision signal called contrastivecenter loss, which can further enhance the discriminative power of the features, for it learns a class center for each class. The proposed contrastive-center loss simultaneously considers intra-class compactness and inter-class separability, by penalizing the contrastive values between: (1)the distances of training samples to their corresponding class centers, and (2)the sum of the distances of training samples to their non-corresponding class centers. Experiments on different datasets demonstrate the effectiveness of contrastive-center loss.


title: Optically induced Lifshitz transition in bilayer graphene

abstract: It is shown theoretically that the renormalization of the electron energy spectrum of bilayer graphene with a strong high-frequency electromagnetic field (dressing field) results in the Lifshitz transition - the abrupt change in the topology of the Fermi surface near the band edge. This effect substantially depends on the polarization of the field: The linearly polarized dressing field induces the Lifshitz transition from the quadruply-connected Fermi surface to the doubly-connected one, whereas the circularly polarized field induces the multicritical point, where the four different Fermi topologies may coexist. As a consequence, the discussed phenomenon creates physical basis to control the electronic properties of bilayer graphene with light.


title: Deformed Jarzynski Equality

abstract: The well-known Jarzynski equality, often written in the form $e^{-\beta\Delta F}=\langle e^{-\beta W}\rangle$, provides a non-equilibrium means to measure the free energy difference $\Delta F$ of a system at the same inverse temperature $\beta$ based on an ensemble average of non-equilibrium work $W$. The accuracy of Jarzynski's measurement scheme was known to be determined by the variance of exponential work, denoted as ${\rm var}\left(e^{-\beta W}\right)$. However, it was recently found that ${\rm var}\left(e^{-\beta W}\right)$ can systematically diverge in both classical and quantum cases. Such divergence will necessarily pose a challenge in the applications of Jarzynski equality because it may dramatically reduce the efficiency in determining $\Delta F$. In this work, we present a deformed Jarzynski equality for both classical and quantum non-equilibrium statistics, in efforts to reuse experimental data that already suffers from a diverging ${\rm var}\left(e^{-\beta W}\right)$. The main feature of our deformed Jarzynski equality is that it connects free energies at different temperatures and it may still work efficiently subject to a diverging ${\rm var}\left(e^{-\beta W}\right)$. The conditions for applying our deformed Jarzynski equality may be met in experimental and computational situations. If so, then there is no need to redesign experimental or simulation methods. Furthermore, using the deformed Jarzynski equality, we exemplify the distinct behaviors of classical and quantum work fluctuations for the case of a time-dependent driven harmonic oscillator dynamics and provide insights into the essential performance differences between classical and quantum Jarzynski equalities.


title: Wavelet Convolutional Neural Networks for Texture Classification

abstract: Texture classification is an important and challenging problem in many image processing applications. While convolutional neural networks (CNNs) achieved significant successes for image classification, texture classification remains a difficult problem since textures usually do not contain enough information regarding the shape of object. In image processing, texture classification has been traditionally studied well with spectral analyses which exploit repeated structures in many textures. Since CNNs process images as-is in the spatial domain whereas spectral analyses process images in the frequency domain, these models have different characteristics in terms of performance. We propose a novel CNN architecture, wavelet CNNs, which integrates a spectral analysis into CNNs. Our insight is that the pooling layer and the convolution layer can be viewed as a limited form of a spectral analysis. Based on this insight, we generalize both layers to perform a spectral analysis with wavelet transform. Wavelet CNNs allow us to utilize spectral information which is lost in conventional CNNs but useful in texture classification. The experiments demonstrate that our model achieves better accuracy in texture classification than existing models. We also show that our model has significantly fewer parameters than CNNs, making our model easier to train with less memory.


title: On the fundamental definition of critical current in superconductors

abstract: Transport critical current, Ic, is usually defined in terms of a threshold electric field criterion, Ec, with the convention Ec = 1 microVolt/cm, chosen somewhat arbitrarily to provide "reasonably small" electric power dissipation in practical devices. Thus Ic is not fundamentally determined. However, recently it was shown, that the self-field critical current of thin-film superconductors is indeed a fundamental property governed only by the London penetration depth. Here we reconsider the definition of critical current and resolve the apparent contradiction. We measure the field distribution across the width of 2G high-Tc superconducting tapes as the transport current is increased to Ic. We identify a threshold current, Ic_surfB, at which two physical events occur simultaneously: (i) an abrupt crossover from non-linear to linear dependence of the local surface magnetic flux density, Bsurf, as a function of transport current measured at any point on the superconductor surface. This effect was not reported previously. (ii) the appearance of a non-zero electric field, just above of the sensitivity of measuring system. In the present examples Ic_surfB is 10-15% lower than Ic_E determined by the Ec criterion. We propose the transition of Bsurf(I) from non-linear to linear as the most reliable and more fundamental technique for measuring transport critical currents.


title: Surfaces with light-like points in Lorentz-Minkowski 3-space with applications

abstract: With several concrete examples of zero mean curvature surfaces in $\boldsymbol{R}^3_1$ containing a light-like line recently having been found, here we construct all real analytic germs of zero mean curvature surfaces by applying the Cauchy-Kovalevski theorem for partial differential equations. A point where the first fundamental form of a surface degenerates is said to be light-like. We also show a theorem on a property of light-like points of a surface in $\boldsymbol{R}^3_1$ whose mean curvature vector is smoothly extendable. This explains why such surfaces will contain a light-like line when they do not change causal types. Moreover, several applications of these two results are given.


title: Synthesizing Robust Adversarial Examples

abstract: Standard methods for generating adversarial examples for neural networks do not consistently fool neural network classifiers in the physical world due to a combination of viewpoint shifts, camera noise, and other natural transformations, limiting their relevance to real-world systems. We demonstrate the existence of robust 3D adversarial objects, and we present the first algorithm for synthesizing examples that are adversarial over a chosen distribution of transformations. We synthesize two-dimensional adversarial images that are robust to noise, distortion, and affine transformation. We apply our algorithm to complex three-dimensional objects, using 3D-printing to manufacture the first physical adversarial objects. Our results demonstrate the existence of 3D adversarial objects in the physical world.


title: Reciprocity sheaves, II

abstract: We exhibit an intimate relationship between "reciprocity sheaves" from arXiv:1402.4201 [math.AG] and "modulus sheaves with transfers" from arXiv:1908.02975 [math.AG] and arXiv:1910.14534 [math.AG].


title: Learning for Multi-robot Cooperation in Partially Observable Stochastic Environments with Macro-actions

abstract: This paper presents a data-driven approach for multi-robot coordination in partially-observable domains based on Decentralized Partially Observable Markov Decision Processes (Dec-POMDPs) and macro-actions (MAs). Dec-POMDPs provide a general framework for cooperative sequential decision making under uncertainty and MAs allow temporally extended and asynchronous action execution. To date, most methods assume the underlying Dec-POMDP model is known a priori or a full simulator is available during planning time. Previous methods which aim to address these issues suffer from local optimality and sensitivity to initial conditions. Additionally, few hardware demonstrations involving a large team of heterogeneous robots and with long planning horizons exist. This work addresses these gaps by proposing an iterative sampling based Expectation-Maximization algorithm (iSEM) to learn polices using only trajectory data containing observations, MAs, and rewards. Our experiments show the algorithm is able to achieve better solution quality than the state-of-the-art learning-based methods. We implement two variants of multi-robot Search and Rescue (SAR) domains (with and without obstacles) on hardware to demonstrate the learned policies can effectively control a team of distributed robots to cooperate in a partially observable stochastic environment.


title: Spatial Diversity in Molecular Communications

abstract: In this work, spatial diversity techniques in the area of multiple-input multiple-output (MIMO) diffusion-based molecular communications (DBMC) are investigated. For transmitter-side spatial coding, Alamouti-type coding and repetition MIMO coding are proposed and analyzed. At the receiver-side, selection diversity, equal-gain combining, and maximum-ratio combining are studied as combining strategies. Throughout the numerical analysis, a symmetrical $2\times 2$ MIMO-DBMC system is assumed. Furthermore, a trained artificial neural network is utilized to acquire the channel impulse responses. The numerical analysis demonstrates that it is possible to achieve a diversity gain in molecular communications. In addition, it is shown that for MIMO-DBMC systems repetition MIMO coding is superior to Alamouti-type coding.


title: Grant-Free Massive NOMA: Outage Probability and Throughput

abstract: In this paper, we consider a massive uncoordinated non-orthogonal multiple access (NOMA) scheme where devices have strict latency requirements and no retransmission opportunities are available. Each device chooses a pilot sequence from a predetermined set as its signature and transmits its selected pilot and data simultaneously. A collision occurs when two or more devices choose the same pilot sequence. Collisions are treated as interference to the remaining received signals. We consider successive joint decoding (SJD) and successive interference cancellation (SIC) under a Rayleigh fading and path loss channel model. We first derive the expression for the outage probability for the case where devices transmit at the same fixed rate. Then, we derive the expression for the maximum achievable throughput for the case where devices transmit with rateless codes. Thus, their code rate is adaptive to the system conditions, i.e., load, received powers, and interference. Numerical results verify the accuracy of our analytical expressions. For low data rate transmissions, results show that SIC performs close to that of SJD in terms of outage probability for packet arrival rates up to 10 packets per slot. However, SJD can achieve almost double the throughput of SIC and is, thus, far more superior.


title: Reinforcement Learning for Bandit Neural Machine Translation with Simulated Human Feedback

abstract: Machine translation is a natural candidate problem for reinforcement learning from human feedback: users provide quick, dirty ratings on candidate translations to guide a system to improve. Yet, current neural machine translation training focuses on expensive human-generated reference translations. We describe a reinforcement learning algorithm that improves neural machine translation systems from simulated human feedback. Our algorithm combines the advantage actor-critic algorithm (Mnih et al., 2016) with the attention-based neural encoder-decoder architecture (Luong et al., 2015). This algorithm (a) is well-designed for problems with a large action space and delayed rewards, (b) effectively optimizes traditional corpus-level machine translation metrics, and (c) is robust to skewed, high-variance, granular feedback modeled after actual human behaviors.


title: Self-concordant inclusions: A unified framework for path-following generalized Newton-type algorithms

abstract: We study a class of monotone inclusions called "self-concordant inclusion" which covers three fundamental convex optimization formulations as special cases. We develop a new generalized Newton-type framework to solve this inclusion. Our framework subsumes three schemes: full-step, damped-step and path-following methods as specific instances, while allows one to use inexact computation to form generalized Newton directions. We prove a local quadratic convergence of both the full-step and damped-step algorithms. Then, we propose a new two-phase inexact path-following scheme for solving this monotone inclusion which possesses an $\mathcal{O}\left(\sqrt{\nu}\log(1/\varepsilon)\right)$-worst-case iteration-complexity to achieve an $\varepsilon$-solution, where $\nu$ is the barrier parameter and $\varepsilon$ is a desired accuracy. As byproducts, we customize our scheme to solve three convex problems: convex-concave saddle-point, nonsmooth constrained convex program, and nonsmooth convex program with linear constraints. We also provide three numerical examples to illustrate our theory and compare with existing methods.


title: Magnetothermoelectric transport properties in phosphorene

abstract: We numerically study the electrical and thermoelectric transport properties in phosphorene in the presence of both a magnetic field and disorder. The quantized Hall conductivity is similar to that of a conventional two-dimensional electron gas, but the positions of all the Hall plateaus shift to the left due to the spectral asymmetry, in agreement with the experimental observations. The thermoelectric conductivity and Nernst signal exhibit remarkable anisotropy, and the thermopower is nearly isotropic. When a bias voltage is applied between top and bottom layers of phosphorene, both thermopower and Nernst signal are enhanced and their peak values become large.


title: Extrasolar Planets and Their Host Stars

abstract: In order to understand the exoplanet, you need to understand its parent star. Astrophysical parameters of extrasolar planets are directly and indirectly dependent on the properties of their respective host stars. These host stars are very frequently the only visible component in the systems. This book describes our work in the field of characterization of exoplanet host stars using interferometry to determine angular diameters, trigonometric parallax to determine physical radii, and SED fitting to determine effective temperatures and luminosities. The interferometry data are based on our decade-long survey using the CHARA Array. We describe our methods and give an update on the status of the field, including a table with the astrophysical properties of all stars with high-precision interferometric diameters out to 150 pc (status Nov 2016). In addition, we elaborate in more detail on a number of particularly significant or important exoplanet systems, particularly with respect to (1) insights gained from transiting exoplanets, (2) the determination of system habitable zones, and (3) the discrepancy between directly determined and model-based stellar radii. Finally, we discuss current and future work including the calibration of semi-empirical methods based on interferometric data.


title: Hyperbolic-metamaterial waveguides for long-range propagation

abstract: We study optical waveguides that include layers of materials and metamaterials with hyperbolic dispersion (HMM). We consider long-range regime at the dielectric-HMM interface in different waveguide geometries (single interface or symmetric cladding with different layers). In contrast to the traditional analysis of geometrical parameters, we make emphasis on optical properties of constituent materials, and by solving dispersion equations, analyze how dielectric and HMM permittivities affect propagation length and mode size. We derive a figure of merits that should be used for each waveguide in a broad range of permittivity values as well as compare them with plasmonic waveguides. We show conventional plasmonic quality factor, which is the ratio of real to imaginary parts of permittivity, is not applicable to the case of waveguides with complex structure. Both telecommunication wavelengths and mid-infrared spectral ranges are of interest considering recent advances in van der Waals materials such as hexagonal boron nitride. Finally, we evaluate the performance of the waveguides with hexagonal boron nitride in the range where it possesses hyperbolic dispersion (6.2-7.3 um), and we identify the optimum wavelength for each type of the waveguide.


title: New 50-m-class single-dish telescope: Large Submillimeter Telescope (LST)

abstract: We report on a plan to construct a 50-m-class single-dish telescope, the Large Submillimeter Telescope (LST). The conceptual design and key science behind the LST are presented, together with its tentative specifications. This telescope is optimized for wide-area imaging and spectroscopic surveys in the 70--420 GHz frequency range, which spans the main atmospheric windows at millimeter and submillimeter wavelengths for good observation sites such as the Atacama Large Millimeter/submillimeter Array (ALMA) site in Chile. We also target observations at higher frequencies of up to 1 THz, using an inner high-precision surface. Active surface control is required in order to correct gravitational and thermal deformations of the surface, and will be useful for correction of the wind-load deformation. The LST will facilitate new discovery spaces such as wide-field imaging with both continuum and spectral lines, along with new developments for time-domain science. Through exploitation of its synergy with ALMA and other telescopes, the LST will contribute to research on a wide range of topics in the fields of astronomy and astrophysics, e.g., astrochemistry, star formation in our Galaxy and galaxies, the evolution of galaxy clusters via the Sunyaev-Zel'dovich effect, the search for transients such as $\gamma$-ray burst reverse shocks produced during the epoch of re-ionization, electromagnetic follow up of detected gravitational wave sources, and examination of general relativity in the vicinity of super massive black holes via submillimeter very-long-baseline interferometry.


title: Universal Spin Dynamics in Quantum Wires

abstract: We discuss the universal spin dynamics in quasi one-dimensional systems including the real spin in narrow-gap semiconductors like InAs and InSb, the valley pseudospin in staggered single-layer graphene, and the combination of real spin and valley pseudospin characterizing single-layer transition metal dichalcogenides (TMDCs) such as MoS$_2$, WS$_2$, MoSe$_2$, and WSe$_2$. All these systems can be described by the same Dirac-like Hamiltonian. Spin-dependent observable effects in one of these systems thus have counterparts in each of the other systems. Effects discussed in more detail include equilibrium spin currents, current-induced spin polarization (Edelstein effect), and spin currents generated via adiabatic spin pumping. Our work also suggests that a long-debated spin-dependent correction to the position operator in single-band models should be absent.


title: Big Data Regression Using Tree Based Segmentation

abstract: Scaling regression to large datasets is a common problem in many application areas. We propose a two step approach to scaling regression to large datasets. Using a regression tree (CART) to segment the large dataset constitutes the first step of this approach. The second step of this approach is to develop a suitable regression model for each segment. Since segment sizes are not very large, we have the ability to apply sophisticated regression techniques if required. A nice feature of this two step approach is that it can yield models that have good explanatory power as well as good predictive performance. Ensemble methods like Gradient Boosted Trees can offer excellent predictive performance but may not provide interpretable models. In the experiments reported in this study, we found that the predictive performance of the proposed approach matched the predictive performance of Gradient Boosted Trees.


title: Toward Geometric Deep SLAM

abstract: We present a point tracking system powered by two deep convolutional neural networks. The first network, MagicPoint, operates on single images and extracts salient 2D points. The extracted points are "SLAM-ready" because they are by design isolated and well-distributed throughout the image. We compare this network against classical point detectors and discover a significant performance gap in the presence of image noise. As transformation estimation is more simple when the detected points are geometrically stable, we designed a second network, MagicWarp, which operates on pairs of point images (outputs of MagicPoint), and estimates the homography that relates the inputs. This transformation engine differs from traditional approaches because it does not use local point descriptors, only point locations. Both networks are trained with simple synthetic data, alleviating the requirement of expensive external camera ground truthing and advanced graphics rendering pipelines. The system is fast and lean, easily running 30+ FPS on a single CPU.


title: Traffic scene recognition based on deep cnn and vlad spatial pyramids

abstract: Traffic scene recognition is an important and challenging issue in Intelligent Transportation Systems (ITS). Recently, Convolutional Neural Network (CNN) models have achieved great success in many applications, including scene classification. The remarkable representational learning capability of CNN remains to be further explored for solving real-world problems. Vector of Locally Aggregated Descriptors (VLAD) encoding has also proved to be a powerful method in catching global contextual information. In this paper, we attempted to solve the traffic scene recognition problem by combining the features representational capabilities of CNN with the VLAD encoding scheme. More specifically, the CNN features of image patches generated by a region proposal algorithm are encoded by applying VLAD, which subsequently represent an image in a compact representation. To catch the spatial information, spatial pyramids are exploited to encode CNN features. We experimented with a dataset of 10 categories of traffic scenes, with satisfactory categorization performances.


title: Wireless Powered Cooperative Jamming for Secure OFDM System

abstract: This paper studies the secrecy communication in an orthogonal frequency division multiplexing (OFDM) system, where a source sends confidential information to a destination in the presence of a potential eavesdropper. We employ wireless powered cooperative jamming to improve the secrecy rate of this system with the assistance of a cooperative jammer, which works in the harvest-then-jam protocol over two time-slots. In the first slot, the source sends dedicated energy signals to power the jammer; in the second slot, the jammer uses the harvested energy to jam the eavesdropper, in order to protect the simultaneous secrecy communication from the source to the destination. In particular, we consider two types of receivers at the destination, namely Type-I and Type-II receivers, which do not have and have the capability of canceling the (a-priori known) jamming signals, respectively. For both types of receivers, we maximize the secrecy rate at the destination by jointly optimizing the transmit power allocation at the source and the jammer over sub-carriers, as well as the time allocation between the two time-slots. First, we present the globally optimal solution to this problem via the Lagrange dual method, which, however, is of high implementation complexity. Next, to balance tradeoff between the algorithm complexity and performance, we propose alternative low-complexity solutions based on minorization maximization and heuristic successive optimization, respectively. Simulation results show that the proposed approaches significantly improve the secrecy rate, as compared to benchmark schemes without joint power and time allocation.


title: Exploring Neural Transducers for End-to-End Speech Recognition

abstract: In this work, we perform an empirical comparison among the CTC, RNN-Transducer, and attention-based Seq2Seq models for end-to-end speech recognition. We show that, without any language model, Seq2Seq and RNN-Transducer models both outperform the best reported CTC models with a language model, on the popular Hub5'00 benchmark. On our internal diverse dataset, these trends continue - RNNTransducer models rescored with a language model after beam search outperform our best CTC models. These results simplify the speech recognition pipeline so that decoding can now be expressed purely as neural network operations. We also study how the choice of encoder architecture affects the performance of the three models - when all encoder layers are forward only, and when encoders downsample the input representation aggressively.


title: Eigenvariety of Nonnegative Symmetric Weakly Irreducible Tensors Associated with Spectral Radius and Its Application to Hypergraphs

abstract: For a nonnegative symmetric weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, there may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we proved that such projective eigenvariety admits a module structure, which is determined by the support of the tensor and can be characterized explicitly by solving the Smith normal form of the incidence matrix of the tensor. We introduced two parameters: the stabilizing index and the stabilizing dimension of the tensor, where the former is exactly the cardinality of the projective eigenvariety and the latter is the composition length of the projective eigenvariety as a module. We give some upper bounds for the two parameters, and characterize the case that there is only one eigenvector of the tensor corresponding to the spectral radius, i.e. the Perron vector. By applying the above results to the adjacency tensor of a connected uniform hypergraph, we give some upper bounds for the two parameters in terms of the structural parameters of the hypergraph such as path cover number, matching number and the maximum length of paths.


title: On the Origin of the 3.3 Micron Unidentified Infrared Emission Feature

abstract: The 3.3 $\mu$m unidentified infrared emission feature is commonly attributed to C-H stretching band of aromatic molecules. Astronomical observations have shown that this feature is composed of two separate bands at 3.28 and 3.30 $\mu$m and the origin of these two bands is unclear. In this paper, we perform vibrational analyses based on quantum mechanical calculations of 153 organic molecules, including both pure aromatic molecules and molecules with mixed aromatic/olefinic/aliphatic hydridizations. We find that many of the C-H stretching vibrational modes in polycyclic aromatic hydrocarbon (PAH) molecules are coupled. Even considering the un-coupled modes only, the correlation between the band intensity ratios and the structure of the PAH molecule is not observed and the 3.28 and 3.30 $\mu$m features cannot be directly interpreted in the PAH model. Based on these results, the possible aromatic, olefinic and aliphatic origins of the 3.3 $\mu$m feature are discussed. We suggest that the 3.28 $\mu$m feature is assigned to aromatic C-H stretch whereas the 3.30 $\mu$m feature is olefinic. From the ratio of these two features, the relative olefinic to aromatic content of the carrier can be determined.


title: Octupole deformation in the nuclear chart based on the 3D Skyrme Hartree-Fock plus BCS model

abstract: We have performed a systematic study of the ground state for even-even 1,002 nuclei in which 28 octupole-deformed nuclei are found. The interplay between the spatial deformation and the pairing correlation, plays important roles in nuclear structure. Our model is based on the Skyrme Hartree-Fock plus BCS model represented in the three-dimensional Cartesian coordinate space which can describe any kind of nuclear shape. The quadrupole and octupole deformed nuclei appear in the mass region with characteristic neutron and proton numbers which are consistent with previous studies. In our results, there appear only pear shape ($\beta_{30}$) in the octupole deformed nuclei. We investigate the potential energy surfaces as functions of the octupole deformations ($\beta_{3m}, m = 0, 1, 2, 3$), which tells us that. $^{220}$Rn has also local minima in the $\beta_{31}$ and $\beta_{32}$ potential energy surfaces.


title: Multiprojective spaces and the arithmetically Cohen-Macaulay property

abstract: In this paper we study the arithmetically Cohen-Macaulay (ACM) property for sets of points in multiprojective spaces. Most of what is known is for $\mathbb P^1\times \mathbb P^1$ and, more recently, in $(\mathbb P^1)^r.$ In $\mathbb P^1\times \mathbb P^1$ the so called inclusion property characterizes the ACM property. We extend the definition in any multiprojective space and we prove that the inclusion property implies the ACM property in $\mathbb P^m\times \mathbb P^n$. In such an ambient space it is equivalent to the so-called $(\star)$-property. Moreover, we start an investigation of the ACM property in $\mathbb P^1\times \mathbb P^n.$ We give a new construction that highlights how different the behavior of the ACM property is in this setting.


title: Generative OpenMax for Multi-Class Open Set Classification

abstract: We present a conceptually new and flexible method for multi-class open set classification. Unlike previous methods where unknown classes are inferred with respect to the feature or decision distance to the known classes, our approach is able to provide explicit modelling and decision score for unknown classes. The proposed method, called Gener- ative OpenMax (G-OpenMax), extends OpenMax by employing generative adversarial networks (GANs) for novel category image synthesis. We validate the proposed method on two datasets of handwritten digits and characters, resulting in superior results over previous deep learning based method OpenMax Moreover, G-OpenMax provides a way to visualize samples representing the unknown classes from open space. Our simple and effective approach could serve as a new direction to tackle the challenging multi-class open set classification problem.


title: Slowly decaying resonances of massive scalar fields around Schwarzschild-de Sitter black holes

abstract: We study in special limiting cases quasinormal modes of massive scalar fields in the Schwarzschild-de Sitter black hole backgrounds. We determine the lower limit on the mass parameter of the scalar field that allows the waves with quasinormal frequencies to propagate to infinity, showing that it depends on the spacetime parameters only. Then we discuss in the large multipole number limit quasinormal modes, whose frequencies can be directly related to the unstable circular photon geodesics. In the large scalar mass approximation, we demonstrate the new interesting phenomenon of slowly decaying resonances, that are strongly related to the maximum of the effective potential of the massive scalar field, which is located at the static radius of the Schwarzschild-de Sitter spacetimes, where the cosmic repulsion is just balanced by the black hole attraction.


title: Dynamical localization and the effects of aperiodicity in Floquet systems

abstract: We study the localization aspects of a kicked non-interacting one-dimensional (1D) quantum system subject to either time-periodic or non-periodic pulses. These are reflected as sudden changes of the onsite energies in the lattice with different modulations in real space. When the modulation of the kick is incommensurate with the lattice spacing, and the kicks are periodic, a well known dynamical localization in real space is recovered for large kick amplitudes and frequencies. We explore the universality class of this transition and also test the robustness of localization under deviations from the perfect periodic case. We show that delocalization ultimately sets in and a diffusive spreading of an initial wave packet is obtained when the aperiodicity of the driving is introduced.


title: Integrability and chemical potential in the (3+1)-dimensional Skyrme model

abstract: Using a remarkable mapping from the original (3+1)dimensional Skyrme model to the Sine-Gordon model, we construct the first analytic examples of Skyrmions as well as of Skyrmions--anti-Skyrmions bound states within a finite box in 3+1 dimensional flat space-time. An analytic upper bound on the number of these Skyrmions--anti-Skyrmions bound states is derived. We compute the critical isospin chemical potential beyond which these Skyrmions cease to exist. With these tools, we also construct topologically protected time-crystals: time-periodic configurations whose time-dependence is protected by their non-trivial winding number. These are striking realizations of the ideas of Shapere and Wilczek. The critical isospin chemical potential for these time-crystals is determined.

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


title: Simplification of Markov chains with infinite state space and the mathematical theory of random gene expression bursts

abstract: Here we develop an effective approach to simplify two-time-scale Markov chains with infinite state spaces by removal of states with fast leaving rates, which improves the simplification method of finite Markov chains. We introduce the concept of fast transition paths and show that the effective transitions of the reduced chain can be represented as the superposition of the direct transitions and the indirect transitions via all the fast transition paths. Furthermore, we apply our simplification approach to the standard Markov model of single-cell stochastic gene expression and provide a mathematical theory of random gene expression bursts. We give the precise mathematical conditions for the bursting kinetics of both mRNAs and proteins. It turns out that random bursts exactly correspond to the fast transition paths of the Markov model. This helps us gain a better understanding of the physics behind the bursting kinetics as an emergent behavior from the fundamental multi-scale biochemical reaction kinetics of stochastic gene expression.


title: Magnetic properties of quasi one-dimensional vanadium-benzene nanowire affected by gas molecules: a first-principle study

abstract: Magnetic properties of quasi one-dimensional vanadium-benzene nanowires (VBNW) are investigated theoretically with the absorption of gas molecules-NO and NO2. With the increase adsorption of NO on VBNW, the phase transition from half metal to ferromagnetic metal and last to paramagnetic semiconductor can be observed. With the increase of NO2 on VBNW, half metallic property can be enhanced at first and decreased later. Thus, the electronic and magnetic properties of VBNW can be sensitive and selective to NO and NO2, revealing the potential applications in spintronic sensors of these two kinds of molecules.


title: Study of sensitivity of parameters of Bernstein-Stancu operators

abstract: This paper is aimed at studying sensitivity of parameters \alpha and \beta appearing in the operators introduced by D.D. Stancu [11] in 1969. Results are established on the behavior the nodes used in Bernstein-Stancu polynomials and the nodes used in Bernstein polynomials and graphical presentations of them are generated. Alternate proof of uniform convergence of Bernstein-Stancu operators and an upper bound estimation are derived. It is also established that the parameters \alpha and \beta in Bernstein-Stancu polynomials can be used to get better approximation at a point x = (\alpha)/(\beta) in [0,1] to the Bernstein polynomials.


title: Health Analytics: a systematic review of approaches to detect phenotype cohorts using electronic health records

abstract: The paper presents a systematic review of state-of-the-art approaches to identify patient cohorts using electronic health records. It gives a comprehensive overview of the most commonly de-tected phenotypes and its underlying data sets. Special attention is given to preprocessing of in-put data and the different modeling approaches. The literature review confirms natural language processing to be a promising approach for electronic phenotyping. However, accessibility and lack of natural language process standards for medical texts remain a challenge. Future research should develop such standards and further investigate which machine learning approaches are best suited to which type of medical data.


title: Tail-Tolerant Distributed Search

abstract: Today's search engines process billions of online user queries a day over huge collections of data. In order to scale, they distribute query processing among many nodes, where each node holds and searches over a subset of the index called shard. Responses from some nodes occasionally fail to arrive within a reasonable time-interval due to various reasons, such as high server load and network congestion. Search engines typically need to respond in a timely manner, and therefore skip such tail latency responses, which causes degradation in search quality. In this paper, we tackle response misses due to high tail latencies with the goal of maximizing search quality. Search providers today use redundancy in the form of Replication for mitigating response misses, by constructing multiple copies of each shard and searching all replicas. This approach is not ideal, as it wastes resources on searching duplicate data. We propose two strategies to reduce this waste. First, we propose rSmartRed, an optimal shard selection scheme for replicated indexes. Second, when feasible, we propose to replace Replication with Repartition, which constructs independent index instances instead of exact copies. We analytically prove that rSmartRed's selection is optimal for Replication, and that Repartition achieves better search quality compared to Replication. We confirm our results with an empirical study using two real-world datasets, showing that rSmartRed improves recall compared to currently used approaches. We additionally show that Repartition improves over Replication in typical scenarios.


title: Magnonic topological insulators in antiferromagnets

abstract: Extending the notion of symmetry protected topological phases to insulating antiferromagnets (AFs) described in terms of opposite magnetic dipole moments associated with the magnetic N$\acute{{\rm{e}}} $el order, we establish a bosonic counterpart of topological insulators in semiconductors. Making use of the Aharonov-Casher effect, induced by electric field gradients, we propose a magnonic analog of the quantum spin Hall effect (magnonic QSHE) for edge states that carry helical magnons. We show that such up and down magnons form the same Landau levels and perform cyclotron motion with the same frequency but propagate in opposite direction. The insulating AF becomes characterized by a topological ${\mathbb{Z}}_{2}$ number consisting of the Chern integer associated with each helical magnon edge state. Focusing on the topological Hall phase for magnons, we study bulk magnon effects such as magnonic spin, thermal, Nernst, and Ettinghausen effects, as well as the thermomagnetic properties of helical magnon transport both in topologically trivial and nontrivial bulk AFs and establish the magnonic Wiedemann-Franz law. We show that our predictions are within experimental reach with current device and measurement techniques.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Generalized Johnson homomorphisms for extended N-series

abstract: The Johnson filtration of the mapping class group of a compact, oriented surface is the descending series consisting of the kernels of the actions on the nilpotent quotients of the fundamental group of the surface. Each term of the Johnson filtration admits a Johnson homomorphism, whose kernel is the next term in the filtration. In this paper, we consider a general situation where a group acts on a group with a filtration called an "extended N-series". We develop a theory of Johnson homomorphisms in this general setting, including many known variants of the original Johnson homomorphisms as well as several new variants.