title: Uniqueness of solutions of the KdV-hierarchy via Dubrovin-type flows

abstract: We consider the Cauchy problem for the KdV hierarchy -- a family of integrable PDEs with a Lax pair representation involving one-dimensional Schr\"odinger operators -- under a local in time boundedness assumption on the solution. For reflectionless initial data, we prove that the solution stays reflectionless. For almost periodic initial data with absolutely continuous spectrum, we prove that under Craig-type conditions on the spectrum, Dirichlet data evolve according to a Lipschitz Dubrovin-type flow, so the solution is uniquely recovered by a trace formula. This applies to algebro-geometric (finite gap) solutions; more notably, we prove that it applies to small quasiperiodic initial data with analytic sampling functions and Diophantine frequency. This also gives a uniqueness result for the Cauchy problem on the line for periodic initial data, even in the absence of Craig-type conditions.


title: Robust Neural Machine Translation for Clean and Noisy Speech Transcripts

abstract: Neural machine translation models have shown to achieve high quality when trained and fed with well structured and punctuated input texts. Unfortunately, the latter condition is not met in spoken language translation, where the input is generated by an automatic speech recognition (ASR) system. In this paper, we study how to adapt a strong NMT system to make it robust to typical ASR errors. As in our application scenarios transcripts might be post-edited by human experts, we propose adaptation strategies to train a single system that can translate either clean or noisy input with no supervision on the input type. Our experimental results on a public speech translation data set show that adapting a model on a significant amount of parallel data including ASR transcripts is beneficial with test data of the same type, but produces a small degradation when translating clean text. Adapting on both clean and noisy variants of the same data leads to the best results on both input types.


title: Tropical curves of hyperelliptic type

abstract: We introduce the notion of tropical curves of hyperelliptic type. These are tropical curves whose Jacobian is isomorphic to that of a hyperelliptic tropical curve, as polarized tropical abelian varieties. We show that this property depends only on the underlying graph of a tropical curve and is preserved when passing to genus $\geq 2$ connected minors. The main result is an excluded minors characterization of tropical curves of hyperelliptic type.


title: The most massive galaxies with large depleted cores: structural parameter relations and black hole masses

abstract: [Abridged] Luminous spheroids (M_V < - 21.50 +- 0.75 mag) contain partially depleted cores with sizes (R_ b) typically 0.02 - 0.5 kpc. However, galaxies with R_b > 0.5 kpc are rare and poorly understood. Here we perform detailed decompositions of the composite surface brightness profiles, extracted from archival Hubble Space Telescope and ground-based images, of 12 extremely luminous "large-core" galaxies that have R_b > 0.5 kpc and M_V < -23.50 +- 0.10 mag, fitting a core-S\'ersic model to the galaxy spheroids. Using 28 "normal-core" (i.e., R_b < 0.5 kpc) galaxies and 1 "large-core" (i.e., R_b > 0.5 kpc) galaxy from the literature, we constructed a final sample of 41 core-S\'ersic galaxies. We find that large-core spheroids (with stellar masses M_* > 10^12 M_sun) are not simple high-mass extensions of the less luminous normal-core spheroids having M_* ~ 8 x 10^10 - 10^12 M_sun. While the two types follow the same strong relations between the spheroid luminosity L_V and R_b (R_b prop L_V^(1.38 +- 0.13), and the spheroid half-light radius R_e (R_e prop L_V^(1.08 +- 0.09), for ellipticals plus BCGs), we discover a break in the core-S\'ersic sigma-L_V relation occurring at M_V ~ -23.50 +- 0.10 mag. Furthermore, we find a strong log-linear R_b-M_BH relation for the 11 galaxies in the sample with directly determined SMBH masses M_BH---3/11 galaxies are large-core galaxies ---such that R_b prop M_BH^(0.83 +- 0.10). However, for the large-core galaxies the SMBH masses estimated from the M_BH-sigma and core-S\'ersic M_BH-L relations are undermassive, by up to a factor of 40, relative to expectations from their large R_b values, confirming earlier results. Our findings suggest that large-core galaxies harbour overmassive SMBHs (M_BH > 10^10 M_sun), considerably (~ 3.7-15.6 sigma and ~ 0.6-1.7 sigma) larger than expectations from the spheroid sigma and L, respectively.


title: Achieving Ethical Algorithmic Behaviour in the Internet-of-Things: a Review

abstract: The Internet-of-Things is emerging as a vast inter-connected space of devices and things surrounding people, many of which are increasingly capable of autonomous action, from automatically sending data to cloud servers for analysis, changing the behaviour of smart objects, to changing the physical environment. A wide range of ethical concerns has arisen in their usage and development in recent years. Such concerns are exacerbated by the increasing autonomy given to connected things. This paper reviews, via examples, the landscape of ethical issues, and some recent approaches to address these issues, concerning connected things behaving autonomously, as part of the Internet-of-Things. We consider ethical issues in relation to device operations and accompanying algorithms. Examples of concerns include unsecured consumer devices, data collection with health related Internet-of-Things, hackable vehicles and behaviour of autonomous vehicles in dilemma situations, accountability with Internet-of-Things systems, algorithmic bias, uncontrolled cooperation among things, and automation affecting user choice and control. Current ideas towards addressing a range of ethical concerns are reviewed and compared, including programming ethical behaviour, whitebox algorithms, blackbox validation, algorithmic social contracts, enveloping IoT systems, and guidelines and code of ethics for IoT developers - a suggestion from the analysis is that a multi-pronged approach could be useful, based on the context of operation and deployment.


title: Algorithm for Independent Vector Extraction Based on Semi-Time-Variant Mixing Model

abstract: A new algorithm for dynamic independent vector extraction is proposed. It is based on the mixing model where mixing parameters related to the source-of-interest (SOI) are time-variant while the separating parameters are time-invariant. A contrast function based on the quasi-likelihood approach is optimized using the Newton-Raphson approach. The update is computed without imposing the orthogonal constraint, and the orthogonality is enforced afterward. This yields an algorithm that is significantly faster than gradient-based algorithms while different from fixed-point methods, which are even faster. We show advantageous properties of the proposed algorithm compared to the fixed-point methods in an on-line processing regime where stable convergence to the SOI is the important issue. The effectiveness of the method is demonstrated in a speech extraction experiment with a dense microphone array.


title: Markov theorem for weight functions on the unit circle

abstract: The aim of this paper is to prove that Markov's theorem on variation of zeros of orthogonal polynomials on the real line [Math. Ann., 27:177-182,1886] remains essentially valid in the case of paraorthogonal polynomials on the unit circle.


title: The Onset of Jet Quenching Phenomenon

abstract: The aim of this study is to set a baseline for the jet quenching measurements of the Quark Gluon Plasma (QGP) formed in the large system size Nucleus-Nucleus (A-A) at top central collisions, via studying simulated small system size, Nucleon-Nucleon (N-N) collisions. The proton-proton (p-p) collisions were simulated using PYTHIA, at center of mass energies $\sqrt{s_{_{NN}}} = 200$ $GeV$ and $\sqrt{s_{_{NN}}} = 13$ $TeV$ corresponding to the available energies at the current collider experiments; the Relativistic Heavy Ion Collider (RHIC), and the Large Hadron Collider (LHC). At both energies, the two-particle azimuthal correlation functions have been considered, and the yield associated with the high transverse momentum ($p_{_{T}}$) particles were extracted at its near-side ($\Delta\phi \approx 0$) and away-side ($\Delta\phi \approx \pi$) at mid pseudo rapidity ($|\eta| \le 2$). The ratio between the near-side yields in the high multiplicity events to these of the low multiplicity events ($I_{_{HL}}^{^{N}}$), as well as, the ratio of the away-side yields ($I_{_{HL}}^{^{A}}$) were calculated at both energies as a function of the hadron fractional energy $z_{_{T}}$ of the high-$p_{_{T}}$ particle. At both energies, the values of $I_{_{HL}}^{^{N}}$ and $I_{_{HL}}^{^{A}}$ were less than unity, and of trivial dependence on $z_{_{T}}$. The values of $I_{_{HL}}^{^{A}}$ are always less than these of $I_{_{HL}}^{^{N}}$ at the same multiplicity and energy, and both quantities show a pattern of systematic decreases with the multiplicity. Such multiplicity dependence cannot be used neither to exclude the jet quenching nor to prove it in the high multiplicity events in p-p collisions, as the suppressions have been found at both sides, near and away of the high-$p_{_{T}}$ particle.


title: Global Capacity Measures for Deep ReLU Networks via Path Sampling

abstract: Classical results on the statistical complexity of linear models have commonly identified the norm of the weights $\|w\|$ as a fundamental capacity measure. Generalizations of this measure to the setting of deep networks have been varied, though a frequently identified quantity is the product of weight norms of each layer. In this work, we show that for a large class of networks possessing a positive homogeneity property, similar bounds may be obtained instead in terms of the norm of the product of weights. Our proof technique generalizes a recently proposed sampling argument, which allows us to demonstrate the existence of sparse approximants of positive homogeneous networks. This yields covering number bounds, which can be converted to generalization bounds for multi-class classification that are comparable to, and in certain cases improve upon, existing results in the literature. Finally, we investigate our sampling procedure empirically, which yields results consistent with our theory.


title: Learning the helix topology of musical pitch

abstract: To explain the consonance of octaves, music psychologists represent pitch as a helix where azimuth and axial coordinate correspond to pitch class and pitch height respectively. This article addresses the problem of discovering this helical structure from unlabeled audio data. We measure Pearson correlations in the constant-Q transform (CQT) domain to build a K-nearest neighbor graph between frequency subbands. Then, we run the Isomap manifold learning algorithm to represent this graph in a three-dimensional space in which straight lines approximate graph geodesics. Experiments on isolated musical notes demonstrate that the resulting manifold resembles a helix which makes a full turn at every octave. A circular shape is also found in English speech, but not in urban noise. We discuss the impact of various design choices on the visualization: instrumentarium, loudness mapping function, and number of neighbors K.


title: Minimal Cylinder Analysis Reveals the Mechanical Properties of Oncogenic Nucleosomes

abstract: Histone variants regulate replication, transcription, DNA damage repair, and chromosome segregation. Though widely accepted as a paradigm, it has not been rigorously demonstrated that histone variants encode unique mechanical properties. Here, we present a new theoretical approach called Minimal Cylinder Analysis (MCA) to determine the Young's modulus of nucleosomes from all-atom Molecular Dynamics (MD) simulations. Recently, we validated this computational analysis against in vitro single-molecule nanoindentation of histone variant nucleosomes. In this report, we further extend MCA to study the biophysical properties of hybrid nucleosomes that are known to exist in human cancer cells and contain H3 histone variants CENP-A and H3.3. We investigate the mechanism by which the elasticity of these heterotypic nucleosomes augments cryptic binding surfaces. Further, we derive biological predictions that might arise when such heterotypic nucleosomes take over large parts of the genome.


title: Uniqueness Results for Bodies of Constant Width in the Hyperbolic Plane

abstract: Following Santal\'{o}'s approach, we prove several characterizations of a disc among bodies of constant width, constant projections lengths, or constant section lengths on given families of geodesics.


title: Heavy sterile neutrino emission in core-collapse supernovae: Constraints and signatures

abstract: Heavy sterile neutrinos with masses ${\mathcal O}(100)$ MeV mixing with active neutrinos can be produced in the core of a collapsing supernova (SN). In order to avoid an excessive energy loss, shortening the observed duration of the SN 1987A neutrino burst, we show that the active-sterile neutrino mixing angle should satisfy $\sin^2 \theta \lesssim 5 \times 10^{-7}$. For a mixing with tau flavour, this bound is much stronger than the ones from laboratory searches. Moreover, we show that in the viable parameter space the decay of such "heavy" sterile neutrinos in the SN envelope would lead to a very energetic flux of daughter active neutrinos; if not too far below current limits, this would be detectable in large underground neutrino observatories, like Super-Kamiokande, as a (slightly time-delayed) high-energy bump in the spectrum of a forthcoming Galactic SN event.


title: Regime transition between eddy-driven and moist-driven circulation on High Obliquity Planets

abstract: We investigate how the meridional circulation and baroclinic eddies change with insolation and rotation rate, under high and zero obliquity setups, using a general circulation model. The total circulation is considered as superposition of circulations driven by different physics processes, such as diabatic and adiabatic processes. We decompose the meridional circulation into diabatic and adiabatic components, in order to understand their different responses to changes of insolation and rotation rate. As insolation or rotation period increases, the meridional circulation tends to become more diabatically dominant, regardless of the obliquity. The low obliquity circulation is always dominated by diabatic processes, while the high obliquity configuration has two circulation regimes: an adiabatic-dominant regime in the limit of low insolation and fast rotation, and a diabatic-dominant regime in the opposite limit. This regime transition may be observable via its signature on the upper atmospheric zonal wind and the column cloud cover. The momentum-driven circulation, the dominant circulation component in the weak-insolation and fast-rotating regimes is found to resemble that in a dry dynamic model forced by a reversed meridional temperature gradient, indicating the relevance of using a dry dynamic model to understand planetary general circulations under high obliquity.


title: Using Markov Decision Process to Model Deception for Robotic and Interactive Game Applications

abstract: This paper investigates deception in the context of motion using a simulated mobile robot. We analyze some previously designed deceptive strategies on a mobile robot simulator. We then present a novel approach to adaptively choose target-oriented deceptive trajectories to deceive humans for multiple interactions. Additionally, we propose a new metric to evaluate deception on data collected from the users when interacting with the mobile robot simulator. We performed a user study to test our proposed adaptive deceptive algorithm, which shows that our algorithm deceives humans even for multiple interactions and it is more effective than random choice of deceptive strategies.


title: Federated Evaluation of On-device Personalization

abstract: Federated learning is a distributed, on-device computation framework that enables training global models without exporting sensitive user data to servers. In this work, we describe methods to extend the federation framework to evaluate strategies for personalization of global models. We present tools to analyze the effects of personalization and evaluate conditions under which personalization yields desirable models. We report on our experiments personalizing a language model for a virtual keyboard for smartphones with a population of tens of millions of users. We show that a significant fraction of users benefit from personalization.


title: Towards Robotic Things in Society

abstract: Emerging are so-called smart things embedded with computational, sensing, networking and actuation capabilities, from smart bins to smart park benches, as well as the proliferation of autonomous vehicles and robots in an increasingly wide range of applications. This is not only an increased in automation affecting and hopefully improving daily life, but also calls for thinking about what a society saturated with such robotic things (i.e., smart things and robots) might look like. This paper discusses five aspects of a vision of Internet connected robotic things (or Internet of Robotic Things (IoRT)) occupying and operating in public spaces, from streets, parks to shopping malls. We discuss, highlighting issues, with the notion of an entourage of drones and robots accompanying people in public places, the idea of creating environments or envelopes suitable for robot function, the idea of societies of robotic things, and governance for robotic things in public spaces.


title: Machine Learning Inter-Atomic Potentials Generation Driven by Active Learning: A Case Study for Amorphous and Liquid Hafnium dioxide

abstract: We propose a novel active learning scheme for automatically sampling a minimum number of uncorrelated configurations for fitting the Gaussian Approximation Potential (GAP). Our active learning scheme consists of an unsupervised machine learning (ML) scheme coupled to Bayesian optimization technique that evaluates the GAP model. We apply this scheme to a Hafnium dioxide (HfO2) dataset generated from a melt-quench ab initio molecular dynamics (AIMD) protocol. Our results show that the active learning scheme, with no prior knowledge of the dataset is able to extract a configuration that reaches the required energy fit tolerance. Further, molecular dynamics (MD) simulations performed using this active learned GAP model on 6144-atom systems of amorphous and liquid state elucidate the structural properties of HfO2 with near ab initio precision and quench rates (i.e. 1.0 K/ps) not accessible via AIMD. The melt and amorphous x-ray structural factors generated from our simulation are in good agreement with experiment. Additionally, the calculated diffusion constants are in good agreement with previous ab initio studies.


title: An Empirical Study on Learning Fairness Metrics for COMPAS Data with Human Supervision

abstract: The notion of individual fairness requires that similar people receive similar treatment. However, this is hard to achieve in practice since it is difficult to specify the appropriate similarity metric. In this work, we attempt to learn such similarity metric from human annotated data. We gather a new dataset of human judgments on a criminal recidivism prediction (COMPAS) task. By assuming the human supervision obeys the principle of individual fairness, we leverage prior work on metric learning, evaluate the performance of several metric learning methods on our dataset, and show that the learned metrics outperform the Euclidean and Precision metric under various criteria. We do not provide a way to directly learn a similarity metric satisfying the individual fairness, but to provide an empirical study on how to derive the similarity metric from human supervisors, then future work can use this as a tool to understand human supervision.


title: The distribution of relative proper motions of wide binaries in GAIA DR2: MOND or multiplicity?

abstract: We examine the distribution of on-sky relative velocities for wide binaries previously assembled from GAIA DR2 data and focus on the origin of the high velocity tail of apparently unbound systems which may be interpreted as evidence for non-Newtonian gravity in the weak field limit. We argue that this tail is instead explicable in terms of a population of hidden triples, i.e. cases where one of the components of the wide binary is itself a close binary unresolved in the GAIA data. In this case the motion of the photocentre of the inner pair relative to its barycentre affects the apparent relative proper motion of the wide pair and can make pairs that are in fact bound appear to be unbound. We show that the general shape of the observed distributions can be reproduced using simple observationally motivated assumptions about the population of hidden triples.


title: Framed Knots

abstract: This article gives a foundational account of various characterizations of framed links in the $3$-sphere.


title: Robot-Friendly Cities

abstract: Robots are increasingly tested in public spaces, towards a future where urban environments are not only for humans but for autonomous systems. While robots are promising, for convenience and efficiency, there are challenges associated with building cities crowded with machines. This paper provides an overview of the problems and some solutions, and calls for greater attention on this matter.


title: On the dimension spectra of infinite iterated function systems

abstract: The dimension spectrum of a conformal iterated function system (CIFS) is the set of all Hausdorff dimensions of its various subsystem limit sets. This brief note provides two constructions -- (i) a compact perfect set that cannot be realized as the dimension spectrum of a CIFS; and (ii) a similarity IFS whose dimension spectrum has zero Hausdorff dimension, and thus is not uniformly perfect -- which resolve questions posed by Chousionis, Leykekhman, and Urba\'nski, and go on provoke fresh conjectures and questions regarding the topological and metric properties of IFS dimension spectra.


title: A Santal\'{o}-type Inequality for the ${\cal J}$ Transform

abstract: This paper deals with an analog of the Mahler volume product related to the ${\cal J}$ transform acting in the class of geometric convex functions ${\rm{Cvx}}_0({\mathbb R}^n)$. We provide asymptotically sharp bounds for the quantity $s^{\cal J}(f) = \frac{\int e^{-{\cal J} f}}{\int e^{-f}}$ and characterize all the extremal functions.


title: QuartzNet: Deep Automatic Speech Recognition with 1D Time-Channel Separable Convolutions

abstract: We propose a new end-to-end neural acoustic model for automatic speech recognition. The model is composed of multiple blocks with residual connections between them. Each block consists of one or more modules with 1D time-channel separable convolutional layers, batch normalization, and ReLU layers. It is trained with CTC loss. The proposed network achieves near state-of-the-art accuracy on LibriSpeech and Wall Street Journal, while having fewer parameters than all competing models. We also demonstrate that this model can be effectively fine-tuned on new datasets.


title: Learning Partial Differential Equations from Data Using Neural Networks

abstract: We develop a framework for estimating unknown partial differential equations from noisy data, using a deep learning approach. Given noisy samples of a solution to an unknown PDE, our method interpolates the samples using a neural network, and extracts the PDE by equating derivatives of the neural network approximation. Our method applies to PDEs which are linear combinations of user-defined dictionary functions, and generalizes previous methods that only consider parabolic PDEs. We introduce a regularization scheme that prevents the function approximation from overfitting the data and forces it to be a solution of the underlying PDE. We validate the model on simulated data generated by the known PDEs and added Gaussian noise, and we study our method under different levels of noise. We also compare the error of our method with a Cramer-Rao lower bound for an ordinary differential equation. Our results indicate that our method outperforms other methods in estimating PDEs, especially in the low signal-to-noise regime.


title: Integrating Information About Entities Progressively

abstract: Users often have to integrate information about entities from multiple data sources. This task is challenging as each data source may represent information about the same entity in a distinct form, e.g., each data source may use a different name for the same person. Currently, data from different representations are translated into a unified one via lengthy and costly expert attention and tuning. Such methods cannot scale to the rapidly increasing number and variety of available data sources. We demonstrate ProgMap, a entity-matching framework in which data sources learn to collaborate and integrate information about entities on-demand and with minimal expert intervention. The data sources leverage user feedback to improve the accuracy of their collaboration and results. ProgMap also has techniques to reduce the amount of required user feedback to achieve effective matchings.


title: Genetic Programming for Evolving Similarity Functions for Clustering: Representations and Analysis

abstract: Clustering is a difficult and widely-studied data mining task, with many varieties of clustering algorithms proposed in the literature. Nearly all algorithms use a similarity measure such as a distance metric (e.g. Euclidean distance) to decide which instances to assign to the same cluster. These similarity measures are generally pre-defined and cannot be easily tailored to the properties of a particular dataset, which leads to limitations in the quality and the interpretability of the clusters produced. In this paper, we propose a new approach to automatically evolving similarity functions for a given clustering algorithm by using genetic programming. We introduce a new genetic programming-based method which automatically selects a small subset of features (feature selection) and then combines them using a variety of functions (feature construction) to produce dynamic and flexible similarity functions that are specifically designed for a given dataset. We demonstrate how the evolved similarity functions can be used to perform clustering using a graph-based representation. The results of a variety of experiments across a range of large, high-dimensional datasets show that the proposed approach can achieve higher and more consistent performance than the benchmark methods. We further extend the proposed approach to automatically produce multiple complementary similarity functions by using a multi-tree approach, which gives further performance improvements. We also analyse the interpretability and structure of the automatically evolved similarity functions to provide insight into how and why they are superior to standard distance metrics.


title: Quantum Fisher Information with Coherence

abstract: In recent proposals for achieving optical super-resolution, variants of the Quantum Fisher Information (QFI) quantify the attainable precision. We find that claims about a strong enhancement of the resolution resulting from coherence effects are questionable because they refer to very small subsets of the data without proper normalization. When the QFI is normalized, accounting for the strength of the signal, there is no advantage of coherent sources over incoherent ones. Our findings have a bearing on further studies of the achievable precision of optical instruments.


title: Recurrent Attention Walk for Semi-supervised Classification

abstract: In this paper, we study the graph-based semi-supervised learning for classifying nodes in attributed networks, where the nodes and edges possess content information. Recent approaches like graph convolution networks and attention mechanisms have been proposed to ensemble the first-order neighbors and incorporate the relevant neighbors. However, it is costly (especially in memory) to consider all neighbors without a prior differentiation. We propose to explore the neighborhood in a reinforcement learning setting and find a walk path well-tuned for classifying the unlabelled target nodes. We let an agent (of node classification task) walk over the graph and decide where to direct to maximize classification accuracy. We define the graph walk as a partially observable Markov decision process (POMDP). The proposed method is flexible for working in both transductive and inductive setting. Extensive experiments on four datasets demonstrate that our proposed method outperforms several state-of-the-art methods. Several case studies also illustrate the meaningful movement trajectory made by the agent.


title: Cluster Algebras and the HOMFLY Polynomial

abstract: Recently, it has been shown that the Jones polynomial, in [LS19], and the Alexander polynomial, in [NT18], of rational knots can be obtained by specializing $F$-polynomials of cluster variables. At the core of both results are continued fractions, which parameterize rational knots and are used to obtain cluster variables, by way of snake graphs in the case of [LS19], or ancestral triangles in the case of [NT18]. In this paper, we use path posets, another structure parameterized by continued fractions, to directly generalize [LS19]'s construction to a specialization yielding the HOMFLY polynomial, which generalizes both the Jones and Alexander polynomials.


title: On the Linear Structures Induced by the Four Order Isomorphisms Acting on ${\rm{Cvx}}_0({\mathbb R}^n)$

abstract: It is known that the volume functional $\,\phi\mapsto\int e^{-\phi}\,$ satisfies certain concavity or convexity inequalities with respect to three of the four linear structures induced by the order isomorphisms acting on ${\rm{Cvx}}_0({\mathbb R}^n)$. In this note we define the fourth linear structure on ${\rm{Cvx}}_0({\mathbb R}^n)$ as the pullback of the standard linear structure under the ${\cal J}$ transform. We show that, interpolating with respect to this linear structure, no concavity or convexity inequalities hold, and prove that a quasi-convexity inequality is violated only by up to a factor of $2$. We also establish all the order relations which the four different interpolations satisfy.


title: One Dimensional Localization for Arbitrary Disorder Correlations

abstract: We evaluate the localization length of the wave solution of a random potential characterized by an arbitrary autocorrelation function. We go beyond the Born approximation to evaluate the localization length using a non-linear approximation and calculate all the correlators needed for the localization length expression. We compare our results with numerical results for the special case, where the autocorrelation decays quadratically with distance. We look at disorder ranging from weak to strong disorder, which shows excellent agreement. For the numerical simulation, we introduce a generic method to obtain a random potential with an arbitrary autocorrelation function. The correlated potential is obtained in terms of the convolution between a Wiener stochastic potential and a function of the correlation.


title: On strongly primary monoids, with a focus on Puiseux monoids

abstract: Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial ideals (e.g., numerical monoids) are strongly primary; and the multiplicative monoid of non-zero elements of a one-dimensional local domain is primary and it is strongly primary if the domain is Noetherian. In the present paper, we focus on the study of additive submonoids of the non-negative rationals, called Puiseux monoids. It is easy to see that Puiseux monoids are primary monoids, and we provide conditions ensuring that they are strongly primary. Then we study local and global tameness of strongly primary Puiseux monoids; most notably, we establish an algebraic characterization of when a Puiseux monoid is globally tame. Moreover, we obtain a result on the structure of sets of lengths of all locally tame strongly primary monoids.


title: The Restless Hidden Markov Bandit with Linear Rewards and Side Information

abstract: In this paper we present a model for the hidden Markovian bandit problem with linear rewards. As opposed to current work on Markovian bandits, we do not assume that the state is known to the decision maker before making the decision. Furthermore, we assume structural side information where the decision maker knows in advance that there are two types of hidden states; one is common to all arms and evolves according to a Markovian distribution, and the other is unique to each arm and is distributed according to an i.i.d. process that is unique to each arm. We present an algorithm and regret analysis to this problem. Surprisingly, we can recover the hidden states and maintain logarithmic regret in the case of a convex polytope action set. Furthermore, we show that the structural side information leads to expected regret that does not depend on the number of extreme points in the action space. Therefore, we obtain practical solutions even in high dimensional problems.


title: Charging plug-in electric vehicles as a mixed-integer aggregative game

abstract: We consider the charge scheduling coordination of a fleet of plug-in electric vehicles, developing a hybrid decision-making framework for efficient and profitable usage of the distribution grid. Each charging dynamics, affected by the aggregate behavior of the whole fleet, is modelled as an inter-dependent, mixed-logical-dynamical system. The coordination problem is formalized as a generalized mixed-integer aggregative potential game, and solved via semi-decentralized implementation of a sequential best-response algorithm that leads to an approximated equilibrium of the game.


title: Characterizing Hydration of SDS Micelles by Contrast Variation Small Angle Neutron Scattering

abstract: Small-angle neutron scattering (SANS) from cationic globular micellar solutions composed of sodium dodecyl sulfate (SDS) and in water was studied with contrast variation approach. Extensive computational studies have demonstrated that the distribution of invasive water is clearly an important feature for understanding the self-organization of SDS molecules and the stability of assemblies. However, in existing scattering studies the degree of hydration level was not examined explicitly. Here using the scheme of contrast variation, we establish a methodology of SANS to determine the intra-micellar radial dis-tributions of invasive water and SDS molecules from the evolving spectral lineshapes caused by the varying isotopic ratio of water. A detailed description hydration of SDS micelles is provided, which in an excellent agreement with known results of many existing simulations studies. Extension of our method can be used to provide an in-depth insight into the micellization phenomenon which is commonly found in many soft matter systems.


title: Capturing Greater Context for Question Generation

abstract: Automatic question generation can benefit many applications ranging from dialogue systems to reading comprehension. While questions are often asked with respect to long documents, there are many challenges with modeling such long documents. Many existing techniques generate questions by effectively looking at one sentence at a time, leading to questions that are easy and not reflective of the human process of question generation. Our goal is to incorporate interactions across multiple sentences to generate realistic questions for long documents. In order to link a broad document context to the target answer, we represent the relevant context via a multi-stage attention mechanism, which forms the foundation of a sequence to sequence model. We outperform state-of-the-art methods on question generation on three question-answering datasets -- SQuAD, MS MARCO and NewsQA.


title: Hyperspectral Super-resolution: A Coupled Nonnegative Block-term Tensor Decomposition Approach

abstract: Hyperspectral super-resolution (HSR) aims at fusing a hyperspectral image (HSI) and a multispectral image (MSI) to produce a super-resolution image (SRI). Recently, a coupled tensor factorization approach was proposed to handle this challenging problem, which admits a series of advantages over the classic matrix factorization-based methods. In particular, modeling the HSI and MSI as low-rank tensors following the {\it canonical polyadic decomposition} (CPD) model, the approach is able to provably identify the SRI, under some mild conditions. However, the latent factors in the CPD model have no physical meaning, which makes utilizing prior information of spectral images as constraints or regularizations difficult---but using such information is often important in practice, especially when the data is noisy. In this work, we propose an alternative coupled tensor decomposition approach, where the HSI and MSI are assumed to follow the {\it block-term decomposition (BTD)} model. Notably, the new method also entails identifiability of the SRI under realistic conditions. More importantly, when modeling a spectral image as a BTD tensor, the latent factors have clear physical meaning, and thus prior knowledge about spectral images can be naturally incorporated. Simulations using real hyperspectral images are employed to showcase the effectiveness of the proposed approach with nonnegativity constraints.


title: HEALPix View-order for 3D Radial Self-Navigated Motion-Corrected ZTE MRI

abstract: Compressed sensing has reinvigorated the field of non-Cartesian sampling in magnetic resonance imaging (MRI). Until now there has been no 3D radial view-order which meets all the desired characteristics for simultaneous dynamic/high-resolution imaging, such as for self-navigated motion-corrected high resolution neuroimaging. In this work, we examine the use of Hierarchical Equal Area iso-Latitude Pixelization (HEALPix) for generation of three-dimensional (3D) radial view-orders for MRI, and compare to a selection of commonly used 3D view-orders. The resulting trajectories were evaluated through simulation of the point spread function and slanted surface object suitable for modulation transfer function, contrast ratio, and SNR measurement. Results from the HEALPix view-order were compared to Generalized Spiral, 2D Golden Means, and Random view-orders. Finally, we show the first use of the HEALPix view-order to acquire in-vivo brain images.


title: State2vec: Off-Policy Successor Features Approximators

abstract: A major challenge in reinforcement learning (RL) is the design of agents that are able to generalize across tasks that share common dynamics. A viable solution is meta-reinforcement learning, which identifies common structures among past tasks to be then generalized to new tasks (meta-test). In meta-training, the RL agent learns state representations that encode prior information from a set of tasks, used to generalize the value function approximation. This has been proposed in the literature as successor representation approximators. While promising, these methods do not generalize well across optimal policies, leading to sampling-inefficiency during meta-test phases. In this paper, we propose state2vec, an efficient and low-complexity framework for learning successor features which (i) generalize across policies, (ii) ensure sample-efficiency during meta-test. We extend the well known node2vec framework to learn state embeddings that account for the discounted future state transitions in RL. The proposed off-policy state2vec captures the geometry of the underlying state space, making good basis functions for linear value function approximation.


title: Non-absolutely irreducible elements in the ring of Integer-valued polynomials

abstract: Let $R$ be a commutative ring with identity. An element $r \in R$ is said to be absolutely irreducible in $R$ if for all natural numbers $n>1$, $r^n$ has essentially only one factorization namely $r^n = r \cdots r$. If $r \in R$ is irreducible in $R$ but for some $n>1$, $r^n$ has other factorizations distinct from $r^n = r \cdots r$, then $r$ is called non-absolutely irreducible. In this paper, we construct non-absolutely irreducible elements in the ring $\text{Int}(\mathbb{Z}) = \{f\in \mathbb{Q}[x] \mid f(\mathbb{Z}) \subseteq \mathbb{Z}\}$ of integer-valued polynomials. We also give generalizations of these constructions.


title: WHAMR!: Noisy and Reverberant Single-Channel Speech Separation

abstract: While significant advances have been made with respect to the separation of overlapping speech signals, studies have been largely constrained to mixtures of clean, near anechoic speech, not representative of many real-world scenarios. Although the WHAM! dataset introduced noise to the ubiquitous wsj0-2mix dataset, it did not include reverberation, which is generally present in indoor recordings outside of recording studios. The spectral smearing caused by reverberation can result in significant performance degradation for standard deep learning-based speech separation systems, which rely on spectral structure and the sparsity of speech signals to tease apart sources. To address this, we introduce WHAMR!, an augmented version of WHAM! with synthetic reverberated sources, and provide a thorough baseline analysis of current techniques as well as novel cascaded architectures on the newly introduced conditions.


title: Sparse Array Design for Maximizing the Signal-to-Interference-plus-Noise-Ratio by Matrix Completion

abstract: We consider sparse array beamfomer design achieving maximum signal-to interference plus noise ratio (MaxSINR). Both array configuration and weights are attuned to the changing sensing environment. This is accomplished by simultaneously switching among antenna positions and adjusting the corresponding weights. The sparse array optimization design requires estimating the data autocorrelations at all spatial lags across the array aperture. Towards this end, we adopt low rank matrix completion under the semidefinite Toeplitz constraint for interpolating those autocorrelation values corresponding to the missing lags. We compare the performance of matrix completion approach with that of the fully augmentable sparse array design acting on the same objective function. The optimization tool employed is the regularized $l_1$-norm successive convex approximation (SCA). Design examples with simulated data are presented using different operating scenarios, along with performance comparisons among various configurations.


title: A Search-based Neural Model for Biomedical Nested and Overlapping Event Detection

abstract: We tackle the nested and overlapping event detection task and propose a novel search-based neural network (SBNN) structured prediction model that treats the task as a search problem on a relation graph of trigger-argument structures. Unlike existing structured prediction tasks such as dependency parsing, the task targets to detect DAG structures, which constitute events, from the relation graph. We define actions to construct events and use all the beams in a beam search to detect all event structures that may be overlapping and nested. The search process constructs events in a bottom-up manner while modelling the global properties for nested and overlapping structures simultaneously using neural networks. We show that the model achieves performance comparable to the state-of-the-art model Turku Event Extraction System (TEES) on the BioNLP Cancer Genetics (CG) Shared Task 2013 without the use of any syntactic and hand-engineered features. Further analyses on the development set show that our model is more computationally efficient while yielding higher F1-score performance.


title: Non-perturbative corrections to the quasiparticle velocity in graphene

abstract: Relativistic fermionic systems have physical quantities calculated by well stablished quantum electrodynamic prescriptions. In the last few years there has been an enormous interest in condensed matter systems in which the fermions exhibit relativistic dispersion, as Dirac fermions in graphene. We employ a non-perturbative method in order to obtain a non-perturbative correction to the quasiparticle velocity in graphene, and compare with the experimental data. We find a better agreement between the quasiparticle velocity corrected with non-perturbative corrections and measurements, when compared with the standard one-loop result. We also investigate the behavior of the beta function of the renormalization group theory, and find that the non-perturbative corrections do not alter the stability of the infrared fixed point found by the standard result.


title: Train Where the Data is: A Case for Bandwidth Efficient Coded Training

abstract: Training a machine learning model is both compute and data-intensive. Most of the model training is performed on high performance compute nodes and the training data is stored near these nodes for faster training. But there is a growing interest in enabling training near the data. For instance, mobile devices are rich sources of training data. It may not be feasible to consolidate the data from mobile devices into a cloud service, due to bandwidth and data privacy reasons. Training at mobile devices is however fraught with challenges. First mobile devices may join or leave the distributed setting, either voluntarily or due to environmental uncertainties, such as lack of power. Tolerating uncertainties is critical to the success of distributed mobile training. One proactive approach to tolerate computational uncertainty is to store data in a coded format and perform training on coded data. Encoding data is a challenging task since erasure codes require multiple devices to exchange their data to create a coded data partition, which places a significant bandwidth constraint. Furthermore, coded computing traditionally relied on a central node to encode and distribute data to all the worker nodes, which is not practical in a distributed mobile setting. In this paper, we tackle the uncertainty in distributed mobile training using a bandwidth-efficient encoding strategy. We use a Random Linear Network coding (RLNC) which reduces the need to exchange data partitions across all participating mobile devices, while at the same time preserving the property of coded computing to tolerate uncertainties. We implement gradient descent for logistic regression and SVM to evaluate the effectiveness of our mobile training framework. We demonstrate a 50% reduction in total required communication bandwidth compared to MDS coded computation, one of the popular erasure codes.


title: Rigidity of a non-elliptic differential inclusion related to the Aviles-Giga conjecture

abstract: In this paper we prove sharp regularity for a differential inclusion into a set $K\subset\mathbb{R}^{2\times 2}$ that arises in connection with the Aviles-Giga functional. The set $K$ is not elliptic, and in that sense our main result goes beyond \v{S}ver\'{a}k's regularity theorem on elliptic differential inclusions. It can also be reformulated as a sharp regularity result for a critical nonlinear Beltrami equation. In terms of the Aviles-Giga energy, our main result implies that zero energy states coincide (modulo a canonical transformation) with solutions of the differential inclusion into $K$. This opens new perspectives towards understanding energy concentration properties for Aviles-Giga: quantitative estimates for the stability of zero energy states can now be approached from the point of view of stability estimates for differential inclusions. All these reformulations of our results are strong improvements of a recent work by the last two authors Lorent and Peng, where the link between the differential inclusion into $K$ and the Aviles-Giga functional was first observed and used. Our proof relies moreover on new observations concerning the algebraic structure of entropies.


title: Characterizing scalable measures of quantum resources

abstract: The question of how quantities, like entanglement and coherence, depend on the number of copies of a given state $\rho$ is addressed. This is a hard problem, often involving optimizations over Hilbert spaces of large dimensions. Here, we propose a way to circumvent the direct evaluation of such quantities, provided that the employed measures satisfy a self-similarity property. We say that a quantity ${\cal E}(\rho^{\otimes N})$ is {\it scalable} if it can be described as a function of the variables $\{{\cal E}(\rho^{\otimes i_1}),\dots,{\cal E}(\rho^{\otimes i_q}); N\}$ for $N>i_j$, while, preserving the tensor-product structure. If analyticity is assumed, recursive relations can be derived for the Maclaurin series of ${\cal E}(\rho^{\otimes N})$, which enable us to determine its possible functional forms (in terms of the mentioned variables). In particular, we find that if ${\cal E}(\rho^{\otimes 2^n})$ depends only on ${\cal E}(\rho)$, ${\cal E}(\rho^{\otimes 2})$, and $n$, then it is completely determined by Fibonacci polynomials, to leading order. We show that the one-shot distillable (OSD) entanglement is well described as a scalable measure for several families of states. For a particular two-qutrit state $\varrho$, we determine the OSD entanglement for $\varrho^{\otimes 96}$ from smaller tensorings, with an accuracy of $97 \%$ and no extra computational effort. Finally, we show that superactivation of non-additivity may occur in this context.


title: Sandwich semigroups in diagram categories

abstract: This paper concerns a number of diagram categories, namely the partition, planar partition, Brauer, partial Brauer, Motzkin and Temperley-Lieb categories. If $\mathcal K$ denotes any of these categories, and if $\sigma\in\mathcal K_{nm}$ is a fixed morphism, then an associative operation $\star_\sigma$ may be defined on $\mathcal K_{mn}$ by $\alpha\star_\sigma\beta=\alpha\sigma\beta$. The resulting semigroup $\mathcal K_{mn}^\sigma=(\mathcal K_{mn},\star_\sigma)$ is called a sandwich semigroup. We conduct a thorough investigation of these sandwich semigroups, with an emphasis on structural and combinatorial properties such as Green's relations and preorders, regularity, stability, mid-identities, ideal structure, (products of) idempotents, and minimal generation. It turns out that the Brauer category has many remarkable properties not shared by any of the other diagram categories we study. Because of these unique properties, we may completely classify isomorphism classes of sandwich semigroups in the Brauer category, calculate the rank (smallest size of a generating set) of an arbitrary sandwich semigroup, enumerate Green's classes and idempotents, and calculate ranks (and idempotent ranks, where appropriate) of the regular subsemigroup and its ideals, as well as the idempotent-generated subsemigroup. Several illustrative examples are considered throughout, partly to demonstrate the sometimes-subtle differences between the various diagram categories.


title: RNN based Incremental Online Spoken Language Understanding

abstract: Spoken Language Understanding (SLU) typically comprises of an automatic speech recognition (ASR) followed by a natural language understanding (NLU) module. The two modules process signals in a blocking sequential fashion, i.e., the NLU often has to wait for the ASR to finish processing on an utterance basis, potentially leading to high latencies that render the spoken interaction less natural. In this paper, we propose recurrent neural network (RNN) based incremental processing towards the SLU task of intent detection. The proposed methodology offers lower latencies than a typical SLU system, without any significant reduction in system accuracy. We introduce and analyze different recurrent neural network architectures for incremental and online processing of the ASR transcripts and compare it to the existing offline systems. A lexical End-of-Sentence (EOS) detector is proposed for segmenting the stream of transcript into sentences for intent classification. Intent detection experiments are conducted on benchmark ATIS, Snips and Facebook's multilingual task oriented dialog datasets modified to emulate a continuous incremental stream of words with no utterance demarcation. We also analyze the prospects of early intent detection, before EOS, with our proposed system.


title: Location-Relative Attention Mechanisms For Robust Long-Form Speech Synthesis

abstract: Despite the ability to produce human-level speech for in-domain text, attention-based end-to-end text-to-speech (TTS) systems suffer from text alignment failures that increase in frequency for out-of-domain text. We show that these failures can be addressed using simple location-relative attention mechanisms that do away with content-based query/key comparisons. We compare two families of attention mechanisms: location-relative GMM-based mechanisms and additive energy-based mechanisms. We suggest simple modifications to GMM-based attention that allow it to align quickly and consistently during training, and introduce a new location-relative attention mechanism to the additive energy-based family, called Dynamic Convolution Attention (DCA). We compare the various mechanisms in terms of alignment speed and consistency during training, naturalness, and ability to generalize to long utterances, and conclude that GMM attention and DCA can generalize to very long utterances, while preserving naturalness for shorter, in-domain utterances.


title: Extending RECAST for Truth-Level Reinterpretations

abstract: RECAST is an analysis reinterpretation framework; since analyses are often sensitive to a range of models, RECAST can be used to constrain the plethora of theoretical models without the significant investment required for a new analysis. However, experiment-specific full simulation is still computationally expensive. Thus, to facilitate rapid exploration, RECAST has been extended to truth-level reinterpretations, interfacing with existing systems such as RIVET.


title: On the Density of Dispersing Billiard Systems with Singular Periodic Orbits

abstract: Dynamical billiards, or the behavior of a particle traveling in a planar region $D$ undergoing elastic collisions with the boundary, has been extensively studied and is used to model many physical phenomena such as a Boltzmann gas. Of particular interest are the dispersing billiards, where $D$ consists of a union of finitely many open convex regions. These billiard flows are known to be ergodic and to possess the $K$-property. However, Turaev and Rom-Kedar (1998) proved that for dispersing systems permitting singular periodic orbits, there exists a family of smooth Hamiltonian flows with regions of stability near such orbits, converging to the billiard flow. They conjecture that systems possessing such singular periodic orbits are dense in the space of all dispersing billiard systems and remark that if this conjecture is true then every dispersing billiard system is arbitrarily close to a non-ergodic smooth Hamiltonian flow with regions of stability. In this paper, we consider billiard tables consisting of the complement to a union of open unit disks with disjoint closures. We present a partial solution to this conjecture by showing that if the system possesses a near-singular periodic orbit satisfying certain conditions, then it can be perturbed to a system that permits a singular periodic orbit. We comment on the assumptions of our theorem that must be removed to prove the conjecture of Turaev and Rom-Kedar for these systems.


title: Persistent Insulator: Avoidance of Metallization at Megabar Pressures in Strongly Spin-Orbit-Coupled Sr2IrO4

abstract: It is commonly anticipated that an insulating state collapses in favor of an emergent metallic state at high pressures as the unit cell shrinks and the electronic bandwidth broadens to fill the insulating energy band gap. Here we report a rare insulating state that persists up to at least 185 GPa in the antiferromagnetic iridate Sr2IrO4, which is the archetypical spin-orbit-driven Jeff = 1/2 insulator. This study shows the electrical resistance of single-crystal Sr2IrO4 initially decreases with applied pressure, reaches a minimum in the range, 32 - 38 GPa, then abruptly rises to fully recover the insulating state with further pressure increases up to 185 GPa. Our synchrotron x-ray diffraction and Raman scattering data show the onset of the rapid increase in resistance is accompanied by a structural phase transition from the native tetragonal I41/acd phase to an orthorhombic Pbca phase (with much reduced symmetry) at 40.6 GPa. The clear-cut correspondence of these two anomalies is key to understanding the stability of the insulating state at megabar pressures: Pressure-induced, severe structural distortions prevent the expected metallization, despite the 26% volume compression attained at the highest pressure accessed in this study. Moreover, the resistance of Sr2IrO4 remains stable while the applied pressure is tripled from 61 GPa to 185 GPa. These results suggest that a novel type of electronic Coulomb correlation compensates the anticipated band broadening in strongly spin-orbit-coupled materials at megabar pressures.


title: Magnetoelectric effect of a conducting sphere near a planar topological insulator

abstract: When time-reversal symmetry is broken on its surface, topological insulators exhibit a magnetoelectric response which is described by axion electrodynamics. A direct consequence of this theory is the appearance of a magnetic field that resembles the one produced by a magnetic image monopole when a point-like electric charge is located near the surface of the material. In this paper we investigate the more realistic problem when the point-like charge is replaced by a finite size sphere at constant potential. We calculate the electromagnetic fields using the potential formulation in a particular bispherical coordinate system. We find that the electromagnetic fields can be interpreted in terms of point electric and image magnetic charges as if the medium were the vacuum. As a manifestation of the magnetoelectric effect, we highlight the resulting magnetic field, which we analyze in detail along the symmetry axis, since such estimates could be useful in evaluating the experimental possibility of its measurement via sensible magnetometers. Our numerical estimates show that the proposed setup provides a magnetic field strength in the range of 10-100 mG, which is attainable with present day sensitivities in NV center-diamond magnetometers, for example.


title: An infinite family of counterexamples to a conjecture on positivity

abstract: Recently, G. Mason has produced a counterexample of order 128 to a conjecture in conformal field theory and tensor category theory in [Ma]. Here we easily produce an infinite family of counterexamples, the smallest of which has order 72.


title: A Unifying Framework of Bilinear LSTMs

abstract: This paper presents a novel unifying framework of bilinear LSTMs that can represent and utilize the nonlinear interaction of the input features present in sequence datasets for achieving superior performance over a linear LSTM and yet not incur more parameters to be learned. To realize this, our unifying framework allows the expressivity of the linear vs. bilinear terms to be balanced by correspondingly trading off between the hidden state vector size vs. approximation quality of the weight matrix in the bilinear term so as to optimize the performance of our bilinear LSTM, while not incurring more parameters to be learned. We empirically evaluate the performance of our bilinear LSTM in several language-based sequence learning tasks to demonstrate its general applicability.


title: A New Ensemble HDG Method for Parameterized Convection Diffusion PDEs

abstract: We devised a first order time stepping ensemble hybridizable discontinuous Galerkin (HDG) method for a group of parameterized convection diffusion PDEs with different initial conditions, body forces, boundary conditions and coefficients in our earlier work [3]. We obtained an optimal convergence rate for the ensemble solutions in $L^\infty(0,T;L^2(\Omega))$ on a simplex mesh; and obtained a superconvergent rate for the ensemble solutions in $L^2(0,T;L^2(\Omega))$ after an element-by-element postprocessing if polynomials degree $k\ge 1$ and the coefficients of the PDEs are independent of time. In this work, we propose a new second order time stepping ensemble HDG method to revisit the problem. We obtain a superconvergent rate for the ensemble solutions in $L^\infty(0,T;L^2(\Omega))$ without an element-by-element postprocessing for all polynomials degree $k\ge 0$. Furthermore, our mesh can be any polyhedron, no need to be simplex; and the coefficients of the PDEs can dependent on time. Finally, we present numerical experiments to confirm our theoretical results.


title: On Topological Properties of Planar Octahedron Networks

abstract: Topological indices are scientific details of graphs which represents its topology and of the most part graph invariant. In QSAR/QSPR, physico-chemical characteristics and topological indices, for example, atom bond connectivity (ABC) and geometric-arithmetic (GA) indices are apply to foresee the bioactivity of concoction mixes. Graph theory discovered a significant practice in the region of investigation. In this paper, we are taking Planar Octahedron networks, produced by honeycomb structure of dimension n and obtain analytical closed results of Multiplicative topological indices for firstly and presents closed formulas of degree based indices.


title: Big Cohen-Macaulay Test Ideals on Mixed Characteristic Toric Schemes

abstract: We provide a formula to compute the big Cohen-Macaulay test ideal for triples $((R,\Delta),\mathfrak{a}^{t})$ where $R$ is a mixed characteristic toric ring and $\mathfrak{a}$ is a monomial ideal. Of particular interest is that this result is consistent with the formulas for test ideals in positive characteristic and multiplier ideals in characteristic zero.


title: Closure Learning for Nonlinear Model Reduction Using Deep Residual Neural Network

abstract: Developing accurate, efficient, and robust closure models is essential in the construction of reduced order models (ROMs) for realistic nonlinear systems, which generally require drastic ROM mode truncations. We propose a deep residual neural network (ResNet) closure learning framework for ROMs of nonlinear systems. The novel ResNet-ROM framework consists of two steps: (i) In the first step, we use ROM projection to filter the given nonlinear PDE and construct a filtered ROM. This filtered ROM is low-dimensional, but is not closed (because of the PDE nonlinearity). (ii) In the second step, we use ResNet to close the filtered ROM, i.e., to model the interaction between the resolved and unresolved ROM modes. We emphasize that in the new ResNet-ROM framework, data is used only to complement classical physical modeling (i.e., only in the closure modeling component), not to completely replace it. We also note that the new ResNet-ROM is built on general ideas of spatial filtering and deep learning and is independent of (restrictive) phenomenological arguments, e.g., of eddy viscosity type. The numerical experiments for the 1D Burgers equation show that the ResNet-ROM is significantly more accurate than the standard projection ROM. The new ResNet-ROM is also more accurate and significantly more efficient than other modern ROM closure models.


title: A Stackelberg Game of Backward Stochastic Differential Equations with Partial Information

abstract: This paper is concerned with a Stackelberg game of backward stochastic differential equations (BSDEs) with partial information, where the information of the follower is a sub-$\sigma$-algebra of that of the leader. Necessary and sufficient conditions of the optimality for the follower and the leader are first given for the general problem, by the partial information stochastic maximum principles of BSDEs and forward-backward stochastic differential equations (FBSDEs), respectively. Then a linear-quadratic (LQ) Stackelberg game of BSDEs with partial information is investigated. The state estimate feedback representation for the optimal control of the follower is first given via two Riccati equations. Then the leader's problem is formulated as an optimal control problem of FBSDE. Four high-dimensional Riccati equations are introduced to represent the state estimate feedback for the optimal control of the leader. Theoretic results are applied to a pension fund management problem of two players in the financial market.


title: Prioritized Inverse Kinematics: Desired Task Trajectories in Nonsingular Task Spaces

abstract: A prioritized inverse kinematics (PIK) solution can be considered as a (regulation or output tracking) control law of a dynamical system with prioritized multiple outputs. We propose a method that guarantees that a joint trajectory generated from a class of PIK solutions exists uniquely in a nonsingular configuration space. We start by assuming that desired task trajectories stay in nonsingular task spaces and find conditions for task trajectories to stay in a neighborhood of desired task trajectories in which we can guarantee existence and uniqueness of a joint trajectory in a nonsingular configuration space. Based on this result, we find a sufficient condition for task convergence and analyze various stability notions such as stability, uniform stability, uniform asymptotic stability, and exponential stability in both continuous and discrete times. We discuss why the number of tasks is limited in discrete time and show how preconditioning can be used in order to overcome this limitation.


title: Riemann-Hilbert problem of the three-component coupled Sasa-Satsuma equation and its multi-soliton solutions

abstract: In this work, the inverse scattering transform of the three-component coupled Sasa-Satsuma equation is investigated via the Riemann-Hilbert method. Firstly we consider a Lax pair associated with a $7\times 7$ matrix spectral problem for the equation. Then we present the spectral analysis of the Lax pair, from which a kind of Riemann-Hilbert problem is formulated. Moreover, $N$-soliton solutions to the equation are constructed through a particular Riemann-Hilbert problem with vanishing scattering coefficients. Finally, the dynamics of the soliton solutions are discussed with some graphics.


title: A New Method to Construct Gloay Complementary Set by Paraunitary Matrices and Hadamard Matrices

abstract: Golay complementary sequences have been put a high value on the applications in orthogonal frequency-division multiplexing (OFDM) systems since its good peak-to-mean envelope power ratio(PMEPR) properties. However, with the increase of the code length, the code rate of the standard Golay sequences suffer a dramatic decline. Even though a lot of efforts have been paid to solve the code rate problem for OFDM application, how to construct large classes of sequences with low PMEPR is still difficult and open now. In this paper, we propose a new method to construct $q$-ary Golay complementary set of size $N$ and length $N^n$ by $N\times N$ Hadamard Matrices where $n$ is arbitrary and $N$ is a power of 2. Every item of the constructed sequences can be presented as the product of the specific entries of the Hadamard Matrices. The previous works in \cite{BudIT} can be regarded as a special case of the constructions in this paper and we also obtained new quaternary Golay sets never reported in the literature.


title: New Insights into Interstellar Object 1I/2017 U1 (`Oumuamua) from SOHO/STEREO Nondetections

abstract: Object 1I/2017 U1 (`Oumuamua) is the first interstellar small body ever discovered in the solar system. By the time of discovery, it had already passed perihelion. To investigate the behavior of `Oumuamua around perihelion, we searched for it in Solar and Heliospheric Observatory (SOHO) and Solar TErrestrial RElations Observatory (STEREO) images from early 2017 September (preperihelion), but did not detect it. The nondetection of `Oumuamua by STEREO renders more stringent constraints on its physical properties thanks to the extreme forward-scattering observing geometry. Assuming geometric albedo $p_V = 0.1$, the effective scattering cross-section of any dust coma was $\lesssim \left(2.1 \pm 0.2 \right) \times 10^{4}$ m$^{2}$. Assuming it behaved like a typical solar-system comet this would correspond to a total mass of $\lesssim 20 \pm 2$ kg, and a water production rate of $\lesssim \left(6.1 \pm 0.5 \right) \times 10^{25}$ s$^{-1}$ at heliocentric distance $r_{\rm H} = 0.375$ au. If scaled to post-discovery $r_{\rm H}$, the water production rate would be smaller than any of the previously reported upper limits by at least an order of magnitude. To exhibit the reported nongravitational motion with our default assumptions requires a nucleus bulk density $\lesssim$40 kg m$^{-3}$; higher bulk densities are possible for other assumptions. Alternatively, we show that thermal fracturing could have plausibly removed an inert surface layer between these observations and discovery, thus initiating activity after `Oumuamua left the field of view of STEREO.


title: New Construction of Complementary Sequence (or Array) Sets and Complete Complementary Codes (I)

abstract: A new method to construct $q$-ary complementary sequence (or array) sets (CSSs) and complete complementary codes (CCCs) of size $N$ is introduced in this paper. An algorithm on how to compute the explicit form of the functions in constructed CSS and CCC is also given. A general form of these functions only depends on a basis of functions from $\Z_N$ to $\Z_q$ and representatives in the equivalent class of Butson-type Hadamard matrices. Surprisingly, all the functions fill up a larger number of cosets of a linear code, compared with the existing constructions. From our general construction, its realization of $q$-ary Golay pairs exactly coincides with the standard Golay sequences. The realization of ternary complementary sequences of size $3$ is first reported here. For binary and quaternary complementary sequences of size 4, a general Boolean function form of these sequences is obtained. Most of these sequences are also new. Moreover, most of quaternary sequences cannot be generalized from binary sequences, which is different from known constructions. More importantly, both binary and quaternary sequences of size 4 constitute a large number of cosets of the linear code respectively.


title: System Equivalence Transformation: Robust Convergence of Iterative Learning Control with Nonrepetitive Uncertainties

abstract: For iterative learning control (ILC), one of the basic problems left to address is how to solve the contradiction between convergence conditions for the output tracking error and for the input signal (or error). This problem is considered in the current paper, where the robust convergence analysis is achieved for ILC systems in the presence of nonrepetitive uncertainties. A system equivalence transformation (SET) is proposed for ILC such that given any desired reference trajectories, the output tracking problems for general nonsquare multi-input, multi-output (MIMO) systems can be equivalently transformed into those for the specific class of square MIMO systems with the same input and output channels. As a benefit of SET, a unified condition is only needed to guarantee both the uniform boundedness of all system signals and the robust convergence of the output tracking error, which avoids causing the condition contradiction problem in implementing the double-dynamics analysis approach to ILC. Simulation examples are included to demonstrate the validity of our established robust ILC results.


title: Ultrafast Photoinduced Band Splitting and Carrier Dynamics in Chiral Tellurium Nanosheets

abstract: Trigonal tellurium (Te) is a chiral semiconductor that lacks both mirror and inversion symmetries, resulting in complex band structures with Weyl crossings and unique spin textures. Detailed time-resolved polarized reflectance spectroscopy is used to investigate its band structure and carrier dynamics. The polarized transient spectra reveal optical transitions between the uppermost spin-split H4 and H5 and the degenerate H6 valence bands (VB) and the lowest degenerate H6 conduction band (CB) as well as a higher energy transition at the L-point. Surprisingly, the degeneracy of the H6 CB (a proposed Weyl node) is lifted and the spin-split VB gap is reduced upon photoexcitation before relaxing to equilibrium as the carriers decay. Using ab initio density functional theory (DFT) calculations we conclude that the dynamic band structure is caused by a photoinduced shear strain in the Te film that breaks the screw symmetry of the crystal. The band-edge anisotropy is also reflected in the hot carrier decay rate, which is a factor of two slower along c-axis than perpendicular to it. The majority of photoexcited carriers near the band-edge are seen to recombine within 30 ps while higher lying transitions observed near 1.2 eV appear to have substantially longer lifetimes, potentially due to contributions of intervalley processes in the recombination rate. These new findings shed light on the strong correlation between photoinduced carriers and electronic structure in anisotropic crystals, which opens a potential pathway for designing novel Te-based devices that take advantage of the topological structures as well as strong spin-related properties.


title: Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output

abstract: Deep neural networks achieve superior performance in challenging tasks such as image classification. However, deep classifiers tend to incorrectly classify out-of-distribution (OOD) inputs, which are inputs that do not belong to the classifier training distribution. Several approaches have been proposed to detect OOD inputs, but the detection task is still an ongoing challenge. In this paper, we propose a new OOD detection approach that can be easily applied to an existing classifier and does not need to have access to OOD samples. The detector is a one-class classifier trained on the output of an early layer of the original classifier fed with its original training set. We apply our approach to several low- and high-dimensional datasets and compare it to the state-of-the-art detection approaches. Our approach achieves substantially better results over multiple metrics.


title: Weighted Distributed Differential Privacy ERM: Convex and Non-convex

abstract: Distributed machine learning is an approach allowing different parties to learn a model over all data sets without disclosing their own data. In this paper, we propose a weighted distributed differential privacy (WD-DP) empirical risk minimization (ERM) method to train a model in distributed setting, considering different weights of different clients. We guarantee differential privacy by gradient perturbation, adding Gaussian noise, and advance the state-of-the-art on gradient perturbation method in distributed setting. By detailed theoretical analysis, we show that in distributed setting, the noise bound and the excess empirical risk bound can be improved by considering different weights held by multiple parties. Moreover, considering that the constraint of convex loss function in ERM is not easy to achieve in some situations, we generalize our method to non-convex loss functions which satisfy Polyak-Lojasiewicz condition. Experiments on real data sets show that our method is more reliable and we improve the performance of distributed differential privacy ERM, especially in the case that data scale on different clients is uneven.


title: A dynamical Toric Code model with fusion and de-fusion

abstract: We introduce a two-parameter family of perturbations of Kitaev's Toric Code Model in which the anyonic excitations acquire an interesting dynamics. We study the dynamics of this model in the space of states with electric and magnetic charge both equal to 1 and find that the model exhibits both bound states and scattering states in a suitable region of the parameters. The bound state is a Majorana fermion with a dispersion relation of Dirac cone type. For a certain range of model parameters, we find that these bound states disappear in a continuum of scattering states at a critical value of the total momentum. The scattering states describe separate electric and magnetic anyons, which in this model each have a sin k dispersion relation.

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


title: New Construction of Complementary Sequence (or Array) Sets and Complete Complementary Codes (II)

abstract: Previously, we have presented a framework to use the para-unitary (PU) matrix-based approach for constructing new complementary sequence set (CSS), complete complementary code (CCC), complementary sequence array (CSA), and complete complementary array (CCA). In this paper, we introduce a new class of delay matrices for the PU construction. In this way, generalized Boolean functions (GBF) derived from PU matrix can be represented by an array of size $2\times 2 \times \cdots \times 2$. In addition, we introduce a new method to construct PU matrices using block matrices. With these two new ingredients, our new framework can construct an extremely large number of new CSA, CCA, CSS and CCC, and their respective GBFs can be also determined recursively. Furthermore, we can show that the known constructions of CSSs, proposed by Paterson and Schmidt respectively, the known CCCs based on Reed-muller codes are all special cases of this new framework. In addition, we are able to explain the bound of PMEPR of the sequences in the part of the open question, proposed in 2000 by Paterson.


title: Late Time Correlation Functions, Baby Universes, and ETH in JT Gravity

abstract: Quantum black holes are described by a large number of macroscopically indistinguishable microstates. Correlation functions of fields outside the horizon at long time separation probe this indistinguishability. The simplest of these, the thermal two-point function, oscillates erratically around a nonperturbatively small average "ramp" and "plateau" after an initial period of decay; these non-decaying averaged features are signatures of the discreteness of the black hole spectrum. For a theory described by an ensemble of Hamiltonians, the two-point function follows this averaged behavior. In this paper we study certain correlation functions in Jackiw-Teitelboim (JT) gravity and find precise agreement with the behavior expected for a theory described by an ensemble of Hamiltonians with random matrix statistics -- the eigenstates obey the Eigenstate Thermalization Hypothesis (ETH) and the energy levels have random matrix level statistics. A central aspect of our analysis is an averaged bulk Hilbert space description of the relevant behavior. The mechanism behind this behavior is topology change due the the emission and absorption of closed "baby universes". These baby universe effects give two complementary pictures of the non-decaying behavior, related by different continuations of a Euclidean geometry. A long Einstein-Rosen bridge can become short by emitting a large baby universe, and baby universes emitted and reabsorbed at points widely separated in space and time creates a "shortcut", allowing particles to leave the interior of the black hole.


title: DP-coloring for planar graphs of diameter two

abstract: DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced by Dvo\u{r}\'{a}k and Postle (2017). Recently, Huang et al. [https://doi.org/10.1016/j.amc.2019.124562] showed that planar graphs with diameter at most two are $4$-choosable. In this paper, we will prove that planar graphs with diameter at most two are DP-$4$-colorable, which is an extension of the above result.


title: Double-Counting Problem of the Bonus-Malus System

abstract: The bonus-malus system (BMS) is a widely used premium adjustment mechanism based on policyholder's claim history. Most auto insurance BMSs assume that policyholders in the same bonus-malus (BM) level share the same a posteriori risk adjustment. This system reflects the policyholder's claim history in a relatively simple manner. However, the typical system follows a single BM scale and is known to suffer from the double-counting problem: policyholders in the high-risk classes in terms of a priori characteristics are penalized too severely (Taylor, 1997; Pitrebois et al., 2003). Thus, Pitrebois et al. (2003) proposed a new system with multiple BM scales based on the a priori characteristics. While this multiple-scale BMS removes the double-counting problem, it loses the prime benefit of simplicity. Alternatively, we argue that the double-counting problem can be viewed as an inefficiency of the optimization process. Furthermore, we show that the double-counting problem can be resolved by fully optimizing the BMS setting, but retaining the traditional BMS format.


title: The pure-quartic soliton laser

abstract: The generation of ultrashort pulses hinges on the careful management of dispersion. Traditionally, this has exclusively involved second-order dispersion, while higher-order dispersion was treated as a nuisance to be minimized. Here we show that high-order dispersion can be strategically leveraged to access an uncharted regime of ultrafast laser operation. In particular, we demonstrate a mode-locked laser, with an intra-cavity spectral pulse-shaper, that emits pure-quartic soliton pulses, which arise from the interaction of the fourth-order dispersion and the Kerr nonlinearity. Using phase-resolved measurements we demonstrate that the energy of these pulses is proportional to the third power of the inverse pulse duration. This implies a dramatic increase in the energy of ultrashort pulses compared to those emitted by soliton lasers to date. These results not only demonstrate a novel approach to ultrafast lasers, but more fundamentally, they clarify the use of higher-order dispersion for optical pulse control, opening up a plethora of possibilities in nonlinear optics and its applications.


title: On two weighted problems for commutators of classical operators with optimal behaviour on the parameters involved and extrapolation results

abstract: We give two weighted norm estimates for higher order commutator of classical operators such as singular integral and fractional type operators, between weighted $L^p$ and certain spaces that include Lipschitz, BMO and Morrey spaces. We also give the optimal parameters involved with these results, where the optimality is understood in the sense that the parameters defining the corresponding spaces belong to certain region out of which the classes of weights are satisfied by trivial weights. We also exhibit pairs of non-trivial weights in the optimal region satisfying the conditions required. Finally, we exhibit an extrapolation result that allows us to obtain boundedness results of the type described above in the variable setting and for a great variety of operators, by starting from analogous inequalities in the classical context. In order to get this result we prove a Calder\'on-Scott type inequality with weights that connects adequately the spaces involved.


title: Perceptual-assisted Adversarial Adaptation for Choroid Segmentation in optical coherence tomography

abstract: Accurate choroid segmentation in optical coherence tomography (OCT) image is vital because the choroid thickness is a major quantitative biomarker of many ocular diseases. Deep learning has shown its superiority in the segmentation of the choroid region but subjects to the performance degeneration caused by the domain discrepancies (e.g., noise level and distribution) among datasets obtained from the OCT devices of different manufacturers. In this paper, we present an unsupervised perceptual-assisted adversarial adaptation (PAAA) framework for efficiently segmenting the choroid area by narrowing the domain discrepancies between different domains. The adversarial adaptation module in the proposed framework encourages the prediction structure information of the target domain to be similar to that of the source domain. Besides, a perceptual loss is employed for matching their shape information (the curvatures of Bruch's membrane and choroid-sclera interface) which can result in a fine boundary prediction. The results of quantitative experiments show that the proposed PAAA segmentation framework outperforms other state-of-the-art methods.


title: Using Segmentation Masks in the ICCV 2019 Learning to Drive Challenge

abstract: In this work we predict vehicle speed and steering angle given camera image frames. Our key contribution is using an external pre-trained neural network for segmentation. We augment the raw images with their segmentation masks and mirror images. We ensemble three diverse neural network models (i) a CNN using a single image and its segmentation mask, (ii) a stacked CNN taking as input a sequence of images and segmentation masks, and (iii) a bidirectional GRU, extracting image features using a pre-trained ResNet34, DenseNet121 and our own CNN single image model. We achieve the second best performance for MSE angle and second best performance overall, to win 2nd place in the ICCV Learning to Drive challenge. We make our models and code publicly available.


title: Winning the ICCV 2019 Learning to Drive Challenge

abstract: Autonomous driving has a significant impact on society. Predicting vehicle trajectories, specifically, angle and speed, is important for safe and comfortable driving. This work focuses on fusing inputs from camera sensors and visual map data which lead to significant improvement in performance and plays a key role in winning the challenge. We use pre-trained CNN's for processing image frames, a neural network for fusing the image representation with visual map data, and train a sequence model for time series prediction. We demonstrate the best performing MSE angle and best performance overall, to win the ICCV 2019 Learning to Drive challenge. We make our models and code publicly available.


title: Anisotropic Gaussian approximation in $L_2(\mathbb{R}^2)$

abstract: Let $\mathcal{D}$ be the dictionary of Gaussian mixtures: the functions created by affine change of variables of a single Gaussian in $n$ dimensions. $\mathcal{D}$ is used pervasively in scientific applications to a degree that practitioners often employ it as their default choice for representing their scientific object. Its use in applications hinges on the perception that this dictionary is large enough, and its members are local enough in space and frequency, to provide efficient approximation to "almost all objects of interest". However, and perhaps surprisingly, only a handful of concrete theoretical results are actually known on the ability to use Gaussian mixtures in lieu of mainstream representation systems. The present paper shows that, in 2D, Gaussian mixtures are effective in resolving anisotropic structures, too. In this setup, the "smoothness class" is comprised of 2D functions that are sparsely represented using curvelets. An algorithm for $N$-term approximation from (a small subset of) $\mathcal{D}$ is presented, and the error bounds are then shown to be on par with the errors of $N$-term curvelet approximation. The latter are optimal, essentially by definition. Our approach is based on providing effective approximation from $\mathcal{D}$ to the members of the curvelet system, mimicking the approach in arXiv:0802.2517 and arXiv:0911.2803 where the mother wavelets are approximated. When the error is measured in the $1$-norm, this adaptation of the prior approach, combined with standard tools, yields the desired results. However, handling the $2$-norm case is much more subtle and requires substantial new machinery: in this case, the error analysis cannot be solely done on the space domain: some of it has to be carried out on frequency. Since, on frequency, all members of $\mathcal{D}$ are centered at the origin, a delicate analysis for controlling the error there is needed.


title: Class-imbalanced Domain Adaptation: An Empirical Odyssey

abstract: Unsupervised domain adaptation is a promising way to generalize deep models to novel domains. However, the current literature assumes that the label distribution is domain-invariant and only aligns the feature distributions or vice versa. In this work, we explore the more realistic task of Class-imbalanced Domain Adaptation: How to align feature distributions across domains while the label distributions of the two domains are also different? Taking a practical step towards this problem, we constructed the first benchmark with 22 cross-domain tasks from 6real-image datasets. We conducted comprehensive experiments on 10 recent domain adaptation methods and find most of them are very fragile in the face of coexisting feature and label distribution shift. Towards a better solution, we further proposed a feature and label distribution CO-ALignment (COAL) model with a novel combination of existing ideas. COAL is empirically shown to outperform the most recent domain adaptation methods on our benchmarks. We believe the provided benchmarks, empirical analysis results, and the COAL baseline could stimulate and facilitate future research towards this important problem.


title: Motivic fundamental group of ${\Bbb G}_m-\mu_N$ and modular manifolds

abstract: We investigate geometric and combinatorial aspects of the mysterious relationship between the action of the motivic Galois group on the motivic fundamental group of the projective line punctured at zero, infinity, and N-th roots of unity, and the geometry of modular manifolds for the congruence subgroup Y(m;N) of GL(m,Z) fixing (0, ... , 0, 1) modulo N. To achieve this, we consider a canonical collection of elements in the image of the motivic Galois Lie algebra, spanning it over Q. These elements are the motivic correlators at N-th roots of unity. We assign to them chains in the complex computing cohomology of certain local systems on the space Y(m;N). Their geometric properties reflect, in a mysterious way, properties of motivic correlators. This construction allows to establish the relationship with high precision for m up to 4. The m=2, 3 cases were investigated by the author before in the Hodge and the Galois set-up.


title: $\Omega$ baryon spectrum and their decays in a constituent quark model

abstract: Combining the recent developments of the observations of $\Omega$ sates we calculate the $\Omega$ spectrum up to the $N=2$ shell within a nonrelativistic constituent quark potential model. Furthermore, the strong and radiative decay properties for the $\Omega$ resonances within the $N=2$ shell are evaluated by using the masses and wave functions obtained from the potential model. It is found that the newly observed $\Omega(2012)$ resonance is most likely to be the spin-parity $J^P=3/2^-$ $1P$-wave state $\Omega(1^{2}P_{3/2^{-}})$, it also has a large potential to be observed in the $\Omega(1672)\gamma$ channel. Our calculation shows that the 1$P$-, 1$D$-, and 2$S$-wave $\Omega$ baryons have a relatively narrow decay width of less than 50 MeV. Based on the obtained decay properties and mass spectrum, we further suggest optimum channels and mass regions to find the missing $\Omega$ resonances via the strong and/or radiative decay processes.


title: Region Based Adversarial Synthesis of Facial Action Units

abstract: Facial expression synthesis or editing has recently received increasing attention in the field of affective computing and facial expression modeling. However, most existing facial expression synthesis works are limited in paired training data, low resolution, identity information damaging, and so on. To address those limitations, this paper introduces a novel Action Unit (AU) level facial expression synthesis method called Local Attentive Conditional Generative Adversarial Network (LAC-GAN) based on face action units annotations. Given desired AU labels, LAC-GAN utilizes local AU regional rules to control the status of each AU and attentive mechanism to combine several of them into the whole photo-realistic facial expressions or arbitrary facial expressions. In addition, unpaired training data is utilized in our proposed method to train the manipulation module with the corresponding AU labels, which learns a mapping between a facial expression manifold. Extensive qualitative and quantitative evaluations are conducted on the commonly used BP4D dataset to verify the effectiveness of our proposed AU synthesis method.


title: Deja-vu: Double Feature Presentation and Iterated Loss in Deep Transformer Networks

abstract: Deep acoustic models typically receive features in the first layer of the network, and process increasingly abstract representations in the subsequent layers. Here, we propose to feed the input features at multiple depths in the acoustic model. As our motivation is to allow acoustic models to re-examine their input features in light of partial hypotheses we introduce intermediate model heads and loss function. We study this architecture in the context of deep Transformer networks, and we use an attention mechanism over both the previous layer activations and the input features. To train this model's intermediate output hypothesis, we apply the objective function at each layer right before feature re-use. We find that the use of such iterated loss significantly improves performance by itself, as well as enabling input feature re-use. We present results on both Librispeech, and a large scale video dataset, with relative improvements of 10 - 20% for Librispeech and 3.2 - 13% for videos.


title: Cyclotomic Points and Algebraic Properties of Polygon Diagonals

abstract: By viewing the regular $N$-gon as the set of $N$th roots of unity in the complex plane we transform several questions regarding polygon diagonals into when a polynomial vanishes when evaluated at roots of unity. To study these solutions we implement algorithms in Sage as well as examine a trigonometric diophantine equation. In doing so we classify when a metallic ratio can be realized as a ratio of polygon diagonals, answering a question raised in a PBS Infinite Series broadcast. We then generalize this idea by examining the degree of the number field generated by a given ratio of polygon diagonals.


title: Electrical manipulation of spin pumping signal through nonlocal thermal magnon transport

abstract: We study the magnon transport in the nonlocal configuration composed of two Pt strips on top of yttrium iron garnet, with and without the presence of RF microwave generated by an on-chip antenna. We find that the spin-Hall induced thermal magnon heating/cooling, the Oersted field as well as the Joule heating generated by the a.c. current in the Pt injector can significantly influence the spin-pumping signal measured by the Pt detector in the presence of RF microwave, forcing the spin-pumping voltage to show up in the first and second harmonic signals in the nonlocal magnon transport measurement. These results indicate that nonlocal magnon transport configuration can serve as a structure to electrically detect and manipulate the spin-pumping signal. Furthermore, certain caution is needed when studying the interplay between incoherent magnon and coherent magnon spin transport in the nonlocal transport configuration, since the change in microwave-induced spin-pumping voltage can overwhelm the incoherent magnon transport signals.


title: Polaronic nature of a muonium-related paramagnetic center in SrTiO$_3$

abstract: The hyperfine features and thermal stability of a muonium (Mu)-related paramagnetic center were investigated in the SrTiO$_3$ perovskite titanate via muon spin rotation spectroscopy. The hyperfine coupling tensor of the paramagnetic center was found to have prominent dipolar characteristics, indicating that the electron spin density is dominantly distributed on a Ti site to form a small polaron near an ionized Mu$^+$ donor. Based on a hydrogen-Mu analogy, interstitial hydrogen is also expected to form such a polaronic center in the dilute doping limit. The small activation energy of 30(3) meV found for the thermal dissociation of the Mu$^+$-polaron complex suggests that the strain energy required to distort the lattice is comparable to the electronic energy gained by localizing the electron.


title: Iterative Distance-Aware Similarity Matrix Convolution with Mutual-Supervised Point Elimination for Efficient Point Cloud Registration

abstract: In this paper, we propose a novel learning-based pipeline for partially overlapping 3D point cloud registration. The proposed model includes an iterative distance-aware similarity matrix convolution module to incorporate information from both the feature and Euclidean space into the pairwise point matching process. These convolution layers learn to match points based on joint information of the entire geometric features and Euclidean offset for each point pair, overcoming the disadvantage of matching by simply taking the inner product of feature vectors. Furthermore, a two-stage learnable point elimination technique is presented to improve computational efficiency and reduce false positive correspondence pairs. A novel mutual-supervision loss is proposed to train the model without extra annotations of keypoints. The pipeline can be easily integrated with both traditional (e.g. FPFH) and learning-based features. Experiments on partially overlapping and noisy point cloud registration show that our method outperforms the current state-of-the-art, while being more computationally efficient. Code is publicly available at https://github.com/jiahaowork/idam.