title: Determination of Fermi surface by charge density correlations

abstract: The Fermi surface topology in the two-dimensional Hubbard model is particularly relevant for the high-temperature superconductors, whereas its theoretical research encounters with the difficulty of the analytical continuation problem. To this end, we proposed the concept of the momentum-dependent compressibility, defined as the variation of the momentum distribution function with respect to the chemical potential. The surface determined by the maximum of the momentum-dependent compressibility is nearly identical to the Fermi surface in the weakly and intermediate coupling regions according to our numerical results. In the correlated region, this surface also exhibits pocket and arc features, just like the Fermi surface in high-temperature superconductors. Therefore, for theoretical studies, this surface can be used as an alternative to determine the underlying Fermi surface. Considering that the momentum-dependent compressibility is closely related to the charge density correlations, our work also shows a connection between the Fermi surface topology and the charge density fluctuations.


title: Learning Active Camera for Multi-Object Navigation

abstract: Getting robots to navigate to multiple objects autonomously is essential yet difficult in robot applications. One of the key challenges is how to explore environments efficiently with camera sensors only. Existing navigation methods mainly focus on fixed cameras and few attempts have been made to navigate with active cameras. As a result, the agent may take a very long time to perceive the environment due to limited camera scope. In contrast, humans typically gain a larger field of view by looking around for a better perception of the environment. How to make robots perceive the environment as efficiently as humans is a fundamental problem in robotics. In this paper, we consider navigating to multiple objects more efficiently with active cameras. Specifically, we cast moving camera to a Markov Decision Process and reformulate the active camera problem as a reinforcement learning problem. However, we have to address two new challenges: 1) how to learn a good camera policy in complex environments and 2) how to coordinate it with the navigation policy. To address these, we carefully design a reward function to encourage the agent to explore more areas by moving camera actively. Moreover, we exploit human experience to infer a rule-based camera action to guide the learning process. Last, to better coordinate two kinds of policies, the camera policy takes navigation actions into account when making camera moving decisions. Experimental results show our camera policy consistently improves the performance of multi-object navigation over four baselines on two datasets.


title: Weakly-Supervised Multi-Granularity Map Learning for Vision-and-Language Navigation

abstract: We address a practical yet challenging problem of training robot agents to navigate in an environment following a path described by some language instructions. The instructions often contain descriptions of objects in the environment. To achieve accurate and efficient navigation, it is critical to build a map that accurately represents both spatial location and the semantic information of the environment objects. However, enabling a robot to build a map that well represents the environment is extremely challenging as the environment often involves diverse objects with various attributes. In this paper, we propose a multi-granularity map, which contains both object fine-grained details (e.g., color, texture) and semantic classes, to represent objects more comprehensively. Moreover, we propose a weakly-supervised auxiliary task, which requires the agent to localize instruction-relevant objects on the map. Through this task, the agent not only learns to localize the instruction-relevant objects for navigation but also is encouraged to learn a better map representation that reveals object information. We then feed the learned map and instruction to a waypoint predictor to determine the next navigation goal. Experimental results show our method outperforms the state-of-the-art by 4.0% and 4.6% w.r.t. success rate both in seen and unseen environments, respectively on VLN-CE dataset. Code is available at https://github.com/PeihaoChen/WS-MGMap.


title: Physical properties of the layered $f$-electron van der Waals magnet Ce$_2$Te$_5$

abstract: We report a detailed study of the magnetic, transport, and thermodynamic properties of Ce$_2$Te$_5$ single crystals, a layered $f$-electron van der Waals magnet. Four consecutive transitions at $\sim$ 5.2, 2.1, 0.9, and 0.4 K were observed in the $ac$-plane electrical resistivity $\rho$(T), which were further confirmed in specific heat $C_\textrm{p}$(T) measurements. Analysis of the magnetic susceptibility $\chi$(T), the magnetic-field variation of $\rho$(T), and the increase of the first transition temperature ($T_\textrm{c} \sim$ 5.2 K) with applied magnetic field indicates ferromagnetic order, while the decrease of the other transitions with field suggests different states with dominant antiferromagnetic interactions below $T_2 \sim$ 2.1 K, $T_3 \sim$ 0.9 K, and $T_4$ = 0.4 K. Critical behavior analysis around $T_\textrm{c}$ that gives critical exponents $\beta = 0.31(2)$, $\gamma = 0.99(2)$, $\delta = 4.46(1)$, $T_\textrm{c} = 5.32(1)$ K indicates that Ce$_2$Te$_5$ shows a three-dimensional magnetic critical behavior. Moreover, the Hall resistivity $\rho_{\textrm{xy}}$ indicates that Ce$_2$Te$_5$ is a multi-band system with a relatively high electron mobility $\sim 2900$ cm$^2$ V$^{-1}$ s$^{-1}$ near $T_\textrm{c}$, providing further opportunities for future device applications.


title: Hierarchical Diffusion Models for Singing Voice Neural Vocoder

abstract: Recent progress in deep generative models has improved the quality of neural vocoders in speech domain. However, generating a high-quality singing voice remains challenging due to a wider variety of musical expressions in pitch, loudness, and pronunciations. In this work, we propose a hierarchical diffusion model for singing voice neural vocoders. The proposed method consists of multiple diffusion models operating in different sampling rates; the model at the lowest sampling rate focuses on generating accurate low-frequency components such as pitch, and other models progressively generate the waveform at higher sampling rates on the basis of the data at the lower sampling rate and acoustic features. Experimental results show that the proposed method produces high-quality singing voices for multiple singers, outperforming state-of-the-art neural vocoders with a similar range of computational costs.


title: Boosting Performance of a Baseline Visual Place Recognition Technique by Predicting the Maximally Complementary Technique

abstract: One recent promising approach to the Visual Place Recognition (VPR) problem has been to fuse the place recognition estimates of multiple complementary VPR techniques using methods such as SRAL and multi-process fusion. These approaches come with a substantial practical limitation: they require all potential VPR methods to be brute-force run before they are selectively fused. The obvious solution to this limitation is to predict the viable subset of methods ahead of time, but this is challenging because it requires a predictive signal within the imagery itself that is indicative of high performance methods. Here we propose an alternative approach that instead starts with a known single base VPR technique, and learns to predict the most complementary additional VPR technique to fuse with it, that results in the largest improvement in performance. The key innovation here is to use a dimensionally reduced difference vector between the query image and the top-retrieved reference image using this baseline technique as the predictive signal of the most complementary additional technique, both during training and inference. We demonstrate that our approach can train a single network to select performant, complementary technique pairs across datasets which span multiple modes of transportation (train, car, walking) as well as to generalise to unseen datasets, outperforming multiple baseline strategies for manually selecting the best technique pairs based on the same training data.


title: One stabilization is not enough for contractible 4-manifolds

abstract: We construct an example of a cork that remains exotic after taking a connected sum with $S^2 \times S^2$. Combined with a work of Akbulut-Ruberman, this implies the existence of an exotic pair of contractible 4-manifolds which remains absolutely exotic after taking a connected sum with $S^2 \times S^2$.


title: Twisted Real quasi-elliptic cohomology

abstract: In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the relation of the theory to the Tate curve.


title: Enhanced Superconductivity and Electron Correlations in Intercalated ZrTe$_3$

abstract: Charge density waves (CDWs) with superconductivity, competing Fermi surface instabilities and collective orders, have captured much interest in two-dimensional van der Waals (vdW) materials. Understanding of CDW suppression mechanism, its connection to emerging superconducting state and electronic correlations provides opportunities for engineering the electronic properties of vdW heterostructures and thin film devices. Using combination of the thermal transport, X-ray photoemission spectroscopy, Raman measurements, and first-principle calculations, we observe an increase in electronic correlations of the conducting states as CDW is suppressed in ZrTe$_3$ with 5\% Cu and Ni intercalation in the vdW gap. As superconductivity emerges, intercalation brings decoupling of quasi-one-dimensional conduction electrons with phonons as a consequence of intercalation-induced lattice expansion but also a drastic increase in Zr$^{2+}$ at the expense of Zr$^{4+}$ metal atoms. These observation demonstrate the potential of atomic intercalates in vdW gap for ground state tuning but also illustrate the crucial role of Zr metal valence in formation of collective electronic orders.


title: Continuous-in-time Limit for Bayesian Bandits

abstract: This paper revisits the bandit problem in the Bayesian setting. The Bayesian approach formulates the bandit problem as an optimization problem, and the goal is to find the optimal policy which minimizes the Bayesian regret. One of the main challenges facing the Bayesian approach is that computation of the optimal policy is often intractable, especially when the length of the problem horizon or the number of arms is large. In this paper, we first show that under a suitable rescaling, the Bayesian bandit problem converges toward a continuous Hamilton-Jacobi-Bellman (HJB) equation. The optimal policy for the limiting HJB equation can be explicitly obtained for several common bandit problems, and we give numerical methods to solve the HJB equation when an explicit solution is not available. Based on these results, we propose an approximate Bayes-optimal policy for solving Bayesian bandit problems with large horizons. Our method has the added benefit that its computational cost does not increase as the horizon increases.


title: Decentralized Coverage Path Planning with Reinforcement Learning and Dual Guidance

abstract: Planning coverage path for multiple robots in a decentralized way enhances robustness to coverage tasks handling uncertain malfunctions. To achieve high efficiency in a distributed manner for each single robot, a comprehensive understanding of both the complicated environments and cooperative agents intent is crucial. Unfortunately, existing works commonly consider only part of these factors, resulting in imbalanced subareas or unnecessary overlaps. To tackle this issue, we introduce a Decentralized reinforcement learning framework with dual guidance to train each agent to solve the decentralized multiple coverage path planning problem straightly through the environment states. As distributed robots require others intentions to perform better coverage efficiency, we utilize two guidance methods, artificial potential fields and heuristic guidance, to include and integrate others intentions into observations for each robot. With our constructed framework, results have shown our agents successfully learn to determine their own subareas while achieving full coverage, balanced subareas and low overlap rates. We then implement spanning tree cover within those subareas to construct actual routes for each robot and complete given coverage tasks. Our performance is also compared with the state of the art decentralized method showing at most 10 percent lower overlap rates while performing high efficiency in similar environments.


title: CR embeddings of nilpotent Lie groups

abstract: We show that a connected, simply connected nilpotent Lie group with an integrable left-invariant complex structure on a generating and suitably complemented subbundle of the tangent bundle admits a CR embedding in complex space as the edge of a wedge in a complex domain defined by polynomials.


title: General formulae for the periapsis shift of a quasi-circular orbit in static spherically symmetric spacetimes and the active gravitational mass density

abstract: We study the periapsis shift of a quasi-circular orbit in general static spherically symmetric spacetimes. We derive two formulae in full order with respect to the gravitational field, one in terms of the gravitational mass $m$ and the Einstein tensor and the other in terms of the orbital angular velocity and the Einstein tensor. These formulae reproduce the well-known ones for the forward shift in the Schwarzschild spacetime. In a general case, the shift deviates from that in the vacuum spacetime due to a particular combination of the components of the Einstein tensor at the radius $r$ of the orbit. The formulae give a backward shift due to the extended-mass effect in Newtonian gravity. In general relativity, in the weak-field and diffuse regime, the active gravitational mass density, $\rho_{A}=(\epsilon+p_{r}+2p_{t})/c^{2}$, plays an important role, where $\epsilon$, $p_{r}$, and $p_{t}$ are the energy density, the radial stress, and the tangential stress of the matter field, respectively. We show that the shift is backward if $\rho_{A}$ is beyond a critical value $\rho_{c}\simeq 2.8\times 10^{-15} \mbox{g}/\mbox{cm}^{3} (m/M_{\odot})^{2}(r/\mbox{au})^{-4}$, while a forward shift greater than that in the vacuum spacetime instead implies $\rho_{A}<0$, i.e., the violation of the strong energy condition, and thereby provides evidence for dark energy. We obtain new observational constraints on $\rho_{A}$ in the Solar System and the Galactic Centre.

categories: gr-qc astro-ph.GA astro-ph.HE astro-ph.SR hep-th


title: On the stability of pulled back parabolic vector bundles

abstract: Take an irreducible smooth projective curve $X$ defined over an algebraically closed field of characteristic zero, and fix finitely many distinct point $D\, =\, \{x_1,\, \cdots,\, x_n\}$ of it; for each point $x\, \in\, D$ fix a positive integer $N_x$. Take a nonconstant map $f\, :\, Y\, \longrightarrow \, X$ from an irreducible smooth projective curve. We construct a natural subbundle $\mathcal{F}\, \subset\, f_*{\mathcal O}_Y$ using $(D,\, \{N_x\}_{x\in D})$. Let $E_*$ be a stable parabolic vector bundle whose parabolic weights at each $x\, \in\, D$ are integral multiples of $\frac{1}{N_x}$. We prove that the pullback $f^*E_*$ is also parabolic stable, if ${\rm rank}(\mathcal{F})\,=\, 1$.


title: Counterfactual Neural Temporal Point Process for Estimating Causal Influence of Misinformation on Social Media

abstract: Recent years have witnessed the rise of misinformation campaigns that spread specific narratives on social media to manipulate public opinions on different areas, such as politics and healthcare. Consequently, an effective and efficient automatic methodology to estimate the influence of the misinformation on user beliefs and activities is needed. However, existing works on misinformation impact estimation either rely on small-scale psychological experiments or can only discover the correlation between user behaviour and misinformation. To address these issues, in this paper, we build up a causal framework that model the causal effect of misinformation from the perspective of temporal point process. To adapt the large-scale data, we design an efficient yet precise way to estimate the Individual Treatment Effect(ITE) via neural temporal point process and gaussian mixture models. Extensive experiments on synthetic dataset verify the effectiveness and efficiency of our model. We further apply our model on a real-world dataset of social media posts and engagements about COVID-19 vaccines. The experimental results indicate that our model recognized identifiable causal effect of misinformation that hurts people's subjective emotions toward the vaccines.


title: Can Language Representation Models Think in Bets?

abstract: In recent years, transformer-based language representation models (LRMs) have achieved state-of-the-art results on difficult natural language understanding problems, such as question answering and text summarization. As these models are integrated into real-world applications, evaluating their ability to make rational decisions is an important research agenda, with practical ramifications. This article investigates LRMs' rational decision-making ability through a carefully designed set of decision-making benchmarks and experiments. Inspired by classic work in cognitive science, we model the decision-making problem as a bet. We then investigate an LRM's ability to choose outcomes that have optimal, or at minimum, positive expected gain. Through a robust body of experiments on four established LRMs, we show that a model is only able to `think in bets' if it is first fine-tuned on bet questions with an identical structure. Modifying the bet question's structure, while still retaining its fundamental characteristics, decreases an LRM's performance by more than 25\%, on average, although absolute performance remains well above random. LRMs are also found to be more rational when selecting outcomes with non-negative expected gain, rather than optimal or strictly positive expected gain. Our results suggest that LRMs could potentially be applied to tasks that rely on cognitive decision-making skills, but that more research is necessary before they can robustly make rational decisions.


title: On the Associated Graded ring of Semigroup Algebras

abstract: In this paper, we give the necessary and sufficient conditions for the Cohen-Macaulayness of the associated graded ring of a simplicial affine semigroups using Gr\"{o}bner basis. We generalize the concept of homogeneous numerical semigroup for the simplicial affine semigroup and show that the Betti numbers of the corresponding semigroup ring matches with the Betti numbers of the associated graded ring. We also define the nice extension for simplicial affine semigroups, motivated by the notion of a nice extension of the numerical semigroups.


title: Reliability-Based Robust Design Optimization Method for Engineering Systems with Uncertainty Quantification

abstract: Robust optimization is a method for optimization under uncertainties in engineering systems and designs for applications ranging from aeronautics to nuclear. In a robust design process, parameter variability (or uncertainty) is incorporated into the engineering systems' optimization process to assure the systems' quality and reliability. This chapter focuses on a robust optimization approach for developing robust and reliable advanced systems and explains the framework for using uncertainty quantification and optimization techniques. For the uncertainty analysis, a polynomial chaos-based approach is combined with the optimization algorithms MOSA (Multi-Objective Simulated Annealing), and the process is discussed with a simplified test function. For the optimization process, gradient-free genetic algorithms are considered as the optimizer scans the whole design space, and the optimal values are not always dependent on the initial values.


title: Spatiotemporal Classification with limited labels using Constrained Clustering for large datasets

abstract: Creating separable representations via representation learning and clustering is critical in analyzing large unstructured datasets with only a few labels. Separable representations can lead to supervised models with better classification capabilities and additionally aid in generating new labeled samples. Most unsupervised and semisupervised methods to analyze large datasets do not leverage the existing small amounts of labels to get better representations. In this paper, we propose a spatiotemporal clustering paradigm that uses spatial and temporal features combined with a constrained loss to produce separable representations. We show the working of this method on the newly published dataset ReaLSAT, a dataset of surface water dynamics for over 680,000 lakes across the world, making it an essential dataset in terms of ecology and sustainability. Using this large unlabelled dataset, we first show how a spatiotemporal representation is better compared to just spatial or temporal representation. We then show how we can learn even better representation using a constrained loss with few labels. We conclude by showing how our method, using few labels, can pick out new labeled samples from the unlabeled data, which can be used to augment supervised methods leading to better classification.


title: Self-Adaptive Named Entity Recognition by Retrieving Unstructured Knowledge

abstract: Although named entity recognition (NER) helps us to extract domain-specific entities from text (e.g., artists in the music domain), it is costly to create a large amount of training data or a structured knowledge base to perform accurate NER in the target domain. Here, we propose self-adaptive NER, which retrieves external knowledge from unstructured text to learn the usages of entities that have not been learned well. To retrieve useful knowledge for NER, we design an effective two-stage model that retrieves unstructured knowledge using uncertain entities as queries. Our model predicts the entities in the input and then finds those of which the prediction is not confident. Then, it retrieves knowledge by using these uncertain entities as queries and concatenates the retrieved text to the original input to revise the prediction. Experiments on CrossNER datasets demonstrated that our model outperforms strong baselines by 2.35 points in F1 metric.


title: Generic expansions and the group configuration theorem

abstract: We exhibit a connection between geometric stability theory and the classification of unstable structures at the level of simplicity and the $\mathrm{NSOP}_{1}$-$\mathrm{SOP}_{3}$ gap. Particularly, we introduce generic expansions $T^{R}$ of a theory $T$ associated with a definable relation $R$ of $T$, which can consist of adding a new unary predicate or a new equivalence relation. When $T$ is weakly minimal and $R$ is a ternary fiber algebraic relation, we show that $T^{R}$ is a well-defined $\mathrm{NSOP}_{4}$ theory, and use one of the main results of geometric stability theory, the \textit{group configuration theorem} of Hrushovski, to give an exact correspondence between the geometry of $R$ and the classification-theoretic complexity of $T^{R}$. Namely, $T^{R}$ is $\mathrm{SOP}_{3}$, and $\mathrm{TP}_{2}$ exactly when $R$ is geometrically equivalent to the graph of a type-definable group operation; otherwise, $T^{R}$ is either simple (in the predicate version of $T^{R}$) or $\mathrm{NSOP}_{1}$ (in the equivalence relation version.) This gives us new examples of strictly $\mathrm{NSOP}_{1}$ theories.


title: Does violation of Cosmic No-hair Conjecture guarantee the existence of Wormhole?

abstract: The present work investigates the interrelation between the validity (or violation) of the cosmic no-hair conjecture and the existence (or non-existence) of wormholes, both in Einstein's Gravity and in modified gravity theories. It is found that the existence of wormholes implies a violation of the cosmic no-hair conjecture, and the validity of the cosmic no-hair conjecture implies the non-existence of wormholes but not the reverse way both in Einstein's Gravity and in modified gravity theories. We will also re-visit the gravitational entropy predictions of the wormhole and show how they are connected.


title: Selective observation of enantiomeric chiral phonons in $\alpha$-quartz

abstract: We report anomalous circularly polarized Raman spectra of phonons in right- and left-handed quartzes. The phonon branches splitting from the E-mode at a finite wavenumber were found to be chiral with mutually opposite angular momenta. Our analysis reveals the Raman selection rules for chiral phonons. We also find that the conservation of angular momentum should be satisfied between two photons and one chiral phonon in the Raman process. Furthermore, we experimentally proved that the helicity of phonons with a certain frequency and wavevector should be opposite in the other enantiomer.


title: Conant-independence and generalized free amalgamation

abstract: We initiate the study of a generalization of Kim-independence, Conant-independence, based on the "strong Kim-dividing" of Kaplan, Ramsey and Shelah. We introduce an axiom on stationary independence relations essentially generalizing the "freedom" axiom in some of the free amalgamation theories of Conant, and show that this axiom provides the correct setting for carrying out arguments of Chernikov, Kaplan and Ramsey on $\mathrm{NSOP}_{1}$ theories relative to a stationary independence relation. Generalizing Conant's results on free amalgamation to the limits of our knowledge of the $\mathrm{NSOP}_{n}$ hierarchy, we show using methods from Conant as well as our previous work that any theory where the equivalent conditions of this local variant of $\mathrm{NSOP}_{1}$ holds is either $\mathrm{NSOP}_{1}$ or $\mathrm{SOP}_{3}$ and is either simple or $\mathrm{TP}_{2}$, and observe that these theories give an interesting class of examples of theories where Conant-independence is symmetric, including all of Conant's examples, the small cycle-free random graphs of Shelah and the (finite-language) $\omega$-categorical Hrushovski constructions of Evans and Wong. We then answer a question of Conant, showing that the generic functional structures of Conant and Kruckman are examples of non-modular free amalgamation theories, and show that any free amalgamation theory is $\mathrm{NSOP}_{1}$ or $\mathrm{SOP}_{3}$, while an $\mathrm{NSOP}_{1}$ free amalgamation theory is simple if and only if it is modular. Finally, we show that every theory where Conant-independence is symmetric is $\mathrm{NSOP}_{4}$. Therefore, symmetry for Conant-independence gives the next known neostability-theoretic dividing line on the $\mathrm{NSOP}_{n}$ hierarchy beyond $\mathrm{NSOP}_{1}$. We explain the connection to some established open questions.


title: Real-space Observation of Unidirectional Charge Density Wave and Complex Structural Modulation in the Pnictide Superconductor Ba$_{1-x}$Sr$_x$Ni$_2$As$_2$

abstract: Here we use low-temperature and variable-temperature scanning tunneling microscopy to study the pnictide superconductor, Ba$_{1-x}$Sr$_x$Ni$_2$As$_2$. In the low-temperature phase (triclinic phase) of BaNi$_2$As$_2$, we observe the unidirectional charge density wave (CDW) with $Q$ = 1/3 on both the Ba and NiAs surfaces. On the NiAs surface of the triclinic BaNi$_2$As$_2$, there are structural-modulation-induced chain-like superstructures with distinct periodicities. In the high-temperature phase (tetragonal phase) of BaNi$_2$As$_2$, the NiAs surface appears as the periodic 1 by 2 superstructure. Interestingly, in the triclinic phase of Ba$_{0.5}$Sr$_{0.5}$Ni$_2$As$_2$, the unidirectional CDW is suppressed on both the Ba/Sr and NiAs surfaces, and the Sr substitution stabilizes the periodic 1 by 2 superstructure on the NiAs surface, which enhance the superconductivity in Ba$_{0.5}$Sr$_{0.5}$Ni$_2$As$_2$. Our results provide important microscopic insights for the interplay among the unidirectional CDW, structural modulation, and superconductivity in this class of pnictide superconductors.


title: Axisymmetric column collapses of bi-frictional granular mixtures

abstract: The behavior of granular column collapses is associated with the dynamics of geohazards, such as debris flows, landslides, and pyroclastic flows, yet its underlying physics is still not well understood. In this paper, we explore granular column collapses using the spheropolyhedral discrete element method (DEM), where the system contains two types of particles with different frictional properties. We impose three different mixing ratios and multiple different particle frictional coefficients, which lead to different run-out distances and deposition heights. Based on our previous work and a simple mixture theory, we propose a new effective initial aspect ratio for the bi-frictional granular mixture, which helps unify the description of the relative run-out distances. We analyze the kinematics of bi-frictional granular column collapses and find that deviations from classical power-law scaling in both the dimensionless terminal time and the dimensionless time when the system reaches the maximum kinetic energy may result from differences in the initial solid fraction and initial structures. To clarify the influence of initial states, we further decrease the initial solid fraction of granular column collapses, and propose a trial function to quantitatively describe its influence. Due to the utilization of a simple mixture theory of contact occurrence probability, this study can be associated with the friction-dependent rheology of granular systems and friction-induced granular segregations, and further generalized into applications with multiple species of particles in various natural and engineering mixtures.


title: Cut paths and their remainder structure, with applications

abstract: In a strongly connected graph $G = (V,E)$, a cut arc (also called strong bridge) is an arc $e \in E$ whose removal makes the graph no longer strongly connected. Equivalently, there exist $u,v \in V$, such that all $u$-$v$ walks contain $e$. Cut arcs are a fundamental graph-theoretic notion, with countless applications, especially in reachability problems. In this paper we initiate the study of cut paths, as a generalisation of cut arcs, which we naturally define as those paths $P$ for which there exist $u,v \in V$, such that all $u$-$v$ walks contain $P$ as subwalk. We first prove various properties of cut paths and define their remainder structures, which we use to present a simple $O(m)$-time verification algorithm for a cut path ($|V| = n$, $|E| = m$). Secondly, we apply cut paths and their remainder structures to improve several reachability problems from bioinformatics. A walk is called safe if it is a subwalk of every node-covering closed walk of a strongly connected graph. Multi-safety is defined analogously, by considering node-covering sets of closed walks instead. We show that cut paths provide simple $O(m)$-time algorithms verifying if a walk is safe or multi-safe. For multi-safety, we present the first linear time algorithm, while for safety, we present a simple algorithm where the state-of-the-art employed complex data structures. Finally we show that the simultaneous computation of remainder structures of all subwalks of a cut path can be performed in linear time. These properties yield an $O(mn)$ algorithm outputting all maximal multi-safe walks, improving over the state-of-the-art algorithm running in time $O(m^2+n^3)$. The results of this paper only scratch the surface in the study of cut paths, and we believe a rich structure of a graph can be revealed, considering the perspective of a path, instead of just an arc.


title: Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices

abstract: Although organizations are continuously making concerted efforts to harden their systems against network attacks by air-gapping critical systems, attackers continuously adapt and uncover covert channels to exfiltrate data from air-gapped systems. For instance, attackers have demonstrated the feasibility of exfiltrating data from a computer sitting in a Faraday cage by exfiltrating data using magnetic fields. Although a large body of work has recently emerged highlighting various physical covert channels, these attacks have mostly targeted open-loop cyber-physical systems where the covert channels exist on physical channels that are not being monitored by the victim. Network architectures such as fog computing push sensitive data to cyber-physical edge devices--whose physical side channels are typically monitored via state estimation. In this paper, we formalize covert data exfiltration that uses existing cyber-physical models and infrastructure of individual devices to exfiltrate data in a stealthy manner, i.e., we propose a method to circumvent cyber-physical state estimation intrusion detection techniques while exfiltrating sensitive data from the network. We propose a generalized model for encoding and decoding sensitive data within cyber-physical control loops. We evaluate our approach on a distributed IoT network that includes computation nodes residing on physical drones as well as on an industrial control system for the control of a robotic arm. Unlike prior works, we formalize the constraints of covert cyber-physical channel exfiltration in the presence of a defender performing state estimation.


title: Provable Subspace Identification Under Post-Nonlinear Mixtures

abstract: Unsupervised mixture learning (UML) aims at identifying linearly or nonlinearly mixed latent components in a blind manner. UML is known to be challenging: Even learning linear mixtures requires highly nontrivial analytical tools, e.g., independent component analysis or nonnegative matrix factorization. In this work, the post-nonlinear (PNL) mixture model -- where unknown element-wise nonlinear functions are imposed onto a linear mixture -- is revisited. The PNL model is widely employed in different fields ranging from brain signal classification, speech separation, remote sensing, to causal discovery. To identify and remove the unknown nonlinear functions, existing works often assume different properties on the latent components (e.g., statistical independence or probability-simplex structures). This work shows that under a carefully designed UML criterion, the existence of a nontrivial null space associated with the underlying mixing system suffices to guarantee identification/removal of the unknown nonlinearity. Compared to prior works, our finding largely relaxes the conditions of attaining PNL identifiability, and thus may benefit applications where no strong structural information on the latent components is known. A finite-sample analysis is offered to characterize the performance of the proposed approach under realistic settings. To implement the proposed learning criterion, a block coordinate descent algorithm is proposed. A series of numerical experiments corroborate our theoretical claims.


title: GazeBaseVR, a large-scale, longitudinal, binocular eye-tracking dataset collected in virtual reality

abstract: We present GazeBaseVR, a large-scale, longitudinal, binocular eye-tracking (ET) dataset collected at 250 Hz with an ET-enabled virtual-reality (VR) headset. GazeBaseVR comprises 5,020 binocular recordings from a diverse population of 407 college-aged participants. Participants were recorded up to six times each over a 26-month period, each time performing a series of five different ET tasks: (1) a vergence task, (2) a horizontal smooth pursuit task, (3) a video-viewing task, (4) a self-paced reading task, and (5) a random oblique saccade task. Many of these participants have also been recorded for two previously published datasets with different ET devices, and some participants were recorded before and after COVID-19 infection and recovery. GazeBaseVR is suitable for a wide range of research on ET data in VR devices, especially eye movement biometrics due to its large population and longitudinal nature. In addition to ET data, additional participant details are provided to enable further research on topics such as fairness.


title: Time-Space Tradeoffs for Element Distinctness and Set Intersection via Pseudorandomness

abstract: In the Element Distinctness problem, one is given an array $a_1,\dots, a_n$ of integers from $[poly(n)]$ and is tasked to decide if $\{a_i\}$ are mutually distinct. Beame, Clifford and Machmouchi (FOCS 2013) gave a low-space algorithm for this problem running in space $S(n)$ and time $T(n)$ where $T(n) \le \widetilde{O}(n^{3/2}/S(n)^{1/2})$, assuming a random oracle (i.e., random access to polynomially many random bits). A recent breakthrough by Chen, Jin, Williams and Wu (SODA 2022) showed how to remove the random oracle assumption in the regime $S(n) = polylog(n)$ and $T(n) = \widetilde{O}(n^{3/2})$. They designed the first truly $polylog(n)$-space, $\widetilde{O}(n^{3/2})$-time algorithm by constructing a small family of hash functions $\mathcal{H} \subseteq \{h | h:[poly(n)]\to [n]\}$ with a certain pseudorandom property. In this paper, we give a significantly simplified analysis of the pseudorandom hash family by Chen et al. Our analysis clearly identifies the key pseudorandom property required to fool the BCM algorithm, allowing us to explore the full potential of this construction. As our main result, we show a time-space tradeoff for Element Distinctness without random oracle. Namely, for every $S(n),T(n)$ such that $T\approx \widetilde{O}(n^{3/2}/S(n)^{1/2})$, our algorithm can solve the problem in space $S(n)$ and time $T(n)$. Our algorithm also works for a related problem Set Intersection, for which this tradeoff is tight due to a matching lower bound by Dinur (Eurocrypt 2020). As two additional contributions, we show a more general pseudorandom property of the hash family, and slightly improve the seed length to sample the pseudorandom hash function.


title: AutoMoE: Heterogeneous Mixture-of-Experts with Adaptive Computation for Efficient Neural Machine Translation

abstract: Mixture-of-Expert (MoE) models have obtained state-of-the-art performance in Neural Machine Translation (NMT) tasks. Existing works in MoE mostly consider a homogeneous design where the same number of experts of the same size are placed uniformly throughout the network. Furthermore, existing MoE works do not consider computational constraints (e.g., FLOPs, latency) to guide their design. To this end, we develop AutoMoE -- a framework for designing heterogeneous MoE's under computational constraints. AutoMoE leverages Neural Architecture Search (NAS) to obtain efficient sparse MoE sub-transformers with 4x inference speedup (CPU) and FLOPs reduction over manually designed Transformers, with parity in BLEU score over dense Transformer and within 1 BLEU point of MoE SwitchTransformer, on aggregate over benchmark datasets for NMT. Heterogeneous search space with dense and sparsely activated Transformer modules (e.g., how many experts? where to place them? what should be their sizes?) allows for adaptive compute -- where different amounts of computations are used for different tokens in the input. Adaptivity comes naturally from routing decisions which send tokens to experts of different sizes. AutoMoE code, data, and trained models are available at https://aka.ms/AutoMoE.


title: A Reinforcement Learning Approach to Estimating Long-term Treatment Effects

abstract: Randomized experiments (a.k.a. A/B tests) are a powerful tool for estimating treatment effects, to inform decisions making in business, healthcare and other applications. In many problems, the treatment has a lasting effect that evolves over time. A limitation with randomized experiments is that they do not easily extend to measure long-term effects, since running long experiments is time-consuming and expensive. In this paper, we take a reinforcement learning (RL) approach that estimates the average reward in a Markov process. Motivated by real-world scenarios where the observed state transition is nonstationary, we develop a new algorithm for a class of nonstationary problems, and demonstrate promising results in two synthetic datasets and one online store dataset.


title: A study on Darboux polynomials and their significance in determining other integrability quantifiers: A case study in third-order nonlinear ordinary differential equations

abstract: In this paper, we present a method of deriving extended Prelle-Singer method's quantifiers from Darboux Polynomials for third-order nonlinear ordinary differential equations. By knowing the Darboux polynomials and its cofactors, we extract the extended Prelle-Singer method's quantities without evaluating the Prelle-Singer method's determining equations. We consider three different cases of known Darboux polynomials. In the first case, we prove the integrability of the given third-order nonlinear equation by utilizing the Prelle-Singer method's quantifiers from the two known Darboux polynomials. If we know only one Darboux polynomial, then the integrability of the given equation will be dealt as case $2$. Likewise, case $3$ discuss the integrability of the given system where we have two Darboux polynomials and one set of Prelle-Singer method quantity. The established interconnection not only helps in deriving the integrable quantifiers without solving the underlying determining equations. It also provides a way to prove the complete integrability and helps us in deriving the general solution of the given equation. We demonstrate the utility of this procedure with three different examples.


title: The User-Aware Arabic Gender Rewriter

abstract: We introduce the User-Aware Arabic Gender Rewriter, a user-centric web-based system for Arabic gender rewriting in contexts involving two users. The system takes either Arabic or English sentences as input, and provides users with the ability to specify their desired first and/or second person target genders. The system outputs gender rewritten alternatives of the Arabic input sentences (or their Arabic translations in case of English input) to match the target users' gender preferences.


title: Superpixel Perception Graph Neural Network for Intelligent Defect Detection

abstract: Aero-engine is the core component of aircraft and other spacecraft. The high-speed rotating blades provide power by sucking in air and fully combusting, and various defects will inevitably occur, threatening the operation safety of aero-engine. Therefore, regular inspections are essential for such a complex system. However, existing traditional technology which is borescope inspection is labor-intensive, time-consuming, and experience-dependent. To endow this technology with intelligence, a novel superpixel perception graph neural network (SPGNN) is proposed by utilizing a multi-stage graph convolutional network (MSGCN) for feature extraction and superpixel perception region proposal network (SPRPN) for region proposal. First, to capture complex and irregular textures, the images are transformed into a series of patches, to obtain their graph representations. Then, MSGCN composed of several GCN blocks extracts graph structure features and performs graph information processing at graph level. Last but not least, the SPRPN is proposed to generate perceptual bounding boxes by fusing graph representation features and superpixel perception features. Therefore, the proposed SPGNN always implements feature extraction and information transmission at the graph level in the whole SPGNN pipeline, and SPRPN and MSGNN mutually benefit from each other. To verify the effectiveness of SPGNN, we meticulously construct a simulated blade dataset with 3000 images. A public aluminum dataset is also used to validate the performances of different methods. The experimental results demonstrate that the proposed SPGNN has superior performance compared with the state-of-the-art methods. The source code will be available at https://github.com/githbshang/SPGNN.


title: When Adversarial Training Meets Vision Transformers: Recipes from Training to Architecture

abstract: Vision Transformers (ViTs) have recently achieved competitive performance in broad vision tasks. Unfortunately, on popular threat models, naturally trained ViTs are shown to provide no more adversarial robustness than convolutional neural networks (CNNs). Adversarial training is still required for ViTs to defend against such adversarial attacks. In this paper, we provide the first and comprehensive study on the adversarial training recipe of ViTs via extensive evaluation of various training techniques across benchmark datasets. We find that pre-training and SGD optimizer are necessary for ViTs' adversarial training. Further considering ViT as a new type of model architecture, we investigate its adversarial robustness from the perspective of its unique architectural components. We find, when randomly masking gradients from some attention blocks or masking perturbations on some patches during adversarial training, the adversarial robustness of ViTs can be remarkably improved, which may potentially open up a line of work to explore the architectural information inside the newly designed models like ViTs. Our code is available at https://github.com/mo666666/When-Adversarial-Training-Meets-Vision-Transformers.


title: Uncertainty Quantification and Sensitivity analysis for Digital Twin Enabling Technology: Application for BISON Fuel Performance Code

abstract: To understand the potential of intelligent confirmatory tools, the U.S. Nuclear Regulatory Committee (NRC) initiated a future-focused research project to assess the regulatory viability of machine learning (ML) and artificial intelligence (AI)-driven Digital Twins (DTs) for nuclear power applications. Advanced accident tolerant fuel (ATF) is one of the priority focus areas of the U.S. Department of Energy (DOE). A DT framework can offer game-changing yet practical and informed solutions to the complex problem of qualifying advanced ATFs. Considering the regulatory standpoint of the modeling and simulation (M&S) aspect of DT, uncertainty quantification and sensitivity analysis are paramount to the DT framework's success in terms of multi-criteria and risk-informed decision-making. This chapter introduces the ML-based uncertainty quantification and sensitivity analysis methods while exhibiting actual applications to the finite element-based nuclear fuel performance code BISON.


title: A Blueprint for the Milky Way's Stellar Populations. IV. A String of Pearls $-$ the Galactic Starburst Sequence

abstract: We continue our series of papers on phase-space distributions of stars in the Milky Way based on photometrically derived metallicities and Gaia astrometry, with a focus on the halo-disk interface in the local volume. To exploit various photometric databases, we develop a method of empirically calibrating synthetic stellar spectra based on a comparison with observations of stellar sequences and individual stars in SDSS, SMSS, and PS1, overcoming band-specific corrections employed in our previous work. In addition, photometric zero-point corrections are derived to provide an internally consistent photometric system with a spatially uniform metallicity zero point. Using our phase-space diagrams, we find a remarkably narrow sequence in the rotational velocity ($v_\phi$) versus metallicity ([Fe/H]) space for a sample of high proper-motion stars ($>25$ mas yr$^{-1}$), which runs along Gaia Sausage/Enceladus (GSE) and the Splash sub-structures, and is linked to the disk, spanning nearly $2$ dex in [Fe/H]. Notably, a rapid increase of $v_\phi$ from a nearly zero net rotation to $\sim180$ km s$^{-1}$ in a narrow metallicity interval ($-0.6 \leq$ [Fe/H] $\leq -0.4$) suggests that some of these stars emerged quickly on a short gas-depletion time scale. Through measurements of a scale height and length, we argue that these stars are distinct from those heated dynamically by mergers. This chain of high proper-motion stars provides additional support for recent findings that suggest a starburst occurred when the young Milky Way encountered the gas-rich GSE progenitor, which eventually led to the settling of metal-enriched gas onto the disk.


title: Watermarking Pre-trained Language Models with Backdooring

abstract: Large pre-trained language models (PLMs) have proven to be a crucial component of modern natural language processing systems. PLMs typically need to be fine-tuned on task-specific downstream datasets, which makes it hard to claim the ownership of PLMs and protect the developer's intellectual property due to the catastrophic forgetting phenomenon. We show that PLMs can be watermarked with a multi-task learning framework by embedding backdoors triggered by specific inputs defined by the owners, and those watermarks are hard to remove even though the watermarked PLMs are fine-tuned on multiple downstream tasks. In addition to using some rare words as triggers, we also show that the combination of common words can be used as backdoor triggers to avoid them being easily detected. Extensive experiments on multiple datasets demonstrate that the embedded watermarks can be robustly extracted with a high success rate and less influenced by the follow-up fine-tuning.


title: Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation

abstract: Summarization of legal case judgement documents is a challenging problem in Legal NLP. However, not much analyses exist on how different families of summarization models (e.g., extractive vs. abstractive) perform when applied to legal case documents. This question is particularly important since many recent transformer-based abstractive summarization models have restrictions on the number of input tokens, and legal documents are known to be very long. Also, it is an open question on how best to evaluate legal case document summarization systems. In this paper, we carry out extensive experiments with several extractive and abstractive summarization methods (both supervised and unsupervised) over three legal summarization datasets that we have developed. Our analyses, that includes evaluation by law practitioners, lead to several interesting insights on legal summarization in specific and long document summarization in general.


title: Hypergraphs for multiscale cycles in structured data

abstract: Scientific data has been growing in both size and complexity across the modern physical, engineering, life and social sciences. Spatial structure, for example, is a hallmark of many of the most important real-world complex systems, but its analysis is fraught with statistical challenges. Topological data analysis can provide a powerful computational window on complex systems. Here we present a framework to extend and interpret persistent homology summaries to analyse spatial data across multiple scales. We introduce hyperTDA, a topological pipeline that unifies local (e.g. geodesic) and global (e.g. Euclidean) metrics without losing spatial information, even in the presence of noise. Homology generators offer an elegant and flexible description of spatial structures and can capture the information computed by persistent homology in an interpretable way. Here the information computed by persistent homology is transformed into a weighted hypergraph, where hyperedges correspond to homology generators. We consider different choices of generators (e.g. matroid or minimal) and find that centrality and community detection are robust to either choice. We compare hyperTDA to existing geometric measures and validate its robustness to noise. We demonstrate the power of computing higher-order topological structures on spatial curves arising frequently in ecology, biophysics, and biology, but also in high-dimensional financial datasets. We find that hyperTDA can select between synthetic trajectories from the landmark 2020 AnDi challenge and quantifies movements of different animal species, even when data is limited.


title: Transformer-Based Speech Synthesizer Attribution in an Open Set Scenario

abstract: Speech synthesis methods can create realistic-sounding speech, which may be used for fraud, spoofing, and misinformation campaigns. Forensic methods that detect synthesized speech are important for protection against such attacks. Forensic attribution methods provide even more information about the nature of synthesized speech signals because they identify the specific speech synthesis method (i.e., speech synthesizer) used to create a speech signal. Due to the increasing number of realistic-sounding speech synthesizers, we propose a speech attribution method that generalizes to new synthesizers not seen during training. To do so, we investigate speech synthesizer attribution in both a closed set scenario and an open set scenario. In other words, we consider some speech synthesizers to be "known" synthesizers (i.e., part of the closed set) and others to be "unknown" synthesizers (i.e., part of the open set). We represent speech signals as spectrograms and train our proposed method, known as compact attribution transformer (CAT), on the closed set for multi-class classification. Then, we extend our analysis to the open set to attribute synthesized speech signals to both known and unknown synthesizers. We utilize a t-distributed stochastic neighbor embedding (tSNE) on the latent space of the trained CAT to differentiate between each unknown synthesizer. Additionally, we explore poly-1 loss formulations to improve attribution results. Our proposed approach successfully attributes synthesized speech signals to their respective speech synthesizers in both closed and open set scenarios.


title: Kernel-Whitening: Overcome Dataset Bias with Isotropic Sentence Embedding

abstract: Dataset bias has attracted increasing attention recently for its detrimental effect on the generalization ability of fine-tuned models. The current mainstream solution is designing an additional shallow model to pre-identify biased instances. However, such two-stage methods scale up the computational complexity of training process and obstruct valid feature information while mitigating bias. To address this issue, we utilize the representation normalization method which aims at disentangling the correlations between features of encoded sentences. We find it also promising in eliminating the bias problem by providing isotropic data distribution. We further propose Kernel-Whitening, a Nystrom kernel approximation method to achieve more thorough debiasing on nonlinear spurious correlations. Our framework is end-to-end with similar time consumption to fine-tuning. Experiments show that Kernel-Whitening significantly improves the performance of BERT on out-of-distribution datasets while maintaining in-distribution accuracy.


title: Reconstructed Student-Teacher and Discriminative Networks for Anomaly Detection

abstract: Anomaly detection is an important problem in computer vision; however, the scarcity of anomalous samples makes this task difficult. Thus, recent anomaly detection methods have used only normal images with no abnormal areas for training. In this work, a powerful anomaly detection method is proposed based on student-teacher feature pyramid matching (STPM), which consists of a student and teacher network. Generative models are another approach to anomaly detection. They reconstruct normal images from an input and compute the difference between the predicted normal and the input. Unfortunately, STPM does not have the ability to generate normal images. To improve the accuracy of STPM, this work uses a student network, as in generative models, to reconstruct normal features. This improves the accuracy; however, the anomaly maps for normal images are not clean because STPM does not use anomaly images for training, which decreases the accuracy of the image-level anomaly detection. To further improve accuracy, a discriminative network trained with pseudo-anomalies from anomaly maps is used in our method, which consists of two pairs of student-teacher networks and a discriminative network. The method displayed high accuracy on the MVTec anomaly detection dataset.


title: On De Finetti's control under Poisson observations: optimality of a double barrier strategy in a Markov additive model

abstract: In this paper we consider the De Finetti's optimal dividend and capital injection problem under a Markov additive model. We assume that the surplus process before dividends and capital injections follows a spectrally positive Markov additive process. Dividend payments are made only at the jump times of an independent Poisson process. Capitals are required to be injected whenever needed to ensure a non-negative surplus process to avoid bankruptcy. Our purpose is to characterize the optimal periodic dividend and capital injection strategy that maximizes the expected total discounted dividends subtracted by the total discounted costs of capital injection. To this end, we first consider an auxiliary optimal periodic dividend and capital injection problem with final payoff under a single spectrally positive L\'evy process and conjecture that the optimal strategy is a double barrier strategy. Using the fluctuation theory and excursion-theoretical approach of the spectrally positive L\'evy process and the Hamilton-Jacobi-Bellman inequality approach of the control theory, we are able to verify the conjecture that some double barrier periodic dividend and capital injection strategy solves the auxiliary problem. With the results for the auxiliary control problem and a fixed point argument for recursive iterations induced by the dynamic programming principle, the optimality of a regime-modulated double barrier periodic dividend and capital injection strategy is proved for our target control problem.


title: Codes on Subgroups of Weighted Projective Tori

abstract: We obtain certain algebraic invariants relevant to study codes on subgroups of weighted projective tori inside an $n$-dimensional weighted projective space. As application, we compute all the main parameters of generalized toric codes on these subgroups of tori lying inside a weighted projective plane of the form $\Pp(1,1,a)$.


title: Formulation of general dynamical invariants and their unitary relations for time-dependent coupled quantum oscillators

abstract: An exact invariant operator of time-dependent coupled oscillators is derived using the Liouville-von Neumann equation. The unitary relation between this invariant and the invariant of two uncoupled simple harmonic oscillators is represented. If we consider the fact that quantum solutions of the simple harmonic oscillator is well-known, this unitary relation is very useful in clarifying quantum characteristics of the original systems, such as entanglement, probability densities, fluctuations of the canonical variables, and decoherence. We can identify such quantum characteristics by inversely transforming the mathematical representations of quantum quantities belonging to the simple harmonic oscillators. As a case in point, the eigenfunctions of the invariant operator in the original systems are found through inverse transformation of the well-known eigenfunctions associated with the simple harmonic oscillators.


title: Tautological relations and integrable systems

abstract: We present a family of conjectural relations in the tautological cohomology of the moduli spaces of stable algebraic curves of genus $g$ with $n$ marked points. A large part of these relations has a surprisingly simple form: the tautological classes involved in the relations are given by stable graphs that are trees and that are decorated only by powers of the psi-classes at half-edges. We show that the proposed conjectural relations imply certain fundamental properties of the Dubrovin-Zhang (DZ) and the double ramification (DR) hierarchies associated to F-cohomological field theories. Our relations naturally extend a similar system of conjectural relations, which were proposed in an earlier work of the first author together with Gu\'er\'e and Rossi and which are responsible for the normal Miura equivalence of the DZ and the DR hierarchy associated to an arbitrary cohomological field theory. Finally, we prove all the above mentioned relations in the case $n=1$ and arbitrary $g$ using a variation of the method from a paper by Liu and Pandharipande, this can be of independent interest. In particular, this proves the main conjecture from our previous joined work together with Hern\'andez Iglesias. We also prove all the above mentioned relations in the case $g=0$ and arbitrary $n$.


title: Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate

abstract: Safe reinforcement learning (RL) that solves constraint-satisfactory policies provides a promising way to the broader safety-critical applications of RL in real-world problems such as robotics. Among all safe RL approaches, model-based methods reduce training time violations further due to their high sample efficiency. However, lacking safety robustness against the model uncertainties remains an issue in safe model-based RL, especially in training time safety. In this paper, we propose a distributional reachability certificate (DRC) and its Bellman equation to address model uncertainties and characterize robust persistently safe states. Furthermore, we build a safe RL framework to resolve constraints required by the DRC and its corresponding shield policy. We also devise a line search method to maintain safety and reach higher returns simultaneously while leveraging the shield policy. Comprehensive experiments on classical benchmarks such as constrained tracking and navigation indicate that the proposed algorithm achieves comparable returns with much fewer constraint violations during training.


title: WHTZ 1: A high excitation Planetary Nebula not a gaseous cocoon from runaway star HD 185806

abstract: We present evidence that the nebular cocoon and bow-shock emission nebula putatively and recently reported as deriving from the 9th magnitude "runaway" star HD 185806 is the previously discovered but obscure planetary nebula WHTZ 1 (Ra 7). It has a Gaia DR3 G~16 blue ionizing star at its geometric centre. We present imagery, spectroscopy, other data and arguments to support that this emission source is a high excitation Planetary Nebula not a stellar wind bow shock.


title: A multiple-timing analysis of temporal ratcheting

abstract: We develop a two-timing perturbation analysis to investigate the existence of temporal ratchets in an exemplary system of a particle moving in a tank of fluid in response to an external vibration of the tank. We consider two-mode vibrations with angular frequencies $\omega$ and $\alpha\omega$, where $\alpha$ is a rational number. It has been established, in other physical systems, that if $\alpha$ is a ratio of odd and even integers (e.g., $\tfrac{2}{1}$, $\tfrac{3}{2}$, $\tfrac{4}{3}$), the system yields a net response: here, a nonzero time-average particle velocity. Our first-order and third-order two-timing perturbation schemes predict the existence of temporal ratchets for, respectively, $\alpha=2$ and $\alpha=\tfrac{3}{2}$, $\tfrac{4}{3}$. More importantly, we find closed form formula for the magnitude and direction of the induced net velocities for these $\alpha$ values.


title: A Constructive Prophet Inequality Approach to The Adaptive ProbeMax Problem

abstract: In the adaptive ProbeMax problem, given a collection of mutually-independent random variables $X_1, \ldots, X_n$, our goal is to design an adaptive probing policy for sequentially sampling at most $k$ of these variables, with the objective of maximizing the expected maximum value sampled. In spite of its stylized formulation, this setting captures numerous technical hurdles inherent to stochastic optimization, related to both information structure and efficient computation. For these reasons, adaptive ProbeMax has served as a test bed for a multitude of algorithmic methods, and concurrently as a popular teaching tool in courses and tutorials dedicated to recent trends in optimization under uncertainty. The main contribution of this paper consists in proposing a novel method for upper-bounding the expected maximum reward of optimal adaptive probing policies, based on a simple min-max problem. Equipped with this method, we devise purely-combinatorial algorithms for deterministically computing feasible sets whose vicinity to the adaptive optimum is analyzed through prophet inequality ideas. Consequently, this approach allows us to establish improved constructive adaptivity gaps for the ProbeMax problem in its broadest form, where $X_1, \ldots, X_n$ are general random variables, making further advancements when $X_1, \ldots, X_n$ are continuous.


title: Gauging nanoswimmer dynamics via the motion of large bodies

abstract: Nanoswimmers are ubiquitous in bio- and nano-technology but are extremely challenging to measure due to their minute size and driving forces. A simple method is proposed for detecting the elusive physical features of nanoswimmers by observing how they affect the motion of much larger, easily traceable particles. Modeling the swimmers as hydrodynamic force dipoles, we find direct, easy-to-calibrate relations between the observable power spectrum and diffusivity of the tracers and the dynamic characteristics of the swimmers: their force dipole moment and correlation times.


title: DyLoRA: Parameter Efficient Tuning of Pre-trained Models using Dynamic Search-Free Low-Rank Adaptation

abstract: With the ever-growing size of pretrained models (PMs), fine-tuning them has become more expensive and resource-hungry. As a remedy, low-rank adapters (LoRA) keep the main pretrained weights of the model frozen and just introduce some learnable truncated SVD modules (so-called LoRA blocks) to the model. While LoRA blocks are parameter-efficient, they suffer from two major problems: first, the size of these blocks is fixed and cannot be modified after training (for example, if we need to change the rank of LoRA blocks, then we need to re-train them from scratch); second, optimizing their rank requires an exhaustive search and effort. In this work, we introduce a dynamic low-rank adaptation (DyLoRA) technique to address these two problems together. Our DyLoRA method trains LoRA blocks for a range of ranks instead of a single rank by sorting the representation learned by the adapter module at different ranks during training. We evaluate our solution on different natural language understanding (GLUE benchmark) and language generation tasks (E2E, DART and WebNLG) using different pretrained models such as RoBERTa and GPT with different sizes. Our results show that we can train dynamic search-free models with DyLoRA at least 4 to 7 times (depending to the task) faster than LoRA without significantly compromising performance. Moreover, our models can perform consistently well on a much larger range of ranks compared to LoRA.


title: Empirical Study Incorporating Linguistic Knowledge on Filled Pauses for Personalized Spontaneous Speech Synthesis

abstract: We present a comprehensive empirical study for personalized spontaneous speech synthesis on the basis of linguistic knowledge. With the advent of voice cloning for reading-style speech synthesis, a new voice cloning paradigm for human-like and spontaneous speech synthesis is required. We, therefore, focus on personalized spontaneous speech synthesis that can clone both the individual's voice timbre and speech disfluency. Specifically, we deal with filled pauses, a major source of speech disfluency, which is known to play an important role in speech generation and communication in psychology and linguistics. To comparatively evaluate personalized filled pause insertion and non-personalized filled pause prediction methods, we developed a speech synthesis method with a non-personalized external filled pause predictor trained with a multi-speaker corpus. The results clarify the position-word entanglement of filled pauses, i.e., the necessity of precisely predicting positions for naturalness and the necessity of precisely predicting words for individuality on the evaluation of synthesized speech.


title: Using Host Galaxy Photometric Redshifts to Improve Cosmological Constraints with Type Ia Supernova in the LSST Era

abstract: We perform a rigorous cosmology analysis on simulated type Ia supernovae (SN~Ia) and evaluate the improvement from including photometric host-galaxy redshifts compared to using only the "zspec" subset with spectroscopic redshifts from the host or SN. We use the Deep Drilling Fields (~50 deg^2) from the Photometric LSST Astronomical Time-Series Classification Challenge (PLaSTiCC), in combination with a low-z sample based on Data Challenge2 (DC2). The analysis includes light curve fitting to standardize the SN brightness, a high-statistics simulation to obtain a bias-corrected Hubble diagram, a statistical+systematics covariance matrix including calibration and photo-z uncertainties, and cosmology fitting with a prior from the cosmic microwave background. Compared to using the zspec subset, including events with SN+host photo-z results in i) more precise distances for z>0.5, ii) a Hubble diagram that extends 0.3 further in redshift, and iii) a 50 % increase in the Dark Energy Task Force figure of merit (FoM) based on the w0-wa CDM model. Analyzing 25 simulated data samples, the average bias on w0 and wa is consistent with zero. The host photo-z systematic of 0.01 reduces FoM by only 2 % because i) most z<0.5 events are in the zspec subset, ii) the combined SN+host photo-z has X 2 smaller bias, and iii) the anti-correlation between fitted redshift and color self corrects distance errors. To prepare for analysing real data, the next SNIa-cosmology analysis with photo-z's should include non SN-Ia contamination and host galaxy mis-associations.


title: Classical spinning soft factors from gauge theory amplitudes

abstract: In this short note, we analyse low energy electromagnetic radiation for spinning particles using the KMOC formalism and the quantum soft theorems. In particular, we study low energy electromagnetic radiation emitted by the so-called $\sqrt{\text{Kerr}}$ object. The $\sqrt{\text{Kerr}}$ is a solution of the free Maxwell's equations with infinite multipole moments expressed solely in terms of the charge(Q), mass(m) and spin(S) of the classical object . We consider the scattering of two $\sqrt{\text{Kerr}}$ particles and using the KMOC formalism generalised to spinning particles, we perturbatively prove the classical subleading soft photon theorem to leading order in the low deflection parameter and to $\mathcal{O}(S_{1}S_{2})$ in spin.


title: TokenMixup: Efficient Attention-guided Token-level Data Augmentation for Transformers

abstract: Mixup is a commonly adopted data augmentation technique for image classification. Recent advances in mixup methods primarily focus on mixing based on saliency. However, many saliency detectors require intense computation and are especially burdensome for parameter-heavy transformer models. To this end, we propose TokenMixup, an efficient attention-guided token-level data augmentation method that aims to maximize the saliency of a mixed set of tokens. TokenMixup provides x15 faster saliency-aware data augmentation compared to gradient-based methods. Moreover, we introduce a variant of TokenMixup which mixes tokens within a single instance, thereby enabling multi-scale feature augmentation. Experiments show that our methods significantly improve the baseline models' performance on CIFAR and ImageNet-1K, while being more efficient than previous methods. We also reach state-of-the-art performance on CIFAR-100 among from-scratch transformer models. Code is available at https://github.com/mlvlab/TokenMixup.


title: Deep Koopman with Control: Spectral Analysis of Soft Robot Dynamics

abstract: Soft robots are challenging to model and control as inherent non-linearities (e.g., elasticity and deformation), often requires complex explicit physics-based analytical modeling (e.g., a priori geometric definitions). While machine learning can be used to learn non-linear control models in a data-driven approach, these models often lack an intuitive internal physical interpretation and representation, limiting dynamical analysis. To address this, this paper presents an approach using Koopman operator theory and deep neural networks to provide a global linear description of the non-linear control systems. Specifically, by globally linearising dynamics, the Koopman operator is analyzed using spectral decomposition to characterises important physics-based interpretations, such as functional growths and oscillations. Experiments in this paper demonstrate this approach for controlling non-linear soft robotics, and shows model outputs are interpretable in the context of spectral analysis.


title: Q-TOD: A Query-driven Task-oriented Dialogue System

abstract: Existing pipelined task-oriented dialogue systems usually have difficulties adapting to unseen domains, whereas end-to-end systems are plagued by large-scale knowledge bases in practice. In this paper, we introduce a novel query-driven task-oriented dialogue system, namely Q-TOD. The essential information from the dialogue context is extracted into a query, which is further employed to retrieve relevant knowledge records for response generation. Firstly, as the query is in the form of natural language and not confined to the schema of the knowledge base, the issue of domain adaption is alleviated remarkably in Q-TOD. Secondly, as the query enables the decoupling of knowledge retrieval from the generation, Q-TOD gets rid of the issue of knowledge base scalability. To evaluate the effectiveness of the proposed Q-TOD, we collect query annotations for three publicly available task-oriented dialogue datasets. Comprehensive experiments verify that Q-TOD outperforms strong baselines and establishes a new state-of-the-art performance on these datasets.


title: Multitask Pre-training of Modular Prompt for Chinese Few-Shot Learning

abstract: Prompt tuning is a parameter-efficient approach to adapting pre-trained language models to downstream tasks. Although prompt tuning has been shown to match the performance of full model tuning when training data is sufficient, it tends to struggle in few-shot learning settings. In this paper, we present Multi-task Pre-trained Modular Prompt (MP2) to boost prompt tuning for few-shot learning. MP2 is a set of combinable prompts pre-trained on 38 Chinese tasks. On downstream tasks, the pre-trained prompts are selectively activated and combined, leading to strong compositional generalization to unseen tasks. To bridge the gap between pre-training and fine-tuning, we formulate upstream and downstream tasks into a unified machine reading comprehension task. Extensive experiments under two learning paradigms, i.e., gradient descent and black-box tuning, show that MP2 significantly outperforms prompt tuning, full model tuning, and prior prompt pre-training methods in few-shot settings. In addition, we demonstrate that MP2 can achieve surprisingly fast and strong adaptation to downstream tasks by merely learning 8 parameters to combine the pre-trained modular prompts.


title: A Survey of Parameters Associated with the Quality of Benchmarks in NLP

abstract: Several benchmarks have been built with heavy investment in resources to track our progress in NLP. Thousands of papers published in response to those benchmarks have competed to top leaderboards, with models often surpassing human performance. However, recent studies have shown that models triumph over several popular benchmarks just by overfitting on spurious biases, without truly learning the desired task. Despite this finding, benchmarking, while trying to tackle bias, still relies on workarounds, which do not fully utilize the resources invested in benchmark creation, due to the discarding of low quality data, and cover limited sets of bias. A potential solution to these issues -- a metric quantifying quality -- remains underexplored. Inspired by successful quality indices in several domains such as power, food, and water, we take the first step towards a metric by identifying certain language properties that can represent various possible interactions leading to biases in a benchmark. We look for bias related parameters which can potentially help pave our way towards the metric. We survey existing works and identify parameters capturing various properties of bias, their origins, types and impact on performance, generalization, and robustness. Our analysis spans over datasets and a hierarchy of tasks ranging from NLI to Summarization, ensuring that our parameters are generic and are not overfitted towards a specific task or dataset. We also develop certain parameters in this process.


title: The $e$-positivity of the chromatic symmetric functions and the inverse Kostka matrix

abstract: We expand the chromatic symmetric functions for Dyck paths of bounce number three in the elementary symmetric function basis using a combinatorial interpretation of the inverse of the Kostka matrix studied in E\u{g}ecio\u{g}lu-Remmel (1990). We prove that certain coefficients in this expansion are positive. We establish the $e$-positivity of an extended class of chromatic symmetric functions for Dyck paths of bounce number three beyond the "hook-shape" case of Cho-Huh (2019).


title: Theory of edge states in graphene-like systems

abstract: Systems that can be described with the same mathematical models that account for the properties of electrons in graphene are known as graphene-like systems. These include magnons, photons, polaritons, acoustic waves, and electrons in honeycomb lattices, either natural or artificial. All of them feature an outstanding property, the existence of states localized at the edges. We distinguish two classes of edge states depending on whether or not a topological band gap is present in the two-dimensional energy bands. We introduce the theory of edge states in terms of tight-binding models and discuss their properties, with an emphasis on the interplay between their one-way character and the topological nature of the bulk phase.


title: Theory of Energy Dispersion of Chiral Phonon

abstract: We have developed a microscopic theory on phonon energy dispersion in chiral crystals within a harmonic approximation. One of the main issues is about the splitting of sound velocity of acoustic phonons with opposite ``crystal'' angular momentum. We have shown that the splitting must be zero even in chiral crystals and the difference starts from the order of at least $k^2$ or higher in their energy dispersion. Splitting is evident for chiral optical phonons, and we have derived a formula for their $k$-linear splitting. Another important finding is about possible interactions of atomic displacements in microscopic models. We have found that antisymmetric interactions of $\mathbf{D} _{ij} \cdot (\mathbf{d} _i \times \mathbf{d} _j) $ type are not allowed in microscopic Hamiltonians for chiral phonons in compatible with the stability against the Nambu-Goldstone mode. We have identified that the splitting in both acoustic and optical modes arises from the harmonic potentials with the electric toroidal quadrupole of $G_{u}$-type symmetry. These constraint are important for modeling real materials. Most of our microscopic calculations have been performed for (quasi-)one-dimensional systems with a trigonal crystal symmetry including Te, but these results generally hold also for other chiral phonon systems.


title: MICO: A Multi-alternative Contrastive Learning Framework for Commonsense Knowledge Representation

abstract: Commonsense reasoning tasks such as commonsense knowledge graph completion and commonsense question answering require powerful representation learning. In this paper, we propose to learn commonsense knowledge representation by MICO, a Multi-alternative contrastve learning framework on COmmonsense knowledge graphs (MICO). MICO generates the commonsense knowledge representation by contextual interaction between entity nodes and relations with multi-alternative contrastive learning. In MICO, the head and tail entities in an $(h,r,t)$ knowledge triple are converted to two relation-aware sequence pairs (a premise and an alternative) in the form of natural language. Semantic representations generated by MICO can benefit the following two tasks by simply comparing the distance score between the representations: 1) zero-shot commonsense question answering task; 2) inductive commonsense knowledge graph completion task. Extensive experiments show the effectiveness of our method.


title: Mix and Reason: Reasoning over Semantic Topology with Data Mixing for Domain Generalization

abstract: Domain generalization (DG) enables generalizing a learning machine from multiple seen source domains to an unseen target one. The general objective of DG methods is to learn semantic representations that are independent of domain labels, which is theoretically sound but empirically challenged due to the complex mixture of common and domain-specific factors. Although disentangling the representations into two disjoint parts has been gaining momentum in DG, the strong presumption over the data limits its efficacy in many real-world scenarios. In this paper, we propose Mix and Reason (\mire), a new DG framework that learns semantic representations via enforcing the structural invariance of semantic topology. \mire\ consists of two key components, namely, Category-aware Data Mixing (CDM) and Adaptive Semantic Topology Refinement (ASTR). CDM mixes two images from different domains in virtue of activation maps generated by two complementary classification losses, making the classifier focus on the representations of semantic objects. ASTR introduces relation graphs to represent semantic topology, which is progressively refined via the interactions between local feature aggregation and global cross-domain relational reasoning. Experiments on multiple DG benchmarks validate the effectiveness and robustness of the proposed \mire.


title: Cross-Scale Context Extracted Hashing for Fine-Grained Image Binary Encoding

abstract: Deep hashing has been widely applied to large-scale image retrieval tasks owing to efficient computation and low storage cost by encoding high-dimensional image data into binary codes. Since binary codes do not contain as much information as float features, the essence of binary encoding is preserving the main context to guarantee retrieval quality. However, the existing hashing methods have great limitations on suppressing redundant background information and accurately encoding from Euclidean space to Hamming space by a simple sign function. In order to solve these problems, a Cross-Scale Context Extracted Hashing Network (CSCE-Net) is proposed in this paper. Firstly, we design a two-branch framework to capture fine-grained local information while maintaining high-level global semantic information. Besides, Attention guided Information Extraction module (AIE) is introduced between two branches, which suppresses areas of low context information cooperated with global sliding windows. Unlike previous methods, our CSCE-Net learns a content-related Dynamic Sign Function (DSF) to replace the original simple sign function. Therefore, the proposed CSCE-Net is context-sensitive and able to perform well on accurate image binary encoding. We further demonstrate that our CSCE-Net is superior to the existing hashing methods, which improves retrieval performance on standard benchmarks.


title: Model-based Safe Deep Reinforcement Learning via a Constrained Proximal Policy Optimization Algorithm

abstract: During initial iterations of training in most Reinforcement Learning (RL) algorithms, agents perform a significant number of random exploratory steps. In the real world, this can limit the practicality of these algorithms as it can lead to potentially dangerous behavior. Hence safe exploration is a critical issue in applying RL algorithms in the real world. This problem has been recently well studied under the Constrained Markov Decision Process (CMDP) Framework, where in addition to single-stage rewards, an agent receives single-stage costs or penalties as well depending on the state transitions. The prescribed cost functions are responsible for mapping undesirable behavior at any given time-step to a scalar value. The goal then is to find a feasible policy that maximizes reward returns while constraining the cost returns to be below a prescribed threshold during training as well as deployment. We propose an On-policy Model-based Safe Deep RL algorithm in which we learn the transition dynamics of the environment in an online manner as well as find a feasible optimal policy using the Lagrangian Relaxation-based Proximal Policy Optimization. We use an ensemble of neural networks with different initializations to tackle epistemic and aleatoric uncertainty issues faced during environment model learning. We compare our approach with relevant model-free and model-based approaches in Constrained RL using the challenging Safe Reinforcement Learning benchmark - the Open AI Safety Gym. We demonstrate that our algorithm is more sample efficient and results in lower cumulative hazard violations as compared to constrained model-free approaches. Further, our approach shows better reward performance than other constrained model-based approaches in the literature.


title: Is synthetic data from generative models ready for image recognition?

abstract: Recent text-to-image generation models have shown promising results in generating high-fidelity photo-realistic images. Though the results are astonishing to human eyes, how applicable these generated images are for recognition tasks remains under-explored. In this work, we extensively study whether and how synthetic images generated from state-of-the-art text-to-image generation models can be used for image recognition tasks, and focus on two perspectives: synthetic data for improving classification models in data-scarce settings (i.e. zero-shot and few-shot), and synthetic data for large-scale model pre-training for transfer learning. We showcase the powerfulness and shortcomings of synthetic data from existing generative models, and propose strategies for better applying synthetic data for recognition tasks. Code: https://github.com/CVMI-Lab/SyntheticData.


title: Sub-TeV hadronic interaction model differences and their impact on air showers

abstract: In the sub-TeV regime, the most widely used hadronic interaction models disagree significantly in their predictions of particle spectra from cosmic ray induced air showers. We investigate the nature and impact of model uncertainties, focussing on air shower primaries with energies around the transition between high and low energy hadronic interaction models, where the dissimilarities are largest and which constitute the bulk of the interactions in air showers.


title: High-rate continuous-variable measurement-device-independent quantum key distribution

abstract: We report the first experiment of continuous-variable measurement-device-independent quantum key distribution that enables secret key generation at a symbol rate of 5 MBaud without frequency and optical phase locking. This is achieved by using a new relay structure based on a polarization-based 90-degree optical hybrid and a well-designed DSP pipeline.


title: MonoDVPS: A Self-Supervised Monocular Depth Estimation Approach to Depth-aware Video Panoptic Segmentation

abstract: Depth-aware video panoptic segmentation tackles the inverse projection problem of restoring panoptic 3D point clouds from video sequences, where the 3D points are augmented with semantic classes and temporally consistent instance identifiers. We propose a novel solution with a multi-task network that performs monocular depth estimation and video panoptic segmentation. Since acquiring ground truth labels for both depth and image segmentation has a relatively large cost, we leverage the power of unlabeled video sequences with self-supervised monocular depth estimation and semi-supervised learning from pseudo-labels for video panoptic segmentation. To further improve the depth prediction, we introduce panoptic-guided depth losses and a novel panoptic masking scheme for moving objects to avoid corrupting the training signal. Extensive experiments on the Cityscapes-DVPS and SemKITTI-DVPS datasets demonstrate that our model with the proposed improvements achieves competitive results and fast inference speed.


title: PoolLines: Modeling Carpooling as Ephemeral Lines in GTFS for effective integration with Public Transit

abstract: In carpooling systems, a set of drivers owning a private car can accept a small detour to pick-up and drop-off other riders. However, carpooling is widely used for long-distance trips, where rider-driver matching can be done days ahead. Making carpooling a viable option for daily commute is more challenging, as trips are shorter and, proportionally, the detours tolerated by drivers are more tight. As a consequence, finding riders and drivers sharing close-enough origins, destinations and departure time is less likely, which limits potential matching. In this paper we propose an Integrated System, where carpooling matching is synchronized with Public Transit (PT) schedules, so as to serve as a feeder service to PT in the first mile. Driver detours are proposed towards PT selected stations, which are used as consolidation points, thus increasing matching probability. We present a computationally efficient method to represent PT schedules and drivers trajectory in a single General Transit Feed Specification database, which allows to compute multimodal rider journeys using any off the shelf planners. We showcase our approach in the metropolitan area of Portland, Oregon, considering 8k randomly generated trips. We show the benefits of our Integrated System. We find that 10% more riders find a feasible matching with respect to the status quo, where carpooling and PT are operated separately. We release our code as open source.


title: Some new examples of summation of divergent series from the viewpoint of distributions

abstract: Let $\{a_{1}, a_{2},\ldots, a_{n},\ldots\}$ be a sequence of complex numbers which has at most polynomial growth and satisfies an extra assumption. In this paper, inspired by a recent work of Sasane, we give an explanation of the sum $$a_{1}+2a_{2}+3a_{3}+\cdots+na_{n}+\cdots,$$ and more generally, for any $k\in\mathbb{N},$ the sum $$1^{k}a_{1}+2^{k}a_{2}+3^{k}a_{3}+\cdots+n^{k}a_{n}+\cdots,$$ from the viewpoint of distributions. As applications, we explain the following summation formulas \begin{equation*} \begin{aligned} 1^{k}-2^{k}+3^{k}-\cdots&=-\frac{E_{k}(0)}{2}, \\ 1^{k}+2^{k}+3^{k}+\cdots&=-\frac{B_{k+1}}{k+1}, \\ \epsilon^{1}1^{k}+\epsilon^{2}2^{k}+\epsilon^{3}3^{k}+\cdots&=-\frac{B_{k+1}(\epsilon)}{k+1}, \end{aligned} \end{equation*} where $E_{k}(0)$, $B_{k}$ and $B_{k}(\epsilon)$ are the Euler polynomials at 0, the Bernoulli numbers and the Apostol--Bernoulli numbers, respectively.


title: GriT-DBSCAN: A Spatial Clustering Algorithm for Very Large Databases

abstract: DBSCAN is a fundamental spatial clustering algorithm with numerous practical applications. However, a bottleneck of the algorithm is in the worst case, the run time complexity is $O(n^2)$. To address this limitation, we propose a new grid-based algorithm for exact DBSCAN in Euclidean space called GriT-DBSCAN, which is based on the following two techniques. First, we introduce a grid tree to organize the non-empty grids for the purpose of efficient non-empty neighboring grids queries. Second, by utilising the spatial relationships among points, we propose a technique that iteratively prunes unnecessary distance calculations when determining whether the minimum distance between two sets is less than or equal to a certain threshold. We theoretically prove that the complexity of GriT-DBSCAN is linear to the data set size. In addition, we obtain two variants of GriT-DBSCAN by incorporating heuristics, or by combining the second technique with an existing algorithm. Experiments are conducted on both synthetic and real-world data sets to evaluate the efficiency of GriT-DBSCAN and its variants. The results of our analyses show that our algorithms outperform existing algorithms.


title: Grantecan spectroscopic observations and confirmations of Planetary Nebulae candidates in the Northern Galactic Plane

abstract: We present Grantecan 10 m telescope (GTC) spectroscopic confirmations of 55 faint Planetary Nebulae (PNe) candidates discovered largely in the INT Photometric H$_\alpha$ Survey of the Northern Galactic Plane (IPHAS) by our pro-am collaboration. We confirm 46 of them as 'True' (T), 4 as 'Likely' (L) and 5 as 'Possible' (P) PNe and including 5 new PNe central star (CSPN) discoveries. This was from observations of 62 new candidates yielding a maximum PN discovery success rate of 89%. The sensitivity and longer wavelength coverage of IPHAS allows PNe to be found in regions of greater extinction and at these lower Galactic latitudes, including PNe in a more advanced evolutionary state and at larger distances compared to previously known Galactic PNe. We use an holistic set of observed characteristics and optical emission-line diagnostics to confirm candidates. Plasma properties have been determined in a self-consistent way using PyNeb. This work is facilitated by the functionality of our powerful, multi-wavelength database 'HASH' (Hong Kong, Australian Astronomical Observatory, Strasbourg Observatory H-alpha Planetary Nebula catalogue) that federates known imaging, spectroscopy and other pertinent data for all Galactic T, L, P PNe and the significant numbers of mimics. Reddenings, corrected radial velocities and PNe electron density and temperature estimates are provided for these new PNe where possible.


title: Deep PatchMatch MVS with Learned Patch Coplanarity, Geometric Consistency and Adaptive Pixel Sampling

abstract: Recent work in multi-view stereo (MVS) combines learnable photometric scores and regularization with PatchMatch-based optimization to achieve robust pixelwise estimates of depth, normals, and visibility. However, non-learning based methods still outperform for large scenes with sparse views, in part due to use of geometric consistency constraints and ability to optimize over many views at high resolution. In this paper, we build on learning-based approaches to improve photometric scores by learning patch coplanarity and encourage geometric consistency by learning a scaled photometric cost that can be combined with reprojection error. We also propose an adaptive pixel sampling strategy for candidate propagation that reduces memory to enable training on larger resolution with more views and a larger encoder. These modifications lead to 6-15% gains in accuracy and completeness on the challenging ETH3D benchmark, resulting in higher F1 performance than the widely used state-of-the-art non-learning approaches ACMM and ACMP.


title: 3D sympathetic cooling and detection of levitated nanoparticles

abstract: Cooling the center-of-mass motion of levitated nanoparticles provides a route to quantum experiments at mesoscopic scales. Here we demonstrate three-dimensional sympathetic cooling and detection of the center-of-mass motion of a levitated silica nanoparticle. The nanoparticle is electrostatically coupled to a feedback-cooled particle while both particles are trapped in the same Paul trap. We identify two regimes, based on the strength of the cooling: in the first regime, the sympathetically cooled particle thermalizes with the directly cooled one, while in the second regime, the sympathetically cooled particle reaches a minimum temperature. This result provides a route to efficiently cool and detect particles that cannot be illuminated with strong laser light, such as absorptive particles, and paves the way for controlling the motion of arrays of several trapped nanoparticles.


title: Probabilistic Scheduling of Dynamic I/O Requests via Application Clustering for Burst-Buffer Equipped HPC

abstract: Burst-Buffering is a promising storage solution that introduces an intermediate highthroughput storage buffer layer to mitigate the I/O bottleneck problem that the current High-Performance Computing (HPC) platforms suffer. The existing Markov-Chain based probabilistic I/O scheduling utilizes the load state of Burst-Buffers and the periodical characteristics of applications to reduce I/O congestion due to the limited capacity of Burst-Buffers. However, this probabilistic approach requires consistent I/O characteristics of applications, including similar I/O duration and long application length, in order to obtain an accurate I/O load estimation. These consistency conditions do not often hold in realistic situations. In this paper, we propose a generic framework of dynamic probabilistic I/O scheduling based on application clustering (DPSAC) to make applications meet the consistency requirements. According to the I/O phrase length of each application, our scheme first deploys a one-dimensional K-means clustering algorithm to cluster the applications into clusters. Next, it calculates the expected workload of each cluster through the probabilistic model of applications and then partitions the Burst-Buffers proportionally. Then, to handle dynamic changes (join and exit) of applications, it updates the clusters based on a heuristic strategy. Finally, it applies the probabilistic I/O scheduling, which is based on the distribution of application workload and the state of Burst-Buffers, to schedule I/O for all the concurrent applications to mitigate I/O congestion. The simulation results on synthetic data show that our DPSAC is effective and efficient.