title: Future of Pandemic Prevention and Response CCC Workshop Report

abstract: This report summarizes the discussions and conclusions of a 2-day multidisciplinary workshop that brought together researchers and practitioners in healthcare, computer science, and social sciences to explore what lessons were learned and what actions, primarily in research, could be taken. One consistent observation was that there is significant merit in thinking not only about pandemic situations, but also about peacetime advances, as many healthcare networks and communities are now in a perpetual state of crisis. Attendees discussed how the COVID-19 pandemic amplified gaps in our health and computing systems, and how current and future computing technologies could fill these gaps and improve the trajectory of the next pandemic. Three major computing themes emerged from the workshop: models, data, and infrastructure. Computational models are extremely important during pandemics, from anticipating supply needs of hospitals, to determining the care capacity of hospital and social service providers, to projecting the spread of the disease. Accurate, reliable models can save lives, and inform community leaders on policy decisions. Health system users require accurate, reliable data to achieve success when applying models. This requires data and measurement standardization across health care organizations, modernizing the data infrastructure, and methods for ensuring data remains private while shared for model development, validation, and application. Finally, many health care systems lack the data, compute, and communication infrastructures required to build models on their data, use those models in ordinary operations, or even to reliably access their data. Robust and timely computing research has the potential to better support healthcare works to save lives in times of crisis (e.g., pandemics) and today during relative peacetime.


title: Irrational rotations and 2-filling rays

abstract: We study a skew product transformation associated to an irrational rotation of the circle [0,1]/~. This skew product keeps track of the number of times an orbit of the rotation lands in the two complementary intervals of {0,1/2} in the circle. We show that under certain conditions on the continued fraction expansion of the irrational number defining the rotation, the skew product transformation has certain dense orbits. This is in spite of the presence of numerous non-dense orbits. We use this to construct laminations on infinite type surfaces with exotic properties. In particular, we show that for every infinite type surface with an isolated planar end, there is an infinite clique of 2-filling rays based at that end. These 2-filling rays are relevant to Bavard--Walker's loop graphs.


title: On the Counting Complexity of the Skolem Problem

abstract: The Skolem Problem asks, given an integer linear recurrence sequence (LRS), to determine whether the sequence contains a zero term or not. Its decidability is a longstanding open problem in theoretical computer science and automata theory. Currently, decidability is only known for LRS of order at most 4. On the other hand, the sole known complexity result is NP-hardness, due to Blondel and Portier. A fundamental result in this area is the celebrated Skolem-Mahler-Lech theorem, which asserts that the zero set of any LRS is the union of a finite set and finitely many arithmetic progressions. This paper focuses on a computational perspective of the Skolem-Mahler-Lech theorem: we show that the problem of counting the zeros of a given LRS is #P-hard, and in fact #P-complete for the instances generated in our reduction.


title: An approach for performance requirements verification and test environments generation

abstract: Model-based testing (MBT) is a method that supports the design and execution of test cases by models that specify the intended behaviors of a system under test. While systematic literature reviews on MBT in general exist, the state of the art on modeling and testing performance requirements has seen much less attention. Therefore, we conducted a systematic mapping study on model-based performance testing. Then, we studied natural language software requirements specifications in order to understand which and how performance requirements are typically specified. Since none of the identified MBT techniques supported a major benefit of modeling, namely identifying faults in requirements specifications, we developed the Performance Requirements verificatiOn and Test EnvironmentS generaTion approach (PRO-TEST). Finally, we evaluated PRO-TEST on 149 requirements specifications. We found and analyzed 57 primary studies from the systematic mapping study and extracted 50 performance requirements models. However, those models don't achieve the goals of MBT, which are validating requirements, ensuring their testability, and generating the minimum required test cases. We analyzed 77 Software Requirements Specification (SRS) documents, extracted 149 performance requirements from those SRS, and illustrate that with PRO-TEST we can model performance requirements, find issues in those requirements and detect missing ones. We detected three not-quantifiable requirements, 43 not-quantified requirements, and 180 underspecified parameters in the 149 modeled performance requirements. Furthermore, we generated 96 test environments from those models. By modeling performance requirements with PRO-TEST, we can identify issues in the requirements related to their ambiguity, measurability, and completeness. Additionally, it allows to generate parameters for test environments.


title: Search for heavy neutral leptons in final states with electrons, muons, and hadronically decaying tau leptons in proton-proton collisions at $\sqrt{s}$ =13 TeV

abstract: A search for heavy neutral leptons (HNLs) of Majorana or Dirac type using proton-proton collision data at $\sqrt{s}$ =13 TeV is presented. The data were collected by the CMS experiment at the CERN LHC and correspond to an integrated luminosity of 138 fb$^{-1}$. Events with three charged leptons (electrons, muons, and hadronically decaying tau leptons) are selected, corresponding to HNL production in association with a charged lepton and decay of the HNL to two charged leptons and a standard model (SM) neutrino. The search is performed for HNL masses between 10 GeV and 1.5 TeV. No evidence for an HNL signal is observed in data. Upper limits at 95% confidence level are found for the squared coupling strength of the HNL to SM neutrinos, considering exclusive coupling of the HNL to a single SM neutrino generation, for both Majorana and Dirac HNLs. The limits exceed previously achieved experimental constraints for a wide range of HNL masses, and the limits on tau neutrino coupling scenarios with HNL masses above the W boson mass are presented for the first time.


title: Fires in the deep: The luminosity distribution of early-time gamma-ray-burst afterglows in light of the Gamow Explorer sensitivity requirements

abstract: Gamma-ray bursts (GRBs) are ideal probes of the Universe at high redshift (z > 5), pinpointing the locations of the earliest star-forming galaxies and providing bright backlights that can be used to spectrally fingerprint the intergalactic medium and host galaxy during the period of reionization. Future missions such as Gamow Explorer are being proposed to unlock this potential by increasing the rate of identification of high-z GRBs to rapidly trigger observations from 6-10 m ground telescopes, JWST, and the Extremely Large Telescopes. Gamow was proposed to the NASA 2021 Medium-Class Explorer (MIDEX) program as a fast-slewing satellite featuring a wide-field lobster-eye X-ray telescope (LEXT) to detect and localize GRBs, and a 30 cm narrow-field multi-channel photo-z infrared telescope (PIRT) to measure their photometric redshifts using the Lyman-alpha dropout technique. To derive the PIRT sensitivity requirement we compiled a complete sample of GRB optical-near-infrared afterglows from 2008 to 2021, adding a total of 66 new afterglows to our earlier sample, including all known high-z GRB afterglows. We performed full light-curve and spectral-energy-distribution analyses of these afterglows to derive their true luminosity at very early times. For all the light curves, where possible, we determined the brightness at the time of the initial finding chart of Gamow, at different high redshifts and in different NIR bands. We then followed the evolution of the luminosity to predict requirements for ground and space-based follow-up. We find that a PIRT sensitivity of 15 micro-Jy (21 mag AB) in a 500 s exposure simultaneously in five NIR bands within 1000s of the GRB trigger will meet the Gamow mission requirement to recover > 80% of all redshifts at z > 5.


title: Hamiltonian reconstruction via ringdown dynamics

abstract: Many experimental techniques aim at determining the Hamiltonian of a given system. The Hamiltonian describes the system's evolution in the absence of dissipation, and is often central to control or interpret an experiment. Here, we theoretically propose and experimentally demonstrate a method for Hamiltonian reconstruction from measurements over a large area of phase space, overcoming the main limitation of previous techniques. A crucial ingredient for our method is the presence of dissipation, which enables sampling of the Hamiltonian through ringdown-type measurements. We apply the method to a driven-dissipative system -- a parametric oscillator -- observed in a rotating frame, and reconstruct the (quasi-)Hamiltonian of the system. Furthermore, we demonstrate that our method provides direct experimental access to the so-called symplectic norm of the stationary states of the system, which is tied to the particle- or hole-like nature of excitations of these states. In this way, we establish a method to unveil qualitative differences between the fluctuations around stabilized minima and maxima of the nonlinear out-of-equilibrium stationary states. Our method constitutes a versatile approach to characterize a wide class of driven-dissipative systems.


title: On Robustness and Generalization of ML-Based Congestion Predictors to Valid and Imperceptible Perturbations

abstract: There is substantial interest in the use of machine learning (ML)-based techniques throughout the electronic computer-aided design (CAD) flow, particularly methods based on deep learning. However, while deep learning methods have achieved state-of-the-art performance in several applications, recent work has demonstrated that neural networks are generally vulnerable to small, carefully chosen perturbations of their input (e.g. a single pixel change in an image). In this work, we investigate robustness in the context of ML-based EDA tools -- particularly for congestion prediction. As far as we are aware, we are the first to explore this concept in the context of ML-based EDA. We first describe a novel notion of imperceptibility designed specifically for VLSI layout problems defined on netlists and cell placements. Our definition of imperceptibility is characterized by a guarantee that a perturbation to a layout will not alter its global routing. We then demonstrate that state-of-the-art CNN and GNN-based congestion models exhibit brittleness to imperceptible perturbations. Namely, we show that when a small number of cells (e.g. 1%-5% of cells) have their positions shifted such that a measure of global congestion is guaranteed to remain unaffected (e.g. 1% of the design adversarially shifted by 0.001% of the layout space results in a predicted decrease in congestion of up to 90%, while no change in congestion is implied by the perturbation). In other words, the quality of a predictor can be made arbitrarily poor (i.e. can be made to predict that a design is "congestion-free") for an arbitrary input layout. Next, we describe a simple technique to train predictors that improves robustness to these perturbations. Our work indicates that CAD engineers should be cautious when integrating neural network-based mechanisms in EDA flows to ensure robust and high-quality results.


title: Ideals in hom-associative Weyl algebras

abstract: We introduce hom-associative versions of the higher order Weyl algebras, generalizing the construction of the first hom-associative Weyl algebras. We then show that the higher order hom-associative Weyl algebras are simple, and that all their one-sided ideals are principal.


title: Longitudinal Counterfactuals: Constraints and Opportunities

abstract: Counterfactual explanations are a common approach to providing recourse to data subjects. However, current methodology can produce counterfactuals that cannot be achieved by the subject, making the use of counterfactuals for recourse difficult to justify in practice. Though there is agreement that plausibility is an important quality when using counterfactuals for algorithmic recourse, ground truth plausibility continues to be difficult to quantify. In this paper, we propose using longitudinal data to assess and improve plausibility in counterfactuals. In particular, we develop a metric that compares longitudinal differences to counterfactual differences, allowing us to evaluate how similar a counterfactual is to prior observed changes. Furthermore, we use this metric to generate plausible counterfactuals. Finally, we discuss some of the inherent difficulties of using counterfactuals for recourse.


title: Umwelt: Accessible Structured Editing of Multimodal Data Representations

abstract: We present Umwelt, an authoring environment for interactive multimodal data representations. In contrast to prior approaches, which center the visual modality, Umwelt treats visualization, sonification, and textual description as coequal representations: they are all derived from a shared abstract data model, such that no modality is prioritized over the others. To simplify specification, Umwelt evaluates a set of heuristics to generate default multimodal representations that express a dataset's functional relationships. To support smoothly moving between representations, Umwelt maintains a shared query predicated that is reified across all modalities -- for instance, navigating the textual description also highlights the visualization and filters the sonification. In a study with 5 blind / low-vision expert users, we found that Umwelt's multimodal representations afforded complementary overview and detailed perspectives on a dataset, allowing participants to fluidly shift between task- and representation-oriented ways of thinking.


title: Talent hat, cross-border mobility, and career development in China

abstract: This study aims to investigate the influence of cross-border recruitment program in China, which confers scientists with a 'talent hat' including a startup package comprising significant bonuses, pay, and funding, on their future performance and career development. By curating a unique dataset from China's 10-year talent recruitment program, we employed multiple matching designs to quantify the effects of the cross-border recruitment with 'talent hat' on early career STEM scholars. Our findings indicate that the cross-border talents perform better than their comparable contenders who move without talent hats and those who do not move, given equivalent scientific performance before relocation. Moreover, we observed that scholars in experimental fields derive greater benefits from the talent program than those in non-experimental fields. Finally, we investigated how the changes in scientific environment of scientists affect their future performance. We found that talents who reassembled their collaboration network with new collaborators in new institutions after job replacement experienced significant improvements in their academic performance. However, shifting research directions entails risks, which results in a subsequent decrease of future productivity and citation impact following the relocation. This study has significant implications for young scientists, research institutions, and governments concerning cultivating cross-border talents.


title: LoRA-as-an-Attack! Piercing LLM Safety Under The Share-and-Play Scenario

abstract: Fine-tuning LLMs is crucial to enhancing their task-specific performance and ensuring model behaviors are aligned with human preferences. Among various fine-tuning methods, LoRA is popular for its efficiency and ease to use, allowing end-users to easily post and adopt lightweight LoRA modules on open-source platforms to tailor their model for different customization. However, such a handy share-and-play setting opens up new attack surfaces, that the attacker can render LoRA as an attacker, such as backdoor injection, and widely distribute the adversarial LoRA to the community easily. This can result in detrimental outcomes. Despite the huge potential risks of sharing LoRA modules, this aspect however has not been fully explored. To fill the gap, in this study we thoroughly investigate the attack opportunities enabled in the growing share-and-play scenario. Specifically, we study how to inject backdoor into the LoRA module and dive deeper into LoRA's infection mechanisms. We found that training-free mechanism is possible in LoRA backdoor injection. We also discover the impact of backdoor attacks with the presence of multiple LoRA adaptions concurrently as well as LoRA based backdoor transferability. Our aim is to raise awareness of the potential risks under the emerging share-and-play scenario, so as to proactively prevent potential consequences caused by LoRA-as-an-Attack. Warning: the paper contains potential offensive content generated by models.


title: Versatile Optical Frequency Division with Kerr-induced Synchronization at Tunable Microcomb Synthetic Dispersive Waves

abstract: Kerr-induced synchronization (KIS) provides a new key tool for the control and stabilization of the repetition rate of a cavity soliton frequency comb. It enables direct external control of a given comb tooth of a dissipative Kerr soliton (DKS) thanks to its capture by an injected reference laser. Efficient KIS requires its coupling energy to be sufficiently large, and hence both the comb tooth and intracavity reference power must be optimized, which can be achieved through higher-order dispersion that enables phase-matched dispersive waves (DWs), where comb teeth are on resonance. However, such a design is highly restrictive, preventing arbitrary use of reference wavelengths away from the DW(s). In particular, for large spectral separations from the main pump the cavity dispersion yields large detuning between comb teeth and their respective cavity resonances, thereby decreasing the coupling energy and rendering KIS to be highly inefficient or practically impossible. Here, we demonstrate an alternative KIS method where efficient synchronization can be tailored at arbitrary modes as needed. Using a multi-color DKS created from multi-pumping a microresonator, a synthetic DW at the second-color wavepacket can be selectively created where otherwise dispersion is far too large for KIS to be experimentally feasible. Since a unique group velocity for both colors exists thanks to cross-phase modulation, the repetition rate disciplining of the secondary color wavepacket through its KIS automatically translates into the DKS microcomb control. We first investigate this color-KIS phenomenon theoretically, and then experimentally demonstrate its control and tuning of the soliton microcomb repetition rate. As a consequence, we demonstrate optical frequency division that is uncoupled from the main pump that generates the DKS.


title: Validation of a Third Planet in the LHS 1678 System

abstract: The nearby LHS 1678 (TOI-696) system contains two confirmed planets and a wide-orbit, likely-brown-dwarf companion, which orbit an M2 dwarf with a unique evolutionary history. The host star occupies a narrow "gap" in the HR diagram lower main sequence, associated with the M dwarf fully convective boundary and long-term luminosity fluctuations. This system is one of only about a dozen M dwarf multi-planet systems to date that hosts an ultra-short period planet (USP). Here we validate and characterize a third planet in the LHS 1678 system using TESS Cycle 1 and 3 data and a new ensemble of ground-based light curves. LHS 1678 d is a 0.98 +/-0.07 Earth radii planet in a 4.97-day orbit, with an insolation flux of 9.1 +0.9/-0.8 Earth insolations. These properties place it near 4:3 mean motion resonance with LHS 1678 c and in company with LHS 1678 c in the Venus zone. LHS 1678 c and d are also twins in size and predicted mass, making them a powerful duo for comparative exoplanet studies. LHS 1678 d joins its siblings as another compelling candidate for atmospheric measurements with the JWST and mass measurements using high-precision radial velocity techniques. Additionally, USP LHS 1678 b breaks the "peas-in-a-pod" trend in this system, although additional planets could fill in the "pod" beyond its orbit. LHS 1678's unique combination of system properties and their relative rarity among the ubiquity of compact multi-planet systems around M dwarfs makes the system a valuable benchmark for testing theories of planet formation and evolution.


title: A compendium and evaluation of taxonomy quality attributes

abstract: Introduction: Taxonomies capture knowledge about a particular domain in a succinct manner and establish a common understanding among peers. Researchers use taxonomies to convey information about a particular knowledge area or to support automation tasks, and practitioners use them to enable communication beyond organizational boundaries. Aims: Despite this important role of taxonomies in software engineering, their quality is seldom evaluated. Our aim is to identify and define taxonomy quality attributes that provide practical measurements, helping researchers and practitioners to compare taxonomies and choose the one most adequate for the task at hand. Methods: We reviewed 324 publications from software engineering and information systems research and synthesized, when provided, the definitions of quality attributes and measurements. We evaluated the usefulness of the measurements on six taxonomies from three domains. Results: We propose the definition of seven quality attributes and suggest internal and external measurements that can be used to assess a taxonomy's quality. For two measurements we provide implementations in Python. We found the measurements useful for deciding which taxonomy is best suited for a particular purpose. Conclusion: While there exist several guidelines for creating taxonomies, there is a lack of actionable criteria to compare taxonomies. In this paper, we fill this gap by synthesizing from a wealth of literature seven, non-overlapping taxonomy quality attributes and corresponding measurements. Future work encompasses their further evaluation of usefulness and empirical validation.


title: Assessing light pollution in vast areas: zenith sky brightness maps of Catalonia

abstract: Zenith sky brightness maps in the V and B bands of the region of Catalonia are presented in this paper. For creating them we have used the light pollution numerical model Illumina v2. The maps have a sampling of 5x5 km for the whole region with an improved resolution of 1x1 km for one of the provinces within Catalonia, Tarragona. Before creating the final maps, the methodology was tested successfully by comparing the computed values to measurements in nineteen different locations spread out throughout the territory. The resulting maps have been compared to the zenith sky brightness world atlas and also to Sky Quality Meter (SQM) dynamic measurements. When comparing to measurements we found small differences mainly due to mismatching in the location of the points studied, and also due to differences in the natural sky brightness and atmospheric content. In the comparison to the world atlas some differences were expected as we are taking into account the blocking effect of topography and obstacles, and also due to a more precise light sources characterization. The results of this work confirm the conclusion found in other studies that the minimum sampling for studying sky brightness fine details is of 1x1 km. However, a sampling of 5x5 km is interesting when studying general trends, mainly for vast areas, due to the reduction of the time required to create the maps.


title: A moment tensor potential for lattice thermal conductivity calculations of alpha and beta phases of Ga2O3

abstract: Calculations of heat transport in crystalline materials have recently become mainstream, thanks to machine-learned interatomic potentials that allow for significant computational cost reductions while maintaining the accuracy of first-principles calculations. Moment tensor potentials (MTP) are among the most efficient and accurate models in this regard. In this study, we demonstrate the application of MTP to the calculation of the lattice thermal conductivity of alpha and beta Ga2O3. Although MTP is commonly employed for lattice thermal conductivity calculations, the advantages of applying the active learning methodology for potential generation is often overlooked. Here, we emphasize its importance and illustrate how it enables the generation of a robust and accurate interatomic potential while maintaining a moderate-sized training dataset.


title: Bloch-Floquet band gaps for water waves over a periodic bottom

abstract: A central object in the analysis of the water wave problem is the Dirichlet-Neumann operator. This paper is devoted to the study of its spectrum in the context of the water wave system linearized near equilibrium in a domain with a variable bottom, assumed to be a $C^2$ periodic function. We use the analyticity of the Dirichlet-Neumann operator with respect to the bottom variation and combine it with general properties of elliptic systems and spectral theory for self-adjoint operators to develop a Bloch-Floquet theory and describe the structure of its spectrum. We find that under some conditions on the bottom variations, the spectrum is composed of bands separated by gaps, with explicit formulas for their sizes and locations.


title: PosSLP and Sum of Squares

abstract: The problem PosSLP is the problem of determining whether a given straight-line program (SLP) computes a positive integer. PosSLP was introduced by Allender et al. to study the complexity of numerical analysis (Allender et al., 2009). PosSLP can also be reformulated as the problem of deciding whether the integer computed by a given SLP can be expressed as the sum of squares of four integers, based on the well-known result by Lagrange in 1770, which demonstrated that every natural number can be represented as the sum of four non-negative integer squares. In this paper, we explore several natural extensions of this problem by investigating whether the positive integer computed by a given SLP can be written as the sum of squares of two or three integers. We delve into the complexity of these variations and demonstrate relations between the complexity of the original PosSLP problem and the complexity of these related problems. Additionally, we introduce a new intriguing problem called Div2SLP and illustrate how Div2SLP is connected to DegSLP and the problem of whether an SLP computes an integer expressible as the sum of three squares. By comprehending the connections between these problems, our results offer a deeper understanding of decision problems associated with SLPs and open avenues for further exciting research


title: Federated Linear Contextual Bandits with Heterogeneous Clients

abstract: The demand for collaborative and private bandit learning across multiple agents is surging due to the growing quantity of data generated from distributed systems. Federated bandit learning has emerged as a promising framework for private, efficient, and decentralized online learning. However, almost all previous works rely on strong assumptions of client homogeneity, i.e., all participating clients shall share the same bandit model; otherwise, they all would suffer linear regret. This greatly restricts the application of federated bandit learning in practice. In this work, we introduce a new approach for federated bandits for heterogeneous clients, which clusters clients for collaborative bandit learning under the federated learning setting. Our proposed algorithm achieves non-trivial sub-linear regret and communication cost for all clients, subject to the communication protocol under federated learning that at anytime only one model can be shared by the server.


title: Direct Radiation Pressure Measurements for Lightsail Membranes

abstract: Ultrathin lightsails propelled by laser radiation pressure to relativistic speeds are currently the most promising route for flyby-based exoplanet exploration. However, there has been a notable lack of experimental characterization of key parameters essential for lightsail propulsion. Therefore, a model platform for optomechanical characterization of lightsail prototypes made from realistic materials is needed. We propose an approach for simultaneous measurement of optical forces and driving powers, which capitalizes on the multiphysics dynamics induced by the driving laser beam. By modelling the lightsail with a 50-nm thick silicon nitride membrane suspended by compliant micromechanical springs, we quantify force from off-resonantly driven displacement and power from heating-induced mechanical mode softening. This approach allows us to calibrate the measured forces to the driving powers by operating the device as a mechanical bolometer. We report radiation pressure forces of 80 fN using a collimated pump beam of 100 W/cm2 and noise-robust common-path interferometry. As lightsails will inevitably experience non-normal forces, we quantify the effects of incidence angle and spot size on the optical force and explain the nonintuitive trend by edge scattering. Our results provide a framework for comprehensive lightsail characterization and laboratory optomechanical manipulation of macroscopic objects by radiation pressure forces.


title: Stellar Surface Magnetic Fields Impact Limb Darkening

abstract: Stars appear darker at their limbs than at their disk centers because at the limb we are viewing the higher and cooler layers of stellar photospheres. Limb darkening derived from state-of-the-art stellar atmosphere models systematically fails to reproduce recent transiting exoplanet light curves from the Kepler, TESS, and JWST telescopes -- stellar brightness obtained from measurements drops less steeply towards the limb than predicted by models. All previous models assumed atmosphere devoid of magnetic fields. Here we use our new stellar atmosphere models computed with the 3D radiative magneto-hydrodynamic code MURaM to show that small-scale concentration of magnetic fields on the stellar surface affect limb darkening at a level that allows us to explain the observations. Our findings provide a way forward to improve the determination of exoplanet radii and especially the transmission spectroscopy analysis for transiting planets, which relies on a very accurate description of stellar limb darkening from the visible through the infrared. Furthermore, our findings imply that limb darkening allows measuring the small-scale magnetic field on stars with transiting planets.


title: Zero dispersion limit of the Calogero-Moser derivative NLS equation

abstract: We study the zero-dispersion limit of the Calogero-Moser derivative NLS equation $$i\partial_tu+\partial_x^2 u \pm\,2D\Pi(|u|^2)u=0, \qquad x\in\mathbb{R},$$ starting from an initial data $u_0\in L^2_+(\mathbb{R})\cap L^\infty (\mathbb{R}),$ where $D=-i\partial_x,$ and $\Pi$ is the Szeg\H{o} projector defined as $\widehat{\Pi u}(\xi)=1_{[0,+\infty)}(\xi)\widehat{u}(\xi).$ We characterize the zero-dispersion limit solution by an explicit formula. Moreover, we identify it, in terms of the branches of the multivalued solution of the inviscid Burgers-Hopf equation. Finally, we infer that it satisfies a maximum principle.


title: The distribution of $a$-numbers of hyperelliptic curves in characteristic three

abstract: In this paper we present a new approach to counting the proportion of hyperelliptic curves of genus $g$ defined over a finite field $\mathbb{F}_q$ with a given $a$-number. In characteristic three this method gives exact probabilities for curves of the form $Y^2=f(X)$ with $f(X)\in\mathbb{F}_q[X]$ monic and cubefree, probabilities that match the data presented by Cais et al. in previous work. These results are sufficient to derive precise estimates (in terms of $q$) for these probabilities when restricting to squarefree $f$. As a consequence, for positive integers $a$ and $g$ we show that the nonempty strata of the moduli space of hyperelliptic curves of genus $g$ consisting of those curves with $a$-number $a$ are of codimension $2a-1$. This contrasts with the analogous result for the moduli space of abelian varieties in which the codimensions of the strata are $a(a+1)/2$. Finally, our results allow for an alternative heuristic conjecture to that of Cais et al.; one that matches the available data.


title: On the Optimality of CVOD-based Column Selection

abstract: While there exists a rich array of matrix column subset selection problem (CSSP) algorithms for use with interpolative and CUR-type decompositions, their use can often become prohibitive as the size of the input matrix increases. In an effort to address these issues, the authors in \cite{emelianenko2024adaptive} developed a general framework that pairs a column-partitioning routine with a column-selection algorithm. Two of the four algorithms presented in that work paired the Centroidal Voronoi Orthogonal Decomposition (\textsf{CVOD}) and an adaptive variant (\textsf{adaptCVOD}) with the Discrete Empirical Interpolation Method (\textsf{DEIM}) \cite{sorensen2016deim}. In this work, we extend this framework and pair the \textsf{CVOD}-type algorithms with any CSSP algorithm that returns linearly independent columns. Our results include detailed error bounds for the solutions provided by these paired algorithms, as well as expressions that explicitly characterize how the quality of the selected column partition affects the resulting CSSP solution.


title: Quantum Readiness in Healthcare and Public Health: Building a Quantum Literate Workforce

abstract: Quantum technologies, including quantum computing, cryptography, and sensing, among others, are set to revolutionize sectors ranging from materials science to drug discovery. Despite their significant potential, the implications for public health have been largely overlooked, highlighting a critical gap in recognition and preparation. This oversight necessitates immediate action, as public health remains largely unaware of quantum technologies as a tool for advancement. The application of quantum principles to epidemiology and health informatics, termed quantum health epidemiology and quantum health informatics, has the potential to radically transform disease surveillance, prediction, modeling, and analysis of health data. However, there is a notable lack of quantum expertise within the public health workforce and educational pipelines. This gap underscores the urgent need for the development of quantum literacy among public health practitioners, leaders, and students to leverage emerging opportunities while addressing risks and ethical considerations. Innovative teaching methods, such as interactive simulations, games, visual models, and other tailored platforms, offer viable solutions for bridging knowledge gaps without the need for advanced physics or mathematics. However, the opportunity to adapt is fleeting as the quantum era in healthcare looms near. It is imperative that public health urgently focuses on updating its educational approaches, workforce strategies, data governance, and organizational culture to proactively meet the challenges of quantum disruption thereby becoming quantum ready.


title: Collective excitations and low-energy ionization signatures of relativistic particles in silicon detectors

abstract: Solid-state detectors with a low energy threshold have several applications, including in direct-detection searches of non-relativistic halo dark-matter particles with sub-GeV masses. Moreover, when searching for relativistic or quasi-relativistic beyond-the-Standard-Model particles (i.e., $v/c\gtrsim 0.01$) that have an enhanced cross section for small energy transfers, a comparatively small detector with a low energy threshold may have better sensitivity than a larger detector with a higher energy threshold. In this paper, we provide accurate calculations of the low-energy ionization spectrum from high-velocity particles scattering in a dielectric material. We focus on silicon, although our results can be easily applied to other materials. We consider the full material response, in particular also the excitation of bulk plasmons. We generalize the energy-loss function to relativistic kinematics, and benchmark existing tools used for halo dark-matter scattering against publicly available electron energy-loss spectroscopy data. Compared to calculations of energy loss that are commonly used in the literature, such as the Photo-Absorption-Ionization model or the free-electron model, the inclusion of collective effects shifts the recoil ionization spectrum towards higher energies, typically peaking around 4--6 electron-hole pairs. We apply our results to the three benchmark examples: millicharged particles produced in a beam, neutrinos with a magnetic dipole moment produced in a reactor, and dark-matter particles that are upscattered by cosmic rays or in the Sun. Our results show that the proper inclusion of collective effects typically enhances a detector's sensitivity to these particles, since detector backgrounds, such as dark counts, peak at lower energies.

categories: hep-ph astro-ph.CO hep-ex physics.ins-det


title: Quasi-superfluid and Quasi-Mott phases of strongly interacting bosons in shallow optical lattice

abstract: We explore the ground states of strongly interacting bosons in the vanishingly small and weak lattices using the multiconfiguration time-dependent Hartree method for bosons (MCTDHB) which calculate numerically exact many-body wave function. Two new many-body phases: fragmented or quasi superfluid (QSF) and incomplete fragmented Mott or quasi Mott insulator (QMI) are emerged due to the strong interplay between interaction and lattice depth. Fragmentation is utilized as a figure of merit to distinguish these two new phases. We utilize the eigenvalues of the reduced one-body density matrix and define an order parameter that characterizes the pathway from a very weak lattice to a deep lattice. We provide a detailed investigation through the measures of one- and two-body correlations and information entropy. We find that the structures in one- and two-body coherence are good markers to understand the gradual built-up of intra-well correlation and decay of inter-well correlation with increase in lattice depth.


title: Penalty-free discontinuous Galerkin method

abstract: In this paper, we present a new high-order discontinuous Galerkin (DG) method, in which neither a penalty parameter nor a stabilization parameter is needed. We refer to this method as penalty-free DG (\PFDG). In this method, the trial and test functions belong to the broken Sobolev space, in which the functions are in general discontinuous on the mesh skeleton and do not meet the Dirichlet boundary conditions. However, a subset can be distinguished in this space, where the functions are continuous and satisfy the Dirichlet boundary conditions, and this subset is called admissible. The trial solution is chosen to lie in an \emph{augmented} admissible subset, in which a small violation of the continuity condition is permitted. This subset is constructed by applying special augmented constraints to the linear combination of finite element basis functions. In this approach, all the advantages of the DG method are retained without the necessity of using stability parameters or numerical fluxes. Several benchmark problems in two dimensions (Poisson equation, linear elasticity, hyperelasticity, and biharmonic equation) on polygonal (triangles, quadrilateral and weakly convex polygons) meshes as well as a three-dimensional Poisson problem on hexahedral meshes are considered. Numerical results are presented that affirm the sound accuracy and optimal convergence of the method in the $L^2$ norm and the energy seminorm.


title: FAC$^2$E: Better Understanding Large Language Model Capabilities by Dissociating Language and Cognition

abstract: Large language models (LLMs) are primarily evaluated by overall performance on various text understanding and generation tasks. However, such a paradigm fails to comprehensively differentiate the fine-grained language and cognitive skills, rendering the lack of sufficient interpretation to LLMs' capabilities. In this paper, we present FAC$^2$E, a framework for Fine-grAined and Cognition-grounded LLMs' Capability Evaluation. Specifically, we formulate LLMs' evaluation in a multi-dimensional and explainable manner by dissociating the language-related capabilities and the cognition-related ones. Besides, through extracting the intermediate reasoning from LLMs, we further break down the process of applying a specific capability into three sub-steps: recalling relevant knowledge, utilizing knowledge, and solving problems. Finally, FAC$^2$E evaluates each sub-step of each fine-grained capability, providing a two-faceted diagnosis for LLMs. Utilizing FAC$^2$E, we identify a common shortfall in knowledge utilization among models and propose a straightforward, knowledge-enhanced method to mitigate this issue. Our results not only showcase promising performance enhancements but also highlight a direction for future LLM advancements.


title: Prompting ChatGPT for Translation: A Comparative Analysis of Translation Brief and Persona Prompts

abstract: Prompt engineering has shown potential for improving translation quality in LLMs. However, the possibility of using translation concepts in prompt design remains largely underexplored. Against this backdrop, the current paper discusses the effectiveness of incorporating the conceptual tool of translation brief and the personas of translator and author into prompt design for translation tasks in ChatGPT. Findings suggest that, although certain elements are constructive in facilitating human-to-human communication for translation tasks, their effectiveness is limited for improving translation quality in ChatGPT. This accentuates the need for explorative research on how translation theorists and practitioners can develop the current set of conceptual tools rooted in the human-to-human communication paradigm for translation purposes in this emerging workflow involving human-machine interaction, and how translation concepts developed in translation studies can inform the training of GPT models for translation tasks.


title: From Flies to Robots: Inverted Landing in Small Quadcopters with Dynamic Perching

abstract: Inverted landing is a routine behavior among a number of animal fliers. However, mastering this feat poses a considerable challenge for robotic fliers, especially to perform dynamic perching with rapid body rotations (or flips) and landing against gravity. Inverted landing in flies have suggested that optical flow senses are closely linked to the precise triggering and control of body flips that lead to a variety of successful landing behaviors. Building upon this knowledge, we aimed to replicate the flies' landing behaviors in small quadcopters by developing a control policy general to arbitrary ceiling-approach conditions. First, we employed reinforcement learning in simulation to optimize discrete sensory-motor pairs across a broad spectrum of ceiling-approach velocities and directions. Next, we converted the sensory-motor pairs to a two-stage control policy in a continuous augmented-optical flow space. The control policy consists of a first-stage Flip-Trigger Policy, which employs a one-class support vector machine, and a second-stage Flip-Action Policy, implemented as a feed-forward neural network. To transfer the inverted-landing policy to physical systems, we utilized domain randomization and system identification techniques for a zero-shot sim-to-real transfer. As a result, we successfully achieved a range of robust inverted-landing behaviors in small quadcopters, emulating those observed in flies.


title: Average-Case Local Computation Algorithms

abstract: We initiate the study of Local Computation Algorithms on average case inputs. In the Local Computation Algorithm (LCA) model, we are given probe access to a huge graph, and asked to answer membership queries about some combinatorial structure on the graph, answering each query with sublinear work. For instance, an LCA for the $k$-spanner problem gives access to a sparse subgraph $H\subseteq G$ that preserves distances up to a factor of $k$. We build simple LCAs for this problem assuming the input graph is drawn from the well-studied Erdos-Reyni and Preferential Attachment graph models. In both cases, our spanners achieve size and stretch tradeoffs that are impossible to achieve for general graphs, while having dramatically lower query complexity than worst-case LCAs. Our second result investigates the intersection of LCAs with Local Access Generators (LAGs). Local Access Generators provide efficient query access to a random object, for instance an Erdos Reyni random graph. We explore the natural problem of generating a random graph together with a combinatorial structure on it. We show that this combination can be easier to solve than focusing on each problem by itself, by building a fast, simple algorithm that provides access to an Erdos Reyni random graph together with a maximal independent set.


title: On the signature of an image

abstract: Over the past decade, the importance of the 1D signature which can be seen as a functional defined along a path, has been pivotal in both path-wise stochastic calculus and the analysis of time series data. By considering an image as a two-parameter function that takes values in a $d$-dimensional space, we introduce an extension of the path signature to images. We address numerous challenges associated with this extension and demonstrate that the 2D signature satisfies a version of Chen's relation in addition to a shuffle-type product. Furthermore, we show that specific variations of the 2D signature can be recursively defined, thereby satisfying an integral-type equation. We analyze the properties of the proposed signature, such as continuity, invariance to stretching, translation and rotation of the underlying image. Additionally, we establish that the proposed 2D signature over an image satisfies a universal approximation property.


title: UNITS: A Unified Multi-Task Time Series Model

abstract: Advances in time series models are driving a shift from conventional deep learning methods to pre-trained foundational models. While pre-trained transformers and reprogrammed text-based LLMs report state-of-the-art results, the best-performing architectures vary significantly across tasks, and models often have limited scope, such as focusing only on time series forecasting. Models that unify predictive and generative time series tasks under a single framework remain challenging to achieve. We introduce UniTS, a multi-task time series model that uses task tokenization to express predictive and generative tasks within a single model. UniTS leverages a modified transformer block designed to obtain universal time series representations. This design induces transferability from a heterogeneous, multi-domain pre-training dataset-often with diverse dynamic patterns, sampling rates, and temporal scales-to many downstream datasets, which can also be diverse in task specifications and data domains. Across 38 datasets spanning human activity sensors, healthcare, engineering, and finance domains, UniTS model performs favorably against 12 forecasting models, 20 classification models, 18 anomaly detection models, and 16 imputation models, including repurposed text-based LLMs. UniTS demonstrates effective few-shot and prompt learning capabilities when evaluated on new data domains and tasks. In the conventional single-task setting, UniTS outperforms strong task-specialized time series models. The source code and datasets are available at https://github.com/mims-harvard/UniTS.


title: Quantum Hardware Roofline: Evaluating the Impact of Gate Expressivity on Quantum Processor Design

abstract: The design space of current quantum computers is expansive with no obvious winning solution. This leaves practitioners with a clear question: "What is the optimal system configuration to run an algorithm?". This paper explores hardware design trade-offs across NISQ systems to guide algorithm and hardware design choices. The evaluation is driven by algorithmic workloads and algorithm fidelity models which capture architectural features such as gate expressivity, fidelity, and crosstalk. We also argue that the criteria for gate design and selection should be extended from maximizing average fidelity to a more comprehensive approach that takes into account the gate expressivity with respect to algorithmic structures. We consider native entangling gates (CNOT, ECR, CZ, ZZ, XX, Sycamore, $\sqrt{\text{iSWAP}}$), proposed gates (B Gate, $\sqrt[4]{\text{CNOT}}$, $\sqrt[8]{\text{CNOT}}$), as well as parameterized gates (FSim, XY). Our methodology is driven by a custom synthesis driven circuit compilation workflow, which is able to produce minimal circuit representations for a given system configuration. By providing a method to evaluate the suitability of algorithms for hardware platforms, this work emphasizes the importance of hardware-software co-design for quantum computing.


title: ForTune: Running Offline Scenarios to Estimate Impact on Business Metrics

abstract: Making ideal decisions as a product leader in a web-facing company is extremely difficult. In addition to navigating the ambiguity of customer satisfaction and achieving business goals, one must also pave a path forward for ones' products and services to remain relevant, desirable, and profitable. Data and experimentation to test product hypotheses are key to informing product decisions. Online controlled experiments by A/B testing may provide the best data to support such decisions with high confidence, but can be time-consuming and expensive, especially when one wants to understand impact to key business metrics such as retention or long-term value. Offline experimentation allows one to rapidly iterate and test, but often cannot provide the same level of confidence, and cannot easily shine a light on impact on business metrics. We introduce a novel, lightweight, and flexible approach to investigating hypotheses, called scenario analysis, that aims to support product leaders' decisions using data about users and estimates of business metrics. Its strengths are that it can provide guidance on trade-offs that are incurred by growing or shifting consumption, estimate trends in long-term outcomes like retention and other important business metrics, and can generate hypotheses about relationships between metrics at scale.


title: Active Sensing for Reciprocal MIMO Channels

abstract: This paper addresses the design of transmit precoder and receive combiner matrices to support $N_{\rm s}$ independent data streams over a time-division duplex (TDD) point-to-point massive multiple-input multiple-output (MIMO) channel with either a fully digital or a hybrid structure. The optimal precoder and combiner design amounts to finding the top-$N_{\rm s}$ singular vectors of the channel matrix, but the explicit estimation of the entire high-dimensional channel would require significant pilot overhead. Alternatively, prior works suggest to find the precoding and combining matrices directly by exploiting channel reciprocity and by using the power iteration method, but its performance degrades in the low SNR regime. To tackle this challenging problem, this paper proposes a learning-based active sensing framework, where the transmitter and the receiver send pilots alternately using sensing beamformers that are actively designed as functions of previously received pilots. This is accomplished by using recurrent neural networks to summarize information from the historical observations into hidden state vectors, then using fully connected neural networks to learn the appropriate sensing beamformers in the next pilot stage and finally the transmit precoding and receive combiner matrices for data communications. Simulations demonstrate that the learning-based method outperforms existing approaches significantly and maintains superior performance even in the low SNR regime for both the fully digital and hybrid MIMO scenarios.


title: Pole properties of a resonance: When to subtract partial-decay widths to obtain the pole widths

abstract: When a resonance lies near the threshold of a heavier channel, an interesting feature can occur. The paradigmatic example employed here is the scalar isoscalar $f_0(980)$ resonance that couples to the lighter $\pi\pi$ and heavier $K\bar{K}$ channels. It is shown that the decay width is given by the sum or subtraction of the partial decay widths depending on whether the pole lies in the Riemann sheet that is contiguous with the physical one above or below the $K\bar{K}$ threshold, respectively. Next, we show that the usually disregarded renormalization of bare parameters in Flatt\'e or energy-dependent Breit-Wigner parameterizations is essential to extract physical information. The compositeness of the $f_0(980)$ by using a Flatt\'e parameterization matched to reproduce the pole properties obtained from Roy equations and other analytic constraints is evaluated.


title: Developing a Taxonomy of Elements Adversarial to Autonomous Vehicles

abstract: As highly automated vehicles reach higher deployment rates, they find themselves in increasingly dangerous situations. Knowing that the consequence of a crash is significant for the health of occupants, bystanders, and properties, as well as to the viability of autonomy and adjacent businesses, we must search for more efficacious ways to comprehensively and reliably train autonomous vehicles to better navigate the complex scenarios with which they struggle. We therefore introduce a taxonomy of potentially adversarial elements that may contribute to poor performance or system failures as a means of identifying and elucidating lesser-seen risks. This taxonomy may be used to characterize failures of automation, as well as to support simulation and real-world training efforts by providing a more comprehensive classification system for events resulting in disengagement, collision, or other negative consequences. This taxonomy is created from and tested against real collision events to ensure comprehensive coverage with minimal class overlap and few omissions. It is intended to be used both for the identification of harm-contributing adversarial events and in the generation thereof (to create extreme edge- and corner-case scenarios) in training procedures.


title: User Characteristics in Explainable AI: The Rabbit Hole of Personalization?

abstract: As Artificial Intelligence (AI) becomes ubiquitous, the need for Explainable AI (XAI) has become critical for transparency and trust among users. A significant challenge in XAI is catering to diverse users, such as data scientists, domain experts, and end-users. Recent research has started to investigate how users' characteristics impact interactions with and user experience of explanations, with a view to personalizing XAI. However, are we heading down a rabbit hole by focusing on unimportant details? Our research aimed to investigate how user characteristics are related to using, understanding, and trusting an AI system that provides explanations. Our empirical study with 149 participants who interacted with an XAI system that flagged inappropriate comments showed that very few user characteristics mattered; only age and the personality trait openness influenced actual understanding. Our work provides evidence to reorient user-focused XAI research and question the pursuit of personalized XAI based on fine-grained user characteristics.


title: Searching for magnetically hard monoborides (and finding a few): A first-principles investigation

abstract: New hard magnetic materials with zero or low rare earth content are in demand due to the high prices of the rare earth metals. Among the candidates for such materials, we consider MnB, FeB and their alloys, because previous experiments suggest that FeB has a relatively high magnetic hardness of about 0.83 at room temperature. Using first-principles calculations, we examine the full range of alloys from CrB, through MnB, FeB, to CoB. Furthrmore, we consider alloys of MnB and FeB with substitutions of 3$d$, 4$d$ and 5$d$ transition metals. For the above ninety compositions, we determine magnetic moment, magnetocrystalline anisotropy energy and magnetic hardness. For (Fe-Co)B alloys, the calculated values of magnetic hardness exceed five, which is an exceptionally high. While these values are inflated by the virtual crystal approximation used, we still expect actual magnetic hardnesses well above unity. Furthermore, we classify considered MnB alloys substituted with transition metals as magnetically soft or semi-hard and FeB alloys with Sc, Ti, V, Zr, Nb, Mo, Hf, Ta or W as magnetically hard (with magnetic hardness exceeding unity).


title: Optimal positioning in derivative securities in incomplete markets

abstract: This paper analyzes a problem of optimal static hedging using derivatives in incomplete markets. The investor is assumed to have a risk exposure to two underlying assets. The hedging instruments are vanilla options written on a single underlying asset. The hedging problem is formulated as a utility maximization problem whereby the form of the optimal static hedge is determined. Among our results, a semi-analytical solution for the optimizer is found through variational methods for exponential, power/logarithmic, and quadratic utility. When vanilla options are available for each underlying asset, the optimal solution is related to the fixed points of a Lipschitz map. In the case of exponential utility, there is only one such fixed point, and subsequent iterations of the map converge to it.


title: Estimating the linear relation between variables that are never jointly observed

abstract: In modern experimental science there is a commonly encountered problem of estimating the coefficients of a linear regression in the context where the variables of interest can never be observed simultaneously. Assuming that the global experiment can be decomposed into sub-experiments with distinct first moments, we propose two estimators of the linear regression that take this additional information into account. We consider an estimator based on moments, and an estimator based on optimal transport theory. These estimators are proven to be consistent as well as asymptotically Gaussian under weak hypotheses. The asymptotic variance has no explicit expression, except in some particular cases, for which reason a stratified bootstrap approach is developed to build confidence intervals for the estimated parameters, whose consistency is also shown. A simulation study, assessing and comparing the finite sample performances of these estimators, demonstrated the advantages of the bootstrap approach in multiple realistic scenarios. An application to in vivo experiments, conducted in the context of studying radio-induced adverse effects on mice, revealed important relationships between the biomarkers of interest that could not be identified with the considered naive approach.


title: EROS: Entity-Driven Controlled Policy Document Summarization

abstract: Privacy policy documents have a crucial role in educating individuals about the collection, usage, and protection of users' personal data by organizations. However, they are notorious for their lengthy, complex, and convoluted language especially involving privacy-related entities. Hence, they pose a significant challenge to users who attempt to comprehend organization's data usage policy. In this paper, we propose to enhance the interpretability and readability of policy documents by using controlled abstractive summarization -- we enforce the generated summaries to include critical privacy-related entities (e.g., data and medium) and organization's rationale (e.g.,target and reason) in collecting those entities. To achieve this, we develop PD-Sum, a policy-document summarization dataset with marked privacy-related entity labels. Our proposed model, EROS, identifies critical entities through a span-based entity extraction model and employs them to control the information content of the summaries using proximal policy optimization (PPO). Comparison shows encouraging improvement over various baselines. Furthermore, we furnish qualitative and human evaluations to establish the efficacy of EROS.


title: A Fractional Model for Earthquakes

abstract: This paper extends the existing fractional Hawkes process to better model mainshock-aftershock sequences of earthquakes. The fractional Hawkes process is a self-exciting point process model with temporal decay kernel being a Mittag-Leffler function. A maximum likelihood estimation scheme is developed and its consistency is checked. It is then compared to the ETAS model on three earthquake sequences in Southern California. The fractional Hawkes process performs favourably against the ETAS model. Additionally, two parameters in the fractional Hawkes process may have a fixed geophysical meaning dependent on the study zone and the stage of the seismic cycle the zone is in.


title: Ensemble-Based Unsupervised Discontinuous Constituency Parsing by Tree Averaging

abstract: We address unsupervised discontinuous constituency parsing, where we observe a high variance in the performance of the only previous model. We propose to build an ensemble of different runs of the existing discontinuous parser by averaging the predicted trees, to stabilize and boost performance. To begin with, we provide comprehensive computational complexity analysis (in terms of P and NP-complete) for tree averaging under different setups of binarity and continuity. We then develop an efficient exact algorithm to tackle the task, which runs in a reasonable time for all samples in our experiments. Results on three datasets show our method outperforms all baselines in all metrics; we also provide in-depth analyses of our approach.


title: EBBS: An Ensemble with Bi-Level Beam Search for Zero-Shot Machine Translation

abstract: The ability of zero-shot translation emerges when we train a multilingual model with certain translation directions; the model can then directly translate in unseen directions. Alternatively, zero-shot translation can be accomplished by pivoting through a third language (e.g., English). In our work, we observe that both direct and pivot translations are noisy and achieve less satisfactory performance. We propose EBBS, an ensemble method with a novel bi-level beam search algorithm, where each ensemble component explores its own prediction step by step at the lower level but they are synchronized by a "soft voting" mechanism at the upper level. Results on two popular multilingual translation datasets show that EBBS consistently outperforms direct and pivot translations as well as existing ensemble techniques. Further, we can distill the ensemble's knowledge back to the multilingual model to improve inference efficiency; profoundly, our EBBS-based distillation does not sacrifice, or even improves, the translation quality.


title: Guidelines for Integrating Value Sensitive Design in Responsible AI Toolkits

abstract: Value Sensitive Design (VSD) is a framework for integrating human values throughout the technology design process. In parallel, Responsible AI (RAI) advocates for the development of systems aligning with ethical values, such as fairness and transparency. In this study, we posit that a VSD approach is not only compatible, but also advantageous to the development of RAI toolkits. To empirically assess this hypothesis, we conducted four workshops involving 17 early-career AI researchers. Our aim was to establish links between VSD and RAI values while examining how existing toolkits incorporate VSD principles in their design. Our findings show that collaborative and educational design features within these toolkits, including illustrative examples and open-ended cues, facilitate an understanding of human and ethical values, and empower researchers to incorporate values into AI systems. Drawing on these insights, we formulated six design guidelines for integrating VSD values into the development of RAI toolkits.


title: Modal analysis of high-fidelity simulations in turbomachinery

abstract: We revisit recently published high-fidelity implicit large eddy simulation datasets obtained with a high-order discontinuous Galerkin spectral element method and analyse them using Proper Orthogonal Decomposition (POD) as well as Spectral Proper Orthogonal Decomposition (SPOD). The first configuration is the MTU T161 low-pressure turbine cascade with resolved end wall boundary layers in a clean version and one with incoming turbulent wakes. We focus on the behaviour of the laminar separation bubble and the secondary flow system and how these phenomena are affected by incoming wakes. The second configuration is a transonic compressor cascade in which we analyse the unsteady behaviour of the shock wave boundary layer interaction. Throughout the paper, we try to discuss not only the flow physics but also insights into how the modal decomposition techniques can help facilitate understanding and where their limitations are.


title: Analysis of Kernel Mirror Prox for Measure Optimization

abstract: By choosing a suitable function space as the dual to the non-negative measure cone, we study in a unified framework a class of functional saddle-point optimization problems, which we term the Mixed Functional Nash Equilibrium (MFNE), that underlies several existing machine learning algorithms, such as implicit generative models, distributionally robust optimization (DRO), and Wasserstein barycenters. We model the saddle-point optimization dynamics as an interacting Fisher-Rao-RKHS gradient flow when the function space is chosen as a reproducing kernel Hilbert space (RKHS). As a discrete time counterpart, we propose a primal-dual kernel mirror prox (KMP) algorithm, which uses a dual step in the RKHS, and a primal entropic mirror prox step. We then provide a unified convergence analysis of KMP in an infinite-dimensional setting for this class of MFNE problems, which establishes a convergence rate of $O(1/N)$ in the deterministic case and $O(1/\sqrt{N})$ in the stochastic case, where $N$ is the iteration counter. As a case study, we apply our analysis to DRO, providing algorithmic guarantees for DRO robustness and convergence.


title: Implications of Regulations on the Use of AI and Generative AI for Human-Centered Responsible Artificial Intelligence

abstract: With the upcoming AI regulations (e.g., EU AI Act) and rapid advancements in generative AI, new challenges emerge in the area of Human-Centered Responsible Artificial Intelligence (HCR-AI). As AI becomes more ubiquitous, questions around decision-making authority, human oversight, accountability, sustainability, and the ethical and legal responsibilities of AI and their creators become paramount. Addressing these questions requires a collaborative approach. By involving stakeholders from various disciplines in the 2\textsuperscript{nd} edition of the HCR-AI Special Interest Group (SIG) at CHI 2024, we aim to discuss the implications of regulations in HCI research, develop new theories, evaluation frameworks, and methods to navigate the complex nature of AI ethics, steering AI development in a direction that is beneficial and sustainable for all of humanity.


title: Uniform Recurrence in the Motzkin Numbers and Related Sequences mod $p$

abstract: Many famous integer sequences including the Catalan numbers and the Motzkin numbers can be expressed in the form $ConstantTermOf\left[P(x)^nQ(x)\right]$ for Laurent polynomials $Q$, and symmetric Laurent trinomials $P$. In this paper we characterize the primes for which sequences of this form are uniformly recurrent modulo $p$. For all other primes, we show that $0$ has density $1$. This will be accomplished by showing that the study of these sequences mod $p$ can be reduced to the study of the generalized central trinomial coefficients, which are well-behaved mod $p$.


title: Exact closed forms for the transmittance of electromagnetic waves in one-dimensional anisotropic periodic media

abstract: In this work, we obtain closed expressions for the transfer matrix and the transmittance of electromagnetic waves propagating in finite 1D anisotropic periodic stratified media with an arbitrary number of cells. By invoking the Cayley-Hamilton theorem on the transfer matrix for the electromagnetic field in a periodic stratified media formed by N cells, we obtain a fourth-degree recursive relation for the matrix coefficients that defines the so-called Tetranacci Polynomials. In the symmetric case, corresponding to a unit-cell transfer matrix with a characteristic polynomial where the coefficients of the linear and cubic terms are equal, closed expressions for the solutions to the recursive relation, known as symmetric Tetranacci Polynomials, have recently been derived, allowing us to write the transfer matrix and transmittance in a closed form. We show as sufficient conditions that the $4\times4$ differential propagation matrix of each layer in the binary unit cell, $\Delta$, a) has eigenvalues of the form $\pm p_1$, $\pm p_2$, with $p_1\ne p_2$, and b) its off-diagonal $2\times2$ block matrices possess the same symmetric structure in both layers. Otherwise, the recursive relations are still solvable for any $4\times4$-matrix and provide an algorithm to compute the N-th power of the transfer matrix without carrying out explicitly the matrix multiplication of N matrices. We obtain analytical expressions for the dispersion relation and transmittance, in closed form, for two finite periodic systems: the first one consists of two birefringent uniaxial media with their optical axis perpendicular to the z-axis, and the second consists of two isotropic media subject to an external magnetic field oriented along the z-axis and exhibiting the Faraday effect. Our formalism applies also to lossy media, magnetic anisotropy or optical activity.


title: Solid-Liquid Transition in a Skyrmion Matter

abstract: We report Monte-Carlo studies of the orientational order and melting of a 2D skyrmion lattice containing more than one million spins. Two models have been investigated, a microscopic model of lattice spins with Dzyaloshinskii-Moryia interaction that possesses skyrmions, and the model in which skyrmions are treated as point particles with repulsive interaction derived from a spin model. They produce similar results. The skyrmion lattice exhibits a sharp one-step transition between solid and liquid phases on temperature and the magnetic field. This solid-liquid transition is characterized by the kink in the magnetization. The field-temperature phase diagram is computed. We show that the application of the field gradient to a 2D system of skyrmions produces a solid-liquid interface that must be possible to observe in experiments.


title: Enabling large-depth simulation of noisy quantum circuits with positive tensor networks

abstract: Matrix product density operators (MPDOs) are tensor network representations of locally purified density matrices where each physical degree of freedom is associated to an environment degree of freedom. MPDOs have interesting properties for mixed state representations: guaranteed positivity by construction, efficient conservation of the trace and computation of local observables. However, they have been challenging to use for noisy quantum circuit simulation, as the application of noise increases the dimension of the environment Hilbert space, leading to an exponential growth of bond dimensions. MPDOs also lack a unique canonical form, due to the freedom in the choice of basis for the environment Hilbert space, which leads to a vast variation of bond dimensions. In this work, we present a systematic way to reduce the bond dimensions of MPDOs by disentangling the purified state. We optimize the basis for the environment Hilbert space by performing density matrix renormalization group (DMRG)-like sweeps of local 2-qubit basis optimization. Interestingly, we find that targeting only the disentanglement of the purified state leads to a reduction of the environment dimension. In other words, a compact MPDO representation requires a low-entanglement purified state. We apply our compression method to the emulation of noisy random quantum circuits. Our technique allows us to keep bounded bond dimensions, and thus bounded memory, contrary to previous works on MPDOs, while keeping reasonable truncation fidelities.


title: Practical and Rich User Digitization

abstract: A long-standing vision in computer science has been to evolve computing devices into proactive assistants that enhance our productivity, health and wellness, and many other facets of our lives. User digitization is crucial in achieving this vision as it allows computers to intimately understand their users, capturing activity, pose, routine, and behavior. Today's consumer devices - like smartphones and smartwatches provide a glimpse of this potential, offering coarse digital representations of users with metrics such as step count, heart rate, and a handful of human activities like running and biking. Even these very low-dimensional representations are already bringing value to millions of people's lives, but there is significant potential for improvement. On the other end, professional, high-fidelity comprehensive user digitization systems exist. For example, motion capture suits and multi-camera rigs that digitize our full body and appearance, and scanning machines such as MRI capture our detailed anatomy. However, these carry significant user practicality burdens, such as financial, privacy, ergonomic, aesthetic, and instrumentation considerations, that preclude consumer use. In general, the higher the fidelity of capture, the lower the user's practicality. Most conventional approaches strike a balance between user practicality and digitization fidelity. My research aims to break this trend, developing sensing systems that increase user digitization fidelity to create new and powerful computing experiences while retaining or even improving user practicality and accessibility, allowing such technologies to have a societal impact. Armed with such knowledge, our future devices could offer longitudinal health tracking, more productive work environments, full body avatars in extended reality, and embodied telepresence experiences, to name just a few domains.


title: LLMs in Political Science: Heralding a New Era of Visual Analysis

abstract: Interest is increasing among political scientists in leveraging the extensive information available in images. However, the challenge of interpreting these images lies in the need for specialized knowledge in computer vision and access to specialized hardware. As a result, image analysis has been limited to a relatively small group within the political science community. This landscape could potentially change thanks to the rise of large language models (LLMs). This paper aims to raise awareness of the feasibility of using Gemini for image content analysis. A retrospective analysis was conducted on a corpus of 688 images. Content reports were elicited from Gemini for each image and then manually evaluated by the authors. We find that Gemini is highly accurate in performing object detection, which is arguably the most common and fundamental task in image analysis for political scientists. Equally important, we show that it is easy to implement as the entire command consists of a single prompt in natural language; it is fast to run and should meet the time budget of most researchers; and it is free to use and does not require any specialized hardware. In addition, we illustrate how political scientists can leverage Gemini for other image understanding tasks, including face identification, sentiment analysis, and caption generation. Our findings suggest that Gemini and other similar LLMs have the potential to drastically stimulate and accelerate image research in political science and social sciences more broadly.


title: Towards Explaining Deep Neural Network Compression Through a Probabilistic Latent Space

abstract: Despite the impressive performance of deep neural networks (DNNs), their computational complexity and storage space consumption have led to the concept of network compression. While DNN compression techniques such as pruning and low-rank decomposition have been extensively studied, there has been insufficient attention paid to their theoretical explanation. In this paper, we propose a novel theoretical framework that leverages a probabilistic latent space of DNN weights and explains the optimal network sparsity by using the information-theoretic divergence measures. We introduce new analogous projected patterns (AP2) and analogous-in-probability projected patterns (AP3) notions for DNNs and prove that there exists a relationship between AP3/AP2 property of layers in the network and its performance. Further, we provide a theoretical analysis that explains the training process of the compressed network. The theoretical results are empirically validated through experiments conducted on standard pre-trained benchmarks, including AlexNet, ResNet50, and VGG16, using CIFAR10 and CIFAR100 datasets. Through our experiments, we highlight the relationship of AP3 and AP2 properties with fine-tuning pruned DNNs and sparsity levels.


title: Pair density wave order in multiband systems

abstract: An indispensable ingredient for pair density wave (PDW) superconductivity is the presence of an attractive pairing interaction at finite momentum. Here, we show how this condition can be met with straightforward electron-density interactions in multiband systems. The electron-density interaction, when projected to the band basis, acquires form factors with nontrivial momentum dependence and thereby exhibits a potential tendency to a finite-momentum pairing instability. By applying a mean-field analysis to two simple multiband models, the checkerboard lattice and three-band Hubbard model, we find that PDW order can indeed become the leading instability if a strong nearest-neighbour attraction is present. Moreover, the condition for the transition from a uniform superconductor to a PDW superconductor is shown via a simple quantum geometric argument.


title: Privacy-Preserving Distributed Optimization and Learning

abstract: Distributed optimization and learning has recently garnered great attention due to its wide applications in sensor networks, smart grids, machine learning, and so forth. Despite rapid development, existing distributed optimization and learning algorithms require each agent to exchange messages with its neighbors, which may expose sensitive information and raise significant privacy concerns. In this survey paper, we overview privacy-preserving distributed optimization and learning methods. We first discuss cryptography, differential privacy, and other techniques that can be used for privacy preservation and indicate their pros and cons for privacy protection in distributed optimization and learning. We believe that among these approaches, differential privacy is most promising due to its low computational and communication complexities, which are extremely appealing for modern learning based applications with high dimensions of optimization variables. We then introduce several differential-privacy algorithms that can simultaneously ensure privacy and optimization accuracy. Moreover, we provide example applications in several machine learning problems to confirm the real-world effectiveness of these algorithms. Finally, we highlight some challenges in this research domain and discuss future directions.


title: Automated Efficient Estimation using Monte Carlo Efficient Influence Functions

abstract: Many practical problems involve estimating low dimensional statistical quantities with high-dimensional models and datasets. Several approaches address these estimation tasks based on the theory of influence functions, such as debiased/double ML or targeted minimum loss estimation. This paper introduces \textit{Monte Carlo Efficient Influence Functions} (MC-EIF), a fully automated technique for approximating efficient influence functions that integrates seamlessly with existing differentiable probabilistic programming systems. MC-EIF automates efficient statistical estimation for a broad class of models and target functionals that would previously require rigorous custom analysis. We prove that MC-EIF is consistent, and that estimators using MC-EIF achieve optimal $\sqrt{N}$ convergence rates. We show empirically that estimators using MC-EIF are at parity with estimators using analytic EIFs. Finally, we demonstrate a novel capstone example using MC-EIF for optimal portfolio selection.


title: Chow K\"unneth decomposition for \'etale motives

abstract: In the present article we define an integral analogue of Chow-K\"unneth decomposition for \'etale motives. By using families of conservative functors we are able to establish a decomposition of the \'etale motive of commutative group schemes over a base and we relate to an integral \'etale Chow-K\"unneth decomposition of abelian varieties. For a projective variety $X$ of dimension $d$ over an algebraically closed field, we construct integral sub-motives $h^1_{\text{\'et}}(X)$ and $h^{2d-1}_{\text{\'et}}(X)$ of the motive $h_{\text{\'et}}(X)$.


title: A far-ultraviolet-driven photoevaporation flow observed in a protoplanetary disk

abstract: Most low-mass stars form in stellar clusters that also contain massive stars, which are sources of far-ultraviolet (FUV) radiation. Theoretical models predict that this FUV radiation produces photo-dissociation regions (PDRs) on the surfaces of protoplanetary disks around low-mass stars, impacting planet formation within the disks. We report JWST and Atacama Large Millimetere Array observations of a FUV-irradiated protoplanetary disk in the Orion Nebula. Emission lines are detected from the PDR; modelling their kinematics and excitation allows us to constrain the physical conditions within the gas. We quantify the mass-loss rate induced by the FUV irradiation, finding it is sufficient to remove gas from the disk in less than a million years. This is rapid enough to affect giant planet formation in the disk.


title: Thematic agreement assessment of gridded, multi-modal geospatial datasets of different semantics and spatial granularities

abstract: This paper presents a method for thematic agreement assessment of geospatial data products of different semantics and spatial granularities, which may be affected by spatial offsets between test and reference data. The proposed method uses a multi-scale framework allowing for a probabilistic evaluation whether thematic disagreement between datasets is induced by spatial offsets due to different nature of the datasets or not. We test our method using real-estate derived settlement locations and remote-sensing derived building footprint data.


title: The Odd 2D Bubbles, 4D Triangles, and Einstein and Weyl Anomalies in 2D Gravitational Fermionic amplitudes: The Role of Breaking Integration Linearity for Anomalies

abstract: We investigated Relations Among Green Functions defined in an alternative strategy for coping with the divergences, also called the Implicit Regularization Method (IREG): the mathematical content (divergent and finite) will remain intact until the calculations end. The divergent part will be organized through standardized objects free of physical quantities. In contrast, the finite part is projected in a class of well-behaved functions that carry all the amplitudes' physical content. That relations arise in fermionic amplitudes in even space-time dimensions, where anomalous tensors connect to finite amplitudes as in the bubbles and triangles in two and four dimensions. Those tensors depend on surface terms, whose non-zero values arise from finite amplitudes as requirements of consistency with the linearity of integration and uniqueness. Maintaining these terms implies breaking momentum-space homogeneity and, in a later step, the Ward identities. Meanwhile, eliminating them allows more than one mathematical expression for the same amplitude. That is a consequence of choices related to the involved Dirac traces. Independently of divergences, it is impossible to satisfy all symmetry implications by simultaneously requiring vanishing surface terms and linearity. Then we approach the 1-loop level fermionic correction for the propagation of the graviton in a space-time D=1+1 through the action of a Weyl fermion in curved space-time. In this context, gravitational anomalies arise, and the amplitudes investigated have the highest degree of divergence quadratic. That imposes a substantial algebraic effort; however, the conclusions are in agreement with the non-gravitational amplitudes. At the end of the calculations, we show how it is possible to fix the value of the divergent part through the relations imposed for amplitudes.


title: Uniformly Decaying Subspaces for Error Mitigated Quantum Computation

abstract: We present a general condition to obtain subspaces that decay uniformly in a system governed by the Lindblad master equation and use them to perform error mitigated quantum computation. The expectation values of dynamics encoded in such subspaces are unbiased estimators of noise-free expectation values. In analogy to the decoherence free subspaces which are left invariant by the action of Lindblad operators, we show that the uniformly decaying subspaces are left invariant (up to orthogonal terms) by the action of the dissipative part of the Lindblad equation. We apply our theory to a system of qubits and qudits undergoing relaxation with varying decay rates and show that such subspaces can be used to eliminate bias up to first order variations in the decay rates without requiring full knowledge of noise. Since such a bias cannot be corrected through standard symmetry verification, our method can improve error mitigation in dual-rail qubits and given partial knowledge of noise, can perform better than probabilistic error cancellation.


title: The existence theorem for the steady-state Navier-Stokes equations with nonhomogeneous slip boundary conditions in two-dimensional multiply-connected bounded domains

abstract: We study the nonhomogeneous boundary value problem for the steady-state Navier-Stokes equations under the slip boundary conditions in two-dimensional multiply-connected bounded domains. Employing the approach of Korobkov-Pileckas-Russo (Ann. Math. 181(2), 769-807, 2015), we prove that this problem has a solution if the friction coefficient is sufficiently large compared with the kinematic viscosity constant and the curvature of the boundary. No additional assumption (other than the necessary requirement of zero total flux through the boundary) is imposed on the boundary data. We also show that such an assumption on the friction coefficient is redundant for the existence of a solution in the case when the fluxes across each connected component of the boundary are sufficiently small, or the domain and the given data satisfy certain symmetry conditions. The crucial ingredient of our proof is the fact that the total head pressure corresponding to the solution to the steady Euler equations takes a constant value on each connected component of the boundary.


title: TELEClass: Taxonomy Enrichment and LLM-Enhanced Hierarchical Text Classification with Minimal Supervision

abstract: Hierarchical text classification aims to categorize each document into a set of classes in a label taxonomy. Most earlier works focus on fully or semi-supervised methods that require a large amount of human annotated data which is costly and time-consuming to acquire. To alleviate human efforts, in this paper, we work on hierarchical text classification with the minimal amount of supervision: using the sole class name of each node as the only supervision. Recently, large language models (LLM) show competitive performance on various tasks through zero-shot prompting, but this method performs poorly in the hierarchical setting, because it is ineffective to include the large and structured label space in a prompt. On the other hand, previous weakly-supervised hierarchical text classification methods only utilize the raw taxonomy skeleton and ignore the rich information hidden in the text corpus that can serve as additional class-indicative features. To tackle the above challenges, we propose TELEClass, Taxonomy Enrichment and LLM-Enhanced weakly-supervised hierarchical text Classification, which (1) automatically enriches the label taxonomy with class-indicative terms to facilitate classifier training and (2) utilizes LLMs for both data annotation and creation tailored for the hierarchical label space. Experiments show that TELEClass can outperform previous weakly-supervised methods and LLM-based zero-shot prompting methods on two public datasets.


title: Towards localized accuracy assessment of remote-sensing derived built-up land layers across the rural-urban continuum

abstract: The accuracy assessment of remote-sensing derived built-up land data represents a specific case of binary map comparison, where class imbalance varies considerably across rural-urban trajectories. Thus, local accuracy characterization of such datasets requires specific strategies that are robust to low sample sizes and different levels of class imbalance. Herein, we examine the suitability of commonly used spatial agreement measures for their localized accuracy characterization of built-up land layers across the rural-urban continuum, using the Global Human Settlement Layer and a reference database of built-up land derived from cadastral and building footprint data.


title: Current-induced sliding motion in a helimagnet MnAu$_2$

abstract: We have found a signature of current-induced sliding motion in a helimagnet MnAu$_2$ thin film. In the helimagnetic state with a uniform chirality, differential resistivity shows an abrupt change at a threshold bias current. Judging from the similarity to the canonical charge/spin density wave systems, we have ascribed the abrupt change to the sliding motion of the helimagnetic structure. When the two chiral domains are equally mixed, the anomaly in the differential resistivity disappears, indicating the strong pinning effect of chiral domain wall.


title: Quantitative homogenization for log-normal coefficients

abstract: We establish quantitative homogenization results for the popular log-normal coefficients. Since the coefficients are neither bounded nor uniformly elliptic, standard proofs do not apply directly. Instead, we take inspiration from the approach developed for the nonlinear setting by the first two authors and capitalize on large-scale regularity results by Bella, Fehrmann, and Otto for degenerate coefficients in order to leverage an optimal control (in terms of scaling and stochastic integrability) of oscillations and fluctuations.


title: Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

abstract: Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, capturing such systems, writing corresponding properties, and verifying them require domain knowledge. This makes it not accessible for researchers and engineers who may not have the required knowledge. Previous studies have extended UML activity diagrams (ADs), developed transformations, and implemented accompanying tools for automation. The research, however, is incomprehensive and not fully open, which makes it hard to be evaluated, extended, adapted, and accessed. In this paper, we propose a comprehensive verification framework for ADs, including a new profile for probability, time, and quality annotations, a semantics interpretation of ADs in three Markov models, and a set of transformation rules from activity diagrams to the PRISM language, supported by PRISM and Storm. Most importantly, we developed algorithms for transformation and implemented them in a tool, called QASCAD, using model-based techniques, for fully automated verification. We evaluated one case study where multiple robots are used for delivery in a hospital and further evaluated six other examples from the literature. With all these together, this work makes noteworthy contributions to the verification of ADs by improving evaluation, extensibility, adaptability, and accessibility.


title: AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph

abstract: Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built to automated testing and debugging of their implementations after they are built. Unfortunately, the model itself needs to be correct to gain these benefits. Alloy is a commonly used modeling language that has several existing efforts to repair faulty models automatically. Currently, these efforts are search-based methods that use an Abstract Syntax Tree (AST) representation of the model and do not scale. One issue is that ASTs themselves suffer from exponential growth in their data size due to the limitation that ASTs will often have identical nodes separately listed in the tree. To address this issue, we introduce a novel code representation schema, Complex Structurally Balanced Abstract Semantic Graph (CSBASG), which represents code as a complex-weighted directed graph that lists a semantic element as a node in the graph and ensures its structural balance for almost finitely enumerable code segments. We evaluate the efficiency of our CSBASG representation for Alloy models in terms of it's compactness compared to ASTs, and we explore if a CSBASG can ease the process of comparing two Alloy predicates. Moreover, with this representation in place, we identify several future applications of CSBASG, including Alloy code generation and automated repair.


title: Quench Performance of the First Pre-series AUP Cryo-assembly

abstract: The High Luminosity upgrade of the Large Hadron Collider (HL-LHC) at CERN will include eight cryo-assemblies that are expected to be fabricated and delivered to CERN by the US HL-LHC Accelerator Upgrade Project (AUP) as part of the U.S. contributions to the HL-LHC. These cryostat assemblies are the quadrupole magnetic components of the HL-LHC Q1 and Q3 inner triplet optical elements in front of the two interaction points. Each cryo-assembly consists of two 4.2 m long Nb3Sn quadrupole magnets with aperture 150 mm and operating gradient 132.6 T/m. The first pre-series cryo-assembly has been fabricated and successfully tested at the horizontal test facility at Fermi National Accelerator Laboratory. In this manuscript we report the quench test results of the LQXFA/B-01 cryo-assembly. The primary objective of the horizontal test is full cryo-assembly qualification and validation of the performance requirements.


title: Go Beyond Black-box Policies: Rethinking the Design of Learning Agent for Interpretable and Verifiable HVAC Control

abstract: Recent research has shown the potential of Model-based Reinforcement Learning (MBRL) to enhance energy efficiency of Heating, Ventilation, and Air Conditioning (HVAC) systems. However, existing methods rely on black-box thermal dynamics models and stochastic optimizers, lacking reliability guarantees and posing risks to occupant health. In this work, we overcome the reliability bottleneck by redesigning HVAC controllers using decision trees extracted from existing thermal dynamics models and historical data. Our decision tree-based policies are deterministic, verifiable, interpretable, and more energy-efficient than current MBRL methods. First, we introduce a novel verification criterion for RL agents in HVAC control based on domain knowledge. Second, we develop a policy extraction procedure that produces a verifiable decision tree policy. We found that the high dimensionality of the thermal dynamics model input hinders the efficiency of policy extraction. To tackle the dimensionality challenge, we leverage importance sampling conditioned on historical data distributions, significantly improving policy extraction efficiency. Lastly, we present an offline verification algorithm that guarantees the reliability of a control policy. Extensive experiments show that our method saves 68.4% more energy and increases human comfort gain by 14.8% compared to the state-of-the-art method, in addition to an 1127x reduction in computation overhead. Our code and data are available at https://github.com/ryeii/Veri_HVAC


title: Kernel Smoothing Operators on Thick Open Domains

abstract: We define the notion of a thick open set $\Omega$ in a Euclidean space and show that a local Hardy-Littlewood inequality holds in $L^p(\Omega)$, $p \in (1, \infty]$. We then establish pointwise and $L^p(\Omega)$ convergence for families of convolution operators with a Markov normalization on $\Omega$. We demonstrate application of such smoothing operators to piecewise-continuous density, velocity, and stress fields from discrete element models of sea ice dynamics.