title: ViKiNG: Vision-Based Kilometer-Scale Navigation with Geographic Hints

abstract: Robotic navigation has been approached as a problem of 3D reconstruction and planning, as well as an end-to-end learning problem. However, long-range navigation requires both planning and reasoning about local traversability, as well as being able to utilize general knowledge about global geography, in the form of a roadmap, GPS, or other side information providing important cues. In this work, we propose an approach that integrates learning and planning, and can utilize side information such as schematic roadmaps, satellite maps and GPS coordinates as a planning heuristic, without relying on them being accurate. Our method, ViKiNG, incorporates a local traversability model, which looks at the robot's current camera observation and a potential subgoal to infer how easily that subgoal can be reached, as well as a heuristic model, which looks at overhead maps for hints and attempts to evaluate the appropriateness of these subgoals in order to reach the goal. These models are used by a heuristic planner to identify the best waypoint in order to reach the final destination. Our method performs no explicit geometric reconstruction, utilizing only a topological representation of the environment. Despite having never seen trajectories longer than 80 meters in its training dataset, ViKiNG can leverage its image-based learned controller and goal-directed heuristic to navigate to goals up to 3 kilometers away in previously unseen environments, and exhibit complex behaviors such as probing potential paths and backtracking when they are found to be non-viable. ViKiNG is also robust to unreliable maps and GPS, since the low-level controller ultimately makes decisions based on egocentric image observations, using maps only as planning heuristics. For videos of our experiments, please check out our project page https://sites.google.com/view/viking-release.


title: Anharmonic effects on lattice dynamics and thermal transport of two-dimensional InTe Monolayer

abstract: The lattice thermal conductivity plays a key role in the performance of thermoelectric materials, where the lower values lead to a higher figure of merit values. Two-dimensional group III-VI monolayers such as InTe are promising materials for TE energy generation owing to their low that leads to high TE figure of merit values. In this work, we investigate the influence of the lattice anharmonicity on the lattice thermal conductivity of the InTe monolayer. The thermodynamic parameters are calculated by using the self-consistent phonon theory. The lattice thermal conductivity value of the InTe monolayer is obtained to be 0.30 by using the standard Boltzmann transport equation (BTE) approach, while it is 3.58 by using SCP + BTE approach. These results confirm the importance of the anharmonic effects on the lattice thermal conductivity value, where it was found to be significantly higher (91%) using the SCP + BTE approach than that obtained using the standard BTE approach.


title: A solvable extended logarithm of the Johnson homomorphism

abstract: We suggest an extension of a certain logarithm of the total Johnson map in terms of solvable Lie groups. Here, the domain of the map is extended to a subset consisting of exponential solvable elements in the mapping class group of a surface.


title: Forward and inverse modeling of water flow in unsaturated soils with discontinuous hydraulic conductivities using physics-informed neural networks with domain decomposition

abstract: Modeling water flow in unsaturated soils is vital for describing various hydrological and ecological phenomena. Soil water dynamics is described by well-established physical laws (Richardson-Richards equation (RRE)). Solving the RRE is difficult due to the inherent non-linearity of the processes, and various numerical methods have been proposed to solve the issue. However, applying the methods to practical situations is challenging because they require well-defined initial and boundary conditions. Here, we present a physics-informed neural networks (PINNs) method that approximates the solution to the RRE using neural networks while concurrently matching available soil moisture data. Although the ability of PINNs to solve partial differential equations, including the RRE, has been demonstrated previously, its potential applications and limitations are not fully known. This study conducted a comprehensive analysis of PINNs and carefully tested the accuracy of the solutions by comparing them with analytical solutions and accepted traditional numerical solutions. We demonstrated that the solutions by PINNs with adaptive activation functions are comparable with those by traditional methods. We showed that soil moisture dynamics in layered soils with discontinuous hydraulic conductivities are correctly simulated by PINNs with domain decomposition. We demonstrated that the unspecified upper boundary condition can be estimated from sparse soil moisture measurements. Nevertheless, there remain challenges that require further development. Chiefly, PINNs are sensitive to the initialization of NNs and are significantly slower than traditional numerical methods.


title: Electromagnetically induced moir\'{e} optical lattices in a coherent atomic gas

abstract: Electromagnetically induced optical (or photonic) lattices via atomic coherence in atomic ensembles have recently received great theoretical and experimental interest. We here conceive a way to generate electromagnetically induced moir\'{e} optical lattices -- a twisted periodic pattern when two identical periodic patterns (lattices) are overlapped in a twisted angle ($\theta$) -- in a three-level coherent atomic gas working under electromagnetically induced transparency. We show that, changing the twisted angle and relative strength between the two constitutive sublattices, the moir\'{e} Bloch bands that are extremely flattened can always appear, resembling the typical flat-band and moir\'{e} physics found in other contexts. Dynamics of light propagation in the induced periodic structures demonstrating the unique linear localization and delocalization properties are also revealed. Our scheme can be implemented in a Rubidium atomic medium, where the predicted moir\'{e} optical lattices and flattened bands are naturally observable.


title: Nearest neighbor ratio imputation with incomplete multi-nomial outcome in survey sampling

abstract: Nonresponse is a common problem in survey sampling. Appropriate treatment can be challenging, especially when dealing with detailed breakdowns of totals. Often, the nearest neighbor imputation method is used to handle such incomplete multinomial data. In this article, we investigate the nearest neighbor ratio imputation estimator, in which auxiliary variables are used to identify the closest donor and the vector of proportions from the donor is applied to the total of the recipient to implement ratio imputation. To estimate the asymptotic variance, we first treat the nearest neighbor ratio imputation as a special case of predictive matching imputation and apply the linearization method of \cite{yang2020asymptotic}. To account for the non-negligible sampling fractions, parametric and generalized additive models are employed to incorporate the smoothness of the imputation estimator, which results in a valid variance estimator. We apply the proposed method to estimate expenditures detail items based on empirical data from the 2018 collection of the Service Annual Survey, conducted by the United States Census Bureau. Our simulation results demonstrate the validity of our proposed estimators and also confirm that the derived variance estimators have good performance even when the sampling fraction is non-negligible.


title: Minimax Optimal Quantization of Linear Models: Information-Theoretic Limits and Efficient Algorithms

abstract: High-dimensional models often have a large memory footprint and must be quantized after training before being deployed on resource-constrained edge devices for inference tasks. In this work, we develop an information-theoretic framework for the problem of quantizing a linear regressor learned from training data $(\mathbf{X}, \mathbf{y})$, for some underlying statistical relationship $\mathbf{y} = \mathbf{X}\boldsymbol{\theta} + \mathbf{v}$. The learned model, which is an estimate of the latent parameter $\boldsymbol{\theta} \in \mathbb{R}^d$, is constrained to be representable using only $Bd$ bits, where $B \in (0, \infty)$ is a pre-specified budget and $d$ is the dimension. We derive an information-theoretic lower bound for the minimax risk under this setting and propose a matching upper bound using randomized embedding-based algorithms which is tight up to constant factors. The lower and upper bounds together characterize the minimum threshold bit-budget required to achieve a performance risk comparable to the unquantized setting. We also propose randomized Hadamard embeddings that are computationally efficient and are optimal up to a mild logarithmic factor of the lower bound. Our model quantization strategy can be generalized and we show its efficacy by extending the method and upper-bounds to two-layer ReLU neural networks for non-linear regression. Numerical simulations show the improved performance of our proposed scheme as well as its closeness to the lower bound.


title: Joint Channel Estimation, Activity Detection and Decoding using Dynamic Message-Scheduling for Machine-Type Communications

abstract: In this work, we present a joint channel estimation, activity detection and data decoding scheme for massive machine-type communications. By including the channel and the a priori activity factor in the factor graph, we present the bilinear message-scheduling GAMP (BiMSGAMP), a message-passing solution that uses the channel decoder beliefs to refine the activity detection and data decoding. We include two message-scheduling strategies based on the residual belief propagation and the activity user detection in which messages are evaluated and scheduled in every new iteration. An analysis of the convergence of BiMSGAMP along with a study of its computational complexity is carried out. Numerical results show that BiMSGAMP outperforms state-of-the-art algorithms, highlighting the gains achieved by using the dynamic scheduling strategies and the effects of the channel decoding part in the system.


title: An End-to-End Cascaded Image Deraining and Object Detection Neural Network

abstract: While the deep learning-based image deraining methods have made great progress in recent years, there are two major shortcomings in their application in real-world situations. Firstly, the gap between the low-level vision task represented by rain removal and the high-level vision task represented by object detection is significant, and the low-level vision task can hardly contribute to the high-level vision task. Secondly, the quality of the deraining dataset needs to be improved. In fact, the rain lines in many baselines have a large gap with the real rain lines, and the resolution of the deraining dataset images is generally not ideally. Meanwhile, there are few common datasets for both the low-level vision task and the high-level vision task. In this paper, we explore the combination of the low-level vision task with the high-level vision task. Specifically, we propose an end-to-end object detection network for reducing the impact of rainfall, which consists of two cascaded networks, an improved image deraining network and an object detection network, respectively. We also design the components of the loss function to accommodate the characteristics of the different sub-networks. We then propose a dataset based on the KITTI dataset for rainfall removal and object detection, on which our network surpasses the state-of-the-art with a significant improvement in metrics. Besides, our proposed network is measured on driving videos collected by self-driving vehicles and shows positive results for rain removal and object detection.


title: Learning Multi-step Robotic Manipulation Policies from Visual Observation of Scene and Q-value Predictions of Previous Action

abstract: In this work, we focus on multi-step manipulation tasks that involve long-horizon planning and considers progress reversal. Such tasks interlace high-level reasoning that consists of the expected states that can be attained to achieve an overall task and low-level reasoning that decides what actions will yield these states. We propose a sample efficient Previous Action Conditioned Robotic Manipulation Network (PAC-RoManNet) to learn the action-value functions and predict manipulation action candidates from visual observation of the scene and action-value predictions of the previous action. We define a Task Progress based Gaussian (TPG) reward function that computes the reward based on actions that lead to successful motion primitives and progress towards the overall task goal. To balance the ratio of exploration/exploitation, we introduce a Loss Adjusted Exploration (LAE) policy that determines actions from the action candidates according to the Boltzmann distribution of loss estimates. We demonstrate the effectiveness of our approach by training PAC-RoManNet to learn several challenging multi-step robotic manipulation tasks in both simulation and real-world. Experimental results show that our method outperforms the existing methods and achieves state-of-the-art performance in terms of success rate and action efficiency. The ablation studies show that TPG and LAE are especially beneficial for tasks like multiple block stacking. Additional experiments on Ravens-10 benchmark tasks suggest good generalizability of the proposed PAC-RoManNet.


title: Three Dimensional Activity Volcano Plot under External Electric Field

abstract: An external electric field (EEF) can impact a broad range of catalytic processes beyond redox systems. Computational design of catalysts under EEFs targeting specific operation conditions essentially requires accurate predictions of the response of a complex physicochemical system to collective parameters such as EEF strength/direction and temperature. Here, we develop a first-principles-based multiscale approach that enables efficient EEF-dependent kinetic modeling of heterogeneous catalysis. Taking steam reforming of methanol as an example, we find that the methanol conversion rate exhibits strong nonlinear response to temperature and EEF, and the optimal field line and constant carbon concentration line defined in the temperature--EEF parameter space serve as powerful metrics for catalyst design. Assisted with a deep neural network, we establish a three-dimensional activity volcano plot under EEFs for thousands of metallic alloys.


title: Simple models for macro-parasite distributions in hosts

abstract: Negative binomial distribution is the most used distribution to model macro-parasite burden in hosts. However reliable maximum likelihood parameter estimation from data is far from trivial. No closed formula is available and numerical estimation requires sophisticated methods. Using data from the literature we show that simple alternatives to negative binomial, like zero-inflated geometric or hurdle geometric distributions, produce a good and even better fit to data than negative binomial distribution. We derived closed simple formulas for the maximum likelihood parameter estimation which constitutes a significant advantage of these distributions over negative binomial distribution.


title: Better Modelling Out-of-Distribution Regression on Distributed Acoustic Sensor Data Using Anchored Hidden State Mixup

abstract: Generalizing the application of machine learning models to situations where the statistical distribution of training and test data are different has been a complex problem. Our contributions in this paper are threefold: (1) we introduce an anchored-based Out of Distribution (OOD) Regression Mixup algorithm, leveraging manifold hidden state mixup and observation similarities to form a novel regularization penalty, (2) we provide a first of its kind, high resolution Distributed Acoustic Sensor (DAS) dataset that is suitable for testing OOD regression modelling, allowing other researchers to benchmark progress in this area, and (3) we demonstrate with an extensive evaluation the generalization performance of the proposed method against existing approaches, then show that our method achieves state-of-the-art performance. Lastly, we also demonstrate a wider applicability of the proposed method by exhibiting improved generalization performances on other types of regression datasets, including Udacity and Rotation-MNIST datasets.


title: A 5.3 GHz Al0.76Sc0.24N Two-Dimensional Resonant Rods Resonator with a kt2 of 23.9%

abstract: This work reports on the measured performance of an Aluminum Scandium Nitride (AlScN) Two-Dimensional Resonant Rods resonator (2DRR), fabricated by using a Sc-doping concentration of 24%, characterized by a low off-resonance impedance (~25 Ohm) and exhibiting a record electromechanical coupling coefficient (kt2) of 23.9% for AlScN resonators. In order to achieve such performance, we identified and relied on optimized deposition and etching processes for highly-doped AlScN films, aiming at achieving high crystalline quality, low density of abnormally oriented grains in the 2DRR's active region and sharp lateral sidewalls. Also, the 2DRR's unit-cell has been acoustically engineered to maximize the piezo-generated mechanical energy within each rod and to ensure a low transduction of spurious modes around resonance. Due to its unprecedented kt2, the reported 2DRR opens exciting scenarios towards the development of next generation monolithic integrated radio-frequency (RF) filtering components. In fact, we show that 5th-order 2DRR-based ladder filters with fractional bandwidths (BW) of ~11%, insertion-loss (I.L) values of ~2.5 dB and with >30 dB out-of-band rejections can now be envisioned, paving an unprecedented path towards the development of ultra-wide band (UWB) filters for next-generation Super-High-Frequency (SHF) radio front-ends.


title: Neural Generalised AutoRegressive Conditional Heteroskedasticity

abstract: We propose Neural GARCH, a class of methods to model conditional heteroskedasticity in financial time series. Neural GARCH is a neural network adaptation of the GARCH 1,1 model in the univariate case, and the diagonal BEKK 1,1 model in the multivariate case. We allow the coefficients of a GARCH model to be time varying in order to reflect the constantly changing dynamics of financial markets. The time varying coefficients are parameterised by a recurrent neural network that is trained with stochastic gradient variational Bayes. We propose two variants of our model, one with normal innovations and the other with Students t innovations. We test our models on a wide range of univariate and multivariate financial time series, and we find that the Neural Students t model consistently outperforms the others.


title: Deep Recurrent Modelling of Granger Causality with Latent Confounding

abstract: Inferring causal relationships in observational time series data is an important task when interventions cannot be performed. Granger causality is a popular framework to infer potential causal mechanisms between different time series. The original definition of Granger causality is restricted to linear processes and leads to spurious conclusions in the presence of a latent confounder. In this work, we harness the expressive power of recurrent neural networks and propose a deep learning-based approach to model non-linear Granger causality by directly accounting for latent confounders. Our approach leverages multiple recurrent neural networks to parameterise predictive distributions and we propose the novel use of a dual-decoder setup to conduct the Granger tests. We demonstrate the model performance on non-linear stochastic time series for which the latent confounder influences the cause and effect with different time lags; results show the effectiveness of our model compared to existing benchmarks.


title: LPF-Defense: 3D Adversarial Defense based on Frequency Analysis

abstract: Although 3D point cloud classification has recently been widely deployed in different application scenarios, it is still very vulnerable to adversarial attacks. This increases the importance of robust training of 3D models in the face of adversarial attacks. Based on our analysis on the performance of existing adversarial attacks, more adversarial perturbations are found in the mid and high-frequency components of input data. Therefore, by suppressing the high-frequency content in the training phase, the models robustness against adversarial examples is improved. Experiments showed that the proposed defense method decreases the success rate of six attacks on PointNet, PointNet++ ,, and DGCNN models. In particular, improvements are achieved with an average increase of classification accuracy by 3.8 % on drop100 attack and 4.26 % on drop200 attack compared to the state-of-the-art methods. The method also improves models accuracy on the original dataset compared to other available methods.


title: Fast algebraic multigrid for block-structured dense and Toeplitz-like-plus-Cross systems arising from nonlocal diffusion problems

abstract: Algebraic multigrid (AMG) is one of the most efficient iterative methods for solving large sparse system of equations. However, how to build/check restriction and prolongation operators in practical of AMG methods for nonsymmetric {\em sparse} systems is still an interesting open question [Brezina, Manteuffel, McCormick, Runge, and Sanders, SIAM J. Sci. Comput. (2010); Manteuffel and Southworth, SIAM J. Sci. Comput. (2019)]. This paper deals with the block-structured dense and Toeplitz-like-plus-Cross systems, including {\em nonsymmetric} indefinite, symmetric positive definite (SPD), arising from nonlocal diffusion problem and peridynamic problem. The simple (traditional) restriction operator and prolongation operator are employed in order to handle such block-structured dense and Toeplitz-like-plus-Cross systems, which is convenient and efficient when employing a fast AMG. We focus our efforts on providing the detailed proof of the convergence of the two-grid method for such SPD situations. The numerical experiments are performed in order to verify the convergence with a computational cost of only $\mathcal{O}(N \mbox{log} N)$ arithmetic operations, by using few fast Fourier transforms, where $N$ is the number of the grid points. To the best of our knowledge, this is the first contribution regarding Toeplitz-like-plus-Cross linear systems solved by means of a fast AMG.


title: Classification of Computer Aided Engineering (CAE) Parts Using Graph Convolutional Networks

abstract: CAE engineers work with hundreds of parts spread across multiple body models. A Graph Convolutional Network (GCN) was used to develop a CAE parts classifier. As many as 866 distinct parts from a representative body model were used as training data. The parts were represented as a three-dimensional (3-D) Finite Element Analysis (FEA) mesh with values of each node in the x, y, z coordinate system. The GCN based classifier was compared to fully connected neural network and PointNet based models. Performance of the trained models was evaluated with a test set that included parts from the training data, but with additional holes, rotation, translation, mesh refinement/coarsening, variation of mesh schema, mirroring along x and y axes, variation of topographical features, and change in mesh node ordering. The trained GCN model was able to achieve 88.5% classification accuracy on the test set i.e., it was able to find the correct matching part from the dataset of 866 parts despite significant variation from the baseline part. A CAE parts classifier demonstrated in this study could be very useful for engineers to filter through CAE parts spread across several body models to find parts that meet their requirements.


title: Equivariant Bordism of 2-Torus Manifolds and Unitary Toric Manifolds

abstract: The equivariant bordism classification of manifolds with group actions is an essential subject in the study of transformation groups. We are interesting in the action of 2-torus group $\mathbb{Z}_2^n$ and torus group $T^n$, and study the equivariant bordism of 2-torus manifolds and unitary toric manifolds. In this paper, we give a new description of the group $\mathcal{Z}_n(\mathbb{Z}_2^n)$ of 2-torus manifolds, and determine the dimention of $\mathcal{Z}_n(\mathbb{Z}_2^n)$ as a $\mathbb{Z}_2$-vector space. With the help of toric topology, L\"u and Tan proved that the bordism groups $\mathcal{Z}_n(\mathbb{Z}_2^n)$ are generated by small covers. We will give a new proof to this result. These results can be generalized to the equivariant bordism of unitary toric manifolds, that is, we will give a new description of the group $\mathcal{Z}_n^U(T^n)$ of unitary torus manifolds, and prove that $\mathcal{Z}_n^U(T^n)$ can be generated by quasitoric manifolds with omniorientations.


title: Spin-Phonon-Photon Strong Coupling in a Piezomechanical Nanocavity

abstract: We introduce a hybrid tripartite quantum system for strong coupling between a semiconductor spin, a mechanical phonon, and a microwave photon. Consisting of a piezoelectric resonator with an integrated diamond strain concentrator, this system achieves microwave-acoustic and spin-acoustic coupling rates $\sim$MHz or greater, allowing for simultaneous ultra-high cooperativities ($\sim 10^3$ and $\sim 10^2$, respectively). From finite-element modeling and master equation simulations, we estimate photon-to-spin quantum state transfer fidelities exceeding 0.97 based on separately demonstrated device parameters. We anticipate that this device will enable hybrid quantum architectures that leverage the advantages of both superconducting circuits and solid-state spins for information processing, memory, and networking.


title: Reliable Inlier Evaluation for Unsupervised Point Cloud Registration

abstract: Unsupervised point cloud registration algorithm usually suffers from the unsatisfied registration precision in the partially overlapping problem due to the lack of effective inlier evaluation. In this paper, we propose a neighborhood consensus based reliable inlier evaluation method for robust unsupervised point cloud registration. It is expected to capture the discriminative geometric difference between the source neighborhood and the corresponding pseudo target neighborhood for effective inlier distinction. Specifically, our model consists of a matching map refinement module and an inlier evaluation module. In our matching map refinement module, we improve the point-wise matching map estimation by integrating the matching scores of neighbors into it. The aggregated neighborhood information potentially facilitates the discriminative map construction so that high-quality correspondences can be provided for generating the pseudo target point cloud. Based on the observation that the outlier has the significant structure-wise difference between its source neighborhood and corresponding pseudo target neighborhood while this difference for inlier is small, the inlier evaluation module exploits this difference to score the inlier confidence for each estimated correspondence. In particular, we construct an effective graph representation for capturing this geometric difference between the neighborhoods. Finally, with the learned correspondences and the corresponding inlier confidence, we use the weighted SVD algorithm for transformation estimation. Under the unsupervised setting, we exploit the Huber function based global alignment loss, the local neighborhood consensus loss, and spatial consistency loss for model optimization. The experimental results on extensive datasets demonstrate that our unsupervised point cloud registration method can yield comparable performance.


title: SIN, COS, EXP and LOG of Liouville numbers

abstract: For any Liouville number $\alpha$, all of the following are transcendental numbers: $\textrm{e}^\alpha$, $\log_\textrm{e}\alpha$, $\sin \alpha$, $\cos\alpha$, $\tan\alpha$, $\sinh\alpha$, $\cosh\alpha$, $\tanh\alpha$, $\arcsin\alpha$ and the inverse functions evaluated at $\alpha$ of the listed trigonometric and hyperbolic functions, noting that wherever multiple values are involved, every such value is transcendental. This remains true if "Liouville number" is replaced by "$U$-number", where $U$ is one of Mahler's classes of transcendental numbers.


title: Maximal Independent Sets in Polygonal Cacti

abstract: Counting the number of maximal independent sets of graphs was started over $50$ years ago by Erd\H{o}s and Mooser. The problem has been continuously studied with a number of variations. Interestingly, when the maximal condition of an independent set is removed, such the concept presents one of topological indices in molecular graphs, the so called Merrifield-Simmons index. In this paper, we applied the concept of bivariate generating function to establish the recurrence relations of the numbers of maximal independent sets of regualr $n$-gonal cacti when $3 \leq n \leq 6$. By the ideas on meromorphic functions and the growth of power series coefficients, the asymptotic behaviors through simple functions of these recurrence relations have been established.


title: Continual learning-based probabilistic slow feature analysis for multimode dynamic process monitoring

abstract: In this paper, a novel multimode dynamic process monitoring approach is proposed by extending elastic weight consolidation (EWC) to probabilistic slow feature analysis (PSFA) in order to extract multimode slow features for online monitoring. EWC was originally introduced in the setting of machine learning of sequential multi-tasks with the aim of avoiding catastrophic forgetting issue, which equally poses as a major challenge in multimode dynamic process monitoring. When a new mode arrives, a set of data should be collected so that this mode can be identified by PSFA and prior knowledge. Then, a regularization term is introduced to prevent new data from significantly interfering with the learned knowledge, where the parameter importance measures are estimated. The proposed method is denoted as PSFA-EWC, which is updated continually and capable of achieving excellent performance for successive modes. Different from traditional multimode monitoring algorithms, PSFA-EWC furnishes backward and forward transfer ability. The significant features of previous modes are retained while consolidating new information, which may contribute to learning new relevant modes. Compared with several known methods, the effectiveness of the proposed method is demonstrated via a continuous stirred tank heater and a practical coal pulverizing system.


title: Reinforcement Learning in Practice: Opportunities and Challenges

abstract: This article is a gentle discussion about the field of reinforcement learning in practice, about opportunities and challenges, touching a broad range of topics, with perspectives and without technical details. The article is based on both historical and recent research papers, surveys, tutorials, talks, blogs, books, (panel) discussions, and workshops/conferences. Various groups of readers, like researchers, engineers, students, managers, investors, officers, and people wanting to know more about the field, may find the article interesting. In this article, we first give a brief introduction to reinforcement learning (RL), and its relationship with deep learning, machine learning and AI. Then we discuss opportunities of RL, in particular, products and services, games, bandits, recommender systems, robotics, transportation, finance and economics, healthcare, education, combinatorial optimization, computer systems, and science and engineering. Then we discuss challenges, in particular, 1) foundation, 2) representation, 3) reward, 4) exploration, 5) model, simulation, planning, and benchmarks, 6) off-policy/offline learning, 7) learning to learn a.k.a. meta-learning, 8) explainability and interpretability, 9) constraints, 10) software development and deployment, 11) business perspectives, and 12) more challenges. We conclude with a discussion, attempting to answer: "Why has RL not been widely adopted in practice yet?" and "When is RL helpful?".


title: Minimum time trajectory generation for surveying using UAVs

abstract: In this paper, we present a motion planning strategy for UAVs that generates a time-optimal trajectory to survey a given target area. There are several situations where completing an aerial survey is time sensitive, such as gaining situational awareness for first responders, surveying hazardous environments, etc. One of the challenges in such cases is to plan a time-optimal trajectory for the drone. To this end, we present an autonomous aerial survey framework that minimizes the time taken to completely explore a target area or volume using drones. In this work, (i) we present an approach, where for a known flight survey pattern, the planner can generate time-optimal flight paths in 3-D (ii) we frame the planning problem as a discrete non-linear program, and reduce the time taken to compute its solution by using an SOCP relaxation (iii) The given path is then executed using a simple trajectory tracking controller on a quadrotor to demonstrate its capability on hardware.


title: Is Global Asymptotic Stability Necessarily Uniform for Time-Delay Systems?

abstract: For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be uniform on bounded sets of initial states. This paper investigates this relationship for time-invariant delay systems. We show that UGAS and GAS are equivalent for this class of systems under the assumption of robust forward completeness, i.e. under the assumption that the reachable set from any bounded set of initial states on any finite time horizon is bounded. We also show that, if the state space is a space in a particular family of Sobolev or Holder spaces, then GAS is equivalent to UGAS and that robust forward completeness holds. Based on these equivalences, we provide a novel Lyapunov characterization of GAS (and UGAS) in the aforementioned spaces.


title: Knowledge Augmented BERT Mutual Network in Multi-turn Spoken Dialogues

abstract: Modern spoken language understanding (SLU) systems rely on sophisticated semantic notions revealed in single utterances to detect intents and slots. However, they lack the capability of modeling multi-turn dynamics within a dialogue particularly in long-term slot contexts. Without external knowledge, depending on limited linguistic legitimacy within a word sequence may overlook deep semantic information across dialogue turns. In this paper, we propose to equip a BERT-based joint model with a knowledge attention module to mutually leverage dialogue contexts between two SLU tasks. A gating mechanism is further utilized to filter out irrelevant knowledge triples and to circumvent distracting comprehension. Experimental results in two complicated multi-turn dialogue datasets have demonstrate by mutually modeling two SLU tasks with filtered knowledge and dialogue contexts, our approach has considerable improvements compared with several competitive baselines.


title: Implicit Mentoring: The Unacknowledged Developer Efforts in Open Source

abstract: Mentoring is traditionally viewed as a dyadic, top-down apprenticeship. This perspective, however, overlooks other forms of informal mentoring taking place in everyday activities in which developers invest time and effort, but remain unacknowledged. Here, we investigate the different flavors of mentoring in Open Source Software (OSS) to define and identify implicit mentoring. We first define implicit mentoring--situations where contributors guide others through instructions and suggestions embedded in everyday (OSS) activities--through formative interviews with OSS contributors, a literature review, and member-checking. Next, through an empirical investigation of Pull Requests (PRs) in 37 Apache Projects, we build a classifier to extract implicit mentoring and characterize it through the dual lenses of experience and gender. Our analysis of 107,895 PRs shows that implicit mentoring occurs (27.41% of all PRs include implicit mentoring) and it does not follow the traditional dyadic, top-down apprenticeship model. When considering the gender of mentor-mentee pairs, we found pervasive homophily--a preference to mentor those who are of the same gender--in 93.81% cases. In the cross-gender mentoring instances, women were more likely to mentor men.


title: End-to-end LPCNet: A Neural Vocoder With Fully-Differentiable LPC Estimation

abstract: Neural vocoders have recently demonstrated high quality speech synthesis, but typically require a high computational complexity. LPCNet was proposed as a way to reduce the complexity of neural synthesis by using linear prediction (LP) to assist an autoregressive model. At inference time, LPCNet relies on the LP coefficients being explicitly computed from the input acoustic features. That makes the design of LPCNet-based systems more complicated, while adding the constraint that the input features must represent a clean speech spectrum. We propose an end-to-end version of LPCNet that lifts these limitations by learning to infer the LP coefficients from the input features in the frame rate network. Results show that the proposed end-to-end approach equals or exceeds the quality of the original LPCNet model, but without explicit LP analysis. Our open-source end-to-end model still benefits from LPCNet's low complexity, while allowing for any type of conditioning features.


title: Optimal (controlled) quantum state preparation and improved unitary synthesis by quantum circuits with any number of ancillary qubits

abstract: As a cornerstone for many quantum linear algebraic and quantum machine learning algorithms, controlled quantum state preparation (CQSP) aims to provide the transformation of $|i\rangle |0^n\rangle \to |i\rangle |\psi_i\rangle $ for all $i\in \{0,1\}^k$ for the given $n$-qubit states $|\psi_i\rangle$. In this paper, we construct a quantum circuit for implementing CQSP, with depth $O\left(n+k+\frac{2^{n+k}}{n+k+m}\right)$ and size $O\left(2^{n+k}\right)$ for any given number $m$ of ancillary qubits. These bounds, which can also be viewed as a time-space tradeoff for the transformation, are \optimal for any integer parameters $m,k\ge 0$ and $n\ge 1$. When $k=0$, the problem becomes the canonical quantum state preparation (QSP) problem with ancillary qubits, which asks for efficient implementations of the transformation $|0^n\rangle|0^m\rangle \to |\psi\rangle |0^m\rangle$. This problem has many applications with many investigations, yet its circuit complexity remains open. Our construction completely solves this problem, pinning down its depth complexity to $\Theta(n+2^{n}/(n+m))$ and its size complexity to $\Theta(2^{n})$ for any $m$. Another fundamental problem, unitary synthesis, asks to implement a general $n$-qubit unitary by a quantum circuit. Previous work shows a lower bound of $\Omega(n+4^n/(n+m))$ and an upper bound of $O(n2^n)$ for $m=\Omega(2^n/n)$ ancillary qubits. In this paper, we quadratically shrink this gap by presenting a quantum circuit of the depth of $O\left(n2^{n/2}+\frac{n^{1/2}2^{3n/2}}{m^{1/2}}\right)$.


title: Topological correlations in three dimensional classical Ising models: an exact solution with a continuous phase transition

abstract: We study a three-dimensional (3D) classical Ising model that is exactly solvable when some coupling constants take certain imaginary values. The solution combines and generalizes the Onsager-Kaufman solution of the 2D Ising model and the solution of Kitaev's honeycomb model, leading to a three-parameter phase diagram with a third order phase transition between two distinct phases. Interestingly, the phases of this model are distinguished by topological features: the expectation value of a certain family of loop observables depend only on the topology of the loop (whether the loop is contractible), and are quantized at rational values that differ in the two phases. We show that a related exactly solvable 3D classical statistical model with real coupling constants also shows the topological features of one of these phases. Furthermore, even in the model with complex parameters, the partition function has some physical relevance, as it can be interpreted as the transition amplitude of a quantum dynamical process and may shed light on dynamical quantum phase transitions.

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


title: On the global well-posedness and decay of a free boundary problem of the Navier-Stokes equation in unbounded domains

abstract: In this paper, we establish the unique existence and some decay properties of a global solution of a free boundary problem of the incompressible Navier-Stokes equations in $L_p$ in time and $L_q$ in space framework in a uniformly $H^2_\infty$ domain $\Omega\subset \BR^N$ for $N\geq4$. We assume the unique solvability of the weak Dirichlet problem for the Poisson equation and the $L_q$-$L_r$ estimates for the Stokes semigroup. The novelty of this paper is that we do not assume the compactness of the boundary, which is essentially used in the case of exterior domains proved by Shibata \cite{Shiba17CIME}. The restriction $N\geq 4$ is required to deduce an estimate for the nonlinear term $\bG(\bu)$ arising from $\divv\bv=0$. However, we establish the results in the half space $\hsp$ for $N\geq 3$ by reducing the linearized problem to the problem with $\bG=\fb0$, where $\bG$ is the right member corresponding to $\bG(\bu)$.


title: $\mathrm{H}\mathbb{F}_2$-synthetic homotopy groups of topological modular forms

abstract: To any Adams-type spectrum $E$, Pstr\k{a}gowski produced a symmetric monoidal stable $\infty$-category $Syn_E$ whose objects are, in a sense, ''formal Adams spectral sequences''. $Syn_E$ comes equipped with a lax symmetric monoidal functor $\nu_E:Sp\to Syn_E$ from classical spectra, which embeds $Sp$ fully and faithfully in $Syn_E$, and is a category with a natural notion of bigraded homotopy groups. The bigraded homotopy groups $\pi_{*,*}\nu_EX$ systematically record information about the homotopy groups $\pi_*X$ and the $E$-Adams spectral sequence of $X$. In this paper, we compute the $\nu_{\mathrm{H}\mathbb{F}_2}\mathbb{F}_2$-Adams spectral sequence of $\nu_{\mathrm{H}\mathbb{F}_2}tmf_2^{\wedge}$, synthetic versions of hidden $2$-, $\eta$-, $\nu$-, and $\overline{\kappa}$-extensions, and use this to deduce information about the homotopy ring structure of $\pi_{*,*}\nu_{\mathrm{H}\mathbb{F}_2}tmf_2^{\wedge}$.


title: Stirling numbers associated with sequences of polynomials

abstract: Let P be the set of the sequence of polynomials of degree n. The aim of this paper is to study the Stirling numbers of the second kind associated with P and of the first kind associated with P, in a unified and systematic way with the help of umbral calculus technique. Our results are illustrated with many examples which give rise to interesting inverse relations in each case.


title: ATOMS: ALMA Three-millimeter Observations of Massive Star-forming regions-IX. A pilot study towards IRDC G034.43+00.24 on multi-scale structures and gas kinematics

abstract: We present a comprehensive study of the gas kinematics associated with density structures at different spatial scales in the filamentary infrared dark cloud, G034.43+00.24 (G34). This study makes use of the H13CO+ (1-0) molecular line data from the ALMA Three-millimeter Observations of Massive Star-forming regions (ATOMS) survey, which has spatial and velocity resolution of 0.04 pc and 0.2 km/s, respectively. Several tens of dendrogram structures have been extracted in the position-position-velocity space of H13CO+, which include 21 small-scale leaves and 20 larger-scale branches. Overall, their gas motions are supersonic but they exhibit the interesting behavior where leaves tend to be less dynamically supersonic than the branches. For the larger-scale, branch structures, the observed velocity-size relation (i.e., velocity variation/dispersion versus size) are seen to follow the Larson scaling exponent while the smaller-scale, leaf structures show a systematic deviation and display a steeper slope. We argue that the origin of the observed kinematics of the branch structures is likely to be a combination of turbulence and gravity-driven ordered gas flows. In comparison, gravity-driven chaotic gas motion is likely at the level of small-scale leaf structures. The results presented in our previous paper and this current follow-up study suggest that the main driving mechanism for mass accretion/inflow observed in G34 varies at different spatial scales. We therefore conclude that a scale-dependent combined effect of turbulence and gravity is essential to explain the star-formation processes in G34.


title: Convergence of Oja's online principal component flow

abstract: Online principal component analysis (PCA) has been an efficient tool in practice to reduce dimension. However, convergence properties of the corresponding ODE are still unknown, including global convergence, stable manifolds, and convergence rate. In this paper, we focus on the stochastic gradient ascent (SGA) method proposed by Oja. By regarding the corresponding ODE as a Landau-Lifshitz-Gilbert (LLG) equation on the Stiefel manifold, we proved global convergence of the ODE. Moreover, we developed a new technique to determine stable manifolds. This technique analyzes the rank of the initial datum. Using this technique, we derived the explicit expression of the stable manifolds. As a consequence, exponential convergence to stable equilibrium points was also proved. The success of this new technique should be attributed to the semi-decoupling property of the SGA method: iteration of previous components does not depend on that of later ones. As far as we know, our result is the first complete one on the convergence of an online PCA flow, providing global convergence, explicit characterization of stable manifolds, and closed formula of exponential convergence depending on the spectrum gap.


title: Exploring Classic Quantitative Strategies

abstract: The goal of this paper is to debunk and dispel the magic behind the black-box quantitative strategies. It aims to build a solid foundation on how and why the techniques work. This manuscript crystallizes this knowledge by deriving from simple intuitions, the mathematics behind the strategies. This tutorial doesn't shy away from addressing both the formal and informal aspects of quantitative strategies. By doing so, it hopes to provide readers with a deeper understanding of these techniques as well as the when, the how and the why of applying these techniques. The strategies are presented in terms of both S\&P500 and SH510300 data sets. However, the results from the tests are just examples of how the methods work; no claim is made on the suggestion of real market positions.


title: Dual-Resonator Kinetic-Inductance Detector for Distinction between Signal and 1/f Frequency Noise

abstract: Astronomical Kinetic Inductance Detectors (KIDs), similar to quantum information devices, experience performance limiting noise from materials. In particular, 1/f (frequency) noise can be a dominant noise mechanism, which arises from Two-Level System defects (TLSs) in the circuit dielectrics and material interfaces. Here we present a Dual-Resonator KID (DuRKID), which is designed for improved signal to noise (or noise equivalent power) relative to 1/f-noise limited KIDs. We first show the DuRKID schematic, fabricated circuit, and we follow with a description of the intended operation, first measurements, theory, and discussion. The circuit consists of two superconducting resonators sharing an electrical capacitance bridge of 4 capacitors, each of which hosts TLSs. The device is intended to operate using hybridization of the modes, which causes TLSs to either couple to one mode or the other, depending upon which capacitor they reside in. In contrast, the intended KID signal is directed to an inductor, and due to hybridization this causes correlated frequency changes in both (hybridized) modes. Therefore, one can distinguish photon signal from TLS frequency noise. To achieve hybridization, a TiN inductor is current biased to allow tuning of one bare resonator mode into degeneracy with the other and measurements show that the intended resonator modes frequency tune and hybridize as expected. The interresonator coupling and unintentional coupling of the 2 resonators to transmission lines are also characterized in measurements. In the theory, based on a quantum-information-science modes, we calculate the 4-port S parameters and simulate the 1/f frequency noise of the device. The study reveals that the DuRKID can exhibit a large and fundamental performance advantage over 1/f-noise-limited KID detectors.


title: Web of Scholars: A Scholar Knowledge Graph

abstract: In this work, we demonstrate a novel system, namely Web of Scholars, which integrates state-of-the-art mining techniques to search, mine, and visualize complex networks behind scholars in the field of Computer Science. Relying on the knowledge graph, it provides services for fast, accurate, and intelligent semantic querying as well as powerful recommendations. In addition, in order to realize information sharing, it provides an open API to be served as the underlying architecture for advanced functions. Web of Scholars takes advantage of knowledge graph, which means that it will be able to access more knowledge if more search exist. It can be served as a useful and interoperable tool for scholars to conduct in-depth analysis within Science of Science.


title: Are We Ready for Robust and Resilient SLAM? A Framework For Quantitative Characterization of SLAM Datasets

abstract: Reliability of SLAM systems is considered one of the critical requirements in modern autonomous systems. This directed the efforts to developing many state-of-the-art systems, creating challenging datasets, and introducing rigorous metrics to measure SLAM performance. However, the link between datasets and performance in the robustness/resilience context has rarely been explored. In order to fill this void, characterization of the operating conditions of SLAM systems is essential in order to provide an environment for quantitative measurement of robustness and resilience. In this paper, we argue that for proper evaluation of SLAM performance, the characterization of SLAM datasets serves as a critical first step. The study starts by reviewing previous efforts for quantitative characterization of SLAM datasets. Then, the problem of perturbation characterization is discussed and the linkage to SLAM robustness/resilience is established. After that, we propose a novel, generic and extendable framework for quantitative analysis and comparison of SLAM datasets. Additionally, a description of different characterization parameters is provided. Finally, we demonstrate the application of our framework by presenting the characterization results of three SLAM datasets: KITTI, EuroC-MAV, and TUM-VI highlighting the level of insights achieved by the proposed framework.


title: Distributed Online Optimization in Time-Varying Unbalanced Networks without Explicit Subgradients

abstract: This paper studies a distributed online constrained optimization problem over time-varying unbalanced digraphs without explicit subgradients. In sharp contrast to the existing algorithms, we design a novel consensus-based distributed online algorithm with a local randomized zeroth-order oracle and then rescale the oracle by constructing row-stochastic matrices, which aims to address the unbalancedness of time-varying digraphs. Under mild conditions, the average dynamic regret over a time horizon is shown to asymptotically converge at a sublinear rate provided that the accumulated variation grows sublinearly with a specific order. Moreover, the counterpart of the proposed algorithm when subgradients are available is also provided, along with its dynamic regret bound, which reflects that the convergence of our algorithm is essentially not affected by the zeroth-order oracle. Simulations on distributed targets tracking problem and dynamic sparse signal recovery problem in sensor networks are employed to demonstrate the effectiveness of the proposed algorithm.


title: Optimal Investment in a Large Population of Competitive and Heterogeneous Agents

abstract: This paper studies a stochastic utility maximization game under relative performance concerns in finite agent and infinite agent settings, where a continuum of agents interact through a graphon (see definition below). We consider an incomplete market model in which agents have CARA utilities, and we obtain characterizations of Nash equilibria in both the finite agent and graphon paradigms. Under modest assumptions on the denseness of the interaction graph among the agents, we establish convergence results for the Nash equilibria and optimal utilities of the finite player problem to the infinite player problem. This result is achieved as an application of a general backward propagation of chaos type result for systems of interacting forward-backward stochastic differential equations, where the interaction is heterogeneous and through the control processes, and the generator is of quadratic growth. In addition, characterizing the graphon game gives rise to a novel form of infinite dimensional forward-backward stochastic differential equation of Mckean-Vlasov type, for which we provide well-posedness results. An interesting consequence of our result is the computation of the competition indifference capital, i.e., the capital making an investor indifferent between whether or not to compete.


title: A nonlinear semigroup approach to Hamilton-Jacobi equations--revisited

abstract: We consider the Hamilton-Jacobi equation \[{H}(x,Du)+\lambda(x)u=c,\quad x\in M, \] where $M$ is a connected, closed and smooth Riemannian manifold. The functions ${H}(x,p)$ and $\lambda(x)$ are continuous. ${H}(x,p)$ is convex, coercive with respect to $p$, and $\lambda(x)$ changes the signs. The first breakthrough to this model was achieved by Jin-Yan-Zhao \cite{JYZ} under the Tonelli conditions. In this paper, we consider more detailed structure of the viscosity solution set and large time behavior of the viscosity solution on the Cauchy problem.


abstract: We propose Multivariate Quantile Function Forecaster (MQF$^2$), a global probabilistic forecasting method constructed using a multivariate quantile function and investigate its application to multi-horizon forecasting. Prior approaches are either autoregressive, implicitly capturing the dependency structure across time but exhibiting error accumulation with increasing forecast horizons, or multi-horizon sequence-to-sequence models, which do not exhibit error accumulation, but also do typically not model the dependency structure across time steps. MQF$^2$ combines the benefits of both approaches, by directly making predictions in the form of a multivariate quantile function, defined as the gradient of a convex function which we parametrize using input-convex neural networks. By design, the quantile function is monotone with respect to the input quantile levels and hence avoids quantile crossing. We provide two options to train MQF$^2$: with energy score or with maximum likelihood. Experimental results on real-world and synthetic datasets show that our model has comparable performance with state-of-the-art methods in terms of single time step metrics while capturing the time dependency structure.


title: The Larger The Fairer? Small Neural Networks Can Achieve Fairness for Edge Devices

abstract: Along with the progress of AI democratization, neural networks are being deployed more frequently in edge devices for a wide range of applications. Fairness concerns gradually emerge in many applications, such as face recognition and mobile medical. One fundamental question arises: what will be the fairest neural architecture for edge devices? By examining the existing neural networks, we observe that larger networks typically are fairer. But, edge devices call for smaller neural architectures to meet hardware specifications. To address this challenge, this work proposes a novel Fairness- and Hardware-aware Neural architecture search framework, namely FaHaNa. Coupled with a model freezing approach, FaHaNa can efficiently search for neural networks with balanced fairness and accuracy, while guaranteed to meet hardware specifications. Results show that FaHaNa can identify a series of neural networks with higher fairness and accuracy on a dermatology dataset. Target edge devices, FaHaNa finds a neural architecture with slightly higher accuracy, 5.28x smaller size, 15.14% higher fairness score, compared with MobileNetV2; meanwhile, on Raspberry PI and Odroid XU-4, it achieves 5.75x and 5.79x speedup.


title: A comparison estimate for singular $p$-Laplace equations and its consequences

abstract: Comparison estimates are an important technical device in the study of regularity problems for quasilinear possibly degenerate elliptic and parabolic equations. Such tools have been employed indispensably in many papers of Mingione, Duzaar-Mingione, and Kuusi-Mingione, etc. on certain measure datum problems to obtain pointwise bounds for solutions and their full or fractional derivatives in terms of appropriate linear or nonlinear potentials. However, a comparison estimate for $p$-Laplace type elliptic equations with measure data is still unavailable in the strongly singular case $1< p\leq \frac{3n-2}{2n-1}$, where $n\geq 2$ is the dimension of the ambient space. This issue will be completely resolved in this work by proving a comparison estimate in a slightly larger range $1<p<3/2$. Applications include a `sublinear' Poincar\'e type inequality, pointwise bounds for solutions and their derivatives by Wolff's and Riesz's potentials, respectively. Some global pointwise and weighted estimates are also obtained for bounded domains, which enable us to treat a quasilinear Riccati type equation with possibly sublinear growth in the gradient.


title: Absolute Zero-Shot Learning

abstract: Considering the increasing concerns about data copyright and privacy issues, we present a novel Absolute Zero-Shot Learning (AZSL) paradigm, i.e., training a classifier with zero real data. The key innovation is to involve a teacher model as the data safeguard to guide the AZSL model training without data leaking. The AZSL model consists of a generator and student network, which can achieve date-free knowledge transfer while maintaining the performance of the teacher network. We investigate `black-box' and `white-box' scenarios in AZSL task as different levels of model security. Besides, we also provide discussion of teacher model in both inductive and transductive settings. Despite embarrassingly simple implementations and data-missing disadvantages, our AZSL framework can retain state-of-the-art ZSL and GZSL performance under the `white-box' scenario. Extensive qualitative and quantitative analysis also demonstrates promising results when deploying the model under `black-box' scenario.


title: Cosmic ray transport near the Sun

abstract: The strongly diverging magnetic field lines in the very inner heliosphere, through the associated magnetic focusing/mirroring forces, can, potentially, lead to highly anisotropic galactic cosmic ray distributions close to the Sun. Using a simplified analytical approach, validated by numerical simulations, we study the behaviour of the galactic cosmic ray distribution in this newly explored region of the heliosphere and find that significant anisotropies can be expected inside 0.2 au.


title: Wave nature-based nonlocal correlation via projection measurements between space-like separated interferometric systems

abstract: Indistinguishability in quantum mechanics is an essential concept to understanding mysterious quantum features such as self-interference of a single photon and two-photon nonlocal correlation. Delayed-choice experiments are for the cause-effect violation via post-measurements of photons in an interferometric system. Recently, a macroscopic version of the delayed-choice experiments has been demonstrated using the classical means of Poisson distributed photons in a noninterfering Mach-Zehnder interferometer (NMZI). Here, a coherence version of the nonlocal correlation is presented using the wave nature of photons in space-like separated orthogonally polarized NMZIs. For this, polarization-basis projections of the pair of NMZI output photons onto a set of polarizers are measured coincidently, where each output photon comprises orthogonal polarization bases. Because of the coherence feature of the output photons via coincidence detection, a phase sensitive nonlocal correlation is achieved. As a result, indistinguishability limited to a single or entangled photon pairs needs to be reconsidered with basis (polarization) randomness for the nonlocal correlation.


title: Efficient CDF Approximations for Normalizing Flows

abstract: Normalizing flows model a complex target distribution in terms of a bijective transform operating on a simple base distribution. As such, they enable tractable computation of a number of important statistical quantities, particularly likelihoods and samples. Despite these appealing properties, the computation of more complex inference tasks, such as the cumulative distribution function (CDF) over a complex region (e.g., a polytope) remains challenging. Traditional CDF approximations using Monte-Carlo techniques are unbiased but have unbounded variance and low sample efficiency. Instead, we build upon the diffeomorphic properties of normalizing flows and leverage the divergence theorem to estimate the CDF over a closed region in target space in terms of the flux across its \emph{boundary}, as induced by the normalizing flow. We describe both deterministic and stochastic instances of this estimator: while the deterministic variant iteratively improves the estimate by strategically subdividing the boundary, the stochastic variant provides unbiased estimates. Our experiments on popular flow architectures and UCI benchmark datasets show a marked improvement in sample efficiency as compared to traditional estimators.


title: Improving fairness in speaker verification via Group-adapted Fusion Network

abstract: Modern speaker verification models use deep neural networks to encode utterance audio into discriminative embedding vectors. During the training process, these networks are typically optimized to differentiate arbitrary speakers. This learning process biases the learning of fine voice characteristics towards dominant demographic groups, which can lead to an unfair performance disparity across different groups. This is observed especially with underrepresented demographic groups sharing similar voice characteristics. In this work, we investigate the fairness of speaker verification models on controlled datasets with imbalanced gender distributions, providing direct evidence that model performance suffers for underrepresented groups. To mitigate this disparity we propose the group-adapted fusion network (GFN) architecture, a modular architecture based on group embedding adaptation and score fusion. We show that our method alleviates model unfairness by improving speaker verification both overall and for individual groups. Given imbalanced group representation in training, our proposed method achieves overall equal error rate (EER) reduction of 9.6% to 29.0% relative, reduces minority group EER by 13.7% to 18.6%, and results in 20.0% to 25.4% less EER disparity, compared to baselines. The approach is applicable to other types of training data skew in speaker recognition systems.


title: One-relator hierarchies

abstract: We prove that one-relator groups with negative immersions are hyperbolic and virtually special; this resolves a recent conjecture of Louder and Wilton. As a consequence, one-relator groups with negative immersions are residually finite, linear and have isomorphism problem decidable among one-relator groups. Using the fact that parafree one-relator groups have negative immersions, we answer a question of Baumslag's from 1986. The main new tool we develop is a refinement of the classic Magnus--Moldavanskii hierarchy for one-relator groups. We introduce the notions of Z-stable HNN-extensions and Z-stable hierarchies. We then show that a one-relator group is hyperbolic and has a quasi-convex one-relator hierarchy if and only if it does not contain a Baumslag--Solitar subgroup and has a Z-stable one-relator hierarchy.


title: Reinforcement Learning from Demonstrations by Novel Interactive Expert and Application to Automatic Berthing Control Systems for Unmanned Surface Vessel

abstract: In this paper, two novel practical methods of Reinforcement Learning from Demonstration (RLfD) are developed and applied to automatic berthing control systems for Unmanned Surface Vessel. A new expert data generation method, called Model Predictive Based Expert (MPBE) which combines Model Predictive Control and Deep Deterministic Policy Gradient, is developed to provide high quality supervision data for RLfD algorithms. A straightforward RLfD method, model predictive Deep Deterministic Policy Gradient (MP-DDPG), is firstly introduced by replacing the RL agent with MPBE to directly interact with the environment. Then distribution mismatch problem is analyzed for MP-DDPG, and two techniques that alleviate distribution mismatch are proposed. Furthermore, another novel RLfD algorithm based on the MP-DDPG, called Self-Guided Actor-Critic (SGAC) is present, which can effectively leverage MPBE by continuously querying it to generate high quality expert data online. The distribution mismatch problem leading to unstable learning process is addressed by SGAC in a DAgger manner. In addition, theoretical analysis is given to prove that SGAC algorithm can converge with guaranteed monotonic improvement. Simulation results verify the effectiveness of MP-DDPG and SGAC to accomplish the ship berthing control task, and show advantages of SGAC comparing with other typical reinforcement learning algorithms and MP-DDPG.


title: Decoupling for finite type phases in higher dimensions

abstract: In this paper, we establish an $\ell^2$ decoupling inequality for the hypersurface \[\Big\{(\xi_1,...,\xi_{n-1},\xi_1^m+...+\xi_{n-1}^m): (\xi_1,...,\xi_{n-1}) \in [0,1]^{n-1}\Big\}\]associated with the decomposition adapted to hypersufaces of finite type, where $n\geq 2$ and $m\geq 4$ is an even number. The key ingredients of the proof include an $\ell^2$ decoupling inequality for the hypersurfaces \[\Big\{(\xi_1,...,\xi_{n-1},\phi_1(\xi_1)+...+\phi_s(\xi_s)+\xi_{s+1}^m+...+\xi_{n-1}^m): (\xi_1,...,\xi_{n-1}) \in [0,1]^{n-1}\Big\},\] $0 \leq s \leq n-1$, with $\phi_1,...,\phi_s$ being $m$-nondegenerate.


title: Analytic approach to the formation of a three-dimensional black string from a dust cloud

abstract: In three-dimensional low-energy string theory, we study the formation of a black string from a dust cloud. We analytically obtain two distinct classes of exact solutions with arbitrary functions responsible for mass distributions of the dust cloud. The first and second kinds of solutions may describe collapsing dusts but the first kind is only for inhomogeneous dust distribution while the second kind has a homogeneous limit. The finite collapse time and the Israel junction conditions tell us that the first kind solution describes a desired collapsing phenomenon, whereas the scale factor in the inner spacetime for the second kind turns out to be trivial. In the first kind solution, specific collapsing models can be realized by choosing an appropriate inhomogeneous dust distribution consistent with the Israel junction conditions. Consequently, the inhomogeneous dust cloud eventually collapses to the black string although the homogeneous dust cloud does not guarantee the formation of the black string in our setting. The space-like curvature singularities occur at the finite collapse time and they can be cloaked by the horizon of the black string.


title: Motion of Poly-vectors in Fractal Clifford Spaces

abstract: Fractal Clifford Spaces (FCS) may be considered as a challenging approach to the unification of micro-physics and macro-physics. Trajectories of these manifolds are described by different poly-vectors describing paths and their deviation equations for not only to test particles but also for charged, rotating and rotating charged objects. Due to relaxing the condition of differentiability for all extended objects in the manifold. In this approach, a specialized Bazanski Lagrangian will be discussed to describe the fractal version of extended objects in a fractal space-time.


title: Unified treatment of Artin-type problems

abstract: Since Hooley's seminal 1967 resolution of Artin's primitive root conjecture under the Generalized Riemann Hypothesis, numerous variations of the conjecture have been considered. We present a framework generalizing and unifying many previously considered variants, and prove results in this full generality (under GRH).


title: EcoFusion: Energy-Aware Adaptive Sensor Fusion for Efficient Autonomous Vehicle Perception

abstract: Autonomous vehicles use multiple sensors, large deep-learning models, and powerful hardware platforms to perceive the environment and navigate safely. In many contexts, some sensing modalities negatively impact perception while increasing energy consumption. We propose EcoFusion: an energy-aware sensor fusion approach that uses context to adapt the fusion method and reduce energy consumption without affecting perception performance. EcoFusion performs up to 9.5% better at object detection than existing fusion methods with approximately 60% less energy and 58% lower latency on the industry-standard Nvidia Drive PX2 hardware platform. We also propose several context-identification strategies, implement a joint optimization between energy and performance, and present scenario-specific results.


title: Flock navigation with dynamic hierarchy and subjective weights using nonlinear MPC

abstract: We propose a model predictive control (MPC) based approach to a flock control problem with obstacle avoidance capability in a leader-follower framework, utilizing the future trajectory prediction computed by each agent. We employ the traditional Reynolds' flocking rules (cohesion, separation, and alignment) as a basis, and tailor the model to fit a navigation (as opposed to formation) purpose. In particular, we introduce several concepts such as the credibility and the importance of the gathered information from neighbors, and dynamic trade-offs between references. They are based on the observations that near-future predictions are more reliable, agents closer to leaders are implicit carriers of more educated information, and the predominance of either cohesion or alignment is dictated by the distance between the agent and its neighbors. These features are incorporated in the MPC formulation, and their advantages are discussed through numerical simulations.


title: Measuring the cosmological density field twice: A novel test of dark energy using the CMB quadrupole

abstract: The scattering of cosmic microwave background (CMB) radiation in galaxy clusters induces polarization signals according to the quadrupole anisotropy in the photon distribution at the cluster location. This `remote quadrupole' derived from the measurements of the induced polarization provides an opportunity for reconstructing primordial fluctuations on large scales. We discuss that comparing the local CMB quadrupoles predicted by these reconstructed primordial fluctuations and the direct measurements done by CMB satellites may enable us to test the dark energy beyond cosmic variance limits.


title: Scalable Query Answering under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach

abstract: Researchers in neuroscience have a growing number of datasets available to study the brain, which is made possible by recent technological advances. Given the extent to which the brain has been studied, there is also available ontological knowledge encoding the current state of the art regarding its different areas, activation patterns, key words associated with studies, etc. Furthermore, there is an inherent uncertainty associated with brain scans arising from the mapping between voxels -- 3D pixels -- and actual points in different individual brains. Unfortunately, there is currently no unifying framework for accessing such collections of rich heterogeneous data under uncertainty, making it necessary for researchers to rely on ad hoc tools. In particular, one major weakness of current tools that attempt to address this kind of task is that only very limited propositional query languages have been developed. In this paper, we present NeuroLang, an ontology language with existential rules, probabilistic uncertainty, and built-in mechanisms to guarantee tractable query answering over very large datasets. After presenting the language and its general query answering architecture, we discuss real-world use cases showing how NeuroLang can be applied to practical scenarios for which current tools are inadequate.


title: Dense Multi-Agent Navigation Using Voronoi Cells and Congestion Metric-based Replanning

abstract: We present a decentralized path-planning algorithm for navigating multiple differential-drive robots in dense environments. In contrast to prior decentralized methods, we propose a novel congestion metric-based replanning that couples local and global planning techniques to efficiently navigate in scenarios with multiple corridors. To handle dense scenes with narrow passages, our approach computes the initial path for each agent to its assigned goal using a lattice planner. Based on neighbors' information, each agent performs online replanning using a congestion metric that tends to reduce the collisions and improves the navigation performance. Furthermore, we use the Voronoi cells of each agent to plan the local motion as well as a corridor selection strategy to limit the congestion in narrow passages. We evaluate the performance of our approach in complex warehouse-like scenes and demonstrate improved performance and efficiency over prior methods. In addition, our approach results in a higher success rate in terms of collision-free navigation to the goals.


title: Cold and hot nuclear matter effects on $J/\psi$ production at RHIC-BES energies

abstract: Integrated and differential $J/\psi\ R_{AA}$ are systematically studied in Au-Au collisions at RHIC-BES energies in a transport approach, including cold and hot nuclear effects respectively in the initial condition and the collision terms. With decreasing energy, while the temperature, life time and size of the QGP fireball decrease, the nuclear absorption of the initially produced charmonia is more and more strong, and the nuclear shadowing effect on charmonium regeneration goes to anti-shadowing first and then to shadowing again. As a competition between the cold and hot nuclear effects, the QGP phase is still important for charmonium production at $\sqrt{s_{NN}}$=200, 62.4, 54.4 and 39 GeV but becomes negligible at $\sqrt{s_{NN}}$=14.5 GeV.


title: Trajectory planning in Dynamics Environment : Application for Haptic Perception in Safe HumanRobot Interaction

abstract: In a human-robot interaction system, the most important thing to consider is the safety of the user. This must be guaranteed in order to implement a reliable system. The main objective of this paper is to generate a safe motion scheme that takes into account the obstacles present in a virtual reality (VR) environment. The work is developed using the MoveIt software in ROS to control an industrial robot UR5. Thanks to this, we will be able to set up the planning group, which is realized by the UR5 robot with a 6-sided prop and the base of the manipulator, in order to plan feasible trajectories that it will be able to execute in the environment. The latter is based on the interior of a vehicle, containing a person (which would be the user in this case) for which the configuration will also be made to be taken into account in the system. To do this, we first investigated the software's capabilities and options for path planning, as well as the different ways to execute the movements. We also compared the different trajectory planning algorithms that the software is capable of using in order to determine which one is best suited for the task. Finally, we proposed different mobility schemes to be executed by the robot depending on the situation it is facing. The first one is used when the robot has to plan trajectories in a safe space, where the only obstacle to avoid is the user's workspace. The second one is used when the robot has to interact with the user, where a dummy model represents the user's position as a function of time, which is the one to be avoided.


title: Commonsense Reasoning for Identifying and Understanding the Implicit Need of Help and Synthesizing Assistive Actions

abstract: Human-Robot Interaction (HRI) is an emerging subfield of service robotics. While most existing approaches rely on explicit signals (i.e. voice, gesture) to engage, current literature is lacking solutions to address implicit user needs. In this paper, we present an architecture to (a) detect user implicit need of help and (b) generate a set of assistive actions without prior learning. Task (a) will be performed using state-of-the-art solutions for Scene Graph Generation coupled to the use of commonsense knowledge; whereas, task (b) will be performed using additional commonsense knowledge as well as a sentiment analysis on graph structure. Finally, we propose an evaluation of our solution using established benchmarks (e.g. ActionGenome dataset) along with human experiments. The main motivation of our approach is the embedding of the perception-decision-action loop in a single architecture.


title: Towards a general framework of Randomized Benchmarking incorporating non-Markovian Noise

abstract: The rapid progress in the development of quantum devices is in large part due to the availability of a wide range of characterization techniques allowing to probe, test and adjust them. Nevertheless, these methods often make use of approximations that hold in rather simplistic circumstances. In particular, assuming that error mechanisms stay constant in time and have no dependence in the past, is something that will be impossible to do as quantum processors continue scaling up in depth and size. We establish a theoretical framework for the Randomized Benchmarking protocol encompassing temporally-correlated, so-called non-Markovian noise, at the gate level, for any gate set belonging to a wide class of finite groups. We obtain a general expression for the Average Sequence Fidelity (ASF) and propose a way to obtain average gate fidelities of full non-Markovian noise processes. Moreover, we obtain conditions that are fulfilled when an ASF displays authentic non-Markovian deviations. Finally, we show that even though gate-dependence does not translate into a perturbative term within the ASF, as in the Markovian case, the non-Markovian sequence fidelity nevertheless remains stable under small gate-dependent perturbations.


title: A local limit theorem for convergent random walks on relatively hyperbolic groups

abstract: We study random walks on relatively hyperbolic groups whose law is convergent, in the sense that the derivative of its Green function is finite at the spectral radius.When parabolic subgroups are virtually abelian, we prove that for such a random walk satisfies a local limit theorem of the form $p_n(e, e)\sim CR^{-n}n^{-d/2}$, where $p_n(e, e)$ is the probability of returning to the origin at time $n$, $R$ is the inverse of the spectral radius of the random walk and $d$ is the minimal rank of a parabolic subgroup along which the random walk is spectrally degenerate.This concludes the classification all possible behaviour for $p_n(e, e)$ on such groups.


title: Generalised tensors and traces

abstract: Tensors and traceouts are generalised, so that systems can be partitioned according to almost arbitrary logical predicates. One might have feared that the familiar interrelations between the notions of unitarity, complete positivity, trace-preservation, non-signalling causality, locality and localizability that are standard in quantum theory be jeopardized as the partitioning of systems becomes both logical and dynamical. Such interrelations in fact carry through, although a new notion, consistency, becomes instrumental.


title: Distributed and Mobile Message Level Relaying/Replaying of GNSS Signals

abstract: With the introduction of Navigation Message Authentication (NMA), future Global Navigation Satellite Systems (GNSSs) prevent spoofing by simulation, i.e., the generation of forged satellite signals based on public information. However, authentication does not prevent record-and-replay attacks, commonly termed as meaconing. These attacks are less powerful in terms of adversarial control over the victim receiver location and time, but by acting at the signal level, they are not thwarted by NMA. This makes replaying/relaying attacks a significant threat for GNSS. While there are numerous investigations on meaconing, the majority does not rely on actual implementation and experimental evaluation in real-world settings. In this work, we contribute to the improvement of the experimental understanding of meaconing attacks. We design and implement a system capable of real-time, distributed, and mobile meaconing, built with off-the-shelf hardware. We extend from basic distributed attacks, with signals from different locations relayed over the Internet and replayed within range of the victim receiver(s): this has high bandwidth requirements and thus depends on the quality of service of the available network to work. To overcome this limitation, we propose to replay on message level, including the authentication part of the payload. The resultant reduced bandwidth enables the attacker to operate in mobile scenarios, as well as to replay signals from multiple GNSS constellations and/or bands simultaneously. Additionally, the attacker can delay individually selected satellite signals to potentially influence the victim position and time solution in a more fine-grained manner. Our versatile test-bench, enabling different types of replaying/relaying attacks, facilitates testing realistic scenarios towards new and improved replaying/relaying-focused countermeasures in GNSS receivers.


title: Training Adaptive Reconstruction Networks for Blind Inverse Problems

abstract: Neural networks allow solving many ill-posed inverse problems with unprecedented performance. Physics informed approaches already progressively replace carefully hand-crafted reconstruction algorithms in real applications. However, these networks suffer from a major defect: when trained on a given forward operator, they do not generalize well to a different one. The aim of this paper is twofold. First, we show through various applications that training the network with a family of forward operators allows solving the adaptivity problem without compromising the reconstruction quality significantly.Second, we illustrate that this training procedure allows tackling challenging blind inverse problems.Our experiments include partial Fourier sampling problems arising in magnetic resonance imaging (MRI) with sensitivity estimation and off-resonance effects, computerized tomography (CT) with a tilted geometry and image deblurring with Fresnel diffraction kernels.


title: Alleviating Datapath Conflicts and Design Centralization in Graph Analytics Acceleration

abstract: Previous graph analytics accelerators have achieved great improvement on throughput by alleviating irregular off-chip memory accesses. However, on-chip side datapath conflicts and design centralization have become the critical issues hindering further throughput improvement. In this paper, a general solution, Multiple-stage Decentralized Propagation network (MDP-network), is proposed to address these issues, inspired by the key idea of trading latency for throughput. Besides, a novel High throughput Graph analytics accelerator, HiGraph, is proposed by deploying MDP-network to address each issue in practice. The experiment shows that compared with state-of-the-art accelerator, HiGraph achieves up to 2.2x speedup (1.5x on average) as well as better scalability.


title: The Kakeya conjecture on local fields of positive characteristic

abstract: We state and prove an analogue of the Kakeya conjecture for the local field $\mathbb{F}_q(\!(t)\!)$. This extends Arsovski's result on the Kakeya conjecture to local fields of positive characteristic. We also prove the Kakeya maximal conjecture in this setting.


title: Prompt-Learning for Short Text Classification

abstract: In the short text, the extremely short length, feature sparsity, and high ambiguity pose huge challenges to classification tasks. Recently, as an effective method for tuning Pre-trained Language Models for specific downstream tasks, prompt-learning has attracted a vast amount of attention and research. The main intuition behind the prompt-learning is to insert the template into the input and convert the text classification tasks into equivalent cloze-style tasks. However, most prompt-learning methods expand label words manually or only consider the class name for knowledge incorporating in cloze-style prediction, which will inevitably incur omissions and bias in short text classification tasks. In this paper, we propose a simple short text classification approach that makes use of prompt-learning based on knowledgeable expansion. Taking the special characteristics of short text into consideration, the method can consider both the short text itself and class name during expanding label words space. Specifically, the top $N$ concepts related to the entity in the short text are retrieved from the open Knowledge Graph like Probase, and we further refine the expanded label words by the distance calculation between selected concepts and class labels. Experimental results show that our approach obtains obvious improvement compared with other fine-tuning, prompt-learning, and knowledgeable prompt-tuning methods, outperforming the state-of-the-art by up to 6 Accuracy points on three well-known datasets.


title: ACC for foliated log canonical thresholds

abstract: We show the sets of foliated log canonical thresholds on surfaces and threefolds satisfy the ascending chain condition.


title: Top quarks as a probe to quantum information

abstract: Top quark pairs produced at the Large Hadron Collider (LHC) provide a unique window into quantum information theory at high energies. One of the most ubiquitous measurements of quantum information is the violation of Bell's inequality. We explore what would be necessary to observe a violation of Bell's inequality and the dependence of this on the initial state of the top quark pair. Furthermore, we show how a more general application of quantum information theory in the realm of quantum computing can be leveraged to perform offline reconstruction of primary vertices. We perform some optimizations of the running parameters of the quantum annealer and compare them to a non-optimized performance. Lastly, we discuss the future outlook of both these topics and the steps to be taken.


title: Ferroelectric control of magnetic skyrmions in two-dimensional van der Waals heterostructures

abstract: Magnetic skyrmions are chiral nanoscale spin textures which are usually induced by Dzyaloshinskii-Moriya interaction (DMI). Recently, magnetic skyrmions have been observed in two-dimensional (2D) van der Waals (vdW) ferromagnetic materials, such as Fe$_{3}$GeTe$_{2}$. The electric control of skyrmions is important for their potential application in low-power memory technologies. Here, we predict that DMI and magnetic skyrmions in a Fe$_{3}$GeTe$_{2}$ monolayer can be controlled by ferroelectric polarization of an adjacent 2D vdW ferroelectric In$_{2}$Se$_{3}$. Based on density functional theory and atomistic spin-dynamics modeling, we find that the interfacial symmetry breaking produces a sizable DMI in a Fe$_{3}$GeTe$_{2}$/In$_{2}$Se$_{3}$ vdW heterostructure. We show that the magnitude of DMI can be controlled by ferroe-lectric polarization reversal, leading to creation and annihilation of skyrmions. Furthermore, we find that the sign of DMI in a In$_{2}$Se$_{3}$/Fe$_{3}$GeTe$_{2}$/In$_{2}$Se$_{3}$ heterostructure changes with ferroelectric switching reversing the skyrmion chirality. The predicted electrically controlled skyrmion formation may be interesting for spintronic applications.


title: Efficient Distributed DNNs in the Mobile-edge-cloud Continuum

abstract: In the mobile-edge-cloud continuum, a plethora of heterogeneous data sources and computation-capable nodes are available. Such nodes can cooperate to perform a distributed learning task, aided by a learning controller (often located at the network edge). The controller is required to make decisions concerning (i) data selection, i.e., which data sources to use; (ii) model selection, i.e., which machine learning model to adopt, and (iii) matching between the layers of the model and the available physical nodes. All these decisions influence each other, to a significant extent and often in counter-intuitive ways. In this paper, we formulate a problem addressing all of the above aspects and present a solution concept called RightTrain, aiming at making the aforementioned decisions in a joint manner, minimizing energy consumption subject to learning quality and latency constraints. RightTrain leverages an expanded-graph representation of the system and a delay-aware Steiner tree to obtain a provably near-optimal solution while keeping the time complexity low. Specifically, it runs in polynomial time and its decisions exhibit a competitive ratio of $2(1+\epsilon)$, outperforming state-of-the-art solutions by over 50%. Our approach is also validated through a real-world implementation.


title: Quantum Squeezing of Slow-Light Solitons

abstract: We investigate the quantum squeezing of slow-light solitons generated in a $\Lambda$-shaped three-level atomic system working under condition of electromagnetically induced transparency (EIT). We show that due to the giant Kerr nonlinearity contributed from the EIT effect, significant quantum squeezing of the slow-light soliton can be realized within a short propagation distance. The results reported here are helpful for understanding the quantum property of slow-light solitons and for realizing light squeezing via EIT in cold atomic gases experimentally.


title: A Semi-Synthetic Dataset Generation Framework for Causal Inference in Recommender Systems

abstract: Accurate recommendation and reliable explanation are two key issues for modern recommender systems. However, most recommendation benchmarks only concern the prediction of user-item ratings while omitting the underlying causes behind the ratings. For example, the widely-used Yahoo!R3 dataset contains little information on the causes of the user-movie ratings. A solution could be to conduct surveys and require the users to provide such information. In practice, the user surveys can hardly avoid compliance issues and sparse user responses, which greatly hinders the exploration of causality-based recommendation. To better support the studies of causal inference and further explanations in recommender systems, we propose a novel semi-synthetic data generation framework for recommender systems where causal graphical models with missingness are employed to describe the causal mechanism of practical recommendation scenarios. To illustrate the use of our framework, we construct a semi-synthetic dataset with Causal Tags And Ratings (CTAR), based on the movies as well as their descriptive tags and rating information collected from a famous movie rating website. Using the collected data and the causal graph, the user-item-ratings and their corresponding user-item-tags are automatically generated, which provides the reasons (selected tags) why the user rates the items. Descriptive statistics and baseline results regarding the CTAR dataset are also reported. The proposed data generation framework is not limited to recommendation, and the released APIs can be used to generate customized datasets for other research tasks.


title: Sign representation of single-peaked preferences and Bruhat orders

abstract: Single-peaked preferences and domains are extensively researched in social science and economics. In this study, we examine the interval property as well as combinatorial structure of single-peaked preferences on a fixed Left-Right social axis. We introduce a sign representation of single-peaked preferences; consequently, some cardinalities of single-peaked domains are easily obtained. Basic operations on the sign representation, which completely define the Bruhat poset, are also provided. The applications to known results and an isomorphic relation with associated rhombus tiling are given. Finally, we some discussions of related topics.


title: Initial-Boundary Value Problems on a Half-Strip for the Generalized Kawahara-Zakharov-Kuznetsov Equation

abstract: Initial-boundary value problems on a half-strip with different types of boundary conditions for the generalized Kawahara-Zakharov-Kuznetsov equation with nonlinearity of higher order are considered. In particular, nonlinearity can be quadratic and cubic. Results on global existence and uniqueness in classes of weak and strong solutions and large-time decay of small solutions are established. The solutions are considered in weighted at infinity Sobolev spaces. The use of weighted spaces is crucial for the study. To this end new interpolating inequalities in weighted anisotropic Sobolev spaces are established. Both exponential and power weights are admissible.


title: Low-complexity Joint Beamforming for RIS-Aided Multi-User Downlink over Correlated Channels

abstract: This paper considers the reconfigurable intelligent surface (RIS)-assisted multi-user communications, where an RIS is used to assist the base station (BS) for serving multiple users. The RIS consisting of passive reflecting elements can manipulate the reflected direction of the incoming electromagnetic waves by adjusting the phase shifts of the reflecting elements. Alternating optimization (AO) based approach is commonly used to determine the phase shifts of the RIS elements. While AO-based approaches have shown significant gain of RIS, the complexity is quite high due to the coupled structure of the cascade channel from the BS through RIS to the user. In addition, the sub-wavelength structure of the RIS introduces spatial correlation that may cause strong interference to users. To handle severe multi-user interference over correlated channels, we consider adaptive user grouping previously proposed for massive mutli-input and multi-output (MIMO) systems and propose two low-complexity beamforming design methods, depending on whether the grouping result is taken into account. Simulation results demonstrate the superior sum rate achieved by the proposed methods than that without user grouping. Besides, the proposed methods can perform similarly to the AO-based approach but with much lower complexity.


title: Superconductive materials with MgB2-like structures from data-driven screening

abstract: Finding viable superconducting materials is of interest to the physics community as the superconductors are the playground to manifest many appealing quantum phenomena. This work exemplifies an end-to-end materials discovery towards novel MgB2-like superconductors, starting from the data-driven compound screening all the way to the experimental materialization. In addition to the known superconducting compounds, CaB2 (Tc = 9.4 ~ 28.6 K), SrGa2 (Tc = 0.1 ~ 2.4 K), BaGa2 (Tc = 0.3 ~ 3.3 K), BaAu2 (Tc = 0.0 ~ 0.5 K), and LaCu2 (Tc = 0.1 ~ 2.2 K) are newly discovered, out of ~182,000 starting structures, to be the most promising superconducting compounds that share similar atomic structures with MgB2. Moreover, BaGa2 is experimentally synthesized and measured to confirm that the compound is a BCS superconductor with Tc = 0.36 K, in good agreement with our theoretical predictions. This work provides a "once and for all" study for the MgB2-like superconductors and showcases that it is feasible to discover new materials via a data-driven approach.


title: Preformer: Predictive Transformer with Multi-Scale Segment-wise Correlations for Long-Term Time Series Forecasting

abstract: Transformer-based methods have shown great potential in long-term time series forecasting. However, most of these methods adopt the standard point-wise self-attention mechanism, which not only becomes intractable for long-term forecasting since its complexity increases quadratically with the length of time series, but also cannot explicitly capture the predictive dependencies from contexts since the corresponding key and value are transformed from the same point. This paper proposes a predictive Transformer-based model called {\em Preformer}. Preformer introduces a novel efficient {\em Multi-Scale Segment-Correlation} mechanism that divides time series into segments and utilizes segment-wise correlation-based attention for encoding time series. A multi-scale structure is developed to aggregate dependencies at different temporal scales and facilitate the selection of segment length. Preformer further designs a predictive paradigm for decoding, where the key and value come from two successive segments rather than the same segment. In this way, if a key segment has a high correlation score with the query segment, its successive segment contributes more to the prediction of the query segment. Extensive experiments demonstrate that our Preformer outperforms other Transformer-based methods.