title: Is the Elephant Flying? Resolving Ambiguities in Text-to-Image Generative Models

abstract: Natural language often contains ambiguities that can lead to misinterpretation and miscommunication. While humans can handle ambiguities effectively by asking clarifying questions and/or relying on contextual cues and common-sense knowledge, resolving ambiguities can be notoriously hard for machines. In this work, we study ambiguities that arise in text-to-image generative models. We curate a benchmark dataset covering different types of ambiguities that occur in these systems. We then propose a framework to mitigate ambiguities in the prompts given to the systems by soliciting clarifications from the user. Through automatic and human evaluations, we show the effectiveness of our framework in generating more faithful images aligned with human intention in the presence of ambiguities.


title: Identifying gender bias in blockbuster movies through the lens of machine learning

abstract: The problem of gender bias is highly prevalent and well known. In this paper, we have analysed the portrayal of gender roles in English movies, a medium that effectively influences society in shaping people's beliefs and opinions. First, we gathered scripts of films from different genres and derived sentiments and emotions using natural language processing techniques. Afterwards, we converted the scripts into embeddings, i.e. a way of representing text in the form of vectors. With a thorough investigation, we found specific patterns in male and female characters' personality traits in movies that align with societal stereotypes. Furthermore, we used mathematical and machine learning techniques and found some biases wherein men are shown to be more dominant and envious than women, whereas women have more joyful roles in movies. In our work, we introduce, to the best of our knowledge, a novel technique to convert dialogues into an array of emotions by combining it with Plutchik's wheel of emotions. Our study aims to encourage reflections on gender equality in the domain of film and facilitate other researchers in analysing movies automatically instead of using manual approaches.


title: Suppression of stimulated Raman scattering by angularly incoherent light, towards a laser system of incoherence in all dimensions of time, space, and angle

abstract: Laser-plasma instability (LPI) is one of the main obstacles in laser-driven inertial confinement fusion (ICF) for achieving predictable and reproducible fusion at high gain. For the first time we have proved analytically and confirmed with three-dimensional particle-in-cell simulations that angular incoherence has additional and much stronger suppression of the instability growth rate than the well-known temporal incoherence and spatial incoherence usually used in ICF studies. For the model used in our calculations, the maximum field ratio between the stimulated Raman scattering and the driving pulses drops from 0.2 for the Laguerre-Gaussian pulse with a single non-zero topological charge to 0.05 for the super light spring with an angular momentum spread and random relative phases. In particular, angular incoherence does not introduce extra undesirable hot electrons. This opens a novel way to suppress LPI with the light of an angular momentum spread and paves the way towards a low LPI laser system with a super light spring of incoherence in all dimensions of time, space, and angle.


title: Dynamic Loss For Robust Learning

abstract: Label noise and class imbalance commonly coexist in real-world data. Previous works for robust learning, however, usually address either one type of the data biases and underperform when facing them both. To mitigate this gap, this work presents a novel meta-learning based dynamic loss that automatically adjusts the objective functions with the training process to robustly learn a classifier from long-tailed noisy data. Concretely, our dynamic loss comprises a label corrector and a margin generator, which respectively correct noisy labels and generate additive per-class classification margins by perceiving the underlying data distribution as well as the learning state of the classifier. Equipped with a new hierarchical sampling strategy that enriches a small amount of unbiased metadata with diverse and hard samples, the two components in the dynamic loss are optimized jointly through meta-learning and cultivate the classifier to well adapt to clean and balanced test data. Extensive experiments show our method achieves state-of-the-art accuracy on multiple real-world and synthetic datasets with various types of data biases, including CIFAR-10/100, Animal-10N, ImageNet-LT, and Webvision. Code will soon be publicly available.


title: OpenFE: Automated Feature Generation with Expert-level Performance

abstract: The goal of automated feature generation is to liberate machine learning experts from the laborious task of manual feature generation, which is crucial for improving the learning performance of tabular data. The major challenge in automated feature generation is to efficiently and accurately identify effective features from a vast pool of candidate features. In this paper, we present OpenFE, an automated feature generation tool that provides competitive results against machine learning experts. OpenFE achieves high efficiency and accuracy with two components: 1) a novel feature boosting method for accurately evaluating the incremental performance of candidate features and 2) a two-stage pruning algorithm that performs feature pruning in a coarse-to-fine manner. Extensive experiments on ten benchmark datasets show that OpenFE outperforms existing baseline methods by a large margin. We further evaluate OpenFE in two Kaggle competitions with thousands of data science teams participating. In the two competitions, features generated by OpenFE with a simple baseline model can beat 99.3% and 99.6% data science teams respectively. In addition to the empirical results, we provide a theoretical perspective to show that feature generation can be beneficial in a simple yet representative setting. The code is available at https://github.com/ZhangTP1996/OpenFE.


title: Time-Aware Datasets are Adaptive Knowledgebases for the New Normal

abstract: Recent advances in text classification and knowledge capture in language models have relied on availability of large-scale text datasets. However, language models are trained on static snapshots of knowledge and are limited when that knowledge evolves. This is especially critical for misinformation detection, where new types of misinformation continuously appear, replacing old campaigns. We propose time-aware misinformation datasets to capture time-critical phenomena. In this paper, we first present evidence of evolving misinformation and show that incorporating even simple time-awareness significantly improves classifier accuracy. Second, we present COVID-TAD, a large-scale COVID-19 misinformation da-taset spanning 25 months. It is the first large-scale misinformation dataset that contains multiple snapshots of a datastream and is orders of magnitude bigger than related misinformation datasets. We describe the collection and labeling pro-cess, as well as preliminary experiments.


title: SimVP: Towards Simple yet Powerful Spatiotemporal Predictive Learning

abstract: Recent years have witnessed remarkable advances in spatiotemporal predictive learning, incorporating auxiliary inputs, elaborate neural architectures, and sophisticated training strategies. Although impressive, the system complexity of mainstream methods is increasing as well, which may hinder the convenient applications. This paper proposes SimVP, a simple spatiotemporal predictive baseline model that is completely built upon convolutional networks without recurrent architectures and trained by common mean squared error loss in an end-to-end fashion. Without introducing any extra tricks and strategies, SimVP can achieve superior performance on various benchmark datasets. To further improve the performance, we derive variants with the gated spatiotemporal attention translator from SimVP that can achieve better performance. We demonstrate that SimVP has strong generalization and extensibility on real-world datasets through extensive experiments. The significant reduction in training cost makes it easier to scale to complex scenarios. We believe SimVP can serve as a solid baseline to benefit the spatiotemporal predictive learning community.


title: Reconstructing the Image Scanning Microscopy Dataset: an Inverse Problem

abstract: Confocal laser-scanning microscopy (CLSM) is one of the most popular optical architectures for fluorescence imaging. In CLSM, a focused laser beam excites the fluorescence emission from a specific specimen position. Some actuators scan the probed region across the sample and a photodetector collects a single intensity value for each scan point, building a two-dimensional image pixel-by-pixel. Recently, new fast single-photon array detectors have allowed the recording of a full bi-dimensional image of the probed region for each scan point, transforming CLSM into image scanning microscopy (ISM). This latter offers significant improvements over traditional imaging but requires an optimal processing tool to extract a super-resolved image from the four-dimensional dataset. Here we describe the image formation process in ISM from a statistical point of view, and we use the Bayesian framework to formulate a multi-image deconvolution problem. Notably, the single-photon detector suffers exclusively from the photon shot noise, enabling the development of an effective likelihood model. We derive an iterative likelihood maximization algorithm and test it on experimental and simulated data. Furthermore, we demonstrate that the ISM dataset is redundant, enabling the possibility of obtaining reconstruction sampled at twice the scanning step. Our results prove that in ISM, under appropriate conditions, the Nyquist-Shannon sampling criterium is effectively relaxed. This finding can be exploited to speed up the acquisition process by a factor of four, further improving the versatility of ISM systems.


title: Scalable and Effective Conductance-based Graph Clustering

abstract: Conductance-based graph clustering has been recognized as a fundamental operator in numerous graph analysis applications. Despite the significant success of conductance-based graph clustering, existing algorithms are either hard to obtain satisfactory clustering qualities, or have high time and space complexity to achieve provable clustering qualities. To overcome these limitations, we devise a powerful \textit{peeling}-based graph clustering framework \textit{PCon}. We show that many existing solutions can be reduced to our framework. Namely, they first define a score function for each vertex, then iteratively remove the vertex with the smallest score. Finally, they output the result with the smallest conductance during the peeling process. Based on our framework, we propose two novel algorithms \textit{PCon\_core} and \emph{PCon\_de} with linear time and space complexity, which can efficiently and effectively identify clusters from massive graphs with more than a few billion edges. Surprisingly, we prove that \emph{PCon\_de} can identify clusters with near-constant approximation ratio, resulting in an important theoretical improvement over the well-known quadratic Cheeger bound. Empirical results on real-life and synthetic datasets show that our algorithms can achieve 5$\sim$42 times speedup with a high clustering accuracy, while using 1.4$\sim$7.8 times less memory than the baseline algorithms.


title: NLP meets psychotherapy: Using predicted client emotions and self-reported client emotions to measure emotional coherence

abstract: Emotions are experienced and expressed through various response systems. Coherence between emotional experience and emotional expression is considered important to clients' well being. To date, emotional coherence (EC) has been studied at a single time point using lab-based tasks with relatively small datasets. No study has examined EC between the subjective experience of emotions and emotion expression in therapy or whether this coherence is associated with clients' well being. Natural language Processing (NLP) approaches have been applied to identify emotions from psychotherapy dialogue, which can be implemented to study emotional processes on a larger scale. However, these methods have yet to be used to study coherence between emotional experience and emotional expression over the course of therapy and whether it relates to clients' well-being. This work presents an end-to-end approach where we use emotion predictions from our transformer based emotion recognition model to study emotional coherence and its diagnostic potential in psychotherapy research. We first employ our transformer based approach on a Hebrew psychotherapy dataset to automatically label clients' emotions at utterance level in psychotherapy dialogues. We subsequently investigate the emotional coherence between clients' self-reported emotional states and our model-based emotion predictions. We also examine the association between emotional coherence and clients' well being. Our findings indicate a significant correlation between clients' self-reported emotions and positive and negative emotions expressed verbally during psychotherapy sessions. Coherence in positive emotions was also highly correlated with clients well-being. These results illustrate how NLP can be applied to identify important emotional processes in psychotherapy to improve diagnosis and treatment for clients suffering from mental-health problems.


title: Real-time response estimation of structural vibration with inverse force identification

abstract: This study aimed to develop a virtual sensing algorithm of structural vibration for the real-time identification of unmeasured information. First, certain local point vibration responses (such as displacement and acceleration) are measured using physical sensors, and the data sets are extended using a numerical model to cover the unmeasured quantities through the entire spatial domain in the real-time computation process. A modified time integrator is then proposed to synchronize the physical sensors and the numerical model using inverse dynamics. In particular, an efficient inverse force identification method is derived using implicit time integration. The second-order ordinary differential formulation and its projection-based reduced-order modeling is used to avoid two times larger degrees of freedom within the state space form. Then, the Tikhonov regularization noise-filtering algorithm is employed instead of Kalman filtering. The performance of the proposed method is investigated on both numerical and experimental testbeds under sinusoidal and random excitation loading conditions. In the experimental test, the algorithm is implemented on a single-board computer, including inverse force identification and unmeasured response prediction. The results show that the virtual sensing algorithm can accurately identify unmeasured information, forces, and displacements throughout the vibration model in real time in a very limited computing environment.


title: AugOp: Inject Transformation into Neural Operator

abstract: In this paper, we propose a simple and general approach to augment regular convolution operator by injecting extra group-wise transformation during training and recover it during inference. Extra transformation is carefully selected to ensure it can be merged with regular convolution in each group and will not change the topological structure of regular convolution during inference. Compared with regular convolution operator, our approach (AugConv) can introduce larger learning capacity to improve model performance during training but will not increase extra computational overhead for model deployment. Based on ResNet, we utilize AugConv to build convolutional neural networks named AugResNet. Result on image classification dataset Cifar-10 shows that AugResNet outperforms its baseline in terms of model performance.


title: Smart Agriculture : A Novel Multilevel Approach for Agricultural Risk Assessment over Unstructured Data

abstract: Detecting opportunities and threats from massive text data is a challenging task for most. Traditionally, companies would rely mainly on structured data to detect and predict risks, losing a huge amount of information that could be extracted from unstructured text data. Fortunately, artificial intelligence came to remedy this issue by innovating in data extraction and processing techniques, allowing us to understand and make use of Natural Language data and turning it into structures that a machine can process and extract insight from. Uncertainty refers to a state of not knowing what will happen in the future. This paper aims to leverage natural language processing and machine learning techniques to model uncertainties and evaluate the risk level in each uncertainty cluster using massive text data.


title: Width effects of broad new resonances in loop observables and application to $(g-2)_\mu$

abstract: In the phenomenology of strong interactions most physical states acquire a substantial width, and thus can only be defined in a model-independent way by pole positions and residues of the $S$-matrix. This information is incorporated in the K\"all\'en-Lehmann representation, whose spectral function characterizes the shape of the resonance and can be constrained by the dominant decay channels. Here, we argue that similar effects become important whenever beyond-the-Standard-Model particles possess a sizable decay width - as possible for instance in cases with a large branching fraction to a dark sector or strongly coupled scenarios - and show how their widths can be incorporated in the calculation of loop observables. As an application, we consider the anomalous magnetic moment of the muon, including both the direct effect of new physics and the possible indirect impact of a broad light $Z'$ on $e^+e^-\to\text{hadrons}$ cross sections. Throughout, we provide results for a general spectral function and its reconstruction from the one-loop imaginary part, where the latter captures the leading two-loop effects.


title: Baryogenesis from Decaying Magnetic Helicity in Axiogenesis

abstract: Generating axion dark matter through the kinetic misalignment mechanism implies the generation of large asymmetries for Standard Model fermions in the early universe. Even if these asymmetries are washed out at later times, they can trigger a chiral plasma instability in the early universe. Similarly, a direct coupling of the axion with the hypercharge gauge field can trigger a tachyonic instability. These instabilities produce helical magnetic fields, which are preserved until the electroweak phase transition. At the electroweak phase transition, these become a source of baryon asymmetry, which can be much more efficient than the original axiogenesis proposal. We discuss constraints on axion dark matter production from the overproduction of the baryon asymmetry as well as a minimal, albeit fine-tuned setup, where both the correct dark matter abundance and baryon asymmetry can be achieved. For a given axion decay constant, this leads to a sharp prediction for the mass of the radial direction of the Peccei Quinn field, which is a soft mass scale in supersymmetric theories.


title: MASCOT: Molecular gas depletion times and metallicity gradients -- evidence for feedback in quenching active galaxies

abstract: We present results from the first public data release of the MaNGA-ARO Survey of CO Targets (MASCOT), focussing our study on galaxies whose star-formation rates and stellar masses place them below the ridge of the star-forming Main Sequence. In optically-selected type 2 AGN/LINERs/Composites, we find an empirical relation between gas-phase metallicity gradients $\nabla Z$ and global molecular gas depletion times $t_\mathrm{dep} = M_{H_2}$/SFR with "more quenched" systems showing flatter/positive gradients. Our results are based on the O3N2 metallicity diagnostic (applied to star-forming regions within a given galaxy) which was recently suggested to also be robust against emission by diffuse ionised gas (DIG) and low-ionisation nuclear emission regions (LINERs). We conduct a systematic investigation into possible drivers of the observed $\nabla Z$ - $t_\mathrm{dep}$ relation (ouflows, gas accretion, in-situ star formation, mergers, and morphology). We find a strong relation between $\nabla Z$ or $t_\mathrm{dep}$ and centralised outflow strength traced by the [OIII] velocity broadening. We also find signatures of suppressed star-formation in the outskirts in AGN-like galaxies with long depletion times and an enhancement of metals in the outer regions. We find no evidence of inflows impacting the metallicity gradients, and none of our results are found to be significantly affected by merger activity or morphology. We thus conclude that the observed $\nabla Z$ - $t_\mathrm{dep}$ relation may stem from a combination of metal redistribution via weak feedback, and a connection to in-situ star formation via a resolved mass-metallicity-SFR relation.


title: Optimizing the depth of variational quantum algorithms is strongly QCMA-hard to approximate

abstract: Variational Quantum Algorithms (VQAs), such as the Quantum Approximate Optimization Algorithm (QAOA) of [Farhi, Goldstone, Gutmann, 2014], have seen intense study towards near-term applications on quantum hardware. A crucial parameter for VQAs is the \emph{depth} of the variational ``ansatz'' used -- the smaller the depth, the more amenable the ansatz is to near-term quantum hardware in that it gives the circuit a chance to be fully executed before the system decoheres. In this work, we show that approximating the optimal depth for a given VQA ansatz is intractable. Formally, we show that for any constant $\epsilon>0$, it is QCMA-hard to approximate the optimal depth of a VQA ansatz within multiplicative factor $N^{1-\epsilon}$, for $N$ denoting the encoding size of the VQA instance. (Here, Quantum Classical Merlin-Arthur (QCMA) is a quantum generalization of NP.) We then show that this hardness persists in the even ``simpler'' QAOA-type settings. To our knowledge, this yields the first natural QCMA-hard-to-approximate problems.


title: CYJAX: A package for Calabi-Yau metrics with JAX

abstract: We present the first version of CYJAX, a package for machine learning Calabi-Yau metrics using JAX. It is meant to be accessible both as a top-level tool and as a library of modular functions. CYJAX is currently centered around the algebraic ansatz for the K\"ahler potential which automatically satisfies K\"ahlerity and compatibility on patch overlaps. As of now, this implementation is limited to varieties defined by a single defining equation on one complex projective space. We comment on some planned generalizations.


title: Manipulating growth and propagation of correlations in dipolar multilayers: From pair production to bosonic Kitaev models

abstract: We study the non-equilibrium dynamics of dipoles confined in multiple stacked two-dimensional layers realising a long-range interacting quantum spin 1/2 XXZ model. We demonstrate that strong in-plane XXX interactions can protect a manifold of collective layer dynamics. This then allows us to map the many-body spin dynamics to bosonic models. In a bilayer configuration we show how to engineer the paradigmatic two-mode squeezing Hamiltonian known from quantum optics, resulting in exponential production of entangled pairs and generation of metrologically useful entanglement from initially prepared product states. In multi-layer configurations we engineer a bosonic variant of the Kitaev model displaying chiral propagation along the layer direction. Our study illustrates how the control over interactions, lattice geometry and state preparation in interacting dipolar systems uniquely afforded by AMO platforms such as Rydberg and magnetic atoms, polar molecules or trapped ions allow for the control over the temporal and spatial propagation of correlations for applications in quantum sensing and quantum simulation.


title: Smooth Metric Adjusted Skew Information Rates

abstract: Metric adjusted skew information, induced from quantum Fisher information, is a well-known family of resource measures in the resource theory of asymmetry. However, its asymptotic rates are not valid asymmetry monotone since it has an asymptotic discontinuity. We here introduce a new class of asymmetry measures with the smoothing technique, which we term smooth metric adjusted skew information. We prove that its asymptotic sup- and inf-rates are valid asymptotic measures in the resource theory of asymmetry. Furthermore, it is proven that the smooth metric adjusted skew information rates provide a lower bound for the coherence cost and an upper bound for the distillable coherence.


title: Constraints on modified gravity from the BOSS galaxy survey

abstract: We develop a pipeline to set new constraints on scale-independent modified gravity, from the galaxy power spectrum in redshift space of BOSS DR12. The latter is modelled using the effective field theory of large-scale structure up to 1-loop order in perturbation theory. We test our pipeline on synthetic and simulated data, to assess systematic biases on the inferred cosmological parameters due to marginalization and theoretical errors, and we apply it to the normal branch of the DGP model with a $\Lambda$CDM background. When applied to synthetic data and cosmological simulations, we observe biased posteriors due to the strong degeneracy between the nDGP parameter $\Omega_{\rm rc}$ and the primordial amplitude of fluctuations $A_s$. Fixing the latter to the Planck central value, we obtain a posterior distribution with $\Omega_{\rm rc}\lesssim 0.65$ at 95$\%$ C.L., under the assumption of a flat prior on $\log_{10} \Omega_{\rm rc}$. This upper bound, however, depends strongly on the prior on $\Omega_{\rm rc}$. To alleviate this effect, we provide an upper bound based on the Bayes factor between the nDGP model and $\Lambda$CDM model, which gives $\Omega_{\rm rc}\lesssim 0.2$ at 95$\%$ C.L..


title: Multi-terminal Josephson junctions: a road to topological flux networks

abstract: Multi-terminal Josephson junctions were recently proposed as a versatile and tunable platform to emulate topological Bloch-like Hamiltonians in arbitrary dimensions. In this perspective article, we will give a brief overview of the subject and recognize these mesoscopic devices as realizations of topological flux networks as the ones envisioned by J. E. Avron and coworkers in their seminal works on the early days of the quantum Hall effect. We summarize the current state-of-the-art theoretical and experimental research regarding these Josephson devices, highlighting recent developments and giving an outlook on current trends.


title: Relating non-Hermitian and Hermitian quantum systems at criticality

abstract: We demonstrate three types of transformations that establish connections between Hermitian and non-Hermitian quantum systems at criticality, which can be described by conformal field theories (CFTs). For the transformation preserving both the energy and the entanglement spectra, the corresponding central charges obtained from the logarithmic scaling of the entanglement entropy are identical for both Hermitian and non-Hermitian systems. The second transformation, while preserving the energy spectrum, does not perserve the entanglement spectrum. This leads to different entanglement entropy scalings and results in different central charges for the two types of systems. We demonstrate this transformation using the dilation method applied to the free fermion case. Through this method, we show that a non-Hermitian system with central charge $c = -4$ can be mapped to a Hermitian system with central charge $c = 2$. Lastly, we investigate the Galois conjugation in the Fibonacci model with the parameter $\phi \to - 1/\phi$, in which the transformation does not preserve both energy and entanglement spectra. We demonstrate the Fibonacci model and its Galois conjugation relate the tricritical Ising model/3-state Potts model and the Lee-Yang model with negative central charges from the scaling property of the entanglement entropy.


title: Entanglement and Absorbing-State Transitions in Interactive Quantum Dynamics

abstract: Nascent quantum computers motivate the exploration of quantum many-body systems in nontraditional scenarios. For example, it has become natural to explore the dynamics of systems evolving under both unitary evolution and measurement. Such systems can undergo dynamical phase transitions in the entanglement properties of quantum trajectories conditional on the measurement outcomes. Here, we explore dynamics in which one attempts to (locally) use those measurement outcomes to steer the system toward a target state, and we study the resulting phase diagram as a function of the measurement and feedback rates. Steering succeeds when the measurement and feedback rates exceed a threshold, yielding an absorbing-state transition in the trajectory-averaged density matrix. We argue that the absorbing-state transition generally occurs at different critical parameters from the entanglement transition in individual trajectories and has distinct critical properties. The efficacy of steering depends on the nature of the target state: in particular, for local dynamics targeting long-range correlated states, steering is necessarily slow and the entanglement and steering transitions are well separated in parameter space.


title: Goldstino condensation at large N

abstract: We analyze the standard fermionic 4D Volkov-Akulov action with N global non-linear supersymmetries. We find that the stationary points of the system are described by an effective potential, written in terms of two composite real scalar fields, which approaches the exact quantum effective potential in the large N limit. We identify the existence of at least two stationary points, one representing the original supersymmetry breaking configuration and the other one corresponding to goldstino condensation, where supersymmetry is restored in the deep IR.


title: Rate-Splitting Enabled Multi-Connectivity in Mixed-Criticality Systems

abstract: The enormous quality of service (QoS) demands posed by mission-critical use-cases of future 5G/6G wireless communication raise the need for resource-efficient highly reliable and low latency connectivity solutions. Multi-connectivity is considered a promising yet resource demanding approach to enhance reliability. In this work, we study the potential of the rate-splitting multiple access (RSMA) framework as an efficient way to enable uplink multi-connectivity for data transmissions with particularly high reliability requirements. Mapping high-criticality data onto the common stream allows it to be decoded at multiple access points (APs), which enhances reliability, while the private stream is utilized to serve applications with less stringent requirements. We propose a criticality-aware RSMA-based transmission scheme with short blocklength coding and derive an iterative power allocation algorithm by means of successive convex approximation (SCA). The proposed scheme is shown to achieve an expanded stability rate region compared to two baseline schemes. Moreover, it turns out to be less impacted by short blocklength while leading to substantial rate gains, particularly in the high SNR regime.


title: Differences in chemical evolution between isolated and embedded prestellar cores

abstract: Models of prestellar cores often assume that the cores are isolated from their environment - material outside the core boundary plays no role in the subsequent evolution. This is unlikely to be the case in reality, where cores are located within hierarchically substructured molecular clouds. We investigate the dynamical and chemical evolution of prestellar cores, modelled as Bonnor-Ebert spheres, and show that the density of the ambient medium has a large impact on the resulting chemical properties of the cores. Models embedded in high-density, low-temperature surroundings have greatly enhanced abundances of several molecules, such as CO and CS, compared to models with more diffuse surroundings, corresponding to relatively isolated cores. The predicted intensities and profile shapes of molecular lines are also affected. The density of the ambient medium has a stronger effect on the chemical evolution than whether the cores are initially in or out of equilibrium. This suggests that the impact of environment cannot be neglected when modelling chemistry in prestellar cores; the results of these models are highly sensitive to the assumptions made about the core surroundings.


title: Unfolded Fierz-Pauli Equations in Three-Dimensional Asymptotically Flat Spacetimes

abstract: We utilise a quotient of the universal enveloping algebra of the Poincar\'e algebra in three spacetime dimensions, on which we formulate a covariant constancy condition. The equations so obtained contain the Fierz-Pauli equations for non-interacting, massive higher-spin fields, and can thus be regarded as an unfolding of the Fierz-Pauli system. All fundamental fields completely decouple from each other. In the non-truncated case, the field content includes infinitely many copies of each field at fixed spin.


title: What is an internal groupoid?

abstract: An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of involutive-2-links, that is, a category whose objects are morphisms equipped with a pair of interlinked involutions. This result highlights the fact that even thought internal groupoids are internal categories equipped with an involution, they can equivalently be seen as tri-graphs with an involution. Moreover, the structure of a tri-graph with an involution can be further contracted into a simpler structure consisting of one morphism with two interlinked involutions. This approach highly contrasts with the one where groupoids are seen as reflexive graphs on which a multiplicative structure is defined with inverses.


title: A dichotomy in group II Herbig disks: ALMA gas disk height measurements show both shadowed large vertically extended disks and compact flat disks

abstract: Herbig stars can be classified into group I and group II depending on the shape of the far-IR excess from the spectral energy distribution. This separation may be evolutionary and related to the vertical structure of these disks. We aim to determine the emission height of Herbig disks and compare the resulting vertical extent of both groups. ALMA Band 6 observations of 12CO emission lines at sufficient velocity and spatial resolution of eight Herbig disks (four group I and four group II sources) are used to determine the emission heights from the channel maps via geometrical methods developed in other works. We find that all group I disks are vertically extended with a height to radius ratio of at least 0.25, and for three of the disks the gas emission profile can be traced out to 200-500 au. The group II disks are divided between MWC 480 and HD 163296 which have similar emission height profiles as the group I disks, and AK Sco and HD 142666 which are very flat (not exceeding a height of 10 au) and more compact (<200 au in size). The brightness temperatures show no differences between the disks when the luminosity of the host star is accounted for. Our findings agree with previous work suggesting that group I disks are vertically extended and that group II disks are either large and self-shadowed or compact. Both MWC 480 and HD 163296 could be precursors of group I disks, which we see now before a cavity has formed that would allow irradiation of the outer parts of the disk. The very flat disks AK Sco and HD 142666 could be due to significant settling because of the advanced age of these disks (~20 instead of <10 Myr). These large differences in vertical structures are not reflected in the spectral energy distributions of these disks. More and deeper observations at higher spatial and velocity resolution are necessary to further characterize the Herbig sub-groups.


title: Existence of solutions for a singularly perturbed nonlinear non-autonomous transmission problem

abstract: In this paper we analyse a boundary value problem for the Laplace equation with a nonlinear non-autonomous transmission conditions on the boundary of a small inclusion of size $\epsilon$. We show that the problem has solutions for $\epsilon$ small enough and we investigate the dependence of a specific family of solutions upon $\epsilon$. By adopting a functional analytic approach we prove that the map which takes $\epsilon$ to (suitable restrictions of) the corresponding solution can be represented in terms of real analytic functions.


title: EAVN Astrometry toward the Extreme Outer Galaxy: Kinematic distance with the proper motion of G034.84-00.95

abstract: We aim to reveal the structure and kinematics of the Outer-Scutum-Centaurus (OSC) arm located on the far side of the Milky Way through very long baseline interferometry (VLBI) astrometry using KaVA, which is composed of KVN (Korean VLBI Network) and VERA (VLBI Exploration of Radio Astrometry). We report the proper motion of a 22 GHz H$_{2}$O maser source, which is associated with the star-forming region G034.84$-$00.95, to be ($\mu_{\alpha} \rm{cos}\delta$, $\mu_{\delta}$) = ($-$1.61$\pm$0.18, $-$4.29$\pm$0.16) mas yr$^{-1}$ in equatorial coordinates (J2000). We estimate the 2D kinematic distance to the source to be 18.6$\pm$1.0 kpc, which is derived from the variance-weighted average of kinematic distances with LSR velocity and the Galactic-longitude component of the measured proper motion. Our result places the source in the OSC arm and implies that G034.84$-$00.95 is moving away from the Galactic plane with a vertical velocity of $-$38$\pm$16 km s$^{-1}$. Since the H I supershell GS033+06$-$49 is located at a kinematic distance roughly equal to that of G034.84$-$00.95, it is expected that gas circulation occurs between the outer Galactic disk around G034.84$-$00.95 with a Galactocentric distance of 12.8$^{+1.0}_{-0.9}$ kpc and halo. We evaluate possible origins of the fast vertical motion of G034.84$-$00.95, which are (1) supernova explosions and (2) cloud collisions with the Galactic disk. However, neither of the possibilities are matched with the results of VLBI astrometry as well as spatial distributions of H II regions and H I gas.


title: Entanglement Routing and Bottlenecks in Grid Networks

abstract: Distributing entangled pairs among multiple users is a fundamental problem in quantum networks. Existing protocols like $X$ protocol introduced in (npj Quantum Information 5, 76 (2019)) use graph theoretic tools like local complementation to optimize the number of measurements required to extract any Bell pair among the network users. However, such a protocol relies on finding the shortest path between the users. Here, the existing results are extended to establish a counter-intuitive notion that, in general, the most optimal path to perform the $X$ protocol is not along the shortest path. Specific examples of this advantage are provided on networks of size as small as 12 qubits. Bottlenecks in establishing simultaneous Bell pairs in nearest-neighbor architectures are also explored. Recent results suggesting the unsuitability of the line and ring networks for the implementation of quantum networks due to the existence of bottlenecks are revisited, and using local equivalency relations from graph theory, it is hinted at the possibility that even grid graphs are not exempt from bottleneck issues. Further, it's noted that the results obtained here would be of use in analyzing the advantages of measurement-based quantum network coding.


title: Measuring neutrino dynamics in NMSSM with a right-handed sneutrino LSP at the ILC

abstract: We study the possibility of measuring neutrino Yukawa couplings in the Next-to-Minimal Supersymmetric Standard Model with right-handed neutrinos (NMSSMr) when the lightest Supersymmetric partner (a right-handed sneutrino) is the Dark Matter (DM) candidate, by exploiting a `dijet + dilepton + Missing Transverse Energy' (MET) signature. We show that, unlike the miminal realisation of Supersymmetry (SUSY), i.e., the MSSM, for which the DM candidate is a much heavier (fermionic) state (a neutralino), this non-minimal SUSY model offers one with a much lighter (bosonic) state (a sneutrino) as DM, which can be produced at future $e^+e^-$ colliders with energies up to about 500 GeV. The emerging signal, from chargino pair production and subsequent decay, is extremely pure so it allows for the possibility of extracting the Yukawa parameters of the (s)neutrino sector. These results should then motivate searches for light DM signals at such accelerators, where a DM candidate with mass at the Electro-Weak (EW) scale can then be accessed.


title: On Dynamical Parameter Space of Cubic Polynomials with a Parabolic Fixed Point

abstract: This article focus on the connected locus of the cubic polynomial slice $Per_1(\lambda)$ with a parabolic fixed point of multiplier $\lambda=e^{2\pi i\frac{p}{q}}$. We first show that any parabolic component, which is a parallel notion of hyperbolic component, is a Jordan domain. Moreover, a continuum $\mathcal{K}_\lambda$ called the central part in the connected locus is defined. This is the natural analogue to the closure of the main hyperbolic component of $Per_1(0)$. We prove that $\mathcal{K}_\lambda$ is almost a double covering of the filled-in Julia set of the quadratic polynomial $P_{\lambda}(z) = \lambda z+z^2$.


title: Testing for Publication Bias in Diagnostic Meta-Analysis: A Simulation Study

abstract: The present study investigates the performance of several statistical tests to detect publication bias in diagnostic meta-analysis by means of simulation. While bivariate models should be used to pool data from primary studies in diagnostic meta-analysis, univariate measures of diagnostic accuracy are preferable for the purpose of detecting publication bias. In contrast to earlier research, which focused solely on the diagnostic odds ratio or its logarithm ($\ln\omega$), the tests are combined with four different univariate measures of diagnostic accuracy. For each combination of test and univariate measure, both type I error rate and statistical power are examined under diverse conditions. The results indicate that tests based on linear regression or rank correlation cannot be recommended in diagnostic meta-analysis, because type I error rates are either inflated or power is too low, irrespective of the applied univariate measure. In contrast, the combination of trim and fill and $\ln\omega$ has non-inflated or only slightly inflated type I error rates and medium to high power, even under extreme circumstances (at least when the number of studies per meta-analysis is large enough). Therefore, we recommend the application of trim and fill combined with $\ln\omega$ to detect funnel plot asymmetry in diagnostic meta-analysis. Please cite this paper as published in Statistics in Medicine (https://doi.org/10.1002/sim.6177).


title: Universal Variable-to-Fixed Length Lossy Compression at Finite Blocklengths

abstract: We consider universal variable-to-fixed length compression of memoryless sources with a fidelity criterion. We design a dictionary codebook over the reproduction alphabet which is used to parse the source stream. Once a source subsequence is within a specified distortion of a dictionary codeword, the index of the codeword is emitted as the reproduced string. Our proposed dictionary consists of coverings of type classes in the boundary of transition from low to high empirical lossy rate. We derive the asymptotics of the \epsilon-coding rate (up to the third-order term) of our coding scheme for large enough dictionaries.


title: Demonstration of a quantum SWITCH in a Sagnac configuration

abstract: The quantum SWITCH is an example of a process with an indefinite causal structure, and has attracted attention for its ability to outperform causally ordered computations within the quantum circuit model. To date, realisations of the quantum SWITCH have relied on optical interferometers susceptible to minute path length fluctuations, complicating their design, limiting their performance and posing an obstacle to extending the quantum SWITCH to multiple parties. In this Letter we overcome these limitations by demonstrating an intrinsically stable quantum SWITCH utilizing a common-path geometry facilitated by a novel reciprocal and universal $\mathrm{SU}(2)$ polarization gadget. We certify our design by successfully performing a channel discrimination task with near unity success probability.


title: Deterministic Approximation Algorithms for Volumes of Spectrahedra

abstract: We give a method for computing asymptotic formulas and approximations for the volumes of spectrahedra, based on the maximum-entropy principle from statistical physics. The method gives an approximate volume formula based on a single convex optimization problem of minimizing $-\log \det P$ over the spectrahedron. Spectrahedra can be described as affine slices of the convex cone of positive semi-definite (PSD) matrices, and the method yields efficient deterministic approximation algorithms and asymptotic formulas whenever the number of affine constraints is sufficiently dominated by the dimension of the PSD cone. Our approach is inspired by the work of Barvinok and Hartigan who used an analogous framework for approximately computing volumes of polytopes. Spectrahedra, however, possess a remarkable feature not shared by polytopes, a new fact that we also prove: central sections of the set of density matrices (the quantum version of the simplex) all have asymptotically the same volume. This allows for very general approximation algorithms, which apply to large classes of naturally occurring spectrahedra. We give two main applications of this method. First, we apply this method to what we call the "multi-way Birkhoff spectrahedron" and obtain an explicit asymptotic formula for its volume. This spectrahedron is the set of quantum states with maximal entanglement (i.e., the quantum states having univariant quantum marginals equal to the identity matrix) and is the quantum analog of the multi-way Birkhoff polytope. Second, we apply this method to explicitly compute the asymptotic volume of central sections of the set of density matrices.


title: CASSPR: Cross Attention Single Scan Place Recognition

abstract: Place recognition based on point clouds (LiDAR) is an important component for autonomous robots or self-driving vehicles. Current SOTA performance is achieved on accumulated LiDAR submaps using either point-based or voxel-based structures. While voxel-based approaches nicely integrate spatial context across multiple scales, they do not exhibit the local precision of point-based methods. As a result, existing methods struggle with fine-grained matching of subtle geometric features in sparse single-shot Li- DAR scans. To overcome these limitations, we propose CASSPR as a method to fuse point-based and voxel-based approaches using cross attention transformers. CASSPR leverages a sparse voxel branch for extracting and aggregating information at lower resolution and a point-wise branch for obtaining fine-grained local information. CASSPR uses queries from one branch to try to match structures in the other branch, ensuring that both extract self-contained descriptors of the point cloud (rather than one branch dominating), but using both to inform the output global descriptor of the point cloud. Extensive experiments show that CASSPR surpasses the state-of-the-art by a large margin on several datasets (Oxford RobotCar, TUM, USyd). For instance, it achieves AR@1 of 85.6% on the TUM dataset, surpassing the strongest prior model by ~15%. Our code is publicly available.


title: Lieb-Schultz-Mattis, Luttinger, and 't Hooft -- anomaly matching in lattice systems

abstract: We analyze lattice Hamiltonian systems whose global symmetries have 't Hooft anomalies. As is common in the study of anomalies, they are probed by coupling the system to classical background gauge fields. For flat fields (vanishing field strength), the nonzero spatial components of the gauge fields can be thought of as twisted boundary conditions, or equivalently, as topological defects. The symmetries of the twisted Hilbert space and their representations capture the anomalies. We demonstrate this approach with a number of examples. In some of them, the anomalous symmetries are internal symmetries of the lattice system, but they do not act on-site. (We clarify the notion of "on-site action.") In other cases, the anomalous symmetries involve lattice translations. Using this approach we frame many known and new results in a unified fashion. In this work, we limit ourselves to 1+1d systems with a spatial lattice. In particular, we present a lattice system that flows to the $c=1$ compact boson system with any radius (no BKT transition) with the full internal symmetry of the continuum theory, with its anomalies and its T-duality. As another application, we analyze various spin chain models and phrase their Lieb-Shultz-Mattis theorem as an 't Hooft anomaly matching condition. We also show in what sense filling constraints like Luttinger theorem can and cannot be viewed as reflecting an anomaly. As a by-product, our understanding allows us to use information from the continuum theory to derive some exact results in lattice model of interest, such as the lattice momenta of the low-energy states.


title: Zero NeRF: Registration with Zero Overlap

abstract: We present Zero-NeRF, a projective surface registration method that, to the best of our knowledge, offers the first general solution capable of alignment between scene representations with minimal or zero visual correspondence. To do this, we enforce consistency between visible surfaces of partial and complete reconstructions, which allows us to constrain occluded geometry. We use a NeRF as our surface representation and the NeRF rendering pipeline to perform this alignment. To demonstrate the efficacy of our method, we register real-world scenes from opposite sides with infinitesimal overlaps that cannot be accurately registered using prior methods, and we compare these results against widely used registration methods.


title: Modular parallel transport of multiple intervals in 1+1-dimensional free fermion theory

abstract: Modular parallel transport is a generalization of Berry phases, applied to modular (entanglement) Hamiltonians. Here we initiate the study of modular parallel transport for disjoint field theory regions. We study modular parallel transport in the kinematic space of multi-interval regions in the vacuum of 1+1-dimensional free fermion theory--one of the few theories for which modular Hamiltonians on disjoint regions are known. We compute explicitly the generators of modular parallel transport, and explain why their relatively simple form follows from a half-sided modular inclusion. We also compute explicitly the curvature two-form of modular parallel transport. We contrast all calculations with the expected behavior of modular parallel transport in holographic theories, emphasizing the role of non-local terms that couple distinct intervals.


title: Higgs-like particle decays into $\gamma Z$ and $\gamma\gamma$ : Fingerprints of some non-supersymmetric models

abstract: Recently, ATLAS and CMS experiments at the LHC put on light the relevant results in the measurement precision of the Higgs and BSM. In such a report, where the resonance direct search was made in the $\gamma Z$ channel, a mass adjustment distribution for the reconstructed $Z$ boson and photon was established. Thus, simultaneously with the signal-from-background separation, the number of events has been perfectly described, and an excess signal approximately twice that expected by the Standard Model (SM) has been noticed, which is equivalent to a significance of 2.2 standard deviations. In this study, we examine how any possible new physics models can explain this excess, such as the CP-conserving Two-Higgs doublet model (2HDMs), the Inert doublet model (IDM), and the Higgs triplet model (HTM). While considering the available theoretical and most recent experimental constraints, the phenomenological implications of existing extensions beyond the SM are discussed, and prospects for precision studies of these processes are described. We have found that the excess could be explained in the BSM framework studied, depending on the charged and double-charged Higgs boson masses.


title: Radiative Transfer as a Bayesian Linear Regression problem

abstract: Electromagnetic radiation plays a crucial role in various physical and chemical processes. Hence, almost all astrophysical simulations require some form of radiative transfer model. Despite many innovations in radiative transfer algorithms and their implementation, realistic radiative transfer models remain very computationally expensive, such that one often has to resort to approximate descriptions. The complexity of these models makes it difficult to assess the validity of any approximation and to quantify uncertainties on the model results. This impedes scientific rigour, in particular, when comparing models to observations, or when using their results as input for other models. We present a probabilistic numerical approach to address these issues by treating radiative transfer as a Bayesian linear regression problem. This allows us to model uncertainties on the input and output of the model with the variances of the associated probability distributions. Furthermore, this approach naturally allows us to create reduced-order radiative transfer models with a quantifiable accuracy. These are approximate solutions to exact radiative transfer models, in contrast to the exact solutions to approximate models that are often used. As a first demonstration, we derive a probabilistic version of the method of characteristics, a commonly-used technique to solve radiative transfer problems.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR


title: The production of ionizing photons in UV-faint z~3-7 galaxies

abstract: The demographics of the production and escape of ionizing photons from UV-faint early galaxies is a key unknown in discovering the primary drivers of reionization. With the advent of JWST it is finally possible to observe the rest-frame optical nebular emission from individual sub-L$^*$ z>3 galaxies to measure the production of ionizing photons, $\xi_\mathrm{ion}$. Here we study a sample of 370 z~3-7 galaxies spanning -23 <M$_\mathrm{UV}$ < -15.5 (median M$_\mathrm{UV}\approx$ -18) with deep multi-band HST and JWST/NIRCam photometry covering the rest-UV to optical from the GLASS and UNCOVER JWST surveys. Our sample includes 102 galaxies with Lyman-alpha emission detected in MUSE spectroscopy. We use H-alpha fluxes inferred from NIRCam photometry to estimate the production rate of ionizing photons which do not escape these galaxies $\xi_\mathrm{ion}(1-f_\mathrm{esc})$. We find median $\log_{10}\xi_\mathrm{ion}(1-f_\mathrm{esc})=25.33\pm 0.47$, with a broad intrinsic scatter 0.42 dex, implying a broad range of galaxy properties and ages in our UV-faint sample. Galaxies detected with Lyman-alpha have ~0.1 dex higher $\xi_\mathrm{ion}(1-f_\mathrm{esc})$, which is explained by their higher H-alpha EW distribution, implying younger ages, higher sSFR and thus more O/B stars. We find significant trends of increasing $\xi_\mathrm{ion}(1-f_\mathrm{esc})$ with increasing H-alpha EW, decreasing UV luminosity, and decreasing UV slope, implying the production of ionizing photons is enhanced in young, low metallicity galaxies. We find no significant evidence for sources with very high ionizing escape fraction ($f_\mathrm{esc}$>0.5) in our sample, based on their photometric properties, even amongst the Lyman-alpha selected galaxies. This work demonstrates that considering the full distribution of $\xi_\mathrm{ion}$ across galaxy properties is important for assessing the primary drivers of reionization.


title: WarpPINN: Cine-MR image registration with physics-informed neural networks

abstract: Heart failure is typically diagnosed with a global function assessment, such as ejection fraction. However, these metrics have low discriminate power, failing to distinguish different types of this disease. Quantifying local deformations in the form of cardiac strain can provide helpful information, but it remains a challenge. In this work, we introduce WarpPINN, a physics-informed neural network to perform image registration to obtain local metrics of the heart deformation. We apply this method to cine magnetic resonance images to estimate the motion during the cardiac cycle. We inform our neural network of near-incompressibility of cardiac tissue by penalizing the jacobian of the deformation field. The loss function has two components: an intensity-based similarity term between the reference and the warped template images, and a regularizer that represents the hyperelastic behavior of the tissue. The architecture of the neural network allows us to easily compute the strain via automatic differentiation to assess cardiac activity. We use Fourier feature mappings to overcome the spectral bias of neural networks, allowing us to capture discontinuities in the strain field. We test our algorithm on a synthetic example and on a cine-MRI benchmark of 15 healthy volunteers. We outperform current methodologies both landmark tracking and strain estimation. We expect that WarpPINN will enable more precise diagnostics of heart failure based on local deformation information. Source code is available at https://github.com/fsahli/WarpPINN.


title: An invertible map between Bell non-local and contextuality scenarios

abstract: We present an invertible map between correlations in any bipartite Bell scenario and behaviours in a family of contextuality scenarios. The map takes local, quantum and non-signalling correlations to non-contextual, quantum and contextual behaviours, respectively. Consequently, we find that the membership problem of the set of quantum contextual behaviours is undecidable, the set cannot be fully realised via finite dimensional quantum systems and is not closed. Finally, we show that neither this set nor its closure is the limit of a sequence of computable supersets, due to the result MIP*=RE.


title: Sparse Probabilistic Circuits via Pruning and Growing

abstract: Probabilistic circuits (PCs) are a tractable representation of probability distributions allowing for exact and efficient computation of likelihoods and marginals. There has been significant recent progress on improving the scale and expressiveness of PCs. However, PC training performance plateaus as model size increases. We discover that most capacity in existing large PC structures is wasted: fully-connected parameter layers are only sparsely used. We propose two operations: pruning and growing, that exploit the sparsity of PC structures. Specifically, the pruning operation removes unimportant sub-networks of the PC for model compression and comes with theoretical guarantees. The growing operation increases model capacity by increasing the size of the latent space. By alternatingly applying pruning and growing, we increase the capacity that is meaningfully used, allowing us to significantly scale up PC learning. Empirically, our learner achieves state-of-the-art likelihoods on MNIST-family image datasets and on Penn Tree Bank language data compared to other PC learners and less tractable deep generative models such as flow-based models and variational autoencoders (VAEs).


title: Determining the optimal focusing parameter in sparse promoting inversions of EMI surveys

abstract: If the magnetic field caused by a magnetic dipole is measured, the electrical conductivity of the subsurface can be determined by solving the inverse problem. For this problem a form of regularisation is required as the forward model is badly conditioned. Commonly, Tikhonov regularisation is used which adds the $\ell_2$-norm of the model parameters to the objective function. As a result, a smooth conductivity profile is preferred and these types of inversions are very stable. However, it can cause problems when the true profile has discontinuities causing oscillations in the obtained model parameters. To circumvent this problem, $\ell_0$-approximating norms can be used to allow discontinuous model parameters. Two of these norms are considered in this paper, the Minimum Gradient Support and the Cauchy norm. However, both norms contain a parameter which transforms the function from the $\ell_2$- to the $\ell_0$-norm. To find the optimal value of this parameter, a new method is suggested. It is based on the $L$-curve method and finds a good balance between a continuous and discontinuous profile. The method is tested on synthetic data and is able to produce a conductivity profile similar to the true profile. Furthermore, the strategy is applied to newly acquired real-life measurements and the obtained profiles are in agreement with the results of other surveys at the same location. Finally, despite the fact that the Cauchy norm is only occasionally used to the best of our knowledge, we find that it performs at least as good as the Minimum Gradient Support norm.


title: Using conditional variational autoencoders to generate images from atmospheric Cherenkov telescopes

abstract: High-energy particles hitting the upper atmosphere of the Earth produce extensive air showers that can be detected from the ground level using imaging atmospheric Cherenkov telescopes. The images recorded by Cherenkov telescopes can be analyzed to separate gamma-ray events from the background hadron events. Many of the methods of analysis require simulation of massive amounts of events and the corresponding images by the Monte Carlo method. However, Monte Carlo simulation is computationally expensive. The data simulated by the Monte Carlo method can be augmented by images generated using faster machine learning methods such as generative adversarial networks or conditional variational autoencoders. We use a conditional variational autoencoder to generate images of gamma events from a Cherenkov telescope of the TAIGA experiment. The variational autoencoder is trained on a set of Monte Carlo events with the image size, or the sum of the amplitudes of the pixels, used as the conditional parameter. We used the trained variational autoencoder to generate new images with the same distribution of the conditional parameter as the size distribution of the Monte Carlo-simulated images of gamma events. The generated images are similar to the Monte Carlo images: a classifier neural network trained on gamma and proton events assigns them the average gamma score 0.984, with less than 3% of the events being assigned the gamma score below 0.999. At the same time, the sizes of the generated images do not match the conditional parameter used in their generation, with the average error 0.33.


title: Superfluid transition of the second layer of He-4 on graphite: does substrate corrugation matter?

abstract: The second layer of He-4 adsorbed on a graphite substrate is studied by Quantum Monte Carlo simulations. We make use of a microscopic model of the substrate fully accounting for its corrugation, and compare the results to those obtained with a smooth substrate. The only effect of corrugation is a ~20% reduction of the value of the superfluid fraction of the top layer, in the limit of zero temperature. No evidence of any commensurate (7/12) crystalline and/or "supersolid" phase is found; the superfluid transition temperature is estimated to be ~ 0.75 K. We discuss the implication of these findings on the interpretation of recent experiments.


title: An Origin Story for Amplitudes

abstract: We classify origin limits of maximally helicity violating multi-gluon scattering amplitudes in planar $\mathcal{N}=4$ super-Yang-Mills theory, where a large number of cross ratios approach zero, with the help of cluster algebras. By analyzing existing perturbative data, and bootstrapping new data, we provide evidence that the amplitudes become the exponential of a quadratic polynomial in the large logarithms. With additional input from the thermodynamic Bethe ansatz at strong coupling, we conjecture exact expressions for amplitudes with up to 8 gluons in all origin limits. Our expressions are governed by the tilted cusp anomalous dimension evaluated at various values of the tilt angle.


title: Optimal design of the Wilcoxon-Mann-Whitney-test

abstract: In scientific research, many hypotheses relate to the comparison of two independent groups. Usually, it is of interest to use a design (i.e., the allocation of sample sizes $m$ and $n$ for fixed $N = m + n$) that maximizes the power of the applied statistical test. It is known that the two-sample t-tests for homogeneous and heterogeneous variances may lose substantial power when variances are unequal but equally large samples are used. We demonstrate that this is not the case for the non-parametric Wilcoxon-Mann-Whitney-test, whose application in biometrical research fields is motivated by two examples from cancer research. We prove the optimality of the design $m = n$ in case of symmetric and identically shaped distributions using normal approximations and show that this design generally offers power only negligibly lower than the optimal design for a wide range of distributions. Please cite this paper as published in the Biometrical Journal (https://doi.org/10.1002/bimj.201600022).


title: The CO$_2$ Profile and Analytical Model for the Pioneer Venus Large Probe Neutral Mass Spectrometer

abstract: We present a significantly updated CO$_2$ altitude profile for Venus (64.2-0.9 km) and provide support for a potential deep lower atmospheric haze of particles (17 km and lower). We extracted this information by developing a new analytical model for mass spectra obtained by the Pioneer Venus Large Probe (PVLP) Neutral Mass Spectrometer (LNMS). Our model accounts for changes in LNMS configuration and output during descent and enables the disentanglement of isobaric species via a data fitting routine that adjusts for mass-dependent changes in peak shape. The model yields CO$_2$ in units of density (kg m-3), isotope ratios for $^{13}$C/$^{12}$C and $^{18}$O/$^{16}$O, and 14 measures of CO$_2$ density across 55.4-0.9 km, which represents the most complete altitude profile for CO$_2$ at 60 km towards the surface to date. The CO$_2$ density profile is also consistent with the pressure, temperature, and volumetric gas measurements from the PVLP and VeNeRa spacecraft. Nominal and low-noise operations for the LNMS mass analyzer are supported by the behaviors (e.g., ionization yields, fragmentation yields, and peak shapes) of several internal standards (e.g., CH$^{3+}$, CH$^{4+}$, $^{40}$Ar$^+$, $^{136}$Xe$^{2+}$, and $^{136}$Xe$^+$), which were tracked across the descent. Lastly, our review of the CO$_2$ profile and LNMS spectra reveals hitherto unreported partial and rapidly clearing clogs of the inlet in the lower atmosphere, along with several ensuing data spikes at multiple masses. Together, these observations suggest that atmospheric intake was impacted by particles at 17 km (and lower) and that rapid particle degradation at the inlet yielded a temporary influx of mass signals into the LNMS.


title: Phenomenological Non-Equilibrium Quantum Thermodynamics based on Modified von Neumann Equations

abstract: The wide-spread opinion is that original quantum mechanics is a reversible theory, but this statement is only true for undecomposed systems, that are those systems which sub-systems are out of consideration. Taking sub-systems into account, as it is by definition necessary for decomposed systems, the interaction Hamiltonians which are absent in undecomposed systems generate irreversibility. Thus, the following two-stage task arises: How to modify von Neumann's equation for undecomposed systems so that irreversibility appears, and how this modification affects decomposed systems ? The first step was already done and is repeated below, whereas the second step to formulate a quantum thermodynamics of decomposed systems is performed here by modifying the von Neumann equations of the sub-systems by a procedure wich is similar to that of Lindblad's equation, but different because the sub-systems interact with one another through partitions.


title: General polygonal line tilings and their matching complexes

abstract: A (general) polygonal line tiling is a graph formed by a string of cycles, each intersecting the previous at an edge, no three intersecting. In 2022, Matsushita proved the matching complex of a certain type of polygonal line tiling with even cycles is homotopy equivalent to a wedge of spheres. In this paper, we extend Matsushita's work to include a larger family of graphs and carry out a closer analysis of lines of triangle and pentagons, where the Fibonacci numbers arise.


title: Contextually Aware Intelligent Control Agents for Heterogeneous Swarms

abstract: An emerging challenge in swarm shepherding research is to design effective and efficient artificial intelligence algorithms that maintain a low-computational ceiling while increasing the swarm's abilities to operate in diverse contexts. We propose a methodology to design a context-aware swarm-control intelligent agent. The intelligent control agent (shepherd) first uses swarm metrics to recognise the type of swarm it interacts with to then select a suitable parameterisation from its behavioural library for that particular swarm type. The design principle of our methodology is to increase the situation awareness (i.e. information contents) of the control agent without sacrificing the low-computational cost necessary for efficient swarm control. We demonstrate successful shepherding in both homogeneous and heterogeneous swarms.


title: Retrieval-Augmented Multimodal Language Modeling

abstract: Recent multimodal models such as DALL-E and CM3 have achieved remarkable progress in text-to-image and image-to-text generation. However, these models store all learned knowledge (e.g., the appearance of the Eiffel Tower) in the model parameters, requiring increasingly larger models and training data to capture more knowledge. To integrate knowledge in a more scalable and modular way, we propose a retrieval-augmented multimodal model, which enables a base multimodal model (generator) to refer to relevant text and images fetched by a retriever from external memory (e.g., documents on the web). Specifically, for the retriever, we use a pretrained CLIP, and for the generator, we train a CM3 Transformer on the LAION dataset. Our resulting model, named Retrieval-Augmented CM3 (RA-CM3), is the first multimodal model that can retrieve and generate both text and images. We show that RA-CM3 significantly outperforms baseline multimodal models such as DALL-E and CM3 on both image and caption generation tasks (12 FID and 17 CIDEr improvements on MS-COCO), while requiring much less compute for training (<30% of DALL-E). Moreover, we show that RA-CM3 exhibits novel capabilities, such as faithful image generation and multimodal in-context learning (e.g., image generation from demonstrations).


title: PermutoSDF: Fast Multi-View Reconstruction with Implicit Surfaces using Permutohedral Lattices

abstract: Neural radiance-density field methods have become increasingly popular for the task of novel-view rendering. Their recent extension to hash-based positional encoding ensures fast training and inference with visually pleasing results. However, density-based methods struggle with recovering accurate surface geometry. Hybrid methods alleviate this issue by optimizing the density based on an underlying SDF. However, current SDF methods are overly smooth and miss fine geometric details. In this work, we combine the strengths of these two lines of work in a novel hash-based implicit surface representation. We propose improvements to the two areas by replacing the voxel hash encoding with a permutohedral lattice which optimizes faster, especially for higher dimensions. We additionally propose a regularization scheme which is crucial for recovering high-frequency geometric detail. We evaluate our method on multiple datasets and show that we can recover geometric detail at the level of pores and wrinkles while using only RGB images for supervision. Furthermore, using sphere tracing we can render novel views at 30 fps on an RTX 3090. Code is publicly available at: https://radualexandru.github.io/permuto_sdf


title: Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity

abstract: Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz (1973) and refined by Schroeder-Heister (2006). We will call the new notion generalised proof-theoretic validity and show that the logic of generalised proof-theoretic validity is intuitionistic logic.


title: On generalized $K$-functionals in $L_p$ for $0<p<1$

abstract: We show that the Peetre $K$-functional between the space $L_p$ with $0<p<1$ and the corresponding smooth function space $W_p^\psi$ generated by the Weyl-type differential operator $\psi(D)$, where $\psi$ is a homogeneous function of any positive order, is identically zero. The proof of the main results is based on the properties of the de la Vall\'ee Poussin kernels and the quadrature formulas for trigonometric polynomials and entire functions of exponential type.


title: A Novel Center-based Deep Contrastive Metric Learning Method for the Detection of Polymicrogyria in Pediatric Brain MRI

abstract: Polymicrogyria (PMG) is a disorder of cortical organization mainly seen in children, which can be associated with seizures, developmental delay and motor weakness. PMG is typically diagnosed on magnetic resonance imaging (MRI) but some cases can be challenging to detect even for experienced radiologists. In this study, we create an open pediatric MRI dataset (PPMR) with PMG and controls from the Children's Hospital of Eastern Ontario (CHEO), Ottawa, Canada. The differences between PMG MRIs and control MRIs are subtle and the true distribution of the features of the disease is unknown. This makes automatic detection of cases of potential PMG in MRI difficult. We propose an anomaly detection method based on a novel center-based deep contrastive metric learning loss function (cDCM) which enables the automatic detection of cases of potential PMG. Additionally, based on our proposed loss function, we customize a deep learning model structure that integrates dilated convolution, squeeze-and-excitation blocks and feature fusion for our PPMR dataset. Despite working with a small and imbalanced dataset our method achieves 92.01% recall at 55.04% precision. This will facilitate a computer aided tool for radiologists to select potential PMG MRIs. To the best of our knowledge, this research is the first to apply machine learning techniques to identify PMG from MRI only.


title: Coverage of Credible Intervals in Bayesian Multivariate Isotonic Regression

abstract: We consider the nonparametric multivariate isotonic regression problem, where the regression function is assumed to be nondecreasing with respect to each predictor. Our goal is to construct a Bayesian credible interval for the function value at a given interior point with assured limiting frequentist coverage. We put a prior on unrestricted step-functions, but make inference using the induced posterior measure by an "immersion map" from the space of unrestricted functions to that of multivariate monotone functions. This allows maintaining the natural conjugacy for posterior sampling. A natural immersion map to use is a projection via a distance, but in the present context, a block isotonization map is found to be more useful. The approach of using the induced "immersion posterior" measure instead of the original posterior to make inference provides a useful extension of the Bayesian paradigm, particularly helpful when the model space is restricted by some complex relations. We establish a key weak convergence result for the posterior distribution of the function at a point in terms of some functional of a multi-indexed Gaussian process that leads to an expression for the limiting coverage of the Bayesian credible interval. Analogous to a recent result for univariate monotone functions, we find that the limiting coverage is slightly higher than the credibility, the opposite of a phenomenon observed in smoothing problems. Interestingly, the relation between credibility and limiting coverage does not involve any unknown parameter. Hence by a recalibration procedure, we can get a predetermined asymptotic coverage by choosing a suitable credibility level smaller than the targeted coverage, and thus also shorten the credible intervals.


title: Imaginary gauge transformation in momentum space and Dirac exceptional point

abstract: An imaginary gauge transformation is at the core of the non-Hermitian skin effect. Here we show that such a transformation can be performed in momentum space as well, which reveals that certain gain and loss modulated systems in their parity-time (PT) symmetric phases are equivalent to Hermitian systems with real potentials. Our analysis in momentum space also distinguishes two types of exceptional points (EPs) in the same system. Besides the conventional type that leads to a PT transition upon the continuous increase of gain and loss, we find real-valued energy bands connected at a Dirac EP in hybrid dimensions, consisting of a spatial dimension and a synthetic dimension for the gain and loss strength.


title: The Tracking performance for the IDEA drift chamber

abstract: The IDEA detector concept for a future e$^{+}$e$^{-}$ collider adopts an ultra-low mass drift chamber as a central tracking system. The He-based ultra-low mass drift chamber is designed to provide efficient tracking, a high-precision momentum measurement, and excellent particle identification by exploiting the cluster counting technique. This paper describes the expected tracking performance, obtained with full and fast simulation, for track reconstruction on detailed simulated physics events. Moreover, the details of the construction parameters of the drift chamber, including the inspection of new material for the wires, new techniques for soldering the wires, the development of an improved schema for the drift cell, and the choice of a gas mixture, will be described.


title: Designing with Iontronic Logic Gates -- From a Single Polyelectrolyte Diode to Small Scale Integration

abstract: This article presents the implementation of on-chip iontronic circuits via small-scale integration of multiple ionic logic gates made of bi-polar polyelectrolyte diodes. These ionic circuits are analogous to solid-state electronic circuits, with ions as the charge carriers instead of electrons/holes. We experimentally characterize the responses of a single fluidic diode made of a junction of oppositely charged polyelectrolytes (i.e., anion and cation exchange membranes), with a similar underlying mechanism as a solid-state p- and n-type junction. This served to carry out pre-designed logical computations in various architectures by integrating multiple diode-based logic gates, where the electrical signal between the integrated gates was transmitted entirely through ions. The findings shed light on the limitations affecting the number of logic gates that can be integrated, the degradation of the electrical signal, their transient response, and the design rules that can improve the performance of iontronic circuits.


title: Predicting the Type and Target of Offensive Social Media Posts in Marathi

abstract: The presence of offensive language on social media is very common motivating platforms to invest in strategies to make communities safer. This includes developing robust machine learning systems capable of recognizing offensive content online. Apart from a few notable exceptions, most research on automatic offensive language identification has dealt with English and a few other high resource languages such as French, German, and Spanish. In this paper we address this gap by tackling offensive language identification in Marathi, a low-resource Indo-Aryan language spoken in India. We introduce the Marathi Offensive Language Dataset v.2.0 or MOLD 2.0 and present multiple experiments on this dataset. MOLD 2.0 is a much larger version of MOLD with expanded annotation to the levels B (type) and C (target) of the popular OLID taxonomy. MOLD 2.0 is the first hierarchical offensive language dataset compiled for Marathi, thus opening new avenues for research in low-resource Indo-Aryan languages. Finally, we also introduce SeMOLD, a larger dataset annotated following the semi-supervised methods presented in SOLID.


title: "Coherent Mode" for the World's Public Square

abstract: Systems for large scale deliberation have resolved polarized issues and shifted agenda setting into the public's hands. These systems integrate bridging-based ranking algorithms - including group informed consensus implemented in Polis and the continuous matrix factorization approach implemented by Twitter Birdwatch - making it possible to highlight statements which enjoy broad support from a diversity of opinion groups. Polis has been productively employed to foster more constructive political deliberation at nation scale in law making exercises. Twitter Birdwatch is implemented with the intention of addressing misinformation in the global public square. From one perspective, Twitter Birdwatch can be viewed as an anti-misinformation system which has deliberative aspects. But it can also be viewed as a first step towards a generalized deliberative system, using Twitter's misinformation problem as a proving ground. In this paper, we propose that Twitter could adapt Birdwatch to produce maps of public opinion. We describe a system in five parts for generalizing Birdwatch: activation of a deliberative system and topic selection, population sampling and the role of expert networks, deliberation, reporting interpretable results and finally distribution of the results to the public and those in power.


title: Plug-and-Play Diffusion Features for Text-Driven Image-to-Image Translation

abstract: Large-scale text-to-image generative models have been a revolutionary breakthrough in the evolution of generative AI, allowing us to synthesize diverse images that convey highly complex visual concepts. However, a pivotal challenge in leveraging such models for real-world content creation tasks is providing users with control over the generated content. In this paper, we present a new framework that takes text-to-image synthesis to the realm of image-to-image translation -- given a guidance image and a target text prompt, our method harnesses the power of a pre-trained text-to-image diffusion model to generate a new image that complies with the target text, while preserving the semantic layout of the source image. Specifically, we observe and empirically demonstrate that fine-grained control over the generated structure can be achieved by manipulating spatial features and their self-attention inside the model. This results in a simple and effective approach, where features extracted from the guidance image are directly injected into the generation process of the target image, requiring no training or fine-tuning and applicable for both real or generated guidance images. We demonstrate high-quality results on versatile text-guided image translation tasks, including translating sketches, rough drawings and animations into realistic images, changing of the class and appearance of objects in a given image, and modifications of global qualities such as lighting and color.


title: Event characterization of dark bosons via exotic Higgs decays with final states of displaced dimuons in high luminosity era of the LHC

abstract: We investigate the potential reach of a search for a long-lived/prompt dark vector boson $Z_D$, also called dark $Z$, and a prompt dark Higgs boson $h_D$ through exotic decays of the observed Higgs boson $h$ into either $Z_DZ_D$, $h_Dh_D$, or $ZZ_D$ with $Z$ being the hypercharge gauge boson. The $Z_D$ production through the Higgs portal is completed via one of two mechanisms, kinetic mixing of $Z_D$ with $Z$ and the mixing of $h_D$ with $h$. All production modes of $h$ are considered, while the branching fractions are calculated in Monte Carlo simulation using the {\textsc{MadGraph5}}\_aMC@NLO v2.7.2 framework. We focus on a final state of multiple dimuons, displaced up to \mbox{7500 mm}, where the muons can be reconstructed without vertex constraint using data from ATLAS and CMS detectors to be collected in Run~3. Integrated luminosities of 137, 300, and 3000 fb$^{-1}$ for Run~2, Run~3, and high luminosity run (HL-LHC), respectively, are used for estimating the expected search sensitivity of the Large Hadron Collider to each of the decay modes.


title: A Study of Warm Dark Matter, the Missing Satellites Problem, and the UV Luminosity Cut-Off

abstract: In the warm dark matter scenario, the Press-Schechter formalism is valid only for galaxy masses greater than the "velocity dispersion cut-off". In this work we extend the predictions to masses below the velocity dispersion cut-off, and thereby address the "Missing Satellites Problem", and the rest-frame ultra-violet luminosity cut-off required to not exceed the measured reionization optical depth. We find agreement between predictions and observations of these two phenomena. As a by-product, we obtain the empirical Tully-Fisher relation from first principles.


title: Generation of nonparaxial self-accelerating beams using pendant droplets

abstract: We propose and demonstrate the effectual generation and control of nonparaxial self-accelerating beams by using UV-resin pendant droplets. We show that the geometrical shape of the hanging droplets formed as a result of the interplay between surface tension and gravity offers a natural curvature enabling the generation of nonparaxial self-accelerating beams. By simply adjusting the tilt angle of the surface where the droplets reside, a passing light beam is set to propagate along different curved trajectories, bending into large angles with non-diffracting features superior to a conventional Airy beam. Such self-accelerating beams are directly traced experimentally through the scattered light in yeast-cell suspensions, along with extensive ray tracing and numerical simulations. Furthermore, by modifying the shape of uncured pendant resin droplets in real time, we showcase the dynamical trajectory control of the self-accelerating beams. Our scheme and experimental method may be adopted for droplet-based shaping of other waves such as microfluidic jets and surface acoustic waves.


title: A Swing of the Pendulum: The Chemodynamics of the Local Stellar Halo Indicate Contributions from Several Radial Merger Events

abstract: We find that the chemical abundances and dynamics of APOGEE and GALAH stars in the local stellar halo are inconsistent with a scenario in which the inner halo is primarily composed of debris from a single, massive, ancient merger event, as has been proposed to explain the Gaia-Enceladus/Gaia Sausage (GSE) structure. The data contains trends of chemical composition with energy which are opposite to expectations for a single massive, ancient merger event, and multiple chemical evolution paths with distinct dynamics are present. We use a Bayesian Gaussian mixture model regression algorithm to characterize the local stellar halo, and find that the data is best fit by a model with four components. We interpret these components as the VRM, Cronus, Nereus, and Thamnos; however, Nereus and Thamnos likely represent more than one accretion event because the chemical abundance distributions of their member stars contain many peaks. Although the Cronus and Thamnos components have different dynamics, their chemical abundances suggest they may be related. We show that the distinct low and high alpha halo populations from Nissen & Schuster (2010) are explained by VRM and Cronus stars, as well as some in-situ stars. Because the local stellar halo contains multiple substructures, different popular methods of selecting GSE stars will actually select different mixtures of these substructures, which may change the apparent chemodynamic properties of the selected stars. We also find that the Splash stars in the solar region are shifted to higher v_phi and slightly lower [Fe/H] than previously reported.


title: Electro-Orientation and Electro-Rotation of Metallodielectric Janus Particles

abstract: The electro-rotation (EROT) and electro-orientation (EOR) behavior of metallodielectric (MD) spherical Janus particles (JP) are studied analytically and verified experimentally. This stands in contrast to previous either heuristic or numerically computed models of JP dipoles. First, we obtain frequency-dependent analytic expressions for the corresponding dipole terms for a JP composed of a dielectric and metallic hemispheres, by applying the standard (weak-field) electrokinetic model and using a Fourier-Legendre collocation method for solving two sets of linear equations. EROT and EOR spectra, describing the variation of the JP angular velocity on the forcing frequency of a rotating and non-rotating spatially uniform electric field, respectively, are explicitly determined and compared against experiments (different JP size and solution conductivity). A favorably good qualitative agreement between theory and experimental measurements was found.


title: Online Federated Learning via Non-Stationary Detection and Adaptation amidst Concept Drift

abstract: Federated Learning (FL) is an emerging domain in the broader context of artificial intelligence research. Methodologies pertaining to FL assume distributed model training, consisting of a collection of clients and a server, with the main goal of achieving optimal global model with restrictions on data sharing due to privacy concerns. It is worth highlighting that the diverse existing literature in FL mostly assume stationary data generation processes; such an assumption is unrealistic in real-world conditions where concept drift occurs due to, for instance, seasonal or period observations, faults in sensor measurements. In this paper, we introduce a multiscale algorithmic framework which combines theoretical guarantees of \textit{FedAvg} and \textit{FedOMD} algorithms in near stationary settings with a non-stationary detection and adaptation technique to ameliorate FL generalization performance in the presence of concept drifts. We present a multi-scale algorithmic framework leading to $\Tilde{\mathcal{O}} ( \min \{ \sqrt{LT} , \Delta^{\frac{1}{3}}T^{\frac{2}{3}} + \sqrt{T} \})$ \textit{dynamic regret} for $T$ rounds with an underlying general convex loss function, where $L$ is the number of times non-stationary drifts occurred and $\Delta$ is the cumulative magnitude of drift experienced within $T$ rounds.


title: Examples of strongly rigid countable (semi)Hausdorff spaces

abstract: A topological space $X$ is $strongly$ $rigid$ if each non-constant continuous map $f:X\to X$ is the identity map of $X$. A Hausdorff topological space $X$ is called $Brown$ if for any nonempty open sets $U,V\subseteq X$ the intersection $\bar U\cap\bar V$ is infinite. We prove that every second-countable Brown Hausdorff space $X$ admits a stronger topology $\tau'$ such that $X'=(X,\tau')$ is a strongly rigid anticompact Brown space.This construction yields an example of a countable anticompact Hausdorff space $X$ which is strongly rigid, which answers two problems posed at MathOverflow. By the same method we construct a strongly rigid $k_2$-metrizable semi-Hausdorff space containing a non-closed compact subset, which answers two other problem posed at MathOverflow.


title: Quasi-Newton Sequential Monte Carlo

abstract: Sequential Monte Carlo samplers represent a compelling approach to posterior inference in Bayesian models, due to being parallelisable and providing an unbiased estimate of the posterior normalising constant. In this work, we significantly accelerate sequential Monte Carlo samplers by adopting the L-BFGS Hessian approximation which represents the state-of-the-art in full-batch optimisation techniques. The L-BFGS Hessian approximation has only linear complexity in the parameter dimension and requires no additional posterior or gradient evaluations. The resulting sequential Monte Carlo algorithm is adaptive, parallelisable and well-suited to high-dimensional and multi-modal settings, which we demonstrate in numerical experiments on challenging posterior distributions.


title: UNSAT Solver Synthesis via Monte Carlo Forest Search

abstract: We introduce Monte Carlo Forest Search (MCFS), a class of reinforcement learning (RL) algorithms for learning policies in {tree MDPs}, for which policy execution involves traversing an exponential-sized tree. Examples of such problems include proving unsatisfiability of a SAT formula; counting the number of solutions of a satisfiable SAT formula; and finding the optimal solution to a mixed-integer program. MCFS algorithms can be seen as extensions of Monte Carlo Tree Search (MCTS) to cases where, rather than finding a good path (solution) within a tree, the problem is to find a small tree within a forest of candidate trees. We instantiate and evaluate our ideas in an algorithm that we dub Knuth Synthesis, an MCFS algorithm that learns DPLL branching policies for solving the Boolean satisfiability (SAT) problem, with the objective of achieving good average-case performance on a given distribution of unsatisfiable problem instances. Knuth Synthesis leverages two key ideas to avoid the prohibitive costs of policy evaluations in an exponentially-sized tree. First, we estimate tree size by randomly sampling paths and measuring their lengths, drawing on an unbiased approximation due to Knuth (1975). Second, we query a strong solver at a user-defined depth rather than learning a policy across the whole tree, to focus our policy search on early decisions that offer the greatest potential for reducing tree size. We matched or improved performance over a strong baseline on three well-known SAT distributions (R3SAT, sgen, satfc).


title: Spectral conditions for spherical two-distance sets

abstract: A set of points $S$ in $d$-dimensional Euclidean space $\mathbb{R}^d$ is called a 2-distance set if the set of pairwise distances between the points has cardinality two. The 2-distance set is called spherical if its points lie on the unit sphere in $\mathbb{R}^{d}$. We characterize the spherical 2-distance sets using the spectrum of the adjacency matrix of an associated graph and the spectrum of the projection of the adjacency matrix onto the orthogonal complement of the all-ones vector. We also determine the lowest dimensional space in which a given spherical 2-distance set could be represented using the graph spectrum.


title: Characterizing Persistence and Disparity of Covid-19 Infection Rates with City Level Demographic and Regional Features

abstract: The design of data-driven dashboards that inform municipalities on ongoing changes in infections within their community is addressed in this research. Daily reports of Covid-19 infections published by the state of Wisconsin as the initial surge in the pandemic ensued during the October 2020 to September 2021 time frame is considered as a case study. Of particular interest is the identification of regions and population groups distinguished by race and ethnicity that may be experiencing a disproportional rate of infections over time. This study integrates the municipality-level daily positive cases that are disaggregated by race and ethnicity and population size data derived from the US Census Bureau. The goal is to present timely data-driven information in a manner that is accessible to the general population, is relatable to the constituents and promotes community engagement in managing and mitigating the infections. A statistical metric referred to as the rank difference and its persistence over time is used to capture the disproportional incidence of Covid-19 positive cases on particular race and ethnic groups in relation to their population size. A persistence index is derived to identify regions that continually exhibit positive rank differences on a daily time scale and indicate disparity in disease incidence. The analysis leads to the identification that several municipalities in Wisconsin that are located in regions of low population and away from the denser urban centers are those that continue to exhibit disparity in the infection rates for Black/African American and Hispanic/Latino population groups. Examples of a dashboard that can be utilized to capture both aggregate level and temporal patterns of Covid-19 infections are presented.