title: Robust Task-Specific Beamforming with Low-Resolution ADCs for Power-Efficient Hybrid MIMO Receivers

abstract: Multiple-input multiple-output (MIMO) systems exploit spatial diversity to facilitate multi-user communications with high spectral efficiency by beamforming. As MIMO systems utilize multiple antennas and radio frequency (RF) chains, they are typically costly to implement and consume high power. A common method to reduce the cost of MIMO receivers is utilizing less RF chains than antennas by employing hybrid analog/digital beamforming (HBF). However, the added analog circuitry involves active components whose consumed power may surpass that saved in RF chain reduction. An additional method to realize power-efficient MIMO systems is to use low-resolution analog-to-digital converters (ADCs), which typically compromises signal recovery accuracy. In this work, we propose a power-efficient hybrid MIMO receiver with low-quantization rate ADCs, by jointly optimizing the analog and digital processing in a hardware-oriented manner using task-specific quantization techniques. To mitigate power consumption on the analog front-end, we utilize efficient analog hardware architecture comprised of sparse low-resolution vector modulators, while accounting for their properties in design to maintain recovery accuracy and mitigate interferers in congested environments. To account for common mismatches induced by non-ideal hardware and inaccurate channel state information, we propose a robust mismatch aware design. Supported by numerical simulations and power analysis, our power-efficient MIMO receiver achieves comparable signal recovery performance to power-hungry fully-digital MIMO receivers using high-resolution ADCs. Furthermore, our receiver outperforms the task-agnostic HBF receivers with low-rate ADCs in recovery accuracy at lower power and successfully copes with hardware mismatches.


title: Qubit-controlled directional edge states in waveguide QED

abstract: We propose an in-situ tunable chiral quantum system, composed of a quantum emitter coupled to a waveguide based on the Rice-Mele model (where we alternate both the on-site potentials and tunnel couplings between sites in the waveguide array). Specifically, we show that the chirality of photonic bound state, that emerges in the bandgap of the waveguide, depends only on the energy of the qubit; a parameter that is easy to tune in many artificial atoms. In contrast to previous proposals that have either shown imperfect chirality or fixed directionality, our waveguide QED scheme achieves both perfect chirality and the capability to switch the directionality on demand with just one tunable element in the device. We also show that our model is easy to implement in both state-of-the-art superconducting circuit and quantum dot architectures. The results show technological promise in creating long-range couplers between qubits while maintaining, in principle, zero crosstalk.


title: Smart Insole: A Gait Analysis Monitoring Platform Targeting Parkinson Disease Patients Based on Insoles

abstract: During the preceding decades, human gait analysis has been the center of attention for the scientific community, while the association between gait analysis and overall health monitoring has been extensively reported. Technological advances further assisted in this alignment, resulting in access to inexpensive and remote healthcare services. Various assessment tools, such as software platforms and mobile applications, have been proposed by the scientific community and the market that employ sensors to monitor human gait for various purposes ranging from biomechanics to the progression of functional recovery. The framework presented herein offers a valuable digital biomarker for diagnosing and monitoring Parkinson's disease that can help clinical experts in the decision-making process leading to corrective planning or patient-specific treatment. More accurate and reliable decisions can be provided through a wide variety of integrated Artificial Intelligence algorithms and straightforward visualization techniques, including, but not limited to, heatmaps and bar plots. The framework consists of three core components: the insole pair, the mobile application, and the cloud-based platform. The insole pair deploys 16 plantar pressure sensors, an accelerometer, and a gyroscope to acquire gait data. The mobile application formulates the data for the cloud platform, which orchestrates the component interaction through the web application. Utilizing open communication protocols enables the straightforward replacement of one of the core components with a relative one (e.g., a different model of insoles), transparently from the end user, without affecting the overall architecture, resulting in a framework with the flexibility to adjust its modularity.


title: An Augmented Reality Application and User Study for Understanding and Learning Spatial Transformation Matrices

abstract: Understanding spatial transformations and their mathematical representations are essential in computer-aided design, robotics, etc. This research has developed and tested an Augmented Reality (AR) application (BRICKxAR/T) to enhance students' learning of spatial transformation matrices. BRICKxAR/T leverages AR features, including information augmentation, physical-virtual object interplay, and embodied learning, to create a novel and effective visualization experience for learning. BRICKxAR T has been evaluated as a learning intervention using LEGO models as example physical and virtual manipulatives in a user study to assess students' learning gains. The study compared AR (N=29) vs. non-AR (N=30) learning workshops with pre- and post-tests on Purdue Visualization of Rotations Test and math questions. Students' math scores significantly improved after participating in both workshops with the AR workshop tending to show greater improvements. The post-workshop survey showed students were inclined to think BRICKxAR/T an interesting and useful application, and they spent more time learning in AR than non-AR.


title: Stretching the limits of multiparticle entanglement

abstract: This is a perspective on "k-stretchability of entanglement, and the duality of k-separability and k-producibility" by Szil\'ard Szalay, published in Quantum 3, 204 (2019).


title: Approximation of the non-linear water hammer problem by a Lax-Wendroff finite difference scheme

abstract: We study the water hammer problem in the case of a sudden closing of a valve upstream, and we consider a Lax-Wendroff finite difference scheme in order to obtain a numerical solution of this problem. In order to establish the approximation of this scheme to the original case, we rigorously show some properties such as consistency, stability and weak convergence of the scheme under reasonable conditions. In addition, we present some numerical simulations in order to show some features of the numerical method.


title: Repeating periodic eruptions of the supernova impostor SN 2000ch

abstract: We analyse photometric observations of the supernova (SN) impostor SN 2000ch in NGC 3432 covering the time since its discovery. This source was previously observed to have four outbursts in 2000-2010. Observations now reveal at least three additional outbursts in 2004-2007, and sixteen outbursts in 2010-2022. Outburst light curves are irregular and multipeaked, exhibiting a wide variety of peak magnitude, duration, and shape. The outbursts after 2008 repeat with a period of 200.7$\pm{2}$ d, while the outburst in 2000 seems to match with a shorter period. The next outburst should occur around January/February 2023. We propose that these periodic eruptions arise from violent interaction around times of periastron in an eccentric binary system, similar to the periastron encounters of $\eta$ Carinae leading up to its Great Eruption, and resembling the erratic pre-SN eruptions of SN 2009ip. We attribute the irregularity of the eruptions to the interplay between the orbit and the variability of the luminous blue variable (LBV) primary star, wherein each successive periastron pass may have a different intensity or duration due to the changing radius and mass-loss rate of the LBV-like primary. Such outbursts may occasionally be weak or undetectable if the LBV is relatively quiescent at periastron, but can be much more extreme when the LBV is active. The observed change in orbital period may be a consequence of mass lost in outbursts. Given the similarity to the progenitor of SN 2009ip, SN 2000ch deserves continued attention in the event it is headed for a stellar merger or a SN-like explosion.


title: Holomorphic extension in holomorphic fiber bundles with (1,0)-compactifiable fiber

abstract: We use the Leray spectral sequence for the sheaf cohomology groups with compact supports to obtain a vanishing result. The stalks of sheaves $R^{\bullet}\phi_{!}\mathcal{O}$ for the structure sheaf $\mathcal{O}$ on the total space of a holomorphic fiber bundle $\phi$ has canonical topology structures. Using the standard \vCech argument we prove a density lemma for QDFS-topology on this stalks. In particular, we obtain a vanishing result for holomorphic fiber bundles with Stein fibers. Using K\"unnet formulas, properties of an inductive topology (with respect to the pair of spaces) on the stalks of the sheaf $R^{1}\phi_{!}\mathcal{O}$ and a cohomological criterion for the Hartogs phenomenon we obtain the main result on the Hartogs phenomenon for the total space of holomorphic fiber bundles with (1,0)-compactifiable fibers.


title: Towards True Lossless Sparse Communication in Multi-Agent Systems

abstract: Communication enables agents to cooperate to achieve their goals. Learning when to communicate, i.e., sparse (in time) communication, and whom to message is particularly important when bandwidth is limited. Recent work in learning sparse individualized communication, however, suffers from high variance during training, where decreasing communication comes at the cost of decreased reward, particularly in cooperative tasks. We use the information bottleneck to reframe sparsity as a representation learning problem, which we show naturally enables lossless sparse communication at lower budgets than prior art. In this paper, we propose a method for true lossless sparsity in communication via Information Maximizing Gated Sparse Multi-Agent Communication (IMGS-MAC). Our model uses two individualized regularization objectives, an information maximization autoencoder and sparse communication loss, to create informative and sparse communication. We evaluate the learned communication `language' through direct causal analysis of messages in non-sparse runs to determine the range of lossless sparse budgets, which allow zero-shot sparsity, and the range of sparse budgets that will inquire a reward loss, which is minimized by our learned gating function with few-shot sparsity. To demonstrate the efficacy of our results, we experiment in cooperative multi-agent tasks where communication is essential for success. We evaluate our model with both continuous and discrete messages. We focus our analysis on a variety of ablations to show the effect of message representations, including their properties, and lossless performance of our model.


title: Joint Estimation of Clustered User Activity and Correlated Channels with Unknown Covariance in mMTC

abstract: This paper considers joint user identification and channel estimation (JUICE) in grant-free access with a \emph{clustered} user activity pattern. In particular, we address the JUICE in massive machine-type communications (mMTC) network under correlated Rayleigh fading channels with unknown channel covariance matrices. We formulate the JUICE problem as a maximum \emph{a posteriori} probability (MAP) problem with properly chosen priors to incorporate the partial knowledge of the UEs' clustered activity and the unknown covariance matrices. We derive a computationally-efficient algorithm based on alternating direction method of multipliers (ADMM) to solve the MAP problem iteratively via a sequence of closed-form updates. Numerical results highlight the significant improvements brought by the proposed approach in terms of channel estimation and activity detection performances for clustered user activity patterns.


title: Well-posedness for the surface quasi-geostrophic front equation

abstract: We consider the well-posedness of the surface quasi-geostrophic (SQG) front equation. Hunter-Shu-Zhang [9] established well-posedness under a small data condition as well as a convergence condition on an expansion of the equation's nonlinearity. In the present article, we establish unconditional large data local well-posedness of the SQG front equation, while also improving the low regularity threshold for the initial data. In addition, we establish global well-posedness theory in the rough data regime by using the testing by wave packet approach of Ifrim-Tataru.


title: Tailoring the dielectric screening in WS$_2$-graphene heterostructures

abstract: The environment contributes to the screening of Coulomb interactions in two-dimensional semiconductors. This can potentially be exploited to tailor material properties as well as for sensing applications. Here, we investigate the tuning of the band gap and the exciton binding energy in the two-dimensional semiconductor WS$_2$ via the external dielectric screening. Embedding WS$_2$ in van der Waals heterostructures with graphene and hBN spacers of thicknesses between one and 16 atomic layers, we experimentally determine both energies as a function of the \WS-to-graphene interlayer distance. We find that the modification to the band gap as well as the exciton binding energy are well described by a one-over-distance dependence, with a significant effect remaining at several nm distance, at which the two layers are electrically well isolated. This observation is explained by a screening arising from an image charge induced by the graphene layer. Furthermore, we find that the effectiveness of graphene to screen Coulomb interactions in nearby WS$_2$ depends on its doping level and can therefore be controlled via the electric field effect. We determine that, at room temperature, it is modified by approximately 20\% for charge carrier densities of $2\times10^{12}$ cm$^{-2}$.


title: Incentivising cooperation by rewarding the weakest member

abstract: Autonomous agents that act with each other on behalf of humans are becoming more common in many social domains, such as customer service, transportation, and health care. In such social situations greedy strategies can reduce the positive outcome for all agents, such as leading to stop-and-go traffic on highways, or causing a denial of service on a communications channel. Instead, we desire autonomous decision-making for efficient performance while also considering equitability of the group to avoid these pitfalls. Unfortunately, in complex situations it is far easier to design machine learning objectives for selfish strategies than for equitable behaviors. Here we present a simple way to reward groups of agents in both evolution and reinforcement learning domains by the performance of their weakest member. We show how this yields ``fairer'' more equitable behavior, while also maximizing individual outcomes, and we show the relationship to biological selection mechanisms of group-level selection and inclusive fitness theory.


title: The lstMCpipe library

abstract: The Cherenkov Telescope Array (CTA) is the next generation of ground-based gamma-ray astronomy observatory that will improve the sensitivity of current generation instruments by one order of magnitude. The LST-1 is the first telescope prototype built on-site on the Canary Island of La Palma and has been taking data for a few years already. Like all imaging atmospheric Cherenkov telescopes (IACTs), the LST-1 works by capturing the light produced by the Cherenkov process when high-energy particles enter the atmosphere. The analysis of the recorded snapshot of the camera allows to discriminate between gamma photons and hadrons, and to reconstruct the physical parameters of the selected photons. To build the models for the discrimination and reconstruction, as well as to estimate the telescope response (by simulating the atmospheric showers and the telescope optics and electronics), extensive Monte Carlo simulations have to be performed. These trained models are later used to analyse data from real observations. lstMCpipe is an open source python package developed to orchestrate the different stages of the analysis of the MC files on a computing facility. Currently, the library is in production status, scheduling the full pipeline in a SLURM cluster. It greatly simplifies the analysis workflow by adding a level of abstraction, allowing users to start the entire pipeline using a simple configuration file. Moreover, members of the LST collaboration can ask for a new analysis to be produced with their tuned parameters through a pull request in the project repository, allowing careful review by others collaborators and a central management of the productions, thus reducing human errors and optimising the usage of the computing resources.


title: Denoising Diffusion for Sampling SAT Solutions

abstract: Generating diverse solutions to the Boolean Satisfiability Problem (SAT) is a hard computational problem with practical applications for testing and functional verification of software and hardware designs. We explore the way to generate such solutions using Denoising Diffusion coupled with a Graph Neural Network to implement the denoising function. We find that the obtained accuracy is similar to the currently best purely neural method and the produced SAT solutions are highly diverse, even if the system is trained with non-random solutions from a standard solver.


title: Self-Supervised Feature Learning for Long-Term Metric Visual Localization

abstract: Visual localization is the task of estimating camera pose in a known scene, which is an essential problem in robotics and computer vision. However, long-term visual localization is still a challenge due to the environmental appearance changes caused by lighting and seasons. While techniques exist to address appearance changes using neural networks, these methods typically require ground-truth pose information to generate accurate image correspondences or act as a supervisory signal during training. In this paper, we present a novel self-supervised feature learning framework for metric visual localization. We use a sequence-based image matching algorithm across different sequences of images (i.e., experiences) to generate image correspondences without ground-truth labels. We can then sample image pairs to train a deep neural network that learns sparse features with associated descriptors and scores without ground-truth pose supervision. The learned features can be used together with a classical pose estimator for visual stereo localization. We validate the learned features by integrating with an existing Visual Teach & Repeat pipeline to perform closed-loop localization experiments under different lighting conditions for a total of 22.4 km.


title: A representation of $\text{Out}\left(F_{n}\right)$ by counting subwords of cyclic words

abstract: We generalize the combinatorial approaches of Rapaport and Higgins--Lyndon to the Whitehead algorithm. We show that for every automorphism $\varphi$ of a free group $F$ and every word $u\in F$ there exists a finite multiset of words $S_{u,\varphi}$ satisfying the following property: For every cyclic word $w$, the number of times $u$ appears as a subword of $\varphi\left(w\right)$ depends only on the appearances of words in $S_{u,\varphi}$ as subwords of $w$. We use this fact to construct a faithful representation of $\text{Out}\left(F_{n}\right)$ on an inverse limit of $\mathbb{Z}$-modules, so that each automorphism is represented by sequence of finite rectangular matrices, which can be seen as successively better approximations of the automorphism.


title: One Risk to Rule Them All: A Risk-Sensitive Perspective on Model-Based Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) is suitable for safety-critical domains where online exploration is too costly or dangerous. In such safety-critical settings, decision-making should take into consideration the risk of catastrophic outcomes. In other words, decision-making should be risk-sensitive. Previous works on risk in offline RL combine together offline RL techniques, to avoid distributional shift, with risk-sensitive RL algorithms, to achieve risk-sensitivity. In this work, we propose risk-sensitivity as a mechanism to jointly address both of these issues. Our model-based approach is risk-averse to both epistemic and aleatoric uncertainty. Risk-aversion to epistemic uncertainty prevents distributional shift, as areas not covered by the dataset have high epistemic uncertainty. Risk-aversion to aleatoric uncertainty discourages actions that may result in poor outcomes due to environment stochasticity. Our experiments show that our algorithm achieves competitive performance on deterministic benchmarks, and outperforms existing approaches for risk-sensitive objectives in stochastic domains.


title: From gamma rays to radio waves: Dark Matter searches across the spectrum

abstract: In this thesis, we examined the possibilities offered by multi-messenger astronomy in the context of indirect dark matter detection. We have applied a multi-wavelength strategy by studying different signals across the electromagnetic spectrum (gamma-rays, X-rays, radio waves) produced at different scales of the Universe (galactic, extragalactic, cosmic web filaments). In Part I, we obtained the first-ever prediction of the cross-correlation signal between the extragalactic gamma-ray flux and the 21cm line emitted by hydrogen atoms in dark matter halos. We showed that the neutral hydrogen distribution is a highly competitive probe for dark matter searches, especially in view of the next-generation radio telescope Square Kilometre Array. In Part II, we obtained the limits on the annihilation cross-section of dark matter particles by comparing the X-ray flux measured by INTEGRAL with the theoretical signal expected in the case of particles with a mass between 1 MeV and 5 GeV. We derived the most stringent constraints in the literature on such particles with a mass between 150 MeV and 1.5 GeV. The originality of this work resides in including the contribution from the scattering between the low-energy photons in the Milky Way with the electrons and positrons, produced by dark matter particles. In Part III, we focused on an exotic radio signal, emerging from the GLEAM survey, which seems compatible with a filament of the cosmic web and provides direct evidence for one of the pillars of our understanding of structure formation in the Universe. This radio emission can be explained by dark matter candidates with a mass in the range of 5-10 GeV, decaying into pairs of electrons and positrons. This thesis contributes to a broad spectrum of research for particle dark matter on different levels, since we considered different types of signals, multiple targets and different mass scales.


title: Proton Computed Tomography Based on Richardson-Lucy Algorithm

abstract: Objective: Proton therapy is a emerging method against cancer. One of the main development is to increase the accuracy of the Bragg-peak position calculation, which requires more precise relative stopping power (RSP) measurements. An excellent choice is the application of proton computed tomography (pCT) systems which take the images under similar conditions to treatment as they use the same irradiation device and hadron beam for imaging and treatment. A key aim is to develop an accurate image reconstruction algorithm for pCT systems to reach their maximal performance. Approach: An image reconstruction algorithm was developed in this work, which is suitable to reconstruct pCT images from the energy, position and direction measurement of individual protons. The flexibility of an iterative image reconstruction algorithm was utilised to appropriately model the trajectory of protons. Monte Carlo (MC) simulations of a Derenzo and a CTP404 phantom was used to test the accuracy of the image reconstruction. Main results: The Richardson-Lucy algorithm was applied first and successfully for pCT image reconstruction. Probability density based approach was applied for interaction (system) matrix generation, which is an advanced approach to consider the uncertain path of the protons in the patient. Significance: The track of protons are scattered when they travel through material at the hadron therapy energies. This property limits the achievable spatial resolution, especially for single-sided pCT setups investigated in this study. The main motivation of the presented research is to test new approaches for the image reconstruction, focusing on the achieved spatial- and density resolution and the image noise. Realistic imaging setup were simulated with reasonably low proton statistics, to achieve results, which is likely to be reproducible in clinical environment.


title: Free-fermionic ice, the Yang-Baxter equation and skein relations

abstract: In his famous ASM paper, Kuperberg uses a skein relation to give an algebraic proof of a Yang-Baxter equation where the Boltzmann weights satisfy the field-free condition. In this paper, we use Kuperberg's techniques to give proofs of a few Yang-Baxter equations where the Boltzmann weights satisfy the free-fermionic condition. In particular, we use skein relations to prove the Yang-Baxter equation for Gamma-Gamma ice which is a free-fermionic six-vertex model introduced by Brubaker, Bump and Friedberg.


title: An Optimized Privacy-Utility Trade-off Framework for Differentially Private Data Sharing in Blockchain-based Internet of Things

abstract: Differential private (DP) query and response mechanisms have been widely adopted in various applications based on Internet of Things (IoT) to leverage variety of benefits through data analysis. The protection of sensitive information is achieved through the addition of noise into the query response which hides the individual records in a dataset. However, the noise addition negatively impacts the accuracy which gives rise to privacy-utility trade-off. Moreover, the DP budget or cost $\epsilon$ is often fixed and it accumulates due to the sequential composition which limits the number of queries. Therefore, in this paper, we propose a framework known as optimized privacy-utility trade-off framework for data sharing in IoT (OPU-TF-IoT). Firstly, OPU-TF-IoT uses an adaptive approach to utilize the DP budget $\epsilon$ by considering a new metric of population or dataset size along with the query. Secondly, our proposed heuristic search algorithm reduces the DP budget accordingly whereas satisfying both data owner and data user. Thirdly, to make the utilization of DP budget transparent to the data owners, a blockchain-based verification mechanism is also proposed. Finally, the proposed framework is evaluated using real-world datasets and compared with the traditional DP model and other related state-of-the-art works. The results confirm that our proposed framework not only utilize the DP budget $\epsilon$ efficiently, but it also optimizes the number of queries. Furthermore, the data owners can effectively make sure that their data is shared accordingly through our blockchain-based verification mechanism which encourages them to share their data into the IoT system.


title: Invariant measures for stochastic parabolic-hyperbolic equations in the space of almost periodic functions: Lipschitz flux case

abstract: We study the well-posedness and the long-time behavior of almost periodic solutions to stochastic degenerate parabolic-hyperbolic equations in any space dimension, under the assumption of Lipschitz continuity of the flux and viscosity functions and a non-degeneracy condition. We show the existence and uniqueness of an invariant measure in a separable subspace of the space of Besicovitch almost periodic functions.


title: PHANGS-JWST First Results: The Influence of Stellar Clusters on PAHs in Nearby Galaxies

abstract: We present a comparison of theoretical predictions of dust continuum and polycyclic aromatic hydrocarbon (PAH) emission with new JWST observations in three nearby galaxies: NGC 628, NGC 1365, and NGC 7496. Our analysis focuses on a total of 1063 compact stellar clusters and 2654 stellar associations previously characterized by HST in the three galaxies. We find that the distributions and trends in the observed PAH-focused infrared colors generally agree with theoretical expectations, and that the bulk of the observations is more aligned with models of larger, ionized PAHs. These JWST data usher in a new era of probing interstellar dust and studying how the intense radiation fields near stellar clusters and associations play a role in shaping the physical properties of PAHs.


title: Evidential Conditional Neural Processes

abstract: The Conditional Neural Process (CNP) family of models offer a promising direction to tackle few-shot problems by achieving better scalability and competitive predictive performance. However, the current CNP models only capture the overall uncertainty for the prediction made on a target data point. They lack a systematic fine-grained quantification on the distinct sources of uncertainty that are essential for model training and decision-making under the few-shot setting. We propose Evidential Conditional Neural Processes (ECNP), which replace the standard Gaussian distribution used by CNP with a much richer hierarchical Bayesian structure through evidential learning to achieve epistemic-aleatoric uncertainty decomposition. The evidential hierarchical structure also leads to a theoretically justified robustness over noisy training tasks. Theoretical analysis on the proposed ECNP establishes the relationship with CNP while offering deeper insights on the roles of the evidential parameters. Extensive experiments conducted on both synthetic and real-world data demonstrate the effectiveness of our proposed model in various few-shot settings.


title: Mass concentration for Ergodic Choquard Mean-Field Games

abstract: We study concentration phenomena in the vanishing viscosity limit for second-order stationary Mean-Field Games systems defined in the whole space $\mathbb{R}^N$ with Riesz-type aggregating nonlocal coupling and external confining potential. In this setting, every player of the game is attracted toward congested areas and the external potential discourages agents to be far away from the origin. Focusing on the mass-subcritical regime $N-\gamma'<\alpha<N$, we study the behavior of solutions in the vanishing viscosity limit, namely when the diffusion becomes negligible. First, we investigate the asymptotic behavior of rescaled solutions as $\varepsilon\to0$, obtaining existence of classical solutions to potential free MFG systems with Riesz-type coupling. Secondly, we prove concentration of mass around minima of the potential.


title: Generative Adversarial Learning of Sinkhorn Algorithm Initializations

abstract: The Sinkhorn algorithm is the state-of-the-art to approximate solutions of entropic optimal transport (OT) distances between discrete probability distributions. We show that meticulously training a neural network to learn initializations to the algorithm via the entropic OT dual problem can significantly speed up convergence, while maintaining desirable properties of the Sinkhorn algorithm, such as differentiability and parallelizability. We train our predictive network in an adversarial fashion using a second, generating network and a self-supervised bootstrapping loss. The predictive network is universal in the sense that it is able to generalize to any pair of distributions of fixed dimension and cost at inference, and we prove that we can make the generating network universal in the sense that it is capable of producing any pair of distributions during training. Furthermore, we show that our network can even be used as a standalone OT solver to approximate regularized transport distances to a few percent error, which makes it the first meta neural OT solver.


title: A structure theorem for streamed information

abstract: We identify the free half shuffle algebra of Sch\"utzenberger (1958) with an algebra of real-valued functionals on paths, where the half shuffle emulates integration of a functional against another. We then provide two, to our knowledge, new identities in arity 3 involving its commutator (area), and show that these are sufficient to recover the Zinbiel and Tortkara identities of Dzhumadil'daev (2007). We use these identities to prove that any element of the free half shuffle algebra can be expressed as a polynomial over iterated areas. Moreover, we consider minimal sets of iterated integrals defined through the recursive application of the half shuffle on Hall trees. Leveraging the duality between this set of Hall integrals and classical Hall bases of the free Lie algebra, we prove using combinatorial arguments that any element of the free half shuffle algebra can be written uniquely as a polynomial over Hall integrals. We interpret this result as a structure theorem for streamed information, loosely analogous to the unique prime factorisation of integers, allowing to split any real valued function on streamed data into two parts: a first that extracts and packages the streamed information into recursively defined atomic objects (Hall integrals), and a second that evaluates a polynomial function in these objects without further reference to the original stream. The question of whether a similar result holds if Hall integrals are replaced by Hall areas is left as an open conjecture. Finally, we construct a canonical, but to our knowledge, new decomposition of the free half shuffle algebra as shuffle power series in the greatest letter of the original alphabet with coefficients in a sub-algebra freely generated by a new alphabet with an infinite number of letters. We use this construction to provide a second proof of our structure theorem.


title: Answering Private Linear Queries Adaptively using the Common Mechanism

abstract: When analyzing confidential data through a privacy filter, a data scientist often needs to decide which queries will best support their intended analysis. For example, an analyst may wish to study noisy two-way marginals in a dataset produced by a mechanism M1. But, if the data are relatively sparse, the analyst may choose to examine noisy one-way marginals, produced by a mechanism M2 instead. Since the choice of whether to use M1 or M2 is data-dependent, a typical differentially private workflow is to first split the privacy loss budget rho into two parts: rho1 and rho2, then use the first part rho1 to determine which mechanism to use, and the remainder rho2 to obtain noisy answers from the chosen mechanism. In a sense, the first step seems wasteful because it takes away part of the privacy loss budget that could have been used to make the query answers more accurate. In this paper, we consider the question of whether the choice between M1 and M2 can be performed without wasting any privacy loss budget. For linear queries, we propose a method for decomposing M1 and M2 into three parts: (1) a mechanism M* that captures their shared information, (2) a mechanism M1' that captures information that is specific to M1, (3) a mechanism M2' that captures information that is specific to M2. Running M* and M1' together is completely equivalent to running M1 (both in terms of query answer accuracy and total privacy cost rho). Similarly, running M* and M2' together is completely equivalent to running M2. Since M* will be used no matter what, the analyst can use its output to decide whether to subsequently run M1'(thus recreating the analysis supported by M1) or M2'(recreating the analysis supported by M2), without wasting privacy loss budget.


title: DEL-Dock: Molecular Docking-Enabled Modeling of DNA-Encoded Libraries

abstract: DNA-Encoded Library (DEL) technology has enabled significant advances in hit identification by enabling efficient testing of combinatorially-generated molecular libraries. DEL screens measure protein binding affinity though sequencing reads of molecules tagged with unique DNA-barcodes that survive a series of selection experiments. Computational models have been deployed to learn the latent binding affinities that are correlated to the sequenced count data; however, this correlation is often obfuscated by various sources of noise introduced in its complicated data-generation process. In order to denoise DEL count data and screen for molecules with good binding affinity, computational models require the correct assumptions in their modeling structure to capture the correct signals underlying the data. Recent advances in DEL models have focused on probabilistic formulations of count data, but existing approaches have thus far been limited to only utilizing 2-D molecule-level representations. We introduce a new paradigm, DEL-Dock, that combines ligand-based descriptors with 3-D spatial information from docked protein-ligand complexes. 3-D spatial information allows our model to learn over the actual binding modality rather than using only structured-based information of the ligand. We show that our model is capable of effectively denoising DEL count data to predict molecule enrichment scores that are better correlated with experimental binding affinity measurements compared to prior works. Moreover, by learning over a collection of docked poses we demonstrate that our model, trained only on DEL data, implicitly learns to perform good docking pose selection without requiring external supervision from expensive-to-source protein crystal structures.


title: ADOPT: A system for Alerting Drivers to Occluded Pedestrian Traffic

abstract: Recent statistics reveal an alarming increase in accidents involving pedestrians (especially children) crossing the street. A common philosophy of existing pedestrian detection approaches is that this task should be undertaken by the moving cars themselves. In sharp departure from this philosophy, we propose to enlist the help of cars parked along the sidewalk to detect and protect crossing pedestrians. In support of this goal, we propose ADOPT: a system for Alerting Drivers to Occluded Pedestrian Traffic. ADOPT lays the theoretical foundations of a system that uses parked cars to: (1) detect the presence of a group of crossing pedestrians - a crossing cohort; (2) predict the time the last member of the cohort takes to clear the street; (3) send alert messages to those approaching cars that may reach the crossing area while pedestrians are still in the street; and, (4) show how approaching cars can adjust their speed, given several simultaneous crossing locations. Importantly, in ADOPT all communications occur over very short distances and at very low power. Our extensive simulations using SUMO-generated pedestrian and car traffic have shown the effectiveness of ADOPT in detecting and protecting crossing pedestrians.


title: Word Alignment in the Era of Deep Learning: A Tutorial

abstract: The word alignment task, despite its prominence in the era of statistical machine translation (SMT), is niche and under-explored today. In this two-part tutorial, we argue for the continued relevance for word alignment. The first part provides a historical background to word alignment as a core component of the traditional SMT pipeline. We zero-in on GIZA++, an unsupervised, statistical word aligner with surprising longevity. Jumping forward to the era of neural machine translation (NMT), we show how insights from word alignment inspired the attention mechanism fundamental to present-day NMT. The second part shifts to a survey approach. We cover neural word aligners, showing the slow but steady progress towards surpassing GIZA++ performance. Finally, we cover the present-day applications of word alignment, from cross-lingual annotation projection, to improving translation.


title: Movie Recommendation System using Composite Ranking

abstract: In today's world, abundant digital content like e-books, movies, videos and articles are available for consumption. It is daunting to review everything accessible and decide what to watch next. Consequently, digital media providers want to capitalise on this confusion and tackle it to increase user engagement, eventually leading to higher revenues. Content providers often utilise recommendation systems as an efficacious approach for combating such information overload. This paper concentrates on developing a synthetic approach for recommending movies. Traditionally, movie recommendation systems use either collaborative filtering, which utilises user interaction with the media, or content-based filtering, which makes use of the movie's available metadata. Technological advancements have also introduced a hybrid technique that integrates both systems. However, our approach deals solely with content-based recommendations, further enhancing it with a ranking algorithm based on content similarity metrics. The three metrics contributing to the ranking are similarity in metadata, visual content, and user reviews of the movies. We use text vectorization followed by cosine similarity for metadata, feature extraction by a pre-trained VGG19 followed by K-means clustering for visual content, and a comparison of sentiments for user reviews. Such a system allows viewers to know movies that "feel" the same.


title: A Novel Framework for Decentralized Dynamic Resource Allocation Using Voronoi Tessellations

abstract: In this work, we approach the problem of resource allocation in a team of agents through the framework of Centroidal Voronoi Tessellations. CVTs provide a natural way to embed a desired global trend in the team through probability distributions, and in one-dimensional spaces, CVTs offer an inherent line structure allowing for a simple communication graph and scalability. We first consider the amount of resource to be allocated to be a constant and provide an analytical solution to such static resource allocation problem by embedding the allocation constraint within the distribution through a system of nonlinear equations. Using the solution of such a constrained CVT minimization problem as an initialization step, we propose a decentralized dynamic resource allocation solution that employs a one-step update when the desired distribution is Gaussian. We introduce a "civility model" for negotiations between the agents to allow for flexibility in local preferences and maintaining robustness against local disturbances. We demonstrate the effectiveness of the proposed method by considering the application of demand-response in smart grids through the problem of power allocation in a group of building thermal loads.


title: On the nature of overcharging and charge inversion in electrical double layers

abstract: Understanding overcharging and charge inversion is one of the long-standing challenges in soft matter and biophysics. To study these phenomena, we employ the modified Gaussian renormalized fluctuation theory, which allows for the self-consistent accounting of spatially varying ionic strength, as well as the spatial variations in dielectric permittivity and excluded volume effects. The underlying dependence of overcharging on the electrostatic coupling is elucidated by varying surface charge, counterion valency, and dielectric contrast. Consistent with simulations, three characteristic regimes corresponding to weak, moderate, and strong coupling are identified. Important features like the inversion of zeta potential, crowding and ionic layering at the surface are successfully captured. For weak coupling, there is no overcharging. In the moderate coupling regime, overcharging increases with surface charge. Finally, in the strong coupling regime, ionic crowding and saturation in overcharging are observed. Our theory predicts non-monotonic dependence of charge inversion on multivalent salt concentration as well as the addition of monovalent salt, in quantitative agreement with experiments.


title: Determination of Majorana type-phases from the time evolution of lepton numbers

abstract: We have investigated an approach to determine the Majorana type-phases using the time evolution of lepton family numbers. The Majorana type-phases are related to the orientation of unitarity triangles for the Pontecorvo-Maki-Nakagawa-Sakata (PMNS) matrix, and the Majorana phases $\alpha_{21}$ and $\alpha_{31}$. After taking the second-order time derivative of the lepton family number expectation values, the dependencies on the summation of Majorana type-phases can be determined. Thus allowing for the extraction of the orientation of the unitarity triangles and the Majorana phases. We study how to extract the Majorana type-phases and the lightest neutrino mass for three massive neutrinos, and when a neutrino is massless, i.e., $m_{1,3}=0$. Our result can be complimentary to using neutrinoless double-beta decay for determining the orientation of PMNS unitarity triangles and the Majorana phases.


title: FIESTA: Autoencoders for accurate fiber segmentation in tractography

abstract: White matter bundle segmentation is a cornerstone of modern tractography to study the brain's structural connectivity in domains such as neurological disorders, neurosurgery, and aging. In this study, we present FIESTA (FIbEr Segmentation in Tractography using Autoencoders), a reliable and robust, fully automated, and easily semi-automatically calibrated pipeline based on deep autoencoders that can dissect and fully populate white matter bundles. This pipeline is built upon previous works that demonstrated how autoencoders can be used successfully for streamline filtering, bundle segmentation, and streamline generation in tractography. Our proposed method improves bundle segmentation coverage by recovering hard-to-track bundles with generative sampling through the latent space seeding of the subject bundle and the atlas bundle. A latent space of streamlines is learned using autoencoder-based modeling combined with contrastive learning. Using an atlas of bundles in standard space (MNI), our proposed method segments new tractograms using the autoencoder latent distance between each tractogram streamline and its closest neighbor bundle in the atlas of bundles. Intra-subject bundle reliability is improved by recovering hard-to-track streamlines, using the autoencoder to generate new streamlines that increase the spatial coverage of each bundle while remaining anatomically correct. Results show that our method is more reliable than state-of-the-art automated virtual dissection methods such as RecoBundles, RecoBundlesX, TractSeg, White Matter Analysis and XTRACT. Our framework allows for the transition from one anatomical bundle definition to another with marginal calibration efforts. Overall, these results show that our framework improves the practicality and usability of current state-of-the-art bundle segmentation framework.


title: Trial states for Bose gases: singular scalings and non-integrable potentials

abstract: We review two results in which trial states for bosonic Hamiltonians were discussed. The problem of finding a trial state for a system with a hard-core potential in the Gross-Pitaevskii regime was recently solved by proving a link with the problem of finding a trial state for a system with a more regular potential in a less singular scaling, one of the type $N^{-1+3\beta}V(N^\beta\cdot)$ with $\beta\in(0,1)$. For both of these models we present the main result for the upper bound to the ground state energy, and discuss the key steps in the proof.


title: Statistical Chronometry of Meteorites. II. Initial Abundances and Homogeneity of Short-lived Radionuclides

abstract: Astrophysical models of planet formation require accurate radiometric dating of meteoritic components by short-lived (Al-Mg, Mn-Cr, Hf-W) and long-lived (Pb-Pb) chronometers, to develop a timeline of such events in the solar nebula as formation of Ca-rich, Al-rich Inclusions (CAIs), chondrules, planetesimals, etc. CAIs formed mostly around a time ("t=0") when the short-lived radionuclide 26Al (t1/2 = 0.72 Myr) was present and presumably homogeneously distributed at a known level we define as (26Al/27Al)SS = 5.23 x10^-5. The time of formation after t=0 of another object can be found by determining its initial (26Al/27Al)0 ratio and comparing it to (26Al/27Al)SS. Dating of meteoritic objects using the Mn-Cr or Hf-W systems is hindered because the abundances (53Mn/55Mn)SS and (182Hf/180Hf)SS at t=0 are not known precisely. To constrain these quantities, we compile literature Al-Mg, Mn-Cr, Hf-W and Pb-Pb data for 14 achondrites and use novel statistical techniques to minimize the discrepancies between their times of formation across these systems. We find that for (53Mn/55Mn)SS = (8.09+/-0.65)x10^-6, (182Hf/180Hf)SS = (10.42+/-0.25)x10^-5, tSS = 4568.36+/-0.20 Myr, and a 53Mn half-life of 3.80+/-0.23 Myr, these four free parameters make concordant 37 formation times recorded by the different systems in 14 achondrites. These parameters also make concordant the ages derived for chondrules from CB/CH achondrites, formed simultaneously in an impact, and are apparently concordant with the I-Xe chronometer as well. Our findings provide very strong support for homogeneity of 26Al, 53Mn, and 182Hf in the solar nebula, and our approach offers a framework for more precise chronometry.


title: The kinetic theory of mutation rates

abstract: The Luria--Delbr\"uck mutation model is a cornerstone of evolution theory and has been mathematically formulated in a number of ways. In this paper we illustrate how this model of mutation rates can be derived by means of classical statistical mechanics tools, in particular by modeling the phenomenon resorting to methodologies borrowed from classical kinetic theory of rarefied gases. The aim is to construct a linear kinetic model that can reproduce the Luria--Delbr\"uck distribution starting from the elementary interactions that qualitatively and quantitatively describe the variation of mutated cells. The kinetic description is easily adaptable to different situations and makes it possible to clearly identify the differences between the elementary variations leading to the formulations of Luria--Delbr\"uck, Lea--Coulson, and Kendall, respectively. The kinetic approach additionally emphasizes basic principles which not only help to unify existing results but also allow for useful extensions.


title: Homotopical models for metric spaces and completeness

abstract: Categories enriched in the opposite poset of non-negative reals can be viewed as generalizations of metric spaces, known as Lawvere metric spaces. In this article, we develop model structures on the categories $\mathbb{R}\text-\mathbf{Cat}$ and $\mathbb{R}\text-\mathbf{Cat}^\mathrm{sym}$ of Lawvere metric spaces and symmetric Lawvere metric spaces, each of which capture different features pertinent to the study of metric spaces. More precisely, in the three model structures we construct, the fibrant-cofibrant objects are the extended metric spaces (in the usual sense), the Cauchy complete Lawvere metric spaces, and the Cauchy complete extended metric spaces, respectively. Finally, we show that two of these model structures are unique in a similar way to the canonical model structure on $\mathbf{Cat}$.


title: Novel Modelling Strategies for High-frequency Stock Trading Data

abstract: Full electronic automation in stock exchanges has recently become popular, generating high-frequency intraday data and motivating the development of near real-time price forecasting methods. Machine learning algorithms are widely applied to mid-price stock predictions. Processing raw data as inputs for prediction models (e.g., data thinning and feature engineering) can primarily affect the performance of the prediction methods. However, researchers rarely discuss this topic. This motivated us to propose three novel modelling strategies for processing raw data. We illustrate how our novel modelling strategies improve forecasting performance by analyzing high-frequency data of the Dow Jones 30 component stocks. In these experiments, our strategies often lead to statistically significant improvement in predictions. The three strategies improve the F1 scores of the SVM models by 0.056, 0.087, and 0.016, respectively.


title: Deep Learning-Based Vehicle Speed Prediction for Ecological Adaptive Cruise Control in Urban and Highway Scenarios

abstract: In a typical car-following scenario, target vehicle speed fluctuations act as an external disturbance to the host vehicle and in turn affect its energy consumption. To control a host vehicle in an energy-efficient manner using model predictive control (MPC), and moreover, enhance the performance of an ecological adaptive cruise control (EACC) strategy, forecasting the future velocities of a target vehicle is essential. For this purpose, a deep recurrent neural network-based vehicle speed prediction using long-short term memory (LSTM) and gated recurrent units (GRU) is studied in this work. Besides these, the physics-based constant velocity (CV) and constant acceleration (CA) models are discussed. The sequential time series data for training (e.g. speed trajectories of the target and its preceding vehicles obtained through vehicle-to-vehicle (V2V) communication, road speed limits, traffic light current and future phases collected using vehicle-to-infrastructure (V2I) communication) is gathered from both urban and highway networks created in the microscopic traffic simulator SUMO. The proposed speed prediction models are evaluated for long-term predictions (up to 10 s) of target vehicle future velocities. Moreover, the results revealed that the LSTM-based speed predictor outperformed other models in terms of achieving better prediction accuracy on unseen test datasets, and thereby showcasing better generalization ability. Furthermore, the performance of EACC-equipped host car on the predicted velocities is evaluated, and its energy-saving benefits for different prediction horizons are presented.


title: Asymptotic Homogenization in the Determination of Effective Intrinsic Magnetic Properties of Composites

abstract: We present a computational framework for two-scale asymptotic homogenization to determine the intrinsic magnetic permeability of composites. To this end, considering linear magnetostatics, both vector and scalar potential formulations are used. Our homogenization algorithm for solving the cell problem is based on the displacement method presented in Lukkassen et al. 1995, Composites Engineering, 5(5), 519-531. We propose the use of the meridional eccentricity of the permeability tensor ellipsoid as an anisotropy index quantifying the degree of directionality in the linear magnetic response. As application problems, 2D regular and random microstructures with overlapping and nonoverlapping monodisperse disks, all of which are periodic, are considered. We show that, for the vanishing corrector function, the derived effective magnetic permeability tensor gives the (lower) Reuss and (upper) Voigt bounds with the vector and scalar potential formulations, respectively. Our results with periodic boundary conditions show an excellent agreement with analytical solutions for regular composites, whereas, for random heterogeneous materials, their convergence with volume element size is fast. Predictions for material systems with monodisperse overlapping disks for a given inclusion volume fraction provide the highest magnetic permeability with the most increased inclusion interaction. In contrast, the disk arrangements in regular square lattices result in the lowest magnetic permeability and inadequate inclusion interaction. Such differences are beyond the reach of the isotropic effective medium theories, which use only the phase volume fraction and shape as mere statistical microstructural descriptors.


title: Where is M-theory in the space of scattering amplitudes?

abstract: We use the S-matrix bootstrap to carve out the space of unitary, analytic, crossing symmetric and supersymmetric graviton scattering amplitudes in nine, ten and eleven dimensions. We extend and improve the numerical methods of our previous work in ten dimensions. A key new tool employed here is unitarity in the celestial sphere. In all dimensions, we find that the minimal allowed value of the Wilson coefficient $\alpha$, controlling the leading correction to maximal supergravity, is very close but not equal to the minimal value realized in Superstring theory or M-theory. This small difference may be related to inelastic effects that are not well described by our numerical extremal amplitudes. Although $\alpha$ has a unique value in M-theory, we found no evidence of an upper bound on $\alpha$ in 11D.


title: Cold Mode Gas Accretion on Two Galaxy Groups at z$\sim$2

abstract: We present Keck Cosmic Web Imager (KCWI) integral field spectroscopy (IFS) observations of rest-frame UV emission lines $\rm Ly\alpha$, C IV $\lambda \lambda$ 1548 \AA, 1550\AA and He II 1640 \AA observed in the circumgalactic medium (CGM) of two $z=2$ radio-loud quasar host galaxies. We detect extended emission on 80-90 kpc scale in $\rm Ly\alpha$ in both systems with C IV, and He II emission also detected out to 30-50 kpc. All emission lines show kinematics with a blue and redshifted gradient pattern consistent with velocities seen in massive dark matter halos and similar to kinematic patterns of inflowing gas seen in hydrodynamical simulations. Using the kinematics of both resolved $\rm Ly\alpha$ emission and absorption, we can confirm that both kinematic structures are associated with accretion. Combining the KCWI data with molecular gas observations with Atacama Large Millimeter/submillimeter Array (ALMA) and high spatial resolution of ionized gas with Keck OSIRIS, we find that both quasar host galaxies reside in proto-group environments at $z=2$. We estimate $1-6\times10^{10}$M$_\odot$ of warm-ionized gas within 30-50 kpc from the quasar that is likely accreting onto the galaxy group. We estimate inflow rates of 60-200 M$_\odot$yr$^{-1}$, within an order of magnitude of the outflow rates in these systems. In the 4C 09.17 system, we detect narrow gas streams associated with satellite galaxies, potentially reminiscent of ram-pressure stripping seen in local galaxy groups and clusters. We find that the quasar host galaxies reside in dynamically complex environments, with ongoing mergers, gas accretion, ISM stripping, and outflows likely playing an important role in shaping the assembly and evolution of massive galaxies at cosmic noon.


title: A complexity perspective on fluid mechanics

abstract: This article attempts to use the ideas from the field of complexity sciences to revisit the classical field of fluid mechanics. For almost a century, the mathematical self-consistency of Navier-Stokes equations has remained elusive to the community of functional analysts, who posed the Navier-Stokes problem as one of the seven millennium problems in the dawn of 21st century. This article attempts to trace back the historical developments of fluid mechanics as a discipline and explain the consequences of not rationalising one of the commonly agreed upon tenets - continuum hypothesis - in the community. The article argues that 'fluids' can be treated as 'emergent' in nature, in that the atoms and molecules in the nanometre length scale can likely be correlated with the continuum physics at the microscale. If this is the case, then one might start trying to find a theoretical framework that models the emergence of fluids from atoms, effectively solving the multi-scale problem using a single abstract framework. Cantor set with layers $N$ (N can have up to two orders of magnitude) is presented as a potential contender (analytical framework) for connecting the energy in molecular level $C_{1}$ at length scale $l_{cut}$ to the energy at continuum level $C_N$ with length scale $L$. Apart from fluid mechanics, Cantor set is shown to represent the conceptual understanding of VLSI hardware design ($N=5$). Apart from Cantor set, an experimental technique of architecting metafluids is also shown to solve emergence experimentally (i.e. connect physics at specific lower scales to higher scales).

categories: physics.flu-dyn math-ph math.FA math.MP nlin.CD


title: Topological defect coarsening in quenched smectic-C films analyzed using artificial neural networks

abstract: Mechanically quenching a thin film of smectic-C liquid crystal results in the formation of a dense array of thousands of topological defects in the director field. The subsequent rapid coarsening of the film texture by the mutual annihilation of defects of opposite sign has been captured using high-speed, polarized light video microscopy. The temporal evolution of the texture has been characterized using an object-detection convolutional neural network to determine the defect locations, and a binary classification network customized to evaluate the brush orientation dynamics around the defects in order to determine their topological signs. At early times following the quench, inherent limits on the spatial resolution result in undercounting of the defects and deviations from expected behavior. At intermediate to late times, the observed annihilation dynamics scale in agreement with theoretical predictions and simulations of the $2$D XY model.


title: Unique continuation and time decay for a higher-order water wave model

abstract: This work is devoted to prove the exponential decay for the energy of solutions of a higher order Korteweg -de Vries (KdV)--Benjamin-Bona-Mahony (BBM) equation on a periodic domain with a localized damping mechanism. Following the method in [11], which combines energy estimates, multipliers and compactness arguments, the problem is reduced to prove the Unique Continuation Property (UCP) for weak solutions of the model. Then, this is done by deriving Carleman estimates for a system of coupled elliptic-hyperbolic equations.


title: Signatures of a High Temperature QCD Transition in the Early Universe

abstract: Beyond Standard Model extensions of QCD could result in quark and gluon confinement occurring well above a temperature of $\sim$GeV. These models can also alter the order of the QCD phase transition. The enhanced production of primordial black holes (PBHs) that can accompany the change in relativistic degrees of freedom at the QCD transition therefore could favor the production of PBHs with mass scales smaller than the Standard Model QCD horizon scale. Consequently, and unlike PBHs associated with a standard GeV-scale QCD transition, such PBHs can account for all the dark matter abundance in the unconstrained asteroid-mass window. This links beyond Standard Model modifications of QCD physics over a broad range of unexplored temperature regimes ($\sim 10-10^3$ TeV) with microlensing surveys searching for PBHs. Additionally, we discuss implications of these models for gravitational wave experiments. We show that a first order QCD phase transition at $\sim7$ TeV is consistent with the Subaru Hyper-Suprime Cam candidate event, while a $\sim 70$ GeV transition is consistent with OGLE candidate events, and also could account for the claimed NANOGrav gravitational wave signal.


title: Robust Contracts with Exploration

abstract: We study a two-period moral hazard problem; there are two agents, with action sets that are unknown to the principal. The principal contracts with each agent sequentially, and seeks to maximize the worst-case discounted sum of payoffs, where the worst case is over the possible action sets. The principal observes the action chosen by the first agent, and then offers a new contract to the second agent based on this knowledge, thus having the opportunity to explore in the first period. We introduce and compare three different notions of dynamic worst-case considerations. Within each notion, we define a suitable rule of updating and characterize the principal's optimal payoff guarantee. We find that linear contracts are robustly optimal not only in static settings, but also in dynamic environments with exploration.


title: Biorthogonal functions for complex exponentials and an application to the controllability of the Kawahara equation via a moment approach

abstract: The paper deals with the controllability properties of the Kawahara equation posed on a periodic domain. We show that the equation is exactly controllable by means of a control depending only on time and acting on the system through a given shape function in space. Firstly, the exact controllability property is established for the linearized system through a Fourier expansion of solutions and the analysis of a biorthogonal sequence to a family of complex exponential functions. Finally, the local controllability of the full system is derived by combining the analysis of the linearized system, a fixed point argument and some Bourgain smoothing properties of the Kawahara equation on a periodic domain.


title: Resolving stress state at crack tip to elucidate nature of elastomeric fracture

abstract: Based on spatial-temporal resolved measurements of the stress field at crack tip based on polarized optical microscopy (str-POM), the stress analysis approach to elastomeric fracture uncovers new insights. We show new phenomenology in contrast to the standard description of linear elastic fracture mechanics (LEFM). First, str-POM measurements show emergence of a stress saturation zone whose dimension r_ss is independent of the stress intensity factor K. This elastic zone is plastic zone whose size would scale quadratically with K. The absence of stress divergence allows us to measure tip stress s_tip at the onset of fracture, identified as inherent material strength, i.e., s_tip(F) = s_F(inh). We are able to explain why LEFM applies well to elastomers, i.e., why toughness (either given as critical energy release rate Gc or critical stress intensity factor Kc) is a material constant, and we have identified parameters that determine the magnitude of toughness. Second, the popular Rivlin-Thomas energy balance description of elastomeric fracture in pure shear has acquired a fresh and different interpretation based on str-POM observations, which show that the stress buildup at cut tip explicitly scales with specimen height h0, leading to Gc = wch0 being constant. Third, the str-POM observations reveal how elastomeric fracture occurs at a common Kc independent of specimen thickness. At a given load there is weaker stress buildup for a thicker specimen due to greater stress saturation at cut tip, and fracture is observed to occur at lower tip stress for a thicker specimen.


title: Ab initio investigations of A=8 nuclei: $\alpha{-}\alpha$ scattering, deformation in $^8$He, radiative capture of protons on $^7$Be and $^7$Li and the X17 boson

abstract: We apply the No-Core Shell Model with Continuum (NCSMC) that is capable of describing both bound and unbound states in light nuclei in a unified way with chiral two- and three-nucleon interactions as the only input. The NCSMC can predict structure and dynamics of light nuclei and, by comparing to available experimental data, test the quality of chiral nuclear forces. We discuss applications of NCSMC to the $\alpha{-}\alpha$ scattering and the structure of $^8$Be, the p+$^7$Be and p+$^7$Li radiative capture and the production of the hypothetical X17 boson claimed in ATOMKI experiments. The $^7$Be(p,$\gamma$)$^8$B reaction plays a role in Solar nucleosynthesis and Solar neutrino physics and has been subject of numerous experimental investigations. We also highlight our investigation of the neutron rich exotic $^8$He that has been recently studied experimentally at TRIUMF with an unexpected deformation reported.


title: Charge asymmetry in top-pair production with the ATLAS detector

abstract: Measurement of the inclusive and differential top-quark charge asymmetry is carried out using full Run 2 data from proton-proton collisions at a center-of-mass energy of $13$ TeV collected by the ATLAS detector. The single-lepton and dilepton $t\bar{t}$ decay channels are combined. Distorting detector effects are removed using fully Bayesian unfolding. In the dilepton decay channel, the leptonic charge asymmetry is determined. Results from the measurements are compared with the Standard Model prediction. The excess of charge asymmetry from zero charge-asymmetry hypothesis at the level of $4.7$ standard deviations is observed.


title: Two-sided Delay Constrained Scheduling: Managing Fresh and Stale Data

abstract: Energy or time-efficient scheduling is of particular interest in wireless communications, with applications in sensor network design, cellular communications, and more. In many cases, wireless packets to be transmitted have deadlines that upper bound the times before their transmissions, to avoid staleness of transmitted data. In this paper, motivated by emerging applications in security-critical communications, age of information, and molecular communications, we expand the wireless packet scheduling framework to scenarios which involve strict limits on the time after transmission, in addition to the conventional pre-transmission delay constraints. As a result, we introduce the scheduling problem under two-sided individual deadlines, which captures systems wherein transmitting too late (stale) and too early (fresh) are both undesired. Subject to said two-sided deadlines, we provably solve the optimal (energy-minimizing) offline packet scheduling problem. Leveraging this result and the inherent duality between rate and energy, we propose and solve the completion-time-optimal offline packet scheduling problem under the introduced two-sided framework. Overall, the developed theoretical framework can be utilized in applications wherein packets have finite lifetimes both before and after their transmission (e.g., security-critical applications), or applications with joint strict constraints on packet delay and information freshness.


title: Using Gray Sirens to Resolve the Hubble-Lema\^{i}tre Tension

abstract: The measurement of the Hubble-Lema\^{i}tre constant $(H_0)$ from the cosmic microwave background and the Type IA supernovae are at odds with each other. One way to resolve this tension is to use an independent way to measure $H_0$. This can be accomplished by using gravitational-wave (GW) observations. Previous works have shown that with the onset of the next-generation of GW detector networks, it will be possible to constrain $H_0$ better than $2\%$ (which is enough to resolve the tension) with binary black hole systems, also called dark sirens. Bright sirens like binary neutron star systems can also help resolve the tension if both the GW and the following electromagnetic counterpart are detected. In this work, we assess the potential of using neutron star-black hole (NSBH) mergers to measure the Hubble-Lema\^{i}tre constant, both as dark sirens as well as bright sirens, thus, assigning them the term gray sirens. We find that the Voyager network might be able to resolve the tension using NSBH mergers in an observation span of 5 years, whereas next-generation networks which include the Cosmic Explorer detectors and the Einstein Telescope will be able to measure the $H_0$ to sub-percent level.


title: Possible existence of stable compact stars in $\kappa(\mathcal{R},\mathcal{T})-$gravity

abstract: We present the first interior solutions representing compact stars in $\kappa(\mathcal{R},\mathcal{T})$ gravity, by solving the modified field equations in isotropic coordinates. Further, we have assumed the metric potentials in Schwarzschild's form and a few parameters along with the isotropic condition of pressure. For solving, we use specific choice of the running gravitational constant as $\kappa(\mathcal{R},\mathcal{T})=8\pi-\lambda \mathcal{T} ~~(G=\tilde{c}=1)$. Once arrived at the reduced field equations, we investigate two solutions with $c=1$ and $c \neq 1$, where $c$ denotes here another constant that should not be confused with the speed of light. Then, we investigate each solution by determining the thermodynamics variable {\it viz} pressure, density, speed of sound, and adiabatic index. We found that these solutions satisfy the Bondi criterion, causality condition, and energy conditions. We also found that the $M-R$ curves generated from these solutions satisfy the stringent constraints provided by the gravitational wave observations due to the neutron star merger GW 170817.


title: A comparison between Automatically versus Manually Parallelized NAS Benchmarks

abstract: We compare automatically and manually parallelized NAS Benchmarks in order to identify code sections that differ. We discuss opportunities for advancing automatic parallelizers. We find ten patterns that pose challenges for current parallelization technology. We also measure the potential impact of advanced techniques that could perform the needed transformations automatically. While some of our findings are not surprising and difficult to attain -- compilers need to get better at identifying parallelism in outermost loops and in loops containing function calls -- other opportunities are within reach and can make a difference. They include combining loops into parallel regions, avoiding load imbalance, and improving reduction parallelization. Advancing compilers through the study of hand-optimized code is a necessary path to move the forefront of compiler research. Very few recent papers have pursued this goal, however. The present work tries to fill this void.


title: Small-$x$ resummation in coefficient function for differential heavy-quarks production

abstract: High-energy logarithmic correction are enhanced when the ratio, $x = \frac{Q^2}{s}$ between the typical energy scale of a scattering process $Q$ and the total centre of mass energy available $s$ is small. We discuss recent developments on their resummation in differential cross sections in rapidity, transverse momentum and invariant mass and their application to heavy flavour production at the LHC.


title: Emergent Orbital Skyrmion Lattice in a Triangular Atom Array

abstract: Multi-orbital optical lattices have been attracting rapidly growing research interests in the last several years, providing fascinating opportunities for orbital-based quantum simulations. Here, we consider bosonic atoms loaded in the degenerate $p$-orbital bands of a two-dimensional triangular optical lattice. This system is described by a multi-orbital Bose-Hubbard model. We find the confined atoms in this system develop spontaneous orbital polarization, which forms a chiral Skyrmion lattice pattern in a large regime of the phase diagram. This is in contrast to its spin analogue which largely requires spin-orbit couplings. The emergence of the Skyrmion lattice is confirmed in both bosonic dynamical mean-field theory (BDMFT) and exact diagonalization (ED) calculations. By analyzing the quantum tunneling induced orbital-exchange interaction in the strong interaction limit, we find the Skyrmion lattice state arises due to the interplay of $p$-orbital symmetry and the geometric frustration of the triangular lattice. We provide experimental consequences of the orbital Skyrmion state, that can be readily tested in cold atom experiments. Our study implies orbital-based quantum simulations could bring exotic scenarios unexpected from their spin analogue.


title: Robust Circuitry-Based Scores of Structural Importance of Human Brain Areas

abstract: We consider the 1015-vertex human consensus connectome computed from the diffusion MRI data of 1064 subjects. We define seven different orders on these 1015 graph vertices, where the orders depend on parameters derived from the brain circuitry, that is, from the properties of the edges (or connections) incident to the vertices ordered. We order the vertices according to their degree, the sum, the maximum, and the average of the fiber counts on the incident edges, and the sum, the maximum and the average length of the fibers in the incident edges. We analyze the similarities of these seven orders by the Spearman correlation coefficient and by their inversion numbers and have found that all of these seven orders have great similarities. In other words, if we interpret the orders as scoring of the importance of the vertices in the consensus connectome, then the scores of the vertices will be similar in all seven orderings. That is, important vertices of the human connectome typically have many neighbors, connected with long and thick axonal fibers (where thickness is measured by fiber numbers), and their incident edges have high maximum and average values of length and fiber-number parameters, too. Therefore, these parameters may yield robust ways of deciding which vertices are more important in the anatomy of our brain circuitry than the others.


title: Time-Efficient Reward Learning via Visually Assisted Cluster Ranking

abstract: One of the most successful paradigms for reward learning uses human feedback in the form of comparisons. Although these methods hold promise, human comparison labeling is expensive and time consuming, constituting a major bottleneck to their broader applicability. Our insight is that we can greatly improve how effectively human time is used in these approaches by batching comparisons together, rather than having the human label each comparison individually. To do so, we leverage data dimensionality-reduction and visualization techniques to provide the human with a interactive GUI displaying the state space, in which the user can label subportions of the state space. Across some simple Mujoco tasks, we show that this high-level approach holds promise and is able to greatly increase the performance of the resulting agents, provided the same amount of human labeling time.


title: Singular Supertranslations and Chern-Simons Theory on the Black Hole Horizon

abstract: We construct the standard and dual supertranslation charges on the future horizon of the Schwarzschild black hole, using the first-order formulation of gravity with the Holst action. The Dirac bracket algebra of standard and dual supertranslation charges is shown to exhibit a central term in the presence of singularities in the two-sphere function associated with supertranslation. We show that one can cancel this anomalous term and restore the asymptotic symmetry algebra by introducing a gravitational Chern-Simons theory on the horizon. This demonstrates that consistency of the asymptotic symmetry algebra requires a new structure on the horizon.


title: Layout-aware Dreamer for Embodied Referring Expression Grounding

abstract: In this work, we study the problem of Embodied Referring Expression Grounding, where an agent needs to navigate in a previously unseen environment and localize a remote object described by a concise high-level natural language instruction. When facing such a situation, a human tends to imagine what the destination may look like and to explore the environment based on prior knowledge of the environmental layout, such as the fact that a bathroom is more likely to be found near a bedroom than a kitchen. We have designed an autonomous agent called Layout-aware Dreamer (LAD), including two novel modules, that is, the Layout Learner and the Goal Dreamer to mimic this cognitive decision process. The Layout Learner learns to infer the room category distribution of neighboring unexplored areas along the path for coarse layout estimation, which effectively introduces layout common sense of room-to-room transitions to our agent. To learn an effective exploration of the environment, the Goal Dreamer imagines the destination beforehand. Our agent achieves new state-of-the-art performance on the public leaderboard of the REVERIE dataset in challenging unseen test environments with improvement in navigation success (SR) by 4.02% and remote grounding success (RGS) by 3.43% compared to the previous state-of-the-art. The code is released at https://github.com/zehao-wang/LAD


title: Isospectral reductions and quantum walks on graphs

abstract: We give a new formula for computing the isospectral reduction of a matrix (and graph) down to a submatrix (or subgraph). Using this, we generalize the notion of isospectral reductions. In addition, we give a procedure for constructing a matrix whose isospectral reduction down to a submatrix is given. We also prove that the isospectral reduction completely determines the restriction of the quantum walk transition matrix to a subset. Using these, we construct new families of simple graphs exhibiting perfect quantum state transfer.


title: SPADE: Semi-supervised Anomaly Detection under Distribution Mismatch

abstract: Semi-supervised anomaly detection is a common problem, as often the datasets containing anomalies are partially labeled. We propose a canonical framework: Semi-supervised Pseudo-labeler Anomaly Detection with Ensembling (SPADE) that isn't limited by the assumption that labeled and unlabeled data come from the same distribution. Indeed, the assumption is often violated in many applications - for example, the labeled data may contain only anomalies unlike unlabeled data, or unlabeled data may contain different types of anomalies, or labeled data may contain only 'easy-to-label' samples. SPADE utilizes an ensemble of one class classifiers as the pseudo-labeler to improve the robustness of pseudo-labeling with distribution mismatch. Partial matching is proposed to automatically select the critical hyper-parameters for pseudo-labeling without validation data, which is crucial with limited labeled data. SPADE shows state-of-the-art semi-supervised anomaly detection performance across a wide range of scenarios with distribution mismatch in both tabular and image domains. In some common real-world settings such as model facing new types of unlabeled anomalies, SPADE outperforms the state-of-the-art alternatives by 5% AUC in average.


title: H\"older continuity of the Lyapunov exponent for Markov cocycles via Furstenberg's Formula

abstract: This paper is concerned with the study of linear cocycles over uniformly ergodic Markov shifts on a compact space of symbols. We establish the joint H\"older continuity of the maximal Lyapunov exponent as a function of the cocycle and the transition kernel in the vicinity of any irreducible cocycle with simple maximal Lyapunov exponent. Our approach, via Furstenberg's formula, shows the H\"older continuous dependence on the data of the stationary measure of the projective cocycle and in particular provides a more computable H\"older exponent.


title: Radio-frequency reflectometry in bilayer graphene devices utilizing micro graphite back-gates

abstract: Bilayer graphene is an attractive material that realizes high-quality two-dimensional electron gas with a controllable bandgap. By utilizing the bandgap, electrical gate tuning of the carrier is possible and formation of nanostructures such as quantum dots have been reported. To probe the dynamics of the electronics states and realize applications for quantum bit devices, RF-reflectometry which enables high-speed electric measurements is important. Here we demonstrate RF-reflectometry in bilayer graphene devices. We utilize a micro graphite back-gate and an undoped Si substrate to reduce the parasitic capacitance which degrades the RF-reflectometry. We measure the resonance properties of a tank circuit which contains the bilayer graphene device. We form RF-reflectmetory setup and compared the result with the DC measurement, and confirmed their consistency. We also measure Coulomb diamonds of quantum dots possibly formed by bubbles and confirm that RF-reflectometry of quantum dots can be performed. This technique enables high-speed measurements of bilayer graphene quantum dots and contributes to the research of bilayer graphene-based quantum devices by fast readout of the states.


title: Correlation functions for realistic continuous quantum measurement

abstract: We propose a self-contained and accessible derivation of an exact formula for the $n$-point correlation functions of the signal measured when continuously observing a quantum system. The expression depends on the initial quantum state and on the Stochastic Master Equation (SME) governing the dynamics. This derivation applies to both jump and diffusive evolutions and takes into account common imperfections of realistic measurement devices. We show how these correlations can be efficiently computed numerically for commonly filtered and integrated signals available in practice.


title: Supernova 2020wnt: An Atypical Superluminous Supernova with a Hidden Central Engine

abstract: We present observations of a peculiar hydrogen- and helium-poor stripped-envelope (SE) supernova (SN) 2020wnt, primarily in the optical and near-infrared (near-IR). Its peak absolute bolometric magnitude of -20.9 mag and a rise time of 69~days are reminiscent of hydrogen-poor superluminous SNe (SLSNe~I), luminous transients potentially powered by spinning-down magnetars. Before the main peak, there is a brief peak lasting <10 days post-explosion, likely caused by interaction with circumstellar medium (CSM) ejected ~years before the SN explosion. The optical spectra near peak lack a hot continuum and OII absorptions, which are signs of heating from a central engine; they quantitatively resemble those of radioactivity-powered H/He-poor Type Ic SESNe. At ~1 year after peak, nebular spectra reveal a blue pseudo-continuum and narrow OI recombination lines associated with magnetar heating. Radio observations rule out strong CSM interactions as the dominant energy source at +266 days post peak. Near-IR observations at +200-300 day reveal carbon monoxide and dust formation, which causes a dramatic optical light curve dip. Pair-instability explosion models predict slow light curve and spectral features incompatible with observations. SN 2020wnt is best explained as a magnetar-powered core-collapse explosion of a 28 Msun pre-SN star. The explosion kinetic energy is significantly larger than the magnetar energy at peak, effectively concealing the magnetar-heated inner ejecta until well after peak. SN 2020wnt falls into a continuum between normal SNe Ic and SLSNe I and demonstrates that optical spectra at peak alone cannot rule out the presence of a central engine.


title: Open Relation and Event Type Discovery with Type Abstraction

abstract: Conventional closed-world information extraction (IE) approaches rely on human ontologies to define the scope for extraction. As a result, such approaches fall short when applied to new domains. This calls for systems that can automatically infer new types from given corpora, a task which we refer to as type discovery. To tackle this problem, we introduce the idea of type abstraction, where the model is prompted to generalize and name the type. Then we use the similarity between inferred names to induce clusters. Observing that this abstraction-based representation is often complementary to the entity/trigger token representation, we set up these two representations as two views and design our model as a co-training framework. Our experiments on multiple relation extraction and event extraction datasets consistently show the advantage of our type abstraction approach. Code available at https://github.com/raspberryice/type-discovery-abs.


title: The disappearances of six supernova progenitors

abstract: As part of a larger completed Hubble Space Telescope (HST) Snapshot program, we observed the sites of six nearby core-collapse supernovae (SNe) at high spatial resolution: SN 2012A, SN 2013ej, SN 2016gkg, SN 2017eaw, SN 2018zd, and SN 2018aoq. These observations were all conducted at sufficiently late times in each SN's evolution to demonstrate that the massive-star progenitor candidate identified in each case in pre-explosion imaging data had indeed vanished and was therefore most likely the actual progenitor. However, we have determined for SN 2016gkg that the progenitor candidate was most likely a blend of two objects: the progenitor, which itself has likely vanished, and another closely-neighbouring star. We thus provide a revised estimate of that progenitor's properties: a binary system with a hydrogen-stripped primary star at explosion with effective temperature ~6300--7900 K, bolometric luminosity ~10^{4.65} L_sun, radius ~118--154 R_sun, and initial mass 9.5--11 M_sun. Utilising late-time additional archival HST data nearly contemporaneous with our Snapshots, we also show that SN 2017eaw had a luminous ultraviolet excess, which is best explained as a result of ongoing interaction of the SN shock with pre-existing circumstellar matter. We offer the caveat, particularly in the case of SN 2013ej, that obscuration from SN dust may be compromising our conclusions. This sample adds to the growing list of confirmed or likely core-collapse SN progenitors.


title: Star Formation and Molecular Gas Diagnostics with Mid- and Far-Infrared Emission

abstract: With the start of JWST observations, mid-infrared (MIR) emission features from polycyclic aromatic hydrocarbons (PAHs), H$_2$ rotational lines, fine-structure lines from ions, and dust continuum will be widely available tracers of gas and star formation rate (SFR) in galaxies at various redshifts. Many of these tracers originate from dust and gas illuminated by UV photons from massive stars, so they generally trace both SFR and gas to varying degrees. We investigate how MIR spectral features from 5 to 35$\mu$m and photometry from 3.4 to 250$\mu$m correlate with SFR traced by ionized neon (15.6$\mu$m [Ne III] and 12.8$\mu$m [Ne II]) and molecular gas traced by carbon monoxide (CO). In general, we find MIR emission features (i.e. PAHs and H$_2$ rotational lines) trace both CO and SFR better than CO and SFR trace one another. H$_2$ lines and PAH features correlate best with CO. Fine-structure lines from ions correlate best with SFR. The [S III] lines at 18.7 and 33.5$\mu$m, in particular, have a very tight correlation with SFR, and we use them to calibrate new single-parameter MIR tracers of SFR that have negligible metallicity dependence. The 17$\mu$m/7.7$\mu$m PAH feature ratio increases as a function of CO emission which may be evidence of PAH growth or neutralization in molecular gas. The degree to which dust continuum emission traces SFR or CO varies as a function of wavelength, with continuum between 20 to 70$\mu$m better tracing SFR, while longer wavelengths better trace CO.


title: Ground state dynamically stable phases for fluorine in the TPa pressure regime by evolutionary algorithms

abstract: In this work, we employed \textit{ab initio} methods combined with evolutionary algorithms for searching stable structures for fluorine in the terapascal (TPa) regime. We performed several structural searches using the USPEX code, at pressures that spanned from 1 to 5 TPa and considered up to 16 atoms per cell for selected pressures. Our findings partially support recent studies by validating the transformation of fluorine from a molecular form, $Cmca$, into an intermediate polymeric form before its eventual dissociation. In fact, the enthalpy comparisons between candidate structures of fluorine at high pressure show a direct transition from the molecular phase $Cmca$ into a $Pm\bar{3}n$ extended structure at 2.7 TPa, the later consisting of linear chains and independent atoms, which disagrees with previous conflicting reports that proposed other intermediate phases to also exist as stable crystalline forms close to 3 TPa.


title: Raman spectroscopy of Fermi polarons

abstract: By using a non-self-consistent many-body $T$-matrix theory, we calculate the finite-temperature Raman spectroscopy of a mobile impurity immersed in a Fermi bath in three dimensions. The dependences of the Raman spectrum on the transferred momentum, temperature, and impurity-bath interaction are discussed in detail. We confirm that the peak in the Raman spectrum shows a weaker dependence on the impurity concentration than that in the radio-frequency spectroscopy, due to the nonzero transferred momentum, as anticipated. We compare our theoretical prediction with the recent measurement by Gal Ness \textsl{et al.} in Physical Review X \textbf{10}, 041019 (2020) without any adjustable parameters. At weak coupling, we find a good quantitative agreement. However, close to the Feshbach resonance the agreement becomes worse. At strong coupling, we find that an unrealistic Fermi bath temperature might be needed, in order to account for the experimental data.


title: Targeted cutting of random recursive trees

abstract: We propose a method for cutting down a random recursive tree that focuses on its higher degree vertices. Enumerate the vertices of a random recursive tree of size $n$ according to a decreasing order of their degrees; namely, let $(v^{(i)})_{i=1}^{n}$ be so that $deg(v^{(1)}) \geq \cdots \geq deg (v^{(n)})$. The targeted, vertex-cutting process is performed by sequentially removing vertices $v^{(1)}$, $v^{(2)}, \ldots, v^{(n)}$ and keeping only the subtree containing the root after each removal. The algorithm ends when the root is picked to be removed. The total number of steps for this procedure, $X_n^{targ}$, is upper bounded by $Z_{\geq D}$, which denotes the number of vertices that have degree at least as large as the degree of the root. We obtain that the first order growth of $X_n^{targ}$ is upper bounded by $n^{1-\ln 2}$, which is substantially smaller than the required number of removals if, instead, the vertices where selected uniformly at random. More precisely, we prove that $\ln(Z_{\geq D})$ grows as $\ln(n)$ asymptotically and obtain its limiting behavior in probability. Moreover, we obtain that the $k$-th moment of $\ln(Z_{\geq D})$ is proportional to $(\ln(n))^k$.


title: Learning Agile Paths from Optimal Control

abstract: Efficient motion planning algorithms are of central importance for deploying robots in the real world. Unfortunately, these algorithms often drastically reduce the dimensionality of the problem for the sake of feasibility, thereby foregoing optimal solutions. This limitation is most readily observed in agile robots, where the solution space can have multiple additional dimensions. Optimal control approaches partially solve this problem by finding optimal solutions without sacrificing the complexity of the environment, but do not meet the efficiency demands of real-world applications. This work proposes an approach to resolve these issues simultaneously by training a machine learning model on the outputs of an optimal control approach.


title: Phase-Resolved Rydberg Atom Field Sensing using Quantum Interferometry

abstract: Although Rydberg atom-based electric field sensing provides key advantages over traditional antenna-based detection, it remains limited by the need for a local oscillator (LO) for low-field and phase resolved detection. In this work, we demonstrate that closed-loop quantum interferometric schemes can be used to generate a system-internal reference that can directly replace an external LO for Rydberg field sensing. We reveal that this quantum-interferometrically defined internal reference phase and frequency can be used analogously to a traditional LO for atom-based down-mixing to an intermediate frequency for lock-in phase detection. We demonstrate that this LO-equivalent functionality provides analogous benefits to an LO, including full 360$^\circ$ phase resolution as well as improved sensitivity. The general applicability of this approach is confirmed by demodulating a four phase-state signal broadcast on the atoms. Our approach opens up new sensing schemes and provides a clear path towards all-optical Rydberg atom sensing implementations.


title: Multi-Task Imitation Learning for Linear Dynamical Systems

abstract: We study representation learning for efficient imitation learning over linear systems. In particular, we consider a setting where learning is split into two phases: (a) a pre-training step where a shared $k$-dimensional representation is learned from $H$ source policies, and (b) a target policy fine-tuning step where the learned representation is used to parameterize the policy class. We find that the imitation gap over trajectories generated by the learned target policy is bounded by $\tilde{O}\left( \frac{k n_x}{HN_{\mathrm{shared}}} + \frac{k n_u}{N_{\mathrm{target}}}\right)$, where $n_x > k$ is the state dimension, $n_u$ is the input dimension, $N_{\mathrm{shared}}$ denotes the total amount of data collected for each policy during representation learning, and $N_{\mathrm{target}}$ is the amount of target task data. This result formalizes the intuition that aggregating data across related tasks to learn a representation can significantly improve the sample efficiency of learning a target task. The trends suggested by this bound are corroborated in simulation.


title: Five Properties of Specific Curiosity You Didn't Know Curious Machines Should Have

abstract: Curiosity for machine agents has been a focus of lively research activity. The study of human and animal curiosity, particularly specific curiosity, has unearthed several properties that would offer important benefits for machine learners, but that have not yet been well-explored in machine intelligence. In this work, we conduct a comprehensive, multidisciplinary survey of the field of animal and machine curiosity. As a principal contribution of this work, we use this survey as a foundation to introduce and define what we consider to be five of the most important properties of specific curiosity: 1) directedness towards inostensible referents, 2) cessation when satisfied, 3) voluntary exposure, 4) transience, and 5) coherent long-term learning. As a second main contribution of this work, we show how these properties may be implemented together in a proof-of-concept reinforcement learning agent: we demonstrate how the properties manifest in the behaviour of this agent in a simple non-episodic grid-world environment that includes curiosity-inducing locations and induced targets of curiosity. As we would hope, our example of a computational specific curiosity agent exhibits short-term directed behaviour while updating long-term preferences to adaptively seek out curiosity-inducing situations. This work, therefore, presents a landmark synthesis and translation of specific curiosity to the domain of machine learning and reinforcement learning and provides a novel view into how specific curiosity operates and in the future might be integrated into the behaviour of goal-seeking, decision-making computational agents in complex environments.