title: Investigation of Performance in Integrated Access and Backhaul Networks

abstract: Wireless backhaul allows densification of mobile networks without incurring additional fiber deployment cost. This, in turn, leads to high spatial reuse, which is a significant tool to meet increasing wireless demand in 5G networks. Integrated access and backhaul (IAB), where access and backhaul network share the same standard wireless technology (e.g. 5G new radio (NR) standard), allows interoperability among different IAB manufacturers and flexible operation between access and backhaul. This paper investigates joint resource allocation and relay selection in a multi-hop IAB network to maximize geometric mean of UE rates. Our study illustrates several advantages and features of IAB. First, IAB significantly improves UE rates compared to access only networks and can provide an important intermediate solution during incremental fiber deployment. Second, IAB networks with optimal mesh outperforms IAB networks with RSRP based spanning tree both in terms of rate and latency.


title: New estimation of non-thermal electron energetics in the giant solar flare on 28 October 2003 based on Mars Odyssey observations

abstract: A new estimation of the total number and energy of the non-thermal electrons produced in the giant ($>\text{X}17$) solar flare on 2003 October 28 is presented based on the analysis of the observations of the hard X-ray (HXR) emission by the High Energy Neutron Detector (HEND) onboard the Mars Odyssey spacecraft orbiting Mars. Previous estimations of the non-thermal electron energy based on the Reuven Ramaty High-Energy Solar Spectroscopic Imager (RHESSI) data were incomplete since RHESSI missed the peak of the flare impulsive phase. In contrast, HEND observed the whole flare. We used two models to estimate the energy of the non-thermal electrons: the cold thick target model and the warm thick target model. We found that, depending on the model used and the low-energy cutoff ($E_\mathrm{c}$) of the non-thermal electrons, the estimate of their total energy in the entire flare can vary from $2.3 \times 10^{32}$ to $6.2 \times 10^{33}$ ergs. The lowest estimate, $2.3 \times 10^{32}$ ergs, obtained within the cold thick target model and fixed $E_\mathrm{c}=43$ keV, is consistent with the previous estimate. In this case, non-thermal electrons accelerated in the peak of the flare impulsive phase missed by RHESSI contained approximately $40\%$ of the total energy of non-thermal electrons of the entire flare. The highest value, $6.2 \times 10^{33}$ ergs, obtained with the cold thick target model and fixed $E_\mathrm{c}=10$ keV, looks abnormally high, since it exceeds the total non-potential magnetic energy of the parent active region and the total bolometric energy radiated in the flare. Our estimates also show that the total number and energetics of the HXR-producing electrons in the flare region is a few orders of magnitude higher than of the population of energetic electrons injected into interplanetary space.


title: A study about the F-estimator for the neutrino mass hierarchy in the JUNO experiment

abstract: At present, it is still unknown whether the correct mass ordering of the neutrino mass eigenstates is either $m_1$, $m_2$, $m_3$ (Normal Hierarchy, NH), or $m_3$, $m_1$, $m_2$ (Inverted Hierarchy, IH). The new analysis method proposed by Stanco et al. (arXiv:1707.07651v3) should fix some issues of the currently most used estimator, $\Delta \chi^2$, and make it possible to reach $5\,\sigma$ measurements in less than six years of data taking with JUNO (Jiangmen Underground Neutrino Observatory) if a degeneracy in the atmospheric mass, $\Delta m^2_{atm}$, is accepted. In this note, the analysis introduced in the paper above was extended to more detailed studies on the dependence of the new F estimator to $\Delta m^2_{atm}$. A fit to the values of the new estimator as a function of $\Delta m^2_{atm}$, calculated for both the true hierarchy and the wrong hierarchy, was performed. The study of the fitting function showed that the average minimum counts, corresponding to the best value for $\Delta m^2_{atm}$, either for the true hierarchy or for the wrong hierarchy, are well separated, and allow to distinguish easily between NH and IH.


title: Efficient and accurate analysis of photon density of states for two-dimensional photonic crystals with omnidirectional light propagation

abstract: Omnidirectional light propagation in two-dimensional (2D) photonic crystals (PCs) has been investigated by extending the formerly developed 2D finite element analysis (FEA) of in-plane light propagation in which the corresponding band structure (BS) and photon density of states (PDOS) of 2D PCs with complex geometry configurations had been calculated more accurately by using an adaptive FEA in real space for both the transverse electric (TE) and transverse magnetic (TM) modes. In this work, by adopting a waveguiding theory under the consideration of translational symmetry, the omnidirectional PDOS corresponding to both the radiative and evanescent waves can be calculated accurately and efficiently based on the in-plane dispersion relations of both TE and TM modes within the irreducible Brillouin zone. We demonstrate that the complete band gaps shown by previous work considering only the radiative modes will be closed by including the contributions of the evanescent modes. These results are of general importance and relevance to the spontaneous emission by an atom or to dipole radiation in 2D periodic structures. In addition, it may serve as an efficient approach to identifying the existence of a complete photonic band gap in a 2D PC instead of using time-consuming 3D BS calculations.


title: Completely Unsupervised Phoneme Recognition by Adversarially Learning Mapping Relationships from Audio Embeddings

abstract: Unsupervised discovery of acoustic tokens from audio corpora without annotation and learning vector representations for these tokens have been widely studied. Although these techniques have been shown successful in some applications such as query-by-example Spoken Term Detection (STD), the lack of mapping relationships between these discovered tokens and real phonemes have limited the down-stream applications. This paper represents probably the first attempt towards the goal of completely unsupervised phoneme recognition, or mapping audio signals to phoneme sequences without phoneme-labeled audio data. The basic idea is to cluster the embedded acoustic tokens and learn the mapping between the cluster sequences and the unknown phoneme sequences with a Generative Adversarial Network (GAN). An unsupervised phoneme recognition accuracy of 36% was achieved in the preliminary experiments.


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

abstract: We consider the calculation of Euler--Lagrange systems of ordinary difference equations, including the difference Noether's Theorem, in the light of the recently-developed calculus of difference invariants and discrete moving frames. We introduce the difference moving frame, a natural discrete moving frame that is adapted to difference equations by prolongation conditions. For any Lagrangian that is invariant under a Lie group action on the space of dependent variables, we show that the Euler--Lagrange equations can be calculated directly in terms of the invariants of the group action. Furthermore, Noether's conservation laws can be written in terms of a difference moving frame and the invariants. We show that this form of the laws can significantly ease the problem of solving the Euler--Lagrange equations, and we also show how to use a difference frame to integrate Lie group invariant difference equations. In this Part I, we illustrate the theory by applications to Lagrangians invariant under various solvable Lie groups. The theory is also generalized to deal with variational symmetries that do not leave the Lagrangian invariant. Apart from the study of systems that are inherently discrete, one significant application is to obtain geometric (variational) integrators that have finite difference approximations of the continuous conservation laws embedded \textit{a priori}. This is achieved by taking an invariant finite difference Lagrangian in which the discrete invariants have the correct continuum limit to their smooth counterparts. We show the calculations for a discretization of the Lagrangian for Euler's elastica, and compare our discrete solution to that of its smooth continuum limit.


title: Joint Learning of Interactive Spoken Content Retrieval and Trainable User Simulator

abstract: User-machine interaction is crucial for information retrieval, especially for spoken content retrieval, because spoken content is difficult to browse, and speech recognition has a high degree of uncertainty. In interactive retrieval, the machine takes different actions to interact with the user to obtain better retrieval results; here it is critical to select the most efficient action. In previous work, deep Q-learning techniques were proposed to train an interactive retrieval system but rely on a hand-crafted user simulator; building a reliable user simulator is difficult. In this paper, we further improve the interactive spoken content retrieval framework by proposing a learnable user simulator which is jointly trained with interactive retrieval system, making the hand-crafted user simulator unnecessary. The experimental results show that the learned simulated users not only achieve larger rewards than the hand-crafted ones but act more like real users.


title: Killing superalgebras for Lorentzian six-manifolds

abstract: We calculate the Spencer cohomology of the $(1,0)$ Poincar\'e superalgebras in six dimensions: with and without R-symmetry. As the cases of four and eleven dimensions taught us, we may read off from this calculation a Killing spinor equation which allows the determination of which geometries admit rigidly supersymmetric theories in this dimension. We prove that the resulting Killing spinors generate a Lie superalgebra and determine the geometries admitting the maximal number of such Killing spinors. They are divided in two branches. One branch consists of the lorentzian Lie groups with bi-invariant metrics and, as a special case, it includes the lorentzian Lie groups with a self-dual Cartan three-form which define the maximally supersymmetric backgrounds of $(1,0)$ Poincar\'e supergravity in six dimensions. The notion of Killing spinor on the other branch does not depend on the choice of a three-form but rather on a one-form valued in the R-symmetry algebra. In this case, we obtain three different (up to local isometry) maximally supersymmetric backgrounds, which are distinguished by the causal type of the one-form.


title: Spoken SQuAD: A Study of Mitigating the Impact of Speech Recognition Errors on Listening Comprehension

abstract: Reading comprehension has been widely studied. One of the most representative reading comprehension tasks is Stanford Question Answering Dataset (SQuAD), on which machine is already comparable with human. On the other hand, accessing large collections of multimedia or spoken content is much more difficult and time-consuming than plain text content for humans. It's therefore highly attractive to develop machines which can automatically understand spoken content. In this paper, we propose a new listening comprehension task - Spoken SQuAD. On the new task, we found that speech recognition errors have catastrophic impact on machine comprehension, and several approaches are proposed to mitigate the impact.


title: A magic rectangle set on Abelian groups

abstract: A $\Gamma$-magic rectangle set $MRS_{\Gamma}(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $\Gamma$, each appearing once, with all row sums in every rectangle equal to a constant $\omega\in \Gamma$ and all column sums in every rectangle equal to a constant $\delta \in \Gamma$. In this paper we prove that for $\{a,b\}\neq\{2^{\alpha},2k+1\}$ where $\alpha$ and $k$ are some natural numbers, a $\Gamma$-magic rectangle set MRS$_{\Gamma}(a, b;c)$ exists if and only if $a$ and $b$ are both even or and $|\Gamma|$ is odd or $\Gamma$ has more than one involution. Moreover we obtain sufficient and necessary conditions for existence a $\Gamma$-magic rectangle MRS$_{\Gamma}(a, b)$=MRS$_{\Gamma}(a, b;1)$.


title: An improved method for recursively computing upper bounds for two-colour Ramsey numbers

abstract: The two-colour Ramsey number $R(m,n)$ is the least natural number $p$ such that any graph of order $p$ must contain either a clique of size $m$ or an independent set of size $n$. We exhibit a method for computing upper bounds for $R(m,n)$ recursively, using known upper bounds of $R(\cdot,\cdot)$ with lower values for at least one of the arguments. We also give an example of how this method could be used to improve several of the best known bounds that are available in the literature (which however soon will be obsolete due to a forthcoming work).


title: The Jordan property for Lie groups and automorphism groups of complex spaces

abstract: We prove that the family of all connected n-dimensional real Lie groups is uniformly Jordan for every n. This implies that all algebraic groups (not necessarily affine) over fields of characteristic zero and some transformation groups of complex spaces and Riemannian manifods are Jordan.


title: Reconnection in the Post-Impulsive Phase of Solar Flares

abstract: Using a recently developed analytical procedure, we determine the rate of magnetic reconnection in the "standard" model of eruptive solar flares. During the late phase, the neutral line is located near the lower tip of the reconnection current sheet, and the upper region of the current sheet is bifurcated into a pair of Petschek-type shocks. Despite the presence of these shocks, the reconnection rate remains slow if the resistivity is uniform and the flow is laminar. Fast reconnection is achieved only if there is some additional mechanism that can shorten the length of the diffusion region at the neutral line. Observations of plasma flows by the X-Ray Telescope (XRT) on Hinode imply that the diffusion region is in fact quite short. Two possible mechanisms for reducing the length of the diffusion region are localized resistivity and MHD turbulence.


title: Aggregated Momentum: Stability Through Passive Damping

abstract: Momentum is a simple and widely used trick which allows gradient-based optimizers to pick up speed along low curvature directions. Its performance depends crucially on a damping coefficient $\beta$. Large $\beta$ values can potentially deliver much larger speedups, but are prone to oscillations and instability; hence one typically resorts to small values such as 0.5 or 0.9. We propose Aggregated Momentum (AggMo), a variant of momentum which combines multiple velocity vectors with different $\beta$ parameters. AggMo is trivial to implement, but significantly dampens oscillations, enabling it to remain stable even for aggressive $\beta$ values such as 0.999. We reinterpret Nesterov's accelerated gradient descent as a special case of AggMo and analyze rates of convergence for quadratic objectives. Empirically, we find that AggMo is a suitable drop-in replacement for other momentum methods, and frequently delivers faster convergence.


title: Seeing Voices and Hearing Faces: Cross-modal biometric matching

abstract: We introduce a seemingly impossible task: given only an audio clip of someone speaking, decide which of two face images is the speaker. In this paper we study this, and a number of related cross-modal tasks, aimed at answering the question: how much can we infer from the voice about the face and vice versa? We study this task "in the wild", employing the datasets that are now publicly available for face recognition from static images (VGGFace) and speaker identification from audio (VoxCeleb). These provide training and testing scenarios for both static and dynamic testing of cross-modal matching. We make the following contributions: (i) we introduce CNN architectures for both binary and multi-way cross-modal face and audio matching, (ii) we compare dynamic testing (where video information is available, but the audio is not from the same video) with static testing (where only a single still image is available), and (iii) we use human testing as a baseline to calibrate the difficulty of the task. We show that a CNN can indeed be trained to solve this task in both the static and dynamic scenarios, and is even well above chance on 10-way classification of the face given the voice. The CNN matches human performance on easy examples (e.g. different gender across faces) but exceeds human performance on more challenging examples (e.g. faces with the same gender, age and nationality).


title: Socioeconomic bias in influenza surveillance

abstract: Individuals in low socioeconomic brackets are considered at-risk for developing influenza-related complications and often exhibit higher than average influenza-related hospitalization rates. This disparity has been attributed to various factors, including restricted access to preventative and therapeutic health care, limited sick leave, and household structure. Adequate influenza surveillance in these at-risk populations is a critical precursor to accurate risk assessments and effective intervention. However, the United States of America's primary national influenza surveillance system (ILINet) monitors outpatient healthcare providers, which may be largely inaccessible to lower socioeconomic populations. Recent initiatives to incorporate internet-source and hospital electronic medical records data into surveillance systems seek to improve the timeliness, coverage, and accuracy of outbreak detection and situational awareness. Here, we use a flexible statistical framework for integrating multiple surveillance data sources to evaluate the adequacy of traditional (ILINet) and next generation (BioSense 2.0 and Google Flu Trends) data for situational awareness of influenza across poverty levels. We find that zip codes in the highest poverty quartile are a critical blind-spot for ILINet that the integration of next generation data fails to ameliorate.


title: Hypergraph Removal Lemmas via Robust Sharp Threshold Theorems

abstract: The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function $f:\{0,1\}^{n}\to\{0,1\}$ exhibits a sharp threshold phenomenon. This means that the expectation of $f$ with respect to the biased measure $\mu_{p}$ increases rapidly from 0 to 1 as $p$ increases. In this paper we present `robust' versions of the theorem, which assert that it holds also if the function is `almost' monotone, and admits a much weaker notion of symmetry. Unlike the original proof of the theorem which relies on hypercontractivity, our proof relies on a `regularity' lemma (of the class of Szemer\'edi's regularity lemma and its generalizations) and on the `invariance principle' of Mossel, O'Donnell, and Oleszkiewicz which allows (under certain conditions) replacing functions on the cube $\{0,1\}^{n}$ with functions on Gaussian random variables. The hypergraph removal lemma of Gowers (2007) and independently of Nagle, R\"odl, Schacht, and Skokan (2006) says that if a $k$-uniform hypergraph on $n$ vertices contains few copies of a fixed hypergraph $H$, then it can be made $H$-free by removing few of its edges. While this settles the `hypergraph removal problem' in the case where $k$ and $H$ are fixed, the result is meaningless when $k$ is large (e.g. $k>\log\log\log n$). Using our robust version of the Friedgut-Kalai Theorem, we obtain a hypergraph removal lemma that holds for $k$ up to linear in $n$ for a large class of hypergraphs. These contain all the hypergraphs such that both their number of edges and the sizes of the intersections of pairs of their edges are upper bounded by some constant.


title: The silver route to cuprate analogs

abstract: The parent compound of high-Tc superconducting cuprates is a unique Mott state consisting of layers of spin-1/2 ions arranged on a square lattice and with a record high antiferromagnetic coupling within the layers. Compounds with similar characteristics have long been searched for. Nickelates and iridates had been proposed as cuprate analogs but so far have not reached a satisfactory similarity. Here we use a combination of experimental and theoretical tools to show that the commercial compound AgF2 is an excellent cuprate analog with remarkably similar electronic parameters to La2CuO4 but larger buckling of planes. Two-magnon Raman scattering reveals a superexchange constant which reaches 70% of that of a typical cuprate. We argue that structures that reduce or eliminate the buckling of the AgF2 planes could have an antiferromagnetic coupling that matches or surpasses the cuprates.


title: Hall coefficient and magnetoresistance in boson+fermion dimer models for the pseudogap phase of high Tc superconductors

abstract: We show that the Hall coefficient of the boson+fermion dimer model for the pseudogap phase of high temperature superconductivity introduced in Punk et al. changes sign from negative at low temperatures to positive at high temperatures at a characteristic temperature scaling proportional to the the cyclotron frequency of the fermionic dimers (divided by k), (here k~0.7 fits the experimental data well). We show that this is an effect of the changing of the sign of the coupling between the fermionic dimer and the magnetic field from negative coupling -e at low temperatures to positive coupling +e at high temperature, with the Hall coefficient being proportional to R_H~e_B*e_E*e_J (the product of the magnetic charge, electric charge and current charge all of which we carefully define). We relate the Hall conductivity to the coefficient in Kohler's like rule for magnetoconductivity and calculate some corrections which are relevant near the intermediate temperature range ~50K (typical values for the cyclotron frequency of the dimers). Furthermore we make a sharp prediction that the magnetoresistance effect vanishes to order B^2 at the temperature and magnetic field where the Hall coefficient vanishes.


title: Revised data on gamma-families observed in X-ray emulsion chambers of the Experiment PAMIR

abstract: Recently essential efforts were made to improve measurement routine with X-ray films exposed in the X-ray emulsion chambers at the Pamirs. Analysis of X-ray emulsion response upon recorded events show that gamma-family energy and intensity in early publications were over estimated. The main physical results of the new analysis are presented.

categories: hep-ex astro-ph.HE physics.ins-det physics.space-ph


title: High Order Cut Finite Elements for the Elastic Wave Equation

abstract: A high order cut finite element method is formulated for solving the elastic wave equation. Both a single domain problem and an interface problem are treated. The boundary or interface are allowed to cut through the background mesh. To avoid problems with small cuts, stabilizing terms are added to the bilinear forms corresponding to the mass and stiffness matrix. The stabilizing terms penalize jumps in normal derivatives over the faces of the elements cut by the boundary/interface. This ensures a stable discretization independently of how the boundary/interface cuts the mesh. Nitsche's method is used to enforce boundary and interface conditions, resulting in symmetric bilinear forms. As a result of the symmetry, an energy estimate can be made and optimal order a priori error estimates are derived for the single domain problem. Finally, numerical experiments in two dimensions are presented that verify the order of accuracy and stability with respect to small cuts.


title: Bounded Connectivity-Preserving Coordination of Networked Euler-Lagrange Systems

abstract: This paper derives sufficient conditions for bounded distributed connectivity-preserving coordination of Euler-Lagrange systems with only position measurements and with system uncertainties, respectively. The paper proposes two strategies that suitably scale conventional gradient-based controls to account for the actuation bounds and to reserve sufficient actuation for damping injection. For output feedback control of networked systems with only position measurements, the paper incorporates a first-order filter to estimate velocities and to inject damping for stability. For networks of uncertain systems, the paper augments conventional linear filter-based adaptive compensation with damping injection to maintain the local connectivity of the network. Analyses based on monotonically decreasing Lyapunov-like functions and Barbalat's lemma lead to sufficient conditions for bounded local connectivity-preserving coordination of Euler-Lagrange networks under the two strategies. The sufficient conditions clarify the interrelationships among the bounded actuations, initial system velocities and initial inter-system distances. Simulation results validate these conditions.


title: Cooling of Small and Massive Hyperonic Stars

abstract: We perform cooling simulations for isolated neutron stars using recently developed equations of state for their core. The equations of state are obtained from new parametrizations of the FSU2 relativistic mean-field functional that reproduce the properties of nuclear matter and finite nuclei, while fulfilling the restrictions on high-density matter deduced from heavy-ion collisions, measurements of massive 2$M_{\odot}$ neutron stars, and neutron star radii below 13 km. We find that two of the models studied, FSU2R (with nucleons) and in particular FSU2H (with nucleons and hyperons), show very good agreement with cooling observations, even without including extensive nucleon pairing. This suggests that the cooling observations are more compatible with an equation of state that produces a soft nuclear symmetry energy and, hence, generates small neutron star radii. However, both models favor large stellar masses, above $1.8 M_{\odot}$, to explain the colder isolated neutron stars that have been observed, even if nucleon pairing is present.


title: Online learning with graph-structured feedback against adaptive adversaries

abstract: We derive upper and lower bounds for the policy regret of $T$-round online learning problems with graph-structured feedback, where the adversary is nonoblivious but assumed to have a bounded memory. We obtain upper bounds of $\widetilde O(T^{2/3})$ and $\widetilde O(T^{3/4})$ for strongly-observable and weakly-observable graphs, respectively, based on analyzing a variant of the Exp3 algorithm. When the adversary is allowed a bounded memory of size 1, we show that a matching lower bound of $\widetilde\Omega(T^{2/3})$ is achieved in the case of full-information feedback. We also study the particular loss structure of an oblivious adversary with switching costs, and show that in such a setting, non-revealing strongly-observable feedback graphs achieve a lower bound of $\widetilde\Omega(T^{2/3})$, as well.


title: Schwartz space of parabolic basic affine space and asymptotic Hecke algebras

abstract: Let $F$ be a local non-archimedian field and $G$ be the group of $F$-points of a split connected reductive group over $F$. In a previous aricle we defined an algebra $\mathcal J(G)$ of functions on $G$ which contains the Hecke algebra $\mathcal H(G)$ and is contained in the Harish-Chandra Schwartz algebra $\mathcal C(G)$. We consider $\mathcal J(G)$ as an algebraic analog the algebra $\mathcal C(G)$. Given a parabolic subgroup $P$ of $G$ with a Levi subgroup $M$ and the unipotent radical $U_P$ we write $X_P:=G/U_P$. In this paper we study two versions of the Schwartz space of $X_P$. The first is $\mathcal S(X_P):=\mathcal J({\mathcal S} _c(X_P))$ and the 2nd is the space spanned by functions of the form $\Phi_{Q,P}(\phi)$ where $Q$ is another parabolic with the same Levi subgroup, $\phi\in \mathcal S_c(X_Q)$ and $\Phi_{Q,P}$ is a normalized intertwining operator from $L^2(X_Q)$ to $L^2(X_P)$. We formulate a series of conjectures about these spaces, for example, we conjecture that $\mathcal S'(X_P)\subset \mathcal S(X_P)$ and that this embedding is an isomorphism on $M$-cuspidal part. We give a proof of some of our conjectures.


title: An Operator-Valued Kantorovich Metric on Complete Metric Spaces

abstract: The Kantorovich metric provides a way of measuring the distance between two Borel probability measures on a metric space. This metric has a broad range of applications from bioinformatics to image processing, and is commonly linked to the optimal transport problem in computer science. Noteworthy to this paper will be the role of the Kantorovich metric in the study of iterated function systems, which are families of contractive mappings on a complete metric space. When the underlying metric space is compact, it is well known that the space of Borel probability measures on this metric space, equipped with the Kantorovich metric, constitutes a compact, and thus complete metric space. In previous work, we generalized the Kantorovich metric to operator-valued measures for a compact underlying metric space, and applied this generalized metric to the setting of iterated function systems. We note that the work of P. Jorgensen, K. Shuman, and K. Kornelson provided the framework for our application to this setting. The situation when the underlying metric space is complete, but not necessarily compact, has been studied by A. Kravchenko. In this paper, we extend the results of Kravchenko to the generalized Kantorovich metric on operator-valued measures.


title: Toward Intelligent Vehicular Networks: A Machine Learning Framework

abstract: As wireless networks evolve towards high mobility and providing better support for connected vehicles, a number of new challenges arise due to the resulting high dynamics in vehicular environments and thus motive rethinking of traditional wireless design methodologies. Future intelligent vehicles, which are at the heart of high mobility networks, are increasingly equipped with multiple advanced onboard sensors and keep generating large volumes of data. Machine learning, as an effective approach to artificial intelligence, can provide a rich set of tools to exploit such data for the benefit of the networks. In this article, we first identify the distinctive characteristics of high mobility vehicular networks and motivate the use of machine learning to address the resulting challenges. After a brief introduction of the major concepts of machine learning, we discuss its applications to learn the dynamics of vehicular networks and make informed decisions to optimize network performance. In particular, we discuss in greater detail the application of reinforcement learning in managing network resources as an alternative to the prevalent optimization approach. Finally, some open issues worth further investigation are highlighted.


title: Adiabatic invariant analysis of dark and dark-bright soliton stripes in two-dimensional Bose-Einstein condensates

abstract: In the present work, we develop an adiabatic invariant approach for the evolution of quasi-one-dimensional (stripe) solitons embedded in a two-dimensional Bose-Einstein condensate. The results of the theory are obtained both for the one-component case of dark soliton stripes, as well as for the considerably more involved case of the two-component dark-bright (alias "filled dark") soliton stripes. In both cases, analytical predictions regarding the stability and dynamics of these structures are obtained. One of our main findings is the determination of the instability modes of the waves as a function of the parameters of the system (such as the trap strength and the chemical potential). Our analytical predictions are favorably compared with results of direct numerical simulations.


title: On dimension of poset variety

abstract: For a finite partially ordered set we calculate the dimension of the variety of its subspace representations having fixed dimension vector. The dimension is given in terms of the Euler quadratic form associated with a partially ordered set, which gives a geometric interpretation of this form.


title: Sparse Principal Component Analysis via Variable Projection

abstract: Sparse principal component analysis (SPCA) has emerged as a powerful technique for modern data analysis, providing improved interpretation of low-rank structures by identifying localized spatial structures in the data and disambiguating between distinct time scales. We demonstrate a robust and scalable SPCA algorithm by formulating it as a value-function optimization problem. This viewpoint leads to a flexible and computationally efficient algorithm. Further, we can leverage randomized methods from linear algebra to extend the approach to the large-scale (big data) setting. Our proposed innovation also allows for a robust SPCA formulation which obtains meaningful sparse principal components in spite of grossly corrupted input data. The proposed algorithms are demonstrated using both synthetic and real world data, and show exceptional computational efficiency and diagnostic performance.


title: Input Voltage and Current Sensorless Control of a Single Phase AC-DC Boost Converter

abstract: It is well-known that measuring the input voltage and current, as the feedforward and feedback terms, are vital for the controller design in the problem of power factor compensation of an AC-DC boost converter. Traditional adaptive scenarios correspond to the simultaneous estimation of these variables are failed because the system dynamics is not in the classical adaptive form. In this paper, the system dynamics is immersed to a proper form by a new filtered transformation to overcome the obstacle. The phase and amplitude of the input voltage along with the input current is estimated from the output voltage with global convergent. An application of the proposed estimator is presented in conjunction with a well-known dynamic controller. The estimator and controller performances are evaluated by some realistic simulations.


title: Exponential moments of the argument of the Riemann zeta function on the critical line

abstract: In this article, we give, under the Riemann hypothesis, an upper bound for the exponential moments of the imaginary part of the logarithm of the Riemann zeta function on the critical line. Our result, which gives information on the fluctuations of the distribution of the zeros of $\zeta$, has the same accuracy as the result obtained by Soundararajan in his paper entitled "Moments of the Riemann zeta function".


title: Marian: Fast Neural Machine Translation in C++

abstract: We present Marian, an efficient and self-contained Neural Machine Translation framework with an integrated automatic differentiation engine based on dynamic computation graphs. Marian is written entirely in C++. We describe the design of the encoder-decoder framework and demonstrate that a research-friendly toolkit can achieve high training and translation speed.


title: Geometric realization and its variants

abstract: In this paper, we present a unified approach using model category theory and an associative law to compare some classic variants of the geometric realization functor.


title: Esseen-Rozovskii type estimates for the rate of convergence in the Lindeberg theorem

abstract: We present structural improvements of Esseen's (1969) and Rozovskii's (1974) estimates for the rate of convergence in the Lindeberg theorem and also compute the appearing absolute constants. We introduce the asymptotically exact constants in the constructed inequalities and obtain upper bounds for them. We analyze the values of Esseen's, Rozovskii's, and Lyapunov's fractions, compare them pairwise and provide some extremal distributions. As an auxiliary statement, we prove a sharp inequality for the quadratic tails of an arbitrary distribution (with finite second order moment) and its convolutional symmetrization.


title: Unsupervised Correlation Analysis

abstract: Linking between two data sources is a basic building block in numerous computer vision problems. In this paper, we set to answer a fundamental cognitive question: are prior correspondences necessary for linking between different domains? One of the most popular methods for linking between domains is Canonical Correlation Analysis (CCA). All current CCA algorithms require correspondences between the views. We introduce a new method Unsupervised Correlation Analysis (UCA), which requires no prior correspondences between the two domains. The correlation maximization term in CCA is replaced by a combination of a reconstruction term (similar to autoencoders), full cycle loss, orthogonality and multiple domain confusion terms. Due to lack of supervision, the optimization leads to multiple alternative solutions with similar scores and we therefore introduce a consensus-based mechanism that is often able to recover the desired solution. Remarkably, this suffices in order to link remote domains such as text and images. We also present results on well accepted CCA benchmarks, showing that performance far exceeds other unsupervised baselines, and approaches supervised performance in some cases.


title: Enhancement of the thermoelectric efficiency in a T-shaped quantum dot system in the linear and nonlinear regimes

abstract: In the present work, we investigate the thermoelectric properties of a T-shaped double quantum dot system coupled to two metallic leads incorporating the intra-dot Coulomb interaction. We explore the role of the interference effects and Coulomb blockade on the thermoelectric efficiency of the system in the linear and nonlinear regimes. We studied as well the effect of a Van-Hove singularity of the leads density of states (DOS) at the neighborhood of the Fermi energy, a situation that can be obtained using a carbon nanotube, a graphene nano-ribbon or other contacts with one-dimensional properties. The system is studied above the Kondo temperature. The Coulomb blockade of the electronic charges is studied using the Hubbard III approximation, which properly describes the transport properties of this regime. In the linear response, our results show an enhancement of the thermopower and the figure of merit of the system. For a nonlinear situation, we calculate the thermoelectric efficiency and power output, concluding that the T-shaped double quantum dot is an efficient thermoelectric device. Moreover, we demonstrate the great importance of the DOS Van-Hove singularity at the neighborhood of the Fermi energy to obtain a very significant increase of the thermoelectric efficiency of the system.


title: The 1.5 Ms Observing Campaign on IRAS 13224-3809: X-ray Spectral Analysis I

abstract: We present a detailed spectral analysis of the recent 1.5\,Ms XMM-Newton observing campaign on the narrow line Seyfert 1 galaxy IRAS~13224$-$3809, taken simultaneously with 500\,ks of NuSTAR data. The X-ray lightcurve shows three flux peaks, registering at about 100 times the minimum flux seen during the campaign, and rapid variability with a time scale of kiloseconds. The spectra are well fit with a primary powerlaw continuum, two relativistic-blurred reflection components from the inner accretion disk with very high iron abundance, and a simple blackbody-shaped model for the remaining soft excess. The spectral variability is dominated by the power law continuum from a corona region within a few gravitational radii from the black hole. Additionally, blueshifted Ne \textsc{x}, Mg \textsc{xii}, Si \textsc{xiv} and S \textsc{xvi} absorption lines are identified in the stacked low-flux spectrum, confirming the presence of a highly ionized outflow with velocity up to $v= 0.267$ and $0.225$\,c. We fit the absorption features with \texttt{xstar} models and find a relatively constant velocity outflow through the whole observation. Finally, we replace the \texttt{bbody} and supersolar abundance reflection models by fitting the soft excess successfully with the extended reflection model \texttt{relxillD}, which allows for higher densities than the standard \texttt{relxill} model. This returns a disk electron density $n_{\rm e}>10^{18.7}$\,cm$^{-3}$ and lowers the iron abundance from $Z_{\rm Fe}=24^{+3}_{-4}Z_\odot$ with $n_{\rm e}\equiv10^{15}$\,cm$^{-3}$ to $Z_{\rm Fe}=6.6^{+0.8}_{-2.1}Z_\odot$.


title: High pressure, high temperature molecular doping of nanodiamond

abstract: The development of color centers in diamond as the basis for emerging quantum technologies has been limited by the need for ion implantation to create the appropriate defects. We present a versatile method to dope diamond without ion implantation, by synthesis of a doped amorphous carbon precursor and transformation at high temperatures and high pressures. To explore this bottom-up method for color center generation, we rationally create silicon-vacancy defects in nanodiamond and investigate them for optical pressure metrology. In addition, we show that this process can generate noble gas defects within diamond from the typically-inactive argon pressure medium, which may explain the hysteresis effects observed in other high pressure experiments and the presence of noble gases in some meteoritic nanodiamonds. Our results illustrate a general method to produce color centers in diamond, and may enable the controlled generation of designer defects.


title: Stabilizing a linear system using phone calls: when time is information

abstract: We consider the problem of stabilizing an undisturbed, scalar, linear system over a "timing" channel, namely a channel where information is communicated through the timestamps of the transmitted symbols. Each symbol transmitted from a sensor to a controller in a closed-loop system is received subject to some to random delay. The sensor can encode messages in the waiting times between successive transmissions and the controller must decode them from the inter-reception times of successive symbols. This set-up is analogous to a telephone system where a transmitter signals a phone call to a receiver through a "ring" and, after the random delay required to establish the connection; the receiver is aware of the "ring" being received. Since there is no data payload exchange between the sensor and the controller, this set-up provides an abstraction for performing event-triggering control with zero-payload rate. We show the following requirement for stabilization: for the state of the system to converge to zero in probability, the timing capacity of the channel should be, essentially, at least as large as the entropy rate of the system. Conversely, in the case the symbol delays are exponentially distributed, we show an "almost" tight sufficient condition using a coding strategy that refines the estimate of the decoded message every time a new symbol is received. Our results generalize previous zero-payload event-triggering control strategies, revealing a fundamental limit in using timing information for stabilization, independent of any transmission strategy.


title: Amorphous Germanium as a Promising Anode Material for Sodium Ion Batteries: A First Principle Study

abstract: The abundance of Sodium (Na), its low-cost, and low reduction potential provide a lucrative inexpensive, safe, and environmentally benign alternative to Lithium Ion Batteries (LIBs). The significant challenges in advancing Sodium Ion Battery (NIB) technologies lies in finding the better electrode materials. Experimental investigations revealed the real potency of Germanium (Ge) as suitable anode materials for NIBs. However, a systematic atomistic study is necessary to understand the fundamental aspects of capacity-voltage correlation, microstructural changes of Ge, as well as diffusion kinetics. We, therefore, performed the Density Functional Theory (DFT) and Ab Initio Molecular Dynamics (AIMD) simulation to investigate the sodiation-desodiation kinetics in Germanium-Sodium system (Na64Ge64). We analyzed the intercalation potential and capacity correlation for intermediate equilibrium structures and compared our data with the experimental results. Effect of sodiation on inter-atomic distances within Na-Ge system is analyzed by means of Pair Correlation Function (PCF). This provides insight into possible microstructural changes taking place during sodiation of amorphous Ge (a-Ge). We further investigated the diffusivity of sodium in a-Ge electrode material and analyzed the volume expansion trend for Na64Ge64 electrode system. Our computational results provide the fundamental insight into the atomic scale and help experimentalists design Ge based NIBs for real-life applications.


title: Bayesian Mosaic: Parallelizable Composite Posterior

abstract: This paper proposes Bayesian mosaic, a parallelizable composite posterior, for scalable Bayesian inference on a broad class of multivariate discrete data models. Sampling is embarrassingly parallel since Bayesian mosaic is a multiplication of component posteriors that can be independently sampled from. Analogous to composite likelihood methods, these component posteriors are based on univariate or bivariate marginal densities. Utilizing the fact that the score functions of these densities are unbiased, we show that Bayesian mosaic is consistent and asymptotically normal under mild conditions. Since the evaluation of univariate or bivariate marginal densities can rely on numerical integration, sampling from Bayesian mosaic bypasses the traditional data augmented Markov chain Monte Carlo (DA-MCMC) method, which has a provably slow mixing rate when data are imbalanced. Moreover, we show that sampling from Bayesian mosaic has better scalability to large sample size than DA-MCMC. The method is evaluated via simulation studies and an application on a citation count dataset.


title: Tuning selective reflection of light by surface anchoring in cholesteric cells with oblique helicoidal structures

abstract: Selective reflection of light by oblique helicoidal cholesteric (ChOH) can be tuned in a very broad spectral range by an applied electric field. In this work, we demonstrate that the peak wavelength of the selective reflection can be controlled by surface alignment of the director in sandwich cells. The peak wavelength is blue-shifted when the surface alignment is perpendicular to the bounding plates and red-shifted when it is planar. The effect is explained by the electric field redistribution within the cell caused by spatially varying heliconical ChOH structure. The observed phenomenon can be used in sensing applications.


title: Near-Optimal Recovery of Linear and N-Convex Functions on Unions of Convex Sets

abstract: In this paper we build provably near-optimal, in the minimax sense, estimates of linear forms and, more generally, "$N$-convex functionals" (the simplest example being the maximum of several fractional-linear functions) of unknown "signal" known to belong to the union of finitely many convex compact sets from indirect noisy observations of the signal. Our main assumption is that the observation scheme in question is good in the sense of A. Goldenshluger, A. Juditsky, A. Nemirovski, Electr. J. Stat. 9(2) (2015), arXiv:1311.6765, the simplest example being the Gaussian scheme where the observation is the sum of linear image of the signal and the standard Gaussian noise. The proposed estimates, same as upper bounds on their worst-case risks, stem from solutions to explicit convex optimization problems, making the estimates "computation-friendly."


title: Social learning for resilient data fusion against data falsification attacks

abstract: Internet of Things (IoT) suffers from vulnerable sensor nodes, which are likely to endure data falsification attacks following physical or cyber capture. Moreover, centralized decision-making and data fusion schemes commonly used by these networks turn these decision points into single points of failure, which are likely to be exploited by smart attackers. In order to face this serious security thread, we propose a novel scheme that enables distributed data aggregation and decision-making by following social learning principles. Our proposed scheme makes sensor nodes to act resembling the manners of agents within a social network. We analytically examine how local actions of individual agents can propagate through the whole network, affecting the collective behaviour. Finally, we show how social learning can enable network resilience against data falsification attacks, even when a significant portion of the nodes have been compromised by the adversary.


title: Fully integrated ultra-low power Kerr comb generation

abstract: Optical frequency combs are broadband sources that offer mutually-coherent, equidistant spectral lines with unprecedented precision in frequency and timing for an array of applications. Kerr frequency combs in microresonators require a single-frequency pump laser and have offered the promise of highly compact, scalable, and power efficient devices. Here, we realize this promise by demonstrating the first fully integrated Kerr frequency comb source through use of extremely low-loss silicon nitride waveguides that form both the microresonator and an integrated laser cavity. Our device generates low-noise soliton-modelocked combs spanning over 100 nm using only 98 mW of electrical pump power. Our design is based on a novel dual-cavity configuration that demonstrates the flexibility afforded by full integration. The realization of a fully integrated Kerr comb source with ultra-low power consumption brings the possibility of highly portable and robust frequency and timing references, sensors, and signal sources. It also enables new tools to investigate the dynamics of comb and soliton generation through close chip-based integration of microresonators and lasers.


title: Evolution and Limiting Configuration of a Long-Range Schelling-Type Spin System

abstract: We consider a long-range interacting particle system in which binary particles -- whose initial states are chosen uniformly at random -- are located at the nodes of a flat torus $(\mathbb{Z}/h\mathbb{Z})^2$. Each node of the torus is connected to all the nodes located in an $l_\infty$-ball of radius $w$ in the toroidal space centered at itself and we assume that $h$ is exponentially larger than $w^2$. Based on the states of the neighboring particles and on the value of a common intolerance threshold $\tau$, every particle is labeled "stable," or "unstable." Every unstable particle that can become stable by flipping its state is labeled "p-stable." Finally, unstable particles that remained p-stable for a random, independent and identically distributed waiting time, flip their state and become stable. When the waiting times have an exponential distribution and $\tau \le 1/2$, this model is equivalent to a Schelling model of self-organized segregation in an open system, a zero-temperature Ising model with Glauber dynamics, or an Asynchronous Cellular Automaton (ACA) with extended Moore neighborhoods. We first prove a shape theorem for the spreading of the "affected" nodes of a given state -- namely nodes on which a particle of a given state would be p-stable. As $w \rightarrow \infty$, this spreading starts with high probability (w.h.p.) from any $l_\infty$-ball in the torus having radius $w/2$ and containing only affected nodes, and continues for a time that is at least exponential in the cardinalilty of the neighborhood of interaction $N = (2w+1)^2$. Second, we show that when the process reaches a limiting configuration and no more state changes occur, for all ${\tau \in (\tau^*,1-\tau^*) \setminus \{1/2\}}$ where ${\tau^* \approx 0.488}$, w.h.p. any particle is contained in a large "monochromatic ball" of cardinality exponential in $N$.


title: Linking between singular locus and regular fibers

abstract: Given a null-cobordant oriented framed link $L$ in a closed oriented $3$--manifold $M$, we determine those links in $M \setminus L$ which can be realized as the singular point set of a generic map $M \to \mathbb{R}^2$ that has $L$ as an oriented framed regular fiber. Then, we study the linking behavior between the singular point set and regular fibers for generic maps of $M$ into $\mathbb{R}^2$.


title: Stable set polytopes and their 1-skeleta

abstract: We characterize the edges of two classes of $0/1$-polytopes. The first class corresponds to the stable set polytope of a graph $G$ and includes chain polytopes of posets, some instances of matroid independence polytopes, as well as newly-defined polytopes whose vertices correspond to noncrossing set partitions. In analogy with matroid basis polytopes, the second class is obtained by considering the stable sets of maximal cardinality. We investigate how the class of $0/1$-polytopes whose edges satisfy our characterization is situated within the hierarchy of $0/1$-polytopes. This includes the class of matroid polytopes. We also study the diameter of these classes of polytopes and improve slightly on the Hirsch bound.


title: Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments

abstract: In the NIPS 2017 Learning to Run challenge, participants were tasked with building a controller for a musculoskeletal model to make it run as fast as possible through an obstacle course. Top participants were invited to describe their algorithms. In this work, we present eight solutions that used deep reinforcement learning approaches, based on algorithms such as Deep Deterministic Policy Gradient, Proximal Policy Optimization, and Trust Region Policy Optimization. Many solutions use similar relaxations and heuristics, such as reward shaping, frame skipping, discretization of the action space, symmetry, and policy blending. However, each of the eight teams implemented different modifications of the known algorithms.


title: New Y and T dwarfs from WISE identified by Methane Imaging

abstract: We identify new Y- and T-type brown dwarfs from the WISE All Sky data release using images obtained in filters that divide the traditional near-infrared H and J bands into two halves -- specifically CH4s & CH4l in the H and J2 & J3 in the J. This proves to be very effective at identifying cool brown dwarfs via the detection of their methane absorption, as well as providing preliminary classification using methane colours and WISE-to-near-infrared colours. New and updated calibrations between T/Y spectral types and CH4s-CH4l, J3-W2, and CH4s-W2 colours are derived, producing classification estimates good to a few spectral sub-types. We present photometry for a large sample of T and Y dwarfs in these filters, together with spectroscopy for 23 new ultra-cool dwarfs - two Y dwarfs and twenty one T dwarfs. We identify a further 8 new cool brown dwarfs, which we have high confidence are T dwarfs based on their methane photometry. We find that, for objects observed on a 4m-class telescope at J band magnitudes of ~20 or brighter, CH4s-CH4l is the more powerful colour for detecting objects and then estimating spectral types. Due to the lower sky background in the J-band, the J3 and J2 bands are more useful for identifying fainter cool dwarfs at J>22. The J3-J2 colour is poor at estimating spectral types. But fortunately, once J3-J2 confirms that an object is a cool dwarf, the J3-W2 colour is very effective at estimating approximate spectral types.


title: Analysis and calibration of star sensor's image plane displacement

abstract: Star sensor's image plane can have three kinds of displacement after a long time working in space, and the displacements are the principal point drift, incline displacement and rotation displacement. These displacements can severely decrease star sensor's measuring accuracy, therefore it's necessary to analyze and calibrate them. The previous researches have only considered the principal point drift of image plane, which is three-degree-of-freedom. In contrast, the image plane displacements under the rest three degrees of freedom, that are the incline displacement and the rotation displacement, have been modeled in this paper. These two kinds of displacement's influences on star sensor's accuracy have been analyzed. And the necessity to calibrate them has been pointed out. At last, the Extended Kalman Filter has been used to on-orbit calibrate the six-degree-of-freedom image plane displacement. And the simulation results reveal that the on-orbit calibration algorithm can effectively calibrate the image plane displacement of star sensor. The measuring accuracy of star sensor has been increased to 0.23'' after the calibration. Therefore the new six-degree-of-freedom image plane displacement model has made up the deficiency of the conventional displacement model and enhance the performance of star sensor greatly.


title: Fluctuations in the $^{235}$U(n,f) cross section

abstract: We examine the autocorrelation function of the $^{235}$U(n,f) reaction with a view to quantify the presence of intermediate structure in the cross section. Fluctuations due to compound nucleus resonances on the eV energy scale are clearly visible up to $\sim100$ keV neutron energies. Structure on the one-keV energy scale is not present as a systematic feature of the correlation function, although it is present in the data covering the region around 20 keV.


title: Constraining the ejecta for the nonthermal emission from GW170817

abstract: We consider a simple model for the nonthermal emission from GW170817, in which a quasi-spherical ejecta is released in the merger event, with the kinetic energy distributed over the momentum as $E(>\gamma\beta)\propto(\gamma\beta)^{-k}$. The ejecta drives a shock into the medium and gives rise to synchrotron radiation. Using multi-band observations we constrain that $k\approx6.7$; (assuming medium density of $\sim10^{-2}\rm cm^{-3}$ and postshock magnetic field carries a fraction $10^{-5}-10^{-3}$ of the postshock internal energy) the total kinetic energy is $(0.3-5)\times10^{51}$erg; the slowest ejecta velocity is $\sim(0.7-0.8)c$; and the fastest ejecta has a Lorentz factor of $\sim4-7$. We conclude that the sub-relativistic dynamical ejecta responsible to the kilonova cannot produce the nonthermal emission. The co-existence of the nonthermal and thermal kilonova emission implies that two corresponding ejecta are ejected at different angles.


title: Relative twisted homology and cohomology groups associated with Lauricella's $F_D$

abstract: We introduce relative twisted homology and cohomology groups associated with Euler type integrals of solutions to Lauricella's system $F_D(a,b,c)$ of hypergeometric differential equations. We define an intersection form between relative twisted homology groups and that between relative twisted cohomology groups, and show their compatibility. We prove that the relative twisted homology group is canonically isomorphic to the space of local solutions to $F_D(a,b,c)$ for any parameters $a,b,c$. Through this isomorphism, we study $\cF_D(a,b,c)$ by the relative twisted homology and cohomology groups and the intersection forms without any conditions on $a,b,c$.


title: The shift bound for abelian codes and generalizations of the Donoho-Stark uncertainty principle

abstract: Let $G$ be a finite abelian group. If $f: G\rightarrow \bC$ is a nonzero function with Fourier transform $\hf$, the Donoho-Stark uncertainty principle states that $|\supp(f)||\supp(\hf)|\geq |G|$. The purpose of this paper is twofold. First, we present the shift bound for abelian codes with a streamlined proof. Second, we use the shifting technique to prove a generalization and a sharpening of the Donoho-Stark uncertainty principle. In particular, the sharpened uncertainty principle states, with notation above, that $|\supp(f)||\supp(\hf)|\geq |G|+|\supp(f)|-|H(\supp(f))|$, where $H(\supp(f))$ is the stabilizer of $\supp(f)$ in $G$.


title: Long Time Asymptotics of Heat Kernels and Brownian Winding Numbers on Manifolds with Boundary

abstract: Let M be a compact Riemannian manifold with smooth boundary. We obtain the exact long time asymptotic behaviour of the heat kernel on abelian coverings of M with mixed Dirichlet and Neumann boundary conditions. As an application, we study the long time behaviour of the abelianized winding of reflected Brownian motions in M. In particular, we prove a Gaussian type central limit theorem showing that when rescaled appropriately, the fluctuations of the abelianized winding are normally distributed with an explicit covariance matrix.


title: On graphs with smallest eigenvalue at least -3 and their lattices

abstract: In this paper, we show that a connected graph with smallest eigenvalue at least -3 and large enough minimal degree is 2-integrable. This result generalizes a 1977 result of Hoffman for connected graphs with smallest eigenvalue at least -2.


title: Differentially Private Hierarchical Count-of-Counts Histograms

abstract: We consider the problem of privately releasing a class of queries that we call hierarchical count-of-counts histograms. Count-of-counts histograms partition the rows of an input table into groups (e.g., group of people in the same household), and for every integer j report the number of groups of size j. Hierarchical count-of-counts queries report count-of-counts histograms at different granularities as per hierarchy defined on an attribute in the input data (e.g., geographical location of a household at the national, state and county levels). In this paper, we introduce this problem, along with appropriate error metrics and propose a differentially private solution that generates count-of-counts histograms that are consistent across all levels of the hierarchy.


title: Quantum annealing and thermalization: insights from integrability

abstract: We solve a model that has basic features that are desired for quantum annealing computations: entanglement in the ground state, controllable annealing speed, ground state energy separated by a gap during the whole evolution, and a programmable computational problem that is encoded by parameters of the Ising part of the spin Hamiltonian. Our solution enables exact nonperturbative characterization of final nonadiabatic excitations, including a scaling of their number with the annealing rate and the system size. We prove that quantum correlations can accelerate computations and, at the end of the annealing protocol, lead to the perfect Gibbs distribution of all microstates.


title: Twisted boundary energy and low energy excitation of the XXZ spin torus at the ferromagnetic region

abstract: We investigate the thermodynamic limit of the one-dimensional ferromagnetic XXZ model with twisted (or antiperiodic ) boundary condition. It is shown that the distribution of the Bethe roots of the inhomogeneous Bethe Ansatz equations (BAEs) for the ground state as well as for the low-lying excited states satisfy the string hypothesis, although the inhomogeneous BAEs are not in the standard product form which has made the study of the corresponding thermodynamic limit nontrivial. We also obtain the twisted boundary energy induced by the non-trivial twisted boundary conditions in the thermodynamic limit.


title: TipsC: Tips and Corrections for programming MOOCs

abstract: With the widespread adoption of MOOCs in academic institutions, it has become imperative to come up with better techniques to solve the tutoring and grading problems posed by programming courses. Programming being the new 'writing', it becomes a challenge to ensure that a large section of the society is exposed to programming. Due to the gradient in learning abilities of students, the course instructor must ensure that everyone can cope up with the material, and receive adequate help in completing assignments while learning along the way. We introduce TipsC for this task. By analyzing a large number of correct submissions, TipsC can search for correct codes resembling a given incorrect solution. Without revealing the actual code, TipsC then suggests changes in the incorrect code to help the student fix logical runtime errors. In addition, this also serves as a cluster visualization tool for the instructor, revealing different patterns in user submissions. We evaluated the effectiveness of TipsC's clustering algorithm on data collected from previous offerings of an introductory programming course conducted at IIT Kanpur where the grades were given by human TAs. The results show the weighted average variance of marks for clusters when similar submissions are grouped together is 47% less compared to the case when all programs are grouped together.


title: Dark SU(2) Antecedents of the U(1) Higgs Model

abstract: The original spontaneously broken U(1) gauge model with one complex Higgs scalar field has been known in recent years as a possible prototype dark-matter model. Its antecedents in the context of SU(2) are discussed. Three specific examples are described, with one dubbed "quantum scotodynamics".


title: Threshold Effects and the Line Shape of the X(3872) in Effective Field Theory

abstract: Latest measurements suggest that the X(3872) mass lies less than 200 keV away from the D0-Dbar0* threshold, reenforcing its interpretation as a loosely-bound mesonic molecule. This observation implies that in processes like D0-Dbar0-pi0 production, threshold effects could disguise the actual pole position of the X(3872). We propose a new effective field theory with D0, Dbar0 and pi0 degrees of freedom for the X(3872), considering Galilean invariance to be an exact symmetry. The D0* enters as a D0-pi0 p-wave resonance, allowing for a comprehensive study of the influence of pion interactions on the X(3872) width. We calculate relations between the mass of the X(3872), its width, and its line shape in D0-Dbar0-pi0 production up to next-to-leading order. Our results provide a tool for the extraction of the X(3872) pole position from the experimental data near threshold.


title: End-to-End Detection and Re-identification Integrated Net for Person Search

abstract: This paper proposes a pedestrian detection and re-identification (re-id) integration net (I-Net) in an end-to-end learning framework. The I-Net is used in real-world video surveillance scenarios, where the target person needs to be searched in the whole scene videos, while the annotations of pedestrian bounding boxes are unavailable. By comparing to the OIM which is a work for joint detection and re-id, we have three distinct contributions. First, we introduce a Siamese architecture of I-Net instead of 1 stream, such that a verification task can be implemented. Second, we propose a novel on-line pairing loss (OLP) and hard example priority softmax loss (HEP), such that only the hard negatives are posed much attention in loss computation. Third, an on-line dictionary for negative samples storage is designed in I-Net without recording the positive samples. We show our result on person search datasets, the gap between detection and re-identification is narrowed. The superior performance can be achieved.


title: Magnetism and high-magnetic field magnetization in alkali superoxide CsO2

abstract: Alkali superoxide CsO2 is one of candidates for the spin-1/2 one-dimensional (1D) antiferromagnet, which may be sequentially caused by an ordering of the pi-orbital of O2- molecule below TS ~ 70 K. Here, we report on the magnetism in powder CsO2 and high-magnetic field magnetization measurements in pulsed-magnetic fields of up to 60 T. We obtained the low temperature phase diagram around the antiferromagnetic ordering temperature TN = 9.6 K under the magnetic field. At 1.3 K, remarkable up-turn curvature in the magnetization around a saturation field of ~ 60 T is found, which corresponds to the spin-1/2. We will compare it with the theoretical calculation.


title: Containment Relations among Spherical Subgroups

abstract: A closed subgroup $H$ of a connected reductive group $G$ is called $\textit{spherical}$ if a Borel subgroup in $G$ has an open orbit on $G/H$. We give a combinatorial characterization for a spherical subgroup to be contained in another one which generalizes previous work by Knop. As an application, we compute the Luna datum of the identity component of a spherical subgroup which yields a characterization of connectedness for spherical subgroups.


title: Recall Traces: Backtracking Models for Efficient Reinforcement Learning

abstract: In many environments only a tiny subset of all states yield high reward. In these cases, few of the interactions with the environment provide a relevant learning signal. Hence, we may want to preferentially train on those high-reward states and the probable trajectories leading to them. To this end, we advocate for the use of a backtracking model that predicts the preceding states that terminate at a given high-reward state. We can train a model which, starting from a high value state (or one that is estimated to have high value), predicts and sample for which the (state, action)-tuples may have led to that high value state. These traces of (state, action) pairs, which we refer to as Recall Traces, sampled from this backtracking model starting from a high value state, are informative as they terminate in good states, and hence we can use these traces to improve a policy. We provide a variational interpretation for this idea and a practical algorithm in which the backtracking model samples from an approximate posterior distribution over trajectories which lead to large rewards. Our method improves the sample efficiency of both on- and off-policy RL algorithms across several environments and tasks.


title: Reaction-subdiffusion on moving fluids

abstract: To capture the dynamic behaviors of reaction-subdiffusion in flow fields, in the present paper we analyze a simple monomolecular conversion A $\rightarrow$ B. We derive the corresponding master equations for the distribution of A and B particles in continuous time random walks scheme. The new results are then used to obtain the generalizations of advection-diffusion reaction equation, in which the diffusion and advection operators both depend on the reaction rate.


title: Insights into End-to-End Learning Scheme for Language Identification

abstract: A novel interpretable end-to-end learning scheme for language identification is proposed. It is in line with the classical GMM i-vector methods both theoretically and practically. In the end-to-end pipeline, a general encoding layer is employed on top of the front-end CNN, so that it can encode the variable-length input sequence into an utterance level vector automatically. After comparing with the state-of-the-art GMM i-vector methods, we give insights into CNN, and reveal its role and effect in the whole pipeline. We further introduce a general encoding layer, illustrating the reason why they might be appropriate for language identification. We elaborate on several typical encoding layers, including a temporal average pooling layer, a recurrent encoding layer and a novel learnable dictionary encoding layer. We conducted experiment on NIST LRE07 closed-set task, and the results show that our proposed end-to-end systems achieve state-of-the-art performance.


title: Attention-based Ensemble for Deep Metric Learning

abstract: Deep metric learning aims to learn an embedding function, modeled as deep neural network. This embedding function usually puts semantically similar images close while dissimilar images far from each other in the learned embedding space. Recently, ensemble has been applied to deep metric learning to yield state-of-the-art results. As one important aspect of ensemble, the learners should be diverse in their feature embeddings. To this end, we propose an attention-based ensemble, which uses multiple attention masks, so that each learner can attend to different parts of the object. We also propose a divergence loss, which encourages diversity among the learners. The proposed method is applied to the standard benchmarks of deep metric learning and experimental results show that it outperforms the state-of-the-art methods by a significant margin on image retrieval tasks.


title: Suppression of the Spectral Weight of Topological Surface States on the Nanoscale via Local Symmetry Breaking

abstract: In topological crystalline insulators the topological conducting surface states are protected by crystal symmetry, in principle making it possible to pattern nanoscale insulating and conductive motifs solely by breaking local symmetries on an otherwise homogenous, single-phase material. We show using scanning tunneling microscopy/spectroscopy that defects that break local symmetry of SnTe suppress electron tunneling over an energy range as large as the bulk band gap, an order of magnitude larger than that produced globally via magnetic fields or uniform structural perturbations. Complementary ab initio calculations show how local symmetry breaking obstructs topological surface states as shown by a threefold reduction of the spectral weight of the topological surface states. The finding highlights the potential benefits of manipulating the surface morphology to create devices that take advantage of the unique properties of topological surface states and can operate at practical temperatures.


title: RW Dor: A G-type shallow contact binary with new orbital period investigation

abstract: New CCD photometric light curves of short period (P=0.285d) eclipsing binary RW Dor are presented. The observations performed with the PROMPT-8 robotic telescope at CTIO in Chile from March 2015 to March 2017. The other eclipse timings were obtained from the 2.15-m JS telescope at CASLEO, San Juan, Argentina in December 2011. By light-curve analysis, it is found that RW Dor is a W-type shallow contact binary with a fill-out factor $f \sim 11\%$ and high mass ratio $q \sim 1.587$ (1/q = 0.63), where the hotter component is the less massive one ($M_1 \sim 0.52M_{\odot}$ and $M_2 \sim 0.82M_{\odot}$). For orbital period investigation, the new fifteen eclipse times and those in previous published were compiled. Based on $O-C$ analysis with very weak evidence suggests that a long-term period decrease with a rate of $\mathrm{d}P/\mathrm{d}t = -9.61\times10^{-9}$ d $\textrm{yr}^{-1}$ is superimposed on a cyclic variation ($A_3$ = 0.0054 days and $P_3$ = 49.9 yrs). The long-term period decrease can be interpreted as mass transfer from the more massive component to the less massive one or combine with the angular momentum loss (AML) via magnetic braking. In addition, with the marginal contact phase, high mass ratio (1/q $>$ 0.4) and the long-term period decrease, all suggest that RW Dor is a newly formed contact binary via a Case A mass transfer and it will evolve into a deeper normal contact binary. If the cyclic change is correct, the light-travel time effect via the presence of a cool third body will be more plausible to explain for this.


title: A Novel Learnable Dictionary Encoding Layer for End-to-End Language Identification

abstract: A novel learnable dictionary encoding layer is proposed in this paper for end-to-end language identification. It is inline with the conventional GMM i-vector approach both theoretically and practically. We imitate the mechanism of traditional GMM training and Supervector encoding procedure on the top of CNN. The proposed layer can accumulate high-order statistics from variable-length input sequence and generate an utterance level fixed-dimensional vector representation. Unlike the conventional methods, our new approach provides an end-to-end learning framework, where the inherent dictionary are learned directly from the loss function. The dictionaries and the encoding representation for the classifier are learned jointly. The representation is orderless and therefore appropriate for language identification. We conducted a preliminary experiment on NIST LRE07 closed-set task, and the results reveal that our proposed dictionary encoding layer achieves significant error reduction comparing with the simple average pooling.


title: Refining the partition for multifold conic optimization problems

abstract: In this paper we give a unified treatment of two different definitions of complementarity partition of multifold conic programs introduced independently in [J. F. Bonnans and H. Ram\'irez C., Math. Program. 104 (2005), no. 2-3, Ser. B, 205--227] for conic optimization problems, and in [J. Pe\~na and V. Roshchina, Math. Program. 142 (2013), no 1-2, Ser. A, 579--589] for homogeneous feasibility problems. We show that both can be treated within the same unified geometric framework, and extend the latter notion to optimization problems. We also show that the two partitions do not coincide, and their intersection gives a seven-set index partition. Finally, we demonstrate that the partitions are preserved under the application of nonsingular linear transformations, and in particular that a standard conversion of a second-order cone program into a semidefinite programming problem preserves the partitions.


title: Joint Tx Power Allocation and Rx Power Splitting for SWIPT System with Multiple Nonlinear Energy Harvesting Circuits

abstract: We study the joint transmit (Tx) power allocation and receive (Rx) power splitting for simultaneous wireless information and power transfer (SWIPT). Considering the practical scenario of nonlinear energy harvesting (EH), we adopt the realistic nonlinear EH model for analysis. To address the critical nonlinearity issue due to the saturation, we propose to use multiple EH circuits in parallel. An important problem is to maximize the achievable rate by jointly optimizing Tx power allocation and Rx power splitting, which is a nonconvex problem. In this paper, we first derive the optimal solution for any number of EH circuits. Then we study how the number of EH circuits required to avoid the saturation should be determined. From the obtained results, we draw useful and interesting insights into the SWIPT system with nonlinear EH. Numerical results demonstrate that employing multiple EH circuits substantially enhances the SWIPT performance with nonlinear EH.


title: Global Pseudo-differential Operators on the Quantum Group $SU_q(2)$

abstract: In this paper, following [1], we develop the theory of global pseudo-differential operators defined on the quantum group $SU_q(2)$, and provide some spectral results concerning these operators. We define a graduation for this algebra of pseudo-differential operators in terms of its natural Fourier decomposition and, using the infinite-dimensional representations introduced by Woronowicz [15], we also provide a $*$-representation of $SU_q(2)$ as bounded pseudo-differential operators acting on $L^2(\mathbb{S}^1)$.


title: Low-Latency Video Semantic Segmentation

abstract: Recent years have seen remarkable progress in semantic segmentation. Yet, it remains a challenging task to apply segmentation techniques to video-based applications. Specifically, the high throughput of video streams, the sheer cost of running fully convolutional networks, together with the low-latency requirements in many real-world applications, e.g. autonomous driving, present a significant challenge to the design of the video segmentation framework. To tackle this combined challenge, we develop a framework for video semantic segmentation, which incorporates two novel components: (1) a feature propagation module that adaptively fuses features over time via spatially variant convolution, thus reducing the cost of per-frame computation; and (2) an adaptive scheduler that dynamically allocate computation based on accuracy prediction. Both components work together to ensure low latency while maintaining high segmentation quality. On both Cityscapes and CamVid, the proposed framework obtained competitive performance compared to the state of the art, while substantially reducing the latency, from 360 ms to 119 ms.


title: $L^\infty$- and $W^{1,\infty}$-error estimates of linear finite element method for Neumann boundary value problems in a smooth domain

abstract: Pointwise error analysis of the linear finite element approximation for $-\Delta u + u = f$ in $\Omega$, $\partial_n u = \tau$ on $\partial\Omega$, where $\Omega$ is a bounded smooth domain in $\mathbb R^N$, is presented. We establish $O(h^2|\log h|)$ and $O(h)$ error bounds in the $L^\infty$- and $W^{1,\infty}$-norms respectively, by adopting the technique of regularized Green's functions combined with local $H^1$- and $L^2$-estimates in dyadic annuli. Since the computational domain $\Omega_h$ is only polyhedral, one has to take into account non-conformity of the approximation caused by the discrepancy $\Omega_h \neq \Omega$. In particular, the so-called Galerkin orthogonality relation, utilized three times in the proof, does not exactly hold and involves domain perturbation terms (or boundary-skin terms), which need to be addressed carefully. A numerical example is provided to confirm the theoretical result.


title: Securing Infrastructure Facilities: When does proactive defense help?

abstract: Infrastructure systems are increasingly facing new security threats due to the vulnerabilities of cyber-physical components that support their operation. In this article, we investigate how the infrastructure operator (defender) should prioritize the investment in securing a set of facilities in order to reduce the impact of a strategic adversary (attacker) who can target a facility to increase the overall usage cost of the system. We adopt a game-theoretic approach to model the defender-attacker interaction and study two models: normal-form game -- where both players move simultaneously; and sequential game -- where attacker moves after observing the defender's strategy. For each model, we provide a complete characterization of how the set of facilities that are secured by the defender in equilibrium vary with the costs of attack and defense. Importantly, our analysis provides a sharp condition relating the cost parameters for which the defender has the first mover advantage. Specifically, we show that to fully deter the attacker from targeting any facility, the defender needs to proactively secure all "vulnerable facilities" at an appropriate level of effort. We illustrate the outcome of the attacker-defender interaction on a simple transportation network. We also suggest a dynamic learning setup to understand how this outcome can affect the ability of imperfectly informed users to make their decisions about using the system in the post-attack stage.


title: Bridging the Gap Between 2D and 3D Organ Segmentation with Volumetric Fusion Net

abstract: There has been a debate on whether to use 2D or 3D deep neural networks for volumetric organ segmentation. Both 2D and 3D models have their advantages and disadvantages. In this paper, we present an alternative framework, which trains 2D networks on different viewpoints for segmentation, and builds a 3D Volumetric Fusion Net (VFN) to fuse the 2D segmentation results. VFN is relatively shallow and contains much fewer parameters than most 3D networks, making our framework more efficient at integrating 3D information for segmentation. We train and test the segmentation and fusion modules individually, and propose a novel strategy, named cross-cross-augmentation, to make full use of the limited training data. We evaluate our framework on several challenging abdominal organs, and verify its superiority in segmentation accuracy and stability over existing 2D and 3D approaches.


title: Generative Spatiotemporal Modeling Of Neutrophil Behavior

abstract: Cell motion and appearance have a strong correlation with cell cycle and disease progression. Many contemporary efforts in machine learning utilize spatio-temporal models to predict a cell's physical state and, consequently, the advancement of disease. Alternatively, generative models learn the underlying distribution of the data, creating holistic representations that can be used in learning. In this work, we propose an aggregate model that combine Generative Adversarial Networks (GANs) and Autoregressive (AR) models to predict cell motion and appearance in human neutrophils imaged by differential interference contrast (DIC) microscopy. We bifurcate the task of learning cell statistics by leveraging GANs for the spatial component and AR models for the temporal component. The aggregate model learned results offer a promising computational environment for studying changes in organellar shape, quantity, and spatial distribution over large sequences.


title: The Probability of Intransitivity in Dice and Close Elections

abstract: We study the phenomenon of intransitivity in models of dice and voting. First, we follow a recent thread of research for $n$-sided dice with pairwise ordering induced by the probability, relative to $1/2$, that a throw from one die is higher than the other. We build on a recent result of Polymath showing that three dice with i.i.d. faces drawn from the uniform distribution on $\{1,\ldots,n\}$ and conditioned on the average of faces equal to $(n+1)/2$ are intransitive with asymptotic probability $1/4$. We show that if dice faces are drawn from a non-uniform continuous mean zero distribution conditioned on the average of faces equal to $0$, then three dice are transitive with high probability. We also extend our results to stationary Gaussian dice, whose faces, for example, can be the fractional Brownian increments with Hurst index $H\in(0,1)$. Second, we pose an analogous model in the context of Condorcet voting. We consider $n$ voters who rank $k$ alternatives independently and uniformly at random. The winner between each two alternatives is decided by a majority vote based on the preferences. We show that in this model, if all pairwise elections are close to tied, then the asymptotic probability of obtaining any tournament on the $k$ alternatives is equal to $2^{-k(k-1)/2}$, which markedly differs from known results in the model without conditioning. We also explore the Condorcet voting model where methods other than simple majority are used for pairwise elections. We investigate some natural definitions of "close to tied" for general functions and exhibit an example where the distribution over tournaments is not uniform under those definitions.


title: A Hydrodynamic Interpretation of Quantum Mechanics via Turbulence

abstract: A stochastic Euler equation is proposed, describing the motion of a particle density, forced by the random action of virtual photons in vacuum. After time averaging, the Euler equation is reduced to the Reynolds equation, well studied in turbulent hydrodynamics. It is shown that the average pressure is nonlocal and the magnitude of the turbulent flow obeys the Fick law. Using the Madelung transformation, the Schrodinger equation is derived without any other assumptions.


title: The dynamics of partial inverse semigroup actions

abstract: Given an inverse semigroup $S$ endowed with a partial action on a topological space $X$, we construct a groupoid of germs $S\ltimes X$ in a manner similar to Exel's groupoid of germs, and similarly a partial action of $S$ on an algebra $A$ induces a crossed product $A\rtimes S$. We then prove, in the setting of partial actions, that if $X$ is locally compact Hausdorff and zero-dimensional, then the Steinberg algebra of the groupoid of germs $S\ltimes X$ is isomorphic to the crossed product $A_R(X)\rtimes S$, where $A_R(X)$ is the Steinberg algebra of $X$. We also prove that the converse holds, that is, that under natural hypotheses, crossed products of the form $A_R(X)\rtimes S$ are Steinberg algebras of appropriate groupoids of germs of the form $S\ltimes X$. We introduce a new notion of topologically principal partial actions, which correspond to topologically principal groupoids of germs, and study orbit equivalence for these actions in terms of isomorphisms of the corresponding groupoids of germs. This generalizes previous work of the first-named author as well as from others, which dealt mostly with global actions of semigroups or partial actions of groups. We finish the article by comparing our notion of orbit equivalence of actions and orbit equivalence of graphs.


title: Analyzing and characterizing political discussions in WhatsApp public groups

abstract: We present a thorough characterization of what we believe to be the first significant analysis of the behavior of groups in WhatsApp in the scientific literature. Our characterization of over 270,000 messages and about 7,000 users spanning a 28-day period is done at three different layers. The message layer focuses on individual messages, each of which is the result of specific posts performed by a user. The user layer characterizes the user actions while interacting with a group. The group layer characterizes the aggregate message patterns of all users that participate in a group. We analyze 81 public groups in WhatsApp and classify them into two categories, political and non-political groups according to keywords associated with each group. Our contributions are two-fold. First, we introduce a framework and a number of metrics to characterize the behavior of communication groups in mobile messaging systems such as WhatsApp. Second, our analysis underscores a Zipf-like profile for user messages in political groups. Also, our analysis reveals that Whatsapp messages are multimedia, with a combination of different forms of content. Multimedia content (i.e., audio, image, and video) and emojis are present in 20% and 11.2% of all messages respectively. Political groups use more text messages than non-political groups. Second, we characterize novel features that represent the behavior of a public group, with multiple conversational turns between key members, with the participation of other members of the group.


title: Localization length exponent in two models of quantum Hall plateau transitions

abstract: Motivated by the recent numerical studies on the Chalker-Coddington network model that found a larger-than-expected critical exponent of the localization length characterizing the integer quantum Hall plateau transitions, we revisited the exponent calculation in the continuum model and in the lattice model, both projected to the lowest Landau level or subband. Combining scaling results with or without the corrections of an irrelevant length scale, we obtain $\nu = 2.48 \pm 0.02$, which is larger but still consistent with the earlier results in the two models, unlike what was found recently in the network model. The scaling of the total number of conducting states, as determined by the Chern number calculation, is accompanied by an effective irrelevant length scale exponent $y = 4.3$ in the lattice model, indicating that the irrelevant perturbations are insignificant in the topology number calculation.


title: Towards Scaling Blockchain Systems via Sharding

abstract: Existing blockchain systems scale poorly because of their distributed consensus protocols. Current attempts at improving blockchain scalability are limited to cryptocurrency. Scaling blockchain systems under general workloads (i.e., non-cryptocurrency applications) remains an open question. In this work, we take a principled approach to apply sharding, which is a well-studied and proven technique to scale out databases, to blockchain systems in order to improve their transaction throughput at scale. This is challenging, however, due to the fundamental difference in failure models between databases and blockchain. To achieve our goal, we first enhance the performance of Byzantine consensus protocols, by doing so we improve individual shards' throughput. Next, we design an efficient shard formation protocol that leverages a trusted random beacon to securely assign nodes into shards. We rely on trusted hardware, namely Intel SGX, to achieve high performance for both consensus and shard formation protocol. Third, we design a general distributed transaction protocol that ensures safety and liveness even when transaction coordinators are malicious. Finally, we conduct an extensive evaluation of our design both on a local cluster and on Google Cloud Platform. The results show that our consensus and shard formation protocols outperform state-of-the-art solutions at scale. More importantly, our sharded blockchain reaches a high throughput that can handle Visa-level workloads, and is the largest ever reported in a realistic environment.


title: Spikes of the two-component elliptic system in $\bbr^4$ with Sobolev critical exponent

abstract: Consider the following elliptic system: \begin{equation*} \left\{\aligned&-\ve^2\Delta u_1+\lambda_1u_1=\mu_1u_1^3+\alpha_1u_1^{p-1}+\beta u_2^2u_1\quad&\text{in}\Omega,\\ &-\ve^2\Delta u_2+\lambda_2u_2=\mu_2u_2^3+\alpha_2u_2^{p-1}+\beta u_1^2u_2\quad&\text{in}\Omega,\\ &u_1,u_2>0\quad\text{in}\Omega,\quad u_1=u_2=0\quad\text{on}\partial\Omega,\endaligned\right. \end{equation*} where $\Omega\subset\bbr^4$ is a bounded domain, $\lambda_i,\mu_i,\alpha_i>0(i=1,2)$ and $\beta\not=0$ are constants, $\ve>0$ is a small parameter and $2<p<2^*=4$. By using the variational method, we study the existence of the ground state solution to this system for $\ve>0$ small enough. The concentration behavior of the ground state solution as $\ve\to0^+$ is also studied. Furthermore, by combining the elliptic estimates and local energy estimates, we also obtain the location of the spikes as $\ve\to0^+$. To the best of our knowledge, this is the first attempt devoted to the spikes in the Bose-Einstein condensate in $\bbr^4$.


title: An End-to-end Neural Natural Language Interface for Databases

abstract: The ability to extract insights from new data sets is critical for decision making. Visual interactive tools play an important role in data exploration since they provide non-technical users with an effective way to visually compose queries and comprehend the results. Natural language has recently gained traction as an alternative query interface to databases with the potential to enable non-expert users to formulate complex questions and information needs efficiently and effectively. However, understanding natural language questions and translating them accurately to SQL is a challenging task, and thus Natural Language Interfaces for Databases (NLIDBs) have not yet made their way into practical tools and commercial products. In this paper, we present DBPal, a novel data exploration tool with a natural language interface. DBPal leverages recent advances in deep models to make query understanding more robust in the following ways: First, DBPal uses a deep model to translate natural language statements to SQL, making the translation process more robust to paraphrasing and other linguistic variations. Second, to support the users in phrasing questions without knowing the database schema and the query features, DBPal provides a learned auto-completion model that suggests partial query extensions to users during query formulation and thus helps to write complex queries.


title: Bipolarons in a Bose-Einstein Condensate

abstract: Mobile impurities in a Bose-Einstein condensate form quasiparticles called polarons. Here, we show that two such polarons can bind to form a bound bipolaron state. Its emergence is caused by an induced nonlocal interaction mediated by density oscillations in the condensate, and we derive using field theory an effective Schr\"odinger equation describing this for arbitrarily strong impurity-boson interaction. We furthermore compare with Quantum Monte Carlo simulations finding remarkable agreement, which underlines the predictive power of the developed theory. It is found that bipolaron formation typically requires strong impurity interactions beyond the validity of more commonly used weak-coupling approaches that lead to local Yukawa-type interactions. We predict that the bipolarons are observable in present experiments and describe a procedure to probe their properties.


title: A Note on Kaldi's PLDA Implementation

abstract: Some explanations to Kaldi's PLDA implementation to make formula derivation easier to catch.


title: Three-dimensional alteration of neurites in schizophrenia

abstract: This paper reports nano-CT analysis of brain tissues of schizophrenia and control cases. The analysis revealed that: (1) neuronal structures vary between individuals, (2) the mean curvature of distal neurites of the schizophrenia cases was 1.5 times higher than that of the controls, and (3) dendritic spines were categorized into two geometrically distinctive groups, though no structural differences were observed between the disease and control cases. The differences in the neurite curvature result in differences in the spatial trajectory and hence alter neuronal circuits. We suggest that the structural alteration of neurons in the schizophrenia cases should reflect psychiatric symptoms of schizophrenia.


title: Boosted Higgs-pair production associated with large $E_T^{miss}$: a signal of $Z^\prime$

abstract: Non-resonant production of Higgs-pair via heavy intermediate states may be a distinctive signature for extended discrete symmetries when accompaied by large missing transvers energy. We discuss $T$-parity as an example of such symmetry within the Littlest Higgs Model, where a new heavy gauge boson $Z'$, the $T$-odd partner of SM $Z$-boson, predominately decays into to a Higgs boson and a dark matter candidate $\chi$. In essence, $T$-parity stablises simultaneously both the Higgs mass and the dark matter. Production via $pp\rightarrow Z' Z'\rightarrow 2h 2\chi$ may therefore yield important clues about symmetries connecting the Higgs and dark sectors. This paper makes a case for the search for this channel at the LHC by studying its discovery potential. It is demonstrated that in situations where a large $Z'-\chi$ mass gap results in a boosted topology, the jet-substructure technique can be leveraged to reach the required significance for discovery in the $2h\rightarrow 2\gamma2b$ decay mode.


title: A mixed integer programming approach to the tensor complementarity problem

abstract: In this paper, we establish a new approach to solve the tensor complementarity problem (TCP). A mixed integer programming model is given and the TCP is solved by solving the model. The TCP is shown to be formulated as an equivalent mixed integer feasibility problem. Based on the reformulation, some conditions are obtained to guarantee the solvability of the TCP. Specially, a sufficient condition is given for TCP without solutions. A necessary and sufficient condition is given for existence of solutions. We also give a concrete bound for the solution set of the TCP with positive definite tensors. Moreover, we show that the TCP with a diagonal positive definite tensor has a unique solution. Numerical experiments on several test problems illustrate the efficiency of the proposed approach in terms of the quality of the obtained solutions.