title: Complete Interband Transitions for Non-Hermitian Spin-Orbit-Coupled Cold-Atom Systems

abstract: Recently, synthetic spin-orbit coupling has been introduced into cold-atom systems for more flexible control of the Hamiltonian, which was further made time-varying through two-photon detuning to achieve dynamic control of the cold-atom state. While an intraband transition can be adiabatically obtained, a complete interband transition, rather than a superposition of different bands, obtained through fast sweeping is usually guaranteed by having the positions of the initial and final states be far away from any band gap in the quasimomentum space. Here, by introducing an additional non-Hermitian parameter through an atom-loss contrast together with two-photon detuning as two controllable external parameters, both intraband and complete interband transitions can be achieved independent of the positions of the initial and final states. In addition, a point-source diagram approach in the 2D external parameter space is developed to visualize and predict the locations of any nonadiabatic transitions. This control protocol can have potential applications in quantum state control and quantum simulations using cold-atom systems.


title: Regularity of the free boundary for a semilinear vector-valued minimization problem

abstract: In this paper, we consider the following semilinear vector-valued minimization problem $$\min\left\{\int_{D}({|\nabla\mathbf{u}|}^2 + F(|\mathbf{u}|))dx: \ \ \mathbf{u}\in W^{1,2}(D; \mathbb{R}^m) \ \text{and} \ \mathbf{u}=\mathbf{g}\ \text{on} \ \partial D\right\},$$ where $\mathbf{u}: D\to \mathbb{R}^m$ ($ m\geq 1$) is a vector-valued function, $D\subset \mathbb{R}^n$ ($n\geq 2$) is a bounded Lipschitz domain, $\mathbf{g}\in W^{1,2}(D; \mathbb{R}^m)$ is a given vector-valued function and $F:[0, \infty)\rightarrow \mathbb{R}$ is a given function. This minimization problem corresponds to the following semilinear elliptic system \begin{equation*} \Delta\mathbf{u}=\frac{1}{2}F'(|\mathbf{u}|)\cdot\frac{\mathbf{u}}{|\mathbf{u}|}\chi_{\{|\mathbf{u}|>0\}}, \end{equation*} where $\chi_A$ denotes the characteristic function of the set A. The linear case that $F'\equiv 2$ was studied in the previous elegant work by Andersson, Shahgholian, Uraltseva and Weiss [Adv. Math 280, 2015], in which an epiperimetric inequality played a crucial role to indicate an energy decay estimate and the uniqueness of blow-up limit. However, this epiperimetric inequality cannot be directly applied to our case due to the more general non-degenerate and non-homogeneous term $F$ which leads to Weiss' boundary adjusted energy does not have scaling properties. Motivated by the linear case, when $F$ satisfies some assumptions, we establish successfully a new epiperimetric inequality, it can deal with term which is not scaling invariant in Weiss' boundary adjusted energy. As an application of this new epiperimetric inequality, we conclude that the free boundary $D\cap \partial\{|\mathbf{u}|>0\}$ is a locally $C^{1,\beta}$ surface near the regular points for some $\beta\in (0,1)$.


title: RT-H: Action Hierarchies Using Language

abstract: Language provides a way to break down complex concepts into digestible pieces. Recent works in robot imitation learning use language-conditioned policies that predict actions given visual observations and the high-level task specified in language. These methods leverage the structure of natural language to share data between semantically similar tasks (e.g., "pick coke can" and "pick an apple") in multi-task datasets. However, as tasks become more semantically diverse (e.g., "pick coke can" and "pour cup"), sharing data between tasks becomes harder, so learning to map high-level tasks to actions requires much more demonstration data. To bridge tasks and actions, our insight is to teach the robot the language of actions, describing low-level motions with more fine-grained phrases like "move arm forward". Predicting these language motions as an intermediate step between tasks and actions forces the policy to learn the shared structure of low-level motions across seemingly disparate tasks. Furthermore, a policy that is conditioned on language motions can easily be corrected during execution through human-specified language motions. This enables a new paradigm for flexible policies that can learn from human intervention in language. Our method RT-H builds an action hierarchy using language motions: it first learns to predict language motions, and conditioned on this and the high-level task, it predicts actions, using visual context at all stages. We show that RT-H leverages this language-action hierarchy to learn policies that are more robust and flexible by effectively tapping into multi-task datasets. We show that these policies not only allow for responding to language interventions, but can also learn from such interventions and outperform methods that learn from teleoperated interventions. Our website and videos are found at https://rt-hierarchy.github.io.


title: Shift orbits for elementary representations of Kronecker quivers

abstract: Let $r \in \mathbb{N}_{\geq 3}$. We denote by $K_r$ the wild $r$-Kronecker quiver with $r$ arrows $\gamma_i \colon 1 \to 2$ and consider the action of the group $G_r \subseteq \mathrm{Aut}(\mathbb{Z}^2)$ generated by $\delta \colon \mathbb{Z}\to \mathbb{Z}, (x,y) \mapsto (y,x)$ and $\sigma_{r} \colon \mathbb{Z} \to \mathbb{Z}, (x,y) \mapsto (rx-y,x)$ on the set of regular dimension vectors \[\mathcal{R} = \{ (x,y) \in \mathbb{N}^2 \mid x^2 + y^2 - rxy < 1\}.\] A fundamental domain of this action is given by $\mathcal{F}_r := \{ (x,y) \in \mathbb{N}^2 \mid \frac{2}{r} x \leq y \leq x \}$. We show that $(x,y) \in \mathcal{F}_r$ is the dimension vector of an elementary representation if and only if \[y \leq \min \{ \lfloor \frac{x}{r} \rfloor+\frac{x}{\lfloor \frac{x}{r} \rfloor} - r, \lceil \frac{x}{r} \rceil -\frac{x}{\lceil \frac{x}{r} \rceil} +r,r-1\},\] where we interpret $\lfloor \frac{x}{r} \rfloor+\frac{x}{\lfloor \frac{x}{r} \rfloor} - r$ as $\infty$ for $1 \leq x < r$. In this case we also identify the set of elementary representations as a dense open subset of the irreducible variety of representations with dimension vector $(x,y)$. A complete combinatorial description of elementary representations for $r = 3$ has been given by Ringel. We show that such a compact description is out of reach when we consider $r \geq 4$, altough the representation theory of $K_3$ is as difficult as the representation theory of $K_r$ for $r \geq 4$.


title: Hamiltonian $S^1$-manifolds which are like a coadjoint orbit of $G_2$

abstract: Consider a compact symplectic manifold of dimension $2n$ with a Hamiltionan circle action. Then there are at least $n+1$ fixed points. Recent works study the case when the fixed point set consists of precisely $n+1$ isolated points. Motivated by these works, this paper studies a Hamiltonian $S^1$ action on a $10$-dimensional compact symplectic manifold with exactly 6 isolated fixed points. Under a condition, we study the relations of the following data: the first Chern class of the manifold,the largest weight of the action, all the weights of the action,the total Chern class of the manifold, and the integral cohomology ring of the manifold. We show that if one of these data is identical with that of a coadjoint orbit of the exceptional Lie group $G_2$, equipped with a Hamiltonian action of a subcircle of the maximal torus, then the other data are identical with this coadjoint orbit of $G_2$.


title: A Novel Shortest Path Query Algorithm Based on Optimized Adaptive Topology Structure

abstract: Urban rail transit is a fundamental component of public transportation, however, commonly station-based path search algorithms often overlook the impact of transfer times on search results, leading to decreased accuracy. To solve this problem, this paper proposes a novel shortest path query algorithm based on adaptive topology optimization called the Adaptive Topology Extension Road Network Structure (ATEN). This algorithm categorizes transfer stations into different types and treats travel time and transfer time equivalently as weights for edges in the topological graph. The proposed algorithm introduces virtual stations to differentiate between pedestrian paths and train paths, eliminating the need for additional operations on transfer stations. The algorithm controls the extent of expansion in the urban rail transit topology, overcoming query errors caused by mishandling of transfer stations in the existing algorithm. Finally, a series of simulation experiments were conducted on Beijing's urban rail transit network to validate both correctness and efficiency of the proposed adaptive topology optimization algorithm. The results demonstrate significant advantages compared to existing similar algorithms.


title: Analysis and Fully Memristor-based Reservoir Computing for Temporal Data Classification

abstract: Reservoir computing (RC) offers a neuromorphic framework that is particularly effective for processing spatiotemporal signals. Known for its temporal processing prowess, RC significantly lowers training costs compared to conventional recurrent neural networks. A key component in its hardware deployment is the ability to generate dynamic reservoir states. Our research introduces a novel dual-memory RC system, integrating a short-term memory via a WOx-based memristor, capable of achieving 16 distinct states encoded over 4 bits, and a long-term memory component using a TiOx-based memristor within the readout layer. We thoroughly examine both memristor types and leverage the RC system to process temporal data sets. The performance of the proposed RC system is validated through two benchmark tasks: isolated spoken digit recognition with incomplete inputs and Mackey-Glass time series prediction. The system delivered an impressive 98.84% accuracy in digit recognition and sustained a low normalized root mean square error (NRMSE) of 0.036 in the time series prediction task, underscoring its capability. This study illuminates the adeptness of memristor-based RC systems in managing intricate temporal challenges, laying the groundwork for further innovations in neuromorphic computing.


title: Investigating the Physical Properties of Traversable Wormholes in the Modified $f(R,T)$ Gravity

abstract: In the paper, we analyze some physical properties of static traversable WH within the framework of $f(R,T)$ modified gravitational theory. Firstly, we explore the validity of the null, weak, dominant and strong energy conditions for wormhole matter for the considered $f(R,T)=R+\alpha R^2+\lambda T$ model. Research shows that it is possible to obtain traversable WH geometry without bring in exotic matter that violates the null energy condition in the $f(R,T)$ theory. The violation of the dominant energy condition in this model may be related to quantum fluctuations or indicates the existence of special matter that violates this EC within the wormhole. Moreover, it is found that in the $f(R,T)=R+\alpha R^2+\lambda T$ model, relative to the GR, the introduction of the geometric term $\alpha R^2$ has no remarkable impact on the wormhole matter components and their properties, while the appearance of the matter-geometry coupling term $\lambda T$ can resolve the question that WH matter violates the null, weak and strong energy condition in GR. Additionally, we investigate dependency of the valid NEC on model parameters and quantify the matter components within the wormhole using the ``volume integral quantifier". Lastly, based on the modified Tolman-Oppenheimer-Volkov equation, we find that the traversable WH in this theory is stable. On the other hand, we use the classical reconstruction technique to derive wormhole solution in $f(R,T)$ theory and discuss the corresponding ECs of matter. It is found that all four ECs (NEC, WEC, SEC and DEC) of matter in the traversable wormholes are valid in this reconstructed $f(R,T)$ model, i.e we provide a wormhole solution without introducing the exotic matter and special matter in $f(R,T)$ theory.


title: OnePerc: A Randomness-aware Compiler for Photonic Quantum Computing

abstract: The photonic platform holds great promise for quantum computing. Nevertheless, the intrinsic probabilistic characteristics of its native fusion operations introduces substantial randomness into the computing process, posing significant challenges to achieving scalability and efficiency in program execution. In this paper, we introduce a randomness-aware compilation framework designed to concurrently achieve scalability and efficiency. Our approach leverages an innovative combination of offline and online optimization passes, with a novel intermediate representation serving as a crucial bridge between them. Through a comprehensive evaluation, we demonstrate that this framework significantly outperforms the most efficient baseline compiler in a scalable manner, opening up new possibilities for realizing scalable photonic quantum computing.


title: Progressive Smoothing for Motion Planning in Real-Time NMPC

abstract: Nonlinear model predictive control (NMPC) is a popular strategy for solving motion planning problems, including obstacle avoidance constraints, in autonomous driving applications. Non-smooth obstacle shapes, such as rectangles, introduce additional local minima in the underlying optimization problem. Smooth over-approximations, e.g., ellipsoidal shapes, limit the performance due to their conservativeness. We propose to vary the smoothness and the related over-approximation by a homotopy. Instead of varying the smoothness in consecutive sequential quadratic programming iterations, we use formulations that decrease the smooth over-approximation from the end towards the beginning of the prediction horizon. Thus, the real-time iterations algorithm is applicable to the proposed NMPC formulation. Different formulations are compared in simulation experiments and shown to successfully improve performance indicators without increasing the computation time.


title: Cohomological flatness over discrete valuation rings: numerical and logarithmic criteria

abstract: We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalising a classical result of Raynaud in two different ways. The first is an extension of Raynaud's numerical criterion to higher dimensions. The second is a logarithmic criterion: we show that a proper, fs log smooth morphism to a log regular discrete valuation ring is cohomologically flat in dimension 0. We apply this latter result to curves and torsors under abelian varieties with good reduction, providing necessary and sufficient conditions for the log smoothness of their regular models over arbitrary discrete valuation rings.


title: Model-Based Data-Centric AI: Bridging the Divide Between Academic Ideals and Industrial Pragmatism

abstract: This paper delves into the contrasting roles of data within academic and industrial spheres, highlighting the divergence between Data-Centric AI and Model-Agnostic AI approaches. We argue that while Data-Centric AI focuses on the primacy of high-quality data for model performance, Model-Agnostic AI prioritizes algorithmic flexibility, often at the expense of data quality considerations. This distinction reveals that academic standards for data quality frequently do not meet the rigorous demands of industrial applications, leading to potential pitfalls in deploying academic models in real-world settings. Through a comprehensive analysis, we address these disparities, presenting both the challenges they pose and strategies for bridging the gap. Furthermore, we propose a novel paradigm: Model-Based Data-Centric AI, which aims to reconcile these differences by integrating model considerations into data optimization processes. This approach underscores the necessity for evolving data requirements that are sensitive to the nuances of both academic research and industrial deployment. By exploring these discrepancies, we aim to foster a more nuanced understanding of data's role in AI development and encourage a convergence of academic and industrial standards to enhance AI's real-world applicability.


title: Charged particle multiplicity fluctuation in $A-A$ collisions at RHIC and LHC energies using Angantyr model

abstract: Event-by-event fluctuations of the charged particle multiplicity are studied for a wide range of centralities for Au$-$Au collisions at $\sqrt{s_{NN}}$ = 200 GeV, Pb$-$Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV and 5.02 TeV using the Pythia 8 Angantyr model. The centrality dependence of $\omega_{ch}$ observable, which quantifies the fluctuations in terms of scaled variance is studied for different pseudorapidity ranges and has been compared with those obtained from a simple participant superposition model. The $\omega_{ch}$ was found to be lower than the expectations from the participant model. The estimate would act like a baseline for current and future measurements of event-by-event fluctuations in the charged particle multiplicities in systems at LHC energies where no de-confined medium of quarks and gluons are formed.


title: Jamming is a first-order transition with quenched disorder in amorphous materials sheared by cyclic quasistatic deformations

abstract: Jamming is an athermal transition between flowing and rigid states in amorphous systems such as granular matter, colloidal suspensions, complex fluids and cells. The jamming transition seems to display mixed aspects of a first-order transition, evidenced by a discontinuity in the coordination number, and a second-order transition, indicated by power-law scalings and diverging lengths. Here we demonstrate that jamming is a first-order transition with quenched disorder in cyclically sheared systems with quasistatic deformations, in two and three dimensions. Based on scaling analyses, we show that fluctuations of the jamming density in finite-sized systems have important consequences on the finite-size effects of various quantities, resulting in a square relationship between disconnected and connected susceptibilities, a key signature of the first-order transition with quenched disorder. This study puts the jamming transition into the category of a broad class of transitions in disordered systems where sample-to-sample fluctuations dominate over thermal fluctuations, suggesting that the nature and behavior of the jamming transition can be understood within the developed theoretical framework of the athermally driven random-field Ising model.


title: Strong-field quantum control by pulse shaping in the extreme ultraviolet domain

abstract: Tailored light-matter interactions in the strong coupling regime enable the manipulation and control of quantum systems with up to unit efficiency, with applications ranging from quantum information to photochemistry. While strong light-matter interactions are readily induced at the valence electron level using long-wavelength radiation, comparable phenomena have been only recently observed with short wavelengths, accessing highly-excited multi-electron and inner-shell electron states. However, the quantum control of strong-field processes at short wavelengths has not been possible, so far, due to the lack of pulse shaping technologies in the extreme ultraviolet (XUV) and X-ray domain. Here, exploiting pulse shaping of the seeded free-electron laser (FEL) FERMI, we demonstrate the strong-field quantum control of ultrafast Rabi dynamics in helium atoms with high fidelity. Our approach unravels the strong-field induced bound-continuum coupling of the electronic states in helium and enables substantial suppression of the ionization rate, with prospective applications in many XUV and X-ray experiments. Leveraging recent advances in intense few-femtosecond to attosecond XUV to X-ray light sources, our results open an avenue to the efficient manipulation and selective control of core electron processes and electron correlation phenomena in real time


title: Dynamics of quantum observables and Born's rule in Bohmian Quantum Mechanics

abstract: We investigate both ordered and chaotic Bohmian trajectories within the Born distribution of Bohmian particles of an anisotropic 2d quantum harmonic oscillator. We compute the average values of energy, momentum, angular momentum, and position using both Standard Quantum Mechanics and Bohmian Mechanics. In particular, we examine realizations of the Born distribution for a wavefunction with a single nodal point and two different wavefunctions with multiple nodal points: one with an almost equal number of ordered and chaotic trajectories, and another composed primarily of chaotic trajectories. Throughout our analysis, we focus on elucidating the contribution of ordered and chaotic Bohmian trajectories in determining these average values.


title: Generalized Symmetry in Dynamical Gravity

abstract: We explore generalized symmetry in the context of nonlinear dynamical gravity. Our basic strategy is to transcribe known results from Yang-Mills theory directly to gravity via the tetrad formalism, which recasts general relativity as a gauge theory of the local Lorentz group. By analogy, we deduce that gravity exhibits a one-form symmetry implemented by an operator $U_\alpha$ labeled by a center element $\alpha$ of the Lorentz group and associated with a certain area measured in Planck units. The corresponding charged line operator $W_\rho$ is the holonomy in a spin representation $\rho$, which is the gravitational analog of a Wilson loop. The topological linking of $U_\alpha$ and $W_\rho$ has an elegant physical interpretation from classical gravitation: the former materializes an exotic chiral cosmic string defect whose quantized conical deficit angle is measured by the latter. We verify this claim explicitly in an AdS-Schwarzschild black hole background. Notably, our conclusions imply that the standard model exhibits a new symmetry of nature at scales below the lightest neutrino mass. More generally, the absence of global symmetries in quantum gravity suggests that the gravitational one-form symmetry is either gauged or explicitly broken. The latter mandates the existence of fermions. Finally, we comment on generalizations to magnetic higher-form or higher-group gravitational symmetries.


title: Graphical n-sample tests of correspondence of distributions

abstract: Classical tests are available for the two-sample test of correspondence of distribution functions. From these, the Kolmogorov-Smirnov test provides also the graphical interpretation of the test results, in different forms. Here, we propose modifications of the Kolmogorov-Smirnov test with higher power. The proposed tests are based on the so-called global envelope test which allows for graphical interpretation, similarly as the Kolmogorov-Smirnov test. The tests are based on rank statistics and are suitable also for the comparison of $n$ samples, with $n \geq 2$. We compare the alternatives for the two-sample case through an extensive simulation study and discuss their interpretation. Finally, we apply the tests to real data. Specifically, we compare the height distributions between boys and girls at different ages, as well as sepal length distributions of different flower species using the proposed methodologies.


title: Fully Polynomial-time Algorithms Parameterized by Vertex Integrity Using Fast Matrix Multiplication

abstract: We study the computational complexity of several polynomial-time-solvable graph problems parameterized by vertex integrity, a measure of a graph's vulnerability to vertex removal in terms of connectivity. Vertex integrity is the smallest number $\iota$ such that there is a set $S$ of $\iota' \le \iota$ vertices such that every connected component of $G-S$ contains at most $\iota-\iota'$ vertices. It is known that the vertex integrity lies between the well-studied parameters vertex cover number and tree-depth. Alon and Yuster [ESA 2007] designed algorithms for graphs with small vertex cover number using fast matrix multiplications. We demonstrate that fast matrix multiplication can also be effectively used when parameterizing by vertex integrity $\iota$ by developing efficient algorithms for problems including an $O(\iota^{\omega-1}n)$-time algorithm for computing the girth of a graph, randomized $O(\iota^{\omega - 1}n)$-time algorithms for Maximum Matching and for finding any induced four-vertex subgraph except for a clique or an independent set, and an $O(\iota^{(\omega-1)/2}n^2) \subseteq O(\iota^{0.687} n^2)$-time algorithm for All-Pairs Shortest Paths. These algorithms can be faster than previous algorithms parameterized by tree-depth, for which fast matrix multiplication is not known to be effective.


title: FreeA: Human-object Interaction Detection using Free Annotation Labels

abstract: Recent human-object interaction (HOI) detection approaches rely on high cost of manpower and require comprehensive annotated image datasets. In this paper, we propose a novel self-adaption language-driven HOI detection method, termed as FreeA, without labeling by leveraging the adaptability of CLIP to generate latent HOI labels. To be specific, FreeA matches image features of human-object pairs with HOI text templates, and a priori knowledge-based mask method is developed to suppress improbable interactions. In addition, FreeA utilizes the proposed interaction correlation matching method to enhance the likelihood of actions related to a specified action, further refine the generated HOI labels. Experiments on two benchmark datasets show that FreeA achieves state-of-the-art performance among weakly supervised HOI models. Our approach is +8.58 mean Average Precision (mAP) on HICO-DET and +1.23 mAP on V-COCO more accurate in localizing and classifying the interactive actions than the newest weakly model, and +1.68 mAP and +7.28 mAP than the latest weakly+ model, respectively. Code will be available at https://drliuqi.github.io/.


title: Making Pre-trained Language Models Great on Tabular Prediction

abstract: The transferability of deep neural networks (DNNs) has made significant progress in image and language processing. However, due to the heterogeneity among tables, such DNN bonus is still far from being well exploited on tabular data prediction (e.g., regression or classification tasks). Condensing knowledge from diverse domains, language models (LMs) possess the capability to comprehend feature names from various tables, potentially serving as versatile learners in transferring knowledge across distinct tables and diverse prediction tasks, but their discrete text representation space is inherently incompatible with numerical feature values in tables. In this paper, we present TP-BERTa, a specifically pre-trained LM for tabular data prediction. Concretely, a novel relative magnitude tokenization converts scalar numerical feature values to finely discrete, high-dimensional tokens, and an intra-feature attention approach integrates feature values with the corresponding feature names. Comprehensive experiments demonstrate that our pre-trained TP-BERTa leads the performance among tabular DNNs and is competitive with Gradient Boosted Decision Tree models in typical tabular data regime.


title: Mapping the Chemo-dynamics of the Galactic disk using the LAMOST and APOGEE red clump stars

abstract: A detailed measurement is made of the metallicity distributions, kinematics and dynamics of the thin and thick disks, across a large disk volume (5.0 $\leq$ $R$ $\leq$ 15.0 kpc and $|Z|$ $\leq$3.0 kpc), by using the LAMOST-APOGEE red clump stars. The metallicity distributions results show that the radial metallicity gradient $\Delta$[Fe/H]/$\Delta$R of the thin disk weakens with $|Z|$ from $-$0.06 dex kpc$^{-1}$ at around $|Z|$ $<$ 0.25 kpc to $-$0.02 dex kpc$^{-1}$ at around $|Z|$ $>$ 2.75 kpc, while the thick disk displays a global weak positive $\Delta$[Fe/H]/$\Delta$R, generally weaker than 0.01 dex kpc$^{-1}$. The vertical metallicity gradient $\Delta$[Fe/H]/$\Delta|Z|$ weakened steadily from $-$0.36 dex kpc$^{-1}$ at $R$ $\sim$ 5.5 kpc to $-$0.05 dex kpc$^{-1}$ at around R $>$ 11.5 kpc for the thin disk, while the thick disk presents an almost constant value (nearly $-$0.06 $\sim$ $-$0.08 dex kpc$^{-1}$) for all the $R$ bins. These results indicate the contribution of the radial migration to the disk evolution, and the obvious north-south asymmetry in [Fe/H] may be linked to the disk warp and/or the disk perturbation events. The oscillations of the corrected $\Delta$[Fe/H]/$\Delta|Z|$ with $R$ are likely because of the resonances with the Galactic Bar. Our detailed measurements of $\Delta$V$_{\phi}$/$\Delta$[Fe/H] indicate an "inside-out" and "upside-down" star formation scenario for the thick disk. The results of eccentricity distributions and [$\alpha$/Fe]--velocity dispersion relations are likely to suggest that the thick disk stars require an obvious contribution from other heating mechanisms such as merger and accretion, or born in the chaotic mergers of gas-rich systems and/or turbulent interstellar medium.


title: Towards equivalent thickened ribbon Schur functions

abstract: Two skew diagrams are defined to be equivalent if their corresponding skew Schur functions are equal. The equivalence classes for ribbons have been classified by Billera, Thomas and van Willigenburg in 2006. In this paper, we provide a complete characterization of equivalence classes for connected skew diagrams with exactly one $2\times m$ or $m\times 2$ block of boxes for all $m\ge 2$. In particular, possible sizes of equivalence classes are one, two or four, confirming special cases of the elusive conjecture on equivalent skew connected diagrams proposed by McNamara and van Willigenburg in 2009.


title: NIR ICG-Enhanced Fluorescence: A Quantitative Evaluation of Bowel Microperfusion and Its Relation to Central Perfusion in Colorectal Surgery

abstract: Background: To date, no standardized protocols nor a quantitative assessment of the near-infrared fluorescence angiography with indocyanine green (NIR-ICG) are available. The aim of this study was to evaluate the timing of fluorescence as a reproducible parameter and its efficacy in predicting anastomotic leakage (AL) in colorectal surgery. Methods: A consecutive cohort of 108 patients undergoing minimally invasive elective procedures for colorectal cancer was prospectively enrolled. The difference between macro and microperfusion DeltaT was obtained by calculating the timing of fluorescence at the level of iliac artery division and colonic wall, respectively. Results: Subjects with a DeltaT higher 15.5 s had a higher tendency to develop an AL (p lower 0.01). The DeltaT/heart rate interaction was found to predict AL with an odds ratio of 1.02 (p lower 0.01); a cut-off threshold of 832 was identified (sensitivity 0.86, specificity 0.77). Perfusion parameters were also associated with a faster bowel motility resumption and a reduced length of hospital stay. Conclusions: The analysis of the timing of fluorescence provides a quantitative, easy evaluation of tissue perfusion. A DeltaT/HR interaction higher 832 may be used as a real-time parameter to guide surgical decision making in colorectal surgery.


title: NASH: Neural Architecture Search for Hardware-Optimized Machine Learning Models

abstract: As machine learning (ML) algorithms get deployed in an ever-increasing number of applications, these algorithms need to achieve better trade-offs between high accuracy, high throughput and low latency. This paper introduces NASH, a novel approach that applies neural architecture search to machine learning hardware. Using NASH, hardware designs can achieve not only high throughput and low latency but also superior accuracy performance. We present four versions of the NASH strategy in this paper, all of which show higher accuracy than the original models. The strategy can be applied to various convolutional neural networks, selecting specific model operations among many to guide the training process toward higher accuracy. Experimental results show that applying NASH on ResNet18 or ResNet34 achieves a top 1 accuracy increase of up to 3.1% and a top 5 accuracy increase of up to 2.2% compared to the non-NASH version when tested on the ImageNet data set. We also integrated this approach into the FINN hardware model synthesis tool to automate the application of our approach and the generation of the hardware model. Results show that using FINN can achieve a maximum throughput of 324.5 fps. In addition, NASH models can also result in a better trade-off between accuracy and hardware resource utilization. The accuracy-hardware (HW) Pareto curve shows that the models with the four NASH versions represent the best trade-offs achieving the highest accuracy for a given HW utilization. The code for our implementation is open-source and publicly available on GitHub at https://github.com/MFJI/NASH.


title: Improving the detection sensitivity to primordial stochastic gravitational waves with reduced astrophysical foregrounds -- II: subthreshold binary neutron stars

abstract: Stochastic gravitational waves (GWs) consist of a primordial component from early Universe processes and an astrophysical component from compact binary mergers. To detect the primordial stochastic GW background (SGWB), the astrophysical foregrounds must be reduced to high precision, which is achievable for third-generation (3G) ground based GW detectors. Previous studies have shown that the foreground from individually detectable merger events can be reduced with fractional residual energy density below $10^{-3}$, and the residual foreground from subthreshold binary neutron stars (BNSs) will be the bottleneck if not be well cleaned. In this work, we propose that the foreground energy density of subthreshold BNSs $\Omega_{\rm sub}$ can be estimated via a population based approach from the individually detectable BNSs utilizing the isotropic orbital orientations of all BNSs, i.e., uniform distribution in $\cos\iota$, where $\iota$ is the BNS inclination angle with respect to the line of sight. Using this approach, we find $\Omega_{\rm sub}$ can be measured with percent-level uncertainty, assuming $O(10^5)$ individually detected BNSs in our simulations. As a result, the sensitivity to the primordial SGWB will be limited by the detector noise and the total observation time, instead of the astrophysical foregrounds from compact binaries.


title: Numerical Simulation of Phase Transition with the Hyperbolic Godunov-Peshkov-Romenski Model

abstract: In this paper, a thermodynamically consistent solution of the interfacial Riemann problem for the first-order hyperbolic continuum model of Godunov, Peshkov and Romenski (GPR model) is presented. In the presence of phase transition, interfacial physics are governed by molecular interaction on a microscopic scale, beyond the scope of the macroscopic continuum model in the bulk phases. The developed two-phase Riemann solvers tackle this multi-scale problem, by incorporating a local thermodynamic model to predict the interfacial entropy production. Using phenomenological relations of non-equilibrium thermodynamics, interfacial mass and heat fluxes are derived from the entropy production and provide closure at the phase boundary. We employ the proposed Riemann solvers in an efficient sharp interface level-set Ghost-Fluid framework to provide coupling conditions at phase interfaces under phase transition. As a single-phase benchmark, a Rayleigh-B\'enard convection is studied to compare the hyperbolic thermal relaxation formulation of the GPR model against the hyperbolic-parabolic Euler-Fourier system. The novel interfacial Riemann solvers are validated against molecular dynamics simulations of evaporating shock tubes with the Lennard-Jones shifted and truncated potential. On a macroscopic scale, evaporating shock tubes are computed for the material n-Dodecane and compared against Euler-Fourier results. Finally, the efficiency and robustness of the scheme is demonstrated with shock-droplet interaction simulations that involve both phase transfer and surface tension, while featuring severe interface deformations.


title: CET2: Modelling Topic Transitions for Coherent and Engaging Knowledge-Grounded Conversations

abstract: Knowledge-grounded dialogue systems aim to generate coherent and engaging responses based on the dialogue contexts and selected external knowledge. Previous knowledge selection methods tend to rely too heavily on the dialogue contexts or over-emphasize the new information in the selected knowledge, resulting in the selection of repetitious or incongruous knowledge and further generating repetitive or incoherent responses, as the generation of the response depends on the chosen knowledge. To address these shortcomings, we introduce a Coherent and Engaging Topic Transition (CET2) framework to model topic transitions for selecting knowledge that is coherent to the context of the conversations while providing adequate knowledge diversity for topic development. Our CET2 framework considers multiple factors for knowledge selection, including valid transition logic from dialogue contexts to the following topics and systematic comparisons between available knowledge candidates. Extensive experiments on two public benchmarks demonstrate the superiority and the better generalization ability of CET2 on knowledge selection. This is due to our well-designed transition features and comparative knowledge selection strategy, which are more transferable to conversations about unseen topics. Analysis of fine-grained knowledge selection accuracy also shows that CET2 can better balance topic entailment (contextual coherence) and development (knowledge diversity) in dialogue than existing approaches.


title: One Prompt Word is Enough to Boost Adversarial Robustness for Pre-trained Vision-Language Models

abstract: Large pre-trained Vision-Language Models (VLMs) like CLIP, despite having remarkable generalization ability, are highly vulnerable to adversarial examples. This work studies the adversarial robustness of VLMs from the novel perspective of the text prompt instead of the extensively studied model weights (frozen in this work). We first show that the effectiveness of both adversarial attack and defense are sensitive to the used text prompt. Inspired by this, we propose a method to improve resilience to adversarial attacks by learning a robust text prompt for VLMs. The proposed method, named Adversarial Prompt Tuning (APT), is effective while being both computationally and data efficient. Extensive experiments are conducted across 15 datasets and 4 data sparsity schemes (from 1-shot to full training data settings) to show APT's superiority over hand-engineered prompts and other state-of-the-art adaption methods. APT demonstrated excellent abilities in terms of the in-distribution performance and the generalization under input distribution shift and across datasets. Surprisingly, by simply adding one learned word to the prompts, APT can significantly boost the accuracy and robustness (epsilon=4/255) over the hand-engineered prompts by +13% and +8.5% on average respectively. The improvement further increases, in our most effective setting, to +26.4% for accuracy and +16.7% for robustness. Code is available at https://github.com/TreeLLi/APT.


title: "Gene": A personal tribute to the Life and Science of Eugene Newman Parker

abstract: This review provides a brief account of the life of Eugene Parker (1927-2022) and discusses his contributions to plasma astrophysics. Growing up in Michigan, he went to graduate school at Caltech and then worked at the University of Utah before shifting to the University of Chicago, where he spent the rest of his illustrious career. Parker's most important scientific works are discussed in the context of the historical development of plasma astrophysics. In the study of the Sun, he made enormous contributions both to the MHD of the solar convection zone (including the formulation of turbulent dynamo theory) and to the understanding of the outer solar atmosphere (including the theory of coronal heating and the prediction of the solar wind). Parker's non-solar contributions include the Parker instability in the interstellar gas and the Parker limit of magnetic monopoles. We also try to convey an idea of Parker's highly individualistic personality and his very unique way of doing science.


title: Rethinking LLM Language Adaptation: A Case Study on Chinese Mixtral

abstract: Mixtral, a representative sparse mixture of experts (SMoE) language model, has received significant attention due to its unique model design and superior performance. Based on Mixtral-8x7B-v0.1, in this paper, we propose Chinese-Mixtral and Chinese-Mixtral-Instruct with improved Chinese language abilities by adopting further pre-training and instruction fine-tuning. Experimental results show that our Chinese-Mixtral and Chinese-Mixtral-Instruct successfully improve Chinese understanding and generation performance while retaining the original English abilities. Then, we discuss several key questions when performing language adaptation on large language models, including the necessity of extending the language-specific vocabulary and the choice of the initialization model (foundation model v.s. instruction model), by providing empirical results and analysis. We also present the visualizations of each expert to examine their importance on downstream tasks. Our resources are publicly available through \url{https://github.com/ymcui/Chinese-Mixtral}.


title: PLACE: Adaptive Layout-Semantic Fusion for Semantic Image Synthesis

abstract: Recent advancements in large-scale pre-trained text-to-image models have led to remarkable progress in semantic image synthesis. Nevertheless, synthesizing high-quality images with consistent semantics and layout remains a challenge. In this paper, we propose the adaPtive LAyout-semantiC fusion modulE (PLACE) that harnesses pre-trained models to alleviate the aforementioned issues. Specifically, we first employ the layout control map to faithfully represent layouts in the feature space. Subsequently, we combine the layout and semantic features in a timestep-adaptive manner to synthesize images with realistic details. During fine-tuning, we propose the Semantic Alignment (SA) loss to further enhance layout alignment. Additionally, we introduce the Layout-Free Prior Preservation (LFP) loss, which leverages unlabeled data to maintain the priors of pre-trained models, thereby improving the visual quality and semantic consistency of synthesized images. Extensive experiments demonstrate that our approach performs favorably in terms of visual quality, semantic consistency, and layout alignment. The source code and model are available at https://github.com/cszy98/PLACE/tree/main.


title: Spectroscopic investigations on trivalent ruthenium ions in ruthenium perovskite oxide thin films

abstract: The $d^5$ electron configurations under the crystal field, spin-orbit coupling, and Coulomb interaction give rise to a plethora of profound ground states. Ruthenium perovskite oxides exhibit a number of unconventional properties yet the Ru$^{4+}$ state ($4d^4$) is usually stable in these materials. In this regard, Ru$^{3+}$ ions in perovskite materials are expected to be a mesmerising playground of $4d^5$ electron configurations. Here, we report measurements of x-ray photoemission spectroscopy on recently synthesized perovskite ruthenium oxide thin films, LaRuO$_3$ and NdRuO$_3$, whose valence state of the ruthenium ions is trivalent. We discuss correlation and spin-orbit effects from the valence-band spectra, in particular an additional peak structure around 3-5 eV, reminiscent of the so-called 3 eV peak observed in Sr$_2$RuO$_4$. Moreover, we find that the core-level spectra of these materials are quantitatively different from those in other ruthenates which possess Ru$^{4+}$ ions, e.g., SrRuO$_3$. We therefore argue that the core level spectra of LaRuO$_3$ and NdRuO$_3$ are peculiar to the Ru$^{3+}$ states.


title: Quantum counterdiabatic driving with local control

abstract: Suppression of diabatic transitions in quantum adiabatic evolution stands as a significant challenge for ground state preparations. Counterdiabatic driving has been proposed to compensate for diabatic losses and achieve shortcut to adiabaticity. However, its implementation necessitates the generation of adiabatic gauge potential, which requires knowledge of the spectral gap of instantaneous Hamiltonians and involves highly non-local drivings in many-body systems. In this work, we consider local counterdiabatic (LCD) driving with approximate adiabatic gauge potential. Using transverse-field Ising model as an example, we present an in-depth study of the performance and optimization of LCD protocols. We then propose a novel two-step protocol based on LCD and simple local single-body control to further improve the performance. The optimization of these LCD-based protocols does not require knowledge of instantaneous Hamiltonians, and only additional local driving is involved. To benchmark the performance of LCD and the proposed local control-enhanced LCD technique, we experimentally implement digitized adiabatic quantum evolution in a trapped-ion system. We characterize the quality of the prepared states and explore the scaling behavior with system size up to 14 qubits. Our demonstration of quantum shortcut to adiabaticity opens a path towards preparing ground states of complex systems with accessible local controls.

categories: quant-ph cond-mat.stat-mech physics.app-ph physics.atom-ph


title: A Poincar\'e-Birkhoff Theorem for Asymptotically Linear Hamiltonian Diffeomorphisms

abstract: We propose a twist condition, inspired by the classical Poincar\'e-Birkhoff theorem on area-preserving maps of the annulus, which applies to asymptotically linear Hamiltonian diffeomorphisms of linear phase space. When an asymptotically linear Hamiltonian diffeomorphism, non-degenerate and unitary at infinity, satisfies this twist condition, we show that it has infinitely many periodic points.


title: Shipping traffic through the Arctic Ocean: spatial distribution, temporal evolution and its dependence on the sea ice extent

abstract: The reduction in sea ice cover with Arctic warming facilitates the transit of ships through routes that are remarkably shorter than the traditional shipping routes. Automatic Identification System (AIS), ideally designed to avoid vessel collisions, transmits on vessel navigation information (currently 27 types of messages) such as name, position or speed, is a powerful data source to monitor the progress of Arctic shipping as the ice cover decreases. Based on the analysis of an online platform collecting shipping AIS data, we quantified the spatial distribution of shipping through the Arctic Ocean, its intensity and the temporal evolution, in relation to the area released by the sea ice area. Shipping through the Arctic Ocean is distributed spatially following a heavy-tailed distribution, implying heavy traffic through a limited Arctic area, with an exponent that depends on the vessel category. Fishing is the category with the largest spatial spread, with the width of shipping routes correlated with the proximal sea ice area. The time evolution of these routes is characterized by increasing extended periods of shipping activity through the year. AIS data offers valuable information on the activity of the international fleet worldwide. In the context of the new international agreements, it is a valuable source to monitor shipping, fishing and the potential impact in marine life among other aspects. Here we have focused on the Arctic shipping in recent years, which is rapidly growing, particularly around the Northeastern and Northwest Passage coastal routes, providing an opportunity for the design of shorter shipping routes and reduced greenhouse gas emissions from transport of goods, but at a risk of impacts on the Arctic ecosystem.


title: Reward Model Learning vs. Direct Policy Optimization: A Comparative Analysis of Learning from Human Preferences

abstract: In this paper, we take a step towards a deeper understanding of learning from human preferences by systematically comparing the paradigm of reinforcement learning from human feedback (RLHF) with the recently proposed paradigm of direct preference optimization (DPO). We focus our attention on the class of loglinear policy parametrization and linear reward functions. In order to compare the two paradigms, we first derive minimax statistical bounds on the suboptimality gap induced by both RLHF and DPO, assuming access to an oracle that exactly solves the optimization problems. We provide a detailed discussion on the relative comparison between the two paradigms, simultaneously taking into account the sample size, policy and reward class dimensions, and the regularization temperature. Moreover, we extend our analysis to the approximate optimization setting and derive exponentially decaying convergence rates for both RLHF and DPO. Next, we analyze the setting where the ground-truth reward is not realizable and find that, while RLHF incurs a constant additional error, DPO retains its asymptotically decaying gap by just tuning the temperature accordingly. Finally, we extend our comparison to the Markov decision process setting, where we generalize our results with exact optimization. To the best of our knowledge, we are the first to provide such a comparative analysis for RLHF and DPO.


title: An Improved Traditional Chinese Evaluation Suite for Foundation Model

abstract: We present TMMLU+, a comprehensive dataset designed for the Traditional Chinese massive multitask language understanding dataset. TMMLU+ is a multiple-choice question-answering dataset with 66 subjects from elementary to professional level. Compared to its predecessor, TMMLU, TMMLU+ is six times larger and boasts a more balanced subject distribution. We included benchmark results in TMMLU+ from closed-source models and 24 open-weight Chinese large language models of parameters ranging from 1.8B to 72B. Our findings reveal that Traditional Chinese models still trail behind their Simplified Chinese counterparts. Additionally, current large language models have yet to outperform human performance in average scores. We publicly release our dataset and the corresponding benchmark source code.


title: CSE: Surface Anomaly Detection with Contrastively Selected Embedding

abstract: Detecting surface anomalies of industrial materials poses a significant challenge within a myriad of industrial manufacturing processes. In recent times, various methodologies have emerged, capitalizing on the advantages of employing a network pre-trained on natural images for the extraction of representative features. Subsequently, these features are subjected to processing through a diverse range of techniques including memory banks, normalizing flow, and knowledge distillation, which have exhibited exceptional accuracy. This paper revisits approaches based on pre-trained features by introducing a novel method centered on target-specific embedding. To capture the most representative features of the texture under consideration, we employ a variant of a contrastive training procedure that incorporates both artificially generated defective samples and anomaly-free samples during training. Exploiting the intrinsic properties of surfaces, we derived a meaningful representation from the defect-free samples during training, facilitating a straightforward yet effective calculation of anomaly scores. The experiments conducted on the MVTEC AD and TILDA datasets demonstrate the competitiveness of our approach compared to state-of-the-art methods.


title: MaliGNNoma: GNN-Based Malicious Circuit Classifier for Secure Cloud FPGAs

abstract: The security of cloud field-programmable gate arrays (FPGAs) faces challenges from untrusted users attempting fault and side-channel attacks through malicious circuit configurations. Fault injection attacks can result in denial of service, disrupting functionality or leaking secret information. This threat is further amplified in multi-tenancy scenarios. Detecting such threats before loading onto the FPGA is crucial, but existing methods face difficulty identifying sophisticated attacks. We present MaliGNNoma, a machine learning-based solution that accurately identifies malicious FPGA configurations. Serving as a netlist scanning mechanism, it can be employed by cloud service providers as an initial security layer within a necessary multi-tiered security system. By leveraging the inherent graph representation of FPGA netlists, MaliGNNoma employs a graph neural network (GNN) to learn distinctive malicious features, surpassing current approaches. To enhance transparency, MaliGNNoma utilizes a parameterized explainer for the GNN, labeling the FPGA configuration and pinpointing the sub-circuit responsible for the malicious classification. Through extensive experimentation on the ZCU102 board with a Xilinx UltraScale+ FPGA, we validate the effectiveness of MaliGNNoma in detecting malicious configurations, including sophisticated attacks, such as those based on benign modules, like cryptography accelerators. MaliGNNoma achieves a classification accuracy and precision of 98.24% and 97.88%, respectively, surpassing state-of-the-art. We compare MaliGNNoma with five state-of-the-art scanning methods, revealing that not all attack vectors detected by MaliGNNoma are recognized by existing solutions, further emphasizing its effectiveness. Additionally, we make MaliGNNoma and its associated dataset publicly available.


title: AiSDF: Structure-aware Neural Signed Distance Fields in Indoor Scenes

abstract: Indoor scenes we are living in are visually homogenous or textureless, while they inherently have structural forms and provide enough structural priors for 3D scene reconstruction. Motivated by this fact, we propose a structure-aware online signed distance fields (SDF) reconstruction framework in indoor scenes, especially under the Atlanta world (AW) assumption. Thus, we dub this incremental SDF reconstruction for AW as AiSDF. Within the online framework, we infer the underlying Atlanta structure of a given scene and then estimate planar surfel regions supporting the Atlanta structure. This Atlanta-aware surfel representation provides an explicit planar map for a given scene. In addition, based on these Atlanta planar surfel regions, we adaptively sample and constrain the structural regularity in the SDF reconstruction, which enables us to improve the reconstruction quality by maintaining a high-level structure while enhancing the details of a given scene. We evaluate the proposed AiSDF on the ScanNet and ReplicaCAD datasets, where we demonstrate that the proposed framework is capable of reconstructing fine details of objects implicitly, as well as structures explicitly in room-scale scenes.


title: MTS: Bringing Multi-Tenancy to Virtual Networking

abstract: Multi-tenant cloud computing provides great benefits in terms of resource sharing, elastic pricing, and scalability, however, it also changes the security landscape and introduces the need for strong isolation between the tenants, also inside the network. This paper is motivated by the observation that while multi-tenancy is widely used in cloud computing, the virtual switch designs currently used for network virtualization lack sufficient support for tenant isolation. Hence, we present, implement, and evaluate a virtual switch architecture, MTS, which brings secure design best-practice to the context of multi-tenant virtual networking: compartmentalization of virtual switches, least-privilege execution, complete mediation of all network communication, and reducing the trusted computing base shared between tenants. We build MTS from commodity components, providing an incrementally deployable and inexpensive upgrade path to cloud operators. Our extensive experiments, extending to both micro-benchmarks and cloud applications, show that, depending on the way it is deployed, MTS may produce 1.5-2x the throughput compared to state-of-the-art, with similar or better latency and modest resource overhead (1 extra CPU). MTS is available as open source software.


title: Schema-Based Query Optimisation for Graph Databases

abstract: Recursive graph queries are increasingly popular for extracting information from interconnected data found in various domains such as social networks, life sciences, and business analytics. Graph data often come with schema information that describe how nodes and edges are organized. We propose a type inference mechanism that enriches recursive graph queries with relevant structural information contained in a graph schema. We show that this schema information can be useful in order to improve the performance when evaluating acylic recursive graph queries. Furthermore, we prove that the proposed method is sound and complete, ensuring that the semantics of the query is preserved during the schema-enrichment process.


title: RCoCo: Contrastive Collective Link Prediction across Multiplex Network in Riemannian Space

abstract: Link prediction typically studies the probability of future interconnection among nodes with the observation in a single social network. More often than not, real scenario is presented as a multiplex network with common (anchor) users active in multiple social networks. In the literature, most existing works study either the intra-link prediction in a single network or inter-link prediction among networks (a.k.a. network alignment), and consider two learning tasks are independent from each other, which is still away from the fact. On the representation space, the vast majority of existing methods are built upon the traditional Euclidean space, unaware of the inherent geometry of social networks. The third issue is on the scarce anchor users. Annotating anchor users is laborious and expensive, and thus it is impractical to work with quantities of anchor users. Herein, in light of the issues above, we propose to study a challenging yet practical problem of Geometry-aware Collective Link Prediction across Multiplex Network. To address this problem, we present a novel contrastive model, RCoCo, which collaborates intra- and inter-network behaviors in Riemannian spaces. In RCoCo, we design a curvature-aware graph attention network ($\kappa-$GAT), conducting attention mechanism in Riemannian manifold whose curvature is estimated by the Ricci curvatures over the network. Thereafter, we formulate intra- and inter-contrastive loss in the manifolds, in which we augment graphs by exploring the high-order structure of community and information transfer on anchor users. Finally, we conduct extensive experiments with 14 strong baselines on 8 real-world datasets, and show the effectiveness of RCoCo.


title: Improving generalisation via anchor multivariate analysis

abstract: We introduce a causal regularisation extension to anchor regression (AR) for improved out-of-distribution (OOD) generalisation. We present anchor-compatible losses, aligning with the anchor framework to ensure robustness against distribution shifts. Various multivariate analysis (MVA) algorithms, such as (Orthonormalized) PLS, RRR, and MLR, fall within the anchor framework. We observe that simple regularisation enhances robustness in OOD settings. Estimators for selected algorithms are provided, showcasing consistency and efficacy in synthetic and real-world climate science problems. The empirical validation highlights the versatility of anchor regularisation, emphasizing its compatibility with MVA approaches and its role in enhancing replicability while guarding against distribution shifts. The extended AR framework advances causal inference methodologies, addressing the need for reliable OOD generalisation.


title: Circular Programs and Self-Referential Structures

abstract: A circular program creates a data structure whose computation depends upon itself or refers to itself. The technique is used to implement the classic data structures circular and doubly-linked lists, threaded trees and queues, in a functional programming language. These structures are normally thought to require updatable variables found in imperative languages. For example, a functional program to perform the breadth-first traversal of a tree is given. Some of the examples result in circular data structures when evaluated. Some examples are particularly space-efficient by avoiding the creation of intermediate temporary structures which would otherwise later become garbage. Lastly, the technique can be applied in an imperative language to give an elegant program.


title: Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions

abstract: Pointer arithmetic is widely used in low-level programs, e.g. memory allocators. The specification of such programs usually requires using pointer arithmetic inside inductive definitions to define the common data structures, e.g. heap lists in memory allocators. In this work, we investigate decision problems for SLAH, a separation logic fragment that allows pointer arithmetic inside inductive definitions, thus enabling specification of properties for programs manipulating heap lists. Pointer arithmetic inside inductive definitions is challenging for automated reasoning. We tackle this challenge and achieve decision procedures for both satisfiability and entailment of SLAH formulas. The crux of our decision procedure for satisfiability is to compute summaries of inductive definitions. We show that although the summary is naturally expressed as an existentially quantified non-linear arithmetic formula, it can actually be transformed into an equivalent linear arithmetic formula. The decision procedure for entailment, on the other hand, has to match and split the spatial atoms according to the arithmetic relation between address variables. We report on the implementation of these decision procedures and their good performance in solving problems issued from the verification of building block programs used in memory allocators.


title: Map-aided annotation for pole base detection

abstract: For autonomous navigation, high definition maps are a widely used source of information. Pole-like features encoded in HD maps such as traffic signs, traffic lights or street lights can be used as landmarks for localization. For this purpose, they first need to be detected by the vehicle using its embedded sensors. While geometric models can be used to process 3D point clouds retrieved by lidar sensors, modern image-based approaches rely on deep neural network and therefore heavily depend on annotated training data. In this paper, a 2D HD map is used to automatically annotate pole-like features in images. In the absence of height information, the map features are represented as pole bases at the ground level. We show how an additional lidar sensor can be used to filter out occluded features and refine the ground projection. We also demonstrate how an object detector can be trained to detect a pole base. To evaluate our methodology, it is first validated with data manually annotated from semantic segmentation and then compared to our own automatically generated annotated data recorded in the city of Compi{\`e}gne, France. Erratum: In the original version [1], an error occurred in the accuracy evaluation of the different models studied and the evaluation method applied on the detection results was not clearly defined. In this revision, we offer a rectification to this segment, presenting updated results, especially in terms of Mean Absolute Errors (MAE).


title: Output feedback stabilisation of bilinear systems via control templates

abstract: We establish a separation principle for the output feedback stabilisation of state-affine systems that are observable at the stabilization target. Relying on control templates (recently introduced in [4]), that allow to approximate a feedback control while maintaining observability, we design a closed loop hybrid state-observer system that we show to be semi-globally asymptotically stable. Under assumption of polynomiality of the system with respect to the control, we give an explicit construction of control templates. We illustrate the results of the paper with numerical simulations.


title: Seismogenic Potential of the Subduction Zone in Northern Chile

abstract: The northern Chile region of the Nazca subduction zone ruptured in an Mw$\sim$8.5--9.0 earthquake in 1877, which induced a tsunami. The various magnitude estimates of this event are based on the evaluation of historical records, seismic intensities, and/or tide gauge information; however, its actual along-strike extent is debated. Based on geodetic data, the previous studies have suggested that this region has the potential for an Mw8.2--8.8 event. We re-evaluate the seismic potential of the region, accounting for the buildup rate of moment deficit along the megathrust, the earthquake magnitude--frequency distribution, and the physics of earthquakes. We combine an improved probabilistic estimate of moment deficit rate with results from dynamic models of the earthquake cycle, testing, in particular, the influence of a potential aseismic barrier near the city of Iquique, which may influence the extent and magnitude of large events in this region. We find that Mw8.8 is the most probable maximum magnitude earthquake in the region, and that the potential barrier likely has a limited impact considering uncertainties. We discuss the effect of the moment deficit rate on the fault, the b-value, and the importance of postseismic processes on our results.


title: Penetration Testing of 5G Core Network Web Technologies

abstract: Thanks to technologies such as virtual network function the Fifth Generation (5G) of mobile networks dynamically allocate resources to different types of users in an on-demand fashion. Virtualization extends up to the 5G core, where software-defined networks and network slicing implement a customizable environment. These technologies can be controlled via application programming interfaces and web technologies, inheriting hence their security risks and settings. An attacker exploiting vulnerable implementations of the 5G core may gain privileged control of the network assets and disrupt its availability. However, there is currently no security assessment of the web security of the 5G core network. In this paper, we present the first security assessment of the 5G core from a web security perspective. We use the STRIDE threat modeling approach to define a complete list of possible threat vectors and associated attacks. Thanks to a suite of security testing tools, we cover all of these threats and test the security of the 5G core. In particular, we test the three most relevant open-source 5G core implementations, i.e., Open5GS, Free5Gc, and OpenAirInterface. Our analysis shows that all these cores are vulnerable to at least two of our identified attack vectors, demanding increased security measures in the development of future 5G core networks.


title: The Canadian Traveller Problem on outerplanar graphs

abstract: We study the PSPACE-complete $k$-Canadian Traveller Problem, where a weighted graph $G=(V,E,\omega)$ with a source $s\in V$ and a target $t\in V$ are given. This problem also has a hidden input $E_* \subsetneq E$ of cardinality at most $k$ representing blocked edges. The objective is to travel from $s$ to $t$ with the minimum distance. At the beginning of the walk, the blockages $E_*$ are unknown: the traveller discovers that an edge is blocked when visiting one of its endpoints. Online algorithms, also called strategies, have been proposed for this problem and assessed with the competitive ratio, i.e. the ratio between the distance actually traversed by the traveller divided by the distance we would have traversed knowing the blockages in advance. Even though the optimal competitive ratio is $2k+1$ even on unit-weighted planar graphs of treewidth 2, we design a polynomial-time strategy achieving competitive ratio $9$ on unit-weighted outerplanar graphs. This value $9$ also stands as a lower bound for this family of graphs as we prove that, for any $\varepsilon > 0$, no strategy can achieve a competitive ratio $9-\varepsilon$. Finally, we show that it is not possible to achieve a constant competitive ratio (independent of $G$ and $k$) on weighted outerplanar graphs.


title: Recommending Missed Citations Identified by Reviewers: A New Task, Dataset and Baselines

abstract: Citing comprehensively and appropriately has become a challenging task with the explosive growth of scientific publications. Current citation recommendation systems aim to recommend a list of scientific papers for a given text context or a draft paper. However, none of the existing work focuses on already included citations of full papers, which are imperfect and still have much room for improvement. In the scenario of peer reviewing, it is a common phenomenon that submissions are identified as missing vital citations by reviewers. This may lead to a negative impact on the credibility and validity of the research presented. To help improve citations of full papers, we first define a novel task of Recommending Missed Citations Identified by Reviewers (RMC) and construct a corresponding expert-labeled dataset called CitationR. We conduct an extensive evaluation of several state-of-the-art methods on CitationR. Furthermore, we propose a new framework RMCNet with an Attentive Reference Encoder module mining the relevance between papers, already-made citations, and missed citations. Empirical results prove that RMC is challenging, with the proposed architecture outperforming previous methods in all metrics. We release our dataset and benchmark models to motivate future research on this challenging new task.


title: A Survey on Evaluation of Out-of-Distribution Generalization

abstract: Machine learning models, while progressively advanced, rely heavily on the IID assumption, which is often unfulfilled in practice due to inevitable distribution shifts. This renders them susceptible and untrustworthy for deployment in risk-sensitive applications. Such a significant problem has consequently spawned various branches of works dedicated to developing algorithms capable of Out-of-Distribution (OOD) generalization. Despite these efforts, much less attention has been paid to the evaluation of OOD generalization, which is also a complex and fundamental problem. Its goal is not only to assess whether a model's OOD generalization capability is strong or not, but also to evaluate where a model generalizes well or poorly. This entails characterizing the types of distribution shifts that a model can effectively address, and identifying the safe and risky input regions given a model. This paper serves as the first effort to conduct a comprehensive review of OOD evaluation. We categorize existing research into three paradigms: OOD performance testing, OOD performance prediction, and OOD intrinsic property characterization, according to the availability of test data. Additionally, we briefly discuss OOD evaluation in the context of pretrained models. In closing, we propose several promising directions for future research in OOD evaluation.


title: ICLN: Input Convex Loss Network for Decision Focused Learning

abstract: In decision-making problem under uncertainty, predicting unknown parameters is often considered independent of the optimization part. Decision-focused Learning (DFL) is a task-oriented framework to integrate prediction and optimization by adapting predictive model to give better decision for the corresponding task. Here, an inevitable challenge arises when computing gradients of the optimal decision with respect to the parameters. Existing researches cope this issue by smoothly reforming surrogate optimization or construct surrogate loss function that mimic task loss. However, they are applied to restricted optimization domain or build functions in a local manner leading a large computational time. In this paper, we propose Input Convex Loss Network (ICLN), a novel global surrogate loss which can be implemented in a general DFL paradigm. ICLN learns task loss via Input Convex Neural Networks which is guaranteed to be convex for some inputs, while keeping the global structure for the other inputs. This enables ICLN to admit general DFL through only a single surrogate loss without any sense for choosing appropriate parametric forms. We confirm effectiveness and flexibility of ICLN by evaluating our proposed model with three stochastic decision-making problems.


title: D\'ej\`aVu: KV-cache Streaming for Fast, Fault-tolerant Generative LLM Serving

abstract: Distributed LLM serving is costly and often underutilizes hardware accelerators due to three key challenges: bubbles in pipeline-parallel deployments caused by the bimodal latency of prompt and token processing, GPU memory overprovisioning, and long recovery times in case of failures. In this paper, we propose D\'ej\`aVu, a system to address all these challenges using a versatile and efficient KV cache streaming library (D\'ej\`aVuLib). Using D\'ej\`aVuLib, we propose and implement efficient prompt-token disaggregation to reduce pipeline bubbles, microbatch swapping for efficient GPU memory management, and state replication for fault-tolerance. We highlight the efficacy of these solutions on a range of large models across cloud deployments.


title: Gesture recognition with Brownian reservoir computing using geometrically confined skyrmion dynamics

abstract: Physical reservoir computing (RC) is a beyond von-Neumann computing paradigm that harnesses the dynamical properties of a complex physical system (reservoir) to process information efficiently in tasks such as pattern recognition. This hardware-centered approach drastically reduces training efforts and holds potential for significantly reduced energy consumption operation. Magnetic skyrmions, topological, particle-like spin textures, are considered highly promising candidates for reservoir computing systems due to their non-linear interactions and established mechanisms for low power manipulation combined with thermally excited dynamics. So far spin-based reservoir computing has been used for static detection or has been based on intrinsic magnetization dynamics timescales, that require cumbersome rescaling of typically slower real-world data. Here we harness the power of time-multiplexed skyrmion RC by adjusting the intrinsic timescales of the reservoir to the timescales of real-world temporal patterns: we recognize hand gestures recorded with range-doppler radar on a millisecond timescale and feed the data as a time-dependent voltage excitation directly into our device. We observe the temporal evolution of the skyrmion trajectory using read-out at just one position of the reservoir, which allows for scaling onto the nanometer scale. We find that our hardware solution exhibits competitive performance compared with a state-of-the-art energy-intensive software-based neural network. The key advantage of our hardware approach lies in its capacity to seamlessly integrate data from sensors without the need for temporal conversion, thanks to the time-dependent input and tunable intrinsic timescales of the skyrmion dynamics in the reservoir. This feature enables real-time feeding of the reservoir, opening a multitude of applications.


title: I DPID It My Way! A Covert Timing Channel in Software-Defined Networks

abstract: Software-defined networking is considered a promising new paradigm, enabling more reliable and formally verifiable communication networks. However, this paper shows that the separation of the control plane from the data plane, which lies at the heart of Software-Defined Networks (SDNs), can be exploited for covert channels based on SDN Teleportation, even when the data planes are physically disconnected. This paper describes the theoretical model and design of our covert timing channel based on SDN Teleportation. We implement our covert channel using a popular SDN switch, Open vSwitch, and a popular SDN controller, ONOS. Our evaluation of the prototype shows that even under load at the controller, throughput rates of 20 bits per second are possible, with a communication accuracy of approximately 90\%. We also discuss techniques to increase the throughput further.


title: High curvature means low-rank: On the sectional curvature of Grassmann and Stiefel manifolds and the underlying matrix trace inequalities

abstract: Methods and algorithms that work with data on nonlinear manifolds are collectively summarized under the term `Riemannian computing'. In practice, curvature can be a key limiting factor for the performance of Riemannian computing methods. Yet, curvature can also be a powerful tool in the theoretical analysis of Riemannian algorithms. In this work, we investigate the sectional curvature of the Stiefel and Grassmann manifold. On the Grassmannian, tight curvature bounds are known since the late 1960ies. On the Stiefel manifold under the canonical metric, it was believed that the sectional curvature does not exceed 5/4. Under the Euclidean metric, the maximum was conjectured to be at 1. For both manifolds, the sectional curvature is given by the Frobenius norm of certain structured commutator brackets of skew-symmetric matrices. We provide refined inequalities for such terms and pay special attention to the maximizers of the curvature bounds. In this way, we prove for the Stiefel manifold that the global bounds of 5/4 (canonical metric) and 1 (Euclidean metric) hold indeed. With this addition, a complete account of the curvature bounds in all admissible dimensions is obtained. We observe that `high curvature means low-rank', more precisely, for the Stiefel and Grassmann manifolds under the canonical metric, the global curvature maximum is attained at tangent plane sections that are spanned by rank-two matrices, while the extreme curvature cases of the Euclidean Stiefel manifold occur for rank-one matrices. Numerical examples are included for illustration purposes.


title: A regular non-weakly discretely generated P-space

abstract: We construct a consistent example of a topological space $Y=X \cup \{\infty\}$ such that: 1) $Y$ is regular. 2) Every $G_\delta$ subset of $Y$ is open. 3) The point $\infty$ is not isolated, but it is not in the closure of any discrete subset of $X$.


title: The positive energy theorem for weighted asymptotically anti-de Sitter spacetimes

abstract: The positive energy theorem for weighted asymptotically flat spin manifolds was proved by Baldauf and Ozuch \cite{BO}, and for non-spin case by Chu and Zhu \cite{CZh}. In this paper, we generalize the positive energy theorem for 3-dimensional asymptotically anti-de Sitter initial data sets to weighted asymptotically anti-de Sitter initial data sets assuming that the weighted dominant energy condition holds.


title: Using Virtual Reality for Detection and Intervention of Depression -- A Systematic Literature Review

abstract: The use of emerging technologies like Virtual Reality (VR) in therapeutic settings has increased in the past few years. By incorporating VR, a mental health condition like depression can be assessed effectively, while also providing personalized motivation and meaningful engagement for treatment purposes. The integration of external sensors further enhances the engagement of the subjects with the VR scenes. This paper presents a comprehensive review of existing literature on the detection and treatment of depression using VR. It explores various types of VR scenes, external hardware, innovative metrics, and targeted user studies conducted by researchers and professionals in the field. The paper also discusses potential requirements for designing VR scenes specifically tailored for depression assessment and treatment, with the aim of guiding future practitioners in this area.


title: Telling late-time tails for a massive scalar field in the background of brane-localized black holes

abstract: We examine perturbations of a massive scalar field around spherically symmetric, brane-localized black holes. Although the ringdown and asymptotic tails of various brane-world black holes have been extensively studied, there has been no analysis of the massive late-time tails for the simplest Schwarzschild-like, brane-localized black hole to date. We demonstrate that after the ringdown phase, two stages of oscillatory tails emerge - intermediate and asymptotic. The asymptotic decay law is distinct from those associated with Schwarzschild or Reissner-Nordstrom solutions.


title: Local existence of classical solution to the chemotaxis-shallow water system with vacuum in $\mathbb{R}^2$

abstract: In this paper, we consider the chemotaxis-shallow water system in $\mathbb{R}^2$. We establish the local existence of classical solution without assuming the initial height is small or has a small perturbation near a constant. The far field behavior of the height is a constant which could be either vacuum or non-vacuum. The initial data is allowed vacuum and the spatial measure of the set of vacuum can be arbitrarily large.


title: Revisiting the dust torus size-luminosity relation based on a uniform reverberation mapping analysis

abstract: We investigate the torus size -- luminosity relation of Type 1 AGNs based on the reverberation-mapping analysis using the light curves of the optical continuum and the IR continuum obtained with the W1 and W2-bands of the Wide-field Infrared Survey Explorer (WISE) survey. The final sample consists of 446 and 416 AGNs, respectively, for W1 and W2-band light curves, covering a large dynamic range of bolometric luminosity from $10^{43.4}$ to $10^{47.6}$ $erg \, s^{-1}$, which show reliable lag measurements based on our quality assessment analysis. After correcting for the accretion disk contamination in the observed IR flux, we constrain the torus size ($R_{dust}$) and AGN bolometric luminosity ($L_{bol}$) relationship with the best-fit slope of 0.39 (0.33) for the W1- (W2-) band, which is shallower than expected from the dust radiation equilibrium model. By combining the previous K-band lag measurements, we find that the measured torus size depends on the observed wavelength of the dust radiation, as $R_{dust,K}:R_{dust,W1}:R_{dust,W2}$ = 1.0:1.5:1.8 ($R_{dust} \, \propto \, \lambda^{0.80}$) at $L_{bol}$ = $10^{46} \, erg \, s^{-1}$, confirming a stratified structure of the torus, where wavelength-dependent emissions originate from distinct regions of the torus. By investigating the deviation from the best-fit torus size -- luminosity relation, we find a moderate correlation between the offset from the $R_{dust}$--$L_{bol}$ relation and Eddington ratio. This suggests a possible influence of the Eddington ratio on the observed flattening of the $R_{dust}$--$L_{bol}$ relationship.


title: FCDS: Fusing Constituency and Dependency Syntax into Document-Level Relation Extraction

abstract: Document-level Relation Extraction (DocRE) aims to identify relation labels between entities within a single document. It requires handling several sentences and reasoning over them. State-of-the-art DocRE methods use a graph structure to connect entities across the document to capture dependency syntax information. However, this is insufficient to fully exploit the rich syntax information in the document. In this work, we propose to fuse constituency and dependency syntax into DocRE. It uses constituency syntax to aggregate the whole sentence information and select the instructive sentences for the pairs of targets. It exploits the dependency syntax in a graph structure with constituency syntax enhancement and chooses the path between entity pairs based on the dependency graph. The experimental results on datasets from various domains demonstrate the effectiveness of the proposed method. The code is publicly available at this url.


title: On $3$-dimensional MRD codes of type $\langle x^{q^t},x+\delta x^{q^{2t}},G(x) \rangle$

abstract: In this work we present results on the classification of $\mathbb{F}_{q^n}$-linear MRD codes of dimension three. In particular, using connections with certain algebraic varieties over finite fields, we provide non-existence results for MRD codes $\mathcal{C}=\langle x^{q^t}, F(x), G(x) \rangle \subseteq \mathcal{L}_{n,q}$ of exceptional type, i.e. such that $\mathcal{C}$ is MRD over infinite many extensions of the field $\mathbb{F}_{q^n}$. These results partially address a conjecture of Bartoli, Zini and Zullo in 2023.


title: Fast Benchmarking of Asynchronous Multi-Fidelity Optimization on Zero-Cost Benchmarks

abstract: While deep learning has celebrated many successes, its results often hinge on the meticulous selection of hyperparameters (HPs). However, the time-consuming nature of deep learning training makes HP optimization (HPO) a costly endeavor, slowing down the development of efficient HPO tools. While zero-cost benchmarks, which provide performance and runtime without actual training, offer a solution for non-parallel setups, they fall short in parallel setups as each worker must communicate its queried runtime to return its evaluation in the exact order. This work addresses this challenge by introducing a user-friendly Python package that facilitates efficient parallel HPO with zero-cost benchmarks. Our approach calculates the exact return order based on the information stored in file system, eliminating the need for long waiting times and enabling much faster HPO evaluations. We first verify the correctness of our approach through extensive testing and the experiments with 6 popular HPO libraries show its applicability to diverse libraries and its ability to achieve over 1000x speedup compared to a traditional approach. Our package can be installed via pip install mfhpo-simulator.


title: Polarity vs Chirality: Functionality from competing magneto-structural instabilities

abstract: We report a phenomenological magneto-structural model based on competing free-energy terms that couple either polar or chiral distortions in cubic quadruple perovskites, depending on the global direction of magnetic moments. The model naturally explains why some compounds in this material system host magnetically-induced ferroelectricity at low temperature, while others such as CaMn$_3$(Cr$_3$Mn)O$_{12}$, which we characterise experimentally, do not. Importantly, our results suggest a new approach towards developing an applied multiferroic functionality, and can be generalised to other multi-sublattice systems where the magnetic interaction between sublattices is prohibited by spatial inversion.


title: Aerial Tensile Perching and Disentangling Mechanism for Long-Term Environmental Monitoring

abstract: Aerial robots show significant potential for forest canopy research and environmental monitoring by providing data collection capabilities at high spatial and temporal resolutions. However, limited flight endurance hinders their application. Inspired by natural perching behaviours, we propose a multi-modal aerial robot system that integrates tensile perching for energy conservation and a suspended actuated pod for data collection. The system consists of a quadrotor drone, a slewing ring mechanism allowing 360{\deg} tether rotation, and a streamlined pod with two ducted propellers connected via a tether. Winding and unwinding the tether allows the pod to move within the canopy, and activating the propellers allows the tether to be wrapped around branches for perching or disentangling. We experimentally determined the minimum counterweights required for stable perching under various conditions. Building on this, we devised and evaluated multiple perching and disentangling strategies. Comparisons of perching and disentangling manoeuvres demonstrate energy savings that could be further maximized with the use of the pod or tether winding. These approaches can reduce energy consumption to only 22\% and 1.5\%, respectively, compared to a drone disentangling manoeuvre. We also calculated the minimum idle time required by the proposed system after the system perching and motor shut down to save energy on a mission, which is 48.9\% of the operating time. Overall, the integrated system expands the operational capabilities and enhances the energy efficiency of aerial robots for long-term monitoring tasks.


title: Gotta catch 'em all, safely! Aerial-deployed soft underwater gripper

abstract: Underwater soft grippers exhibit potential for applications such as monitoring, research, and object retrieval. However, existing underwater gripping techniques frequently cause disturbances to ecosystems. In response to this challenge, we present a novel underwater gripping framework comprising a lightweight gripper affixed to a custom submarine pod deployable via drone. This approach minimizes water disturbance and enables efficient navigation to target areas, enhancing overall mission effectiveness. The pod allows for underwater motion and is characterized by four degrees of freedom. It is provided with a custom buoyancy system, two water pumps for differential thrust and two for pitching. The system allows for buoyancy adjustments up to a depth of 6 meters, as well as motion in the plane. The 3-fingered gripper is manufactured out of silicone and was successfully tested on objects with different shapes and sizes, demonstrating a maximum pulling force of up to 8 N when underwater. The reliability of the submarine pod was tested in a water tank by tracking its attitude and energy consumption during grasping maneuvers. The system also accomplished a successful mission in a lake, where it was deployed on a hexacopter. Overall, the integration of this system expands the operational capabilities of underwater grasping, makes grasping missions more efficient and easy to automate, as well as causing less disturbance to the water ecosystem.


title: Information Lower Bounds for Robust Mean Estimation

abstract: We prove lower bounds on the error of any estimator for the mean of a real probability distribution under the knowledge that the distribution belongs to a given set. We apply these lower bounds both to parametric and nonparametric estimation. In the nonparametric case, we apply our results to the question of sub-Gaussian estimation for distributions with finite variance to obtain new lower bounds in the small error probability regime, and present an optimal estimator in that regime. In the (semi-)parametric case, we use the Fisher information to provide distribution-dependent lower bounds that are constant-tight asymptotically, of order $\sqrt{2\log(1/\delta)/(nI)}$ where $I$ is the Fisher information of the distribution. We use known minimizers of the Fisher information on some nonparametric set of distributions to give lower bounds in cases such as corrupted distributions, or bounded/semi-bounded distributions.


title: Particle systems with sources and sinks

abstract: Local perturbations in conservative particle systems can have a non-local influence on the stationary measure. To capture this phenomenon, we analyze in this paper two toy models. We study the symmetric exclusion process on a countable set of sites V with a source at a given point (called the origin), starting from a Bernoulli product measure with density $\rho$. We prove that when the underlying random walk on V is recurrent, then the system evolves towards full occupation, whereas in the transient case we obtain a limiting distribution which is not product and has long-range correlations. For independent random walkers on V , we analyze the same problem, starting from a Poissonian measure. Via intertwining with a system of ODE's, we prove that the distribution is Poissonian at all later times t > 0, and that the system ''explodes'' in the limit t $\rightarrow$ $\infty$ if and only if the underlying random walk is recurrent. In the transient case, the limiting density is a simple function of the Green's function of the random walk.


title: Wafer-scale uniformity improvement of Dolan-bridge Josephson junction by shadow evaporation bias correction

abstract: One of the practical limitations of solid-state superconducting quantum processors technology is frequency crowding due to low qubits fabrication reproducibility. Josephson junction 100 nm-scale nonlinear inductance of the qubits still suffers from Dolan-bridge shadow evaporation process. Here, we report on a robust wafer-scale Al/AlOx/Al Dolan-bridge Josephson junction (JJ) process using preliminary shadow evaporation bias resist mask correction and comprehensive oxidation optimization. We introduce topology correction model for two-layer resist mask biasing at a wafer-scale, which takes into account an evaporation source geometry. It results in Josephson junction area variation coefficient improvement down to 1.1% for the critical dimensions from 130x170 nm2 to 130x670 nm2 over 70x70 mm2 (49 cm2) wafer working area. Next, we investigate JJ oxidation process (oxidation method, pressure and time) and its impact on a room temperature resistance reproducibility. Finally, we combine both shadow evaporation bias correction and oxidation best practices for 4-inch wafers improving room temperature resistance variation coefficient down to 6.0/5.2/4.1% for 0.025 {\mu}m2 JJ area and 4.0/3.4/2.3% for 0.090 {\mu}m2 JJ area for 49/25/16 cm2 wafer working area correspondingly. The proposed model and oxidation method can be useful for robust wafer-scale superconducting quantum processors fabrication.


title: Unsupervised Distance Metric Learning for Anomaly Detection Over Multivariate Time Series

abstract: Distance-based time series anomaly detection methods are prevalent due to their relative non-parametric nature and interpretability. However, the commonly used Euclidean distance is sensitive to noise. While existing works have explored dynamic time warping (DTW) for its robustness, they only support supervised tasks over multivariate time series (MTS), leaving a scarcity of unsupervised methods. In this work, we propose FCM-wDTW, an unsupervised distance metric learning method for anomaly detection over MTS, which encodes raw data into latent space and reveals normal dimension relationships through cluster centers. FCM-wDTW introduces locally weighted DTW into fuzzy C-means clustering and learns the optimal latent space efficiently, enabling anomaly identification via data reconstruction. Experiments with 11 different types of benchmarks demonstrate our method's competitive accuracy and efficiency.


title: Robustness Bounds on the Successful Adversarial Examples: Theory and Practice

abstract: Adversarial example (AE) is an attack method for machine learning, which is crafted by adding imperceptible perturbation to the data inducing misclassification. In the current paper, we investigated the upper bound of the probability of successful AEs based on the Gaussian Process (GP) classification. We proved a new upper bound that depends on AE's perturbation norm, the kernel function used in GP, and the distance of the closest pair with different labels in the training dataset. Surprisingly, the upper bound is determined regardless of the distribution of the sample dataset. We showed that our theoretical result was confirmed through the experiment using ImageNet. In addition, we showed that changing the parameters of the kernel function induces a change of the upper bound of the probability of successful AEs.


title: Fostering the Ecosystem of Open Neural Encoders for Portuguese with Albertina PT* Family

abstract: To foster the neural encoding of Portuguese, this paper contributes foundation encoder models that represent an expansion of the still very scarce ecosystem of large language models specifically developed for this language that are fully open, in the sense that they are open source and openly distributed for free under an open license for any purpose, thus including research and commercial usages. Like most languages other than English, Portuguese is low-resourced in terms of these foundational language resources, there being the inaugural 900 million parameter Albertina and 335 million Bertimbau. Taking this couple of models as an inaugural set, we present the extension of the ecosystem of state-of-the-art open encoders for Portuguese with a larger, top performance-driven model with 1.5 billion parameters, and a smaller, efficiency-driven model with 100 million parameters. While achieving this primary goal, further results that are relevant for this ecosystem were obtained as well, namely new datasets for Portuguese based on the SuperGLUE benchmark, which we also distribute openly.


title: Revisiting Learning-based Video Motion Magnification for Real-time Processing

abstract: Video motion magnification is a technique to capture and amplify subtle motion in a video that is invisible to the naked eye. The deep learning-based prior work successfully demonstrates the modelling of the motion magnification problem with outstanding quality compared to conventional signal processing-based ones. However, it still lags behind real-time performance, which prevents it from being extended to various online applications. In this paper, we investigate an efficient deep learning-based motion magnification model that runs in real time for full-HD resolution videos. Due to the specified network design of the prior art, i.e. inhomogeneous architecture, the direct application of existing neural architecture search methods is complicated. Instead of automatic search, we carefully investigate the architecture module by module for its role and importance in the motion magnification task. Two key findings are 1) Reducing the spatial resolution of the latent motion representation in the decoder provides a good trade-off between computational efficiency and task quality, and 2) surprisingly, only a single linear layer and a single branch in the encoder are sufficient for the motion magnification task. Based on these findings, we introduce a real-time deep learning-based motion magnification model with4.2X fewer FLOPs and is 2.7X faster than the prior art while maintaining comparable quality.


title: De Rham $F$-gauges and Shimura varieties

abstract: We study $F$-gauges for de Rham cohomology of smooth algebraic varieties in characteristic $p$. Applying to good reductions of Shimura varieties of Hodge type, we recover the Ekedahl-Oort stratifications by constructing universal de Rham $F$-gauges with $G$-structure. We also study the cohomology of de Rham $F$-gauges on these varieties. In particular, in the PEL type case and when the weights of the flat automorphic vector bundles are $p$-small, we determine the $F$-gauge structure on their de Rham cohomology by the associated dual BGG complexes.