title: The Correlation Energy of the Electron Gas in the Mean-Field Regime

abstract: We prove a rigorous lower bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of singular interactions, including the Coulomb potential. Combined with the upper bound obtained in \cite{ChrHaiNam-23b}, our result establishes an analogue of the Gell-Mann--Brueckner formula $c_{1}\rho\log\left(\rho\right)+c_{2}\rho$ for the correlation energy of the electron gas in the high-density limit. Moreover, our analysis allows us to go beyond mean-field scaling while still covering the same class of potentials.


title: Lexicographic Optimization: Algorithms and Stability

abstract: A lexicographic maximum of a set $X \subseteq \mathbb{R}^n$ is a vector in $X$ whose smallest component is as large as possible, and subject to that requirement, whose second smallest component is as large as possible, and so on for the third smallest component, etc. Lexicographic maximization has numerous practical and theoretical applications, including fair resource allocation, analyzing the implicit regularization of learning algorithms, and characterizing refinements of game-theoretic equilibria. We prove that a minimizer in $X$ of the exponential loss function $L_c(\mathbf{x}) = \sum_i \exp(-c x_i)$ converges to a lexicographic maximum of $X$ as $c \rightarrow \infty$, provided that $X$ is stable in the sense that a well-known iterative method for finding a lexicographic maximum of $X$ cannot be made to fail simply by reducing the required quality of each iterate by an arbitrarily tiny degree. Our result holds for both near and exact minimizers of the exponential loss, while earlier convergence results made much stronger assumptions about the set $X$ and only held for the exact minimizer. We are aware of no previous results showing a connection between the iterative method for computing a lexicographic maximum and exponential loss minimization. We show that every convex polytope is stable, but that there exist compact, convex sets that are not stable. We also provide the first analysis of the convergence rate of an exponential loss minimizer (near or exact) and discover a curious dichotomy: While the two smallest components of the vector converge to the lexicographically maximum values very quickly (at roughly the rate $\frac{\log n}{c}$), all other components can converge arbitrarily slowly.


title: Meson spectroscopy from spectral densities in lattice gauge theories

abstract: Spectral densities encode non-perturbative information that enters the calculation of a plethora of physical observables in strongly coupled field theories. Phenomenological applications encompass aspects of standard-model hadronic physics, observable at current colliders, as well as correlation functions characterizing new physics proposals, testable in future experiments. By making use of numerical data produced with lattice gauge theories, we perform a systematic study to demonstrate the effectiveness of recent technological progress in the reconstruction of spectral densities. To this purpose, we write and test new software packages that use energy-smeared spectral densities to analyze the mass spectrum of mesons. We assess the effectiveness of different smearing kernels and optimize the smearing parameters to the characteristics of available lattice ensembles. For concreteness, we analyze the Sp(4) lattice gauge theory with matter transforming in an admixture of fundamental and 2-index antisymmetric representations of the gauge group. We generate new ensembles for this theory, with lattices that have a longer extent in the time direction with respect to the spatial ones. We run our tests on these ensembles, obtaining new results about the spectrum of light mesons and their excitations. We make available our algorithm and software for the extraction of spectral densities, that can be applied to theories with other gauge groups, including the theory of strong interactions (QCD) governing hadronic physics in the standard model.


title: Invariant Risk Minimization Is A Total Variation Model

abstract: Invariant risk minimization (IRM) is an arising approach to generalize invariant features to different environments in machine learning. While most related works focus on new IRM settings or new application scenarios, the mathematical essence of IRM remains to be properly explained. We verify that IRM is essentially a total variation based on $L^2$ norm (TV-$\ell_2$) of the learning risk with respect to the classifier variable. Moreover, we propose a novel IRM framework based on the TV-$\ell_1$ model. It not only expands the classes of functions that can be used as the learning risk and the feature extractor, but also has robust performance in denoising and invariant feature preservation based on the coarea formula. We also illustrate some requirements for IRM-TV-$\ell_1$ to achieve out-of-distribution generalization. Experimental results show that the proposed framework achieves competitive performance in several benchmark machine learning scenarios.


title: $\bar{b}c$ susceptibilities from fully relativistic lattice QCD

abstract: We compute the $\bar{h}c$ (pseudo)scalar, (axial-)vector and (axial-)tensor susceptibilities as a function of $u=m_c/m_h$ between $u=m_c/m_b$ and $u=0.8$ using fully relativistic lattice QCD, employing nonperturbative current renormalisation and using the second generation 2+1+1 MILC HISQ gluon field configurations. We include ensembles with $a\approx 0.09\mathrm{fm}$, $0.06\mathrm{fm}$, $0.045\mathrm{fm}$ and $0.033\mathrm{fm}$ and we are able to reach the physical $b$-quark on the two finest ensembles. At the physical $m_h=m_b$ point we find $\overline{m}_b^2 \chi_{1^+}={0.720(34)\times 10^{-2}}$, $\overline{m}_b^2 \chi_{1^-}={1.161(54)\times 10^{-2}}$, $\chi_{0^-}={2.374(33)\times 10^{-2}}$, $\chi_{0^+}={0.609(14)\times 10^{-2}}$. Our results for the (pseudo)scalar, vector and axial-vector are compatible with the expected small size of nonperturbative effects at $u=m_c/m_b$. We also give the first nonperturbative determination of the tensor susceptibilities, finding $\overline{m}_b^2 \chi_{T}={0.891(44)\times 10^{-2}}$ and $\overline{m}_b^2 \chi_{AT}={0.441(33)\times 10^{-2}}$. Our value of $\overline{m}_b^2\chi_{AT}$ is in good agreement with the $\mathcal{O}(\alpha_s)$ perturbation theory, while our result for $\overline{m}_b^2\chi_{T}$ is in tension with the $\mathcal{O}(\alpha_s)$ perturbation theory at the level of $2\sigma$. These results will allow for dispersively bounded parameterisations to be employed using lattice inputs for the full set of $h\to c$ semileptonic form factors in future calculations, for heavy-quark masses in the range $1.25\times m_c \leq m_h \leq m_b$.


title: The Sustainability Assessment Framework Toolkit: A Decade of Modeling Experience

abstract: Software intensive systems play a crucial role in most, if not all, aspects of modern society. As such, both their sustainability and their role in supporting sustainable processes, must be realized by design. To this aim, the architecture of software intensive systems should be designed to support sustainability goals; and measured to understand how effectively they do so. In this paper, we present the Sustainability Assessment Framework (SAF) Toolkit -- a set of instruments that support architects and design decision makers in modeling sustainability as a software quality property. The SAF Toolkit is the result of our experience gained in over a decade of cases in collaboration with industrial partners. We illustrate the toolkit with examples stemming from various cases. We extract our lessons learned, and our current research and future plans to extend the SAF Toolkit for further architecture modeling and measurement.


title: LLMSat: A Large Language Model-Based Goal-Oriented Agent for Autonomous Space Exploration

abstract: As spacecraft journey further from Earth with more complex missions, systems of greater autonomy and onboard intelligence are called for. Reducing reliance on human-based mission control becomes increasingly critical if we are to increase our rate of solar-system-wide exploration. Recent work has explored AI-based goal-oriented systems to increase the level of autonomy in mission execution. These systems make use of symbolic reasoning managers to make inferences from the state of a spacecraft and a handcrafted knowledge base, enabling autonomous generation of tasks and re-planning. Such systems have proven to be successful in controlled cases, but they are difficult to implement as they require human-crafted ontological models to allow the spacecraft to understand the world. Reinforcement learning has been applied to train robotic agents to pursue a goal. A new architecture for autonomy is called for. This work explores the application of Large Language Models (LLMs) as the high-level control system of a spacecraft. Using a systems engineering approach, this work presents the design and development of an agentic spacecraft controller by leveraging an LLM as a reasoning engine, to evaluate the utility of such an architecture in achieving higher levels of spacecraft autonomy. A series of deep space mission scenarios simulated within the popular game engine Kerbal Space Program (KSP) are used as case studies to evaluate the implementation against the requirements. It is shown the reasoning and planning abilities of present-day LLMs do not scale well as the complexity of a mission increases, but this can be alleviated with adequate prompting frameworks and strategic selection of the agent's level of authority over the host spacecraft. This research evaluates the potential of LLMs in augmenting autonomous decision-making systems for future robotic space applications.

categories: cs.RO cs.AI cs.LG cs.MA physics.space-ph


title: Development of the strip LGAD detector with double-end readout for future colliders

abstract: The Low-Gain Avalanche Diode (LGAD) is a new silicon detector and holds wide application prospects in particle physics experiments due to its excellent timing resolution. The LGAD with a pixel size of 1.3 mm $\times$ 1.3 mm was used to construct a High Granularity Timing Detector (HGTD) in ATLAS experiments to solve the pile-up problem. Meanwhile, the Circular Electron Positron Collider (CEPC) also proposes detectors using the LGAD. However, pixel LGAD exhibits higher readout electronics density and cost, which somewhat limits the application of LGADs. To decrease the readout electronics density, the Institute of High Energy Physics (IHEP) of the Chinese Academy of Sciences has designed strip LGADs with larger areas. These strip LGADs are all 19 mm in length but with different widths of 1.0 mm, 0.5 mm, and 0.3 mm. This article provides a detailed introduction to the design parameters of these strip LGADs and tests their electrical characteristics, including leakage current, break-down voltage, depletion capacitance, etc. The timing resolution and signal-to-noise ratio of the three strip LGAD sensors were investigated using a beta source test system. The position resolution parallel to the strip direction was tested and analyzed for the first time using a pico-second laser test system. Tests have demonstrated that the timing resolution of strip LGADs can reach about 37.5 ps, and position resolution parallel to the strip direction is better than 1 mm.


title: Analysis of a Modular Autonomous Driving Architecture: The Top Submission to CARLA Leaderboard 2.0 Challenge

abstract: In this paper we present the architecture of the Kyber-E2E submission to the map track of CARLA Leaderboard 2.0 Autonomous Driving (AD) challenge 2023, which achieved first place. We employed a modular architecture for our solution consists of five main components: sensing, localization, perception, tracking/prediction, and planning/control. Our solution leverages state-of-the-art language-assisted perception models to help our planner perform more reliably in highly challenging traffic scenarios. We use open-source driving datasets in conjunction with Inverse Reinforcement Learning (IRL) to enhance the performance of our motion planner. We provide insight into our design choices and trade-offs made to achieve this solution. We also explore the impact of each component in the overall performance of our solution, with the intent of providing a guideline where allocation of resources can have the greatest impact.


title: Simple rules for two-photon state preparation with linear optics

abstract: Entangling photons is a critical challenge for photonic quantum information processing: entanglement is a crucial resource for quantum communication and computation but can only be performed in a probabilistic manner when using linear optics. In this work, we leverage a two-photon state matrix representation to derive necessary and sufficient conditions on two-photon entangling operations with linear optics. We give a characterization of the input photonic states that can be used to prepare arbitrary two-qudit states in d-rail encoding with post-selection. We determine how many auxiliary photons are required to prepare any two-photon state with heralding. In addition, we present a construction for generalized post-selected n-qubit control-rotation gates.


title: Cutting corners: Hypersphere sampling as a new standard for cosmological emulators

abstract: Cosmological emulators of observables such as the Cosmic Microwave Background (CMB) spectra and matter power spectra commonly use training data sampled from a Latin hypercube. This method often incurs high computational costs by covering less relevant parts of the parameter space, especially in high dimensions where only a small fraction of the parameter space yields a significant likelihood. In this paper, we introduce hypersphere sampling, which instead concentrates sample points in regions with higher likelihoods, significantly enhancing the efficiency and accuracy of emulators. A novel algorithm for sampling within a high-dimensional hyperellipsoid aligned with axes of correlation in the cosmological parameters is presented. This method focuses the distribution of training data points on areas of the parameter space that are most relevant to the models being tested, thereby avoiding the computational redundancies common in Latin hypercube approaches. Comparative analysis using the \textsc{connect} emulation tool demonstrates that hypersphere sampling can achieve similar or improved emulation precision with more than an order of magnitude fewer data points and thus less computational effort than traditional methods. This was tested for both the $\Lambda$CDM model and a 5-parameter extension including Early Dark Energy, massive neutrinos, and additional ultra-relativistic degrees of freedom. Our results suggest that hypersphere sampling holds potential as a more efficient approach for cosmological emulation, particularly suitable for complex, high-dimensional models.


title: A Basic Overview of Various Stochastic Approaches to Financial Modeling With Examples

abstract: This paper explores stochastic modeling approaches to elucidate the intricate dynamics of stock prices and volatility in financial markets. Beginning with an overview of Brownian motion and its historical significance in finance, we delve into various stochastic models, including the classic Black-Scholes framework, the Heston model, fractional Brownian motion, GARCH models, and Levy processes. Through a thorough investigation, we analyze the strengths and limitations of each model in capturing key features of financial time series data. Our empirical analysis focuses on parameter estimation and model calibration using Levy processes, demonstrating their effectiveness in predicting stock returns. However, we acknowledge the need for further refinement and exploration, suggesting potential avenues for future research, such as hybrid modeling approaches. Overall, this study underscores the importance of stochastic modeling in understanding market dynamics and informs decision-making in the financial industry.


title: Advancing Frontiers in SLAM: A Survey of Symbolic Representation and Human-Machine Teaming in Environmental Mapping

abstract: This survey paper presents a comprehensive overview of the latest advancements in the field of Simultaneous Localization and Mapping (SLAM) with a focus on the integration of symbolic representation of environment features. The paper synthesizes research trends in multi-agent systems (MAS) and human-machine teaming, highlighting their applications in both symbolic and sub-symbolic SLAM tasks. The survey emphasizes the evolution and significance of ontological designs and symbolic reasoning in creating sophisticated 2D and 3D maps of various environments. Central to this review is the exploration of different architectural approaches in SLAM, with a particular interest in the functionalities and applications of edge and control agent architectures in MAS settings. This study acknowledges the growing demand for enhanced human-machine collaboration in mapping tasks and examines how these collaborative efforts improve the accuracy and efficiency of environmental mapping


title: Algebraic types in Zilber's exponential field

abstract: We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof.


title: Scalable Ab Initio Electronic Structure Methods with Near Chemical Accuracy for Main Group Chemistry

abstract: This study evaluates the precision of widely recognized quantum chemical methodologies, CCSD(T), DLPNO-CCSD(T) and localized ph-AFQMC, for determining the thermochemistry of main group elements. DLPNO-CCSD(T) and localized ph-AFQMC, which offer greater scalability compared to canonical CCSD(T), have emerged over the last decade as pivotal in producing precise benchmark chemical data. Our investigation includes closed-shell, neutral molecules, focusing on their heat of formation and atomization energy sourced from four specific small molecule datasets. Firstly, we selected molecules from the G2 and G3 datasets, noted for their reliable experimental heat of formation data. Additionally, we incorporate molecules from the W4-11 and W4-17 sets, which provide high-level theoretical reference values for atomization energy at 0 K. Our findings reveal that both DLPNO-CCSD(T) and ph-AFQMC methods are capable of achieving a root-mean-square deviation (RMSD) of less than 1 kcal/mol across the combined dataset, aligning with the threshold for chemical accuracy. Moreover, we make efforts to confine the maximum deviations within 2 kcal/mol, a degree of precision that significantly broadens the applicability of these methods in fields such as biology and materials science.


title: Breaking and trapping Cooper pairs by Rydberg-molecule spectroscopy in atomic Fermi superfluids

abstract: We propose a spectroscopic probe of the breaking and localization of Cooper pairs in an atomic Fermi superfluid interacting with a Rydberg impurity. This is achieved by monitoring the formation of diatomic and triatomic ultralong-range molecular species in the superfluid across the BCS - Bose Einstein condensation (BEC) crossover. The triatomic Rydberg molecule in the BEC regime heralds the trapping of a tightly-bound Cooper pair, reminiscent of pion capture in nuclear matter, while the breaking of a Cooper pair on the BCS side by a diatomic Rydberg molecule is evocative of binary-star tidal disruption by a black hole. Spectroscopy of the Fermi superfluid and Rydberg molecules allows for an estimation of the Cooper-pair size while the Rydberg molecule binding energies discern many-body pairing effects.


title: Learning Force Control for Legged Manipulation

abstract: Controlling contact forces during interactions is critical for locomotion and manipulation tasks. While sim-to-real reinforcement learning (RL) has succeeded in many contact-rich problems, current RL methods achieve forceful interactions implicitly without explicitly regulating forces. We propose a method for training RL policies for direct force control without requiring access to force sensing. We showcase our method on a whole-body control platform of a quadruped robot with an arm. Such force control enables us to perform gravity compensation and impedance control, unlocking compliant whole-body manipulation. The learned whole-body controller with variable compliance makes it intuitive for humans to teleoperate the robot by only commanding the manipulator, and the robot's body adjusts automatically to achieve the desired position and force. Consequently, a human teleoperator can easily demonstrate a wide variety of loco-manipulation tasks. To the best of our knowledge, we provide the first deployment of learned whole-body force control in legged manipulators, paving the way for more versatile and adaptable legged robots.


title: Unsupervised Flow Discovery from Task-oriented Dialogues

abstract: The design of dialogue flows is a critical but time-consuming task when developing task-oriented dialogue (TOD) systems. We propose an approach for the unsupervised discovery of flows from dialogue history, thus making the process applicable to any domain for which such an history is available. Briefly, utterances are represented in a vector space and clustered according to their semantic similarity. Clusters, which can be seen as dialogue states, are then used as the vertices of a transition graph for representing the flows visually. We present concrete examples of flows, discovered from MultiWOZ, a public TOD dataset. We further elaborate on their significance and relevance for the underlying conversations and introduce an automatic validation metric for their assessment. Experimental results demonstrate the potential of the proposed approach for extracting meaningful flows from task-oriented conversations.


title: Random Pareto front surfaces

abstract: The goal of multi-objective optimisation is to identify the Pareto front surface which is the set obtained by connecting the best trade-off points. Typically this surface is computed by evaluating the objectives at different points and then interpolating between the subset of the best evaluated trade-off points. In this work, we propose to parameterise the Pareto front surface using polar coordinates. More precisely, we show that any Pareto front surface can be equivalently represented using a scalar-valued length function which returns the projected length along any positive radial direction. We then use this representation in order to rigorously develop the theory and applications of stochastic Pareto front surfaces. In particular, we derive many Pareto front surface statistics of interest such as the expectation, covariance and quantiles. We then discuss how these can be used in practice within a design of experiments setting, where the goal is to both infer and use the Pareto front surface distribution in order to make effective decisions. Our framework allows for clear uncertainty quantification and we also develop advanced visualisation techniques for this purpose. Finally we discuss the applicability of our ideas within multivariate extreme value theory and illustrate our methodology in a variety of numerical examples, including a case study with a real-world air pollution data set.


title: Modeling of Granulation in Red Supergiants in the Magellanic Clouds with the Gaussian Process Regressions

abstract: The granulation of red supergiants (RSGs) in the Magellanic Clouds are systematically investigated by combining the latest RSGs samples and light curves from the Optical Gravitational Lensing Experiment and the All-Sky Automated Survey for Supernovae. The present RSGs samples are firstly examined for foreground stars and possible misidentified sources, and the light curves are sequentially checked to remove the outliers by white noise and photometric quality. The Gaussian Process regression is used to model the granulation, and the Markov Chain Monte Carlo is applied to derive the granulation amplitude $\sigma$ and the period of the undamped oscillator $\rho$, as well as the damping timescale $\tau$. The dimensionless quality factor $Q$ is then calculated through $Q=\pi \tau/\rho$. RSGs around $Q = 1/\sqrt{2}$ are considered to have significant granulation signals and are used for further analysis. Combining granulation parameters with stellar parameters, robust scaling relations for the timescale $\rho$ are established, while the scaling relations for amplitude $\sigma$ are represented by a piecewise function, possibly related to the tendency of amplitudes in faint RSGs to converge towards a certain value. Comparing results between the SMC and LMC confirms that amplitudes and timescales become larger with metallicity. In examining the scaling relations between the two galaxies, it is found that $\rho$ is nearly independent of metallicity, whereas $\sigma$ is more significantly affected by metallicity. The Gaussian Process method is compared with the periodogram fitting of the granulations, and the advantages of either are discussed.


title: Reduced Order Modeling for Real-Time Monitoring of Structural Displacements due to Electromagnetic Forces in Large Scale Tokamaks

abstract: The real-time monitoring of the structural displacement of the Vacuum Vessel (VV) of thermonuclear fusion devices caused by electromagnetic (EM) loads is of great interest. In this paper, Model Order Reduction (MOR) is applied to the Integral Equation Methods (IEM) and the Finite Elements Method (FEM) to develop Electromagnetic and Structural Reduced Order Models (ROMs) compatible with real-time execution which allows for the real-time monitoring of strain and displacement in critical positions of Tokamaks machines. Low-rank compression techniques based on hierarchical matrices are applied to reduce the computational cost during the offline stage when the ROMs are constructed. Numerical results show the accuracy of the approach and demonstrate the compatibility with real-time execution in standard hardware.


title: Graviton-Photon Oscillations as a Probe of Quantum Gravity

abstract: The Gertsenshtein effect could in principle be used to detect a single graviton by firing it through a region filled with a constant magnetic field that enables its conversion to a photon, which can be efficiently detected via standard techniques. The quantization of the gravitational field could then be inferred indirectly. We show that for currently available single-photon detector technology, the Gertsenshtein detector is generically inefficient, meaning that the probability of detection is $\ll 1$. The Gertsenshtein detector can become efficient on astrophysical scales for futuristic single-photon detectors sensitive to frequencies in the Hz to kHz range. It is not clear whether such devices are in principle possible.


title: Quantitative homogenization of state-constraint Hamilton--Jacobi equations on perforated domains and applications

abstract: We study the periodic homogenization problem of state-constraint Hamilton--Jacobi equations on perforated domains in the convex setting and obtain the optimal convergence rate. We then consider a dilute situation in which the holes' diameter is much smaller than the microscopic scale. Finally, a homogenization problem with domain defects where some holes are missing is analyzed.


title: Goal-conditioned reinforcement learning for ultrasound navigation guidance

abstract: Transesophageal echocardiography (TEE) plays a pivotal role in cardiology for diagnostic and interventional procedures. However, using it effectively requires extensive training due to the intricate nature of image acquisition and interpretation. To enhance the efficiency of novice sonographers and reduce variability in scan acquisitions, we propose a novel ultrasound (US) navigation assistance method based on contrastive learning as goal-conditioned reinforcement learning (GCRL). We augment the previous framework using a novel contrastive patient batching method (CPB) and a data-augmented contrastive loss, both of which we demonstrate are essential to ensure generalization to anatomical variations across patients. The proposed framework enables navigation to both standard diagnostic as well as intricate interventional views with a single model. Our method was developed with a large dataset of 789 patients and obtained an average error of 6.56 mm in position and 9.36 degrees in angle on a testing dataset of 140 patients, which is competitive or superior to models trained on individual views. Furthermore, we quantitatively validate our method's ability to navigate to interventional views such as the Left Atrial Appendage (LAA) view used in LAA closure. Our approach holds promise in providing valuable guidance during transesophageal ultrasound examinations, contributing to the advancement of skill acquisition for cardiac ultrasound practitioners.


title: Staggered Routing in Autonomous Mobility-on-Demand Systems

abstract: In autonomous mobility-on-demand systems, effectively managing vehicle flows to mitigate induced congestion and ensure efficient operations is imperative for system performance and positive customer experience. Against this background, we study the potential of staggered routing, i.e., purposely delaying trip departures from a system perspective, in order to reduce congestion and ensure efficient operations while still meeting customer time windows. We formalize the underlying planning problem and show how to efficiently model it as a mixed integer linear program. Moreover, we present a matheuristic that allows us to efficiently solve large-scale real-world instances both in an offline full-information setting and its online rolling horizon counterpart. We conduct a numerical study for Manhattan, New York City, focusing on low- and highly-congested scenarios. Our results show that in low-congestion scenarios, staggering trip departures allows mitigating, on average, 94% of the induced congestion in a full information setting. In a rolling horizon setting, our algorithm allows us to reduce 90% of the induced congestion. In high-congestion scenarios, we observe an average reduction of 66% as the full information bound and an average reduction of 56% in our online setting. Surprisingly, we show that these reductions can be reached by shifting trip departures by a maximum of six minutes in both the low and high-congestion scenarios.


title: IDPFilter: Mitigating Interdependent Privacy Issues in Third-Party Apps

abstract: Third-party applications have become an essential part of today's online ecosystem, enhancing the functionality of popular platforms. However, the intensive data exchange underlying their proliferation has increased concerns about interdependent privacy (IDP). This paper provides a comprehensive investigation into the previously underinvestigated IDP issues of third-party apps. Specifically, first, we analyze the permission structure of multiple app platforms, identifying permissions that have the potential to cause interdependent privacy issues by enabling a user to share someone else's personal data with an app. Second, we collect datasets and characterize the extent to which existing apps request these permissions, revealing the relationship between characteristics such as the respective app platform, the app's type, and the number of interdependent privacy-related permissions it requests. Third, we analyze the various reasons IDP is neglected by both data protection regulations and app platforms and then devise principles that should be followed when designing a mitigation solution. Finally, based on these principles and satisfying clearly defined objectives, we propose IDPFilter, a platform-agnostic API that enables application providers to minimize collateral information collection by filtering out data collected from their users but implicating others as data subjects. We implement a proof-of-concept prototype, IDPTextFilter, that implements the filtering logic on textual data, and provide its initial performance evaluation with regard to privacy, accuracy, and efficiency.


title: Applying Transparent Shaping for Zero Trust Architecture Implementation in AWS: A Case Study

abstract: This study introduces a methodology integrating Zero Trust Architecture (ZTA) principles and Transparent Shaping into an AWS-hosted Online File Manager (OFM) application, enhancing security without substantial code modifications. We evaluate our approach with the Mozilla Observatory, highlighting significant security improvements and outlining a promising direction for applying Transparent Shaping and ZTA in cloud environments.


title: MiniGPT-3D: Efficiently Aligning 3D Point Clouds with Large Language Models using 2D Priors

abstract: Large 2D vision-language models (2D-LLMs) have gained significant attention by bridging Large Language Models (LLMs) with images using a simple projector. Inspired by their success, large 3D point cloud-language models (3D-LLMs) also integrate point clouds into LLMs. However, directly aligning point clouds with LLM requires expensive training costs, typically in hundreds of GPU-hours on A100, which hinders the development of 3D-LLMs. In this paper, we introduce MiniGPT-3D, an efficient and powerful 3D-LLM that achieves multiple SOTA results while training for only 27 hours on one RTX 3090. Specifically, we propose to align 3D point clouds with LLMs using 2D priors from 2D-LLMs, which can leverage the similarity between 2D and 3D visual information. We introduce a novel four-stage training strategy for modality alignment in a cascaded way, and a mixture of query experts module to adaptively aggregate features with high efficiency. Moreover, we utilize parameter-efficient fine-tuning methods LoRA and Norm fine-tuning, resulting in only 47.8M learnable parameters, which is up to 260x fewer than existing methods. Extensive experiments show that MiniGPT-3D achieves SOTA on 3D object classification and captioning tasks, with significantly cheaper training costs. Notably, MiniGPT-3D gains an 8.12 increase on GPT-4 evaluation score for the challenging object captioning task compared to ShapeLLM-13B, while the latter costs 160 total GPU-hours on 8 A800. We are the first to explore the efficient 3D-LLM, offering new insights to the community. Code and weights are available at https://github.com/TangYuan96/MiniGPT-3D.


title: Mass equidistribution for Poincar\'e series of large index

abstract: Let $P_{k,m}$ denote the Poincar\'e series of weight $k$ and index $m$ for the full modular group $\mathrm{SL}_2(\mathbb{Z})$, and let $\{P_{k,m}\}$ be a sequence of Poincar\'e series for which $m(k)$ satisfies $m(k) / k \rightarrow\infty$ and $m(k) \ll k^{\frac{2 + 2\theta}{1 + 2\theta} - \epsilon}$ where $\theta$ is an exponent towards the Ramanujan Petersson conjecture. We prove that the $L^2$ mass of such a sequence equidistributes on $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathbb{H}$ with respect to the hyperbolic metric as $k$ goes to infinity. As a consequence, we deduce that the zeros of such a sequence $\{P_{k,m}\}$ become uniformly distributed in $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathbb{H}$ with respect to the hyperbolic metric.


title: Dimension-free estimates for positivity-preserving Riesz transforms related to Schr\"odinger operators with certain potentials

abstract: We study the $L^\infty(\mathbb{R}^d)$ boundedness for Riesz transforms of the form ${V^{a}(-\frac12\Delta+V)^{-a}},$ where $a > 0$ and $V$ is a non-negative potential with power growth acting independently on each coordinate. We factorize the semigroup $e^{-tL}$ into one-dimensional factors, estimate them separately and combine the results to estimate the original semigroup. Similar results with additional assumption $a \leqslant 1$ are obtained on $L^1(\mathbb{R}^d)$.


title: New upper bound of muon neutrino mass in a short-baseline experiment

abstract: In the paper Int.J.Mod.Phys.E 23 (2014) 1450004, the potential of short-baseline experiments was proposed to measure the mass (and parameters of Lorentz-violating effects) of the muon neutrino, where a roughly estimated upper bound of 420 eV was given as a possibility with large unknown uncertainties. In the present work, we improve upon this study by focusing on a feasible and improved experimental setup with today's technology, eliminating most large uncertainties, with the use of the Geant4 simulation toolkit. High-energy protons collide with a tungsten target, producing a variety of particles, most importantly pions that decay into muon neutrinos. The detector records the time of flight for both muon and anti-muon neutrinos, utilizing light as a reference signal. Additionally, it captures the energy deposited by neutrinos. By applying the dispersion relation, we determine the muon and/or anti-muon neutrino mass. Our improved results reveal a less optimistic but more accurate and realistic estimated upper bound of the muon neutrino mass, providing a new limit of about 150 keV. Notably, this finding is a factor of three lower than the best upper bound previously established in the literature originating from pion decay in flight.


title: Modeling Activity-Driven Music Listening with PACE

abstract: While the topic of listening context is widely studied in the literature of music recommender systems, the integration of regular user behavior is often omitted. In this paper, we propose PACE (PAttern-based user Consumption Embedding), a framework for building user embeddings that takes advantage of periodic listening behaviors. PACE leverages users' multichannel time-series consumption patterns to build understandable user vectors. We believe the embeddings learned with PACE unveil much about the repetitive nature of user listening dynamics. By applying this framework on long-term user histories, we evaluate the embeddings through a predictive task of activities performed while listening to music. The validation task's interest is two-fold, while it shows the relevance of our approach, it also offers an insightful way of understanding users' musical consumption habits.


title: GTX: A Write-Optimized Latch-free Graph Data System with Transactional Support

abstract: This paper introduces GTX a standalone main-memory write-optimized graph system that specializes in structural and graph property updates while maintaining concurrent reads and graph analytics with snapshot isolation-level transactional concurrency. Recent graph libraries target efficient concurrent read and write support while guaranteeing transactional consistency. However, their performance suffers for updates with strong temporal locality over the same vertexes and edges due to vertex-centric lock contentions. GTX introduces a new delta-chain-centric concurrency-control protocol that eliminates traditional mutually exclusive latches. GTX resolves the conflicts caused by vertex-level locking, and adapts to real-life workloads while maintaining sequential access to the graph's adjacency lists storage. This combination of features has been demonstrated to provide good performance in graph analytical queries. GTX's transactions support fast group commit, novel write-write conflict prevention, and lazy garbage collection. Based on extensive experimental and comparative studies, in addition to maintaining competitive concurrent read and analytical performance, GTX demonstrates high throughput over state-of-the-art techniques when handling concurrent transaction+analytics workloads. For write-heavy transactional workloads, GTX performs up to 11x better than the best-performing state-of-the-art systems in transaction throughput. At the same time, GTX does not sacrifice the performance of read-heavy analytical workloads, and has competitive performance similar to state-of-the-art systems.


title: Natural Language to Verilog: Design of a Recurrent Spiking Neural Network using Large Language Models and ChatGPT

abstract: This paper investigates the use of Large Language Models (LLMs) for automating the generation of hardware description code, aiming to explore their potential in supporting and enhancing the development of efficient neuromorphic computing architectures. Building on our prior work, we employ OpenAI's ChatGPT4 and natural language prompts to synthesize a RTL Verilog module of a programmable recurrent spiking neural network, while also generating test benches to assess the system's correctness. The resultant design was validated in three case studies, the exclusive OR,the IRIS flower classification and the MNIST hand-written digit classification, achieving accuracies of up to 96.6%. To verify its synthesizability and implementability, the design was prototyped on a field-programmable gate array and implemented on SkyWater 130 nm technology by using an open-source electronic design automation flow. Additionally, we have submitted it to Tiny Tapeout 6 chip fabrication program to further evaluate the system on-chip performance in the future.


title: GROMACS on AMD GPU-Based HPC Platforms: Using SYCL for Performance and Portability

abstract: GROMACS is a widely-used molecular dynamics software package with a focus on performance, portability, and maintainability across a broad range of platforms. Thanks to its early algorithmic redesign and flexible heterogeneous parallelization, GROMACS has successfully harnessed GPU accelerators for more than a decade. With the diversification of accelerator platforms in HPC and no obvious choice for a multi-vendor programming model, the GROMACS project found itself at a crossroads. The performance and portability requirements, and a strong preference for a standards-based solution, motivated our choice to use SYCL on both new HPC GPU platforms: AMD and Intel. Since the GROMACS 2022 release, the SYCL backend has been the primary means to target AMD GPUs in preparation for exascale HPC architectures like LUMI and Frontier. SYCL is a cross-platform, royalty-free, C++17-based standard for programming hardware accelerators. It allows using the same code to target GPUs from all three major vendors with minimal specialization. While SYCL implementations build on native toolchains, performance of such an approach is not immediately evident. Biomolecular simulations have challenging performance characteristics: latency sensitivity, the need for strong scaling, and typical iteration times as short as hundreds of microseconds. Hence, obtaining good performance across the range of problem sizes and scaling regimes is particularly challenging. Here, we share the results of our work on readying GROMACS for AMD GPU platforms using SYCL, and demonstrate performance on Cray EX235a machines with MI250X accelerators. Our findings illustrate that portability is possible without major performance compromises. We provide a detailed analysis of node-level kernel and runtime performance with the aim of sharing best practices with the HPC community on using SYCL as a performance-portable GPU framework.


title: Systematic Construction of Golay Complementary Sets of Arbitrary Lengths and Alphabet Sizes

abstract: One of the important applications of Golay complementary sets (GCSs) is the reduction of peak-to-mean envelope power ratio (PMEPR) in orthogonal frequency division multiplexing (OFDM) systems. OFDM has played a major role in modern wireless systems such as long-term-evolution (LTE), 5th generation (5G) wireless standards, etc. This paper searches for systematic constructions of GCSs of arbitrary lengths and alphabet sizes. The proposed constructions are based on extended Boolean functions (EBFs). For the first time, we can generate codes of independent parameter choices.


title: Integrating socioeconomic and geographic data to enhance infectious disease prediction in Brazilian cities

abstract: Supervised machine learning models and public surveillance data has been employed for infectious disease forecasting in many settings. These models leverage various data sources capturing drivers of disease spread, such as climate conditions or human behavior. However, few models have incorporated the organizational structure of different geographic locations for forecasting. Traveling waves of seasonal outbreaks have been reported for dengue, influenza, and other infectious diseases, and many of the drivers of infectious disease dynamics may be shared across different cities, either due to their geographic or socioeconomic proximity. In this study, we developed a machine learning model to predict case counts of four infectious diseases across Brazilian cities one week ahead by incorporating information from related cities. We compared selecting related cities using both geographic distance and GDP per capita. Incorporating information from geographically proximate cities improved predictive performance for two of the four diseases, specifically COVID-19 and Zika. We also discuss the impact on forecasts in the presence of anomalous contagion patterns and the limitations of the proposed methodology.


title: Exploring the Influence of Graph Operations on Zero Forcing Sets

abstract: Zero forcing in graphs is a coloring process where a colored vertex can force its unique uncolored neighbor to be colored. A zero forcing set is a set of initially colored vertices capable of eventually coloring all vertices of the graph. In this paper, we focus on the numbers $z(G; i)$, which is the number of zero forcing sets of size $i$ of the graph $G$. These numbers were initially studied by Boyer et al. where they conjectured that for any graph $G$ on $n$ vertices, $z(G; i) \leq z(P_n; i)$ for all $i \geq 1$ where $P_n$ is the path graph on $n$ vertices. The main aim of this paper is to show that several classes of graphs, including outerplanar graphs and threshold graphs, satisfy this conjecture. We do this by studying various graph operations and examining how they affect the number of zero forcing sets.


title: A Model Problem for First Order Mean Field Games with Discrete Initial Data

abstract: In this article, we study a simplified version of a density-dependent first-order mean field game, in which the players face a penalization equal to the population density at their final position. We consider the problem of finding an equilibrium when the initial distribution is a discrete measure. We show that the problem becomes finite-dimensional: the final piecewise smooth density is completely determined by the weights and positions of the initial measure. We establish existence and uniqueness of a solution using classical fixed point theorems. Finally, we show that Newton's method provides an effective way to compute the solution. Our numerical simulations provide an illustration of how density penalization in a mean field game tends to the smoothen the initial distribution.


title: In-and-Out: Algorithmic Diffusion for Sampling Convex Bodies

abstract: We present a new random walk for uniformly sampling high-dimensional convex bodies. It achieves state-of-the-art runtime complexity with stronger guarantees on the output than previously known, namely in R\'enyi divergence (which implies TV, $\mathcal{W}_2$, KL, $\chi^2$). The proof departs from known approaches for polytime algorithms for the problem -- we utilize a stochastic diffusion perspective to show contraction to the target distribution with the rate of convergence determined by functional isoperimetric constants of the stationary density.


title: Co-rank $1$ Arithmetic Siegel--Weil I: Local non-Archimedean

abstract: This is the first in a sequence of four papers, where we prove the arithmetic Siegel--Weil formula in co-rank $1$ for Kudla--Rapoport special cycles on exotic smooth integral models of unitary Shimura varieties of arbitrarily large even arithmetic dimension. Our arithmetic Siegel--Weil formula implies that degrees of Kudla--Rapoport arithmetic special $1$-cycles are encoded in the first derivatives of unitary Eisenstein series Fourier coefficients. The crucial input is a new local limiting method at all places. In this paper, we formulate and prove the key local theorems at all non-Archimedean places. On the analytic side, the limit relates local Whittaker functions on different groups. On the geometric side at nonsplit non-Archimedean places, the limit relates degrees of $0$-cycles on Rapoport--Zink spaces and local contributions to heights of $1$-cycles in mixed characteristic.


title: Co-rank $1$ Arithmetic Siegel--Weil II: Local Archimedean

abstract: This is the second in a sequence of four papers, where we prove the arithmetic Siegel--Weil formula in co-rank $1$ for Kudla--Rapoport special cycles on exotic smooth integral models of unitary Shimura varieties of arbitrarily large even arithmetic dimension. Our arithmetic Siegel--Weil formula implies that degrees of Kudla--Rapoport arithmetic special $1$-cycles are encoded in the first derivatives of unitary Eisenstein series Fourier coefficients. In this paper, we formulate and prove the key Archimedean local theorem. In the case of purely Archimedean intersection numbers, we also prove an Archimedean local arithmetic Siegel--Weil formula, relating Green currents of arbitrary degree and off-central derivatives of local Whittaker functions. The crucial input is a new limiting method, which is structurally parallel to our strategy at non-Archimedean places.


title: Co-rank $1$ Arithmetic Siegel--Weil III: Geometric local-to-global

abstract: This is the third in a sequence of four papers, where we prove the arithmetic Siegel--Weil formula in co-rank $1$ for Kudla--Rapoport special cycles on exotic smooth integral models of unitary Shimura varieties of arbitrarily large even arithmetic dimension. Our arithmetic Siegel--Weil formula implies that degrees of Kudla--Rapoport arithmetic special $1$-cycles are encoded in the first derivatives of unitary Eisenstein series Fourier coefficients. In this paper, we finish the reduction process from global arithmetic intersection numbers for special cycles to the local geometric quantities in our companion papers. Building on our previous companion papers, we also propose a construction for arithmetic special cycle classes associated to possibly singular matrices of arbitrary co-rank.


title: Co-rank $1$ Arithmetic Siegel--Weil IV: Analytic local-to-global

abstract: This is the fourth in a sequence of four papers, where we prove the arithmetic Siegel--Weil formula in co-rank $1$ for Kudla--Rapoport special cycles on exotic smooth integral models of unitary Shimura varieties of arbitrarily large even arithmetic dimension. Our arithmetic Siegel--Weil formula implies that degrees of Kudla--Rapoport arithmetic special $1$-cycles are encoded in the first derivatives of unitary Eisenstein series Fourier coefficients. In this paper, we pin down precise normalizations for some $U(m,m)$ Siegel Eisenstein series, give local Siegel--Weil special value formulas with explicit constants, and record a geometric Siegel--Weil result for degrees of complex $0$-cycles. Using this, we complete the proof of our arithmetic Siegel--Weil results by patching together the local main theorems from our companion papers.


title: Quantum Field Theory of Black Hole Perturbations with Backreaction IV. Spherically symmetric 2nd order Einstein-Maxwell sector in generalised gauges

abstract: In previous papers of this series we analysed the reduced phase space approach to perturbations of Einstein-Maxwell theory to second order around spherically symmetric backgrounds in the Gullstrand Painlev\'e Gauge and confirmed consistency with previous approaches. In this paper we generalize this result and show that the analysis can be performed in gauges for the background variables compatible with the Gullstrand Painlev\'e gauge. We obtain the same structure for the reduced Hamiltonian that contains the well known Regge-Wheeler and Zerilli potentials. Possible applications of this generalization are discussed.


title: Learning quantum states of continuous variable systems

abstract: Quantum state tomography with rigorous guarantees with respect to the trace distance, the most operationally meaningful metric for distinguishing quantum states, has been studied extensively for finite-dimensional systems; however, it remains almost unexplored for continuous variable systems. This work fills this gap. We prove that learning energy-constrained $n$-mode states without any additional prior assumption is extremely inefficient: The minimum number of copies needed for achieving an $\varepsilon$-approximation in trace distance scales as $\sim \varepsilon^{-2n}$, in stark contrast to the $n$-qudit case, where the $\varepsilon$-scaling is $\sim \varepsilon^{-2}$. Specifically, we find the optimal sample complexity of tomography of energy-constrained pure states, thereby establishing the ultimate achievable performance of tomography of continuous variable systems. Given such an extreme inefficiency, we then investigate whether more structured, yet still physically interesting, classes of quantum states can be efficiently tomographed. We rigorously prove that this is indeed the case for Gaussian states, a result previously assumed but never proved in the literature. To accomplish this, we establish bounds on the trace distance between two Gaussian states in terms of the norm distance of their first and second moments, which constitute technical tools of independent interest. This allows us to answer a fundamental question for the field of Gaussian quantum information: by estimating the first and second moments of an unknown Gaussian state with precision $\varepsilon$, what is the resulting trace distance error on the state? Lastly, we show how to efficiently learn $t$-doped Gaussian states, i.e., states prepared by Gaussian unitaries and at most $t$ local non-Gaussian evolutions, unveiling more of the structure of these slightly-perturbed Gaussian systems.


title: A criterion for Lie algebroid connections on a compact Riemann surface

abstract: Let $X$ be a compact connected Riemann surface and $(V, \phi)$ a holomorphic Lie algebroid on $X$ such that the holomorphic vector bundle $V$ is stable. We give a necessary and sufficient condition on holomorphic vector bundles $E$ on $X$ to admit a Lie algebroid connection.


title: Inflationary complexity of thermal state

abstract: In this work, we systematically investigate the inflationary complexity of the two-mode squeezed state with thermal effect for the single field inflation, modified dispersion relation, and non-trivial sound speed with the method of closed system and open system, respectively. Since the various quantum gravitational framework could lead to this kind of modified dispersion relation and non-trivial sound speed, so that our analysis is valid for most inflationary models. $(a)$. The numeric of Krylov complexity in the method of the closed system indicates that the evolution of Krylov complexity highly depends on the squeezed angle parameter once taking the thermal effect into account, which will decay into some very tiny values, but the Krylov complexity will always enhance without thermal effect. $(b)$. The numeric of circuit complexity shows that the evolution is always increasing no matter whether there are thermal effects or not which is independent of the evolution of squeezed angle parameter. $(c)$. By utilizing the method of open system, we first construct the wave function. Our investigations show the evolution of Krylov complexity will enhance upon some peaks factoring in the thermal effects and the Krylov complexity will always increase without thermal effect. $(d)$. We also calculate the Krylov entropy in the method of closed system and open system, which indicates that the hotter the universe is, the more chaotic the universe becomes. Furthermore, our derivation for the Krylov complexity and Krylov entropy could nicely recover into the case of closed system under the weak dissipative approximation, which confirms the validity of construction for the wave function. Finally, our numeric of Lanczos coefficient shows that the non-trivial sound speed has minimal chaos compared to the other two cases.

categories: hep-th astro-ph.CO gr-qc hep-ph quant-ph


title: StoryDiffusion: Consistent Self-Attention for Long-Range Image and Video Generation

abstract: For recent diffusion-based generative models, maintaining consistent content across a series of generated images, especially those containing subjects and complex details, presents a significant challenge. In this paper, we propose a new way of self-attention calculation, termed Consistent Self-Attention, that significantly boosts the consistency between the generated images and augments prevalent pretrained diffusion-based text-to-image models in a zero-shot manner. To extend our method to long-range video generation, we further introduce a novel semantic space temporal motion prediction module, named Semantic Motion Predictor. It is trained to estimate the motion conditions between two provided images in the semantic spaces. This module converts the generated sequence of images into videos with smooth transitions and consistent subjects that are significantly more stable than the modules based on latent spaces only, especially in the context of long video generation. By merging these two novel components, our framework, referred to as StoryDiffusion, can describe a text-based story with consistent images or videos encompassing a rich variety of contents. The proposed StoryDiffusion encompasses pioneering explorations in visual story generation with the presentation of images and videos, which we hope could inspire more research from the aspect of architectural modifications. Our code is made publicly available at https://github.com/HVision-NKU/StoryDiffusion.


title: Closed-form congestion control via deep symbolic regression

abstract: As mobile networks embrace the 5G era, the interest in adopting Reinforcement Learning (RL) algorithms to handle challenges in ultra-low-latency and high throughput scenarios increases. Simultaneously, the advent of packetized fronthaul networks imposes demanding requirements that traditional congestion control mechanisms cannot accomplish, highlighting the potential of RL-based congestion control algorithms. Although learning RL policies optimized for satisfying the stringent fronthaul requirements is feasible, the adoption of neural network models in real deployments still poses some challenges regarding real-time inference and interpretability. This paper proposes a methodology to deal with such challenges while maintaining the performance and generalization capabilities provided by a baseline RL policy. The method consists of (1) training a congestion control policy specialized in fronthaul-like networks via reinforcement learning, (2) collecting state-action experiences from the baseline, and (3) performing deep symbolic regression on the collected dataset. The proposed process overcomes the challenges related to inference-time limitations through closed-form expressions that approximate the baseline performance (link utilization, delay, and fairness) and which can be directly implemented in any programming language. Finally, we analyze the inner workings of the closed-form expressions.


title: High-gain far-detuned nonlinear frequency conversion in optical fibers: intramodal vs. intermodal processes

abstract: We present theoretical and experimental evidence of high-gain far-detuned nonlinear frequency conversion, extending towards both the visible and the mid-infrared, in a few-mode graded-index silica fiber pumped at 1.064 $\mu$m, and more specifically achieving gains of hundreds of dB per meter below 0.65 $\mu$m and beyond 3.5 $\mu$m. Our findings highlight the potential of graded-index fibers in terms of strong modal confinement over an ultrabroad spectral range for enabling high-gain wavelength conversion. Such advancements require an accurate interpretation of intramodal and intermodal four-wave mixing processes.


title: Two competing populations with a common environmental resource

abstract: Feedback-evolving games is a framework that models the co-evolution between payoff functions and an environmental state. It serves as a useful tool to analyze many social dilemmas such as natural resource consumption, behaviors in epidemics, and the evolution of biological populations. However, it has primarily focused on the dynamics of a single population of agents. In this paper, we consider the impact of two populations of agents that share a common environmental resource. We focus on a scenario where individuals in one population are governed by an environmentally "responsible" incentive policy, and individuals in the other population are environmentally "irresponsible". An analysis on the asymptotic stability of the coupled system is provided, and conditions for which the resource collapses are identified. We then derive consumption rates for the irresponsible population that optimally exploit the environmental resource, and analyze how incentives should be allocated to the responsible population that most effectively promote the environment via a sensitivity analysis.


title: Solving the train-platforming problem via a two-level Lagrangian Relaxation approach

abstract: High-speed railway stations are crucial junctions in high-speed railway networks. Compared to operations on the tracks between stations, trains have more routing possibilities within stations. As a result, track allocation at a station is relatively complicated. In this study, we aim to solve the train platforming problem for a busy high-speed railway station by considering comprehensive track resources and interlocking configurations. A two-level space-time network is constructed to capture infrastructure information at various levels of detail from both macroscopic and microscopic perspectives. Additionally, we propose a nonlinear programming model that minimizes a weighted sum of total travel time and total deviation time for trains at the station. We apply a Two-level Lagrangian Relaxation (2-L LR) to a linearized version of the model and demonstrate how this induces a decomposable train-specific path choice problem at the macroscopic level that is guided by Lagrange multipliers associated with microscopic resource capacity violation. As case studies, the proposed model and solution approach are applied to a small virtual railway station and a high-speed railway hub station located on the busiest high-speed railway line in China. Through a comparison of other approaches that include Logic-based Benders Decomposition (LBBD), we highlight the superiority of the proposed method; on realistic instances, the 2-L LR method finds solution that are, on average, approximately 2% from optimality. Finally, we test algorithm performance at the operational level and obtain near-optimal solutions, with optimality gaps of approximately 1%, in a very short time.


title: Improving Domain Generalization on Gaze Estimation via Branch-out Auxiliary Regularization

abstract: Despite remarkable advancements, mainstream gaze estimation techniques, particularly appearance-based methods, often suffer from performance degradation in uncontrolled environments due to variations in illumination and individual facial attributes. Existing domain adaptation strategies, limited by their need for target domain samples, may fall short in real-world applications. This letter introduces Branch-out Auxiliary Regularization (BAR), an innovative method designed to boost gaze estimation's generalization capabilities without requiring direct access to target domain data. Specifically, BAR integrates two auxiliary consistency regularization branches: one that uses augmented samples to counteract environmental variations, and another that aligns gaze directions with positive source domain samples to encourage the learning of consistent gaze features. These auxiliary pathways strengthen the core network and are integrated in a smooth, plug-and-play manner, facilitating easy adaptation to various other models. Comprehensive experimental evaluations on four cross-dataset tasks demonstrate the superiority of our approach.


title: A Review of Reward Functions for Reinforcement Learning in the context of Autonomous Driving

abstract: Reinforcement learning has emerged as an important approach for autonomous driving. A reward function is used in reinforcement learning to establish the learned skill objectives and guide the agent toward the optimal policy. Since autonomous driving is a complex domain with partly conflicting objectives with varying degrees of priority, developing a suitable reward function represents a fundamental challenge. This paper aims to highlight the gap in such function design by assessing different proposed formulations in the literature and dividing individual objectives into Safety, Comfort, Progress, and Traffic Rules compliance categories. Additionally, the limitations of the reviewed reward functions are discussed, such as objectives aggregation and indifference to driving context. Furthermore, the reward categories are frequently inadequately formulated and lack standardization. This paper concludes by proposing future research that potentially addresses the observed shortcomings in rewards, including a reward validation framework and structured rewards that are context-aware and able to resolve conflicts.


title: Stability of the Poincar\'e-Korn inequality

abstract: We resolve a question of Carrapatoso et al. on Gaussian optimality for the sharp constant in Poincar\'e-Korn inequalities, under a moment constraint. We also prove stability, showing that measures with near-optimal constant are quantitatively close to standard Gaussian.


title: Market Power and Withholding Behavior of Energy Storage Units

abstract: Electricity markets are experiencing a rapid increase in energy storage unit participation. Unlike conventional generation resources, quantifying the competitive operation and identifying if a storage unit is exercising market power is challenging, particularly in the context of multi-interval bidding strategies. We present a framework to differentiate strategic capacity withholding behaviors attributed to market power from inherent competitive bidding in storage unit strategies. Our framework evaluates the profitability of strategic storage unit participation, analyzing bidding behaviors as both price takers and price makers using a self-scheduling model, and investigates how they leverage market inefficiencies. Specifically, we propose a price sensitivity model derived from the linear supply function equilibrium model to examine the price-anticipating bidding strategy, effectively capturing the influence of market power. We introduce a sufficient ex-post analysis for market operators to identify potential exploitative behaviors by monitoring instances of withholding within the bidding profiles, ensuring market resilience and competitiveness. We discuss and verify applicability of the proposed framework to realistic settings. Our analysis substantiates commonly observed economic bidding behaviors of storage units. Furthermore, it demonstrates that significant price volatility offers considerable profit opportunities not only for participants possessing market power but also for typical strategic profit seekers.


title: On the existence of approximate problems that preserve the type of a bifurcation point of a nonlinear problem. Application to the stationary Navier-Stokes equations

abstract: We consider a nonlinear problem $F(\lambda,u)=0$ on infinite-dimensional Banach spaces that correspond to the steady-state bifurcation case. In the literature, it is found again a bifurcation point of the approximate problem $F_{h}(\lambda_{h},u_{h})=0$ only in some cases. We prove that, in every situation, given $F_{h}$ that approximates $F$, there exists an approximate problem $F_{h}(\lambda_{h},u_{h})-\varrho_{h} = 0$ that has a bifurcation point with the same properties as the bifurcation point of $F(\lambda,u)=0$. First, we formulate, for a function $\widehat{F}$ defined on general Banach spaces, some sufficient conditions for the existence of an equation that has a bifurcation point of certain type. For the proof of this result, we use some methods from variational analysis, Graves' theorem, one of its consequences and the contraction mapping principle for set-valued mappings. These techniques allow us to prove the existence of a solution with some desired components that equal zero of an overdetermined extended system. We then obtain the existence of a constant (or a function) $\widehat{\varrho}$ so that the equation $\widehat{F}(\lambda,u)-\widehat{\varrho} = 0$ has a bifurcation point of certain type. This equation has $\widehat{F}(\lambda,u) = 0$ as a perturbation. It is also made evident a class of maps $C^{p}$ - equivalent (right equivalent) at the bifurcation point to $\widehat{F}(\lambda,u)-\widehat{\varrho}$ at the bifurcation point. Then, for the study of the approximation of $F(\lambda,u)=0$, we give conditions that relate the exact and the approximate functions. As an application of the theorem on general Banach spaces, we formulate conditions in order to obtain the existence of the approximate equation $F_{h}(\lambda_{h},u_{h})-\varrho_{h} = 0$.


title: Data-driven analysis of the beauty hadron production in p+p collisions at the LHC with Bayesian unfolding

abstract: Heavy flavour production in proton-proton (pp) collisions provides insights into the fundamental properties of Quantum Chromodynamics (QCD). Beauty hadron production measurements are widely performed through indirect approaches based on their inclusive decay modes. A Bayesian unfolding data-driven analysis of the ALICE and LHCb data was performed in this study, which recovers the full kinematic information of the beauty hadrons via different inclusive decay channels. The corresponding beauty hadron production cross sections obtained after the Bayesian unfolding are found to be consistent within their uncertainties. The weighted average open beauty production cross sections are presented as a function of the transverse momentum and rapidity in pp collisions at $\sqrt{s}$ = 5.02 TeV and $\sqrt{s}$ = 13 TeV, respectively. The $p_T$-integrated open beauty production $\mathrm{d}\sigma/\mathrm{d}y$ and the total $\mathrm{b}\rm\overline{b}$ cross section $\sigma_{\rm \mathrm{b}\rm\overline{b}}$ are also reported. The precision of these results significantly improves upon worldwide measurements, providing valuable validation and constraints on mechanisms of heavy flavour production in pp collisions at the LHC energies.


title: Depth-resolved profile of the interfacial ferromagnetism in $CaMnO_{3}/CaRuO_{3}$ superlattices

abstract: Emergent magnetic phenomena at interfaces represent a frontier in materials science, pivotal for advancing technologies in spintronics and magnetic storage. In this letter, we utilize a suite of advanced X-ray spectroscopic and scattering techniques to investigate emergent interfacial ferromagnetism in oxide superlattices comprised of antiferromagnetic CaMnO3 and paramagnetic CaRuO3. Our findings challenge prior theoretical models by demonstrating that the ferromagnetism extends beyond the interfacial layer into multiple unit cells of CaMnO3 and exhibits an asymmetric profile. Complementary density functional calculations reveal that the interfacial ferromagnetism is driven by the double exchange mechanism, facilitated by charge transfer from Ru to Mn ions. Additionally, defect chemistry, particularly the presence of oxygen vacancies, likely plays a crucial role in modifying the magnetic moments at the interface, leading to the observed asymmetry between the top and bottom CaMnO3 interfacial magnetic layers. Our findings underscore the potential of manipulating interfacial ferromagnetism through point defect engineering.


title: An Exploratory Case Study on Data Breach Journalism

abstract: This paper explores the novel topic of data breach journalism and data breach news through the case of databreaches.net, a news outlet dedicated to data breaches and related cyber crime. Motivated by the issues in traditional crime news and crime journalism, the case is explored by the means of text mining. According to the results, the outlet has kept a steady publishing pace, mainly focusing on plain and short reporting but with generally high-quality source material for the news articles. Despite these characteristics, the news articles exhibit fairly strong sentiments, which is partially expected due to the presence of emotionally laden crime and the long history of sensationalism in crime news. The news site has also covered the full scope of data breaches, although many of these are fairly traditional, exposing personal identifiers and financial details of the victims. Also hospitals and the healthcare sector stand out. With these results, the paper advances the study of data breaches by considering these from the perspective of media and journalism.


title: Digital-Analog Counterdiabatic Quantum Optimization with Trapped Ions

abstract: We introduce a hardware-specific, problem-dependent digital-analog quantum algorithm of a counterdiabatic quantum dynamics tailored for optimization problems. Specifically, we focus on trapped-ion architectures, taking advantage from global M{\o}lmer-S{\o}rensen gates as the analog interactions complemented by digital gates, both of which are available in the state-of-the-art technologies. We show an optimal configuration of analog blocks and digital steps leading to a substantial reduction in circuit depth compared to the purely digital approach. This implies that, using the proposed encoding, we can address larger optimization problem instances, requiring more qubits, while preserving the coherence time of current devices. Furthermore, we study the minimum gate fidelity required by the analog blocks to outperform the purely digital simulation, finding that it is below the best fidelity reported in the literature. To validate the performance of the digital-analog encoding, we tackle the maximum independent set problem, showing that it requires fewer resources compared to the digital case. This hybrid co-design approach paves the way towards quantum advantage for efficient solutions of quantum optimization problems.


title: GTX: A Transactional Graph Data System For HTAP Workloads

abstract: Processing, managing, and analyzing dynamic graphs are the cornerstone in multiple application domains including fraud detection, recommendation system, graph neural network training, etc. This demo presents GTX, a latch-free write-optimized transactional graph data system that supports high throughput read-write transactions while maintaining competitive graph analytics. GTX has a unique latch-free graph storage and a transaction and concurrency control protocol for dynamic power-law graphs. GTX leverages atomic operations to eliminate latches, proposes a delta-based multi-version storage, and designs a hybrid transaction commit protocol to reduce interference between concurrent operations. To further improve its throughput, we design a delta-chains index to support efficient edge lookups. GTX manages concurrency control at delta-chain level, and provides adaptive concurrency according to the workload. Real-world graph access and updates exhibit temporal localities and hotspots. Unlike other transactional graph systems that experience significant performance degradation, GTX is the only system that can adapt to temporal localities and hotspots in graph updates and maintain million-transactions-per-second throughput. GTX is prototyped as a graph library and is evaluated using a graph library evaluation tool using real and synthetic datasets.


title: Convection and the Core $g$-mode in Proto-Compact Stars -- A detailed analysis

abstract: We present a detailed analysis of the dynamics of proto-compact star (PCS) convection and the core ${}^2\!g_1$-mode in core-collapse supernovae based on general relativistic 2D and 3D neutrino hydrodynamics simulations. Based on 2D simulations, we derive a mode relation for the core $g$-mode frequency in terms of PCS and equation of state parameters, and discuss its limits of accuracy. This relation may prove useful for parameter inference from future supernova gravitational wave (GW) signals if the core $g$-mode or an emission gap at the avoided crossing with the fundamental mode can be detected. The current 3D simulation does not show GW emission from the core $g$-mode due to less power in high-frequency convective motions to excite the mode, however. Analysing the dynamics of PCS convection in 3D, we find that simple scaling laws for convective velocity from mixing-length theory (MLT) do not apply. Energy and lepton number transport is instead governed by a more complex balance between neutrino fluxes and turbulent fluxes that results in roughly uniform rates of change of entropy and lepton number in the PCS convection zone. Electron fraction and enthalpy contrasts in PCS convection are not well captured by the MLT gradient approximation. We find distinctly different spectra for the turbulent kinetic energy and turbulent fluctuations in the electron fraction, which scale approximately as $l^{-1}$ without a downturn at low $l$. We suggest that the different turbulence spectrum of the electron fraction is naturally expected for a passive scalar quantity.


title: A mixed effects cosinor modelling framework for circadian gene expression

abstract: The cosinor model is frequently used to represent gene expression given the 24 hour day-night cycle time at which a corresponding tissue sample is collected. However, the timing of many biological processes are based on individual-specific internal timing systems that are offset relative to day-night cycle time. When these offsets are unknown, they pose a challenge in performing statistical analyses with a cosinor model. To clarify, when sample collection times are mis-recorded, cosinor regression can yield attenuated parameter estimates, which would also attenuate test statistics. This attenuation bias would inflate type II error rates in identifying genes with oscillatory behavior. This paper proposes a heuristic method to account for unknown offsets when tissue samples are collected in a longitudinal design. Specifically, this method involves first estimating individual-specific cosinor models for each gene. The times of sample collection for that individual are then translated based on the estimated phase-shifts across every gene. Simulation studies confirm that this method mitigates bias in estimation and inference. Illustrations with real data from three circadian biology studies highlight that this method produces parameter estimates and inferences akin to those obtained when each individual's offset is known.


title: Test-time Assessment of a Model's Performance on Unseen Domains via Optimal Transport

abstract: Gauging the performance of ML models on data from unseen domains at test-time is essential yet a challenging problem due to the lack of labels in this setting. Moreover, the performance of these models on in-distribution data is a poor indicator of their performance on data from unseen domains. Thus, it is essential to develop metrics that can provide insights into the model's performance at test time and can be computed only with the information available at test time (such as their model parameters, the training data or its statistics, and the unlabeled test data). To this end, we propose a metric based on Optimal Transport that is highly correlated with the model's performance on unseen domains and is efficiently computable only using information available at test time. Concretely, our metric characterizes the model's performance on unseen domains using only a small amount of unlabeled data from these domains and data or statistics from the training (source) domain(s). Through extensive empirical evaluation using standard benchmark datasets, and their corruptions, we demonstrate the utility of our metric in estimating the model's performance in various practical applications. These include the problems of selecting the source data and architecture that leads to the best performance on data from an unseen domain and the problem of predicting a deployed model's performance at test time on unseen domains. Our empirical results show that our metric, which uses information from both the source and the unseen domain, is highly correlated with the model's performance, achieving a significantly better correlation than that obtained via the popular prediction entropy-based metric, which is computed solely using the data from the unseen domain.


title: Revisiting the Concordance $\Lambda$CDM model using Gamma-Ray Bursts together with Supernovae Ia and Planck data

abstract: The Hubble constant, $H_0$, tension is the tension among the local probes, Supernovae Ia, and the Cosmic Microwave Background Radiation. It has been almost a decade, and this tension still puzzles the community. Here, we add intermediate redshift probes, such as Gamma-Ray Bursts (GRB) and Quasars (QS0s), to check if and to what extent these higher redshift probes can reduce this tension. We use the three-dimensional fundamental plane relation among the prompt peak luminosity, the luminosity at the end of the plateau emission, and its rest frame duration. We find similar trend in GRB intrinsic parameters as previously seen in Pantheon-Plus intrinsic parameters. We find an apparent $3.14\sigma$ tension for the GRB intrinsic parameter $b$. Indeed, this tension disappears and the parameters are actually compatible within $2.26\sigma$. Another interesting point is that the 3D relation plays an important role in conjunction with Supernovae data with Pantheon Plus and that this apparent discrepancy show how it is important the correction for selection biases and redshift evolution. The incorporation of redshift evolution correction results in a reduction of the GRB tension to $2.26\sigma$ when adjusting correction parameters. We envision that with more data this indication of tension will possibly disappear when the evolutionary parameters of GRBs are computed with increased precision.


title: Creative Problem Solving in Large Language and Vision Models -- What Would it Take?

abstract: In this paper, we discuss approaches for integrating Computational Creativity (CC) with research in large language and vision models (LLVMs) to address a key limitation of these models, i.e., creative problem solving. We present preliminary experiments showing how CC principles can be applied to address this limitation through augmented prompting. With this work, we hope to foster discussions of Computational Creativity in the context of ML algorithms for creative problem solving in LLVMs. Our code is at: https://github.com/lnairGT/creative-problem-solving-LLMs


title: A Statistical Method for Improving Momentum Measurement of Photon Conversions Reconstructed from Single Electrons

abstract: The reconstruction of photon conversions is importantin order to improve the reconstruction efficiency of the physics measurements involving photons. However, there are significant number of conversions in which only one of the two tracks emitted electrons is reconstructed in the detector due to very asymmetric energy sharing between the electron-positron pair. The momentum determination of the parent photon can be improved by estimating the missing energy in such conversions. In this study, we propose a simple statistical method that can be used to determine the mean value of the missing energy. By using simulated minimum bias events at LHC conditions and a toy detector simulation, the performance of the method is tested for several decay channels commonly used in particle physics analyses. A considerable improvement in the mass reconstruction precision is obtained when reconstructing particles decaying to photons whose energies are less than 20 GeV.


title: Anomalous phonon Gr\"uneisen parameters in semiconductor Ta$_2$NiS$_5$

abstract: Strain tuning is a powerful experimental method in probing correlated electron systems. Here we study the strain response of the lattice dynamics and electronic structure in semiconductor Ta$_2$NiS$_5$ by polarization-resolved Raman spectroscopy. We observe an increase of the size of the direct semiconducting band gap. Although the majority of the optical phonons show only marginal dependence to applied strain, the frequency of the two B$_{2g}$ phonon modes, which have quadrupolar symmetry and already anomalously soften on cooling under zero strain, increases significantly with tensile strain along the $a$ axis. The corresponding Gr\"uneisen parameters are unusually large in magnitude and negative in sign. These effects are well captured by first-principles density functional theory calculations and indicate close proximity of Ta$_2$NiS$_5$ to a structural instability, similar to that encountered in excitonic insulator candidate Ta$_2$NiSe$_5$.


title: The Digitization of Photographic Spectra in the Dominion Astrophysical Observatory Plate Collection with Commercial Scanners: A Pilot Study

abstract: Commercial flatbed scanners have the potential to deliver a quick and efficient means of capturing the scientific content of spectra recorded on photographic plates. We discuss the digitization of selected spectra in the Dominion Astrophysical Observatory (DAO) photographic plate collection with commercial scanners. In this pilot study, emphasis is placed on assessing if the information on the plates can be recovered using Epson V800 and 12000XL scanners; the more complicated issues associated with the shortcomings of photographic materials, such as correcting for nonlinearity, are deferred to a future study. Spectra of Vega that were recorded over ~4 decades with the DAO 1.8 meter telescope are examined. These spectra sample a range of photographic emulsions, plate preparation techniques, calibration information, observing techniques, and spectrograph configuration. A scanning density of 2400 elements per inch recovers information in the spectra. Differences in the modulation transfer function (MTF) of the two scanners are found, with the Epson 12000XL having a superior MTF. Comparisons with a CCD spectrum of Vega confirm that moderately weak features are faithfully recovered in photographic spectra that have been digitized with the 12000XL scanner. The importance of scanning the full plate to cover the light profile of the target and calibration information is emphasized. Lessons learned from these experiments are also presented.


title: Optimal anisotropies for p-Laplace type operators in the plane

abstract: Sharp lower and upper uniform estimates are obtained for fundamental frequencies of $p$-Laplace type operators generated by quadratic forms. Optimal constants are exhibited, rigidity of the upper estimate is proved, anisotropic attainability of the lower estimate is derived as well as characterization of anisotropic extremizers for circular and rectangular membranes. Sharp quantitative anisotropic inequalities associated with lower constants are also established, providing as a by-product information on anisotropic stability. When the uniform ellipticity condition is relaxed, we show that the optimal lower constant remains positive, while anisotropic extremizers no longer exist. Our sharp lower estimate can be viewed as an isoanisotropic counterpart of the Faber-Krahn isoperimetric inequality in the plane.


title: UQA: Corpus for Urdu Question Answering

abstract: This paper introduces UQA, a novel dataset for question answering and text comprehension in Urdu, a low-resource language with over 70 million native speakers. UQA is generated by translating the Stanford Question Answering Dataset (SQuAD2.0), a large-scale English QA dataset, using a technique called EATS (Enclose to Anchor, Translate, Seek), which preserves the answer spans in the translated context paragraphs. The paper describes the process of selecting and evaluating the best translation model among two candidates: Google Translator and Seamless M4T. The paper also benchmarks several state-of-the-art multilingual QA models on UQA, including mBERT, XLM-RoBERTa, and mT5, and reports promising results. For XLM-RoBERTa-XL, we have an F1 score of 85.99 and 74.56 EM. UQA is a valuable resource for developing and testing multilingual NLP systems for Urdu and for enhancing the cross-lingual transferability of existing models. Further, the paper demonstrates the effectiveness of EATS for creating high-quality datasets for other languages and domains. The UQA dataset and the code are publicly available at www.github.com/sameearif/UQA.


title: Unconditionally Safe Light Client

abstract: Blockchain applications often rely on lightweight clients to access and verify on-chain data efficiently without the need to run a resource-intensive full node. These light clients must maintain robust security to protect the blockchain's integrity for users of applications built upon it, achieving this with minimal resources and without significant latency. Moreover, different applications have varying security needs. This work focuses on addressing these two key requirements in the context of Proof-of-Stake (PoS) blockchains and identifying the fundamental cost-latency trade-offs to achieve tailored, optimal security for each light client. The key security guarantee of PoS blockchains is economic (implied by the "stake"). In this paper we formalize this cryptoeconomic security to light clients, ensuring that the cost of corrupting the data provided to light clients must outweigh the potential profit, thereby economically deterring malicious actors. We further introduce "insured" cryptoeconomic security to light clients, providing unconditional protection via the attribution of adversarial actions and the consequent slashing of stakes. The divisible and fungible nature of stake facilitates programmable security, allowing for customization of the security level and insurance amount according to the specific needs of different applications. We implemented the protocols in less than 1000 lines of Solidity and TypeScript code and evaluated their gas cost, latency, and the computational overhead. For example, for a transaction with value of \$32k, the light client can choose between zero cost with a latency of 5 hours or instant confirmation with an insurance cost of \$7.45. Thus, the client can select the optimal point on the latency-cost trade-off spectrum that best aligns with its needs. Light clients require negligible storage and face minimal computational costs,...


title: Purify Unlearnable Examples via Rate-Constrained Variational Autoencoders

abstract: Unlearnable examples (UEs) seek to maximize testing error by making subtle modifications to training examples that are correctly labeled. Defenses against these poisoning attacks can be categorized based on whether specific interventions are adopted during training. The first approach is training-time defense, such as adversarial training, which can mitigate poisoning effects but is computationally intensive. The other approach is pre-training purification, e.g., image short squeezing, which consists of several simple compressions but often encounters challenges in dealing with various UEs. Our work provides a novel disentanglement mechanism to build an efficient pre-training purification method. Firstly, we uncover rate-constrained variational autoencoders (VAEs), demonstrating a clear tendency to suppress the perturbations in UEs. We subsequently conduct a theoretical analysis for this phenomenon. Building upon these insights, we introduce a disentangle variational autoencoder (D-VAE), capable of disentangling the perturbations with learnable class-wise embeddings. Based on this network, a two-stage purification approach is naturally developed. The first stage focuses on roughly eliminating perturbations, while the second stage produces refined, poison-free results, ensuring effectiveness and robustness across various scenarios. Extensive experiments demonstrate the remarkable performance of our method across CIFAR-10, CIFAR-100, and a 100-class ImageNet-subset. Code is available at https://github.com/yuyi-sd/D-VAE.


title: SATO: Stable Text-to-Motion Framework

abstract: Is the Text to Motion model robust? Recent advancements in Text to Motion models primarily stem from more accurate predictions of specific actions. However, the text modality typically relies solely on pre-trained Contrastive Language-Image Pretraining (CLIP) models. Our research has uncovered a significant issue with the text-to-motion model: its predictions often exhibit inconsistent outputs, resulting in vastly different or even incorrect poses when presented with semantically similar or identical text inputs. In this paper, we undertake an analysis to elucidate the underlying causes of this instability, establishing a clear link between the unpredictability of model outputs and the erratic attention patterns of the text encoder module. Consequently, we introduce a formal framework aimed at addressing this issue, which we term the Stable Text-to-Motion Framework (SATO). SATO consists of three modules, each dedicated to stable attention, stable prediction, and maintaining a balance between accuracy and robustness trade-off. We present a methodology for constructing an SATO that satisfies the stability of attention and prediction. To verify the stability of the model, we introduced a new textual synonym perturbation dataset based on HumanML3D and KIT-ML. Results show that SATO is significantly more stable against synonyms and other slight perturbations while keeping its high accuracy performance.


title: Uncertainty for Active Learning on Graphs

abstract: Uncertainty Sampling is an Active Learning strategy that aims to improve the data efficiency of machine learning models by iteratively acquiring labels of data points with the highest uncertainty. While it has proven effective for independent data its applicability to graphs remains under-explored. We propose the first extensive study of Uncertainty Sampling for node classification: (1) We benchmark Uncertainty Sampling beyond predictive uncertainty and highlight a significant performance gap to other Active Learning strategies. (2) We develop ground-truth Bayesian uncertainty estimates in terms of the data generating process and prove their effectiveness in guiding Uncertainty Sampling toward optimal queries. We confirm our results on synthetic data and design an approximate approach that consistently outperforms other uncertainty estimators on real datasets. (3) Based on this analysis, we relate pitfalls in modeling uncertainty to existing methods. Our analysis enables and informs the development of principled uncertainty estimation on graphs.


title: Dynamic Local Average Treatment Effects

abstract: We consider Dynamic Treatment Regimes (DTRs) with One Sided Noncompliance that arise in applications such as digital recommendations and adaptive medical trials. These are settings where decision makers encourage individuals to take treatments over time, but adapt encouragements based on previous encouragements, treatments, states, and outcomes. Importantly, individuals may not comply with encouragements based on unobserved confounders. For settings with binary treatments and encouragements, we provide nonparametric identification, estimation, and inference for Dynamic Local Average Treatment Effects (LATEs), which are expected values of multiple time period treatment contrasts for the respective complier subpopulations. Under standard assumptions in the Instrumental Variable and DTR literature, we show that one can identify Dynamic LATEs that correspond to treating at single time steps. Under an additional cross-period effect-compliance independence assumption, which is satisfied in Staggered Adoption settings and a generalization of them, which we define as Staggered Compliance settings, we identify Dynamic LATEs for treating in multiple time periods.


title: On-demand shaped photon emission based on a parametrically modulated qubit

abstract: In the circuit quantum electrodynamics architectures, to realize a long-range quantum network mediated by flying photon, it is necessary to shape the temporal profile of emitted photons to achieve high transfer efficiency between two quantum nodes. In this work, we demonstrate a new single-rail and dual-rail time-bin shaped photon generator without additional flux-tunable elements, which can act as a quantum interface of a point-to-point quantum network. In our approach, we adopt a qubit-resonator-transmission line configuration, and the effective coupling strength between the qubit and the resonator can be varied by parametrically modulating the qubit frequency. In this way, the coupling is directly proportional to the parametric modulation amplitude and covers a broad tunable range beyond 20 MHz for the sample we used. Additionally, when emitting shaped photons, we find that the spurious frequency shift (-0.4 MHz) due to parametric modulation is small and can be readily calibrated through chirping. We develop an efficient photon field measurement setup based on the data stream processing of GPU. Utilizing this system, we perform photon temporal profile measurement, quantum state tomography of photon field, and quantum process tomography of single-rail quantum state transfer based on a heterodyne measurement scheme. The single-rail encoding state transfer fidelity of shaped photon emission is 90.32%, and that for unshaped photon is 97.20%, respectively. We believe that the fidelity of shaped photon emission is mainly limited by the qubit coherence time. The results demonstrate that our method is hardware efficient, simple to implement, and scalable. It could become a viable tool in a high-quality quantum network utilizing both single-rail and dual-rail time-bin encoding.