title: Injecting Bias in Text-To-Image Models via Composite-Trigger Backdoors

abstract: Recent advances in large text-conditional image generative models such as Stable Diffusion, Midjourney, and DALL-E 3 have revolutionized the field of image generation, allowing users to produce high-quality, realistic images from textual prompts. While these developments have enhanced artistic creation and visual communication, they also present an underexplored attack opportunity: the possibility of inducing biases by an adversary into the generated images for malicious intentions, e.g., to influence society and spread propaganda. In this paper, we demonstrate the possibility of such a bias injection threat by an adversary who backdoors such models with a small number of malicious data samples; the implemented backdoor is activated when special triggers exist in the input prompt of the backdoored models. On the other hand, the model's utility is preserved in the absence of the triggers, making the attack highly undetectable. We present a novel framework that enables efficient generation of poisoning samples with composite (multi-word) triggers for such an attack. Our extensive experiments using over 1 million generated images and against hundreds of fine-tuned models demonstrate the feasibility of the presented backdoor attack. We illustrate how these biases can bypass conventional detection mechanisms, highlighting the challenges in proving the existence of biases within operational constraints. Our cost analysis confirms the low financial barrier to executing such attacks, underscoring the need for robust defensive strategies against such vulnerabilities in text-to-image generation models.


title: Unsupervised Extraction of Dialogue Policies from Conversations

abstract: Dialogue policies play a crucial role in developing task-oriented dialogue systems, yet their development and maintenance are challenging and typically require substantial effort from experts in dialogue modeling. While in many situations, large amounts of conversational data are available for the task at hand, people lack an effective solution able to extract dialogue policies from this data. In this paper, we address this gap by first illustrating how Large Language Models (LLMs) can be instrumental in extracting dialogue policies from datasets, through the conversion of conversations into a unified intermediate representation consisting of canonical forms. We then propose a novel method for generating dialogue policies utilizing a controllable and interpretable graph-based methodology. By combining canonical forms across conversations into a flow network, we find that running graph traversal algorithms helps in extracting dialogue flows. These flows are a better representation of the underlying interactions than flows extracted by prompting LLMs. Our technique focuses on giving conversation designers greater control, offering a productivity tool to improve the process of developing dialogue policies.


title: Sound and Fury, Signifying Nothing? Impact of Data Breach Disclosure Laws

abstract: Data breach disclosure (DBD) is presumed to improve firms' cybersecurity practices by inducing fear of subsequent revenue loss. This revenue loss, the theory goes, will occur if customers punish an offending firm by refusing to buy from them and is assumed to be the primary mechanism through which DBD laws will change firm behavior ex ante. However, our analysis of a large-scale data breach at a US retailer reveals no evidence of a decline in revenue. Using a difference-in-difference design on revenue data from 302 stores over a 20-week period around the breach disclosure, we found no evidence of a decline either across all stores or when sub-sampling by prior revenue size (to account for any heterogeneity in prior revenue size). Therefore, we posit that the presumed primary mechanism of DBD laws, and thus these laws may be ineffective and merely a lot of "sound and fury, signifying nothing."


title: A Highly Granular Temporary Migration Dataset Derived From Mobile Phone Data in Senegal

abstract: Understanding temporary migration is crucial for addressing various socio-economic and environmental challenges in developing countries. However, traditional surveys often fail to capture such movements effectively, leading to a scarcity of reliable data, particularly in sub-Saharan Africa. This article introduces a detailed and open-access dataset that leverages mobile phone data to capture temporary migration in Senegal with unprecedented spatio-temporal detail. The dataset provides measures of migration flows and stock across 151 locations across the country and for each half-month period from 2013 to 2015, with a specific focus on movements lasting between 20 and 180 days. The article presents a suite of methodological tools that not only include algorithmic methods for the detection of temporary migration events in digital traces, but also addresses key challenges in aggregating individual trajectories into coherent migration statistics. These methodological advancements are not only pivotal for the intrinsic value of the dataset but also adaptable for generating systematic migration statistics from other digital trace datasets in other contexts.


title: Rate-Splitting Multiple Access for Overloaded Multi-group Multicast: A First Experimental Study

abstract: Multi-group multicast (MGM) is an increasingly important form of multi-user wireless communications with several potential applications, such as video streaming, federated learning, safety-critical vehicular communications, etc. Rate-Splitting Multiple Access (RSMA) is a powerful interference management technique that can, in principle, achieve higher data rates and greater fairness for all types of multi-user wireless communications, including MGM. This paper presents the first-ever experimental evaluation of RSMA-based MGM, as well as the first-ever three-way comparison of RSMA-based, Space Divison Multiple Access (SDMA)-based and Non-Orthogonal Multiple Access (NOMA)-based MGM. Using a measurement setup involving a two-antenna transmitter and two groups of two single-antenna users per group, we consider the problem of realizing throughput (max-min) fairness across groups for each of three multiple access schemes, over nine experimental cases in a line-of-sight environment capturing varying levels of pathloss difference and channel correlation across the groups. Over these cases, we observe that RSMA-based MGM achieves fairness at a higher throughput for each group than SDMA- and NOMA-based MGM. These findings validate RSMA-based MGM's promised gains from the theoretical literature.


title: Th\'eories g\'eom\'etriques pour l'alg\`ebre des nombres r\'eels sans test de signe ni axiome de choix d\'ependant

abstract: In this memoir, we seek to construct a dynamical theory as complete as possible to describe the algebraic properties of the field of real numbers in constructive mathematics without axiom of dependent choice. We propose a theory which turns out to be very close to the theory of real closed local rings in classical mathematics. The theory of real closed rings is presented here in constructive form as a natural purely equational theory, which uses virtual root functions introduced in previous work. This work is also a first step through an essential goal for the future, which is to obtain a constructive version of o-minimal structures.


title: Unsupervised Bayesian Generation of Synthetic CT from CBCT Using Patient-Specific Score-Based Prior

abstract: Background: Cone-beam computed tomography (CBCT) scans, performed fractionally (e.g., daily or weekly), are widely utilized for patient alignment in the image-guided radiotherapy (IGRT) process, thereby making it a potential imaging modality for the implementation of adaptive radiotherapy (ART) protocols. Nonetheless, significant artifacts and incorrect Hounsfield unit (HU) values hinder their application in quantitative tasks such as target and organ segmentations and dose calculation. Therefore, acquiring CT-quality images from the CBCT scans is essential to implement online ART in clinical settings. Purpose: This work aims to develop an unsupervised learning method using the patient-specific diffusion model for CBCT-based synthetic CT (sCT) generation to improve the image quality of CBCT. Methods: The proposed method is in an unsupervised framework that utilizes a patient-specific score-based model as the image prior alongside a customized total variation (TV) regularization to enforce coherence across different transverse slices. The score-based model is unconditionally trained using the same patient's planning CT (pCT) images to characterize the manifold of CT-quality images and capture the unique anatomical information of the specific patient. The efficacy of the proposed method was assessed on images from anatomical sites including head and neck (H&N) cancer, pancreatic cancer, and lung cancer. The performance of the proposed CBCT correction method was evaluated using quantitative metrics including mean absolute error (MAE), peak signal-to-noise ratio (PSNR), and normalized cross-correlation (NCC). Additionally, the proposed algorithm was benchmarked against two other unsupervised diffusion model-based CBCT correction algorithms.


title: Preparation of iron STM tips suitable for room temperature spectroscopy

abstract: A method for preparing Fe tips suitable for spectroscopy in a room temperature ultra-high vacuum system is presented.


title: Theory of coherent phonons coupled to excitons

abstract: The interaction of excitons with lattice vibrations underlies the scattering from bright to dark excitons as well as the coherent modulation of the exciton energy. Unlike the former mechanism, which involves phonons with finite momentum, the latter can be exclusively attributed to {\it coherent phonons} with zero momentum. We here lay down the microscopic theory of coherent phonons interacting with resonantly pumped bright excitons and provide the explicit expression of the corresponding coupling. The coupling notably resembles the exciton-phonon one, but with a crucial distinction: it contains the bare electron-phonon matrix elements rather than the screened ones. Our theory predicts that the exciton energy features a polaronic-like red-shift and monochromatic oscillations or beatings, depending on the number of coupled optical modes. Both the red-shift and the amplitude of the oscillations are proportional to the excitation density and to the square of the exciton-coherent-phonon coupling. We validate our analytical findings through comparisons with numerical simulations of time-resolved optical absorbance in resonantly pumped MoS$_{2}$ monolayers.


title: Rapid and Accurate Diagnosis of Acute Aortic Syndrome using Non-contrast CT: A Large-scale, Retrospective, Multi-center and AI-based Study

abstract: Chest pain symptoms are highly prevalent in emergency departments (EDs), where acute aortic syndrome (AAS) is a catastrophic cardiovascular emergency with a high fatality rate, especially when timely and accurate treatment is not administered. However, current triage practices in the ED can cause up to approximately half of patients with AAS to have an initially missed diagnosis or be misdiagnosed as having other acute chest pain conditions. Subsequently, these AAS patients will undergo clinically inaccurate or suboptimal differential diagnosis. Fortunately, even under these suboptimal protocols, nearly all these patients underwent non-contrast CT covering the aorta anatomy at the early stage of differential diagnosis. In this study, we developed an artificial intelligence model (DeepAAS) using non-contrast CT, which is highly accurate for identifying AAS and provides interpretable results to assist in clinical decision-making. Performance was assessed in two major phases: a multi-center retrospective study (n = 20,750) and an exploration in real-world emergency scenarios (n = 137,525). In the multi-center cohort, DeepAAS achieved a mean area under the receiver operating characteristic curve of 0.958 (95% CI 0.950-0.967). In the real-world cohort, DeepAAS detected 109 AAS patients with misguided initial suspicion, achieving 92.6% (95% CI 76.2%-97.5%) in mean sensitivity and 99.2% (95% CI 99.1%-99.3%) in mean specificity. Our AI model performed well on non-contrast CT at all applicable early stages of differential diagnosis workflows, effectively reduced the overall missed diagnosis and misdiagnosis rate from 48.8% to 4.8% and shortened the diagnosis time for patients with misguided initial suspicion from an average of 681.8 (74-11,820) mins to 68.5 (23-195) mins. DeepAAS could effectively fill the gap in the current clinical workflow without requiring additional tests.


title: Thermodynamic modeling of the LiCl-KCl-LaCl$_3$ system with Bayesian model selection and uncertainty quantification

abstract: Chloride molten salts are increasingly recognized for their applications in pyroprocessing techniques for the separation of lanthanides. Understanding the thermodynamic properties of these molten salts is essential to optimize the separation process. Several thermodynamic models, including the associate model, the two-sublattice ionic model, and the modified quasichemical model with quadruplet approximation (MQMQA), are utilized to capture the complexity of molten salts. In the present work, the Bayes factor was used to guide model selection process for the thermodynamic modeling of the KCl-LaCl$_3$ system and provide statistical comparisons of liquid models. The results indicate that the MQMQA model is the most favorable model based on the available thermochemical data. The LiCl-KCl-LaCl$_3$ system was further optimized with uncertainty quantification using MQMQA. The thermodynamic properties of compounds in the KCl-LaCl$_3$ system were obtained from DFT-based phonon calculations. The calculated phase stability shows excellent agreement with experimental data, indicating that an appropriate model is important for accurately predicting the behavior of complex molten salts.


title: Unconstrained dynamic gel swelling generates transient surface deformations

abstract: Polymer gels are comprised of a three-dimensional, cross-linked network that can typically withstand the mechanical deformation associated with both swelling and de-swelling. Thus, gels can be designed with smart behaviors that require both stress generation and dissipation, making them well-suited to many applications including membrane technology, water capture devices, and drug delivery systems. In contrast to the fully swelled equilibrium state, limited research characterizes the unsteady-state swelling regime prior to equilibrium. It is in this regime where unique surface deformations can occur. Here we show how internal network constraints and external diffusive pressure can be leveraged to manipulate swelling kinetics and surface deformations in poly(ethylene glycol) gels during unconstrained, three-dimensional swelling. We find that increasing cross-linker molecular weight and swelling in ethanol, as opposed to water, are both effective routes to increase the time it takes to reach equilibrium but do so through different mechanisms. Networks with fewer internal constraints, manipulated via cross-linker chain-length, imbibe more solvent over a longer time. In contrast, swelling in ethanol reduces the amount of solvent imbibed by the network while increasing the time to reach equilibrium. Measurements of surface patterns during swelling establishes that an immediate, fast relaxation at the surface occurs during the first five minutes of swelling. However, the density and persistence of these features varies with solvent quality. These results serve establish a framework for how soft materials undergo dynamic deformation. Engineering transient surface properties while mitigating unwanted instabilities opens the door for emerging technologies such as smart anti-fouling and sensors.


title: Deep UAV Path Planning with Assured Connectivity in Dense Urban Setting

abstract: Unmanned Ariel Vehicle (UAV) services with 5G connectivity is an emerging field with numerous applications. Operator-controlled UAV flights and manual static flight configurations are major limitations for the wide adoption of scalability of UAV services. Several services depend on excellent UAV connectivity with a cellular network and maintaining it is challenging in predetermined flight paths. This paper addresses these limitations by proposing a Deep Reinforcement Learning (DRL) framework for UAV path planning with assured connectivity (DUPAC). During UAV flight, DUPAC determines the best route from a defined source to the destination in terms of distance and signal quality. The viability and performance of DUPAC are evaluated under simulated real-world urban scenarios using the Unity framework. The results confirm that DUPAC achieves an autonomous UAV flight path similar to base method with only 2% increment while maintaining an average 9% better connection quality throughout the flight.


title: One-Shot Min-Entropy Calculation And Its Application To Quantum Cryptography

abstract: In quantum Shannon theory, various kinds of quantum entropies are used to characterize the capacities of noisy physical systems. Among them, min-entropy and its smooth version attract wide interest especially in the field of quantum cryptography as they can be used to bound the information obtained by an adversary. However, calculating the exact value or non-trivial bounds of min-entropy are extremely difficult because the composite system dimension may scale exponentially with the dimension of its subsystem. Here, we develop a one-shot lower bound calculation technique for the min-entropy of a classical-quantum state that is applicable to both finite and infinite dimensional reduced quantum states. Moreover, we show our technique is of practical interest in at least two situations. First, it gives an alternative tight finite-data analysis for the well-known BB84 quantum key distribution protocol. More importantly, it provides a security proof for a novel source-independent continuous-variable quantum random number generation protocol. These show the effectiveness and wide applicability of our approach.


title: A LLM-Based Ranking Method for the Evaluation of Automatic Counter-Narrative Generation

abstract: The proliferation of misinformation and harmful narratives in online discourse has underscored the critical need for effective Counter Narrative (CN) generation techniques. However, existing automatic evaluation methods often lack interpretability and fail to capture the nuanced relationship between generated CNs and human perception. Aiming to achieve a higher correlation with human judgments, this paper proposes a novel approach to asses generated CNs that consists on the use of a Large Language Model (LLM) as a evaluator. By comparing generated CNs pairwise in a tournament-style format, we establish a model ranking pipeline that achieves a correlation of $0.88$ with human preference. As an additional contribution, we leverage LLMs as zero-shot (ZS) CN generators and conduct a comparative analysis of chat, instruct, and base models, exploring their respective strengths and limitations. Through meticulous evaluation, including fine-tuning experiments, we elucidate the differences in performance and responsiveness to domain-specific data. We conclude that chat-aligned models in ZS are the best option for carrying out the task, provided they do not refuse to generate an answer due to security concerns.


title: Solving the Product Breakdown Structure Problem with constrained QAOA

abstract: Constrained optimization problems, where not all possible variable assignments are feasible solutions, comprise numerous practically relevant optimization problems such as the Traveling Salesman Problem (TSP), or portfolio optimization. Established methods such as quantum annealing or vanilla QAOA usually transform the problem statement into a QUBO (Quadratic Unconstrained Binary Optimization) form, where the constraints are enforced by auxiliary terms in the QUBO objective. Consequently, such approaches fail to utilize the additional structure provided by the constraints. In this paper, we present a method for solving the industry relevant Product Breakdown Structure problem. Our solution is based on constrained QAOA, which by construction never explores the part of the Hilbert space that represents solutions forbidden by the problem constraints. The size of the search space is thereby reduced significantly. We experimentally show that this approach has not only a very favorable scaling behavior, but also appears to suppress the negative effects of Barren Plateaus.


title: ExDAG: Exact learning of DAGs

abstract: There has been a growing interest in causal learning in recent years. Commonly used representations of causal structures, including Bayesian networks and structural equation models (SEM), take the form of directed acyclic graphs (DAGs). We provide a novel mixed-integer quadratic programming formulation and associated algorithm that identifies DAGs on up to 50 vertices, where these are identifiable. We call this method ExDAG, which stands for Exact learning of DAGs. Although there is a superexponential number of constraints that prevent the formation of cycles, the algorithm adds constraints violated by solutions found, rather than imposing all constraints in each continuous-valued relaxation. Our empirical results show that ExDAG outperforms local state-of-the-art solvers in terms of precision and outperforms state-of-the-art global solvers with respect to scaling, when considering Gaussian noise. We also provide validation with respect to other noise distributions.


title: The Wetting of H$_2$O by CO$_2$

abstract: Biphasic interfaces are complex but fascinating regimes that display a number of properties distinct from those of the bulk. The CO$_2$-H$_2$O interface, in particular, has been the subject of a number of studies on account of its importance for the carbon life cycle as well as carbon capture and sequestration schemes. Despite this attention, there remain a number of open questions on the nature of the CO$_2$-H$_2$O interface, particularly concerning the interfacial tension and phase behavior of CO$_2$ at the interface. In this paper, we seek to address these ambiguities using ab initio-quality simulations. Harnessing the benefits of machine-learned potentials and enhanced statistical sampling methods, we present an ab initio-level description of the CO$_2$-H$_2$O interface. Interfacial tensions are predicted from 1-500 bar and found to be in close agreement with experiment at the pressures for which experimental data is available. Structural analyses indicate the build-up of an adsorbed, saturated CO$_2$ film forming at low pressure (20 bar) with properties similar to those of the bulk liquid, but preferential perpendicular alignment with respect to the interface. CO$_2$ monolayer build-up coincides with a reduced structuring of water molecules close to the interface. This study highlights the predictive nature of machine-learned potentials for complex macroscopic properties of biphasic interfaces, and the mechanistic insight obtained into carbon dioxide aggregation at the water interface is of high relevance for geoscience, climate research, and materials science.


title: Detecting Synthetic Lyrics with Few-Shot Inference

abstract: In recent years, generated content in music has gained significant popularity, with large language models being effectively utilized to produce human-like lyrics in various styles, themes, and linguistic structures. This technological advancement supports artists in their creative processes but also raises issues of authorship infringement, consumer satisfaction and content spamming. To address these challenges, methods for detecting generated lyrics are necessary. However, existing works have not yet focused on this specific modality or on creative text in general regarding machine-generated content detection methods and datasets. In response, we have curated the first dataset of high-quality synthetic lyrics and conducted a comprehensive quantitative evaluation of various few-shot content detection approaches, testing their generalization capabilities and complementing this with a human evaluation. Our best few-shot detector, based on LLM2Vec, surpasses stylistic and statistical methods, which are shown competitive in other domains at distinguishing human-written from machine-generated content. It also shows good generalization capabilities to new artists and models, and effectively detects post-generation paraphrasing. This study emphasizes the need for further research on creative content detection, particularly in terms of generalization and scalability with larger song catalogs. All datasets, pre-processing scripts, and code are available publicly on GitHub and Hugging Face under the Apache 2.0 license.


title: Damping Wind Farm Resonances with Current Based Model Predictive Pulse Pattern Control

abstract: It is well-established that a proportional current control gain emulates a resistor in the converter output impedance. Even though this resistance can provide additional damping to grid resonances, its effect for traditional linear current controllers is known to be rather limited. Moreover, for medium-voltage systems, high switching frequencies are not an option due to the high switching losses. To meet the harmonic standards, it is expedient to use optimized pulse patterns. This further exacerbates the problems with the resistance of classical controllers, since an additional filtering would be required so that the current controller acts only on the fundamental component (and not on the ripple component). Such a design limits the damping effect not only in its amplitude but also in the frequency range where it is active. This paper shows that a high-bandwidth current-based model predictive pulse pattern controller can alleviate these limitations. The pulse pattern control approach can achieve a high gain even at low switching frequencies, while controlling directly the instantaneous currents (i.e., the fundamental component and the ripple together). With a fast implementation cycle, the frequency range where this damping effect is active can be further extended. Numerical studies showcase these benefits for a multi-phase medium-voltage wind power conversion system.


title: Critical point representation of the mutual information in the sparse stochastic block model

abstract: We consider the problem of recovering the community structure in the stochastic block model. We aim to describe the mutual information between the observed network and the actual community structure as the number of nodes diverges while the average degree of a given node remains bounded. Our main contribution is a representation of the limit of this quantity, assuming it exists, as an explicit functional evaluated at a critical point of that functional. While we mostly focus on the two-community setting for clarity, we expect our method to be robust to model generalizations. We also present an example involving four communities where we show the invalidity of a plausible candidate variational formula for this limit.


title: Second order bosonic string effective action from $O(d,d)$

abstract: The corrections to the tree-level effective action for the bosonic string up to second order in $\alpha'$ are fixed by requiring its dimensional reduction to $26-d$ dimensions to be compatible with $O(d,d)$ symmetry. The result is in agreement with the literature, but takes a simpler form than previously know expressions. We identify some structures in the Lagrangian which appear at least at the first three orders in $\alpha'$.


title: Model Equivalences

abstract: We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of definable MERs, along with the first steps of a classification theory for them. We characterize the special classes of definable MERs associated with preservation of formulas, either in classical first order logic or in continuous logic, and uncover an intrinsic role for the latter. We bring out a nontrivial relationship with interpretations (imaginary sorts), leading to a wider hierarchy of classes related to the preservation of reducts. We give results about the relationship between these classes, both for general theories and for theories satisfying additional model-theoretic properties, such as stability.


title: HTMPC: A heavily templated C++ library for large scale particle-based mesoscale hydrodynamics simulations using multiparticle collision dynamics

abstract: We present HTMPC, a Heavily Templated C++ library for large-scale simulations implementing multi-particle collision dynamics (MPC), a particle-based mesoscale hydrodynamic simulation method. The implementation is plugin-based, and designed for distributed computing over an arbitrary number of MPI ranks. By abstracting the hardware-dependent parts of the implementation, we provide an identical application-code base for various architectures, currently supporting CPUs and CUDA-capable GPUs. We have examined the code for a system of more than a trillion MPC particles distributed over a few thousand MPI ranks (GPUs), demonstrating the scalability of the implementation and its applicability to large-scale hydrodynamic simulations. As showcases, we examine passive and active suspension of colloids, which confirms the extensibility and versatility of our plugin-based implementation.


title: The importance of stochasticity in determining galaxy emissivities and UV LFs during cosmic dawn and reionization

abstract: The stochastic nature of star formation and photon propagation in high-redshift galaxies can result in sizable galaxy-to-galaxy scatter in their properties. Ignoring this scatter by assuming mean quantities can bias estimates of their emissivity and corresponding observables. We construct a flexible, semi-empirical model, sampling scatter around the following mean relations: (i) the conditional halo mass function (CHMF); (ii) the stellar-to-halo mass relation (SHMR); (iii) galaxy star formation main sequence (SFMS); (iv) fundamental metallicity relation (FMR); (v) conditional intrinsic luminosity; and (vi) photon escape fraction. In our fiducial model, ignoring scatter in these galaxy properties overestimates the duration of the EoR, delaying its completion by up to $\Delta z$ ~ 2. We quantify the relative importance of each of the above sources of scatter in determining the ionizing, soft-band X-ray and Lyman Werner (LW) emissivities as a function of scale and redshift. We find that scatter around the SFMS is important for all bands, especially at the highest redshifts where the emissivity is dominated by the faintest, most "bursty" galaxies. Ignoring this scatter would underestimate the mean emissivity and its standard deviation computed over 5 cMpc regions by factors of up to $\sim$2-10 at $5< z < 15$. Scatter around the X-ray luminosity to star formation rate relation is important for determining X-ray emissivity, accounting for roughly half of its mean and standard deviation. The importance of scatter in the ionizing escape fraction depends on its functional form, while scatter around the SHMR contributes at the level of ~10-20%. Although scatter does flatten the UV luminosity functions, shifting the bright end by 1-2 magnitudes, the level of scatter in our fiducial model is insufficient to fully explain recent estimates from JWST photometry (consistent with previous studies).


title: Fermilab Booster Beam Emittances from Quadrupole Modes Measured by BPMs

abstract: The measurement of beam emittances by extracting the quadrupole mode signal from a 4 plate beam position monitor (BPM) was published at least 40 years ago. Unfortunately, in practice, this method suffers from poor signal to noise ratio and requires a lot of tuning to extract out the emittances. In this paper, an improved method where multiple BPMs are used together with better mathematical analysis is described. The BPM derived emittances are then compared with those measured by the Ion Profile Monitor (IPM). Surprisingly, the BPM measured emittances behave very well and are more realistic than those measured by the IPM.


title: Sublattice Dichotomy in Monolayer FeSe Superconductor

abstract: The pairing mechanism behind the monolayer FeSe is one essential question for iron-based superconductors. In this work, we show the sublattice degree of freedoms of monolayer FeSe plays a special role in its pairing properties, namely the sublattice dichotomy. The high-quality monolayer FeSe samples with atomic flat $1\times1$ topography on the SrTiO$_3$(001) substrates are grown by molecular beam epitaxy. By comparing the tunneling spectra at $\alpha$ and $\beta$ Fe sublattices, we find the coherence peak of $\alpha$-Fe at the inner gap $+V_i$ is higher than $\beta$-Fe while the coherence peak of $\beta$-Fe at $-V_i$ is higher than $\alpha$-Fe with a similar amount. We also observed a reversed effect at the outer gap $\pm V_o$. We propose the $\eta$-pairing mechanism between $k$ and $-k+Q$ is the key mechanism for this unconventional sublattice dichotomy effect.


title: Tree-level $R^4$ correction from $O(d,d)$: NS-NS five-point terms

abstract: The tree-level string effective action reduced from $D$ to $D-d$ dimensions possesses a continuous $O(d,d)$ symmetry, closely related to T-duality. A necessary condition for a higher derivative correction to preserve this symmetry is that certain $O(d,d)$ violating terms which appear in the dimensional reduction have to cancel out. We use this idea to complete the quartic Riemann correction with all terms involving five NS-NS sector fields. The resulting Lagrangian is considerably simpler than expressions that have previously appeared in the literature.


title: Retrieval Augmented Zero-Shot Text Classification

abstract: Zero-shot text learning enables text classifiers to handle unseen classes efficiently, alleviating the need for task-specific training data. A simple approach often relies on comparing embeddings of query (text) to those of potential classes. However, the embeddings of a simple query sometimes lack rich contextual information, which hinders the classification performance. Traditionally, this has been addressed by improving the embedding model with expensive training. We introduce QZero, a novel training-free knowledge augmentation approach that reformulates queries by retrieving supporting categories from Wikipedia to improve zero-shot text classification performance. Our experiments across six diverse datasets demonstrate that QZero enhances performance for state-of-the-art static and contextual embedding models without the need for retraining. Notably, in News and medical topic classification tasks, QZero improves the performance of even the largest OpenAI embedding model by at least 5% and 3%, respectively. Acting as a knowledge amplifier, QZero enables small word embedding models to achieve performance levels comparable to those of larger contextual models, offering the potential for significant computational savings. Additionally, QZero offers meaningful insights that illuminate query context and verify topic relevance, aiding in understanding model predictions. Overall, QZero improves embedding-based zero-shot classifiers while maintaining their simplicity. This makes it particularly valuable for resource-constrained environments and domains with constantly evolving information.


title: On the full centraliser of Erd\H{o}s $\cB$-free shifts

abstract: The sets of $\cB$-free integers are considered with respect to (reversing) symmetries. It is well known that, for a large class of them, the centraliser of the associated $\cB$-free shift (otherwise known as its automorphism group) is trivial. We extend this result to the full centraliser, which effectively means to show that all self-homeomorphisms of the $\cB$-free shift that commute with some power of the shift are shifts themselves. This also leads to the result that the full normaliser agrees with the normaliser for this class, which is the semi-direct product of the centraliser with the cyclic group of order two generated by reflection.


title: The incipient infinite cluster of the FK-Ising model in dimensions $d\geq 3$ and the susceptibility of the high-dimensional Ising model

abstract: We consider the critical FK-Ising measure $\phi_{\beta_c}$ on $\mathbb Z^d$ with $d\geq 3$. We construct the measure $\phi^\infty:=\lim_{|x|\rightarrow \infty}\phi_{\beta_c}[\:\cdot\: |\: 0\leftrightarrow x]$ and prove it satisfies $\phi^\infty[0\leftrightarrow \infty]=1$. This corresponds to the natural candidate for the incipient infinite cluster measure of the FK-Ising model. Our proof uses a result of Lupu and Werner (Electron. Commun. Probab., 2016) that relates the FK-Ising model to the random current representation of the Ising model, together with a mixing property of random currents recently established by Aizenman and Duminil-Copin (Ann. Math., 2021). We then study the susceptibility $\chi(\beta)$ of the nearest-neighbour Ising model on $\mathbb Z^d$. When $d>4$, we improve a previous result of Aizenman (Comm. Math. Phys., 1982) to obtain the existence of $A>0$ such that, for $\beta<\beta_c$, \begin{equation*} \chi(\beta)= \frac{A}{1-\beta/\beta_c}(1+o(1)), \end{equation*} where $o(1)$ tends to $0$ as $\beta$ tends to $\beta_c$. Additionally, we relate the constant $A$ to the incipient infinite cluster of the double random current.


title: Large Batch Analysis for Adagrad Under Anisotropic Smoothness

abstract: Adaptive gradient algorithms have been widely adopted in training large-scale deep neural networks, especially large foundation models. Despite their huge success in practice, their theoretical advantages over stochastic gradient descent (SGD) have not been fully understood, especially in the large batch-size setting commonly used in practice. This is because the only theoretical result that can demonstrate the benefit of Adagrad over SGD was obtained in the original paper of Adagrad for nonsmooth objective functions. However, for nonsmooth objective functions, there can be a linear slowdown of convergence when batch size increases, and thus a convergence analysis based on nonsmooth assumption cannot be used for large batch algorithms. In this work, we resolve this gap between theory and practice by providing a new analysis of Adagrad on both convex and nonconvex smooth objectives suitable for the large batch setting. It is shown that under the anisotropic smoothness and noise conditions, increased batch size does not slow down convergence for Adagrad, and thus it can still achieve a faster convergence guarantee over SGD even in the large batch setting. We present detailed comparisons between SGD and Adagrad to provide a better understanding of the benefits of adaptive gradient methods. Experiments in logistic regression and instruction following fine-tuning tasks provide strong evidence to support our theoretical analysis.


title: Unsupervised Morphological Tree Tokenizer

abstract: As a cornerstone in language modeling, tokenization involves segmenting text inputs into pre-defined atomic units. Conventional statistical tokenizers often disrupt constituent boundaries within words, thereby corrupting semantic information. To address this drawback, we introduce morphological structure guidance to tokenization and propose a deep model to induce character-level structures of words. Specifically, the deep model jointly encodes internal structures and representations of words with a mechanism named $\textit{MorphOverriding}$ to ensure the indecomposability of morphemes. By training the model with self-supervised objectives, our method is capable of inducing character-level structures that align with morphological rules without annotated training data. Based on the induced structures, our algorithm tokenizes words through vocabulary matching in a top-down manner. Empirical results indicate that the proposed method effectively retains complete morphemes and outperforms widely adopted methods such as BPE and WordPiece on both morphological segmentation tasks and language modeling tasks. The code will be released later.


title: Edge states in all-dielectric square-lattice arrays of bianisotropic microwave resonators

abstract: We demonstrate that a bianisotropic response associated with a broken mirror symmetry of a dielectric resonator allows opening the bandgap in simple square lattice arrays of such resonators. Realizing the proposed system as an array of high-index ceramic resonators working at GHz frequencies, we numerically and experimentally demonstrate the presence of edge states at the interface between two domains with opposite orientations of the bianisotropic resonators as well as at the boundary between a single domain and free space. For both cases, we characterize the dispersion of edge states, examine their propagation along sharp bends, their resilience towards various types of geometrical defects, and a spin-momentum locked unidirectional propagation in the case of circularly polarized excitation. The considered design opens novel possibilities in constructing optical and microwave structures simultaneously featuring edge states at the interfaces between distinct resonator domains or a resonator domain and free space.


title: On Naive Mean-Field Approximation for high-dimensional canonical GLMs

abstract: We study the validity of the Naive Mean Field (NMF) approximation for canonical GLMs with product priors. This setting is challenging due to the non-conjugacy of the likelihood and the prior. Using the theory of non-linear large deviations (Austin 2019, Chatterjee, Dembo 2016, Eldan 2018), we derive sufficient conditions for the tightness of the NMF approximation to the log-normalizing constant of the posterior distribution. As a second contribution, we establish that under minor conditions on the design, any NMF optimizer is a product distribution where each component is a quadratic tilt of the prior. In turn, this suggests novel iterative algorithms for fitting the NMF optimizer to the target posterior. Finally, we establish that if the NMF optimization problem has a "well-separated maximizer", then this optimizer governs the probabilistic properties of the posterior. Specifically, we derive credible intervals with average coverage guarantees, and characterize the prediction performance on an out-of-sample datapoint in terms of this dominant optimizer.


title: Growth Conditions and Interfacial Misfit Array in SnTe (111) films Grown on InP (111)A Substrates by Molecular Beam Epitaxy

abstract: Tin telluride (SnTe) is an IV-VI semiconductor with a topological crystalline insulator band structure, high thermoelectric performance, and in-plane ferroelectricity. Despite its many applications, there has been little work focused on understanding the growth mechanisms of SnTe thin films. In this manuscript, we investigate the molecular beam epitaxy (MBE) synthesis of SnTe (111) thin films on InP (111)A substrates. We explore the effect of substrate temperature, Te:Sn flux ratio, and growth rate on the film quality. Using a substrate temperature of 340 {\deg}C, a Te:Sn flux ratio of 3, and a growth rate of 0.48 {\AA}/s, fully coalesced and single crystalline SnTe (111) epitaxial layers with x-ray rocking curve full-width-at-half-maxima (FWHM) of 0.09{\deg} and root-mean-square surface roughness as low as 0.2 nm have been obtained. Despite the 7.5% lattice mismatch between the SnTe (111) film and the InP (111)A substrate, reciprocal space mapping indicates that the 15 nm SnTe layer is fully relaxed. We show that a periodic interfacial misfit (IMF) dislocation array forms at the SnTe/InP heterointerface, where each IMF dislocation is separated by 14 InP lattice sites/13 SnTe lattice sites, providing rapid strain relaxation and yielding the high quality SnTe layer. This is the first report of an IMF array forming in a rock-salt on zinc-blende material system and at an IV-VI on III-V heterointerface, and highlights the potential for SnTe as a buffer layer for epitaxial telluride film growth. This work represents an important milestone in enabling the heterointegration between IV-VI and III-V semiconductors to create multifunctional devices.


title: Machine Learning Techniques in Automatic Music Transcription: A Systematic Survey

abstract: In the domain of Music Information Retrieval (MIR), Automatic Music Transcription (AMT) emerges as a central challenge, aiming to convert audio signals into symbolic notations like musical notes or sheet music. This systematic review accentuates the pivotal role of AMT in music signal analysis, emphasizing its importance due to the intricate and overlapping spectral structure of musical harmonies. Through a thorough examination of existing machine learning techniques utilized in AMT, we explore the progress and constraints of current models and methodologies. Despite notable advancements, AMT systems have yet to match the accuracy of human experts, largely due to the complexities of musical harmonies and the need for nuanced interpretation. This review critically evaluates both fully automatic and semi-automatic AMT systems, emphasizing the importance of minimal user intervention and examining various methodologies proposed to date. By addressing the limitations of prior techniques and suggesting avenues for improvement, our objective is to steer future research towards fully automated AMT systems capable of accurately and efficiently translating intricate audio signals into precise symbolic representations. This study not only synthesizes the latest advancements but also lays out a road-map for overcoming existing challenges in AMT, providing valuable insights for researchers aiming to narrow the gap between current systems and human-level transcription accuracy.


title: Open Problem: Order Optimal Regret Bounds for Kernel-Based Reinforcement Learning

abstract: Reinforcement Learning (RL) has shown great empirical success in various application domains. The theoretical aspects of the problem have been extensively studied over past decades, particularly under tabular and linear Markov Decision Process structures. Recently, non-linear function approximation using kernel-based prediction has gained traction. This approach is particularly interesting as it naturally extends the linear structure, and helps explain the behavior of neural-network-based models at their infinite width limit. The analytical results however do not adequately address the performance guarantees for this case. We will highlight this open problem, overview existing partial results, and discuss related challenges.


title: Drag reduction in surfactant-contaminated superhydrophobic channels at high P\'eclet numbers

abstract: Motivated by microfluidic applications, we investigate drag reduction in laminar pressure-driven flows in channels with streamwise-periodic superhydrophobic surfaces (SHSs) that are contaminated with soluble surfactant. We develop a model in the long-wave and weak-diffusion limit, where the streamwise SHS period is large compared to the channel height and the P\'eclet number is large. Employing asymptotic and numerical techniques, we determine the drag due to surfactant in terms of the relative strength of diffusion, Marangoni effects and bulk-surface exchange. In scenarios with strong bulk-surface exchange, the drag reduction exhibits a complex dependence on the thickness of the bulk-concentration boundary layer and surfactant strength. Strong Marangoni effects immobilise the interface through a linear surfactant distribution, whereas weak Marangoni effects yield a quasi-stagnant cap with an intricate asymptotic structure that is mediated by weak bulk diffusion. As bulk-surface exchange weakens, the bulk and interface decouple: the surfactant distribution is linear when the surfactant is strong and forms a classical stagnant cap when the surfactant is weak. The asymptotic solutions offer closed-form predictions of drag reduction across much of parameter space, providing practical utility and enhancing understanding of surfactant dynamics in flows over SHSs.


title: VideoScore: Building Automatic Metrics to Simulate Fine-grained Human Feedback for Video Generation

abstract: The recent years have witnessed great advances in video generation. However, the development of automatic video metrics is lagging significantly behind. None of the existing metric is able to provide reliable scores over generated videos. The main barrier is the lack of large-scale human-annotated dataset. In this paper, we release VideoFeedback, the first large-scale dataset containing human-provided multi-aspect score over 37.6K synthesized videos from 11 existing video generative models. We train VideoScore (initialized from Mantis) based on VideoFeedback to enable automatic video quality assessment. Experiments show that the Spearman correlation between VideoScore and humans can reach 77.1 on VideoFeedback-test, beating the prior best metrics by about 50 points. Further result on other held-out EvalCrafter, GenAI-Bench, and VBench show that VideoScore has consistently much higher correlation with human judges than other metrics. Due to these results, we believe VideoScore can serve as a great proxy for human raters to (1) rate different video models to track progress (2) simulate fine-grained human feedback in Reinforcement Learning with Human Feedback (RLHF) to improve current video generation models.


title: Fingerprint Membership and Identity Inference Against Generative Adversarial Networks

abstract: Generative models are gaining significant attention as potential catalysts for a novel industrial revolution. Since automated sample generation can be useful to solve privacy and data scarcity issues that usually affect learned biometric models, such technologies became widely spread in this field. In this paper, we assess the vulnerabilities of generative machine learning models concerning identity protection by designing and testing an identity inference attack on fingerprint datasets created by means of a generative adversarial network. Experimental results show that the proposed solution proves to be effective under different configurations and easily extendable to other biometric measurements.


title: Laplacian coflows of $G_2$-structures on contact Calabi--Yau 7-manifolds

abstract: We explore three versions of the Laplacian coflow of $G_2$-structures on circle fibrations over Calabi--Yau 3-folds, interpreting their dimensional reductions to the K\"ahler geometry of the base. Precisely, we reduce Ans\"atze for the Laplacian coflow, modified or not by de Turck's trick, both on trivial products $CY^3\times S^1$ and on contact Calabi--Yau 7-manifolds, obtaining in each case a natural modification of the K\"ahler--Ricci flow.


title: Additive Manufacturing of functionalised atomic vapour cells for next-generation quantum technologies

abstract: Atomic vapour cells are an indispensable tool for quantum technologies (QT), but potential improvements are limited by the capacities of conventional manufacturing methods. Using an additive manufacturing (AM) technique - vat polymerisation by digital light processing - we demonstrate, for the first time, a 3D-printed glass vapour cell. The exploitation of AM capacities allows intricate internal architectures, overprinting of 2D optoelectronical materials to create integrated sensors and surface functionalisation, while also showing the ability to tailor the optical properties of the AM glass by in-situ growth of gold nanoparticles. The produced cells achieve ultra-high vacuum of $2 \times 10^{-9}$ mbar and enable Doppler-free spectroscopy; we demonstrate laser frequency stabilisation as a QT application. These results highlight the transformative role that AM can play for QT in enabling compact, optimised and integrated multi-material components and devices.


title: Pushforward monads

abstract: Given a monad $T$ on $\mathcal{C}$ and a functor $G \colon \mathcal{C} \to \mathcal{D}$, one can construct a monad $G_\#T$ on $\mathcal{D}$ subject to the existence of a certain Kan extension; this is the pushforward of $T$ along $G$. We develop the general theory of this construction, and relate it to the concept of codensity monads, showing that each is a special case of the other. We study several examples of pushforwards, the most notable being that the pushforward of the powerset monad from finite sets to sets gives the theory of continuous lattices. We also identify the category of algebras of the codensity monad of the inclusion of fields into rings, which turns out to be the free product completion of the category of fields. Lastly, for a set $E$, we identify the category of algebras of the codensity monad of the $(\cdot) + E$ functor on sets.


title: Strongly nonlinear Robin problems for harmonic and polyharmonic functions in the half-space

abstract: Existence and global regularity results for boundary-value problems of Robin type for harmonic and polyharmonic functions in $n$-dimensional half-spaces are established. The Robin condition on the normal derivative on the boundary of the half-space is prescribed by a nonlinear function $\mathcal N$ of the relevant harmonic or polyharmonic functions. General Orlicz type growths for the function $\mathcal N$ are considered. For instance, functions $\mathcal N$ of classical power type, their perturbations by logarithmic factors, and exponential functions are allowed.


title: Model-Based Learning for Network Clock Synchronization in Half-Duplex TDMA Networks

abstract: Supporting increasingly higher rates in wireless networks requires highly accurate clock synchronization across the nodes. Motivated by this need, in this work we consider distributed clock synchronization for half-duplex (HD) TDMA wireless networks. We focus on pulse-coupling (PC)-based synchronization as it is practically advantageous for high-speed networks using low-power nodes. Previous works on PC-based synchronization for TDMA networks assumed full-duplex communications, and focused on correcting the clock phase at each node, without synchronizing clocks' frequencies. However, as in the HD regime corrections are temporally sparse, uncompensated clock frequency differences between the nodes result in large phase drifts between updates. Moreover, as the clocks determine the processing rates at the nodes, leaving the clocks' frequencies unsynchronized results in processing rates mismatch between the nodes, leading to a throughput reduction. Our goal in this work is to synchronize both clock frequency and clock phase across the clocks in HD TDMA networks, via distributed processing. The key challenges are the coupling between frequency correction and phase correction, and the lack of a computationally efficient analytical framework for determining the optimal correction signal at the nodes. We address these challenges via a DNN-aided nested loop structure in which the DNN are used for generating the weights applied to the loop input for computing the correction signal. This loop is operated in a sequential manner which decouples frequency and phase compensations, thereby facilitating synchronization of both parameters. Performance evaluation shows that the proposed scheme significantly improves synchronization accuracy compared to the conventional approaches.


title: V-RECS, a Low-Cost LLM4VIS Recommender with Explanations, Captioning and Suggestions

abstract: NL2VIS (natural language to visualization) is a promising and recent research area that involves interpreting natural language queries and translating them into visualizations that accurately represent the underlying data. As we navigate the era of big data, NL2VIS holds considerable application potential since it greatly facilitates data exploration by non-expert users. Following the increasingly widespread usage of generative AI in NL2VIS applications, in this paper we present V-RECS, the first LLM-based Visual Recommender augmented with explanations(E), captioning(C), and suggestions(S) for further data exploration. V-RECS' visualization narratives facilitate both response verification and data exploration by non-expert users. Furthermore, our proposed solution mitigates computational, controllability, and cost issues associated with using powerful LLMs by leveraging a methodology to effectively fine-tune small models. To generate insightful visualization narratives, we use Chain-of-Thoughts (CoT), a prompt engineering technique to help LLM identify and generate the logical steps to produce a correct answer. Since CoT is reported to perform poorly with small LLMs, we adopted a strategy in which a large LLM (GPT-4), acting as a Teacher, generates CoT-based instructions to fine-tune a small model, Llama-2-7B, which plays the role of a Student. Extensive experiments-based on a framework for the quantitative evaluation of AI-based visualizations and on manual assessment by a group of participants-show that V-RECS achieves performance scores comparable to GPT-4, at a much lower cost. The efficacy of the V-RECS teacher-student paradigm is also demonstrated by the fact that the un-tuned Llama fails to perform the task in the vast majority of test cases. We release V-RECS for the visualization community to assist visualization designers throughout the entire visualization generation process.


title: Can cosmic rays explain the high ionisation rates in the Galactic Centre?

abstract: The $\mathrm{H}_2$ ionisation rate in the Central Molecular Zone, located in the Galactic Centre region, is estimated to be $\zeta\sim2\times10^{-14}~\mathrm{s}^{-1}$, based on observations of H$_3^+$ lines. This value is 2-3 orders of magnitude larger than that measured anywhere else in the Galaxy. A high cosmic-ray density has been invoked to explain the unusually high ionisation rate. However, this excess is not seen in the $\gamma$-ray emission from this region, which is produced by high-energy cosmic rays. Therefore, an excess is expected only in the low-energy cosmic-ray spectrum. Here, we derive constraints on this hypothetical low-energy component in the cosmic-ray spectra and we question its plausibility. To do so, we solve numerically the cosmic-ray transport equation in the Central Molecular Zone, considering spatial diffusion, advection in the Galactic wind, reacceleration in the ambient turbulence, and energy losses due to interactions with matter and radiation in the interstellar medium. We derive stationary solutions under the assumption that cosmic rays are continuously injected by a source located in the Galactic Centre. The high-energy component in the cosmic-ray spectrum is then fitted to available $\gamma$-ray and radio data, and a steep low-energy component is added to the cosmic-ray spectrum to explain the large ionisation rates. We find that injection spectra of $p^{-7}$ for protons below $p_{enh,p}c\simeq780~\mathrm{MeV}$ and $p^{-5.2}$ for electrons below $p_{enh,e}c=1.5~\mathrm{GeV}$ are needed to reach the observed ionisation rates. This corresponds to an extremely large cosmic-ray power of the order $\sim10^{40-41}~\mathrm{erg}\,\mathrm{s}^{-1}$ injected at the Galactic Centre. We conclude that cosmic rays alone can not explain the high ionisation rates in the Galactic Centre region.


title: Tailored topotactic chemistry unlocks heterostructures of magnetic intercalation compounds

abstract: The construction of thin film heterostructures has been a widely successful archetype for fabricating materials with emergent physical properties. This strategy is of particular importance for the design of multilayer magnetic architectures in which direct interfacial spin--spin interactions between magnetic phases in dissimilar layers lead to emergent and controllable magnetic behavior. However, crystallographic incommensurability and atomic-scale interfacial disorder can severely limit the types of materials amenable to this strategy, as well as the performance of these systems. Here, we demonstrate a method for synthesizing heterostructures comprising magnetic intercalation compounds of transition metal dichalcogenides (TMDs), through directed topotactic reaction of the TMD with a metal oxide. The mechanism of the intercalation reaction enables thermally initiated intercalation of the TMD from lithographically patterned oxide films, giving access to a new family of multi-component magnetic architectures through the combination of deterministic van der Waals assembly and directed intercalation chemistry.


title: On-the-Fly Simulation of Two-Dimensional Fluorescence-Excitation Spectra

abstract: Two-dimensional (2D) fluorescence-excitation (2D-FLEX) spectroscopy is a recently proposed nonlinear femtosecond technique for the detection of photoinduced dynamics. The method records a time-resolved fluorescence signal in its excitation- and detection-frequency dependence, and hence combines the exclusive detection of excited state dynamics (fluorescence) with signals resolved in both excitation and emission frequencies (2D electronic spectroscopy). In this work, we develop an on-the-fly protocol for the simulation of 2D-FLEX spectra of molecular systems, which is based on interfacing the classical doorway-window representation of spectroscopic responses with trajectory surface hopping simulations. Applying this methodology to the gas-phase pyrazine, we show that femtosecond 2D-FLEX spectra can deliver detailed information otherwise obtainable via attosecond spectroscopy.


title: On Stability and Existence of Models in Abstract Elementary Classes

abstract: For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and continuity of splitting in $\lambda$, that stability in $\lambda$ is equivalent to the existence of a model in $\lambda^{++}$. The forward direction holds without any cardinal or categoricity assumptions, this result improves both [Vas18b, 12.1] and [MaYa24, 3.14]. Moreover, we prove a categoricity theorem for abstract elementary classes with weak amalgamation and tameness under mild structural assumptions in $\lambda$. A key feature of this result is that we do not assume amalgamation or arbitrarily large models.


title: Towards Fine-Grained Citation Evaluation in Generated Text: A Comparative Analysis of Faithfulness Metrics

abstract: Large language models (LLMs) often produce unsupported or unverifiable information, known as "hallucinations." To mitigate this, retrieval-augmented LLMs incorporate citations, grounding the content in verifiable sources. Despite such developments, manually assessing how well a citation supports the associated statement remains a major challenge. Previous studies use faithfulness metrics to estimate citation support automatically but are limited to binary classification, overlooking fine-grained citation support in practical scenarios. To investigate the effectiveness of faithfulness metrics in fine-grained scenarios, we propose a comparative evaluation framework that assesses the metric effectiveness in distinguishinging citations between three-category support levels: full, partial, and no support. Our framework employs correlation analysis, classification evaluation, and retrieval evaluation to measure the alignment between metric scores and human judgments comprehensively. Our results show no single metric consistently excels across all evaluations, revealing the complexity of assessing fine-grained support. Based on the findings, we provide practical recommendations for developing more effective metrics.


title: Perception of Phonological Assimilation by Neural Speech Recognition Models

abstract: Human listeners effortlessly compensate for phonological changes during speech perception, often unconsciously inferring the intended sounds. For example, listeners infer the underlying /n/ when hearing an utterance such as "clea[m] pan", where [m] arises from place assimilation to the following labial [p]. This article explores how the neural speech recognition model Wav2Vec2 perceives assimilated sounds, and identifies the linguistic knowledge that is implemented by the model to compensate for assimilation during Automatic Speech Recognition (ASR). Using psycholinguistic stimuli, we systematically analyze how various linguistic context cues influence compensation patterns in the model's output. Complementing these behavioral experiments, our probing experiments indicate that the model shifts its interpretation of assimilated sounds from their acoustic form to their underlying form in its final layers. Finally, our causal intervention experiments suggest that the model relies on minimal phonological context cues to accomplish this shift. These findings represent a step towards better understanding the similarities and differences in phonological processing between neural ASR models and humans.


title: Graded Necklace Lie Bialgebras and Batalin-Vilkovisky Formalism

abstract: An involutive Lie bialgebra induces a Batalin-Vilkovisky operator on its exterior algebra. We introduce a graded generalization of the necklace Lie bialgebra, which depends on a choice of a quiver $Q$. We relate the resulting Batalin-Vilkovisky structure to the Batalin-Vilkovisky structure coming from a degree $-1$ symplectic form on a suitably defined representation variety of the quiver $Q$. The morphism intertwining these Batalin-Vilkovisky algebras will be given by a twisted trace, recovering the usual (super)trace and the odd trace.


title: Evaluating Diversity in Automatic Poetry Generation

abstract: Natural Language Generation (NLG), and more generally generative AI, are among the currently most impactful research fields. Creative NLG, such as automatic poetry generation, is a fascinating niche in this area. While most previous research has focused on forms of the Turing test when evaluating automatic poetry generation - can humans distinguish between automatic and human generated poetry - we evaluate the diversity of automatically generated poetry, by comparing distributions of generated poetry to distributions of human poetry along structural, lexical, semantic and stylistic dimensions, assessing different model types (word vs. character-level, general purpose LLMs vs. poetry-specific models), including the very recent LLaMA3, and types of fine-tuning (conditioned vs. unconditioned). We find that current automatic poetry systems are considerably underdiverse along multiple dimensions - they often do not rhyme sufficiently, are semantically too uniform and even do not match the length distribution of human poetry. Our experiments reveal, however, that style-conditioning and character-level modeling clearly increases diversity across virtually all dimensions we explore. Our identified limitations may serve as the basis for more genuinely diverse future poetry generation models.


title: Towards Robust Training Datasets for Machine Learning with Ontologies: A Case Study for Emergency Road Vehicle Detection

abstract: Countless domains rely on Machine Learning (ML) models, including safety-critical domains, such as autonomous driving, which this paper focuses on. While the black box nature of ML is simply a nuisance in some domains, in safety-critical domains, this makes ML models difficult to trust. To fully utilize ML models in safety-critical domains, it would be beneficial to have a method to improve trust in model robustness and accuracy without human experts checking each decision. This research proposes a method to increase trust in ML models used in safety-critical domains by ensuring the robustness and completeness of the model's training dataset. Because ML models embody what they are trained with, ensuring the completeness of training datasets can help to increase the trust in the training of ML models. To this end, this paper proposes the use of a domain ontology and an image quality characteristic ontology to validate the domain completeness and image quality robustness of a training dataset. This research also presents an experiment as a proof of concept for this method, where ontologies are built for the emergency road vehicle domain.


title: You Only Acquire Sparse-channel (YOAS): A Unified Framework for Dense-channel EEG Generation

abstract: High-precision acquisition of dense-channel electroencephalogram (EEG) signals is often impeded by the costliness and lack of portability of equipment. In contrast, generating dense-channel EEG signals effectively from sparse channels shows promise and economic viability. However, sparse-channel EEG poses challenges such as reduced spatial resolution, information loss, signal mixing, and heightened susceptibility to noise and interference. To address these challenges, we first theoretically formulate the dense-channel EEG generation problem as by optimizing a set of cross-channel EEG signal generation problems. Then, we propose the YOAS framework for generating dense-channel data from sparse-channel EEG signals. The YOAS totally consists of four sequential stages: Data Preparation, Data Preprocessing, Biased-EEG Generation, and Synthetic EEG Generation. Data Preparation and Preprocessing carefully consider the distribution of EEG electrodes and low signal-to-noise ratio problem of EEG signals. Biased-EEG Generation includes sub-modules of BiasEEGGanFormer and BiasEEGDiffFormer, which facilitate long-term feature extraction with attention and generate signals by combining electrode position alignment with diffusion model, respectively. Synthetic EEG Generation synthesizes the final signals, employing a deduction paradigm for multi-channel EEG generation. Extensive experiments confirmed YOAS's feasibility, efficiency, and theoretical validity, even remarkably enhancing data discernibility. This breakthrough in dense-channel EEG signal generation from sparse-channel data opens new avenues for exploration in EEG signal processing and application.


title: Search and Study of the Brightest Stars in the Galaxy IC 342

abstract: We have selected candidate massive stars in the galaxy IC 342 based on archival images from the Hubble Space Telescope and images from the 2 m telescope at the Natioal Astronomical Observatory Rozhen, Bulgaria. Spectral observations of 24 out of 27 selected stars are carried out with the 6 m BTA telescope at the SAO RAS and with the 3.5 m Apache Point Observatory telescope (USA) as part of the program for searching bright massive stars in galaxies outside the Local Group. Our analysis reveals that 12 objects have spectra lacking prominent features, except for the emission lines of the surrounding nebulae and are identified as single supergiants of classes O9 to F5 or spatially unresolved young compact clusters. One source with an absorption spectrum probably belongs to our Galaxy. The spectra of seven other objects show features typical of Wolf-Rayet stars or compact clusters containing Wolf-Rayet stars. Another source is a compact supernova remnant. Two other objects are tentatively classified as cold LBV candidates, and one object is classified as a B[e]-supergiant candidate.


title: Remarks on 2D quantum cosmology

abstract: We consider two-dimensional quantum gravity endowed with a positive cosmological constant and coupled to a conformal field theory of large and positive central charge. We study cosmological properties at the classical and quantum level. We provide a complete ADM analysis of the classical phase space, revealing a family of either bouncing or big bang/crunch type cosmologies. At the quantum level, we solve the Wheeler-DeWitt equation exactly. In the semiclassical limit, we link the Wheeler-DeWitt state space to the classical phase space. Wavefunctionals of the Hartle-Hawking and Vilenkin type are identified, and we uncover a quantum version of the bouncing spacetime. We retrieve the Hartle-Hawking wavefunction from the disk path integral of timelike Liouville theory. To do so, we must select a particular contour in the space of complexified fields. The quantum information content of the big bang cosmology is discussed, and contrasted with the de Sitter horizon entropy as computed by a gravitational path integral over the two-sphere.


title: Magnetic properties of the umbral boundary during sunspot decay. Comparative study of multiple datasets

abstract: The magnetic properties of the umbra-penumbra (UP) boundary of sunspots and the boundary of pores at various evolutionary stages have been characterised using datasets from different instruments. We aim to study the differences between the intensity and vector magnetic field properties derived from Hinode/SP and SDO/HMI observations of a decaying sunspot. We analysed the sunspot embedded in AR 12797 during six days in 30 SP/Hinode scans and 704 HMI/SDO for both regular maps and HMI_dcon. We studied the correlation of the magnetic properties and continuum intensity in the datasets within the spot, and at the UP boundary. We examined the decaying process using the full temporal resolution of the HMI_dcon maps. We find a good correspondence between the magnetic properties in the SP and HMI_dcon maps, but the continuum intensity of the spots in the SP maps is 0.04I_qs brighter than in the HMI_dcon maps. The influence of scattered light in the HMI maps makes it the least ideal dataset for studying the boundary of spots without a penumbra. The properties at the UP boundary evolve slowly during the sunspot decay stage, while the penumbra still provides some stability. In contrast, they respond more abruptly to areal changes in the naked-spot stage. During the sunspot decay, we find linear decay in the area and in the magnetic flux. Moreover, the umbra shows two characteristic decaying processes: a slow decay during the first three days, and a sudden fast decay during the final dissipation of the penumbra. We find indications of a 3.5h lag between the dissipation of the vertical fields in the umbral region and the photometric decay of the umbral area. The differences found in the continuum intensity and in the vertical component of the magnetic field, Bver, between the analysed datasets explain the discrepancies among the Bver values found at the boundaries of umbrae in previous studies.


title: Impact of Charge Density Waves on Superconductivity and Topological Properties in AV$_3$Sb$_5$ Kagome Superconductors

abstract: We investigates the electronic structure and superconducting gaps in the charge density wave (CDW) states of vanadium-based Kagome superconductors AV$_3$Sb$_5$, focusing on the concurrent presence of CDW and superconducting orders. Two predominant CDW configurations are explored: the trihexagonal (TrH) and star-of-David (SoD) patterns, involving charge bond order (CBO) and chiral flux phase (CFP), corresponding to real and imaginary bond orders. In the isotropic $s$-wave superconducting state, the presence of CBO alone maintains an isotropic superconducting gap, whereas the introduction of CFP induces anisotropy in the gap, manifesting time-reversal symmetry breaking due to the CFP. Our analysis extends to the topological properties of these states, revealing a marked topological phase transition in the TrH configuration from a trivial to a non-trivial state with increasing CFP intensity. This transition suggests that the introduction of CFP could catalyze the emergence of topological superconductivity, potentially leading to the presence of Majorana excitations. The results contribute significantly to understanding the complex interplay between various CDW patterns and superconductivity in Kagome superconductors. They provide a theoretical framework for the diverse experimental observations of energy gaps and open new avenues for research into topological superconductivity and its potential applications. This study underscores the necessity for further experimental and theoretical exploration to unveil novel interwinded quantum states and functionalities in these intriguing materials.


title: Quantum battery supercharging via counter-diabatic dynamics

abstract: We introduce a counter-diabatic approach for deriving Hamiltonians modeling superchargable quantum batteries (QBs). A necessary requirement for the supercharging process is the existence of multipartite interactions among the cells of the battery. Remarkably, this condition may be insufficient no matter the number of multipartite terms in the Hamiltonian. We analytically illustrate this kind of insufficiency through a model of QB based on the adiabatic version for the Grover search problem. On the other hand, we provide QB supercharging with just a mild number of global connections in the system. To this aim, we consider a spin-$1/2$ chain with $n$ sites in the presence of Ising multipartite interactions. We then show that, by considering the validity of the adiabatic approximation and by adding $n$ terms of $(n-1)$-site interactions, we can achieve a Hamiltonian exhibiting maximum QB power, with respect to a normalized evolution time, growing quadratically with $n$. Therefore, supercharging can be achieved by $O(n)$ terms of multipartite connections. The time constraint required by the adiabatic approximation can be surpassed by considering a counter-diabatic expansion in terms of the gauge potential for the original Hamiltonian, with a limited $O(n)$ many-body interaction terms assured via a Floquet approach for the counter-diabatic implementation.


title: Cognitive Map for Language Models: Optimal Planning via Verbally Representing the World Model

abstract: Language models have demonstrated impressive capabilities across various natural language processing tasks, yet they struggle with planning tasks requiring multi-step simulations. Inspired by human cognitive processes, this paper investigates the optimal planning power of language models that can construct a cognitive map of a given environment. Our experiments demonstrate that cognitive map significantly enhances the performance of both optimal and reachable planning generation ability in the Gridworld path planning task. We observe that our method showcases two key characteristics similar to human cognition: \textbf{generalization of its planning ability to extrapolated environments and rapid adaptation with limited training data.} We hope our findings in the Gridworld task provide insights into modeling human cognitive processes in language models, potentially leading to the development of more advanced and robust systems that better resemble human cognition.


title: Uniform estimates for transmission problems in electromagnetism with high contrast in magnetic permeabilities

abstract: We consider the time-harmonic Maxwell equations set on a domain made up of two subdomains that represent a magnetic conductor and a non-magnetic material, and we assume that the relative magnetic permeability $\mu_{r}$ between the two materials is high. We prove uniform a priori estimates for Maxwell solutions when the interface between the two subdomains is supposed to be Lipschitz. Assuming smoothness for the interface between the subdomains, we prove also that the magnetic field possesses a multiscale expansion in powers of $1/ \sqrt{\mu_{r}}$ with profiles rapidly decaying inside the magnetic conductor.


title: The random walk of intermittently self-propelled particles

abstract: Motivated by various recent experimental findings, we propose a dynamical model of intermittently self-propelled particles: active particles that recurrently switch between two modes of motion, namely an active run-state and a turn state, in which self-propulsion is absent. The durations of these motility modes are derived from arbitrary waiting-time distributions. We derive the expressions for exact forms of transport characteristics like mean-square displacements and diffusion coefficients to describe such processes. Furthermore, the conditions for the emergence of sub- and superdiffusion in the long-time limit are presented. We give examples of some important processes that occur as limiting cases of our system, including run-and-tumble motion of bacteria, L\'evy walks, hop-and-trap dynamics, intermittent diffusion and continuous time random walks.


title: What is Needed for BiSCO to Work in a Dipole Insert for 20 Tesla Hybrid Accelerator Magnets

abstract: A major focus of the global HEP community is on high field superconducting magnets made of High Temperature Superconductors (HTS) for future Energy Frontier Programs. Within the U.S. Magnet Development Program (US MDP), a key task is that of developing HTS inserts producing fields larger than 5 T within 15 T outserts made of Nb$_3$Sn to generate 20 T+ for future accelerators. Bi$_2$Sr$_2$CaCu$_2$O$_8$$_-$$_x$ (BiSCO) is the only high T c superconductor available as an isotropic round multifilamentary wire, which is ideal for producing the flat cables (i.e., Rutherford type cables) that are used in accelerator magnets. Significant progress in the development and industrialization of BiSCO wires has been made over the last decade. However, several challenges remain for this HTS to be used successfully in hybrid magnets. The following is required to improve performance, lower costs and simplify the processing of BiSCO accelerator magnets: (1) The development and design, in collaboration with industry, of BiSCO wires that are adequate for Rutherford cabling; (2) The development of insulation processes and materials that prevent leaks when heat treated in highly corrosive oxygen; (3) Control of stresses and strains; and (4) Integration of high pressure heat treatment with a new approach that will lower costs and simplify processing.


title: Cross-Modality Safety Alignment

abstract: As Artificial General Intelligence (AGI) becomes increasingly integrated into various facets of human life, ensuring the safety and ethical alignment of such systems is paramount. Previous studies primarily focus on single-modality threats, which may not suffice given the integrated and complex nature of cross-modality interactions. We introduce a novel safety alignment challenge called Safe Inputs but Unsafe Output (SIUO) to evaluate cross-modality safety alignment. Specifically, it considers cases where single modalities are safe independently but could potentially lead to unsafe or unethical outputs when combined. To empirically investigate this problem, we developed the SIUO, a cross-modality benchmark encompassing 9 critical safety domains, such as self-harm, illegal activities, and privacy violations. Our findings reveal substantial safety vulnerabilities in both closed- and open-source LVLMs, such as GPT-4V and LLaVA, underscoring the inadequacy of current models to reliably interpret and respond to complex, real-world scenarios.


title: Gravity.jl: fast and accurate gravitational lens modeling in Julia

abstract: We present Gravity.jl, a new software for the modeling of gravitational lens systems. Gravity.jl is written in the Julia programming language, and is designed to be fast, accurate, and flexible. It can be used to model gravitational lens systems composed of multiple lensing planes, and to perform Bayesian inference on the lens model parameters. In this paper we present the theoretical and statistical ideas behind the code, and we describe its main features. In this first paper of the series, we focus on the modeling of point-like and small extended sources, for which we can linearize the lens equation. We show a practical use of Gravity.jl on a galaxy-scale lens, and we compare the results with those obtained with other codes. We also show how Gravity.jl can be used to perform Bayesian inference on cosmological parameters.


title: Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study

abstract: Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from state-space explosion to lack of completeness. Over the years, interval analysis has repeatedly been proposed as a partial solution to these limitations. In this work, we evaluate whether the computational cost of interval analysis yields significant enough improvements in BMC's performance to justify its use. In more detail, we quantify the benefits of interval analysis on two benchmarks: the Intel Core Power Management firmware and 9537 programs in the ReachSafety category of the International Competition on Software Verification. Our results show that interval analysis is essential in solving 203 unique benchmarks.


title: Computing Optimal Manipulations in Cryptographic Self-Selection Proof-of-Stake Protocols

abstract: Cryptographic Self-Selection is a paradigm employed by modern Proof-of-Stake consensus protocols to select a block-proposing "leader." Algorand [Chen and Micali, 2019] proposes a canonical protocol, and Ferreira et al. [2022] establish bounds $f(\alpha,\beta)$ on the maximum fraction of rounds a strategic player can lead as a function of their stake $\alpha$ and a network connectivity parameter $\beta$. While both their lower and upper bounds are non-trivial, there is a substantial gap between them (for example, they establish $f(10\%,1) \in [10.08\%, 21.12\%]$), leaving open the question of how significant of a concern these manipulations are. We develop computational methods to provably nail $f(\alpha,\beta)$ for any desired $(\alpha,\beta)$ up to arbitrary precision, and implement our method on a wide range of parameters (for example, we confirm $f(10\%,1) \in [10.08\%, 10.15\%]$). Methodologically, estimating $f(\alpha,\beta)$ can be phrased as estimating to high precision the value of a Markov Decision Process whose states are countably-long lists of real numbers. Our methodological contributions involve (a) reformulating the question instead as computing to high precision the expected value of a distribution that is a fixed-point of a non-linear sampling operator, and (b) provably bounding the error induced by various truncations and sampling estimations of this distribution (which appears intractable to solve in closed form). One technical challenge, for example, is that natural sampling-based estimates of the mean of our target distribution are \emph{not} unbiased estimators, and therefore our methods necessarily go beyond claiming sufficiently-many samples to be close to the mean.


title: FT-AED: Benchmark Dataset for Early Freeway Traffic Anomalous Event Detection

abstract: Early and accurate detection of anomalous events on the freeway, such as accidents, can improve emergency response and clearance. However, existing delays and errors in event identification and reporting make it a difficult problem to solve. Current large-scale freeway traffic datasets are not designed for anomaly detection and ignore these challenges. In this paper, we introduce the first large-scale lane-level freeway traffic dataset for anomaly detection. Our dataset consists of a month of weekday radar detection sensor data collected in 4 lanes along an 18-mile stretch of Interstate 24 heading toward Nashville, TN, comprising over 3.7 million sensor measurements. We also collect official crash reports from the Nashville Traffic Management Center and manually label all other potential anomalies in the dataset. To show the potential for our dataset to be used in future machine learning and traffic research, we benchmark numerous deep learning anomaly detection models on our dataset. We find that unsupervised graph neural network autoencoders are a promising solution for this problem and that ignoring spatial relationships leads to decreased performance. We demonstrate that our methods can reduce reporting delays by over 10 minutes on average while detecting 75% of crashes. Our dataset and all preprocessing code needed to get started are publicly released at https://vu.edu/ft-aed/ to facilitate future research.


title: The Greek podcast corpus: Competitive speech models for low-resourced languages with weakly supervised data

abstract: The development of speech technologies for languages with limited digital representation poses significant challenges, primarily due to the scarcity of available data. This issue is exacerbated in the era of large, data-intensive models. Recent research has underscored the potential of leveraging weak supervision to augment the pool of available data. In this study, we compile an 800-hour corpus of Modern Greek from podcasts and employ Whisper large-v3 to generate silver transcriptions. This corpus is utilized to fine-tune our models, aiming to assess the efficacy of this approach in enhancing ASR performance. Our analysis spans 16 distinct podcast domains, alongside evaluations on established datasets for Modern Greek. The findings indicate consistent WER improvements, correlating with increases in both data volume and model size. Our study confirms that assembling large, weakly supervised corpora serves as a cost-effective strategy for advancing speech technologies in under-resourced languages.


title: Monte Carlo Integration in Simple and Complex Simulation Designs

abstract: Simulation studies are used to evaluate and compare the properties of statistical methods in controlled experimental settings. In most cases, performing a simulation study requires knowledge of the true value of the parameter, or estimand, of interest. However, in many simulation designs, the true value of the estimand is difficult to compute analytically. Here, we illustrate the use of Monte Carlo integration to compute true estimand values in simple and complex simulation designs. We provide general pseudocode that can be replicated in any software program of choice to demonstrate key principles in using Monte Carlo integration in two scenarios: a simple three variable simulation where interest lies in the marginally adjusted odds ratio; and a more complex causal mediation analysis where interest lies in the controlled direct effect in the presence of mediator-outcome confounders affected by the exposure. We discuss general strategies that can be used to minimize Monte Carlo error, and to serve as checks on the simulation program to avoid coding errors. R programming code is provided illustrating the application of our pseudocode in these settings.


title: Electric and Magnetic Tau Dipole Moments Revisited

abstract: Precise measurements of magnetic and electric dipole moments are important tests of the Standard Model and beyond Standard Model physics, particularly for the electron and the muon. However, the situation presents distinctive challenges when dealing with the tau lepton due to its very short lifetime and relatively high mass. Here, we review the theoretical predictions and experimental measurements of both the anomalous magnetic and electric dipole moments of the tau lepton. Note: Contribution to the proceedings of the 17th International Workshop on Tau Lepton Physics, Louisville, USA, 4-8 December 2023


title: On a Bers theorem for SL(3,C)

abstract: For $S$ a closed surface of genus at least $2$, let $\mathrm{Hit}_3(S)$ be the Hitchin component of representations to $\mathrm{SL}(3,\mathbb{R}),$ equipped with the Labourie-Loftin complex structure. We construct a mapping class group equivariant holomorphic map from a large open subset of $\mathrm{Hit}_3(S)\times \overline{\mathrm{Hit}_3(S)}$ to the $\mathrm{SL}(3,\mathbb{C})$-character variety that restricts to the identity on the diagonal and to Bers' simultaneous uniformization on $\mathcal{T}(S)\times \overline{\mathcal{T}(S)}$. The open subset contains $\mathrm{Hit}_3(S)\times \overline{\mathcal{T}(S)}$ and $\mathcal{T}(S)\times \overline{\mathrm{Hit}_3(S)}$, and the image includes the holonomies of $\mathrm{SL}(3,\mathbb{C})$-opers. The map is realized by associating pairs of Hitchin representations to immersions into $\mathbb{C}^3$ that we call complex affine spheres, which are equivalent to certain conformal harmonic maps into $\mathrm{SL}(3,\mathbb{C})/\mathrm{SO}(3,\mathbb{C})$ and to new objects called bi-Higgs bundles. Complex affine spheres are obtained by solving a second-order complex elliptic PDE that resembles both the Beltrami and Tzitz\'eica equations. To study this equation we establish analytic results that should be of independent interest.


title: Difference-in-Differences with Time-Varying Covariates in the Parallel Trends Assumption

abstract: In this paper, we study difference-in-differences identification and estimation strategies where the parallel trends assumption holds after conditioning on time-varying covariates and/or time-invariant covariates. Our first main contribution is to point out a number of weaknesses of commonly used two-way fixed effects (TWFE) regressions in this context. In addition to issues related to multiple periods and variation in treatment timing that have been emphasized in the literature, we show that, even in the case with only two time periods, TWFE regressions are not generally robust to (i) paths of untreated potential outcomes depending on the level of time-varying covariates (as opposed to only the change in the covariates over time), (ii) paths of untreated potential outcomes depending on time-invariant covariates, and (iii) violations of linearity conditions for outcomes over time and/or the propensity score. Even in cases where none of the previous three issues hold, we show that TWFE regressions can suffer from negative weighting and weight-reversal issues. Thus, TWFE regressions can deliver misleading estimates of causal effect parameters in a number of empirically relevant cases. Second, we extend these arguments to the case of multiple periods and variation in treatment timing. Third, we provide simple diagnostics for assessing the extent of misspecification bias arising due to TWFE regressions. Finally, we propose alternative (and simple) estimation strategies that can circumvent these issues with two-way fixed regressions.


title: State Transfer and Readout Times for Trees of Diameter 4

abstract: We consider the state transfer properties of continuous time quantum walks on trees of diameter 4. We characterize all pairs of strongly cospectral vertices in trees of diameter 4, finding that they fall into pairs of three different types. For each type, we construct an infinite family of diameter 4 trees for which there is pretty good state transfer between the pair of strongly cospectral vertices. Moreover, for two of those types, for each tree in the infinite family, we give an explicit sequence of readout times at which the fidelity of state transfer converges to $1$. For strongly cospectral vertices of the remaining type, we identify a sequence of trees and explicit readout times so that the fidelity of state transfer between the strongly cospectral vertices approaches $1.$ We also prove a result of independent interest: for a graph with the property that the fidelity of state transfer between a pair of vertices at time $t_k$ converges to $1$ as $k \rightarrow \infty,$ then the derivative of the fidelity at $t_k$ converges to $0$ as $k \rightarrow \infty. $


title: Symmetry-controlled SrRuO3/SrTiO3/SrRuO3 magnetic tunnel junctions:Spin polarization and its relevance to tunneling magnetoresistance

abstract: Magnetic tunnel junctions (MTJs), that consist of two ferromagnetic electrodes separated by an insulating barrier layer, have non-trivial fundamental properties associated with spin-dependent tunneling. Especially interesting are fully crystalline MTJs where spin-dependent tunneling is controlled by the symmetry group of wave vector. In this work, using first-principles quantum-transport calculations, we explore spin-dependent tunneling in fully crystalline SrRuO3/SrTiO3/SrRuO3 (001) MTJs and predict tunneling magnetoresistance (TMR) of nearly 3000%. We demonstrate that this giant TMR effect is driven by symmetry matching (mismatching) of the incoming and outcoming Bloch states in the SrRuO3 (001) electrodes and evanescent states in the SrTiO3 (001) barrier. We argue that under the conditions of symmetry-controlled transport, spin polarization, whatever definition is used, is not a relevant measure of spin-dependent tunneling. In the presence of diffuse scattering, however, e.g. due to localized states in the band gap of the tunnel barrier, symmetry matching is no longer valid and TMR in SrRuO3/SrTiO3/SrRuO3 (001) MTJs is strongly reduced. Under these conditions, the spin polarization of the interface transmission function becomes a valid measure of TMR. These results provide an important insight into understanding and optimizing TMR in all-oxide MTJs.


title: Pessimistic asynchronous sampling in high-cost Bayesian optimization

abstract: Asynchronous Bayesian optimization is a recently implemented technique that allows for parallel operation of experimental systems and disjointed workflows. Contrasting with serial Bayesian optimization which individually selects experiments one at a time after conducting a measurement for each experiment, asynchronous policies sequentially assign multiple experiments before measurements can be taken and evaluate new measurements continuously as they are made available. This technique allows for faster data generation and therefore faster optimization of an experimental space. This work extends the capabilities of asynchronous optimization methods beyond prior studies by evaluating four additional policies that incorporate pessimistic predictions in the training data set. Combined with a conventional greedy policy, the five total policies were evaluated in a simulated environment and benchmarked with serial sampling. Under some conditions and parameter space dimensionalities, the pessimistic asynchronous policy reached optimum experimental conditions in significantly fewer experiments than equivalent serial policies and proved to be less susceptible to convergence onto local optima at higher dimensions. Without accounting for the faster sampling rate, the pessimistic asynchronous algorithm presented in this work could result in more efficient algorithm driven optimization of high-cost experimental spaces. Accounting for sampling rate, the presented asynchronous algorithm could allow for faster optimization in experimental spaces where multiple experiments can be run before results are collected.