title: Log Calabi-Yau pairs of birational complexity zero

abstract: In this article, we study the geometry of log Calabi-Yau pairs $(X,B)$ of index one and birational complexity zero. Firstly, we propose a conjecture that characterizes such pairs $(X,B)$ in terms of their dual complex and the rationality of their log canonical places. Secondly, we show that for these pairs the open set $X\setminus B$ is divisorially covered by open affine subvarieties which are isomorphic to open subvarieties of algebraic tori. We introduce and study invariants that measure the geometry and the number of these open subvarieties of algebraic tori. Thirdly, we study boundedness properties of log Calabi-Yau pairs of index one and birational complexity zero. For instance, in dimension $2$ we prove that such pairs are affinely bounded.


title: Rapid and Precise Topological Comparison with Merge Tree Neural Networks

abstract: Merge trees are a valuable tool in scientific visualization of scalar fields; however, current methods for merge tree comparisons are computationally expensive, primarily due to the exhaustive matching between tree nodes. To address this challenge, we introduce the merge tree neural networks (MTNN), a learned neural network model designed for merge tree comparison. The MTNN enables rapid and high-quality similarity computation. We first demonstrate how graph neural networks (GNNs), which emerged as an effective encoder for graphs, can be trained to produce embeddings of merge trees in vector spaces that enable efficient similarity comparison. Next, we formulate the novel MTNN model that further improves the similarity comparisons by integrating the tree and node embeddings with a new topological attention mechanism. We demonstrate the effectiveness of our model on real-world data in different domains and examine our model's generalizability across various datasets. Our experimental analysis demonstrates our approach's superiority in accuracy and efficiency. In particular, we speed up the prior state-of-the-art by more than 100x on the benchmark datasets while maintaining an error rate below 0.1%.


title: Eraser: Jailbreaking Defense in Large Language Models via Unlearning Harmful Knowledge

abstract: Jailbreaking attacks can enable Large Language Models (LLMs) to bypass the safeguard and generate harmful content. Existing jailbreaking defense methods have failed to address the fundamental issue that harmful knowledge resides within the model, leading to potential jailbreak risks for LLMs. In this paper, we propose a novel defense method called Eraser, which mainly includes three goals: unlearning harmful knowledge, retaining general knowledge, and maintaining safety alignment. The intuition is that if an LLM forgets the specific knowledge required to answer a harmful question, it will no longer have the ability to answer harmful questions. The training of Erase does not actually require the model's own harmful knowledge, and it can benefit from unlearning general answers related to harmful queries, which means it does not need assistance from the red team. The experimental results show that Eraser can significantly reduce the jailbreaking success rate for various attacks without compromising the general capabilities of the model.


title: Ring Artifact and Non-Uniformity Correction Method for Improving XACT Imaging

abstract: X-ray-induced acoustic computed tomography (XACT) as a novel imaging modality has shown great potential in applications ranging from biomedical imaging to nondestructive testing. Improving the signal-to-noise ratio and removing the artifacts are major challenges in XACT imaging. We introduce an efficient non-uniformity correction method for the ultrasound ring transducer.


title: Strong quantum nonlocality: Unextendible biseparability beyond unextendible product basis

abstract: An unextendible biseparable basis (UBB) is a set of orthogonal pure biseparable states which span a subspace of a given Hilbert space while the complementary subspace contains only genuinely entangled states. These biseparable bases are useful to produce genuinely entangled subspace in multipartite system. Such a subspace could be more beneficial for information theoretic applications if we are able to extract distillable entanglement across every bipartition from each state of this subspace. In this manuscript, we have derived a rule for constructing such a class of UBB which exhibits the phenomenon of strong quantum nonlocality. This result positively answers the open problem raised by Agrawal et al. [Phys. Rev. A 99, 032335 (2019)]; that there exists a UBB which can demonstrate the phenomenon of strong quantum nonlocality in the perspective of local irreducibility paradigm.


title: Twistor initial data characterisation of pp-waves

abstract: This note gives a concise derivation of a twistor-initial-data characterisation of pp-wave spacetimes in vacuum. The construction is based on a similar calculation for the Minkowski spacetime in [Class. Quantum Grav. 28 075010]. The key difference is that for the Minkowski spacetime a necessary condition is that $\nabla_{A}{}^{A'}\bar{\kappa}_{A'} \neq 0$. In this note it is shown that if $\nabla_{A}{}^{A'}\bar{\kappa}_{A'}=0$ then the development is a pp-wave spacetime. Furthermore, it is shown that such condition propagates off the initial hypersurface, which, in turn, gives a twistor initial data characterisation of pp-waves.


title: GBEC: Geometry-Based Hand-Eye Calibration

abstract: Hand-eye calibration is the problem of solving the transformation from the end-effector of a robot to the sensor attached to it. Commonly employed techniques, such as AXXB or AXZB formulations, rely on regression methods that require collecting pose data from different robot configurations, which can produce low accuracy and repeatability. However, the derived transformation should solely depend on the geometry of the end-effector and the sensor attachment. We propose Geometry-Based End-Effector Calibration (GBEC) that enhances the repeatability and accuracy of the derived transformation compared to traditional hand-eye calibrations. To demonstrate improvements, we apply the approach to two different robot-assisted procedures: Transcranial Magnetic Stimulation (TMS) and femoroplasty. We also discuss the generalizability of GBEC for camera-in-hand and marker-in-hand sensor mounting methods. In the experiments, we perform GBEC between the robot end-effector and an optical tracker's rigid body marker attached to the TMS coil or femoroplasty drill guide. Previous research documents low repeatability and accuracy of the conventional methods for robot-assisted TMS hand-eye calibration. When compared to some existing methods, the proposed method relies solely on the geometry of the flange and the pose of the rigid-body marker, making it independent of workspace constraints or robot accuracy, without sacrificing the orthogonality of the rotation matrix. Our results validate the accuracy and applicability of the approach, providing a new and generalizable methodology for obtaining the transformation from the end-effector to a sensor.


title: Design of Transit-Centric Multimodal Urban Mobility System with Autonomous Mobility-on-Demand

abstract: This paper addresses the pressing challenge of urban mobility in the context of growing urban populations, changing demand patterns for urban mobility, and emerging technologies like Mobility-on-Demand (MoD) platforms and Autonomous Vehicle (AV). As urban areas swell and demand pattern changes, the integration of Autonomous Mobility-on-Demand (AMoD) systems with existing public transit (PT) networks presents great opportunities to enhancing urban mobility. We propose a novel optimization framework for solving the Transit-Centric Multimodal Urban Mobility with Autonomous Mobility-on-Demand (TCMUM-AMoD) at scale. The system operator (public transit agency) determines the network design and frequency settings of the PT network, fleet sizing and allocations of AMoD system, and the pricing for using the multimodal system with the goal of minimizing passenger disutility. Passengers' mode and route choice behaviors are modeled explicitly using discrete choice models. A first-order approximation algorithm is introduced to solve the problem at scale. Using a case study in Chicago, we showcase the potential to optimize urban mobility across different demand scenarios. To our knowledge, ours is the first paper to jointly optimize transit network design, fleet sizing, and pricing for the multimodal mobility system while considering passengers' mode and route choices.


title: Instability of quadratic band degeneracies and the emergence of Dirac points

abstract: Consider the Schr\"{o}dinger operator $H = -\Delta + V$, where the potential $V$ is $\mathbb{Z}^2$-periodic and invariant under spatial inversion, complex conjugation, and $\pi/2$ rotation. We show that, under typical small linear deformations of $V$, the quadratic band degeneracy points occurring over the high-symmetry quasimomentum $\boldsymbol{M}$ (see [24, 25]) each split into two separated degeneracies over perturbed quasimomenta $\boldsymbol{D}^+$ and $\boldsymbol{D}^-$, and that these degeneracies are Dirac points. The local character of the degenerate dispersion surfaces about the emergent Dirac points are tilted, elliptical cones. Correspondingly, the dynamics of wavepackets spectrally localized near either $\boldsymbol{D}^+$ or $\boldsymbol{D}^-$ are governed by a system of Dirac equations with an advection term. Generalizations are discussed.

categories: math-ph cond-mat.other math.AP math.MP quant-ph


title: On the Fly Robotic-Assisted Medical Instrument Planning and Execution Using Mixed Reality

abstract: Robotic-assisted medical systems (RAMS) have gained significant attention for their advantages in alleviating surgeons' fatigue and improving patients' outcomes. These systems comprise a range of human-computer interactions, including medical scene monitoring, anatomical target planning, and robot manipulation. However, despite its versatility and effectiveness, RAMS demands expertise in robotics, leading to a high learning cost for the operator. In this work, we introduce a novel framework using mixed reality technologies to ease the use of RAMS. The proposed framework achieves real-time planning and execution of medical instruments by providing 3D anatomical image overlay, human-robot collision detection, and robot programming interface. These features, integrated with an easy-to-use calibration method for head-mounted display, improve the effectiveness of human-robot interactions. To assess the feasibility of the framework, two medical applications are presented in this work: 1) coil placement during transcranial magnetic stimulation and 2) drill and injector device positioning during femoroplasty. Results from these use cases demonstrate its potential to extend to a wider range of medical scenarios.


title: A Realistic Surgical Simulator for Non-Rigid and Contact-Rich Manipulation in Surgeries with the da Vinci Research Kit

abstract: Realistic real-time surgical simulators play an increasingly important role in surgical robotics research, such as surgical robot learning and automation, and surgical skills assessment. Although there are a number of existing surgical simulators for research, they generally lack the ability to simulate the diverse types of objects and contact-rich manipulation tasks typically present in surgeries, such as tissue cutting and blood suction. In this work, we introduce CRESSim, a realistic surgical simulator based on PhysX 5 for the da Vinci Research Kit (dVRK) that enables simulating various contact-rich surgical tasks involving different surgical instruments, soft tissue, and body fluids. The real-world dVRK console and the master tool manipulator (MTM) robots are incorporated into the system to allow for teleoperation through virtual reality (VR). To showcase the advantages and potentials of the simulator, we present three examples of surgical tasks, including tissue grasping and deformation, blood suction, and tissue cutting. These tasks are performed using the simulated surgical instruments, including the large needle driver, suction irrigator, and curved scissor, through VR-based teleoperation.


title: With or Without Permission: Site-Specific Augmented Reality for Social Justice CHI 2024 Workshop Proceedings

abstract: This volume represents the proceedings of With or Without Permission: Site-Specific Augmented Reality for Social Justice CHI 2024 workshop.


title: Current dependence of the low bias resistance of small capacitance Josephson junctions

abstract: The dc current-voltage characteristics of small Josephson junctions reveal features that are not observed in larger junctions, in particular, a switch to the finite voltage state at current values much less than the expected critical current of the junction and a finite resistance in the nominally superconducting regime. Both phenomena are due to the increased sensitivity to noise associated with the small capacitance of the Josephson junction and have been extensively studied a few decades ago. Here I focus on the current bias dependence of the differential resistance of the junction at low current bias in the nominally superconducting regime, using a quantum Langevin equation approach that enables a physically transparent incorporation of the noise environment of the junction. A similar approach might be useful in modeling the sensitivity of superconducting qubits to noise in the microwave regime.


title: Condition Monitoring with Incomplete Data: An Integrated Variational Autoencoder and Distance Metric Framework

abstract: Condition monitoring of industrial systems is crucial for ensuring safety and maintenance planning, yet notable challenges arise in real-world settings due to the limited or non-existent availability of fault samples. This paper introduces an innovative solution to this problem by proposing a new method for fault detection and condition monitoring for unseen data. Adopting an approach inspired by zero-shot learning, our method can identify faults and assign a relative health index to various operational conditions. Typically, we have plenty of data on normal operations, some data on compromised conditions, and very few (if any) samples of severe faults. We use a variational autoencoder to capture the probabilistic distribution of previously seen and new unseen conditions. The health status is determined by comparing each sample's deviation from a normal operation reference distribution in the latent space. Faults are detected by establishing a threshold for the health indexes, allowing the model to identify severe, unseen faults with high accuracy, even amidst noise. We validate our approach using the run-to-failure IMS-bearing dataset and compare it with other methods. The health indexes generated by our model closely match the established descriptive model of bearing wear, attesting to the robustness and reliability of our method. These findings highlight the potential of our methodology in augmenting fault detection capabilities within industrial domains, thereby contributing to heightened safety protocols and optimized maintenance practices.


title: Eagle and Finch: RWKV with Matrix-Valued States and Dynamic Recurrence

abstract: We present Eagle (RWKV-5) and Finch (RWKV-6), sequence models improving upon the RWKV (RWKV-4) architecture. Our architectural design advancements include multi-headed matrix-valued states and a dynamic recurrence mechanism that improve expressivity while maintaining the inference efficiency characteristics of RNNs. We introduce a new multilingual corpus with 1.12 trillion tokens and a fast tokenizer based on greedy matching for enhanced multilinguality. We trained four Eagle models, ranging from 0.46 to 7.5 billion parameters, and two Finch models with 1.6 and 3.1 billion parameters and find that they achieve competitive performance across a wide variety of benchmarks. We release all our models on HuggingFace under the Apache 2.0 license. Models at: https://huggingface.co/RWKV Training code at: https://github.com/RWKV/RWKV-LM Inference code at: https://github.com/RWKV/ChatRWKV Time-parallel training code at: https://github.com/RWKV/RWKV-infctx-trainer


title: Use of a Structured Knowledge Base Enhances Metadata Curation by Large Language Models

abstract: Metadata play a crucial role in ensuring the findability, accessibility, interoperability, and reusability of datasets. This paper investigates the potential of large language models (LLMs), specifically GPT-4, to improve adherence to metadata standards. We conducted experiments on 200 random data records describing human samples relating to lung cancer from the NCBI BioSample repository, evaluating GPT-4's ability to suggest edits for adherence to metadata standards. We computed the adherence accuracy of field name-field value pairs through a peer review process, and we observed a marginal average improvement in adherence to the standard data dictionary from 79% to 80% (p<0.01). We then prompted GPT-4 with domain information in the form of the textual descriptions of CEDAR templates and recorded a significant improvement to 97% from 79% (p<0.01). These results indicate that, while LLMs may not be able to correct legacy metadata to ensure satisfactory adherence to standards when unaided, they do show promise for use in automated metadata curation when integrated with a structured knowledge base.


title: Learning Heuristics for Transit Network Design and Improvement with Deep Reinforcement Learning

abstract: Transit agencies world-wide face tightening budgets. To maintain quality of service while cutting costs, efficient transit network design is essential. But planning a network of public transit routes is a challenging optimization problem. The most successful approaches to date use metaheuristic algorithms to search through the space of possible transit networks by applying low-level heuristics that randomly alter routes in a network. The design of these low-level heuristics has a major impact on the quality of the result. In this paper we use deep reinforcement learning with graph neural nets to learn low-level heuristics for an evolutionary algorithm, instead of designing them manually. These learned heuristics improve the algorithm's results on benchmark synthetic cities with 70 nodes or more, and obtain state-of-the-art results when optimizing operating costs. They also improve upon a simulation of the real transit network in the city of Laval, Canada, by as much as 54% and 18% on two key metrics, and offer cost savings of up to 12% over the city's existing transit network.


title: Interference Reduction Design for Improved Multitarget Detection in ISAC Systems

abstract: The advancement of wireless communication systems toward 5G and beyond is spurred by the demand for high data rates, exceedingly dependable low-latency communication, and extensive connectivity that aligns with sensing requisites such as advanced high-resolution sensing and target detection. Consequently, embedding sensing into communication has gained considerable attention. In this work, we propose an alternative approach for optimizing integrated sensing and communication (ISAC) waveform for target detection by concurrently maximizing the power of the communication signal at an intended user and minimizing the multi-user and sensing interference. We formulate the problem as a non-disciplined convex programming (NDCP) optimization and we use a distribution-based approach for interference cancellation. Precisely, we establish the distribution of the communication signal and the multi-user communication interference received by the intended user, and thereafter, we establish that the sensing interference can be distributed as a centralized Chi-squared if the sensing covariance matrix is idempotent. We design such a matrix based on the symmetrical idempotent property. Additionally, we propose a disciplined convex programming (DCP) form of the problem, and using successive convex approximation (SCA), we show that the solutions can reach a stable waveform for efficient target detection. Furthermore, we compare the proposed waveform with state of the art radar-communication waveform designs and demonstrate its superior performance by computer simulations.


title: Numerical validation of scaling laws for stratified turbulence

abstract: Recent theoretical progress using multiscale asymptotic analysis has revealed various possible regimes of stratified turbulence. Notably, buoyancy transport can either be dominated by advection or diffusion, depending on the effective P\'eclet number of the flow. Two types of asymptotic models have been proposed, which yield measurably different predictions for the characteristic vertical velocity and length scale of the turbulent eddies in both diffusive and non-diffusive regimes. The first, termed a `single-scale model', is designed to describe flow structures having large horizontal and small vertical scales, while the second, termed a `multiscale model', additionally incorporates flow features with small horizontal scales, and reduces to the single-scale model in their absence. By comparing predicted vertical velocity scaling laws with direct numerical simulation data, we show that the multiscale model correctly captures the properties of strongly stratified turbulence within regions dominated by small-scale isotropic motions, whose volume fraction decreases as the stratification increases. Meanwhile its single-scale reduction accurately describes the more orderly, layer-like, quiescent flow outside those regions.


title: ClusterRadar: an Interactive Web-Tool for the Multi-Method Exploration of Spatial Clusters Over Time

abstract: Spatial cluster analysis, the detection of localized patterns of similarity in geospatial data, has a wide-range of applications for scientific discovery and practical decision making. One way to detect spatial clusters is by using local indicators of spatial association, such as Local Moran's I or Getis-Ord Gi*. However, different indicators tend to produce substantially different results due to their distinct operational characteristics. Choosing a suitable method or comparing results from multiple methods is a complex task. Furthermore, spatial clusters are dynamic and it is often useful to track their evolution over time, which adds an additional layer of complexity. ClusterRadar is a web-tool designed to address these analytical challenges. The tool allows users to easily perform spatial clustering and analyze the results in an interactive environment, uniquely prioritizing temporal analysis and the comparison of multiple methods. The tool's interactive dashboard presents several visualizations, each offering a distinct perspective of the temporal and methodological aspects of the spatial clustering results. ClusterRadar has several features designed to maximize its utility to a broad user-base, including support for various geospatial formats, and a fully in-browser execution environment to preserve the privacy of sensitive data. Feedback from a varied set of researchers suggests ClusterRadar's potential for enhancing the temporal analysis of spatial clusters.


title: Inexact Simplification of Symbolic Regression Expressions with Locality-sensitive Hashing

abstract: Symbolic regression (SR) searches for parametric models that accurately fit a dataset, prioritizing simplicity and interpretability. Despite this secondary objective, studies point out that the models are often overly complex due to redundant operations, introns, and bloat that arise during the iterative process, and can hinder the search with repeated exploration of bloated segments. Applying a fast heuristic algebraic simplification may not fully simplify the expression and exact methods can be infeasible depending on size or complexity of the expressions. We propose a novel agnostic simplification and bloat control for SR employing an efficient memoization with locality-sensitive hashing (LHS). The idea is that expressions and their sub-expressions traversed during the iterative simplification process are stored in a dictionary using LHS, enabling efficient retrieval of similar structures. We iterate through the expression, replacing subtrees with others of same hash if they result in a smaller expression. Empirical results shows that applying this simplification during evolution performs equal or better than without simplification in minimization of error, significantly reducing the number of nonlinear functions. This technique can learn simplification rules that work in general or for a specific problem, and improves convergence while reducing model complexity.


title: Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$

abstract: Feferman (1975) defines an impredicative system $\mathsf{T}_0$ of explicit mathematics, which is proof-theoretically equivalent to the subsystem $\Delta^1_2$-$\mathsf{CA} + \mathsf{BI}$ of second-order arithmetic. In this paper, we propose several systems of Frege structure with the same proof-theoretic strength as $\mathsf{T}_0$. To be precise, we first consider the Kripke--Feferman theory, which is one of the most famous truth theories, and we extend it by two kinds of induction principles inspired by (J\"ager et al. 2001). In addition, we give similar results for the system based on Aczel's original Frege structure (Aczel 1980). Finally, we equip Cantini's supervaluation-style theory with the notion of universes, the strength of which was an open problem in (Kahle 2001).


title: Distributionally Robust Optimization with Decision-Dependent Information Discovery

abstract: We study two-stage distributionally robust optimization (DRO) problems with decision-dependent information discovery (DDID) wherein (a portion of) the uncertain parameters are revealed only if an (often costly) investment is made in the first stage. This class of problems finds many important applications in selection problems (e.g., in hiring, project portfolio optimization, or optimal sensor location). Despite the problem's wide applicability, it has not been previously studied. We propose a framework for modeling and approximately solving DRO problems with DDID. We formulate the problem as a min-max-min-max problem and adopt the popular K-adaptability approximation scheme, which chooses K candidate recourse actions here-and-now and implements the best of those actions after the uncertain parameters that were chosen to be observed are revealed. We then present a decomposition algorithm that solves the K-adaptable formulation exactly. In particular, we devise a cutting plane algorithm which iteratively solves a relaxed version of the problem, evaluates the true objective value of the corresponding solution, generates valid cuts, and imposes them in the relaxed problem. For the evaluation problem, we develop a branch-and-cut algorithm that provably converges to an optimal solution. We showcase the effectiveness of our framework on the R&D project portfolio optimization problem and the best box problem.


title: Quantum-inspired activation functions in the convolutional neural network

abstract: Driven by the significant advantages offered by quantum computing, research in quantum machine learning has increased in recent years. While quantum speed-up has been demonstrated in some applications of quantum machine learning, a comprehensive understanding of its underlying mechanisms for improved performance remains elusive. Our study fills this gap by examining the expressibility of quantum circuits integrated within a convolutional neural network (CNN). Through numerical training on the MNIST dataset, our hybrid quantum-classical CNN model exhibited superior feature selection capabilities and significantly reduced the required training steps compared to the classical CNN. To understand the root of this enhanced performance, we conducted an analytical investigation of the functional expressibility of quantum circuits and derived a quantum activation function. We demonstrated that this quantum activation is more efficient in selecting important features and discarding unimportant information of input images. These findings not only deepen our comprehension of quantum-enhanced machine-learning models but also advance the classical machine-learning technique by introducing the quantum-inspired activation function.

categories: quant-ph math-ph math.MP physics.comp-ph


title: WILBUR: Adaptive In-Context Learning for Robust and Accurate Web Agents

abstract: In the realm of web agent research, achieving both generalization and accuracy remains a challenging problem. Due to high variance in website structure, existing approaches often fail. Moreover, existing fine-tuning and in-context learning techniques fail to generalize across multiple websites. We introduce Wilbur, an approach that uses a differentiable ranking model and a novel instruction synthesis technique to optimally populate a black-box large language model's prompt with task demonstrations from previous runs. To maximize end-to-end success rates, we also propose an intelligent backtracking mechanism that learns and recovers from its mistakes. Finally, we show that our ranking model can be trained on data from a generative auto-curriculum which samples representative goals from an LLM, runs the agent, and automatically evaluates it, with no manual annotation. Wilbur achieves state-of-the-art results on the WebVoyager benchmark, beating text-only models by 8% overall, and up to 36% on certain websites. On the same benchmark, Wilbur is within 5% of a strong multi-modal model despite only receiving textual inputs, and further analysis reveals a substantial number of failures are due to engineering challenges of operating the web.


title: Natural Learning

abstract: We introduce Natural Learning (NL), a novel algorithm that elevates the explainability and interpretability of machine learning to an extreme level. NL simplifies decisions into intuitive rules, like "We rejected your loan because your income, employment status, and age collectively resemble a rejected prototype more than an accepted prototype." When applied to real-life datasets, NL produces impressive results. For example, in a colon cancer dataset with 1545 patients and 10935 genes, NL achieves 98.1% accuracy, comparable to DNNs and RF, by analyzing just 3 genes of test samples against 2 discovered prototypes. Similarly, in the UCI's WDBC dataset, NL achieves 98.3% accuracy using only 7 features and 2 prototypes. Even on the MNIST dataset (0 vs. 1), NL achieves 99.5% accuracy with only 3 pixels from 2 prototype images. NL is inspired by prototype theory, an old concept in cognitive psychology suggesting that people learn single sparse prototypes to categorize objects. Leveraging this relaxed assumption, we redesign Support Vector Machines (SVM), replacing its mathematical formulation with a fully nearest-neighbor-based solution, and to address the curse of dimensionality, we utilize locality-sensitive hashing. Following theory's generalizability principle, we propose a recursive method to prune non-core features. As a result, NL efficiently discovers the sparsest prototypes in O(n^2pL) with high parallelization capacity in terms of n. Evaluation of NL with 17 benchmark datasets shows its significant outperformance compared to decision trees and logistic regression, two methods widely favored in healthcare for their interpretability. Moreover, NL achieves performance comparable to finetuned black-box models such as deep neural networks and random forests in 40% of cases, with only a 1-2% lower average accuracy. The code is available via http://natural-learning.cc.


title: The Hallucinations Leaderboard -- An Open Effort to Measure Hallucinations in Large Language Models

abstract: Large Language Models (LLMs) have transformed the Natural Language Processing (NLP) landscape with their remarkable ability to understand and generate human-like text. However, these models are prone to ``hallucinations'' -- outputs that do not align with factual reality or the input context. This paper introduces the Hallucinations Leaderboard, an open initiative to quantitatively measure and compare the tendency of each model to produce hallucinations. The leaderboard uses a comprehensive set of benchmarks focusing on different aspects of hallucinations, such as factuality and faithfulness, across various tasks, including question-answering, summarisation, and reading comprehension. Our analysis provides insights into the performance of different models, guiding researchers and practitioners in choosing the most reliable models for their applications.


title: Computing Transition Pathways for the Study of Rare Events Using Deep Reinforcement Learning

abstract: Understanding the transition events between metastable states in complex systems is an important subject in the fields of computational physics, chemistry and biology. The transition pathway plays an important role in characterizing the mechanism underlying the transition, for example, in the study of conformational changes of bio-molecules. In fact, computing the transition pathway is a challenging task for complex and high-dimensional systems. In this work, we formulate the path-finding task as a cost minimization problem over a particular path space. The cost function is adapted from the Freidlin-Wentzell action functional so that it is able to deal with rough potential landscapes. The path-finding problem is then solved using a actor-critic method based on the deep deterministic policy gradient algorithm (DDPG). The method incorporates the potential force of the system in the policy for generating episodes and combines physical properties of the system with the learning process for molecular systems. The exploitation and exploration nature of reinforcement learning enables the method to efficiently sample the transition events and compute the globally optimal transition pathway. We illustrate the effectiveness of the proposed method using three benchmark systems including an extended Mueller system and the Lennard-Jones system of seven particles.

categories: physics.comp-ph cs.LG cs.NA math.NA stat.ML


title: Planet Formation by Gas-Assisted Accretion of Small Solids

abstract: We compute the accretion efficiency of small solids, with radii 1 cm $\le$ Rs $\le$ 10 m, on planets embedded in gaseous disks. Planets have masses 3 $\le$ Mp $\le$ 20 Earth masses (Me) and orbit within 10 AU of a solar-mass star. Disk thermodynamics is modeled via three-dimensional radiation-hydrodynamic calculations that typically resolve the planetary envelopes. Both icy and rocky solids are considered, explicitly modeling their thermodynamic evolution. The maximum efficiencies of 1 $\le$ Rs $\le$ 100 cm particles are generally $\lesssim$ 10%, whereas 10 m solids tend to accrete efficiently or be segregated beyond the planet's orbit. A simplified approach is applied to compute the accretion efficiency of small cores, with masses Mp $\le$ 1 Me and without envelopes, for which efficiencies are approximately proportional to Mp^(2/3). The mass flux of solids, estimated from unperturbed drag-induced drift velocities, provides typical accretion rates dMp/dt $\lesssim$ 1e-5 Mearth/yr. In representative disk models with an initial gas-to-dust mass ratio of 70-100 and total mass of 0.05-0.06 Msun, solids' accretion falls below 1e-6 Mearth/yr after 1-1.5 million years (Myr). The derived accretion rates, as functions of time and planet mass, are applied to formation calculations that compute dust opacity self-consistently with the delivery of solids to the envelope. Assuming dust-to-solid coagulation times of approximately 0.3 Myr and disk lifetimes of approximately 3.5 Myr, heavy-element inventories in the range 3-7 Me require that approximately 90-150 Me of solids cross the planet's orbit. The formation calculations encompass a variety of outcomes, from planets a few times the Earth mass, predominantly composed of heavy elements, to giant planets. The peak luminosities during the epoch of solids' accretion range from $\approx$ 1e-7 to $\approx$ 1e-6 times the solar luminosity.


title: A robust test of general relativity at the galactic scales by combining strong lensing systems and gravitational wave standard sirens

abstract: The measurement of the parametrized post-Newtonian parameter $\gamma_{\rm{PPN}}$ is a robust test of general relativity (GR). In some modified theories of gravity, $\gamma_{\rm{PPN}}$ may evolve with the redshift and deviate from one at high redshifts. This means that precise constraints on $\gamma_{\rm{PPN}}$ acquired in the solar system experiments could not be sufficient to test such theories and it is necessary to constrain $\gamma_{\rm{PPN}}$with high precision at high redshifts. However, in many approaches aimed at extragalactic tests of GR, the results might be biased due to entanglement of various factors, such as cosmic curvature, cosmic opacity, and the Hubble constant. Strong lensing systems naturally provide a laboratory to test $\gamma_{\rm{PPN}}$ at galactic scales and high redshifts, but there is degeneracy between measured strength of gravity and cosmic distances in the lensing system. Gravitational waves (GWs) from binary neutron star mergers (standard sirens) provide a direct way to break this degeneracy by providing self-calibrated measurements of the luminosity distance. {We investigate the possibility of estimating $\gamma_{\rm{PPN}}$ by combining well measured strongly lensed systems with GW signals from coalescing neutron stars. Such combination provides a cosmological-model independent, relatively pure and unbiased method for the inference of $\gamma_{\rm{PPN}}$ parameter, avoiding the influence of the above factors and the mass-sheet degeneracy in the lens.} Based on the simulated future 55 lensed quasar systems we demonstrated that the precision of $\gamma_{\rm{PPN}}$ parameter obtained by our method could be of order of $\sim 10^{-2}$. One may reasonably expect that our approach will play an increasingly important role in precise testing the validity of general relativity at galactic scales and high redshifts.


title: Interpretability in Symbolic Regression: a benchmark of Explanatory Methods using the Feynman data set

abstract: In some situations, the interpretability of the machine learning models plays a role as important as the model accuracy. Interpretability comes from the need to trust the prediction model, verify some of its properties, or even enforce them to improve fairness. Many model-agnostic explanatory methods exists to provide explanations for black-box models. In the regression task, the practitioner can use white-boxes or gray-boxes models to achieve more interpretable results, which is the case of symbolic regression. When using an explanatory method, and since interpretability lacks a rigorous definition, there is a need to evaluate and compare the quality and different explainers. This paper proposes a benchmark scheme to evaluate explanatory methods to explain regression models, mainly symbolic regression models. Experiments were performed using 100 physics equations with different interpretable and non-interpretable regression methods and popular explanation methods, evaluating the performance of the explainers performance with several explanation measures. In addition, we further analyzed four benchmarks from the GP community. The results have shown that Symbolic Regression models can be an interesting alternative to white-box and black-box models that is capable of returning accurate models with appropriate explanations. Regarding the explainers, we observed that Partial Effects and SHAP were the most robust explanation models, with Integrated Gradients being unstable only with tree-based models. This benchmark is publicly available for further experiments.


title: Minimum variance threshold for epsilon-lexicase selection

abstract: Parent selection plays an important role in evolutionary algorithms, and many strategies exist to select the parent pool before breeding the next generation. Methods often rely on average error over the entire dataset as a criterion to select the parents, which can lead to an information loss due to aggregation of all test cases. Under epsilon-lexicase selection, the population goes to a selection pool that is iteratively reduced by using each test individually, discarding individuals with an error higher than the elite error plus the median absolute deviation (MAD) of errors for that particular test case. In an attempt to better capture differences in performance of individuals on cases, we propose a new criteria that splits errors into two partitions that minimize the total variance within partitions. Our method was embedded into the FEAT symbolic regression algorithm, and evaluated with the SRBench framework, containing 122 black-box synthetic and real-world regression problems. The empirical results show a better performance of our approach compared to traditional epsilon-lexicase selection in the real-world datasets while showing equivalent performance on the synthetic dataset.


title: Equation of State of Hot Neutron Star Matter using Finite Range Simple Effective Interaction

abstract: The equation of state of hot neutron star matter of n+p+e+$\mu$ composition in $\beta$-equilibrium is studied for both neutrino-free isothermal and neutrino-trapped isentropic conditions, using the formalism where the thermal evolution is built upon its zero-temperature predictions in a self-consistent manner. The accuracy of the parabolic approximation, often used in the finite temperature calculation of hot neutron star matter, is verified by comparing with the results obtained from the exact evaluation in the neutrino-free neutron star matter. The equation of state of neutrino-trapped isentropic matter at low entropic condition, relevant to the core-collapsing supernovae, is formulated. In the isentropic matter, the particle fractions and equation of state have marginal variance as entropy per particle varies between 1 to 3 (in the unit of k$_B$), but the temperature profile shows marked variation. The isentropes are found to be much less sensitive to the nuclear matter incompressibility, but have a large dependence on the slope parameter L. The bulk properties of the neutron stars predicted by the isentropic equation of state for different entropy are calculated. A model calculation for the early stage evolution of the protoneutron star to neutron star configuration is also given.


title: LATUP-Net: A Lightweight 3D Attention U-Net with Parallel Convolutions for Brain Tumor Segmentation

abstract: Early-stage 3D brain tumor segmentation from magnetic resonance imaging (MRI) scans is crucial for prompt and effective treatment. However, this process faces the challenge of precise delineation due to the tumors' complex heterogeneity. Moreover, energy sustainability targets and resource limitations, especially in developing countries, require efficient and accessible medical imaging solutions. The proposed architecture, a Lightweight 3D ATtention U-Net with Parallel convolutions, LATUP-Net, addresses these issues. It is specifically designed to reduce computational requirements significantly while maintaining high segmentation performance. By incorporating parallel convolutions, it enhances feature representation by capturing multi-scale information. It further integrates an attention mechanism to refine segmentation through selective feature recalibration. LATUP-Net achieves promising segmentation performance: the average Dice scores for the whole tumor, tumor core, and enhancing tumor on the BraTS2020 dataset are 88.41%, 83.82%, and 73.67%, and on the BraTS2021 dataset, they are 90.29%, 89.54%, and 83.92%, respectively. Hausdorff distance metrics further indicate its improved ability to delineate tumor boundaries. With its significantly reduced computational demand using only 3.07 M parameters, about 59 times fewer than other state-of-the-art models, and running on a single V100 GPU, LATUP-Net stands out as a promising solution for real-world clinical applications, particularly in settings with limited resources. Investigations into the model's interpretability, utilizing gradient-weighted class activation mapping and confusion matrices, reveal that while attention mechanisms enhance the segmentation of small regions, their impact is nuanced. Achieving the most accurate tumor delineation requires carefully balancing local and global features.


title: OGLE-2018-BLG-0971, MOA-2023-BLG-065, and OGLE-2023-BLG-0136: Microlensing events with prominent orbital effects

abstract: We undertake a project to reexamine microlensing data gathered from high-cadence surveys. The aim of the project is to reinvestigate lensing events with light curves exhibiting intricate anomaly features associated with caustics, yet lacking prior proposed models to explain these features. Through detailed reanalyses considering higher-order effects, we identify that accounting for orbital motions of lenses is vital in accurately explaining the anomaly features observed in the light curves of the lensing events OGLE-2018-BLG-0971, MOA-2023-BLG-065, and OGLE-2023-BLG-0136. We estimate the masses and distances to the lenses by conducting Bayesian analyses using the lensing parameters of the newly found lensing solutions. From these analyses, we identify that the lenses of the events OGLE-2018-BLG-0971 and MOA-2023-BLG-065 are binaries composed of M dwarfs, while the lens of OGLE-2023-BLG-0136 is likely to be a binary composed of an early K-dwarf primary and a late M-dwarf companion. For all lensing events, the probability of the lens residing in the bulge is considerably higher than that of it being located in the disk.


title: Deep Reinforcement Learning for Personalized Diagnostic Decision Pathways Using Electronic Health Records: A Comparative Study on Anemia and Systemic Lupus Erythematosus

abstract: Background: Clinical diagnosis is typically reached by following a series of steps recommended by guidelines authored by colleges of experts. Accordingly, guidelines play a crucial role in rationalizing clinical decisions but suffer from limitations as they are built to cover the majority of the population and fail at covering patients with uncommon conditions. Moreover, their updates are long and expensive, making them unsuitable for emerging diseases and practices. Methods: Inspired by guidelines, we formulate the task of diagnosis as a sequential decision-making problem and study the use of Deep Reinforcement Learning (DRL) algorithms to learn the optimal sequence of actions to perform in order to obtain a correct diagnosis from Electronic Health Records (EHRs). We apply DRL on synthetic, but realistic EHRs and develop two clinical use cases: Anemia diagnosis, where the decision pathways follow the schema of a decision tree; and Systemic Lupus Erythematosus (SLE) diagnosis, which follows a weighted criteria score. We particularly evaluate the robustness of our approaches to noisy and missing data since these frequently occur in EHRs. Results: In both use cases, and in the presence of imperfect data, our best DRL algorithms exhibit competitive performance when compared to the traditional classifiers, with the added advantage that they enable the progressive generation of a pathway to the suggested diagnosis which can both guide and explain the decision-making process. Conclusion: DRL offers the opportunity to learn personalized decision pathways to diagnosis. We illustrate with our two use cases their advantages: they generate step-by-step pathways that are self-explanatory; and their correctness is competitive when compared to state-of-the-art approaches.


title: Seebeck Effect of Dirac Electrons in Organic Conductors under Hydrostatic Pressure Using a Tight-Binding Model Derived from First Principles

abstract: The Seebeck coefficient is examined for two-dimensional Dirac electrons in the three-quarter filled organic conductor alpha-(BEDT-TTF)_2I_3 under hydrostatic pressure, where the Seebeck coefficient is proportional to the ratio of the thermoelectric conductivity to the electrical conductivity. We present an improved tight-binding model in two dimensions with transfer energies determined from first-principles density functional theory calculations with an experimentally determined crystal structure. The temperatutre dependence of the Seebeck coefficient is calculated by adding impurity and electron-phonon scatterings. Noting a zero-gap state due to the Dirac cone, which results in a competition from contributions between the conduction and valence bands, we show positive S_x and S_y at finite temperatures and analyze them in terms of spectral conductivity. The relevance of the calculated S_x (perpendicular to the molecular stacking axis) to the experiment is discussed.


title: Evolving Collective Behavior in Self-Organizing Particle Systems

abstract: Local interactions drive emergent collective behavior, which pervades biological and social complex systems. But uncovering the interactions that produce a desired behavior remains a core challenge. In this paper, we present EvoSOPS, an evolutionary framework that searches landscapes of stochastic distributed algorithms for those that achieve a mathematically specified target behavior. These algorithms govern self-organizing particle systems (SOPS) comprising individuals with no persistent memory and strictly local sensing and movement. For aggregation, phototaxing, and separation behaviors, EvoSOPS discovers algorithms that achieve 4.2-15.3% higher fitness than those from the existing "stochastic approach to SOPS" based on mathematical theory from statistical physics. EvoSOPS is also flexibly applied to new behaviors such as object coating where the stochastic approach would require bespoke, extensive analysis. Finally, we distill insights from the diverse, best-fitness genomes produced for aggregation across repeated EvoSOPS runs to demonstrate how EvoSOPS can bootstrap future theoretical investigations into SOPS algorithms for new behaviors.


title: Prompt-driven Universal Model for View-Agnostic Echocardiography Analysis

abstract: Echocardiography segmentation for cardiac analysis is time-consuming and resource-intensive due to the variability in image quality and the necessity to process scans from various standard views. While current automated segmentation methods in echocardiography show promising performance, they are trained on specific scan views to analyze corresponding data. However, this solution has a limitation as the number of required models increases with the number of standard views. To address this, in this paper, we present a prompt-driven universal method for view-agnostic echocardiography analysis. Considering the domain shift between standard views, we first introduce a method called prompt matching, aimed at learning prompts specific to different views by matching prompts and querying input embeddings using a pre-trained vision model. Then, we utilized a pre-trained medical language model to align textual information with pixel data for accurate segmentation. Extensive experiments on three standard views showed that our approach significantly outperforms the state-of-the-art universal methods and achieves comparable or even better performances over the segmentation model trained and tested on same views.


title: Excited-State Dynamics and Optically Detected Magnetic Resonance of Solid-State Spin Defects from First Principles

abstract: Optically detected magnetic resonance (ODMR) is an efficient and reliable method that enables initialization and readout of spin states through spin-photon interface. In general, high quantum efficiency and large spin-dependent photoluminescence (PL) contrast are desirable for reliable quantum information readout. However, reliable prediction of the ODMR contrast from first-principles requires accurate description of complex spin polarization mechanisms of spin defects. These mechanisms often include multiple radiative and nonradiative processes in particular intersystem crossing (ISC) among multiple excited electronic states. In this work we present our implementation of the first-principles ODMR contrast, by solving kinetic master equation with calculated rates from ab initio electronic structure methods then benchmark the implementation on the case of the negatively-charged nitrogen vacancy (NV) center in diamond. We show the importance of correct description of multi-reference electronic states for accurate prediction of excitation energy, spin-orbit coupling, and the rate of ISC. Moreover, we underscore the importance of pseudo Jahn-Teller effect for the spin-orbit coupling, and the dynamical Jahn-Teller effect for electron-phonon coupling, key factors determining ISC rates and ODMR contrast. We show good agreement between our first-principles calculations and the experimental ODMR contrast under magnetic field. We then demonstrate reliable predictions of magnetic field direction, pump power, and microwave frequency dependency, as important parameters for ODMR experiments. Our work clarifies the important excited-state relaxation mechanisms determining ODMR contrast and provides a predictive computational platform for spin polarization and optical readout of solid-state quantum defects from first principles.


title: Thermal Casimir effect for a Dirac field on flat space with a nontrivial circular boundary condition

abstract: This work investigates the thermal Casimir effect associated with a massive spinor field defined on a four-dimensional flat space with a circularly compactified spatial dimension whose periodicity is oriented along a vector in $xy$-plane. We employ the generalized zeta function method to establish a finite definition for the vacuum free energy density. This definition conveniently separates into the zero-temperature Casimir energy density and additional terms accounting for temperature corrections. The structure of existing divergences is analyzed from the asymptotic behavior of the spinor heat kernel function and removed in the renormalization by subtracting scheme. The only non-null heat coefficient is the one associated with the Euclidean divergence. We also address the need for a finite renormalization to treat the ambiguity in the zeta function regularization prescription \text{associated} with this Euclidean heat kernel coefficient and ensure that the renormalization procedure is unique. The high- and low-temperature asymptotic limits are also explored. In particular, we explicitly show that free energy density lacks a classical limit at high temperatures, and the entropy density agrees with the Nernst heat theorem at low temperatures.


title: AdaGossip: Adaptive Consensus Step-size for Decentralized Deep Learning with Communication Compression

abstract: Decentralized learning is crucial in supporting on-device learning over large distributed datasets, eliminating the need for a central server. However, the communication overhead remains a major bottleneck for the practical realization of such decentralized setups. To tackle this issue, several algorithms for decentralized training with compressed communication have been proposed in the literature. Most of these algorithms introduce an additional hyper-parameter referred to as consensus step-size which is tuned based on the compression ratio at the beginning of the training. In this work, we propose AdaGossip, a novel technique that adaptively adjusts the consensus step-size based on the compressed model differences between neighboring agents. We demonstrate the effectiveness of the proposed method through an exhaustive set of experiments on various Computer Vision datasets (CIFAR-10, CIFAR-100, Fashion MNIST, Imagenette, and ImageNet), model architectures, and network topologies. Our experiments show that the proposed method achieves superior performance ($0-2\%$ improvement in test accuracy) compared to the current state-of-the-art method for decentralized learning with communication compression.


title: Inclusive Practices for Child-Centered AI Design and Testing

abstract: We explore ideas and inclusive practices for designing and testing child-centered artificially intelligent technologies for neurodivergent children. AI is promising for supporting social communication, self-regulation, and sensory processing challenges common for neurodivergent children. The authors, both neurodivergent individuals and related to neurodivergent people, draw from their professional and personal experiences to offer insights on creating AI technologies that are accessible and include input from neurodivergent children. We offer ideas for designing AI technologies for neurodivergent children and considerations for including them in the design process while accounting for their sensory sensitivities. We conclude by emphasizing the importance of adaptable and supportive AI technologies and design processes and call for further conversation to refine child-centered AI design and testing methods.


title: Quantum Generative Adversarial Networks in a Silicon Photonic Chip with Maximum Expressibility

abstract: Generative adversarial networks (GANs) have achieved remarkable success with realistic tasks such as creating realistic images, texts, and audio. Combining GANs and quantum computing, quantum GANs are thought to have an exponential advantage over their classical counterparts due to the stronger expressibility of quantum circuits. In this research, a two-qubit silicon quantum photonic chip is created, capable of executing arbitrary controlled-unitary (CU) operations and generating any 2-qubit pure state, thus making it an excellent platform for quantum GANs. To capture complex data patterns, a hybrid generator is proposed to inject nonlinearity into quantum GANs. As a demonstration, three generative tasks, covering both pure quantum versions of GANs (PQ-GAN) and hybrid quantum-classical GANs (HQC-GANs), are successfully carried out on the chip, including high-fidelity single-qubit state learning, classical distributions loading, and compressed image production. The experiment results prove that silicon quantum photonic chips have great potential in generative learning applications.


title: Experimental Demonstration of Controllable PT and anti-PT Coupling in a non-Hermitian Metamaterial

abstract: Non-Hermiticity has recently emerged as a rapidly developing field due to its exotic characteristics related to open systems, where the dissipation plays a critical role. In the presence of balanced energy gain and loss with environment, the system exhibits parity-time (PT) symmetry, meanwhile as the conjugate counterpart, anti-PT symmetry can be achieved with dissipative coupling within the system. Here, we demonstrate the coherence of complex dissipative coupling can control the transition between PT and anti-PT symmetry in an electromagnetic metamaterial. Notably, the achievement of the anti-PT symmetric phase is independent of variations in dissipation. Furthermore, we observe phase transitions as the system crosses exceptional points in both anti-PT and PT symmetric metamaterial configurations, achieved by manipulating the frequency and dissipation of resonators. This work provides a promising metamaterial design for broader exploration of non-Hermitian physics and practical application with controllable Hamiltonian.


title: The Application of Tailored Fields for Studying Chirality and Symmetry

abstract: Ultrashort laser pulses pose unique tools to trigger and probe the fastest charge dynamics in matter, allowing the investigation of fundamental physical phenomena with unprecedented resolution in space, time, and energy. One of the most fascinating opportunities that ultrashort pulses offer is the possibility of modulating and investigating symmetries by tailoring the properties of the laser beam in the spatial and polarization domains, effectively controlling symmetry breaking on multiple levels. In particular, this allows probing chiral matter and ultrafast chiral dynamics. In recent years, the development of highly sensitive approaches for studying chirality has been a hot topic in physics and chemistry that has developed largely separately from the field of tailored light. This perspective discusses the individual and joint evolution of these fields with an emphasis on how the fields have already cross-fertilized, opening new opportunities in science. We outline a future outlook of how the topics are expected to fully merge and mutually evolve, emphasizing outstanding open issues.


title: The influence of vertical resolution on internal tide energetics and subsequent effects on underwater acoustic propagation

abstract: Internal tide generation and breaking play a primary role in the vertical transport and mixing of heat and other properties in the ocean interior, thereby influencing climate regulation. Additionally, internal tides increase sound speed variability in the ocean, consequently impacting underwater acoustic propagation. With advancements in large-scale ocean modeling capabilities, it is essential to assess the impact of higher model resolutions (horizontal and vertical) in representing internal tides. This study investigates the influence of vertical resolution on internal tide energetics and its subsequent effects on underwater acoustic propagation in the HYbrid Coordinate Ocean Model (HYCOM). An idealized configuration with a ridge, forced only by semidiurnal tides and having 1-km horizontal grid-spacing, is used to test two different vertical-grid discretizations, defined based on the zero-crossings of horizontal velocity eigenfunctions, with seven distinct numbers of isopycnal layers, ranging from 8 to 128. Analyses reveal that increasing the number of layers up to 48 increases barotropic-to-baroclinic tidal conversion, available potential energy, and vertical kinetic energy, reaching equilibrium afterwards with higher layer counts. Vertical shear exhibits a similar pattern but converging at 96 layers. Simulations with at least 48 layers fully resolve the available potential energy contained in the 3rd to 8th tidal baroclinic modes. Finally, sound speed variability and acoustic parameters differ for simulations with less than 48 layers. Therefore, the study concludes that a minimum vertical resolution (48 layers in this case) is required in isopycnal models to minimize the impact on internal tide properties and associated underwater acoustic propagation.


title: Cohen-Macaulay representations of Artin-Schelter Gorenstein algebras of dimension one

abstract: The existence of a tilting or silting object is an important feature for an algebraic triangulated category since it gives an equivalence with the derived category of a ring. By applying tilting theory, we study Cohen-Macaulay representations of $\mathbb N$-graded Artin-Schelter Gorenstein algebras $A=\bigoplus_{i\in \mathbb N}A_i$, where do not assume that $A_0$ is a field. This is a large class of noncommutative Gorenstein rings containing Gorenstein orders. In this paper, we concentrate on the case where $A$ has dimension one. Under the assumptions that $A$ is ring-indecomposable and $A_0$ has finite global dimension, we show that the stable category $\operatorname{\underline{\mathsf{CM}}}_0^{\mathbb Z}A$ always admits an (explicitly constructed) silting object. We also show that $\operatorname{\underline{\mathsf{CM}}}_0^{\mathbb Z}A$ admits a tilting object if and only if either $A$ is Artin-Schelter regular or the average Gorenstein parameter $p^A_\mathrm{av} \in {\mathbb Q}$ of $A$ is non-positive. These results are far-reaching generalizations of the results of Buchweitz, Iyama, and Yamaura. We give two different proofs of the second result; one is based on Orlov-type semiorthogonal decompositions, and the other is based on a more direct calculation. We apply our results to a Gorenstein tiled order $A$ to prove that $\operatorname{\underline{\mathsf{CM}}}^{\mathbb Z}A$ is equivalent to the derived category of the incidence algebra of an (explicitly constructed) poset. We also apply our results and Koszul duality to prove that the derived category $\mathsf{D}^\mathrm{b}(\operatorname{\mathsf{qgr}} A)$ of a smooth noncommutative projective quadric hypersurface $\operatorname{\mathsf{qgr}} A$ admits an (explicitly constructed) tilting object, which contains the tilting object of $\operatorname{\underline{\mathsf{CM}}}^{\mathbb Z}A$ due to Smith and Van den Bergh as a direct summand.


title: Resolving turbulence and drag over textured surfaces using texture-less simulations: the case of slip/no-slip textures

abstract: We study the effect of surface texture on an overlying turbulent flow for the case of textures made of an alternating slip/no-slip pattern, a common model for superhydrophobic surfaces but also a particularly simple form of texture. For texture sizes $L^+ \lesssim 20$, we have previously reported that turbulence remained smooth-wall-like, other than experiencing an apparent origin offset for different flow components. For slip/no-slip textures, this effect reduced to the flow experiencing slip conditions in the streamwise and spanwise directions and zero transpiration at the surface. The overlying turbulence effectively perceived such boundary conditions at least up to texture sizes $L^+ \approx 50$. However, beyond $L^+ \approx 20$ the texture interacted with the overlying turbulence in a non-homogeneous fashion, additional Reynolds stresses arose and turbulence was no longer smooth-wall-like. This is the typical effect of surface texture observed for rough surfaces, and results in an increase in drag relative to smooth-wall flows. In this paper, we argue that this occurs because the texture modifies the overlying turbulence through non-linear, cross-advective terms between the background turbulence and the texture-coherent flow directly induced by the surface topology. To verify this, we conduct homogeneous-slip-length simulations where we introduce additional, forcing terms in the Navier-Stokes equations to capture the effect of this non-linear interaction on the background turbulence. The interaction can then be accounted for without the need to resolve the surface texture. We show that the additional terms quantitatively capture the changes in the flow up to texture sizes $L^+ \approx 70$--$100$, including not just the roughness function but also the flow statistics and structure.


title: Remnant masses from 1D+ core-collapse supernovae simulations: bimodal neutron star mass distribution and black holes in the low-mass gap

abstract: The explosion of core-collapse supernovae (CCSNe) is an extremely challenging problem, and there are still large uncertainties regarding which stars lead to successful explosions that leave behind a neutron star, and which ones will form a black hole instead. In this paper, we simulate 341 progenitors at three different metallicities using spherically symmetric simulations that include neutrino-driven convection via a mixing-length theory. We use these simulations to improve previously derived explosion criteria based on the density and entropy profiles of the pre-supernova progenitor. We also provide numerical fits to calculate the final mass of neutron stars based on either compactness, the location of the Si/Si-O interface, or the Chandrasekhar mass. The neutron star birth mass distribution derived from our 1D+ simulations is bimodal, contrary to what the most popular 1D CCSN simulations have shown so far. We compare the theoretically derived neutron star mass distributions with the observed ones and discuss potential implications for population synthesis studies. We also analyze the black hole mass distribution predicted by our simulations. To be consistent with current models of matter ejection in failed SNe, a large fraction of the envelope must be expelled, leading to small black holes in the low-mass gap. One black hole in this mass region has recently been observed in the GW230529 event by the LIGO-Virgo-KAGRA collaboration. Our results naturally agree with this detection, which the most popular prescriptions for explodability and remnant masses are not able to reproduce. In general, we find that the explosion outcome and mass of the remnant strongly depend on the pre-collapse structure of the progenitor. However, their dependence on the initial mass of the star and the mass of the CO core is highly uncertain and non-linear.


title: A note on trigonometric polynomials for lower bounds of $\zeta(s)$

abstract: Non-negative trigonometric polynomials satisfying certain properties are employed when studying a number of aspects of the Riemann zeta function. When establishing zero-free regions in the critical strip, the classical polynomial $3+4\cos(\theta)+\cos(2\theta)$ used by de la Vall\'ee Poussin has since been replaced by more beneficial polynomials with larger degree. The classical polynomial was also employed by Titchmarsh to provide a lower bound on $|\zeta(\sigma+it)|$ when $\sigma>1$. We show that this polynomial is optimal for this purpose.


title: A feature-based information-theoretic approach for detecting interpretable, long-timescale pairwise interactions from time series

abstract: Quantifying relationships between components of a complex system is critical to understanding the rich network of interactions that characterize the behavior of the system. Traditional methods for detecting pairwise dependence of time series, such as Pearson correlation, Granger causality, and mutual information, are computed directly in the space of measured time-series values. But for systems in which interactions are mediated by statistical properties of the time series (`time-series features') over longer timescales, this approach can fail to capture the underlying dependence from limited and noisy time-series data, and can be challenging to interpret. Addressing these issues, here we introduce an information-theoretic method for detecting dependence between time series mediated by time-series features that provides interpretable insights into the nature of the interactions. Our method extracts a candidate set of time-series features from sliding windows of the source time series and assesses their role in mediating a relationship to values of the target process. Across simulations of three different generative processes, we demonstrate that our feature-based approach can outperform a traditional inference approach based on raw time-series values, especially in challenging scenarios characterized by short time-series lengths, high noise levels, and long interaction timescales. Our work introduces a new tool for inferring and interpreting feature-mediated interactions from time-series data, contributing to the broader landscape of quantitative analysis in complex systems research, with potential applications in various domains including but not limited to neuroscience, finance, climate science, and engineering.


title: All triangulations have a common stellar subdivision

abstract: We address two longstanding open problems, one originating in PL topology, another in birational geometry. First, we prove the weighted version of Oda's \emph{strong factorization conjecture} (1978), and prove that every two birational toric varieties are related by a common iterated blowup (at rationally smooth points). Second, we prove that every two PL homeomorphic polyhedra have a common stellar subdivisions, as conjectured by Alexander in~1930.


title: Lagrangian loci in moduli of abelian surfaces

abstract: We show that any smooth surface germ in the moduli of abelian surfaces arises from a Lagrangian fibration of abelian surfaces. By Donagi-Markman's cubic condition, the key issue of the proof is to find a suitable affine structure with a compatible cubic form on the base space of the family. We achieve this by analyzing the properties of cubic forms in two variables and proving the existence of the solution of the resulting partial differential equations by Cauchy-Kowalewski Theorem. Modifying the argument, we show also that a smooth curve germ in the moduli of abelian surfaces arises from a Lagrangian fibration if and only if the curve is a null curve with respect to the natural holomorphic conformal structure on the moduli of abelian surfaces.


title: Body Design and Gait Generation of Chair-Type Asymmetrical Tripedal Low-rigidity Robot

abstract: In this study, a chair-type asymmetric tripedal low-rigidity robot was designed based on the three-legged chair character in the movie "Suzume" and its gait was generated. Its body structure consists of three legs that are asymmetric to the body, so it cannot be easily balanced. In addition, the actuator is a servo motor that can only feed-forward rotational angle commands and the sensor can only sense the robot's posture quaternion. In such an asymmetric and imperfect body structure, we analyzed how gait is generated in walking and stand-up motions by generating gaits with two different methods: a method using linear completion to connect the postures necessary for the gait discovered through trial and error using the actual robot, and a method using the gait generated by reinforcement learning in the simulator and reflecting it to the actual robot. Both methods were able to generate gait that realized walking and stand-up motions, and interesting gait patterns were observed, which differed depending on the method, and were confirmed on the actual robot. Our code and demonstration videos are available here: https://github.com/shin0805/Chair-TypeAsymmetricalTripedalRobot.git


title: fastcpd: Fast Change Point Detection in R

abstract: Change point analysis is concerned with detecting and locating structure breaks in the underlying model of a sequence of observations ordered by time, space or other variables. A widely adopted approach for change point analysis is to minimize an objective function with a penalty term on the number of change points. This framework includes several well-established procedures, such as the penalized log-likelihood using the (modified) Bayesian information criterion (BIC) or the minimum description length (MDL). The resulting optimization problem can be solved in polynomial time by dynamic programming or its improved version, such as the Pruned Exact Linear Time (PELT) algorithm (Killick, Fearnhead, and Eckley 2012). However, existing computational methods often suffer from two primary limitations: (1) methods based on direct implementation of dynamic programming or PELT are often time-consuming for long data sequences due to repeated computation of the cost value over different segments of the data sequence; (2) state-of-the-art R packages do not provide enough flexibility for users to handle different change point settings and models. In this work, we present the fastcpd package, aiming to provide an efficient and versatile framework for change point detection in several commonly encountered settings. The core of our algorithm is built upon PELT and the sequential gradient descent method recently proposed by Zhang and Dawn (2023). We illustrate the usage of the fastcpd package through several examples, including mean/variance changes in a (multivariate) Gaussian sequence, parameter changes in regression models, structural breaks in ARMA/GARCH/VAR models, and changes in user-specified models.


title: Verification of Recursively Defined Quantum Circuits

abstract: Recursive techniques have recently been introduced into quantum programming so that a variety of large quantum circuits and algorithms can be elegantly and economically programmed. In this paper, we present a proof system for formal verification of the correctness of recursively defined quantum circuits. The soundness and (relative) completeness of the proof system are established. To demonstrating its effectiveness, a series of application examples of the proof system are given, including (multi-qubit) controlled gates, a quantum circuit generating (multi-qubit) GHZ (Greenberger-Horne-Zeilinger) states, recursive definition of quantum Fourier transform, quantum state preparation, and quantum random-access memories (QRAM).


title: Dressed Majorana fermion in a hybrid nanowire

abstract: The low-energy theory of hybrid nanowire systems fails to define Majorana fermion (MF) in the strong tunneling and magnetic field strength. To address this limitation, we propose a holistic approach to define MF in which the quasi-excitation in nanowire and superconductor constitutes together its own ``antiparticles''. This definition is general, beyond the constraint presented in the low-energy theory. It reveals that the Majorana phase depends not only on the chemical potential and Zeeman energy in nanowire but also on those of superconductor, and that the mismatch of chemical potential leads not to observe MF. Such a broader perspective provides more specific experimental guidance under various conditions


title: Learning Symmetric Hamiltonian

abstract: Hamiltonian Learning is a process of recovering system Hamiltonian from measurements, which is a fundamental problem in quantum information processing. In this study, we investigate the problem of learning the symmetric Hamiltonian from its eigenstate. Inspired by the application of group theory in block diagonal secular determination, we have derived a method to determine the number of linearly independent equations about the Hamiltonian unknowns obtained from an eigenstate. This number corresponds to the degeneracy of the associated irreducible representation of the Hamiltonian symmetry group. To illustrate our approach, we examine the XXX Hamiltonian and the XXZ Hamiltonian. We first determine the Hamiltonian symmetry group, then work out the decomposition of irreducible representation, which serves as foundation for analyzing the uniqueness of recovered Hamiltonian. Our numerical findings consistently align with our theoretical analysis.


title: De-aberration for transcranial photoacoustic computed tomography through an adult human skull

abstract: Noninvasive transcranial photoacoustic computed tomography (PACT) of the human brain, despite its clinical potential, remains impeded by the acoustic distortion induced by the human skull. The distortion, which is attributed to the markedly different material properties of the skull relative to soft tissue, results in heavily aberrated PACT images -- a problem that has remained unsolved in the past two decades. Herein, we report the first successful experimental demonstration of the de-aberration of PACT images through an ex-vivo adult human skull using a homogeneous elastic model for the skull. Using only the geometry, position, and orientation of the skull, we accurately de-aberrate the PACT images of light-absorbing phantoms acquired through an ex-vivo human skull, in terms of the recovered phantom features, for different levels of phantom complexity and positions. Our work addresses the longstanding challenge of skull-induced aberrations in transcranial PACT and advances the field towards unlocking the full potential of transcranial human brain PACT.


title: Neural networks can be FLOP-efficient integrators of 1D oscillatory integrands

abstract: We demonstrate that neural networks can be FLOP-efficient integrators of one-dimensional oscillatory integrands. We train a feed-forward neural network to compute integrals of highly oscillatory 1D functions. The training set is a parametric combination of functions with varying characters and oscillatory behavior degrees. Numerical examples show that these networks are FLOP-efficient for sufficiently oscillatory integrands with an average FLOP gain of 1000 FLOPs. The network calculates oscillatory integrals better than traditional quadrature methods under the same computational budget or number of floating point operations. We find that feed-forward networks of 5 hidden layers are satisfactory for a relative accuracy of 0.001. The computational burden of inference of the neural network is relatively small, even compared to inner-product pattern quadrature rules. We postulate that our result follows from learning latent patterns in the oscillatory integrands that are otherwise opaque to traditional numerical integrators.


title: Real-Valued 2-D Direction of Arrival Estimation via Sparse Representation

abstract: Despite many advantages of direction-of-arrivals (DOAs) in sparse representation domain, they have high computational complexity. This paper presents a new method for real-valued 2-D DOAs estimation of sources in a uniform circular array configuration. This method uses a transformation based on phase mode excitation in uniform circular arrays which called real beamspace L1-SVD (RB-L1SVD). This unitary transformation converts complex manifold matrix to real one, so that the computational complexity is decreased with respect to complex valued computations,its computation, at least, is one,fourth of the complex-valued case; moreover, some benefits from using this transformation are robustness to array imperfections, a better noise suppression because of exploiting an additional real structure, and etc. Numerical results demonstrate the better performance of the proposed approach over previous techniques such as C-L1SVD, RB-ESPRIT, and RB-MUSIC, especially in low signal-to-noise ratios.


title: Machine-learning-inspired quantum control in many-body dynamics

abstract: Achieving precise preparation of quantum many-body states is crucial for the practical implementation of quantum computation and quantum simulation. However, the inherent challenges posed by unavoidable excitations at critical points during quench processes necessitate careful design of control fields. In this work, we introduce a promising and versatile dynamic control neural network tailored to optimize control fields. We address the problem of suppressing defect density and enhancing cat-state fidelity during the passage across the critical point in the quantum Ising model. Our method facilitates seamless transitions between different objective functions by adjusting the {optimization strategy}. In comparison to gradient-based power-law quench methods, our approach demonstrates significant advantages for both small system sizes and long-term evolutions. We provide a detailed analysis of the specific forms of control fields and summarize common features for experimental implementation. Furthermore, numerical simulations demonstrate the robustness of our proposal against random noise and spin number fluctuations. The optimized defect density and cat-state fidelity exhibit a transition at a critical ratio of the quench duration to the system size, coinciding with the quantum speed limit for quantum evolution.


title: Formal principle with convergence for rational curves of Goursat type

abstract: We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the normal bundles of the rational curves are positive, the conjecture follows from the results of Commichau-Grauert and Hirschowitz. We prove the conjecture for the opposite case when the normal bundles are furthest from positive vector bundles among bracket-generating families, namely, when the families of rational curves are of Goursat type. The proof uses natural ODEs associated to rational curves of Goursat type and corresponding Cartan connections constructed by Doubrov-Komrakov-Morimoto. As an example, we see that a general line on a smooth cubic fourfold satisfies the formal principle with convergence.


title: Extremal problems for star forests and cliques

abstract: Given a family of graphs $\mathcal{F}$, the Tur\'{a}n number $ex(n, \mathcal{F})$ denotes the maximum number of edges in any $\mathcal{F}$-free graph on $n$ vertices. Recently, Alon and Frankl studied of maximum number of edges in an $n$-vertex $\{K_{k+1}, M_{s+1}\}$-free graph, where $K_{k+1}$ is a complete graph on $k+1$ vertices and $M_{s+1}$ is a matching of $s+1$ edges. They determined the exact value of $ex(n, \{K_{k+1},M_{s+1}\})$. In this paper, we extend the matching $M_{s+1}$ to star forest $(s+1)S_l$, and determine the exact value of $ex(n, \{K_{k+1},(s+1)S_l\})$ for sufficiently large enough $n$. Furthermore, all the extremal graphs are obtained.


title: Interplay of Machine Translation, Diacritics, and Diacritization

abstract: We investigate two research questions: (1) how do machine translation (MT) and diacritization influence the performance of each other in a multi-task learning setting (2) the effect of keeping (vs. removing) diacritics on MT performance. We examine these two questions in both high-resource (HR) and low-resource (LR) settings across 55 different languages (36 African languages and 19 European languages). For (1), results show that diacritization significantly benefits MT in the LR scenario, doubling or even tripling performance for some languages, but harms MT in the HR scenario. We find that MT harms diacritization in LR but benefits significantly in HR for some languages. For (2), MT performance is similar regardless of diacritics being kept or removed. In addition, we propose two classes of metrics to measure the complexity of a diacritical system, finding these metrics to correlate positively with the performance of our diacritization models. Overall, our work provides insights for developing MT and diacritization systems under different data size conditions and may have implications that generalize beyond the 55 languages we investigate.


title: Shape transition and coexistence in Te isotopes studied with the quadrupole collective Hamiltonian based on a relativistic energy density functional

abstract: Evolution and coexistence of shape and the related collective states of even-even Te isotopes are investigated within the quadrupole collective model that is based on the nuclear density functional theory. By means of the constrained self-consistent mean-field calculations performed within the relativistic Hartree-Bogoliubov method with a choice of an energy density functional and a pairing force, parameters of the triaxial quadrupole collective Hamiltonian are completely determines. The collective model produces for the near mid-shell nuclei, e.g., $^{116}$Te and $^{118}$Te, low-energy and low-spin excited states, including the $0^+_2$ state, that can be interpreted as the intruder states associated with the strongly deformed prolate minimum in the potential energy surface, along with the $0^+_1$ ground state that is attributed to the normal state based on a weakly oblate deformed global minimum. The collective model calculation suggests the lowering of the $0^+_2$ energy level toward neutron mid-shell, as observed experimentally. The sensitivity of the mean-field and spectroscopic results to the choice of the pairing strength is also analyzed, and it is shown that by increasing the pairing strength description of the low-lying states of the near mid-shell nuclei is improved.


title: Criticality of central charges for Gauss-Bonnet black holes

abstract: Employing extended phase space formalism, we study critical phenomenon of A-charge and C-charge for holographic theories dual to Gauss-Bonnet black holes. We find a universal critical Gauss-Bonnet coupling, giving rise to a universal ratio between the two central charges at the critical point. This leads to a new intepretation for critical behavior of Gauss-Bonnet black holes in terms of the boundary degrees of freedoms, although the solutions are electrically neutral. Another novel feature is for either of the central charges, the transition temperature is beyond the critical point but is upper bounded by causality of the boundary theories.


title: Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication

abstract: In future nuclear arms control treaties, it will be necessary to authenticate the hardware and software components of verification measurement systems, i.e., to ensure these systems are functioning as intended and have not been tampered with by malicious actors. While methods such as source code hashing and static analysis can help verify the integrity of software components, they may not be capable of detecting tampering with environment variables, external libraries, or the firmware and hardware of radiation measurement systems. In this article, we introduce the concept of physical differential fuzz testing as a challenge-response-style tamper indicator that can holistically and simultaneously test all the above components in a cyber-physical system. In essence, we randomly sample (or "fuzz") the untampered system's parameter space, including both normal and off-normal parameter values, and consider the time series of outputs as the baseline signature of the system. Re-running the same input sequence on a untampered system will produce an output sequence consistent with this baseline, while running the same input sequence on a tampered system will produce a modified output sequence and raise an alarm. We then apply this concept to authenticating the radiation measurement equipment in nuclear weapon verification systems and conduct demonstration fuzz testing measurements with a sodium iodide (NaI) gamma ray spectrometer. Because there is Poisson noise in the measured output spectra, we also use a mechanism for comparing inherently noisy or stochastic fuzzing sequences. We show that physical differential fuzz testing can detect two types of tamper attempts, and conclude that it is a promising framework for authenticating future cyber-physical systems in nuclear arms control, safeguards, and beyond.


title: Thermoelectric transport and current noise through a multilevel Anderson impurity: Three-body Fermi-liquid corrections in quantum dots and magnetic alloys

abstract: We present a comprehensive Fermi-liquid description for thermoelectric transport and current noise, applicable to multilevel quantum dots (QD) and magnetic alloys (MA) without electron-hole or time-reversal symmetry. Our formulation for the low-energy transport is based on an Anderson model with $N$ discrete impurity levels, and is asymptotically exact at low energies, up to the next-leading order terms in power expansions with respect to temperature $T$ and bias voltage $eV$. The expansion coefficients can be expressed in terms of the Fermi-liquid parameters, which include the three-body correlation functions defined with respect to the equilibrium ground state in addition to the linear susceptibilities and the occupation number $N_d^{}$ of impurity electrons. We apply this formulation to SU($N$) symmetric QD and MA, and calculate the correlation functions for $N=4$ and $6$, using the numerical renormalization group approach. The three-body correlations are shown to be determined by a single parameter over a wide range of electron fillings $1 \lesssim N_d^{} \lesssim N-1$ for strong Coulomb interactions $U$, and they also exhibit the plateau structures due to the SU($N$) Kondo effects at integer values of $N_d^{}$. We find that the Lorenz number $L=\kappa/(T \sigma)$ for QD and MA, defined as the ratio of the thermal conductivity $\kappa$ to the electrical conductivity $\sigma$, deviates from the universal Wiedemann-Franz value $\pi^2/(3e^2)$ as the temperature increases from $T=0$, showing the $T^2$ dependence, the coefficient for which depends on the three-body correlations away from half filling. We also demonstrate the role of three-body correlations on the nonlinear current noise and the other transport coefficients.


title: On the robustness of double-word addition algorithms

abstract: We demonstrate that, even when there are moderate overlaps in the inputs of sloppy or accurate double-word addition algorithms in the QD library, these algorithms still guarantee error bounds of $O(u^2(|a|+|b|))$ in faithful rounding. Furthermore, the accurate algorithm can achieve a relative error bound of $O(u^2)$ in the presence of moderate overlaps in the inputs when rounding function is round-to-nearest. The relative error bound also holds in directed rounding, but certain additional conditions are required. Consequently, in double-word multiplication and addition operations, we can safely omit the normalization step of double-word multiplication and replace the accurate addition algorithm with the sloppy one. Numerical experiments confirm that this approach nearly doubles the performance of double-word multiplication and addition operations, with negligible precision costs. Moreover, in directed rounding mode, the signs of the errors of the two algorithms are consistent with the rounding direction, even in the presence of input overlap. This allows us to avoid changing the rounding mode in interval arithmetic. We also prove that the relative error bound of the sloppy addition algorithm exceeds $3u^2$ if and only if the input meets the condition of Sterbenz's Lemma when rounding to nearest. These findings suggest that the two addition algorithms are more robust than previously believed.


title: Balanced Partitioning for Optimizing Big Graph Computation: Complexities and Approximation Algorithms

abstract: Graph partitioning is a key fundamental problem in the area of big graph computation. Previous works do not consider the practical requirements when optimizing the big data analysis in real applications. In this paper, motivated by optimizing the big data computing applications, two typical problems of graph partitioning are studied. The first problem is to optimize the performance of specific workloads by graph partitioning, which lacks of algorithms with performance guarantees. The second problem is to optimize the computation of motifs by graph partitioning, which has not been focused by previous works. First, the formal definitions of the above two problems are introduced, and the semidefinite programming representations are also designed based on the analysis of the properties of the two problems. For the motif based partitioning problem, it is proved to be NP-complete even for the special case of $k=2$ and the motif is a triangle, and its inapproximability is also shown by proving that there are no efficient algorithms with finite approximation ratio. Finally, using the semidefinite programming and sophisticated rounding techniques, the bi-criteria $O(\sqrt{\log n\log k})$-approximation algorithms with polynomial time cost are designed and analyzed for them.


title: Efficient Multi-Task Reinforcement Learning via Task-Specific Action Correction

abstract: Multi-task reinforcement learning (MTRL) demonstrate potential for enhancing the generalization of a robot, enabling it to perform multiple tasks concurrently. However, the performance of MTRL may still be susceptible to conflicts between tasks and negative interference. To facilitate efficient MTRL, we propose Task-Specific Action Correction (TSAC), a general and complementary approach designed for simultaneous learning of multiple tasks. TSAC decomposes policy learning into two separate policies: a shared policy (SP) and an action correction policy (ACP). To alleviate conflicts resulting from excessive focus on specific tasks' details in SP, ACP incorporates goal-oriented sparse rewards, enabling an agent to adopt a long-term perspective and achieve generalization across tasks. Additional rewards transform the original problem into a multi-objective MTRL problem. Furthermore, to convert the multi-objective MTRL into a single-objective formulation, TSAC assigns a virtual expected budget to the sparse rewards and employs Lagrangian method to transform a constrained single-objective optimization into an unconstrained one. Experimental evaluations conducted on Meta-World's MT10 and MT50 benchmarks demonstrate that TSAC outperforms existing state-of-the-art methods, achieving significant improvements in both sample efficiency and effective action execution.


title: Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis

abstract: Several techniques have been developed to prove the termination of programs. Finding ranking functions is one of the common approaches to do so. A ranking function must be bounded and must reduce at every iteration for all the reachable program states. Since the set of reachable states is often unknown, invariants serve as an over-approximation. Further, in the case of nested loops, the initial set of program states for the nested loop can be determined by the invariant of the outer loop. So, invariants play an important role in proving the validity of a ranking function in the absence of the exact reachable states. However, in the existing techniques, either the invariants are synthesized independently, or combined with ranking function synthesis into a single query, both of which are inefficient. We observe that a guided search for invariants and ranking functions can have benefits in terms of the number of programs that can be proved to terminate and the time needed to identify a proof of termination. So, in this work, we develop Syndicate, a novel framework that synergistically guides the search for both the ranking function and an invariant that together constitute a proof of termination. Owing to our synergistic approach, Syndicate can not only prove the termination of more benchmarks but also achieves a reduction ranging from 17% to 70% in the average runtime as compared to existing state-of-the-art termination analysis tools. We also prove that Syndicate is relatively complete, i.e., if there exists a ranking function and an invariant in their respective templates that can be used to prove the termination of a program, then Syndicate will always find it if there exist complete procedures for the template-specific functions in our framework.