title: On correlation bounds against polynomials

abstract: We study the fundamental challenge of exhibiting explicit functions that have small correlation with low-degree polynomials over $\mathbb{F}_{2}$. Our main contributions include: 1. In STOC 2020, CHHLZ introduced a new technique to prove correlation bounds. Using their technique they established new correlation bounds for low-degree polynomials. They conjectured that their technique generalizes to higher degree polynomials as well. We give a counterexample to their conjecture, in fact ruling out weaker parameters and showing what they prove is essentially the best possible. 2. We propose a new approach for proving correlation bounds with the central "mod functions", consisting of two steps: (I) the polynomials that maximize correlation are symmetric and (II) symmetric polynomials have small correlation. Contrary to related results in the literature, we conjecture that (I) is true. We argue this approach is not affected by existing "barrier results". 3. We prove our conjecture for quadratic polynomials. Specifically, we determine the maximum possible correlation between quadratic polynomials modulo 2 and the functions $(x_{1},\dots,x_{n})\to z^{\sum x_{i}}$ for any $z$ on the complex unit circle; and show that it is achieved by symmetric polynomials. To obtain our results we develop a new proof technique: we express correlation in terms of directional derivatives and analyze it by slowly restricting the direction. 4. We make partial progress on the conjecture for cubic polynomials, in particular proving tight correlation bounds for cubic polynomials whose degree-3 part is symmetric.


title: Delayed X-ray brightening accompanied by variable ionized absorption following a tidal disruption event

abstract: Supermassive black holes can experience super-Eddington peak mass fallback rates following the tidal disruption of a star. The theoretical expectation is that part of the infalling material is expelled by means of an accretion disk wind, whose observational signature includes blueshifted absorption lines of highly ionized species in X-ray spectra. To date, however, only one such ultra-fast outflow (UFO) has been reported in the tidal disruption event (TDE) ASASSN-14li. Here we report on the discovery of transient absorption-like signatures in X-ray spectra of the TDE AT2020ksf/Gaia20cjk (at a redshift of $z$=0.092), following an X-ray brightening $\sim 230$ days after UV/optical peak. We find that while no statistically significant absorption features are present initially, they appear on a timescale of several days, and remain detected up to 770 days after peak. Simple thermal continuum models, combined with a power-law or neutral absorber, do not describe these features well. Adding a partial covering, low velocity ionized absorber improves the fit at early times, but fails at late times. A high velocity (v$_w$ $\sim$ 42000 km s$^{-1}$, or -0.15c), ionized absorber (ultra-fast outflow) provides a good fit to all data. The few day timescale of variability is consistent with expectations for a clumpy wind. We discuss several scenarios that could explain the X-ray delay, as well as the potential for larger scale wind feedback. The serendipitous nature of the discovery could suggest a high incidence of UFOs in TDEs, alleviating some of the tension with theoretical expectations.


title: Three-loop effective potential for softly broken supersymmetry

abstract: The effective potential has been previously calculated through three-loop order, in Landau gauge, for a general renormalizable theory using dimensional regularization. However, dimensional regularization is not appropriate for softly broken supersymmetric gauge theories, because it explicitly violates supersymmetry. In this paper, I obtain the three-loop effective potential using a supersymmetric regulator based on dimensional reduction. Checks follow from the vanishing of the effective potential in examples with supersymmetric vacua, and from renormalization scale invariance in examples for which supersymmetry is broken, either spontaneously or explicitly by soft terms. As byproducts, I obtain the three-loop Landau gauge anomalous dimension for the scalar component of a chiral supermultiplet, and the beta function for the field-independent vacuum energy.


title: Ultralight vector dark matter, anisotropies and cosmological adiabatic modes

abstract: In this work we study the early time behavior and the background evolution of ultralight vector dark matter. We present a model for vector dark matter in an anisotropic Bianchi type I universe. Vector fields source anisotropies in the early universe characterized by a shear tensor which rapidly decays once the fields start oscillating, making them viable dark matter candidates. We present the set of equations needed to evolve scalar cosmological perturbations in the linear regime, both in synchronous gauge and Newtonian gauge. We show that the shear tensor has to be taken into account in the calculation of adiabatic initial conditions.


title: On computability of equilibrium states

abstract: Equilibrium states are natural dynamical analogs of Gibbs states in thermodynamic formalism. This paper is devoted to the study of their computability in the sense of Computable Analysis. We show that the unique equilibrium state associated to a pair of a computable, topologically exact, distance-expanding, open map $T\colon X\rightarrow X$ and a computable H\"older continuous potential $\varphi\colon X\rightarrow\mathbb{R}$ is always computable. Furthermore, the Hausdorff dimension of the Julia set and the equilibrium state for the geometric potential of a computable hyperbolic rational map are computable. On the other hand, we introduce a mechanism to establish non-uniqueness of equilibrium states. We also present some computable dynamical systems whose equilibrium states are all non-computable.


title: Distributed Constrained Combinatorial Optimization leveraging Hypergraph Neural Networks

abstract: Scalable addressing of high dimensional constrained combinatorial optimization problems is a challenge that arises in several science and engineering disciplines. Recent work introduced novel application of graph neural networks for solving quadratic-cost combinatorial optimization problems. However, effective utilization of models such as graph neural networks to address general problems with higher order constraints is an unresolved challenge. This paper presents a framework, HypOp, which advances the state of the art for solving combinatorial optimization problems in several aspects: (i) it generalizes the prior results to higher order constrained problems with arbitrary cost functions by leveraging hypergraph neural networks; (ii) enables scalability to larger problems by introducing a new distributed and parallel training architecture; (iii) demonstrates generalizability across different problem formulations by transferring knowledge within the same hypergraph; (iv) substantially boosts the solution accuracy compared with the prior art by suggesting a fine-tuning step using simulated annealing; (v) shows a remarkable progress on numerous benchmark examples, including hypergraph MaxCut, satisfiability, and resource allocation problems, with notable run time improvements using a combination of fine-tuning and distributed training techniques. We showcase the application of HypOp in scientific discovery by solving a hypergraph MaxCut problem on NDC drug-substance hypergraph. Through extensive experimentation on various optimization problems, HypOp demonstrates superiority over existing unsupervised learning-based solvers and generic optimization methods.


title: DISTA: Denoising Spiking Transformer with intrinsic plasticity and spatiotemporal attention

abstract: Among the array of neural network architectures, the Vision Transformer (ViT) stands out as a prominent choice, acclaimed for its exceptional expressiveness and consistent high performance in various vision applications. Recently, the emerging Spiking ViT approach has endeavored to harness spiking neurons, paving the way for a more brain-inspired transformer architecture that thrives in ultra-low power operations on dedicated neuromorphic hardware. Nevertheless, this approach remains confined to spatial self-attention and doesn't fully unlock the potential of spiking neural networks. We introduce DISTA, a Denoising Spiking Transformer with Intrinsic Plasticity and SpatioTemporal Attention, designed to maximize the spatiotemporal computational prowess of spiking neurons, particularly for vision applications. DISTA explores two types of spatiotemporal attentions: intrinsic neuron-level attention and network-level attention with explicit memory. Additionally, DISTA incorporates an efficient nonlinear denoising mechanism to quell the noise inherent in computed spatiotemporal attention maps, thereby resulting in further performance gains. Our DISTA transformer undergoes joint training involving synaptic plasticity (i.e., weight tuning) and intrinsic plasticity (i.e., membrane time constant tuning) and delivers state-of-the-art performances across several static image and dynamic neuromorphic datasets. With only 6 time steps, DISTA achieves remarkable top-1 accuracy on CIFAR10 (96.26%) and CIFAR100 (79.15%), as well as 79.1% on CIFAR10-DVS using 10 time steps.


title: The Metallicities of Five Small High-Velocity Clouds

abstract: High-velocity clouds (HVCs) are multi-phase gas structures whose velocities (|v_LSR|>100 km/s) are too high to be explained by Galactic disk rotation. While large HVCs are well characterized, compact and small HVCs (with HI angular sizes of a few degrees) are poorly understood. Possible origins for such small clouds include Milky Way halo gas or fragments of the Magellanic System, but neither their origin nor their connection to the Milky Way halo has been confirmed. We use new Hubble Space Telescope/Cosmic Origins Spectrograph UV spectra and Green Bank Telescope HI spectra to measure the metallicities of five small HVCs in the southern Galactic sky projected near the Magellanic System. We build a set of distance-dependent Cloudy photoionization models for each cloud and calculate their ionization-corrected metallicities. All five small HVCs have oxygen metallicities <0.17 Z_sun, indicating they do not originate in the disk of the Milky Way. Two of the five have metallicities of 0.16-0.17 Z_sun, similar to the Magellanic Stream, suggesting these clouds are fragments of the Magellanic System. The remaining three clouds have much lower metallicities of 0.02-0.04 Z_sun. While the origin of these low-metallicity clouds is unclear, they could be gaseous mini-halos or gas stripped from dwarf galaxies by ram pressure or tidal interactions. These results suggest that small HVCs do not all reside in the inner Milky Way halo or the Magellanic System, but instead can trace more distant structures.


title: What Predicts Interpersonal Affect? Preliminary Analyses from Retrospective Evaluations

abstract: While the field of affective computing has contributed to greatly improving the seamlessness of human-robot interactions, the focus has primarily been on the emotional processing of the self, rather than the perception of the other. To address this gap, in a user study with 30 participant dyads, we collected the users' retrospective ratings of the interpersonal perception of the other interactant, after a short interaction. We made use of CORAE, a novel web-based open-source tool for COntinuous Retrospective Affect Evaluation. In this work, we analyze how these interpersonal ratings correlate with different aspects of the interaction, namely personality traits, participation balance, and sentiment analysis. Notably, we discovered that conversational imbalance has a significant effect on the retrospective ratings, among other findings. By employing these analyses and methodologies, we lay the groundwork for enhanced human-robot interactions, wherein affect is understood as a highly dynamic and context-dependent outcome of interaction history.


title: A Characteristic Mapping Method for Vlasov-Poisson with Extreme Resolution Properties

abstract: We propose an efficient semi-Lagrangian characteristic mapping method for solving the one+one-dimensional Vlasov-Poisson equations with high precision on a coarse grid. The flow map is evolved numerically and exponential resolution in linear time is obtained. Global third-order convergence in space and time is shown and conservation properties are assessed. For benchmarking, we consider linear and nonlinear Landau damping and the two-stream instability. We compare the results with a Fourier pseudo-spectral method. The extreme fine-scale resolution features are illustrated showing the method's capabilities to efficiently treat filamentation in fusion plasma simulations.

categories: math.NA cs.NA physics.comp-ph physics.plasm-ph


title: Noncommutative invariants of dihedral groups

abstract: We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.


title: Kirigami Sheets in Fluid Flow

abstract: Kirigami patterned materials have found several applications in recent years due to their ability to assume complicated shapes and exhibit emergent physical properties when exposed to external forces. Consisting of an array of cuts in a thin material, fabrication of these patterns can be quite simple. Here we show that when they are placed in fluid flow, kirigami cut sheets with various patterns produce a verity of flow patterns in the wake. Through several sets of experiments, we show that the kirigami sheets placed in flow can undergo static or dynamic flow-induced instabilities as a result of which they can buckle or undergo limit cycle oscillations, or they can remain stable while undergoing very large elongations. These structural responses produce several different types of fluid patterns in the wake. We show that vortices both at small scales (scales comparable with the size of the individual kirigami cuts) and large scale (scales comparable with the size of the sheet) are formed in the wake of kirigami sheets. We also show that jets at different sizes can be formed and directed passively using kirigami sheets. These results show the potentials of kirigami sheets for passive flow control.


title: Non-conservation and conservation for different formulations of moist potential vorticity

abstract: Potential vorticity (PV) is one of the most important quantities in atmospheric science. The PV of each fluid parcel is known to be conserved in the case of a dry atmosphere. However, a parcel's PV is not conserved if clouds or phase changes of water occur. Recently, PV conservation laws were derived for a cloudy atmosphere, where each parcel's PV is not conserved but parcel-integrated PV is conserved, for integrals over certain volumes that move with the flow. Hence a variety of different statements are now possible for moist PV conservation and non-conservation, and in comparison to the case of a dry atmosphere, the situation for moist PV is more complex. Here, in light of this complexity, several different definitions of moist PV are compared for a cloudy atmosphere. Numerical simulations are shown for a rising thermal, both before and after the formation of a cloud. These simulations include the first computational illustration of the parcel-integrated, moist PV conservation laws. The comparisons, both theoretical and numerical, serve to clarify and highlight the different statements of conservation and non-conservation that arise for different definitions of moist PV.


title: Long-form Question Answering: An Iterative Planning-Retrieval-Generation Approach

abstract: Long-form question answering (LFQA) poses a challenge as it involves generating detailed answers in the form of paragraphs, which go beyond simple yes/no responses or short factual answers. While existing QA models excel in questions with concise answers, LFQA requires handling multiple topics and their intricate relationships, demanding comprehensive explanations. Previous attempts at LFQA focused on generating long-form answers by utilizing relevant contexts from a corpus, relying solely on the question itself. However, they overlooked the possibility that the question alone might not provide sufficient information to identify the relevant contexts. Additionally, generating detailed long-form answers often entails aggregating knowledge from diverse sources. To address these limitations, we propose an LFQA model with iterative Planning, Retrieval, and Generation. This iterative process continues until a complete answer is generated for the given question. From an extensive experiment on both an open domain and a technical domain QA dataset, we find that our model outperforms the state-of-the-art models on various textual and factual metrics for the LFQA task.


title: Gaussian Volterra processes as models of electricity markets

abstract: We introduce a non-Markovian model for electricity markets where the spot price of electricity is driven by several Gaussian Volterra processes, which can be e.g., fractional Brownian motions (fBms), Riemann-Liouville processes or Gaussian-Volterra driven Ornstein-Uhlenbeck processes. Since in energy markets the spot price is not a tradeable asset, due to the limited storage possibilities, forward contracts are considered as traded products. We ensure necessary and sufficient conditions for the absence of arbitrage that, in this kind of market, reflects the fact that the prices of the forward contracts are (Gaussian) martingales under a risk-neutral measure. Moreover, we characterize the market completeness in terms of the number of forward contracts simultaneously considered and of the kernels of the Gaussian-Volterra processes. Then, we formulate a portfolio optimization problem for an agent who invests in an electricity market, and we solve it explicitly in the case of CRRA utility functions. We also find closed formula for the price of options written on forward contracts, together with the hedging strategy. Finally, we provide a novel representation of Ornstein-Uhlenbeck (OU) processes driven by Gaussian Volterra processes. Also exploiting this result, we show analytically that, for some kinds of Gaussian-Volterra processes driving the spot prices, under conditions ensuring the absence of arbitrage, the market is complete.


title: Non-injectivity of Bures--Wasserstein barycentres in infinite dimensions

abstract: We construct a counterexample to the injectivity conjecture of Masarotto et al (2018). Namely, we construct a class of examples of injective covariance operators on an infinite-dimensional separable Hilbert space for which the Bures--Wasserstein barycentre is highly non injective -- it has a kernel of infinite dimension.


title: Beyond PCA: A Probabilistic Gram-Schmidt Approach to Feature Extraction

abstract: Linear feature extraction at the presence of nonlinear dependencies among the data is a fundamental challenge in unsupervised learning. We propose using a probabilistic Gram-Schmidt (GS) type orthogonalization process in order to detect and map out redundant dimensions. Specifically, by applying the GS process over a family of functions which presumably captures the nonlinear dependencies in the data, we construct a series of covariance matrices that can either be used to identify new large-variance directions, or to remove those dependencies from the principal components. In the former case, we provide information-theoretic guarantees in terms of entropy reduction. In the latter, we prove that under certain assumptions the resulting algorithms detect and remove nonlinear dependencies whenever those dependencies lie in the linear span of the chosen function family. Both proposed methods extract linear features from the data while removing nonlinear redundancies. We provide simulation results on synthetic and real-world datasets which show improved performance over PCA and state-of-the-art linear feature extraction algorithms, both in terms of variance maximization of the extracted features, and in terms of improved performance of classification algorithms. Additionally, our methods are comparable and often outperform the non-linear method of kernel PCA.


title: Banach-Tarski Embeddings and Transformers

abstract: We introduce a new construction of embeddings of arbitrary recursive data structures into high dimensional vectors. These embeddings provide an interpretable model for the latent state vectors of transformers. We demonstrate that these embeddings can be decoded to the original data structure when the embedding dimension is sufficiently large. This decoding algorithm has a natural implementation as a transformer. We also show that these embedding vectors can be manipulated directly to perform computations on the underlying data without decoding. As an example we present an algorithm that constructs the embedded parse tree of an embedded token sequence using only vector operations in embedding space.


title: Synthesis estimators for positivity violations with a continuous covariate

abstract: Studies intended to estimate the effect of a treatment, like randomized trials, may not be sampled from the desired target population. To correct for this discrepancy, estimates can be transported to the target population. Methods for transporting between populations are often premised on a positivity assumption, such that all relevant covariate patterns in one population are also present in the other. However, eligibility criteria, particularly in the case of trials, can result in violations of positivity when transporting to external populations. To address nonpositivity, a synthesis of statistical and mathematical models can be considered. This approach integrates multiple data sources (e.g. trials, observational, pharmacokinetic studies) to estimate treatment effects, leveraging mathematical models to handle positivity violations. This approach was previously demonstrated for positivity violations by a single binary covariate. Here, we extend the synthesis approach for positivity violations with a continuous covariate. For estimation, two novel augmented inverse probability weighting estimators are proposed. Both estimators are contrasted with other common approaches for addressing nonpositivity. Empirical performance is compared via Monte Carlo simulation. Finally, the competing approaches are illustrated with an example in the context of two-drug versus one-drug antiretroviral therapy on CD4 T cell counts among women with HIV.


title: Neural machine translation for automated feedback on children's early-stage writing

abstract: In this work, we address the problem of assessing and constructing feedback for early-stage writing automatically using machine learning. Early-stage writing is typically vastly different from conventional writing due to phonetic spelling and lack of proper grammar, punctuation, spacing etc. Consequently, early-stage writing is highly non-trivial to analyze using common linguistic metrics. We propose to use sequence-to-sequence models for "translating" early-stage writing by students into "conventional" writing, which allows the translated text to be analyzed using linguistic metrics. Furthermore, we propose a novel robust likelihood to mitigate the effect of noise in the dataset. We investigate the proposed methods using a set of numerical experiments and demonstrate that the conventional text can be predicted with high accuracy.


title: LEEETs-Dial: Linguistic Entrainment in End-to-End Task-oriented Dialogue systems

abstract: Linguistic entrainment, or alignment, represents a phenomenon where linguistic patterns employed by conversational participants converge to one another. While entrainment has been shown to produce a more natural user experience, most dialogue systems do not have any provisions for it. In this work, we introduce methods for achieving dialogue entrainment in a GPT-2-based end-to-end task-oriented dialogue system through the utilization of shared vocabulary. We experiment with training instance weighting, entrainment-specific loss, and additional conditioning to generate responses that align with the user. We demonstrate that all three approaches produce significantly better entrainment than the base, non-entrainment-optimized model, as confirmed by both automated and manual evaluation metrics.


title: The subdivision of hypergraphs

abstract: Hypergraphs, as a generalization of simplicial complexes, have long been a subject of interest in their geometric interpretation. The subdivision of simplicial complexes can, to some extent, provide insights into the geometry of simplicial complexes. In this paper, we introduce the concept of the subdivision of hypergraphs. Notably, the subdivision of hypergraphs can be reduced to the subdivision of simplicial complexes. Moreover, we prove that the subdivision of hypergraphs has the topological invariance with respect to the embedded homology.


title: Pointed lattice subreducts of varieties of residuated lattices

abstract: We study the pointed lattice subreducts of varieties of residuated lattices (RLs) and commutative residuated lattices (CRLs), i.e. lattice subreducts expanded by the constant 1 denoting the multiplicative unit. Given any positive universal class of pointed lattices K satisfying a certain equation, we describe the pointed lattice subreducts of semi-K and of pre-K RLs and CRLs. The quasivariety of semi-prime-pointed lattices generated by pointed lattices with a join prime constant 1 plays an important role here. In particular, the pointed lattices reducts of integral (semiconic) RLs and CRLs are precisely the integral (semiconic) semi-prime-pointed lattices. We also describe the pointed lattice subreducts of integral cancellative CRLs, proving in \mbox{particular} that every lattice is a subreduct of some integral cancellative CRL. This resolves an open problem about cancellative CRLs.


title: Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

abstract: Secure multiparty computation (MPC) techniques enable multiple parties to compute joint functions over their private data without sharing that data with other parties, typically by employing powerful cryptographic protocols to protect individual's data. One challenge when writing such functions is that most MPC languages force users to intermix programmatic and privacy concerns in a single application, making it difficult to change or audit a program's underlying privacy policy. Prior policy-agnostic MPC languages relied on dynamic enforcement to decouple privacy requirements from program logic. Unfortunately, the resulting overhead makes it difficult to scale MPC applications that manipulate structured data. This work proposes to eliminate this overhead by instead transforming programs into semantically equivalent versions that statically enforce user-provided privacy policies. We have implemented this approach in a new MPC language, called Taypsi; our experimental evaluation demonstrates that the resulting system features considerable performance improvements on a variety of MPC applications involving structured data and complex privacy policies.


title: GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

abstract: Despite the recent advances in pre-production bug detection, heap-use-after-free and heap-buffer-overflow bugs remain the primary problem for security, reliability, and developer productivity for applications written in C or C++, across all major software ecosystems. Memory-safe languages solve this problem when they are used, but the existing code bases consisting of billions of lines of C and C++ continue to grow, and we need additional bug detection mechanisms. This paper describes a family of tools that detect these two classes of memory-safety bugs, while running in production, at near-zero overhead. These tools combine page-granular guarded allocation and low-rate sampling. In other words, we added an "if" statement to a 36-year-old idea and made it work at scale. We describe the basic algorithm, several of its variants and implementations, and the results of multi-year deployments across mobile, desktop, and server applications.


title: SmoQyDQMC.jl: A flexible implementation of determinant quantum Monte Carlo for Hubbard and electron-phonon interactions

abstract: We introduce the SmoQyDQMC.jl package, a Julia implementation of the determinant quantum Monte Carlo algorithm. SmoQyDQMC.jl supports generalized tight-binding Hamiltonians with on-site Hubbard and generalized electron-phonon interactions, including non-linear $e$-ph coupling and anharmonic lattice potentials. Our implementations use hybrid Monte Carlo methods with exact forces for sampling the phonon fields, enabling efficient simulation of low-energy phonon branches, including acoustic phonons. The SmoQyDQMC.jl package also uses a flexible scripting interface, allowing users to adapt it to different workflows and interface with other software packages in the Julia ecosystem. The code for this package can be downloaded from our GitHub repository at https://github.com/SmoQySuite/SmoQyDQMC.jl or installed using the Julia package manager. The online documentation, including examples, can be obtained from our document page at https://smoqysuite.github.io/SmoQyDQMC.jl/stable/.


title: Rapid assimilation of high-Z impurity ions along the magnetic field line from an ablated pellet

abstract: The assimilation of ablated high-Z impurities into the hot surrounding plasma along the magnetic field is investigated by first-principles kinetic simulations. It is found that the assimilated impurity ions, primarily driven by the ambipolar electric force, propagate steadily into the surrounding plasmas. The high-Z impurities in different charge states are mostly aligned due to the strong collisional friction among them so that the averaged impurity ions charge $\bar{Z}$ is a deciding factor. Such assimilation is led by an impurity front that is behind the cooling front due to a smaller charge-mass-ratio of the impurity ions $\bar{Z}/m_I$. With the help of a self-similar solution, the speed of the impurity front $U_s$ is shown to be primarily set by the hot surrounding plasma temperature $T_0$ with a weak dependence on the pellet plasma temperature, underscoring the collisionless nature of the impurity assimilation process. Specifically, $U_s\sim \sqrt{\bar{Z}T_0/m_I}$. The ambipolar-constrained electron conduction flux from the hot plasma is primarily responsible for the collisionless impurity assimilation process.


title: Thermodynamic formalism for correspondences

abstract: In this work, we investigate the Variational Principle and develop a thermodynamic formalism for correspondences. We define the measure-theoretic entropy for transition probability kernels and topological pressure for correspondences. Based on these two notions, we establish the following results: The Variational Principle holds and equilibrium states exist for continuous potential functions, provided that the correspondence satisfies some expansion property called forward expansiveness. If, in addition, the correspondence satisfies the specification property and the potential function is Bowen summable, then the equilibrium state is unique. On the other hand, for a distance-expanding, open, strongly transitive correspondence and a H\"{o}lder continuous potential function, there exists a unique equilibrium state, and the backward orbits are equidistributed. Furthermore, we investigate the Variational Principle for general correspondences. In conformal dynamics, we establish the Variational Principle for the Lee--Lyubich--Markorov--Mazor--Mukherjee anti-holomorphic correspondences, which are matings of some anti-holomorphic rational maps with anti-Hecke groups and not forward expansive. We also show a Ruelle--Perron--Frobenius Theorem for a family of hyperbolic holomorphic correspondences of the form $\boldsymbol{f}_c (z)= z^{q/p}+c$.


title: Photonic quantum computing on thin-film lithium niobate: Part I Design of an efficient heralded single photon source co-integrated with superconducting detectors

abstract: Photonic quantum computers are currently one of the primary candidates for fault-tolerant quantum computation. At the heart of the photonic quantum computation lies the strict requirement for suitable quantum sources e.g. high purity, high brightness single photon sources. To build a practical quantum computer, thousands to millions of such sources are required. In this article, we theoretically propose a unique single-photon source design on a thin-film lithium niobate (TFLN) platform co-integrated with superconducting nanowire single-photon detectors. We show that with a judicial design of single photon source using thin film periodically poled lithium waveguides (PPLN), back-illuminated grating couplers (GCs) and directly bonded or integrated cavity coupled superconducting nanowire single-photon detectors (SNSPDs) can lead to a simple but practical high efficiency heralded single-photon source using the current fabrication technology. Such a device will eliminate the requirement of out coupling of the generated photons and can lead to a fully integrated solution. The proposed design can be useful for fusion-based quantum computation and for multiplexed single photon sources and also for efficient on-chip generation and detection of squeezed light.


title: Tight lower bound on $|A+\lambda A|$ for algebraic integer $\lambda$

abstract: We prove an asymptotically tight lower bound on $|A+\lambda A|$ for $A\subset \mathbb{C}$ and algebraic integer $\lambda$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+\tau K$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linear operator $\tau\colon\mathbb{R}^d\to \mathbb{R}^d$, obtained in our previous work.


title: Multifractal detrended fluctuation analysis of temeprature in Spain (1960-2019)

abstract: In the last decades, an ever-growing number of studies are focusing on the extreme weather conditions related to the climate change. Some of them are based on multifractal approaches, such as the Multifractal Detrended Fluctuation Analysis (MF-DFA), which has been used in this work. Daily diurnal temperature range (DTR), maximum, minimum and mean temperature from five coastal and five mainland stations in Spain have been analyzed. For comparison, two periods of 30 years have been considered: 1960-1989 and 1990-2019. By using the MF-DFA method, generalized Hurst exponents and multifractal spectra have been obtained. Outcomes corroborate that all these temperature variables have multifractal nature and show changes in multifractal properties between both periods. Also, Hurst exponents values indicate that all time series exhibit long-range correlations and a stationary behavior. Coastal locations exhibit in general wider spectra for minimum and mean temperature than for maximum and DTR, in both periods. On the contrary, the mainland ones do not show this pattern. Also, width from multifractal spectra of these two variables (minimum and mean temperature) is shortened in the last period in almost every case. To authors' mind, changes in multifractal features might be related to the climate change experienced in the studied region. Furthermore, reduction of spectra width for minimum and mean temperature implies a decrease of the complexity of these temperature variables between both studied periods. Finally, the wider spectra found in coastal stations might be useful as a discriminator element to improve climate models.


title: MoCo-Transfer: Investigating out-of-distribution contrastive learning for limited-data domains

abstract: Medical imaging data is often siloed within hospitals, limiting the amount of data available for specialized model development. With limited in-domain data, one might hope to leverage larger datasets from related domains. In this paper, we analyze the benefit of transferring self-supervised contrastive representations from moment contrast (MoCo) pretraining on out-of-distribution data to settings with limited data. We consider two X-ray datasets which image different parts of the body, and compare transferring from each other to transferring from ImageNet. We find that depending on quantity of labeled and unlabeled data, contrastive pretraining on larger out-of-distribution datasets can perform nearly as well or better than MoCo pretraining in-domain, and pretraining on related domains leads to higher performance than if one were to use the ImageNet pretrained weights. Finally, we provide a preliminary way of quantifying similarity between datasets.


title: Synthetically Enhanced: Unveiling Synthetic Data's Potential in Medical Imaging Research

abstract: Chest X-rays (CXR) are the most common medical imaging study and are used to diagnose multiple medical conditions. This study examines the impact of synthetic data supplementation, using diffusion models, on the performance of deep learning (DL) classifiers for CXR analysis. We employed three datasets: CheXpert, MIMIC-CXR, and Emory Chest X-ray, training conditional denoising diffusion probabilistic models (DDPMs) to generate synthetic frontal radiographs. Our approach ensured that synthetic images mirrored the demographic and pathological traits of the original data. Evaluating the classifiers' performance on internal and external datasets revealed that synthetic data supplementation enhances model accuracy, particularly in detecting less prevalent pathologies. Furthermore, models trained on synthetic data alone approached the performance of those trained on real data. This suggests that synthetic data can potentially compensate for real data shortages in training robust DL models. However, despite promising outcomes, the superiority of real data persists.


title: Subregion Independence in Gravity

abstract: In gravity, spacelike separated regions can be dependent on each other due to the constraint equations. In this paper, we give a natural definition of subsystem independence and gravitational dressing of perturbations in classical gravity. We find that extremal surfaces, non-perturbative lumps of matter, and generic trapped surfaces are structures that enable dressing and subregion independence. This leads to a simple intuitive picture for why extremal surfaces tend to separate independent subsystems. The underlying reason is that localized perturbations on one side of an extremal surface contribute negatively to the mass on the other side, making the gravitational constraints behave as if there exist both negative and positive charges. Our results support the consistency of islands in massless gravity, shed light on the Python's lunch, and provide hints on the nature of the split property in perturbatively quantized general relativity. We also prove a theorem bounding the area of certain surfaces in spherically symmetric asymptotically de Sitter spacetimes from above and below in terms of the horizon areas of de Sitter and Nariai. This theorem implies that it is impossible to deform a single static patch without also deforming the opposite patch, provided we assume spherical symmetry and an energy condition.


title: To Translate or Not to Translate: A Systematic Investigation of Translation-Based Cross-Lingual Transfer to Low-Resource Languages

abstract: Perfect machine translation (MT) would render cross-lingual transfer (XLT) by means of multilingual language models (LMs) superfluous. Given, on one hand, the large body of work on improving XLT with multilingual LMs and, on the other hand, recent advances in massively multilingual MT, in this work, we systematically evaluate existing and propose new translation-based XLT approaches for transfer to low-resource languages. We show that all translation-based approaches dramatically outperform zero-shot XLT with multilingual LMs, rendering the approach that combines the round-trip translation of the source-language training data with the translation of the target-language test instances the most effective. We next show that one can obtain further empirical gains by adding reliable translations to other high-resource languages to the training data. Moreover, we propose an effective translation-based XLT strategy even for languages not supported by the MT system. Finally, we show that model selection for XLT based on target-language validation data obtained with MT outperforms model selection based on the source-language data. We hope that our findings encourage adoption of more robust translation-based baselines in XLT research.


title: Unique Asymptotics of Steady Ricci Solitons with Symmetry

abstract: In this paper we study 4d gradient steady Ricci solitons, which are weak $\kappa$-solutions, and admit O(3)-symmetry. Under a weak curvature decay condition, we find precise geometric asymptotics of such solitons, which are similar to those for 3d compact $\kappa$-solutions found in [ABDS22]. This is the first step towards the classification of 4d gradient steady Ricci solitons and more general ancient Ricci flows.


title: Alternatives to the Scaled Dot Product for Attention in the Transformer Neural Network Architecture

abstract: The transformer neural network architecture uses a form of attention in which the dot product of query and key is divided by the square root of the key dimension before applying softmax. This scaling of the dot product is designed to avoid the absolute value of the dot products becoming so large that applying softmax leads to vanishing gradients. In this paper, we propose some alternative scalings, including dividing the dot product instead by the sum of the key lengths before applying softmax. We use simulated keys and queries to show that in many situations this appears to be more effective at avoiding regions where applying softmax leads to vanishing gradients.


title: Singular Lagrangians and the Faddeev-Jackiw Formalism in Classical Mechanics

abstract: Classical mechanical systems with internal constraints will be examined using the extended symplectic formalism of Faddeev-Jackiw. We will derive the generalized brackets of the theory and the corresponding equations of motion. The investigation will include the analysis of a gauge system, leading to the identification of associated gauge transformations. The obtained results will be compared with those obtained through the Dirac-Bergmann algorithm, as previously documented in the literature. The symplectic approach turns out to be simpler and efficient compared to the Dirac methods in its mathematical operations, and easy for computer implementation.


title: Decentralized Feedback Optimization via Sensitivity Decoupling: Stability and Sub-optimality

abstract: Online feedback optimization is a controller design paradigm for optimizing the steady-state behavior of a dynamical system. It employs an optimization algorithm as a dynamic feedback controller and utilizes real-time measurements to bypass knowing exact plant dynamics and disturbances. Different from existing centralized settings, we present a fully decentralized feedback optimization controller for networked systems to lift the communication burden and improve scalability. We approximate the overall input-output sensitivity matrix through its diagonal elements, which capture local model information. For the closed-loop behavior, we characterize the stability and bound the sub-optimality due to decentralization. We prove that the proposed decentralized controller yields solutions that correspond to the Nash equilibria of a non-cooperative game.


title: Technique for a direct measurement of the cesium anapole moment using coherent rf and Raman interactions

abstract: We report progress toward measurements of the electric dipole (E1) transition moments between hyperfine components of the ground state of atomic cesium. This transition is weakly E1 allowed due to weak interactions between nucleons within the nucleus, which lead to a parity-odd current distribution and its associated anapole moment. In this report, we discuss the experimental geometry of our measurement scheme, explore the effects of extraneous fields that can obscure the signal, present initial measurements, analyze the sources and magnitudes of measurement noise, and suggest improvements to the current apparatus.


title: When Large Language Models contradict humans? Large Language Models' Sycophantic Behaviour

abstract: Large Language Models have been demonstrating the ability to solve complex tasks by delivering answers that are positively evaluated by humans due in part to the intensive use of human feedback that refines responses. However, the suggestibility transmitted through human feedback increases the inclination to produce responses that correspond to the users' beliefs or misleading prompts as opposed to true facts, a behaviour known as sycophancy. This phenomenon decreases the bias, robustness, and, consequently, their reliability. In this paper, we shed light on the suggestibility of Large Language Models (LLMs) to sycophantic behaviour, demonstrating these tendencies via human-influenced prompts over different tasks. Our investigation reveals that LLMs show sycophantic tendencies when responding to queries involving subjective opinions and statements that should elicit a contrary response based on facts. In contrast, when confronted with mathematical tasks or queries that have an objective answer, these models at various scales seem not to follow the users' hints by demonstrating confidence in delivering the correct answers.


title: Heteroskedasticity as a Signature of Association for Age-Related Genes

abstract: Human aging is a process controlled by both genetics and environment. Many studies have been conducted to identify a subset of genes related to aging from the human genome. Biologists implicitly categorize age-related genes into genes that cause aging and genes that are influenced by aging, which resulted in both causal inference and inference of associations studies. While inference of association is better explored, causal inference and computational causal inference, remains less explored. In this work, we are primarily motivated to tackle the problem of identifying genes associated with aging, while having a brief look into genes with probable causal relations, both from a computational perspective. Specifically, we form a set of hypotheses and accordingly, introduce a data-tailored framework for inference. First we perform linear modeling on the expression values of age-related genes, and then examine the presence of heteroskedastic properties in the residual of the model. We evaluate this framework and our results suggest that, 1) presence of heteroskedasticity in these residuals is a potential signature of association for age-related genes, and 2) consistent heteroskedasticity along the human life span could imply some sort of causality. To our knowledge, along with identifying age-associated genes, this is the first work to propose a framework for computational causal inference on age-related genes, using a dataset of human dermal fibroblast gene expression data. Hence the results of our simple, yet effective approach can be used not only to assess future age-related genes, but also as a possible criterion to select new associative or potential causal genes with respect to aging.


title: Strong coupling quantum impurity solver on the real and imaginary axis

abstract: The diagramatic Monte Carlo method has so far been primarily used in connection with the weak coupling expansion. Here we show that the strong coupling expansion offers a significant advantage: it can be efficiently implemented on both the real and the imaginary axis at finite temperature. Using the example of a quantum impurity solver for the Dynamical Mean Field Theory (DMFT) problem, we illustrate rapid convergence with respect to the expansion order. We derive a closed-form expression for the Feynman diagrams of arbitrary order on the real axis. Employing these Feynman rules, we implement the bold hybridization-expansion quantum Monte Carlo (BHQMC) impurity solver and compare its performance to state-of-the-art results from Numerical Renormalization Group calculations of the Mott transition within DMFT applied to the Hubbard model. We demonstrate its power in providing a very precise frequency dependent scattering rate at finite temperature, enabling accurate spectroscopy calculations and delivering benchmark results for transport within DMFT.


title: Leveraging machine learning to enhance climate models: a review

abstract: Recent achievements in machine learning (Ml) have had a significant impact on various fields, including climate science. Climate modeling is very important and plays a crucial role in shaping the decisions of governments and individuals in mitigating the impact of climate change. Climate change poses a serious threat to humanity, however, current climate models are limited by computational costs, uncertainties, and biases, affecting their prediction accuracy. The vast amount of climate data generated by satellites, radars, and earth system models (ESMS) poses a significant challenge. ML techniques can be effectively employed to analyze this data and extract valuable insights that aid in our understanding of the earth climate. This review paper focuses on how ml has been utilized in the last 5 years to boost the current state-of-the-art climate models. We invite the ml community to join in the global effort to accurately model the earth climate by collaborating with other fields to leverage ml as a powerful tool in this endeavor.


title: A low-delay reference tracking algorithm for microwave measurement and control

abstract: In FEL (Free-Electron Laser) accelerators, LLRF (Low-Level Radiofrequency) systems usually deploy feedback or feedforward algorithms requiring precise microwave measurement. The slow drift of the clock allocation network of LLRF significantly impacts the measured microwave phase, thereby affecting the stability of the closed-loop operation. The reference tracking algorithm is used to eliminate the measurement drift. The conventional algorithm is to perform phase and amplitude demodulation on the synchronous reference signal from the main oscillator and subtract the reference phase in other measurement channels. The demodulation is usually based on the CORDIC, which requires approximately 16 clock cycles in FPGA (Field Programmable Gate Arrays). This paper uses the multiplication of complex numbers, which only requires four clock cycles of computational delay and achieves phase subtraction point by point. However, experiments show that it causes irrelevant amplitude noise to overlap and increase the amplitude measurement noise. Nevertheless, this reference tracking algorithm is suitable for control algorithms with low-delay requirements of microwave measurement.


title: An Integrated Multi-Physics Optimization Framework for Particle Accelerator Design

abstract: The overarching goal of beamline design is to achieve a high brightness electron beam from the beamline. Traditional beamline design studies involved separate optimizations of radio-frequency cavities, magnets, and beam dynamics using different codes and pursuing various intermediate objectives. In this work, we present a novel unified global optimization framework that integrates multiple physics modules for beamline design as simulation functions for a two-stage global optimization solver.


title: Low-level radiofrequency system upgrade for the Dalian Coherent Light Source

abstract: DCLS (Dalian Coherent Light Source) is an FEL (Free-Electron Laser) user facility at EUV (Extreme Ultraviolet). The primary accelerator of DCLS operates at a repetition rate of 20 Hz, and the beam is divided at the end of the linear accelerator through Kicker to make two 10 Hz beamlines work simultaneously. In the past year, we have completed the upgrade of the DCLS LLRF (Low-Level Radiofrequency) system, including setting the microwave amplitude and phase for two beamlines based on event timing, optimizing the microwave stability, and generating microwave excitation with the arbitrary shape of amplitude and phase. We added two special event codes and a repetition rate division of 10 Hz in the event timing system and set the microwave amplitude and phase by judging the event code in LLRF. The amplitude and phase stability of the microwave was improved with an intra-pulse feedforward algorithm. In addition, we have also generated microwave excitation with arbitrary amplitude and phase shapes to meet the dual beam operation in the future. Detailed information on functions or algorithms will be presented in this paper.


title: Preliminary Design of CSNS-II Linac SRF LLRF

abstract: China Spallation Neutron Source(CSNS) target power will upgrade to 500 kW(CSNS-II) from 300kW, energy gain of H-Linac will up to 300 MeV from 80 MeV using about 50 superconductor cavities. LLRF is an important device for controlling the amplitude and phase of the SRF cavity field to be less than 0.6% and 0.6 deg. The parameters and requirements for CSNS-II Linac LLRF are presented here. The preliminary design work and algorithm verification progress and results at C-ADS Injector-I are introduced.


title: Unlearning regularization for Boltzmann Machines

abstract: Boltzmann Machines (BMs) are graphical models with interconnected binary units, employed for the unsupervised modeling of data distributions. When trained on real data, BMs show the tendency to behave like critical systems, displaying a high susceptibility of the model under a small rescaling of the inferred parameters. This behaviour is not convenient for the purpose of generating data, because it slows down the sampling process, and induces the model to overfit the training-data. In this study, we introduce a regularization method for BMs to improve the robustness of the model under rescaling of the parameters. The new technique shares formal similarities with the unlearning algorithm, an iterative procedure used to improve memory associativity in Hopfield-like neural networks. We test our unlearning regularization on synthetic data generated by two simple models, the Curie-Weiss ferromagnetic model and the Sherrington-Kirkpatrick spin glass model. We show that it outperforms $L_p$-norm schemes and discuss the role of parameter initialization. Eventually, the method is applied to learn the activity of real neuronal cells, confirming its efficacy at shifting the inferred model away from criticality and coming out as a powerful candidate for actual scientific implementations.


title: Change-point Inference for High-dimensional Heteroscedastic Data

abstract: We propose a bootstrap-based test to detect a mean shift in a sequence of high-dimensional observations with unknown time-varying heteroscedasticity. The proposed test builds on the U-statistic based approach in Wang et al. (2022), targets a dense alternative, and adopts a wild bootstrap procedure to generate critical values. The bootstrap-based test is free of tuning parameters and is capable of accommodating unconditional time varying heteroscedasticity in the high-dimensional observations, as demonstrated in our theory and simulations. Theoretically, we justify the bootstrap consistency by using the recently proposed unconditional approach in Bucher and Kojadinovic (2019). Extensions to testing for multiple change-points and estimation using wild binary segmentation are also presented. Numerical simulations demonstrate the robustness of the proposed testing and estimation procedures with respect to different kinds of time-varying heteroscedasticity.


title: The Landau equation does not blow up

abstract: We consider solutions to the space-homogeneous Landau equation with a general family of interaction potentials. We prove that their Fisher information is monotone decreasing in time. The class of interaction potentials covered by our result includes the case of the Landau equation with Coulomb interactions. As a consequence of the global boundedness of the Fisher information, we deduce that solutions to the space-homogeneous Landau equation never blow up.


title: The Kakimizu complex for genus one hyperbolic knots in the 3-sphere

abstract: The Kakimizu complex $MS(K)$ for a knot $K\subset\mathbb{S}^3$ is the simplicial complex with vertices the isotopy classes of minimal genus Seifert surfaces in the exterior of $K$ and simplices any set of vertices with mutually disjoint representative surfaces. In this paper we determine the structure of the Kakimizu complex $MS(K)$ of genus one hyperbolic knots $K\subset\mathbb{S}^3$. In contrast with the case of hyperbolic knots of higher genus, it is known that the dimension $d$ of $MS(K)$ is universally bounded by $4$, and we show that $MS(K)$ consists of a single $d$-simplex for $d=0,4$ and otherwise of at most two $d$-simplices which intersect in a common $(d-1)$-face. For the cases $1\leq d\leq 3$ we also construct infinitely many examples of such knots where $MS(K)$ consists of two $d$-simplices.


title: Predicting generalization performance with correctness discriminators

abstract: The ability to predict an NLP model's accuracy on unseen, potentially out-of-distribution data is a prerequisite for trustworthiness. We present a novel model that establishes upper and lower bounds on the accuracy, without requiring gold labels for the unseen data. We achieve this by training a discriminator which predicts whether the output of a given sequence-to-sequence model is correct or not. We show across a variety of tagging, parsing, and semantic parsing tasks that the gold accuracy is reliably between the predicted upper and lower bounds, and that these bounds are remarkably close together.


title: Orthogonal prediction of counterfactual outcomes

abstract: Orthogonal meta-learners, such as DR-learner, R-learner and IF-learner, are increasingly used to estimate conditional average treatment effects. They improve convergence rates relative to na\"{\i}ve meta-learners (e.g., T-, S- and X-learner) through de-biasing procedures that involve applying standard learners to specifically transformed outcome data. This leads them to disregard the possibly constrained outcome space, which can be particularly problematic for dichotomous outcomes: these typically get transformed to values that are no longer constrained to the unit interval, making it difficult for standard learners to guarantee predictions within the unit interval. To address this, we construct orthogonal meta-learners for the prediction of counterfactual outcomes which respect the outcome space. As such, the obtained i-learner or imputation-learner is more generally expected to outperform existing learners, even when the outcome is unconstrained, as we confirm empirically in simulation studies and an analysis of critical care data. Our development also sheds broader light onto the construction of orthogonal learners for other estimands.


title: Predicting Spine Geometry and Scoliosis from DXA Scans

abstract: Our objective in this paper is to estimate spine curvature in DXA scans. To this end we first train a neural network to predict the middle spine curve in the scan, and then use an integral-based method to determine the curvature along the spine curve. We use the curvature to compare to the standard angle scoliosis measure obtained using the DXA Scoliosis Method (DSM). The performance improves over the prior work of Jamaludin et al. 2018. We show that the maximum curvature can be used as a scoring function for ordering the severity of spinal deformation.


title: Robust and conservative dynamical low-rank methods for the Vlasov equation via a novel macro-micro decomposition

abstract: Dynamical low-rank (DLR) approximation has gained interest in recent years as a viable solution to the curse of dimensionality in the numerical solution of kinetic equations including the Boltzmann and Vlasov equations. These methods include the projector-splitting and Basis-update & Galerkin (BUG) DLR integrators, and have shown promise at greatly improving the computational efficiency of kinetic solutions. However, this often comes at the cost of conservation of charge, current and energy. In this work we show how a novel macro-micro decomposition may be used to separate the distribution function into two components, one of which carries the conserved quantities, and the other of which is orthogonal to them. We apply DLR approximation to the latter, and thereby achieve a clean and extensible approach to a conservative DLR scheme which retains the computational advantages of the base scheme. Moreover, our approach requires no change to the mechanics of the DLR approximation, so it is compatible with both the BUG family of integrators and the projector-splitting integrator which we use here. We describe a first-order integrator which can exactly conserve charge and either current or energy, as well as an integrator which exactly conserves charge and energy and exhibits second-order accuracy on our test problems. To highlight the flexibility of the proposed macro-micro decomposition, we implement a pair of velocity space discretizations, and verify the claimed accuracy and conservation properties on a suite of plasma benchmark problems.


title: Linear-Cost Vecchia Approximation of Multivariate Normal Probabilities

abstract: Multivariate normal (MVN) probabilities arise in myriad applications, but they are analytically intractable and need to be evaluated via Monte-Carlo-based numerical integration. For the state-of-the-art minimax exponential tilting (MET) method, we show that the complexity of each of its components can be greatly reduced through an integrand parameterization that utilizes the sparse inverse Cholesky factor produced by the Vecchia approximation, whose approximation error is often negligible relative to the Monte-Carlo error. Based on this idea, we derive algorithms that can estimate MVN probabilities and sample from truncated MVN distributions in linear time (and that are easily parallelizable) at the same convergence or acceptance rate as MET, whose complexity is cubic in the dimension of the MVN probability. We showcase the advantages of our methods relative to existing approaches using several simulated examples. We also analyze a groundwater-contamination dataset with over twenty thousand censored measurements to demonstrate the scalability of our method for partially censored Gaussian-process models.


title: Killing Spinors for Finite Temperature Euclidean Solutions at the BPS Bound

abstract: In a recent paper [arXiv:2308.00038], Anupam, Chowdhury, and Sen conjectured that the finite temperature Euclidean five-dimensional Cvetic-Youm solution saturating the BPS bound is supersymmetric. In this paper, we explicitly construct Killing spinors for this solution in five-dimensional minimal supergravity. We also expand on the previous discussions of Killing spinors for the finite temperature Euclidean Kerr-Newman solution saturating the BPS bound. For both these cases, we show that the total charge gets divided into two harmonic sources on three-dimensional flat base space.


title: Beyond Detection: Unveiling Fairness Vulnerabilities in Abusive Language Models

abstract: This work investigates the potential of undermining both fairness and detection performance in abusive language detection. In a dynamic and complex digital world, it is crucial to investigate the vulnerabilities of these detection models to adversarial fairness attacks to improve their fairness robustness. We propose a simple yet effective framework FABLE that leverages backdoor attacks as they allow targeted control over the fairness and detection performance. FABLE explores three types of trigger designs (i.e., rare, artificial, and natural triggers) and novel sampling strategies. Specifically, the adversary can inject triggers into samples in the minority group with the favored outcome (i.e., "non-abusive") and flip their labels to the unfavored outcome, i.e., "abusive". Experiments on benchmark datasets demonstrate the effectiveness of FABLE attacking fairness and utility in abusive language detection.


title: New configurations of the interface between innovation and urban spatial agglomeration: the localized industrial systems (lis) of the clothing in Fortaleza/Brazil

abstract: The paper seeks to interpret the interface between innovation, industry and urban business agglomeration, by trying to understand how local/regional entrepreneurs and social agents use the forces of agglomeration to organize productive activities with a view to achieving greater competitiveness and strategic advantages. There are many territorial manifestations that materialize from this new reality and the text seeks to propose a reading of its characteristics based on what we call "productive spatial configurations", which represent the specific functioning of a certain innovative production process and its territorial impact. To illustrate this approach, we take as an example a case study that illustrates how productive spatial configurations manifest themselves through the revitalization of an industrial economy that incorporates innovative efforts, whether technological, process or organizational. This is the localized industrial system (LIS) of clothing and apparel in Fortaleza, Cear\'a state, Brazil, which reveals an industrial experience of resistance with significant organizational innovation in the production and distribution processes of clothing. The main objective of the proposal is to organize theoretical and empirical tools that will allow us to read the combination of economic, social and political variables in spaces where collaborative networks of companies, service centers and public institutions flourish, in the context of various industrial production processes. This could point to the progress we need to overcome the many false controversies on the subject.


title: Coupled stack-up volume RF coils for low-field MR imaging

abstract: The advent of low field open magnetic resonance imaging (MRI) systems has greatly expanded the accessibility of MRI technology to meet a wide range of patient needs. However, the inherent challenges of low-field MRI, such as limited signal-to-noise ratios and limited availability of dedicated RF coil, have prompted the need for innovative coil designs that can improve imaging quality and diagnostic capabilities. In response to these challenges, we introduce the coupled stack-up volume coil, a novel RF coil design that addresses the shortcomings of conventional birdcage in the context of low field open MRI. The proposed coupled stack-up volume coil design utilizes a unique architecture that optimizes both transmit/receive efficiency and RF field homogeneity and offers the advantage of a simple design and construction, making it a practical and feasible solution for low field MRI applications. This paper presents a comprehensive exploration of the theoretical framework, design considerations, and experimental validation of this innovative coil design. Through rigorous analysis and empirical testing, we demonstrate the superior performance of the coupled stack-up volume coil in achieving improved transmit/receive efficiency and more uniform magnetic field distribution compared to traditional birdcage coils.


title: Striped Attention: Faster Ring Attention for Causal Transformers

abstract: To help address the growing demand for ever-longer sequence lengths in transformer models, Liu et al. recently proposed Ring Attention, an exact attention algorithm capable of overcoming per-device memory bottle- necks by distributing self-attention across multiple devices. In this paper, we study the performance characteristics of Ring Attention in the important special case of causal transformer models, and identify a key workload imbal- ance due to triangular structure of causal attention computations. We propose a simple extension to Ring Attention, which we call Striped Attention to fix this imbalance. Instead of devices having contiguous subsequences, each device has a subset of tokens distributed uniformly throughout the sequence, which we demonstrate leads to more even workloads. In experiments running Striped Attention on A100 GPUs and TPUv4s, we are able to achieve up to 1.45x end-to-end throughput improvements over the original Ring Attention algorithm on causal transformer training at a sequence length of 256k. Furthermore, on 16 TPUv4 chips, we were able to achieve 1.65x speedups at sequence lengths of 786k. We release the code for our experiments as open source


title: Urban economics of migration in the cities of the northeast region of Brazil

abstract: The focus of this text is to discuss how geographical science can contribute to an understanding of international migration in the 21st century. To this end, in the introduction we present the central ideas, as well as the internal structure of the text. Then, we present the theoretical and methodological approach that guides the research and, in section three, we show the results through texts and cartograms based on secondary data and empirical information. Finally, in the final remarks, we summarize the text with a view to contributing to the proposed debate.


title: Backdoor Activation Attack: Attack Large Language Models using Activation Steering for Safety-Alignment

abstract: To ensure AI safety, instruction-tuned Large Language Models (LLMs) are specifically trained to ensure alignment, which refers to making models behave in accordance with human intentions. While these models have demonstrated commendable results on various safety benchmarks, the vulnerability of their safety alignment has not been extensively studied. This is particularly troubling given the potential harm that LLMs can inflict. Existing attack methods on LLMs often rely on poisoned training data or the injection of malicious prompts. These approaches compromise the stealthiness and generalizability of the attacks, making them susceptible to detection. Additionally, these models often demand substantial computational resources for implementation, making them less practical for real-world applications. Inspired by recent success in modifying model behavior through steering vectors without the need for optimization, and drawing on its effectiveness in red-teaming LLMs, we conducted experiments employing activation steering to target four key aspects of LLMs: truthfulness, toxicity, bias, and harmfulness - across a varied set of attack settings. To establish a universal attack strategy applicable to diverse target alignments without depending on manual analysis, we automatically select the intervention layer based on contrastive layer search. Our experiment results show that activation attacks are highly effective and add little or no overhead to attack efficiency. Additionally, we discuss potential countermeasures against such activation attacks. Our code and data are available at https://github.com/wang2226/Backdoor-Activation-Attack Warning: this paper contains content that can be offensive or upsetting.


title: All We Are Is Dust In The WIM: Constraints on Dust Properties in the Milky Way's Warm Ionized Medium

abstract: We present a comparison of the presence and properties of dust in two distinct phases of the Milky Way's interstellar medium: the warm neutral medium (WNM) and the warm ionized medium (WIM). Using distant pulsars at high Galactic latitudes and vertical distance ($|b| > 40\deg$, $D \sin|b| > 2 \mathrm{\,\, kpc}$) as probes, we measure their dispersion measures and the neutral hydrogen component of the warm neutral medium ($\text{WNM}_\text{HI}$) using HI column density. Together with dust intensity along these same sightlines, we separate the respective dust contributions of each ISM phase in order to determine whether the ionized component contributes to the dust signal. We measure the temperature ($T$), spectral index ($\beta$), and dust opacity ($\tau/N_{H}$) in both phases. We find $T~{\text{(WNM}_\text{HI})}=20^{+3}_{-2}$~K, $\beta~{\text{(WNM}_\text{HI})} = 1.5\pm{0.4}$, and $\tau_{\text{353}}/N_{H}~{\text{(WNM}_\text{HI})}=(1.0\pm0.1)\times 10^{-26}$~cm$^2$. Assuming that the temperature and spectral index are the same in both the WNM$_\text{HI}$ and WIM, and given our simple model that widely separated lines-of-sight can be fit together, we find evidence that there is a dust signal associated with the ionized gas and $\tau_{\text{353}}/N_{H}~\text{(WIM)}=(0.3\pm0.3)\times 10^{-26}$, which is about three times smaller than $\tau_{\text{353}}/N_{H}~{\text{(WNM}_\text{HI})}$. We are 80% confident that $\tau_{\text{353}}/N_{H}~\text{(WIM)}$ is at least two times smaller than $\tau_{\text{353}}/N_{H}~{\text{(WNM}_\text{HI})}$.


title: Estimating Functionals of the Joint Distribution of Potential Outcomes with Optimal Transport

abstract: Many causal parameters depend on a moment of the joint distribution of potential outcomes. Such parameters are especially relevant in policy evaluation settings, where noncompliance is common and accommodated through the model of Imbens & Angrist (1994). This paper shows that the sharp identified set for these parameters is an interval with endpoints characterized by the value of optimal transport problems. Sample analogue estimators are proposed based on the dual problem of optimal transport. These estimators are root-n consistent and converge in distribution under mild assumptions. Inference procedures based on the bootstrap are straightforward and computationally convenient. The ideas and estimators are demonstrated in an application revisiting the National Supported Work Demonstration job training program. I find suggestive evidence that workers who would see below average earnings without treatment tend to see above average benefits from treatment.


title: A characterization of piecewise $\mathcal{F}$-syndetic sets

abstract: Some filter relative notions of size, $\left( \mathcal{F},\mathcal{G}\right) $-syndeticity and piecewise $\mathcal{F} $-syndeticity, were defined and applied with clarity and focus by Shuungula, Zelenyuk and Zelenyuk in their paper ``The closure of the smallest ideal of an ultrafilter semigroup.'' These notions are generalizations of the well studied notions of syndeticity and piecewise syndeticity. Since then, there has been an effort to develop the theory around the algebraic structure of the Stone-\v{C}ech compactification so that it encompasses these new generalizations. In this direction, we prove a characterization of piecewise $\mathcal{F}$-syndetic sets. This fully answers a conjecture of Christopherson and Johnson. arXiv:2105.09723


title: Entangleware Sequencer: A Control Platform for Atomic Physics Experiments

abstract: Experimental quantum physics and computing platforms rely on sophisticated computer control and timing systems that must be deterministic. An exemplar is the sequence used to create a Bose-Einstein condensate at the University of Illinois, which involves 46,812 analog and digital transitions over 100 seconds with 20 ns timing precision and nanosecond timing drift. We present a control and sequencing platform, using industry-standard National Instruments hardware to generate the necessary digital and analog signals, that achieves this level of performance. The system uses a master 10 MHz reference clock that is conditioned to the Global Positioning Satellite constellation and leverages low-phase-noise clock distribution hardware for timing stability. A Python-based user front-end provides a flexible language to describe experimental procedures and easy-to-implement version control. A library of useful peripheral hardware that can be purchased as low-cost evaluation boards provides enhanced capabilities. We provide a GitHub repository containing example python sequences and libraries for peripheral devices as a resource for the community.


title: Labeled Interactive Topic Models

abstract: Topic models are valuable for understanding extensive document collections, but they don't always identify the most relevant topics. Classical probabilistic and anchor-based topic models offer interactive versions that allow users to guide the models towards more pertinent topics. However, such interactive features have been lacking in neural topic models. To correct this lacuna, we introduce a user-friendly interaction for neural topic models. This interaction permits users to assign a word label to a topic, leading to an update in the topic model where the words in the topic become closely aligned with the given label. Our approach encompasses two distinct kinds of neural topic models. The first includes models where topic embeddings are trainable and evolve during the training process. The second kind involves models where topic embeddings are integrated post-training, offering a different approach to topic refinement. To facilitate user interaction with these neural topic models, we have developed an interactive interface. This interface enables users to engage with and re-label topics as desired. We evaluate our method through a human study, where users can relabel topics to find relevant documents. Using our method, user labeling improves document rank scores, helping to find more relevant documents to a given query when compared to no user labeling.


title: Learning Hyperplanes for Multi-Agent Collision Avoidance in Space

abstract: A core challenge of multi-robot interactions is collision avoidance among robots with potentially conflicting objectives. We propose a game-theoretic method for collision avoidance based on rotating hyperplane constraints. These constraints ensure collision avoidance by defining separating hyperplanes that rotate around a keep-out zone centered on certain robots. Since it is challenging to select the parameters that define a hyperplane without introducing infeasibilities, we propose to learn them from an expert trajectory i.e., one collected by recording human operators. To do so, we solve for the parameters whose corresponding equilibrium trajectory best matches the expert trajectory. We validate our method by learning hyperplane parameters from noisy expert trajectories and demonstrate the generalizability of the learned parameters to scenarios with more robots and previously unseen initial conditions.


title: On the Relevance of Blockchain Evaluations on Bare Metal

abstract: In this paper, we present the first bare metal comparison of modern blockchains, including Algorand, Avalanche, Diem, Ethereum, Quorum and Solana. This evaluation was conducted with the recent Diablo benchmark suite, a framework to evaluate the performance of different blockchains on the same ground. By tuning network delays in our controlled environment we were able to reproduce performance trends obtained in geo-distributed settings, hence demonstrating the relevance of bare metal evaluations to better understand blockchain performance.


title: Exploring the Privacy-Energy Consumption Tradeoff for Split Federated Learning

abstract: Split Federated Learning (SFL) has recently emerged as a promising distributed learning technology, leveraging the strengths of both federated and split learning. It emphasizes the advantages of rapid convergence while addressing privacy concerns. As a result, this innovation has received significant attention from both industry and academia. However, since the model is split at a specific layer, known as a cut layer, into both client-side and server-side models for the SFL, the choice of the cut layer in SFL can have a substantial impact on the energy consumption of clients and their privacy, as it influences the training burden and the output of the client-side models. In this article, we provide a comprehensive overview of the SFL process and thoroughly analyze energy consumption and privacy. This analysis considers the influence of various system parameters on the cut layer selection strategy. Additionally, we provide an illustrative example of the cut layer selection, aiming to minimize clients' risk of reconstructing the raw data at the server while sustaining energy consumption within the required energy budget, which involves trade-offs. Finally, we address open challenges in this field. These directions represent promising avenues for future research and development.


title: Local spline refinement driven by fault jump estimates for scattered data approximation

abstract: We present new fault jump estimates to guide local refinement in surface approximation schemes with adaptive spline constructions. The proposed approach is based on the idea that, since discontinuities in the data should naturally correspond to sharp variations in the reconstructed surface, the location and size of jumps detected in the input point cloud should drive the mesh refinement algorithm. To exploit the possibility of inserting local meshlines in one or the other coordinate direction, as suggested by the jump estimates, we propose a quasi-interpolation (QI) scheme based on locally refined B-splines (LR B-splines). Particular attention is devoted to the construction of the local operator of the LR B-spline QI scheme, which properly adapts the spline approximation according to the nature and density of the scattered data configuration. A selection of numerical examples outlines the performance of the method on synthetic and real datasets characterized by different geographical features.


title: Subtle Misogyny Detection and Mitigation: An Expert-Annotated Dataset

abstract: Using novel approaches to dataset development, the Biasly dataset captures the nuance and subtlety of misogyny in ways that are unique within the literature. Built in collaboration with multi-disciplinary experts and annotators themselves, the dataset contains annotations of movie subtitles, capturing colloquial expressions of misogyny in North American film. The dataset can be used for a range of NLP tasks, including classification, severity score regression, and text generation for rewrites. In this paper, we discuss the methodology used, analyze the annotations obtained, and provide baselines using common NLP algorithms in the context of misogyny detection and mitigation. We hope this work will promote AI for social good in NLP for bias detection, explanation, and removal.


title: Regularization of linear impulsive boundary-value problems for system of integro-differential equations

abstract: By the theory of pseudoinverse matrices and orthoprojectors, we establish a criterion for the solvability and find the general form of solutions of an integrodifferential equation with with impulse action and control. The general form of control for which these solutions exist is also determined. 9 pages. The publication contains the research results of project No.2020.02/0089 with the grant support of the National Research Fund of Ukraine.


title: A Software-Hardware Co-Optimized Toolkit for Deep Reinforcement Learning on Heterogeneous Platforms

abstract: Deep Reinforcement Learning (DRL) is vital in various AI applications. DRL algorithms comprise diverse compute kernels, which may not be simultaneously optimized using a homogeneous architecture. However, even with available heterogeneous architectures, optimizing DRL performance remains a challenge due to the complexity of hardware and programming models employed in modern data centers. To address this, we introduce PEARL, a toolkit for composing parallel DRL systems on heterogeneous platforms consisting of general-purpose processors (CPUs) and accelerators (GPUs, FPGAs). Our innovations include: 1. A general training protocol agnostic of the underlying hardware, enabling portable implementations across various processors and accelerators. 2. Incorporation of DRL-specific scheduling optimizations within the protocol, facilitating parallelized training and enhancing the overall system performance. 3. High-level API for productive development using the toolkit. 4. Automatic optimization of DRL task-to-device assignments through performance estimation, supporting various optimization metrics including throughput and power efficiency. We showcase our toolkit through experimentation with two widely used DRL algorithms, DQN and DDPG, on two diverse heterogeneous platforms. The generated implementations outperform state-of-the-art libraries for CPU-GPU platforms by throughput improvements of up to 2.1$\times$ and power efficiency improvements of up to 3.4$\times$.


title: On simulation-based inference for implicitly defined models

abstract: In many applications, a stochastic system is studied using a model implicitly defined via a simulator. We develop a simulation-based parameter inference method for implicitly defined models. Our method differs from traditional likelihood-based inference in that it uses a metamodel for the distribution of a log-likelihood estimator. The metamodel is built on a local asymptotic normality (LAN) property satisfied by the simulation-based log-likelihood estimator under certain conditions. A method for hypothesis test is developed under the metamodel. Our method can enable accurate parameter estimation and uncertainty quantification where other Monte Carlo methods for parameter inference become highly inefficient due to large Monte Carlo variance. We demonstrate our method using numerical examples including a mechanistic model for the population dynamics of infectious disease.


title: How Trustworthy are Open-Source LLMs? An Assessment under Malicious Demonstrations Shows their Vulnerabilities

abstract: The rapid progress in open-source Large Language Models (LLMs) is significantly driving AI development forward. However, there is still a limited understanding of their trustworthiness. Deploying these models at scale without sufficient trustworthiness can pose significant risks, highlighting the need to uncover these issues promptly. In this work, we conduct an adversarial assessment of open-source LLMs on trustworthiness, scrutinizing them across eight different aspects including toxicity, stereotypes, ethics, hallucination, fairness, sycophancy, privacy, and robustness against adversarial demonstrations. We propose advCoU, an extended Chain of Utterances-based (CoU) prompting strategy by incorporating carefully crafted malicious demonstrations for trustworthiness attack. Our extensive experiments encompass recent and representative series of open-source LLMs, including Vicuna, MPT, Falcon, Mistral, and Llama 2. The empirical outcomes underscore the efficacy of our attack strategy across diverse aspects. More interestingly, our result analysis reveals that models with superior performance in general NLP tasks do not always have greater trustworthiness; in fact, larger models can be more vulnerable to attacks. Additionally, models that have undergone instruction tuning, focusing on instruction following, tend to be more susceptible, although fine-tuning LLMs for safety alignment proves effective in mitigating adversarial trustworthiness attacks.


title: Enhanced hydrodynamic diffusion in dense binary active suspensions

abstract: We study the effect of incorporating passive particles into a dense active suspension. Specifically, we focus on individually immotile active particles, or shakers, whose collective dynamics arise from the activity-induced many-body hydrodynamic interactions. In the absence of Brownian motion, both active and passive particles fluctuate vigorously in space, displaying pronounced hydrodynamic diffusion. The rotational diffusivity of all particles decreases monotonically with the fraction of passive ones; however, surprisingly, the translational diffusivity is nonmonotonic and can be significantly enhanced. This suggests a hydrodynamic coupling of the translational and rotational dynamics, which we find can be attributed to local ordering of the active particles as a result of hydrodynamic interactions. Using a toy model, where passive particles are treated as defects in a lattice of aligned force dipoles, we reveal a simple mechanism by which spatial correlations and inactivity give rise to enhanced diffusion. Our results uncover an unexpected effect of passive particles on the dynamics of active suspensions, providing new possibilities to enhance mixing and modulate mass transport in active fluids.


title: HAL 9000: Skynet's Risk Manager

abstract: Intrusion Tolerant Systems (ITSs) are a necessary component for cyber-services/infrastructures. Additionally, as cyberattacks follow a multi-domain attack surface, a similar defensive approach should be applied, namely, the use of an evolving multi-disciplinary solution that combines ITS, cybersecurity and Artificial Intelligence (AI). With the increased popularity of AI solutions, due to Big Data use-case scenarios and decision support and automation scenarios, new opportunities to apply Machine Learning (ML) algorithms have emerged, namely ITS empowerment. Using ML algorithms, an ITS can augment its intrusion tolerance capability, by learning from previous attacks and from known vulnerabilities. As such, this work's contribution is twofold: (1) an ITS architecture (Skynet) based on the state-of-the-art and incorporates new components to increase its intrusion tolerance capability and its adaptability to new adversaries; (2) an improved Risk Manager design that leverages AI to improve ITSs by automatically assessing OS risks to intrusions, and advise with safer configurations. One of the reasons that intrusions are successful is due to bad configurations or slow adaptability to new threats. This can be caused by the dependency that systems have for human intervention. One of the characteristics in Skynet and HAL 9000 design is the removal of human intervention. Being fully automatized lowers the chance of successful intrusions caused by human error. Our experiments using Skynet, shows that HAL is able to choose 15% safer configurations than the state-of-the-art risk manager.


title: A Unifying View of Fermionic Neural Network Quantum States: From Neural Network Backflow to Hidden Fermion Determinant States

abstract: Among the variational wave functions for Fermionic Hamiltonians, neural network backflow (NNBF) and hidden fermion determinant states (HFDS) are two prominent classes to provide accurate approximations to the ground state. Here we develop a unifying view of fermionic neural quantum states casting them all in the framework of NNBF. NNBF wave-functions have configuration-dependent single-particle orbitals (SPO) which are parameterized by a neural network. We show that HFDS with $r$ hidden fermions can be written as a NNBF with an $r \times r$ determinant Jastrow and a restricted low-rank $r$ additive correction to the SPO. Furthermore, we show that in NNBF wave-functions, such determinant Jastrow's can generically be removed at the cost of further complicating the additive SPO correction increasing its rank by $r$. We numerically and analytically compare additive SPO corrections generated by the product of two matrices with inner dimension $r$. We find that larger $r$ wave-functions span a larger space and give evidence that simpler and more direct updates to the SPO's tend to be more expressive and better energetically. These suggest the standard NNBF approach is preferred amongst other related choices. Finally, we uncover that the row-selection used to select single-particle orbitals allows significant sign and amplitude modulation between nearby configurations and is partially responsible for the quality of NNBF and HFDS wave-functions.


title: Shadow geometry at singular points of CAT(k) spaces

abstract: In any CAT(k) space M, the "shadow" of a tangent vector Z at a point p is the set vectors that form an angle of \pi or more with Z. Taking logarithm maps at points approaching p along a fixed geodesic ray from p with tangent Z collapses the shadow to a single ray while leaving isometrically intact every convex cone that avoids the shadow of Z.


title: Close the Gates to an Inhuman Future: How and why we should choose to not develop superhuman general-purpose artificial intelligence

abstract: Recent dramatic advances in artificial intelligence indicate that in the coming years, humanity may irreversibly cross a threshold by creating superhuman general-purpose AI: AI that is better than humans at cognitive tasks in general in the way that AI is currently unbeatable in certain domains. This would upend core aspects of human society, present many unprecedented risks, and is likely to be uncontrollable in several senses. We can choose to not do so, starting by instituting hard limits - placed at the national and international level, and verified by hardware security measures - on the computation that can be used to train and run neural networks. With these limits in place, AI research and industry can focus on making both narrow and general-purpose AI that humans can understand and control, and from which we can reap enormous benefit.


title: Geometry of measures on smoothly stratified metric spaces

abstract: Any measure $\mu$ on a CAT(k) space M that is stratified as a finite union of manifolds and has local exponential maps near the Fr\'echet mean $\bar\mu$ yields a continuous "tangential collapse" from the tangent cone of M at $\bar\mu$ to a vector space that preserves the Fr\'echet mean, restricts to an isometry on the "fluctuating cone" of directions in which the Fr\'echet mean can vary under perturbation of $\mu$, and preserves angles between arbitrary and fluctuating tangent vectors at the Fr\'echet mean.


title: A central limit theorem for random tangent fields on stratified spaces

abstract: Variation of empirical Fr\'echet means on a metric space with curvature bounded above is encoded via random fields indexed by unit tangent vectors. A central limit theorem shows these random tangent fields converge to a Gaussian such field and lays the foundation for more traditionally formulated central limit theorems in subsequent work.


title: Central limit theorems for Fr\'echet means on stratified spaces

abstract: Fr\'echet means of samples from a probability measure $\mu$ on any smoothly stratified metric space M with curvature bounded above are shown to satisfy a central limit theorem (CLT). The methods and results proceed by introducing and proving analytic properties of the "escape vector" of any finitely supported measure $\delta$ in M, which records infinitesimal variation of the Fr\'echet mean $\bar\mu$ of $\mu$ in response to perturbation of $\mu$ by adding the mass $t\delta$ for $t \to 0$. The CLT limiting distribution $N$ on the tangent cone $T$ at the Fr\'echet mean is characterized in four ways. The first uses tangential collapse $L$ to compare $T$ with a linear space and then applies a distortion map to the usual linear CLT to transfer back to $T$. Distortion is defined by applying escape after taking preimages under $L$. The second characterization constructs singular analogues of Gaussian measures on smoothly stratified spaces and expresses $N$ as the escape vector of any such "Gaussian mass". The third characterization expresses $N$ as the directional derivative, in the space of measures on $M$, of the barycenter map at $\mu$ in the (random) direction given by any Gaussian mass. The final characterization expresses $N$ as the directional derivative, in the space $C$ of continuous real-valued functions on $T$, of a minimizer map, with the derivative taken at the Fr\'echet function $F \in C$ along the (random) direction given by the negative of the Gaussian tangent field induced by $\mu$. Precise mild hypotheses on the measure $\mu$ guarantee these CLTs, whose convergence is proved via the second characterization of $N$ by formulating a duality between Gaussian masses and Gaussian tangent fields.


title: DeepMartNet -- A Martingale Based Deep Neural Network Learning Method for Dirichlet BVPs and Eigenvalue Problems of Elliptic PDEs in R^d

abstract: In this paper, we propose DeepMartNet - a Martingale based deep neural network learning method for solving Dirichlet boundary value problems (BVPs) and eigenvalue problems for elliptic partial differential equations (PDEs) in high dimensions or domains with complex geometries. The method is based on Varadhan's Martingale problem formulation for the BVPs/eigenvalue problems where a loss function enforcing the Martingale property for the PDE solution is used for an efficient optimization by sampling the stochastic processes associated with corresponding elliptic operators. High dimensional numerical results for BVPs of the linear and nonlinear Poisson-Boltzmann equation and eigenvalue problems of the Laplace equation and a Fokker-Planck equation demonstrate the capability of the proposed DeepMartNet learning method in solving high dimensional PDE problems.


title: Plasma Fixed Nitrogen (PFN) Improves Lettuce Field Holding Potential

abstract: We show that plasma fixed nitrogen (PFN) as a biostimulant can improve marketable lettuce yield following delayed harvest. Using just one-tenth of the conventional nitrogen, PFN, generated by a dielectric barrier discharge over water, was field-tested against traditional fertilization methods. PFN increased marketable lettuce yield by 250% over conventional growing methods despite reducing applied nitrogen fertilizer. Our study suggests that PFN can increase marketable lettuce yield following delayed harvest while ensuring environmental sustainability and product quality.