title: A Simulation Study of Passing Drivers' Responses to the Autonomous Truck-Mounted Attenuator System in Road Maintenance

abstract: The Autonomous Truck-Mounted Attenuator (ATMA) system is a lead-follower vehicle system based on autonomous driving and connected vehicle technologies. The lead truck performs maintenance tasks on the road, and the unmanned follower truck alerts passing vehicles about the moving work zone and protects workers and the equipment. While the ATMA has been under testing by transportation maintenance and operations agencies recently, a simulator-based testing capability is a supplement, especially if human subjects are involved. This paper aims to discover how passing drivers perceive, understand, and react to the ATMA system in road maintenance. With the driving simulator developed for this ATMA study, the paper performed a simulation study wherein a screen-based eye tracker collected sixteen subjects' gaze points and pupil diameters. Data analysis evidenced the change in subjects' visual attention patterns while passing the ATMA. On average, the ATMA starts to attract subjects' attention from 500 ft behind the follower truck. Most (87.50%) understood the follower truck's protection purpose, and many (60%) reasoned the association between the two trucks. Nevertheless, nearly half of the participants (43.75%) did not recognize that ATMA is a connected autonomous vehicle system. While all subjects safely changed lanes and attempted to pass the slow-moving ATMA, their inadequate understanding of the ATMA is a potential risk, like cutting into the ATAM. Results implied that transportation maintenance and operations agencies should consider this in establishing the deployment guidance.


title: Vehicle-road Cooperative Simulation and 3D Visualization System

abstract: The safety of single-vehicle autonomous driving technology is limited due to the limits of perception capability of on-board sensors. In contrast, vehicle-road collaboration technology can overcome those limits and improve the traffic safety and efficiency, by expanding the sensing range, improving the perception accuracy, and reducing the response time. However, such a technology is still under development; it requires rigorous testing and verification methods to ensure the reliability and trustworthiness of the technology. In this thesis, we focus on three major tasks: (1) analyze the functional characteristics related to the scenarios of vehicle-road cooperations, highlightening the differences between vehicle-road cooperative systems and traditional single-vehicle autonomous driving systems; (2) refine and classifiy the functional characteristics of vehicle-road cooperative systems; (3) design and develop a simulation system, and provide a visual interface to facilitate development and analysis. The efficiency and effectiveness the proposed method are verfied by experiments.


title: G3Ms:Generalized Mean Market Makers

abstract: In the Decentralized Finance (DeFi) setting, we present a new parametrized family of Constant Function Market Makers (CFMMs) which we call the Generalized Mean Market Makers (G3Ms), based on the generalized means. The G3Ms are intermediate between the Arithmetic Mean and Geometric Mean CFMM models, which G3Ms incorporate as special cases. We also present an extension of the G3Ms, based on the so-called Generalized f-Means, called Generalized f-Mean Market Makers (Gf3Ms). We show in addition that the G3Ms possess certain properties preferable to those exhibited by either the Arithmetic Mean CFMM or the Geometric Mean CFMM alone.


title: Introducing RISK

abstract: This extended abstract introduces the initial steps taken to develop a system for Rapid Internal Simulation of Knowledge (RISK). RISK aims to enable more transparency in artificial intelligence systems, especially those created by deep learning networks by allowing real-time simulation of what the system knows. By looking at hypothetical situations based on these simulations a system may make more informed decisions, and produce them for non-expert observers to understand the reasoning behind a given action.


title: Towards Robust On-Ramp Merging via Augmented Multimodal Reinforcement Learning

abstract: Despite the success of AI-enabled onboard perception, on-ramp merging has been one of the main challenges for autonomous driving. Due to limited sensing range of onboard sensors, a merging vehicle can hardly observe main road conditions and merge properly. By leveraging the wireless communications between connected and automated vehicles (CAVs), a merging CAV has potential to proactively obtain the intentions of nearby vehicles. However, CAVs can be prone to inaccurate observations, such as the noisy basic safety messages (BSM) and poor quality surveillance images. In this paper, we present a novel approach for Robust on-ramp merge of CAVs via Augmented and Multi-modal Reinforcement Learning, named by RAMRL. Specifically, we formulate the on-ramp merging problem as a Markov decision process (MDP) by taking driving safety, comfort driving behavior, and traffic efficiency into account. To provide reliable merging maneuvers, we simultaneously leverage BSM and surveillance images for multi-modal observation, which is used to learn a policy model through proximal policy optimization (PPO). Moreover, to improve data efficiency and provide better generalization performance, we train the policy model with augmented data (e.g., noisy BSM and noisy surveillance images). Extensive experiments are conducted with Simulation of Urban MObility (SUMO) platform under two typical merging scenarios. Experimental results demonstrate the effectiveness and efficiency of our robust on-ramp merging design.


title: Pose Forecasting in Industrial Human-Robot Collaboration

abstract: Pushing back the frontiers of collaborative robots in industrial environments, we propose a new Separable-Sparse Graph Convolutional Network (SeS-GCN) for pose forecasting. For the first time, SeS-GCN bottlenecks the interaction of the spatial, temporal and channel-wise dimensions in GCNs, and it learns sparse adjacency matrices by a teacher-student framework. Compared to the state-of-the-art, it only uses 1.72% of the parameters and it is ~4 times faster, while still performing comparably in forecasting accuracy on Human3.6M at 1 second in the future, which enables cobots to be aware of human operators. As a second contribution, we present a new benchmark of Cobots and Humans in Industrial COllaboration (CHICO). CHICO includes multi-view videos, 3D poses and trajectories of 20 human operators and cobots, engaging in 7 realistic industrial actions. Additionally, it reports 226 genuine collisions, taking place during the human-cobot interaction. We test SeS-GCN on CHICO for two important perception tasks in robotics: human pose forecasting, where it reaches an average error of 85.3 mm (MPJPE) at 1 sec in the future with a run time of 2.3 msec, and collision detection, by comparing the forecasted human motion with the known cobot motion, obtaining an F1-score of 0.64.


title: Beyond Ising SK: m-vector, Potts, p-spin, spherical, induced moment, random graphs

abstract: This chapter introduces a variety of spin glass models, beyond the simple Sherrington-Kirkpatrick (SK) version, that have led to enriched understanding and application.


title: Placement Laundering and the Complexities of Attribution in Online Advertising

abstract: A basic assumption in online advertising is that it is possible to attribute a view of a particular ad creative (i.e., an impression) to a particular web page. In practice, however, the seemingly simple task of ad attribution is challenging due to the scale, complexity and diversity of ad delivery systems. In this paper, we describe a new form of fraud that we call placement laundering, which exploits vulnerabilities in attribution mechanisms. Placement laundering allows malicious actors to inflate revenue by making ad calls that appear to originate from high quality publishers. We describe the basic aspects of placement laundering and give details of two instances found in the wild. One of the instances that we describe abuses the intended functionality of the widely-deployed SafeFrame environment. We describe a placement laundering detection method that is capable of identifying a general class of laundering schemes, and provide results on tests with that method.


title: A General Framework for Fair Allocation under Matroid Rank Valuations

abstract: We study the problem of fairly allocating a set of indivisible goods among agents with matroid rank valuations -- every good provides a marginal value of $0$ or $1$ when added to a bundle and valuations are submodular. We generalize the Yankee Swap algorithm to create a simple framework, called General Yankee Swap, that can efficiently compute allocations that maximize any justice criterion (or fairness objective) satisfying some mild assumptions. Along with maximizing a justice criterion, General Yankee Swap is guaranteed to maximize utilitarian social welfare, ensure strategyproofness and use at most a quadratic number of valuation queries. We show how General Yankee Swap can be used to compute allocations for five different well-studied justice criteria: (a) Prioritized Lorenz dominance, (b) Maximin fairness, (c) Weighted leximin, (d) Max weighted Nash welfare, and (e) Max weighted $p$-mean welfare. In particular, our framework provides the first polynomial time algorithms to compute weighted leximin, max weighted Nash welfare and max weighted $p$-mean welfare allocations for agents with matroid rank valuations.


title: The conceptual design of GMagAO-X: visible wavelength high contrast imaging with GMT

abstract: We present the conceptual design of GMagAO-X, an extreme adaptive optics system for the 25 m Giant Magellan Telescope (GMT). We are developing GMagAO-X to be available at or shortly after first-light of the GMT, to enable early high contrast exoplanet science in response to the Astro2020 recommendations. A key science goal is the characterization of nearby potentially habitable terrestrial worlds. GMagAO-Xis a woofer-tweeter system, with integrated segment phasing control. The tweeter is a 21,000 actuator segmented deformable mirror, composed of seven 3000 actuator segments. A multi-stage wavefront sensing system provides for bootstrapping, phasing, and high order sensing. The entire instrument is mounted in a rotator to provide gravity invariance. After the main AO system, visible (g to y) and near-IR (Y to H) science channels contain integrated coronagraphic wavefront control systems. The fully corrected and, optionally, coronagraphically filtered beams will then be fed to a suite of focal plane instrumentation including imagers and spectrographs. This will include existing facility instruments at GMT via fiber feeds. To assess the design we have developed an end-to-end frequency-domain modeling framework for assessing the performance of GMagAO-X. The dynamics of the many closed-loop feedback control systems are then modeled. Finally, we employ a frequency-domain model of post-processing algorithms to analyze the final post-processed sensitivity. The CoDR for GMagAO-X was held in September, 2021. Here we present an overview of the science cases, instrument design, expected performance, and concept of operations for GMagAO-X.


title: Task Oriented Video Coding: A Survey

abstract: Video coding technology has been continuously improved for higher compression ratio with higher resolution. However, the state-of-the-art video coding standards, such as H.265/HEVC and Versatile Video Coding, are still designed with the assumption the compressed video will be watched by humans. With the tremendous advance and maturation of deep neural networks in solving computer vision tasks, more and more videos are directly analyzed by deep neural networks without humans' involvement. Such a conventional design for video coding standard is not optimal when the compressed video is used by computer vision applications. While the human visual system is consistently sensitive to the content with high contrast, the impact of pixels on computer vision algorithms is driven by specific computer vision tasks. In this paper, we explore and summarize recent progress on computer vision task oriented video coding and emerging video coding standard, Video Coding for Machines.


title: Learn2Trust: A video and streamlit-based educational programme for AI-based medical image analysis targeted towards medical students

abstract: In order to be able to use artificial intelligence (AI) in medicine without scepticism and to recognise and assess its growing potential, a basic understanding of this topic is necessary among current and future medical staff. Under the premise of "trust through understanding", we developed an innovative online course as a learning opportunity within the framework of the German KI Campus (AI campus) project, which is a self-guided course that teaches the basics of AI for the analysis of medical image data. The main goal is to provide a learning environment for a sufficient understanding of AI in medical image analysis so that further interest in this topic is stimulated and inhibitions towards its use can be overcome by means of positive application experience. The focus was on medical applications and the fundamentals of machine learning. The online course was divided into consecutive lessons, which include theory in the form of explanatory videos, practical exercises in the form of Streamlit and practical exercises and/or quizzes to check learning progress. A survey among the participating medical students in the first run of the course was used to analyse our research hypotheses quantitatively.


title: Sequence to sequence AE-ConvLSTM network for modelling the dynamics of PDE systems

abstract: The article explains the convolutional LSTM (ConvLSTM) network in detail and introduces an improved auto-encoder version of the ConvLSTM network called AE-ConvLSTM. AE-ConvLSTM is also a sequence to sequence network that can predict long time evolution of a dynamical system by passing hidden states from one encoder to another. The network performed well in predicting the dynamic evolution of unsteady 2-D viscous Burgers when trained using data and, in another case, using governing equation (without data), i.e., physics-constrained. Further, AE-ConvLSTM was used in an effort to predict the time evolution of two unsteady Navier-Stokes problems. These problems have coupled pressure and velocity field having different magnitude order, and these fields evolve in time at a different rate. It was observed that the network could be trained using data, but while training using physics-constrained via governing equations, AE-ConvLSTM fails to train for time evolution.


title: MENLI: Robust Evaluation Metrics from Natural Language Inference

abstract: Recently proposed BERT-based evaluation metrics for text generation perform well on standard benchmarks but are vulnerable to adversarial attacks, e.g., relating to information correctness. We argue that this stems (in part) from the fact that they are models of semantic similarity. In contrast, we develop evaluation metrics based on Natural Language Inference (NLI), which we deem a more appropriate modeling. We design a preference-based adversarial attack framework and show that our NLI based metrics are much more robust to the attacks than the recent BERT-based metrics. On standard benchmarks, our NLI based metrics outperform existing summarization metrics, but perform below SOTA MT metrics. However, when combining existing metrics with our NLI metrics, we obtain both higher adversarial robustness (15%-30%) and higher quality metrics as measured on standard benchmarks (+5% to 30%).


title: Curl through spin on three-manifold

abstract: In the last decades, many mathematicians have studied the {\em curl operator} on compact (both with or without empty boundary) three-manifolds, mainly the behaviour of its spectrum and some iso\-pe\-ri\-me\-tric problems associated with it. In this paper, we reveal an (unexpected?) relation between this curl operator and the Dirac operator correspondingto any of the spin$^c$ structures on the manifold. Then, we make the ellipticity of $D$ (curl is not) and the many facts already known about the spectrum of $D$ to recuperate with almost immediate proofs some results above curl and obtain others unknown for me. {\em For example, we will find that the eigenvalues of curl, removing the point spectrum zero, are always, up to a fixed constant, lower bounded by those of the Dirac and the equality characterize the round three-sphere}. Also, we also show that {\em there do not exist mean-convex $L^2$-solutions for the isoperimetric problem associated to curl}, as Cantarella, de Turck, Gluck y Teytel \cite{CdTGT} had conjectured, while other authors proved properties for these unknown solutions (adding always whether optimal domains exist) perhaps by thinking in the case of the successful maximization of the {\em helicity.}


title: The Optical and Mechanical Design for the 21,000 Actuator ExAO System for the Giant Magellan Telescope: GMagAO-X

abstract: GMagAO-X is the near first light ExAO coronagraphic instrument for the 25.4m GMT. It is designed for a slot on the folded port of the GMT. To meet the strict ExAO fitting and servo error requirement (<90nm rms WFE), GMagAO-X must have 21,000 actuator DM capable of >2KHz correction speeds. To minimize wavefront/segment piston error GMagAO-X has an interferometric beam combiner on a vibration isolated table, as part of this "21,000 actuator parallel DM". Piston errors are sensed by a Holographic Dispersed Fringe Sensor (HDFS). In addition to a coronagraph, it has a post-coronagraphic Lyot Low Order WFS (LLOWFS) to sense non-common path (NCP) errors. The LLOWFS drives a non-common path DM (NCP DM) to correct those NCP errors. GMagAO-X obtains high-contrast science and wavefront sensing in the visible and/or the NIR. Here we present our successful externally reviewed (Sept. 2021) CoDR optical-mechanical design that satisfies GMagAO-X's top-level science requirements and is compliant with the GMT instrument requirements and only requires COTS parts.


title: Categorification of integral group rings extended by one dimension

abstract: The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a fusion category. Here we analyze the structure and representation theory of fusion rings with a basis of elements whose Frobenius-Perron dimensions take exactly one value distinct from 1. Our goal is a set of results which assist in characterizing when such fusion rings are categorifiable. As proof of concept, we completely classify the categorifiable near-group fusion rings for an infinite collection of finite abelian groups, a task that to-date has only been completed for three such groups.


title: Nonlocality as the source of purely quantum dynamics of BCS superconductors

abstract: We show that the classical (mean-field) description of far from equilibrium superconductivity is exact in the thermodynamic limit for local observables but breaks down for global quantities, such as the entanglement entropy or Loschmidt echo. We do this by solving for and comparing exact quantum and exact classical long-time dynamics of a BCS superconductor with interaction strength inversely proportional to time and evaluating local observables explicitly. Mean field is exact for both normal and anomalous averages (superconducting order) in the thermodynamic limit. However, for anomalous expectation values, this limit does not commute with adiabatic and strong coupling limits and, as a consequence, their quantum fluctuations can be unusually strong. The long-time steady state of the system is a gapless superconductor whose superfluid properties are only accessible through energy resolved measurements. This state is nonthermal but conforms to an emergent generalized Gibbs ensemble. Our study clarifies the nature of symmetry-broken many-body states in and out of equilibrium and fills a crucial gap in the theory of time-dependent quantum integrability.


title: Azimuthally-correlated contributions to QCD transverse-momentum resummation at $\mathcal{O}(\alpha_{\rm S}^2)$

abstract: Singular factors originating from the QCD factorisation of scattering amplitudes in soft and collinear limits play a prominent role in both organising and computing high-order perturbative contributions to hard-scattering cross sections. In this talk, we start from the factorisation structure of scattering amplitudes in the collinear limit, and we introduce collinear functions that have a process-independent structure. These collinear functions, which are defined at the fully-differential level, can then be integrated over the appropriate observable-dependent phase space to compute logarithmically-enhanced contributions to the corresponding observable. For transverse-momentum dependent observables, we show how the collinear functions can be defined without introducing what is known as rapidity divergences in the literature. We present the results of explicit computations of the collinear functions up to next-to-next-to-leading order in the QCD perturbation theory.


title: Cross-scale Attention Guided Multi-instance Learning for Crohn's Disease Diagnosis with Pathological Images

abstract: Multi-instance learning (MIL) is widely used in the computer-aided interpretation of pathological Whole Slide Images (WSIs) to solve the lack of pixel-wise or patch-wise annotations. Often, this approach directly applies "natural image driven" MIL algorithms which overlook the multi-scale (i.e. pyramidal) nature of WSIs. Off-the-shelf MIL algorithms are typically deployed on a single-scale of WSIs (e.g., 20x magnification), while human pathologists usually aggregate the global and local patterns in a multi-scale manner (e.g., by zooming in and out between different magnifications). In this study, we propose a novel cross-scale attention mechanism to explicitly aggregate inter-scale interactions into a single MIL network for Crohn's Disease (CD), which is a form of inflammatory bowel disease. The contribution of this paper is two-fold: (1) a cross-scale attention mechanism is proposed to aggregate features from different resolutions with multi-scale interaction; and (2) differential multi-scale attention visualizations are generated to localize explainable lesion patterns. By training ~250,000 H&E-stained Ascending Colon (AC) patches from 20 CD patient and 30 healthy control samples at different scales, our approach achieved a superior Area under the Curve (AUC) score of 0.8924 compared with baseline models. The official implementation is publicly available at https://github.com/hrlblab/CS-MIL.


title: Signed Graph Neural Networks: A Frequency Perspective

abstract: Graph convolutional networks (GCNs) and its variants are designed for unsigned graphs containing only positive links. Many existing GCNs have been derived from the spectral domain analysis of signals lying over (unsigned) graphs and in each convolution layer they perform low-pass filtering of the input features followed by a learnable linear transformation. Their extension to signed graphs with positive as well as negative links imposes multiple issues including computational irregularities and ambiguous frequency interpretation, making the design of computationally efficient low pass filters challenging. In this paper, we address these issues via spectral analysis of signed graphs and propose two different signed graph neural networks, one keeps only low-frequency information and one also retains high-frequency information. We further introduce magnetic signed Laplacian and use its eigendecomposition for spectral analysis of directed signed graphs. We test our methods for node classification and link sign prediction tasks on signed graphs and achieve state-of-the-art performances.


title: A causality preserving evolution of a pair of strings

abstract: As shown by Gott, a pair of straight cosmic strings moving in opposite directions, when they have suitable speed and impact parameter, produce closed timelike curves. I argue in this paper that there always is a not-so-frightening alternative: the Universe may prefer to produce a certain (surprisingly simple and absolutely mild) singularity instead.


title: Modeling Line Broadening and Distortion Due to Spatially Non-Uniform Fields in Rydberg Electrometry

abstract: We present a model for calculating broadened Autler-Townes spectra when probing ac electric field magnitudes by use of Rydberg atom electromagnetically-induced transparency. This model approximates the atom vapor as a multi-layered media and uses Beer's law to combine probe beam absorption through many discrete thin segments, replicating the broadening seen in experimental measurements. The methodology can be easily applied to other non-uniform optical parameters when monitoring total spectral transmission or phase delay. Field non-uniformity is present in standing waves of unmatched waveguides and glass vapor cells, which are generally due to source characteristics and environmental reflections. We present broadening and distortion effects caused by various types of electric-field distributions, and compare this model to results obtained from measured atomic spectra.


title: Nonlinear Stability and Instability of Plasma Boundary Layers

abstract: We investigate the formation of a plasma boundary layer (sheath) by considering the Vlasov--Poisson system on a half-line with the completely absorbing boundary condition. In an earlier paper by the first two authors, the solvability of the stationary problem is studied. In this paper, we study the nonlinear stability and instability of these stationary solutions of the Vlasov--Poisson system.


title: A polynomial-time algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$. A proof of $\mathbf{P}=\mathbf{NP}$ hypothesis

abstract: Let ${\mathbf P}$ be the class of polynomial-time decision problems and $\mathbf{NP}$ be the class of nondeterministic polynomial time decision problems. We prove the following: Theorem 3. The classes ${\mathbf P}$ and $\mathbf{NP}$ are equivalent. That is, ${\mathbf P}=\mathbf{NP}$. Theorem 3 gives a positive answer to the question $$\hbox{Does }{\mathbf P}=\mathbf{NP}?,$$ see S. Cook, The $\mathbf{P}$ versus $\mathbf{NP}$ problem, Official problem description, www.claymath.org/millennium-problems. Crucial for its proof is Theorem 2, from which it follows that the $\mathbf{NP}$-complete problem of deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$ belongs to the class ${\mathbf P}$. Theorem 2. There is a constructive algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$, where $\mathbb{Z}_2$ is the space of all complex numbers with integer real and imaginary parts. The number $s(n,m_{\sigma})$ of basic steps of the algorithm, where $n$ is the number of variables and $m_{\sigma}$ is the total length of input polynomials, satisfies the inequality \begin{eqnarray*} & & s(n,m_{\sigma}) \\ & \le & c_2\{m_{\sigma}^2\log m_{\sigma}+\min\{[m_{\sigma}^{(1)}]^3,(d_1)^3\}+\sum_{\ell =1}^{n-2}N^{(l)}\min\{[m_{\sigma}^{(\ell +1)}]^2,(d_{\ell +1})^2)\}\\ && +N^{(n-1)}\min \{m_{\sigma},d_n\} \} \end{eqnarray*} where $c_2$ is an absolute constant, $\{d_{\ell}\}_{\ell=1}^n$ are the maximal partial degrees in $\{z_{\ell}\}_{\ell=1}^n$, respectively, and the numbers $m_{\sigma}^{(\ell)}$ and $N^{(\ell)}$ are characteristics of the input polynomials, concerning partial lengths and numbers of major sub-monomials it the natural order of monomials, defined in the body of the paper.


title: TOI-836: A super-Earth and mini-Neptune transiting a nearby K-dwarf

abstract: We present the discovery of two exoplanets transiting TOI-836 (TIC 440887364) using data from TESS Sector 11 and Sector 38. TOI-836 is a bright ($T = 8.5$ mag), high proper motion ($\sim\,200$ mas yr$^{-1}$), low metallicity ([Fe/H]$\approx\,-0.28$) K-dwarf with a mass of $0.68\pm0.05$ M$_{\odot}$ and a radius of $0.67\pm0.01$ R$_{\odot}$. We obtain photometric follow-up observations with a variety of facilities, and we use these data-sets to determine that the inner planet, TOI-836 b, is a $1.70\pm0.07$ R$_{\oplus}$ super-Earth in a 3.82 day orbit, placing it directly within the so-called 'radius valley'. The outer planet, TOI-836 c, is a $2.59\pm0.09$ R$_{\oplus}$ mini-Neptune in an 8.60 day orbit. Radial velocity measurements reveal that TOI-836 b has a mass of $4.5\pm0.9$ M$_{\oplus}$ , while TOI-836 c has a mass of $9.6\pm2.6$ M$_{\oplus}$. Photometric observations show Transit Timing Variations (TTVs) on the order of 20 minutes for TOI-836 c, although there are no detectable TTVs for TOI-836 b. The TTVs of planet TOI-836 c may be caused by an undetected exterior planet.


title: Robust Free-Space Optical Communication Utilizing Polarization

abstract: Free-space optical (FSO) communication can be subject to various types of distortion and loss as the signal propagates through non-uniform media. In experiment and simulation, we demonstrate that the state of polarization and degree of polarization of light passed though underwater bubbles, causing turbulence, is preserved. Our experimental setup serves as an efficient, low cost alternative approach to long distance atmospheric or underwater testing. We compare our experimental results with those of simulations, in which we model underwater bubbles, and separately, atmospheric turbulence. Our findings suggest potential improvements in polarization based FSO communication schemes.


title: Visible extreme adaptive optics for GMagAO-X with the triple-stage AO architecture (TSAO)

abstract: The Extremely Large Telescopes will require hundreds of actuators across the pupil for high Strehl in the visible. We envision a triple-stage AO (TSAO) system for GMT/GMagAO-X to achieve this. The first stage is a 4K DM controlled by an IR pyramid wavefront sensor that provides the first order correction. The second stage contains the high-order parallel DM of GMagAO-X that has 21000 actuators and contains an interferometric delay line for phasing of each mirror segment. This stage uses a Zernike wavefront sensor for high-order modes and a Holographic Dispersed Fringe Sensor for segment piston control. Finally, the third stage uses a dedicated 3K dm for non-common path aberration control and the coronagraphic wavefront control by using focal plane wavefront sensing and control. The triple stage architecture has been chosen to create simpler decoupled control loops. This work describes the performance of the proposed triple-stage AO architecture for ExAO with GMagAO-X.


title: Anticipating Performativity by Predicting from Predictions

abstract: Predictions about people, such as their expected educational achievement or their credit risk, can be performative and shape the outcome that they aim to predict. Understanding the causal effect of these predictions on the eventual outcomes is crucial for foreseeing the implications of future predictive models and selecting which models to deploy. However, this causal estimation task poses unique challenges: model predictions are usually deterministic functions of input features and highly correlated with outcomes. This can make the causal effects of predictions on outcomes impossible to disentangle from the direct effect of the covariates. We study this problem through the lens of causal identifiability, and despite the hardness of this problem in full generality, we highlight three natural scenarios where the causal relationship between covariates, predictions and outcomes can be identified from observational data: randomization in predictions, overparameterization of the predictive model deployed during data collection, and discrete prediction outputs. Empirically we show that given our identifiability conditions hold, standard variants of supervised learning that predict from predictions by treating the prediction as an input feature can indeed find transferable functional relationships that allow for conclusions about newly deployed predictive models. These positive results fundamentally rely on model predictions being recorded during data collection, bringing forward the importance of rethinking standard data collection practices to enable progress towards a better understanding of social outcomes and performative feedback loops.


title: InfraRed On-Detector Guide-Windows in the era of Extremely Large Telescopes

abstract: Future Extremely Large Telescopes (ELTs) will require advances in Adaptive Optics (AO) systems to fully realize their potential. In addition to separate, dedicated wavefront sensors, it is recognized that wavefront sensing within the science focal plane itself will also be needed for many new instruments. One approach is to use On-Detector Guide Windows (ODGWs), whereby a small sub-window of a science detector is read-out continuously (~10s-100s of Hz) in parallel with slower reads of the full chip (>10 s). Guide star centroids from these windows can be used to correct for vibrations and flexure. Another potential use for these windows is to perform localized resets at high cadence to prevent saturation and to minimize persistence from bright sources. We have prototyped an ODGW system using a 5-um cutoff Teledyne HAWAII-2RG infrared detector, and the new Astronomical Research Cameras Gen-4 controller. We describe our implementation of an ODGW mode, and science image artifacts that were observed.


title: Domain-aware Control-oriented Neural Models for Autonomous Underwater Vehicles

abstract: Conventional physics-based modeling is a time-consuming bottleneck in control design for complex nonlinear systems like autonomous underwater vehicles (AUVs). In contrast, purely data-driven models, though convenient and quick to obtain, require a large number of observations and lack operational guarantees for safety-critical systems. Data-driven models leveraging available partially characterized dynamics have potential to provide reliable systems models in a typical data-limited scenario for high value complex systems, thereby avoiding months of expensive expert modeling time. In this work we explore this middle-ground between expert-modeled and pure data-driven modeling. We present control-oriented parametric models with varying levels of domain-awareness that exploit known system structure and prior physics knowledge to create constrained deep neural dynamical system models. We employ universal differential equations to construct data-driven blackbox and graybox representations of the AUV dynamics. In addition, we explore a hybrid formulation that explicitly models the residual error related to imperfect graybox models. We compare the prediction performance of the learned models for different distributions of initial conditions and control inputs to assess their accuracy, generalization, and suitability for control.


title: Advanced wavefront sensing and control demonstration with MagAO-X

abstract: The search for exoplanets is pushing adaptive optics systems on ground-based telescopes to their limits. Currently, we are limited by two sources of noise: the temporal control error and non-common path aberrations. First, the temporal control error of the AO system leads to a strong residual halo. This halo can be reduced by applying predictive control. We will show and described the performance of predictive control with the 2K BMC DM in MagAO-X. After reducing the temporal control error, we can target non-common path wavefront aberrations. During the past year, we have developed a new model-free focal-plane wavefront control technique that can reach deep contrast (<1e-7 at 5 $\lambda$/D) on MagAO-X. We will describe the performance and discuss the on-sky implementation details and how this will push MagAO-X towards imaging planets in reflected light. The new data-driven predictive controller and the focal plane wavefront controller will be tested on-sky in April 2022.


title: Properties of $8$-contraction-critical graphs with no $K_7$ minor

abstract: Motivated by the famous Hadwiger's Conjecture, we study the properties of $8$-contraction-critical graphs with no $K_7$ minor; we prove that every $8$-contraction-critical graph with no $K_7$ minor has at most one vertex of degree $8$, where a graph $G$ is $8$-contraction-critical if $G$ is not $7$-colorable but every proper minor of $G$ is $7$-colorable. This is one step in our effort to prove that every graph with no $K_7$ minor is $7$-colorable, which remains open.


title: Automorphism groups of compact complex surfaces: T-Jordan property, Tits alternative and solvability

abstract: Let $X$ be a (smooth) compact complex surface. We show that the torsion subgroup of the biholomorphic automorphism group $\operatorname{Aut}(X)$ is virtually nilpotent. Moreover, we study the Tits alternative of $\operatorname{Aut}(X)$ and virtual derived length of virtually solvable subgroups of $\operatorname{Aut}(X)$.


title: SYN-MAD 2022: Competition on Face Morphing Attack Detection Based on Privacy-aware Synthetic Training Data

abstract: This paper presents a summary of the Competition on Face Morphing Attack Detection Based on Privacy-aware Synthetic Training Data (SYN-MAD) held at the 2022 International Joint Conference on Biometrics (IJCB 2022). The competition attracted a total of 12 participating teams, both from academia and industry and present in 11 different countries. In the end, seven valid submissions were submitted by the participating teams and evaluated by the organizers. The competition was held to present and attract solutions that deal with detecting face morphing attacks while protecting people's privacy for ethical and legal reasons. To ensure this, the training data was limited to synthetic data provided by the organizers. The submitted solutions presented innovations that led to outperforming the considered baseline in many experimental settings. The evaluation benchmark is now available at: https://github.com/marcohuber/SYN-MAD-2022.


title: Every graph with no $\mathcal{K}_8^{-4}$ minor is $7$-colorable

abstract: Hadwiger's Conjecture from 1943 states that every graph with no $K_{t}$ minor is $(t-1)$-colorable; it remains wide open for all $t\ge 7$. For positive integers $t$ and $s$, let $\mathcal{K}_t^{-s}$ denote the family of graphs obtained from the complete graph $K_t$ by removing $s$ edges. We say that a graph $G$ has no $\mathcal{K}_t^{-s}$ minor if it has no $H$ minor for every $H\in \mathcal{K}_t^{-s}$. Jakobsen in 1971 proved that every graph with no $\mathcal{K}_7^{-2}$ minor is $6$-colorable. In this paper we consider the next step and prove that every graph with no $\mathcal{K}_8^{-4}$ minor is $7$-colorable. Our result implies that $H$-Hadwiger's Conjecture, suggested by Paul Seymour in 2017, is true for every graph $H$ on eight vertices such that the complement of $H$ has maximum degree at least four, a perfect matching, a triangle and a cycle of length four. Our proof utilizes an extremal function for $\mathcal{K}_8^{-4}$ minors obtained in this paper, generalized Kempe chains of contraction-critical graphs by Rolek and the second author, and the method for finding $K_7$ minors from three different $K_5$ subgraphs by Kawarabayashi and Toft; this method was first developed by Robertson, Seymour and Thomas in 1993 to prove Hadwiger's Conjecture for $t=6$.


title: LLM.int8(): 8-bit Matrix Multiplication for Transformers at Scale

abstract: Large language models have been widely adopted but require significant GPU memory for inference. We develop a procedure for Int8 matrix multiplication for feed-forward and attention projection layers in transformers, which cut the memory needed for inference by half while retaining full precision performance. With our method, a 175B parameter 16/32-bit checkpoint can be loaded, converted to Int8, and used immediately without performance degradation. This is made possible by understanding and working around properties of highly systematic emergent features in transformer language models that dominate attention and transformer predictive performance. To cope with these features, we develop a two-part quantization procedure, LLM.int8(). We first use vector-wise quantization with separate normalization constants for each inner product in the matrix multiplication, to quantize most of the features. However, for the emergent outliers, we also include a new mixed-precision decomposition scheme, which isolates the outlier feature dimensions into a 16-bit matrix multiplication while still more than 99.9% of values are multiplied in 8-bit. Using LLM.int8(), we show empirically it is possible to perform inference in LLMs with up to 175B parameters without any performance degradation. This result makes such models much more accessible, for example making it possible to use OPT-175B/BLOOM on a single server with consumer GPUs. We open-source our software.


title: Can a latent Hawkes process be used for epidemiological modelling?

abstract: Understanding the spread of COVID-19 has been the subject of numerous studies, highlighting the significance of reliable epidemic models. Here, we introduce a novel epidemic model using a latent Hawkes process with temporal covariates for modelling the infections. Unlike other models, we model the reported cases via a probability distribution driven by the underlying Hawkes process. Modelling the infections via a Hawkes process allows us to estimate by whom an infected individual was infected. We propose a Kernel Density Particle Filter (KDPF) for inference of both latent cases and reproduction number and for predicting the new cases in the near future. The computational effort is proportional to the number of infections making it possible to use particle filter type algorithms, such as the KDPF. We demonstrate the performance of the proposed algorithm on synthetic data sets and COVID-19 reported cases in various local authorities in the UK, and benchmark our model to alternative approaches.


title: Fair Assortment Planning

abstract: Many online platforms, ranging from online retail stores to social media platforms, employ algorithms to optimize their offered assortment of items (e.g., products and contents). These algorithms often focus exclusively on achieving the platforms' objectives, highlighting items with the highest popularity or revenue. This approach, however, can compromise the equality of opportunities for the rest of the items, in turn leading to less content diversity and increased regulatory scrutiny for the platform. Motivated by that, we introduce and study a fair assortment planning problem, which requires any two items with similar quality/merits to be offered similar outcomes. We show that the problem can be formulated as a linear program (LP), called (FAIR), that optimizes over the distribution of all feasible assortments. To find a near-optimal solution to (FAIR), we propose a framework based on the Ellipsoid method, which requires a polynomial-time separation oracle to the dual of the LP. We show that finding an optimal separation oracle to the dual problem is an NP-complete problem, and hence we propose a series of approximate separation oracles, which then result in a 1/2-approx. algorithm and an FPTAS for the original Problem (FAIR). The approximate separation oracles are designed by (i) showing the separation oracle to the dual of the LP is equivalent to solving an infinite series of parameterized knapsack problems, and (ii) leveraging the structure of the parameterized knapsack problems. Finally, we conduct a case study using the MovieLens dataset, which demonstrates the efficacy of our algorithms and further sheds light on the price of fairness.


title: Non-local distance functions and geometric regularity

abstract: We establish the equivalence between the regularity (rectifiability) of sets and suitable estimates on the oscillation of the gradient for smooth non-local distance functions. A prototypical example of such a distance was introduced, as part of a larger PDE theory, by Guy David, Joseph Feneuil, and the third author. The results apply to all dimensions and co-dimensions, require no underlying topological assumptions, and provide a surprisingly rich class of analytic characterizations of rectifiability.


title: Moments of quadratic twists of modular $L$-functions

abstract: We prove an asymptotic for the second moment of quadratic twists of a modular $L$-function. This was previously known conditionally on GRH by the work of Soundararajan and Young.


title: Action Recognition based on Cross-Situational Action-object Statistics

abstract: Machine learning models of visual action recognition are typically trained and tested on data from specific situations where actions are associated with certain objects. It is an open question how action-object associations in the training set influence a model's ability to generalize beyond trained situations. We set out to identify properties of training data that lead to action recognition models with greater generalization ability. To do this, we take inspiration from a cognitive mechanism called cross-situational learning, which states that human learners extract the meaning of concepts by observing instances of the same concept across different situations. We perform controlled experiments with various types of action-object associations, and identify key properties of action-object co-occurrence in training data that lead to better classifiers. Given that these properties are missing in the datasets that are typically used to train action classifiers in the computer vision literature, our work provides useful insights on how we should best construct datasets for efficiently training for better generalization.


title: A Novel Hexpyramid Pupil Slicer for an ExAO Parallel DM for the Giant Magellan Telescope

abstract: The 25.4m Giant Magellan Telescope (GMT) will be amongst the first in a new series of segmented extremely large telescopes (ELTs). The 25.4 m pupil is segmented into seven 8.4 m circular segments in a flower petal pattern. At the University of Arizona we have developed a novel pupil slicer that will be used for ELT extreme adaptive optics (ExAO) on the up and coming ExAO instrument, GMagAO-X. This comes in the form of a six-sided reflective pyramid with a hole through the center known as a "hexpyramid". By passing the GMT pupil onto this reflective optic, the six outer petals will be sent outward in six different directions while the central segment passes through the center. Each segment will travel to its own polarization independent flat fold mirror mounted on a piezoelectric piston/tip/tilt controller then onto its own commercial 3,000 actuator deformable mirror (DM) that will be employed for extreme wavefront control. This scheme of seven DMs working in parallel to produce a 21,000 actuator DM is a new ExAO architecture that we named a "parallel DM," in which the hexpyramid is a key optical component. This significantly surpasses any current or near future actuator count for any monolithic DM architecture. The optical system is designed for high-quality wavefront (lambda/10 surface PV) with no polarization errors and no vignetting. The design and fabrication of the invar mechanical mounting structure for this complex optical system is described in this paper.


title: Counterdiabatic Formalism of Shortcuts to Adiabaticity

abstract: Pedagogical introduction to counterdiabatic formalism of shortcuts to adiabaticity is given so that the readers are accessible to some of more specialized articles in the rest of this theme issue without a much barrier. A guide to references is given so that this article also serves as a mini-review.


title: Charmenability and Stiffness of Arithmetic Groups

abstract: We characterize charmenability among arithmetic groups and deduce dichotomy statements pertaining normal subgroups, characters, dynamics, representations and associated operator algebras. We do this by studying the stationary dynamics on the space of characters of the amenable radical, and in particular we establish stiffness: any stationary probability measure is invariant. This generalizes a classical result of Furstenberg for dynamics on the torus. Under a higher rank assumption, we show that any action on the space of characters of a finitely generated virtually nilpotent group is stiff.


title: Understanding the effects of charge diffusion in next-generation soft X-ray imagers

abstract: To take advantage of high-resolution optics sensitive to a broad energy range, future X-ray imaging instruments will require thick detectors with small pixels. This pixel aspect ratio affects spectral response in the soft X-ray band, vital for many science goals, as charge produced by the photon interaction near the entrance window diffuses across multiple pixels by the time it is collected, and is potentially lost below the imposed noise threshold. In an effort to understand these subtle but significant effects and inform the design and requirements of future detectors, we present simulations of charge diffusion using a variety of detector characteristics and operational settings, assessing spectral response at a range of X-ray energies. We validate the simulations by comparing the performance to that of real CCD detectors tested in the lab and deployed in space, spanning a range of thickness, pixel size, and other characteristics. The simulations show that while larger pixels, higher bias voltage, and optimal backside passivation improve performance, reducing the readout noise has a dominant effect in all cases. We finally show how high-pixel-aspect-ratio devices present challenges for measuring the backside passivation performance due to the magnitude of other processes that degrade spectral response, and present a method for utilizing the simulations to qualitatively assess this performance. Since compelling science requirements often compete technically with each other (high spatial resolution, soft X-ray response, hard X-ray response), these results can be used to find the proper balance for a future high-spatial-resolution X-ray instrument.


title: Multivariable versions of a lemma of Kaluza's

abstract: Let $d\in \mathbb{N}$ and $f(z)= \sum_{\alpha\in \mathbb{N}_0^d} c_\alpha z^\alpha$ be a convergent multivariable power series in $z=(z_1,\dots,z_d)$. In this paper we present two conditions on the positive coefficients $c_\alpha$ which imply that $f(z)=\frac{1}{1-\sum_{\alpha\in \mathbb{N}_0^d} q_\alpha z^\alpha}$ for non-negative coefficients $q_\alpha$. If $d=1$, then both of our results reduce to a lemma of Kaluza's. For $d>1$ we present examples to show that our two conditions are independent of one another. It turns out that functions of the type $$f(z)= \int_{[0,1]^d} \frac{1}{1-\sum_{j=1}^d t_j z_j} d\mu(t)$$ satisfy one of our conditions, whenever $d\mu(t) = d\mu_1(t_1) \times \dots \times d\mu_d(t_d)$ is a product of probability measures $\mu_j$ on $[0,1]$. Our results have applications to the theory of Nevanlinna-Pick kernels.


title: Exponentiability in categories of relational structures

abstract: For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such categories, which have found recent applications in the study of programming language semantics, include the categories of preordered sets and (extended) metric spaces. As a consequence, we obtain useful sufficient conditions for $\mathbb{T}\text{-}\mathsf{Mod}$ to be cartesian closed, locally cartesian closed, and even a quasitopos; in particular, we provide two different explanations for the cartesian closure of the categories of preordered and partially ordered sets. Our results recover (the sufficiency of) certain conditions that have been shown by Niefield and Clementino--Hofmann to characterize exponentiability in the category of partially ordered sets and the category $V\text{-}\mathsf{Cat}$ of small $V$-categories for certain commutative unital quantales $V$.


title: From Ramsey degrees to Ramsey expansions via weak amalgamation

abstract: Under no additional assumptions, in this paper we construct a Ramsey expansion for every category of finite objects with finite small Ramsey degrees. Our construction is based on the relationship between small Ramsey degrees, weak amalgamation and recent results about weak Fra\"iss\'e categories. Namely, generalizing the fact that every Ramsey class has amalgamation, we show that classes with finite Ramsey degrees have weak amalgamation. We then invoke the machinery of weak Fra\"iss\'e categories to perform the construction. This improves previous similar results where an analogous construction was carried out under the assumption that everything sits comfortably in a bigger class with enough infrastructure, and that in this wider context there is an ultrahomogeneous structure under whose umbrella the construction takes place.


title: A statistical mechanics framework for polymer chain scission, based on the concepts of distorted bond potential and asymptotic matching

abstract: To design increasingly tough, resilient, and fatigue-resistant elastomers and hydrogels, the relationship between controllable network parameters at the molecular level to macroscopic quantities that govern damage and failure must be established. Constitutive models based upon statistical mechanics have used variants of the freely jointed chain (FJC) model with rigid links. However, since the free energy state of a polymer chain is dominated by enthalpic bond distortion effects as the chain approaches its rupture point, bond extensibility ought to be accounted for if the model is intended to capture chain rupture. To that end, a new bond potential is supplemented to the FJC model (as derived in the uFJC framework of Buche and colleagues), which we have extended to yield a tractable, closed-form model that is amenable to constitutive model development. Inspired by the asymptotically matched uFJC model response, a simple, quasi-polynomial, and anharmonic bond potential energy function is derived. Using this bond potential, approximate yet highly-accurate analytical functions for bond stretch and chain force dependent upon chain stretch are established. Then, using this polymer chain model, a stochastic thermal fluctuation-driven chain rupture framework is developed. This framework is based upon a force-modified tilted bond potential that accounts for distortional bond potential energy, allowing for the calculation of dissipated chain scission energy. The model is fit to single-chain mechanical response data collected from atomic force microscopy tensile tests for validation and to glean deeper insight into the molecular physics taking place. Due to their analytical nature, this polymer chain model and the associated rupture framework can be straightforwardly implemented in finite element models accounting for fracture and fatigue in polydisperse elastomer networks.


title: Easy Differentially Private Linear Regression

abstract: Linear regression is a fundamental tool for statistical analysis. This has motivated the development of linear regression methods that also satisfy differential privacy and thus guarantee that the learned model reveals little about any one data point used to construct it. However, existing differentially private solutions assume that the end user can easily specify good data bounds and hyperparameters. Both present significant practical obstacles. In this paper, we study an algorithm which uses the exponential mechanism to select a model with high Tukey depth from a collection of non-private regression models. Given $n$ samples of $d$-dimensional data used to train $m$ models, we construct an efficient analogue using an approximate Tukey depth that runs in time $O(d^2n + dm\log(m))$. We find that this algorithm obtains strong empirical performance in the data-rich setting with no data bounds or hyperparameter selection required.


title: XPipeline: Starlight subtraction at scale for MagAO-X

abstract: MagAO-X is an extreme adaptive optics (ExAO) instrument for the Magellan Clay 6.5-meter telescope at Las Campanas Observatory in Chile. Its high spatial and temporal resolution can produce data rates of 1 TB/hr or more, including all AO system telemetry and science images. We describe the tools and architecture we use for commanding, telemetry, and science data transmission and storage. The high data volumes require a distributed approach to data processing, and we have developed a pipeline that can scale from a single laptop to dozens of HPC nodes. The same codebase can then be used for both quick-look functionality at the telescope and for post-processing. We present the software and infrastructure we have developed for ExAO data post-processing, and illustrate their use with recently acquired direct-imaging data.


title: On uniqueness properties of solutions of the generalized fourth-order Schr\"odinger equations

abstract: In this paper, we study uniqueness properties of solutions to the generalized fourth-order Schr\"odinger equations in any dimension $d$ of the following forms, $$i \partial_t u + \sum_{j=1}^d \partial_{x_j}^{\, 4} u = V(t, x) u, \quad \text{and} \quad i \partial_t u + \sum_{j=1}^d \partial_{x_j}^{\, 4} u + F (u, \bar{u}) = 0.$$ We show that a linear solution $u$ with fast enough decay in certain Sobolev spaces at two different times has to be trivial. Consequently, if the difference between two nonlinear solutions $u_1$ and $u_2$ decays sufficiently fast at two different times, it implies that $u_1 \equiv u_2$.


title: Fractional integral operators on the mixed $\lambda$-central central Morrey spaces

abstract: In this paper, the authors define the mixed $\lambda$-central Morrey spaces and the mixed $\lambda$-central $BMO$ spaces. The boundedness of the fractional integral operators $T_{\alpha}$ and its commutators $[b, T_{\alpha}]$ are established on the mixed $\lambda$-central Morrey spaces, respectively. Furthermore, we also extend these results to the generalized mixed central Morrey spaces.


title: Analysis of axial waves in visco-elastic complex structural-acoustic systems: Theory and experiment

abstract: An experimental and theoretical study of the spectral response of coupled visco-elastic bars subject to axial oscillations is done. Novel closed formulas for the envelope function and their width is derived. These formulas explicitly show the role played by energy dissipation. They show that the internal friction does not affect the width of the envelope of the individual resonances. The formulation is based on the equations of classical mechanics combined with Voigt's viscoelastic model. The systems studied consist of a sequence of one, two, or three coupled bars, with their central axes collinear. One of the bars is assumed to be much longer than the others. We discuss the connection between our results with the concept of the strength function phenomenon discovered for the first time in nuclear physics. Our formulation is an alternative and exact approach to the approximated studies based on the fuzzy structure theory that has been used by other authors to describe this type of couplings. The analytical expressions describe the measurements in the laboratory very well.


title: M-harmonic reproducing kernels on the ball

abstract: Using the machinery of unitary spherical harmonics due to Koornwinder, Folland and other authors, we~obtain expansions for the Szeg\"o and the weighted Bergman kernels of $M$-harmonic functions, i.e.~functions annihilated by the invariant Laplacian on the unit ball of the complex $n$-space. This yields, among others, an explicit formula for the $M$-harmonic Szeg\"o kernel in terms of multivariable as well as single-variable hypergeometric functions, and also shows that most likely there is no explicit (``closed'') formula for the corresponding weighted Bergman kernels.


title: Stable Scheduling in Transactional Memory

abstract: We study computer systems with transactions executed on a set of shared objects. Transactions arrive continually subjects to constrains that are framed as an adversarial model and impose limits on the average rate of transaction generation and the number of objects that transactions use. We show that no deterministic distributed scheduler in the queue-free model of transaction autonomy can provide stability for any positive rate of transaction generation. Let a system consist of $m$ shared objects and an adversary be constrained such that each transaction may access at most $k$ shared objects. We prove that no scheduler can be stable if a generation rate is greater than $\max\bigl\{\frac{2}{k+1},\frac{2}{\lfloor \sqrt{2m} \rfloor}\bigr\}$. We develop a centralized scheduler that is stable if a transaction generation rate is at most $\max\bigl\{\frac{1}{4k}, \frac{1}{4\lceil\sqrt{m}\rceil} \bigr\}$. We design a distributed scheduler in the queue-based model of transaction autonomy, in which a transaction is assigned to an individual processor, that guarantees stability if the rate of transaction generation is less than $\max\bigl\{ \frac{1}{6k},\frac{1}{6\lceil\sqrt{m}\rceil}\bigr\}$. For each of the schedulers we give upper bounds on the queue size and transaction latency in the range of rates of transaction generation for which the scheduler is stable.


title: Three New Validators and a Large-Scale Benchmark Ranking for Unsupervised Domain Adaptation

abstract: Changes to hyperparameters can have a dramatic effect on model accuracy. Thus, the tuning of hyperparameters plays an important role in optimizing machine-learning models. An integral part of the hyperparameter-tuning process is the evaluation of model checkpoints, which is done through the use of "validators". In a supervised setting, these validators evaluate checkpoints by computing accuracy on a validation set that has labels. In contrast, in an unsupervised setting, the validation set has no such labels. Without any labels, it is impossible to compute accuracy, so validators must estimate accuracy instead. But what is the best approach to estimating accuracy? In this paper, we consider this question in the context of unsupervised domain adaptation (UDA). Specifically, we propose three new validators, and we compare and rank them against five other existing validators, on a large dataset of 1,000,000 checkpoints. Extensive experimental results show that two of our proposed validators achieve state-of-the-art performance in various settings. Finally, we find that in many cases, the state-of-the-art is obtained by a simple baseline method. To the best of our knowledge, this is the largest empirical study of UDA validators to date. Code is available at https://www.github.com/KevinMusgrave/powerful-benchmarker.


title: A toy model for categorical charges

abstract: We consider a higher gauge topological model in three spatial dimensions whose input datum is a 2-group encoding the mixing of a 0-form $\mathbb Z_2$- and 1-form $\mathbb Z_3$-symmetry. We study the excitation content of the theory on the symmetry-preserving boundary. We show that boundary operators are organised into the fusion 2-category of 2-representations of the 2-group. These can be interpreted as categorical charges for an effective boundary model that inherits a global 2-group symmetry from the bulk topological order. Interestingly, we find that certain simple 2-representations are physically interpreted as composites of intrinsic excitations and condensation defects.


title: Look Both Ways: Bidirectional Visual Sensing for Automatic Multi-Camera Registration

abstract: This work describes the automatic registration of a large network (approximately 40) of fixed, ceiling-mounted environment cameras spread over a large area (approximately 800 squared meters) using a mobile calibration robot equipped with a single upward-facing fisheye camera and a backlit ArUco marker for easy detection. The fisheye camera is used to do visual odometry (VO), and the ArUco marker facilitates easy detection of the calibration robot in the environment cameras. In addition, the fisheye camera is also able to detect the environment cameras. This two-way, bidirectional detection constrains the pose of the environment cameras to solve an optimization problem. Such an approach can be used to automatically register a large-scale multi-camera system used for surveillance, automated parking, or robotic applications. This VO based multi-camera registration method has been extensively validated using real-world experiments, and also compared against a similar approach which uses a LiDAR - an expensive, heavier and power hungry sensor.


title: MoCapAct: A Multi-Task Dataset for Simulated Humanoid Control

abstract: Simulated humanoids are an appealing research domain due to their physical capabilities. Nonetheless, they are also challenging to control, as a policy must drive an unstable, discontinuous, and high-dimensional physical system. One widely studied approach is to utilize motion capture (MoCap) data to teach the humanoid agent low-level skills (e.g., standing, walking, and running) that can then be re-used to synthesize high-level behaviors. However, even with MoCap data, controlling simulated humanoids remains very hard, as MoCap data offers only kinematic information. Finding physical control inputs to realize the demonstrated motions requires computationally intensive methods like reinforcement learning. Thus, despite the publicly available MoCap data, its utility has been limited to institutions with large-scale compute. In this work, we dramatically lower the barrier for productive research on this topic by training and releasing high-quality agents that can track over three hours of MoCap data for a simulated humanoid in the dm_control physics-based environment. We release MoCapAct (Motion Capture with Actions), a dataset of these expert agents and their rollouts, which contain proprioceptive observations and actions. We demonstrate the utility of MoCapAct by using it to train a single hierarchical policy capable of tracking the entire MoCap dataset within dm_control and show the learned low-level component can be re-used to efficiently learn downstream high-level tasks. Finally, we use MoCapAct to train an autoregressive GPT model and show that it can control a simulated humanoid to perform natural motion completion given a motion prompt. Videos of the results and links to the code and dataset are available at https://microsoft.github.io/MoCapAct.


title: Online Pole Segmentation on Range Images for Long-term LiDAR Localization in Urban Environments

abstract: Robust and accurate localization is a basic requirement for mobile autonomous systems. Pole-like objects, such as traffic signs, poles, and lamps are frequently used landmarks for localization in urban environments due to their local distinctiveness and long-term stability. In this paper, we present a novel, accurate, and fast pole extraction approach based on geometric features that runs online and has little computational demands. Our method performs all computations directly on range images generated from 3D LiDAR scans, which avoids processing 3D point clouds explicitly and enables fast pole extraction for each scan. We further use the extracted poles as pseudo labels to train a deep neural network for online range image-based pole segmentation. We test both our geometric and learning-based pole extraction methods for localization on different datasets with different LiDAR scanners, routes, and seasonal changes. The experimental results show that our methods outperform other state-of-the-art approaches. Moreover, boosted with pseudo pole labels extracted from multiple datasets, our learning-based method can run across different datasets and achieve even better localization results compared to our geometry-based method. We released our pole datasets to the public for evaluating the performance of pole extractors, as well as the implementation of our approach.


title: Unsupervised Video Domain Adaptation for Action Recognition: A Disentanglement Perspective

abstract: Unsupervised video domain adaptation is a practical yet challenging task. In this work, for the first time, we tackle it from a disentanglement view. Our key idea is to handle the spatial and temporal domain divergence separately through disentanglement. Specifically, we consider the generation of cross-domain videos from two sets of latent factors, one encoding the static information and another encoding the dynamic information. A Transfer Sequential VAE (TranSVAE) framework is then developed to model such generation. To better serve for adaptation, we propose several objectives to constrain the latent factors. With these constraints, the spatial divergence can be readily removed by disentangling the static domain-specific information out, and the temporal divergence is further reduced from both frame- and video-levels through adversarial learning. Extensive experiments on the UCF-HMDB, Jester, and Epic-Kitchens datasets verify the effectiveness and superiority of TranSVAE compared with several state-of-the-art approaches. Code is publicly available.


title: Robust stripes in the mixed-dimensional $t-J$ model

abstract: Microscopically understanding competing orders in strongly correlated systems is a key challenge in modern quantum many-body physics. For example, the origin of stripe order and its relation to pairing in the Fermi-Hubbard model remains one of the central questions, and may help to understand the origin of high-temperature superconductivity in cuprates. Here, we analyze stripe formation in the doped mixed-dimensional (mixD) variant of the $t-J$ model, where charge carriers are restricted to move only in one direction, whereas magnetic $\mathrm{SU}(2)$ interactions are two-dimensional. Using the density matrix renormalization group at finite temperature, we find a stable vertical stripe phase in the absence of pairing, featuring incommensurate magnetic order and long-range charge density wave profiles over a wide range of dopings. We find high critical temperatures on the order of the magnetic coupling $J$, hence being within reach of current quantum simulators. Snapshots of the many-body state, accessible to quantum simulators, reveal hidden spin correlations in the mixD setting, whereby antiferromagnetic correlations are enhanced when considering purely the magnetic background. The proposed model can be viewed as realizing a parent Hamiltonian of the stripe phase, whose hidden spin correlations lead to the predicted resilience against quantum and thermal fluctuations.


title: Codimension-2 defects and higher symmetries in (3+1)D topological phases

abstract: (3+1)D topological phases of matter can host a broad class of non-trivial topological defects of codimension-1, 2, and 3, of which the well-known point charges and flux loops are special cases. The complete algebraic structure of these defects defines a higher category, and can be viewed as an emergent higher symmetry. This plays a crucial role both in the classification of phases of matter and the possible fault-tolerant logical operations in topological quantum error correcting codes. In this paper, we study several examples of such higher codimension defects from distinct perspectives. We mainly study a class of invertible codimension-2 topological defects, which we refer to as twist strings. We provide a number of general constructions for twist strings, in terms of gauging lower dimensional invertible phases, layer constructions, and condensation defects. We study some special examples in the context of $\mathbb{Z}_2$ gauge theory with fermionic charges, in $\mathbb{Z}_2 \times \mathbb{Z}_2$ gauge theory with bosonic charges, and also in non-Abelian discrete gauge theories based on dihedral ($D_n$) and alternating ($A_6$) groups. The intersection between twist strings and Abelian flux loops sources Abelian point charges, which defines an $H^4$ cohomology class that characterizes part of an underlying 3-group symmetry of the topological order. The equations involving background gauge fields for the 3-group symmetry have been explicitly written down for various cases. We also study examples of twist strings interacting with non-Abelian flux loops (defining part of a non-invertible higher symmetry), examples of non-invertible codimension-2 defects, and examples of interplay of codimension-2 defects with codimension-1 defects. We also find an example of geometric, not fully topological, twist strings in (3+1)D $A_6$ gauge theory.

categories: cond-mat.str-el hep-th math-ph math.MP math.QA quant-ph


title: SOLBP: Second-Order Loopy Belief Propagation for Inference in Uncertain Bayesian Networks

abstract: In second-order uncertain Bayesian networks, the conditional probabilities are only known within distributions, i.e., probabilities over probabilities. The delta-method has been applied to extend exact first-order inference methods to propagate both means and variances through sum-product networks derived from Bayesian networks, thereby characterizing epistemic uncertainty, or the uncertainty in the model itself. Alternatively, second-order belief propagation has been demonstrated for polytrees but not for general directed acyclic graph structures. In this work, we extend Loopy Belief Propagation to the setting of second-order Bayesian networks, giving rise to Second-Order Loopy Belief Propagation (SOLBP). For second-order Bayesian networks, SOLBP generates inferences consistent with those generated by sum-product networks, while being more computationally efficient and scalable.


title: Cellular liberality is measurable as Lempel-Ziv complexity of fastq files

abstract: Many studies used the Shannon entropy of transcriptome data to determine cell dedifferentiation and differentiation. The collection of evidence has strengthened the certainty that the transcriptome's Shannon entropy may be used to quantify cellular dedifferentiation and differentiation. Quantifying this cellular status is being justified, we propose the term liberality for the quantitative value of cellular dedifferentiation and differentiation. In previous studies, we must convert the raw transcriptome data into quantitative transcriptome data through mapping, tag counting, assembling, and more bioinformatic processing to calculate the liberality. If we could remove this conversion step from estimating liberality, we could save computing resources and time and remove technical difficulties in using the computer. In this study, we propose a method of calculating cellular liberality without those transcriptome data conversion processes. We could calculate liberality by measuring the compression rate of raw transcriptome data. This technique, independent of reference genome data, increased the generality of cellular liberality.


title: The KM3NeT infrastructure: status and first results

abstract: KM3NeT is a research infrastructure in construction under the Mediterranean Sea. It hosts two large volume neutrino Cherenkov telescopes: ARCA at a depth of 3500 m, located offshore Sicily, and ORCA, 2500 m under the sea level, offshore the southern French coast. The two detectors share the same detection principle and technology and the same data acquisition design, the only difference being the geometrical arrangement of the optical sensors. This allows to span a wide range of neutrino energy and cover a large scientific program: the study of neutrino properties, first of all neutrino mass ordering, the identification and study of high energy neutrino astrophysical sources, indirect dark matter searches and core collapse supernovae detection.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: Fast localization and single-pixel imaging of the moving object using time-division multiplexing

abstract: When imaging moving objects, single-pixel imaging produces motion blur. This paper proposes a new single-pixel imaging method, which can achieve anti-motion blur imaging of a fast-moving object. The geometric moment patterns and Hadamard patterns are used to alternately encode the position information and the image information of the object with time-division multiplexing. In the reconstruction process, the object position information is extracted independently and combining motion-compensation reconstruction algorithm to decouple the object motion from image information. As a result, the anti-motion blur image and the high frame rate object positions are obtained. Experimental results show that for a moving object with an angular velocity of up to 0.5rad/s relative to the imaging system, the proposed method achieves a localization frequency of 5.55kHz, and gradually reconstructs a clear image of the fast-moving object with a pseudo resolution of 512x512. The method has application prospects in single-pixel imaging of the fast-moving object.


title: On the Entropy of Strings and Branes

abstract: We show that the entropy of strings that wind around the Euclidean time circle is proportional to the Noether charge associated with translations along the T-dual time direction. We consider an effective target-space field theory which includes a large class of terms in the action with various modes, interactions and $\alpha'$ corrections. The entropy and the Noether charge are shown to depend only on the values of fields at the boundary of space. The classical entropy, which is proportional to the inverse of Newton's constant, is then calculated by evaluating the appropriate boundary term for various geometries with and without a horizon. We verify, in our framework, that for higher-curvature pure gravity theories, the Wald entropy of static neutral black hole solutions is equal to the entropy derived from the Gibbons-Hawking boundary term. We then proceed to discuss horizonless geometries which contain, due to the back-reaction of the strings and branes, a second boundary in addition to the asymptotic boundary. Near this ``punctured'' boundary, the time-time component of the metric and the derivatives of its logarithm approach zero. Assuming that there are such non-singular solutions, we identify the entropy of the strings and branes in this geometry with the entropy of the solution to all orders in $\alpha'$. If the asymptotic region of an $\alpha'$-corrected neutral black hole is connected through the bulk to a puncture, then the black hole entropy is equal to the entropy of the strings and branes. Later, we discuss configurations similar to the charged black p-brane solutions of Horowitz and Strominger, with the second boundary, and show that, to leading order in the $\alpha'$ expansion, the classical entropy of the strings and branes is equal exactly to the Bekenstein-Hawking entropy. This result is extended to a configuration that asymptotes to AdS.


title: Non-Invertible Symmetries from Holography and Branes

abstract: We propose a systematic approach to deriving symmetry generators of Quantum Field Theories in holography. Central to this are the Gauss law constraints in the Hamiltonian quantization of Symmetry Topological Field Theories (SymTFTs), which are obtained from supergravity. In turn we realize the symmetry generators from world-volume theories of D-branes in holography. Our main focus is on non-invertible symmetries, which have emerged in the past year as a new type of symmetry in $d\geq 4$ QFTs. We exemplify our proposal in the holographic confinement setup, dual to 4d $\mathcal{N}=1$ Super-Yang Mills. In the brane-picture, the fusion of non-invertible symmetries naturally arises from the Myers effect on D-branes. In turn, their action on line defects is modeled by the Hanany-Witten effect.


title: Nonlinear effects in black hole ringdown

abstract: We report evidence for nonlinear modes in the ringdown stage of the gravitational waveform produced by the merger of two comparable-mass black holes. We consider both the coalescence of black hole binaries in quasicircular orbits and high-energy, head-on black hole collisions. The presence of nonlinear modes in the numerical simulations confirms that general-relativistic nonlinearities are important and must be considered in gravitational-wave data analysis.


title: Eta Geminorum: An Eclipsing Semiregular Variable Star Orbited by a Companion Surrounded by an Extended Disc

abstract: We report 11 yr of spectroscopic monitoring of the M-type asymptotic giant branch star eta Gem, a semiregular variable and a known spectroscopic binary with a period of 8.2 yr. We combine our radial velocities with others from the literature to provide an improved spectroscopic orbital solution giving a period of 2979 days, which we then use to predict past times of eclipse. We examine archival photometry from amateur variable star observers, and other sources, and find many instances of dimmings that occurred at the right time. This confirms previous indications that the system is eclipsing, and it now ranks among those with the longest known periods. No secondary eclipses are seen. The $\sim$0.4 mag eclipses lasting about 5 months are much too deep to be produced by a stellar companion. We propose instead that the companion is surrounded by a large disk that is at least 1.5 au in diameter, but is likely larger. We predict the center of the next eclipse will occur on New Year's day, 2029.


title: Galactic satellite systems in CDM, WDM and SIDM

abstract: We investigate the population of bright satellites ($M_{*} \geq 10^{5} \mathrm{M}_{\odot}$) of haloes of mass comparable to that of the Milky Way in cosmological simulations in which the dark matter (DM) is either cold, warm or self-interacting (CDM, WDM and SIDM respectively). The nature of the DM gives rise to differences in the abundance and structural properties of field halos. In WDM, the main feature is a reduction in the total number of galaxies that form, reflecting a suppression of low-mass DM haloes and lower galaxy formation efficiency compared to CDM. For SIDM, the changes are structural, restricted to the central regions of haloes and dependent on the assumed self-interaction cross-section. We also consider different baryonic subgrid physics models for galaxy formation, in which supernova gas blowouts can or cannot induce the formation of a core in dwarf galaxies. Overall, the inclusion of baryons lessen the differences in the halo properties in the different DM models compared to DM-only simulations. This affects the satellite properties at infall and therefore their subsequent tidal stripping and survival rates. Nonetheless, we find slightly less concentrated satellite radial distributions as the SIDM cross-section increases. Unfortunately, we also find that the satellite populations in simulations with baryon-induced cores in CDM and WDM can mimic the results found in SIDM, making the satellite stellar mass and maximum circular velocity functions heavily degenerate on the assumed nature of the DM and the adopted subgrid modelling. These degeneracies preclude using the brightest satellites of the Milky Way to constrain the nature of DM.


title: SN 2016iyc: A Type IIb supernova arising from a low-mass progenitor

abstract: In this work, photometric and spectroscopic analyses of a very low-luminosity Type IIb supernova (SN) 2016iyc have been performed. SN 2016iyc lies near the faint end among the distribution of similar supernovae (SNe). Given lower ejecta mass ($M_{\rm ej}$) and low nickel mass ($M_{\rm Ni}$) from the literature, combined with SN 2016iyc lying near the faint end, one-dimensional stellar evolution models of 9 - 14 M$_{\odot}$ zero-age main-sequence (ZAMS) stars as the possible progenitors of SN 2016iyc have been performed using the publicly available code MESA. Moreover, synthetic explosions of the progenitor models have been simulated using the hydrodynamic evolution codes STELLA and SNEC. The bolometric luminosity light curve and photospheric velocities produced through synthetic explosions of ZAMS stars of mass in the range 12 - 13 M$_{\odot}$ having a pre-supernova radius $R_{\mathrm{0}} =$ (240 - 300) R$_{\odot}$, with $M_{\rm ej} =$ (1.89 - 1.93) M$_{\odot}$, explosion energy $E_{\rm exp} = $ (0.28 - 0.35) $\times 10^{51}$ erg, and $M_{\rm Ni} < 0.09$ M$_{\odot}$, are in good agreement with observations; thus, SN 2016iyc probably exploded from a progenitor near the lower mass limits for SNe IIb. Finally, hydrodynamic simulations of the explosions of SN 2016gkg and SN 2011fu have also been performed to compare intermediate- and high-luminosity examples among well-studied SNe IIb. The results of progenitor modelling and synthetic explosions for SN 2016iyc, SN 2016gkg, and SN 2011fu exhibit a diverse range of mass for the possible progenitors of SNe IIb.


title: Exploring the Neutrino Sector of the Minimal Left-Right Symmetric Model

abstract: We explore the neutrino sector of the minimal left-right symmetric model, with the additional charge conjugation discrete symmetry, in the tuned regime where type-I and type-II seesaw mechanisms are equally responsible for the light neutrino masses. We show that unless the charged lepton mixing matrix is the identity and the right handed neutrino mass matrix has no phases, we expect sizable lepton flavor violation and electron dipole moment in this region. We use results from recent neutrino oscillation fits, bounds on neutrinoless double beta decay, $\mu \to e \gamma$, $\mu \to 3 e$, $\mu \to e$ conversion in nuclei, the muon anomalous magnetic moment, the electron electric dipole moment and cosmology to determine the viability of this region. We derive stringent limits on the heavy neutrino masses and mixing angles as well as on the vacuum expectation value $v_L$, which drives the type-II seesaw contribution, using the current data. We discuss the perspectives of probing the remaining parameter space by future experiments.


title: Generation and propagation of nonlinear quasi-normal modes of a Schwarzschild black hole

abstract: In the analysis of a binary black hole coalescence, it is necessary to include gravitational self-interactions in order to describe the transition of the gravitational wave signal from the merger to the ringdown stage. In this paper we study the phenomenology of the generation and propagation of nonlinearities in the ringdown of a Schwarzschild black hole, using second-order perturbation theory. Following earlier work, we show that the Green's function and its causal structure determines how both first-order and second-order perturbations are generated, and hence highlight that both of these solutions share some physical properties. In particular, we discuss the sense in which both linear and quadratic quasi-normal modes (QNMs) are generated in the vicinity of the peak of the gravitational potential barrier (loosely referred to as the light ring). Among the second-order perturbations, there are solutions with linear QNM frequencies (whose amplitudes are thus renormalized from their linear values), as well as quadratic QNM frequencies with a distinct spectrum. Moreover, we show using a WKB analysis that, in the eikonal limit, waves generated inside the light ring propagate towards the black hole horizon, and only waves generated outside propagate towards an asymptotic observer. These results might be relevant for recent discussions on the validity of perturbation theory close to the merger. Finally, we argue that even if nonlinearities are small, quadratic QNMs may be detectable and would likely be useful for improving ringdown models of higher angular harmonics and future tests of gravity.


title: Nonlinearities in Black Hole Ringdowns

abstract: The gravitational wave strain emitted by a perturbed black hole (BH) ringing down is typically modeled analytically using first-order BH perturbation theory. In this Letter we show that second-order effects are necessary for modeling ringdowns from BH merger simulations. Focusing on the strain's $(\ell,m)=(4,4)$ angular harmonic, we show the presence of a quadratic effect across a range of binary BH mass ratios that agrees with theoretical expectations. We find that the quadratic $(4,4)$ mode's amplitude exhibits quadratic scaling with the fundamental $(2,2)$ mode -- its parent mode. The nonlinear mode's amplitude is comparable to or even larger than that of the linear $(4,4)$ mode. Therefore, correctly modeling the ringdown of higher harmonics -- improving mode mismatches by up to 2 orders of magnitude -- requires the inclusion of nonlinear effects.


title: The hunt for extraterrestrial high-energy neutrino counterparts

abstract: The origin of Petaelectronvolt (PeV) astrophysical neutrinos is fundamental to our understanding of the high-energy Universe. Apart from the technical challenges of operating detectors deep below ice, oceans, and lakes, the phenomenological challenges are even greater than those of gravitational waves; the sources are unknown, hard to predict, and we lack clear signatures. Neutrino astronomy therefore represents the greatest challenge faced by the astronomy and physics communities thus far. The possible neutrino sources range from accretion disks and tidal disruption events, to relativistic jets and galaxy clusters with blazar TXS~0506+056 the most compelling association thus far. Since that association, immense effort has been put into proving or disproving that jets are indeed neutrino emitters, but to no avail. By generating simulated neutrino counterpart samples, we explore the potential of detecting a significant correlation of neutrinos with jets from active galactic nuclei. We find that, given the existing challenges, even our best experiments could not have produced a $>3\sigma$ result. Larger programs over the next few years will be able to detect a significant correlation only if the brightest radio sources, rather than all jetted active galactic nuclei, are neutrino emitters. We discuss the necessary strategies required to steer future efforts into successful experiments.


title: Magnetic Misalignment of Interstellar Dust Filaments

abstract: We present evidence for scale-independent misalignment of interstellar dust filaments and magnetic fields. We estimate the misalignment by comparing millimeter-wave dust-polarization measurements from Planck with filamentary structures identified in neutral-hydrogen (HI) measurements from HI4PI. We find that the misalignment angle displays a scale independence (harmonic coherence) for features larger than the HI4PI beam width ($16.2'$). We additionally find a spatial coherence on angular scales of $\mathcal{O}(1^\circ)$. We present several misalignment estimators formed from the auto- and cross-spectra of dust-polarization and HI-based maps, and we also introduce a map-space estimator. Applied to large regions of the high-Galactic-latitude sky, we find a global misalignment angle of $\sim 2^\circ$, which is robust to a variety of masking choices. By dividing the sky into small regions, we show that the misalignment angle correlates with the parity-violating $TB$ cross-spectrum measured in the Planck dust maps. The misalignment paradigm also predicts a dust $EB$ signal, which is of relevance in the search for cosmic birefringence but as yet undetected; the measurements of $EB$ are noisier than of $TB$, and our correlations of $EB$ with misalignment angle are found to be weaker and less robust to masking choices. We also introduce an HI-based dust-polarization template constructed from the Hessian matrix of the HI intensity, which is found to correlate more strongly than previous templates with Planck dust $B$ modes.


title: Local Neumann semitransparent layers: resummation, pair production and duality

abstract: We consider local semitransparent Neumann boundary conditions for a quantum scalar field as imposed by a quadratic coupling to a source localized on a flat codimension-one surface. Upon a proper regularization to give meaning to the interaction, we interpret the effective action as a theory in a first-quantized phase space. We compute the relevant heat-kernel to all order in a homogeneous background and to quadratic order in perturbations, giving a closed expression for the corresponding effective action in $D=4$. In the dynamical case, we analyze the pair production caused by a harmonic perturbation and by a Sauter pulse. Notably, we prove the existence of a strong/weak duality that links this Neumann field theory to the analogue Dirichlet one.


title: FCNC in Concurrent Dark Photon and Dark $Z$ Models

abstract: In this work we fit the available binned data of the differential decay distribution of the exclusive $B \to K^{(*)} \ell^+ \ell^-$ and $B_s \to \phi \mu^+ \mu^-$ decays to the mass and mixing parameters of a light dark vector boson model. Due to an incorrect assessment of the dominant contribution of the dark $Z$ model to the FCNC B-meson decays, a previous work in literature reported that $\mathcal{O}(1)$ mixings were allowed by the data. In this talk we report the correct calculations and constraints on the mixing parameters as well as the mass of the dark vector boson using the marginalization technique. We also study other relevant bounds on the parameter space from low energy experiments such as the atomic parity violation, $K^+ \to \mu^+ + invisible$ decay, $B_s - \overline{B}_s$ mixing etc and find that inspite of obtaining a good fit to the experimental $b \to s \ell^+ \ell^-$ data, the entire parameter space gets ruled out from some of the above bounds. In case of a model with tiny mixing and additional interaction of the dark $Z$ to the muon, some bounds are relaxed while some others are violated.


title: Infrared finite semi-inclusive cross section in two dimensional type 0B string theory

abstract: D-instanton induced S-matrix in type 0B string theory in two dimensions suffers from infrared divergences. This can be traced to the fact that these processes produce low energy rolling tachyon states that cannot be regarded as linear combination of a finite number of closed string states. We compute semi-inclusive cross sections in this theory where we allow in the final state a fixed set of closed strings carrying given energies and any number of other closed string states carrying the rest of the energy. The result is infrared finite and agrees with the results in the dual matrix model, described by non-relativistic fermions moving in an inverted harmonic oscillator potential. In the matrix model the role of `any number of other closed string states' is played by a fermion hole pair on opposite sides of the potential barrier.


title: The gap persistence theorem for quantum multiparameter estimation

abstract: One key aspect of quantum metrology, measurement incompatibility, is evident only through the simultaneous estimation of multiple parameters. The symmetric logarithmic derivative Cram\'er-Rao bound (SLDCRB), gives the attainable precision, if the optimal measurements for estimating each individual parameter commute. When the optimal measurements do not commute, the SLDCRB is not necessarily attainable. In this regard, the Holevo Cram\'er-Rao bound (HCRB) plays a fundamental role, providing the ultimate attainable precisions when one allows simultaneous measurements on infinitely many copies of a quantum state. For practical purposes, the Nagaoka Cram\'er-Rao bound (NCRB) is more relevant, applying when restricted to measuring quantum states individually. The interplay between these three bounds dictates how rapidly the ultimate metrological precisions can be approached through collective measurements on finite copies of the probe state. We first consider two parameter estimation and prove that if the HCRB cannot be saturated with a single copy of the probe state, then it cannot be saturated for any finite number of copies of the probe state. With this, we show that it is impossible to saturate the HCRB for several physically motivated problems. For estimating any number of parameters, we provide necessary and sufficient conditions for the attainability of the SLDCRB with separable measurements. We further prove that if the SLDCRB cannot be reached with a single copy of the probe state, it cannot be reached with collective measurements on any finite number of copies of the probe state. These results together provide necessary and sufficient conditions for the attainability of the SLDCRB for any finite number of copies of the probe state. This solves a significant generalisation of one of the five problems recently highlighted by [P.Horodecki et al, Phys. Rev. X Quantum 3, 010101 (2022)].


title: Exploring uberholography

abstract: In this paper, we study the holographic quantum error correcting code properties in different boundary fractal-like structures. We construct and explore different examples of the uberholographic bulk reconstruction corresponding to these structures in higher dimensions for Cantor-like sets, thermal states and $T\overline{T}$-deformed conformal field theories. We show how the growth of the system dimension emphasizes the role of the Cantor set, due to the special bound naturally arising in this context.


title: Bounded perturbations of the Heisenberg commutation relation via dilation theory

abstract: We extend the notion of dilation distance to strongly continuous one-parameter unitary groups. If the dilation distance between two such groups is finite, then these groups can be represented on the same space in such a way that their generators have the same domain and are in fact a bounded perturbation of one another. This result extends to d-tuples of one-parameter unitary groups. We apply our results to the Weyl canonical commutation relations, and as a special case we recover the result of Haagerup and Rordam that the infinite ampliation of the canonical position and momentum operators satisfying the Heisenberg commutation relation are a bounded perturbation of a pair of strongly commuting selfadjoint operators. We also recover Gao's higher-dimensional generalization of Haagerup and Rordam's result, and in typical cases we significantly improve control of the bound when the dimension grows.


abstract: We obtain an improved determination of the normalization of the leading infrared renormalon of the Bjorken sum rule: $Z_B (n_f=3)= -0.407\pm 0.119 $. Estimates of higher order terms of the perturbative series are given. We compute the Bjorken sum rule with hyperasymptotic precision by including the leading terminant, associated with the first infrared renormalon. We fit the experimental data to the operator product expansion theoretical prediction with $\hat f_{3}^{\rm PV}$ as the free parameter. We obtain a good agreement with the experiment with $\hat f_{3}^{\rm PV}\times 10^3=32^{+187}_{-196}\;{\rm GeV}^{2}$ for $Q^2 \geq 1$ GeV$^2$.