title: Diode effect in Josephson junctions with a single magnetic atom

abstract: Current flow in electronic devices can be asymmetric with bias direction, a phenomenon underlying the utility of diodes and known as non-reciprocal charge transport. The promise of dissipationless electronics has recently stimulated the quest for superconducting diodes, and non-reciprocal superconducting devices have been realized in various non-centrosymmetric systems. Probing the ultimate limits of miniaturization, we have created atomic-scale Pb--Pb Josephson junctions in a scanning tunneling microscope. Pristine junctions stabilized by a single Pb atom exhibit hysteretic behavior, confirming the high quality of the junctions, but no asymmetry between the bias directions. Non-reciprocal supercurrents emerge when inserting a single magnetic atom into the junction, with the preferred direction depending on the atomic species. Aided by theoretical modelling, we trace the non-reciprocity to quasiparticle currents flowing via Yu-Shiba-Rusinov (YSR) states inside the superconducting energy gap. Our results open new avenues for creating atomic-scale Josephson diodes and tuning their properties through single-atom manipulation.


title: Categoricity for transfinite extensions of modules

abstract: For each deconstructible class of modules $\mathcal D$, we prove that the categoricity of $\mathcal D$ in a big cardinal is equivalent to its categoricity in a tail of cardinals. We also prove Shelah's Categoricity Conjecture for $(\mathcal D, \prec)$, where $(\mathcal D, \prec)$ is any abstract elementary class of roots of Ext.


title: Rational distance sets on a parabola using Pythagorean triplets

abstract: We study $N$-point rational distance sets ($\textrm{RDS}(N)$) on the parabola $y=x^2$. Previous approaches to the problem include efforts made using elliptic curves and diophantine chains, with successful analysis for $N\leq 4$. We extend the analysis for arbitrary $N$ by establishing a correspondence between $\textrm{RDS}(N)$s and Pythagorean triplets. Our main result gives sufficient and necessary conditions for the existence and nature of the $\textrm{RDS}(N)$s for arbitrary $N$. Our approach also leads to an efficient computational algorithm to construct new $\textrm{RDS}(N)$s, and we provide multiple new examples of $\textrm{RDS}(N)$s for four and five points. The correspondence with Pythagorean triplets also helps to study the density of the solutions and we reproduce density results for $N=2$ and $3$.


title: Locally nilpotent derivations on $\mathbb{A}^2$-fibrations with $\mathbb{A}^1$-fibration kernels

abstract: In this paper, we give a characterization of locally nilpotent derivations on $\mathbb{A}^2$-fibrations over Noetherian domains containing $\mathbb{Q}$ having kernel isomorphic to an $\mathbb{A}^1$-fibration.


title: Dilute neutron star matter from neural-network quantum states

abstract: Low-density neutron matter is characterized by fascinating emergent quantum phenomena, such as the formation of Cooper pairs and the onset of superfluidity. We model this density regime by capitalizing on the expressivity of the hidden-nucleon neural-network quantum states combined with variational Monte Carlo and stochastic reconfiguration techniques. Our approach is competitive with the auxiliary-field diffusion Monte Carlo method at a fraction of the computational cost. Using a leading-order pionless effective field theory Hamiltonian, we compute the energy per particle of infinite neutron matter and compare it with those obtained from highly realistic interactions. In addition, a comparison between the spin-singlet and triplet two-body distribution functions indicates the emergence pairing in the $^1S_0$ channel.


title: C-VTON: Context-Driven Image-Based Virtual Try-On Network

abstract: Image-based virtual try-on techniques have shown great promise for enhancing the user-experience and improving customer satisfaction on fashion-oriented e-commerce platforms. However, existing techniques are currently still limited in the quality of the try-on results they are able to produce from input images of diverse characteristics. In this work, we propose a Context-Driven Virtual Try-On Network (C-VTON) that addresses these limitations and convincingly transfers selected clothing items to the target subjects even under challenging pose configurations and in the presence of self-occlusions. At the core of the C-VTON pipeline are: (i) a geometric matching procedure that efficiently aligns the target clothing with the pose of the person in the input images, and (ii) a powerful image generator that utilizes various types of contextual information when synthesizing the final try-on result. C-VTON is evaluated in rigorous experiments on the VITON and MPV datasets and in comparison to state-of-the-art techniques from the literature. Experimental results show that the proposed approach is able to produce photo-realistic and visually convincing results and significantly improves on the existing state-of-the-art.


title: Detection of Dipole Modulation in CMB Temperature Anisotropy Maps from WMAP and Planck using Artificial Intelligence

abstract: Breakdown of rotational invariance of the primordial power spectrum manifests in the statistical anisotropy of the observed Cosmic Microwave Background (CMB) radiation. Hemispherical power asymmetry in the CMB may be caused due to a dipolar modulation, indicating the presence of a preferred direction. Appropriately re-scaled local variance maps of the CMB temperature anisotropy data effectively encapsulate this dipolar pattern. As a first-of-its-kind method, we train Artificial Neural Networks (ANNs) with such local variances as input features to distinguish statistically isotropic CMB maps from dipole modulated ones. Our trained ANNs are able to predict components of the amplitude times the unit vector of the preferred direction for mixed sets of modulated and unmodulated maps, with goodness of fit ($R^2$) scores $>0.97$ for full sky, and $>0.96$ for partial sky coverage. On all observed foreground-cleaned CMB maps, the ANNs detect the dipolar modulation signal with overall consistent values of amplitudes and directions. This detection is significant at $97.21\%-99.38\%$ C.L. for all full sky maps, and at $98.34\%-100\%$ C.L. for all partial sky maps. Robustness of the signal holds across full and partial skies, various foreground cleaning methods, inpainting algorithms, instruments and all the different periods of observation for Planck and WMAP satellites. The significant and robust detection of the signal, in addition to the consistency of values of amplitude and directions, as found independent of any pre-existing methods, further mitigates the criticisms of look-elsewhere effects and a posteriori inferences for the preferred dipole direction in the CMB.


title: Technical Report: Match-reference regular expressions and lenses

abstract: A lens is a single program that specifies two data transformations at once: one transformation converts data from source format to target format and a second transformation inverts the process. Over the past decade, researchers have developed many different kinds of lenses with different properties. One class of such languages operate over regular languages. In other words, these lenses convert strings drawn from one regular language to strings drawn from another regular language (and back again). In this paper, we define a more powerful language of lenses, which we call match-reference lenses, that is capable of translating between non-regular formats that contain repeated substrings, which is a primitive form of dependency. To define the non-regular formats themselves, we develop a new language, match-reference regular expressions, which are regular expressions that can bind variables to substrings and use those substrings repeatedly. These match-reference regular expressions are closely related to the familiar ``back-references" that can be found in traditional regular expression packages, but are redesigned to adhere to conventional programming language lexical scoping conventions and to interact smoothly with lens language infrastructure. We define the semantics of match-reference regular expressions and match-reference lenses. We also define a new kind of automaton, the match-reference regex automaton system (MRRAS), for deciding string membership in the language match-reference regular expressions. We illustrate our definitions with a variety of examples.


title: Nikola Tesla's Inventions -- Myth or Reality?

abstract: Nikola Tesla is often presented by his adepts as the "unjustly forgotten genius", without who our current technology wouldn't exist. In this paper, we analyze some popular statements made by Tesla's adepts, mostly about inventions that they attribute to him, and determine whether they are myth or reality.


title: The Differentiable Lens: Compound Lens Search over Glass Surfaces and Materials for Object Detection

abstract: Most camera lens systems are designed in isolation, separately from downstream computer vision methods. Recently, joint optimization approaches that design lenses alongside other components of the image acquisition and processing pipeline -- notably, downstream neural networks -- have achieved improved imaging quality or better performance on vision tasks. However, these existing methods optimize only a subset of lens parameters and cannot optimize glass materials given their categorical nature. In this work, we develop a differentiable spherical lens simulation model that accurately captures geometrical aberrations. We propose an optimization strategy to address the challenges of lens design -- notorious for non-convex loss function landscapes and many manufacturing constraints -- that are exacerbated in joint optimization tasks. Specifically, we introduce quantized continuous glass variables to facilitate the optimization and selection of glass materials in an end-to-end design context, and couple this with carefully designed constraints to support manufacturability. In automotive object detection, we report improved detection performance over existing designs even when simplifying designs to two- or three-element lenses, despite significantly degrading the image quality.


title: On deformations of coisotropic submanifolds with fixed characteristic foliation

abstract: It is well-known that the deformation problem of a compact coisotropic submanifold $C$ in a symplectic manifold is obstructed in general. We show that it becomes unobstructed if one only allows coisotropic deformations whose characteristic foliation is diffeomorphic to that of $C$. This extends an unobstructedness result in the setting of integral coisotropic submanifolds due to Ruan.


title: A Distributed Block Chebyshev-Davidson Algorithm for Parallel Spectral Clustering

abstract: We develop a distributed Block Chebyshev-Davidson algorithm to solve large-scale leading eigenvalue problems for spectral analysis in spectral clustering. First, the efficiency of the Chebyshev-Davidson algorithm relies on the prior knowledge of the eigenvalue spectrum, which could be expensive to estimate. This issue can be lessened by the analytic spectrum estimation of the Laplacian or normalized Laplacian matrices in spectral clustering, making the proposed algorithm very efficient for spectral clustering. Second, to make the proposed algorithm capable of analyzing big data, a distributed and parallel version has been developed with attractive scalability. The speedup by parallel computing is approximately equivalent to $\sqrt{p}$, where $p$ denotes the number of processes. {Numerical results will be provided to demonstrate its efficiency in spectral clustering and scalability advantage over existing eigensolvers used for spectral clustering in parallel computing environments.}


title: Phase transitions for frame potentials]{Phase transitions for the minimizers of the $p^{th}$ frame potentials in $\mathbb{R}^2$

abstract: Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In this paper we show that there is unique minimum for this functional for all $p\leq \log 3/\log 2$ and all odd $N\geq 3$. In addition, we present some numerical results suggesting the emergence of a phase transition phenomenon for these minimizers. More specifically, for $N\geq 3$ odd, there exists a sequence of number of points $\log 3/\log 2=p_1< p_2< \cdots < p_N\leq 2$ so that a unique (up to some isometries) minimizer exists on each sub-intervals $(p_k, p_{k+1})$. %In addition we conjecture that $\lim_{k\to \infty}p_{2k+1}=2$.


title: Non-tightness in class theory and second-order arithmetic

abstract: A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this article we extend Enayat's investigations to subsystems of these latter two theories. We prove that restricting the Comprehension schema of Z2 and KM gives non-tight theories. Specifically, we show that GB and ACA0 each admit different bi-interpretable extensions, and the same holds for their extensions by adding Sigma^1_k-Comprehension, for k <= 1. These results provide evidence that tightness characterizes Z2 and KM in a minimal way.


title: Failure of the wandering subspace property for analytic norm-increasing $3$-isometries

abstract: We construct an analytic norm-increasing $3$-isometric weighted shift on a rootless directed tree, which does not have the wandering subspace property. This answers a question of Shimorin [S2001, p. 185] in the negative. The counterexample in question is built over the rootless quasi-Brownian directed tree of valency $2.$


title: Observation of Flat Band, Dirac Nodal Lines and Topological Surface States in Kagome Superconductor CsTi$_3$Bi$_5$

abstract: A kagome lattice of 3d transition metals hosts flat bands, Dirac fermions and saddle points. It provides a versatile platform for achieving topological superconductivity, anomalous Hall effect, unconventional density wave order and quantum spin liquid when the strong correlation, spin-orbit coupling or magnetic order are involved in such a lattice. Here, using laser-based angle-resolved photoemission spectroscopy in combination with density functional theory calculations, we investigate the electronic structure of the newly discovered kagome superconductor CsTi$_3$Bi$_5$, which is isostructural to the AV$_3$Sb$_5$ (A=K, Rb or Cs) kagome superconductors and possesses a perfect two-dimensional kagome network of Titanium. We directly observed a strikingly flat band derived from the local destructive interferences of Bloch wave functions within the kagome lattices. We also identify the type-II Dirac nodal loops around the Brillouin zone center, the type-III Dirac nodal loops around the zone corners and type-III Dirac nodal lines along the k$_z$ direction. In addition, around the Brillouin zone center, Z2 nontrivial topological surface states are also observed which is formed from the band inversion due to strong spin orbital coupling. The simultaneous existence of such multi-sets of nontrivial band structures in one kagome superconductor not only provides good opportunities to study related physics in the kagome lattice but also makes CsTi$_3$Bi$_5$ an ideal system to realize noval quantum phenomena by manipulating its chemical potential with chemical doping or pressure.


title: Objective Surgical Skills Assessment and Tool Localization: Results from the MICCAI 2021 SimSurgSkill Challenge

abstract: Timely and effective feedback within surgical training plays a critical role in developing the skills required to perform safe and efficient surgery. Feedback from expert surgeons, while especially valuable in this regard, is challenging to acquire due to their typically busy schedules, and may be subject to biases. Formal assessment procedures like OSATS and GEARS attempt to provide objective measures of skill, but remain time-consuming. With advances in machine learning there is an opportunity for fast and objective automated feedback on technical skills. The SimSurgSkill 2021 challenge (hosted as a sub-challenge of EndoVis at MICCAI 2021) aimed to promote and foster work in this endeavor. Using virtual reality (VR) surgical tasks, competitors were tasked with localizing instruments and predicting surgical skill. Here we summarize the winning approaches and how they performed. Using this publicly available dataset and results as a springboard, future work may enable more efficient training of surgeons with advances in surgical data science. The dataset can be accessed from https://console.cloud.google.com/storage/browser/isi-simsurgskill-2021.


title: Dissociative Excitation of Nitromethane Induced by Electron Impact in the Ultraviolet-Visible Spectrum

abstract: The excitation of nitromethane CH$_3$NO$_2$, which is an important propellant and prototypic molecule for large class of explosives, has been investigated by electron impact and subsequent emission of photons in the UV-VIS spectral region between 300 nm and 670 nm. Emission spectrum of nitromethane was recorded at an electron energy of 50 eV. New dissociative excitation channels were discovered through the appearance of different CH, CN, NH, OH and NO bands, and the Balmer series of atomic hydrogen. In addition, relative emission cross sections were recorded for the transitions of selected fragments. The emission spectrum was captured at significantly higher resolution in comparison to previous studies.


title: GAUCHE: A Library for Gaussian Processes in Chemistry

abstract: We introduce GAUCHE, a library for GAUssian processes in CHEmistry. Gaussian processes have long been a cornerstone of probabilistic machine learning, affording particular advantages for uncertainty quantification and Bayesian optimisation. Extending Gaussian processes to chemical representations, however, is nontrivial, necessitating kernels defined over structured inputs such as graphs, strings and bit vectors. By defining such kernels in GAUCHE, we seek to open the door to powerful tools for uncertainty quantification and Bayesian optimisation in chemistry. Motivated by scenarios frequently encountered in experimental chemistry, we showcase applications for GAUCHE in molecular discovery and chemical reaction optimisation. The codebase is made available at https://github.com/leojklarner/gauche


title: Three Variations on Variational Autoencoders

abstract: Variational autoencoders (VAEs) are one class of generative probabilistic latent-variable models designed for inference based on known data. We develop three variations on VAEs by introducing a second parameterized encoder/decoder pair and, for one variation, an additional fixed encoder. The parameters of the encoders/decoders are to be learned with a neural network. The fixed encoder is obtained by probabilistic-PCA. The variations are compared to the Evidence Lower Bound (ELBO) approximation to the original VAE. One variation leads to an Evidence Upper Bound (EUBO) that can be used in conjunction with the original ELBO to interrogate the convergence of the VAE.


title: The Pan-STARRS1 z>5.6 quasar survey II: Discovery of 55 Quasars at 5.6<z<6.5

abstract: The identification of bright quasars at z>6 enables detailed studies of supermassive black holes, massive galaxies, structure formation, and the state of the intergalactic medium within the first billion years after the Big Bang. We present the spectroscopic confirmation of 55 quasars at redshifts 5.6<z<6.5 and UV magnitudes -24.5<M1450<-28.5 identified in the optical Pan-STARRS1 and near-IR VIKING surveys (48 and 7, respectively). Five of these quasars have been independently discovered in other studies. The quasar sample shows an extensive range of physical properties, including 17 objects with weak emission lines, ten broad absorption line quasars, and five with strong radio emission (radio-loud quasars). There are also a few notable sources in the sample, including a blazar candidate at z=6.23, a likely gravitationally lensed quasar at z=6.41, and a z=5.84 quasar in the outskirts of the nearby (D~3 Mpc) spiral galaxy M81. The blazar candidate remains undetected in NOEMA observations of the [CII] and underlying emission, implying a star-formation rate <30-70 Msun/yr. A significant fraction of the quasars presented here lies at the foundation of the first measurement of the z~6 quasar luminosity function from Pan-STARRS1 (introduced in a companion paper). The quasars presented here will enable further studies of the high-redshift quasar population with current and future facilities.


title: Low-Bitrate Redundancy Coding of Speech Using a Rate-Distortion-Optimized Variational Autoencoder

abstract: Robustness to packet loss is one of the main ongoing challenges in real-time speech communication. Deep packet loss concealment (PLC) techniques have recently demonstrated improved quality compared to traditional PLC. Despite that, all PLC techniques hit fundamental limitations when too much acoustic information is lost. To reduce losses in the first place, data is commonly sent multiple times using various redundancy mechanisms. We propose a neural speech coder specifically optimized to transmit a large amount of overlapping redundancy at a very low bitrate, up to 50x redundancy using less than 32~kb/s. Results show that the proposed redundancy is more effective than the existing Opus codec redundancy, and that the two can be combined for even greater robustness.


title: XRand: Differentially Private Defense against Explanation-Guided Attacks

abstract: Recent development in the field of explainable artificial intelligence (XAI) has helped improve trust in Machine-Learning-as-a-Service (MLaaS) systems, in which an explanation is provided together with the model prediction in response to each query. However, XAI also opens a door for adversaries to gain insights into the black-box models in MLaaS, thereby making the models more vulnerable to several attacks. For example, feature-based explanations (e.g., SHAP) could expose the top important features that a black-box model focuses on. Such disclosure has been exploited to craft effective backdoor triggers against malware classifiers. To address this trade-off, we introduce a new concept of achieving local differential privacy (LDP) in the explanations, and from that we establish a defense, called XRand, against such attacks. We show that our mechanism restricts the information that the adversary can learn about the top important features, while maintaining the faithfulness of the explanations.


title: XMM-Newton and Chandra observations of the candidate Fermi-LAT pulsar 4FGL J1015.5-6030

abstract: 4FGL J1015.5-6030 is an unidentified Fermi-LAT source hosting a bright, extended X-ray source whose X-ray spectrum is consistent with that of a young pulsar, yet no pulsations have been found. Here we report on XMM-Newton timing and Chandra imaging observations of the X-ray counterpart of 4FGL J1015.5-6030. We find no significant periodicity from the source and place a 3$\sigma$ upper-limit on its pulsed fraction of 34$\%$. The Chandra observations resolve the point source from the extended emission. We find that the point source's spectrum is well fit by a blackbody model, with temperature $kT=0.205\pm0.009$ keV, plus a weak power-law component, which is consistent with a thermally emitting neutron star with a magnetospheric component. The extended emission spans angular scales of a few arcseconds up to about 30$''$ from the point source and its spectrum is well fit by a power-law model with a photon index $\Gamma=1.70\pm0.05$. The extended emission's spectrum and 0.5-10 keV luminosity of 4$\times10^{32}$ erg s$^{-1}$ (at a plausible distance of 2 kpc) are consistent with that of a pulsar wind nebula. Based on a comparison to other GeV and X-ray pulsars, we find that this putative pulsar is likely a middle-aged (i.e., $\tau\sim 0.1$--1 Myr) radio-quiet pulsar with $\dot{E}\sim10^{34}-10^{35}$ erg s$^{-1}$.


title: Multi-Clustering Needlet-ILC for CMB B-modes component separation

abstract: The Cosmic Microwave Background (CMB) primordial B-modes signal is predicted to be much lower than the polarized Galactic emission (foregrounds) in any region of the sky pointing to the need for sophisticated component separation methods. Among them, the blind Needlet-ILC (NILC) has great relevance given our current poor knowledge of the B-modes foregrounds. However the expected level of spatial variability of the foreground spectral properties complicates the NILC subtraction of the Galactic contamination. In order to reach the ambitious targets of future CMB experiments, we therefore propose a novel extension of the NILC approach, the Multi-Clustering NILC (MC-NILC), which performs NILC variance minimization on separate regions of the sky (clusters) properly chosen to have similar spectral properties of the B-modes foregrounds emission. Clusters are identified thresholding the ratio of B-modes maps at two separate frequencies which is used as tracer of the spatial distribution of the spectral indices of the Galactic emission in B modes. We consider ratios either of simulated foregrounds-only B modes (ideal case) or of cleaned templates of Galactic emission obtained from realistic simulations. In this work we present an application of MC-NILC to the future LiteBIRD satellite, which targets the observation of both reionization and recombination peaks of the primordial B-modes angular power spectrum with a total error on the tensor-to-scalar ratio $\delta r < 0.001$. We show that MC-NILC provides a CMB solution with residual foregrounds and noise contamination that is significantly reduced with respect to NILC and lower than the primordial signal targeted by LiteBIRD at all angular scales for the ideal case and at the reionization peak for a realistic ratio. Thus, MC-NILC will represent a powerful method to mitigate B-modes foregrounds for future CMB polarization experiments.


title: Spatio-Temporal Super-Resolution of Dynamical Systems using Physics-Informed Deep-Learning

abstract: This work presents a physics-informed deep learning-based super-resolution framework to enhance the spatio-temporal resolution of the solution of time-dependent partial differential equations (PDE). Prior works on deep learning-based super-resolution models have shown promise in accelerating engineering design by reducing the computational expense of traditional numerical schemes. However, these models heavily rely on the availability of high-resolution (HR) labeled data needed during training. In this work, we propose a physics-informed deep learning-based framework to enhance the spatial and temporal resolution of coarse-scale (both in space and time) PDE solutions without requiring any HR data. The framework consists of two trainable modules independently super-resolving the PDE solution, first in spatial and then in temporal direction. The physics based losses are implemented in a novel way to ensure tight coupling between the spatio-temporally refined outputs at different times and improve framework accuracy. We analyze the capability of the developed framework by investigating its performance on an elastodynamics problem. It is observed that the proposed framework can successfully super-resolve (both in space and time) the low-resolution PDE solutions while satisfying physics-based constraints and yielding high accuracy. Furthermore, the analysis and obtained speed-up show that the proposed framework is well-suited for integration with traditional numerical methods to reduce computational complexity during engineering design.


title: General-Purpose In-Context Learning by Meta-Learning Transformers

abstract: Modern machine learning requires system designers to specify aspects of the learning pipeline, such as losses, architectures, and optimizers. Meta-learning, or learning-to-learn, instead aims to learn those aspects, and promises to unlock greater capabilities with less manual effort. One particularly ambitious goal of meta-learning is to train general-purpose in-context learning algorithms from scratch, using only black-box models with minimal inductive bias. Such a model takes in training data, and produces test-set predictions across a wide range of problems, without any explicit definition of an inference model, training loss, or optimization algorithm. In this paper we show that Transformers and other black-box models can be meta-trained to act as general-purpose in-context learners. We characterize transitions between algorithms that generalize, algorithms that memorize, and algorithms that fail to meta-train at all, induced by changes in model size, number of tasks, and meta-optimization. We further show that the capabilities of meta-trained algorithms are bottlenecked by the accessible state size (memory) determining the next prediction, unlike standard models which are thought to be bottlenecked by parameter count. Finally, we propose practical interventions such as biasing the training distribution that improve the meta-training and meta-generalization of general-purpose in-context learning algorithms.


title: Proximal Algorithms for Smoothed Online Convex Optimization with Predictions

abstract: We consider a smoothed online convex optimization (SOCO) problem with predictions, where the learner has access to a finite lookahead window of time-varying stage costs, but suffers a switching cost for changing its actions at each stage. Based on the Alternating Proximal Gradient Descent (APGD) framework, we develop Receding Horizon Alternating Proximal Descent (RHAPD) for proximable, non-smooth and strongly convex stage costs, and RHAPD-Smooth (RHAPD-S) for non-proximable, smooth and strongly convex stage costs. In addition to outperforming gradient descent-based algorithms, while maintaining a comparable runtime complexity, our proposed algorithms also allow us to solve a wider range of problems. We provide theoretical upper bounds on the dynamic regret achieved by the proposed algorithms, which decay exponentially with the length of the lookahead window. The performance of the presented algorithms is empirically demonstrated via numerical experiments on non-smooth regression, dynamic trajectory tracking, and {economic power dispatch} problems.


title: Tunable van Hove singularity without structural instability in Kagome metal CsTi$_3$Bi$_5$

abstract: In Kagome metal CsV$_3$Sb$_5$, multiple intertwined orders are accompanied by both electronic and structural instabilities. These exotic orders have attracted much recent attention, but their origins remain elusive. The newly discovered CsTi$_3$Bi$_5$ is a Ti-based Kagome metal to parallel CsV$_3$Sb$_5$. Here, we report angle-resolved photoemission experiments and first-principles calculations on pristine and Cs-doped CsTi$_3$Bi$_5$ samples. Our results reveal that the van Hove singularity (vHS) in CsTi$_3$Bi$_5$ can be tuned in a large energy range without structural instability, different from that in CsV$_3$Sb$_5$. As such, CsTi$_3$Bi$_5$ provides a complementary platform to disentangle and investigate the electronic instability with a tunable vHS in Kagome metals.


title: Leveraging Unlabeled Data to Track Memorization

abstract: Deep neural networks may easily memorize noisy labels present in real-world data, which degrades their ability to generalize. It is therefore important to track and evaluate the robustness of models against noisy label memorization. We propose a metric, called susceptibility, to gauge such memorization for neural networks. Susceptibility is simple and easy to compute during training. Moreover, it does not require access to ground-truth labels and it only uses unlabeled data. We empirically show the effectiveness of our metric in tracking memorization on various architectures and datasets and provide theoretical insights into the design of the susceptibility metric. Finally, we show through extensive experiments on datasets with synthetic and real-world label noise that one can utilize susceptibility and the overall training accuracy to distinguish models that maintain a low memorization on the training set and generalize well to unseen clean data.


title: How to Sum and Exponentiate Hamiltonians in ZXW Calculus

abstract: This paper develops practical summation techniques in ZXW calculus to reason about quantum dynamics, such as unitary time evolution. First we give a direct representation of a wide class of sums of linear operators, including arbitrary qubits Hamiltonians, in ZXW calculus. As an application, we demonstrate the linearity of the Schroedinger equation and give a diagrammatic representation of the Hamiltonian in Greene-Diniz et al, which is the first paper that models carbon capture using quantum computing. We then use the Cayley-Hamilton theorem to show in principle how to exponentiate arbitrary qubits Hamiltonians in ZXW calculus. Finally, we develop practical techniques and show how to do Taylor expansion and Trotterization diagrammatically for Hamiltonian simulation. This sets up the framework for using ZXW calculus to the problems in quantum chemistry and condensed matter physics.


title: Extending Lenstra's Primality Test to CM elliptic curves and a new quasi-quadratic Las Vegas algorithm for primality

abstract: For an elliptic curve with CM by $K$ defined over its Hilbert class field, $E/H$, we extend Lenstra's finite fields test to generators of norms of certain ideals in $\mathcal{O}_H$, yielding a sufficient $\widetilde{O}(\log^3 N)$ primality test and partially answering an open question of Lemmermeyer in the case of CM elliptic curves. Letting $\iota,\gamma, b\in \mathcal{O}_K$, $(\iota)$ prime, and $b$ a primitive $k$-th root of unity modulo $(\iota)^n$ we specialize this test to rational integers of the form $N_{K/\mathbb{Q}}(\gamma\iota^n+b)$ with the norm of $\gamma$ small, giving a Las Vegas test for primality with average runtime $\widetilde{O}(\log^2 N)$, that further certifies primality of such integers in $\widetilde{O}(\log^2 N)$ for nearly all choices of input parameters. The integers tested were not previously amenable to quasi-quadratic heuristic primality certification.


title: Recurrent subspaces in Banach spaces

abstract: We study the spaceability of the set of recurrent vectors $\text{Rec}(T)$ for an operator $T:X\longrightarrow X$ on a Banach space $X$. In particular: we find sufficient conditions for a quasi-rigid operator to have a recurrent subspace; when $X$ is a complex Banach space we show that having a recurrent subspace is equivalent to the fact that the essential spectrum of the operator intersects the closed unit disc; and we extend the previous result to the real case. As a consequence we obtain that: a weakly-mixing operator on a real or complex separable Banach space has a hypercyclic subspace if and only if it has a recurrent subspace. The results exposed exhibit a symmetry between the hypercyclic and recurrence spaceability theories showing that, at least for the spaceable property, hypercyclicity and recurrence can be treated as equals.


title: Combined Structural and Plasmonic Enhancement of Nanometer-Thin Film Photocatalysis for Solar-Driven Wastewater Treatment

abstract: Titanium dioxide (TiO$_2$) thin films are commonly used as photocatalytic materials. Here, we enhance the photocatalytic activity of devices based on TiO$_2$ by combining nanostructured glass substrates with metallic plasmonic nanostructures. We achieve a three-fold increase of the catalyst's surface area through nanoscale three-dimensional patterning of periodic conical grids, which creates a broadband optical absorber. The addition of aluminum and gold activates the structures plasmonically and improves the optical absorption in the TiO$_2$ films to above 70% in the visible and NIR spectral range. We demonstrate the resulting enhancement of the photocatalytic activity with organic dye degradation tests under different light sources. Furthermore, the pharmaceutical drug Carbamazepine, a common water pollutant, is reduced in aqueous solution by up to 48% in 360 minutes. Our approach is scalable and potentially enables future solar-driven wastewater treatment.


title: On inclusion of time-varying source in numerical approximation to acoustic wave equation and a neglected limitation

abstract: Acoustic wave equation seeks to represent wavefield in terms of a radiation source which possesses finite energy over space and time. The wavefield may be represented over a surface bounding the source, and calculated by solving an associated boundary-value problem via imposing conditions on the boundary of a chosen solution space. This manuscript aims to study approaches for obtaining unique solution to acoustic wave equation in terms of either a volumetric radiation source $s$, or surface source. For the latter, the wavefield is described using a Kirchhoff-Helmholtz or Rayleigh-Sommerfeld integral over the surface. Using a monopole version of these integral formulae, a singlet surface source is defined in terms of minus normal pressure derivative $-(\partial/\partial \boldsymbol{n})p$ or its equivalent $\rho_0 \partial u^{\boldsymbol{n}}/ \partial t$. Here, $p$ is the pressure, $\rho_0$ is the ambient density, and $u^{\boldsymbol{n}} = \boldsymbol{u} \cdot \boldsymbol{n}$ is the normal velocity with $\boldsymbol{n}$ a unit vector outwardly normal to the surface. Using a dipole variant of these surface integral formulae, the surface source is defined as a doublet source in terms of pressure $p$. It will be shown that an interior-field dipole variant of these integral formulae represents the back-projected field from observations of the wavefield over a surface. The key step for numerically approximating all these derived analytical formulae is inclusion of source, and will be studied in this manuscript carefully. It will be shown that a numerical approximation of a dipole version of these surface integral formulae has a limitation regarding how to account for obliquity factors or their equivalent solid angles efficiently, especially for describing a back-projected field from observations over a measurement surface.


title: Descent of tautological sheaves from Hilbert schemes to Enriques manifolds

abstract: Let $X$ be a K3 surface which doubly covers an Enriques surface $S$. If $n\in\mathbb{N}$ is an odd number, then the Hilbert scheme of $n$-points $X^{[n]}$ admits a natural quotient $S_{[n]}$. This quotient is an Enriques manifold in the sense of Oguiso and Schr\"oer. In this paper we construct slope stable sheaves on $S_{[n]}$ and study some of their properties.


title: Investigation of Minerals Using Hyperspectral Satellite Imagery in Bangladesh

abstract: Mineral identification using remote sensing technologies is becoming more dominant in this field since it saves time by demonstrating a more effective way for land resources survey. In such remote sensing technologies, hyperspectral remote sensing (HSRS) technology has increased gradually for its efficient manner. This technology is usually used from an airborne platform, i.e., satellite. Hence, satellite imagery remote sensing technology is now more capable of providing accuracy in mineral identification, and mapping. Hyperspectral satellite imagery can identify minerals more accurately compared to traditional technologies in remote sensing by constructing a complete reflectance of the spectrum from each pixel with its advanced imaging sensor. Bangladesh is a developing country with an area of 1,50,000 square kilometers located in Southeast Asia. Though it is a small country, it is enriched with several mineral resources through rivers, forests, hills, and the Bay of Bengal. In this study, hyperspectral imaging technology is employed on some major identical areas (Maheshkhali, Netrokona, Panchagarh, and Patuakhali) of Bangladesh to identify minerals there. As there are no studies done in Bangladesh using hyperspectral imaging yet, it is a good opportunity to explore the potentiality of HS imagery in this field. In this study, the FLAASH (Fast Line-of-sight Atmospheric Analysis) module with necessary parameter settings is used to filter the data, and finally, mineral identification is done by the spectral matched filtering method. Our investigation resulted in finding some potential minerals in those areas including Stariolite, Diasphore, Zircon, Alunite, Quartz, and so on. This indicates that there still is enormous potential for further exploration of minerals in Bangladesh by Hyperspectral Satellite Imagery.


title: Cutoff for random walk on random graphs with a community structure

abstract: We consider a variant of the configuration model with an embedded community structure and study the mixing properties of a simple random walk on it. Every vertex has an internal $\mathrm{deg}^{\text{int}}\geq 3$ and an outgoing $\mathrm{deg}^{\text{out}}$ number of half-edges. Given a stochastic matrix $Q$, we pick a random perfect matching of the half-edges subject to the constraint that each vertex $v$ has $\mathrm{deg}^{\text{int}}(v)$ neighbours inside its community and the proportion of outgoing half-edges from community $i$ matched to a half-edge from community $j$ is $Q(i,j)$. Assuming the number of communities is constant and they all have comparable sizes, we prove the following dichotomy: simple random walk on the resulting graph exhibits cutoff if and only if the product of the Cheeger constant of $Q$ times $\log n$ (where $n$ is the number of vertices) diverges. In [4], Ben-Hamou established a dichotomy for cutoff for a non-backtracking random walk on a similar random graph model with 2 communities. We prove the same characterisation of cutoff holds for simple random walk.


title: On the Mean Square Error Optimal Estimator in One-Bit Quantized Systems

abstract: This paper investigates the mean square error (MSE)-optimal conditional mean estimator (CME) in one-bit quantized systems in the context of channel estimation with jointly Gaussian inputs. We analyze the relationship of the generally nonlinear CME to the linear Bussgang estimator, a well-known method based on Bussgang's theorem. We highlight a novel observation that the Bussgang estimator is equal to the CME for different special cases, including the case of univariate Gaussian inputs and the case of multiple pilot signals in the absence of additive noise prior to the quantization. For the general cases we conduct numerical simulations to quantify the gap between the Bussgang estimator and the CME. This gap increases for higher dimensions and longer pilot sequences. We propose an optimal pilot sequence, motivated by insights from the CME, and derive a novel closed-form expression of the MSE for that case. Afterwards, we find a closed-form limit of the MSE in the asymptotically large number of pilots regime that also holds for the Bussgang estimator. Lastly, we present numerical experiments for various system parameters and for different performance metrics which illuminate the behavior of the optimal channel estimator in the quantized regime. In this context, the well-known stochastic resonance effect that appears in quantized systems can be quantified.


title: Learning Quantum Processes and Hamiltonians via the Pauli Transfer Matrix

abstract: Learning about physical systems from quantum-enhanced experiments, relying on a quantum memory and quantum processing, can outperform learning from experiments in which only classical memory and processing are available. Whereas quantum advantages have been established for a variety of state learning tasks, quantum process learning allows for comparable advantages only with a careful problem formulation and is less understood. We establish an exponential quantum advantage for learning an unknown $n$-qubit quantum process $\mathcal{N}$. We show that a quantum memory allows to efficiently solve the following tasks: (a) learning the Pauli transfer matrix of an arbitrary $\mathcal{N}$, (b) predicting expectation values of bounded Pauli-sparse observables measured on the output of an arbitrary $\mathcal{N}$ upon input of a Pauli-sparse state, and (c) predicting expectation values of arbitrary bounded observables measured on the output of an unknown $\mathcal{N}$ with sparse Pauli transfer matrix upon input of an arbitrary state. With quantum memory, these tasks can be solved using linearly-in-$n$ many copies of the Choi state of $\mathcal{N}$, and even time-efficiently in the case of (b). In contrast, any learner without quantum memory requires exponentially-in-$n$ many queries, even when querying $\mathcal{N}$ on subsystems of adaptively chosen states and performing adaptively chosen measurements. In proving this separation, we extend existing shadow tomography upper and lower bounds from states to channels via the Choi-Jamiolkowski isomorphism. Moreover, we combine Pauli transfer matrix learning with polynomial interpolation techniques to develop a procedure for learning arbitrary Hamiltonians, which may have non-local all-to-all interactions, from short-time dynamics. Our results highlight the power of quantum-enhanced experiments for learning highly complex quantum dynamics.


title: Mid-Infrared Optical Spin Injection and Coherent Control

abstract: The optical injection of charge and spin currents are investigated in Ge$_{1-x}$Sn$_{x}$ semiconductors as a function of Sn content. These emerging silicon-compatible materials enable the modulation of these processes across the entire mid-infrared range. Under the independent particle approximation, the one- and two-photon interband absorption processes are elucidated, and the evolution of the coherent control is discussed for three different polarization configurations. To evaluate the contribution of high-energy transitions, a full-zone 30-band k$\cdot$p is employed in the calculations. It was found that, besides the anticipated narrowing of the direct gap and the associated shift of the absorption to longer wavelengths, incorporating Sn in Ge also increases the one-photon degree of spin polarization (DSP) at the $E_1$ resonance. Moreover, as the Sn content increases, the magnitude of the response tensors near the band edge exhibits an exponential enhancement. This behavior can be attributed to the Sn incorporation-induced decrease in the carrier effective masses. This trend appears to hold also at the $E_1$ resonance for pure spin current injection, at least at low Sn compositions. The two-photon DSP at the band edge exceeds the value in Ge to reach 60 % at a Sn content above 14 %. These results demonstrate that Ge$_{1-x}$Sn$_{x}$ semiconductors can be exploited to achieve the quantum coherent manipulation in the molecular fingerprint region relevant to quantum sensing.


title: Diffusion Guided Domain Adaptation of Image Generators

abstract: Can a text-to-image diffusion model be used as a training objective for adapting a GAN generator to another domain? In this paper, we show that the classifier-free guidance can be leveraged as a critic and enable generators to distill knowledge from large-scale text-to-image diffusion models. Generators can be efficiently shifted into new domains indicated by text prompts without access to groundtruth samples from target domains. We demonstrate the effectiveness and controllability of our method through extensive experiments. Although not trained to minimize CLIP loss, our model achieves equally high CLIP scores and significantly lower FID than prior work on short prompts, and outperforms the baseline qualitatively and quantitatively on long and complicated prompts. To our best knowledge, the proposed method is the first attempt at incorporating large-scale pre-trained diffusion models and distillation sampling for text-driven image generator domain adaptation and gives a quality previously beyond possible. Moreover, we extend our work to 3D-aware style-based generators and DreamBooth guidance.


title: Global warming in the pipeline

abstract: Improved knowledge of glacial-to-interglacial global temperature change implies that fast-feedback equilibrium climate sensitivity (ECS) is 1.2 +/- 0.3{\deg}C (2$\sigma$) per W/m$^2$. Consistent analysis of temperature over the full Cenozoic era -- including "slow" feedbacks by ice sheets and trace gases -- supports this ECS and implies that CO$_2$ was about 300 ppm in the Pliocene and 400 ppm at transition to a nearly ice-free planet, thus exposing unrealistic lethargy of ice sheet models. Equilibrium global warming including slow feedbacks for today's human-made greenhouse gas (GHG) climate forcing (4.1 W/m$^2$) is 10{\deg}C, reduced to 8{\deg}C by today's aerosols. Decline of aerosol emissions since 2010 should increase the 1970-2010 global warming rate of 0.18{\deg}C per decade to a post-2010 rate of at least 0.27{\deg}C per decade. Under the current geopolitical approach to GHG emissions, global warming will likely pierce the 1.5{\deg}C ceiling in the 2020s and 2{\deg}C before 2050. Impacts on people and nature will accelerate as global warming pumps up hydrologic extremes. The enormity of consequences demands a return to Holocene-level global temperature. Required actions include: 1) a global increasing price on GHG emissions, 2) East-West cooperation in a way that accommodates developing world needs, and 3) intervention with Earth's radiation imbalance to phase down today's massive human-made "geo-transformation" of Earth's climate. These changes will not happen with the current geopolitical approach, but current political crises present an opportunity for reset, especially if young people can grasp their situation.


title: Spatio-Temporal Self-Supervised Learning for Traffic Flow Prediction

abstract: Robust prediction of citywide traffic flows at different time periods plays a crucial role in intelligent transportation systems. While previous work has made great efforts to model spatio-temporal correlations, existing methods still suffer from two key limitations: i) Most models collectively predict all regions' flows without accounting for spatial heterogeneity, i.e., different regions may have skewed traffic flow distributions. ii) These models fail to capture the temporal heterogeneity induced by time-varying traffic patterns, as they typically model temporal correlations with a shared parameterized space for all time periods. To tackle these challenges, we propose a novel Spatio-Temporal Self-Supervised Learning (ST-SSL) traffic prediction framework which enhances the traffic pattern representations to be reflective of both spatial and temporal heterogeneity, with auxiliary self-supervised learning paradigms. Specifically, our ST-SSL is built over an integrated module with temporal and spatial convolutions for encoding the information across space and time. To achieve the adaptive spatio-temporal self-supervised learning, our ST-SSL first performs the adaptive augmentation over the traffic flow graph data at both attribute- and structure-levels. On top of the augmented traffic graph, two SSL auxiliary tasks are constructed to supplement the main traffic prediction task with spatial and temporal heterogeneity-aware augmentation. Experiments on four benchmark datasets demonstrate that ST-SSL consistently outperforms various state-of-the-art baselines. Since spatio-temporal heterogeneity widely exists in practical datasets, the proposed framework may also cast light on other spatial-temporal applications. Model implementation is available at https://github.com/Echo-Ji/ST-SSL.


title: A strong He II $\lambda$1640 emitter with extremely blue UV spectral slope at $z=8.16$: presence of Pop III stars?

abstract: Cosmic hydrogen reionization and cosmic production of first metals are major phase transitions of the universe occurring during the first billion years after the Big Bang, however these are still underexplored observationally. Using the JWST NIRSpec prism spectroscopy, we report the discovery of a sub-$L_\ast$ galaxy at $z_{\rm spec}=8.1623\pm0.0007$, dubbed RXJ2129-z8HeII, via the detection of a series of strong rest-frame UV/optical nebular emission lines and the clear Lyman break. RXJ2129-z8HeII shows a pronounced UV continuum with an extremely steep (i.e. blue) spectral slope of $\beta=-2.53_{-0.07}^{+0.06}$, the steepest amongst all spectroscopically confirmed galaxies at $z_{\rm spec}\gtrsim7$, in support of its very hard ionizing spectrum that could lead to a significant leakage of its ionizing flux. Therefore, RXJ2129-z8HeII is representative of the key galaxy population driving the cosmic reionization. More importantly, we detect a strong He II $\lambda$1640 emission line in its spectrum, one of the highest redshifts at which such a line is robustly detected. Its high rest-frame equivalent width (${\rm EW}=21\pm4$ Angstrom) and extreme flux ratios with respect to UV metal and Balmer lines raise the possibility that part of RXJ2129-z8HeII's stellar populations could be Pop III-like. Through careful photoionization modeling, we show that the physically calibrated phenomenological models of the ionizing spectra of Pop III stars with strong mass loss can successfully reproduce the emission line flux ratios observed in RXJ2129-z8HeII. Assuming the Eddington limit, the total mass of the Pop III stars within this system is estimated to be $7.8\pm1.4\times10^5 M_\odot$. To date, this galaxy presents the most compelling case in the early universe where trace Pop III stars might coexist with metal-enriched populations.


title: Integrability and quench dynamics in the spin-1 central spin XX model

abstract: Central spin models provide an idealized description of interactions between a central degree of freedom and a mesoscopic environment of surrounding spins. We show that the family of models with a spin-1 at the center and XX interactions of arbitrary strength with surrounding spins is integrable. Specifically, we derive an extensive set of conserved quantities and obtain the exact eigenstates using the Bethe ansatz. As in the homogenous limit, the states divide into two exponentially large classes: bright states, in which the spin-1 is entangled with its surroundings, and dark states, in which it is not. On resonance, the bright states further break up into two classes depending on their weight on states with central spin polarization zero. These classes are probed in quench dynamics wherein they prevent the central spin from reaching thermal equilibrium. In the single spin-flip sector we explicitly construct the bright states and show that the central spin exhibits oscillatory dynamics as a consequence of the semilocalization of these eigenstates. We relate the integrability to the closely related class of integrable Richardson-Gaudin models, and conjecture that the spin-$s$ central spin XX model is integrable for any $s$.


title: An Interpretable Model of Climate Change Using Correlative Learning

abstract: Determining changes in global temperature and precipitation that may indicate climate change is complicated by annual variations. One approach for finding potential climate change indicators is to train a model that predicts the year from annual means of global temperatures and precipitations. Such data is available from the CMIP6 ensemble of simulations. Here a two-hidden-layer neural network trained on this data successfully predicts the year. Differences among temperature and precipitation patterns for which the model predicts specific years reveal changes through time. To find these optimal patterns, a new way of interpreting what the neural network has learned is explored. Alopex, a stochastic correlative learning algorithm, is used to find optimal temperature and precipitation maps that best predict a given year. These maps are compared over multiple years to show how temperature and precipitations patterns indicative of each year change over time.


title: Starting inflation from inhomogeneous initial conditions with momentum

abstract: We investigate the circumstances under which cosmic inflation can arise from very inhomogeneous initial conditions using numerical relativity simulations. Previous studies have not considered cases with non-zero momentum density due to technical challenges with solving the coupled Einstein constraint equations. Here we address these, introducing and comparing several different ways of constructing cosmological initial conditions with inhomogeneous scalar field and time derivative profiles. We evolve such initial conditions with large inhomogeneities in both single- and two-field inflationary models. We study cases where the initial gradient and kinetic energy are much larger than the inflationary energy scale, and black holes can form, as well as cases where the initial scalar potential energy is comparable, as in scenarios where inflation occurs at nearly Planckian densities, finding large-field inflation to be generally robust. We consider examples of initial conditions where a large scalar field velocity towards non-inflationary values would prevent inflation from occurring in the homogeneous case, finding that the addition of large gradients in the scalar field can actually dilute this effect, with the increased expansion and non-vanishing restoring force leading to inflation.


title: Identification and properties of intense star-forming galaxies at redshifts z>10

abstract: Surveys with James Webb Space Telescope (JWST) have discovered candidate galaxies in the first 400 Myr of cosmic time. Preliminary indications have suggested these candidate galaxies may be more massive and abundant than previously thought. However, without confirmed distances, their inferred properties remain uncertain. Here we identify four galaxies located in the JWST Advanced Deep Extragalactic Survey (JADES) Near-Infrared Camera (NIRCam) imaging with photometric redshifts z~10-13. These galaxies include the first redshift z>12 systems discovered with distances spectroscopically confirmed by JWST in a companion paper. Using stellar population modelling, we find the galaxies typically contain a hundred million solar masses in stars, in stellar populations that are less than one hundred million years old. The moderate star formation rates and compact sizes suggest elevated star formation rate surface densities, a key indicator of their formation pathways. Taken together, these measurements show that the first galaxies contributing to cosmic reionisation formed rapidly and with intense internal radiation fields.


title: A Survey of Graph Neural Networks for Social Recommender Systems

abstract: Social recommender systems (SocialRS) simultaneously leverage the user-to-item interactions as well as the user-to-user social relations for the task of generating item recommendations to users. Additionally exploiting social relations is clearly effective in understanding users' tastes due to the effects of homophily and social influence. For this reason, SocialRS has increasingly attracted attention. In particular, with the advance of graph neural networks (GNN), many GNN-based SocialRS methods have been developed recently. Therefore, we conduct a comprehensive and systematic review of the literature on GNN-based SocialRS. In this survey, we first identify 84 papers on GNN-based SocialRS after annotating 2151 papers by following the PRISMA framework (preferred reporting items for systematic reviews and meta-analyses). Then, we comprehensively review them in terms of their inputs and architectures to propose a novel taxonomy: (1) input taxonomy includes 5 groups of input type notations and 7 groups of input representation notations; (2) architecture taxonomy includes 8 groups of GNN encoder notations, 2 groups of decoder notations, and 12 groups of loss function notations. We classify the GNN-based SocialRS methods into several categories as per the taxonomy and describe their details. Furthermore, we summarize benchmark datasets and metrics widely used to evaluate the GNN-based SocialRS methods. Finally, we conclude this survey by presenting some future research directions. GitHub repository with the curated list of papers are available at https://github.com/claws-lab/awesome-GNN-social-recsys.


title: Observational Constraints on Warm Natural Inflation

abstract: Warm natural inflation is studied for the case of the original cosine potential. The radiation bath during inflation induces a dissipation (friction) rate in the equation of motion for the inflaton field, which can potentially reduce the field excursion needed for an observationally viable period of inflation. We examine if the dissipation thus provides a mechanism to avoid the large decay constant $f \gtrsim M_{\mathrm{pl}}$ of cold cosine natural inflation. Whereas temperature independent dissipation has previously been shown to alleviate the need for a trans-Planckian decay constant $f$, we illustrate here the difficulties of accommodating a significantly sub-Planckian decay constant ($f<10^{-1}M_{\mathrm{pl}}$) in the case of the following temperature dependent dissipation rates, $\Gamma \propto T^c$, with $c=\{1,3\}$. Such dissipation rates represent physically well-motivated constructions in the literature. For each model, we map its location in the $r$-$n_s$ plane and compare with Cosmic Microwave Background data. For $c=1 \, (c=3)$, we find that agreement with CMB data requires that dissipation be in the weak (moderate) regime and that the minimum allowed value of the decay constant in the potential is $f_{\rm min} = 0.3 \, (0.8)\,M_{\mathrm{pl}}$ respectively.


title: Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection

abstract: Computer vision applications have heavily relied on the linear combination of Lambertian diffuse and microfacet specular reflection models for representing reflected radiance, which turns out to be physically incompatible and limited in applicability. In this paper, we derive a novel analytical reflectance model, which we refer to as Fresnel Microfacet BRDF model, that is physically accurate and generalizes to various real-world surfaces. Our key idea is to model the Fresnel reflection and transmission of the surface microgeometry with a collection of oriented mirror facets, both for body and surface reflections. We carefully derive the Fresnel reflection and transmission for each microfacet as well as the light transport between them in the subsurface. This physically-grounded modeling also allows us to express the polarimetric behavior of reflected light in addition to its radiometric behavior. That is, FMBRDF unifies not only body and surface reflections but also light reflection in radiometry and polarization and represents them in a single model. Experimental results demonstrate its effectiveness in accuracy, expressive power, and image-based estimation.


title: Stability of Bernstein's Theorem and Soft Doubling for Vector Gaussian Channels

abstract: The stability of Bernstein's characterization of Gaussian distributions is extended to vectors by utilizing characteristic functions. Stability is used to develop a soft doubling argument that establishes the optimality of Gaussian vectors for certain communications channels with additive Gaussian noise, including two-receiver broadcast channels. One novelty is that the argument does not require the existence of distributions that achieve capacity.


title: A roadmap to cosmological parameter analysis with third-order shear statistics II: Analytic covariance estimate

abstract: Third-order weak lensing statistics are a promising tool for cosmological analyses since they extract cosmological information in the non-Gaussianity of the cosmic large-scale structure. However, such analyses require precise and accurate models for the covariance. In this second paper of a series on third-order weak lensing statistics, we derive and validate an analytic model for the covariance of the third-order aperture statistics $\langle M_\mathrm{ap}^3\rangle$. We derive the covariance model from a real-space estimator for $\langle M_\mathrm{ap}^3\rangle$. We validate the model by comparing it to estimates from simulated Gaussian random fields (GRF) and two sets of N-body simulations. Finally, we perform mock cosmological analyses with the model covariance and the simulation estimate to compare the resulting parameter constraints. We find good agreement between the model and the simulations, both for the GRF and the $N$-body simulations. The figure-of-merit in the $S_8$-$\Omega_\mathrm{m}$ plane from our covariance model is within 3\% of the one obtained from the simulated covariances. We also show that our model, which is based on an estimator using convergence maps, can be used to obtain upper and lower bounds for the covariance of an estimator based on three-point shear correlation functions. This second estimator is required for realistic survey data. In our derivation, we find that the $\langle M_\mathrm{ap}^3\rangle$ covariance cannot be obtained from the bispectrum covariance and that it includes several `finite-field terms' that do not scale with the inverse survey area. Our covariance model is sufficiently accurate for analysing stage III surveys. Covariances for statistics in Fourier space cannot always be straightforwardly converted into covariance for real-space statistics. The modelling code is available at https://github.com/sheydenreich/threepoint/releases/ .


title: A New Linear Scaling Rule for Private Adaptive Hyperparameter Optimization

abstract: An open problem in differentially private deep learning is hyperparameter optimization (HPO). DP-SGD introduces new hyperparameters and complicates existing ones, forcing researchers to painstakingly tune hyperparameters with hundreds of trials, which in turn makes it impossible to account for the privacy cost of HPO without destroying the utility. We propose an adaptive HPO method that uses cheap trials (in terms of privacy cost and runtime) to estimate optimal hyperparameters and scales them up. We obtain state-of-the-art performance on 22 benchmark tasks, across computer vision and natural language processing, across pretraining and finetuning, across architectures and a wide range of $\varepsilon \in [0.01,8.0]$, all while accounting for the privacy cost of HPO.


title: Physics-constrained deep learning postprocessing of temperature and humidity

abstract: Weather forecasting centers currently rely on statistical postprocessing methods to minimize forecast error. This improves skill but can lead to predictions that violate physical principles or disregard dependencies between variables, which can be problematic for downstream applications and for the trustworthiness of postprocessing models, especially when they are based on new machine learning approaches. Building on recent advances in physics-informed machine learning, we propose to achieve physical consistency in deep learning-based postprocessing models by integrating meteorological expertise in the form of analytic equations. Applied to the post-processing of surface weather in Switzerland, we find that constraining a neural network to enforce thermodynamic state equations yields physically-consistent predictions of temperature and humidity without compromising performance. Our approach is especially advantageous when data is scarce, and our findings suggest that incorporating domain expertise into postprocessing models allows to optimize weather forecast information while satisfying application-specific requirements.


title: Multi-Concept Customization of Text-to-Image Diffusion

abstract: While generative models produce high-quality images of concepts learned from a large-scale database, a user often wishes to synthesize instantiations of their own concepts (for example, their family, pets, or items). Can we teach a model to quickly acquire a new concept, given a few examples? Furthermore, can we compose multiple new concepts together? We propose Custom Diffusion, an efficient method for augmenting existing text-to-image models. We find that only optimizing a few parameters in the text-to-image conditioning mechanism is sufficiently powerful to represent new concepts while enabling fast tuning (~6 minutes). Additionally, we can jointly train for multiple concepts or combine multiple fine-tuned models into one via closed-form constrained optimization. Our fine-tuned model generates variations of multiple new concepts and seamlessly composes them with existing concepts in novel settings. Our method outperforms or performs on par with several baselines and concurrent works in both qualitative and quantitative evaluations while being memory and computationally efficient.


title: SINE: SINgle Image Editing with Text-to-Image Diffusion Models

abstract: Recent works on diffusion models have demonstrated a strong capability for conditioning image generation, e.g., text-guided image synthesis. Such success inspires many efforts trying to use large-scale pre-trained diffusion models for tackling a challenging problem--real image editing. Works conducted in this area learn a unique textual token corresponding to several images containing the same object. However, under many circumstances, only one image is available, such as the painting of the Girl with a Pearl Earring. Using existing works on fine-tuning the pre-trained diffusion models with a single image causes severe overfitting issues. The information leakage from the pre-trained diffusion models makes editing can not keep the same content as the given image while creating new features depicted by the language guidance. This work aims to address the problem of single-image editing. We propose a novel model-based guidance built upon the classifier-free guidance so that the knowledge from the model trained on a single image can be distilled into the pre-trained diffusion model, enabling content creation even with one given image. Additionally, we propose a patch-based fine-tuning that can effectively help the model generate images of arbitrary resolution. We provide extensive experiments to validate the design choices of our approach and show promising editing capabilities, including changing style, content addition, and object manipulation. The code is available for research purposes at https://github.com/zhang-zx/SINE.git .


title: Loop-string-hadron formulation of an SU(3) gauge theory with dynamical quarks

abstract: Towards the goal of quantum computing for lattice quantum chromodynamics, we present a loop-string-hadron (LSH) framework in 1+1 dimensions for describing the dynamics of SU(3) gauge fields coupled to staggered fermions. This novel framework was previously developed for an SU(2) lattice gauge theory in $d\leq3$ spatial dimensions and its advantages for classical and quantum algorithms have thus far been demonstrated in $d=1$. The LSH approach uses gauge invariant degrees of freedoms such as loop segments, string ends, and on-site hadrons, it is free of all nonabelian gauge redundancy, and it is described by a Hamiltonian containing only local interactions. In this work, the SU(3) LSH framework is systematically derived from the reformulation of Hamiltonian lattice gauge theory in terms of irreducible Schwinger bosons, including the addition of staggered quarks. Furthermore, the superselection rules governing the LSH dynamics are identified directly from the form of the Hamiltonian. The SU(3) LSH Hamiltonian with open boundary conditions has been numerically confirmed to agree with the completely gauge-fixed Hamiltonian, which contains long-range interactions and does not generalize to either periodic boundary conditions or to $d>1$.


title: Improving the Utilization of Digital Services - Evaluating Contest - Driven Open Data Development and the Adoption of Cloud Services

abstract: There is a growing interest in utilizing digital services, such as software apps and cloud-based software services. The utilization of digital services is increasing more rapidly than any other segment of world trade. The availability of open data unlocks the possibility of generating market possibilities in the public and private sectors. Digital service utilization can be improved by adopting cloud-based software services and open data innovation for service development. However, open data has no value unless utilized, and little is known about developing digital services using open data. Evaluation of digital service development processes to service deployment is indispensable. Despite this, existing evaluation models are not specifically designed to measure open data innovation contests. Additionally, existing cloud-based digital service implications are not used directly to adopt the technology, and empirical research needs to be included. The research question addressed in this thesis is: "How can contest-driven innovation of open data digital services be evaluated and the adoption of digital services be supported to improve the utilization of digital services?" The research approaches used are design science research, descriptive statistics, and case study. This thesis proposes Digital Innovation Contest Measurement Model (DICM-model) and Designing and Refining DICM (DRD-method) for designing and refining DICM-model to provide more agility. Additionally, a framework of barriers constraining developers of open data services from developing viable services is also presented. This framework enables requirement and cloud engineers to prioritize factors responsible for effective adoption. Future research possibilities are automation of idea generation, ex-post evaluation of the proposed artifacts, and expanding cloud-based digital service adoption from suppliers' perspectives.


title: Few-View Object Reconstruction with Unknown Categories and Camera Poses

abstract: While object reconstruction has made great strides in recent years, current methods typically require densely captured images and/or known camera poses, and generalize poorly to novel object categories. To step toward object reconstruction in the wild, this work explores reconstructing general real-world objects from a few images without known camera poses or object categories. The crux of our work is solving two fundamental 3D vision problems -- shape reconstruction and pose estimation -- in a unified approach. Our approach captures the synergies of these two problems: reliable camera pose estimation gives rise to accurate shape reconstruction, and the accurate reconstruction, in turn, induces robust correspondence between different views and facilitates pose estimation. Our method FORGE predicts 3D features from each view and leverages them in conjunction with the input images to establish cross-view correspondence for estimating relative camera poses. The 3D features are then transformed by the estimated poses into a shared space and are fused into a neural radiance field. The reconstruction results are rendered by volume rendering techniques, enabling us to train the model without 3D shape ground-truth. Our experiments show that FORGE reliably reconstructs objects from five views. Our pose estimation method outperforms existing ones by a large margin. The reconstruction results under predicted poses are comparable to the ones using ground-truth poses. The performance on novel testing categories matches the results on categories seen during training. Project page: https://ut-austin-rpl.github.io/FORGE/


title: SDFusion: Multimodal 3D Shape Completion, Reconstruction, and Generation

abstract: In this work, we present a novel framework built to simplify 3D asset generation for amateur users. To enable interactive generation, our method supports a variety of input modalities that can be easily provided by a human, including images, text, partially observed shapes and combinations of these, further allowing to adjust the strength of each input. At the core of our approach is an encoder-decoder, compressing 3D shapes into a compact latent representation, upon which a diffusion model is learned. To enable a variety of multi-modal inputs, we employ task-specific encoders with dropout followed by a cross-attention mechanism. Due to its flexibility, our model naturally supports a variety of tasks, outperforming prior works on shape completion, image-based 3D reconstruction, and text-to-3D. Most interestingly, our model can combine all these tasks into one swiss-army-knife tool, enabling the user to perform shape generation using incomplete shapes, images, and textual descriptions at the same time, providing the relative weights for each input and facilitating interactivity. Despite our approach being shape-only, we further show an efficient method to texture the generated shape using large-scale text-to-image models.


title: What it takes to solve the Hubble tension through modifications of cosmological recombination

abstract: We construct data-driven solutions to the Hubble tension which are perturbative modifications to the fiducial $\Lambda$CDM cosmology, using the Fisher bias formalism. Taking as proof of principle the case of a time-varying electron mass and fine structure constant, and focusing first on Planck CMB data, we demonstrate that a modified recombination can solve the Hubble tension and lower $S_8$ to match weak lensing measurements. Once baryonic acoustic oscillation and uncalibrated supernovae data are included, however, it is not possible to fully solve the tension with perturbative modifications to recombination.


title: MoFusion: A Framework for Denoising-Diffusion-based Motion Synthesis

abstract: Conventional methods for human motion synthesis are either deterministic or struggle with the trade-off between motion diversity and motion quality. In response to these limitations, we introduce MoFusion, i.e., a new denoising-diffusion-based framework for high-quality conditional human motion synthesis that can generate long, temporally plausible, and semantically accurate motions based on a range of conditioning contexts (such as music and text). We also present ways to introduce well-known kinematic losses for motion plausibility within the motion diffusion framework through our scheduled weighting strategy. The learned latent space can be used for several interactive motion editing applications -- like inbetweening, seed conditioning, and text-based editing -- thus, providing crucial abilities for virtual character animation and robotics. Through comprehensive quantitative evaluations and a perceptual user study, we demonstrate the effectiveness of MoFusion compared to the state of the art on established benchmarks in the literature. We urge the reader to watch our supplementary video and visit https://vcai.mpi-inf.mpg.de/projects/MoFusion.


title: Universal qudit gate synthesis for transmons

abstract: Gate-based quantum computers typically encode and process information in two-dimensional units called qubits. Using $d$-dimensional qudits instead may offer intrinsic advantages, including more efficient circuit synthesis, problem-tailored encodings and embedded error correction. In this work, we design a superconducting qudit-based quantum processor wherein the logical space of transmon qubits is extended to higher-excited levels. We propose a universal gate set featuring a two-qudit cross-resonance entangling gate, for which we predict fidelities beyond $99\%$ in the $d=4$ case of ququarts with realistic experimental parameters. Furthermore, we present a decomposition routine that compiles general qudit unitaries into these elementary gates, requiring fewer entangling gates than qubit alternatives. As proof-of-concept applications, we numerically demonstrate the synthesis of ${\rm SU}(16)$ gates for noisy quantum hardware and an embedded error correction sequence that encodes a qubit memory in a transmon ququart to protect against pure dephasing noise. We conclude that universal qudit control -- a valuable extension to the operational toolbox of superconducting quantum information processing -- is within reach of current transmon-based architectures and has applications to near-term and long-term hardware.


title: UNETR++: Delving into Efficient and Accurate 3D Medical Image Segmentation

abstract: Owing to the success of transformer models, recent works study their applicability in 3D medical segmentation tasks. Within the transformer models, the self-attention mechanism is one of the main building blocks that strives to capture long-range dependencies. However, the self-attention operation has quadratic complexity which proves to be a computational bottleneck, especially in volumetric medical imaging, where the inputs are 3D with numerous slices. In this paper, we propose a 3D medical image segmentation approach, named UNETR++, that offers both high-quality segmentation masks as well as efficiency in terms of parameters, compute cost, and inference speed. The core of our design is the introduction of a novel efficient paired attention (EPA) block that efficiently learns spatial and channel-wise discriminative features using a pair of inter-dependent branches based on spatial and channel attention. Our spatial attention formulation is efficient having linear complexity with respect to the input sequence length. To enable communication between spatial and channel-focused branches, we share the weights of query and key mapping functions that provide a complimentary benefit (paired attention), while also reducing the overall network parameters. Our extensive evaluations on five benchmarks, Synapse, BTCV, ACDC, BRaTs, and Decathlon-Lung, reveal the effectiveness of our contributions in terms of both efficiency and accuracy. On Synapse, our UNETR++ sets a new state-of-the-art with a Dice Score of 87.2%, while being significantly efficient with a reduction of over 71% in terms of both parameters and FLOPs, compared to the best method in the literature. Code: https://github.com/Amshaker/unetr_plus_plus.


title: VideoDex: Learning Dexterity from Internet Videos

abstract: To build general robotic agents that can operate in many environments, it is often imperative for the robot to collect experience in the real world. However, this is often not feasible due to safety, time, and hardware restrictions. We thus propose leveraging the next best thing as real-world experience: internet videos of humans using their hands. Visual priors, such as visual features, are often learned from videos, but we believe that more information from videos can be utilized as a stronger prior. We build a learning algorithm, VideoDex, that leverages visual, action, and physical priors from human video datasets to guide robot behavior. These actions and physical priors in the neural network dictate the typical human behavior for a particular robot task. We test our approach on a robot arm and dexterous hand-based system and show strong results on various manipulation tasks, outperforming various state-of-the-art methods. Videos at https://video-dex.github.io


title: Non-Invertible Gauss Law and Axions

abstract: In axion-Maxwell theory at the minimal axion-photon coupling, we find non-invertible 0- and 1-form global symmetries arising from the naive shift and center symmetries. Since the Gauss law is anomalous, there is no conserved, gauge-invariant, and quantized electric charge. Rather, using half higher gauging, we find a non-invertible Gauss law associated with a non-invertible 1-form global symmetry, which is related to the Page charge. These symmetries act invertibly on the axion field and Wilson line, but non-invertibly on the monopoles and axion strings, leading to selection rules related to the Witten effect. We also derive various crossing relations between the defects. The non-invertible 0- and 1-form global symmetries mix with other invertible symmetries in a way reminiscent of a higher-group symmetry. Using this non-invertible higher symmetry structure, we derive universal inequalities on the energy scales where different infrared symmetries emerge in any renormalization group flow to the axion-Maxwell theory. Finally, we discuss implications for the Weak Gravity Conjecture and the Completeness Hypothesis in quantum gravity.


title: Masked Video Distillation: Rethinking Masked Feature Modeling for Self-supervised Video Representation Learning

abstract: Benefiting from masked visual modeling, self-supervised video representation learning has achieved remarkable progress. However, existing methods focus on learning representations from scratch through reconstructing low-level features like raw pixel RGB values. In this paper, we propose masked video distillation (MVD), a simple yet effective two-stage masked feature modeling framework for video representation learning: firstly we pretrain an image (or video) model by recovering low-level features of masked patches, then we use the resulting features as targets for masked feature modeling. For the choice of teacher models, we observe that students taught by video teachers perform better on temporally-heavy video tasks, while image teachers transfer stronger spatial representations for spatially-heavy video tasks. Visualization analysis also indicates different teachers produce different learned patterns for students. Motivated by this observation, we design a spatial-temporal co-teaching method for MVD. Specifically, we distill student models from both video teachers and image teachers by masked feature modeling. Extensive experimental results demonstrate that video transformers pretrained with spatial-temporal co-teaching outperform models distilled with a single teacher on a multitude of video datasets. Our MVD with vanilla ViT achieves state-of-the-art performance compared with previous supervised or self-supervised methods on several challenging video downstream tasks. For example, with the ViT-Large model, our MVD achieves 86.4% and 76.7% Top-1 accuracy on Kinetics-400 and Something-Something-v2, outperforming VideoMAE by 1.2% and 2.4% respectively. When a larger ViT-Huge model is adopted, MVD achieves the state-of-the-art performance with 77.3% Top-1 accuracy on Something-Something-v2 and 41.1 mAP on AVA v2.2. Code will be available at \url{https://github.com/ruiwang2021/mvd}.


title: Learning Video Representations from Large Language Models

abstract: We introduce LaViLa, a new approach to learning video-language representations by leveraging Large Language Models (LLMs). We repurpose pre-trained LLMs to be conditioned on visual input, and finetune them to create automatic video narrators. Our auto-generated narrations offer a number of advantages, including dense coverage of long videos, better temporal synchronization of the visual information and text, and much higher diversity of text. The video-text embedding learned contrastively with these additional auto-generated narrations outperforms the previous state-of-the-art on multiple first-person and third-person video tasks, both in zero-shot and finetuned setups. Most notably, LaViLa obtains an absolute gain of 10.1% on EGTEA classification and 5.9% Epic-Kitchens-100 multi-instance retrieval benchmarks. Furthermore, LaViLa trained with only half the narrations from the Ego4D dataset outperforms baseline models trained on the full set, and shows positive scaling behavior on increasing pre-training data and model size.


title: Application of non-uniform Fourier transform to non-uniform sampling Fourier transform spectrometers

abstract: Resampling by interpolation is the traditional method to process interferograms from non-uniformly sampled Fourier transform spectrometers. The non-uniform fast Fourier transform (NUFFT) is an alternative approach that has been mostly overlooked. With the aid of experiments on a high-resolution interferometer with a variety of optical sources, these two methods are compared. It is found that the NUFFT is comparable to interpolation in spectral profile shape and spectral noise levels and is better in spectral amplitude and computer performance. A significant advantage is also found in the case of under-sampling and noise performance by NUFFT due to the unique non-periodic nature of non-uniform sampling. In addition, a novel implementation of NUFFT is presented and analysed.


title: The discrete Green-Schwarz mechanism in 6D F-Theory and Elliptic Genera of Non-Critical Strings

abstract: We study global anomalies of discrete gauge symmetries in six-dimensional supergravities and their realizations in F-theory. We explicitly construct a discrete Green-Schwarz mechanism that depends on the choice of a coupling constant and on a certain quadratic refinement in differential cohomology. By geometrically engineering theories with $G=\mathbb{Z}_3$ gauge symmetry and no tensor multiplets, we observe that a particular choice of the quadratic refinement is singled out in F-theory. This implies new Swampland constraints on the discrete charge spectra of 6d supergravities. On the other hand, the discrete Green-Schwarz coupling depends on the geometry of the Calabi-Yau. We use anomaly inflow to relate this to a 't Hooft anomaly of the induced global symmetry in the worldsheet theories of non-critical strings. Using topological symmetry lines, we further relate this anomaly to the modular properties of twisted-twined elliptic genera. We then argue that the latter are encoded in the A-model topological string partition functions on different torus fibrations that are equipped with a flat torsional B-field. This allows us to derive a geometric expression for the global discrete anomaly in terms of the height-pairing of a multi-section on a genus one fibered Calabi-Yau.


title: Doped Semiconductor Devices for sub-MeV Dark Matter Detection

abstract: Dopant atoms in semiconductors can be ionized with $\sim10$ meV energy depositions, allowing for the design of low-threshold detectors. We propose using doped semiconductor targets to search for sub-MeV dark matter scattering or sub-eV dark matter absorption on electrons. Currently unconstrained cross sections could be tested with a 1 g-day exposure in a doped detector with backgrounds at the level of existing pure semiconductor detectors, but improvements would be needed to probe the freeze-in target. We discuss the corresponding technological requirements and lay out a possible detector design.


title: Directional detection of dark matter with anisotropic response functions

abstract: Direct detection for sub-GeV dark matter is developing rapidly, with many novel experimental ideas and theoretical methods emerging. In this work, we extend the dielectric formalism for dark matter scattering to incorporate anisotropic material responses, enabling directionally-sensitive experiments with a broad class of target materials. Using a simple model of an anisotropic electron gas, we demonstrate the importance of many-body effects such as the plasmon, and show that even when the dark matter kinetic energies are much smaller than the plasmon energy, the tail of an anisotropic plasmon can still produce a sizeable daily modulation. We highlight the relevant experimental techniques required to establish the target response, as well as the challenges in extracting a response function which is truly free of modeling uncertainties.

categories: hep-ph cond-mat.str-el hep-ex physics.optics


title: The Uplifton

abstract: Almost all proposals to construct de Sitter vacua with a small cosmological constant involve flux compactifications with stabilized moduli. These give AdS vacua, which are uplifted to de Sitter by adding antibranes in certain regions of the compactification manifold. However, antibranes are charged, singular and interact nontrivially with other ingredients of the compactification; this can invalidate the de Sitter construction. In this Letter, we construct a new ingredient for uplifting AdS solutions to de Sitter, which is neutral, smooth and horizonless, and therefore bypasses some of the problems of antibrane uplift.


title: Actinide-boosting r Process in Black Hole-Neutron Star Merger Ejecta

abstract: We examine nucleosynthesis in the ejecta of black hole-neutron star mergers based on the results of self-consistent, long-term neutrino-radiation-magnetohydrodynamics simulations for the first time. We find that the combination of dynamical and post-merger ejecta reproduces a solar-like r-process pattern. Moreover, the enhancement level of actinides is highly sensitive to the distribution of both electron fraction and the velocity of the dynamical ejecta. Our result implies that the mean electron fraction of dynamical ejecta should be ~ 0.05-0.08 in order to reconcile the nucleosynthetic abundances with those in r-process-enhanced, actinide-boosted stars. This result provides an important constraint for nuclear equations of state.


title: Compiler Optimization for Quantum Computing Using Reinforcement Learning

abstract: Any quantum computing application, once encoded as a quantum circuit, must be compiled before being executable on a quantum computer. Similar to classical compilation, quantum compilation is a sequential process with many compilation steps and numerous possible optimization passes. Despite the similarities, the development of compilers for quantum computing is still in its infancy -- lacking mutual consolidation on the best sequence of passes, compatibility, adaptability, and flexibility. In this work, we take advantage of decades of classical compiler optimization and propose a reinforcement learning framework for developing optimized quantum circuit compilation flows. Through distinct constraints and a unifying interface, the framework supports the combination of techniques from different compilers and optimization tools in a single compilation flow. Experimental evaluations show that the proposed framework -- set up with a selection of compilation passes from IBM's Qiskit and Quantinuum's TKET -- significantly outperforms both individual compilers in 73% of cases regarding the expected fidelity. The framework is available on GitHub (https://github.com/cda-tum/MQTPredictor) as part of the Munich Quantum Toolkit (MQT).


title: Comets and Planetesimal Formation

abstract: In this chapter, we review the processes involved in the formation of planetesimals and comets. We will start with a description of the physics of dust grain growth and how this is mediated by gas-dust interactions in planet-forming disks. We will then delve into the various models of planetesimal formation, describing how these planetesimals form as well as their resulting structure. In doing so, we focus on and compare two paradigms for planetesimal formation: the gravitational collapse of particle over-densities (which can be produced by a variety of mechanisms) and the growth of particles into planetesimals via collisional and gravitational coagulation. Finally, we compare the predictions from these models with data collected by the Rosetta and New Horizons missions and that obtained via observations of distant Kuiper Belt Objects.


title: A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories

abstract: Studying the impact of new-physics models on low-energy observables necessitates matching to effective field theories at the relevant mass thresholds. We introduce the first public version of Matchete, a computer tool for matching weakly-coupled models at one-loop order. It uses functional methods to directly compute all matching contributions in a manifestly gauge-covariant manner, while simplification methods eliminate redundant operators from the output. We sketch the workings of the program and provide examples of how to match simple Standard Model extensions. The package, documentation, and example notebooks are publicly available at https://gitlab.com/matchete/matchete.


title: No Need for Extreme Stellar Masses at z~7: A Test-case Study of COS-87259

abstract: Recent controversy regarding the existence of massive (log(M/Msun)>11) galaxies at z>6 poses a challenge for galaxy formation theories. Hence, it is of critical importance to understand the effects of SED fitting methods on stellar mass estimates of Epoch of Reionization galaxies. In this work, we perform a case study on the AGN host galaxy candidate COS-87259 with spectroscopic redshift z=6.853, that is claimed to have an extremely high stellar mass of log(M/Msun)~11.2. We test a suite of different SED fitting algorithms and stellar population models on our independently measured photometry in 17 broad bands for this source. Between five different code setups, the stellar mass estimates for COS-87259 span log(M/Msun)=10.24-11.00, whilst the reduced chi-squared values of the fits are all close to unity within dchi2=1.2, so that the quality of the SED fits is basically indistinguishable. Only when we adopt a nonparametric star formation history model within Prospector do we retrieve a stellar mass exceeding log(M/Msun)=11. Although the derived stellar masses change when using previously reported photometry for this source, the nonparametric SED-fitting method always yields the highest values. As these models are becoming increasingly popular for James Webb Space Telescope high-redshift science, we stress the absolute importance of testing various SED fitting routines particularly on apparently very massive galaxies at such high redshifts.


title: $T\bar T + \Lambda_2$ from a 2d gravity path integral

abstract: We develop a two-dimensional gravity path integral formulation of the $T \bar T + \Lambda_2$ deformation of quantum field theory. This provides an exactly solvable generalization of the pure $T \bar T$ deformation that is relevant for de Sitter and flat space holography. The path integral sheds light on quantum aspects of these flows in curved space, most notably the Weyl anomaly, the operator relation for the trace of the energy-momentum tensor, and the renormalization of the composite $T \bar T$ operator. It also applies to both the Hagedorn and the holographic signs of such flows. We present explicit calculations for the torus and sphere partition functions that reproduce previous results in the literature, now in path integral language. Finally, we use the path integral representation in order to establish an explicit map with 3d gravity, and obtain new predictions for flat space holography.