title: More Benefits of Being Distributional: Second-Order Bounds for Reinforcement Learning

abstract: In this paper, we prove that Distributional Reinforcement Learning (DistRL), which learns the return distribution, can obtain second-order bounds in both online and offline RL in general settings with function approximation. Second-order bounds are instance-dependent bounds that scale with the variance of return, which we prove are tighter than the previously known small-loss bounds of distributional RL. To the best of our knowledge, our results are the first second-order bounds for low-rank MDPs and for offline RL. When specializing to contextual bandits (one-step RL problem), we show that a distributional learning based optimism algorithm achieves a second-order worst-case regret bound, and a second-order gap dependent bound, simultaneously. We also empirically demonstrate the benefit of DistRL in contextual bandits on real-world datasets. We highlight that our analysis with DistRL is relatively simple, follows the general framework of optimism in the face of uncertainty and does not require weighted regression. Our results suggest that DistRL is a promising framework for obtaining second-order bounds in general RL settings, thus further reinforcing the benefits of DistRL.


title: Link-aware link prediction over temporal graph by pattern recognition

abstract: A temporal graph can be considered as a stream of links, each of which represents an interaction between two nodes at a certain time. On temporal graphs, link prediction is a common task, which aims to answer whether the query link is true or not. To do this task, previous methods usually focus on the learning of representations of the two nodes in the query link. We point out that the learned representation by their models may encode too much information with side effects for link prediction because they have not utilized the information of the query link, i.e., they are link-unaware. Based on this observation, we propose a link-aware model: historical links and the query link are input together into the following model layers to distinguish whether this input implies a reasonable pattern that ends with the query link. During this process, we focus on the modeling of link evolution patterns rather than node representations. Experiments on six datasets show that our model achieves strong performances compared with state-of-the-art baselines, and the results of link prediction are interpretable. The code and datasets are available on the project website: https://github.com/lbq8942/TGACN.


title: Outlier-Aware Training for Low-Bit Quantization of Structural Re-Parameterized Networks

abstract: Lightweight design of Convolutional Neural Networks (CNNs) requires co-design efforts in the model architectures and compression techniques. As a novel design paradigm that separates training and inference, a structural re-parameterized (SR) network such as the representative RepVGG revitalizes the simple VGG-like network with a high accuracy comparable to advanced and often more complicated networks. However, the merging process in SR networks introduces outliers into weights, making their distribution distinct from conventional networks and thus heightening difficulties in quantization. To address this, we propose an operator-level improvement for training called Outlier Aware Batch Normalization (OABN). Additionally, to meet the demands of limited bitwidths while upkeeping the inference accuracy, we develop a clustering-based non-uniform quantization framework for Quantization-Aware Training (QAT) named ClusterQAT. Integrating OABN with ClusterQAT, the quantized performance of RepVGG is largely enhanced, particularly when the bitwidth falls below 8.


title: On the Inhibition of Rayleigh Taylor Instability by Capillarity in the Navier Stokes Korteweg Model

abstract: Bresch--Desjardins--Gisclon--Sart had derived that the capillarity slows down the growth rate of Rayleigh--Taylor (RT) instability in an inhomogeneous incompressible fluid endowed with internal capillarity based on a linearized incompressible Navier--Stokes--Korteweg (NSK) equations in 2008. Later Li--Zhang further obtained another result that the capillarity inhibits RT instability also based on the linearized equations in (SIAM J. Math. Anal. 3287--3315, 2023), if the capillarity coefficient is bigger than some threshold. In this paper, we further rigorously prove such phenomenon of capillarity inhibiting the RT instability in the \emph{nonlinear} incompressible NSK equations in a horizontally periodic slab domain with Navier (slip) boundary conditions. The key idea in the proof is to capture the dissipative estimates of the tangential derivatives of density. Such dissipative estimates result in the decay-in-time of both the velocity and the perturbation density which is very useful to overcome the difficulties arising from the nonlinear terms.


title: Spectral Gaps for Jacobi Matrices on Graphs

abstract: We study bounds on eigenvalue gaps for finite quotients of periodic Jacobi matrices on trees. We prove an Alon-Boppana type bound for the spectral gap and a comparison result for other eigenvalue gaps.


title: On the convergence of the graph sequence $\left\{ C^m(D) \right\}_{m=1}^{\infty}$ for a multipartite tournament $D$

abstract: Given a positive integer $m$, the $m$-step competition graph of a digraph $D$, denoted by $C^m(D)$, has the same vertex set as $D$ and has an edge between vertices $u$ and $v$ if and only if there exists a vertex $w$ such that there exist directed walks of length $m$ from $u$ to $w$ and from $v$ to $w$, respectively. In this paper, we completely characterize the convergence of $\{C^m(D)\}_{m=1}^{\infty}$ for a multipartite tournament $D$ based on the last nontrivial strong component of $D$. Furthermore, not only do we determine the limit in the case of convergence, but also in the event of divergence, we specify how $C^m(D)$ changes periodically depending on the value of $m$. Our results extend the work of Jung et al. [On the limit of the sequence $\{C^m (D)\}_{m=1}^{\infty}$ for a multipartite tournament $D$. Discrete Appl. Math., 340:1--13, 2023] which addresses the case of the last strong component being nontrivial, thereby completing the convergence analysis of $\{C^m(D)\}_{m=1}^{\infty}$ for a multipartite tournament $D$. Our results can also be expressed in terms of matrix sequence $\{A^m(A^T)^m\}_{m=1}^{\infty}$ for the adjacency matrix $A$ of $D$ and this part is also covered in the text.


title: Synergizing Spatial Optimization with Large Language Models for Open-Domain Urban Itinerary Planning

abstract: In this paper, we introduce the novel task of Open-domain Urban Itinerary Planning (OUIP), a paradigm designed to generate personalized urban itineraries from user requests articulated in natural language. This approach is different from traditional itinerary planning, which often restricts the granularity of user inputs, thus hindering genuine personalization. To this end, we present ItiNera, an OUIP system that synergizes spatial optimization with large language models (LLMs) to provide services that customize urban itineraries based on users' needs. Upon receiving the user's itinerary request, the LLM first decomposes it into detailed components, identifying key requirements, including preferences and dislikes. Then, we use these specifics to select candidate POIs from a large-scale collection using embedding-based Preference-aware POI Retrieval. Finally, a preference score-based Cluster-aware Spatial Optimization module clusters, filters, and orders these POIs, followed by the LLM for detailed POI selection and organization to craft a personalized, spatially coherent itinerary. Moreover, we created an LLM-based pipeline to update and personalize a user-owned POI database. This ensures up-to-date POI information, supports itinerary planning, pre-trip research, POI collection, recommendations, and more. To the best of our knowledge, this study marks the first integration of LLMs to innovate itinerary planning, with potential extensions for various urban travel and exploration activities. Offline and online evaluations demonstrate the capacity of our system to deliver more responsive, personalized, and spatially coherent itineraries than current solutions. Our system, deployed on an online platform, has attracted thousands of users for their urban travel planning.


title: Baryogenesis in quantum fluctuation modified gravity

abstract: We consider baryogenesis in quantum fluctuation modified gravity. We explore three forms (two are newly proposed here) of baryogenesis interaction and discuss the effect of these interaction terms on the baryon-to-entropy ratio during the radiation era of the expanding universe. We constrain the model parameters with the current observational data, implying that this modified gravity is capable to address the issue of baryon asymmetry in a successful manner.


title: On the solution of constrained Sylvester-observer equation

abstract: In this paper explicit necessary and sufficient conditions for the constrained Sylvester-observer equation are established, in order to have a solution over the field of real numbers. Furthermore, a procedure is given for the computation of the solution. Our approach is based on properties of real and polynomial matrices. Applications of the main results of this paper to linear control theory are discussed


title: GALA3D: Towards Text-to-3D Complex Scene Generation via Layout-guided Generative Gaussian Splatting

abstract: We present GALA3D, generative 3D GAussians with LAyout-guided control, for effective compositional text-to-3D generation. We first utilize large language models (LLMs) to generate the initial layout and introduce a layout-guided 3D Gaussian representation for 3D content generation with adaptive geometric constraints. We then propose an instance-scene compositional optimization mechanism with conditioned diffusion to collaboratively generate realistic 3D scenes with consistent geometry, texture, scale, and accurate interactions among multiple objects while simultaneously adjusting the coarse layout priors extracted from the LLMs to align with the generated scene. Experiments show that GALA3D is a user-friendly, end-to-end framework for state-of-the-art scene-level 3D content generation and controllable editing while ensuring the high fidelity of object-level entities within the scene. The source codes and models will be available at gala3d.github.io.


title: ML Framework for Wireless MAC Protocol Design

abstract: Adaptivity, reconfigurability and intelligence are key features of the next-generation wireless networks to meet the increasingly diverse quality of service (QoS) requirements of the future applications. Conventional protocol designs, however, struggle to provide flexibility and agility to changing radio environments, traffic types and different user service requirements. In this paper, we explore the potential of deep reinforcement learning (DRL), in particular Proximal Policy Optimization (PPO), to design and configure intelligent and application-specific medium access control (MAC) protocols. We propose a framework that enables the addition, removal, or modification of protocol features to meet individual application needs. The DRL channel access policy design empowers the protocol to adapt and optimize in accordance with the network and radio environment. Through extensive simulations, we demonstrate the superior performance of the learned protocols over legacy IEEE 802.11ac in terms of throughput and latency.


title: Weighted sums of rooted spanning forests on cycles with pendant edges

abstract: We derive two formulas for the weighted sums of rooted spanning forests of particular sequence of graphs by using the matrix tree theorem. We consider cycle graphs with edges so called the pendant edges. One of our formula can be described as a variable transformation of the Chebyshev polynomial. They have particular algebraic properties.


title: Fukushima Nuclear Wastewater Discharge: An Evolutionary Game Theory Approach to International and Domestic Interaction and Strategic Decision-Making

abstract: On August 24, 2023, Japan controversially decided to discharge nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the ocean, sparking intense domestic and global debates. This study uses evolutionary game theory to analyze the strategic dynamics between Japan, other countries, and the Japan Fisheries Association. By incorporating economic, legal, international aid, and environmental factors, the research identifies three evolutionarily stable strategies, analyzing them via numerical simulations. The focus is on Japan's shift from wastewater release to its cessation, exploring the myriad factors influencing this transition and their effects on stakeholders' decisions. Key insights highlight the need for international cooperation, rigorous scientific research, public education, and effective wastewater treatment methods. Offering both a fresh theoretical perspective and practical guidance, this study aims to foster global consensus on nuclear wastewater management, crucial for marine conservation and sustainable development.

categories: math.DS econ.GN physics.soc-ph q-fin.EC stat.AP


title: Towards Fast Stochastic Sampling in Diffusion Generative Models

abstract: Diffusion models suffer from slow sample generation at inference time. Despite recent efforts, improving the sampling efficiency of stochastic samplers for diffusion models remains a promising direction. We propose Splitting Integrators for fast stochastic sampling in pre-trained diffusion models in augmented spaces. Commonly used in molecular dynamics, splitting-based integrators attempt to improve sampling efficiency by cleverly alternating between numerical updates involving the data, auxiliary, or noise variables. However, we show that a naive application of splitting integrators is sub-optimal for fast sampling. Consequently, we propose several principled modifications to naive splitting samplers for improving sampling efficiency and denote the resulting samplers as Reduced Splitting Integrators. In the context of Phase Space Langevin Diffusion (PSLD) [Pandey \& Mandt, 2023] on CIFAR-10, our stochastic sampler achieves an FID score of 2.36 in only 100 network function evaluations (NFE) as compared to 2.63 for the best baselines.


title: Quenched local limit theorem for random conductance models with long-range jumps

abstract: We establish the quenched local limit theorem for reversible random walk on $\Z^d$ (with $d\ge 2$) among stationary ergodic random conductances that permit jumps of arbitrary length. The proof is based on the weak parabolic Harnack inequalities and on-diagonal heat-kernel estimates for long-range random walks on general ergodic environments. In particular, this partly solves \cite[Open Problem 2.7]{BCKW}, where the quenched invariance principle was obtained. As a byproduct, we prove the maximal inequality with an extra tail term for long-range reversible random walks, which in turn yields the everywhere sublinear property for the associated corrector.


title: Non-Radial Free Geodesics. II. In Spatially Curved FLRW Spacetime

abstract: This paper presents an in-depth exploration of timelike free geodesics in spatially curved Friedmann-Lema\^itre-Robertson-Walker (FLRW) spacetime. A unified approach for these geodesics encompassing both radial and non-radial trajectories across Euclidean, spherical, and hyperbolic geometries is employed. Using the symmetry properties of the system, two constants of motion related to this dynamical system are derived. This treatment facilitates the explicit computation of radial and angular peculiar velocities, along with the evolution of the comoving radial distance and angle over time. The study introduces three distinct methods for characterizing geodesic solutions, further delving into the flatness limit, the null geodesic limit, the radial geodesic limit, the comoving geodesic limit, and the circular orbits. Additionally, we analyze Killing vectors, reflecting the symmetries inherent in the dynamical system. This study provides a more profound understanding of the behavior of free particles as observed from a comoving reference frame.


title: Through the Lens of Split Vote: Exploring Disagreement, Difficulty and Calibration in Legal Case Outcome Classification

abstract: In legal decisions, split votes (SV) occur when judges cannot reach a unanimous decision, posing a difficulty for lawyers who must navigate diverse legal arguments and opinions. In high-stakes domains, understanding the alignment of perceived difficulty between humans and AI systems is crucial to build trust. However, existing NLP calibration methods focus on a classifier's awareness of predictive performance, measured against the human majority class, overlooking inherent human label variation (HLV). This paper explores split votes as naturally observable human disagreement and value pluralism. We collect judges' vote distributions from the European Court of Human Rights (ECHR), and present SV-ECHR, a case outcome classification (COC) dataset with SV information. We build a taxonomy of disagreement with SV-specific subcategories. We further assess the alignment of perceived difficulty between models and humans, as well as confidence- and human-calibration of COC models. We observe limited alignment with the judge vote distribution. To our knowledge, this is the first systematic exploration of calibration to human judgements in legal NLP. Our study underscores the necessity for further research on measuring and enhancing model calibration considering HLV in legal decision tasks.


title: Spectroscopy of oscillation modes in homogeneously precessing domain of superfluid $^3$He-B

abstract: We study Homogeneously Precessing Domain (HPD) in superfluid $^3$He-B in a regular continuous-wave nuclear magnetic resonance (CW NMR) experiment. Using Fourier analysis of CW NMR time traces, we identify several oscillation modes with frequency monotonically increasing with the frequency shift of the HPD. Some of these modes are localized near the cell walls, while others are localized in bulk liquid and can be interpreted as oscillations of $\vartheta$-solitons. We also observe chaotic motion of the HPD in a certain range of temperatures and frequency shifts.


title: A novel spatial-frequency domain network for zero-shot incremental learning

abstract: Zero-shot incremental learning aims to enable the model to generalize to new classes without forgetting previously learned classes. However, the semantic gap between old and new sample classes can lead to catastrophic forgetting. Additionally, existing algorithms lack capturing significant information from each sample image domain, impairing models' classification performance. Therefore, this paper proposes a novel Spatial-Frequency Domain Network (SFDNet) which contains a Spatial-Frequency Feature Extraction (SFFE) module and Attention Feature Alignment (AFA) module to improve the Zero-Shot Translation for Class Incremental algorithm. Firstly, SFFE module is designed which contains a dual attention mechanism for obtaining salient spatial-frequency feature information. Secondly, a novel feature fusion module is conducted for obtaining fused spatial-frequency domain features. Thirdly, the Nearest Class Mean classifier is utilized to select the most suitable category. Finally, iteration between tasks is performed using the Zero-Shot Translation model. The proposed SFDNet has the ability to effectively extract spatial-frequency feature representation from input images, improve the accuracy of image classification, and fundamentally alleviate catastrophic forgetting. Extensive experiments on the CUB 200-2011 and CIFAR100 datasets demonstrate that our proposed algorithm outperforms state-of-the-art incremental learning algorithms.


title: Content and structure of laboratory packages for software engineering experiments

abstract: Context: Experiment replications play a central role in the scientific method. Although software engineering experimentation has matured a great deal, the number of experiment replications is still relatively small. Software engineering experiments are composed of complex concepts, procedures and artefacts. Laboratory packages are a means of transfer-ring knowledge among researchers to facilitate experiment replications. Objective: This paper investigates the experiment replication process to find out what information is needed to successfully replicate an experiment. Our objective is to propose the content and structure of laboratory packages for software engineering experiments. Method: We evaluated seven replications of three different families of experiments. Each replication had a different experimenter who was, at the time, unfamiliar with the experi-ment. During the first iterations of the study, we identified experimental incidents and then proposed a laboratory package structure that addressed these incidents, including docu-ment usability improvements. We used the later iterations to validate and generalize the laboratory package structure for use in all software engineering experiments. We aimed to solve a specific problem, while at the same time looking at how to contribute to the body of knowledge on laboratory packages. Results: We generated a laboratory package for three different experiments. These packages eased the replication of the respective experiments. The evaluation that we conducted shows that the laboratory package proposal is acceptable and reduces the effort currently required to replicate experiments in software engineering. Conclusion: We think that the content and structure that we propose for laboratory pack-ages can be useful for other software engineering experiments.


title: Sensor Misalignment-tolerant AUV Navigation with Passive DoA and Doppler Measurements

abstract: We present a sensor misalignment-tolerant AUV navigation method that leverages measurements from an acoustic array and dead reckoned information. Recent studies have demonstrated the potential use of passive acoustic Direction of Arrival (DoA) measurements for AUV navigation without requiring ranging measurements. However, the sensor misalignment between the acoustic array and the attitude sensor was not accounted for. Such misalignment may deteriorate the navigation accuracy. This paper proposes a novel approach that allows simultaneous AUV navigation, beacon localization, and sensor alignment. An Unscented Kalman Filter (UKF) that enables the necessary calculations to be completed at an affordable computational load is developed. A Nonlinear Least Squares (NLS)-based technique is employed to find an initial solution for beacon localization and sensor alignment as early as possible using a short-term window of measurements. Experimental results demonstrate the performance of the proposed method.


title: The dependence of local regularity of solutions on the summability of coefficients and nonhomogenous term

abstract: In this paper, we mainly discuss the local regularity of the solution to the following problem \begin{align*} \begin{cases} -\dive({\bf{A}}(x)\nabla u(x))=f(x),&~x\in\Omega,\\ u(x)=0,&~x\in\partial\Omega, \end{cases} \end{align*} where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$. In particular, we are concerned with the connection between the regularity of the solution $u$ and the integrability of the coefficient matrix ${\bf{A}}(x)$ as well as the nonhomogeneous term $f$. To be more precise, our first result is to prove that the maximum norm of $u$ can be controlled by $\|f\|_{s}$ with $f\in L^s(\Omega),~s>\frac{nq}{2q-n},~q>\frac{n}{2}$. Meanwhile, we construct some counterexamples to illustrate the index $\frac{nq}{2q-n}$ being sharp. Subsequently, we give an improved upper bound for the maximum norm of $u$. Namely, there exists a positive constant $C$ such that $$\|u\|_{\infty}\leq C\|f\|_{\frac{nq}{2q-n}}\left[\log\left(\frac{\|f\|_{s}}{~~~~~\|f\|_{\frac{nq}{2q-n}}}+1\right)+1\right].$$ Specially, the main difference of our approach compared to the arguments of [\ref{CUR}, \ref{XU}] is to construct two classes of truncation functions to remove the assumption of the boundedness of $u$. Finally, based on the previous results and Moser iteration argument, we derive the Harnack inequality of $u$ from which the H\"older continuity of the solution follows. In addition, we also find that the Lebesgue space $L^{\frac{n}{2}}(\Omega)$ to which the inverse of the smallest eigenvalue $\lambda(x) $ of the matrix {\bf{A}}(x) belongs is essentially sharp in order to establish local boundedness and the H\"older continuity of the solution.


title: KVQ: Kwai Video Quality Assessment for Short-form Videos

abstract: Short-form UGC video platforms, like Kwai and TikTok, have been an emerging and irreplaceable mainstream media form, thriving on user-friendly engagement, and kaleidoscope creation, etc. However, the advancing content-generation modes, e.g., special effects, and sophisticated processing workflows, e.g., de-artifacts, have introduced significant challenges to recent UGC video quality assessment: (i) the ambiguous contents hinder the identification of quality-determined regions. (ii) the diverse and complicated hybrid distortions are hard to distinguish. To tackle the above challenges and assist in the development of short-form videos, we establish the first large-scale Kaleidoscope short Video database for Quality assessment, termed KVQ, which comprises 600 user-uploaded short videos and 3600 processed videos through the diverse practical processing workflows, including pre-processing, transcoding, and enhancement. Among them, the absolute quality score of each video and partial ranking score among indistinguishable samples are provided by a team of professional researchers specializing in image processing. Based on this database, we propose the first short-form video quality evaluator, i.e., KSVQE, which enables the quality evaluator to identify the quality-determined semantics with the content understanding of large vision language models (i.e., CLIP) and distinguish the distortions with the distortion understanding module. Experimental results have shown the effectiveness of KSVQE on our KVQ database and popular VQA databases.


title: The Reasons that Agents Act: Intention and Instrumental Goals

abstract: Intention is an important and challenging concept in AI. It is important because it underlies many other concepts we care about, such as agency, manipulation, legal responsibility, and blame. However, ascribing intent to AI systems is contentious, and there is no universally accepted theory of intention applicable to AI agents. We operationalise the intention with which an agent acts, relating to the reasons it chooses its decision. We introduce a formal definition of intention in structural causal influence models, grounded in the philosophy literature on intent and applicable to real-world machine learning systems. Through a number of examples and results, we show that our definition captures the intuitive notion of intent and satisfies desiderata set-out by past work. In addition, we show how our definition relates to past concepts, including actual causality, and the notion of instrumental goals, which is a core idea in the literature on safe AI agents. Finally, we demonstrate how our definition can be used to infer the intentions of reinforcement learning agents and language models from their behaviour.


title: On (Mis)perceptions of testing effectiveness: an empirical study

abstract: A recurring problem in software development is incorrect decision making on the techniques, methods and tools to be used. Mostly, these decisions are based on developers' perceptions about them. A factor influencing people's perceptions is past experience, but it is not the only one. In this research, we aim to discover how well the perceptions of the defect detection effectiveness of different techniques match their real effectiveness in the absence of prior experience. To do this, we conduct an empirical study plus a replication. During the original study, we conduct a controlled experiment with students applying two testing techniques and a code review technique. At the end of the experiment, they take a survey to find out which technique they perceive to be most effective. The results show that participants' perceptions are wrong and that this mismatch is costly in terms of quality. In order to gain further insight into the results, we replicate the controlled experiment and extend the survey to include questions about participants' opinions on the techniques and programs. The results of the replicated study confirm the findings of the original study and suggest that participants' perceptions might be based not on their opinions about complexity or preferences for techniques but on how well they think that they have applied the techniques.


title: Radiant fluence from ray tracing in optical multipass systems

abstract: In applications of optical multipass cells in photochemical reactors and laser excitation of weak transitions, estimation of the radiation dose in a volume of interest allows to assess the performance and optimize the design of the cell. We adopt radiant fluence as the figure of merit and employ the radiative transfer equation to derive analytical expressions for average radiant fluence in a given volume of interest. These are used to establish practical approximations and a Monte Carlo ray tracing model of the spatial distribution of fluence. Ray tracing is performed with Zemax OpticsStudio 18.9.


title: Arbitrarily configurable nonlinear topological modes

abstract: Topological modes (TMs) are typically localized at boundaries, interfaces and dislocations, and exponentially decay into the bulk of a large enough lattice. Recently, the non-Hermitian skin effect has been leveraged to delocalize the wavefunctions of TMs from the boundary and thus to increase the capacity of TMs dramatically. Here, we explore the capability of nonlinearity in designing and reconfiguring the wavefunctions of TMs. With growing intensity, wavefunctions of these in-gap nonlinear TMs undergo an initial deviation from exponential decay, gradually merge into arbitrarily designable plateaus, then encompass the entire nonlinear domain, and eventually concentrate at the nonlinear boundary. Intriguingly, such extended nonlinear TMs are still robust against defects and disorders, and stable in dynamics under external excitation. Advancing the conceptual understanding of the nonlinear TMs, our results open new avenues for increasing the capacity of TMs and developing compact and reconfigurable topological devices.


title: Rethinking Graph Masked Autoencoders through Alignment and Uniformity

abstract: Self-supervised learning on graphs can be bifurcated into contrastive and generative methods. Contrastive methods, also known as graph contrastive learning (GCL), have dominated graph self-supervised learning in the past few years, but the recent advent of graph masked autoencoder (GraphMAE) rekindles the momentum behind generative methods. Despite the empirical success of GraphMAE, there is still a dearth of theoretical understanding regarding its efficacy. Moreover, while both generative and contrastive methods have been shown to be effective, their connections and differences have yet to be thoroughly investigated. Therefore, we theoretically build a bridge between GraphMAE and GCL, and prove that the node-level reconstruction objective in GraphMAE implicitly performs context-level GCL. Based on our theoretical analysis, we further identify the limitations of the GraphMAE from the perspectives of alignment and uniformity, which have been considered as two key properties of high-quality representations in GCL. We point out that GraphMAE's alignment performance is restricted by the masking strategy, and the uniformity is not strictly guaranteed. To remedy the aforementioned limitations, we propose an Alignment-Uniformity enhanced Graph Masked AutoEncoder, named AUG-MAE. Specifically, we propose an easy-to-hard adversarial masking strategy to provide hard-to-align samples, which improves the alignment performance. Meanwhile, we introduce an explicit uniformity regularizer to ensure the uniformity of the learned representations. Experimental results on benchmark datasets demonstrate the superiority of our model over existing state-of-the-art methods.


title: Stitching Sub-Trajectories with Conditional Diffusion Model for Goal-Conditioned Offline RL

abstract: Offline Goal-Conditioned Reinforcement Learning (Offline GCRL) is an important problem in RL that focuses on acquiring diverse goal-oriented skills solely from pre-collected behavior datasets. In this setting, the reward feedback is typically absent except when the goal is achieved, which makes it difficult to learn policies especially from a finite dataset of suboptimal behaviors. In addition, realistic scenarios involve long-horizon planning, which necessitates the extraction of useful skills within sub-trajectories. Recently, the conditional diffusion model has been shown to be a promising approach to generate high-quality long-horizon plans for RL. However, their practicality for the goal-conditioned setting is still limited due to a number of technical assumptions made by the methods. In this paper, we propose SSD (Sub-trajectory Stitching with Diffusion), a model-based offline GCRL method that leverages the conditional diffusion model to address these limitations. In summary, we use the diffusion model that generates future plans conditioned on the target goal and value, with the target value estimated from the goal-relabeled offline dataset. We report state-of-the-art performance in the standard benchmark set of GCRL tasks, and demonstrate the capability to successfully stitch the segments of suboptimal trajectories in the offline data to generate high-quality plans.


title: Time-Delayed Game Strategy Analysis Among Japan, Other Nations, and the International Atomic Energy Agency in the Context of Fukushima Nuclear Wastewater Discharge Decision

abstract: This academic paper examines the strategic interactions between Japan, other nations, and the International Atomic Energy Agency (IAEA) regarding Japan's decision to release treated nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the sea. It introduces a payoff matrix and time-delay elements in replicator dynamic equations to mirror real-world decision-making delays. The paper analyzes the stability of strategies and conditions for different stable states using characteristic roots of a linearized system and numerical simulations. It concludes that time delays significantly affect decision-making stability and evolution trajectories in nuclear wastewater disposal strategies. The study highlights the importance of efficient wastewater treatment technology, the impact of export tax revenue losses on Japan's strategies, and the role of international cooperation. The novelty of the research lies in integrating time-delay elements from ocean dynamics and governmental decision-making into the game-theoretical model.


title: Recovering pulsar periodicity from time of arrival data by finding the shortest vector in a lattice

abstract: The strict periodicity of pulsars is the primary source of information we have to learn about their nature and environment, it allows us to challenge general relativity and measure gravitational waves. Identifying such a periodicity from a discrete set of arrival times is a difficult algorithmic problem, particularly when the pulsar is in a binary system. This challenge is especially acute in $\gamma$-ray pulsar astronomy as there are hundreds of unassociated Fermi-LAT sources awaiting a timing solution that will reveal their nature, and may allow adding them to pulsar timing arrays. The same issue arises when attempting to recover a strict periodicity for repeating fast radio bursts (FRBs). Such a detection would be a major breakthrough, providing us with the FRB source's age, magnetic field, and binary orbit. The problem of recovering a timing solution from sparse time-of-arrival (TOA) data is currently unsolvable for pulsars in binary systems and incredibly hard even for single pulsars. In a series of papers, we will develop an algorithmic set of tools that will allow us to solve the timing recovery problem under different regimes. In this paper, we frame the timing recovery problem as the problem of finding a short vector in a lattice and obtain the solution using off-the-shelf lattice reduction and sieving techniques. As a proof of concept, we solve PSR J0318+0253, a millisecond $\gamma$-ray pulsar discovered by FAST in a $\gamma$-ray directed search, in a few CPU-minutes. We discuss the assumptions of the standard lattice techniques and quantify their performance and limitations.


title: Successive Refinement in Large-Scale Computation: Advancing Model Inference Applications

abstract: Modern computationally-intensive applications often operate under time constraints, necessitating acceleration methods and distribution of computational workloads across multiple entities. However, the outcome is either achieved within the desired timeline or not, and in the latter case, valuable resources are wasted. In this paper, we introduce solutions for layered-resolution computation. These solutions allow lower-resolution results to be obtained at an earlier stage than the final result. This innovation notably enhances the deadline-based systems, as if a computational job is terminated due to time constraints, an approximate version of the final result can still be generated. Moreover, in certain operational regimes, a high-resolution result might be unnecessary, because the low-resolution result may already deviate significantly from the decision threshold, for example in AI-based decision-making systems. Therefore, operators can decide whether higher resolution is needed or not based on intermediate results, enabling computations with adaptive resolution. We present our framework for two critical and computationally demanding jobs: distributed matrix multiplication (linear) and model inference in machine learning (nonlinear). Our theoretical and empirical results demonstrate that the execution delay for the first resolution is significantly shorter than that for the final resolution, while maintaining overall complexity comparable to the conventional one-shot approach. Our experiments further illustrate how the layering feature increases the likelihood of meeting deadlines and enables adaptability and transparency in massive, large-scale computations.


title: Principal Types as Partial Involutions

abstract: We show that the principal types of the closed terms of the affine fragment of $\lambda$-calculus, with respect to a simple type discipline, are structurally isomorphic to their interpretations, as partial involutions, in a natural Geometry of Interaction model \`a la Abramsky. This permits to explain in elementary terms the somewhat awkward notion of linear application arising in Geometry of Interaction, simply as the resolution between principal types using an alternate unification algorithm. As a consequence, we provide an answer, for the purely affine fragment, to the open problem raised by Abramsky of characterising those partial involutions which are denotations of combinatory terms.


title: Ab initio simulations of the thermodynamic properties and phase transition of Fermi systems based on fictitious identical particles and physics-informed neural networks

abstract: Fictitious identical particle thermodynamics has emerged as a powerful tool to overcome the fermion sign problem, enabling highly accurate simulations of one thousand fermions in warm dense matter (T. Dornheim et al., J. Phys. Chem. Lett. 15, 1305 (2024)). However, inferring the thermodynamic properties of Fermi systems from a large number of exact numerical simulations of the bosonic sector still poses subtle challenges, especially in the regime of high quantum degeneracy and in the presence of phase transitions. In this work, we demonstrate that physics-informed neural networks (PINNs), trained on data from extensive and sign-problem-free numerical simulations of the bosonic sector, offer a valuable means to infer the thermodynamic properties of Fermi systems. PINNs can play a particularly crucial role in capturing phase transitions. To illustrate the methodology of fictitious identical particles combined with PINNs for simulating the thermodynamics of Fermi systems, we explore its application in realistic scenarios, including ultracold Fermi gases in periodic potentials, and phase transitions of pair condensation formed in the unitary limit in a three-dimensional harmonic trap. For the spatially continuous Fermi-Hubbard model, we efficiently and reliably simulated hundreds of fermions here. For the Fermi gas in the unitary limit, based on the fictitious identical particle combined with PINNs, our approach confirms the universal result of the critical temperature with the increasing of the number of fermions, and is consistent with the experimental observations.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el physics.chem-ph physics.comp-ph


title: UVTM: Universal Vehicle Trajectory Modeling with ST Feature Domain Generation

abstract: Vehicle movement is frequently captured in the form of trajectories, i.e., sequences of timestamped locations. Numerous methods exist that target different tasks involving trajectories such as travel-time estimation, trajectory recovery, and trajectory prediction. However, most methods target only one specific task and cannot be applied universally. Existing efforts to create a universal trajectory model often involve adding prediction modules for adapting to different tasks, while also struggle with incomplete or sparse trajectories. To address these shortcomings, we propose the Universal Vehicle Trajectory Model (UVTM) designed to support different tasks based on incomplete or sparse trajectories without the need for retraining or extra prediction modules. To addresses task adaptability on incomplete trajectories, UVTM divide the spatio-temporal features of trajectories into three distinct domains. Each domain can be masked and generated independently to suit the input and output needs of specific tasks. To handle sparse trajectories effectively, UVTM is pre-trained by reconstructing densely sampled trajectories from sparsely sampled ones, allowing it to extract detailed spatio-temporal information from sparse trajectories. Experiments involving three representative trajectory-related tasks on two real-world vehicle trajectory datasets provide insight into the intended properties performance of UVTM and offer evidence that UVTM is capable of meeting its objectives.


title: TransGPT: Multi-modal Generative Pre-trained Transformer for Transportation

abstract: Natural language processing (NLP) is a key component of intelligent transportation systems (ITS), but it faces many challenges in the transportation domain, such as domain-specific knowledge and data, and multi-modal inputs and outputs. This paper presents TransGPT, a novel (multi-modal) large language model for the transportation domain, which consists of two independent variants: TransGPT-SM for single-modal data and TransGPT-MM for multi-modal data. TransGPT-SM is finetuned on a single-modal Transportation dataset (STD) that contains textual data from various sources in the transportation domain. TransGPT-MM is finetuned on a multi-modal Transportation dataset (MTD) that we manually collected from three areas of the transportation domain: driving tests, traffic signs, and landmarks. We evaluate TransGPT on several benchmark datasets for different tasks in the transportation domain, and show that it outperforms baseline models on most tasks. We also showcase the potential applications of TransGPT for traffic analysis and modeling, such as generating synthetic traffic scenarios, explaining traffic phenomena, answering traffic-related questions, providing traffic recommendations, and generating traffic reports. This work advances the state-of-the-art of NLP in the transportation domain and provides a useful tool for ITS researchers and practitioners.


title: CPSDBench: A Large Language Model Evaluation Benchmark and Baseline for Chinese Public Security Domain

abstract: Large Language Models (LLMs) have demonstrated significant potential and effectiveness across multiple application domains. To assess the performance of mainstream LLMs in public security tasks, this study aims to construct a specialized evaluation benchmark tailored to the Chinese public security domain--CPSDbench. CPSDbench integrates datasets related to public security collected from real-world scenarios, supporting a comprehensive assessment of LLMs across four key dimensions: text classification, information extraction, question answering, and text generation. Furthermore, this study introduces a set of innovative evaluation metrics designed to more precisely quantify the efficacy of LLMs in executing tasks related to public security. Through the in-depth analysis and evaluation conducted in this research, we not only enhance our understanding of the performance strengths and limitations of existing models in addressing public security issues but also provide references for the future development of more accurate and customized LLM models targeted at applications in this field.


title: Scientific Talent Leaks Out of Funding Gaps

abstract: We study how delays in NIH grant funding affect the career outcomes of research personnel. Using comprehensive earnings and tax records linked to university transaction data along with a difference-in-differences design, we find that a funding interruption of more than 30 days has a substantial effect on job placements for personnel who work in labs with a single NIH R01 research grant, including a 3 percentage point (40%) increase in the probability of not working in the US. Incorporating information from the full 2020 Decennial Census and data on publications, we find that about half of those induced into nonemployment appear to permanently leave the US and are 90% less likely to publish in a given year, with even larger impacts for trainees (postdocs and graduate students). Among personnel who continue to work in the US, we find that interrupted personnel earn 20% less than their continuously-funded peers, with the largest declines concentrated among trainees and other non-faculty personnel (such as staff and undergraduates). Overall, funding delays account for about 5% of US nonemployment in our data, indicating that they have a meaningful effect on the scientific labor force at the national level.


title: Extending Inferences from Randomized Clinical Trials to Target Populations: A Scoping Review of Transportability Methods

abstract: Objective: Randomized controlled trial (RCT) results often inform clinical decision-making, but the highly curated populations of trials and the care provided during the trial are often not reflective of real-world practice. The objective of this scoping review is to identify the ability of methods to transport findings from RCTs to target populations. Study design: A scoping review was conducted on the literature focusing on the transportability of the results from RCTs to observational cohorts. Each study was assessed based on the methodology used for transportability and the extent to which the treatment effect from the RCT was estimated in the target population in observational data. Results: A total of 15 published papers were included. The research topics include cardiovascular diseases, infectious diseases, psychiatry, oncology, orthopedics, anesthesiology, and hematology. These studies show that the findings from RCTs could be translated to real-world settings, with varying degrees of effect size and precision. In some cases, the estimated treatment effect for the target population were statistically significantly different from those in RCTs. Conclusion: Despite variations in the magnitude of effects between RCTs and real-world studies, transportability methods play an important role in effectively bridging the RCTs and real-world care delivery, offering valuable insights for evidence-based medicine.


title: Invariant $\lambda$-translators in Lorentz-Minkowski space

abstract: Given $\lambda\in\mathbb{R}$ and $\textbf{v}\in\mathbb{L}^3$, a $\lambda$-translator with velocity $\textbf{v}$ is an immersed surface in $\mathbb{L}^3$ whose mean curvature satisfies $H=\langle N,\textbf{v}\rangle+\lambda$, where $N$ is a unit normal vector field. When $\lambda=0$, we fall into the class of translating solitons of the mean curvature flow. In this paper we study $\lambda$-translators in $\mathbb{L}^3$ that are invariant under a 1-parameter group of translations and rotations. The former are cylindrical surfaces and explicit parametrizations are found, distinguishing on the causality of both the ruling direction and the $\lambda$-translators. In the case of rotational $\lambda$-translators we distinguish between spacelike and timelike rotations and exhibit the qualitative properties of rotational $\lambda$-translators by analyzing the non-linear autonomous system fulfilled by the coordinate functions of the generating curves.


title: Spherically symmetric teleparallel geometries

abstract: We are interested in the development of spherically symmetric geometries in $F(T)$ teleparallel gravity which are of physical importance. We first express the general forms for the spherically symmetric frame and the zero curvature, metric compatible, spin connection. We then analyse the antisymmetric field equations (the solutions of which split into two cases, which we subsequently consider separately), and derive and analyse the resulting symmetric field equations. In order to further study the applications of spherically symmetric teleparallel models, we study $3$ subcases in which there is an additional affine symmetry so that the resulting field equations reduce to a system of ordinary differential equations. First, we study static spherical symmetric geometries and solve the antisymmetric field equations and subsequently derive the full set of symmetric field equations. In particular, we investigate vacuum spacetimes and obtain a number of new solutions. Second, we consider an additional affine frame symmetry in order to expand the affine frame symmetry group to that of a spatially homogeneous Kantowski-Sachs geometry. Third, we study the special case of spherical symmetry with an additional fourth similarity affine vector.


title: Weakly interacting one-dimensional topological insulators: a bosonization approach

abstract: We investigate the topological properties of one-dimensional weakly interacting topological insulators using bosonization. To do that we study the topological edge states that emerge at the edges of a model realized by a strong impurity or at the boundary between topologically distinct phases. In the bosonic model, the edge states are manifested as degenerate bosonic kinks at the boundaries. We first illustrate this idea on the example of the interacting Su-Schrieffer-Heeger (SSH) chain. We compute the localization length of the edge states as the width of an edge soliton that occurs in the SSH model in the presence of a strong impurity. Next, we examine models of two capacitively coupled SSH chains that can be either identical or in distinct topological phases. We find that weak Hubbard interaction reduces the ground state degeneracy in the topological phase of identical chains. We then prove that similarly to the non-interacting model, the degeneracy of the edge states in the interacting case is protected by chiral symmetry. We then study topological insulators built from two SSH chains with inter-chain hopping, that represent models of different chiral symmetric universality classes. We demonstrate in bosonic language that the topological index of a weakly coupled model is determined by the type of inter-chain coupling, invariant under one of two possible chiral symmetry operators. Finally, we show that a general one-dimensional model in a phase with topological index $\nu$ is equivalent at low energies to a theory of at least $\nu$ SSH chains. We illustrate this idea on the example of an SSH model with longer-range hopping.


title: Oja's Algorithm for Sparse PCA

abstract: Oja's algorithm for streaming Principal Component Analysis (PCA) for $n$ datapoints in a $d$ dimensional space achieves the same sin-squared error $O(r_\mathsf{eff}/n)$ as the offline algorithm in $O(d)$ space and $O(nd)$ time and a single pass through the datapoints. Here $r_\mathsf{eff}$ is the effective rank (ratio of the trace and the principal eigenvalue of the population covariance matrix $\Sigma$). Under this computational budget, we consider the problem of sparse PCA, where the principal eigenvector of $\Sigma$ is $s$-sparse, and $r_\mathsf{eff}$ can be large. In this setting, to our knowledge, \textit{there are no known single-pass algorithms} that achieve the minimax error bound in $O(d)$ space and $O(nd)$ time without either requiring strong initialization conditions or assuming further structure (e.g., spiked) of the covariance matrix. We show that a simple single-pass procedure that thresholds the output of Oja's algorithm (the Oja vector) can achieve the minimax error bound under some regularity conditions in $O(d)$ space and $O(nd)$ time as long as $r_\mathsf{eff}=O(n/\log n)$. We present a nontrivial and novel analysis of the entries of the unnormalized Oja vector, which involves the projection of a product of independent random matrices on a random initial vector. This is completely different from previous analyses of Oja's algorithm and matrix products, which have been done when the $r_\mathsf{eff}$ is bounded.


title: Proof of Diligence: Cryptoeconomic Security for Rollups

abstract: Layer 1 (L1) blockchains such as Ethereum are secured under an "honest supermajority of stake" assumption for a large pool of validators who verify each and every transaction on it. This high security comes at a scalability cost which not only effects the throughput of the blockchain but also results in high gas fees for executing transactions on chain. The most successful solution for this problem is provided by optimistic rollups, Layer 2 (L2) blockchains that execute transactions outside L1 but post the transaction data on L1. The security for such L2 chains is argued, informally, under the assumption that a set of nodes will check the transaction data posted on L1 and raise an alarm (a fraud proof) if faulty transactions are detected. However, all current deployments lack a proper incentive mechanism for ensuring that these nodes will do their job ``diligently'', and simply rely on a cursory incentive alignment argument for security. We solve this problem by introducing an incentivized watchtower network designed to serve as the first line of defense for rollups. Our main contribution is a ``Proof of Diligence'' protocol that requires watchtowers to continuously provide a proof that they have verified L2 assertions and get rewarded for the same. Proof of Diligence protocol includes a carefully-designed incentive mechanism that is provably secure when watchtowers are rational actors, under a mild rational independence assumption. Our proposed system is now live on Ethereum testnet. We deployed a watchtower network and implemented Proof of Diligence for multiple optimistic rollups. We extract execution as well as inclusion proofs for transactions as a part of the bounty. Each watchtower has minimal additional computational overhead beyond access to standard L1 and L2 RPC nodes.


title: Optimizing Genetically-Driven Synaptogenesis

abstract: In this paper we introduce SynaptoGen, a novel framework that aims to bridge the gap between genetic manipulations and neuronal network behavior by simulating synaptogenesis and guiding the development of neuronal networks capable of solving predetermined computational tasks. Drawing inspiration from recent advancements in the field, we propose SynaptoGen as a bio-plausible approach to modeling synaptogenesis through differentiable functions. To validate SynaptoGen, we conduct a preliminary experiment using reinforcement learning as a benchmark learning framework, demonstrating its effectiveness in generating neuronal networks capable of solving the OpenAI Gym's Cart Pole task, compared to carefully designed baselines. The results highlight the potential of SynaptoGen to inspire further advancements in neuroscience and computational modeling, while also acknowledging the need for incorporating more realistic genetic rules and synaptic conductances in future research. Overall, SynaptoGen represents a promising avenue for exploring the intersection of genetics, neuroscience, and artificial intelligence.


title: PIVOT-Net: Heterogeneous Point-Voxel-Tree-based Framework for Point Cloud Compression

abstract: The universality of the point cloud format enables many 3D applications, making the compression of point clouds a critical phase in practice. Sampled as discrete 3D points, a point cloud approximates 2D surface(s) embedded in 3D with a finite bit-depth. However, the point distribution of a practical point cloud changes drastically as its bit-depth increases, requiring different methodologies for effective consumption/analysis. In this regard, a heterogeneous point cloud compression (PCC) framework is proposed. We unify typical point cloud representations -- point-based, voxel-based, and tree-based representations -- and their associated backbones under a learning-based framework to compress an input point cloud at different bit-depth levels. Having recognized the importance of voxel-domain processing, we augment the framework with a proposed context-aware upsampling for decoding and an enhanced voxel transformer for feature aggregation. Extensive experimentation demonstrates the state-of-the-art performance of our proposal on a wide range of point clouds.


title: SAIS: A Novel Bio-Inspired Artificial Immune System Based on Symbiotic Paradigm

abstract: We propose a novel type of Artificial Immune System (AIS): Symbiotic Artificial Immune Systems (SAIS), drawing inspiration from symbiotic relationships in biology. SAIS parallels the three key stages (i.e., mutualism, commensalism and parasitism) of population updating from the Symbiotic Organisms Search (SOS) algorithm. This parallel approach effectively addresses the challenges of large population size and enhances population diversity in AIS, which traditional AIS and SOS struggle to resolve efficiently. We conducted a series of experiments, which demonstrated that our SAIS achieved comparable performance to the state-of-the-art approach SOS and outperformed other popular AIS approaches and evolutionary algorithms across 26 benchmark problems. Furthermore, we investigated the problem of parameter selection and found that SAIS performs better in handling larger population sizes while requiring fewer generations. Finally, we believe SAIS, as a novel bio-inspired and immune-inspired algorithm, paves the way for innovation in bio-inspired computing with the symbiotic paradigm.


title: Semi-Mamba-UNet: Pixel-Level Contrastive and Pixel-Level Cross-Supervised Visual Mamba-based UNet for Semi-Supervised Medical Image Segmentation

abstract: Medical image segmentation is essential in diagnostics, treatment planning, and healthcare, with deep learning offering promising advancements. Notably, Convolutional Neural Network (CNN) excel in capturing local image features, whereas Vision Transformer (ViT) adeptly model long-range dependencies through multi-head self-attention mechanisms. Despite their strengths, both CNN and ViT face challenges in efficiently processing long-range dependencies within medical images, often requiring substantial computational resources. This issue, combined with the high cost and limited availability of expert annotations, poses significant obstacles to achieving precise segmentation. To address these challenges, this paper introduces the Semi-Mamba-UNet, which integrates a visual mamba-based UNet architecture with a conventional UNet into a semi-supervised learning (SSL) framework. This innovative SSL approach leverages dual networks to jointly generate pseudo labels and cross supervise each other, drawing inspiration from consistency regularization techniques. Furthermore, we introduce a self-supervised pixel-level contrastive learning strategy, employing a projector pair to further enhance feature learning capabilities. Our comprehensive evaluation on a publicly available MRI cardiac segmentation dataset, comparing against various SSL frameworks with different UNet-based segmentation networks, highlights the superior performance of Semi-Mamba-UNet. The source code has been made publicly accessible.


title: Towards Generalized Inverse Reinforcement Learning

abstract: This paper studies generalized inverse reinforcement learning (GIRL) in Markov decision processes (MDPs), that is, the problem of learning the basic components of an MDP given observed behavior (policy) that might not be optimal. These components include not only the reward function and transition probability matrices, but also the action space and state space that are not exactly known but are known to belong to given uncertainty sets. We address two key challenges in GIRL: first, the need to quantify the discrepancy between the observed policy and the underlying optimal policy; second, the difficulty of mathematically characterizing the underlying optimal policy when the basic components of an MDP are unobservable or partially observable. Then, we propose the mathematical formulation for GIRL and develop a fast heuristic algorithm. Numerical results on both finite and infinite state problems show the merit of our formulation and algorithm.


title: The Pairwise Matching Design is Optimal under Extreme Noise and Assignments

abstract: We consider the general performance of the difference-in-means estimator in an equally-allocated two-arm randomized experiment under common experimental endpoints such as continuous (regression), incidence, proportion, count and uncensored survival. We consider two sources of randomness: the subject-specific assignments and the contribution of unobserved subject-specific measurements. We then examine mean squared error (MSE) performance under a new, more realistic "simultaneous tail criterion". We prove that the pairwise matching design of Greevy et al. (2004) performs best asymptotically under this criterion when compared to other blocking designs. We also prove that the optimal design must be less random than complete randomization and more random than any deterministic, optimized allocation. Theoretical results are supported by simulations in all five response types.


title: Depth Separations in Neural Networks: Separating the Dimension from the Accuracy

abstract: We prove an exponential separation between depth 2 and depth 3 neural networks, when approximating an $\mathcal{O}(1)$-Lipschitz target function to constant accuracy, with respect to a distribution with support in $[0,1]^{d}$, assuming exponentially bounded weights. This addresses an open problem posed in \citet{safran2019depth}, and proves that the curse of dimensionality manifests in depth 2 approximation, even in cases where the target function can be represented efficiently using depth 3. Previously, lower bounds that were used to separate depth 2 from depth 3 required that at least one of the Lipschitz parameter, target accuracy or (some measure of) the size of the domain of approximation scale polynomially with the input dimension, whereas we fix the former two and restrict our domain to the unit hypercube. Our lower bound holds for a wide variety of activation functions, and is based on a novel application of an average- to worst-case random self-reducibility argument, to reduce the problem to threshold circuits lower bounds.


title: The Impact of Domain Knowledge and Multi-Modality on Intelligent Molecular Property Prediction: A Systematic Survey

abstract: The precise prediction of molecular properties is essential for advancements in drug development, particularly in virtual screening and compound optimization. The recent introduction of numerous deep learning-based methods has shown remarkable potential in enhancing molecular property prediction (MPP), especially improving accuracy and insights into molecular structures. Yet, two critical questions arise: does the integration of domain knowledge augment the accuracy of molecular property prediction and does employing multi-modal data fusion yield more precise results than unique data source methods? To explore these matters, we comprehensively review and quantitatively analyze recent deep learning methods based on various benchmarks. We discover that integrating molecular information will improve both MPP regression and classification tasks by upto 3.98% and 1.72%, respectively. We also discover that the utilizing 3-dimensional information with 1-dimensional and 2-dimensional information simultaneously can substantially enhance MPP upto 4.2%. The two consolidated insights offer crucial guidance for future advancements in drug discovery.


title: DIMON: Learning Solution Operators of Partial Differential Equations on a Diffeomorphic Family of Domains

abstract: The solution of a PDE over varying initial/boundary conditions on multiple domains is needed in a wide variety of applications, but it is computationally expensive if the solution is computed de novo whenever the initial/boundary conditions of the domain change. We introduce a general operator learning framework, called DIffeomorphic Mapping Operator learNing (DIMON) to learn approximate PDE solutions over a family of domains $\{\Omega_{\theta}}_\theta$, that learns the map from initial/boundary conditions and domain $\Omega_\theta$ to the solution of the PDE, or to specified functionals thereof. DIMON is based on transporting a given problem (initial/boundary conditions and domain $\Omega_{\theta}$) to a problem on a reference domain $\Omega_{0}$, where training data from multiple problems is used to learn the map to the solution on $\Omega_{0}$, which is then re-mapped to the original domain $\Omega_{\theta}$. We consider several problems to demonstrate the performance of the framework in learning both static and time-dependent PDEs on non-rigid geometries; these include solving the Laplace equation, reaction-diffusion equations, and a multiscale PDE that characterizes the electrical propagation on the left ventricle. This work paves the way toward the fast prediction of PDE solutions on a family of domains and the application of neural operators in engineering and precision medicine.


title: Physics-Informed Neural Networks with Hard Linear Equality Constraints

abstract: Surrogate modeling is used to replace computationally expensive simulations. Neural networks have been widely applied as surrogate models that enable efficient evaluations over complex physical systems. Despite this, neural networks are data-driven models and devoid of any physics. The incorporation of physics into neural networks can improve generalization and data efficiency. The physics-informed neural network (PINN) is an approach to leverage known physical constraints present in the data, but it cannot strictly satisfy them in the predictions. This work proposes a novel physics-informed neural network, KKT-hPINN, which rigorously guarantees hard linear equality constraints through projection layers derived from KKT conditions. Numerical experiments on Aspen models of a continuous stirred-tank reactor (CSTR) unit, an extractive distillation subsystem, and a chemical plant demonstrate that this model can further enhance the prediction accuracy.


title: Eco-evolutionary dynamics of adapting pathogens and host immunity

abstract: As pathogens spread in a population of hosts, immunity is built up and the pool of susceptible individuals is depleted. This generates selective pressure, to which many human RNA viruses, such as influenza virus or SARS-CoV-2, respond with rapid antigenic evolution and frequent emergence of immune evasive variants. However, the host's immune systems adapt and older immune responses wane, such that escape variants only enjoy a growth advantage for a limited time. If variant growth dynamics and reshaping of host-immunity operate on comparable time scales, viral adaptation is determined by eco-evolutionary interactions that are not captured by models of rapid evolution in a fixed environment. Here, we use a Susceptible/Infected model to describe the interaction between an evolving viral population in a dynamic but immunologically diverse host population. We show that depending on strain cross-immunity, heterogeneity of the host population, and durability of immune responses, escape variants initially grow exponentially, but lose their growth advantage before reaching high frequencies. Their subsequent dynamics follows an anomalous random walk determined by future escape variants and results in variant trajectories that are unpredictable. This model can explain the apparent contradiction between the clearly adaptive nature of antigenic evolution and the quasi-neutral dynamics of high frequency variants observed for influenza viruses.


title: Reflected entropy and timelike entanglement in $\textrm{T}\bar{\textrm{T}}$ deformed CFT$_2$s

abstract: We develop a covariant formalism to investigate the mixed state entanglement structure of time-dependent boosted subsystems in $\textrm{T}\bar{\textrm{T}}$ deformed CFT$_2$s through the reflected entropy. To this end we utilize the conformal perturbation theory to obtain the R\'enyi reflected entropy through the partition function on replica manifold. The correction to the reflected entropy to the first order in the deformation parameter $\mu$ in then obtained in the replica limit for finite temperature and finite sized systems. We verify our field theoretic computations by obtaining the dual EWCS in the corresponding bulk cut-off AdS$_3$ geometries and find perfect agreement between the two.


title: Vector bundles without intermediate cohomology and the trichotomy result

abstract: Horrocks proved in 1964 that vector bundles on $P^n$ without intermediate cohomology split as direct sum of line bundles. This result has been the starting point of a great research activity on other varieties, showing interesting connections with derived categories and other areas. We follow some paths into this fascinating story, which has classical roots. The story has a culmination with the trichotomy result (finite/tame/wild) for arithmetically Cohen Macaulay (ACM) varieties obtained by Faenzi and Pons-Llopis in 2021. This is an expanded version of the talk given at the conference "Homemade Algebraic Geometry" in July 2023 at Alcal\'a de Henares celebrating Enrique Arrondo's 60th birthday.


title: American Sign Language Video to Text Translation

abstract: Sign language to text is a crucial technology that can break down communication barriers for individuals with hearing difficulties. We replicate and try to improve on a recently published study. We evaluate models using BLEU and rBLEU metrics to ensure translation quality. During our ablation study, we found that the model's performance is significantly influenced by optimizers, activation functions, and label smoothing. Further research aims to refine visual feature capturing, enhance decoder utilization, and integrate pre-trained decoders for better translation outcomes. Our source code is available to facilitate replication of our results and encourage future research.


title: Temperature dependence of the Raman spectrum of orthorhombic Bi2Se3

abstract: Bismuth selenide, a benchmark topological insulator, grows in a trigonal structure at ambient conditions and exhibits a number of enticing properties related to the formation of Dirac surface states. Besides this polytype, a metastable orthorhombic modification with Pnma space group has been produced by electrodeposition and high-pressure high-temperature synthesis displaying upon Sb doping significant thermoelectric properties in the midtemperature range. However, very little experimental information is available on the fundamental properties of this polytype, such as, e.g., the electronic band gap and the lattice dynamics. We report here the temperature dependence of the Raman spectra of orthorhombic Bi2Se3 between 10 K and 300 K, which displays an anharmonic behavior of the optical phonons that can be modelled with a two-phonon decay channel. In order to analyze the data we performed ab initio calculations of the electronic bandstructure, the phonon frequencies at the center of the Brillouin zone, and the phonon dispersion relations along the main symmetry directions, examining the effect of spin-orbit coupling in both phonon and electronic energies. Lastly, we report here cathodoluminescence experiments at 83 K that set a lower limit to the electronic bandgap at 0.835 eV, pointing to an indirect nature, in agreement with our calculations. These results shed light to essential properties of orthorhombic Bi2Se3 for further understanding of the potential of this semiconductor for thermoelectrics and new applications.


title: Volumetric glass modification with Gaussian and doughnut-shaped pulses: From localized laser energy absorption to absorption delocalization

abstract: Volumetric modification of glass materials by ultrashort laser pulses is a powerful technique enabling direct writing of three-dimensional structures for fabrication of optical, photonic, and microfluidic devices. The level of modification is determined by the locally absorbed energy density, which depends on numerous factors. In this work, the effect of the spatial pulse shape on the ultrashort laser excitation of fused silica was investigated experimentally and theoretically for the volumetric modification regimes. We focused on two shapes of laser pulses, Gaussian and doughnut-shaped (DS) ones. It was found that, at relatively low pulse energies, in the range of 1-5 microjoules, the DS pulses are more efficient in volumetric structural changes than Gaussian pulses. It is explained by the intensity clamping effect for the Gaussian pulses, which leads to the delocalization of the laser energy absorption. In the DS case, this effect is overcome due to the geometry of the focused beam propagation, accompanied by the electron plasma formation, which scatters light toward the beam axis. The thermoelastoplastic modeling performed for the DS pulses revealed intriguing dynamics of the shock waves generated because of tubular-like energy absorption. It is anticipated that such a double shock wave structure can induce the formation of high-pressure polymorphs of transparent materials that can be used for investigations of nonequilibrium thermodynamics of warm dense matter. The DS laser pulses of low energies of the order of 100 nanojoules which generate a gentle tubular-like modification can be perspective for a miniature waveguide writing in glass.


title: Data Quality Aware Approaches for Addressing Model Drift of Semantic Segmentation Models

abstract: In the midst of the rapid integration of artificial intelligence (AI) into real world applications, one pressing challenge we confront is the phenomenon of model drift, wherein the performance of AI models gradually degrades over time, compromising their effectiveness in real-world, dynamic environments. Once identified, we need techniques for handling this drift to preserve the model performance and prevent further degradation. This study investigates two prominent quality aware strategies to combat model drift: data quality assessment and data conditioning based on prior model knowledge. The former leverages image quality assessment metrics to meticulously select high-quality training data, improving the model robustness, while the latter makes use of learned feature vectors from existing models to guide the selection of future data, aligning it with the model's prior knowledge. Through comprehensive experimentation, this research aims to shed light on the efficacy of these approaches in enhancing the performance and reliability of semantic segmentation models, thereby contributing to the advancement of computer vision capabilities in real-world scenarios.


title: RIS-Augmented Millimeter-Wave MIMO Systems for Passive Drone Detection

abstract: In the past decade, the number of amateur drones is increasing, and this trend is expected to continue in the future. The security issues brought by abuse and misconduct of drones become more and more severe and may incur a negative impact to the society. In this paper, we leverage existing cellular multiple-input multiple-output (MIMO) base station (BS) infrastructure, operating at millimeter wave (mmWave) frequency bands, for drone detection in a device-free manner with the aid of one reconfigurable intelligent surface (RIS), deployed in the proximity of the BS. We theoretically examine the feasibility of drone detection with the aid of the generalized likelihood ratio test (GLRT) and validate via simulations that, the optimized deployment of an RIS can bring added benefits compared to RIS-free systems. In addition, the effect of RIS training beams, training overhead, and radar cross section, is investigated in order to offer theoretical design guidance for the proposed cellular RIS-based passive drone detection system.


title: Optimization of laser pumping for the generation of multi-pulse structures in fiber lasers

abstract: We address the challenge of configuring a fiber laser cavity to enable efficient access to multi-pulse structures such as dissipative soliton molecules. We theoretically compare multi-pulsing routes in the parameter space of the laser. By using a two-dimensional parameter space, we experimentally demonstrate an important reduction in the laser pumping power required to form soliton molecules.


title: A Novel Technique to Parameterize Congestion Control in 6TiSCH IIoT Networks

abstract: The Industrial Internet of Things (IIoT) refers to the use of interconnected smart devices, sensors, and other technologies to create a network of intelligent systems that can monitor and manage industrial processes. 6TiSCH (IPv6 over the Time Slotted Channel Hopping mode of IEEE 802.15.4e) as an enabling technology facilitates low-power and low-latency communication between IoT devices in industrial environments. The Routing Protocol for Low power and lossy networks (RPL), which is used as the de-facto routing protocol for 6TiSCH networks is observed to suffer from several limitations, especially during congestion in the network. Therefore, there is an immediate need for some modifications to the RPL to deal with this problem. Under traffic load which keeps on changing continuously at different instants of time, the proposed mechanism aims at finding the appropriate parent for a node that can forward the packet to the destination through the least congested path with minimal packet loss. This facilitates congestion management under dynamic traffic loads. For this, a new metric for routing using the concept of exponential weighting has been proposed, which takes the number of packets present in the queue of the node into account when choosing the parent at a particular instance of time. Additionally, the paper proposes a parent selection and swapping mechanism for congested networks. Performance evaluations are carried out in order to validate the proposed work. The results show an improvement in the performance of RPL under heavy and dynamic traffic loads.


title: Low-Resource Counterspeech Generation for Indic Languages: The Case of Bengali and Hindi

abstract: With the rise of online abuse, the NLP community has begun investigating the use of neural architectures to generate counterspeech that can "counter" the vicious tone of such abusive speech and dilute/ameliorate their rippling effect over the social network. However, most of the efforts so far have been primarily focused on English. To bridge the gap for low-resource languages such as Bengali and Hindi, we create a benchmark dataset of 5,062 abusive speech/counterspeech pairs, of which 2,460 pairs are in Bengali and 2,602 pairs are in Hindi. We implement several baseline models considering various interlingual transfer mechanisms with different configurations to generate suitable counterspeech to set up an effective benchmark. We observe that the monolingual setup yields the best performance. Further, using synthetic transfer, language models can generate counterspeech to some extent; specifically, we notice that transferability is better when languages belong to the same language family.


title: Trade-off Between Spatial and Angular Resolution in Facial Recognition

abstract: Ensuring robustness in face recognition systems across various challenging conditions is crucial for their versatility. State-of-the-art methods often incorporate additional information, such as depth, thermal, or angular data, to enhance performance. However, light field-based face recognition approaches that leverage angular information face computational limitations. This paper investigates the fundamental trade-off between spatio-angular resolution in light field representation to achieve improved face recognition performance. By utilizing macro-pixels with varying angular resolutions while maintaining the overall image size, we aim to quantify the impact of angular information at the expense of spatial resolution, while considering computational constraints. Our experimental results demonstrate a notable performance improvement in face recognition systems by increasing the angular resolution, up to a certain extent, at the cost of spatial resolution.


title: Quantum state collapse on a Riemann-Hilbert space modulo observation

abstract: In a previous work we constructed a new kind of moduli background space by identifying regions of space-time where an observation of space-time is implied. We called it Observation Modular space (OM-space). Quantum Mechanics (QM) on this moduli space gets mapped into a very rich and highly non trivial dual Number Theory which we call Observation Modular Quantum Mechanics (OM-QM). In this work we extend the scope of this modularization to include observations of quantum states. We call the resulting extended space Observation Modular Riemann-Hilbert space (OM-RH space). It has the mathematical structure of a Riemann Surface. We find the OM-QM analogue of quantum base states and mixed states. This allows us to find the OM-QM analogues to the quantum State Reduction postulate and the Born rule. The OM-QM analog to quantum state collapse turns out to be totally deterministic and unitary in OM-RH space. It is shown to be equivalent to an Elliptic Curve Encryption-decryption protocol. Finally we obtain the OM-QM analog of entangled quantum states. As an example we apply this to the OM-QM interpretation of the EPR experiment.


title: Geometric and topological properties of manifolds in robot motion planning

abstract: Manifolds occur naturally as configuration spaces of robotic systems. They provide global descriptions of local coordinate systems that are common tools in expressing positions of robots. The purpose of this survey is threefold. Firstly, we present an overview over various results on topological complexities of manifolds and related topics. Several constructions for manifolds, e.g. symplectic structures and connected sums, can be used to compute or estimate topological complexities. Secondly, we take a look at geodesic motion planning in Riemannian manifolds. In this setting, results from Riemannian geometry are employed to estimate the complexity of motion planning along shortest paths in manifolds. Thirdly, we will discuss results on connections between critical point theory and the topology of manifolds that are related to motion planning problems. Here, we consider the role of navigation functions for topological complexity and outline their relations to newer numerical homotopy invariants, namely spherical complexities.


title: Spillover Effects of US Monetary Policy on Emerging Markets Amidst Uncertainty

abstract: This paper examines the impact of US monetary policy tightening on emerging markets, distinguishing between direct and indirect spillover effects using the global vector autoregression with stochastic volatility covering 32 countries. The paper demonstrates that an increase in the US interest rate significantly reduces output for emerging markets, leading to larger, more prolonged, and persistent declines. Such an impact is further intensified by global trade integration, causing a sharper yet slightly quicker rebounding output drop. The spillover effects are significantly amplified when US monetary policy tightening is accompanied by an increase in monetary policy uncertainty. Finally, emerging markets exhibit considerable heterogeneity in their responses to US monetary policy shocks.


title: On the magnetic field properties of protostellar envelopes in Orion

abstract: We present 870 um polarimetric observations toward 61 protostars in the Orion molecular clouds, with ~400 au (1") resolution using the Atacama Large Millimeter/submillimeter Array. We successfully detect dust polarization and outflow emission in 56 protostars, in 16 of them the polarization is likely produced by self-scattering. Self-scattering signatures are seen in several Class 0 sources, suggesting that grain growth appears to be significant in disks at earlier protostellar phases. For the rest of the protostars, the dust polarization traces the magnetic field, whose morphology can be approximately classified into three categories: standard-hourglass, rotated-hourglass (with its axis perpendicular to outflow), and spiral-like morphology. 40.0% (+-3.0%) of the protostars exhibit a mean magnetic field direction approximately perpendicular to the outflow on several 100--1000 au scales. However, in the remaining sample, this relative orientation appears to be random, probably due to the complex set of morphologies observed. Furthermore, we classify the protostars into three types based on the C17O (3--2) velocity envelope's gradient: perpendicular to outflow, non-perpendicular to outflow, and unresolved gradient (<1.0~km/s/arcsec). In protostars with a velocity gradient perpendicular to outflow, the magnetic field lines are preferentially perpendicular to outflow, most of them exhibit a rotated hourglass morphology, suggesting that the magnetic field has been overwhelmed by gravity and angular momentum. Spiral-like magnetic fields are associated with envelopes having large velocity gradients, indicating that the rotation motions are strong enough to twist the field lines. All of the protostars with a standard-hourglass field morphology show no significant velocity gradient due to the strong magnetic braking.


title: Highly Accurate Disease Diagnosis and Highly Reproducible Biomarker Identification with PathFormer

abstract: Biomarker identification is critical for precise disease diagnosis and understanding disease pathogenesis in omics data analysis, like using fold change and regression analysis. Graph neural networks (GNNs) have been the dominant deep learning model for analyzing graph-structured data. However, we found two major limitations of existing GNNs in omics data analysis, i.e., limited-prediction (diagnosis) accuracy and limited-reproducible biomarker identification capacity across multiple datasets. The root of the challenges is the unique graph structure of biological signaling pathways, which consists of a large number of targets and intensive and complex signaling interactions among these targets. To resolve these two challenges, in this study, we presented a novel GNN model architecture, named PathFormer, which systematically integrate signaling network, priori knowledge and omics data to rank biomarkers and predict disease diagnosis. In the comparison results, PathFormer outperformed existing GNN models significantly in terms of highly accurate prediction capability ( 30% accuracy improvement in disease diagnosis compared with existing GNN models) and high reproducibility of biomarker ranking across different datasets. The improvement was confirmed using two independent Alzheimer's Disease (AD) and cancer transcriptomic datasets. The PathFormer model can be directly applied to other omics data analysis studies.


title: The Boundary Condition for Some Isomonodromy Equations

abstract: In this article, we study a special class of Jimbo-Miwa-Mori-Sato isomonodromy equations, which can be seen as a higher-dimensional generalization of Painlev\'e VI. We first construct its convergent $n\times n$ matrix series solutions satisfying certain boundary condition. We then use the Riemann-Hilbert approach to prove that the resulting solutions are almost all the solutions. Along the way, we find a shrinking phenomenon of the eigenvalues of the submatrices of the generic matrix solutions in the long time behaviour.


title: Open-ended VQA benchmarking of Vision-Language models by exploiting Classification datasets and their semantic hierarchy

abstract: The evaluation of text-generative vision-language models is a challenging yet crucial endeavor. By addressing the limitations of existing Visual Question Answering (VQA) benchmarks and proposing innovative evaluation methodologies, our research seeks to advance our understanding of these models' capabilities. We propose a novel VQA benchmark based on well-known visual classification datasets which allows a granular evaluation of text-generative vision-language models and their comparison with discriminative vision-language models. To improve the assessment of coarse answers on fine-grained classification tasks, we suggest using the semantic hierarchy of the label space to ask automatically generated follow-up questions about the ground-truth category. Finally, we compare traditional NLP and LLM-based metrics for the problem of evaluating model predictions given ground-truth answers. We perform a human evaluation study upon which we base our decision on the final metric. We apply our benchmark to a suite of vision-language models and show a detailed comparison of their abilities on object, action, and attribute classification. Our contributions aim to lay the foundation for more precise and meaningful assessments, facilitating targeted progress in the exciting field of vision-language modeling.


title: Previously on the Stories: Recap Snippet Identification for Story Reading

abstract: Similar to the "previously-on" scenes in TV shows, recaps can help book reading by recalling the readers' memory about the important elements in previous texts to better understand the ongoing plot. Despite its usefulness, this application has not been well studied in the NLP community. We propose the first benchmark on this useful task called Recap Snippet Identification with a hand-crafted evaluation dataset. Our experiments show that the proposed task is challenging to PLMs, LLMs, and proposed methods as the task requires a deep understanding of the plot correlation between snippets.


title: On Thermodynamic Stability of Black Holes. Part II: AdS Family of Solutions

abstract: This study is aimed at providing a thorough analysis of the classical thermodynamic stability of black holes within the Anti-de Sitter (AdS) family. We utilize the Nambu bracket formalism to calculate local heat capacities and employ Sylvester's criterion in the mass-energy ensemble to determine both local and global thermodynamic stability regions. Emphasizing the crucial role of the cosmological constant, we establish the conditions necessary for the existence of thermodynamically stable black hole configurations. Our work highlights the applicability of classical thermodynamics in understanding black hole physics, while acknowledging the potential deviations that may impact the observables of the system beyond the classical level.


title: Adaptive Finite Element Methods

abstract: This is a survey on the theory of adaptive finite element methods (AFEMs), which are fundamental in modern computational science and engineering but whose mathematical assessment is a formidable challenge. We present a self-contained and up-to-date discussion of AFEMs for linear second order elliptic PDEs and dimension d>1, with emphasis on foundational issues. After a brief review of functional analysis and basic finite element theory, including piecewise polynomial approximation in graded meshes, we present the core material for coercive problems. We start with a novel a posteriori error analysis applicable to rough data, which delivers estimators fully equivalent to the solution error. They are used in the design and study of three AFEMs depending on the structure of data. We prove linear convergence of these algorithms and rate-optimality provided the solution and data belong to suitable approximation classes. We also address the relation between approximation and regularity classes. We finally extend this theory to discontinuous Galerkin methods as prototypes of non-conforming AFEMs and beyond coercive problems to inf-sup stable AFEMs.


title: Constant mean curvature graphs with prescribed asymptotic values in $\mathbb{E}(-1,\tau)$

abstract: In the homogeneous manifold $\mathbb{E}(-1,\tau),$ for $0<H<\tfrac{1}{2},$ we prove the existence of entire $H$-graphs which are asymptotic to a rectifiable curve of the asymptotic boundary. We also find necessary and sufficient conditions for the existence of $H$-graphs over unbounded domains having prescribed, possibly infinite boundary data.


title: An X-ray Census of Active Galactic Nuclei in the Virgo and Fornax Clusters of Galaxies with SRG/eROSITA

abstract: We present a uniform and sensitive X-ray census of active galactic nuclei (AGNs) in the two nearest galaxy clusters, Virgo and Fornax, utilizing the newly released X-ray source catalogs from the first all-sky scan of SRG/eROSITA. A total of 50 and 10 X-ray sources are found positionally coincident with the nuclei of member galaxies in Virgo and Fornax, respectively, down to a 0.2-2.3 keV luminosity of $\sim10^{39}\rm~erg~s^{-1}$ and reaching out to a projected distance well beyond the virial radius of both clusters. The majority of the nuclear X-ray sources are newly identified. There is weak evidence that the nuclear X-ray sources are preferentially found in late-type hosts. Several hosts are dwarf galaxies with a stellar mass below $\sim10^{9}\rm~M_\odot$. We find that contamination by non-nuclear X-ray emission can be neglected in most cases, indicating the dominance of a genuine AGN. In the meantime, no nuclear X-ray source exhibits a luminosity higher than a few times $10^{41}\rm~erg~s^{-1}$. The X-ray AGN occupation rate is only $\sim$ 3% in both clusters, apparently much lower than that in field galaxies inferred from previous X-ray studies. Both aspects suggest that the cluster environment effectively suppresses AGN activity. The findings of this census have important implications on the interplay between galaxies and their central massive black holes in cluster environments.


title: Asymptotics of Weil-Petersson volumes and two-dimensional quantum gravities

abstract: We propose a refined expression for the large genus asymptotics of the Weil-Petersson volumes of the moduli space of super-Riemann surfaces with an arbitrary number of boundaries. Our formula leverages the connection between JT supergravity and its matrix model definition, utilizing some basic tools of resurgence theory. The final result holds for arbitrary boundary lengths and preserves the polynomial structure of the super-volumes. As a byproduct we also obtain a prediction for the large genus asymptotics of generalized $\Theta$-class intersection numbers. We extend our proposal to the case of the quantum volumes relevant for the Virasoro minimal string/Liouville gravity. Performing the classical limit on the quantum volumes, we recover a formula for the ordinary Weil-Petersson building blocks of JT gravity.


title: Bundling Demand in K-12 Broadband Procurement

abstract: We evaluate the effects of bundling demand for broadband internet by K-12 schools. In 2014, New Jersey switched from decentralized procurements to a new procurement system that bundled schools into four regional groups. Using an event study approach, we find that, on average, prices for participants decreased by one-third, and broadband speed purchased increased sixfold. We bound the change in school expenditures due to the program and find that participants saved at least as much as their total "E-rate" subsidy from the federal government. Under weak assumptions on demand, we show that participating schools experienced large welfare gains.


title: Dynamically Generated Decoherence-Free Subspaces and Subsystems on Superconducting Qubits

abstract: Decoherence-free subspaces and subsystems (DFS) preserve quantum information by encoding it into symmetry-protected states unaffected by decoherence. An inherent DFS of a given experimental system may not exist; however, through the use of dynamical decoupling (DD), one can induce symmetries that support DFSs. Here, we provide the first experimental demonstration of DD-generated DFS logical qubits. Utilizing IBM Quantum superconducting processors, we investigate two and three-qubit DFS codes comprising up to six and seven noninteracting logical qubits, respectively. Through a combination of DD and error detection, we show that DFS logical qubits can achieve up to a 23% improvement in state preservation fidelity over physical qubits subject to DD alone. This constitutes a beyond-breakeven fidelity improvement for DFS-encoded qubits. Our results showcase the potential utility of DFS codes as a pathway toward enhanced computational accuracy via logical encoding on quantum processors.


title: Discrete Time Crystal Phase of Higher Dimensional Integrable Models

abstract: This paper investigates the possibility of generating Floquet-time crystals in higher dimensions ($d\geq 2$) through the time-periodic driving of integrable free-fermionic models. The realization leads to rigid time-crystal phases that are ideally resistant to thermalization and decoherence. By utilizing spin-orbit coupling, we are able to realize a robust time-crystal phase that can be detected using novel techniques. Moreover, we discuss the significance of studying the highly persistent subharmonic responses and their implementation in a Kitaev spin liquid, which contributes to our understanding of time translational symmetry breaking and its practical implications.