title: Tempestas ex machina: A review of machine learning methods for wavefront control

abstract: As we look to the next generation of adaptive optics systems, now is the time to develop and explore the technologies that will allow us to image rocky Earth-like planets; wavefront control algorithms are not only a crucial component of these systems, but can benefit our adaptive optics systems without requiring increased detector speed and sensitivity or more effective and efficient deformable mirrors. To date, most observatories run the workhorse of their wavefront control as a classic integral controller, which estimates a correction from wavefront sensor residuals, and attempts to apply that correction as fast as possible in closed-loop. An integrator of this nature fails to address temporal lag errors that evolve over scales faster than the correction time, as well as vibrations or dynamic errors within the system that are not encapsulated in the wavefront sensor residuals; these errors impact high contrast imaging systems with complex coronagraphs. With the rise in popularity of machine learning, many are investigating applying modern machine learning methods to wavefront control. Furthermore, many linear implementations of machine learning methods (under varying aliases) have been in development for wavefront control for the last 30-odd years. With this work we define machine learning in its simplest terms, explore the most common machine learning methods applied in the context of this problem, and present a review of the literature concerning novel machine learning approaches to wavefront control.

categories: astro-ph.EP astro-ph.IM cs.LG physics.optics


title: Control with EIT: High energy charged particle detection

abstract: The strong non-linear optical response of atomic systems in electromagnetically induced transparency (EIT) states is considered as a means to detect the presence of small perturbations to steady states. For the 3-level system, expressions for the group velocity and group velocity dispersion (GVD) were derived and a quantum control protocol was established to account for the change in the chirp spectrum of a probe pulse when the steady state was perturbed. This was applied to the propagation of slow Cherenkov polaritons in the medium due to the passage of a train of high-energy charged particles (high energy particles). The choice of the initial steady state with focus on the slow light condition and strong narrowly confined dispersion, equated to the continuous trapping of Cherenkov polaritons in the medium along a narrow group cone, allowing for non-trivial fields to accumulate. Considering another medium prepared for the detection of the radiation, sweeping of the control field and detuning parameters in the field-atom parameter space showed the presence of optimal regions to maximize the first order perturbation in the coherences creating changes in the optical responses that modify the chirp spectra of probe pulses.


title: Consistent spectral approximation of Koopman operators using resolvent compactification

abstract: Koopman operators and transfer operators represent dynamical systems through their induced linear action on vector spaces of observables, enabling the use of operator-theoretic techniques to analyze nonlinear dynamics in state space. The extraction of approximate Koopman or transfer operator eigenfunctions (and the associated eigenvalues) from an unknown system is nontrivial, particularly if the system has mixed or continuous spectrum. In this paper, we describe a spectrally accurate approach to approximate the Koopman operator on $L^2$ for measure-preserving, continuous-time systems via a ``compactification'' of the resolvent of the generator. This approach employs kernel integral operators to approximate the skew-adjoint Koopman generator by a family of skew-adjoint operators with compact resolvent, whose spectral measures converge in a suitable asymptotic limit, and whose eigenfunctions are approximately periodic. Moreover, we develop a data-driven formulation of our approach, utilizing data sampled on dynamical trajectories and associated dictionaries of kernel eigenfunctions for operator approximation. The data-driven scheme is shown to converge in the limit of large training data under natural assumptions on the dynamical system and observation modality. We explore applications of this technique to dynamical systems on tori with pure point spectra and the Lorenz 63 system as an example with mixing dynamics.


title: TExplain: Explaining Learned Visual Features via Pre-trained (Frozen) Language Models

abstract: Interpreting the learned features of vision models has posed a longstanding challenge in the field of machine learning. To address this issue, we propose a novel method that leverages the capabilities of language models to interpret the learned features of pre-trained image classifiers. Our method, called TExplain, tackles this task by training a neural network to establish a connection between the feature space of image classifiers and language models. Then, during inference, our approach generates a vast number of sentences to explain the features learned by the classifier for a given image. These sentences are then used to extract the most frequent words, providing a comprehensive understanding of the learned features and patterns within the classifier. Our method, for the first time, utilizes these frequent words corresponding to a visual representation to provide insights into the decision-making process of the independently trained classifier, enabling the detection of spurious correlations, biases, and a deeper comprehension of its behavior. To validate the effectiveness of our approach, we conduct experiments on diverse datasets, including ImageNet-9L and Waterbirds. The results demonstrate the potential of our method to enhance the interpretability and robustness of image classifiers.


title: On the Onset of Coherent Phonon Motion in Peierls-Distorted Antimony by Attosecond Transient Absorption

abstract: Attosecond extreme-ultraviolet (XUV) transient absorption spectroscopy measurements on the Peierls-distorted phase of the semimetal antimony (Sb) are presented. After excitation by an ultrashort, broad band near-infrared (NIR) pulse, the distortion is (partly) lifted causing the well-known coherent phonon motion of the lattice. While the overall observed dynamics generally follow a displacive excitation model, a delayed onset of the pump-induced carrier dynamics due to hot-carrier thermalization is observed, as well as a large spectral phase dependence in the coherent phonon oscillation. The observed spectral phase dependence in the coherent motion is attributed to significantly different carrier relaxation timescales for carrier energies above and near the Fermi level of the semimetal. A simple theoretical model is presented that considers the carrier relaxation timescales in the displacive phonon model to explain the observed dynamics. The results conclusively show that the overall displacive motion is not solely due to an abrupt displacement of carriers from their equilibrium configuration by the pump pulse and that carrier-relaxation effects need to be considered in the description of the phonon motion. The results furthermore show an effect of NIR field-driven shifts of band-energies, which is observed as a transient reshaping of the core-level absorption features.

categories: physics.optics cond-mat.mtrl-sci physics.atom-ph physics.chem-ph


title: SoK: Safer Digital-Safety Research Involving At-Risk Users

abstract: Research involving at-risk users -- that is, users who are more likely to experience a digital attack or to be disproportionately affected when harm from such an attack occurs -- can pose significant safety challenges to both users and researchers. Nevertheless, pursuing research in computer security and privacy is crucial to understanding how to meet the digital-safety needs of at-risk users and to design safer technology for all. To standardize and bolster safer research involving such users, we offer an analysis of 196 academic works to elicit 14 research risks and 36 safety practices used by a growing community of researchers. We pair this inconsistent set of reported safety practices with oral histories from 12 domain experts to contribute scaffolded and consolidated pragmatic guidance that researchers can use to plan, execute, and share safer digital-safety research involving at-risk users. We conclude by suggesting areas for future research regarding the reporting, study, and funding of at-risk user research


title: Prediction Error Estimation in Random Forests

abstract: In this paper, error estimates of classification Random Forests are quantitatively assessed. Based on the initial theoretical framework built by Bates et al. (2023), the true error rate and expected error rate are theoretically and empirically investigated in the context of a variety of error estimation methods common to Random Forests. We show that in the classification case, Random Forests' estimates of prediction error is closer on average to the true error rate instead of the average prediction error. This is opposite the findings of Bates et al. (2023) which are given for logistic regression. We further show that our result holds across different error estimation strategies such as cross-validation, bagging, and data splitting.


title: Hybrid algorithm for the time-dependent Hartree-Fock method using the Yang-Baxter equation on quantum computers

abstract: The time-dependent Hartree-Fock (TDHF) method is an approach to simulate the mean field dynamics of electrons within the assumption that the electrons move independently in their self-consistent average field and within the space of single Slater determinants. One of the major advantages of performing time dynamics within Hartree-Fock theory is the free fermionic nature of the problem, which makes TDHF classically simulatable in polynomial time. Here, we present a hybrid TDHF implementation for quantum computers. This quantum circuit grows with time; but with our recent work on circuit compression via the Yang-Baxter equation (YBE), the resulting circuit is constant depth. This study provides a new way to simulate TDHF with the aid of a quantum device as well as provides a new direction for the application of YBE symmetry in quantum chemistry simulations.

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


title: Rethinking the Power of Graph Canonization in Graph Representation Learning with Stability

abstract: The expressivity of Graph Neural Networks (GNNs) has been studied broadly in recent years to reveal the design principles for more powerful GNNs. Graph canonization is known as a typical approach to distinguish non-isomorphic graphs, yet rarely adopted when developing expressive GNNs. This paper proposes to maximize the expressivity of GNNs by graph canonization, then the power of such GNNs is studies from the perspective of model stability. A stable GNN will map similar graphs to close graph representations in the vectorial space, and the stability of GNNs is critical to generalize their performance to unseen graphs. We theoretically reveal the trade-off of expressivity and stability in graph-canonization-enhanced GNNs. Then we introduce a notion of universal graph canonization as the general solution to address the trade-off and characterize a widely applicable sufficient condition to solve the universal graph canonization. A comprehensive set of experiments demonstrates the effectiveness of the proposed method. In many popular graph benchmark datasets, graph canonization successfully enhances GNNs and provides highly competitive performance, indicating the capability and great potential of proposed method in general graph representation learning. In graph datasets where the sufficient condition holds, GNNs enhanced by universal graph canonization consistently outperform GNN baselines and successfully improve the SOTA performance up to $31\%$, providing the optimal solution to numerous challenging real-world graph analytical tasks like gene network representation learning in bioinformatics.


title: Concerning the Verity of the MMRD Relation for Novae

abstract: It has long been claimed that novae reaching the highest luminosity at the peak of their eruptions appear to fade the fastest from maximum light. The relationship between peak brightness and fade rate is known as the Maximum-Magnitude, Rate-of-Decline (MMRD) relation. Lightcurve parameters for the most recent sample of M31 recurrent novae are presented and used to buttress the case that the observed MMRD relation can be explained as a consequence of observational selection effects coupled with expectations from standard nova models.


title: Qutrit Circuits and Algebraic Relations: A Pathway to Efficient Spin-1 Hamiltonian Simulation

abstract: Quantum information processing has witnessed significant advancements through the application of qubit-based techniques within universal gate sets. Recently, exploration beyond the qubit paradigm to $d$-dimensional quantum units or qudits has opened new avenues for improving computational efficiency. This paper delves into the qudit-based approach, particularly addressing the challenges presented in the high-fidelity implementation of qudit-based circuits due to increased complexity. As an innovative approach towards enhancing qudit circuit fidelity, we explore algebraic relations, such as the Yang-Baxter-like turnover equation, that may enable circuit compression and optimization. The paper introduces the turnover relation for the three-qutrit time propagator and its potential use in reducing circuit depth. We further investigate whether this relation can be generalized for higher-dimensional quantum circuits, including a focused study on the one-dimensional spin-1 Heisenberg model. Our work outlines both rigorous and numerically efficient approaches to potentially achieve this generalization, providing a foundation for further explorations in the field of qudit-based quantum computing.


title: A Two-Component Lateral Distribution Function for the Reconstruction of Air-Shower Events in IceTop

abstract: The surface component of the IceCube Neutrino Observatory, IceTop, consists of an array of ice-Cherenkov tanks measuring the electromagnetic signal as well as low-energy ($\sim\rm{GeV}$) muons from cosmic-ray air showers. In addition, accompanying high-energy (above a few $100\,\rm{GeV}$) muons can be observed in coincidence in the deep in-ice detector. A combined measurement of the low- and high-energy muon content is of particular interest for tests of hadronic interaction models as well as for cosmic-ray mass discrimination. However, since IceTop does not feature dedicated muon detectors, an estimation of the low-energy muon component of individual air showers is challenging. In this work, a two-component lateral distribution function (LDF), using separate descriptions for the electromagnetic and muon lateral distributions of the detector signals, is introduced as a new approach for the estimation of low-energy muons in air showers on an event-by-event basis. The principle of the air-shower reconstruction using the two-component LDF, as well as its reconstruction performance with respect to primary energy and number of low-energy muons will be discussed.


title: Learning Robust Model Predictive Control for Voltage Control of Islanded Microgrid

abstract: This paper proposes a novel control design for voltage tracking of an islanded AC microgrid in the presence of {nonlinear} loads and parametric uncertainties at the primary level of control. The proposed method is based on the Tube-Based Robust Model Predictive Control (RMPC), an online optimization-based method which can handle the constraints and uncertainties as well. The challenge with this method is the conservativeness imposed by designing the tube based on the worst-case scenario of the uncertainties. This weakness is amended in this paper by employing a combination of a learning-based Gaussian Process (GP) regression and RMPC. The advantage of using GP is that both the mean and variance of the loads are predicted at each iteration based on the real data, and the resulted values of mean and the bound of confidence are utilized to design the tube in RMPC. The theoretical results are also provided to prove the recursive feasibility and stability of the proposed learning based RMPC. Finally, the simulation results are carried out on both single and multiple DG (Distributed Generation) units.


title: Language-Conditioned Change-point Detection to Identify Sub-Tasks in Robotics Domains

abstract: In this work, we present an approach to identify sub-tasks within a demonstrated robot trajectory using language instructions. We identify these sub-tasks using language provided during demonstrations as guidance to identify sub-segments of a longer robot trajectory. Given a sequence of natural language instructions and a long trajectory consisting of image frames and discrete actions, we want to map an instruction to a smaller fragment of the trajectory. Unlike previous instruction following works which directly learn the mapping from language to a policy, we propose a language-conditioned change-point detection method to identify sub-tasks in a problem. Our approach learns the relationship between constituent segments of a long language command and corresponding constituent segments of a trajectory. These constituent trajectory segments can be used to learn subtasks or sub-goals for planning or options as demonstrated by previous related work. Our insight in this work is that the language-conditioned robot change-point detection problem is similar to the existing video moment retrieval works used to identify sub-segments within online videos. Through extensive experimentation, we demonstrate a $1.78_{\pm 0.82}\%$ improvement over a baseline approach in accurately identifying sub-tasks within a trajectory using our proposed method. Moreover, we present a comprehensive study investigating sample complexity requirements on learning this mapping, between language and trajectory sub-segments, to understand if the video retrieval-based methods are realistic in real robot scenarios.


title: "Make Them Change it Every Week!": A Qualitative Exploration of Online Developer Advice on Usable and Secure Authentication

abstract: Usable and secure authentication on the web and beyond is mission-critical. While password-based authentication is still widespread, users have trouble dealing with potentially hundreds of online accounts and their passwords. Alternatives or extensions such as multi-factor authentication have their own challenges and find only limited adoption. Finding the right balance between security and usability is challenging for developers. Previous work found that developers use online resources to inform security decisions when writing code. Similar to other areas, lots of authentication advice for developers is available online, including blog posts, discussions on Stack Overflow, research papers, or guidelines by institutions like OWASP or NIST. We are the first to explore developer advice on authentication that affects usable security for end-users. Based on a survey with 18 professional web developers, we obtained 406 documents and qualitatively analyzed 272 contained pieces of advice in depth. We aim to understand the accessibility and quality of online advice and provide insights into how online advice might contribute to (in)secure and (un)usable authentication. We find that advice is scattered and that finding recommendable, consistent advice is a challenge for developers, among others. The most common advice is for password-based authentication, but little for more modern alternatives. Unfortunately, many pieces of advice are debatable (e.g., complex password policies), outdated (e.g., enforcing regular password changes), or contradicting and might lead to unusable or insecure authentication. Based on our findings, we make recommendations for developers, advice providers, official institutions, and academia on how to improve online advice for developers.


title: Wall-attached convection under strong inclined magnetic fields

abstract: We employ a linear stability analysis and direct numerical simulations to study the characteristics of wall-modes in thermal convection in a rectangular box under strong and inclined magnetic fields. The walls of the convection cell are electrically insulated. The stability analysis assumes periodicity in the spanwise direction perpendicular to the plane of the homogeneous magnetic field. Our study shows that for a fixed vertical magnetic field, the imposition of horizontal magnetic fields results in an increase of the critical Rayleigh number along with a decrease in the wavelength of the wall modes. The wall modes become tilted along the direction of the resulting magnetic fields and therefore extend further into the bulk as the horizontal magnetic field is increased. Once the modes localized on the opposite walls interact, the critical Rayleigh number decreases again and eventually drops below the value for onset with a purely vertical field. We find that for sufficiently strong horizontal magnetic fields, the steady wall modes occupy the entire bulk and therefore convection is no longer restricted to the sidewalls. The above results are confirmed by direct numerical simulations of the nonlinear evolution of magnetoconvection.


title: $K$-theory of co-existentially closed continua

abstract: We describe the possible values of $K$-theory for $C(X)$ when $X$ is a co-existentially closed continuum. As a consequence we also show that all pseudo-solenoids, except perhaps the universal one, are not co-existentially closed.


title: Microscopic scale of pair-breaking quantum phase transitions in superconducting films, nanowires and La$_{1.92}$Sr$_{0.08}$CuO$_{4}$

abstract: The superconducting ground state in a large number of two-dimensional (2d) systems can be created and destroyed through quantum phase transitions (QPTs) driven by non-thermal parameters such as the carrier density or magnetic field. The microscopic mechanism of QPTs has not been established in any 2d superconductor, in part due to an emergent scale-invariance near the critical point, which conceals the specific processes driving the transitions. In this work, we find that the pair-breaking mechanism causing the suppression of the Cooper pair density gives a unifyingly consistent description of magnetic-field-driven QPTs in amorphous MoGe, Pb and TaN films, as well as in quasi-2d high-temperature superconductor La$_{1.92}$Sr$_{0.08}$CuO$_{4}$. This discovery was facilitated by the development of a novel theoretical approach, one which goes beyond the standard determination of critical exponents and allows for the extraction of a microscopic seeding length scale of the transitions. Remarkably, for the materials studied, and also for MoGe nanowires, this scale matches the superconducting coherence length. Further, this approach has been successfully applied to many other complex, non-superconducting systems.


title: PathLDM: Text conditioned Latent Diffusion Model for Histopathology

abstract: To achieve high-quality results, diffusion models must be trained on large datasets. This can be notably prohibitive for models in specialized domains, such as computational pathology. Conditioning on labeled data is known to help in data-efficient model training. Therefore, histopathology reports, which are rich in valuable clinical information, are an ideal choice as guidance for a histopathology generative model. In this paper, we introduce PathLDM, the first text-conditioned Latent Diffusion Model tailored for generating high-quality histopathology images. Leveraging the rich contextual information provided by pathology text reports, our approach fuses image and textual data to enhance the generation process. By utilizing GPT's capabilities to distill and summarize complex text reports, we establish an effective conditioning mechanism. Through strategic conditioning and necessary architectural enhancements, we achieved a SoTA FID score of 7.64 for text-to-image generation on the TCGA-BRCA dataset, significantly outperforming the closest text-conditioned competitor with FID 30.1.


title: Microscopic scale of quantum phase transitions: from doped semiconductors to spin chains, cold gases and moir\'e superlattices

abstract: In the vicinity of continuous quantum phase transitions (QPTs), quantum systems become scale-invariant and can be grouped into universality classes characterized by sets of critical exponents. We have found that despite scale-invariance and universality, the experimental data still contain information related to the microscopic processes and scales governing QPTs. We conjecture that near QPTs, various physical quantities follow the generic exponential dependence predicted by the scaling theory of localization; this dependence includes as a parameter a microscopic seeding scale of the renormalization group, $L_0$. We also conjecture that for interacting systems, the temperature cuts the renormalization group flow at the length travelled by a system-specific elementary excitation over the life-time set by the Planckian time, $\tau_P$=$\hbar/k_BT$. We have adapted this approach for QPTs in several systems and showed that $L_0$ extracted from experiment is comparable to physically-expected minimal length scales, namely (i) the mean free path for metal-insulator transition in doped semiconductors, (ii) the distance between spins in Heisenberg and Ising chains, (iii) the period of an optical lattice for cold atom boson gases, and (iv) the period of a moir\'e superlattice for the Mott QPT in dichalcogenide bilayers. In the first companion paper, we show that in superconducting films and nanowires, as well as in the high temperature superconductor La$_{1.92}$Sr$_{0.08}$CuO$_4$, $L_0$ is comparable to superconducting coherence length. In the second companion paper, we show that in quantum Hall systems, $L_0$ is comparable to the magnetic length. The developed theoretical approach quantitatively explains and unifies a large body of experimental data and can be expanded to other complex systems

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.quant-gas quant-ph


title: Quantum phase transitions in quantum Hall and other topological systems: role of the Planckian time

abstract: Transformations between the plateau states of the quantum Hall effect (QHE) are an archetypical example of quantum phase transitions (QPTs) between phases with non-trivial topological order. These transitions appear to be well-described by the single-particle network theories. The long-standing problem with this approach is that it does not account for Coulomb interactions. In this paper, we show that experimental data in the quantum critical regime for both integer and fractional QHEs can be quantitatively explained by the recently developed phenomenological model of QPTs in interacting systems. This model assumes that all effects of interactions are contained in the life-time of fluctuations as set by the Planckian time $\tau_P=\hbar/k_BT$. The dephasing length is taken as the distance traveled by a non-interacting particle along the bulk edge state over this time. We show that the model also provides quantitative description of QPTs between the ground states of anomalous QHE and axion and Chern insulators. These analyzed systems are connected in that the QPTs occur via quantum percolation. Combining the presented results with the results of two companion papers, we conclude that the Planckian time is the encompassing characteristic of QPTs in interacting systems, independent of dimensionality and microscopic physics.


title: Let the Models Respond: Interpreting Language Model Detoxification Through the Lens of Prompt Dependence

abstract: Due to language models' propensity to generate toxic or hateful responses, several techniques were developed to align model generations with users' preferences. Despite the effectiveness of such methods in improving the safety of model interactions, their impact on models' internal processes is still poorly understood. In this work, we apply popular detoxification approaches to several language models and quantify their impact on the resulting models' prompt dependence using feature attribution methods. We evaluate the effectiveness of counter-narrative fine-tuning and compare it with reinforcement learning-driven detoxification, observing differences in prompt reliance between the two methods despite their similar detoxification performances.


title: Affine-Transformation-Invariant Image Classification by Differentiable Arithmetic Distribution Module

abstract: Although Convolutional Neural Networks (CNNs) have achieved promising results in image classification, they still are vulnerable to affine transformations including rotation, translation, flip and shuffle. The drawback motivates us to design a module which can alleviate the impact from different affine transformations. Thus, in this work, we introduce a more robust substitute by incorporating distribution learning techniques, focusing particularly on learning the spatial distribution information of pixels in images. To rectify the issue of non-differentiability of prior distribution learning methods that rely on traditional histograms, we adopt the Kernel Density Estimation (KDE) to formulate differentiable histograms. On this foundation, we present a novel Differentiable Arithmetic Distribution Module (DADM), which is designed to extract the intrinsic probability distributions from images. The proposed approach is able to enhance the model's robustness to affine transformations without sacrificing its feature extraction capabilities, thus bridging the gap between traditional CNNs and distribution-based learning. We validate the effectiveness of the proposed approach through ablation study and comparative experiments with LeNet.


title: Jamming Suppression Via Resource Hopping in High-Mobility OTFS-SCMA Systems

abstract: This letter studies the mechanism of uplink multiple access and jamming suppression in an OTFS system. Specifically, we propose a novel resource hopping mechanism for orthogonal time frequency space (OTFS) systems with delay or Doppler partitioned sparse code multiple access (SCMA) to mitigate the effect of jamming in controlled multiuser uplink. We analyze the non-uniform impact of classic jamming signals such as narrowband interference (NBI) and periodic impulse noise (PIN) in delay-Doppler (DD) domain on OTFS systems. Leveraging turbo equalization, our proposed hopping method demonstrates consistent BER performance improvement under jamming over conventional OTFS-SCMA systems compared to static resource allocation schemes.


title: Efficient RLHF: Reducing the Memory Usage of PPO

abstract: Reinforcement Learning with Human Feedback (RLHF) has revolutionized language modeling by aligning models with human preferences. However, the RL stage, Proximal Policy Optimization (PPO), requires over 3x the memory of Supervised Fine-Tuning (SFT), making it infeasible to use for most practitioners. To address this issue, we present a comprehensive analysis the memory usage, performance, and training time of memory-savings techniques for PPO. We introduce Hydra-RLHF by first integrating the SFT and Reward models and then dynamically turning LoRA "off" during training. Our experiments show: 1. Using LoRA during PPO reduces its memory usage to be smaller than SFT while improving alignment across four public benchmarks, and 2. Hydra-PPO reduces the latency per sample of LoRA-PPO by up to 65% while maintaining its performance. Our results demonstrate that Hydra-PPO is a simple and promising solution for enabling more widespread usage of RLHF.


title: High-resolution, large field-of-view label-free imaging via aberration-corrected, closed-form complex field reconstruction

abstract: Computational imaging methods empower modern microscopy with the ability of producing high-resolution, large field-of-view, aberration-free images. One of the dominant computational label-free imaging methods, Fourier ptychographic microscopy (FPM), effectively increases the spatial-bandwidth product of conventional microscopy by using multiple tilted illuminations to achieve high-throughput imaging. However, its iterative reconstruction method is prone to parameter selection, can be computationally expensive and tends to fail under excessive aberrations. Recently, spatial Kramers-Kronig methods show it is possible to analytically reconstruct complex field but lacks the ability of correcting aberrations or providing extended resolution enhancement. Here, we present a closed-form method, termed APIC, which weds the strengths of both methods. A new analytical phase retrieval framework is established in APIC, which demonstrates, for the first time, the feasibility of analytically reconstructing the complex field associated with darkfield measurements. In addition, APIC can analytically retrieve complex aberrations of an imaging system with no additional hardware. By avoiding iterative algorithms, APIC requires no human designed convergence metric and always obtains a closed-form complex field solution. The faithfulness and correctness of APIC's reconstruction are guaranteed due to its analytical nature. We experimentally demonstrate that APIC gives correct reconstruction result while FPM fails to do so when constrained to the same number of measurements. Meanwhile, APIC achieves 2.8 times faster computation using image tile size of 256 (length-wise). We also demonstrate APIC is unprecedentedly robust against aberrations compared to FPM - APIC is capable of addressing aberration whose maximal phase difference exceeds 3.8${\pi}$ when using a NA 0.25 objective in experiment.


title: Learning Risk Preferences in Markov Decision Processes: an Application to the Fourth Down Decision in Football

abstract: For decades, National Football League (NFL) coaches' observed fourth down decisions have been largely inconsistent with prescriptions based on statistical models. In this paper, we develop a framework to explain this discrepancy using a novel inverse optimization approach. We model the fourth down decision and the subsequent sequence of plays in a game as a Markov decision process (MDP), the dynamics of which we estimate from NFL play-by-play data from the 2014 through 2022 seasons. We assume that coaches' observed decisions are optimal but that the risk preferences governing their decisions are unknown. This yields a novel inverse decision problem for which the optimality criterion, or risk measure, of the MDP is the estimand. Using the quantile function to parameterize risk, we estimate which quantile-optimal policy yields the coaches' observed decisions as minimally suboptimal. In general, we find that coaches' fourth-down behavior is consistent with optimizing low quantiles of the next-state value distribution, which corresponds to conservative risk preferences. We also find that coaches exhibit higher risk tolerances when making decisions in the opponent's half of the field than in their own, and that league average fourth down risk tolerances have increased over the seasons in our data.


title: A Note on Hamiltonian-Intersecting Families of Graphs

abstract: How many graphs on an $n$-point set can we find such that any two have connected intersection? Berger, Berkowitz, Devlin, Doppelt, Durham, Murthy and Vemuri showed that the maximum is exactly $1/2^{n-1}$ of all graphs. Our aim in this short note is to give a 'directed' version of this result; we show that a family of oriented graphs such that any two have strongly-connected intersection has size at most $1/3^n$ of all oriented graphs. We also show that a family of graphs such that any two have Hamiltonian intersection has size at most $1/2^n$ of all graphs, verifying a conjecture of the above authors.


title: Symmetries and intrinsic vs. extrinsic properties of $\overline{\mathcal{M}}_{0, n}$

abstract: We consider the following question: How much of the combinatorial structure determining properties of $\overline{\mathcal{M}_{0, n}}$ is ``intrinsic'' and how much new information do we obtain from using properties specific to this space? Our approach is to study the effect of the $S_n$-action. Apart from being a natural action to consider, it is known that this action does not extend to other wonderful compactifications associated to the $A_{n - 2}$ hyperplane arrangement. We find the differences in intersection patterns of faces on associahedra and permutohedra which characterize the failure to extend to other compactifications and show that this is reflected by most terms of degree $\ge 2$ of the cohomology/Chow ring. Even from a combinatorial perspective, terms of degree 1 are more naturally related to geometric properties. In particular, imposing $S_n$-invariance implies that many of the log concave sequences obtained from degree 1 Hodge--Riemann relations (and all of them for $n \le 2000$) on the Chow ring of $\overline{\mathcal{M}_{0, n}}$ can be restricted to those with a special recursive structure. A conjectural result implies that this is true for all $n$. Elements of these sequences can be expressed as polynomials in quantum Littlewood--Richardson coefficients multiplied by terms such as partition components, factorials, and multinomial coefficients. After dividing by binomial coefficients, polynomials with these numbers as coefficients can be interepreted in terms of volumes or resultants. Finally, we find a connection between the geometry of $\overline{\mathcal{M}_{0, n}}$ and higher degree Hodge--Riemann relations of other rings via Toeplitz matrices.


title: Nuclear Spectra from Quantum Lanczos Algorithm with Real-Time Evolution and Multiple Reference States

abstract: Models of quantum systems scale exponentially with the addition of single-particle states, which can present computationally intractable problems. Alternatively, quantum computers can store a many-body basis of $2^n$ dimensions on $n$ qubits. This motivated the quantum eigensolver algorithms developed in recent years, such as the quantum Lanczos algorithm based on the classical, iterative Lanczos algorithm. I performed numerical simulations to find the low-lying eigenstates of $^{20}$Ne, $^{22}$Na, and $^{29}$Na to compare imaginary- and real-time evolution. Though imaginary-time evolution leads to faster convergence, real-time evolution still converges within tens of iterations and satisfies the requirement for unitary operators on quantum computers. Additionally, using multiple reference states leads to faster convergences or higher accuracy for a fixed number of real-time iterations. I performed quantum circuit prototype numerical simulations on a classical computer of the QLanczos algorithm with real-time evolution and multiple reference states to find the low-lying eigenstates of $^{8}$Be. These simulations were run in both the spherical basis and Hartree-Fock basis, demonstrating that an M-scheme spherical basis leads to lower depth circuits than the Hartree-Fock basis. Finally, I present the quantum circuits for the QLanczos algorithm with real-time evolution and multiple references.


title: Spatial Regression With Multiplicative Errors, and Its Application With Lidar Measurements

abstract: Multiplicative errors in addition to spatially referenced observations often arise in geodetic applications, particularly in surface estimation with light detection and ranging (LiDAR) measurements. However, spatial regression involving multiplicative errors remains relatively unexplored in such applications. In this regard, we present a penalized modified least squares estimator to handle the complexities of a multiplicative error structure while identifying significant variables in spatially dependent observations for surface estimation. The proposed estimator can be also applied to classical additive error spatial regression. By establishing asymptotic properties of the proposed estimator under increasing domain asymptotics with stochastic sampling design, we provide a rigorous foundation for its effectiveness. A comprehensive simulation study confirms the superior performance of our proposed estimator in accurately estimating and selecting parameters, outperforming existing approaches. To demonstrate its real-world applicability, we employ our proposed method, along with other alternative techniques, to estimate a rotational landslide surface using LiDAR measurements. The results highlight the efficacy and potential of our approach in tackling complex spatial regression problems involving multiplicative errors.


title: Heisenberg varieties and the existence of de Rham lifts

abstract: Let $F$ be a $p$-adic field. For certain non-abelian nilpotent algebraic groups $U$ over $\bar{\mathbb{Z}}_p$ equipped with $\operatorname{Gal}_F$-action, we study the associated {\it Heisenberg varieties} which model the non-abelian cohomology set ``$H^1(\operatorname{Gal}_F, U)$''. The construction of Heisenberg varieties involves the Herr complexes including their cup product structure. Write $U_n$ for a quasi-split unitary group and assume $p\ne 2$. We classify mod $p$ Langlands parameters for $U_n$ (quasi-split), $\operatorname{SO}_{2n+1}$, $\operatorname{SO}_{2n}$, $\operatorname{Sp}_{2n}$, $\operatorname{GSpin}_{2m}$ and $\operatorname{GSpin}_{2m+1}$ (split) over $F$, and show they are successive Heisenberg-type extensions of elliptic Langlands parameters. We employ the Heisenberg variety to study the obstructions for lifting a non-abelian cocycle along the map $H^1(\operatorname{Gal}_F, U(\bar{\mathbb{Z}}_p))\to H^1(\operatorname{Gal}_F, U(\bar{\mathbb{F}}_p))$. We present a precise theorem that reduces the task of finding de Rham lifts of mod $p$ Langlands parameters for unitary, symplectic, orthogonal, and spin similitude groups to the dimension analysis of specific closed substacks of the reduced Emerton-Gee stacks for the corresponding group. Finally, we carry out the dimension analysis for the unitary Emerton-Gee stacks using the geometry of Grassmannian varieties. The paper culminates in the proof of the existence of potentially crystalline lifts of regular Hodge type for all mod $p$ Langlands parameters for $p$-adic (possibly ramified) unitary groups $U_n$. It is the first general existence of de Rham lifts result for non-split (ramified) groups, and provides evidence for the topological Breuil-M\'ezard conjecture for more general groups.


title: Analytic three-loop QCD corrections to top-quark and semileptonic $b\to u$ decays

abstract: We present the first analytic results of N$^3$LO QCD corrections to the top-quark decay width. We focus on the dominant leading color contribution, which includes light-quark loops. At NNLO, this dominant contribution accounts for 95% of the total correction. By utilizing the optical theorem, the N$^3$LO corrections are related to the imaginary parts of the four-loop self-energy Feynman diagrams, which are calculated with differential equations. The results are expressed in terms of harmonic polylogarithms, enabling fast and accurate evaluation. The third-order QCD corrections decrease the LO decay width by 0.667%, and the scale uncertainty is reduced by half compared to the NNLO result. The most precise prediction for the top-quark width is now 1.321 GeV for $m_t=172.69$ GeV. Additionally, we obtain the third-order QCD corrections to the dilepton invariant mass spectrum and decay width in the semileptonic $b\to u$ transition.


title: Some gradient estimates for nonlinear heat-type equations on smooth metric measure spaces with compact boundary

abstract: In this paper we prove some Hamilton type and Li-Yau type gradient estimates on positive solutions to generalized nonlinear parabolic equations on smooth metric measure space with compact boundary. The geometry of the space in terms of lower bounds on the weighted Bakry-Emery Ricci curvature tensor and weighted mean curvature of the boundary are key in proving generalized local and global gradient estimates. Various applications of these gradient estimates in terms of parabolic Harnack inequalities and Liouville type results are discussed. Further consequences to some specific models informed by the nature of the nonlinearities are highlighted.


title: On the Kronecker product of Schur functions of square shapes

abstract: Motivated by the Saxl conjecture and the tensor square conjecture, which states that the tensor squares of certain irreducible representations of the symmetric group contain all irreducible representations, we study the tensor squares of irreducible representations associated with square Young diagrams. We give a formula for computing Kronecker coefficients, which are indexed by two square partitions and a three-row partition, specifically one with a short second row and the smallest part equal to 1. We also prove the positivity of square Kronecker coefficients for particular families of partitions, including three-row partitions and near-hooks.


title: Sparse Graphical Designs via Linear Programming

abstract: Graphical designs are a framework for sampling and numerical integration of functions on graphs. In this note, we introduce a method to address the trade-off between graphical design sparsity and accuracy. We show how to obtain sparse graphical designs via linear programming and design objective functions that aim to maximize their accuracy. We showcase our approach using yellow taxicab data from New York City.


title: Generalized Continuous and Discrete Stick Fragmentation and Benford's Law

abstract: Inspired by the basic stick fragmentation model proposed by Becker et al. in arXiv:1309.5603v4, we consider three new versions of such fragmentation models, namely, continuous with random number of parts, continuous with probabilistic stopping, and discrete with congruence stopping conditions. In all of these situations, we state and prove precise conditions for the ending stick lengths to obey Benford's law when taking the appropriate limits. We introduce the aggregated limit, necessary to guarantee convergence to Benford's law in the latter two models. We also show that resulting stick lengths are non-Benford when our conditions are not met. Moreover, we give a sufficient condition for a distribution to satisfy the Mellin transform condition introduced in arXiv:0805.4226v2, yielding a large family of examples.


title: Physics-informed machine learning of the correlation functions in bulk fluids

abstract: The Ornstein-Zernike (OZ) equation is the fundamental equation for pair correlation function computations in the modern integral equation theory for liquids. In this work, machine learning models, notably physics-informed neural networks and physics-informed neural operator networks, are explored to solve the OZ equation. The physics-informed machine learning models demonstrate great accuracy and high efficiency in solving the forward and inverse OZ problems of various bulk fluids. The results highlight the significant potential of physics-informed machine learning for applications in thermodynamic state theory.

categories: physics.comp-ph cs.LG physics.chem-ph physics.flu-dyn


title: Space-Time Block Preconditioning for Incompressible Resistive Magnetohydrodynamics

abstract: This work develops a novel all-at-once space-time preconditioning approach for resistive magnetohydrodynamics (MHD), with a focus on model problems targeting fusion reactor design. We consider parallel-in-time due to the long time domains required to capture the physics of interest, as well as the complexity of the underlying system and thereby computational cost of long-time integration. To ameliorate this cost by using many processors, we thus develop a novel approach to solving the whole space-time system that is parallelizable in both space and time. We develop a space-time block preconditioning for resistive MHD, following the space-time block preconditioning concept first introduced by Danieli et al. in 2022 for incompressible flow, where an effective preconditioner for classic sequential time-stepping is extended to the space-time setting. The starting point for our derivation is the continuous Schur complement preconditioner by Cyr et al. in 2021, which we proceed to generalise in order to produce, to our knowledge, the first space-time block preconditioning approach for the challenging equations governing incompressible resistive MHD. The numerical results are promising for the model problems of island coalescence and tearing mode, with the overhead computational cost associated with space-time preconditioning versus sequential time-stepping being modest and primarily in the range of 2x-5x, which is low for parallel-in-time schemes in general. Additionally, the scaling results for inner (linear) and outer (nonlinear) iterations are flat in the case of fixed time-step size and only grow very slowly in the case of time-step refinement.


title: Full Reference Video Quality Assessment for Machine Learning-Based Video Codecs

abstract: Machine learning-based video codecs have made significant progress in the past few years. A critical area in the development of ML-based video codecs is an accurate evaluation metric that does not require an expensive and slow subjective test. We show that existing evaluation metrics that were designed and trained on DSP-based video codecs are not highly correlated to subjective opinion when used with ML video codecs due to the video artifacts being quite different between ML and video codecs. We provide a new dataset of ML video codec videos that have been accurately labeled for quality. We also propose a new full reference video quality assessment (FRVQA) model that achieves a Pearson Correlation Coefficient (PCC) of 0.99 and a Spearman's Rank Correlation Coefficient (SRCC) of 0.99 at the model level. We make the dataset and FRVQA model open source to help accelerate research in ML video codecs, and so that others can further improve the FRVQA model.


title: Bias and Fairness in Large Language Models: A Survey

abstract: Rapid advancements of large language models (LLMs) have enabled the processing, understanding, and generation of human-like text, with increasing integration into systems that touch our social sphere. Despite this success, these models can learn, perpetuate, and amplify harmful social biases. In this paper, we present a comprehensive survey of bias evaluation and mitigation techniques for LLMs. We first consolidate, formalize, and expand notions of social bias and fairness in natural language processing, defining distinct facets of harm and introducing several desiderata to operationalize fairness for LLMs. We then unify the literature by proposing three intuitive taxonomies, two for bias evaluation, namely metrics and datasets, and one for mitigation. Our first taxonomy of metrics for bias evaluation disambiguates the relationship between metrics and evaluation datasets, and organizes metrics by the different levels at which they operate in a model: embeddings, probabilities, and generated text. Our second taxonomy of datasets for bias evaluation categorizes datasets by their structure as counterfactual inputs or prompts, and identifies the targeted harms and social groups; we also release a consolidation of publicly-available datasets for improved access. Our third taxonomy of techniques for bias mitigation classifies methods by their intervention during pre-processing, in-training, intra-processing, and post-processing, with granular subcategories that elucidate research trends. Finally, we identify open problems and challenges for future work. Synthesizing a wide range of recent research, we aim to provide a clear guide of the existing literature that empowers researchers and practitioners to better understand and prevent the propagation of bias in LLMs.


title: Non-Asymptotic Bounds for Adversarial Excess Risk under Misspecified Models

abstract: We propose a general approach to evaluating the performance of robust estimators based on adversarial losses under misspecified models. We first show that adversarial risk is equivalent to the risk induced by a distributional adversarial attack under certain smoothness conditions. This ensures that the adversarial training procedure is well-defined. To evaluate the generalization performance of the adversarial estimator, we study the adversarial excess risk. Our proposed analysis method includes investigations on both generalization error and approximation error. We then establish non-asymptotic upper bounds for the adversarial excess risk associated with Lipschitz loss functions. In addition, we apply our general results to adversarial training for classification and regression problems. For the quadratic loss in nonparametric regression, we show that the adversarial excess risk bound can be improved over those for a general loss.


title: Classical Amplitudes in Gravitational-Wave Physics

abstract: In this thesis, we study emission amplitudes for the class of nonlinear processes of tails, which are processes of order $G_N^2$, and represent the effect of scattering gravitational radiation off the static background curvature, including not only mass tails but also the "failed" tails due to the angular momentum of the source. As originally shown in our work, some of these amplitudes present anomalies, which are then properly understood and corrected with field theory tools which have straightforward counterpart in traditional methods. We also investigate the relation between emission and self-energy diagrams and, in particular, show that a correction to the anomalous self-energy diagrams is necessary to correctly account for conservative terms that arise from radiative processes. From this, we obtain the correct contribution to the conservative 5PN stemming from the electric quadrupole angular momentum failed tail, correcting previous results in the literature. Besides this, we also compute for the first time the conservative contributions from the angular momentum failed tail, for arbitrary multipole moments. Subsequently, we explore the natural higher-order extension (of order $G_N^3$) of the mass tails, called tails of tails, for generic electric and magnetic multipoles. As we will see, both long- and short-distance divergences are encountered, which are then properly understood and dealt with in terms of standard renormalization techniques. In this case, we are able to resum the logarithmic contributions through the integration of the renormalization group equation. Thus, in this thesis, we have extended the post-Newtonian perturbative expansion in the particularly thorny region of processes involving the mixture of radiative and potential modes.


title: Deep Reinforcement Learning in Surgical Robotics: Enhancing the Automation Level

abstract: Surgical robotics is a rapidly evolving field that is transforming the landscape of surgeries. Surgical robots have been shown to enhance precision, minimize invasiveness, and alleviate surgeon fatigue. One promising area of research in surgical robotics is the use of reinforcement learning to enhance the automation level. Reinforcement learning is a type of machine learning that involves training an agent to make decisions based on rewards and punishments. This literature review aims to comprehensively analyze existing research on reinforcement learning in surgical robotics. The review identified various applications of reinforcement learning in surgical robotics, including pre-operative, intra-body, and percutaneous procedures, listed the typical studies, and compared their methodologies and results. The findings show that reinforcement learning has great potential to improve the autonomy of surgical robots. Reinforcement learning can teach robots to perform complex surgical tasks, such as suturing and tissue manipulation. It can also improve the accuracy and precision of surgical robots, making them more effective at performing surgeries.


title: Learning conservation laws in unknown quantum dynamics

abstract: We present a learning algorithm for discovering conservation laws given as sums of geometrically local observables in quantum dynamics. This includes conserved quantities that arise from local and global symmetries in closed and open quantum many-body systems. The algorithm combines the classical shadow formalism for estimating expectation values of observable and data analysis techniques based on singular value decompositions and robust polynomial interpolation to discover all such conservation laws in unknown quantum dynamics with rigorous performance guarantees. Our method can be directly realized in quantum experiments, which we illustrate with numerical simulations, using closed and open quantum system dynamics in a $\mathbb{Z}_2$-gauge theory and in many-body localized spin-chains.


title: Contrastive Feature Masking Open-Vocabulary Vision Transformer

abstract: We present Contrastive Feature Masking Vision Transformer (CFM-ViT) - an image-text pretraining methodology that achieves simultaneous learning of image- and region-level representation for open-vocabulary object detection (OVD). Our approach combines the masked autoencoder (MAE) objective into the contrastive learning objective to improve the representation for localization tasks. Unlike standard MAE, we perform reconstruction in the joint image-text embedding space, rather than the pixel space as is customary with the classical MAE method, which causes the model to better learn region-level semantics. Moreover, we introduce Positional Embedding Dropout (PED) to address scale variation between image-text pretraining and detection finetuning by randomly dropping out the positional embeddings during pretraining. PED improves detection performance and enables the use of a frozen ViT backbone as a region classifier, preventing the forgetting of open-vocabulary knowledge during detection finetuning. On LVIS open-vocabulary detection benchmark, CFM-ViT achieves a state-of-the-art 33.9 AP$r$, surpassing the best approach by 7.6 points and achieves better zero-shot detection transfer. Finally, CFM-ViT acquires strong image-level representation, outperforming the state of the art on 8 out of 12 metrics on zero-shot image-text retrieval benchmarks.


title: Are Current CCPA Compliant Banners Conveying User's Desired Opt-Out Decisions? An Empirical Study of Cookie Consent Banners

abstract: The California Consumer Privacy Act (CCPA) secures the right to Opt-Out for consumers in California. However, websites may implement complex consent mechanisms that potentially do not capture the user's true choices. We investigated the user choices in Cookie Consent Banner of US residents, the plurality of whom were from California, through an online experiment of 257 participants and compared the results with how they perceived to these Cookie Consent Banner. Our results show a contradiction between how often participants self-report their Opt-Out rates and their actual Opt-Out rate when interacting with a complex, CCPA-compliant website. This discrepancy expands the context with which modern websites may implement the CCPA without providing users sufficient information or instruction on how to successfully Opt-Out. We further elaborate on how US residents respond to and perceive the GDPR-like Opt-In model. Our results indicate that even though very few consumers actually exercised their right to Opt-Out, the majority of US consumers desire more transparent privacy policies that the current implementation of CCPA on websites lacks.


title: Towards High-Frequency Tracking and Fast Edge-Aware Optimization

abstract: This dissertation advances the state of the art for AR/VR tracking systems by increasing the tracking frequency by orders of magnitude and proposes an efficient algorithm for the problem of edge-aware optimization. AR/VR is a natural way of interacting with computers, where the physical and digital worlds coexist. We are on the cusp of a radical change in how humans perform and interact with computing. Humans are sensitive to small misalignments between the real and the virtual world, and tracking at kilo-Hertz frequencies becomes essential. Current vision-based systems fall short, as their tracking frequency is implicitly limited by the frame-rate of the camera. This thesis presents a prototype system which can track at orders of magnitude higher than the state-of-the-art methods using multiple commodity cameras. The proposed system exploits characteristics of the camera traditionally considered as flaws, namely rolling shutter and radial distortion. The experimental evaluation shows the effectiveness of the method for various degrees of motion. Furthermore, edge-aware optimization is an indispensable tool in the computer vision arsenal for accurate filtering of depth-data and image-based rendering, which is increasingly being used for content creation and geometry processing for AR/VR. As applications increasingly demand higher resolution and speed, there exists a need to develop methods that scale accordingly. This dissertation proposes such an edge-aware optimization framework which is efficient, accurate, and algorithmically scales well, all of which are much desirable traits not found jointly in the state of the art. The experiments show the effectiveness of the framework in a multitude of computer vision tasks such as computational photography and stereo.


title: Generation of Kerr soliton microcomb in a normally dispersed lithium niobate microdisk resonator by mode trimming

abstract: Anomalous microresonator dispersion is mandatory for Kerr soliton microcomb formation, which depends critically on the geometry of the microresonator and can hardly be tuned after the structure is made. To date, cavity-based microcombs have only been generated with fundamental whispering gallery modes (WGMs) of anomalous dispersion in microresonators. Moreover, microcomb generation in highly Raman-active platforms such as lithium niobate (LN) microresonators frequently suffers from stimulated Raman scattering and mode crossing due to the existence of multiple families of high-order WGMs. Here, we reveal a unique Kerr soliton microcomb generation mechanism through mode trimming in a weakly perturbed LN microdisk resonator. Remarkably, the soliton comb is generated with fundamental WGMs of normal dispersion and free from the mode crossing and Raman scattering effects. A robust soliton with a spectrum spanning from 1450 nm to 1620 nm at an on-chip pump power of 35 mW. Our discovery offers a powerful solution to circumvent the stringent requirements on high-precision dispersion engineering and termination of Raman excitation for soliton generation in the high-Q microdisk.


title: Value Kaleidoscope: Engaging AI with Pluralistic Human Values, Rights, and Duties

abstract: Human values are crucial to human decision-making. Value pluralism is the view that multiple correct values may be held in tension with one another (e.g., when considering lying to a friend to protect their feelings, how does one balance honesty with friendship?). As statistical learners, AI systems fit to averages by default, washing out these potentially irreducible value conflicts. To improve AI systems to better reflect value pluralism, the first-order challenge is to explore the extent to which AI systems can model pluralistic human values, rights, and duties as well as their interaction. We introduce ValuePrism, a large-scale dataset of 218k values, rights, and duties connected to 31k human-written situations. ValuePrism's contextualized values are generated by GPT-4 and deemed high-quality by human annotators 91% of the time. We conduct a large-scale study with annotators across diverse social and demographic backgrounds to try to understand whose values are represented. With ValuePrism, we build Kaleido, an open, light-weight, and structured language-based multi-task model that generates, explains, and assesses the relevance and valence (i.e., support or oppose) of human values, rights, and duties within a specific context. Humans prefer the sets of values output by our system over the teacher GPT-4, finding them more accurate and with broader coverage. In addition, we demonstrate that Kaleido can help explain variability in human decision-making by outputting contrasting values. Finally, we show that Kaleido's representations transfer to other philosophical frameworks and datasets, confirming the benefit of an explicit, modular, and interpretable approach to value pluralism. We hope that our work will serve as a step to making more explicit the implicit values behind human decision-making and to steering AI systems to make decisions that are more in accordance with them.


title: Diffuse Inelastic Neutron Scattering from Anharmonic Vibrations in Cuprite

abstract: Atomic vibrational dynamics in cuprite, Cu2O, was studied by inelastic neutron scattering and molecular dynamics (MD) simulations from 10 K to 900 K. Above 300 K, a diffuse inelastic intensity (DII) appeared, obscuring the high-energy phonon modes. Classical MD simulations with a machine learning interatomic potential reproduced general features of the DII, especially with a Langevin thermostat. The DII originates from random phase shifts of vibrating O-atoms that have anharmonic interactions with neighboring Cu-atoms.


title: Structured Radial Basis Function Network: Modelling Diversity for Multiple Hypotheses Prediction

abstract: Multi-modal regression is important in forecasting nonstationary processes or with a complex mixture of distributions. It can be tackled with multiple hypotheses frameworks but with the difficulty of combining them efficiently in a learning model. A Structured Radial Basis Function Network is presented as an ensemble of multiple hypotheses predictors for regression problems. The predictors are regression models of any type that can form centroidal Voronoi tessellations which are a function of their losses during training. It is proved that this structured model can efficiently interpolate this tessellation and approximate the multiple hypotheses target distribution and is equivalent to interpolating the meta-loss of the predictors, the loss being a zero set of the interpolation error. This model has a fixed-point iteration algorithm between the predictors and the centers of the basis functions. Diversity in learning can be controlled parametrically by truncating the tessellation formation with the losses of individual predictors. A closed-form solution with least-squares is presented, which to the authors knowledge, is the fastest solution in the literature for multiple hypotheses and structured predictions. Superior generalization performance and computational efficiency is achieved using only two-layer neural networks as predictors controlling diversity as a key component of success. A gradient-descent approach is introduced which is loss-agnostic regarding the predictors. The expected value for the loss of the structured model with Gaussian basis functions is computed, finding that correlation between predictors is not an appropriate tool for diversification. The experiments show outperformance with respect to the top competitors in the literature.


title: Two-stage Robust Optimization Approach for Enhanced Community Resilience Under Tornado Hazards

abstract: Catastrophic tornadoes cause severe damage and are a threat to human wellbeing, making it critical to determine mitigation strategies to reduce their impact. One such strategy, following recent research, is to retrofit existing structures. To this end, in this article we propose a model that considers a decision-maker (a government agency or a public-private consortium) who seeks to allocate resources to retrofit and recover wood-frame residential structures, to minimize the population dislocation due to an uncertain tornado. In the first stage the decision-maker selects the retrofitting strategies, and in the second stage the recovery decisions are made after observing the tornado. As tornado paths cannot be forecast reliably, we take a worst-case approach to uncertainty where paths are modeled as arbitrary line segments on the plane. Under the assumption that an area is affected if it is sufficiently close to the tornado path, the problem is framed as a two-stage robust optimization problem with a mixed-integer non-linear uncertainty set. We solve this problem by using a decomposition column-and-constraint generation algorithm that solves a two-level integer problem at each iteration. This problem, in turn, is solved by a decomposition branch-and-cut method that exploits the geometry of the uncertainty set. To illustrate the model's applicability, we present a case study based on Joplin, Missouri. Our results show that there can be up to 20 percent reductions in worst-case population dislocation by investing 15 million dollars in retrofitting and recovery; that our approach outperforms other retrofitting policies, and that the model is not over-conservative.


title: Diffusion Modeling with Domain-conditioned Prior Guidance for Accelerated MRI and qMRI Reconstruction

abstract: This study introduces a novel approach for image reconstruction based on a diffusion model conditioned on the native data domain. Our method is applied to multi-coil MRI and quantitative MRI reconstruction, leveraging the domain-conditioned diffusion model within the frequency and parameter domains. The prior MRI physics are used as embeddings in the diffusion model, enforcing data consistency to guide the training and sampling process, characterizing MRI k-space encoding in MRI reconstruction, and leveraging MR signal modeling for qMRI reconstruction. Furthermore, a gradient descent optimization is incorporated into the diffusion steps, enhancing feature learning and improving denoising. The proposed method demonstrates a significant promise, particularly for reconstructing images at high acceleration factors. Notably, it maintains great reconstruction accuracy and efficiency for static and quantitative MRI reconstruction across diverse anatomical structures. Beyond its immediate applications, this method provides potential generalization capability, making it adaptable to inverse problems across various domains.


title: Optimal pinwheel partitions for the Yamabe equation

abstract: We establish the existence of an optimal partition for the Yamabe equation in the whole space made up of mutually linearly isometric sets, each of them invariant under the action of a group of linear isometries. To do this, we establish the existence of a solution to a weakly coupled competitive Yamabe system, whose components are invariant under the action of the group, and each of them is obtained from the previous one by composing it with a linear isometry. We show that, as the coupling parameter goes to minus infinity, the components of the solutions segregate and give rise to an optimal partition that has the properties mentioned above. Finally, taking advantage of the symmetries considered, we establish the existence of infinitely many sign-changing solutions for the Yamabe equation that are different from those previously found in the by W.Y. Ding, and del Pino, Musso, Pacard and Pistoia


title: Weak Boundary Conditions for Lagrangian Shock Hydrodynamics: A High-Order Finite Element Implementation on Curved Boundaries

abstract: We propose a new Nitsche-type approach for weak enforcement of normal velocity boundary conditions for a Lagrangian discretization of the compressible shock-hydrodynamics equations using high-order finite elements on curved boundaries. Specifically, the variational formulation is appropriately modified to enforce free-slip wall boundary conditions, without perturbing the structure of the function spaces used to represent the solution, with a considerable simplification with respect to traditional approaches. Total energy is conserved and the resulting mass matrices are constant in time. The robustness and accuracy of the proposed method are validated with an extensive set of tests involving nontrivial curved boundaries.


title: Predication of novel effects in rotational nuclei at high speed

abstract: The study of high-speed rotating matter is a crucial research topic in physics due to the emergence of novel phenomena. In this paper, we combined cranking covariant density functional theory (CDFT) with a similar renormalization group approach to decompose the Hamiltonian from the cranking CDFT into different Hermit components, including the non-relativistic term, the dynamical term, the spin-orbit coupling, and the Darwin term. Especially, we obtained the rotational term, the term relating to Zeeman effect-like, and the spin-rotation coupling due to consideration of rotation and spatial component of vector potential. By exploring these operators, we aim to identify novel phenomena that may occur in rotating nuclei. Signature splitting, Zeeman effect-like, spin-rotation coupling, and spin current are among the potential novelties that may arise in rotating nuclei. Additionally, we investigated the observability of these phenomena and their dependence on various factors such as nuclear deformation, rotational angular velocity, and strength of magnetic field.


title: Online Targetless Radar-Camera Extrinsic Calibration Based on the Common Features of Radar and Camera

abstract: Sensor fusion is essential for autonomous driving and autonomous robots, and radar-camera fusion systems have gained popularity due to their complementary sensing capabilities. However, accurate calibration between these two sensors is crucial to ensure effective fusion and improve overall system performance. Calibration involves intrinsic and extrinsic calibration, with the latter being particularly important for achieving accurate sensor fusion. Unfortunately, many target-based calibration methods require complex operating procedures and well-designed experimental conditions, posing challenges for researchers attempting to reproduce the results. To address this issue, we introduce a novel approach that leverages deep learning to extract a common feature from raw radar data (i.e., Range-Doppler-Angle data) and camera images. Instead of explicitly representing these common features, our method implicitly utilizes these common features to match identical objects from both data sources. Specifically, the extracted common feature serves as an example to demonstrate an online targetless calibration method between the radar and camera systems. The estimation of the extrinsic transformation matrix is achieved through this feature-based approach. To enhance the accuracy and robustness of the calibration, we apply the RANSAC and Levenberg-Marquardt (LM) nonlinear optimization algorithm for deriving the matrix. Our experiments in the real world demonstrate the effectiveness and accuracy of our proposed method.


title: Spectral Barron space and deep neural network approximation

abstract: We prove the sharp embedding between the spectral Barron space and the Besov space. Given the spectral Barron space as the target function space, we prove a dimension-free result that if the neural network contains $L$ hidden layers with $N$ units per layer, then the upper and lower bounds of the $L^2$-approximation error are $\mathcal{O}(N^{-sL})$ with $0 < sL\le 1/2$, where $s$ is the smoothness index of the spectral Barron space.


title: LinkTransformer: A Unified Package for Record Linkage with Transformer Language Models

abstract: Linking information across sources is fundamental to a variety of analyses in social science, business, and government. While large language models (LLMs) offer enormous promise for improving record linkage in noisy datasets, in many domains approximate string matching packages in popular softwares such as R and Stata remain predominant. These packages have clean, simple interfaces and can be easily extended to a diversity of languages. Our open-source package LinkTransformer aims to extend the familiarity and ease-of-use of popular string matching methods to deep learning. It is a general purpose package for record linkage with transformer LLMs that treats record linkage as a text retrieval problem. At its core is an off-the-shelf toolkit for applying transformer models to record linkage with four lines of code. LinkTransformer contains a rich repository of pre-trained transformer semantic similarity models for multiple languages and supports easy integration of any transformer language model from Hugging Face or OpenAI. It supports standard functionality such as blocking and linking on multiple noisy fields. LinkTransformer APIs also perform other common text data processing tasks, e.g., aggregation, noisy de-duplication, and translation-free cross-lingual linkage. Importantly, LinkTransformer also contains comprehensive tools for efficient model tuning, to facilitate different levels of customization when off-the-shelf models do not provide the required accuracy. Finally, to promote reusability, reproducibility, and extensibility, LinkTransformer makes it easy for users to contribute their custom-trained models to its model hub. By combining transformer language models with intuitive APIs that will be familiar to many users of popular string matching packages, LinkTransformer aims to democratize the benefits of LLMs among those who may be less familiar with deep learning frameworks.


title: PFL-LSTR: A privacy-preserving framework for driver intention inference based on in-vehicle and out-vehicle information

abstract: Intelligent vehicle anticipation of the movement intentions of other drivers can reduce collisions. Typically, when a human driver of another vehicle (referred to as the target vehicle) engages in specific behaviors such as checking the rearview mirror prior to lane change, a valuable clue is therein provided on the intentions of the target vehicle's driver. Furthermore, the target driver's intentions can be influenced and shaped by their driving environment. For example, if the target vehicle is too close to a leading vehicle, it may renege the lane change decision. On the other hand, a following vehicle in the target lane is too close to the target vehicle could lead to its reversal of the decision to change lanes. Knowledge of such intentions of all vehicles in a traffic stream can help enhance traffic safety. Unfortunately, such information is often captured in the form of images/videos. Utilization of personally identifiable data to train a general model could violate user privacy. Federated Learning (FL) is a promising tool to resolve this conundrum. FL efficiently trains models without exposing the underlying data. This paper introduces a Personalized Federated Learning (PFL) model embedded a long short-term transformer (LSTR) framework. The framework predicts drivers' intentions by leveraging in-vehicle videos (of driver movement, gestures, and expressions) and out-of-vehicle videos (of the vehicle's surroundings - frontal/rear areas). The proposed PFL-LSTR framework is trained and tested through real-world driving data collected from human drivers at Interstate 65 in Indiana. The results suggest that the PFL-LSTR exhibits high adaptability and high precision, and that out-of-vehicle information (particularly, the driver's rear-mirror viewing actions) is important because it helps reduce false positives and thereby enhances the precision of driver intention inference.


title: Instability of the solitary waves for the Generalized Benjamin-Bona-Mahony Equation

abstract: In this work, we consider the generalized Benjamin-Bona-Mahony equation $$\partial_t u+\partial_x u+\partial_x( |u|^pu)-\partial_t \partial_x^{2}u=0, \quad(t,x) \in \mathbb{R} \times \mathbb{R}, $$ with $p>4$. This equation has the traveling wave solutions $\phi_{c}(x-ct), $ for any frequency $c>1.$ It has been proved by Souganidis and Strauss \cite{Strauss-1990} that, there exists a number $c_{0}(p)>1$, such that solitary waves $\phi_{c}(x-ct)$ with $1<c<c_{0}(p) $ is orbitally unstable, while for $c>c_{0}(p), $ $\phi_{c}(x-ct)$ is orbitally stable. The linear exponential instability in the former case was further proved by Pego and Weinstein \cite{Pego-1991-eigenvalue}. In this paper, we prove the orbital instability in the critical case $c=c_{0}(p)$.


title: Delay-Doppler Alignment Modulation for Spatially Sparse Massive MIMO Communication

abstract: Delay alignment modulation (DAM) is an emerging technique for achieving inter-symbol interference (ISI)-free wideband communications using spatial-delay processing, without relying on channel equalization or multi-carrier transmission. However, existing works on DAM only consider multiple-input single-output (MISO) communication systems and assume time-invariant channels. In this paper, by extending DAM to time-variant frequency-selective multiple-input multiple-output (MIMO) channels, we propose a novel technique termed \emph{delay-Doppler alignment modulation} (DDAM). Specifically, by leveraging \emph{delay-Doppler compensation} and \emph{path-based beamforming}, the Doppler effect of each multi-path can be eliminated and all multi-path signal components may reach the receiver concurrently and constructively. We first show that by applying path-based zero-forcing (ZF) precoding and receive combining, DDAM can transform the original time-variant frequency-selective channels into time-invariant ISI-free channels. The necessary and/or sufficient conditions to achieve such a transformation are derived. Then an asymptotic analysis is provided by showing that when the number of base station (BS) antennas is much larger than that of channel paths, DDAM enables time-invariant ISI-free channels with the simple delay-Doppler compensation and path-based maximal-ratio transmission (MRT) beamforming. Furthermore, for the general DDAM design with some tolerable ISI, the path-based transmit precoding and receive combining matrices are optimized to maximize the spectral efficiency. Numerical results are provided to compare the proposed DDAM technique with various benchmarking schemes, including MIMO-orthogonal time frequency space (OTFS), MIMO-orthogonal frequency-division multiplexing (OFDM) without or with carrier frequency offset (CFO) compensation, and beam alignment along the dominant path.


title: Control of free induction decay with quantum state preparation in a weakly coupled multi-spin system

abstract: Nuclear magnetic resonance (NMR) has been a widely used tool in various scientific fields and practical applications, with quantum control emerging as a promising strategy for synergistic advancements. In this paper, we propose a novel approach that combines NMR and quantum state preparation techniques to control free induction decay (FID) signals in weakly coupled spin systems, specifically Trifluoroiodoethylene $C_2F_3I$. We investigate the FID signal of the three-spin system and compare the differences between the FID signals in the thermal state and the pseudo-pure state (PPS), where the latter is generated using quantum state preparation techniques. Our approach aims to demonstrate a single exponentially decaying FID in weakly coupled spins, in which oscillatory FID signals are often observed. We validate our findings through numerical simulations and experimental measurements, and justify the validity of the theory. Our method opens a door to advancing spin system research and extending the capabilities of NMR with current quantum technologies in various scientific and practical fields.


title: FastPoseGait: A Toolbox and Benchmark for Efficient Pose-based Gait Recognition

abstract: We present FastPoseGait, an open-source toolbox for pose-based gait recognition based on PyTorch. Our toolbox supports a set of cutting-edge pose-based gait recognition algorithms and a variety of related benchmarks. Unlike other pose-based projects that focus on a single algorithm, FastPoseGait integrates several state-of-the-art (SOTA) algorithms under a unified framework, incorporating both the latest advancements and best practices to ease the comparison of effectiveness and efficiency. In addition, to promote future research on pose-based gait recognition, we provide numerous pre-trained models and detailed benchmark results, which offer valuable insights and serve as a reference for further investigations. By leveraging the highly modular structure and diverse methods offered by FastPoseGait, researchers can quickly delve into pose-based gait recognition and promote development in the field. In this paper, we outline various features of this toolbox, aiming that our toolbox and benchmarks can further foster collaboration, facilitate reproducibility, and encourage the development of innovative algorithms for pose-based gait recognition. FastPoseGait is available at https://github.com//BNU-IVC/FastPoseGait and is actively maintained. We will continue updating this report as we add new features.


title: Unraveling the mystery of the cosmological constant: Does spacetime uncertainty hold the key?

abstract: In addressing the cosmological constant problem, we propose that the discrepancy between the theoretical and observed values can be ascribed to the inherent uncertainty in the spacetime metric. Mach's principle, which posits that mass shapes spacetime, intersects with quantum mechanics' description of a particle as a quantum cloud, rendering the precise location of a particle's mass unknowable. Consequently, understanding spacetime structure at the quantum level becomes elusive. This connection between quantum and spacetime uncertainty could hold the key to resolving the cosmological constant problem. Intriguingly, the length scale of spacetime uncertainty, aligns with the macroscopic quantum weirdness observed in recent experiments. The spacetime uncertainty can be quantified by the scale factor in the Friedmann-Lemaitre-Robertson-Walker (FLRW) universe.


title: AttT2M: Text-Driven Human Motion Generation with Multi-Perspective Attention Mechanism

abstract: Generating 3D human motion based on textual descriptions has been a research focus in recent years. It requires the generated motion to be diverse, natural, and conform to the textual description. Due to the complex spatio-temporal nature of human motion and the difficulty in learning the cross-modal relationship between text and motion, text-driven motion generation is still a challenging problem. To address these issues, we propose \textbf{AttT2M}, a two-stage method with multi-perspective attention mechanism: \textbf{body-part attention} and \textbf{global-local motion-text attention}. The former focuses on the motion embedding perspective, which means introducing a body-part spatio-temporal encoder into VQ-VAE to learn a more expressive discrete latent space. The latter is from the cross-modal perspective, which is used to learn the sentence-level and word-level motion-text cross-modal relationship. The text-driven motion is finally generated with a generative transformer. Extensive experiments conducted on HumanML3D and KIT-ML demonstrate that our method outperforms the current state-of-the-art works in terms of qualitative and quantitative evaluation, and achieve fine-grained synthesis and action2motion. Our code is in https://github.com/ZcyMonkey/AttT2M


title: Numerical variational simulations of quantum phase transitions in the sub-Ohmic spin-boson model with multiple polaron ansatz

abstract: With extensive variational simulations, dissipative quantum phase transitions in the sub-Ohmic spin-boson model are numerically studied in a dense limit of environmental modes. By employing a generalized trial wave function composed of coherent-state expansions, transition points and critical exponents are accurately determined for various spectral exponents, demonstrating excellent agreement with those obtained by other sophisticated numerical techniques. Besides, the quantum-to-classical correspondence is fully confirmed over the entire sub-Ohmic range, compared with theoretical predictions of the long-range Ising model. Mean-field and non-mean-field critical behaviors are found in the deep and shallow sub-Ohmic regimes, respectively, and distinct physical mechanisms of them are uncovered.


title: On Harmonic Univalent Spirallike Mappings

abstract: In this article, we provide some necessary and sufficient coefficients conditions for a harmonic mapping to be hereditarily spirallike. Also, we give growth estimate for certain harmonic hereditarily spirallike mappings. Moreover, we connect the concept of harmonic hereditarily spirallike mapping to analytic spirallike mapping and provide some examples in support of our results.


title: An Elementary Construction of Modified Hamiltonians and Modified Measures of 2D Kahan Maps

abstract: We show how to construct in an elementary way the invariant of the KHK discretisation of a cubic Hamiltonian system in two dimensions. That is, we show that this invariant is expressible as the product of the ratios of affine polynomials defining the prolongation of the three parallel sides of a hexagon. On the vertices of such a hexagon lie the indeterminacy points of the KHK map. This result is obtained analysing the structure of the singular fibres of the known invariant. We apply this construction to several examples, and we prove that a similar result holds true for a case outside the hypotheses of the main theorem, leading us to conjecture that further extensions are possible.


title: Enhancing Cardiac MRI Segmentation via Classifier-Guided Two-Stage Network and All-Slice Information Fusion Transformer

abstract: Cardiac Magnetic Resonance imaging (CMR) is the gold standard for assessing cardiac function. Segmenting the left ventricle (LV), right ventricle (RV), and LV myocardium (MYO) in CMR images is crucial but time-consuming. Deep learning-based segmentation methods have emerged as effective tools for automating this process. However, CMR images present additional challenges due to irregular and varying heart shapes, particularly in basal and apical slices. In this study, we propose a classifier-guided two-stage network with an all-slice fusion transformer to enhance CMR segmentation accuracy, particularly in basal and apical slices. Our method was evaluated on extensive clinical datasets and demonstrated better performance in terms of Dice score compared to previous CNN-based and transformer-based models. Moreover, our method produces visually appealing segmentation shapes resembling human annotations and avoids common issues like holes or fragments in other models' segmentations.


title: Accelerating LSTM-based High-Rate Dynamic System Models

abstract: In this paper, we evaluate the use of a trained Long Short-Term Memory (LSTM) network as a surrogate for a Euler-Bernoulli beam model, and then we describe and characterize an FPGA-based deployment of the model for use in real-time structural health monitoring applications. The focus of our efforts is the DROPBEAR (Dynamic Reproduction of Projectiles in Ballistic Environments for Advanced Research) dataset, which was generated as a benchmark for the study of real-time structural modeling applications. The purpose of DROPBEAR is to evaluate models that take vibration data as input and give the initial conditions of the cantilever beam on which the measurements were taken as output. DROPBEAR is meant to serve an exemplar for emerging high-rate "active structures" that can be actively controlled with feedback latencies of less than one microsecond. Although the Euler-Bernoulli beam model is a well-known solution to this modeling problem, its computational cost is prohibitive for the time scales of interest. It has been previously shown that a properly structured LSTM network can achieve comparable accuracy with less workload, but achieving sub-microsecond model latency remains a challenge. Our approach is to deploy the LSTM optimized specifically for latency on FPGA. We designed the model using both high-level synthesis (HLS) and hardware description language (HDL). The lowest latency of 1.42 $\mu$S and the highest throughput of 7.87 Gops/s were achieved on Alveo U55C platform for HDL design.


title: Deep Learning and Inverse Problems

abstract: Machine Learning (ML) methods and tools have gained great success in many data, signal, image and video processing tasks, such as classification, clustering, object detection, semantic segmentation, language processing, Human-Machine interface, etc. In computer vision, image and video processing, these methods are mainly based on Neural Networks (NN) and in particular Convolutional NN (CNN), and more generally Deep NN. Inverse problems arise anywhere we have indirect measurement. As, in general, those inverse problems are ill-posed, to obtain satisfactory solutions for them needs prior information. Different regularization methods have been proposed, where the problem becomes the optimization of a criterion with a likelihood term and a regularization term. The main difficulty, however, in great dimensional real applications, remains the computational cost. Using NN, and in particular Deep Learning (DL) surrogate models and approximate computation, can become very helpful. In this work, we focus on NN and DL particularly adapted for inverse problems. We consider two cases: First the case where the forward operator is known and used as physics constraint, the second more general data driven DL methods.


title: Toward Value-oriented Renewable Energy Forecasting: An Iterative Learning Approach

abstract: Energy forecasting is an essential task in power system operations. Operators usually issue forecasts and leverage them to schedule energy dispatch ahead of time. However, forecast models are typically developed in a way that overlooks the operational value of the forecasts. To bridge the gap, we design a value-oriented point forecasting approach for sequential energy dispatch problems with renewable energy sources. At the training phase, we align the loss function with the overall operation cost function, thereby achieving reduced operation costs. The forecast model parameter estimation is formulated as a bilevel program. Under mild assumptions, we convert the upper-level objective into an equivalent form using the dual solutions obtained from the lower-level operation problems. Additionally, a novel iterative solution strategy is proposed for the newly formulated bilevel program. Under such an iterative scheme, we show that the upper-level objective is locally linear regarding the forecast model output, and can act as the loss function. Numerical experiments demonstrate that, compared to commonly used statistical quality-oriented point forecasting methods, forecasts obtained by the proposed approach result in lower operation costs. Meanwhile, the proposed approach is more computationally efficient than traditional two-stage stochastic programs.


title: The Hardy-Littlewood Maximal Operator on Discrete Weighted Morrey Spaces

abstract: In this paper, we introduce a discrete version of weighted Morrey spaces, and discuss the inclusion relations of these spaces. In addition, we obtain the boundedness of discrete weighted Hardy-Littlewood maximal operators on discrete weighted Lebesgue spaces by establishing a discrete Calder\'on-Zygmund decomposition for weighted $l^1$-sequences. Furthermore, the boundedness of discrete Hardy-Littlewood maximal operators on discrete weighted Morrey spaces is established.


title: Fairness Implications of Heterogeneous Treatment Effect Estimation with Machine Learning Methods in Policy-making

abstract: Causal machine learning methods which flexibly generate heterogeneous treatment effect estimates could be very useful tools for governments trying to make and implement policy. However, as the critical artificial intelligence literature has shown, governments must be very careful of unintended consequences when using machine learning models. One way to try and protect against unintended bad outcomes is with AI Fairness methods which seek to create machine learning models where sensitive variables like race or gender do not influence outcomes. In this paper we argue that standard AI Fairness approaches developed for predictive machine learning are not suitable for all causal machine learning applications because causal machine learning generally (at least so far) uses modelling to inform a human who is the ultimate decision-maker while AI Fairness approaches assume a model that is making decisions directly. We define these scenarios as indirect and direct decision-making respectively and suggest that policy-making is best seen as a joint decision where the causal machine learning model usually only has indirect power. We lay out a definition of fairness for this scenario - a model that provides the information a decision-maker needs to accurately make a value judgement about just policy outcomes - and argue that the complexity of causal machine learning models can make this difficult to achieve. The solution here is not traditional AI Fairness adjustments, but careful modelling and awareness of some of the decision-making biases that these methods might encourage which we describe.


title: The Fiber of the Principal Minor Map

abstract: This paper explores the fibers of the principal minor map over a general field. The principal minor map is the map that assigns to each $n\times n$ matrix the $2^n$-vector of its principal minors. In $1984$, Hartfiel and Loewy proposed a condition that was sufficient to ensure that the fiber of the principal minor map is a single point up to diagonal equivalence. Loewy later improved upon this condition in $1986$. In this paper, we provide a necessary and sufficient condition for the fiber to be a point up to diagonal equivalence. Additionally, we establish a connection between the reducibility of a matrix and the reducibility of its determinantal representation. Using this connection, we fully characterize the fiber of symmetric and Hermitian matrices in the space of $n\times n$ matrices over any field $\mathbb{F}$. We also use these techniques to answer a question of Borcea, Br\"and\'en, and Liggett concerning real stable matrices.