title: In Search for a Generalizable Method for Source Free Domain Adaptation

abstract: Source-free domain adaptation (SFDA) is compelling because it allows adapting an off-the-shelf model to a new domain using only unlabelled data. In this work, we apply existing SFDA techniques to a challenging set of naturally-occurring distribution shifts in bioacoustics, which are very different from the ones commonly studied in computer vision. We find existing methods perform differently relative to each other than observed in vision benchmarks, and sometimes perform worse than no adaptation at all. We propose a new simple method which outperforms the existing methods on our new shifts while exhibiting strong performance on a range of vision datasets. Our findings suggest that existing SFDA methods are not as generalizable as previously thought and that considering diverse modalities can be a useful avenue for designing more robust models.


title: High precision numerical sequences of rotating hairy black holes

abstract: We analyze numerically the existence of regular stationary rotating hairy black holes within the framework of general relativity, which are the result of solving the Einstein-Klein-Gordon system for a complex-valued scalar field under suitable boundary (regularity and asymptotically flat) conditions. To that aim we solve the corresponding system of elliptic partial differential equations using spectral methods which are specially suited for such a numerical task. In order to obtain such system of equations we employ a parametrization for the metric that corresponds to quasi-isotropic coordinates (QIC) that have been used in the past for analyzing different kinds of stationary rotating relativistic systems. Our findings are in agreement with those reported originally by Herdeiro \& Radu ite{Herdeiro2014,Herdeiro2015}. The method is submitted to several analytic and numerical tests, which include the recovery of the Kerr solution in QIC and the cloud solutions in the Kerr background. We report different global quantities that allow us to determine the contribution of the boson hair to the spacetime, as well as relevant quantities at the horizon, like the surface gravity. The latter indicates to what extent the hairy solutions approach the extremal limit, noting that for this kind of solutions the ratio of the angular momentum per squared mass $J_\infty/M^2_{\rm ADM}$ can be larger than unity due to the contribution of the scalar hair, a situation which differs from the Kerr metric where this parameter is bounded according to $0\leq |J/M^2| \leq 1$ with the upper bound corresponding to the extremal case.


title: SMEFiT: a flexible toolbox for global interpretations of particle physics data with effective field theories

abstract: The Standard Model Effective Field Theory (SMEFT) provides a robust framework to interpret experimental measurements in the context of new physics scenarios while minimising assumptions on the nature of the underlying UV-complete theory. We present the Python open source SMEFiT framework, designed to carry out parameter inference in the SMEFT within a global analysis of particle physics data. SMEFiT is suitable for inference problems involving a large number of EFT degrees of freedom, without restrictions on their functional dependence in the fitted observables, can include UV-inspired restrictions in the parameter space, and implements arbitrary rotations between operator bases. Posterior distributions are determined from two complementary approaches, Nested Sampling and Monte Carlo optimisation. SMEFiT is released together with documentation, tutorials, and post-analysis reporting tools, and can be used to carry out state-of-the-art EFT fits of Higgs, top quark, and electroweak production data. To illustrate its functionalities, we reproduce the results of the recent ATLAS EFT interpretation of Higgs and electroweak data from Run II and demonstrate how equivalent results are obtained in two different operator bases.


title: Self-Dual Black Holes in Celestial Holography

abstract: We construct two-dimensional quantum states associated to four-dimensional linearized rotating self-dual black holes in $(2,2)$ signature Klein space. The states are comprised of global conformal primaries circulating on the celestial torus, the Kleinian analog of the celestial sphere. By introducing a generalized tower of Goldstone operators we identify the states as coherent exponentiations carrying an infinite tower of ${\rm w}_{1+\infty}$ charges or soft hair. We relate our results to recent approaches to black hole scattering, including a connection to Wilson lines, $\mathcal{S}$-matrix results, and celestial holography in curved backgrounds.


title: Proposal for Observing Yang-Lee Criticality in Rydberg Atomic Arrays

abstract: Yang-Lee edge singularities (YLES) are the edges of the partition function zeros of an interacting spin model in the space of complex control parameters. They play an important role in understanding non-Hermitian phase transitions in many-body physics, as well as characterizing the corresponding nonunitary criticality. Even though such partition function zeroes have been measured in dynamical experiments where time acts as the imaginary control field, experimentally demonstrating such YLES criticality with a physical imaginary field has remained elusive due to the difficulty of physically realizing non-Hermitian many-body models. We provide a protocol for observing the YLES by detecting kinked dynamical magnetization responses due to broken PT symmetry, thus enabling the physical probing of nonunitary phase transitions in nonequilibrium settings. In particular, scaling analyses based on our nonunitary time evolution circuit with matrix product states accurately recover the exponents uniquely associated with the corresponding nonunitary CFT. We provide an explicit proposal for observing YLES criticality in Floquet quenched Rydberg atomic arrays with laser-induced loss, which paves the way towards a universal platform for simulating non-Hermitian many-body dynamical phenomena.


title: Mergers of neutron stars and black holes with cores of giant stars: a population synthesis study

abstract: We perform population synthesis of massive binaries to study the mergers of neutron stars (NSs) and black holes (BHs) with the cores of their giant secondaries during common envelope evolution (CEE). We use different values of the efficiency parameter $\alpha_{\rm CE}$ in the framework of the energy formalism for traditional CEE ($\alpha_{\rm CE} \leq 1$) and including additional energy sources to unbind the envelope ($\alpha_{\rm CE} > 1$). We constrain the possible values of $\alpha_{\rm CE}$ by comparing the results of our simulations with local rate densities of binary compact object mergers as inferred from gravitational-wave observations. We find two main evolutionary pathways of binary systems that result in NS-core mergers, while only one of them can also lead to the merger of a BH with the core of the giant star. We explore the zero age main sequence (ZAMS) statistical properties of systems that result in NS/BH-core mergers and find that the two evolutionary channels correspond to a bimodal distribution of orbital separations. We estimate the percentage of the mergers' event rates relative to core collapse supernovae (CCSNe). We include the effect of mass accreted by the NS/BH during CEE in a separate set of simulations and find it does not affect the mergers' event rates.


title: Generalizations of the Muller-Schupp theorem and tree-like inverse graphs

abstract: We extend the characterization of context-free groups of Muller and Schupp in two ways. We first show that for a quasi-transitive inverse graph $\Gamma$, being quasi-isometric to a tree, or context-free (finitely many end-cones types), or having the automorphism group $Aut(\Gamma)$ that is virtually free, are all equivalent conditions. Furthermore, we add to the previous equivalences a group theoretic analog to the representation theorem of Chomsky-Sch\"utzenberger that is fundamental in solving a weaker version of a conjecture of T. Brough which also extends Muller and Schupp' result to the class of groups that are virtually finitely generated subgroups of direct product of free groups. We show that such groups are precisely those whose word problem is the intersection of a finite number of languages accepted by quasi-transitive, tree-like inverse graphs.


title: Optimal Algorithms for the Inhomogeneous Spiked Wigner Model

abstract: In this paper, we study a spiked Wigner problem with an inhomogeneous noise profile. Our aim in this problem is to recover the signal passed through an inhomogeneous low-rank matrix channel. While the information-theoretic performances are well-known, we focus on the algorithmic problem. We derive an approximate message-passing algorithm (AMP) for the inhomogeneous problem and show that its rigorous state evolution coincides with the information-theoretic optimal Bayes fixed-point equations. We identify in particular the existence of a statistical-to-computational gap where known algorithms require a signal-to-noise ratio bigger than the information-theoretic threshold to perform better than random. Finally, from the adapted AMP iteration we deduce a simple and efficient spectral method that can be used to recover the transition for matrices with general variance profiles. This spectral method matches the conjectured optimal computational phase transition.


title: Decay of solutions of the wave equation in cosmological spacetimes -- a numerical analysis

abstract: We numerically evolve spherically symmetric solutions to the linear wave equation on some expanding Friedmann-Lema\^itre-Robertson-Walker (FLRW) spacetimes and study the respective asymptotics for large times. We find a quantitative relation between the expansion rate of the underlying background universe and the decay rate of linear waves, also in the context of spatially-hyperbolic spacetimes, for which rigorous proofs of decay rates are not generally known. A prominent role in the decay mechanism is shown to be played by tails, i.e. scattered waves propagating in the interior of the lightcone.


title: Deep neural operators can predict the real-time response of floating offshore structures under irregular waves

abstract: The use of neural operators in a digital twin model of an offshore floating structure can provide a paradigm shift in structural response prediction and health monitoring, providing valuable information for real-time control. In this work, the performance of three neural operators is evaluated, namely, deep operator network (DeepONet), Fourier neural operator (FNO), and Wavelet neural operator (WNO). We investigate the effectiveness of the operators to accurately capture the responses of a floating structure under six different sea state codes $(3-8)$ based on the wave characteristics described by the World Meteorological Organization (WMO). The results demonstrate that these high-precision neural operators can deliver structural responses more efficiently, up to two orders of magnitude faster than a dynamic analysis using conventional numerical solvers. Additionally, compared to gated recurrent units (GRUs), a commonly used recurrent neural network for time-series estimation, neural operators are both more accurate and efficient, especially in situations with limited data availability. To further enhance the accuracy, novel extensions, such as wavelet-DeepONet and self-adaptive WNO, are proposed. Taken together, our study shows that FNO outperforms all other operators for approximating the mapping of one input functional space to the output space as well as for responses that have small bandwidth of the frequency spectrum, whereas for learning the mapping of multiple functions in the input space to the output space as well as for capturing responses within a large frequency spectrum, DeepONet with historical states provides the highest accuracy.


title: Ruin Probabilities for Risk Processes in Stochastic Networks

abstract: We study multidimensional Cram\'er-Lundberg risk processes where agents, located on a large sparse network, receive losses form their neighbors. To reduce the dimensionality of the problem, we introduce classification of agents according to an arbitrary countable set of types. The ruin of any agent triggers losses for all of its neighbours. We consider the case when the loss arrival process induced by the ensemble of ruined agents follows a Poisson process with general intensity function that scales with the network size. When the size of the network goes to infinity, we provide explicit ruin probabilities at the end of the loss propagation process for agents of any type. These limiting probabilities depend, in addition to the agents' types and the network structure, on the loss distribution and the loss arrival process. For a more complex risk processes on open networks, when in addition to the internal networked risk processes the agents receive losses from external users, we provide bounds on ruin probabilities.


title: Large monochromatic components in expansive hypergraphs

abstract: A result of Gy\'arf\'as exactly determines the size of a largest monochromatic component in an arbitrary $r$-coloring of the complete $k$-uniform hypergraph $K_n^k$ when $k\geq 2$ and $r-1\leq k\leq r$. We prove a result which says that if one replaces $K_n^k$ in Gy\'arf\'as' theorem by any ``expansive'' $k$-uniform hypergraph on $n$ vertices (that is, a $k$-uniform hypergraph $H$ on $n$ vertices in which in which $e(V_1, \dots, V_k)>0$ for all disjoint sets $V_1, \dots, V_k\subseteq V(H)$ with $|V_i|>\alpha$ for all $i\in [k]$), then one gets a largest monochromatic component of essentially the same size (within a small error term depending on $r$ and $\alpha$). As corollaries we recover a number of known results about large monochromatic components in random hypergraphs and random Steiner triple systems, often with drastically improved bounds on the error terms. Gy\'arf\'as' result is equivalent to the dual problem of determining the smallest maximum degree of an arbitrary $r$-partite $r$-uniform hypergraph with $n$ edges in which every set of $k$ edges has a common intersection. In this language, our result says that if one replaces the condition that every set of $k$ edges has a common intersection with the condition that for every collection of $k$ disjoint sets $E_1, \dots, E_k\subseteq E(H)$ with $|E_i|>\alpha$ for all $i\in [k]$ there exists $e_i\in E_i$ for all $i\in [k]$ such that $e_1\cap \dots \cap e_k\neq \emptyset$, then the maximum degree of $H$ is essentially the same (within a small error term depending on $r$ and $\alpha$). We prove our results in this dual setting.


title: Explainable Anomaly Detection in Images and Videos: A Survey

abstract: Anomaly detection and localization of visual data, including images and videos, are of great significance in both machine learning academia and applied real-world scenarios. Despite the rapid development of visual anomaly detection techniques in recent years, the interpretations of these black-box models and reasonable explanations of why anomalies can be distinguished out are scarce. This paper provides the first survey concentrated on explainable visual anomaly detection methods. We first introduce the basic background of image-level and video-level anomaly detection. Then, as the main content of this survey, a comprehensive and exhaustive literature review of explainable anomaly detection methods for both images and videos is presented. Next, we analyze why some explainable anomaly detection methods can be applied to both images and videos and why others can be only applied to one modality. Additionally, we provide summaries of current 2D visual anomaly detection datasets and evaluation metrics. Finally, we discuss several promising future directions and open problems to explore the explainability of 2D visual anomaly detection. The related resource collection is given at https://github.com/wyzjack/Awesome-XAD.


title: GenAug: Retargeting behaviors to unseen situations via Generative Augmentation

abstract: Robot learning methods have the potential for widespread generalization across tasks, environments, and objects. However, these methods require large diverse datasets that are expensive to collect in real-world robotics settings. For robot learning to generalize, we must be able to leverage sources of data or priors beyond the robot's own experience. In this work, we posit that image-text generative models, which are pre-trained on large corpora of web-scraped data, can serve as such a data source. We show that despite these generative models being trained on largely non-robotics data, they can serve as effective ways to impart priors into the process of robot learning in a way that enables widespread generalization. In particular, we show how pre-trained generative models can serve as effective tools for semantically meaningful data augmentation. By leveraging these pre-trained models for generating appropriate "semantic" data augmentations, we propose a system GenAug that is able to significantly improve policy generalization. We apply GenAug to tabletop manipulation tasks, showing the ability to re-target behavior to novel scenarios, while only requiring marginal amounts of real-world data. We demonstrate the efficacy of this system on a number of object manipulation problems in the real world, showing a 40% improvement in generalization to novel scenes and objects.


title: Deterministic regular functions of infinite words

abstract: Regular functions of infinite words are (partial) functions realized by deterministic two-way transducers with infinite look-ahead. Equivalently, Alur et. al. have shown that they correspond to functions realized by deterministic Muller streaming string transducers, and to functions defined by MSO-transductions. Regular functions are however not computable in general (for a classical extension of Turing computability to infinite inputs), and we consider in this paper the class of deterministic regular functions of infinite words, realized by deterministic two-way transducers without look-ahead. We prove that it is a well-behaved class of functions: they are computable, closed under composition, characterized by the guarded fragment of MSO-transductions, by deterministic B\"uchi streaming string transducers, by deterministic two-way transducers with finite look-ahead, and by finite compositions of sequential functions and one fixed basic function called map-copy-reverse.


title: Unified Topological Inference for Brain Networks in Temporal Lobe Epilepsy Using the Wasserstein Distance

abstract: Persistent homology offers a powerful tool for extracting hidden topological signals from brain networks. It captures the evolution of topological structures across multiple scales, known as filtrations, thereby revealing topological features that persist over these scales. These features are summarized in persistence diagrams, and their dissimilarity is quantified using the Wasserstein distance. However, the Wasserstein distance does not follow a known distribution, posing challenges for the application of existing parametric statistical models.To tackle this issue, we introduce a unified topological inference framework centered on the Wasserstein distance. Our approach has no explicit model and distributional assumptions. The inference is performed in a completely data driven fashion. We apply this method to resting-state functional magnetic resonance images (rs-fMRI) of temporal lobe epilepsy patients collected from two different sites: the University of Wisconsin-Madison and the Medical College of Wisconsin. Importantly, our topological method is robust to variations due to sex and image acquisition, obviating the need to account for these variables as nuisance covariates. We successfully localize the brain regions that contribute the most to topological differences. A MATLAB package used for all analyses in this study is available at https://github.com/laplcebeltrami/PH-STAT.


title: PK-ICR: Persona-Knowledge Interactive Context Retrieval for Grounded Dialogue

abstract: Identifying relevant persona or knowledge for conversational systems is critical to grounded dialogue response generation. However, each grounding has been mostly researched in isolation with more practical multi-context dialogue tasks introduced in recent works. We define Persona and Knowledge Dual Context Identification as the task to identify persona and knowledge jointly for a given dialogue, which could be of elevated importance in complex multi-context dialogue settings. We develop a novel grounding retrieval method that utilizes all contexts of dialogue simultaneously. Our method requires less computational power via utilizing neural QA retrieval models. We further introduce our novel null-positive rank test which measures ranking performance on semantically dissimilar samples (i.e. hard negatives) in relation to data augmentation.


title: Symbolic Discovery of Optimization Algorithms

abstract: We present a method to formulate algorithm discovery as program search, and apply it to discover optimization algorithms for deep neural network training. We leverage efficient search techniques to explore an infinite and sparse program space. To bridge the large generalization gap between proxy and target tasks, we also introduce program selection and simplification strategies. Our method discovers a simple and effective optimization algorithm, $\textbf{Lion}$ ($\textit{Evo$\textbf{L}$ved S$\textbf{i}$gn M$\textbf{o}$me$\textbf{n}$tum}$). It is more memory-efficient than Adam as it only keeps track of the momentum. Different from adaptive optimizers, its update has the same magnitude for each parameter calculated through the sign operation. We compare Lion with widely used optimizers, such as Adam and Adafactor, for training a variety of models on different tasks. On image classification, Lion boosts the accuracy of ViT by up to 2% on ImageNet and saves up to 5x the pre-training compute on JFT. On vision-language contrastive learning, we achieve 88.3% $\textit{zero-shot}$ and 91.1% $\textit{fine-tuning}$ accuracy on ImageNet, surpassing the previous best results by 2% and 0.1%, respectively. On diffusion models, Lion outperforms Adam by achieving a better FID score and reducing the training compute by up to 2.3x. For autoregressive, masked language modeling, and fine-tuning, Lion exhibits a similar or better performance compared to Adam. Our analysis of Lion reveals that its performance gain grows with the training batch size. It also requires a smaller learning rate than Adam due to the larger norm of the update produced by the sign function. Additionally, we examine the limitations of Lion and identify scenarios where its improvements are small or not statistically significant. Lion is also successfully deployed in production systems such as Google search ads CTR model.


title: Netflix and Forget: Efficient and Exact Machine Unlearning from Bi-linear Recommendations

abstract: People break up, miscarry, and lose loved ones. Their online streaming and shopping recommendations, however, do not necessarily update, and may serve as unhappy reminders of their loss. When users want to renege on their past actions, they expect the recommender platforms to erase selective data at the model level. Ideally, given any specified user history, the recommender can unwind or "forget", as if the record was not part of training. To that end, this paper focuses on simple but widely deployed bi-linear models for recommendations based on matrix completion. Without incurring the cost of re-training, and without degrading the model unnecessarily, we develop Unlearn-ALS by making a few key modifications to the fine-tuning procedure under Alternating Least Squares optimisation, thus applicable to any bi-linear models regardless of the training procedure. We show that Unlearn-ALS is consistent with retraining without \emph{any} model degradation and exhibits rapid convergence, making it suitable for a large class of existing recommenders.


title: System identification of neural systems: If we got it right, would we know?

abstract: Artificial neural networks are being proposed as models of parts of the brain. The networks are compared to recordings of biological neurons, and good performance in reproducing neural responses is considered to support the model's validity. A key question is how much this system identification approach tells us about brain computation. Does it validate one model architecture over another? We evaluate the most commonly used comparison techniques, such as a linear encoding model and centered kernel alignment, to correctly identify a model by replacing brain recordings with known ground truth models. System identification performance is quite variable; it also depends significantly on factors independent of the ground truth architecture, such as stimuli images. In addition, we show the limitations of using functional similarity scores in identifying higher-level architectural motifs.


title: Berry curvature associated to Fermi arcs in continuum and lattice Weyl systems

abstract: Recently it has been discovered that in Weyl semimetals the surface state Berry curvature can diverge in certain regions of momentum. This occurs in a continuum description of tilted Weyl cones, which for a slab geometry results in the Berry curvature dipole associated to the surface Fermi arcs growing linearly with slab thickness. Here we investigate analytically incarnations of lattice Weyl semimetals and demonstrate this diverging surface Berry curvature by solving for their surface states and connect these to their continuum descriptions. We show how the shape of the Fermi arc and the Berry curvature hot-line is determined and confirm the 1/k^2 divergence of the Berry curvature at the end of the Fermi arc as well as the finite size effects for the Berry curvature and its dipole, using finite slab calculations and surface Green's function methods. We further establish that apart from affecting the second order, non-linear Hall effect, the divergent Berry curvature has a strong impact on other transport phenomena as the Magnus-Hall effect and the non-linear chiral anomaly.


title: Exploring new exchange-correlation kernels in the Bethe-Salpeter equation: a study of the asymmetric Hubbard dimer

abstract: The Bethe-Salpeter equation (BSE) is the key equation in many-body perturbation theory based on Green's functions to access response properties. Within the $GW$ approximation to the exchange-correlation kernel, the BSE has been successfully applied to several finite and infinite systems. However, it also shows some failures, such as underestimated triplet excitation energies, lack of double excitations, ground-state energy instabilities in the dissociation limit, etc. In this work, we study the performance of the BSE within the $GW$ approximation as well as the $T$-matrix approximation for the excitation energies of the exactly solvable asymmetric Hubbard dimer. This model allows one to study various correlation regimes by varying the on-site Coulomb interaction $U$ as well as the degree of the asymmetry of the system by varying the difference of potential $\Delta v$ between the two sites. We show that, overall, the $GW$ approximation gives more accurate excitation energies than $GT$ over a wide range of $U$ and $\Delta v$. However, the strongly-correlated (i.e., large $U$) regime still remains a challenge.


title: X-ray pulsar GRO J1008$-$57 as an orthogonal rotator

abstract: X-ray polarimetry is a unique way to probe the geometrical configuration of highly magnetized accreting neutron stars (X-ray pulsars). GRO J1008$-$57 is the first transient X-ray pulsar observed at two different flux levels by the Imaging X-ray Polarimetry Explorer (IXPE) during its outburst in November 2022. We find the polarization properties of GRO J1008$-$57 to be independent of its luminosity, with the polarization degree varying between nondetection and about 15% over the pulse phase. Fitting the phase-resolved spectro-polarimetric data with the rotating vector model allowed us to estimate the pulsar inclination (130 deg, which is in good agreement with the orbital inclination), the position angle (75 deg) of the pulsar spin axis, and the magnetic obliquity (74 deg). This makes GRO J1008$-$57 the first confidently identified nearly orthogonal rotator among X-ray pulsars. We discuss our results in the context of the neutron star atmosphere models and theories of the axis alignment of accreting pulsars.


title: User-Centered Design (IX): A "User Experience 3.0" Paradigm Framework in the Intelligence Era

abstract: The field of user experience (UX) based on the design philosophy of "user-centered design" is moving towards the intelligence era. Still, the existing UX paradigm mainly aims at non-intelligent systems and lacks a systematic approach to UX for intelligent systems. Throughout the development of UX, the UX paradigm shows the evolution characteristics of the cross-technology era. At present, the intelligence era has put forward new demands on the UX paradigm. For this reason, this paper proposes a "UX 3.0" paradigm framework and the corresponding UX methodology system in the intelligence era. The "UX 3.0" paradigm framework includes five categories of UX methods: ecological experience, innovation-enabled experience, AI-enabled experience, human-AI interaction-based experience, and human-AI collaboration-based experience methods, each providing corresponding multiple UX paradigmatic orientations. The proposal of the "UX 3.0" paradigm helps improve the existing UX methods and provides methodological support for the research and applications of UX in developing intelligent systems. Finally, this paper looks forward to future research and applications of the "UX 3.0" paradigm.


title: Parametric Differential Machine Learning for Pricing and Calibration

abstract: Differential machine learning (DML) is a recently proposed technique that uses samplewise state derivatives to regularize least square fits to learn conditional expectations of functionals of stochastic processes as functions of state variables. Exploiting the derivative information leads to fewer samples than a vanilla ML approach for the same level of precision. This paper extends the methodology to parametric problems where the processes and functionals also depend on model and contract parameters, respectively. In addition, we propose adaptive parameter sampling to improve relative accuracy when the functionals have different magnitudes for different parameter sets. For calibration, we construct pricing surrogates for calibration instruments and optimize over them globally. We discuss strategies for robust calibration. We demonstrate the usefulness of our methodology on one-factor Cheyette models with benchmark rate volatility specification with an extra stochastic volatility factor on (two-curve) caplet prices at different strikes and maturities, first for parametric pricing, and then by calibrating to a given caplet volatility surface. To allow convenient and efficient simulation of processes and functionals and in particular the corresponding computation of samplewise derivatives, we propose to specify the processes and functionals in a low-code way close to mathematical notation which is then used to generate efficient computation of the functionals and derivatives in TensorFlow.


title: Enhancing Multivariate Time Series Classifiers through Self-Attention and Relative Positioning Infusion

abstract: Time Series Classification (TSC) is an important and challenging task for many visual computing applications. Despite the extensive range of methods developed for TSC, relatively few utilized Deep Neural Networks (DNNs). In this paper, we propose two novel attention blocks (Global Temporal Attention and Temporal Pseudo-Gaussian augmented Self-Attention) that can enhance deep learning-based TSC approaches, even when such approaches are designed and optimized for a specific dataset or task. We validate this claim by evaluating multiple state-of-the-art deep learning-based TSC models on the University of East Anglia (UEA) benchmark, a standardized collection of 30 Multivariate Time Series Classification (MTSC) datasets. We show that adding the proposed attention blocks improves base models' average accuracy by up to 3.6%. Additionally, the proposed TPS block uses a new injection module to include the relative positional information in transformers. As a standalone unit with less computational complexity, it enables TPS to perform better than most of the state-of-the-art DNN-based TSC methods. The source codes for our experimental setups and proposed attention blocks are made publicly available.


title: A Comprehensive Study of Modern Architectures and Regularization Approaches on CheXpert5000

abstract: Computer aided diagnosis (CAD) has gained an increased amount of attention in the general research community over the last years as an example of a typical limited data application - with experiments on labeled 100k-200k datasets. Although these datasets are still small compared to natural image datasets like ImageNet1k, ImageNet21k and JFT, they are large for annotated medical datasets, where 1k-10k labeled samples are much more common. There is no baseline on which methods to build on in the low data regime. In this work we bridge this gap by providing an extensive study on medical image classification with limited annotations (5k). We present a study of modern architectures applied to a fixed low data regime of 5000 images on the CheXpert dataset. Conclusively we find that models pretrained on ImageNet21k achieve a higher AUC and larger models require less training steps. All models are quite well calibrated even though we only fine-tuned on 5000 training samples. All 'modern' architectures have higher AUC than ResNet50. Regularization of Big Transfer Models with MixUp or Mean Teacher improves calibration, MixUp also improves accuracy. Vision Transformer achieve comparable or on par results to Big Transfer Models.


title: The Sum of Its Parts: Visual Part Segmentation for Inertial Parameter Identification of Manipulated Objects

abstract: To operate safely and efficiently alongside human workers, collaborative robots (cobots) require the ability to quickly understand the dynamics of manipulated objects. However, traditional methods for estimating the full set of inertial parameters rely on motions that are necessarily fast and unsafe (to achieve a sufficient signal-to-noise ratio). In this work, we take an alternative approach: by combining visual and force-torque measurements, we develop an inertial parameter identification algorithm that requires slow or 'stop-and-go' motions only, and hence is ideally tailored for use around humans. Our technique, called Homogeneous Part Segmentation (HPS), leverages the observation that man-made objects are often composed of distinct, homogeneous parts. We combine a surface-based point clustering method with a volumetric shape segmentation algorithm to quickly produce a part-level segmentation of a manipulated object; the segmented representation is then used by HPS to accurately estimate the object's inertial parameters. To benchmark our algorithm, we create and utilize a novel dataset consisting of realistic meshes, segmented point clouds, and inertial parameters for 20 common workshop tools. Finally, we demonstrate the real-world performance and accuracy of HPS by performing an intricate 'hammer balancing act' autonomously and online with a low-cost collaborative robotic arm. Our code and dataset are open source and freely available.


title: VERITAS and Fermi-LAT constraints on the Gamma-ray Emission from Superluminous Supernovae SN2015bn and SN2017egm

abstract: Superluminous supernovae (SLSNe) are a rare class of stellar explosions with luminosities ~10-100 times greater than ordinary core-collapse supernovae. One popular model to explain the enhanced optical output of hydrogen-poor (Type I) SLSNe invokes energy injection from a rapidly spinning magnetar. A prediction in this case is that high-energy gamma rays, generated in the wind nebula of the magnetar, could escape through the expanding supernova ejecta at late times (months or more after optical peak). This paper presents a search for gamma-ray emission in the broad energy band from 100 MeV to 30 TeV from two Type I SLSNe, SN2015bn, and SN2017egm, using observations from Fermi-LAT and VERITAS. Although no gamma-ray emission was detected from either source, the derived upper limits approach the putative magnetar's spin-down luminosity. Prospects are explored for detecting very-high-energy (VHE; 100 GeV - 100 TeV) emission from SLSNe-I with existing and planned facilities such as VERITAS and CTA.


title: The relation between morphology, star formation history, and environment in local universe galaxies

abstract: The observed properties of galaxies are strongly dependent on both their total stellar mass and their morphology. Furthermore, the environment is known to play a strong role in shaping them. The galaxy population in the local universe that is located in virialized clusters is found to be red, poorly star-forming, and mostly composed of early morphological types. Towards a holistic understanding of the mechanisms that drive galaxy evolution, we exploit the spectrophotometric data from the WINGS and OmegaWINGS local galaxy cluster surveys, and study the role of both the local and the large-scale environments. We attempt to disentangle their effects from the intrinsic characteristics of the galaxies, in shaping the star formation activity at fixed morphological type and stellar mass. Using a sample of field galaxies from the same surveys for comparison, we analyse the effects of the environment, embodied by the local density, clustercentric distance, and close neighbours, respectively, on the star formation histories of cluster galaxies. We find that local effects have a more relevant impact on galaxy stellar properties than the large-scale environment, and that morphology needs to be taken into account to pinpoint the mechanisms that are driving the influence of clusters in galaxy evolution.


title: Linear response of entanglement entropy to $T\bar{T}$ in massive QFTs

abstract: We compute the leading correction to entanglement entropy in $T\bar{T}$ deformed massive QFTs. We show that both for massive scalar and Dirac fermion, the leading order correction to the entanglement entropy of half-space comes from the boundary of the entangling surface. For the case of massive scalar, the boundary term is finite while for massive fermion, it diverges logarithmically giving rise to an additional log-square divergence in the entanglement entropy.


title: Mesoscopic averaging of the two-dimensional KPZ equation

abstract: We study the limit of a local average of the KPZ equation in dimension $d=2$ with general initial data in the subcritical regime. Our result shows that a proper spatial averaging of the KPZ equation converges in distribution to the sum of the solution to a deterministic KPZ equation and a Gaussian random variable that depends solely on the scale of averaging. This shows a unique mesoscopic averaging phenomenon that is only present in dimension two. Our work is inspired by the recent findings by Chatterjee \cite{chatterjee2021weak}.


title: Bag of Tricks for In-Distribution Calibration of Pretrained Transformers

abstract: While pre-trained language models (PLMs) have become a de-facto standard promoting the accuracy of text classification tasks, recent studies find that PLMs often predict over-confidently. Although various calibration methods have been proposed, such as ensemble learning and data augmentation, most of the methods have been verified in computer vision benchmarks rather than in PLM-based text classification tasks. In this paper, we present an empirical study on confidence calibration for PLMs, addressing three categories, including confidence penalty losses, data augmentations, and ensemble methods. We find that the ensemble model overfitted to the training set shows sub-par calibration performance and also observe that PLMs trained with confidence penalty loss have a trade-off between calibration and accuracy. Building on these observations, we propose the Calibrated PLM (CALL), a combination of calibration techniques. The CALL complements the drawbacks that may occur when utilizing a calibration method individually and boosts both classification and calibration accuracy. Design choices in CALL's training procedures are extensively studied, and we provide a detailed analysis of how calibration techniques affect the calibration performance of PLMs.


title: A Qubit-Efficient Variational Selected Configuration-Interaction Method

abstract: Finding the ground-state energy of molecules is an important and challenging computational problem for which quantum computing can potentially find efficient solutions. The variational quantum eigensolver (VQE) is a quantum algorithm that tackles the molecular groundstate problem and is regarded as one of the flagships of quantum computing. Yet, to date, only very small molecules were computed via VQE, due to high noise levels in current quantum devices. Here we present an alternative variational quantum scheme that requires significantly less qubits. The reduction in qubit number allows for shallower circuits to be sufficient, rendering the method more resistant to noise. The proposed algorithm, termed variational quantum selected-configuration-interaction (VQ-SCI), is based on: (a) representing the target groundstate as a superposition of Slater determinant configurations, encoded directly upon the quantum computational basis states; and (b) selecting a-priory only the most dominant configurations. This is demonstrated through a set of groundstate calculations of the H$_2$, LiH, BeH$_2$, H$_2$O, NH$_3$ and C$_2$H$_4$ molecules in the sto-3g basis set, performed on IBM quantum devices. We show that the VQ-SCI reaches the full-CI (FCI) energy within chemical accuracy using the lowest number of qubits reported to date. Moreover, when the SCI matrix is generated ``on the fly", the VQ-SCI requires exponentially less memory than classical SCI methods. This offers a potential remedy to a severe memory bottleneck problem in classical SCI calculations. Finally, the proposed scheme is general and can be straightforwardly applied for finding the groundstate of any Hermitian matrix, outside the chemical context.


title: Guiding Pretraining in Reinforcement Learning with Large Language Models

abstract: Reinforcement learning algorithms typically struggle in the absence of a dense, well-shaped reward function. Intrinsically motivated exploration methods address this limitation by rewarding agents for visiting novel states or transitions, but these methods offer limited benefits in large environments where most discovered novelty is irrelevant for downstream tasks. We describe a method that uses background knowledge from text corpora to shape exploration. This method, called ELLM (Exploring with LLMs) rewards an agent for achieving goals suggested by a language model prompted with a description of the agent's current state. By leveraging large-scale language model pretraining, ELLM guides agents toward human-meaningful and plausibly useful behaviors without requiring a human in the loop. We evaluate ELLM in the Crafter game environment and the Housekeep robotic simulator, showing that ELLM-trained agents have better coverage of common-sense behaviors during pretraining and usually match or improve performance on a range of downstream tasks. Code available at https://github.com/yuqingd/ellm.


title: Twisted Holography and Celestial Holography from Boundary Chiral Algebra

abstract: We study the Kaluza-Klein reduction of various $6d$ holomorphic theories. The KK reduction is analyzed in the BV formalism, resulting in theories that come from the holomorphic topological twist of $3d$ $\mathcal{N} = 2$ supersymmetric field theories. Effective interactions of the KK theories at the classical level can be obtained at all orders using homotopy transfer theorem. We also analyze a deformation of the theories that comes from deforming the spacetime geometry to $SL_2(\mathbb{C})$ due to the brane back-reaction. We study the boundary chiral algebras for the various KK theories. Using Koszul duality, we argue that by properly choosing a boundary condition, the boundary chiral algebra coincides with the universal defect chiral algebra of the original theory. This perspective provides a unified framework for accessing the chiral algebras that arise from both twisted holography and celestial holography programs.


title: On the behavior of the Hartshorne-Rao module in the Hilbert scheme of curves in $\mathbb{P}^{3}$

abstract: We study the behavior of the Hartshorne-Rao module in the unique component of ACM curves of degree $d_{r}=\frac{r(r+1)}{2}$ and genus $g_{r}=\frac{r(r+1)(2r-5)}{6}+1$, denoted by $\overline{\mathscr{C}_{r}}$. In particular, in the case of curves of degree $6$ and genus $3$ we prove that the subvariety of curves with Hartshorne-Rao module of rank one in the component $\overline{\mathscr{C}_{3}}$ is a reducible divisor and the components of such divisor generate a face of the effective cone Eff$(\overline{\mathscr{C}_{3}})$. In general, we verify that the subvariety of curves with Hartshorne-Rao module of rank one in $\overline{\mathscr{C}_{r}}$ always contains a divisor.


title: Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation

abstract: Safety is essential for deploying Deep Reinforcement Learning (DRL) algorithms in real-world scenarios. Recently, verification approaches have been proposed to allow quantifying the number of violations of a DRL policy over input-output relationships, called properties. However, such properties are hard-coded and require task-level knowledge, making their application intractable in challenging safety-critical tasks. To this end, we introduce the Collection and Refinement of Online Properties (CROP) framework to design properties at training time. CROP employs a cost signal to identify unsafe interactions and use them to shape safety properties. Hence, we propose a refinement strategy to combine properties that model similar unsafe interactions. Our evaluation compares the benefits of computing the number of violations using standard hard-coded properties and the ones generated with CROP. We evaluate our approach in several robotic mapless navigation tasks and demonstrate that the violation metric computed with CROP allows higher returns and lower violations over previous Safe DRL approaches.


title: Current fluctuations in stochastically resetting particle systems

abstract: We consider a system of non-interacting particles on a line with initial positions distributed uniformly with density $\rho$ on the negative half-line. We consider two different models: (i) each particle performs independent Brownian motion with stochastic resetting to its initial position with rate $r$ and (ii) each particle performs run and tumble motion, and with rate $r$ its position gets reset to its initial value and simultaneously its velocity gets randomised. We study the effects of resetting on the distribution $P(Q,t)$ of the integrated particle current $Q$ up to time $t$ through the origin (from left to right). We study both the annealed and the quenched current distributions and in both cases, we find that resetting induces a stationary limiting distribution of the current at long times. However, we show that the approach to the stationary state of the current distribution in the annealed and the quenched cases are drastically different for both models. In the annealed case, the whole distribution $P_{\rm an}(Q,t)$ approaches its stationary limit uniformly for all $Q$. In contrast, the quenched distribution $P_{\rm qu}(Q,t)$ attains its stationary form for $Q<Q_{\rm crit}(t)$, while it remains time-dependent for $Q > Q_{\rm crit}(t)$. We show that $Q_{\rm crit}(t)$ increases linearly with $t$ for large $t$. On the scale where $Q \sim Q_{\rm crit}(t)$, we show that $P_{\rm qu}(Q,t)$ has an unusual large deviation form with a rate function that has a third-order phase transition at the critical point. We have computed the associated rate functions analytically for both models. Using an importance sampling method that allows to probe probabilities as tiny as $10^{-14000}$, we were able to compute numerically this non-analytic rate function for the resetting Brownian dynamics and found excellent agreement with our analytical prediction.


title: Simplified Continuous High Dimensional Belief Space Planning with Adaptive Probabilistic Belief-dependent Constraints

abstract: Online decision making under uncertainty in partially observable domains, also known as Belief Space Planning, is a fundamental problem in robotics and Artificial Intelligence. Due to an abundance of plausible future unravelings, calculating an optimal course of action inflicts an enormous computational burden on the agent. Moreover, in many scenarios, e.g., information gathering, it is required to introduce a belief-dependent constraint. Prompted by this demand, in this paper, we consider a recently introduced probabilistic belief-dependent constrained POMDP. We present a technique to adaptively accept or discard a candidate action sequence with respect to a probabilistic belief-dependent constraint, before expanding a complete set of future observations samples and without any loss in accuracy. Moreover, using our proposed framework, we contribute an adaptive method to find a maximal feasible return (e.g., information gain) in terms of Value at Risk for the candidate action sequence with substantial acceleration. On top of that, we introduce an adaptive simplification technique for a probabilistically constrained setting. Such an approach provably returns an identical-quality solution while dramatically accelerating online decision making. Our universal framework applies to any belief-dependent constrained continuous POMDP with parametric beliefs, as well as nonparametric beliefs represented by particles. In the context of an information-theoretic constraint, our presented framework stochastically quantifies if a cumulative information gain along the planning horizon is sufficiently significant (e.g. for, information gathering, active SLAM). We apply our method to active SLAM, a highly challenging problem of high dimensional Belief Space Planning. Extensive realistic simulations corroborate the superiority of our proposed ideas.


title: An Application of Deep Learning for Sweet Cherry Phenotyping using YOLO Object Detection

abstract: Tree fruit breeding is a long-term activity involving repeated measurements of various fruit quality traits on a large number of samples. These traits are traditionally measured by manually counting the fruits, weighing to indirectly measure the fruit size, and fruit colour is classified subjectively into different color categories using visual comparison to colour charts. These processes are slow, expensive and subject to evaluators' bias and fatigue. Recent advancements in deep learning can help automate this process. A method was developed to automatically count the number of sweet cherry fruits in a camera's field of view in real time using YOLOv3. A system capable of analyzing the image data for other traits such as size and color was also developed using Python. The YOLO model obtained close to 99% accuracy in object detection and counting of cherries and 90% on the Intersection over Union metric for object localization when extracting size and colour information. The model surpasses human performance and offers a significant improvement compared to manual counting.


title: Generating high-order exceptional points in coupled electronic oscillators using complex synthetic gauge fields

abstract: Exceptional points (EPs) are degeneracies of non-Hermitian systems, where both eigenvalues and eigenvectors coalesce. Classical and quantum systems exhibiting high-order EPs have recently been identified as fundamental building blocks for the development of novel, ultra-sensitive opto-electronic devices. However, arguably one of their major drawbacks is that they rely on non-linear amplification processes that could limit their potential applications, particularly in the quantum realm. In this work, we show that high-order EPs can be designed by means of linear, time-modulated, chain of inductively coupled RLC (where R stands for resistance, L for inductance, and C for capacitance) electronic circuits. With a general theory, we show that $N$ coupled circuits with $2N$ dynamical variables and time-dependent parameters can be mapped onto an $N$-site, time-dependent, non-Hermitian Hamiltonian, and obtain constraints for $\mathcal{PT}$-symmetry in such models. With numerical calculations, we obtain the Floquet exceptional contours of order $N$ by studying the energy dynamics in the circuit. Our results pave the way toward realizing robust, arbitrary-order EPs by means of synthetic gauge fields, with important implications for sensing, energy transfer, and topology.


title: DIAmante TESS AutoRegressive Planet Search (DTARPS): I. Analysis of 0.9 Million Light Curves

abstract: Nearly one million light curves from the TESS Year 1 southern hemisphere extracted from Full Frame Images with the DIAmante pipeline are processed through the AutoRegressive Planet Search statistical procedure. ARIMA models remove trends and lingering autocorrelated noise, the Transit Comb Filter identifies the strongest periodic signal in the light curve, and a Random Forest machine learning classifier is trained and applied to identify the best potential candidates. Classifier training sets include injections of both planetary transit signals and contaminating eclipsing binaries. The optimized classifier has a True Positive Rate of 92.8% and a False Positive Rate of 0.37% from the labeled training set. The result of this DIAmante TESS autoregressive planet search (DTARPS) analysis is a list of 7,377 potential exoplanet candidates. The classifier has a False Positive Rate of 0.3%, a 64% recall rate for previously confirmed exoplanets, and a 78% negative recall rate for known False Positives. The completeness map of the injected planetary signals shows high recall rates for planets with 8 - 30 R(Earth) radii and periods 0.6-13 days and poor completeness for planets with radii < 2 R(Earth) or periods < 1 day. The list has many False Alarms and False Positives that need to be culled with multifaceted vetting operations (Paper II).


title: Communication-Efficient Federated Bilevel Optimization with Local and Global Lower Level Problems

abstract: Bilevel Optimization has witnessed notable progress recently with new emerging efficient algorithms. However, its application in the Federated Learning setting remains relatively underexplored, and the impact of Federated Learning's inherent challenges on the convergence of bilevel algorithms remain obscure. In this work, we investigate Federated Bilevel Optimization problems and propose a communication-efficient algorithm, named FedBiOAcc. The algorithm leverages an efficient estimation of the hyper-gradient in the distributed setting and utilizes the momentum-based variance-reduction acceleration. Remarkably, FedBiOAcc achieves a communication complexity $O(\epsilon^{-1})$, a sample complexity $O(\epsilon^{-1.5})$ and the linear speed up with respect to the number of clients. We also analyze a special case of the Federated Bilevel Optimization problems, where lower level problems are locally managed by clients. We prove that FedBiOAcc-Local, a modified version of FedBiOAcc, converges at the same rate for this type of problems. Finally, we validate the proposed algorithms through two real-world tasks: Federated Data-cleaning and Federated Hyper-representation Learning. Empirical results show superior performance of our algorithms.


title: Geography of surface bundles over surfaces

abstract: We construct symplectic surface bundles over surfaces with positive signatures for all but 18 possible pairs of fiber and base genera. Meanwhile, we determine the commutator lengths of a few new mapping classes.


title: Shadow Energy Functionals and Potentials in Born-Oppenheimer Molecular Dynamics

abstract: In Born-Oppenheimer molecular dynamics (BOMD) simulations based on density functional theory (DFT), the potential energy and the interatomic forces are calculated from an electronic ground state density that is determined by an iterative self-consistent field optimization procedure, which in practice never is fully converged. The calculated energies and the forces are therefore only approximate, which may lead to an unphysical energy drift and instabilities. Here we discuss an alternative shadow BOMD approach that is based on a backward error analysis. Instead of calculating approximate solutions for an underlying exact regular BO potential, we do the opposite. Instead, we calculate the exact electron density, energies, and forces, but for an underlying approximate shadow BO potential. In this way the calculated forces are conservative with respect to the shadow potential and generate accurate molecular trajectories with long-term energy stability. We show how such shadow BO potentials can be constructed at different levels of accuracy as a function of the integration time step, dt, from the minimization of a sequence of systematically improvable, but approximate, shadow energy density functionals. For each functional there is a corresponding ground state BO potential. These pairs of shadow energy functionals and potentials are higher-level generalizations of the original "0th-level" shadow energy functionals and potentials used in extended Lagrangian BOMD [Eur. Phys. J. B vol. 94, 164 (2021)]. The proposed shadow energy functionals and potentials are useful only within this dynamical framework, where also the electronic degrees of freedom are propagated together with the atomic positions and velocities. The theory is general and can be applied to MD simulations using approximate DFT, Hartree-Fock or semi-empirical methods, as well as to coarse-grained flexible charge models.


title: The ignition of fine iron particles in the Knudsen transition regime

abstract: A theoretical model is considered to predict the minimum ambient gas temperature at which fine iron particles can undergo thermal runaway--the ignition temperature. The model accounts for Knudsen transition transport effects, which become significant when the particle size is comparable to, or smaller than, the molecular mean free path of the surrounding gas. Two kinetic models for the high-temperature solid-phase oxidation of iron are analyzed. The first model (parabolic kinetics) considers the inhibiting effect of the iron oxide layers at the particle surface on the rate of oxidation, and a kinetic rate independent of the gaseous oxidizer concentration. The ignition temperature is solved as a function of particle size and initial oxide layer thickness with an unsteady analysis considering the growth of the oxide layers. In the small-particle limit, the thermal insulating effect of transition heat transport can lead to a decrease of ignition temperature with decreasing particle size. However, the presence of the oxide layer slows the reaction kinetics and its increasing proportion in the small-particle limit can lead to an increase of ignition temperature with decreasing particle size. This effect is observed for sufficiently large initial oxide layer thicknesses. The continuum transport model is shown to predict the ignition temperature of iron particles exceeding an initial diameter of 30 $\mu$m to a difference of 3% (30 K) or less when compared to the transition transport model. The second kinetic model (first-order kinetics) considers a porous, non-hindering oxide layer, and a linear dependence of the kinetic rate of oxidation on the gaseous oxidizer concentration. The ignition temperature is resolved as a function of particle size with the transition and continuum transport models, and the differences between the ignition characteristics predicted by the two models are discussed.


title: A finite rotation, small strain 2D elastic head model, with applications in mild traumatic brain injury

abstract: Rotational head motions have been shown to play a key role in traumatic brain injury. There is great interest in developing methods to rapidly predict brain tissue strains and strain rates resulting from rotational head motions to estimate brain injury risk and to guide the design of protective equipment. Idealized continuum mechanics based head models provide an attractive approach for rapidly estimating brain strains and strain rates. These models are capable of capturing the wave dynamics and transient response of the brain while being significantly easier and faster to apply compared to more sophisticated and detailed finite element head models. In this work, we present a new idealized continuum mechanics based head model that accounts for the head's finite rotation, which is an improvement upon prior models that have been based on a small rotation assumption. Despite the simplicity of the model, we show that the proposed 2D elastic finite rotation head model predicts comparable strains to a more detailed finite element head model, demonstrating the potential usefulness of the model in rapidly estimating brain injury risk. This newly proposed model can serve as a basis for introducing finite rotations into more sophisticated head models in the future.


title: On the Planning Abilities of Large Language Models (A Critical Investigation with a Proposed Benchmark)

abstract: Intrigued by the claims of emergent reasoning capabilities in LLMs trained on general web corpora, in this paper, we set out to investigate their planning capabilities. We aim to evaluate (1) how good LLMs are by themselves in generating and validating simple plans in commonsense planning tasks (of the type that humans are generally quite good at) and (2) how good LLMs are in being a source of heuristic guidance for other agents--either AI planners or human planners--in their planning tasks. To investigate these questions in a systematic rather than anecdotal manner, we start by developing a benchmark suite based on the kinds of domains employed in the International Planning Competition. On this benchmark, we evaluate LLMs in three modes: autonomous, heuristic and human-in-the-loop. Our results show that LLM's ability to autonomously generate executable plans is quite meager, averaging only about 3% success rate. The heuristic and human-in-the-loop modes show slightly more promise. In addition to these results, we also make our benchmark and evaluation tools available to support investigations by research community.


title: Autonomous error correction of a single logical qubit using two transmons

abstract: Large-scale quantum computers will inevitably need quantum error correction to protect information against decoherence. Traditional error correction typically requires many qubits, along with high-efficiency error syndrome measurement and real-time feedback. Autonomous quantum error correction (AQEC) instead uses steady-state bath engineering to perform the correction in a hardware-efficient manner. We realize an AQEC scheme, implemented with only two transmon qubits in a 2D scalable architecture, that actively corrects single-photon loss and passively suppresses low-frequency dephasing using six microwave drives. Compared to uncorrected encoding, factors of 2.0, 5.1, and 1.4 improvements are experimentally witnessed for the logical zero, one, and superposition states. Our results show the potential of implementing hardware-efficient AQEC to enhance the reliability of a transmon-based quantum information processor.


title: DeFi and NFTs Hinder Blockchain Scalability

abstract: Many classical blockchains are known to have an embarrassingly low transaction throughput, down to Bitcoin's notorious seven transactions per second limit.Various proposals and implementations for increasing throughput emerged in the first decade of blockchain research. But how much concurrency is possible? In their early days, blockchains were mostly used for simple transfers from user to user. More recently, however, decentralized finance (DeFi) and NFT marketplaces have completely changed what is happening on blockchains. Both are built using smart contracts and have gained significant popularity. Transactions on DeFi and NFT marketplaces often interact with the same smart contracts. We believe this development has transformed blockchain usage. In our work, we perform a historical analysis of Ethereum's transaction graph. We study how much interaction between transactions there was historically and how much there is now. We find that the rise of DeFi and NFT marketplaces has led to an increase in "centralization" in the transaction graph. More transactions are now interconnected: currently there are around 200 transactions per block with 4000 interdependencies between them. We further find that the parallelizability of Ethereum's current interconnected transaction workload is limited. A speedup exceeding a factor of five is currently unrealistic.


title: Optimal motility strategies for self-propelled agents to explore porous media

abstract: Micro-robots for, e.g., biomedical applications, need to be equipped with motility strategies that enable them to navigate through complex environments. Inspired by biological microorganisms we recreate motility patterns such as run-and-reverse, run-and-tumble or run-reverse-flick applied to active rod-like particles in silico. We investigate their capability to efficiently explore disordered porous environments with various porosities and mean pore sizes ranging down to the scale of the active particle. By calculating the effective diffusivity for the different patterns, we can predict the optimal one for each porous sample geometry. We find that providing the agent with very basic sensing and decision making capabilities yields a motility pattern outperforming the biologically inspired patterns for all investigated porous samples.


title: Trimmed sample means for robust uniform mean estimation and regression

abstract: It is well-known that trimmed sample means are robust against heavy tails and data contamination. This paper analyzes the performance of trimmed means and related methods in two novel contexts. The first one consists of estimating expectations of functions in a given family, with uniform error bounds; this is closely related to the problem of estimating the mean of a random vector under a general norm. The second problem considered is that of regression with quadratic loss. In both cases, trimmed-mean-based estimators are the first to obtain optimal dependence on the (adversarial) contamination level. Moreover, they also match or improve upon the state of the art in terms of heavy tails. Experiments with synthetic data show that a natural ``trimmed mean linear regression'' method often performs better than both ordinary least squares and alternative methods based on median-of-means.


title: Development of a timing chip prototype in 110 nm CMOS technology

abstract: We present a readout chip prototype for future pixel detectors with timing capabilities. The prototype is intended for characterizing 4D pixel arrays with a pixel size of $100\times100~\mu \text{m}^2$, where the sensors are Low Gain Avalanche Diodes (LGADs). The long-term focus is towards a possible replacement of disks in the extended forward pixel system (TEPX) of the CMS experiment during the High Luminosity LHC (HL-LHC). The requirements for this ASIC are the incorporation of a Time to Digital Converter (TDC) within each pixel, low power consumption, and radiation tolerance up to $5\times10^{15}~n_\text{eq}\text{~cm}^{-2}$ to withstand the radiation levels in the innermost detector modules for $3000 \text{fb}^{-1}$ of the HL-LHC (in the TEPX). A prototype has been designed and produced in 110~nm CMOS technology at LFoundry and UMC with different versions of TDC structures, together with a front end circuitry to interface with the sensors. The design of the TDC will be discussed, with the test set-up for the measurements, and the first results comparing the performance of the different structures.


title: The SAMI Survey: Evidence for dynamical coupling of ionised gas and young stellar populations

abstract: We explore local and global dynamical differences between the kinematics of ionised gas and stars in a sample of galaxies from Data Release 3 of the SAMI Galaxy Survey. We find better agreement between local (i.e., comparing on a spaxel-to-spaxel basis) velocities and dispersion of gas and stars in younger systems as with previous work on the asymmetric drift in galaxies, suggesting that the dynamics of stars and ionised gas are initially coupled. The intrinsic scatter around the velocity and dispersion relations increases with increasing stellar age and mass, suggesting that subsequent mechanisms such as internal processes, divergent star formation and assembly histories also play a role in setting and altering the dynamics of galaxies. The global (flux-weighted) dynamical support of older galaxies is hotter than in younger systems. We find that the ionised gas in galaxies is almost always dynamically colder than the stars with a steeper velocity gradient. In absolute terms, the local difference in velocity dispersion is more pronounced than the local difference in velocity, possibly reflecting inherent differences in the impact of turbulence, inflow and/or feedback on gas compared to stars. We suggest how these findings may be taken into account when comparing high and low redshift galaxy samples to infer dynamical evolution.


title: Automated tight Lyapunov analysis for first-order methods

abstract: We present a methodology for establishing the existence of quadratic Lyapunov inequalities for a wide range of first-order methods used to solve convex optimization problems. In particular, we consider (i) classes of optimization problems of finite-sum form with (possibly strongly) convex and possibly smooth functional components, (ii) first-order methods that can be written as a linear system on state-space form in feedback interconnection with the subdifferentials of the functional components of the objective function, and (iii) quadratic Lyapunov inequalities that can be used to draw convergence conclusions. We present a necessary and sufficient condition for the existence of a quadratic Lyapunov inequality within a predefined class of Lyapunov inequalities, which amounts to solving a small-sized semidefinite program. We showcase our methodology on several first-order methods that fit the framework. Most notably, our methodology allows us to significantly extend the region of parameter choices that allow for duality gap convergence in the Chambolle-Pock method when the linear operator is the identity mapping.


title: Nondestructive testing of high strength conductors for high field pulsed magnets

abstract: High field pulsed magnets at the NHMFL use high strength conductor wires up to 90% of their ultimate tensile strength. Therefore it is very important to ensure that the wires are free of flaws. It is known that in the conductors cold drawing process, internal chevron crack could occur due to unsuitable drawing die schedule or inadequate lubrication. These internal cracks occurs infrequently along the wire, so tensile tests of short samples cut from the ends of a long length conductor often miss the problem. In addition, small inclusions on the wire surface can compromise wires fatigue properties. In this paper, we present results of our non-destructive testing (NDT) inspection of Glidcop AL60 wires using eddy current testing (ECT), ultrasonic testing (UT) and x-ray radiography (2D and 3D). Chevron cracks were found in some AL60 conductors by all three NDT techniques. Surface inclusions were found by ECT. We have developed a long length ECT wire inspection capability.


title: Estimation of Average Annual Daily Bicycle Count Using Bike-Share GPS Data and Bike Counter Data for an Urban Active Transportation Network

abstract: In 2018, the City of Kelowna entered into a license agreement with Dropbike to operate a dockless bike-share pilot in and around the downtown core. The bikes were tracked by the user's cell phone GPS through the Dropbike app. The City's Active Transportation team recognized that this GPS data could help understand the routes used by cyclists which would then inform decision-making for infrastructure improvements. Using OSMnx and NetworkX, the map of Kelowna was converted into a graph network to map inaccurate, infrequent GPS points to the nearest street intersection, calculate the potential paths taken by cyclists and count the number of trips by street segment though the comparison of different path-finding models. Combined with the data from four counters around downtown, a mixed effects statistical model and a least squares optimization were used to estimate a relationship between the different traffic patterns of the bike-share and counter data. Using this relationship based on sparse data input from physical counting stations and bike share data, estimations and visualizations of the annual daily bicycle volume in downtown Kelowna were produced. The analysis, modelling and visualization helped to better understand how the bike network was being used in the urban center, including non-traditional routes such as laneways and highway crossings.


abstract: We present the findings of the Machine Learning Model Attribution Challenge. Fine-tuned machine learning models may derive from other trained models without obvious attribution characteristics. In this challenge, participants identify the publicly-available base models that underlie a set of anonymous, fine-tuned large language models (LLMs) using only textual output of the models. Contestants aim to correctly attribute the most fine-tuned models, with ties broken in the favor of contestants whose solutions use fewer calls to the fine-tuned models' API. The most successful approaches were manual, as participants observed similarities between model outputs and developed attribution heuristics based on public documentation of the base models, though several teams also submitted automated, statistical solutions.


title: The Subgraph Isomorphism Problem for Port Graphs and Quantum Circuits

abstract: We study a variant of the subgraph isomorphism problem that is of high interest to the quantum computing community. Our results give an algorithm to perform pattern matching in quantum circuits for many patterns simultaneously, independently of the number of patterns. After a pre-computation step in which the patterns are compiled into a decision tree, the running time is linear in the size of the input quantum circuit. More generally, we consider connected port graphs, in which every edge $e$ incident to $v$ has a label $L_v(e)$ unique in $v$. Jiang and Bunke showed that the subgraph isomorphism problem $H \subseteq G$ for such graphs can be solved in time $O(|V(G)| \cdot |V(H)|)$. We show that if in addition the graphs are directed acyclic, then the subgraph isomorphism problem can be solved for an unbounded number of patterns simultaneously. We enumerate all $m$ pattern matches in time $O(P)^{P+3/2} \cdot |V(G)| + O(m)$, where $P$ is the number of vertices of the largest pattern. In the case of quantum circuits, we can express the bound obtained in terms of the maximum number of qubits $N$ and depth $\delta$ of the patterns : $O(N)^{N + 1/2} \cdot \delta \log \delta \cdot |V(G)| + O(m)$.


title: Critical Current Longitudinal and Transverse Strain Sensitivities of High JC Nb3Sn Conductors

abstract: Characterizing critical current IC of Nb3Sn strands as function of a strain is very important for large high field superconducting magnet applications such as the superconducting outsert coil of the series-connected hybrid at the NHMFL and the ITER magnets. Apparatuses for measuring IC versus longitudinal strain and transverse stress have been developed and used at the NHMFL. We have characterized the IC strain sensitivities of a few candidate strands for the series-connected-hybrid. In addition, IC irreversibility strains are measured for the recently developed ITER high JC strands. The different strain sensitivities for different strands are discussed.


title: A Worst-Case Approximate Analysis of Peak Age-of-Information Via Robust Queueing Approach

abstract: A new timeliness metric, called Age-of-Information (AoI), has recently attracted a lot of research interests for real-time applications with information updates. It has been extensively studied for various queueing models based on the probabilistic approaches, where the analyses heavily depend on the properties of specific distributions (e.g., the memoryless property of the exponential distribution or the i.i.d. assumption). In this work, we take an alternative new approach, the robust queueing approach, to analyze the Peak Age-of-Information (PAoI). Specifically, we first model the uncertainty in the stochastic arrival and service processes using uncertainty sets. This enables us to approximate the expected PAoI performance for very general arrival and service processes, including those exhibiting heavy-tailed behaviors or correlations, where traditional probabilistic approaches cannot be applied. We then derive a new bound on the PAoI in the single-source single-server setting. Furthermore, we generalize our analysis to two-source single-server systems with symmetric arrivals, which involves new challenges (e.g., the service times of the updates from two sources are coupled in one single uncertainty set). Finally, through numerical experiments, we show that our new bounds provide a good approximation for the expected PAoI. Compared to some well-known bounds in the literature (e.g., one based on Kingman's bound under the i.i.d. assumption) that tends to be inaccurate under light load, our new approximation is accurate under both light and high loads, both of which are critical scenarios for the AoI performance.


title: Summability and duality

abstract: We formalize the observation that the same summability methods converge in a Banach space $X$ and its dual $X^*$. At the same time we determine conditions under which these methods converge in the weak and weak*-topologies on $X$ and $X^*$ respectively. We also derive a general limitation theorem, which yields a necessary condition for the convergence of a summability method in $X$. These results are then illustrated by applications to a wide variety of function spaces, including spaces of continuous functions, Lebesgue spaces, the disk algebra, Hardy and Bergman spaces, the BMOA space, the Bloch space, and de Branges-Rovnyak spaces. Our approach shows that all these applications flow from just two abstract theorems.


title: Interfacial Dzyaloshinskii-Moriya interaction in epitaxial W/Co/Pt multilayers

abstract: Dzyaloshinskii-Moriya interaction (DMI) manifesting in asymmetric layered ferromagnetic films gives rise to non-colinear spin structures stabilizing magnetization configurations with nontrivial topology. In this work magnetization reversal, domain structure, and strength of DMI are related with the structure of W/Co/Pt multilayers grown by molecular beam epitaxy. Applied growth method enables fabrication of layered systems with higher crystalline quality than commonly applied sputtering techniques. As a result, a high value of D coefficient was determined from the aligned magnetic domain stripe structure, substantially exceeding 2 mJ/m2. The highest value of DMI value D$_{eff}$ = 2.64mj/m2 and strength of surface DMI parameter DS = 1.83pJ/m for N=10 has been observed. Experimental results coincide precisely with those obtained from structure based micromagnetic modelling and density functional theory calculations performed for well-defined layered stacks. This high value of DMI strength originates from dominating contributions of the interfacial atomic Co layers and additive character from both interface types.


title: Asymptotically equicontinuous sequences of operators and a Banach-Steinhaus type theorem

abstract: We introduce the notion of an asymptotically equicontinuous sequence of linear operators, and use it to prove the following result. If $X,Y$ are topological vector spaces, if $T_n,T:X\to Y$ are continuous linear maps, and if $D$ is a dense subset of $X$, then the following statements are equivalent: (i) $T_nx\to Tx$ for all $x\in X$, and (ii) $T_n x\to Tx$ for all $x\in D$ and the sequence $(T_n)$ is asymptotically equicontinuous.


title: Revisiting the Schr\"odinger-Dirac equation

abstract: In flat spacetime, the Dirac equation is the "square root" of the Klein-Gordon equation in the sense that by applying the square of the Dirac operator to the Dirac spinor, one recovers the Klein-Gordon equation duplicated for each component of the spinor. In the presence of gravity, applying the square of the curved-spacetime Dirac operator to the Dirac spinor does not yield the curved-spacetime Klein-Gordon equation, but yields, instead, the Schr\"odinger-Dirac covariant equation. First, we show that the latter equation gives rise to a generalization to spinors of the covariant Gross-Pitaevskii equation. Next, we show that while the Schr\"odinger-Dirac equation is not conformally invariant, there exists a generalization of the equation that is conformally invariant but which requires a different conformal transformation of the spinor than the one required by the Dirac equation. The new conformal factor acquired by the spinor is found to be a matrix-valued factor obeying a differential equation that involves the Fock-Ivanenko line element. The Schr\"odinger-Dirac equation coupled to the Maxwell field is then revisited and generalized to particles with higher electric and magnetic moments while respecting gauge symmetry. Finally, Lichnerowicz's vanishing theorem in the conformal frame is also discussed.


title: DIAmante TESS AutoRegressive Planet Search (DTARPS): II. Hundreds of New TESS Candidate Exoplanets

abstract: The DIAmante TESS AutoRegressive Planet Search (DTARPS) project seeks to identify photometric transiting planets from 976,814 southern hemisphere stars observed in Year 1 of the TESS mission. This paper follows the methodology developed by Melton et al. (Paper I) using light curves extracted and pre-processed by the DIAmante project (Montalto et al. 2020). Paper I emerged with a list of 7,377 light curves with statistical properties characteristic of transiting planets but dominated by False Alarms and False Positives. Here a multistage vetting procedure is applied including: centroid motion and crowding metrics, False Alarm and False Positive reduction, photometric binary elimination, and ephemeris match removal. The vetting produces a catalog of 462 DTARPS Candidates across the southern ecliptic hemisphere and 310 objects in a spatially incomplete Galactic Plane list. Fifty-eight percent were not previously identified as transiting systems. Candidates are flagged for possible blending from nearby stars based on Zwicky Transient Facility data and for possible radial velocity variations based on Gaia satellite data. Orbital periods and planetary radii are refined using astrophysical modeling; the resulting parameters closely match published values for Confirmed Planets. Their properties are discussed in Paper III.


title: A computational model for the design of a nitrous oxide--paraffin wax hybrid rocket engine

abstract: A computational model is developed to assist the design of the first hybrid rocket engine of the McGill Rocket Team, using liquid nitrous oxide as an oxidizer and solid paraffin wax as a fuel. The model is developed in three phases: In the first phase, a steady-state model which neglects transient performance decrease of the hybrid engine is considered. The steady-state model considers: a constant oxidizer mass flow rate; a combustion chamber in chemical equilibrium; a one-dimensional isentropic nozzle; and a one-dimensional constant-thrust rocket ascent. The steady-state model is used to conduct parametric studies on engine performance as a function of design parameters such as: oxidizer mass flow rate, fuel grain dimensions, and nozzle dimensions. The engine design point is selected to optimize specific impulse, given physical and structural constraints of the system. In the second phase, an unsteady model incorporating transient performance decrease of the hybrid engine is considered. The transient model considers: a self-pressurizing oxidizer tank in quasi-steady liquid-vapor equilibrium; a combustion chamber in quasi-steady chemical equilibrium; a one-dimensional non-isentropic nozzle; and a one-dimensional rocket ascent model. The transient performance profile of the engine is established, and the unsteady model is used to predict propellant requirements for the launch vehicle, given a target apogee of 3048 m (10,000 ft). In the third stage, the unsteady model is compared to hot fire testing data of the McGill Rocket Team. Semi-empirical parameters used in the formulation are calibrated against testing data, and the validity of the model is assessed.


title: Swap Agnostic Learning, or Characterizing Omniprediction via Multicalibration

abstract: We introduce and study Swap Agnostic Learning. The problem can be phrased as a game between a predictor and an adversary: first, the predictor selects a hypothesis $h$; then, the adversary plays in response, and for each level set of the predictor $\{x \in \mathcal{X} : h(x) = v\}$ selects a (different) loss-minimizing hypothesis $c_v \in \mathcal{C}$; the predictor wins if $h$ competes with the adaptive adversary's loss. Despite the strength of the adversary, we demonstrate the feasibility Swap Agnostic Learning for any convex loss. Somewhat surprisingly, the result follows through an investigation into the connections between Omniprediction and Multicalibration. Omniprediction is a new notion of optimality for predictors that strengthtens classical notions such as agnostic learning. It asks for loss minimization guarantees (relative to a hypothesis class) that apply not just for a specific loss function, but for any loss belonging to a rich family of losses. A recent line of work shows that omniprediction is implied by multicalibration and related multi-group fairness notions. This unexpected connection raises the question: is multi-group fairness necessary for omniprediction? Our work gives the first affirmative answer to this question. We establish an equivalence between swap variants of omniprediction and multicalibration and swap agnostic learning. Further, swap multicalibration is essentially equivalent to the standard notion of multicalibration, so existing learning algorithms can be used to achieve any of the three notions. Building on this characterization, we paint a complete picture of the relationship between different variants of multi-group fairness, omniprediction, and Outcome Indistinguishability. This inquiry reveals a unified notion of OI that captures all existing notions of omniprediction and multicalibration.


title: Deep Learning Predicts Prevalent and Incident Parkinson's Disease From UK Biobank Fundus Imaging

abstract: Parkinson's disease is the world's fastest-growing neurological disorder. Research to elucidate the mechanisms of Parkinson's disease and automate diagnostics would greatly improve the treatment of patients with Parkinson's disease. Current diagnostic methods are expensive and have limited availability. Considering the insidious and preclinical onset and progression of the disease, a desirable screening should be diagnostically accurate even before the onset of symptoms to allow medical interventions. We highlight retinal fundus imaging, often termed a window to the brain, as a diagnostic screening modality for Parkinson's disease. We conducted a systematic evaluation of conventional machine learning and deep learning techniques to classify Parkinson's disease from UK Biobank fundus imaging. Our results show that Parkinson's disease individuals can be differentiated from age and gender-matched healthy subjects with an Area Under the Curve (AUC) of 0.77. This accuracy is maintained when predicting either prevalent or incident Parkinson's disease. Explainability and trustworthiness are enhanced by visual attribution maps of localized biomarkers and quantified metrics of model robustness to data perturbations.


title: Code-Verification Techniques for the Method-of-Moments Implementation of the Combined-Field Integral Equation

abstract: Code verification plays an important role in establishing the credibility of computational simulations by assessing the correctness of the implementation of the underlying numerical methods. In computational electromagnetics, the numerical solution to integral equations incurs multiple interacting sources of numerical error, as well as other challenges, which render traditional code-verification approaches ineffective. In this paper, we provide approaches to separately measure the numerical errors arising from these different error sources for the method-of-moments implementation of the combined-field integral equation. We demonstrate the effectiveness of these approaches for cases with and without coding errors.


title: STREET: A Multi-Task Structured Reasoning and Explanation Benchmark

abstract: We introduce STREET, a unified multi-task and multi-domain natural language reasoning and explanation benchmark. Unlike most existing question-answering (QA) datasets, we expect models to not only answer questions, but also produce step-by-step structured explanations describing how premises in the question are used to produce intermediate conclusions that can prove the correctness of a certain answer. We perform extensive evaluation with popular language models such as few-shot prompting GPT-3 and fine-tuned T5. We find that these models still lag behind human performance when producing such structured reasoning steps. We believe this work will provide a way for the community to better train and test systems on multi-step reasoning and explanations in natural language.


title: Multi-Carrier NOMA-Empowered Wireless Federated Learning with Optimal Power and Bandwidth Allocation

abstract: Wireless federated learning (WFL) undergoes a communication bottleneck in uplink, limiting the number of users that can upload their local models in each global aggregation round. This paper presents a new multi-carrier non-orthogonal multiple-access (MC-NOMA)-empowered WFL system under an adaptive learning setting of Flexible Aggregation. Since a WFL round accommodates both local model training and uploading for each user, the use of Flexible Aggregation allows the users to train different numbers of iterations per round, adapting to their channel conditions and computing resources. The key idea is to use MC-NOMA to concurrently upload the local models of the users, thereby extending the local model training times of the users and increasing participating users. A new metric, namely, Weighted Global Proportion of Trained Mini-batches (WGPTM), is analytically established to measure the convergence of the new system. Another important aspect is that we maximize the WGPTM to harness the convergence of the new system by jointly optimizing the transmit powers and subchannel bandwidths. This nonconvex problem is converted equivalently to a tractable convex problem and solved efficiently using variable substitution and Cauchy's inequality. As corroborated experimentally using a convolutional neural network and an 18-layer residential network, the proposed MC-NOMA WFL can efficiently reduce communication delay, increase local model training times, and accelerate the convergence by over 40%, compared to its existing alternative.

categories: cs.IT cs.LG cs.SY eess.SP eess.SY math.IT


title: An Excited-State-Specific Pseudoprojected Coupled-Cluster Theory

abstract: We present an excited-state-specific coupled-cluster approach in which both the molecular orbitals and cluster amplitudes are optimized for an individual excited state. The theory is formulated via a pseudoprojection of the traditional coupled-cluster wavefunction that allows correlation effects to be introduced atop an excited state mean field starting point. The approach shares much in common with ground state CCSD, including size extensivity and an $N^6$ cost scaling. Preliminary numerical tests show that, when augmented with $N^5$-cost perturbative corrections for key terms, the method can improve over excited-state-specific second order perturbation theory in valence, charge transfer, and Rydberg states.


title: Concurrent Emergence of Clustering, Flocking and Synchronization in Systems of Interacting Agents

abstract: We present some recent development in modeling concurrent emergence of collective behaviors, namely, the emergence of clustering, flocking and synchronization at the same time. We derive two new models, namely Swarmalator-Vicsek and Swarmalator- Cucker-Smale, which can produce the synchronization and flocking with interesting spatial patterns. We present extensive numerical insights into how the synchronization of phases can affect both the spatial patterns and the flocking behavior.


title: Robust Unsupervised StyleGAN Image Restoration

abstract: GAN-based image restoration inverts the generative process to repair images corrupted by known degradations. Existing unsupervised methods must be carefully tuned for each task and degradation level. In this work, we make StyleGAN image restoration robust: a single set of hyperparameters works across a wide range of degradation levels. This makes it possible to handle combinations of several degradations, without the need to retune. Our proposed approach relies on a 3-phase progressive latent space extension and a conservative optimizer, which avoids the need for any additional regularization terms. Extensive experiments demonstrate robustness on inpainting, upsampling, denoising, and deartifacting at varying degradations levels, outperforming other StyleGAN-based inversion techniques. Our approach also favorably compares to diffusion-based restoration by yielding much more realistic inversion results. Code is available at https://lvsn.github.io/RobustUnsupervised/.


title: A quantum-classical co-processing protocol towards simulating nuclear reactions on contemporary quantum hardware

abstract: Quantum computers hold great promise for arriving at exact simulations of nuclear dynamical processes (e.g., scattering and reactions) that are paramount to the study of nuclear matter at the limit of stability and to explaining the formation of chemical elements in stars. However, quantum simulations of the unitary (real) time dynamics of fermionic many-body systems require a currently prohibitive number of reliable and long-lived qubits. We propose a co-processing algorithm for the simulation of real-time dynamics in which the time evolution of the spatial coordinates is carried out on a classical processor, while the evolution of the spin degrees of freedom is carried out on a quantum processor. This hybrid algorithm is demonstrated by a quantum simulation of the scattering of two neutrons performed at the Lawrence Berkeley National Laboratory's Advanced Quantum Testbed. We show that, after implementation of error mitigation strategies to improve the accuracy of the algorithm in addition to the use of either circuit compression techniques or tomography as methods to elucidate the onset of decoherence, this initial demonstration validates the principle of the proposed co-processing scheme. We anticipate that a generalization of this present scheme will open the way for (real-time) path integral simulations of nuclear scattering.


title: Homogeneous spaces not separated by arcs

abstract: It was shown by van Mill and Valov that regions in strongly locally homogeneous locally compact metric spaces of dimension $\ge 2$ are not separated by arcs. We improve this result by replacing strong local homogeneity with homogeneity. Moreover, we prove the result for the case when only one end point of an arc is in the interior of the region.


title: Environment Semantic Aided Communication: A Real World Demonstration for Beam Prediction

abstract: Millimeter-wave (mmWave) and terahertz (THz) communication systems adopt large antenna arrays to ensure adequate receive signal power. However, adjusting the narrow beams of these antenna arrays typically incurs high beam training overhead that scales with the number of antennas. Recently proposed vision-aided beam prediction solutions, which utilize \textit{raw RGB images} captured at the basestation to predict the optimal beams, have shown initial promising results. However, they still have a considerable computational complexity, limiting their adoption in the real world. To address these challenges, this paper focuses on developing and comparing various approaches that extract lightweight semantic information from the visual data. The results show that the proposed solutions can significantly decrease the computational requirements while achieving similar beam prediction accuracy compared to the previously proposed vision-aided solutions.


title: Detection-Recovery Gap for Planted Dense Cycles

abstract: Planted dense cycles are a type of latent structure that appears in many applications, such as small-world networks in social sciences and sequence assembly in computational biology. We consider a model where a dense cycle with expected bandwidth $n \tau$ and edge density $p$ is planted in an Erd\H{o}s-R\'enyi graph $G(n,q)$. We characterize the computational thresholds for the associated detection and recovery problems for the class of low-degree polynomial algorithms. In particular, a gap exists between the two thresholds in a certain regime of parameters. For example, if $n^{-3/4} \ll \tau \ll n^{-1/2}$ and $p = C q = \Theta(1)$ for a constant $C>1$, the detection problem is computationally easy while the recovery problem is hard for low-degree algorithms.