title: QuestSim: Human Motion Tracking from Sparse Sensors with Simulated Avatars

abstract: Real-time tracking of human body motion is crucial for interactive and immersive experiences in AR/VR. However, very limited sensor data about the body is available from standalone wearable devices such as HMDs (Head Mounted Devices) or AR glasses. In this work, we present a reinforcement learning framework that takes in sparse signals from an HMD and two controllers, and simulates plausible and physically valid full body motions. Using high quality full body motion as dense supervision during training, a simple policy network can learn to output appropriate torques for the character to balance, walk, and jog, while closely following the input signals. Our results demonstrate surprisingly similar leg motions to ground truth without any observations of the lower body, even when the input is only the 6D transformations of the HMD. We also show that a single policy can be robust to diverse locomotion styles, different body sizes, and novel environments.


title: Ind-\'etale vs Formally \'etale

abstract: We show that when $A$ is a reduced algebra over a characteristic zero field $k$ and the module of K\"ahler differentials $\Omega_{A/k}=0$, then $A$ is ind-\'etale, partially answering a question of Bhatt. As further applications of this result, we deduce a rigidity property of Hochschild homology and special instances of Weibel's conjecture and Vorst's conjecture without any noetherian assumptions.


title: Mitigating Representation Bias in Action Recognition: Algorithms and Benchmarks

abstract: Deep learning models have achieved excellent recognition results on large-scale video benchmarks. However, they perform poorly when applied to videos with rare scenes or objects, primarily due to the bias of existing video datasets. We tackle this problem from two different angles: algorithm and dataset. From the perspective of algorithms, we propose Spatial-aware Multi-Aspect Debiasing (SMAD), which incorporates both explicit debiasing with multi-aspect adversarial training and implicit debiasing with the spatial actionness reweighting module, to learn a more generic representation invariant to non-action aspects. To neutralize the intrinsic dataset bias, we propose OmniDebias to leverage web data for joint training selectively, which can achieve higher performance with far fewer web data. To verify the effectiveness, we establish evaluation protocols and perform extensive experiments on both re-distributed splits of existing datasets and a new evaluation dataset focusing on the action with rare scenes. We also show that the debiased representation can generalize better when transferred to other datasets and tasks.


title: The weighted reproducing kernels of the Reinhardt domain

abstract: In this paper, we develop the theory of weighted Bergman space and obtain a general representation formula of the Bergman kernel function for the spaces on the Reinhardt domain containing the origin. As applications, we calculate the concrete forms of the Bergman kernels for some special weights on the Reinhardt domains $\mathbb{C}^n,$ $D_{n,m}:= \{(z, w)\in \mathbb{C}^n \times \mathbb{C}^m : \|w\|^2 <{e}^{-\mu_1\|z\|^{\mu_2}}\}$ and $V_{\eta}:=\{(z, z', w) \in \mathbb{C}^{n} \times \mathbb{C}^{m} \times \mathbb{C} : \sum_{j=1}^{n} e^{\eta_{j}|w|^{2}}|z_{j}|^{2}+\|z'\|^{2}<1\}$.


title: OysterSim: Underwater Simulation for Enhancing Oyster Reef Monitoring

abstract: Oysters are the living vacuum cleaners of the oceans. There is an exponential decline in the oyster population due to over-harvesting. With the current development of the automation and AI, robots are becoming an integral part of the environmental monitoring process that can be also utilized for oyster reef preservation. Nevertheless, the underwater environment poses many difficulties, both from the practical - dangerous and time consuming operations, and the technical perspectives - distorted perception and unreliable navigation. To this end, we present a simulated environment that can be used to improve oyster reef monitoring. The simulated environment can be used to create photo-realistic image datasets with multiple sensor data and ground truth location of a remotely operated vehicle(ROV). Currently, there are no photo-realistic image datasets for oyster reef monitoring. Thus, we want to provide a new benchmark suite to the underwater community.


title: Universal time-dependent control scheme for realizing arbitrary linear bosonic transformations

abstract: We study the implementation of arbitrary excitation-conserving linear transformations between two sets of $N$ stationary bosonic modes, which are connected through a photonic quantum channel. By controlling the individual couplings between the modes and the channel, an initial $N$-partite quantum state in register $A$ can be released as a multiphoton wave packet and, successively, be reabsorbed in register $B$. Here we prove that there exists a set of control pulses that implement this transfer with arbitrarily high fidelity and, simultaneously, realize a prespecified $N\times N$ unitary transformation between the two sets of modes. Moreover, we provide a numerical algorithm for constructing these control pulses and discuss the scaling and robustness of this protocol in terms of several illustrative examples. By being purely control-based and not relying on any adaptations of the underlying hardware, the presented scheme is extremely flexible and can find widespread applications, for example, for boson-sampling experiments, multiqubit state transfer protocols or in continuous-variable quantum computing architectures.


title: Partial sequence labeling with structured Gaussian Processes

abstract: Existing partial sequence labeling models mainly focus on max-margin framework which fails to provide an uncertainty estimation of the prediction. Further, the unique ground truth disambiguation strategy employed by these models may include wrong label information for parameter learning. In this paper, we propose structured Gaussian Processes for partial sequence labeling (SGPPSL), which encodes uncertainty in the prediction and does not need extra effort for model selection and hyperparameter learning. The model employs factor-as-piece approximation that divides the linear-chain graph structure into the set of pieces, which preserves the basic Markov Random Field structure and effectively avoids handling large number of candidate output sequences generated by partially annotated data. Then confidence measure is introduced in the model to address different contributions of candidate labels, which enables the ground-truth label information to be utilized in parameter learning. Based on the derived lower bound of the variational lower bound of the proposed model, variational parameters and confidence measures are estimated in the framework of alternating optimization. Moreover, weighted Viterbi algorithm is proposed to incorporate confidence measure to sequence prediction, which considers label ambiguity arose from multiple annotations in the training data and thus helps improve the performance. SGPPSL is evaluated on several sequence labeling tasks and the experimental results show the effectiveness of the proposed model.


title: Further understanding the nature of $\Omega(2012)$ within a chiral quark model

abstract: In our previous works, we have analyzed the two-body strong decays of the low-lying $\Omega$ baryon states within a chiral quark model. The results show that the $\Omega(2012)$ resonance favors the three-quark state with $J^P=3/2^-$ classified in the quark model. With this assignment, in the present work we further study the three-body strong decay $\Omega(2012)\to \Xi^*(1530)\bar{K} \to \Xi\pi\bar{K}$ and coupled-channel effects on $\Omega(2012)$ from nearby channels $\Xi \bar{K}$, $\Omega\eta$ and $\Xi^*(1530)\bar{K}$ within the chiral quark model as well. It is found that the $\Omega(2012)$ resonance has a sizeable decay rate into the three-body final state $\Xi\pi\bar{K}$. The predicted ratio $R_{\Xi\bar{K}}^{\Xi\pi\bar{K}}=\mathcal{B}[\Omega(2012)\to \Xi^*(1530)\bar{K}\to \Xi\pi\bar{K}]/\mathcal{B}[\Omega(2012)\to \Xi\bar{K}]\simeq 12\%$ is close to the up limit $11\%$ measured by the Belle Collaboration in 2019, however, our predicted ratio is too small to be comparable with the recent data $0.97\pm 0.31$. Furthermore, our results show that the coupled-channel effects on the $\Omega(2012)$ is not large, its components should be dominated by the bare three-quark state, while the proportion of the molecular components is only $\sim 16\%$. To clarify the nature of $\Omega(2012)$, the ratio $R_{\Xi\bar{K}}^{\Xi\pi\bar{K}}$ is expected to be tested by other experiments.


title: A Rogue Planet Helps Populate the Distant Kuiper Belt

abstract: The orbital distribution of transneptunian objects (TNOs) in the distant Kuiper Belt (with semimajor axes beyond the 2:1 resonance, roughly $a$=50-100 au) provides constraints on the dynamical history of the outer solar system. Recent studies show two striking features of this region: 1) a very large population of objects in distant mean-motion resonances with Neptune, and 2) the existence of a substantial detached population (non-resonant objects largely decoupled from Neptune). Neptune migration models are able to implant some resonant and detached objects during the planet migration era, but many fail to match a variety of aspects of the orbital distribution. In this work, we report simulations carried out using an improved version of the GPU-based code GLISSE, following 100,000 test particles per simulation in parallel while handling their planetary close encounters. We demonstrate for the first time that a 2 Earth-mass rogue planet temporarily present during planet formation can abundantly populate both the distant resonances and the detached populations, surprisingly even without planetary migration. We show how weak encounters with the rogue greatly increase the efficiency of filling the resonances, while also dislodging TNOs out of resonance once they reach high perihelia. The rogue's secular gravitational influence simultaneously generates numerous detached objects observed at all semimajor axes. These results suggest that the early presence of additional planet(s) reproduces the observed TNO orbital structure in the distant Kuiper Belt.


title: Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers

abstract: In this paper, we consider the computational complexity of bounding the reachable set of a Linear Time-Invariant (LTI) system controlled by a Rectified Linear Unit (ReLU) Two-Level Lattice (TLL) Neural Network (NN) controller. In particular, we show that for such a system and controller, it is possible to compute the exact one-step reachable set in polynomial time in the size of the TLL NN controller (number of neurons). Additionally, we show that a tight bounding box of the reachable set is computable via two polynomial-time methods: one with polynomial complexity in the size of the TLL and the other with polynomial complexity in the Lipschitz constant of the controller and other problem parameters. Finally, we propose a pragmatic algorithm that adaptively combines the benefits of (semi-)exact reachability and approximate reachability, which we call L-TLLBox. We evaluate L-TLLBox with an empirical comparison to a state-of-the-art NN controller reachability tool. In our experiments, L-TLLBox completed reachability analysis as much as 5000x faster than this tool on the same network/system, while producing reach boxes that were from 0.08 to 1.42 times the area.


title: Automatic Label Sequence Generation for Prompting Sequence-to-sequence Models

abstract: Prompting, which casts downstream applications as language modeling tasks, has shown to be sample efficient compared to standard fine-tuning with pre-trained models. However, one pitfall of prompting is the need of manually-designed patterns, whose outcome can be unintuitive and requires large validation sets to tune. To tackle the challenge, we propose AutoSeq, a fully automatic prompting method: (1) We adopt natural language prompts on sequence-to-sequence models, enabling free-form generation and larger label search space; (2) We propose label sequences -- phrases with indefinite lengths to verbalize the labels -- which eliminate the need of manual templates and are more expressive than single label words; (3) We use beam search to automatically generate a large amount of label sequence candidates and propose contrastive re-ranking to get the best combinations. AutoSeq significantly outperforms other no-manual-design methods, such as soft prompt tuning, adapter tuning, and automatic search on single label words; the generated label sequences are even better than curated manual ones on a variety of tasks. Our method reveals the potential of sequence-to-sequence models in few-shot learning and sheds light on a path to generic and automatic prompting. The source code of this paper can be obtained from https://github.com/thunlp/Seq2Seq-Prompt.


title: Forward modelling and the quest for mode identification in rapidly-rotating stars

abstract: Asteroseismology has opened a window on the internal physics of thousands of stars, by relating oscillation spectra properties to the internal physics of stars. Mode identification, namely the process of associating a measured oscillation frequency to the corresponding mode geometry and properties, is the cornerstone of this analysis of seismic spectra. In rapidly rotating stars this identification is a challenging task that remains incomplete, as modes assume complex geometries and regular patterns in frequencies get scrambled under the influence of the Coriolis force and centrifugal flattening. In this article, I will first discuss the various classes of mode geometries that emerge in rapidly-rotating stars and the related frequency and period patterns, as predicted by ray dynamics, complete (non-)adiabatic calculations, or using the traditional approximation of rotation. These patterns scale with structural quantities and help us derive crucial constraints on the structure and evolution of these stars. I will summarize the amazing progress accomplished over the last few years for the deciphering of gravity-mode pulsator oscillation spectra, and recent developments based on machine-learning classification techniques to distinguish oscillation modes and pattern analysis strategies that let us access the underlying physics of pressure-mode pulsators. These approaches pave the way to ensemble asteroseismology of classical pulsators. Finally, I will highlight how these recent progress can be combined to improve forward seismic modelling. I will focus on the example of Rasalhague, a well-known rapid rotator, to illustrate the process and the needed advances to obtain \`a-la-carte modelling of such stars.


title: Complex asymptotics of the M\"obius energy gradient of symmetric helix pairs

abstract: The M\"obius energy is a well-studied knot energy with nice regularity and self-repulsive properties. Stationary curves under the M\"obius energy gradient are of significant theoretical interest as they they can indicate equilibrium states of a curve under its own forces. In this paper, we consider stationary symmetric helix pairs under the M\"obius energy. Through methods of complex asymptotics, we characterize the limiting behavior of the M\"obius gradient as the coiling ratio tends to infinity: the gradient will diverge in opposing directions depending on whether the radius is less than or greater than $\frac{1}{2}$. We conclude by discussing the implications to the more general M\"obius-Plateau energy, where the energy of a curve, or pair of curves, includes the area of the minimal surface bounded by them. Symmetric helix pairs bound a helicoid between them, and applying our result shows that stationary helicoids grow to radius $\frac{1}{2}$ from below as the coiling tends to infinity.


title: Machine Learning-Augmented Optimization of Large Bilevel and Two-stage Stochastic Programs: Application to Cycling Network Design

abstract: Motivated by a cycling infrastructure planning application, we present a machine learning approach to solving bilevel programs with a large number of independent followers, which as a special case includes two-stage stochastic programming. We propose an optimization model that explicitly considers a sampled subset of followers and exploits a machine learning model to estimate the objective values of unsampled followers. Unlike existing approaches, we embed machine learning model training into the optimization problem, which allows us to employ follower features that cannot be represented using leader decisions. We prove bounds on the optimality gap of the generated leader decision as measured by the original objective that considers the full follower set. We develop follower sampling algorithms to tighten the bounds and a representation learning approach to learn follower features, which are used as inputs to our machine learning model. Through numerical studies, we show that our approach generates leader decisions of higher quality compared to baselines. Finally, we perform a real-world case study in Toronto, Canada, where we solve a cycling network design problem with over one million followers. Compared to the current practice, our approach improves a transportation metric by 19.2% and can lead to a potential cost saving of $18M.


title: Helical Luttinger liquid on the edge of a 2-dimensional topological antiferromagnet

abstract: Boundary helical Luttinger liquid (HLL) with broken bulk time-reversal symmetry belongs to a unique topological class which may occur in antiferromagnets (AFM). Here, we search for signatures of HLL on the edge of a recently discovered topological AFM, MnBi2Te4 even-layer. Using scanning superconducting quantum interference device, we directly image helical edge current in the AFM ground state appearing at its charge neutral point. Such helical edge state accompanies an insulating bulk which is topologically distinct from the ferromagnetic Chern insulator phase as revealed in a magnetic field driven quantum phase transition. The edge conductance of the AFM order follows a power-law as a function of temperature and source-drain bias which serves as strong evidence for HLL. Such HLL scaling is robust at finite fields below the quantum critical point. The observed HLL in a layered AFM semiconductor represents a highly tunable topological matter compatible with future spintronics and quantum computation.


title: Probabilistic Generative Transformer Language models for Generative Design of Molecules

abstract: Self-supervised neural language models have recently found wide applications in generative design of organic molecules and protein sequences as well as representation learning for downstream structure classification and functional prediction. However, most of the existing deep learning models for molecule design usually require a big dataset and have a black-box architecture, which makes it difficult to interpret their design logic. Here we propose Generative Molecular Transformer (GMTransformer), a probabilistic neural network model for generative design of molecules. Our model is built on the blank filling language model originally developed for text processing, which has demonstrated unique advantages in learning the "molecules grammars" with high-quality generation, interpretability, and data efficiency. Benchmarked on the MOSES datasets, our models achieve high novelty and Scaf compared to other baselines. The probabilistic generation steps have the potential in tinkering molecule design due to their capability of recommending how to modify existing molecules with explanation, guided by the learned implicit molecule chemistry. The source code and datasets can be accessed freely at https://github.com/usccolumbia/GMTransformer


title: DetCLIP: Dictionary-Enriched Visual-Concept Paralleled Pre-training for Open-world Detection

abstract: Open-world object detection, as a more general and challenging goal, aims to recognize and localize objects described by arbitrary category names. The recent work GLIP formulates this problem as a grounding problem by concatenating all category names of detection datasets into sentences, which leads to inefficient interaction between category names. This paper presents DetCLIP, a paralleled visual-concept pre-training method for open-world detection by resorting to knowledge enrichment from a designed concept dictionary. To achieve better learning efficiency, we propose a novel paralleled concept formulation that extracts concepts separately to better utilize heterogeneous datasets (i.e., detection, grounding, and image-text pairs) for training. We further design a concept dictionary~(with descriptions) from various online sources and detection datasets to provide prior knowledge for each concept. By enriching the concepts with their descriptions, we explicitly build the relationships among various concepts to facilitate the open-domain learning. The proposed concept dictionary is further used to provide sufficient negative concepts for the construction of the word-region alignment loss\, and to complete labels for objects with missing descriptions in captions of image-text pair data. The proposed framework demonstrates strong zero-shot detection performances, e.g., on the LVIS dataset, our DetCLIP-T outperforms GLIP-T by 9.9% mAP and obtains a 13.5% improvement on rare categories compared to the fully-supervised model with the same backbone as ours.


title: Deep learning at the edge enables real-time streaming ptychographic imaging

abstract: Coherent microscopy techniques provide an unparalleled multi-scale view of materials across scientific and technological fields, from structural materials to quantum devices, from integrated circuits to biological cells. Driven by the construction of brighter sources and high-rate detectors, coherent X-ray microscopy methods like ptychography are poised to revolutionize nanoscale materials characterization. However, associated significant increases in data and compute needs mean that conventional approaches no longer suffice for recovering sample images in real-time from high-speed coherent imaging experiments. Here, we demonstrate a workflow that leverages artificial intelligence at the edge and high-performance computing to enable real-time inversion on X-ray ptychography data streamed directly from a detector at up to 2 kHz. The proposed AI-enabled workflow eliminates the sampling constraints imposed by traditional ptychography, allowing low dose imaging using orders of magnitude less data than required by traditional methods.


title: Trajectory-Resolved Weiss Fields for Quantum Spin Dynamics

abstract: We explore the dynamics of quantum spin systems in two and three dimensions using an exact mapping to classical stochastic processes. In recent work we explored the effectiveness of sampling around the mean field evolution as determined by a stochastically averaged Weiss field. Here, we show that this approach can be significantly extended by sampling around the instantaneous Weiss field associated with each stochastic trajectory taken separately. This trajectory-resolved approach incorporates sample to sample fluctuations and allows for longer simulation times. We demonstrate the utility of this approach for quenches in the two-dimensional and three-dimensional quantum Ising model. We show that the method is particularly advantageous in situations where the average Weiss-field vanishes, but the trajectory-resolved Weiss fields are non-zero. We discuss the connection to the gauge-P phase space approach, where the trajectory-resolved Weiss field can be interpreted as a gauge degree of freedom.


title: Weak Disambiguation for Partial Structured Output Learning

abstract: Existing disambiguation strategies for partial structured output learning just cannot generalize well to solve the problem that there are some candidates which can be false positive or similar to the ground-truth label. In this paper, we propose a novel weak disambiguation for partial structured output learning (WD-PSL). First, a piecewise large margin formulation is generalized to partial structured output learning, which effectively avoids handling large number of candidate structured outputs for complex structures. Second, in the proposed weak disambiguation strategy, each candidate label is assigned with a confidence value indicating how likely it is the true label, which aims to reduce the negative effects of wrong ground-truth label assignment in the learning process. Then two large margins are formulated to combine two types of constraints which are the disambiguation between candidates and non-candidates, and the weak disambiguation for candidates. In the framework of alternating optimization, a new 2n-slack variables cutting plane algorithm is developed to accelerate each iteration of optimization. The experimental results on several sequence labeling tasks of Natural Language Processing show the effectiveness of the proposed model.


title: Shepherding Control for Separating a Single Agent from a Swarm

abstract: In this paper, we consider the swarm-control problem of spatially separating a specified target agent within the swarm from all the other agents, while maintaining the connectivity among the other agents. We specifically aim to achieve the separation by designing the movement algorithm of an external agent, called a shepherd, which exerts repulsive forces on the agents in the swarm. This problem has potential applications in the context of the manipulation of the swarm of micro- and nano-particles. We first formulate the separation problem, where the swarm agents (called sheep) are modeled by the Boid model. We then analytically study the special case of two-sheep swarms. By leveraging the analysis, we then propose a potential function-based movement algorithm of the shepherd to achieve separation while maintaining the connectivity within the remaining swarm. We demonstrate the effectiveness of the proposed algorithm with numerical simulations.


title: On the distribution of the time-integral of the geometric Brownian motion

abstract: We study the numerical evaluation of several functions appearing in the small time expansion of the distribution of the time-integral of the geometric Brownian motion as well as its joint distribution with the terminal value of the underlying Brownian motion. A precise evaluation of these distributions is relevant for the simulation of stochastic volatility models with log-normally distributed volatility, and Asian option pricing in the Black-Scholes model. We derive series expansions for these distributions, which can be used for numerical evaluations. Using tools from complex analysis, we determine the convergence radius and large order asymptotics of the coefficients in these expansions. We construct an efficient numerical approximation of the joint distribution of the time-integral of the gBM and its terminal value, and illustrate its application to Asian option pricing in the Black-Scholes model.


title: A Unified Analytical Method to Quantify Three Types of Fast Frequency Response from Inverter-based Resources

abstract: With more inverter-based resources (IBRs), our power systems have lower frequency nadirs following N-1 contingencies, and undesired under-frequency load shedding (UFLS) can occur. To address this challenge, IBRs can be programmed to provide at least three types of fast frequency response (FFR), e.g., step response, proportional response (P/f droop response), and derivative response (synthetic inertia). However, these heterogeneous FFR challenge the study of power system frequency dynamics. Thus, this paper develops an analytical frequency nadir prediction method that allows for the consideration of all three potential forms of FFR provided by IBRs. The proposed method provides fast and accurate frequency nadir estimation after N-1 generation tripping contingencies. Our method is grounded on the closed-form solution for the frequency nadir, which is solved from the second-order system frequency response model considering the governor dynamics and three types of FFR. The simulation results in the IEEE 39-bus system with different types of FFR demonstrate that the proposed method provides an accurate and fast prediction of the frequency nadir under various disturbances.


title: Interferometry and higher-dimensional phase measurements using directionally unbiased linear optics

abstract: Grover multiports are higher-dimensional generalizations of beam splitters, in which input to any one of the four ports has equal probability of exiting at any of the same four ports, including the input port. In this paper, we demonstrate that interferometers built from such multiports have novel features. For example, when combined with two-photon input and coincidence measurements, it is shown that such interferometers have capabilities beyond those of standard beam-splitter-based interferometers, such as easily controlled interpolation between Hong-Ou-Mandel (HOM) and anti-HOM behavior. Further, it is shown that the Grover-based analog of the Mach-Zehnder interferometer can make three separate phase measurements simultaneously. By arranging the transmission lines between the two multiports to lie in different planes, the same interferometer acts as a higher-dimensional Sagnac interferometer, allowing rotation rates about three different axes to be measured with a single device.


title: Spectral evolution of dark asteroid surfaces induced by space weathering over a decade

abstract: The surface of airless bodies like asteroids in the Solar System are known to be affected by space weathering. Experiments simulating space weathering are essential for studying the effects of this process on meteorite samples, but the problem is that the time spent to reproduce space weathering in these experiments is billions of times shorter than the actual phenomenon. In December 2010, the T-type asteroid 596 Scheila underwent a collision with a few-tens-of-meters impactor. A decade later, there is an opportunity to study how the surface layer of this asteroid is being altered by space weathering after the impact. To do so, we performed visible spectrophotometric and near-infrared spectroscopic observations of 596 Scheila. The acquired spectrum is consistent with those observed shortly after the 2010 impact event within the observational uncertainty range. This indicates that the surface color of dark asteroids is not noticeably changed by space weathering over a 10-year period. This study is the first to investigate color changes due to space weathering on an actual asteroid surface in the Solar System. Considering that fresh layers are regularly created on asteroid surfaces by collisions, we suggest a genetic link between D/T-type and dark (low albedo) X-complex asteroids and very red objects such as 269 Justitia, 732 Tjilaki (and 203 Pompeja). New observations show that 203 Pompeja has a X-type-like surface, with some local surface areas exhibiting a very red spectrum.


title: The solution of the Loewy-Radwan conjecture

abstract: A seminal result of Gerstenhaber gives the maximal dimension of a linear space of nilpotent matrices. It also exhibits the structure of this space where the maximal dimension is attained. Extensions of this result in the direction of linear spaces of matrices with a bounded number of eigenvalues have been studied. In this paper, we answer perhaps the most general problem of the kind as proposed by Loewy and Radwan by solving their conjecture in the positive. We give the dimension of a maximal linear space of $n\times n$ matrices with no more than $k<n$ eigenvalues. We also exhibit the structure of the space where this dimension is attained.


title: Construct a realistic stellar model with polytropic relation

abstract: The aim of this study is to construct a simple stellar model with non-uniform polytropic index. We find that the Emden equation cannot deal with the polytrope gas sphere with non-uniform polytropic index in a real star, and then we construct a realistic stellar model. The key point is that we should solve the two independent equations for density and pressure due to the essence of polytropic relation, but not the Emden equation which combines the hydrostatic balance and polytropic relation. We take the Sun for a computational example to find that this simple model yields quite a good result compared to the MESA code. The advantage of this simple model lies in its much simpler equation of state than that in the standard stellar model.


title: Task-Agnostic Adaptation for Safe Human-Robot Handover

abstract: Human-robot interaction (HRI) is an important component to improve the flexibility of modern production lines. However, in real-world applications, the task (\ie the conditions that the robot needs to operate on, such as the environmental lighting condition, the human subjects to interact with, and the hardware platforms) may vary and it remains challenging to optimally and efficiently configure and adapt the robotic system under these changing tasks. To address the challenge, this paper proposes a task-agnostic adaptable controller that can 1) adapt to different lighting conditions, 2) adapt to individual behaviors and ensure safety when interacting with different humans, and 3) enable easy transfer across robot platforms with different control interfaces. The proposed framework is tested on a human-robot handover task using the FANUC LR Mate 200id/7L robot and the Kinova Gen3 robot. Experiments show that the proposed task-agnostic controller can achieve consistent performance across different tasks.


title: Multi-armed Bandit Learning on a Graph

abstract: The multi-armed bandit(MAB) problem is a simple yet powerful framework that has been extensively studied in the context of decision-making under uncertainty. In many real-world applications, such as robotic applications, selecting an arm corresponds to a physical action that constrains the choices of the next available arms (actions). Motivated by this, we study an extension of MAB called the graph bandit, where an agent travels over a graph to maximize the reward collected from different nodes. The graph defines the agent's freedom in selecting the next available nodes at each step. We assume the graph structure is fully available, but the reward distributions are unknown. Built upon an offline graph-based planning algorithm and the principle of optimism, we design a learning algorithm, G-UCB, that balances long-term exploration-exploitation using the principle of optimism. We show that our proposed algorithm achieves $O(\sqrt{|S|T\log(T)}+D|S|\log T)$ learning regret, where $|S|$ is the number of nodes and $D$ is the diameter of the graph, which matches the theoretical lower bound $\Omega(\sqrt{|S|T})$ up to logarithmic factors. To our knowledge, this result is among the first tight regret bounds in non-episodic, un-discounted learning problems with known deterministic transitions. Numerical experiments confirm that our algorithm outperforms several benchmarks.


title: Numerical Solution of the 3-D Travel Time Tomography Problem

abstract: The first numerical solution of the 3-D travel time tomography problem is presented. The globally convergent convexification numerical method is applied.


title: Distributed Information-based Source Seeking

abstract: In this paper, we design an information-based multi-robot source seeking algorithm where a group of mobile sensors localizes and moves close to a single source using only local range-based measurements. In the algorithm, the mobile sensors perform source identification/localization to estimate the source location; meanwhile, they move to new locations to maximize the Fisher information about the source contained in the sensor measurements. In doing so, they improve the source location estimate and move closer to the source. Our algorithm is superior in convergence speed compared with traditional field climbing algorithms, is flexible in the measurement model and the choice of information metric, and is robust to measurement model errors. Moreover, we provide a fully distributed version of our algorithm, where each sensor decides its own actions and only shares information with its neighbors through a sparse communication network. We perform intensive simulation experiments to test our algorithms on large-scale systems and physical experiments on small ground vehicles with light sensors, demonstrating success in seeking a light source.


title: Bit Allocation using Optimization

abstract: In this paper, we consider the problem of bit allocation in Neural Video Compression (NVC). First, we reveal a fundamental relationship between bit allocation in NVC and Semi-Amortized Variational Inference (SAVI). Specifically, we show that SAVI with GoP (Group-of-Picture)-level likelihood is equivalent to pixel-level bit allocation with precise rate \& quality dependency model. Based on this equivalence, we establish a new paradigm of bit allocation using SAVI. Different from previous bit allocation methods, our approach requires no empirical model and is thus optimal. Moreover, as the original SAVI using gradient ascent only applies to single-level latent, we extend the SAVI to multi-level such as NVC by recursively applying back-propagating through gradient ascent. Finally, we propose a tractable approximation for practical implementation. Our method can be applied to scenarios where performance outweights encoding speed, and serves as an empirical bound on the R-D performance of bit allocation. Experimental results show that current state-of-the-art bit allocation algorithms still have a room of $\approx 0.5$ dB PSNR to improve compared with ours. Code is available at \url{https://github.com/tongdaxu/Bit-Allocation-Using-Optimization}.


title: Fairness and robustness in anti-causal prediction

abstract: Robustness to distribution shift and fairness have independently emerged as two important desiderata required of modern machine learning models. While these two desiderata seem related, the connection between them is often unclear in practice. Here, we discuss these connections through a causal lens, focusing on anti-causal prediction tasks, where the input to a classifier (e.g., an image) is assumed to be generated as a function of the target label and the protected attribute. By taking this perspective, we draw explicit connections between a common fairness criterion - separation - and a common notion of robustness - risk invariance. These connections provide new motivation for applying the separation criterion in anticausal settings, and inform old discussions regarding fairness-performance tradeoffs. In addition, our findings suggest that robustness-motivated approaches can be used to enforce separation, and that they often work better in practice than methods designed to directly enforce separation. Using a medical dataset, we empirically validate our findings on the task of detecting pneumonia from X-rays, in a setting where differences in prevalence across sex groups motivates a fairness mitigation. Our findings highlight the importance of considering causal structure when choosing and enforcing fairness criteria.


title: PolyMPCNet: Towards ReLU-free Neural Architecture Search in Two-party Computation Based Private Inference

abstract: The rapid growth and deployment of deep learning (DL) has witnessed emerging privacy and security concerns. To mitigate these issues, secure multi-party computation (MPC) has been discussed, to enable the privacy-preserving DL computation. In practice, they often come at very high computation and communication overhead, and potentially prohibit their popularity in large scale systems. Two orthogonal research trends have attracted enormous interests in addressing the energy efficiency in secure deep learning, i.e., overhead reduction of MPC comparison protocol, and hardware acceleration. However, they either achieve a low reduction ratio and suffer from high latency due to limited computation and communication saving, or are power-hungry as existing works mainly focus on general computing platforms such as CPUs and GPUs. In this work, as the first attempt, we develop a systematic framework, PolyMPCNet, of joint overhead reduction of MPC comparison protocol and hardware acceleration, by integrating hardware latency of the cryptographic building block into the DNN loss function to achieve high energy efficiency, accuracy, and security guarantee. Instead of heuristically checking the model sensitivity after a DNN is well-trained (through deleting or dropping some non-polynomial operators), our key design principle is to em enforce exactly what is assumed in the DNN design -- training a DNN that is both hardware efficient and secure, while escaping the local minima and saddle points and maintaining high accuracy. More specifically, we propose a straight through polynomial activation initialization method for cryptographic hardware friendly trainable polynomial activation function to replace the expensive 2P-ReLU operator. We develop a cryptographic hardware scheduler and the corresponding performance model for Field Programmable Gate Arrays (FPGA) platform.


title: One-to-Many Semantic Communication Systems: Design, Implementation, Performance Evaluation

abstract: Semantic communication in the 6G era has been deemed a promising communication paradigm to break through the bottleneck of traditional communications. However, its applications for the multi-user scenario, especially the broadcasting case, remain under-explored. To effectively exploit the benefits enabled by semantic communication, in this paper, we propose a one-to-many semantic communication system. Specifically, we propose a deep neural network (DNN) enabled semantic communication system called MR\_DeepSC. By leveraging semantic features for different users, a semantic recognizer based on the pre-trained model, i.e., DistilBERT, is built to distinguish different users. Furthermore, the transfer learning is adopted to speed up the training of new receiver networks. Simulation results demonstrate that the proposed MR\_DeepSC can achieve the best performance in terms of BLEU score than the other benchmarks under different channel conditions, especially in the low signal-to-noise ratio (SNR) regime.


title: A Trio of Giant Planets Orbiting Evolved Star HD 184010

abstract: We report the discovery of a triple-giant-planet system around an evolved star HD 184010 (HR 7421, HIP 96016). This discovery is based on observations from Okayama Planet Search Program, a precise radial velocity survey, undertaken at Okayama Astrophysical Observatory between 2004 April and 2021 June. The star is K0 type and located at beginning of the red-giant branch. It has a mass of $1.35_{-0.21}^{+0.19} M_{\odot}$, a radius of $4.86_{-0.49}^{+0.55} R_{\odot}$, and a surface gravity $\log g$ of $3.18_{-0.07}^{+0.08}$. The planetary system is composed of three giant planets in a compact configuration: The planets have minimum masses of $M_{\rm{b}}\sin i = 0.31_{-0.04}^{+0.03} M_{\rm{J}}$, $M_{\rm{c}}\sin i = 0.30_{-0.05}^{+0.04} M_{\rm{J}}$, and $M_{\rm{d}}\sin i = 0.45_{-0.06}^{+0.04} M_{\rm{J}}$, and orbital periods of $P_{\rm{b}}=286.6_{-0.7}^{+2.4}\ \rm{d}$, $P_{\rm{c}}=484.3_{-3.5}^{+5.5}\ \rm{d}$, and $P_{\rm{d}}=836.4_{-8.4}^{+8.4}\ \rm{d}$, respectively, which are derived from a triple Keplerian orbital fit to three sets of radial velocity data. The ratio of orbital periods are close to $P_{\rm{d}}:P_{\rm{c}}:P_{\rm{b}} \sim 21:12:7$, which means the period ratios between neighboring planets are both lower than $2:1$. The dynamical stability analysis reveals that the planets should have near-circular orbits. The system could remain stable over 1 Gyr, initialized from co-planar orbits, low eccentricities ($e=0.05$), and planet masses equal to the minimum mass derived from the best-fit circular orbit fitting. Besides, the planets are not likely in mean motion resonance. HD 184010 system is unique: it is the first system discovered to have a highly evolved star ($\log g < 3.5$ cgs) and more than two giant planets all with intermediate orbital periods ($10^2\ \rm{d} < P < 10^3\ \rm{d}$).


title: Spatiotemporal-Enhanced Network for Click-Through Rate Prediction in Location-based Services

abstract: In Location-Based Services(LBS), user behavior naturally has a strong dependence on the spatiotemporal information, i.e., in different geographical locations and at different times, user click behavior will change significantly. Appropriate spatiotemporal enhancement modeling of user click behavior and large-scale sparse attributes is key to building an LBS model. Although most of existing methods have been proved to be effective, they are difficult to apply to takeaway scenarios due to insufficient modeling of spatiotemporal information. In this paper, we address this challenge by seeking to explicitly model the timing and locations of interactions and proposing a Spatiotemporal-Enhanced Network, namely StEN. In particular, StEN applies a Spatiotemporal Profile Activation module to capture common spatiotemporal preference through attribute features. A Spatiotemporal Preference Activation is further applied to model the personalized spatiotemporal preference embodied by behaviors in detail. Moreover, a Spatiotemporal-aware Target Attention mechanism is adopted to generate different parameters for target attention at different locations and times, thereby improving the personalized spatiotemporal awareness of the model.Comprehensive experiments are conducted on three large-scale industrial datasets, and the results demonstrate the state-of-the-art performance of our methods. In addition, we have also released an industrial dataset for takeaway industry to make up for the lack of public datasets in this community.


title: Diameter estimates in K\"ahler geometry

abstract: Diameter estimates for K\"ahler metrics are established which require only an entropy bound and no lower bound on the Ricci curvature. The proof builds on recent PDE techniques for $L^\infty$ estimates for the Monge-Amp\`ere equation, with a key improvement allowing degeneracies of the volume form of codimension strictly greater than one. As a consequence, diameter bounds are obtained for long-time solutions of the K\"ahler-Ricci flow and finite-time solutions when the limiting class is big, as well as for special fibrations of Calabi-Yau manifolds.


title: The Axion Quality and Fifth Force

abstract: We investigate what it takes for the axion to address the strong CP problem in the presence of explicit Peccei-Quinn (PQ) symmetry breaking effects besides the strong interaction. In cases where the PQ-Higgsing scalar field directly couples to the Standard Model sector, it is pointed out that existing fifth force experiments can set better constraints on the axion quality over neutron electric dipole moment.


title: Modeling sequential annotations for sequence labeling with crowds

abstract: Crowd sequential annotations can be an efficient and cost-effective way to build large datasets for sequence labeling. Different from tagging independent instances, for crowd sequential annotations the quality of label sequence relies on the expertise level of annotators in capturing internal dependencies for each token in the sequence. In this paper, we propose Modeling sequential annotation for sequence labeling with crowds (SA-SLC). First, a conditional probabilistic model is developed to jointly model sequential data and annotators' expertise, in which categorical distribution is introduced to estimate the reliability of each annotator in capturing local and non-local label dependency for sequential annotation. To accelerate the marginalization of the proposed model, a valid label sequence inference (VLSE) method is proposed to derive the valid ground-truth label sequences from crowd sequential annotations. VLSE derives possible ground-truth labels from the token-wise level and further prunes sub-paths in the forward inference for label sequence decoding. VLSE reduces the number of candidate label sequences and improves the quality of possible ground-truth label sequences. The experimental results on several sequence labeling tasks of Natural Language Processing show the effectiveness of the proposed model.


title: Convergence Rate for The Number of Crossing in a Random Labelled Tree

abstract: We consider the number of crossings in a random labelled tree with vertices in convex position. We give a new proof of the fact that this quantity is asymptotically Gaussian with mean $n^2/6$ and variance $n^3/45$. Furthermore, we give an estimate for the Kolmogorov distance to a Gaussian distribution which implies a convergence rate of order $n^{-1/2}$.


title: CofeNet: Context and Former-Label Enhanced Net for Complicated Quotation Extraction

abstract: Quotation extraction aims to extract quotations from written text. There are three components in a quotation: source refers to the holder of the quotation, cue is the trigger word(s), and content is the main body. Existing solutions for quotation extraction mainly utilize rule-based approaches and sequence labeling models. While rule-based approaches often lead to low recalls, sequence labeling models cannot well handle quotations with complicated structures. In this paper, we propose the Context and Former-Label Enhanced Net (CofeNet) for quotation extraction. CofeNet is able to extract complicated quotations with components of variable lengths and complicated structures. On two public datasets (i.e., PolNeAR and Riqua) and one proprietary dataset (i.e., PoliticsZH), we show that our CofeNet achieves state-of-the-art performance on complicated quotation extraction.


title: Non-Linguistic Supervision for Contrastive Learning of Sentence Embeddings

abstract: Semantic representation learning for sentences is an important and well-studied problem in NLP. The current trend for this task involves training a Transformer-based sentence encoder through a contrastive objective with text, i.e., clustering sentences with semantically similar meanings and scattering others. In this work, we find the performance of Transformer models as sentence encoders can be improved by training with multi-modal multi-task losses, using unpaired examples from another modality (e.g., sentences and unrelated image/audio data). In particular, besides learning by the contrastive loss on text, our model clusters examples from a non-linguistic domain (e.g., visual/audio) with a similar contrastive loss at the same time. The reliance of our framework on unpaired non-linguistic data makes it language-agnostic, enabling it to be widely applicable beyond English NLP. Experiments on 7 semantic textual similarity benchmarks reveal that models trained with the additional non-linguistic (images/audio) contrastive objective lead to higher quality sentence embeddings. This indicates that Transformer models are able to generalize better by doing a similar task (i.e., clustering) with unpaired examples from different modalities in a multi-task fashion.


title: BP-Im2col: Implicit Im2col Supporting AI Backpropagation on Systolic Arrays

abstract: State-of-the-art systolic array-based accelerators adopt the traditional im2col algorithm to accelerate the inference of convolutional layers. However, traditional im2col cannot efficiently support AI backpropagation. Backpropagation in convolutional layers involves performing transposed convolution and dilated convolution, which usually introduces plenty of zero-spaces into the feature map or kernel. The zero-space data reorganization interfere with the continuity of training and incur additional and non-negligible overhead in terms of off- and on-chip storage, access and performance. Since countermeasures for backpropagation are rarely proposed, we propose BP-im2col, a novel im2col algorithm for AI backpropagation, and implement it in RTL on a TPU-like accelerator. Experiments on TPU-like accelerator indicate that BP-im2col reduces the backpropagation runtime by 34.9% on average, and reduces the bandwidth of off-chip memory and on-chip buffers by at least 22.7% and 70.6% respectively, over a baseline accelerator adopting the traditional im2col. It further reduces the additional storage overhead in the backpropagation process by at least 74.78%.


title: Electronic Manipulation of Magnon Topology by Chirality Injection from Boundaries

abstract: Magnon bands are known to exhibit nontrivial topology in ordered magnets under suitable conditions, engendering topological phases referred to as magnonic topological insulators. Conventional methods to drive a magnonic topological phase transition are bulk magnetic or thermal operations such as changing the direction of an external magnetic field or varying the temperature of the system, which are undesired in device applications of magnon topology. In this work, we lift the limitation of the magnon topology control on the bulk non-electronic manipulation by proposing a scheme to manipulate magnonic topological phases by electronic boundary operations of spin chirality injection. More specifically, we consider a ferromagnetic honeycomb lattice and show that a finite spin chirality injected from the boundary of the system via the spin Hall effects introduces a tunable sublattice-symmetry-breaking mass term to the bosonic counterpart of the Haldane model for the Chern insulators and thereby allows us to electronically manipulate the bulk topology of magnons from the boundary. The "shoulder" in the thermal Hall conductivity profile is proposed as an experimental probe of the chirality-induced topological phase transition. The scheme for the boundary manipulation of the magnon topology is shown to work for a honeycomb antiferromagnet as well. We envisage that the interfacial chirality injection may offer a nonintrusive electronic means to tune the static and the dynamical bulk properties of general magnetic systems.


title: Stabilizing polar phases in binary metal oxides by hole doping

abstract: The recent observation of ferroelectricity in the metastable phases of binary metal oxides, such as HfO2, ZrO2, Hf0.5Zr0.5O2, and Ga2O3, has garnered a lot of attention. These metastable ferroelectric phases are typically stabilized through epitaxial growth, alloying, or defect engineering. Here, we propose hole doping plays a key role in stabilizing the polar phases in binary metal oxides. Using first-principles density-functional-theory calculations, we show that holes in these oxides mainly occupy one of the two oxygen sublattices. This hole localization, which is more pronounced in the polar phase than in the nonpolar phase, lowers the electrostatic energy of the system, and makes the polar phase more stable at sufficiently large concentrations. We demonstrate that this electrostatic mechanism is responsible for stabilization of the ferroelectric phase of HfO2 aliovalently doped with elements that introduce holes to the system, such as La and N. Finally, we show that the spontaneous polarization in HfO2 is robust to hole doping, and a large polarization persists even under a high concentration of holes.


title: Quasi-Perron-Frobenius property of a class of saddle point matrices

abstract: The saddle point matrices arising from many scientific computing fields have block structure $ W= \left(\begin{array}{cc} A & B\\ B^T & C \end{array} \right) $, where the sub-block $A$ is symmetric and positive definite, and $C$ is symmetric and semi-nonnegative definite. In this article we report a unobtrusive but potentially theoretically valuable conclusion that under some conditions, especially when $C$ is a zero matrix, the spectral radius of $W$ must be the maximum eigenvalue of $W$. This characterization approximates to the famous Perron-Frobenius property, and is called quasi-Perron-Frobenius property in this paper. In numerical tests we observe the saddle point matrices derived from some mixed finite element methods for computing the stationary Stokes equation. The numerical results confirm the theoretical analysis, and also indicate that the assumed condition to make the saddle point matrices possess quasi-Perron-Frobenius property is only sufficient rather than necessary.


title: Updating velocities in heterogeneous comprehensive learning particle swarm optimization with low-discrepancy sequences

abstract: Heterogeneous comprehensive learning particle swarm optimization (HCLPSO) is a type of evolutionary algorithm with enhanced exploration and exploitation capabilities. The low-discrepancy sequence (LDS) is more uniform in covering the search space than random sequences. In this paper, making use of the good uniformity of LDS to improve HCLPSO is researched. Numerical experiments are performed to show that it is impossible to effectively improve the search ability of HCLPSO by only using LDS to generate the initial population. However, if we properly choose some random sequences from the HCLPSO velocities updating formula and replace them with the deterministic LDS, we can obtain a more efficient algorithm. Compared with the original HCLPSO under the same accuracy requirement, the HCLPSO updating the velocities with the deterministic LDS can significantly reduce the iterations required for finding the optimal solution, without decreasing the success rate.


title: Smoothness of components of the Emerton-Gee stack for $\text{GL}_2$

abstract: Let $K$ be a finite unramified extension of $\mathbb{Q}_p$, where $p>2$. [CEGS22b] and [EG23] construct a moduli stack of two dimensional mod $p$ representations of the absolute Galois group of $K$. We show that most irreducible components of this stack (including several non-generic components) are isomorphic to quotients of smooth affine schemes. We also use this quotient presentation to compute global sections on these components.


title: Study of the Global Alignment for the DAMPE Detector

abstract: The Dark Matter Particle Explorer (DAMPE) is designed as a high energy particle detector for probing cosmic-rays and $\gamma-$rays in a wide energy range. The trajectory of the incident particle is mainly measured by the Silicon-Tungsten tracKer-converter (STK) sub-detector, which heavily depends on the precise internal alignment correction as well as the accuracy of the global coordinate system. In this work, we carried out a global alignment method to validate the potential displacement of these sub-detectors, and particularly demonstrated that the track reconstruction of STK can well satisfy the required objectives by means of comparing flight data and simulations.


title: Locally Constrained Representations in Reinforcement Learning

abstract: The success of Reinforcement Learning (RL) heavily relies on the ability to learn robust representations from the observations of the environment. In most cases, the representations learned purely by the reinforcement learning loss can differ vastly across states depending on how the value functions change. However, the representations learned need not be very specific to the task at hand. Relying only on the RL objective may yield representations that vary greatly across successive time steps. In addition, since the RL loss has a changing target, the representations learned would depend on how good the current values/policies are. Thus, disentangling the representations from the main task would allow them to focus not only on the task-specific features but also the environment dynamics. To this end, we propose locally constrained representations, where an auxiliary loss forces the state representations to be predictable by the representations of the neighboring states. This encourages the representations to be driven not only by the value/policy learning but also by an additional loss that constrains the representations from over-fitting to the value loss. We evaluate the proposed method on several known benchmarks and observe strong performance. Especially in continuous control tasks, our experiments show a significant performance improvement.


title: Cluster categories from Fukaya categories

abstract: We show that the derived wrapped Fukaya category $D^\pi\mathcal{W}(X_{Q}^{d+1})$, the derived compact Fukaya category $D^\pi\mathcal{F}(X_{Q}^{d+1})$ and the cocore disks $L_{Q}$ of the plumbing space $X_{Q}^{d+1}$ form a Calabi--Yau triple. As a consequence, the quotient category $D^\pi\mathcal{W}(X_{Q}^{d+1})/D^\pi\mathcal{F}(X_{Q}^{d+1})$ becomes the cluster category associated to $Q$. One of its properties is a Calabi--Yau structure. Also it is known that this quotient category is quasi-equivalent to the Rabinowitz Fukaya category due to the work of Ganatra--Gao--Venkatesh. We compute the morphism space of $L_{Q}$ in $D^\pi\mathcal{W}(X_{Q}^{d+1})/D^\pi\mathcal{F}(X_{Q}^{d+1})$ using the Calabi--Yau structure, which is isomorphic to the Rabinowitz Floer cohomology of $L_{Q}$.


title: Cryogenic in-memory computing using tunable chiral edge states

abstract: Energy-efficient hardware implementation of machine learning algorithms for quantum computation requires nonvolatile and electrically-programmable devices, memristors, working at cryogenic temperatures that enable in-memory computing. Magnetic topological insulators are promising candidates due to their tunable magnetic order by electrical currents with high energy efficiency. Here, we utilize magnetic topological insulators as memristors (termed magnetic topological memristors) and introduce a chiral edge state-based cryogenic in-memory computing scheme. On the one hand, the chiral edge state can be tuned from left-handed to right-handed chirality through spin-momentum locked topological surface current injection. On the other hand, the chiral edge state exhibits giant and bipolar anomalous Hall resistance, which facilitates the electrical readout. The memristive switching and reading of the chiral edge state exhibit high energy efficiency, high stability, and low stochasticity. We achieve high accuracy in a proof-of-concept classification task using four magnetic topological memristors. Furthermore, our algorithm-level and circuit-level simulations of large-scale neural networks based on magnetic topological memristors demonstrate a software-level accuracy and lower energy consumption for image recognition and quantum state preparation compared with existing memristor technologies. Our results may inspire further topological quantum physics-based novel computing schemes.


title: Vega-MT: The JD Explore Academy Translation System for WMT22

abstract: We describe the JD Explore Academy's submission of the WMT 2022 shared general translation task. We participated in all high-resource tracks and one medium-resource track, including Chinese-English, German-English, Czech-English, Russian-English, and Japanese-English. We push the limit of our previous work -- bidirectional training for translation by scaling up two main factors, i.e. language pairs and model sizes, namely the \textbf{Vega-MT} system. As for language pairs, we scale the "bidirectional" up to the "multidirectional" settings, covering all participating languages, to exploit the common knowledge across languages, and transfer them to the downstream bilingual tasks. As for model sizes, we scale the Transformer-Big up to the extremely large model that owns nearly 4.7 Billion parameters, to fully enhance the model capacity for our Vega-MT. Also, we adopt the data augmentation strategies, e.g. cycle translation for monolingual data, and bidirectional self-training for bilingual and monolingual data, to comprehensively exploit the bilingual and monolingual data. To adapt our Vega-MT to the general domain test set, generalization tuning is designed. Based on the official automatic scores of constrained systems, in terms of the sacreBLEU shown in Figure-1, we got the 1st place on {Zh-En (33.5), En-Zh (49.7), De-En (33.7), En-De (37.8), Cs-En (54.9), En-Cs (41.4) and En-Ru (32.7)}, 2nd place on {Ru-En (45.1) and Ja-En (25.6)}, and 3rd place on {En-Ja(41.5)}, respectively; W.R.T the COMET, we got the 1st place on {Zh-En (45.1), En-Zh (61.7), De-En (58.0), En-De (63.2), Cs-En (74.7), Ru-En (64.9), En-Ru (69.6) and En-Ja (65.1)}, 2nd place on {En-Cs (95.3) and Ja-En (40.6)}, respectively.


title: Exactly solvable piecewise analytic double well potential $V_{D}(x)=min[(x+d)^2,(x-d)^2]$ and its dual single well potential $V_{S}(x)=max[(x+d)^2,(x-d)^2]$

abstract: By putting two harmonic oscillator potential $x^2$ side by side with a separation $2d$, two exactly solvable piecewise analytic quantum systems with a free parameter $d>0$ are obtained. Due to the mirror symmetry, their eigenvalues $E$ for the even and odd parity sectors are determined exactly as the zeros of certain combinations of the confluent hypergeometric function ${}_1F_1$ of $d$ and $E$, which are common to $V_{D}$ and $V_{S}$ but in two different branches. The eigenfunctions are the piecewise square integrable combinations of ${}_1F_1$, the so called $U$ functions. By comparing the eigenvalues and eigenfunctions for various values of the separation $d$, vivid pictures unfold showing the tunneling effects between the two wells.


title: A Joint Imitation-Reinforcement Learning Framework for Reduced Baseline Regret

abstract: In various control task domains, existing controllers provide a baseline level of performance that -- though possibly suboptimal -- should be maintained. Reinforcement learning (RL) algorithms that rely on extensive exploration of the state and action space can be used to optimize a control policy. However, fully exploratory RL algorithms may decrease performance below a baseline level during training. In this paper, we address the issue of online optimization of a control policy while minimizing regret w.r.t a baseline policy performance. We present a joint imitation-reinforcement learning framework, denoted JIRL. The learning process in JIRL assumes the availability of a baseline policy and is designed with two objectives in mind \textbf{(a)} leveraging the baseline's online demonstrations to minimize the regret w.r.t the baseline policy during training, and \textbf{(b)} eventually surpassing the baseline performance. JIRL addresses these objectives by initially learning to imitate the baseline policy and gradually shifting control from the baseline to an RL agent. Experimental results show that JIRL effectively accomplishes the aforementioned objectives in several, continuous action-space domains. The results demonstrate that JIRL is comparable to a state-of-the-art algorithm in its final performance while incurring significantly lower baseline regret during training in all of the presented domains. Moreover, the results show a reduction factor of up to $21$ in baseline regret over a state-of-the-art baseline regret minimization approach.


title: Decentralized Deadlock-free Trajectory Planning for Quadrotor Swarm in Obstacle-rich Environments -- Extended version

abstract: This paper presents a decentralized multi-agent trajectory planning (MATP) algorithm that guarantees to generate a safe, deadlock-free trajectory in an obstacle-rich environment under a limited communication range. The proposed algorithm utilizes a grid-based multi-agent path planning (MAPP) algorithm for deadlock resolution, and we introduce the subgoal optimization method to make the agent converge to the waypoint generated from the MAPP without deadlock. In addition, the proposed algorithm ensures the feasibility of the optimization problem and collision avoidance by adopting a linear safe corridor (LSC). We verify that the proposed algorithm does not cause a deadlock in both random forests and dense mazes regardless of communication range, and it outperforms our previous work in flight time and distance. We validate the proposed algorithm through a hardware demonstration with ten quadrotors.


title: Attributed Network Embedding Model for Exposing COVID-19 Spread Trajectory Archetypes

abstract: The spread of COVID-19 revealed that transmission risk patterns are not homogenous across different cities and communities, and various heterogeneous features can influence the spread trajectories. Hence, for predictive pandemic monitoring, it is essential to explore latent heterogeneous features in cities and communities that distinguish their specific pandemic spread trajectories. To this end, this study creates a network embedding model capturing cross-county visitation networks, as well as heterogeneous features to uncover clusters of counties in the United States based on their pandemic spread transmission trajectories. We collected and computed location intelligence features from 2,787 counties from March 3 to June 29, 2020 (initial wave). Second, we constructed a human visitation network, which incorporated county features as node attributes, and visits between counties as network edges. Our attributed network embeddings approach integrates both typological characteristics of the cross-county visitation network, as well as heterogeneous features. We conducted clustering analysis on the attributed network embeddings to reveal four archetypes of spread risk trajectories corresponding to four clusters of counties. Subsequently, we identified four features as important features underlying the distinctive transmission risk patterns among the archetypes. The attributed network embedding approach and the findings identify and explain the non-homogenous pandemic risk trajectories across counties for predictive pandemic monitoring. The study also contributes to data-driven and deep learning-based approaches for pandemic analytics to complement the standard epidemiological models for policy analysis in pandemics.


title: Data-Centric AI Paradigm Based on Application-Driven Fine-Grained Dataset Design

abstract: Deep learning has a wide range of applications in industrial scenario, but reducing false alarm (FA) remains a major difficulty. Optimizing network architecture or network parameters is used to tackle this challenge in academic circles, while ignoring the essential characteristics of data in application scenarios, which often results in increased FA in new scenarios. In this paper, we propose a novel paradigm for fine-grained design of datasets, driven by industrial applications. We flexibly select positive and negative sample sets according to the essential features of the data and application requirements, and add the remaining samples to the training set as uncertainty classes. We collect more than 10,000 mask-wearing recognition samples covering various application scenarios as our experimental data. Compared with the traditional data design methods, our method achieves better results and effectively reduces FA. We make all contributions available to the research community for broader use. The contributions will be available at https://github.com/huh30/OpenDatasets.


title: A Few-shot Approach to Resume Information Extraction via Prompts

abstract: Prompt learning's fine-tune performance on text classification tasks has attracted the NLP community. This paper applies it to resume information extraction, improving existing methods for this task. We created manual templates and verbalizers tailored to resume texts and compared the performance of Masked Language Model (MLM) and Seq2Seq PLMs. Also, we enhanced the verbalizer design for Knowledgeable Prompt-tuning, contributing to prompt template design across NLP tasks. We present the Manual Knowledgeable Verbalizer (MKV), a rule for constructing verbalizers for specific applications. Our tests show that MKV rules yield more effective, robust templates and verbalizers than existing methods. Our MKV approach resolved sample imbalance, surpassing current automatic prompt methods. This study underscores the value of tailored prompt learning for resume extraction, stressing the importance of custom-designed templates and verbalizers.


title: MPC with Sensor-Based Online Cost Adaptation

abstract: Model predictive control is a powerful tool to generate complex motions for robots. However, it often requires solving non-convex problems online to produce rich behaviors, which is computationally expensive and not always practical in real time. Additionally, direct integration of high dimensional sensor data (e.g. RGB-D images) in the feedback loop is challenging with current state-space methods. This paper aims to address both issues. It introduces a model predictive control scheme, where a neural network constantly updates the cost function of a quadratic program based on sensory inputs, aiming to minimize a general non-convex task loss without solving a non-convex problem online. By updating the cost, the robot is able to adapt to changes in the environment directly from sensor measurement without requiring a new cost design. Furthermore, since the quadratic program can be solved efficiently with hard constraints, a safe deployment on the robot is ensured. Experiments with a wide variety of reaching tasks on an industrial robot manipulator demonstrate that our method can efficiently solve complex non-convex problems with high-dimensional visual sensory inputs, while still being robust to external disturbances.


title: SleePyCo: Automatic Sleep Scoring with Feature Pyramid and Contrastive Learning

abstract: Automatic sleep scoring is essential for the diagnosis and treatment of sleep disorders and enables longitudinal sleep tracking in home environments. Conventionally, learning-based automatic sleep scoring on single-channel electroencephalogram (EEG) is actively studied because obtaining multi-channel signals during sleep is difficult. However, learning representation from raw EEG signals is challenging owing to the following issues: 1) sleep-related EEG patterns occur on different temporal and frequency scales and 2) sleep stages share similar EEG patterns. To address these issues, we propose a deep learning framework named SleePyCo that incorporates 1) a feature pyramid and 2) supervised contrastive learning for automatic sleep scoring. For the feature pyramid, we propose a backbone network named SleePyCo-backbone to consider multiple feature sequences on different temporal and frequency scales. Supervised contrastive learning allows the network to extract class discriminative features by minimizing the distance between intra-class features and simultaneously maximizing that between inter-class features. Comparative analyses on four public datasets demonstrate that SleePyCo consistently outperforms existing frameworks based on single-channel EEG. Extensive ablation experiments show that SleePyCo exhibits enhanced overall performance, with significant improvements in discrimination between the N1 and rapid eye movement (REM) stages.


title: Probabilistic Dalek -- Emulator framework with probabilistic prediction for supernova tomography

abstract: Supernova spectral time series can be used to reconstruct a spatially resolved explosion model known as supernova tomography. In addition to an observed spectral time series, a supernova tomography requires a radiative transfer model to perform the inverse problem with uncertainty quantification for a reconstruction. The smallest parametrizations of supernova tomography models are roughly a dozen parameters with a realistic one requiring more than 100. Realistic radiative transfer models require tens of CPU minutes for a single evaluation making the problem computationally intractable with traditional means requiring millions of MCMC samples for such a problem. A new method for accelerating simulations known as surrogate models or emulators using machine learning techniques offers a solution for such problems and a way to understand progenitors/explosions from spectral time series. There exist emulators for the TARDIS supernova radiative transfer code but they only perform well on simplistic low-dimensional models (roughly a dozen parameters) with a small number of applications for knowledge gain in the supernova field. In this work, we present a new emulator for the radiative transfer code TARDIS that not only outperforms existing emulators but also provides uncertainties in its prediction. It offers the foundation for a future active-learning-based machinery that will be able to emulate very high dimensional spaces of hundreds of parameters crucial for unraveling urgent questions in supernovae and related fields.


title: On the construction of a local curvilinear coordinate system conforming to the native curved geometry of the plasma focus sheath

abstract: This paper describes in detail the construction of a local right-handed, orthogonal curvilinear coordinate system whose axes are along the local tangent, the local azimuth and the local normal of an analytically defined 3D surface of rotation, whose shape mimics the shape of a plasma focus current sheath. Expressions for various differential operators are derived in a tutorial format for the benefit of young researchers and non-specialists. Physical problems expressed in this coordinate system would benefit from the natural symmetry properties of the plasma focus sheath. For example, the normal component of current density is zero and the velocity has mainly the normal component. This paper is meant to serve as a readily available reference in the hope that it would be found useful.


title: An all-photonic, dynamic device for flattening the spectrum of a laser frequency comb for precise calibration of radial velocity measurements

abstract: Laser frequency combs are fast becoming critical to reaching the highest radial velocity precisions. One shortcoming is the highly variable brightness of the comb lines across the spectrum (up to 4-5 orders of magnitude). This can result in some lines saturating while others are at low signal and lost in the noise. Losing lines to either of these effects reduces the precision and hence effectiveness of the comb. In addition, the brightness of the comb lines can vary with time which could drive comb lines with initially reasonable SNR's into the two regimes described above. To mitigate these two effects, laser frequency combs use optical flattener's. Flattener's are typically bulk optic setups that disperse the comb light with a grating, and then use a spatial light modulator to control the amplitude across the spectrum before recombining the light into another single mode fiber and sending it to the spectrograph. These setups can be large (small bench top), expensive (several hundred thousand dollars) and have limited stability. To address these issues, we have developed an all-photonic spectrum flattener on a chip. The device is constructed from optical waveguides on a SiN chip. The light from the laser frequency comb's output optical fiber can be directly connected to the chip, where the light is first dispersed using an arrayed waveguide grating. To control the brightness of each channel, the light is passed through a Mach-Zehnder interferometer before being recombined with a second arrayed waveguide grating. Thermo-optic phase modulators are used in each channel before recombination to path length match the channels as needed. Here we present the results from our first generation prototype. The device operates from 1400-1800 nm (covering the H band), with 20, 20 nm wide channels.


title: Estimation of Shade Losses in Unlabeled PV Data

abstract: We provide a methodology for estimating the losses due to shade in power generation data sets produced by real-world photovoltaic (PV) systems. We focus this work on estimating shade loss from data that are unlabeled, i.e. power measurements with time stamps but no other information such as site configuration or meteorological data. This approach enables, for the first time, the analysis of data generated by small scale, distributed PV systems, which do not have the data quality or richness of large, utility-scale PV systems or research-grade installations. This work is an application of the newly published signal decomposition (SD) framework, which provides an extensible approach for estimating hidden components in time-series data.


title: Estimation of Soiling Losses in Unlabeled PV Data

abstract: We provide a methodology for estimating the losses due to soiling for photovoltaic (PV) systems. We focus this work on estimating the losses from historical power production data that are unlabeled, i.e. power measurements with time stamps, but no other information such as site configuration or meteorological data. We present a validation of this approach on a small fleet of typical rooftop PV systems. The proposed method differs from prior work in that the construction of a performance index is not required to analyze soiling loss. This approach is appropriate for analyzing the soiling losses in field production data from fleets of distributed rooftop systems and is highly automatic, allowing for scaling to large fleets of heterogeneous PV systems.


title: Programmable time-multiplexed squeezed light source

abstract: One of the leading approaches to large-scale quantum information processing (QIP) is the continuous-variable (CV) scheme based on time multiplexing (TM). As a fundamental building block for this approach, quantum light sources to sequentially produce time-multiplexed squeezed-light pulses are required; however, conventional CV TM experiments have used fixed light sources that can only output the squeezed pulses with the same squeezing levels and phases. We here demonstrate a programmable time-multiplexed squeezed light source that can generate sequential squeezed pulses with various squeezing levels and phases at a time interval below 100 ns. The generation pattern can be arbitrarily chosen by software without changing its hardware configuration. This is enabled by using a waveguide optical parametric amplifier and modulating its continuous pump light. Our light source will implement various large-scale CV QIP tasks.


title: Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction

abstract: Combining persistent memory (PM) with RDMA is a promising approach to performant replicated distributed key-value stores (KVSs). However, existing replication approaches do not work well when applied to PM KVSs: 1) Using RPC induces software queueing and execution at backups, increasing request latency; 2) Using one-sided RDMA WRITE causes many streams of small PM writes, leading to severe device-level write amplification (DLWA) on PM. In this paper, we propose Rowan, an efficient RDMA abstraction to handle replication writes in PM KVSs; it aggregates concurrent remote writes from different servers, and lands these writes to PM in a sequential (thus low DLWA) and one-sided (thus low latency) manner. We realize Rowan with off-the-shelf RDMA NICs. Further, we build Rowan-KV, a log-structured PM KVS using Rowan for replication. Evaluation shows that under write-intensive workloads, compared with PM KVSs using RPC and RDMA WRITE for replication, Rowan-KV boosts throughput by 1.22X and 1.39X as well as lowers median PUT latency by 1.77X and 2.11X, respectively, while largely eliminating DLWA.


title: Effect of Substrate Surface on the Wide Bandgap SnO2 Thin Films Grown by Spin Coating

abstract: Tin (IV) oxide (SnO2) sols have been synthesized from SnCl2.2H2O precursor solution by applying two different processing conditions. The prepared sols were then deposited on UV-Ozone treated quartz and soda lime glass (SLG) substrates by spin coating. The as-synthesized film was soft-baked at about 100 deg. C. for 10 min. This process was repeated five times to get a compact film, followed by air-annealing at 250 deg. C. for 2 hours. The pristine and annealed films were characterized by UV-Vis-NIR spectroscopy, Grazing Incident X-Ray Diffraction (GIXRD), and Field Emission Scanning Electron Microscope (FESEM). The effect of the substrate surface was investigated by measuring the contact angles with De-Ionized (DI) water. UV-Ozone treatment of substrate provides a cleaner surface to grow a homogeneous film. The electrical resistivity of annealed thin films was carried out by a four-point-collinear probe employing the current reversal technique and found in the range of approx. 2x10^3 to 3x10^3 Ohm-cm. Film thickness was found in the range of approx. 137-285 nm, measured by a stylus profilometer. UV-VIs-NIR Transmission data revealed that all the thin film samples showed maximum (82-89) % transmission in the visible range. The optical bandgap of the thin films was estimated to be approx. 3.75-4.00 eV and approx. 3.78-4.35 eV for the films grown on SLG and quartz substrates, respectively.


title: Numerical Simulation of Hot Accretion Flow around Bondi Radius

abstract: Previous numerical simulations have shown that strong winds can be produced in the hot accretion flows around black holes. Most of those studies focus only on the region close to the central black hole, therefore it is unclear whether the wind production stops at large radii around Bondi radius. Bu et al. 2016 studied the hot accretion flow around the Bondi radius in the presence of nuclear star gravity. They find that when the nuclear stars gravity is important/comparable to the black hole gravity, winds can not be produced around the Bondi radius. However, for some galaxies, the nuclear stars gravity around Bondi radius may not be strong. In this case, whether winds can be produced around Bondi radius is not clear. We study the hot accretion flow around Bondi radius with and without thermal conduction by performing hydrodynamical simulations. We use the virtual particles trajectory method to study whether winds exist based on the simulation data. Our numerical results show that in the absence of nuclear stars gravity, winds can be produced around Bondi radius, which causes the mass inflow rate decreasing inwards. We confirm the results of Yuan et al. which indicates this is due to the mass loss of gas via wind rather convectional motions.


title: Geometrical Trinity of Unimodular Gravity

abstract: We construct a Weyl transverse diffeomorphism invariant theory of teleparallel gravity by employing the Weyl compensator formalism. The low-energy dynamics has a single spin two gravition without a scalar degree of freedom. By construction, it is equivalent to unimodular gravity (as well as Einstein's general relativity with an adjustable cosmological constant) at the non-linear level. Combined with our earlier construction of a Weyl transverse diffeomorphism invariant theory of symmetric teleparallel gravity, unimodular gravity is represented in three alternative ways.


title: Collective-model description of shape coexistence and intruder states in cadmium isotopes based on a relativistic energy density functional

abstract: Low-energy structure of even-even $^{108-116}$Cd isotopes is analyzed using a collective model that is based on the nuclear density functional theory. Spectroscopic properties are computed by solving the triaxial quadrupole collective Hamiltonian, with parameters determined by the constrained self-consistent mean-field calculations within the relativistic Hartree-Bogoliubov method employing a universal energy density functional and a pairing force. The collective Hamiltonian reproduces the observed quadrupole phonon states of vibrational character, which are based on the moderately deformed equilibrium minimum in the mean-field potential energy surface. In addition, the calculation yields a low-lying excited $0^+$ band and a $\gamma$-vibrational band that are associated with a deformed local minimum close in energy to the ground state, consistently with the empirical interpretation of these bands as intruder bands. Observed energy spectra, $B(E2)$, and $\rho^2(E0)$ values are, in general, reproduced reasonably well.


title: Rethinking Dimensionality Reduction in Grid-based 3D Object Detection

abstract: Bird's eye view (BEV) is widely adopted by most of the current point cloud detectors due to the applicability of well-explored 2D detection techniques. However, existing methods obtain BEV features by simply collapsing voxel or point features along the height dimension, which causes the heavy loss of 3D spatial information. To alleviate the information loss, we propose a novel point cloud detection network based on a Multi-level feature dimensionality reduction strategy, called MDRNet. In MDRNet, the Spatial-aware Dimensionality Reduction (SDR) is designed to dynamically focus on the valuable parts of the object during voxel-to-BEV feature transformation. Furthermore, the Multi-level Spatial Residuals (MSR) is proposed to fuse the multi-level spatial information in the BEV feature maps. Extensive experiments on nuScenes show that the proposed method outperforms the state-of-the-art methods. The code will be available upon publication.


title: Accurate quantification of lattice temperature dynamics from ultrafast electron diffraction of single-crystal films using dynamical scattering simulations

abstract: In ultrafast electron diffraction (UED) experiments, accurate retrieval of time-resolved structural parameters, such as atomic coordinates and thermal displacement parameters, requires an accurate scattering model. Unfortunately, kinematical models are often inaccurate even for relativistic electron probes, especially for dense, oriented single crystals where strong channeling and multiple scattering effects are present. This article introduces and demonstrates dynamical scattering models tailored for quantitative analysis of UED experiments performed on single-crystal films. As a case study, we examine ultrafast laser heating of single-crystal gold films. Comparison of kinematical and dynamical models reveals the strong effects of dynamical scattering within nm-scale films and their dependence on sample topography and probe kinetic energy. Applying to UED experiments on an 11 nm thick film using 750 keV electron probe pulses, the dynamical models provide a tenfold improvement over a comparable kinematical model in matching the measured UED patterns. Also, the retrieved lattice temperature rise is in very good agreement with predictions based on previously measured optical constants of gold, whereas fitting the Debye-Waller factor retrieves values that are more than three times lower. Altogether, these results show the importance of dynamical scattering theory for quantitative analysis of UED and demonstrate models that can be practically applied to single-crystal materials and heterostructures.


title: Edge and corner states in 2D non-Abelian topological insulators from an eigenvector frame rotation perspective

abstract: We propose the concept of 2D non-Abelian topological insulator which can explain the energy distributions of the edge states and corner states in systems with parity-time symmetry. From the viewpoint of non-Abelian band topology, we establish the constraints on the 2D Zak phase and polarization. We demonstrate that the corner states in some 2D systems can be explained as the boundary mode of the 1D edge states arising from the multi-band non-Abelian topology of the system. We also propose the use of off-diagonal Berry phase as complementary information to assist the prediction of edge states in non-Abelian topological insulators. Our work provides an alternative approach to study edge and corner modes and this idea can be extended to 3D systems.


title: (Fe$_{1-x}$Ni$_{x}$)$_{5}$GeTe$_{2}$: an antiferromagnetic triangular Ising lattice with itinerant magnetism

abstract: Based on first-principles calculations, an antiferromagnetic Ising model on a triangular lattice has been proposed to interpret the order of Fe$(1)$-Ge pairs and the formation of $\sqrt{3}$ $\times $ $\sqrt{3}$ superstructures in the Fe$_5$GeTe$_2$ (F5GT), as well as to predict the existence of similar superstructures in Ni doped F5GT (Ni-F5GT). Our study suggests that F5GT systems may be considered as a structural realization of the well known antiferromagnetic Ising model on a triangular lattice. Based on the superstructures, a Heisenberg-Landau Hamiltonian, taking into account both Heisenberg interactions and longitudinal spin fluctuations, is implemented to describe magnetism in both F5GT and Ni-F5GT. We unveil that frustrated magnetic interactions associated with Fe(1), tuned by a tiny Ni doping ($x \leq 0.2 $), is responsible for the experimentally observed enhancement of the $T_c$ to 478 K in Ni-F5GT. Our calculations show that at low doping levels, monolayer Ni-F5GT has almost the same magnetic phase diagram as that of the bulk, which indicates a pervasive beyond room temperature ferromagnetism in this Ni doped two-dimensional system.


title: Terahertz spin dynamics in rare-earth orthoferrites

abstract: Recent interest in developing fast spintronic devices and laser-controllable magnetic solids has sparked tremendous experimental and theoretical efforts to understand and manipulate ultrafast dynamics in materials. Studies of spin dynamics in the terahertz (THz) frequency range are particularly important for elucidating microscopic pathways toward novel device functionalities. Here, we review THz phenomena related to spin dynamics in rare-earth orthoferrites, a class of materials promising for antiferromagnetic spintronics. We expand this topic into a description of four key elements. (1) We start by describing THz spectroscopy of spin excitations for probing magnetic phase transitions in thermal equilibrium. While acoustic magnons are useful indicators of spin reorientation transitions, electromagnons that arise from dynamic magnetoelectric couplings serve as a signature of inversion-symmetry-breaking phases at low temperatures. (2) We then review the strong laser driving scenario, where the system is excited far from equilibrium and thereby subject to modifications to the free energy landscape. Microscopic pathways for ultrafast laser manipulation of magnetic order are discussed. (3) Furthermore, we review a variety of protocols to manipulate coherent THz magnons in time and space, which are useful capabilities for antiferromagnetic spintronic applications. (4) Finally, new insights on the connection between dynamic magnetic coupling in condensed matter and the Dicke superradiant phase transition in quantum optics are provided. By presenting a review on an array of THz spin phenomena occurring in a single class of materials, we hope to trigger interdisciplinary efforts that actively seek connections between subfields of spintronics, which will facilitate the invention of new protocols of active spin control and quantum phase engineering.


title: Wellposedness and exponential stability for Boussinesq systems on real hyperbolic Manifolds

abstract: We investigate the global existence and exponential decay of mild solutions for the Boussinesq systems in $L^p$-phase spaces on the framework of real hyperbolic manifold $\mathbb{H}^d(\mathbb{R})$, where $d \geqslant 2$ and $1<p\leq d$. We consider a couple of Ebin-Marsden's Laplace and Laplace-Beltrami operators associated with the corresponding linear system which provides a vectorial matrix semigoup. Primarily, we show the existence and the uniqueness of the bounded mild solution for the linear system by using dispersive and smoothing estimates of the vectorial matrix semigroup. Next, using the fixed point arguments, we can pass from the linear system to the semilinear system to establish the existence of the bounded mild solutions. Due to Gronwall's inequality, we will clarify the exponential stability of such solutions. Finally, we give an application of stability to the existence of periodic mild solutions for the Boussinesq systems.


title: BuFF: Burst Feature Finder for Light-Constrained 3D Reconstruction

abstract: Robots operating at night using conventional vision cameras face significant challenges in reconstruction due to noise-limited images. Previous work has demonstrated that burst-imaging techniques can be used to partially overcome this issue. In this paper, we develop a novel feature detector that operates directly on image bursts that enhances vision-based reconstruction under extremely low-light conditions. Our approach finds keypoints with well-defined scale and apparent motion within each burst by jointly searching in a multi-scale and multi-motion space. Because we describe these features at a stage where the images have higher signal-to-noise ratio, the detected features are more accurate than the state-of-the-art on conventional noisy images and burst-merged images and exhibit high precision, recall, and matching performance. We show improved feature performance and camera pose estimates and demonstrate improved structure-from-motion performance using our feature detector in challenging light-constrained scenes. Our feature finder provides a significant step towards robots operating in low-light scenarios and applications including night-time operations.


title: A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

abstract: Many universities have courses and projects revolving around compiler or interpreter implementation as part of their degree programmes in computer science. In such teaching activities, tool support can be highly beneficial. While there are already several tools for assisting with development of the front end of compilers, tool support tapers off towards the back end, or requires more background experience than is expected of undergraduate students. Structural operational semantics is a useful and mathematically simple formalism for specifying the behaviour of programs and a specification lends itself well to implementation; in particular big-step or natural semantics is often a useful and simple approach. However, many students struggle with learning the notation and often come up with ill-defined and meaningless attempts at defining a structural operational semantics. A survey shows that students working on programming language projects feel that tool support is lacking and would be useful. Many of these problems encountered when developing a semantic definition are similar to problems encountered in programming, in particular ones that are essentially the result of type errors. We present a pedagogical metalanguage based on natural semantics, and its implementation, as an attempt to marry two notions: a syntax similar to textbook notation for natural semantics on the one hand, and automatic verification of some correctness properties on the other by means of a strong type discipline. The metalanguage and the tool provide the facilities for writing and executing specifications as a form of programming. The user can check that the specification is not meaningless as well as execute programs, if the specification makes sense.