title: Will My Robot Achieve My Goals? Predicting the Probability that an MDP Policy Reaches a User-Specified Behavior Target

abstract: As an autonomous system performs a task, it should maintain a calibrated estimate of the probability that it will achieve the user's goal. If that probability falls below some desired level, it should alert the user so that appropriate interventions can be made. This paper considers settings where the user's goal is specified as a target interval for a real-valued performance summary, such as the cumulative reward, measured at a fixed horizon $H$. At each time $t \in \{0, \ldots, H-1\}$, our method produces a calibrated estimate of the probability that the final cumulative reward will fall within a user-specified target interval $[y^-,y^+].$ Using this estimate, the autonomous system can raise an alarm if the probability drops below a specified threshold. We compute the probability estimates by inverting conformal prediction. Our starting point is the Conformalized Quantile Regression (CQR) method of Romano et al., which applies split-conformal prediction to the results of quantile regression. CQR is not invertible, but by using the conditional cumulative distribution function (CDF) as the non-conformity measure, we show how to obtain an invertible modification that we call Probability-space Conformalized Quantile Regression (PCQR). Like CQR, PCQR produces well-calibrated conditional prediction intervals with finite-sample marginal guarantees. By inverting PCQR, we obtain guarantees for the probability that the cumulative reward of an autonomous system will fall below a threshold sampled from the marginal distribution of the response variable (i.e., a calibrated CDF estimate) that we employ to predict coverage probabilities for user-specified target intervals. Experiments on two domains confirm that these probabilities are well-calibrated.


title: Numerical Simulations of Two-Fluid Magnetoacoustic Waves in the Solar Atmosphere

abstract: We study vertical variations of wave-periods of magnetoacoustic two-fluid waves in the partially ionized lower solar atmosphere, consisting of ion (proton) + electron and neutral (atomic hydrogen) fluids, which are coupled by ion-neutral collisions. The study allows finding the wave period cutoffs and their variations in the solar atmosphere, as well as establishing the role of these cutoffs in determining the wave propagation conditions. The atmosphere is permitted by a uniform vertical magnetic field. We perform numerical simulations in the framework of a one-dimensional (1D), two-fluid model in which plane waves are exited by a harmonic driver in the vertical ion and neutral velocities, operating at the bottom of the solar photosphere. We observe excitation of waves with cutoff wave-periods in addition to waves set directly by the driver. We also see that some waves exited by that driver can reach the solar corona. Despite of its limitations such as the lack of non-adiabatic and non-ideal terms and a simple 1D structure, the developed two-fluid model of the solar atmosphere sheds a new light on the role of cutoffs in setting up the wave propagation conditions in the solar atmosphere and finding periods of waves that may carry their energy from the solar surface to the corona.


title: SpK: A fast atomic and microphysics code for the high-energy-density regime

abstract: SpK is part of the numerical codebase at Imperial College London used to model high energy density physics (HEDP) experiments. SpK is an efficient atomic and microphysics code used to perform detailed configuration accounting calculations of electronic and ionic stage populations, opacities and emissivities for use in post-processing and radiation hydrodynamics simulations. This is done using screened hydrogenic atomic data supplemented by the NIST energy level database. An extended Saha model solves for chemical equilibrium with extensions for non-ideal physics, such as ionisation potential depression, and non thermal equilibrium corrections. A tree-heap (treap) data structure is used to store spectral data, such as opacity, which is dynamic thus allowing easy insertion of points around spectral lines without a-priori knowledge of the ion stage populations. Results from SpK are compared to other codes and descriptions of radiation transport solutions which use SpK data are given. The treap data structure and SpK's computational efficiency allows inline post-processing of 3D hydrodynamics simulations with a dynamically evolving spectrum stored in a treap.


title: "I Want to Figure Things Out": Supporting Exploration in Navigation for People with Visual Impairments

abstract: Navigation assistance systems (NASs) aim to help visually impaired people (VIPs) navigate unfamiliar environments. Most of today's NASs support VIPs via turn-by-turn navigation, but a growing body of work highlights the importance of exploration as well. It is unclear, however, how NASs should be designed to help VIPs explore unfamiliar environments. In this paper, we perform a qualitative study to understand VIPs' information needs and challenges with respect to exploring unfamiliar environments, with the aim of informing the design of NASs that support exploration. Our findings reveal the types of spatial information that VIPs need as well as factors that affect VIPs' information preferences. We also discover specific challenges that VIPs face that future NASs can address such as orientation and mobility education and collaborating effectively with others. We present design implications for NASs that support exploration, and we identify specific research opportunities and discuss open socio-technical challenges for making such NASs possible. We conclude by reflecting on our study procedure to inform future approaches in research on ethical considerations that may be adopted while interacting with the broader VIP community.


title: Birds of a Feather Trust Together: Knowing When to Trust a Classifier via Adaptive Neighborhood Aggregation

abstract: How do we know when the predictions made by a classifier can be trusted? This is a fundamental problem that also has immense practical applicability, especially in safety-critical areas such as medicine and autonomous driving. The de facto approach of using the classifier's softmax outputs as a proxy for trustworthiness suffers from the over-confidence issue; while the most recent works incur problems such as additional retraining cost and accuracy versus trustworthiness trade-off. In this work, we argue that the trustworthiness of a classifier's prediction for a sample is highly associated with two factors: the sample's neighborhood information and the classifier's output. To combine the best of both worlds, we design a model-agnostic post-hoc approach NeighborAgg to leverage the two essential information via an adaptive neighborhood aggregation. Theoretically, we show that NeighborAgg is a generalized version of a one-hop graph convolutional network, inheriting the powerful modeling ability to capture the varying similarity between samples within each class. We also extend our approach to the closely related task of mislabel detection and provide a theoretical coverage guarantee to bound the false negative. Empirically, extensive experiments on image and tabular benchmarks verify our theory and suggest that NeighborAgg outperforms other methods, achieving state-of-the-art trustworthiness performance.


title: Linear Causal Disentanglement via Interventions

abstract: Causal disentanglement seeks a representation of data involving latent variables that relate to one another via a causal model. A representation is identifiable if both the latent model and the transformation from latent to observed variables are unique. In this paper, we study observed variables that are a linear transformation of a linear latent causal model. Data from interventions are necessary for identifiability: if one latent variable is missing an intervention, we show that there exist distinct models that cannot be distinguished. Conversely, we show that a single intervention on each latent variable is sufficient for identifiability. Our proof uses a generalization of the RQ decomposition of a matrix that replaces the usual orthogonal and upper triangular conditions with analogues depending on a partial order on the rows of the matrix, with partial order determined by a latent causal model. We corroborate our theoretical results with a method for causal disentanglement that accurately recovers a latent causal model.


title: Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs

abstract: Causal effect estimation from observational data is a fundamental task in empirical sciences. It becomes particularly challenging when unobserved confounders are involved in a system. This paper focuses on front-door adjustment -- a classic technique which, using observed mediators allows to identify causal effects even in the presence of unobserved confounding. While the statistical properties of the front-door estimation are quite well understood, its algorithmic aspects remained unexplored for a long time. In 2022, Jeong, Tian, and Bareinboim presented the first polynomial-time algorithm for finding sets satisfying the front-door criterion in a given directed acyclic graph (DAG), with an $O(n^3(n+m))$ run time, where $n$ denotes the number of variables and $m$ the number of edges of the causal graph. In our work, we give the first linear-time, i.e., $O(n+m)$, algorithm for this task, which thus reaches the asymptotically optimal time complexity. This result implies an $O(n(n+m))$ delay enumeration algorithm of all front-door adjustment sets, again improving previous work by a factor of $n^3$. Moreover, we provide the first linear-time algorithm for finding a minimal front-door adjustment set. We offer implementations of our algorithms in multiple programming languages to facilitate practical usage and empirically validate their feasibility, even for large graphs.


title: Communication Trade Offs in Intermediate Qudit Circuits

abstract: Quantum computing promises speedup of classical algorithms in the long term. Current hardware is unable to support this goal and programs must be efficiently compiled to use of the devices through reduction of qubits used, gate count and circuit duration. Many quantum systems have access to higher levels, expanding the computational space for a device. We develop higher level qudit communication circuits, compilation pipelines, and circuits that take advantage of this extra space by temporarily pushing qudits into these higher levels. We show how these methods are able to more efficiently use the device, and where they see diminishing returns.


title: Symmetric periodic Reeb orbits on the sphere

abstract: A long standing conjecture in Hamiltonian Dynamics states that every contact form on the standard contact sphere $S^{2n+1}$ has at least $n+1$ simple periodic Reeb orbits. In this work, we consider a refinement of this problem when the contact form has a suitable symmetry and we ask if there are at least $n+1$ simple symmetric periodic orbits. We show that there is at least one symmetric periodic orbit for any contact form and at least two symmetric closed orbits whenever the contact form is dynamically convex.


title: The Lasserre hierarchy for equiangular lines with a fixed angle

abstract: We compute the second and third levels of the Lasserre hierarchy for the spherical finite distance problem. A connection is used between invariants in representations of the orthogonal group and representations of the general linear group, which allows computations in high dimensions. We give new linear bounds on the maximum number of equiangular lines in dimension $n$ with common angle $\arccos \alpha$. These are obtained through asymptotic analysis in $n$ of the semidefinite programming bound given by the second level.


title: Device Independent Quantum Key Distribution with realistic single-photon source implementations

abstract: Device Independent Quantum Key Distribution (DIKQD) aims at generating secret keys between distant parties without the parties trusting their devices. We investigate a proposal for performing fully photonic DIQKD, based on single-photon sources and heralding measurements at a central station placed between the two parties. We derive conditions to attain non-zero secret-key rates in terms of the the photon efficiency, indistinguishability and the second order autocorrelation function of the single-photon sources. Exploiting new results on the security bound of such protocols allows us to reduce the requirements on the physical parameters of the setup. Our analysis shows that in the considered schemes, key rates of several hundreds of secret bits per second are within reach at distances of several tens of kilometers.


title: Semiparametric integrative interaction analysis for non-small-cell lung cancer

abstract: In the genomic analysis, it is significant while challenging to identify markers associated with cancer outcomes or phenotypes. Based on the biological mechanisms of cancers and the characteristics of datasets as well, this paper proposes a novel integrative interaction approach under the semiparametric model, in which the genetic factors and environmental factors are included as the parametric and nonparametric components, respectively. The goal of this approach is to identify the genetic factors and gene-gene interactions associated with cancer outcomes, and meanwhile, estimate the nonlinear effects of environmental factors. The proposed approach is based on the threshold gradient directed regularization (TGDR) technique. Simulation studies indicate that the proposed approach outperforms in the identification of main effects and interactions, and has favorable estimation and prediction accuracy compared with the alternative methods. The analysis of non-small-cell lung carcinomas (NSCLC) datasets from The Cancer Genome Atlas (TCGA) are conducted, showing that the proposed approach can identify markers with important implications and have favorable performance in prediction accuracy, identification stability, and computation cost.


title: Robust nonparametric integrative analysis to decipher heterogeneity and commonality across subgroups using sparse boosting

abstract: In many biomedical problems, data are often heterogeneous, with samples spanning multiple patient subgroups, where different subgroups may have different disease subtypes, stages, or other medical contexts. These subgroups may be related, but they are also expected to have differences with respect to the underlying biology. The heterogeneous data presents a precious opportunity to explore the heterogeneities and commonalities between related subgroups. Unfortunately, effective statistical analysis methods are still lacking. Recently, several novel methods based on integrative analysis have been proposed to tackle this challenging problem. Despite promising results, the existing studies are still limited by ignoring data contamination and making strict assumptions of linear effects of covariates on response. As such, we develop a robust nonparametric integrative analysis approach to identify heterogeneity and commonality, as well as select important covariates and estimate covariate effects. Possible data contamination is accommodated by adopting the Cauchy loss function, and a nonparametric model is built to accommodate nonlinear effects. The proposed approach is based on a sparse boosting technique. The advantages of the proposed approach are demonstrated in extensive simulations. The analysis of The Cancer Genome Atlas data on glioblastoma multiforme and lung adenocarcinoma shows that the proposed approach makes biologically meaningful findings with satisfactory prediction.


title: Robust structured heterogeneity analysis approach for high-dimensional data

abstract: Revealing relationships between genes and disease phenotypes is a critical problem in biomedical studies. This problem has been challenged by the heterogeneity of diseases. Patients of a perceived same disease may form multiple subgroups, and different subgroups have distinct sets of important genes. It is hence imperative to discover the latent subgroups and reveal the subgroup-specific important genes. Some heterogeneity analysis methods have been proposed in recent literature. Despite considerable successes, most of the existing studies are still limited as they cannot accommodate data contamination and ignore the interconnections among genes. Aiming at these shortages, we develop a robust structured heterogeneity analysis approach to identify subgroups, select important genes as well as estimate their effects on the phenotype of interest. Possible data contamination is accommodated by employing the Huber loss function. A sparse overlapping group lasso penalty is imposed to conduct regularization estimation and gene identification, while taking into account the possibly overlapping cluster structure of genes. This approach takes an iterative strategy in the similar spirit of K-means clustering. Simulations demonstrate that the proposed approach outperforms alternatives in revealing the heterogeneity and selecting important genes for each subgroup. The analysis of Cancer Cell Line Encyclopedia data leads to biologically meaningful findings with improved prediction and grouping stability.


title: Borel Measurable Hahn-Mazurkiewicz Theorem

abstract: It is well known due to Hahn and Mazurkiewicz that every Peano continuum is a continuous image of the unit interval. We prove that an assignment, which takes as an input a Peano continuum and produces as an output a continuous mapping whose range is the Peano continuum, can be realized in a Borel measurable way. Similarly, we find a Borel measurable assignment which takes any nonempty compact metric space and assigns a continuous mapping from the Cantor set onto that space. To this end we use the Burgess selection theorem. Finally, a Borel measurable way of assigning an arc joining two selected points in a Peano continuum is found.


title: Electronic nematicity without charge density waves in titanium-based kagome metal

abstract: Layered crystalline materials that consist of transition metal atoms on a kagome network have emerged as a versatile platform to study unusual electronic phenomena. For example, in the vanadium-based kagome superconductors AV3Sb5 (where A can stand for K, Cs, or Rb) there is a parent charge density wave phase that appears to simultaneously break both the translational and the rotational symmetry of the lattice. Here, we show a contrasting situation where electronic nematic order - the breaking of rotational symmetry without the breaking of translational symmetry - can occur without a corresponding charge density wave. We use spectroscopic-imaging scanning tunneling microscopy to study the kagome metal CsTi3Bi5 that is isostructural to AV3Sb5 but with a titanium atom kagome network. CsTi3Bi5 does not exhibit any detectable charge density wave state, but comparison to density functional theory calculations reveals substantial electronic correlation effects at low energies. Comparing the amplitudes of scattering wave vectors along different directions, we discover an electronic anisotropy that breaks the six-fold symmetry of the lattice, arising from both in-plane and out-of-plane titanium-derived d orbitals. Our work uncovers the role of electronic orbitals in CsTi3Bi5, suggestive of a hexagonal analogue of the nematic bond order in Fe-based superconductors.


title: Generation of micro-Joule level coherent quasi-continuum extreme ultraviolet radiation using multi-cycle intense laser-atom interactions

abstract: In the present work we report on the current progress of the recently constructed GW attosecond extreme ultraviolet (XUV) source developed at the Institute of Electronic Structure and Laser of the Foundation for Research and Technology-Hellas (I.E.S.L-FO.R.T.H.). By the implementation of a compact-collinear polarization gating arrangement, the generation of a broadband, coherent XUV quasi-continuum produced by the interaction of a many-cycle infrared field with a gas phase medium is achieved. The spectral width of the XUV emission generated in Xenon, is spanning in the range of 17-32 eV and can support isolated pulses of duration in the range from 0.4 fs to 1.3 fs and pulse energy in the 1 {\mu}J level.Theoretical calculations, taking into account the experimental conditions of this work, are supporting the observations, offering also an insight regarding the temporal profile of the emitted radiation. Finally, the high intensity of the produced XUV pulses has been confirmed by investigating the two-XUV-photon double ionization process of Argon atoms. The demonstrated results inaugurate the capability of the beamline to produce intense isolated attosecond pulses towards their exploitation in studies of non-linear XUV processes, attosecond pulse metrology and XUV pump XUV probe experiments.


title: Approaches to the Parallelization of Merge Sort in Python

abstract: The theory of divide-and-conquer parallelization has been well-studied in the past, providing a solid basis upon which to explore different approaches to the parallelization of merge sort in Python. Python's simplicity and extensive selection of libraries make it the most popular scientific programming language, so it is a fitting language in which to implement and analyze these algorithms. In this paper, we use Python packages multiprocessing and mpi4py to implement several different parallel merge sort algorithms. Experiments are conducted on an academic supercomputer, upon which benchmarks are performed using Cloudmesh. We find that hybrid multiprocessing merge sort outperforms several other algorithms, achieving a 1.5x speedup compared to the built-in Python sorted() and a 34x speedup compared to sequential merge sort. Our results provide insight into different approaches to implementing parallel merge sort in Python and contribute to the understanding of general divide-and-conquer parallelization in Python on both shared and distributed memory systems.


title: Retweets Amplify the Echo Chamber Effect

abstract: The growing prominence of social media in public discourse has led to a greater scrutiny of the quality of online information and the role it plays in amplifying political polarization. However, studies of polarization on social media platforms like Twitter have been hampered by the difficulty of collecting data about the social graph, specifically follow links that shape the echo chambers users join as well as what they see in their timelines. As a proxy of the follower graph, researchers use retweets, although it is not clear how this choice affects analysis. Using a sample of the Twitter follower graph and the tweets posted by users within it, we reconstruct the retweet graph and quantify its impact on the measures of echo chambers and exposure. While we find that echo chambers exist in both graphs, they are more pronounced in the retweet graph. We compare the information users see via their follower and retweet networks to show that retweeted accounts share systematically more polarized content. This bias cannot be explained by the activity or polarization within users' own follower graph neighborhoods but by the increased attention they pay to accounts that are ideologically aligned with their own views. Our results suggest that studies relying on the retweet graphs overestimate the echo chamber effects and exposure to polarized information.


title: NICMOS Kernel-Phase Interferometry II: Demographics of Nearby Brown Dwarfs

abstract: Star formation theories have struggled to reproduce binary brown dwarf population demographics (frequency, separation, mass-ratio). Kernel-phase interferometry is sensitive to companions at separations inaccessible to classical imaging, enabling tests of formation at new physical scales below the hydrogen burning limit. We analyze the detections and sensitivity limits from our previous kernel-phase analysis of archival HST/NICMOS surveys of field brown dwarfs. After estimating physical properties of the 105 late M to T dwarfs using Gaia distances and evolutionary models, we use a Bayesian framework to compare these results to a model companion population defined by log-normal separation and power-law mass-ratio distributions. When correcting for Malmquist bias, we find a companion fraction of $F=0.11^{+0.04}_{-0.03}$ and a separation distribution centered at $\rho=2.2^{+1.2}_{-1.0}$ au, smaller and tighter than seen in previous studies. We also find a mass-ratio power-law index which strongly favors equal-mass systems: $\gamma=4.0^{+1.7}_{-1.5}-11^{+4}_{-3}$ depending on the assumed age of the field population ($0.9-3.1$ Gyr). We attribute the change in values to our use of kernel-phase interferometry which enables us to resolve the peak of the semimajor axis distribution with significant sensitivity to low-mass companions. We confirm the previously-seen trends of decreasing binary fraction with decreasing mass and a strong preference for tight and equal-mass systems in the field-age sub-stellar regime; only $0.9^{+1.1}_{-0.6}$ % of systems are wider than 20 au and $<1.0^{+1.4}_{-0.6}$% of systems have a mass-ratio $q<0.6$. We attribute this to turbulent fragmentation setting the initial conditions followed by a brief period of dynamical evolution, removing the widest and lowest-mass companions, before the birth cluster dissolves.


title: Chaining Simultaneous Thoughts for Numerical Reasoning

abstract: Given that rich information is hidden behind ubiquitous numbers in text, numerical reasoning over text should be an essential skill of AI systems. To derive precise equations to solve numerical reasoning problems, previous work focused on modeling the structures of equations, and has proposed various structured decoders. Though structure modeling proves to be effective, these structured decoders construct a single equation in a pre-defined autoregressive order, potentially placing an unnecessary restriction on how a model should grasp the reasoning process. Intuitively, humans may have numerous pieces of thoughts popping up in no pre-defined order; thoughts are not limited to the problem at hand, and can even be concerned with other related problems. By comparing diverse thoughts and chaining relevant pieces, humans are less prone to errors. In this paper, we take this inspiration and propose CANTOR, a numerical reasoner that models reasoning steps using a directed acyclic graph where we produce diverse reasoning steps simultaneously without pre-defined decoding dependencies, and compare and chain relevant ones to reach a solution. Extensive experiments demonstrated the effectiveness of CANTOR under both fully-supervised and weakly-supervised settings.


title: Comment on "Topological Pumping in a Floquet-Bloch Band"

abstract: This manuscript is a comment about a published article in PRL 129, 053201 (2022) by J. Minguzzi et al.


title: A Finite Axiomatisation of Finite-State Automata Using String Diagrams

abstract: We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. In this setting, we are able to provide a complete equational theory for language equivalence, with two notable features. First, the proposed axiomatisation is finite. Second, the Kleene star is a derived concept, as it can be decomposed into more primitive algebraic blocks.


title: Four-loop large-n_f contributions to the non-singlet structure functions F_2 and F_L

abstract: We have calculated the n_f^2 and n_f^3 contributions to the flavour non-singlet structure functions F_2 and F_L in inclusive deep-inelastic scattering at the fourth order in the strong coupling alpha_s. The coefficient functions have been obtained by computing a very large number of Mellin-N moments using the method of differential equations, and then determining the analytic forms in N and Bjorken-x from these. Our new n_f^2 terms are numerically much larger than the n_f^3 leading large-nf parts which were already known; they agree with predictions of the threshold and high-energy resummations. Furthermore our calculation confirms the earlier determination of the four-loop n_f^2 part of the corresponding anomalous dimension. Via the no-pi^2 conjecture/theorem for Euclidean physical quantities, we predict the z4 n_f^3 part of the fifth-order anomalous dimension for the evolution of non-singlet quark distributions.


title: AdsorbML: A Leap in Efficiency for Adsorption Energy Calculations using Generalizable Machine Learning Potentials

abstract: Computational catalysis is playing an increasingly significant role in the design of catalysts across a wide range of applications. A common task for many computational methods is the need to accurately compute the adsorption energy for an adsorbate and a catalyst surface of interest. Traditionally, the identification of low energy adsorbate-surface configurations relies on heuristic methods and researcher intuition. As the desire to perform high-throughput screening increases, it becomes challenging to use heuristics and intuition alone. In this paper, we demonstrate machine learning potentials can be leveraged to identify low energy adsorbate-surface configurations more accurately and efficiently. Our algorithm provides a spectrum of trade-offs between accuracy and efficiency, with one balanced option finding the lowest energy configuration 87.36% of the time, while achieving a 2000x speedup in computation. To standardize benchmarking, we introduce the Open Catalyst Dense dataset containing nearly 1,000 diverse surfaces and 100,000 unique configurations.


title: DiffPose: Multi-hypothesis Human Pose Estimation using Diffusion models

abstract: Traditionally, monocular 3D human pose estimation employs a machine learning model to predict the most likely 3D pose for a given input image. However, a single image can be highly ambiguous and induces multiple plausible solutions for the 2D-3D lifting step which results in overly confident 3D pose predictors. To this end, we propose \emph{DiffPose}, a conditional diffusion model, that predicts multiple hypotheses for a given input image. In comparison to similar approaches, our diffusion model is straightforward and avoids intensive hyperparameter tuning, complex network structures, mode collapse, and unstable training. Moreover, we tackle a problem of the common two-step approach that first estimates a distribution of 2D joint locations via joint-wise heatmaps and consecutively approximates them based on first- or second-moment statistics. Since such a simplification of the heatmaps removes valid information about possibly correct, though labeled unlikely, joint locations, we propose to represent the heatmaps as a set of 2D joint candidate samples. To extract information about the original distribution from these samples we introduce our \emph{embedding transformer} that conditions the diffusion model. Experimentally, we show that DiffPose slightly improves upon the state of the art for multi-hypothesis pose estimation for simple poses and outperforms it by a large margin for highly ambiguous poses.


title: Taming Normalizing Flows

abstract: We propose an algorithm for taming Normalizing Flow models - changing the probability that the model will produce a specific image or image category. We focus on Normalizing Flows because they can calculate the exact generation probability likelihood for a given image. We demonstrate taming using models that generate human faces, a subdomain with many interesting privacy and bias considerations. Our method can be used in the context of privacy, e.g., removing a specific person from the output of a model, and also in the context of debiasing by forcing a model to output specific image categories according to a given target distribution. Taming is achieved with a fast fine-tuning process without retraining the model from scratch, achieving the goal in a matter of minutes. We evaluate our method qualitatively and quantitatively, showing that the generation quality remains intact, while the desired changes are applied.


title: Parton distribution of intrinsic charm in two dimensional QCD

abstract: We present a detailed investigation on the intrinsic charm content in a light meson within the 't Hooft model, namely, the two-dimensional QCD in large $N_c$ limit. The intrinsic charm parton distribution function (PDF) of a light meson, which first arises at order $N_c^{-1}$, is explicitly expressed in terms of the 't Hooft wave functions of the light meson and an infinite towers of excited charmed mesons. We also derive the functional forms from the two-dimensional counterparts of the meson cloud model (MCM) and Brodsky-Hoyer-Peterson-Sakai (BHPS) model. We then make a quantitative comparison between our rigorous results and model predictions. We also study how the profile of the intrinsic charm PDF varies with charm quark mass. The average momentum fraction carried by the charm quark inside a light meson is found to decrease faster than $m_c^{-4}$ with increasing charm quark mass.


title: Coder Reviewer Reranking for Code Generation

abstract: Sampling diverse programs from a code language model and reranking with model likelihood is a popular method for code generation but it is prone to preferring degenerate solutions. Inspired by collaborative programming, we propose Coder-Reviewer reranking. We augment Coder language models from past work, which generate programs given language instructions, with Reviewer models, which evaluate the likelihood of the instruction given the generated programs. We perform an extensive study across six datasets with eight models from three model families. Experimental results show that Coder-Reviewer reranking leads to consistent and significant improvement (up to 17% absolute accuracy gain) over reranking with the Coder model only. When combined with executability filtering, Coder-Reviewer reranking can often outperform the minimum Bayes risk method. Coder-Reviewer reranking is easy to implement by prompting, can generalize to different programming languages, and works well with off-the-shelf hyperparameters.


abstract: In the present work, we study Yetter-Drinfeld algebras over a pairing of multiplier Hopf algebras. Our main motivation is the construction of a self-dual theory of (C*-)algebraic quantum transformation groupoids. Instead of the standard characterization of Yetter-Drinfeld algebras given in the case of Hopf algebras, we develop an equivalent "only coaction" characterization in the framework of multiplier Hopf algebras. Finally, as a special case, we focus on Yetter-Drinfeld structures over Van Daele's algebraic quantum groups.


title: Abstract Visual Reasoning with Tangram Shapes

abstract: We introduce KiloGram, a resource for studying abstract visual reasoning in humans and machines. Drawing on the history of tangram puzzles as stimuli in cognitive science, we build a richly annotated dataset that, with >1k distinct stimuli, is orders of magnitude larger and more diverse than prior resources. It is both visually and linguistically richer, moving beyond whole shape descriptions to include segmentation maps and part labels. We use this resource to evaluate the abstract visual reasoning capacities of recent multi-modal models. We observe that pre-trained weights demonstrate limited abstract reasoning, which dramatically improves with fine-tuning. We also observe that explicitly describing parts aids abstract reasoning for both humans and models, especially when jointly encoding the linguistic and visual inputs. KiloGram is available at https://lil.nlp.cornell.edu/kilogram .


title: The backward problem for time fractional evolution equations

abstract: In this paper, we consider the backward problem for fractional in time evolution equations $\partial_t^\alpha u(t)= A u(t)$ with the Caputo derivative of order $0<\alpha \le 1$, where $A$ is a self-adjoint and bounded above operator on a Hilbert space $H$. First, we extend the logarithmic convexity technique to the fractional framework by analyzing the properties of the Mittag-Leffler functions. Then we prove conditional stability estimates of H\"older type for initial conditions under a weaker norm of the final data. Finally, we give several applications to show the applicability of our abstract results.


title: On the Ability of Graph Neural Networks to Model Interactions Between Vertices

abstract: Graph neural networks (GNNs) are widely used for modeling complex interactions between entities represented as vertices of a graph. Despite recent efforts to theoretically analyze the expressive power of GNNs, a formal characterization of their ability to model interactions is lacking. The current paper aims to address this gap. Formalizing strength of interactions through an established measure known as separation rank, we quantify the ability of certain GNNs to model interaction between a given subset of vertices and its complement, i.e. between the sides of a given partition of input vertices. Our results reveal that the ability to model interaction is primarily determined by the partition's walk index -- a graph-theoretical characteristic defined by the number of walks originating from the boundary of the partition. Experiments with common GNN architectures corroborate this finding. As a practical application of our theory, we design an edge sparsification algorithm named Walk Index Sparsification (WIS), which preserves the ability of a GNN to model interactions when input edges are removed. WIS is simple, computationally efficient, and in our experiments has markedly outperformed alternative methods in terms of induced prediction accuracy. More broadly, it showcases the potential of improving GNNs by theoretically analyzing the interactions they can model.


title: Graph Neural Networks: A Powerful and Versatile Tool for Advancing Design, Reliability, and Security of ICs

abstract: Graph neural networks (GNNs) have pushed the state-of-the-art (SOTA) for performance in learning and predicting on large-scale data present in social networks, biology, etc. Since integrated circuits (ICs) can naturally be represented as graphs, there has been a tremendous surge in employing GNNs for machine learning (ML)-based methods for various aspects of IC design. Given this trajectory, there is a timely need to review and discuss some powerful and versatile GNN approaches for advancing IC design. In this paper, we propose a generic pipeline for tailoring GNN models toward solving challenging problems for IC design. We outline promising options for each pipeline element, and we discuss selected and promising works, like leveraging GNNs to break SOTA logic obfuscation. Our comprehensive overview of GNNs frameworks covers (i) electronic design automation (EDA) and IC design in general, (ii) design of reliable ICs, and (iii) design as well as analysis of secure ICs. We provide our overview and related resources also in the GNN4IC hub at https://github.com/DfX-NYUAD/GNN4IC. Finally, we discuss interesting open problems for future research.


title: TyDiP: A Dataset for Politeness Classification in Nine Typologically Diverse Languages

abstract: We study politeness phenomena in nine typologically diverse languages. Politeness is an important facet of communication and is sometimes argued to be cultural-specific, yet existing computational linguistic study is limited to English. We create TyDiP, a dataset containing three-way politeness annotations for 500 examples in each language, totaling 4.5K examples. We evaluate how well multilingual models can identify politeness levels -- they show a fairly robust zero-shot transfer ability, yet fall short of estimated human accuracy significantly. We further study mapping the English politeness strategy lexicon into nine languages via automatic translation and lexicon induction, analyzing whether each strategy's impact stays consistent across languages. Lastly, we empirically study the complicated relationship between formality and politeness through transfer experiments. We hope our dataset will support various research questions and applications, from evaluating multilingual models to constructing polite multilingual agents.


title: Development of End-to-End Low-Cost IoT System for Densely Deployed PM Monitoring Network: An Indian Case Study

abstract: Particulate matter (PM) is considered the primary contributor to air pollution and has severe implications for general health. PM concentration has high spatial variability and thus needs to be monitored locally. Traditional PM monitoring setups are bulky, expensive and cannot be scaled for dense deployments. This paper argues for a densely deployed network of IoT-enabled PM monitoring devices using low-cost sensors. In this work, 49 devices were deployed in a region of the Indian metropolitan city of Hyderabad out-of this, 43 devices were developed as part of this work and 6 devices were taken off the shelf. The low-cost sensors were calibrated for seasonal variations using a precise reference sensor. A thorough analysis of data collected for seven months has been presented to establish the need for dense deployment of PM monitoring devices. Different analyses such as mean, variance, spatial interpolation and correlation have been employed to generate interesting insights about temporal and seasonal variations of PM. In addition, event-driven spatio-temporal analysis is done for PM values to understand the impact of the bursting of firecrackers on the evening of the Diwali festival. A web-based dashboard is designed for real-time data visualization.


title: Carrollian conformal scalar as flat-space singleton

abstract: We show that, in any space-time dimension, the on-shell (electric) conformal Carrollian scalar can be interpreted as the flat-space limit of the singleton representation of the conformal algebra. In fact, a recently proposed higher-spin algebra for Minkowski spacetime amounts to the Poincar\'e enveloping algebra on the corresponding module. This higher-spin algebra is a contraction of that entering Vasiliev's equations, which can be constructed analogously from the singleton representation of the conformal algebra. We also show that the higher-spin extension of the Poincar\'e algebra we consider is a subalgebra of all symmetries of the conformal Carrollian scalar, given by a higher-spin version of the (extended) BMS algebra.


title: Finding Differences Between Transformers and ConvNets Using Counterfactual Simulation Testing

abstract: Modern deep neural networks tend to be evaluated on static test sets. One shortcoming of this is the fact that these deep neural networks cannot be easily evaluated for robustness issues with respect to specific scene variations. For example, it is hard to study the robustness of these networks to variations of object scale, object pose, scene lighting and 3D occlusions. The main reason is that collecting real datasets with fine-grained naturalistic variations of sufficient scale can be extremely time-consuming and expensive. In this work, we present Counterfactual Simulation Testing, a counterfactual framework that allows us to study the robustness of neural networks with respect to some of these naturalistic variations by building realistic synthetic scenes that allow us to ask counterfactual questions to the models, ultimately providing answers to questions such as "Would your classification still be correct if the object were viewed from the top?" or "Would your classification still be correct if the object were partially occluded by another object?". Our method allows for a fair comparison of the robustness of recently released, state-of-the-art Convolutional Neural Networks and Vision Transformers, with respect to these naturalistic variations. We find evidence that ConvNext is more robust to pose and scale variations than Swin, that ConvNext generalizes better to our simulated domain and that Swin handles partial occlusion better than ConvNext. We also find that robustness for all networks improves with network scale and with data scale and variety. We release the Naturalistic Variation Object Dataset (NVD), a large simulated dataset of 272k images of everyday objects with naturalistic variations such as object pose, scale, viewpoint, lighting and occlusions. Project page: https://counterfactualsimulation.github.io


title: A sharp leading order asymptotic of the diameter of a long range percolation graph

abstract: Many real-world networks exhibit the so-called small-world phenomenon: their typical distances are much smaller than their sizes. One mathematical model for this phenomenon is a long-range percolation graph on a $d$-dimensional box $\{0, 1, \cdots, N\}^d$, in which edges are independently added between far-away sites with probability falling off as a power of the Euclidean distance. A natural question is how the resulting diameter of the box of size $N$, measured in graph-theoretical distance, scales with $N$. This question has been intensely studied in the past and the answer depends on the exponent $s$ in the connection probabilities. In this work we focus on the critical regime $s = d$ studied earlier in a work by Coppersmith, Gamarnik, and Sviridenko and improve the bounds obtained there to a sharp leading-order asymptotic, by exploiting the high degree of concentration due to the large amount of independence in the model.


title: Interpolating Wilson loops and enriched RG flows

abstract: We study new $1/24$ BPS circular Wilson loops in ABJ(M) theory, which are defined in terms of several parameters that continuously interpolate between previously known $1/6$ BPS loops (both bosonic and fermionic) and $1/2$ BPS fermionic loops. We compute the expectation value of these operators up to second order in perturbation theory using a one-dimensional effective field theory approach. Within dimensional regularization, we find non-trivial $\beta$-functions for the parameters, which are marginally relevant deformations triggering RG flows from a UV fixed point represented by the $1/6$ BPS bosonic loop to an IR fixed point represented by a $1/2$ BPS fermionic loop. Generically, along all flows at least one supercharge of the theory is preserved, so that we refer to them as enriched RG flows. In particular, fixed points are connected through $1/6$ BPS fermionic operators. This holds at framing zero, which is a consequence of the regularization scheme employed. We also establish a g-theorem, relating the expectation values of the Wilson loops corresponding to the UV and IR fixed points of the flow, and discuss the one-dimensional defect SCFT living on the Wilson loop contour.


title: Identified vaccine efficacy for binary post-infection outcomes under misclassification without monotonicity

abstract: In order to meet regulatory approval, pharmaceutical companies often must demonstrate that new vaccines reduce the total risk of a post-infection outcome like transmission, symptomatic disease, severe illness, or death in randomized, placebo-controlled trials. Given that infection is a necessary precondition for a post-infection outcome, one can use principal stratification to partition the total causal effect of vaccination into two causal effects: vaccine efficacy against infection, and the principal effect of vaccine efficacy against a post-infection outcome in the patients that would be infected under both placebo and vaccination. Despite the importance of such principal effects to policymakers, these estimands are generally unidentifiable, even under strong assumptions that are rarely satisfied in real-world trials. We develop a novel method to nonparametrically point identify these principal effects while eliminating the monotonicity assumption and allowing for measurement error. Furthermore, our results allow for multiple treatments, and are general enough to be applicable outside of vaccine efficacy. Our method relies on the fact that many vaccine trials are run at geographically disparate health centers, and measure biologically-relevant categorical pretreatment covariates. We show that our method can be applied to a variety of clinical trial settings where vaccine efficacy against infection and a post-infection outcome can be jointly inferred. This can yield new insights from existing vaccine efficacy trial data and will aid researchers in designing new multi-arm clinical trials.


title: Coupled minimal models revisited

abstract: We study coupled unitary Virasoro minimal models in the large rank ($m \rightarrow \infty$) limit. In large $m$ perturbation theory, we find two non-trivial IR fixed points which exhibit irrational coefficients in several anomalous dimensions and the central charge. For $N>4$ copies, we show that the IR theory breaks all possible currents that would otherwise enhance the Virasoro algebra, up to spin 10. This provides strong evidence that the IR fixed points are examples of compact, unitary, irrational CFTs with the minimal amount of chiral symmetry. We also analyze anomalous dimension matrices for a family of degenerate operators with increasing spin. These display further evidence of irrationality and begin to reveal the form of the leading quantum Regge trajectory.


title: Improving Commonsense in Vision-Language Models via Knowledge Graph Riddles

abstract: This paper focuses on analyzing and improving the commonsense ability of recent popular vision-language (VL) models. Despite the great success, we observe that existing VL-models still lack commonsense knowledge/reasoning ability (e.g., "Lemons are sour"), which is a vital component towards artificial general intelligence. Through our analysis, we find one important reason is that existing large-scale VL datasets do not contain much commonsense knowledge, which motivates us to improve the commonsense of VL-models from the data perspective. Rather than collecting a new VL training dataset, we propose a more scalable strategy, i.e., "Data Augmentation with kNowledge graph linearization for CommonsensE capability" (DANCE). It can be viewed as one type of data augmentation technique, which can inject commonsense knowledge into existing VL datasets on the fly during training. More specifically, we leverage the commonsense knowledge graph (e.g., ConceptNet) and create variants of text description in VL datasets via bidirectional sub-graph sequentialization. For better commonsense evaluation, we further propose the first retrieval-based commonsense diagnostic benchmark. By conducting extensive experiments on some representative VL-models, we demonstrate that our DANCE technique is able to significantly improve the commonsense ability while maintaining the performance on vanilla retrieval tasks. The code and data are available at https://github.com/pleaseconnectwifi/DANCE


title: The Fermi Paradox revisited: Technosignatures and the Contact Era

abstract: A new solution to the Fermi Paradox is presented: probes or visits from putative alien civilizations have a very low probability until a civilization reaches a certain age (called the Contact Era) after the onset of radio communications. If biotic planets are common, putative advanced civilizations may preferentially send probes to planets with technosignatures, such as radio broadcastings. The contact probability is defined as the chance to find a nearby civilization located close enough so that it could have detected the earliest radio emissions (the radiosphere) and sent a probe that would reach the Solar System at present. It is found that the current contact probability for Earth is very low unless civilizations are extremely abundant. Since the radiosphere expands with time, so does the contact probability. The Contact Era is defined as the time (since the onset of radio transmissions) at which the contact probability becomes of order unity. At that time alien probes (or messages) become more likely. Unless civilizations are highly abundant, the Contact Era is shown to be of the order of a few hundred to a few thousand years and may be applied not only to physical probes but also to transmissions (i.e. SETI). Consequently, it is shown that civilizations are unlikely to be able to inter-communicate unless their communicative lifetime is at least a few thousand years.


title: Where did you tweet from? Inferring the origin locations of tweets based on contextual information

abstract: Public conversations on Twitter comprise many pertinent topics including disasters, protests, politics, propaganda, sports, climate change, epidemics/pandemic outbreaks, etc., that can have both regional and global aspects. Spatial discourse analysis rely on geographical data. However, today less than 1% of tweets are geotagged; in both cases--point location or bounding place information. A major issue with tweets is that Twitter users can be at location A and exchange conversations specific to location B, which we call the Location A/B problem. The problem is considered solved if location entities can be classified as either origin locations (Location As) or non-origin locations (Location Bs). In this work, we propose a simple yet effective framework--the True Origin Model--to address the problem that uses machine-level natural language understanding to identify tweets that conceivably contain their origin location information. The model achieves promising accuracy at country (80%), state (67%), city (58%), county (56%) and district (64%) levels with support from a Location Extraction Model as basic as the CoNLL-2003-based RoBERTa. We employ a tweet contexualizer (locBERT) which is one of the core components of the proposed model, to investigate multiple tweets' distributions for understanding Twitter users' tweeting behavior in terms of mentioning origin and non-origin locations. We also highlight a major concern with the currently regarded gold standard test set (ground truth) methodology, introduce a new data set, and identify further research avenues for advancing the area.


title: Structure-Preserving Invariant Interpolation Schemes for Invertible Second-Order Tensors

abstract: Tensor interpolation is an essential step for tensor data analysis in various fields of application and scientific disciplines. In the present work, novel interpolation schemes for general, i.e., symmetric or non-symmetric, invertible square tensors are proposed. Critically, the proposed schemes rely on a combined polar and spectral decomposition of the tensor data $\boldsymbol{T}\!\!=\!\!\boldsymbol{R}\boldsymbol{Q}^T \!\! \boldsymbol{\Lambda} \boldsymbol{Q}$, followed by an individual interpolation of the two rotation tensors $\boldsymbol{R}$ and $\boldsymbol{Q}$ and the positive definite diagonal eigenvalue tensor $\boldsymbol{\Lambda}$ resulting from this decomposition. Two different schemes are considered for a consistent rotation interpolation within the special orthogonal group $\mathbb{SO}(3)$, either based on relative rotation vectors or quaternions. For eigenvalue interpolation, three different schemes, either based on the logarithmic weighted average, moving least squares or logarithmic moving least squares, are considered. It is demonstrated that the proposed interpolation procedure preserves the structure of a tensor, i.e., $\boldsymbol{R}$ and $\boldsymbol{Q}$ remain orthogonal tensors and $\boldsymbol{\Lambda}$ remains a positive definite diagonal tensor during interpolation, as well as scaling and rotational invariance (objectivity). Based on selected numerical examples considering the interpolation of either symmetric or non-symmetric tensors, the proposed schemes are compared to existing approaches such as Euclidean, Log-Euclidean, Cholesky and Log-Cholesky interpolation. In contrast to these existing methods, the proposed interpolation schemes result in smooth and monotonic evolutions of tensor invariants such as determinant, trace, fractional anisotropy (FA), and Hilbert's anisotropy (HA)...{continued see pdf}


title: Reinforced Genetic Algorithm for Structure-based Drug Design

abstract: Structure-based drug design (SBDD) aims to discover drug candidates by finding molecules (ligands) that bind tightly to a disease-related protein (targets), which is the primary approach to computer-aided drug discovery. Recently, applying deep generative models for three-dimensional (3D) molecular design conditioned on protein pockets to solve SBDD has attracted much attention, but their formulation as probabilistic modeling often leads to unsatisfactory optimization performance. On the other hand, traditional combinatorial optimization methods such as genetic algorithms (GA) have demonstrated state-of-the-art performance in various molecular optimization tasks. However, they do not utilize protein target structure to inform design steps but rely on a random-walk-like exploration, which leads to unstable performance and no knowledge transfer between different tasks despite the similar binding physics. To achieve a more stable and efficient SBDD, we propose Reinforced Genetic Algorithm (RGA) that uses neural models to prioritize the profitable design steps and suppress random-walk behavior. The neural models take the 3D structure of the targets and ligands as inputs and are pre-trained using native complex structures to utilize the knowledge of the shared binding physics from different targets and then fine-tuned during optimization. We conduct thorough empirical studies on optimizing binding affinity to various disease targets and show that RGA outperforms the baselines in terms of docking scores and is more robust to random initializations. The ablation study also indicates that the training on different targets helps improve performance by leveraging the shared underlying physics of the binding processes. The code is available at https://github.com/futianfan/reinforced-genetic-algorithm.


title: Multimodal Learning for Multi-Omics: A Survey

abstract: With advanced imaging, sequencing, and profiling technologies, multiple omics data become increasingly available and hold promises for many healthcare applications such as cancer diagnosis and treatment. Multimodal learning for integrative multi-omics analysis can help researchers and practitioners gain deep insights into human diseases and improve clinical decisions. However, several challenges are hindering the development in this area, including the availability of easily accessible open-source tools. This survey aims to provide an up-to-date overview of the data challenges, fusion approaches, datasets, and software tools from several new perspectives. We identify and investigate various omics data challenges that can help us understand the field better. We categorize fusion approaches comprehensively to cover existing methods in this area. We collect existing open-source tools to facilitate their broader utilization and development. We explore a broad range of omics data modalities and a list of accessible datasets. Finally, we summarize future directions that can potentially address existing gaps and answer the pressing need to advance multimodal learning for multi-omics data analysis.


title: First release of PLATO consortium stellar limb-darkening coefficients

abstract: We release the first grid of stellar limb-darkening coefficients (LDCs) and intensity profiles (IPs) computed by the consortium of the PLAnetary Transits and Oscillations of stars (PLATO), the next medium-class (M3) mission under development by the European Space Agency (ESA) to be launched in 2026. We have performed spectral synthesis with \texttt{TurboSpectrum} on a grid of \texttt{MARCS} model atmospheres. Finally, we adopted \texttt{ExoTETHyS} to convolve the high-resolution spectra ($R=2\times10^5$) with the state-of-the-art response functions for all the PLATO cameras, and computed the LDCs that best approximate the convolved IPs. In addition to the PLATO products, we provide new LDCs and IPs for the Kepler mission, based on the same grid of stellar atmospheric models and calculation procedures. The data can be downloaded from the following link: \url{https://doi.org/10.5281/zenodo.7339706}.


title: Meridional Propagation of Zonal Jets in Ocean Gyres

abstract: Analyses of both altimetric data and in-situ measurements reveal patterns of meridionally-alternating, nearly zonal, coherent jet-like structures in many of the world ocean basins. In this context, recent Ocean General Circulation Model (OGCM) simulations that resolve such zonal jet-like features show that they also propagate, largely in the meridional direction. To investigate such propagation, a feature that has received scant attention, we consider the behavior of such jets in a two-layer quasi-geostrophic model on a closed mid-latitude basin and forced by a double-gyre wind forcing. In this setup, we find that jets are evident in the baroclinic mode of instantaneous fields, that they propagate largely in the meridional direction, and that the propagation is related to an advective mechanism.


title: On black hole interior reconstruction, singularities and the emergence of time

abstract: We propose a CFT definition of local observables in both the exterior and interior of bulk black holes, whenever such an interior exists. We achieve this by introducing a small microcanonical black hole as a "probe" and using its modular flow to propagate operators from the asymptotic boundary to the interior of other black holes along its worldline, elaborating on the ideas of [2009.04476]. The key conceptual advance is a CFT criterion for selecting states whose modular flow acts as geometric proper time translation in the bulk, which we dub "local equilibrium" states. Our interior reconstruction depends on the choice of code subspace but not on the specific black hole microstate and does not suffer from the "frozen vacuum" problem of other approaches. By virtue of our construction, the question of firewall typicality reduces to a technical problem we articulate and we identify a CFT correlator that is expected to signal the approach to the black hole singularity via a universal divergence. We end with comments on the utility of our framework to the quest for a quantum description of de Sitter cosmologies.


title: Freezing-In Gravitational Waves

abstract: The thermal plasma in the early universe produced a stochastic gravitational wave (GW) background, which peaks today in the microwave regime and was dubbed the cosmic gravitational microwave background (CGMB). In previous works only single graviton production processes that contribute to the CGMB have been considered. Here we also investigate graviton pair production processes and show that these can lead to a significant contribution if the ratio between the maximum temperature and the Planck mass, $T_{\rm max}/m_{\rm p}$, divided by the internal coupling in the heat bath is large enough. As the dark matter freeze-in production mechanism is conceptually very similar to the GW production mechanism from the primordial thermal plasma, we refer to the latter as ``GW freeze-in production''. We show that quantum gravity effects appear in single graviton production and are smaller by a factor $(T_{\rm max}/m_{\rm p})^2$ than the leading order contribution. In our work we explicitly compute the CGMB spectrum within a scalar model with quartic interaction.


title: Strings from interacting quantum fields

abstract: We generalize Gopakumar's microscopic derivation of Witten diagrams in large N free quantum field theory [1] to interacting theories in perturbative expansion. For simplicity we consider a matrix scalar field with $\Phi^h$ interaction in d dimensions. Using Schwinger's proper time formulation and organizing the sum over Feynman diagrams by the number of loops $\ell$, we show that the two-point function in the massless case can be expressed as a sum over boundary-to-boundary propagators of massive bulk scalars in $AdS_{d+1}$ with masses determined by $\ell$. The two-point function of the massive theory has the same structure given by a sum over boundary-to-boundary propagators but on a geometry different than AdS. The coefficients in the sum contain information on the putative string geometry dual to the interacting QFT. We also consider the three-point function in the field theory and show that it can again be given as an infinite sum, this time over the products of three bulk-to-boundary propagators. The issue of divergences and renormalization is discussed in detail. We also notice an intriguing similarity between field theory and string amplitudes. In particular we observe that, in the large-N limit, embedding function of string in the holographic direction corresponds to a continuum limit of Schwinger parameters of Feynman diagrams in the limit where $\ell$ diverges. This provides an interpretation of the holographic dimension emerging directly from field theory amplitudes.


title: The New Formulation of Higgs Effective Field Theory

abstract: We present the explicit construction of the effective field theory (EFT) of standard model mass eigenstates. The EFT, which is invariant under $U(1)_{\text{e.m.}}\times SU(3)_c$, is constructed based on the on-shell method and Young Tableau technique. This EFT serves as a new formulation of the Higgs EFT (HEFT), which can describe the infrared effects of new physics at the electroweak symmetry-breaking phase with greater conciseness. The current HEFT operator basis has a clear physical interpretation, making it more accessible for research in phenomenology. A complete list of HEFT operator bases for any-point vertices up to any dimension could be provided, and three- and four-point bases are provided as examples. Additionally, this framework realized as a Mathematica program can be used to construct the EFT of any type of dark matter or particles with any spin.


title: Weak Lensing Tomographic Redshift Distribution Inference for the Hyper Suprime-Cam Subaru Strategic Program three-year shape catalogue

abstract: We present posterior sample redshift distributions for the Hyper Suprime-Cam Subaru Strategic Program Weak Lensing three-year (HSC Y3) analysis. Using the galaxies' photometry and spatial cross-correlations, we conduct a combined Bayesian Hierarchical Inference of the sample redshift distributions. The spatial cross-correlations are derived using a subsample of Luminous Red Galaxies (LRGs) with accurate redshift information available up to a photometric redshift of $z < 1.2$. We derive the photometry-based constraints using a combination of two empirical techniques calibrated on spectroscopic- and multiband photometric data that covers a spatial subset of the shear catalog. The limited spatial coverage induces a cosmic variance error budget that we include in the inference. Our cross-correlation analysis models the photometric redshift error of the LRGs to correct for systematic biases and statistical uncertainties. We demonstrate consistency between the sample redshift distributions derived using the spatial cross-correlations, the photometry, and the posterior of the combined analysis. Based on this assessment, we recommend conservative priors for sample redshift distributions of tomographic bins used in the three-year cosmological Weak Lensing analyses.


title: MUSE-ALMA Haloes VII: Survey Science Goals & Design, Data Processing and Final Catalogues

abstract: The gas cycling in the circumgalactic regions of galaxies is known to be multi-phase. The MUSE-ALMA Haloes survey gathers a large multi-wavelength observational sample of absorption and emission data with the goal to significantly advance our understanding of the physical properties of such CGM gas. A key component of the MUSE-ALMA Haloes survey is the multi-facility observational campaign conducted with VLT/MUSE, ALMA and HST. MUSE-ALMA Haloes targets comprise 19 VLT/MUSE IFS quasar fields, including 32 $z_{\rm abs}<$0.85 strong absorbers with measured N$_{HI}$ $\geq 10^{18}$ cm$^{\rm -2}$ from UV-spectroscopy. We additionally use a new complementary HST medium program to characterise the stellar content of the galaxies through a 40-orbit three-band UVIS and IR WFC3 imaging. Beyond the absorber-selected targets, we detect 3658 sources all fields combined, including 703 objects with spectroscopic redshifts. This galaxy-selected sample constitutes the main focus of the current paper. We have secured millimeter ALMA observations of some of the fields to probe the molecular gas properties of these objects. Here, we present the overall survey science goals, target selection, observational strategy, data processing and source identification of the full sample. Furthermore, we provide catalogues of magnitude measurements for all objects detected in VLT/MUSE, ALMA and HST broad-band images and associated spectroscopic redshifts derived from VLT/MUSE observations. Together, this data set provides robust characterisation of the neutral atomic gas, molecular gas and stars in the same objects resulting in the baryon census of condensed matter in complex galaxy structures.


title: Optimizing sparse fermionic Hamiltonians

abstract: We consider the problem of approximating the ground state energy of a fermionic Hamiltonian using a Gaussian state. In sharp contrast to the dense case, we prove that strictly $q$-local $\rm {\textit {sparse}}$ fermionic Hamiltonians have a constant Gaussian approximation ratio; the result holds for any connectivity and interaction strengths. Sparsity means that each fermion participates in a bounded number of interactions, and strictly $q$-local means that each term involves exactly $q$ fermionic (Majorana) operators. We extend our proof to give a constant Gaussian approximation ratio for sparse fermionic Hamiltonians with both quartic and quadratic terms. With additional work, we also prove a constant Gaussian approximation ratio for the so-called sparse SYK model with strictly $4$-local interactions (sparse SYK-$4$ model). In each setting we show that the Gaussian state can be efficiently determined. Finally, we prove that the $O(n^{-1/2})$ Gaussian approximation ratio for the normal (dense) SYK-$4$ model extends to SYK-$q$ for even $q>4$, with an approximation ratio of $O(n^{1/2 - q/4})$. Our results identify non-sparseness as the prime reason that the SYK-$4$ model can fail to have a constant approximation ratio.


title: The Panorama of Spin Matrix Theory

abstract: Spin Matrix theory describes near-BPS limits of $\mathcal{N}=4$ SYM theory, which enables us to probe finite $N$ effects like D-branes and black hole physics. In previous works, we have developed the spherical reduction and spin chain methods to construct Spin Matrix theory for various limits. In this paper, by considering a supercharge $\mathcal{Q}$ which is cubic in terms of the letters, we construct the Hamiltonian of the largest Spin Matrix theory of $\mathcal{N}=4$ SYM, called the PSU$(1,2|3)$ Spin Matrix theory, as $H = \{\mathcal{Q}, \mathcal{Q}^\dagger \}$. We show the resulting Hamiltonian is automatically positive definite and manifestly invariant under supersymmetry. The Hamiltonian is made of basic blocks which transform as supermultiplets. A novel feature of this Hamiltonian is its division into D-terms and F-terms that are separately invariant under PSU$(1,2|3)$ symmetry and positive definite. As all the other Spin Matrix theories arising from $\mathcal{N}=4$ SYM can be acquired by turning off certain letters in the theory, we consider our work as revealing the "Panorama" of Spin Matrix theory.


title: Constraints on pseudo-Dirac neutrinos using high-energy neutrinos from NGC 1068

abstract: Neutrinos can be pseudo-Dirac in Nature - they can be Majorana fermions while behaving effectively as Dirac fermions. Such scenarios predict active-sterile neutrino oscillations driven by a tiny mass-squared difference $(\delta m^2)$, which is an outcome of soft lepton number violation. Oscillations due to tiny $\delta m^2$ can only take place over astrophysical baselines and hence are not accessible in terrestrial neutrino oscillation experiments. This implies that high-energy neutrinos coming from large distances can be naturally used to test this scenario. We use the recent observation of high-energy neutrinos from the active galactic nuclei NGC 1068 by the IceCube collaboration to rule out $\delta m^2$ in the region $[1.4 \times 10^{-18}, 10^{-17}]\, {\rm eV}^2$ at more than $90\%$ confidence level - one of the strongest limits to date on the values of $\delta m^2$. We also discuss possible uncertainties which can reduce the sensitivity of these results.


title: VERTICO III: The Kennicutt-Schmidt relation in Virgo cluster galaxies

abstract: In this VERTICO science paper we aim to study how the star formation process depends on galactic environment and gravitational interactions in the context of galaxy evolution. We explore the scaling relation between the star formation rate (SFR) surface density and the molecular gas surface density, also known as the Kennicutt-Schmidt (KS) relation, in a subsample of Virgo cluster spiral galaxies. We use new ACA and TP observations from the VERTICO-ALMA Large Program at 720pc resolution to resolve the molecular gas content, as traced by the 12CO(2-1) transition, across the disks of 37 spiral galaxies in the Virgo cluster. In combination with archival observations, we estimate the parameters of the KS relation for the entire ensemble of galaxies, and within individual galaxies. We find the KS slope for the entire population to be N=0.97+/-0.07, with a characteristic molecular gas depletion time of 1.86Gyr for our full sample, in agreement with previous work in isolated star-forming galaxies. In individual galaxies, we find KS slopes ranging between 0.69 and 1.40, and typical star formation efficiencies (SFE) that can vary from galaxy to galaxy by a factor of ~4. These galaxy-to-galaxy variations account for ~0.20dex in scatter in the ensemble KS relation, which is characterized by a 0.42dex scatter. We find that the HI-deficient galaxies in the Virgo cluster show a steeper resolved KS relation and lower molecular gas efficiencies than HI-normal cluster galaxies. While the molecular gas content in Virgo cluster galaxies appears to behave similarly to that in isolated galaxies, our VERTICO sample shows that cluster environments play a key role in regulating star formation. The environmental mechanisms affecting the HI galaxy content also have a direct impact in the SFE of molecular gas in cluster galaxies, leading to longer depletion times in HI-deficient members.


title: Self-consistent Quantum Iteratively Sparsified Hamiltonian method (SQuISH): A new algorithm for efficient Hamiltonian simulation and compression

abstract: It is crucial to reduce the resources required to run quantum algorithms and simulate physical systems on quantum computers due to coherence time limitations. With regards to Hamiltonian simulation, a significant effort has focused on building efficient algorithms using various factorizations and truncations, typically derived from the Hamiltonian alone. We introduce a new paradigm for improving Hamiltonian simulation and reducing the cost of ground state problems based on ideas recently developed for classical chemistry simulations. The key idea is that one can find efficient ways to reduce resources needed by quantum algorithms by making use of two key pieces of information: the Hamiltonian operator and an approximate ground state wavefunction. We refer to our algorithm as the $\textit{Self-consistent Quantum Iteratively Sparsified Hamiltonian}$ (SQuISH). By performing our scheme iteratively, one can drive SQuISH to create an accurate wavefunction using a truncated, resource-efficient Hamiltonian. Utilizing this truncated Hamiltonian provides an approach to reduce the gate complexity of ground state calculations on quantum hardware. As proof of principle, we implement SQuISH using configuration interaction for small molecules and coupled cluster for larger systems. Through our combination of approaches, we demonstrate how SQuISH performs on a range of systems, the largest of which would require more than 200 qubits to run on quantum hardware. Though our demonstrations are on a series of electronic structure problems, our approach is relatively generic and hence likely to benefit additional applications where the size of the problem Hamiltonian creates a computational bottleneck.


title: Stellar Escape from Globular Clusters. I. Escape Mechanisms and Properties at Ejection

abstract: The theory of stellar escape from globular clusters (GCs) dates back nearly a century, especially the gradual evaporation of GCs via two-body relaxation coupled with external tides. More violent ejection can also occur via strong gravitational scattering, supernovae, gravitational wave-driven mergers, tidal disruption events, and physical collisions, but comprehensive study of the many escape mechanisms has been limited. Recent exquisite kinematic data from the Gaia space telescope has revealed numerous stellar streams in the Milky Way (MW) and traced the origin of many to specific MWGCs, highlighting the need for further examination of stellar escape from these clusters. In this study, the first of a series, we lay the groundwork for detailed follow-up comparisons between Cluster Monte Carlo (CMC) GC models and the latest Gaia data on the outskirts of MWGCs, their tidal tails, and associated streams. We thoroughly review escape mechanisms from GCs and examine their relative contributions to the escape rate, ejection velocities, and escaper demographics. We show for the first time that three-body binary formation may dominate high-speed ejection from typical MWGCs, potentially explaining some of the hypervelocity stars in the MW. Due to their mass, black holes strongly catalyze this process, and their loss at the onset of observable core collapse, characterized by a steep central brightness profile, dramatically curtails three-body binary formation, despite the increased post-collapse density. We also demonstrate that even when born from a thermal eccentricity distribution, escaping binaries have significantly nonthermal eccentricities consistent with the roughly uniform distribution observed in the Galactic field.


title: Dissecting the interstellar medium of a z=6.3 galaxy: X-shooter spectroscopy and HST imaging of the afterglow and environment of the Swift GRB 210905A

abstract: The study of the properties of galaxies in the first billion years after the Big Bang is one of the major topic of current astrophysics. Optical/near-infrared spectroscopy of the afterglows of long Gamma-ray bursts (GRBs) provide a powerful diagnostic tool to probe the interstellar medium (ISM) of their host galaxies and foreground absorbers, even up to the highest redshifts. We analyze the VLT/X-shooter afterglow spectrum of GRB 210905A, triggered by the Swift Neil Gehrels Observatory, and detect neutral-hydrogen, low-ionization, high-ionization, and fine-structure absorption lines from a complex system at z=6.3118, that we associate with the GRB host galaxy. We study the ISM properties of the host system, revealing the metallicity, kinematics and chemical abundance pattern. The total metallicity of the z~6.3 system is [M/H]=-1.72+/-0.13, after correcting for dust-depletion and taking into account alpha-element enhancement. In addition, we determine the overall amount of dust and dust-to-metal mass ratio (DTM) ([Zn/Fe]_fit=0.33+/-0.09, DTM=0.18+/-0.03). We find indications of nucleosynthesis due to massive stars and evidence of peculiar over-abundance of aluminium. From the analysis of fine-structure lines, we determine distances of several kpc for the low-ionization gas clouds closest to the GRB. Those farther distances are possibly due to the high number of ionizing photons. Using the HST/F140W image of the GRB field, we show the GRB host galaxy as well as multiple objects within 2" from the GRB. We discuss the galaxy structure and kinematics that could explain our observations, also taking into account a tentative detection of Lyman-alpha emission. Deep spectroscopic observations with VLT/MUSE and JWST will offer the unique possibility of combining our results with the ionized-gas properties, with the goal of better understanding how galaxies in the reionization era form and evolve.


title: Proactive Moderation of Online Discussions: Existing Practices and the Potential for Algorithmic Support

abstract: To address the widespread problem of uncivil behavior, many online discussion platforms employ human moderators to take action against objectionable content, such as removing it or placing sanctions on its authors. This reactive paradigm of taking action against already-posted antisocial content is currently the most common form of moderation, and has accordingly underpinned many recent efforts at introducing automation into the moderation process. Comparatively less work has been done to understand other moderation paradigms -- such as proactively discouraging the emergence of antisocial behavior rather than reacting to it -- and the role algorithmic support can play in these paradigms. In this work, we investigate such a proactive framework for moderation in a case study of a collaborative setting: Wikipedia Talk Pages. We employ a mixed methods approach, combining qualitative and design components for a holistic analysis. Through interviews with moderators, we find that despite a lack of technical and social support, moderators already engage in a number of proactive moderation behaviors, such as preemptively intervening in conversations to keep them on track. Further, we explore how automation could assist with this existing proactive moderation workflow by building a prototype tool, presenting it to moderators, and examining how the assistance it provides might fit into their workflow. The resulting feedback uncovers both strengths and drawbacks of the prototype tool and suggests concrete steps towards further developing such assisting technology so it can most effectively support moderators in their existing proactive moderation workflow.


title: On the instability of ultracompact horizonless spacetimes

abstract: Motivated by recent results reporting the instability of horizonless objects with stable light rings, we revisit the linearized stability of such structures. In particular, we consider an exterior Kerr spacetime truncated at a surface where Dirichlet conditions on a massless scalar are imposed.This spacetime has ergoregions and light rings when the surface is placed sufficiently deep in the gravitational potential. We establish that the spacetime is linearly, mode-unstable when it is sufficiently compact, in a mechanism associated with the ergoregion. In particular, such instability has associated zero-modes. At large multipole number the critical surface location for zero modes to exist is precisely the location of the ergosurface along the equator. We show that such modes don't exist when the surface is outside the ergoregion, and that any putative linear instability mechanism acts on timescales $\tau \gtrsim 10^5 M$, where $M$ is the black hole mass. Our results indicate therefore that at least certain classes of objects are linearly stable in the absence of ergoregions, even if rotation and light rings are present.


title: Morphology & Environment's Role on the Star Formation Rate -- Stellar Mass Relation in COSMOS from 0 < z < 3.5

abstract: We investigate the relationship between environment, morphology, and the star formation rate -- stellar mass relation derived from a sample of star-forming galaxies (commonly referred to as the `star formation main sequence') in the COSMOS field from 0 < z < 3.5. We constructed and fit the FUV--FIR SEDs of our stellar mass-selected sample of 111,537 galaxies with stellar and dust emission models using the public packages MAGPHYS and SED3FIT. From the best fit parameter estimates, we construct the star formation rate -- stellar mass relation as a function of redshift, local environment, NUVrJ color diagnostics, and morphology. We find that the shape of the main sequence derived from our color-color and sSFR-selected star forming galaxy population, including the turnover at high stellar mass, does not exhibit an environmental dependence at any redshift from 0 < z < 3.5. We investigate the role of morphology in the high mass end of the SFMS to determine whether bulge growth is driving the high mass turnover. We find that star-forming galaxies experience this turnover independent of bulge-to-total ratio, strengthening the case that the turnover is due to the disk component's specific star formation rate evolving with stellar mass rather than bulge growth.


title: Reconstructing the extended structure of multiple sources strongly lensed by the ultra-massive elliptical galaxy SDSS J0100+1818

abstract: We study the total and baryonic mass distributions of the deflector SDSS J0100+1818 through a full strong lensing analysis. The system is composed by an ultra-massive early-type galaxy at $z=0.581$, with total stellar mass of $(1.5 \pm 0.3) 10^{12}$ M$_\odot$ and stellar velocity dispersion of ($450 \pm 40$) km s$^{-1}$, surrounded by ten multiple images of three background sources, two of which spectroscopically confirmed at $z=1.880$. We take advantage of high-resolution HST photometry and VLT/X-shooter spectroscopy to measure the positions of the multiple images and perform a strong lensing study with the software GLEE. We test different total mass profiles for the lens and model the background sources first as point-like and then as extended objects. We successfully predict the positions of the observed multiple images and reconstruct over approximately 7200 HST pixels the complex surface brightness distributions of the sources. We measure the cumulative total mass profile of the lens and find a total mass value of $(9.1 \pm 0.1) 10^{12}$ M$_\odot$, within the Einstein radius of approximately 42 kpc, and stellar-over-total mass fractions ranging from ($49 \pm 12$)%, at the half-light radius ($R_e = 9.3$ kpc) of the lens galaxy, to ($10 \pm 2$)%, in the outer regions ($R = 70$kpc). These results suggest that the baryonic mass component of SDSS J0100+1818 is very concentrated in its core and that the lens early-type galaxy/group is immersed in a massive dark matter halo. This is consistent with what found in other ultra-high mass candidates at intermediate redshift. We measure also the physical sizes of the distant sources, resolving them down to a few hundreds of parsec. Finally, we quantify and discuss a relevant source of systematic uncertainties on the reconstructed sizes of background galaxies, associated to the adopted lens total mass model.


title: New parameterization and analysis for E6 inspired 331 model

abstract: We present a new parameterization for $E_6$ inspired $SU(3)_C\times SU(3)_L\times U(1)_X$ extension of the Standard Model. New setup predicts all Cabibbo-Kobayashi-Maskawa mixing angles and quark masses, total of nine observable variables, within 1-3 standard deviations of the experimental values with a minimum number of input parameters. A detailed numerical analysis and correlations between input parameters and predicted quantities are presented. The best global fit benchmark point corresponds to $\chi^2\approx 0.7$ with $\forall\sigma<0.6$. Advantages of the new parameterization and future prospects are discussed as well.


title: A very luminous jet from the disruption of a star by a massive black hole

abstract: Tidal disruption events (TDEs) are bursts of electromagnetic energy released when supermassive black holes (SMBHs) at the centers of galaxies violently disrupt a star that passes too close. TDEs provide a new window to study accretion onto SMBHs; in some rare cases, this accretion leads to launching of a relativistic jet, but the necessary conditions are not fully understood. The best studied jetted TDE to date is Swift J1644+57, which was discovered in gamma-rays, but was too obscured by dust to be seen at optical wavelengths. Here we report the optical discovery of AT2022cmc, a rapidly fading source at cosmological distance (redshift z=1.19325) whose unique lightcurve transitioned into a luminous plateau within days. Observations of a bright counterpart at other wavelengths, including X-rays, sub-millimeter, and radio, supports the interpretation of AT2022cmc as a jetted TDE containing a synchrotron "afterglow", likely launched by a SMBH with spin $a \gtrsim 0.3$. Using 4 years of Zwicky Transient Facility (ZTF) survey data, we calculate a rate of $0.02 ^{+ 0.04 }_{- 0.01 }$ Gpc$^{-3}$ yr$^{-1}$ for on-axis jetted TDEs based on the luminous, fast-fading red component, thus providing a measurement complementary to the rates derived from X-ray and radio observations. Correcting for the beaming angle effects, this rate confirms that about 1% of TDEs have relativistic jets. Optical surveys can use AT2022cmc as a prototype to unveil a population of jetted TDEs.


title: A localized kinematic structure detected in atomic carbon emission spatially coincident with a proposed protoplanet in the HD 163296 disk

abstract: Over the last five years, studies of the kinematics in protoplanetary disks have led to the discovery of new protoplanet candidates and several structures linked to possible planet-disk interactions. We detect a localized kinematic bipolar structure in the HD 163296 disk present inside the deepest dust gap at 48 au from atomic carbon line emission. HD 163296's stellar jet and molecular winds have been described in detail in the literature; however, the kinematic anomaly in C I emission is not associated with either of them. Further, the velocity of the kinematic structure points indicates a component fast enough to differentiate it from the Keplerian profile of the disk; and its atomic nature hints at a localized UV source strong enough to dissociate CO and launch a C I outflow, or a strong polar flow from the upper layers of the disk. By discarding the stellar jet and previously observed molecular winds, we explore different sources for this kinematic feature in C I emission that could be associated with a protoplanet inflow/outflow, or disk winds.


title: Merger Signatures are Common, but not Universal, In Massive, Recently-Quenched Galaxies at z~0.7

abstract: We present visual classifications of merger-induced tidal disturbances in 143 $\rm{M}_* \sim 10^{11}\rm{M}_\odot$ post-starburst galaxies at z$\sim$0.7 identified in the SQuIGG$\vec{L}$E Sample. This sample spectroscopically selects galaxies from the Sloan Digital Sky Survey that have stopped their primary epoch of star formation within the past $\sim$500 Myrs. Visual classifications are performed on Hyper Suprime Cam (HSC) i-band imaging. We compare to a control sample of mass- and redshift-matched star-forming and quiescent galaxies from the Large Early Galaxy Census and find that post-starburst galaxies are more likely to be classified as disturbed than either category. This corresponds to a factor of $3.6^{+2.9}_{-1.3}$ times the disturbance rate of older quiescent galaxies and $2.1^{+1.9}_{-.73}$ times the disturbance rate of star-forming galaxies. Assuming tidal features persist for $\lesssim500$ Myr, this suggests merging is coincident with quenching in a significant fraction of these post-starbursts. Galaxies with tidal disturbances are younger on average than undisturbed post-starburst galaxies in our sample, suggesting tidal features from a major merger may have faded over time. This may be exacerbated by the fact that, on average, the undisturbed subset is fainter, rendering low surface brightness tidal features harder to identify. However, the presence of ten young ($\lesssim150$ Myr since quenching) undisturbed galaxies suggests that major mergers are not the only fast physical mechanism that shut down the primary epoch of star formation in massive galaxies at intermediate redshift.


title: Variations on the Choi-Jamiolkowski isomorphism

abstract: We address various aspects of a widely used tool in quantum information theory: the Choi-Jamiolkowski isomorphism [A. Jamiolkowski, Rep. Math. Phys., 3, 275 (1972)]. We review different versions of the isomorphism, their properties and propose a unified description that combines them all. To this end, we identify the physical reason for the appearance of the (basis-dependent) operation of transposition in the isomorphism as used in Choi's theorem [M.-D. Choi, Lin. Alg. Appl., 10, 285 (1975)]. This requires a careful distinction between Jordan algebras and the different C*-algebras they arise from, which are distinguished by their order of composition. Physically, the latter encodes a choice of time orientation in the respective algebras, which relates to a number of recent results, including a characterisation of quantum from more general non-signalling bipartite correlations [M. Frembs and A. D\"oring, arXiv:2204.11471] and a classification of bipartite entanglement [M. Frembs, arXiv:2207.00024].


title: Elastic scattering of Airy electron packets on atoms

abstract: The problem of elastic scattering of electron Airy beams on potential fields is considered for a hydrogen atom in the ground state and for Yukawa potential. It is demonstrated that the angular dependence of the scattering probability density is in general azimuthally asymmetric. When the position of the atom happens to coincide with one the minima of the probability density of the Airy beam the asymmetric pattern is represented by four separated peaks. We show that this behaviour is very sensitive to the precision with which the relative position of the atom and the minima is defined and study how uncertainty in the position measured in terms of the transverse size of the wave-packet affects observation of azimuthal asymmetry. Finally, we consider a spatially localized target and discuss the difficulties of observing the azimuthal asymmetry for targets with sizes that exceed the critical value determined by the beam parameters and the position of the target center.


title: On Topology of the Moduli Space of Gapped Hamiltonians for Topological Phases

abstract: The moduli space of gapped Hamiltonians that are in the same topological phase is an intrinsic object that is associated to the topological order. The topology of these moduli spaces is used recently in the construction of Floquet codes. We propose a systematical program to study the topology of these moduli spaces. In particular, we use effective field theory to study the cohomology classes of these spaces, which includes and generalizes the Berry phase. We discuss several applications to studying phase transitions. We show that nontrivial family of gapped systems with the same topological order can protect isolated phase transitions in the phase diagram, and we argue that the phase transitions are characterized by screening of topological defects. We argue that family of gapped systems obey a version of bulk-boundary correspondence. We show that family of gapped systems in the bulk with the same topological order can rule out family of gapped systems on the boundary with the same topological boundary condition, constraining phase transitions on the boundary.


title: A Weierstrass extremal field theory for the fractional Laplacian

abstract: In this paper we extend, for the first time, part of the Weierstrass extremal field theory in the Calculus of Variations to a nonlocal framework. Our model case is the energy functional for the fractional Laplacian (the Gagliardo-Sobolev seminorm), for which such a theory was still unknown. We build a null-Lagrangian and a calibration for nonlinear equations involving the fractional Laplacian in the presence of a field of extremals. Thus, our construction assumes the existence of a family of solutions to the Euler-Lagrange equation whose graphs produce a foliation. Then, the minimality of each leaf in the foliation follows from the existence of the calibration. As an application, we show that monotone solutions to fractional semilinear equations are minimizers. In a forthcoming work we generalize the theory to a wide class of nonlocal elliptic functionals and give an application to the viscosity theory.


title: The Birth of a Relativistic Jet Following the Disruption of a Star by a Cosmological Black Hole

abstract: A black hole can launch a powerful relativistic jet after it tidally disrupts a star. If this jet fortuitously aligns with our line of sight, the overall brightness is Doppler boosted by several orders of magnitude. Consequently, such on-axis relativistic tidal disruption events (TDEs) have the potential to unveil cosmological (redshift $z>$1) quiescent black holes and are ideal test beds to understand the radiative mechanisms operating in super-Eddington jets. Here, we present multi-wavelength (X-ray, UV, optical, and radio) observations of the optically discovered transient \target at $z=1.193$. Its unusual X-ray properties, including a peak observed luminosity of $\gtrsim$10$^{48}$ erg s$^{-1}$, systematic variability on timescales as short as 1000 seconds, and overall duration lasting more than 30 days in the rest-frame are traits associated with relativistic TDEs. The X-ray to radio spectral energy distributions spanning 5-50 days after discovery can be explained as synchrotron emission from a relativistic jet (radio), synchrotron self-Compton (X-rays), and thermal emission similar to that seen in low-redshift TDEs (UV/optical). Our modeling implies a beamed, highly relativistic jet akin to blazars but requires extreme matter-domination, i.e, high ratio of electron-to-magnetic field energy densities in the jet, and challenges our theoretical understanding of jets.


title: The volumetric star formation law in nearby galaxies

abstract: Star formation laws are empirical relations between the cold gas (HI+H$_2$) content of a galaxy and its star formation rate (SFR), being crucial for any model of galaxy formation and evolution. A well known example of such laws is the Schmidt-Kennicutt law, which is based on the projected surface densities. However, it has been long unclear whether a more fundamental relation exists between the intrinsic volume densities. By assuming the vertical hydrostatic equilibrium, we infer radial profiles for the thickness of gaseous discs in a sample of 23 local galaxies, and use these measurements to convert the observed surface densities of the gas and the SFR into the de-projected volume densities. We find a tight correlation linking these quantities, that we call the volumetric star formation law. This relation and its properties have crucial implications for our understanding of the physics of star formation.