title: Immersion Metrics for Virtual Reality

abstract: Technological advances in recent years have promoted the development of virtual reality systems that have a wide variety of hardware and software characteristics, providing varying degrees of immersion. Immersion is an objective property of the virtual reality system that depends on both its hardware and software characteristics. Virtual reality systems are currently attempting to improve immersion as much as possible. However, there is no metric to measure the level of immersion of a virtual reality system based on its characteristics. To date, the influence of these hardware and software variables on immersion has only been considered individually or in small groups. The way these system variables simultaneously affect immersion has not been analyzed either. In this paper, we propose immersion metrics for virtual reality systems based on their hardware and software variables, as well as the development process that led to their formulation. From the conducted experiment and the obtained data, we followed a methodology to find immersion models based on the variables of the system. The immersion metrics presented in this work offer a useful tool in the area of virtual reality and immersive technologies, not only to measure the immersion of any virtual reality system but also to analyze the relationship and importance of the variables of these systems.


title: How cooling influences circumbinary discs

abstract: Circumbinary disc observations and simulations show large, eccentric inner cavities. Recent work has shown that the shape and size of these cavities depend on the aspect ratio and viscosity of the disc, as well as the binary eccentricity and mass ratio. It has been further shown that, for gaps created by planets, the cooling timescale significantly affects the shape and size of the gap. In this study, we consider the effect of different cooling models on the cavity shape in a circumbinary disc. We compare locally isothermal and radiatively cooled disc models to ones with a parametrised cooling timescale ($\beta$-cooling), implemented in 2D numerical simulations for varying binary eccentricities. While the shape of the cavity for radiative and locally isothermal models remains comparable, the inner disc structure changes slightly, leading to a change in the precession rate of the disc. With $\beta$-cooled models, the shape and size of the cavity changes dramatically towards values of $\beta$=1. Based on our findings, we introduce a parametrised $\beta$ model that accounts for the shorter cooling timescale inside the cavity while adequately reproducing the results of the radiative model, and we highlight that accurate treatment of the thermodynamics inside the cavity has a significant impact in modelling circumbinary systems.


title: Good Quantum LDPC Codes with Linear Time Decoders

abstract: We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m\times m})^V \quad \xrightarrow{\delta^0}\quad (\mathbb{F}_2^{m})^{E} \quad\xrightarrow{\delta^1} \quad \mathbb{F}_2^F$ where $V$ ($X$-checks) are the vertices, $E$ (qubits) are the edges, and $F$ ($Z$-checks) are the squares of a left-right Cayley complex, and where the maps are defined based on a pair of constant-size random codes $C_A,C_B:\mathbb{F}_2^m\to\mathbb{F}_2^\Delta$ where $\Delta$ is the regularity of the underlying Cayley graphs. One of the main ingredients in the analysis is a proof of an essentially-optimal robustness property for the tensor product of two random codes.


title: On the Identifiability of Nonlinear ICA: Sparsity and Beyond

abstract: Nonlinear independent component analysis (ICA) aims to recover the underlying independent latent sources from their observable nonlinear mixtures. How to make the nonlinear ICA model identifiable up to certain trivial indeterminacies is a long-standing problem in unsupervised learning. Recent breakthroughs reformulate the standard independence assumption of sources as conditional independence given some auxiliary variables (e.g., class labels and/or domain/time indexes) as weak supervision or inductive bias. However, nonlinear ICA with unconditional priors cannot benefit from such developments. We explore an alternative path and consider only assumptions on the mixing process, such as Structural Sparsity. We show that under specific instantiations of such constraints, the independent latent sources can be identified from their nonlinear mixtures up to a permutation and a component-wise transformation, thus achieving nontrivial identifiability of nonlinear ICA without auxiliary variables. We provide estimation methods and validate the theoretical results experimentally. The results on image data suggest that our conditions may hold in a number of practical data generating processes.


title: Enigma of the vortex state in a strongly correlated d-wave superconductor

abstract: We show that strong electronic repulsion transforms a vortex core from a metallic-type in overdoped regime to a Mott-insulator at underdoping of a strongly correlated d-wave superconductor. This changeover is accompanied by an accumulation of electron density at the vortex core towards local half-filling in the underdoped region, which in turn facilitates the formation of the Mott insulating core. We find that the size of vortices evolves non-monotonically with doping. A similar non-monotonicity of critical field $H_{\rm c2}$, as extracted from superfluid stiffness, is also found. Our results explain some recent experimental puzzles of cuprate superconductors.


title: Sample generation for the spin-fermion model using neural networks

abstract: Quantum Monte-Carlo simulations of hybrid quantum-classical models such as the double exchange Hamiltonian require calculating the density of states of the quantum degrees of freedom at every step. Unfortunately, the computational complexity of exact diagonalization grows $ \mathcal{O} (N^3)$ as a function of the system's size $ N $, making it prohibitively expensive for any realistic system. We consider leveraging data-driven methods, namely neural networks, to replace the exact diagonalization step in order to speed up sample generation. We explore a model that learns the free energy for each spin configuration and a second one that learns the Hamiltonian's eigenvalues. We implement data augmentation by taking advantage of the Hamiltonian's symmetries to artificially enlarge our training set and benchmark the different models by evaluating several thermodynamic quantities. While all models considered here perform exceedingly well in the one-dimensional case, only the neural network that outputs the eigenvalues is able to capture the right behavior in two dimensions. The simplicity of the architecture we use in conjunction with the model agnostic form of the neural networks can enable fast sample generation without the need of a researcher's intervention.


title: Novelty and Cultural Evolution in Modern Popular Music

abstract: The ubiquity of digital music consumption has made it possible to extract information about modern music that allows us to perform large scale analysis of stylistic change over time. In order to uncover underlying patterns in cultural evolution, we examine the relationship between the established characteristics of different genres and styles, and the introduction of novel ideas that fuel this ongoing creative evolution. To understand how this dynamic plays out and shapes the cultural ecosystem, we compare musical artifacts to their contemporaries to identify novel artifacts, study the relationship between novelty and commercial success, and connect this to the changes in musical content that we can observe over time. Using Music Information Retrieval (MIR) data and lyrics from Billboard Hot 100 songs between 1974-2013, we calculate a novelty score for each song's aural attributes and lyrics. Comparing both scores to the popularity of the song following its release, we uncover key patterns in the relationship between novelty and audience reception. Additionally, we look at the link between novelty and the likelihood that a song was influential given where its MIR and lyrical features fit within the larger trends we observed.


title: Lower dimensional $S^1$-invariant K\"ahler-Einstein metrics via integrable structures

abstract: We focus on the classical open problem of the classification of K\"ahler-Einstein manifolds that can be K\"ahler immersed into a complex projective space endowed with the Fubini-Study metric. In particular, we will deal with such problem in the special case of K\"ahler- Einstein metrics admitting symmetries of rotational type. This leads to certain integrable distributions allowing a classification of such metrics.


title: Hybrid thermal modeling of additive manufacturing processes using physics-informed neural networks for temperature prediction and parameter identification

abstract: Understanding the thermal behavior of additive manufacturing (AM) processes is crucial for enhancing the quality control and enabling customized process design. Most purely physics-based computational models suffer from intensive computational costs and the need of calibrating unknown parameters, thus not suitable for online control and iterative design application. Data-driven models taking advantage of the latest developed computational tools can serve as a more efficient surrogate, but they are usually trained over a large amount of simulation data and often fail to effectively use small but high-quality experimental data. In this work, we developed a hybrid physics-based data-driven thermal modeling approach of AM processes using physics-informed neural networks. Specifically, partially observed temperature data measured from an infrared camera is combined with the physics laws to predict full-field temperature history and to discover unknown material and process parameters. In the numerical and experimental examples, the effectiveness of adding auxiliary training data and using the pretrained model on training efficiency and prediction accuracy, as well as the ability to identify unknown parameters with partially observed data, are demonstrated. The results show that the hybrid thermal model can effectively identify unknown parameters and capture the full-field temperature accurately, and thus it has the potential to be used in iterative process design and real-time process control of AM.


title: Morphological study of a sample of dwarf tidal galaxies using the C-A plane

abstract: In this investigation, we determined the Concentration (C) and Asymmetry (A) parameters in a sample of Tidal Dwarf Galaxies (TDG) or candidate galaxies. Most of the galaxies in the sample were found to be in a very precise region of the C-A plane, which clearly separates them from other galaxies. In addition, the stellar mass ($M_{star}$) and the star formation rate ($SFR$) in the sample were determined using optical images and GALEX observations. The main results are: the $M_{star}$ and the $SFR$ in the TDG sample do not follow a linear correlation with the $C$ and $A$ respectively, as observed in the rest of galaxies and the $M_{star}$ and the $SFR$ have a linear correlation similar to that followed by galaxies at high redshift. Then, we can conclude that the C-A plane can be a useful method for the morphological identification of candidates for TDG or dwarf objects from very turbulent environments.


title: Reconstructing Training Data from Trained Neural Networks

abstract: Understanding to what extent neural networks memorize training data is an intriguing question with practical and theoretical implications. In this paper we show that in some cases a significant fraction of the training data can in fact be reconstructed from the parameters of a trained neural network classifier. We propose a novel reconstruction scheme that stems from recent theoretical results about the implicit bias in training neural networks with gradient-based methods. To the best of our knowledge, our results are the first to show that reconstructing a large portion of the actual training samples from a trained neural network classifier is generally possible. This has negative implications on privacy, as it can be used as an attack for revealing sensitive training data. We demonstrate our method for binary MLP classifiers on a few standard computer vision datasets.


title: Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

abstract: We compute the number of F_q-points on M_{4,n}, for n less than or equal to 3, and show that it is a polynomial in q, using a sieve based on Hasse-Weil zeta functions. As an application, we prove that the rational singular cohomology groups of moduli spaces of stable curves of genus g with n marked points vanish in all odd degrees less than or equal to 9, for all g and n. Both results confirm predictions of the Langlands program, via the conjectural correspondence with polarized algebraic cuspidal automorphic representations of conductor 1, which are classified in low weight. Our vanishing result for odd cohomology resolves a problem posed by Arbarello and Cornalba in the 1990s.


title: Multiscale methods for signal selection in single-cell data

abstract: Analysis of single-cell transcriptomics often relies on clustering cells and then performing differential gene expression (DGE) to identify genes that vary between these clusters. These discrete analyses successfully determine cell types and markers; however, continuous variation within and between cell types may not be detected. We propose three topologically motivated mathematical methods for unsupervised feature selection that consider discrete and continuous transcriptional patterns on an equal footing across multiple scales simultaneously. Eigenscores ($\text{eig}_i$) rank signals or genes based on their correspondence to low-frequency intrinsic patterning in the data using the spectral decomposition of the Laplacian graph. The multiscale Laplacian score (MLS) is an unsupervised method for locating relevant scales in data and selecting the genes that are coherently expressed at these respective scales. The persistent Rayleigh quotient (PRQ) takes data equipped with a filtration, allowing the separation of genes with different roles in a bifurcation process (e.g., pseudo-time). We demonstrate the utility of these techniques by applying them to published single-cell transcriptomics data sets. The methods validate previously identified genes and detect additional biologically meaningful genes with coherent expression patterns. By studying the interaction between gene signals and the geometry of the underlying space, the three methods give multidimensional rankings of the genes and visualisation of relationships between them.


title: Thermodynamic origins of topological protection in nonequilibrium stochastic systems

abstract: Topological protection has emerged as an organizing principle for understanding and engineering robust collective behavior in electronic and material systems. Recent work suggests that topology may also play a role in organizing stochastic processes relevant to biology and self-assembly. Here, we show that topological protection in chemical networks can be understood entirely in terms of nonequilibrium thermodynamics. We illustrate these ideas using simple examples inspired by the literature.


title: Physics-Infused Fuzzy Generative Adversarial Network for Robust Failure Prognosis

abstract: Prognostics aid in the longevity of fielded systems or products. Quantifying the system's current health enable prognosis to enhance the operator's decision-making to preserve the system's health. Creating a prognosis for a system can be difficult due to (a) unknown physical relationships and/or (b) irregularities in data appearing well beyond the initiation of a problem. Traditionally, three different modeling paradigms have been used to develop a prognostics model: physics-based (PbM), data-driven (DDM), and hybrid modeling. Recently, the hybrid modeling approach that combines the strength of both PbM and DDM based approaches and alleviates their limitations is gaining traction in the prognostics domain. In this paper, a novel hybrid modeling approach for prognostics applications based on combining concepts from fuzzy logic and generative adversarial networks (GANs) is outlined. The FuzzyGAN based method embeds a physics-based model in the aggregation of the fuzzy implications. This technique constrains the output of the learning method to a realistic solution. Results on a bearing problem showcases the efficacy of adding a physics-based aggregation in a fuzzy logic model to improve GAN's ability to model health and give a more accurate system prognosis.


title: The ALMA REBELS Survey: The Cosmic HI Gas Mass Density in Galaxies at $z\approx 7$

abstract: The neutral atomic gas content of individual galaxies at large cosmological distances has until recently been difficult to measure due to the weakness of the hyperfine HI 21-cm transition. Here we estimate the HI gas mass of a sample of main-sequence star-forming galaxies at $z\sim 6.5 - 7.8$ surveyed for [CII]$-158\mu$m emission as part of the Reionization Era Bright Emission Line Survey (REBELS), using a recent calibration of the [CII]-to-HI conversion factor. We find that the HI gas mass excess in galaxies increases as a function of redshift, with an average of $M_{\rm HI} / M_\star \approx 10$, corresponding to HI gas mass fractions of $f_{\rm HI} = M_{\rm HI} / (M_\star + M_{\rm HI}) = 90\%$, at $z\approx 7$. Based on the [CII]-$158\mu$m luminosity function (LF) derived from the same sample of galaxies, we further place constraints on the cosmic HI gas mass density in galaxies ($\rho_{\rm HI}$) at this redshift, which we measure to be $\rho_{\rm HI} = 7.1^{+6.4}_{-3.0} \times 10^{6}\,M_{\odot}\,{\rm Mpc^{-3}}$. This estimate is substantially lower by a factor of $\approx 10$ than that inferred from an extrapolation of damped Lyman-$\alpha$ absorber (DLA) measurements, and largely depend on the exact [CII] LF adopted. However, we find this decrease in $\rho_{\rm HI}$ to be consistent with recent simulations and argue that this apparent discrepancy is likely a consequence of the DLA sightlines predominantly probing the substantial fraction of HI gas in high-$z$ galactic halos, whereas [CII] traces the HI in the ISM associated with star formation. We make predictions for this build-up of neutral gas in galaxies as a function of redshift, showing that at $z\gtrsim 5$ only $\approx 10\%$ of the cosmic HI gas content is confined in galaxies and associated with the star-forming ISM.


title: SAVi++: Towards End-to-End Object-Centric Learning from Real-World Videos

abstract: The visual world can be parsimoniously characterized in terms of distinct entities with sparse interactions. Discovering this compositional structure in dynamic visual scenes has proven challenging for end-to-end computer vision approaches unless explicit instance-level supervision is provided. Slot-based models leveraging motion cues have recently shown great promise in learning to represent, segment, and track objects without direct supervision, but they still fail to scale to complex real-world multi-object videos. In an effort to bridge this gap, we take inspiration from human development and hypothesize that information about scene geometry in the form of depth signals can facilitate object-centric learning. We introduce SAVi++, an object-centric video model which is trained to predict depth signals from a slot-based video representation. By further leveraging best practices for model scaling, we are able to train SAVi++ to segment complex dynamic scenes recorded with moving cameras, containing both static and moving objects of diverse appearance on naturalistic backgrounds, without the need for segmentation supervision. Finally, we demonstrate that by using sparse depth signals obtained from LiDAR, SAVi++ is able to learn emergent object segmentation and tracking from videos in the real-world Waymo Open dataset.


title: US News and Social Media Framing around Vaping

abstract: In this paper, we investigate how vaping is framed differently (2008-2021) between US news and social media. We analyze 15,711 news articles and 1,231,379 Facebook posts about vaping to study the differences in framing between media varieties. We use word embeddings to provide two-dimensional visualizations of the semantic changes around vaping for news and for social media. We detail that news media framing of vaping shifted over time in line with emergent regulatory trends, such as; flavored vaping bans, with little discussion around vaping as a smoking cessation tool. We found that social media discussions were far more varied, with transitions toward vaping both as a public health harm and as a smoking cessation tool. Our cloze test, dynamic topic model, and question answering showed similar patterns, where social media, but not news media, characterizes vaping as combustible cigarette substitute. We use n-grams to detail that social media data first centered on vaping as a smoking cessation tool, and in 2019 moved toward narratives around vaping regulation, similar to news media frames. Overall, social media tracks the evolution of vaping as a social practice, while news media reflects more risk based concerns. A strength of our work is how the different techniques we have applied validate each other. Stakeholders may utilize our findings to intervene around the framing of vaping, and may design communications campaigns that improve the way society sees vaping, thus possibly aiding smoking cessation; and reducing youth vaping.


title: Pareto Invariant Risk Minimization: Towards Mitigating the Optimization Dilemma in Out-of-Distribution Generalization

abstract: Recently, there has been a growing surge of interest in enabling machine learning systems to generalize well to Out-of-Distribution (OOD) data. Most efforts are devoted to advancing optimization objectives that regularize models to capture the underlying invariance; however, there often are compromises in the optimization process of these OOD objectives: i) Many OOD objectives have to be relaxed as penalty terms of Empirical Risk Minimization (ERM) for the ease of optimization, while the relaxed forms can weaken the robustness of the original objective; ii) The penalty terms also require careful tuning of the penalty weights due to the intrinsic conflicts between ERM and OOD objectives. Consequently, these compromises could easily lead to suboptimal performance of either the ERM or OOD objective. To address these issues, we introduce a multi-objective optimization (MOO) perspective to understand the OOD optimization process, and propose a new optimization scheme called PAreto Invariant Risk Minimization (PAIR). PAIR improves the robustness of OOD objectives by cooperatively optimizing with other OOD objectives, thereby bridging the gaps caused by the relaxations. Then PAIR approaches a Pareto optimal solution that trades off the ERM and OOD objectives properly. Extensive experiments on challenging benchmarks, WILDS, show that PAIR alleviates the compromises and yields top OOD performances.


title: Kantorovich Strikes Back! Wasserstein GANs are not Optimal Transport?

abstract: Wasserstein Generative Adversarial Networks (WGANs) are the popular generative models built on the theory of Optimal Transport (OT) and the Kantorovich duality. Despite the success of WGANs, it is still unclear how well the underlying OT dual solvers approximate the OT cost (Wasserstein-1 distance, $\mathbb{W}_{1}$) and the OT gradient needed to update the generator. In this paper, we address these questions. We construct 1-Lipschitz functions and use them to build ray monotone transport plans. This strategy yields pairs of continuous benchmark distributions with the analytically known OT plan, OT cost and OT gradient in high-dimensional spaces such as spaces of images. We thoroughly evaluate popular WGAN dual form solvers (gradient penalty, spectral normalization, entropic regularization, etc.) using these benchmark pairs. Even though these solvers perform well in WGANs, none of them faithfully compute $\mathbb{W}_{1}$ in high dimensions. Nevertheless, many provide a meaningful approximation of the OT gradient. These observations suggest that these solvers should not be treated as good estimators of $\mathbb{W}_{1}$, but to some extent they indeed can be used in variational problems requiring the minimization of $\mathbb{W}_{1}$.


title: Spectral Behaviour and Flaring Activity of II Peg in the Ultraviolet

abstract: We have investigated the spectral behaviour of II Peg binary system in the ultraviolet band by using International Ultraviolet Explorer observations over fifteen years. The ultraviolet observations show indication of flare activity in the chromosphere and transition region with their enhanced spectral lines. Before and after the flare activity the ultraviolet spectral lines show low, intermediate and high flux. The spectral behaviour is compared with previous studies. We detect prominent flare activity in three years. Before and after this period there is a gradual clear decrease in the level of activity. The reddening of II Peg was estimated from the 2200 Angstrom absorption feature. We determined the mean rate of mass loss and the ultraviolet luminosity. We attributed the spectral variations to a cyclic behaviour of the underlying magnetic dynamo and the prominent activity can be interpreted by the model of two ribbon flare.


title: HyperImpute: Generalized Iterative Imputation with Automatic Model Selection

abstract: Consider the problem of imputing missing values in a dataset. One the one hand, conventional approaches using iterative imputation benefit from the simplicity and customizability of learning conditional distributions directly, but suffer from the practical requirement for appropriate model specification of each and every variable. On the other hand, recent methods using deep generative modeling benefit from the capacity and efficiency of learning with neural network function approximators, but are often difficult to optimize and rely on stronger data assumptions. In this work, we study an approach that marries the advantages of both: We propose *HyperImpute*, a generalized iterative imputation framework for adaptively and automatically configuring column-wise models and their hyperparameters. Practically, we provide a concrete implementation with out-of-the-box learners, optimizers, simulators, and extensible interfaces. Empirically, we investigate this framework via comprehensive experiments and sensitivities on a variety of public datasets, and demonstrate its ability to generate accurate imputations relative to a strong suite of benchmarks. Contrary to recent work, we believe our findings constitute a strong defense of the iterative imputation paradigm.


title: Low-energy effective Lagrangian of the two-Higgs-doublet model

abstract: We consider a decoupling scenario within the two-Higgs-doublet model (2HDM) with small CP-violation. Mass eigenstates of this model include one neutral scalar field with the mass of the Standard model (SM) Higgs boson and four other scalars, which decouple at low energies. We derive the effective operators of interactions between the SM fermions and the lightest scalar particle of the model. The coefficients at these operators are expressed in terms of the 2HDM parameters. The scattering processes affected by this effective Lagrangian are identified.


title: Discrete Contrastive Diffusion for Cross-Modal Music and Image Generation

abstract: Diffusion probabilistic models (DPMs) have become a popular approach to conditional generation, due to their promising results and support for cross-modal synthesis. A key desideratum in conditional synthesis is to achieve high correspondence between the conditioning input and generated output. Most existing methods learn such relationships implicitly, by incorporating the prior into the variational lower bound. In this work, we take a different route -- we explicitly enhance input-output connections by maximizing their mutual information. To this end, we introduce a Conditional Discrete Contrastive Diffusion (CDCD) loss and design two contrastive diffusion mechanisms to effectively incorporate it into the denoising process, combining the diffusion training and contrastive learning for the first time by connecting it with the conventional variational objectives. We demonstrate the efficacy of our approach in evaluations with diverse multimodal conditional synthesis tasks: dance-to-music generation, text-to-image synthesis, as well as class-conditioned image synthesis. On each, we enhance the input-output correspondence and achieve higher or competitive general synthesis quality. Furthermore, the proposed approach improves the convergence of diffusion models, reducing the number of required diffusion steps by more than 35% on two benchmarks, significantly increasing the inference speed.


title: Deep Learning and Handheld Augmented Reality Based System for Optimal Data Collection in Fault Diagnostics Domain

abstract: Compared to current AI or robotic systems, humans navigate their environment with ease, making tasks such as data collection trivial. However, humans find it harder to model complex relationships hidden in the data. AI systems, especially deep learning (DL) algorithms, impressively capture those complex relationships. Symbiotically coupling humans and computational machines' strengths can simultaneously minimize the collected data required and build complex input-to-output mapping models. This paper enables this coupling by presenting a novel human-machine interaction framework to perform fault diagnostics with minimal data. Collecting data for diagnosing faults for complex systems is difficult and time-consuming. Minimizing the required data will increase the practicability of data-driven models in diagnosing faults. The framework provides instructions to a human user to collect data that mitigates the difference between the data used to train and test the fault diagnostics model. The framework is composed of three components: (1) a reinforcement learning algorithm for data collection to develop a training dataset, (2) a deep learning algorithm for diagnosing faults, and (3) a handheld augmented reality application for data collection for testing data. The proposed framework has provided above 100\% precision and recall on a novel dataset with only one instance of each fault condition. Additionally, a usability study was conducted to gauge the user experience of the handheld augmented reality application, and all users were able to follow the provided steps.


title: CMB lensing from Planck PR4 maps

abstract: We reconstruct the Cosmic Microwave Background (CMB) lensing potential on the latest Planck CMB PR4 (NPIPE) maps, which include slightly more data than the 2018 PR3 release, and implement quadratic estimators using more optimal filtering. We increase the reconstruction signal to noise by almost $20\%$, constraining the amplitude of the CMB-marginalized lensing power spectrum in units of the Planck 2018 best-fit to $1.004 \pm 0.024$ ($68\%$ limits), which is the tightest constraint on the CMB lensing power spectrum to date. For a base $\Lambda$CDM cosmology we find $\sigma_8 \Omega_m^{0.25} = 0.599\pm 0.016$ from CMB lensing alone in combination with weak priors and element abundance observations. Combination with baryon acoustic oscillation data gives tight $68\%$ constraints on individual $\Lambda$CDM parameters $\sigma_8 = 0.814\pm 0.016$, $H_0 = 68.1^{+1.0}_{-1.1}$km s$^{-1}$ Mpc$^{-1}$, $\Omega_m = 0.313^{+0.014}_{-0.016}$. Planck polarized maps alone now constrain the lensing power to $7\%$.


title: Cosmological de Sitter Solutions of the Semiclassical Einstein Equation

abstract: Exponentially expanding space-times play a central role in contemporary cosmology, most importantly in the theory of inflation and in the Dark Energy driven expansion in the late universe. In this work, we give a complete list of de Sitter solutions of the semiclassical Einstein equation (SCE), where classical gravity is coupled to the expected value of a renormalized stress-energy tensor of a free quantum field in the Bunch-Davies state. To achieve this, we explicitly determine the stress-energy tensor associated with the Bunch-Davies state using the recently proposed `moment approach' on the cosmological coordinate patch of de Sitter space. From the energy component of the SCE we thus obtain an analytic consistency equation for the model's parameters which has to be fulfilled by solutions to the SCE. Using this equation we then investigate the number of solutions and the structure of the solution set in dependency on the coupling parameter of the quantum field to the scalar curvature and renormalization constants using analytic arguments in combination with numerical evidence. We also identify parameter sets where multiple expansion rates separated by several orders of magnitude are possible. Potentially for such parameter settings, a fast (semi-stable) expansion in the early universe could be compatible with a late time `Dark Energy-like' behavior of the universe.


title: Second order perturbation theory of two-scale systems in fluid dynamics

abstract: In the present paper we study slow-fast systems of coupled equations from fluid dynamics, where the fast component is perturbed by additive noise. We prove that, under a suitable limit of infinite separation of scales, the slow component of the system converges in law to a solution of the initial equation perturbed with transport noise, and subject to the influence of an additional It\=o-Stokes drift. The obtained limit equation is very similar to turbulent models derived heuristically. Our results apply to the Navier-Stokes equations in dimension $d=2,3$; the Surface Quasi-Geostrophic equations in dimension $d=2$; and the Primitive equations in dimension $d=2,3$.


title: Robust Attack Graph Generation

abstract: We present a method to learn automaton models that are more robust to input modifications. It iteratively aligns sequences to a learned model, modifies the sequences to their aligned versions, and re-learns the model. Automaton learning algorithms are typically very good at modeling the frequent behavior of a software system. Our solution can be used to also learn the behavior present in infrequent sequences, as these will be aligned to the frequent ones represented by the model. We apply our method to the SAGE tool for modeling attacker behavior from intrusion alerts. In experiments, we demonstrate that our algorithm learns models that can handle noise such as added and removed symbols from sequences. Furthermore, it learns more concise models that fit better to the training data.


title: Coupling of "cold" electron plasma wave via stationary ion inhomogeneity to the plasma bulk

abstract: Using high resolution kinetic (VPPM-OMP 1.0) and fluid (BOUT++) solvers, evolution of long-wavelength electron plasma wave (EPW) in the presence of stationary periodic ion background non-uniformity is investigated. Mode coupling dynamics between long-wavelength EPW mode of scale k and ion inhomogeneity of scale $k_{0}$ is illustrated. Validity of well known Bessel function $J_{n}(x)$ scaling in the cold plasma approximation (i.e., when phase velocity $\omega /k >> v_{thermal}$) along-with the effect of ion inhomogeneity amplitude (A) on temporal evolution of energy density in the long-wavelength EPW mode is investigated. Effect of finite system sizes on the Bessel $J_{n}(x)$ scaling is examined and scaling law for $\tau_{FM}$ i.e the time required to attain first minimum of energy density of the corresponding perturbed mode (also called phase mixing time for $k \sim 0$ modes) versus ion inhomogeneity amplitude A obtained from both kinetic and fluid solutions for each of the cases studied, along-with some major differences in $\tau_{FM}$ scaling for small system sizes is also reported.


title: Frequency Response and Eddy Current Power Loss in Magneto-Mechanical Transmitters

abstract: Magneto-mechanical transmitters offer a compact and low-power solution for the generation of ultra-low frequency (ULF) magnetic signals for through-ground and through-seawater communications. Resonant arrays of smaller magneto-mechanical transmitters are particularly interesting in this context as the physical scaling laws allow for the increase of operating frequency and reduce the power requirements for ULF signal generation. In this work, we introduce a generalized model for accurate prediction of frequency and mode shape in generalized magneto-mechanical resonator arrays (MMRAs) that accounts for near-field magnetic interactions as well as magnetically induced nonlinearity. Using experiments, we demonstrate that our predictive capability is significantly improved compared against simplified dipole approximations. We additionally model the eddy current losses internal to the array and find that they are in agreement with experimental observations.


title: Design and Implementation of a Complete Wearable Smart Insole Solution to Measure Plantar Pressure and Temperature

abstract: A complete smart insole solution that continuously monitors the foot plantar pressure and temperature can detect foot complications early and that too from the convenience of the user home. Widespread health complications such as Diabetic Mellitus need continuous foot complication monitoring to avoid severe complications. With that motivation, this paper provides a detailed design of a wearable insole using popular off-the-shelf sensors to monitor foot plantar pressure and temperature. The design provides details of which temperature and pressure to be used, circuit configuration for characterizing the sensors, and the considerations for developing a compact Printed Circuit board design using appropriate microcontrollers and communication protocol. The system also provides details of how the foot pressure and temperature data from the subjects using the sensors can be transferred wirelessly using a low-power consuming communication protocol to a central device where the data will be recorded. The investigation can help in developing a low-cost, feasible and portable foot monitoring system for patients by facilitating real-time, home monitoring of foot condition using Gait Cycle or Foot Pressure patterns and temperature heterogeneity between two feet. The proposed system will work in real-time.


title: A machine learning approach to predicting pore pressure response in liquefiable sands under cyclic loading

abstract: Shear stress history controls the pore pressure response in liquefiable soils. The excess pore pressure does not increase under cyclic loading when shear stress amplitude is lower than the peak prior amplitude -- the shielding effect. Many sophisticated constitutive models fail to capture the shielding effect observed in the cyclic liquefaction experiments. We develop a data-driven machine learning model based on the LSTM neural network to capture the liquefaction response of soils under cyclic loading. The LSTM model is trained on 12 laboratory cyclic simple shear tests on Nevada sand in loose and dense conditions subjected to different cyclic simple shear loading conditions. The LSTM model features include the relative density of soil and the previous stress history to predict the pore water pressure response. The LSTM model successfully replicates the pore pressure response for three cyclic simple test results considering the shielding and density effects.


title: Harmonic analysis in operator algebras and its applications to index theory and topological solid state systems

abstract: This monograph develops the theory of Besov spaces for abelian group actions on semifinite von Neumann algebras and then proves Peller criteria for traceclass properties of associated Hankel operators. This allows to extend known index theorems to symbols lying in Sobolev or Besov spaces. The duality theory for pairings over the smooth Toeplitz extension is developed in detail. Numerous applications to solid state systems are presented. In particular, a bulk-boundary correspondence is obtained for insulators with edges of irrational angles and for chiral semimetals having a pseudogaps. The latter implies the existence of flat bands of edge for tight-binding graphene models and shows how the density of surface states is expressed in terms of weak Chern numbers of the system without boundaries.


title: Sutured contact homology, conormal stops and hyperbolic knots

abstract: We apply the conormal construction to a hyperbolic knot $K \subset S^3$, and study the sutured contact manifold $(V, \xi)$ obtained by taking the complement of a standard neighbourhood of the unit conormal $\La_K \subset (ST^*S^3, \xi_\text{st})$. We show that the sutured Legendrian contact homology of a unit fiber $\La_0$, with its product structure, is a complete invariant of the knot (up to mirror). This can also be seen as the computation of the homology of the fiber in $ST^* S^3$, stopped at $\La_K$. Our main tool is, for any submanifold $N \subset M$, an explicit relationship between the complement of a unit conormal $\La_N$, and the unit bundle of $M \setminus N$.


title: On efforts to decouple early universe cosmology and quantum gravity phenomenology

abstract: The Big Bang singularity in standard model cosmology suggests a program of study in 'early universe' quantum gravity phenomenology. Inflation is usually thought to undermine this program's prospects by means of a dynamical diluting argument, but such a view has recently been disputed within inflationary cosmology, in the form of a 'trans-Planckian censorship' conjecture. Meanwhile, trans-Planckian censorship has been used outside of inflationary cosmology to motivate alternative early universe scenarios that are tightly linked to ongoing theorizing in quantum gravity. Against the resulting trend toward early universe quantum gravity phenomenology within and without inflation, Ijjas and Steindhardt suggest a further alternative: a 'generalized cosmic censorship' principle. I contrast the generalized cosmic censorship principle with the logic of its namesake, the cosmic censorship conjectures. I also remark on foundational concerns in the effective field theory approach to cosmology beyond the standard model, which would be based on that principle.


title: Evaluating Short-Term Forecasting of Multiple Time Series in IoT Environments

abstract: Modern Internet of Things (IoT) environments are monitored via a large number of IoT enabled sensing devices, with the data acquisition and processing infrastructure setting restrictions in terms of computational power and energy resources. To alleviate this issue, sensors are often configured to operate at relatively low sampling frequencies, yielding a reduced set of observations. Nevertheless, this can hamper dramatically subsequent decision-making, such as forecasting. To address this problem, in this work we evaluate short-term forecasting in highly underdetermined cases, i.e., the number of sensor streams is much higher than the number of observations. Several statistical, machine learning and neural network-based models are thoroughly examined with respect to the resulting forecasting accuracy on five different real-world datasets. The focus is given on a unified experimental protocol especially designed for short-term prediction of multiple time series at the IoT edge. The proposed framework can be considered as an important step towards establishing a solid forecasting strategy in resource constrained IoT applications.


title: Strategic Coalition for Data Pricing in IoT Data Markets

abstract: This paper considers a market for trading Internet of Things (IoT) data that is used to train machine learning models. The data, either raw or processed, is supplied to the market platform through a network and the price of such data is controlled based on the value it brings to the machine learning model. We explore the correlation property of data in a game-theoretical setting to eventually derive a simplified distributed solution for a data trading mechanism that emphasizes the mutual benefit of devices and the market. The key proposal is an efficient algorithm for markets that jointly addresses the challenges of availability and heterogeneity in participation, as well as the transfer of trust and the economic value of data exchange in IoT networks. The proposed approach establishes the data market by reinforcing collaboration opportunities between device with correlated data to avoid information leakage. Therein, we develop a network-wide optimization problem that maximizes the social value of coalition among the IoT devices of similar data types; at the same time, it minimizes the cost due to network externalities, i.e., the impact of information leakage due to data correlation, as well as the opportunity costs. Finally, we reveal the structure of the formulated problem as a distributed coalition game and solve it following the simplified split-and-merge algorithm. Simulation results show the efficacy of our proposed mechanism design toward a trusted IoT data market, with up to 32.72% gain in the average payoff for each seller.


title: Federated Data Analytics: A Study on Linear Models

abstract: As edge devices become increasingly powerful, data analytics are gradually moving from a centralized to a decentralized regime where edge compute resources are exploited to process more of the data locally. This regime of analytics is coined as federated data analytics (FDA). In spite of the recent success stories of FDA, most literature focuses exclusively on deep neural networks. In this work, we take a step back to develop an FDA treatment for one of the most fundamental statistical models: linear regression. Our treatment is built upon hierarchical modeling that allows borrowing strength across multiple groups. To this end, we propose two federated hierarchical model structures that provide a shared representation across devices to facilitate information sharing. Notably, our proposed frameworks are capable of providing uncertainty quantification, variable selection, hypothesis testing and fast adaptation to new unseen data. We validate our methods on a range of real-life applications including condition monitoring for aircraft engines. The results show that our FDA treatment for linear models can serve as a competing benchmark model for future development of federated algorithms.


title: Collective biological computation of metabolic economy

abstract: Presented with sensory challenges, living cells employ extensive noisy, fluctuating signalling and communication among themselves to compute a physiologically proper response which often results in symmetry breaking. We propose, based on the results of a coupled stochastics oscillators model that biological computation mechanism undertaken by insulin secreting beta-cells consists of a combination of dual intracellular Ca$^{2+}$ release processes to ensure multilayered exploration contributing to enhanced robustness and sensitivity. The computational output is what is macroscopically observed as disorder-order phase transition in collective beta-cell response to nutrient concentration increase. Based on the analogies from previoulsy described examples of biological computation, we argue that the initial response may be followed by an adaptive phase to expand the sensory spectrum and consolidate memory.


title: Experimental Evaluation of Multi-operator RIS-assisted Links in Indoor Environment

abstract: In this work, we present reconfigurable intelligent surface (RIS)-assisted optimization of the multiple links in the same indoor environment. Multiple RISs from different operators can co-exists and handle independent robust communication links in the same indoor environment. We investigated the key performance metrics with the help of two simultaneously operating RIS-empowered robust communication links at different center frequencies in the same indoor environment. We found with the help of bit error rate (BER) and error vector magnitude (EVM) measurements that two operators can co-exist in the same RF environment without seriously impacting quality of service of users.


title: Exactly Solvable Hamiltonian for Non-Abelian Quasiparticles

abstract: Particles obeying non-Abelian braid statistics have been predicted to emerge in the fractional quantum Hall effect. In particular, a model Hamiltonian with short-range three-body interaction ($\hat{V}^\text{Pf}_3$) between electrons confined to the lowest Landau level provides exact solutions for quasiholes, and thereby allows a proof of principle for the existence of quasiholes obeying non-Abelian braid statistics. We construct, in terms of two- and three- body Haldane pseudopotentials, a model Hamiltonian that can be solved exactly for both quasiholes and quasiparticles, and provide evidence of non-Abelian statistics for the latter as well. The structure of the quasiparticle states of this model is in agreement with that predicted by the bipartite composite-fermion model of quasiparticles with exact lowest Landau level projection. We further demonstrate adiabatic continuity for the ground state, the ordinary neutral excitation, and the topological exciton as we deform our model Hamiltonian continuously into the lowest Landau-level $\hat{V}^\text{Pf}_3$ Hamiltonian.


title: Orbital Semilattices

abstract: Orbital semilattices are introduced as bounded semilattices that are, in addition, equipped with an outer multiplication (a semigroup action) and diagonals (a concept borrowed from cylindric algebra), where each semilattice element has a certain domain. An example of an orbital semilattice is a table algebra, where the domain is the schema, the diagonals are diagonal relations, and outer multiplication encodes renaming, projection and column duplication. It is shown that each orbital semilattice can be represented by a subalgebra of such a table algebra.


title: Evaluating the blast-wave model as a description of 5 TeV p-Pb $\bf p_t$ spectra

abstract: The blast-wave (BW) spectrum model is interpreted to reveal relativistic motion (collective flow) of the hadron emission system relative to the center-of-momentum (CM) frame in high-energy A-B collisions. In essence, any spectrum deviation in the CM frame from a reference distribution (e.g. Boltzmann distribution on transverse mass $m_t$) is interpreted to reveal a flowing particle source. The ALICE collaboration has applied the BW model to identified hadron (PID) spectra for four hadron species from 5 TeV $p$-Pb collisions. From model fits BW parameters $T_{kin}$ (freeze-out temperature) and $\langle \beta_t \rangle$ (transverse speed) are inferred that suggest strong radial expansion in more-central $p$-Pb collisions. Such results from the small $p$-Pb collision system are counterintuitive given that strong radial expansion should be driven by large density gradients. The present study is intended to address that problem. Several methods are employed to evaluate the quality of the BW model data description, including logarithmic derivatives and the Z-score statistic. The stability of the BW model definition across several applications to data is investigated. The BW model data description is compare to that of the two-component (soft+hard) model (TCM) that has been previously applied to the same $p$-Pb PID spectra. The general conclusion is that the BW model is falsified by $p$-Pb PID spectrum data according to standard statistical measures and that the fitted parameter values do not convey the intended meaning. Statistically acceptable data descriptions provided by the TCM indicate that other collision mechanisms (projectile-nucleon dissociation, dijet production), that are consistent with conventional QCD, are more likely responsible for observed spectrum characteristics.


title: Intrinsic Lipschitz sections of no-linear quotient maps

abstract: Le Donne and the author introduced the so-called intrinsically Lipschitz sections of a fixed quotient map $\pi$ in the context of metric spaces. Moreover, the author introduced the concept of intrinsic Cheeger energy when the quotient map is also linear. In this note we investigate about the non linearity of $\pi$. In particular, we find a Leibniz formula for the intrinsic slope when $\pi$ satisfies a weaker condition. After that, we focus our attention on Carnot groups and using the properties of intrinsic dilations we show that the dilation of a Lipschitz section is so too. Finally, in Carnot groups of step 2, we give a suitable additional condition in order to get the sum of two intrinsically Lipschitz sections is so too.


title: Two-Sided EWMA Charts for Monitoring Double Bounded Processes

abstract: In this work, we study the performance of two-sided EWMA charts for monitoring double bounded processes using individual observations. Specifically, the term double bounded refers to observations in the interval (0, 1) and thus, these charts are suitable for monitoring rates, proportions and percentages. There are several models that can be used to describe this kind of data (and the respective processes, as well) such as the Beta distribution, the Simplex distribution and the Unit Gamma distribution. For each of these three models, we provide the statistical design and the performance of the proposed EWMA charts. Also, apart from providing the appropriate values for the design parameters of each chart, we investigate how much the performance of the EWMA schemes is affected by using the values of control limits which have not been calculated under the true model. Finally, an illustrative example is also presented.


title: Dynamical behavior of the $C$-metric: charged scalar fields, quasinormal modes and superradiance

abstract: The $C$-metric is a boost-symmetric spacetime solution to the vacuum Einstein field equations which describes black holes that are uniformly accelerated under the tension of a cosmic string. Only recently the thermodynamics of accelerating black holes and their modal stability against neutral scalar perturbations were concisely established. The generalization of accelerating black holes to incorporate an electric charge, namely the charged $C$-metric, possess three distinct families of quasinormal mode frequencies; the complex photon surface quasinormal modes associated with unstable null particles at the equatorial plane of the photon surface, the purely imaginary acceleration modes whose existence solely depends on the acceleration of spacetime and the purely imaginary near-extremal modes which dominate the dynamics of the ringdown at late times when the event and Cauchy horizon approach each other. We extend the quasinormal mode analysis to charged scalar fluctuations and find that the photon surface modes are continuously deformed with respect to their neutral counterpart as the scalar charge is increased. We further find that the acceleration and near-extremal families acquire an oscillation frequency when the scalar charge is introduced. Finally, we study the superradiant amplification of charged scalar monochromatic waves impinging charged accelerating black holes. We find that even though the frequency range of superradiant amplification is lessened due to the acceleration, the amplification factors are considerably elevated with respect to those transpiring in Reissner-Nordstr\"om black holes and are maximized when the scalar charge is significantly large.


title: On Calibrated Model Uncertainty in Deep Learning

abstract: Estimated uncertainty by approximate posteriors in Bayesian neural networks are prone to miscalibration, which leads to overconfident predictions in critical tasks that have a clear asymmetric cost or significant losses. Here, we extend the approximate inference for the loss-calibrated Bayesian framework to dropweights based Bayesian neural networks by maximising expected utility over a model posterior to calibrate uncertainty in deep learning. Furthermore, we show that decisions informed by loss-calibrated uncertainty can improve diagnostic performance to a greater extent than straightforward alternatives. We propose Maximum Uncertainty Calibration Error (MUCE) as a metric to measure calibrated confidence, in addition to its prediction especially for high-risk applications, where the goal is to minimise the worst-case deviation between error and estimated uncertainty. In experiments, we show the correlation between error in prediction and estimated uncertainty by interpreting Wasserstein distance as the accuracy of prediction. We evaluated the effectiveness of our approach to detecting Covid-19 from X-Ray images. Experimental results show that our method reduces miscalibration considerably, without impacting the models accuracy and improves reliability of computer-based diagnostics.


title: FixEval: Execution-based Evaluation of Program Fixes for Programming Problems

abstract: The complexity of modern software has led to a drastic increase in the time and cost associated with detecting and rectifying software bugs. In response, researchers have explored various methods to automatically generate fixes for buggy code. However, due to the large combinatorial space of possible fixes for any given bug, few tools and datasets are available to evaluate model-generated fixes effectively. To address this issue, we introduce FixEval, a benchmark comprising of buggy code submissions to competitive programming problems and their corresponding fixes. FixEval offers an extensive collection of unit tests to evaluate the correctness of model-generated program fixes and assess further information regarding time, memory constraints, and acceptance based on a verdict. We consider two Transformer language models pretrained on programming languages as our baseline and compare them using match-based and execution-based evaluation metrics. Our experiments show that match-based metrics do not reflect model-generated program fixes accurately. At the same time, execution-based methods evaluate programs through all cases and scenarios designed explicitly for that solution. Therefore, we believe FixEval provides a step towards real-world automatic bug fixing and model-generated code evaluation. The dataset and models are open-sourced at https://github.com/mahimanzum/FixEval.


title: Scale-free correlations in the dynamics of a small (N ~ 10000) cortical network

abstract: The advent of novel opto-genetics technology allows the recording of brain activity with a resolution never seen before. The characterisation of these very large data sets offers new challenges as well as unique theory-testing opportunities. Here we discuss whether the spatial and temporal correlation of the collective activity of thousands of neurons are tangled as predicted by the theory of critical phenomena. The analysis shows that both, the correlation length $\xi$ and the correlation time $\tau$ scale as predicted as a function of the system size. With some peculiarities that we discuss, the analysis uncovers new evidence consistent with the view that the large scale brain cortical dynamics corresponds to critical phenomena.


title: Gaussian Blue Noise

abstract: Among the various approaches for producing point distributions with blue noise spectrum, we argue for an optimization framework using Gaussian kernels. We show that with a wise selection of optimization parameters, this approach attains unprecedented quality, provably surpassing the current state of the art attained by the optimal transport (BNOT) approach. Further, we show that our algorithm scales smoothly and feasibly to high dimensions while maintaining the same quality, realizing unprecedented high-quality high-dimensional blue noise sets. Finally, we show an extension to adaptive sampling.


title: Formation of dust clumps with sub-Jupiter mass and cold shadowed region in gravitationally unstable disk around Class 0/I protostar in L1527 IRS

abstract: We have investigated the protostellar disk around a Class 0/I protostar, L1527 IRS, using multi-wavelength observations of the dust continuum emission at $\lambda=0.87$, 2.1, 3.3, and 6.8 mm obtained by the Atacama Large Millimeter/submillimeter Array (ALMA) and the Jansky Very Large Array (VLA). Our observations achieved a spatial resolution of $3-13$ au and revealed an edge-on disk structure with a size of $\sim80-100$ au. The emission at 0.87 and 2.1 mm is found to be optically thick within a projected disk radius of $ r_{\rm proj}\lesssim50$ au. The emission at 3.3 and 6.8 mm shows that the power-law index of the dust opacity ($\beta$) is $\beta\sim1.7$ around $ r_{\rm proj}\sim 50$ au, suggesting that grain growth has not yet begun. The dust temperature ($T_{\rm dust}$) shows a steep decrease with $T_{\rm dust}\propto r_{\rm proj}^{-2}$ outside of the VLA clumps previously identified at $r_{\rm proj}\sim20$ au. Furthermore, the disk is gravitationally unstable at $r_{\rm proj}\sim20$ au, as indicated by a Toomre {\it Q} parameter value of $Q\lesssim1.0$. These results suggest that the VLA clumps are formed via gravitational instability, which creates a shadow on the outside of the substructure, resulting in the sudden drop in temperature. The derived dust masses for the VLA clumps are $\gtrsim0.1$ $M_{\rm J}$. Thus, we suggest that Class 0/I disks can be massive enough to be gravitationally unstable, which might be the origin of gas-giant planets in a 20 au radius. Furthermore, the protostellar disks can be cold due to shadowing.


title: No evidence of the significant grain growth but tentative discovery of disk substructure in a disk around the Class I Protostar L1489 IRS

abstract: For revealing the first step of the plant formation, it is important to understand how and when dust grains become larger in a disk around a protostar. To investigate the grain growth, we analyze dust continuum emission toward a disk around the Class I protostar, L1489 IRS at 0.9 and 1.3 mm wavelengths obtained by the Atacama Large Millimeter/submillimeter Array. The dust continuum emission extends to a disk radius ($r$) of $r\sim300$ au, and the spectral index ($\alpha$) is derived to be $\alpha\sim3.6$ at a radius of $r\sim100-300$ au, as similar to the interstellar dust. Therefore, the grain growth does not occur significantly in the outer disk ($r\sim100-300$ au). Furthermore, we tentatively identify a ring-like substructure at $r\sim90$ au even though the spatial resolution and sensitivity are not enough to determine this structure. If this is the real ring structure, the ring position and small dust in the disk outer part are consistent with the idea of the growth front. These results suggest that the L1489 protostellar disk may be the beginning of the planet formation.


title: Beyond Adult and COMPAS: Fairness in Multi-Class Prediction

abstract: We consider the problem of producing fair probabilistic classifiers for multi-class classification tasks. We formulate this problem in terms of "projecting" a pre-trained (and potentially unfair) classifier onto the set of models that satisfy target group-fairness requirements. The new, projected model is given by post-processing the outputs of the pre-trained classifier by a multiplicative factor. We provide a parallelizable iterative algorithm for computing the projected classifier and derive both sample complexity and convergence guarantees. Comprehensive numerical comparisons with state-of-the-art benchmarks demonstrate that our approach maintains competitive performance in terms of accuracy-fairness trade-off curves, while achieving favorable runtime on large datasets. We also evaluate our method at scale on an open dataset with multiple classes, multiple intersectional protected groups, and over 1M samples.


title: Improving generalization by mimicking the human visual diet

abstract: We present a new perspective on bridging the generalization gap between biological and computer vision -- mimicking the human visual diet. While computer vision models rely on internet-scraped datasets, humans learn from limited 3D scenes under diverse real-world transformations with objects in natural context. Our results demonstrate that incorporating variations and contextual cues ubiquitous in the human visual training data (visual diet) significantly improves generalization to real-world transformations such as lighting, viewpoint, and material changes. This improvement also extends to generalizing from synthetic to real-world data -- all models trained with a human-like visual diet outperform specialized architectures by large margins when tested on natural image data. These experiments are enabled by our two key contributions: a novel dataset capturing scene context and diverse real-world transformations to mimic the human visual diet, and a transformer model tailored to leverage these aspects of the human visual diet. All data and source code can be accessed at https://github.com/Spandan-Madan/human_visual_diet.


title: From Babylonian lunar observations to Floquet multipliers and Conley-Zehnder Indices

abstract: The lunar periods of our moon -- the companion of the Earth -- which date back to the Babylonians until around 600 BCE, are 29.53 days for the synodic, 27.55 days for the anomalistic and 27.21 days for the draconitic month. In this paper we define and compute these periods in terms of Floquet multipliers and Conley--Zehnder indices for planar periodic orbits in the spatial Hill lunar problem, which is a limit case of the spatial circular restricted three body problem. For very low energies, we are able to prove analytically the existence of the families of planar direct (family $g$) and retrograde periodic orbits (family $f$) and to determine their Conley-Zehnder index. For higher energies, by numerical approximations to the linearized flow, we also study other families of planar and spatial periodic orbits bifurcating from the families $g$ and $f$. Moreover, our framework provide an organized structure for the families, especially to see how they are connected to each other. Since the solutions we analyze are of practical interest, our work connects three topics: Babylonian lunar periods, symplectic geometry, and space mission design.


title: Coxeter groups are biautomatic

abstract: We prove that Coxeter groups are biautomatic. From our construction of the biautomatic structure it follows that uniform lattices in isometry groups of buildings are biautomatic.


title: Testing the role of AGN on the star formation and metal enrichment of "twin galaxies"

abstract: We explore the effect of AGN activity on the star formation history of galaxies by analysing the stellar population properties of ten pairs of nearby twin galaxies -- selected as being visually similar except for the presence of an AGN. The selection of such twin samples represents a method to study AGN feedback, as recently proposed by del Moral Castro et al. We use integral field unit (IFU) data from CALIFA, stacked within three fixed apertures. AGN galaxies in a twin pair suggest more evolved stellar populations than their non-AGN counterpart 90% of the time, regardless of aperture size. A comparison with a large sample from SDSS confirms that most twins are representative of the general population, but in each twin the differences between twin members is significant. A set of targeted line strengths reveal the AGN member of a twin pair is older and more metal rich than the non-AGN galaxy, suggesting AGN galaxies in our sample may either have an earlier formation time or follow a different star formation and chemical enrichment history. These results are discussed within two simple, contrasting hypotheses for the role played by AGN in galaxy evolution, which can be tested in the future at a greater detail with the use of larger data sets.


title: Entangled multiplets and unusual spreading of quantum correlations in a continuously monitored tight-binding chain

abstract: We analyze the dynamics of entanglement in a paradigmatic noninteracting system subject to continuous monitoring of the local excitation densities. Recently, it was conjectured that the evolution of quantum correlations in such system is described by a semi-classical theory, based on entangled pairs of ballistically propagating quasiparticles and inspired by the hydrodynamic approach to unitary (integrable) quantum systems. Here, however, we show that this conjecture does not fully capture the complex behavior of quantum correlations emerging from the interplay between coherent dynamics and continuous monitoring. We unveil the existence of multipartite quantum correlations which are inconsistent with an entangled-pair structure and which, within a quasiparticle picture, would require the presence of larger multiplets. We also observe that quantum information is highly delocalized, as it is shared in a collective {\it nonredundant} way among adjacent regions of the many-body system. Our results shed new light onto the behavior of correlations in quantum stochastic dynamics and further show that these may be enhanced by a (weak) continuous monitoring process.


title: How Adults Understand What Young Children Say

abstract: Children's early speech often bears little resemblance to that of adults, and yet parents and other caregivers are able to interpret that speech and react accordingly. Here we investigate how these adult inferences as listeners reflect sophisticated beliefs about what children are trying to communicate, as well as how children are likely to pronounce words. Using a Bayesian framework for modeling spoken word recognition, we find that computational models can replicate adult interpretations of children's speech only when they include strong, context-specific prior expectations about the messages that children will want to communicate. This points to a critical role of adult cognitive processes in supporting early communication and reveals how children can actively prompt adults to take actions on their behalf even when they have only a nascent understanding of the adult language. We discuss the wide-ranging implications of the powerful listening capabilities of adults for theories of first language acquisition.


title: Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems

abstract: We present results from a large-scale experiment on pretraining encoders with non-embedding parameter counts ranging from 700M to 9.3B, their subsequent distillation into smaller models ranging from 17M-170M parameters, and their application to the Natural Language Understanding (NLU) component of a virtual assistant system. Though we train using 70% spoken-form data, our teacher models perform comparably to XLM-R and mT5 when evaluated on the written-form Cross-lingual Natural Language Inference (XNLI) corpus. We perform a second stage of pretraining on our teacher models using in-domain data from our system, improving error rates by 3.86% relative for intent classification and 7.01% relative for slot filling. We find that even a 170M-parameter model distilled from our Stage 2 teacher model has 2.88% better intent classification and 7.69% better slot filling error rates when compared to the 2.3B-parameter teacher trained only on public data (Stage 1), emphasizing the importance of in-domain data for pretraining. When evaluated offline using labeled NLU data, our 17M-parameter Stage 2 distilled model outperforms both XLM-R Base (85M params) and DistillBERT (42M params) by 4.23% to 6.14%, respectively. Finally, we present results from a full virtual assistant experimentation platform, where we find that models trained using our pretraining and distillation pipeline outperform models distilled from 85M-parameter teachers by 3.74%-4.91% on an automatic measurement of full-system user dissatisfaction.


title: Full Poissonian Local Statistics of Slowly Growing Sequences

abstract: Fix $\alpha>0$, then by Fej\'er's theorem $ (\alpha(\log n)^{A}\,\mathrm{mod}\,1)_{n\geq1}$ is uniformly distributed if and only if $A>1$. We sharpen this by showing that all correlation functions, and hence the gap distribution, are Poissonian provided $A>1$. This is the first example of a deterministic sequence modulo one whose gap distribution, and all of whose correlations are proven to be Poissonian. The range of $A$ is optimal and complements a result of Marklof and Str\"{o}mbergsson who found the limiting gap distribution of $(\log(n)\, \mathrm{mod}\,1)$, which is necessarily not Poissonian.


title: High-Resolution Bathymetric Reconstruction From Sidescan Sonar With Deep Neural Networks

abstract: We propose a novel data-driven approach for high-resolution bathymetric reconstruction from sidescan. Sidescan sonar (SSS) intensities as a function of range do contain some information about the slope of the seabed. However, that information must be inferred. Additionally, the navigation system provides the estimated trajectory, and normally the altitude along this trajectory is also available. From these we obtain a very coarse seabed bathymetry as an input. This is then combined with the indirect but high-resolution seabed slope information from the sidescan to estimate the full bathymetry. This sparse depth could be acquired by single-beam echo sounder, Doppler Velocity Log (DVL), other bottom tracking sensors or bottom tracking algorithm from sidescan itself. In our work, a fully convolutional network is used to estimate the depth contour and its aleatoric uncertainty from the sidescan images and sparse depth in an end-to-end fashion. The estimated depth is then used together with the range to calculate the point's 3D location on the seafloor. A high-quality bathymetric map can be reconstructed after fusing the depth predictions and the corresponding confidence measures from the neural networks. We show the improvement of the bathymetric map gained by using sparse depths with sidescan over estimates with sidescan alone. We also show the benefit of confidence weighting when fusing multiple bathymetric estimates into a single map.


title: Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions

abstract: Neural Networks (NNs) have been successfully employed to represent the state evolution of complex dynamical systems. Such models, referred to as NN dynamic models (NNDMs), use iterative noisy predictions of NN to estimate a distribution of system trajectories over time. Despite their accuracy, safety analysis of NNDMs is known to be a challenging problem and remains largely unexplored. To address this issue, in this paper, we introduce a method of providing safety guarantees for NNDMs. Our approach is based on stochastic barrier functions, whose relation with safety are analogous to that of Lyapunov functions with stability. We first show a method of synthesizing stochastic barrier functions for NNDMs via a convex optimization problem, which in turn provides a lower bound on the system's safety probability. A key step in our method is the employment of the recent convex approximation results for NNs to find piece-wise linear bounds, which allow the formulation of the barrier function synthesis problem as a sum-of-squares optimization program. If the obtained safety probability is above the desired threshold, the system is certified. Otherwise, we introduce a method of generating controls for the system that robustly maximizes the safety probability in a minimally-invasive manner. We exploit the convexity property of the barrier function to formulate the optimal control synthesis problem as a linear program. Experimental results illustrate the efficacy of the method. Namely, they show that the method can scale to multi-dimensional NNDMs with multiple layers and hundreds of neurons per layer, and that the controller can significantly improve the safety probability.


title: Pairing Properties of the $t$-$t'$-$t''$-$J$ model

abstract: We study the pairing properties of the two-dimensional $t$-$t'$-$t''$-$J$ model, where $t'$ and $t''$ are second and third neighbor hoppings, at a doping level $x\approx0.1$. Recent studies of the $t$-$t'$-$J$ model find strong pairing for $t'>0$, associated with electron doping, but an absence of pairing for $t'<0$ associated with hole doping. This is in contrast to the cuprates, where the highest transition temperatures appear for hole doping. Model parameterizations for the cuprates estimate a $t''$ comparable to $t'$, which, in principle, might fix this discrepancy. However, we find that it does not; we observe a suppression of pairing for the hole-doped system ($t'<0, t''>0$) while for the electron-doped system ($t'>0, t''<0$) $d$-wave pairing is robust. Extended hoppings appear to be insufficient to make the one-band $t$-$t'$-$J$ model capable of describing the pairing in the hole doped system.


title: A Search-Based Testing Approach for Deep Reinforcement Learning Agents

abstract: Deep Reinforcement Learning (DRL) algorithms have been increasingly employed during the last decade to solve various decision-making problems such as autonomous driving and robotics. However, these algorithms have faced great challenges when deployed in safety-critical environments since they often exhibit erroneous behaviors that can lead to potentially critical errors. One way to assess the safety of DRL agents is to test them to detect possible faults leading to critical failures during their execution. This raises the question of how we can efficiently test DRL policies to ensure their correctness and adherence to safety requirements. Most existing works on testing DRL agents use adversarial attacks that perturb states or actions of the agent. However, such attacks often lead to unrealistic states of the environment. Their main goal is to test the robustness of DRL agents rather than testing the compliance of agents' policies with respect to requirements. Due to the huge state space of DRL environments, the high cost of test execution, and the black-box nature of DRL algorithms, the exhaustive testing of DRL agents is impossible. In this paper, we propose a Search-based Testing Approach of Reinforcement Learning Agents (STARLA) to test the policy of a DRL agent by effectively searching for failing executions of the agent within a limited testing budget. We use machine learning models and a dedicated genetic algorithm to narrow the search towards faulty episodes. We apply STARLA on Deep-Q-Learning agents which are widely used as benchmarks and show that it significantly outperforms Random Testing by detecting more faults related to the agent's policy. We also investigate how to extract rules that characterize faulty episodes of the DRL agent using our search results. Such rules can be used to understand the conditions under which the agent fails and thus assess its deployment risks.


title: High-fidelity far-field microscopy at {\lambda}/8 resolution

abstract: The emergence of far-field super-resolution microscopy has rejuvenated the possibility for nanoscale imaging. Approaches to far-field super-resolution that utilize point scanning often depends on spatially reducing the size of the focused spot. However, the focused spot always achieves high resolution at the expense of extremely low light efficiency for the probing mainlobe and high-intensity sidelobes, which limits the applications in nanoscale imaging and might cause misinterpretation of samples. Here we report a sharp probing spot with the diffraction efficiency of 3.76% at the resolution of 38% of the Airy spot size assisted by the two-dimensional multi-level diffractive optical element (DOE) experimentally. The diffraction efficiency of DOE is improved by at least two orders of magnitude at the same resolution by breaking the limitation of circular 0-{\pi} binary structure superoscillatory lens. To eliminate the influence of the high-intensity sidelobes, high-fidelity images are reconstructed based on the modified deconvolution algorithm by virtue of the prior-knowledge. Finally, high-fidelity far-field microscopy (HiFi-FM) is constructed and experimental results show that HiFi-FM allows the resolution of spatially complex samples better than 69 nm while acquiring high fidelity.


title: Unveiling the proton structure via transverse-momentum-dependent gluon distributions

abstract: We present exploratory studies of the proton content via unpolarized and polarized transverse-momentum-dependent gluon distributions in the proton at leading twist. We make use of an enhanced spectator-model approach to encode in our densities both small- and moderate-$x$ effects. These studies are relevant to the investigation of the inner structure of hadrons via tomographic analyses at new-generation colliding machines.


title: Beamformed Self-Interference Measurements at 28 GHz: Spatial Insights and Angular Spread

abstract: We present measurements and analysis of self-interference in multi-panel millimeter wave (mmWave) full-duplex communication systems at 28 GHz. In an anechoic chamber, we measure the self-interference power between the input of a transmitting phased array and the output of a colocated receiving phased array, each of which is electronically steered across a number of directions in azimuth and elevation. These self-interference power measurements shed light on the potential for a full-duplex communication system to successfully receive a desired signal while transmitting in-band. Our nearly 6.5 million measurements illustrate that more self-interference tends to be coupled when the transmitting and receiving phased arrays steer their beams toward one another but that slight shifts in steering direction (on the order of one degree) can lead to significant fluctuations in self-interference power. We analyze these measurements to characterize the spatial variability of self-interference to better quantify and statistically model this sensitivity. Our analyses and statistical results can be useful references when developing and evaluating mmWave full-duplex systems and motivate a variety of future topics including beam selection, beamforming codebook design, and self-interference channel modeling.


title: Low-Cost Superconducting Fan-Out with Cell I$_\text{C}$ Ranking

abstract: Superconductor electronics (SCE) promise computer systems with orders of magnitude higher speeds and lower energy consumption than their complementary metal-oxide semiconductor (CMOS) counterparts. At the same time, the scalability and resource utilization of superconducting systems are major concerns. Some of these concerns come from device-level challenges and the gap between SCE and CMOS technology nodes, and others come from the way Josephson Junctions (JJs) are used. Towards this end, we notice that a considerable fraction of hardware resources are not involved in logic operations, but rather are used for fan-out and buffering purposes. In this paper, we ask if there is a way to reduce these overheads, propose the use of JJs at the cell boundaries to increase the number of outputs that a single stage can drive, and establish a set of rules to discretize critical currents in a way that is conducive to this assignment. Finally, we explore the design trade-offs that the presented approach opens up and demonstrate its promise through detailed analog simulations and modeling analyses. Our experiments indicate that the introduced method leads to a 48% savings in the JJ count for a tree with a fan-out of 1024, as well as an average of 43% of the JJ count for signal splitting and 32% for clock splitting in ISCAS'85 benchmarks.


title: de Sitter Fractional Quantum Cosmology

abstract: We employ Riesz's fractional derivative into the Wheeler--DeWitt equation for a closed de Sitter geometry and obtain the no-boundary and tunneling wavefunctions. From the corresponding probability distributions, the event horizon of the nucleated universe can be a fractal surface with dimensions between $2\leq D<3$. Concretely, the tunneling wavefunction favors fractal dimensions less than $2.5$ and an accelerated power-law phase. Differently, the no-boundary proposal conveys fractal dimensions close to $3$, with the universe instead entering a decelerated phase. Subsequently, we extend our discussion towards (non-trivial compact) flat and open scenarios. Results suggest that given the probability of creation of a closed inflationary universe in the tunneling proposal is exponentially suppressed, a flat or an open universe becomes favored within fractional inflationary quantum universe.


title: Neural Network Normal Estimation and Bathymetry Reconstruction from Sidescan Sonar

abstract: Sidescan sonar intensity encodes information about the changes of surface normal of the seabed. However, other factors such as seabed geometry as well as its material composition also affect the return intensity. One can model these intensity changes in a forward direction from the surface normals from bathymetric map and physical properties to the measured intensity or alternatively one can use an inverse model which starts from the intensities and models the surface normals. Here we use an inverse model which leverages deep learning's ability to learn from data; a convolutional neural network is used to estimate the surface normal from the sidescan. Thus the internal properties of the seabed are only implicitly learned. Once this information is estimated, a bathymetric map can be reconstructed through an optimization framework that also includes altimeter readings to provide a sparse depth profile as a constraint. Implicit neural representation learning was recently proposed to represent the bathymetric map in such an optimization framework. In this article, we use a neural network to represent the map and optimize it under constraints of altimeter points and estimated surface normal from sidescan. By fusing multiple observations from different angles from several sidescan lines, the estimated results are improved through optimization. We demonstrate the efficiency and scalability of the approach by reconstructing a high-quality bathymetry using sidescan data from a large sidescan survey. We compare the proposed data-driven inverse model approach of modeling a sidescan with a forward Lambertian model. We assess the quality of each reconstruction by comparing it with data constructed from a multibeam sensor.


title: Superstatistical approach of the anomalous exponent for scaled Brownian motion

abstract: Anomalous diffusion phenomenon is an intriguing process that tracer diffusion presents in numerous complex systems. Current experimental and theoretical investigations have reported the emergence of random diffusivity scenarios accompanied by the heterogeneity of the $\alpha$-anomalous diffusion exponents. In this framework, we investigate a heterogeneous ensemble of tracers governed by scaled Brownian motion (sBm). The heterogeneous features are considered on anomalous diffusion exponent and diffusivity. To analyse such systems, we introduce the truncated-Gaussian and truncated chi-squared distributions for anomalous exponents in the superstatistical framework. We also discuss the role of different temporal scales in sBm for our model. Furthermore, we investigate the effects of coupling between diffusivity and anomalous exponent on superstatistics of sBm. The investigation provides a thorough analysis of simulation and analytical results.


title: Towards Differentiable Rendering for Sidescan Sonar Imagery

abstract: Recent advances in differentiable rendering, which allow calculating the gradients of 2D pixel values with respect to 3D object models, can be applied to estimation of the model parameters by gradient-based optimization with only 2D supervision. It is easy to incorporate deep neural networks into such an optimization pipeline, allowing the leveraging of deep learning techniques. This also largely reduces the requirement for collecting and annotating 3D data, which is very difficult for applications, for example when constructing geometry from 2D sensors. In this work, we propose a differentiable renderer for sidescan sonar imagery. We further demonstrate its ability to solve the inverse problem of directly reconstructing a 3D seafloor mesh from only 2D sidescan sonar data.


title: Determining Undersampled Coastal Tidal Harmonics using Regularized Least Squares

abstract: Satellite altimetry, which measures water level with global coverage and high resolution, provides an unprecedented opportunity for a wide and refined understanding of the changing tides in the coastal area, but the sampling frequency is too low to satisfy the Nyquist frequency requirement and too few data points per year are available to recognize a sufficient number of tidal constituents to capture the trend of tidal changes on a yearly basis. To address these issues, a novel Regularized Least-Square approach is developed to relax the limitation to the range of satellite operating conditions. In this method, the prior information of the regional tidal amplitudes is used to support a least square analysis to obtain the amplitudes and phases of the tidal constituents for water elevation time series of different lengths and time intervals. Synthetic data experiments performed in Delaware Bay and Galveston Bay showed that the proposed method can determine the tidal amplitudes with high accuracy and the sampling interval can be extended to the application level of major altimetry satellites. The proposed algorithm was further validated using the data of the altimetry mission, Jason-3, to show its applicability to irregular and noisy data. The new method could help identify the changing tides with sea-level rise and anthropogenic activities in coastal areas, informing coastal flooding risk assessment and ecosystem health analysis.


title: An Investigation of Kripke-style Modal Type Theories

abstract: This technical report investigates Kripke-style modal type theories, both simply typed and dependently typed. We examine basic meta-theories of the type theories, develop their substitution calculi, and give normalization by evaluation algorithms.


title: Large-Scale Differentiable Causal Discovery of Factor Graphs

abstract: A common theme in causal inference is learning causal relationships between observed variables, also known as causal discovery. This is usually a daunting task, given the large number of candidate causal graphs and the combinatorial nature of the search space. Perhaps for this reason, most research has so far focused on relatively small causal graphs, with up to hundreds of nodes. However, recent advances in fields like biology enable generating experimental data sets with thousands of interventions followed by rich profiling of thousands of variables, raising the opportunity and urgent need for large causal graph models. Here, we introduce the notion of factor directed acyclic graphs (f-DAGs) as a way to restrict the search space to non-linear low-rank causal interaction models. Combining this novel structural assumption with recent advances that bridge the gap between causal discovery and continuous optimization, we achieve causal discovery on thousands of variables. Additionally, as a model for the impact of statistical noise on this estimation procedure, we study a model of edge perturbations of the f-DAG skeleton based on random graphs and quantify the effect of such perturbations on the f-DAG rank. This theoretical analysis suggests that the set of candidate f-DAGs is much smaller than the whole DAG space and thus may be more suitable as a search space in the high-dimensional regime where the underlying skeleton is hard to assess. We propose Differentiable Causal Discovery of Factor Graphs (DCD-FG), a scalable implementation of -DAG constrained causal discovery for high-dimensional interventional data. DCD-FG uses a Gaussian non-linear low-rank structural equation model and shows significant improvements compared to state-of-the-art methods in both simulations as well as a recent large-scale single-cell RNA sequencing data set with hundreds of genetic interventions.


title: Definitive upper bound on the negligible contribution of quasars to cosmic reionization

abstract: Cosmic (hydrogen) reionization marks one of the major phase transitions of the universe at redshift z >= 6. During this epoch, hydrogen atoms in the intergalactic medium (IGM) were ionized by Lyman continuum (LyC) photons. However, it remains challenging to identify the major sources of the LyC photons responsible for reionization. In particular, individual contributions of quasars (or active galactic nuclei, AGNs) and galaxies are still under debate. Here we construct the far-ultraviolet (far-UV) luminosity function for type 1 quasars at z >= 6 that spans 10 magnitudes (-19 < M_UV < -29), conclusively showing that quasars made a negligible contribution to reionization. We mainly search for quasars in the low-luminosity range of M_UV > -23 mag that is critical to determine quasars' total LyC photon production but has been barely explored previously. We find that the quasar population can only provide less than 7% (95% confidence level) of the total photons needed to keep the universe ionized at z = 6.0 - 6.6. Our result suggests that galaxies, presumably low-luminosity star-forming systems, are the major sources of hydrogen reionization.


title: Metric-Fair Classifier Derandomization

abstract: We study the problem of classifier derandomization in machine learning: given a stochastic binary classifier $f: X \to [0,1]$, sample a deterministic classifier $\hat{f}: X \to \{0,1\}$ that approximates the output of $f$ in aggregate over any data distribution. Recent work revealed how to efficiently derandomize a stochastic classifier with strong output approximation guarantees, but at the cost of individual fairness -- that is, if $f$ treated similar inputs similarly, $\hat{f}$ did not. In this paper, we initiate a systematic study of classifier derandomization with metric fairness guarantees. We show that the prior derandomization approach is almost maximally metric-unfair, and that a simple ``random threshold'' derandomization achieves optimal fairness preservation but with weaker output approximation. We then devise a derandomization procedure that provides an appealing tradeoff between these two: if $f$ is $\alpha$-metric fair according to a metric $d$ with a locality-sensitive hash (LSH) family, then our derandomized $\hat{f}$ is, with high probability, $O(\alpha)$-metric fair and a close approximation of $f$. We also prove generic results applicable to all (fair and unfair) classifier derandomization procedures, including a bias-variance decomposition and reductions between various notions of metric fairness.


title: Spinor-Vector Duality and the Swampland

abstract: The Swampland Program aims to address the question, "when does an effective field theory model of quantum gravity have an ultraviolet complete embedding in string theory?", and can be regarded as a bottom-up approach to investigations of quantum gravity. An alternative top-down approach aim to explore the imprints and the constraints imposed by the string theory dualities and symmetries on the effective field theory representations of quantum gravity. The most celebrated example of this approach is mirror symmetry. Mirror symmetry was first observed in worldsheet contructions of string compactifications. It was completely unexpected from the effective field theory point of view, and its implications in that context were astounding. In terms of the moduli parameters of toroidally compactified Narain spaces, mirror symmetry can be regarded as arising from mappings of the moduli of the internal compactified space. Spinor-vector duality, which was discovered in worldsheet constructions of string vacua, is an extension of mirror symmetry that arises from mappings of the Wilson line moduli, and provide a probe to constrain and explore the moduli spaces of $(2,0)$ string compactifications. Mirror symmetry and spinor-vector duality are mere two examples of a much wider symmetry structure, whose implications are yet to be unravelled. A mapping between supersymmetric and non-supersymmetric vacua is briefly discussed. $T$-duality is another important property of string theory, and can be thought of as phase-space duality in compact space. I propose that manifest phase-space duality, and the related equivalence postulate of quantum mechanics, provide the background independent overarching principles underlying quantum gravity.


title: Searching Entangled Program Spaces

abstract: Many problem domains, including program synthesis and rewrite-based optimization, require searching astronomically large spaces of programs. Existing approaches often rely on building specialized data structures -- version-space algebras, finite tree automata, or e-graphs -- to compactly represent these programs. To find a compact representation, existing data structures exploit independence of subterms; they blow up when the choices of subterms are entangled. We introduce equality-constrained tree automata (ECTAs), a generalization of the three aforementioned data structures that can efficiently represent large spaces of programs with entangled subterms. We present efficient algorithms for extracting programs from ECTAs, implemented in a performant Haskell library, \texttt{ecta}. Using \texttt{ecta} we construct \textsc{Hectare}, a type-driven program synthesizer for Haskell. \textsc{Hectare} significantly outperforms a state-of-the-art synthesizer Hoogle+ -- providing an average speedup of 8x -- despite its implementation being an order of magnitude smaller.