title: Nonlinear optical response of a two-dimensional quantum-dot supercrystal: Emerging multistability, periodic and aperiodic self-oscillations, chaos, and transient chaos

abstract: We conduct a theoretical study of the nonlinear optical response of a two-dimensional semi-conductor quantum dot supercrystal subjected to a quasi-resonant continuous wave excitation. Aconstituent quantum dot is odeled as a three-level ladder-like system (comprising the ground, theone-exciton, and the bi-exction states). To study the stationary response of the supercrystal, wepropose an exact linear parametric method of solving the nonlinear steady-state problem, whileto address the supercrystal optical dynamics qualitatively, we put forward a novel method to cal-culate the bifurcation diagram of the system. Analyzing the dynamics, we demonstrate that thesupercrystal can exhibit multistability, periodic and aperiodic self-oscillations, and chaotic behavior,depending on parameters of the supercrystal and excitation conditions. The effects originate fromthe interplay of the intrinsic nonlinearity of quantum dots and the retarded inter-dot dipole-dipoleinteraction. The latter provides a positive feedback which results in the exotic supercrystal opticaldynamics. These peculiarities of the supercrystal optical response open up a possibility for all-opticalapplications and devices. In particular, an all-optical switch, a tunable generator of THz pulses (inself-oscillating regime), a noise generator (in chaotic regime), and a tunable bistable mirror can bedesigned.


title: The convergence test to the application in a multi-term recurrence relation of a linear ODE

abstract: The recursive relation starts to appear by putting a function $y(x)=\sum_{n=0}^{\infty }d_n x^n$ into a linear ordinary differential equation (ODE). There can be $d$-term of sequences in the recurrence relation of a power series where $d\geq 2$. We discuss the absolute convergence test to the $d$-term recurrence relation with non-constant coefficients of a linear ODE.


title: Domain Differential Adaptation for Neural Machine Translation

abstract: Neural networks are known to be data hungry and domain sensitive, but it is nearly impossible to obtain large quantities of labeled data for every domain we are interested in. This necessitates the use of domain adaptation strategies. One common strategy encourages generalization by aligning the global distribution statistics between source and target domains, but one drawback is that the statistics of different domains or tasks are inherently divergent, and smoothing over these differences can lead to sub-optimal performance. In this paper, we propose the framework of {\it Domain Differential Adaptation (DDA)}, where instead of smoothing over these differences we embrace them, directly modeling the difference between domains using models in a related task. We then use these learned domain differentials to adapt models for the target task accordingly. Experimental results on domain adaptation for neural machine translation demonstrate the effectiveness of this strategy, achieving consistent improvements over other alternative adaptation strategies in multiple experimental settings.


title: Bio-inspired Learning of Sensorimotor Control for Locomotion

abstract: This paper presents a bio-inspired central pattern generator (CPG)-type architecture for learning optimal maneuvering control of periodic locomotory gaits. The architecture is presented here with the aid of a snake robot model problem involving planar locomotion of coupled rigid body systems. The maneuver involves clockwise or counterclockwise turning from a nominally straight path. The CPG circuit is realized as a coupled oscillator feedback particle filter. The collective dynamics of the filter are used to approximate a posterior distribution that is used to construct the optimal control input for maneuvering the robot. A Q-learning algorithm is applied to learn the approximate optimal control law. The issues surrounding the parametrization of the Q-function are discussed. The theoretical results are illustrated with numerics for a 5-link snake robot system.


title: The complex geometry of two exceptional flag manifolds

abstract: We discuss the complex geometry of two complex five-dimensional K\"ahler manifolds which are homogeneous under the exceptional Lie group $G_2$. For one of these manifolds rigidity of the complex structure among all K\"ahlerian complex structures was proved by Brieskorn, for the other one we prove it here. We relate the K\"ahler assumption in Brieskorn's theorem to the question of existence of a complex structure on the six-dimensional sphere, and we compute the Chern numbers of all $G_2$-invariant almost complex structures on these manifolds.


title: Pushing the limits of RNN Compression

abstract: Recurrent Neural Networks (RNN) can be difficult to deploy on resource constrained devices due to their size. As a result, there is a need for compression techniques that can significantly compress RNNs without negatively impacting task accuracy. This paper introduces a method to compress RNNs for resource constrained environments using Kronecker product (KP). KPs can compress RNN layers by 16-38x with minimal accuracy loss. We show that KP can beat the task accuracy achieved by other state-of-the-art compression techniques (pruning and low-rank matrix factorization) across 4 benchmarks spanning 3 different applications, while simultaneously improving inference run-time.


title: Models and algorithms for the Flying Sidekick Traveling Salesman Problem

abstract: This paper presents a set of new formulations for the Flying Sidekick Traveling Salesman Problem, where a truck and a drone cooperate to delivery parcels to customers minimizing the completion time. The new formulations improve the results of the literature by solving to optimality several benchmark instances for which an optimal solution was previously unknown. A matheuristic algorithm, strongly based on the new models, is also discussed. Experimental results show that this method is able to provide good quality solutions in short time even for the larger instances, on which the mathematical models struggle to provide either good heuristic solution or strong lower bounds.


title: Stacked Wasserstein Autoencoder

abstract: Approximating distributions over complicated manifolds, such as natural images, are conceptually attractive. The deep latent variable model, trained using variational autoencoders and generative adversarial networks, is now a key technique for representation learning. However, it is difficult to unify these two models for exact latent-variable inference and parallelize both reconstruction and sampling, partly due to the regularization under the latent variables, to match a simple explicit prior distribution. These approaches are prone to be oversimplified, and can only characterize a few modes of the true distribution. Based on the recently proposed Wasserstein autoencoder (WAE) with a new regularization as an optimal transport. The paper proposes a stacked Wasserstein autoencoder (SWAE) to learn a deep latent variable model. SWAE is a hierarchical model, which relaxes the optimal transport constraints at two stages. At the first stage, the SWAE flexibly learns a representation distribution, i.e., the encoded prior; and at the second stage, the encoded representation distribution is approximated with a latent variable model under the regularization encouraging the latent distribution to match the explicit prior. This model allows us to generate natural textual outputs as well as perform manipulations in the latent space to induce changes in the output space. Both quantitative and qualitative results demonstrate the superior performance of SWAE compared with the state-of-the-art approaches in terms of faithful reconstruction and generation quality.


title: Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications

abstract: A challenging problem for autonomous systems is to synthesize a reactive controller that conforms to a set of given correctness properties. Linear temporal logic (LTL) provides a formal language to specify the desired behavioral properties of systems. In applications in which the specifications originate from various aspects of the system design, or consist of a large set of formulas, the overall system specification may be unrealizable. Driven by this fact, we develop an optimization variant of synthesis from LTL formulas, where the goal is to design a controller that satisfies a set of hard specifications and minimally violates a set of soft specifications. To that end, we introduce a value function that, by exploiting the LTL semantics, quantifies the level of violation of properties. Inspired by the idea of bounded synthesis, we fix a bound on the implementation size and search for an implementation that is optimal with respect to the said value function. We propose a novel maximum satisfiability encoding of the search for an optimal implementation (within the given bound on the implementation size). We iteratively increase the bound on the implementation size until a termination criterion, such as a threshold over the value function, is met.


title: MASTER: Multi-Aspect Non-local Network for Scene Text Recognition

abstract: Attention-based scene text recognizers have gained huge success, which leverages a more compact intermediate representation to learn 1d- or 2d- attention by a RNN-based encoder-decoder architecture. However, such methods suffer from attention-drift problem because high similarity among encoded features leads to attention confusion under the RNN-based local attention mechanism. Moreover, RNN-based methods have low efficiency due to poor parallelization. To overcome these problems, we propose the MASTER, a self-attention based scene text recognizer that (1) not only encodes the input-output attention but also learns self-attention which encodes feature-feature and target-target relationships inside the encoder and decoder and (2) learns a more powerful and robust intermediate representation to spatial distortion, and (3) owns a great training efficiency because of high training parallelization and a high-speed inference because of an efficient memory-cache mechanism. Extensive experiments on various benchmarks demonstrate the superior performance of our MASTER on both regular and irregular scene text. Pytorch code can be found at https://github.com/wenwenyu/MASTER-pytorch, and Tensorflow code can be found at https://github.com/jiangxiluning/MASTER-TF.


title: Corrections to the Elastic Proton-Proton Analyzing Power Parametrization at High Energies

abstract: The HJET Polarized Atomic Hydrogen Gas Jet Target polarimeter (HJET) polarimeter was designed to measure the absolute polarization of the proton beams at the Relativistic Heavy Ion Collider. In these measurements, the small scattering angle elastic $pp$ single $A_N(t)$ and double $A_{NN}(t)$ spin analyzing powers can be precisely determined. The experimental accuracy achieved at HJET requires corrections to the $A_N(t)$ parametrization, conventionally used for such studies. In this paper we evaluate the corrections to the analyzing powers due to (i) the differences between the electromagnetic and hadronic form factors and (ii) the $m_p^2/s$ terms in the elastic spin-flip $pp$ electromagnetic amplitude. The corresponding alterations of the evaluated hadronic spin-flip amplitudes are about the same as the experimental uncertainties of the HJET measurements. The proposed corrections may have implications for the elastic $pp$ forward real-to-imaginary amplitude ratios $\rho$ determined in unpolarized $pp$ experiments.


title: Action-conditioned Benchmarking of Robotic Video Prediction Models: a Comparative Study

abstract: A defining characteristic of intelligent systems is the ability to make action decisions based on the anticipated outcomes. Video prediction systems have been demonstrated as a solution for predicting how the future will unfold visually, and thus, many models have been proposed that are capable of predicting future frames based on a history of observed frames~(and sometimes robot actions). However, a comprehensive method for determining the fitness of different video prediction models at guiding the selection of actions is yet to be developed. Current metrics assess video prediction models based on human perception of frame quality. In contrast, we argue that if these systems are to be used to guide action, necessarily, the actions the robot performs should be encoded in the predicted frames. In this paper, we are proposing a new metric to compare different video prediction models based on this argument. More specifically, we propose an action inference system and quantitatively rank different models based on how well we can infer the robot actions from the predicted frames. Our extensive experiments show that models with high perceptual scores can perform poorly in the proposed action inference tests and thus, may not be suitable options to be used in robot planning systems.


title: Complete K\"ahler-Einstein metric on Stein manifolds with negative curvature

abstract: We show the existence of complete negative K\"ahler-Einstein metric on Stein manifolds with negatively pinched holomorphic sectional curvature. We prove that any K\"ahler metrics on such manifolds can be deformed to the complete negative K\"ahler-Einstein metric using the normalized K\"ahler-Ricci flow.


title: Gaussian Mixture Clustering Using Relative Tests of Fit

abstract: We consider clustering based on significance tests for Gaussian Mixture Models (GMMs). Our starting point is the SigClust method developed by Liu et al. (2008), which introduces a test based on the k-means objective (with k = 2) to decide whether the data should be split into two clusters. When applied recursively, this test yields a method for hierarchical clustering that is equipped with a significance guarantee. We study the limiting distribution and power of this approach in some examples and show that there are large regions of the parameter space where the power is low. We then introduce a new test based on the idea of relative fit. Unlike prior work, we test for whether a mixture of Gaussians provides a better fit relative to a single Gaussian, without assuming that either model is correct. The proposed test has a simple critical value and provides provable error control. One version of our test provides exact, finite sample control of the type I error. We show how our tests can be used for hierarchical clustering as well as in a sequential manner for model selection. We conclude with an extensive simulation study and a cluster analysis of a gene expression dataset.


title: Regularized calculation of the retarded Green function in Schwarzschild spacetime

abstract: The retarded Green function for linear field perturbations of black hole spacetimes is notoriously difficult to calculate. One of the difficulties is due to a Dirac-$\delta$ divergence that the Green function possesses when the two spacetime points are connected by a "direct" null geodesic. We present a procedure which notably aids its calculation in the case of Schwarzschild spacetime by separating this direct $\delta$-divergence from the remainder of the retarded Green function. More precisely, the method consists of calculating the multipolar $\ell$-modes of the direct $\delta$-divergence and subtracting them from the corresponding modes of the retarded Green function. We illustrate the usefulness of the method with some specific calculations in the case of the scalar Green function and self-field for a point scalar charge in Schwarzschild spacetime.


title: A class of fully nonlinear equations arising in conformal geometry

abstract: In this paper, we consider a class of fully nonlinear equations on closed smooth Riemannian manifolds, which can be viewed as an extension of $\sigma_k$ Yamabe equation. Moreover, we prove local gradient and second derivative estimates for solutions to these equations and establish an existence result associated to them.


title: Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Unweighted Case

abstract: This article identifies a key algorithmic ingredient in the edge-weighted online matching algorithm by Zadimoghaddam (2017) and presents a simplified algorithm and its analysis to demonstrate how it works in the unweighted case.


title: Racial Disparities in Debt Collection

abstract: This paper shows that black and Hispanic borrowers are 39% more likely to experience a debt collection judgment than white borrowers, even after controlling for credit scores and other relevant credit attributes. The racial gap in judgments is more pronounced in areas with a high density of payday lenders, a high share of income-less households, and low levels of tertiary education. State-level measures of racial discrimination cannot explain the judgment gap, nor can neighborhood-level differences in the previous share of contested judgments or cases with attorney representation. A back-of-the-envelope calculation suggests that closing the racial wealth gap could significantly reduce the racial disparity in debt collection judgments.


title: Same-sign Charged Higgs Pair Production in bosonic decay channels at the HL-LHC and HE-LHC

abstract: Same-sign charged Higgs pair production via vector-boson scattering is a useful probe of the mass spectrum among the heavier scalar, pseudoscalar, and charged Higgs bosons in two-Higgs-doublet models. It has been shown that the production cross section scales as the square of the mass difference $\Delta m = (m_{H^0} - m_{A^0})$ in the alignment limit $(\cos(\beta - \alpha)=0)$. We study the potential measurement of this same-sign charged Higgs pair production at the high-luminosity LHC (HL-LHC) and the proposed 27 TeV $pp$ collider, with emphasis in the decay channel $H^\pm H^\pm \to (W^\pm A^0 ) (W^\pm A^0)$, which is in general the dominant mode when the charged Higgs mass is above the $W^\pm A^0$ threshold. We also examine the current allowed parameter space taking into account the theoretical constraints on the model, the electroweak precision measurements, $B$ decays, and direct searches in the $H^\pm \to \tau^\pm \nu_\tau$ and $H^\pm \to W ^\pm A^0 \to (\ell^\pm\nu_{\ell} ) (\mu \mu)$.


title: A note on equivariant biharmonic maps and stable biharmonic maps

abstract: In this note, we generalize biharmonic equation for rotationally symmetric maps ([4], [16], [10]) to equivariant maps between model spaces and use it to give a complete classification of rotationally symmetric conformal biharmonic maps from a $4$-dimensional space form into a $4$-dimensional model space. We also give an improved second variation formula for biharmonic maps into a space form and use it to prove that there exists no stable proper biharmonic maps with constant square norm of tension field from a compact Riemannian manifold without boundary into a space form of positive sectional curvature.


title: Convexification of Permutation-Invariant Sets and an Application to Sparse PCA

abstract: We develop techniques to convexify a set that is invariant under permutation and/or change of sign of variables and discuss applications of these results. First, we convexify the intersection of the unit ball of a permutation and sign-invariant norm with a cardinality constraint. This gives a nonlinear formulation for the feasible set of sparse principal component analysis (sparse PCA) and an alternative proof of the $K$-support norm. Second, we characterize the convex hull of sets of matrices defined by constraining their singular values. As a consequence, we generalize an earlier result that characterizes the convex hull of rank-constrained matrices whose spectral norm is below a given threshold. Third, we derive convex and concave envelopes of various permutation-invariant nonlinear functions and their level-sets over hypercubes, with congruent bounds on all variables. Finally, we develop new relaxations for the exterior product of sparse vectors. Using these relaxations for sparse PCA, we show that our relaxation closes $98\%$ of the gap left by a classical SDP relaxation for instances where the covariance matrices are of dimension up to $50\times 50$.


title: Representation Learning of EHR Data via Graph-Based Medical Entity Embedding

abstract: Automatic representation learning of key entities in electronic health record (EHR) data is a critical step for healthcare informatics that turns heterogeneous medical records into structured and actionable information. Here we propose ME2Vec, an algorithmic framework for learning low-dimensional vectors of the most common entities in EHR: medical services, doctors, and patients. ME2Vec leverages diverse graph embedding techniques to cater for the unique characteristic of each medical entity. Using real-world clinical data, we demonstrate the efficacy of ME2Vec over competitive baselines on disease diagnosis prediction.


title: PyODDS: An End-to-End Outlier Detection System

abstract: PyODDS is an end-to end Python system for outlier detection with database support. PyODDS provides outlier detection algorithms which meet the demands for users in different fields, w/wo data science or machine learning background. PyODDS gives the ability to execute machine learning algorithms in-database without moving data out of the database server or over the network. It also provides access to a wide range of outlier detection algorithms, including statistical analysis and more recent deep learning based approaches. PyODDS is released under the MIT open-source license, and currently available at (https://github.com/datamllab/pyodds) with official documentations at (https://pyodds.github.io/).


title: Exact matrix completion based on low rank Hankel structure in the Fourier domain

abstract: Matrix completion is about recovering a matrix from its partial revealed entries, and it can often be achieved by exploiting the inherent simplicity or low dimensional structure of the target matrix. For instance, a typical notion of matrix simplicity is low rank. In this paper we study matrix completion based on another low dimensional structure, namely the low rank Hankel structure in the Fourier domain. It is shown that matrices with this structure can be exactly recovered by solving a convex optimization program provided the sampling complexity is nearly optimal. Empirical results are also presented to justify the effectiveness of the convex method.


title: A 2-Dimensional Functional Central Limit Theorem for Non-stationary Dependent Random Fields

abstract: We obtain an elementary invariance principle for multi-dimensional Brownian sheet where the underlying random fields are not necessarily independent or stationary. Possible applications include unit-root tests for spatial as well as panel data models.


title: Differential Privacy-enabled Federated Learning for Sensitive Health Data

abstract: Leveraging real-world health data for machine learning tasks requires addressing many practical challenges, such as distributed data silos, privacy concerns with creating a centralized database from person-specific sensitive data, resource constraints for transferring and integrating data from multiple sites, and risk of a single point of failure. In this paper, we introduce a federated learning framework that can learn a global model from distributed health data held locally at different sites. The framework offers two levels of privacy protection. First, it does not move or share raw data across sites or with a centralized server during the model training process. Second, it uses a differential privacy mechanism to further protect the model from potential privacy attacks. We perform a comprehensive evaluation of our approach on two healthcare applications, using real-world electronic health data of 1 million patients. We demonstrate the feasibility and effectiveness of the federated learning framework in offering an elevated level of privacy and maintaining utility of the global model.


title: A Novel Technique of Noninvasive Hemoglobin Level Measurement Using HSV Value of Fingertip Image

abstract: Over the last decade, smartphones have changed radically to support us with mHealth technology, cloud computing, and machine learning algorithm. Having its multifaceted facilities, we present a novel smartphone-based noninvasive hemoglobin (Hb) level prediction model by analyzing hue, saturation and value (HSV) of a fingertip video. Here, we collect 60 videos of 60 subjects from two different locations: Blood Center of Wisconsin, USA and AmaderGram, Bangladesh. We extract red, green, and blue (RGB) pixel intensities of selected images of those videos captured by the smartphone camera with flash on. Then we convert RGB values of selected video frames of a fingertip video into HSV color space and we generate histogram values of these HSV pixel intensities. We average these histogram values of a fingertip video and consider as an observation against the gold standard Hb concentration. We generate two input feature matrices based on observation of two different data sets. Partial Least Squares (PLS) algorithm is applied on the input feature matrix. We observe R2=0.95 in both data sets through our research. We analyze our data using Python OpenCV, Matlab, and R statistics tool.


title: Small fiberwise oscillation of the eigenfunctions of collapsing Einstein manifolds

abstract: By Cheeger-Colding's almost splitting theorem, if a domain in a Ricci flat manifold is pointed-Gromov-Hausdorff close to a lower dimensional Euclidean domain, then there is a harmonic almost splitting map. We show that any eigenfunction of the Laplace operator is almost constant along the fibers of the almost splitting map, in the $L^2$-average sense. This generalizes an estimate of Fukaya in the case of collapsing with bounded diameter and sectional curvature.


title: Entropy of Berenstein-Maldacena-Nastase Strings

abstract: In a previous paper, we proposed a probability interpretation for higher genus amplitudes of BMN (Berenstein-Maldacena-Nastase) strings in a pp-wave background with infinite negative curvature. This provides a natural definition of the entropy of a BMN string as the Shannon entropy of its corresponding probability distribution. We prove a universal upper bound that the entropy grows at most logarithmically in the strong string coupling limit. We also study the entropy by numerical methods and discuss some interesting salient features.


title: Spin Nematic Liquids of the $S=1$ Spin Ladder in Magnetic Field

abstract: The magnetization process of the $S=1$ spin ladder system is investigated using the numerical exact diagonalization of finite-size clusters. The field-induced spin nematic liquid phase was predicted to appear by our previous work. Several ground-state phase diagrams in the plane of the single-ion anisotropy and the external magnetic field are obtained in the present study.


title: Reducing the Efficiency Roll-Off in Organic Light-Emitting Diodes at High Currents under External Magnetic Fields

abstract: Singlet-polaron and triplet-polaron annihilation mechanisms are the most detrimental exciton quenching processes that lower the efficiency of organic light-emitting diodes (OLEDs) at high current densities, causing so-called efficiency roll-off in these devices. These exciton loss mechanisms are also the critical obstacles towards the realization of electrically pumped organic semiconductor lasers, which require very high current densities to reach threshold. Herein, under a relatively large external magnetic field, we demonstrate that the efficiency roll-off at high current densities in europium (Eu3+)-based solution-processed OLEDs can be suppressed to some extent while the luminance is enhanced. We achieve this by reducing the Forster-type exciton-polaron annihilation processes. Under the applied magnetic field, we show that manipulation of the polaron-spin and exciton dynamics lead to a quantitative roll-off suppression.


title: Recurrence of direct products of diffusion processes in random media having zero potentials

abstract: In this paper, we introduce an index which measures the strength of recurrence of symmetric Markov processes, and give some sufficient conditions for recurrence of direct products of symmetric diffusion processes. The index is given by the Dirichlet forms of the Markov processes. Moreover, as an application, we prove the recurrence of some multi-dimensional diffusion processes in random environments including zero potentials.


title: Magnetization Plateau of the Distorted Diamond Spin Chain

abstract: The frustrated quantum spin system on the distorted diamond chain lattice is investigated using the numerical diagonalization of finite-size clusters and the level spectroscopy analysis. In the previous work this system was revealed to exhibit the 1/3 magnetization plateau due to two different mechanisms depending on the coupling parameters, and the phase diagram at the 1/3 magnetization was obtained. In the present work it is found that the 1/3 magnetization plateau vanishes for sufficiently large $XY$-like coupling anisotropy. The phase diagram based on the level spectroscopy analysis is also presented.


title: Why Attention? Analyzing and Remedying BiLSTM Deficiency in Modeling Cross-Context for NER

abstract: State-of-the-art approaches of NER have used sequence-labeling BiLSTM as a core module. This paper formally shows the limitation of BiLSTM in modeling cross-context patterns. Two types of simple cross-structures -- self-attention and Cross-BiLSTM -- are shown to effectively remedy the problem. On both OntoNotes 5.0 and WNUT 2017, clear and consistent improvements are achieved over bare-bone models, up to 8.7% on some of the multi-token mentions. In-depth analyses across several aspects of the improvements, especially the identification of multi-token mentions, are further given.


title: Quantum Phase Transition of the Twisted Spin Tube

abstract: The $S=1/2$ twisted three-leg spin tube with the lattice distortion from the regular triangle to the isosceles one is investigated using the numerical diagonalization of finite-size clusters and the phenomenological renormalization group analysis. It is found that the quantum phase transition occurs from the spin gap phase to another one with respect to this lattice distortion.


title: Nonvolatile ferroelectric field control of the anomalous Hall effect in BiFeO3/SrRuO3 bilayer

abstract: In this work, the BiFeO3 (BFO)/SrRuO3 (SRO) heterostructure was fabricated and the anomalous Hall effect (AHE) was investigated the in BFO/SRO. It is found the nonmonotonic anomalous Hall resistivity behavior in BFO/SRO is originated from the inhomogeneous SRO layer instead of the topological Hall effect. It is surprised that the AHE in BFO/SRO structure can be manipulated by ferroelectric polarization of BFO. Moreover, an inhomogeneous phenomenological model has been applied on those structure. Furthermore, the modification of band structure in SRO under ferroelectric polarization was discussed by first principle calculation. The ferroelectric-manipulated AHE suggests a new pathway to realize nonvolatile, reversible and low energy-consuming voltage-controlled spintronic devices.


title: Conductor-discriminant inequality for hyperelliptic curves in odd residue characteristic

abstract: We prove an inequality between the conductor and the discriminant for all hyperelliptic curves defined over discretely valued fields $K$ with perfect residue field of characteristic not 2. Specifically, if such a curve is given by $y^2 = f(x)$ with $f(x) \in \mathcal{O}_K[x]$, and if $X$ is its minimal regular model over $\mathcal{O}_K$, then the negative of the Artin conductor of $X$ (and thus also the number of irreducible components of the special fiber of $X$) is bounded above by the valuation of disc$(f)$. There are no restrictions on genus of the curve or on the ramification of the splitting field of $f$. This generalizes earlier work of Ogg, Saito, Liu, and the second author.


title: Non-Signaling Proofs with $O(\sqrt{\log n})$ Provers are in PSPACE

abstract: Non-signaling proofs, motivated by quantum computation, have found applications in cryptography and hardness of approximation. An important open problem is characterizing the power of no-signaling proofs. It is known that 2-prover no-signaling proofs are characterized by PSPACE, and that no-signaling proofs with $poly(n)$-provers are characterized by EXP. However, the power of $k$-prover no-signaling proofs, for $2<k<poly(n)$ remained an open problem. We show that $k$-prover no-signaling proofs (with negligible soundness) for $k=O(\sqrt{\log n})$ are contained in PSPACE. We prove this via two different routes that are of independent interest. In both routes we consider a relaxation of no-signaling called sub-no-signaling. Our main technical contribution (which is used in both our proofs) is a reduction showing how to convert any sub-no-signaling strategy with value at least $1-2^{-\Omega(k^2)}$ into a no-signaling one with value at least $2^{-O(k^2)}$. In the first route, we show that the classical prover reduction method for converting $k$-prover games into $2$-prover games carries over to the no-signaling setting with the following loss in soundness: if a $k$-player game has value less than $2^{-ck^2}$ (for some constant~$c>0$), then the corresponding 2-prover game has value at most $1 - 2^{dk^2}$ (for some constant~$d>0$). In the second route we show that the value of a sub-no-signaling game can be approximated in space that is polynomial in the communication complexity and exponential in the number of provers.


title: Multi-Agent Reinforcement Learning for Order-dispatching via Order-Vehicle Distribution Matching

abstract: Improving the efficiency of dispatching orders to vehicles is a research hotspot in online ride-hailing systems. Most of the existing solutions for order-dispatching are centralized controlling, which require to consider all possible matches between available orders and vehicles. For large-scale ride-sharing platforms, there are thousands of vehicles and orders to be matched at every second which is of very high computational cost. In this paper, we propose a decentralized execution order-dispatching method based on multi-agent reinforcement learning to address the large-scale order-dispatching problem. Different from the previous cooperative multi-agent reinforcement learning algorithms, in our method, all agents work independently with the guidance from an evaluation of the joint policy since there is no need for communication or explicit cooperation between agents. Furthermore, we use KL-divergence optimization at each time step to speed up the learning process and to balance the vehicles (supply) and orders (demand). Experiments on both the explanatory environment and real-world simulator show that the proposed method outperforms the baselines in terms of accumulated driver income (ADI) and Order Response Rate (ORR) in various traffic environments. Besides, with the support of the online platform of Didi Chuxing, we designed a hybrid system to deploy our model.


title: Implications from simulated strong gravitational lensing systems: constraining cosmological parameters using Gaussian Processes

abstract: Strongly gravitational lensing systems (SGL) encodes cosmology information in source/lens distance ratios $\mathcal{D}_{\rm obs}=\mathcal{D}_{\rm ls}/\mathcal{D}_{\rm s}$, which can be used to precisely constrain cosmological parameters. In this paper, based on future measurements of 390 strong lensing systems from the forthcoming LSST survey, we have successfully reconstructed the distance ratio $\mathcal{D}_{\rm obs}$ (with the source redshift $z_s\sim 4.0$), directly from the data without assuming any parametric form. A recently developed method based on model-independent reconstruction approach, Gaussian Processes (GP) is used in our study of these strong lensing systems. Our results show that independent measurement of the matter density parameter ($\Omega_m$) could be expected from such strong lensing statistics. More specifically, one can expect $\Omega_m$ to be estimated at the precision of $\Delta\Omega_m\sim0.015$ in the concordance $\Lambda$CDM model, which provides comparable constraint on $\Omega_m$ with Planck 2015 results. In the framework of the modified gravity theory (DGP), 390 detectable galactic lenses from future LSST survey would lead to stringent fits of $\Delta\Omega_m\sim0.030$. \textbf{Finally, we have discussed three possible sources of systematic errors (sample incompleteness, the determination of length of lens redshift bin, and the choice of lens redshift shells), and quantified their effects on the final cosmological constraints. Our results strongly indicate that future strong lensing surveys, with the accumulation of a larger and more accurate sample of detectable galactic lenses, will considerably benefit from the methodology described in this analysis. }


title: Unsupervised Image Super-Resolution with an Indirect Supervised Path

abstract: The task of single image super-resolution (SISR) aims at reconstructing a high-resolution (HR) image from a low-resolution (LR) image. Although significant progress has been made by deep learning models, they are trained on synthetic paired data in a supervised way and do not perform well on real data. There are several attempts that directly apply unsupervised image translation models to address such a problem. However, unsupervised low-level vision problem poses more challenge on the accuracy of translation. In this work,we propose a novel framework which is composed of two stages: 1) unsupervised image translation between real LR images and synthetic LR images; 2) supervised super-resolution from approximated real LR images to HR images. It takes the synthetic LR images as a bridge and creates an indirect supervised path from real LR images to HR images. Any existed deep learning based image super-resolution model can be integrated into the second stage of the proposed framework for further improvement. In addition it shows great flexibility in balancing between distortion and perceptual quality under unsupervised setting. The proposed method is evaluated on both NTIRE 2017 and 2018 challenge datasets and achieves favorable performance against supervised methods.


title: Weighted graphlets and deep neural networks for protein structure classification

abstract: As proteins with similar structures often have similar functions, analysis of protein structures can help predict protein functions and is thus important. We consider the problem of protein structure classification, which computationally classifies the structures of proteins into pre-defined groups. We develop a weighted network that depicts the protein structures, and more importantly, we propose the first graphlet-based measure that applies to weighted networks. Further, we develop a deep neural network (DNN) composed of both convolutional and recurrent layers to use this measure for classification. Put together, our approach shows dramatic improvements in performance over existing graphlet-based approaches on 36 real datasets. Even comparing with the state-of-the-art approach, it almost halves the classification error. In addition to protein structure networks, our weighted-graphlet measure and DNN classifier can potentially be applied to classification of other weighted networks in computational biology as well as in other domains.


title: The influence of the Earth's curved spacetime on Gaussian quantum coherence

abstract: Light wave-packets propagating from the Earth to satellites will be deformed by the curved background spacetime of the Earth, thus influencing the quantum state of light. We show that Gaussian coherence of photon pairs, which are initially prepared in a two-mode squeezed state, is affected by the curved spacetime background of the Earth. We demonstrate that quantum coherence of the state increases for a specific range of height h and then gradually approaches a finite value with further increasing height of the satellite's orbit in Kerr spacetime, because special relativistic effect are involved. Meanwhile, we find that Gaussian coherence increases with the increase of Gaussian bandwidth parameter, but the Gaussian coherence decreases with the growth of the peak frequency. In addition, we also find that total gravitational frequency shift causes changes of Gaussian coherence less than $%1$ and different initial peak frequencies also can effect rate of change with the satellite height in geostationary Earth orbits.


title: Liquid-liquid capillary replacement in a horizontal geometry: universal dynamics and replacement time

abstract: Capillary invasion of a liquid into an empty tube, which is called capillary rise when the tube axis is in the vertical direction, is one of the fundamental phenomena representing capillary effects. Usually, the tube is actually filled with another pre-existing fluid, air, whose viscosity and inertia can be practically neglected. In this study, we considered the effect of the pre-existing fluid, when its viscosity is non-negligible, in a horizontally geometry. This geometry is free from gravity and thus simpler than the geometry of capillary rise. We observed the dynamics when a capillary tube that is submerged horizontally in a liquid gets in contact with a second liquid. An appropriate combination of liquids allowed us to observe that the second liquid replaces the first without any prewetting process, thanks to a careful cleaning of capillary tubes. Furthermore, we experimentally observed three distinct viscous dynamics: (i) the conventional slowing-down dynamics, (ii) an unusual accelerating dynamics, and (iii) another unusual dynamics, which is linear in time. We developed a theory in viscous regimes, which accounts well for the observations through a unified expression describing the three distinct dynamics. We also demonstrated a thorough experimental confirmation on the initial velocity of the replacement. We further focused on the replacement time, the time required for the invading fluid to replaces completely the pre-existing fluid in the horizontal geometry, which is again well explained by the theory.

categories: physics.flu-dyn cond-mat.soft cond-mat.stat-mech physics.app-ph physics.chem-ph


title: Where to find needles in a haystack?

abstract: In many existing methods in multiple comparison, one starts with either Fisher's p-values or the local fdr scores. The former one, with a usual definition as the tail probability exceeding the observed test statistic under the null distribution, fails to use the information from the alternative hypothesis and the targeted region of signals could be completely wrong especially when the likelihood ratio function is not monotone. The local fdr based approaches, usually relying on the density functions, are optimal oracally. However, the targeted region of the signals of the data-driven version is problematic because of the slow convergence of the non-parametric density estimation especially on the boundaries. In this paper, we propose a new method: Cdf and Local fdr Assisted multiple Testing method (CLAT), which is optimal for cases when the p-values based method are not. Additionally, the data-driven version only relies on the estimation of the cumulative distribution function and converges to the oracle version quickly. Both simulations and real data analysis demonstrate the superior performance of the proposed method than the existing ones. Furthermore, the computation is instantaneous based on a novel algorithm and is scalable to the large data set.


title: BiLQ: An Iterative Method for Nonsymmetric Linear Systems with a Quasi-Minimum Error Property

abstract: We introduce an iterative method named BiLQ for solving general square linear systems Ax = b based on the Lanczos biorthogonalization process defined by least-norm subproblems, and that is a natural companion to BiCG and QMR. Whereas the BiCG (Fletcher, 1976), CGS (Sonneveld, 1989) and BiCGSTAB (van der Vorst, 1992) iterates may not exist when the tridiagonal projection of A is singular, BiLQ is reliable on compatible systems even if A is ill-conditioned or rank deficient. As in the symmetric case, the BiCG residual is often smaller than the BiLQ residual and, when the BiCG iterate exists, an inexpensive transfer from the BiLQ iterate is possible. Although the Euclidean norm of the BiLQ error is usually not monotonic, it is monotonic in a different norm that depends on the Lanczos vectors. We establish a similar property for the QMR (Freund and Nachtigal, 1991) residual. BiLQ combines with QMR to take advantage of two initial vectors and solve a system and an adjoint system simultaneously at a cost similar to that of applying either method. We derive an analogous combination of USYMLQ and USYMQR based on the orthogonal tridiagonalization process (Saunders, Simon, and Yip, 1988). The resulting combinations, named BiLQR and TriLQR, may be used to estimate integral functionals involving the solution of a primal and an adjoint system. We compare BiLQR and TriLQR with Minres-qlp on a related augmented system, which performs a comparable amount of work and requires comparable storage. In our experiments, BiLQR terminates earlier than TriLQR and MINRES-QLP in terms of residual and error of the primal and adjoint systems.


title: Chiral spin-wave velocities induced by all-garnet interfacial Dzyaloshinskii-Moriya interaction in ultrathin yttrium iron garnet films

abstract: Spin waves can probe the Dzyaloshinskii-Moriya interaction (DMI) which gives rise to topological spin textures, such as skyrmions. However, the DMI has not yet been reported in yttrium iron garnet (YIG) with arguably the lowest damping for spin waves. In this work, we experimentally evidence the interfacial DMI in a 7~nm-thick YIG film by measuring the nonreciprocal spin wave propagation in terms of frequency, amplitude and most importantly group velocities using all electrical spin-wave spectroscopy. The velocities of propagating spin waves show chirality among three vectors, i.e. the film normal direction, applied field and spin-wave wavevector. By measuring the asymmetric group velocities, we extract a DMI constant of 16~$\mu$J/m$^{2}$ which we independently confirm by Brillouin light scattering. Thickness-dependent measurements reveal that the DMI originates from the oxide interface between the YIG and garnet substrate. The interfacial DMI discovered in the ultrathin YIG films is of key importance for functional chiral magnonics as ultra-low spin-wave damping can be achieved.


title: Deep Evidential Regression

abstract: Deterministic neural networks (NNs) are increasingly being deployed in safety critical domains, where calibrated, robust, and efficient measures of uncertainty are crucial. In this paper, we propose a novel method for training non-Bayesian NNs to estimate a continuous target as well as its associated evidence in order to learn both aleatoric and epistemic uncertainty. We accomplish this by placing evidential priors over the original Gaussian likelihood function and training the NN to infer the hyperparameters of the evidential distribution. We additionally impose priors during training such that the model is regularized when its predicted evidence is not aligned with the correct output. Our method does not rely on sampling during inference or on out-of-distribution (OOD) examples for training, thus enabling efficient and scalable uncertainty learning. We demonstrate learning well-calibrated measures of uncertainty on various benchmarks, scaling to complex computer vision tasks, as well as robustness to adversarial and OOD test samples.


title: On singularity of energy measures for symmetric diffusions with full off-diagonal heat kernel estimates

abstract: We show that for a strongly local, regular symmetric Dirichlet form over a complete, locally compact geodesic metric space, full off-diagonal heat kernel estimates with walk dimension strictly larger than two (\emph{sub-Gaussian} estimates) imply the singularity of the energy measures with respect to the symmetric measure, verifying a conjecture by M.\ T.\ Barlow in [Contemp.\ Math., vol.\ 338, 2003, pp.\ 11--40]. We also prove that in the contrary case of walk dimension two, i.e., where full off-diagonal \emph{Gaussian} estimates of the heat kernel hold, the symmetric measure and the energy measures are mutually absolutely continuous in the sense that a Borel subset of the state space has measure zero for the symmetric measure if and only if it has measure zero for the energy measures of all functions in the domain of the Dirichlet form.


title: Human Action Sequence Classification

abstract: This paper classifies human action sequences from videos using a machine translation model. In contrast to classical human action classification which outputs a set of actions, our method output a sequence of action in the chronological order of the actions performed by the human. Therefore our method is evaluated using sequential performance measures such as Bilingual Evaluation Understudy (BLEU) scores. Action sequence classification has many applications such as learning from demonstration, action segmentation, detection, localization and video captioning. Furthermore, we use our model that is trained to output action sequences to solve downstream tasks; such as video captioning and action localization. We obtain state of the art results for video captioning in challenging Charades dataset obtaining BLEU-4 score of 34.8 and METEOR score of 33.6 outperforming previous state-of-the-art of 18.8 and 19.5 respectively. Similarly, on ActivityNet captioning, we obtain excellent results in-terms of ROUGE (20.24) and CIDER (37.58) scores. For action localization, without using any explicit start/end action annotations, our method obtains localization performance of 22.2 mAP outperforming prior fully supervised methods.


title: Pressure-induced superconductivity and topological phase transitions in the topological nodal-line semimetal SrAs3

abstract: Topological nodal-line semimetals (TNLSMs) are materials whose conduction and valence bands cross each other, meeting a topologically-protected closed loop rather than discrete points in the Brillouin zone (BZ). The anticipated properties for TNLSMs include drumhead-like nearly flat surface states, unique Landau energy levels, special collective modes, long-range Coulomb interactions, or the possibility of realizing high-temperature superconductivity. Recently, SrAs3 has been theoretically proposed and then experimentally confirmed to be a TNLSM. Here, we report high-pressure experiments on SrAs3, identifying a Lifshitz transition below 1 GPa and a superconducting transition accompanied by a structural phase transition above 20 GPa. A topological crystalline insulator (TCI) state is revealed by means of density functional theory (DFT) calculations on the emergent high-pressure phase. As the counterpart of topological insulators, TCIs possess metallic boundary states protected by crystal symmetry, rather than time reversal. In consideration of topological surface states (TSSs) and helical spin texture observed in the high-pressure state of SrAs3, the superconducting state may be induced in the surface states, and is most likely topologically nontrivial, making pressurized SrAs3 a strong candidate for topological superconductor.


title: Comment on Self-Stress on a Dielectric Ball and Casimir-Polder Forces

abstract: In our paper [Ann. Phys. (NY) 395, 326 (2018)] we calculate the Casimir stress on a sphere immersed in a homogeneous background, assuming dispersionless dielectrics. Our results appear to challenge the conventional picture of Casimir forces. The paper [arXiv:1909.05721] criticises our approach without offering an alternative. In particular, the paper [arXiv:1909.05721] claims that we have made an unjustified mathematical step. This brief comment clarifies the matter.


title: Massless Majorana bispinors and two-qubit entangled state

abstract: This is a pedagogical paper, where bispinors solutions to the four-dimensional massless Dirac equation are considered in relativistic quantum mechanics and in quantum computation, taking advantage of the common mathematical description of four dimensional spaces. First, Weyl and massless Majorana bispinors are shown to be unitary equivalent, closing a gap in the literature regarding their equivalence. A discrepancy in the number of linearly independent solutions reported in the literature is also addressed. Then, it is shown that Weyl bispinors are algebraically equivalent to two-qubit direct product states, and that the massless Majorana bispinors are algebraically equivalent to maximally entangled sates (Bell states), with the transformations relating the two bispinors types acting as entangling gates in quantum computation. Different types of entangling gates are presented, highlighting a set that fulfills the required properties for Majorana zero mode operators in topological quantum computation. Based on this set, a general topological quantum computation model with four Majorana operators is presented, which exhibits all the required technical and physical properties to obtain entanglement of two logical qubits from topological operations.


title: On Dimensional Transmutation in 1+1D Quantum Hydrodynamics

abstract: Recently a detailed correspondence was established between, on one side, four and five-dimensional large-N supersymmetric gauge theories with $\mathcal{N}=2$ supersymmetry and adjoint matter, and, on the other side, integrable 1+1-dimensional quantum hydrodynamics. Under this correspondence the phenomenon of dimensional transmutation, familiar in asymptotically free QFTs, gets mapped to the transition from the elliptic Calogero-Moser many-body system to the closed Toda chain. In this paper we attempt to formulate the hydrodynamical counterpart of the dimensional transmutation phenomenon inspired by the identification of the periodic Intermediate Long Wave (ILW) equation as the hydrodynamical limit of the elliptic Calogero-Moser/Ruijsenaars-Schneider system. We also conjecture that the chiral flow in the vortex fluid provides the proper framework for the microscopic description of such dimensional transmutation in the 1+1d hydrodynamics. We provide a geometric description of this phenomenon in terms of the ADHM moduli space.

categories: hep-th cond-mat.str-el math-ph math.MP nlin.SI


title: Modeling Communication of Collaborative Multi-Agent System under Epistemic Planning

abstract: In most multiagent applications, communication is essential among agents to coordinate their actions, and thus achieve their goal. However, communication often has a related cost that affects overall system performance. In this paper, we draw inspiration from studies of epistemic planning to develop a communication model for agents that allows them to cooperate and make communication decisions effectively within a planning task. The proposed model treats a communication process as an action that modifies the epistemic state of the team. In two simulated tasks, we evaluate whether agents can cooperate effectively and achieve higher performance using communication protocol modeled in our epistemic planning framework. Based on an empirical study conducted using search and rescue tasks with different scenarios, our results show that the proposed model improved team performance across all scenarios compared with baseline models.


title: A Measurement of the Degree Scale CMB B-mode Angular Power Spectrum with POLARBEAR

abstract: We present a measurement of the $B$-mode polarization power spectrum of the cosmic microwave background (CMB) using taken from July 2014 to December 2016 with the POLARBEAR experiment. The CMB power spectra are measured using observations at 150 GHz with an instantaneous array sensitivity of $\mathrm{NET}_\mathrm{array}=23\, \mu \mathrm{K} \sqrt{\mathrm{s}}$ on a 670 square degree patch of sky centered at (RA, Dec)=($+0^\mathrm{h}12^\mathrm{m}0^\mathrm{s},-59^\circ18^\prime$). A continuously rotating half-wave plate is used to modulate polarization and to suppress low-frequency noise. We achieve $32\,\mu\mathrm{K}$-$\mathrm{arcmin}$ effective polarization map noise with a knee in sensitivity of $\ell = 90$, where the inflationary gravitational wave signal is expected to peak. The measured $B$-mode power spectrum is consistent with a $\Lambda$CDM lensing and single dust component foreground model over a range of multipoles $50 \leq \ell \leq 600$. The data disfavor zero $C_\ell^{BB}$ at $2.2\sigma$ using this $\ell$ range of POLARBEAR data alone. We cross-correlate our data with Planck high frequency maps and find the low-$\ell$ $B$-mode power in the combined dataset to be consistent with thermal dust emission. We place an upper limit on the tensor-to-scalar ratio $r < 0.90$ at 95% confidence level after marginalizing over foregrounds.


title: Minimum Orbital Intersection Distance: Asymptotic Approach

abstract: The minimum orbital intersection distance is used as a measure to assess potential close approaches and collision risks between astronomical objects. Methods to calculate this quantity have been proposed in several previous publications. The most frequent case is that in which both objects have elliptical osculating orbits. When at least one of the two orbits has low eccentricity, the latter can be used as a small parameter in an asymptotic power series expansion. The resulting approximation can be exploited to speed up the computation with negligible cost in terms of accuracy. This contribution introduces two asymptotic procedures into the SDG-MOID method presented in a previous article, it discusses the results of performance tests and their comparisons with previous findings. The best approximate procedure yields a reduction of 40% in computing speed without degrading the accuracy of the determinations. This remarkable result suggests that large benefits can be obtained in applications involving massive distance computations, such as in the analysis of large databases, in Monte Carlo simulations for impact risk assessment or in the long-time monitoring of the minimum orbital intersection distance between two objects.


title: Multi-hop Question Answering via Reasoning Chains

abstract: Multi-hop question answering requires models to gather information from different parts of a text to answer a question. Most current approaches learn to address this task in an end-to-end way with neural networks, without maintaining an explicit representation of the reasoning process. We propose a method to extract a discrete reasoning chain over the text, which consists of a series of sentences leading to the answer. We then feed the extracted chains to a BERT-based QA model to do final answer prediction. Critically, we do not rely on gold annotated chains or "supporting facts:" at training time, we derive pseudogold reasoning chains using heuristics based on named entity recognition and coreference resolution. Nor do we rely on these annotations at test time, as our model learns to extract chains from raw text alone. We test our approach on two recently proposed large multi-hop question answering datasets: WikiHop and HotpotQA, and achieve state-of-art performance on WikiHop and strong performance on HotpotQA. Our analysis shows the properties of chains that are crucial for high performance: in particular, modeling extraction sequentially is important, as is dealing with each candidate sentence in a context-aware way. Furthermore, human evaluation shows that our extracted chains allow humans to give answers with high confidence, indicating that these are a strong intermediate abstraction for this task.


title: RAMBO: Repeated And Merged BloOm Filter for Ultra-fast Multiple Set Membership Testing (MSMT) on Large-Scale Data

abstract: Multiple Set Membership Testing (MSMT) is a well-known problem in a variety of search and query applications. Given a dataset of K different sets and a query q, it aims to find all of the sets containing the query. Trivially, an MSMT instance can be reduced to K membership testing instances, each with the same q, leading to O(K) query time with a simple array of Bloom Filters. We propose a data-structure called RAMBO (Repeated And Merged BloOm Filter) that achieves O(\sqrt{K} log K) query time in expectation with an additional worst-case memory cost factor of O(log K) beyond the array of Bloom Filters. Due to this, RAMBO is a very fast and accurate data-structure. Apart from being embarrassingly parallel, supporting cheap updates for streaming inputs, zero false-negative rate, and low false-positive rate, RAMBO beats the state-of-the-art approaches for genome indexing methods: COBS (Compact bit-sliced signature index), Sequence Bloom Trees (a Bloofi based implementation), HowDeSBT, SSBT, and document indexing methods like BitFunnel. The proposed data-structure is simply a count-min sketch type arrangement of a membership testing utility (Bloom Filter in our case). It indexes k-grams and provides an approximate membership testing based search utility. The simplicity of the algorithm and embarrassingly parallel architecture allows us to index a 170 TB genome dataset in a mere 14 hours on a cluster of 100 nodes while competing methods require weeks.


title: Compositional Generalization for Primitive Substitutions

abstract: Compositional generalization is a basic mechanism in human language learning, but current neural networks lack such ability. In this paper, we conduct fundamental research for encoding compositionality in neural networks. Conventional methods use a single representation for the input sentence, making it hard to apply prior knowledge of compositionality. In contrast, our approach leverages such knowledge with two representations, one generating attention maps, and the other mapping attended input words to output symbols. We reduce the entropy in each representation to improve generalization. Our experiments demonstrate significant improvements over the conventional methods in five NLP tasks including instruction learning and machine translation. In the SCAN domain, it boosts accuracies from 14.0% to 98.8% in Jump task, and from 92.0% to 99.7% in TurnLeft task. It also beats human performance on a few-shot learning task. We hope the proposed approach can help ease future research towards human-level compositional language learning.


title: Placement and Routing Optimization Problem for Service Function Chain: State of Art and Future Opportunities

abstract: Network Functions Virtualization (NFV) allows implantation of network functions to be independent of dedicated hardware devices. Any series of services can be represented by a service function chain which contains a set of virtualized network functions in a specified order. From the perspective of network performance optimization, the challenges of deploying service chain in network is twofold: 1) the location of placing virtualized network functions and resources allocation scheme; and 2) routing policy for traffic flow among different instances of network function. This article introduces service function chain related optimization problems, summarizes the optimization motivation and mainstream algorithm of virtualized network functions deployment and traffic routing. We hope it can help readers to learn about the current research progress and make further innovation in this field.


title: Mis-orientation controlled cross-plane thermoelectricity in twisted bilayer graphene

abstract: The introduction of 'twist' or relative rotation between two atomically thin van der Waals (vdW) membranes gives rise to periodic Moire potential, leading to a substantial altercation of the band structure of the planar assembly. While most of the recent experiments primarily focus on the electronic-band hybridization by probing in-plane transport properties, here we report out-of-plane thermoelectric measurements across the van der Waals gap in twisted bilayer graphene (tBLG), which exhibits an interplay of twist-dependent inter-layer electronic and phononic hybridization. We show that at a large twist angle, the thermopower is entirely driven by a novel phonon drag effect at the sub-nanometer scale, while the electronic component of the thermopower is recovered only when the misorientation between the layers is reduced to less than two degrees. Our experiment shows that cross-plane thermoelectricity at a low angle is exceptionally sensitive to the nature of band dispersion and may provide fundamental insights into the coherence of electronic states in twisted bilayer graphene.


title: Effects of CME and CIR induced geomagnetic storms on low-latitude ionization over Indian longitudes in terms of neutral dynamics

abstract: This paper presents the response of the ionosphere during the intense geomagnetic storms of October 12-20, 2016 and May 26-31, 2017 which occurred during the declining phase of the solar cycle 24. Total Electron Content (TEC) from GPS measured at Indore, Calcutta and Siliguri having geomagnetic dips varying from 32.23{\deg}N, 32{\deg}N and 39.49{\deg}N respectively and at the International GNSS Service (IGS) stations at Lucknow (beyond anomaly crest), Hyderabad (between geomagnetic equator and northern crest of EIA) and Bangalore (near magnetic equator) in the Indian longitude zone have been used for the storms. Prominent peaks in diurnal maximum in excess of 20-45 TECU over the quiet time values were observed during the October 2016 storm at Lucknow, Indore, Hyderabad, Bangalore and 10-20 TECU for the May 2017 storm at Siliguri, Indore, Calcutta and Hyderabad. The GUVI images onboard TIMED spacecraft that measures the thermospheric O/N2 ratio, showed high values (O/N2 ratio of about 0.7) on October 16 when positive storm effects were observed compared to the other days during the storm period. The observed features have been explained in terms of the O/N2 ratio increase in the equatorial thermosphere, CIR-induced High Speed Solar Wind (HSSW) event for the October 2016 storm. The TEC enhancement has also been explained in terms of the Auroral Electrojet (AE), neutral wind values obtained from the Horizontal Wind Model (HWM14) and equatorial electrojet strength from magnetometer data for both October 2016 and May 2017 storms. These results are one of the first to be reported from the Indian longitude sector on influence of CME- and CIR-driven geomagnetic storms on TEC during the declining phase of solar cycle 24.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.geo-ph physics.plasm-ph


title: Bundles on Pn with vanishing lower cohomologies

abstract: We study bundles on projective spaces that have vanishing lower cohomologies using their short minimal free resolutions. We partition the moduli $\mathbf{M}$ according to the Hilbert function $H$ and classify all possible Hilbert functions $H$ of such bundles. For each $H$, we describe a stratification of $\mathbf{M}_H$ by quotients of rational varieties. We show that the closed strata form a graded lattice given by the Betti numbers.


title: Development of Low Radioactive Molecular Sieves for Ultra-Low Background Particle Physics Experiment

abstract: This study develops low radioactive molecular sieves (MS) for ultra-low background particle physics experiment. The manufactured MS is of type 4A. $^{226}$Ra and $^{232}$Th have concentrations of about 57 and 198 mBq/kg, respectively, measured by applying high-purity germanium (HPGe) measurement. The reduction of the radioactivity from the commercial one is about 99 and 97 percent for $^{226}$Ra and $^{232}$Th, respectively. Furthermore, the radon emanation rate from MS filter is about 2.1 mBq, which is measured by utilizing pin-photo type radon detector. This developed MS is expected to remove the impurity from the noble gas, in which low radioactivity is needed such as dark matter search experiment.


title: CrowdFix: An Eyetracking Dataset of Real Life Crowd Videos

abstract: Understanding human visual attention and saliency is an integral part of vision research. In this context, there is an ever-present need for fresh and diverse benchmark datasets, particularly for insight into special use cases like crowded scenes. We contribute to this end by: (1) reviewing the dynamics behind saliency and crowds. (2) using eye tracking to create a dynamic human eye fixation dataset over a new set of crowd videos gathered from the Internet. The videos are annotated into three distinct density levels. (3) Finally, we evaluate state-of-the-art saliency models on our dataset to identify possible improvements for the design and creation of a more robust saliency model.


title: Epitaxial Growth of Perovskite SrBiO$_3$ Film on SrTiO$_3$ by Oxide Molecular Beam Epitaxy

abstract: Hole-doped perovskite bismuthates such as Ba$_{1-x}$K$_x$BiO$_3$ and Sr$_{1-x}$K$_x$BiO$_3$ are well-known bismuth-based oxide high-transition-temperature superconductors. Reported thin bismuthate films show relatively low quality, likely due to their large lattice mismatch with the substrate and a low sticking coefficient of Bi at high temperatures. Here, we report the successful epitaxial thin film growth of the parent compound strontium bismuthate SrBiO$_3$ on SrO-terminated SrTiO$_3$ (001) substrates by molecular beam epitaxy. Two different growth methods, high-temperature co-deposition or recrystallization cycles of low-temperature deposition plus high-temperature annealing, are developed to improve the epitaxial growth. SrBiO$_3$ has a pseudocubic lattice constant $\sim$4.25 \AA, an $\sim$8.8\% lattice mismatch on SrTiO$_3$ substrate, leading to a large strain in the first few unit cells. Films thicker than 6 unit cells prepared by both methods are fully relaxed to bulk lattice constant and have similar quality. Compared to high-temperature co-deposition, the recrystallization method can produce higher quality 1-6 unit cell films that are coherently or partially strained. Photoemission experiments reveal the bonding and antibonding states close to the Fermi level due to Bi and O hybridization, in good agreement with density functional theory calculations. This work provides general guidance to the synthesis of high-quality perovskite bismuthate films.


title: Fate of the Bose polaron at finite temperature

abstract: We consider an impurity immersed in a Bose-Einstein condensate with tunable boson-impurity interactions. Such a Bose polaron has recently been predicted to exhibit an intriguing energy spectrum at finite temperature, where the ground-state quasiparticle evenly splits into two branches as the temperature is increased from zero [Guenther et al., Phys. Rev. Lett. 120, 050405 (2018)]. To investigate this theoretical prediction, we employ a recently developed variational approach that systematically includes multi-body correlations between the impurity and the finite-temperature medium, thus allowing us to go beyond previous finite-temperature methods. Crucially, we find that the number of quasiparticle branches is simply set by the number of hole excitations of the thermal cloud, such that including up to one hole yields one splitting, two holes yields two splittings, and so on. Moreover, this effect is independent of the impurity mass. We thus expect that the exact ground-state quasiparticle will evolve into a single broad peak for temperatures $T>0$, with a broadening that scales as $T^{3/4}$ at low temperatures and sufficiently weak boson-boson interactions. In the zero-temperature limit, we show that our calculated ground-state polaron energy is in excellent agreement with recent quantum Monte Carlo results and with experiments.


title: A Lower Bound on the Number of Boolean Functions with Median Correlation Immunity

abstract: The number of $n$-ary balanced correlation immune (resilient) Boolean functions of order $\frac{n}{2}$ is not less than $n^{2^{(n/2)-2}(1+o(1))}$ as $n\rightarrow\infty$. Keywords: resilient function, correlation immune function, orthogonal array


title: Probing fragmentation and velocity sub-structure in the massive NGC 6334 filament with ALMA

abstract: Herschel surveys of Galactic clouds support a paradigm for low-mass star formation in which dense filaments play a crucial role. The detailed fragmentation properties of star-forming filaments remain poorly understood, however, and the validity of the filament paradigm in the high-mass regime is still unclear. To investigate the density/velocity structure of the filament in the high-mass star-forming region NGC6334, we conducted ALMA observations in the 3mm continuum and the N2H+(1-0) line at ~3arcsec resolution. The filament was detected in both tracers. We identified 26 cores at 3mm and 5 velocity-coherent fiber-like features in N2H+ within the filament. The typical length of, and velocity difference between, the fiber-like features of the NGC6334 filament are reminiscent of the properties for the fibers of the low-mass star-forming filament B211/B213. Only 2 or 3 of the 5 velocity-coherent features are well aligned with the filament and may represent genuine, fiber sub-structures. The core mass distribution has a peak at ~10Msun. They can be divided into 7 groups of cores, closely associated with ArTeMiS clumps. The projected separation between cores and the projected spacing between clumps are roughly consistent with the effective Jeans length in the filament and a physical scale of about 4 times the filament width, respectively, suggesting a bimodal filament fragmentation process. Despite being one order of magnitude denser and more massive than the B211/B213 filament, the NGC6334 filament has a similar density/velocity structure. The difference is that the cores in NGC6334 appear to be an order of magnitude denser and more massive than the cores in Taurus. This suggests that dense filaments may evolve and fragment in a similar manner in low- and high-mass star-forming regions, and that the filament paradigm may hold in the intermediate-mass (if not high-mass) star formation regime.


title: The convolution algebra of Schwarz kernels on a singular foliation

abstract: Motivated by the study of H\"ormander's sums-of-squares operators and their generalizations, we define the convolution algebra of transverse distributions associated to a singular foliation. We prove that this algebra is represented as continuous linear operators on the spaces of smooth functions and generalized functions on the underlying manifold, and on the leaves and their holonomy covers. This generalizes Schwartz kernel operators to singular foliations. We also define the algebra of smoothing operators in this context and prove that it is a two-sided ideal.


title: Label-PEnet: Sequential Label Propagation and Enhancement Networks for Weakly Supervised Instance Segmentation

abstract: Weakly-supervised instance segmentation aims to detect and segment object instances precisely, given imagelevel labels only. Unlike previous methods which are composed of multiple offline stages, we propose Sequential Label Propagation and Enhancement Networks (referred as Label-PEnet) that progressively transform image-level labels to pixel-wise labels in a coarse-to-fine manner. We design four cascaded modules including multi-label classification, object detection, instance refinement and instance segmentation, which are implemented sequentially by sharing the same backbone. The cascaded pipeline is trained alternatively with a curriculum learning strategy that generalizes labels from high-level images to low-level pixels gradually with increasing accuracy. In addition, we design a proposal calibration module to explore the ability of classification networks to find key pixels that identify object parts, which serves as a post validation strategy running in the inverse order. We evaluate the efficiency of our Label-PEnet in mining instance masks on standard benchmarks: PASCAL VOC 2007 and 2012. Experimental results show that Label-PEnet outperforms the state-of-the-art algorithms by a clear margin, and obtains comparable performance even with the fully-supervised approaches.


title: Method to Observe Anomaly of Magnetic Susceptibility for Quantum Spin Systems

abstract: We propose a new method for studying the anomaly of magnetic susceptibility $\chi$ that indicates a phase transition for quantum spin systems. In addition, we introduce the fourth derivative $A$ of the lowest energy eigenvalue per site with respect to magnetization, that is, the second derivative of $\chi^{-1}$. To verify the validity of this method, we apply it to an $S=1/2$ XXZ antiferromagnetic chain. The lowest energy of the chain is calculated by numerical diagonalization. As a result, the anomaly of $\chi$ and $A$ exists at zero magnetization. That of $A$ is easier to observe than that of $\chi$, which indicates that the observation of $A$ is a more efficient method to evaluate an anomaly than that of $\chi$. The observation of $A$ reveals an anomaly that shows the high order phase transition, namely, the fourth order phase transition. Our method is helpful for analyzing critical phenomena.


title: Gorenstein projective modules and recollements over triangular matrix rings

abstract: Let $T=\left( \begin{array}{cc} R & M 0 & S \end{array} \right) $ be a triangular matrix ring with $R$ and $S$ rings and $_RM_S$ an $R$-$S$-bimodule. We describe Gorenstein projective modules over $T$. In particular, we refine a result of Enochs, Cort\'{e}s-Izurdiaga and Torrecillas [Gorenstein conditions over triangular matrix rings, J. Pure Appl. Algebra 218 (2014), no. 8, 1544-1554]. Also, we consider when the recollement of $\mathbb{D}^b(T{\text-} Mod)$ restricts to a recollement of its subcategory $\mathbb{D}^b(T{\text-} Mod)_{fgp}$ consisting of complexes with finite Gorenstein projective dimension. As applications, we obtain recollements of the stable category $\underline{T{\text-} GProj}$ and recollements of the Gorenstein defect category $\mathbb{D}_{def}(T{\text-} Mod)$.


title: The converse of Weyl's eigenvalue inequality

abstract: We establish the converse of Weyl's eigenvalue inequality for additive Hermitian perturbations of a Hermitian matrix.


title: Dissociative recombination of cold HeH$^+$ ions

abstract: The HeH$^+$ cation is the simplest molecular prototype of the indirect dissociative recombination (DR) process that proceeds through electron capture into Rydberg states of the corresponding neutral molecule. This Letter develops the first application of our recently developed energy-dependent frame transformation theory to the indirect DR processes. The theoretical model is based on the multichannel quantum-defect theory with the vibrational basis states computed using exterior complex scaling (ECS) of the nuclear Hamiltonian. The ab initio electronic R-matrix theory is adopted to compute quantum defects as functions of the collision energy and of the internuclear distance. The resulting DR rates are convolved over the beam energy distributions relevant to a recent experiment at the Cryogenic Storage Ring, giving good agreement between the experiment and the theory.


title: Softmax Is Not an Artificial Trick: An Information-Theoretic View of Softmax in Neural Networks

abstract: Despite great popularity of applying softmax to map the non-normalised outputs of a neural network to a probability distribution over predicting classes, this normalised exponential transformation still seems to be artificial. A theoretic framework that incorporates softmax as an intrinsic component is still lacking. In this paper, we view neural networks embedding softmax from an information-theoretic perspective. Under this view, we can naturally and mathematically derive log-softmax as an inherent component in a neural network for evaluating the conditional mutual information between network output vectors and labels given an input datum. We show that training deterministic neural networks through maximising log-softmax is equivalent to enlarging the conditional mutual information, i.e., feeding label information into network outputs. We also generalise our informative-theoretic perspective to neural networks with stochasticity and derive information upper and lower bounds of log-softmax. In theory, such an information-theoretic view offers rationality support for embedding softmax in neural networks; in practice, we eventually demonstrate a computer vision application example of how to employ our information-theoretic view to filter out targeted objects on images.


title: Excision of Skein Categories and Factorisation Homology

abstract: We prove that the skein categories of Walker--Johnson-Freyd satisfy excision. This allows us to conclude that skein categories are $k$-linear factorisation homology and taking the free cocompletion of skein categories recovers locally finitely presentable factorisation homology. An application of this is that the skein algebra of a punctured surface related to any quantum group with generic parameter gives a quantisation of the associated character variety.


title: Energy-dependent frame transformation theory for dissociative recombination

abstract: The energy-dependent frame transformation theory of Gao and Greene 1990 [Phys. Rev. A {\bf 42}, 6946 (1990)] is extended to yield quantitatively accurate description of the dissociative recombination process. Evidence is presented to show that direct application of the original theory leads to inaccurate cross sections. A major revision, based on an interaction-free back-propagation of the Born-Oppenheimer solutions, markedly improves the frame transformation theory, reducing its average error by orders of magnitude. The original theory and its extension are tested on the previously explored 2D model that is tailored to describe the singlet ungerade states of molecular hydrogen. The 2D model can be solved exactly (within the numerical accuracy) without implementing the Born-Oppenheimer approximation. These exact results then serve as a benchmark for the frame transformation theory developed in this paper.


title: A Significant Feature in the General Relativistic Time Evolution of the Redshift of Photons Coming from a Star Orbiting Sgr A*

abstract: The star S0-2, orbiting the Galactic central massive black hole candidate Sgr A*, passed its pericenter in May 2018. This event is the first chance to detect the general relativistic (GR) effect of a massive black hole, free from non-gravitational physics. The observable GR evidence in the event is the difference between the GR redshift and the Newtonian redshift of photons coming from S0-2. Within the present observational precision, the 1st post-Newtonian (1PN) GR evidence is detectable. In this paper, we give a theoretical analysis of the time evolution of the 1PN GR evidence, under a presupposition that is different from used in previous papers. Our presupposition is that the GR/Newtonian redshift is always calculated with the parameter values (the mass of Sgr A*, the initial conditions of S0-2, and so on) determined by fitting the GR/Newtonian motion of S0-2 with the observational data. It is then revealed that the difference of the GR redshift and the Newtonian one shows two peaks before and after the pericenter passage. This double-peak-appearance is due to our presupposition, and reduces to a single peak if the same parameter values are used in both GR and Newtonian redshifts as considered in previous papers. In addition to this theoretical discussion, we report our observational data obtained with the Subaru telescope by 2018. The quality and the number of Subaru data in 2018 are not sufficient to confirm the detection of the double-peak-appearance.


title: Deep Hyperedges: a Framework for Transductive and Inductive Learning on Hypergraphs

abstract: From social networks to protein complexes to disease genomes to visual data, hypergraphs are everywhere. However, the scope of research studying deep learning on hypergraphs is still quite sparse and nascent, as there has not yet existed an effective, unified framework for using hyperedge and vertex embeddings jointly in the hypergraph context, despite a large body of prior work that has shown the utility of deep learning over graphs and sets. Building upon these recent advances, we propose \textit{Deep Hyperedges} (DHE), a modular framework that jointly uses contextual and permutation-invariant vertex membership properties of hyperedges in hypergraphs to perform classification and regression in transductive and inductive learning settings. In our experiments, we use a novel random walk procedure and show that our model achieves and, in most cases, surpasses state-of-the-art performance on benchmark datasets. Additionally, we study our framework's performance on a variety of diverse, non-standard hypergraph datasets and propose several avenues of future work to further enhance DHE.


title: Automata representation of successful strategies for social dilemmas

abstract: In a social dilemma, cooperation is collectively optimal, yet individually each group member prefers to defect. A class of successful strategies of direct reciprocity were recently found for the iterated prisoner's dilemma and for the iterated three-person public-goods game: By a successful strategy, we mean that it constitutes a cooperative Nash equilibrium under implementation error, with assuring that the long-term payoff never becomes less than the co-players' regardless of their strategies, when the error rate is small. Although we have a list of actions prescribed by each successful strategy, the rationale behind them has not been fully understood for the iterated public-goods game because the list has hundreds of entries to deal with every relevant history of previous interactions. In this paper, we propose a method to convert such history-based representation into an automaton with a minimal number of states. Our main finding is that a successful strategy for the iterated three-person public-goods game can be represented as a $10$-state automaton by this method. In this automaton, each state can be interpreted as the player's internal judgement of the situation, such as trustworthiness of the co-players and the need to redeem oneself after defection. This result thus suggests a comprehensible way to choose an appropriate action at each step towards cooperation based on a situational judgement, which is mapped from the history of interactions.


title: A Decentralized Communication Policy for Multi Agent Multi Armed Bandit Problems

abstract: This paper proposes a novel policy for a group of agents to, individually as well as collectively, solve a multi armed bandit (MAB) problem. The policy relies solely on the information that an agent has obtained through sampling of the options on its own and through communication with neighbors. The option selection policy is based on an Upper Confidence Based (UCB) strategy while the communication strategy that is proposed forces agents to communicate with other agents who they believe are most likely to be exploring than exploiting. The overall strategy is shown to significantly outperform an independent Erd\H{o}s-R\'{e}nyi (ER) graph based random communication policy. The policy is shown to be cost effective in terms of communication and thus to be easily scalable to a large network of agents.


title: On The Asymptotic Density Of Prime k-tuples and a Conjecture of Hardy and Littlewood

abstract: In 1922 Hardy and Littlewood proposed a conjecture on the asymptotic density of admissible prime k-tuples. In 2011 Wolf computed the "Skewes number" for twin primes, i.e., the first prime at which a reversal of the Hardy-Littlewood inequality occurs. In this paper, we find "Skewes numbers" for 8 more prime k-tuples and provide numerical data in support of the Hardy-Littlewood conjecture. Moreover, we present several algorithms to compute such numbers.


title: Thinging the Use Case Model

abstract: Use cases as textual visual modeling techniques have become a key construct and the foundation of the most popular de facto standard technique for performing software requirements analysis and specification. This paper describes use cases in terms of a recently proposed model, the thinging machine (TM) model. Such a link to TM strengthens the notion of use cases and clarifies related concepts. For example, the concept of events is utilized in an unconstrained way in use cases, and TM may contribute in this direction. Several selected use cases are remodeled using TM. This study provides many insights. For example, one result shows that use cases are an activation apparatus of mega-triggering (high-level events) wherein a group of submachines (processes) are actuated.


title: Detection of new strongly variable brown dwarfs in the L/T transition

abstract: *Abbreviated abstract* Context: Brown dwarfs in the spectral range L9-T3.5, within the so called L/T transition, have been shown to be variable at higher amplitudes and with greater frequency than other field dwarfs. [...] Now, more variables such as these need to be discovered and studied to better constrain atmospheric models. This is also critical to better understand giant exoplanets and to shed light on a number of possible correlations between brown dwarf characteristics and variability. Aims: [...] In this work, we aim to discover new strong variables in this spectral range by targeting ten previously unsurveyed brown dwarfs. Methods: We used the NOTCam at the Nordic Optical Telescope to observe 11 targets, with spectral types ranging from L9.5 to T3.5, in the J-band [...] Results: We report first discoveries of strong and significant variability in four out of the ten targets [...] measuring peak-to-peak amplitudes up to 10.7 +- 0.4% in J for the T1 dwarf 2MASS J22153705+2110554, for which we observe significant light curve evolution between the 2017 and 2018 epochs. We also report a marginally significant detection of strong variability, and confirm that the well known 2MASS J01365662+0933473 is still strongly variable three years after the last reported epoch. Finally, we present an extensive multi-epoch catalogue of strong variables reported in the literature and discuss possible correlations that are identifiable from the catalogue. Conclusions: We significantly add to the number of known strong variables, and through Poisson statistics infer an occurrence rate for strong variability among L9-T3.5 brown dwarfs of 40[+32-19]%, which is in agreement with previous estimates. The new variables identified in this work are also excellently suited for extensive multi-wavelength observations dedicated to probing the 3D structure of brown dwarf atmospheres.


title: Finding Neighbors in a Forest: A b-tree for Smoothed Particle Hydrodynamics Simulations

abstract: Finding the exact close neighbors of each fluid element in mesh-free computational hydrodynamical methods, such as the Smoothed Particle Hydrodynamics (SPH), often becomes a main bottleneck for scaling their performance beyond a few million fluid elements per computing node. Tree structures are particularly suitable for SPH simulation codes, which rely on finding the exact close neighbors of each fluid element (or SPH particle). In this work we present a novel tree structure, named \textit{$b$-tree}, which features an adaptive branching factor to reduce the depth of the neighbor search. Depending on the particle spatial distribution, finding neighbors using \tree has an asymptotic best case complexity of $O(n)$, as opposed to $O(n \log n)$ for other classical tree structures such as octrees and quadtrees. We also present the proposed tree structure as well as the algorithms to build it and to find the exact close neighbors of all particles. We assess the scalability of the proposed tree-based algorithms through an extensive set of performance experiments in a shared-memory system. Results show that b-tree is up to $12\times$ faster for building the tree and up to $1.6\times$ faster for finding the exact neighbors of all particles when compared to its octree form. Moreover, we apply b-tree to a SPH code and show its usefulness over the existing octree implementation, where b-tree is up to $5\times$ faster for finding the exact close neighbors compared to the legacy code.


title: Four-Dimension Cross Constellations with Gray Mapping

abstract: Recently a four-dimension (4D) cross constellation has been proposed, where a 4D-vector is drawn from two $(3\times 4^m)$-ary QAM constellations, in an effort to reduce the peak-to-average-power ratio (PAPR). We construct a bits-to-signal mapping and prove that it is a Gray mapping. Simulation results show that the proposed modulation scheme is effective in reducing the PAPR while providing better error performance than existing 4D modulation schemes.


title: Effective Theory Approach to New Physics with Flavour: General Framework and a Leptoquark Example

abstract: Extending the Standard Model with higher-dimensional operators in an effective-field-theory (EFT) approach provides a systematic framework to study new-physics (NP) effects from a bottom-up perspective, as long as the NP scale is sufficiently large compared to the energies probed in the experimental observables. However, when taking into account the different quark and lepton flavours, the number of free parameters increases dramatically, which makes generic studies of the NP flavour structure infeasible. In this paper, we address this issue in view of the recently observed "flavour anomalies" in $B$-meson decays, which we take as a motivation to develop a general framework that allows us to systematically reduce the number of flavour parameters in the EFT. This framework can be easily used in global fits to flavour observables at Belle II and LHCb as well as in analyses of flavour-dependent collider signatures at the LHC. Our formalism represents an extension of the well-known minimal-flavour-violation approach, and uses Froggatt-Nielsen charges to define the flavour power-counting. As a relevant illustration of the formalism, we apply it to the flavour structures which could be induced by a $U_1$ vector leptoquark, which represents one of the possible explanations for the recent hints of flavour non-universality in semileptonic $B$-decays. We study the phenomenological viability of this specific framework performing a fit to low-energy flavour observables.


title: Thermodynamic dislocation theory for polycrystals under tension/compression

abstract: Starting from the assumption that all possible orientations of grains are equally probable, we prove that the geometric factor of thermodynamic dislocation theory for polycrystals subjected to axially symmetric tension or compression must be equal to 2. We then use large-scale least-square analysis to identify the physics based parameters of this theory and show that the simulated stress-strain curves for OFHC copper, ARMCO iron and 4340 steel agree well with the experiments of Johnson and Cook.


title: Regularizing effects concerning elliptic equations with a superlinear gradient term

abstract: We consider the homogeneous Dirichlet problem for an elliptic equation driven by a linear operator with discontinuous coefficients and having a subquadratic gradient term. This gradient term behaves as $g(u)|\nabla u|^q$, where $1<q<2$ and $g(s)$ is a continuous function. Data belong to $L^m(\Omega)$ with $1\le m <\frac{N}{2}$ as well as measure data instead of $L^1$-data, so that unbounded solutions are expected. Our aim is, given $1\le m<\frac N2$ and $1<q<2$, to find the suitable behaviour of $g$ close to infinity which leads to existence for our problem. We show that the presence of $g$ has a regularizing effect in the existence and summability of the solution. Moreover, our results adjust with continuity with known results when either $g(s)$ is constant or $q=2$.


title: Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System

abstract: In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice $M_{k}$ (the unique lattice with $k+2$ elements and one anti-chain of length $k$) and want to find the maximal $k$ for which it is isomorphic to a subgraph of the reduction graph of a given one-rule string rewriting system. We obtain a complete characterization for this problem and show that there is a dichotomy. There are one-rule string rewriting systems for which the maximal such $k$ is $2$ and there are cases where there is no maximum. No other intermediate option is possible.


title: Inversion of seismic-type Radon transforms on the plane

abstract: We study integral transforms mapping a function on the Euclidean plane to the family of its integration on plane curves, that is, a function of plane curves. The plane curves we consider in the present paper are given by the graphs of functions with a fixed axis of the independent variable, and are imposed some symmetry with respect to the axes. These transforms contain the parabolic Radon transform and the hyperbolic Radon transform arising from seismology. We prove the inversion formulas for these transforms under some vanishing and symmetry conditions of functions.


title: Riemannian Motion Policy Fusion through Learnable Lyapunov Function Reshaping

abstract: RMPflow is a recently proposed policy-fusion framework based on differential geometry. While RMPflow has demonstrated promising performance, it requires the user to provide sensible subtask policies as Riemannian motion policies (RMPs: a motion policy and an importance matrix function), which can be a difficult design problem in its own right. We propose RMPfusion, a variation of RMPflow, to address this issue. RMPfusion supplements RMPflow with weight functions that can hierarchically reshape the Lyapunov functions of the subtask RMPs according to the current configuration of the robot and environment. This extra flexibility can remedy imperfect subtask RMPs provided by the user, improving the combined policy's performance. These weight functions can be learned by back-propagation. Moreover, we prove that, under mild restrictions on the weight functions, RMPfusion always yields a globally Lyapunov-stable motion policy. This implies that we can treat RMPfusion as a structured policy class in policy optimization that is guaranteed to generate stable policies, even during the immature phase of learning. We demonstrate these properties of RMPfusion in imitation learning experiments both in simulation and on a real-world robot.