title: Effects of Bound Diprotons and Enhanced Nuclear Reaction Rates on Stellar Evolution

abstract: Deuterium represents the only bound isotope in the universe with atomic mass number $A=2$. Motivated by the possibility of other universes, where the strong force could be stronger, this paper considers the effects of bound diprotons and dineutrons on stars. We find that the existence of additional stable nuclei with $A=2$ has relatively modest effects on the universe. Previous work indicates that Big Bang Nucleosynthesis (BBN) produces more deuterium, but does not lead to catastrophic heavy element production. This paper revisits BBN considerations and confirms that the universe is left with an ample supply of hydrogen and other light nuclei for typical cosmological parameters. Using the $MESA$ numerical package, we carry out stellar evolution calculations for universes with stable diprotons, with nuclear cross sections enhanced by large factors $X$. This work focuses on $X=10^{15}-10^{18}$, but explores the wider range $X$ = $10^{-3}-10^{18}$. For a given stellar mass, the presence of stable diprotons leads to somewhat brighter stars, with the radii and photospheric temperatures roughly comparable to thoese of red giants. The central temperature decreases from the characteristic value of $T_c\approx1.5\times10^7$ K for hydrogen burning down to the value of $T_c\approx10^6$ K characteristic of deuterium burning. The stellar lifetimes are smaller for a given mass, but with the extended possible mass range, the smallest stars live for trillions of years, far longer than the current cosmic age. Finally, the enhanced cross sections allow for small, partially degenerate objects with mass $M_\ast=1-10M_J$ to produce significant steady-state luminosity and thereby function as stars.


title: On $N$-Unital Functions

abstract: Let $N$ be a positive integer. We say a non-constant rational function $U(x)\in{\mathbb C}(x)$ is $N$-\emph{unital} if all the zeros and poles of both $U(x)$ and $1-U(x)$ are either 0 or $N$-th roots of unity. These functions are called admissible functions by Au in a recent paper arXiv:2007.03957 and used to study some central binomial series of Ap\'ery type via their iterated integral expression related to multiple polylogrithms and colored multiple zeta values. In this paper we determine the complete set of these functions for $N\le 4$ by elementary method, and briefly study some cases at level 5.


title: Towards An Ethics-Audit Bot

abstract: In this paper we focus on artificial intelligence (AI) for governance, not governance for AI, and on just one aspect of governance, namely ethics audit. Different kinds of ethical audit bots are possible, but who makes the choices and what are the implications? In this paper, we do not provide ethical/philosophical solutions, but rather focus on the technical aspects of what an AI-based solution for validating the ethical soundness of a target system would be like. We propose a system that is able to conduct an ethical audit of a target system, given certain socio-technical conditions. To be more specific, we propose the creation of a bot that is able to support organisations in ensuring that their software development lifecycles contain processes that meet certain ethical standards.


title: Well-posedness and robust stability of a nonlinear ODE-PDE system

abstract: This work studies stability and robustness of a nonlinear system given as an interconnection of an ODE and a parabolic PDE subjected to external disturbances entering through the boundary conditions of the parabolic equation. To this end we develop an approach for a construction of a suitable coercive Lyapunov function as one of the main results. Based on this Lyapunov function we establish the well-posedness of the considered system and establish conditions that guarantee the ISS property. ISS estimates are derived explicitly for the particular case of globally Lipschitz nonlinearities.


title: The evolution of the solar wind

abstract: How has the solar wind evolved to reach what it is today? In this review, I discuss the long-term evolution of the solar wind, including the evolution of observed properties that are intimately linked to the solar wind: rotation, magnetism and activity. Given that we cannot access data from the solar wind 4 billion years ago, this review relies on stellar data, in an effort to better place the Sun and the solar wind in a stellar context. I overview some clever detection methods of winds of solar-like stars, and derive from these an observed evolutionary sequence of solar wind mass-loss rates. I then link these observational properties (including, rotation, magnetism and activity) with stellar wind models. I conclude this review then by discussing implications of the evolution of the solar wind on the evolving Earth and other solar system planets. I argue that studying exoplanetary systems could open up new avenues for progress to be made in our understanding of the evolution of the solar wind.

categories: astro-ph.SR astro-ph.EP physics.plasm-ph physics.space-ph


title: Classicality of the heat produced by quantum measurements

abstract: Quantum measurement is ultimately a physical process, resulting from an interaction between the measured system and a measuring apparatus. Considering the physical process of measurement within a thermodynamic context naturally raises the following question: How can the work and heat be interpreted? In the present paper we model the measurement process for an arbitrary discrete observable as a measurement scheme. Here the system to be measured is first unitarily coupled with an apparatus and subsequently the compound system is objectified with respect to a pointer observable, thus producing definite measurement outcomes. The work can therefore be interpreted as the change in internal energy of the compound system due to the unitary coupling. By the first law of thermodynamics, the heat is the subsequent change in internal energy of this compound due to pointer objectification. We argue that the apparatus serves as a stable record for the measurement outcomes only if the pointer observable commutes with the Hamiltonian and show that such commutativity implies that the uncertainty of heat will necessarily be classical.


title: Enabling Design Methodologies and Future Trends for Edge AI: Specialization and Co-design

abstract: Artificial intelligence (AI) technologies have dramatically advanced in recent years, resulting in revolutionary changes in people's lives. Empowered by edge computing, AI workloads are migrating from centralized cloud architectures to distributed edge systems, introducing a new paradigm called edge AI. While edge AI has the promise of bringing significant increases in autonomy and intelligence into everyday lives through common edge devices, it also raises new challenges, especially for the development of its algorithms and the deployment of its services, which call for novel design methodologies catered to these unique challenges. In this paper, we provide a comprehensive survey of the latest enabling design methodologies that span the entire edge AI development stack. We suggest that the key methodologies for effective edge AI development are single-layer specialization and cross-layer co-design. We discuss representative methodologies in each category in detail, including on-device training methods, specialized software design, dedicated hardware design, benchmarking and design automation, software/hardware co-design, software/compiler co-design, and compiler/hardware co-design. Moreover, we attempt to reveal hidden cross-layer design opportunities that can further boost the solution quality of future edge AI and provide insights into future directions and emerging areas that require increased research focus.


title: Design of Novel Hybrid CPDM-CO-OFDM FSO Communication System and its Performance Analysis under Diverse Weather Conditions

abstract: A comprehensive novel design is proposed for the free-space optical (FSO) communication system by hybridizing circular polarization division multiplexing (CPDM) with coherent optical orthogonal frequency division multiplexing (CO-OFDM) and its performance is investigated realistically under diverse turbulent weather conditions of Bangladesh. Here we consider Gamma-Gamma (G-G) distribution for the turbulent FSO channel model. Moreover, the proposed scheme presents an excellent performance since CPDM technique not only maximizes the link capacity of FSO system but also enhances the spectral efficiency (SE) of the system. Besides, multipath-fading, which is appeared during the FSO transmission, is significantly mitigated by OFDM modulation. The outcomes from simulation confirm the advantages of the proposed hybrid scheme and also it can serve as a reference for the FSO application even in the turbulent weather conditions. Performance analysis of the proposed model is described in terms of optical power spectrum (OPS), optical signal to noise ratio (OSNR), bit error rate (BER), Q factor, constellation diagrams, and eye diagrams.


title: Enhanced on-chip frequency measurement using weak value amplification

abstract: We present an integrated design to precisely measure optical frequency using weak value amplification with a multi-mode interferometer. The technique involves introducing a weak perturbation to the system and then post-selecting the data in such a way that the signal is amplified without amplifying the technical noise, as has previously been demonstrated in a free-space setup. We demonstrate the advantages of a Bragg grating with two band gaps for obtaining simultaneous, stable high transmission and high dispersion. We numerically model the interferometer in order to demonstrate the amplification effect. The device is shown to have advantages over both the free-space implementation and other methods of measuring optical frequency on a chip, such as an integrated Mach-Zehnder interferometer.


title: Privacy and Trust Redefined in Federated Machine Learning

abstract: A common privacy issue in traditional machine learning is that data needs to be disclosed for the training procedures. In situations with highly sensitive data such as healthcare records, accessing this information is challenging and often prohibited. Luckily, privacy-preserving technologies have been developed to overcome this hurdle by distributing the computation of the training and ensuring the data privacy to their owners. The distribution of the computation to multiple participating entities introduces new privacy complications and risks. In this paper, we present a privacy-preserving decentralised workflow that facilitates trusted federated learning among participants. Our proof-of-concept defines a trust framework instantiated using decentralised identity technologies being developed under Hyperledger projects Aries/Indy/Ursa. Only entities in possession of Verifiable Credentials issued from the appropriate authorities are able to establish secure, authenticated communication channels authorised to participate in a federated learning workflow related to mental health data.


title: Hankel Singular Value Decomposition as a method of preprocessing the Magnetic Resonance Spectroscopy

abstract: The signal resulting from magnetic resonance spectroscopy is occupied by noises and irregularities so in the further analysis preprocessing techniques have to be introduced. The main idea of the paper is to develop a model of a signal as a sum of harmonics and to find its parameters. Such an approach is based on singular value decomposition applied to the data arranged in the Hankel matrix (HSVD) and can be used in each step of preprocessing techniques. For that purpose a method has was tested on real phantom data.


title: Progress in neural networks for EEG signal recognition in 2021

abstract: In recent years, neural networks showed unprecedented growth that ultimately influenced dozens of different industries, including signal processing for the electroencephalography (EEG) process. Electroencephalography, although it appeared in the first half of the 20th century, was not changed the physical principles of work to this day. But signal processing technology made significant progress in this area through the use of neural networks. But many different models of neural networks complicate the process of understanding the real situation in this area. This manuscript summarizes the current state of knowledge on this topic, summarizes and describes the most significant achievements in various fields of application of neural networks for processing EEG signals. We discussed in detail the results presented in recent research papers for various fields in which EEG signals have been involved. We also examined in detail the process of extracting features from EEG signals using neural networks. In conclusion, we have provided recommendations for the correct demonstration of research results in manuscripts on the subject of neural networks and EEG.


title: GnetDet: Object Detection Optimized on a 224mW CNN Accelerator Chip at the Speed of 106FPS

abstract: Object detection is widely used on embedded devices. With the wide availability of CNN (Convolutional Neural Networks) accelerator chips, the object detection applications are expected to run with low power consumption, and high inference speed. In addition, the CPU load is expected to be as low as possible for a CNN accelerator chip working as a co-processor with a host CPU. In this paper, we optimize the object detection model on the CNN accelerator chip by minimizing the CPU load. The resulting model is called GnetDet. The experimental result shows that the GnetDet model running on a 224mW chip achieves the speed of 106FPS with excellent accuracy.


title: Residential smart plug with bluetooth communication

abstract: Electricity forms the backbone of the modern world but increasing energy demand with the growth of urban areas in recent decades has overwhelmed the current power grid ecosystem. So, there is a need to move towards a more efficient and interconnected smart grid infrastructure. The growing popularity of the Internet of Things(IoT) has increased the demand for smart and connected devices. In this work we developed a hardware device based on the ATmega2560 microcontroller that can estimate the power consumption and control the state of electro-electronic devices interconnected to it through Bluetooth wireless technology. The developed hardware is a smart plug focusing on smart home applications. As a result, by using a smartphone device with Bluetooth communication, one can control and measure electrical parameters of the interconnected electro-electronic hardware such as the RMS (Root Mean Square) current and RMS power been consumed. The obtained results showed the technical viability in the construction of energy consumption measuring device using modules and components available in the Brazilian market.


title: Compositional Abstraction Error and a Category of Causal Models

abstract: Interventional causal models describe several joint distributions over some variables used to describe a system, one for each intervention setting. They provide a formal recipe for how to move between the different joint distributions and make predictions about the variables upon intervening on the system. Yet, it is difficult to formalise how we may change the underlying variables used to describe the system, say moving from fine-grained to coarse-grained variables. Here, we argue that compositionality is a desideratum for such model transformations and the associated errors: When abstracting a reference model M iteratively, first obtaining M' and then further simplifying that to obtain M'', we expect the composite transformation from M to M'' to exist and its error to be bounded by the errors incurred by each individual transformation step. Category theory, the study of mathematical objects via compositional transformations between them, offers a natural language to develop our framework for model transformations and abstractions. We introduce a category of finite interventional causal models and, leveraging theory of enriched categories, prove the desired compositionality properties for our framework.


title: Turbulence: from Complexity to Variety

abstract: In this note we advocate the notion of variety as juxtaposed to the notion of complexity. Laminar flows are complex, turbulence is various. When the gradients reach a critical point, laminar flows are subjected to instabilities and transitions, sometime soft, sometime dramatic, and the final result is the variety. Turbulent flows in nature are fascinating, and loosely speaking we could say that a system is complex when differences are suffered, is various when diversities are enjoyed and exploited as opportunities.


title: Shrinking Bigfoot: Reducing wav2vec 2.0 footprint

abstract: Wav2vec 2.0 is a state-of-the-art speech recognition model which maps speech audio waveforms into latent representations. The largest version of wav2vec 2.0 contains 317 million parameters. Hence, the inference latency of wav2vec 2.0 will be a bottleneck in production, leading to high costs and a significant environmental footprint. To improve wav2vec's applicability to a production setting, we explore multiple model compression methods borrowed from the domain of large language models. Using a teacher-student approach, we distilled the knowledge from the original wav2vec 2.0 model into a student model, which is 2 times faster and 4.8 times smaller than the original model. This increase in performance is accomplished with only a 7% degradation in word error rate (WER). Our quantized model is 3.6 times smaller than the original model, with only a 0.1% degradation in WER. To the best of our knowledge, this is the first work that compresses wav2vec 2.0.


title: Deuteron-Deuteron Correlation Function in Nucleus-Nucleus Collisions

abstract: A formula of the $D$-$D$ correlation function is derived. The deuterons are treated either as elementary particles or as neutron-proton bound states. In the first case the deuterons are directly emitted from a source and in the second one the deuteron formation is a final-state process simultaneous with a generation of $D$-$D$ correlation. The source radius of deuterons formed due to final-state interactions is bigger by the factor of $\sqrt{2}$ than that of directly emitted deuterons. To check how sizable is the effect we compute the $D$-$D$ correlation function taking into the Bose-Einstein statistics of deuterons, the $s$-wave scattering due to strong interaction and the Coulomb repulsion. The correlation function is shown to be sensitive to the source radius for sources which are sufficiently small with RMS radii smaller than 3.5 fm. Otherwise the correlation function is dominated by the Coulomb repulsion and weakly depends on the source radius. Measurements which can make use of our finding are discussed.


title: GW100: A Slater Type Orbital Perspective

abstract: We calculate complete basis set (CBS) limit extrapolated ionization potentials (IP) and electron affinities (EA) with Slater Type Basis sets for the molecules in the GW100 database. To this end, we present two new Slater Type orbital (STO) basis sets of triple- (TZ) and quadruple-$\zeta$ (QZ) quality whose polarization is adequate for correlated-electron methods and which contain extra diffuse functions to be able to correctly calculate electron affinities of molecules with a positive Lowest Unoccupied Molecular Orbital (LUMO). We demonstrate, that going from TZ to QZ quality consistently reduces the basis set error of our computed IPs and EAs and we conclude that a good estimate of these quantities at the CBS limit can be obtained by extrapolation. With MADs from 70 to 85 meV, our CBS limit extrapolated ionization potentials are in good agreement with results from FHI-AIMS, TURBOMOLE, VASP and WEST while they differ by more than 130 meV on average from nanoGW. With a MAD of 160 meV, our electron affinities are also in good agreement with the WEST code. Especially for systems with positive LUMOs, the agreement is excellent. With respect to other codes, the STO type basis sets generally underestimate EAs of small molecules with strongly bound LUMOs. With 62 meV for IPs and 93 meV for EAs, we find much better agreement to CBS limit extrapolated results from FHI-AIMS for a set of 250 medium to large organic molecules.


title: Architected kirigami metamorphosis

abstract: Kirigami, art of paper cutting, enables two-dimensional sheets transforming into unique shapes which are also hard to reshape once with prescribed cutting patterns. Rare kirigami designs manipulate cuts on three-dimensional objects to compose periodic structures with programmability and/or re-programmability. Here, we propose a new class of three-dimensional modular kirigami by introducing cuts on cuboid-shaped objects, based on which constructing two quasi-three-15 dimensional architected kirigamis with even-flat structural form. We demonstrate the proposed architected kirigamis are with rich mobilities triggered by kinematic bifurcations inherited from their composed modular kirigami, and can undergo living-matter-like metamorphosis evolving into miscellaneous transformable three-dimensional architectures and even a pluripotent platform capable of being re-programmed into curvature different surfaces through inverse design. Such 20 metamorphic structures could find broad applications in reconfigurable metamaterials, transformable robots and architectures.


title: eDarkTrends: Harnessing Social Media Trends in Substance use disorders for Opioid Listings on Cryptomarket

abstract: Opioid and substance misuse is rampant in the United States today, with the phenomenon known as the opioid crisis. The relationship between substance use and mental health has been extensively studied, with one possible relationship being substance misuse causes poor mental health. However, the lack of evidence on the relationship has resulted in opioids being largely inaccessible through legal means. This study analyzes the substance misuse posts on social media with the opioids being sold through crypto market listings. We use the Drug Abuse Ontology, state-of-the-art deep learning, and BERT-based models to generate sentiment and emotion for the social media posts to understand user perception on social media by investigating questions such as, which synthetic opioids people are optimistic, neutral, or negative about or what kind of drugs induced fear and sorrow or what kind of drugs people love or thankful about or which drug people think negatively about or which opioids cause little to no sentimental reaction. We also perform topic analysis associated with the generated sentiments and emotions to understand which topics correlate with people's responses to various drugs. Our findings can help shape policy to help isolate opioid use cases where timely intervention may be required to prevent adverse consequences, prevent overdose-related deaths, and worsen the epidemic.


title: Multiscale interactions between monsoon intra-seasonal oscillations and low pressure systems that produce heavy rainfall events of different spatial extents

abstract: The sub-seasonal and synoptic-scale variability of the Indian summer monsoon rainfall are controlled primarily by monsoon intra-seasonal oscillations (MISO) and low pressure systems (LPS), respectively. The positive and negative phases of MISO lead to alternate epochs of above-normal (active) and below-normal (break) spells of rainfall. LPSs are embedded within the different phases of MISO and are known to produce heavy precipitation events over central India. Whether the interaction with the MISO phases modulates the precipitation response of LPSs, and thereby the characteristics of extreme rainfall events (EREs) remains unaddressed in the available literature. In this study, we analyze the LPSs that produce EREs of various spatial extents viz., Small, Medium, and Large over central India from 1979 to 2012. We also compare them with the LPSs that pass through central India and do not give any ERE (LPS-noex). We find that thermodynamic characteristics of LPSs that trigger different spatial extents of EREs are similar. However, they show differences in their dynamic characteristics. The ERE producing LPSs are slower, moister and more intense than LPS-noex. The LPSs that lead to Medium and Large EREs tend to occur during the positive phase of MISO when an active monsoon trough is present over central India. On the other hand, LPS-noex and the LPSs that trigger Small EREs occur mainly during the neutral or negative phases of the MISO. The large-scale dynamic forcing, intensification of LPSs, and diabatic generation of low-level potential vorticity due to the presence of active monsoon trough help in the organization of convection and lead to Medium and Large EREs. On the other hand, the LPSs that form during the negative or neutral phases of MISO do not intensify much during their lifetime and trigger scattered convection, leading to EREs of small size.


title: Conditional preparation of non-Gaussian quantum optical states by mesoscopic measurement

abstract: Non-Gaussian states of an optical field are important as a proposed resource in quantum information applications. While conditional preparation is a highly successful approach to preparing such states, their quality is limited by detector non-idealities such as dead time, narrow dynamic range, limited quantum efficiency and dark noise. Mesoscopic photon counters, with peak performance at higher photon number, offer many practical advantages over single-photon level conditioning detectors. Here we propose a novel approach involving displacement of the ancilla field into the regime where mesoscopic detectors can be used. We explore this strategy theoretically and present simulations accounting for experimental non-idealities such as loss and amplification noise, showing that precise photon-number resolution is not necessary to herald highly nonclassical states. We conclude that states with strong Wigner negativity can be prepared at high rates by this technique under experimentally attainable conditions.


title: [Reproducibility Report] Rigging the Lottery: Making All Tickets Winners

abstract: $\textit{RigL}$, a sparse training algorithm, claims to directly train sparse networks that match or exceed the performance of existing dense-to-sparse training techniques (such as pruning) for a fixed parameter count and compute budget. We implement $\textit{RigL}$ from scratch in Pytorch and reproduce its performance on CIFAR-10 within 0.1% of the reported value. On both CIFAR-10/100, the central claim holds -- given a fixed training budget, $\textit{RigL}$ surpasses existing dynamic-sparse training methods over a range of target sparsities. By training longer, the performance can match or exceed iterative pruning, while consuming constant FLOPs throughout training. We also show that there is little benefit in tuning $\textit{RigL}$'s hyper-parameters for every sparsity, initialization pair -- the reference choice of hyperparameters is often close to optimal performance. Going beyond the original paper, we find that the optimal initialization scheme depends on the training constraint. While the Erdos-Renyi-Kernel distribution outperforms the Uniform distribution for a fixed parameter count, for a fixed FLOP count, the latter performs better. Finally, redistributing layer-wise sparsity while training can bridge the performance gap between the two initialization schemes, but increases computational cost.


title: Proton Mass Decomposition and Hadron Cosmological Constant

abstract: Lattice results on sigma terms and global analysis of parton momentum fractions are used to give the quark and glue fractions of the proton mass and rest energy. The mass decomposition in terms of the trace of the energy-momentum tensor is renormalization group invariant. The decomposition of the rest energy from the Hamiltonian and the gravitational form factors are scheme and scale dependent. The separation of the energy-momentum tensor into the traceless part which is composed of the quark and glue parton momentum fractions and the trace part has the minimum scheme dependence. We identify the glue part of the trace anomaly $\langle H_{\beta}\rangle $ as the vacuum energy from the glue condensate in the vacuum. From the metric term of the gravitational form factors, which is the stress part of the stress-energy-momentum tensor, we find that the trace part of the rest energy, dominated by $\langle H_{\beta}\rangle$, gives a {\it constant} restoring pressure which balances that from the traceless part of the Hamiltonian to confine the hadron, much like the cosmological constant Einstein introduced for a static universe. From a lattice calculation of $\langle H_{\beta}\rangle$ in the charmonium, we deduce the associated string tension which turns out to be in good agreement with that from a Cornell potential which fits the charmonium spectrum.


title: A multi-temperature universe can allow a sub-MeV dark photon dark matter

abstract: An analysis of sub-MeV dark photon as dark matter is given which is achieved with two hidden sectors, one of which interacts directly with the visible sector while the second has only indirect coupling with the visible sector. The formalism for the evolution of three bath temperatures for the visible sector and the two hidden sectors is developed and utilized in solution of Boltzmann equations coupling the three sectors. We present exclusion plots where the sub-MeV dark photon can be dark matter. The analysis can be extended to a multi-temperature universe with multiple hidden sectors and multiple heat baths.


title: Enumeration of fully parked trees

abstract: We enumerate a class of fully parked trees. In a probabilistic context, this means computing the partition function $F(x,y)$ of the parking process where an i.i.d. number of cars arrives at each vertex of a Galton-Watson tree with a geometric offspring distribution, conditioned to leave no vertex unoccupied at the end. The variables $x$ and $y$ count the number of vertices in the tree and the number of cars exiting from the root, respectively. For any car arrival distribution $\mathbf b$, we obtain an explicit parametric expression of $F(x,y)$ in terms of the probability generating function $B(y)$ of $\mathbf b$. We show that the model has a generic phase where the singular behavior of $F(x,y)$ is essentially independent of $B(y)$, and a non-generic phase where it depends sensitively on the singular behavior of $B(y)$. The non-generic phase is further divided into two cases, which we call dilute and dense. We give a simple algebraic description of the phase diagram, and, under mild additional assumptions on $\mathbf b$, carry out detailed singularity analysis of $F(x,y)$ in the generic and the dilute phases. The singularity analysis uses the classical transfer theorem, as well as its generalization for bivariate asymptotics. In the process, we develop a variational method for locating the dominant singularity of the inverse of an analytic function, which is of independent interest. The phases defined in this paper are closely related to, but not the same as, the phases in the transition of macroscopic runoff described in arxiv:1912.06012 and related works.


title: Resource-efficient energy test and parameter estimation in continuous-variable quantum key distribution

abstract: Symmetry plays a fundamental role in the security analysis of quantum key distribution (QKD). Here we review how symmetry is exploited in continuous-variable (CV) QKD to prove the optimality of Gaussian attacks in the finite-size regime. We then apply these results to improve the efficiency, and thus the key rate, of these protocols. First we show how to improve the efficiency of the energy test, which is one important routine in a CV QKD protocol aimed at establishing an upper bound on the effective dimensions of the otherwise infinite-dimensional Hilbert space of CV systems. Second, we show how the routine of parameter estimation can be made resource efficient in measurement-device independent (MDI) QKD. These results show that all the raw data can be used both for key extraction and for the routines of energy test and parameter estimation.


title: The Trace Field Theory of a Finite Tensor Category

abstract: Given a finite tensor category $\mathcal{C}$, we prove that a modified trace on the tensor ideal of projective objects can be obtained from a suitable trivialization of the Nakayama functor as right $\mathcal{C}$-module functor. Using a result of Costello, this allows us to associate to any finite tensor category equipped with such a trivialization of the Nakayama functor a chain complex valued topological conformal field theory, the trace field theory. The trace field theory topologically describes the modified trace, the Hattori-Stallings trace, and also the structures induced by them on the Hochschild complex of $\mathcal{C}$. In this article, we focus on implications in the linear (as opposed to differential graded) setting: We use the trace field theory to define a non-unital homotopy commutative product on the Hochschild chains in degree zero. This product is block diagonal and can be described through the handle elements of the trace field theory. Taking the modified trace of the handle elements recovers the Cartan matrix of $\mathcal{C}$.


title: Modelling the Role of Inter-cellular Communication in Modulating Photosynthesis in Plants

abstract: In this paper we show how inter-cellular molecular communication may change the overall levels of photosynthesis in plants. Individual plant cells respond to external stimuli, such as illumination levels, to regulate their photosynthetic output. Here, we present a mathematical model which shows that by sharing information internally using molecular communication, plants may increase overall photosynthate production. Numerical results show that higher mutual information between cells corresponds to an increase in overall photosynthesis by as much as 25 per cent. This suggests that molecular communication plays a vital role in maximising the photosynthesis in plants and therefore suggests new routes to influence plant development in agriculture and elsewhere.


title: TOUR: Dynamic Topic and Sentiment Analysis of User Reviews for Assisting App Release

abstract: App reviews deliver user opinions and emerging issues (e.g., new bugs) about the app releases. Due to the dynamic nature of app reviews, topics and sentiment of the reviews would change along with app release versions. Although several studies have focused on summarizing user opinions by analyzing user sentiment towards app features, no practical tool is released. The large quantity of reviews and noise words also necessitates an automated tool for monitoring user reviews. In this paper, we introduce TOUR for dynamic TOpic and sentiment analysis of User Reviews. TOUR is able to (i) detect and summarize emerging app issues over app versions, (ii) identify user sentiment towards app features, and (iii) prioritize important user reviews for facilitating developers' examination. The core techniques of TOUR include the online topic modeling approach and sentiment prediction strategy. TOUR provides entries for developers to customize the hyper-parameters and the results are presented in an interactive way. We evaluate TOUR by conducting a developer survey that involves 15 developers, and all of them confirm the practical usefulness of the recommended feature changes by TOUR.


title: Translational Dynamics of Rod-like Particles in Supercooled Liquids: Probing Dynamic Heterogeneity and Amorphous Order

abstract: The use of probe molecules to extract the local dynamical and structural properties of complex dynamical systems is an age-old technique both in simulations and experiments. A lot of important information which is not immediately accessible from the bulk measurements can be accessed via these local measurements. Still, a detailed understanding of how a probe particle's dynamics are affected by the surrounding liquid medium is not very well understood, especially in the supercooled temperature regime. This work shows how translational dynamics of a rod-like particle immersed in a supercooled liquid can give us information on the growth of the correlation length scale associated with dynamical heterogeneity and the multi-body static correlations in the medium. A unified scaling theory rationalizes all the observed results leading to the development of a novel yet simple method that is accessible in experiments to measure the growth of these important length-scales in molecular glass-forming liquids.


title: CHAD: Combinatory Homomorphic Automatic Differentiation

abstract: We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward and reverse mode automatic differentiation (AD) on programming languages with expressive features. It implements AD as a compositional, type-respecting source-code transformation that generates purely functional code. This code transformation is principled in the sense that it is the unique homomorphic (structure preserving) extension to expressive languages of Elliott's well-known and unambiguous definitions of AD for a first-order functional language. Correctness of the method follows by a (compositional) logical relations argument that shows that the semantics of the syntactic derivative is the usual calculus derivative of the semantics of the original program. In their most elegant formulation, the transformations generate code with linear types. However, the code transformations can be implemented in a standard functional language lacking linear types: while the correctness proof requires tracking of linearity, the actual transformations do not. In fact, even in a standard functional language, we can get all of the type-safety that linear types give us: we can implement all linear types used to type the transformations as abstract types, by using a basic module system. In this paper, we detail the method when applied to a simple higher-order language for manipulating statically sized arrays. However, we explain how the methodology applies, more generally, to functional languages with other expressive features. Finally, we discuss how the scope of CHAD extends beyond applications in AD to other dynamic program analyses that accumulate data in a commutative monoid.


title: Functional structure in production networks

abstract: Production networks are integral to economic dynamics, yet dis-aggregated network data on inter-firm trade is rarely collected and often proprietary. Here we situate company-level production networks among networks from other domains according to their local connectivity structure. Through this lens, we study a regional and a national network of inferred trade relationships reconstructed from Dutch national economic statistics and re-interpret prior empirical findings. We find that company-level production networks have so-called functional structure, as previously identified in protein-protein interaction (PPI) networks. Functional networks are distinctive in their over-representation of closed squares, which we quantify using an existing measure called spectral bipartivity. Shared local connectivity structure lets us ferry insights between domains. PPI networks are shaped by complementarity, rather than homophily, and we use multi-layer directed configuration models to show that this principle explains the emergence of functional structure in production networks. Companies are especially similar to their close competitors, not to their trading partners. Our findings have practical implications for the analysis of production networks and a thorough understanding of their local connectivity structure will help us better reason about the micro-economic mechanisms behind their routine function, failure, and growth.


title: Properties of Hamiltonian Circuits in Rectangular Grids

abstract: We present properties and invariants of Hamiltonian circuits in rectangular grids. It is proved that all circuits on a $2n \times 2n$ chessboard have at least $4n$ turns and at least $2n$ straights if $n$ is even and $2n+2$ straights if $n$ is odd. The minimum number of turns and straights are presented and proved for circuits on an $n \times (n+1)$ chessboard. For the general case of an $n \times m$ chessboard similar results are stated but not all proofs are given.


title: The InfraRed Imaging Spectrograph (IRIS) for TMT: photometric characterization of anisoplanatic PSFs and testing of PSF-Reconstruction via AIROPA

abstract: The InfraRed Imaging Spectrograph (IRIS) is a first-light instrument for the Thirty Meter Telescope (TMT) that will be used to sample the corrected adaptive optics field by the Narrow-Field Infrared Adaptive Optics System (NFIRAOS) with a near-infrared (0.8 - 2.4 $\mu$m) imaging camera and integral field spectrograph. To better understand IRIS science specifications we use the IRIS data simulator to characterize relative photometric precision and accuracy across the IRIS imaging camera 34"x34" field of view. Because the Point Spread Function (PSF) varies due to the effects of anisoplanatism, we use the Anisoplanatic and Instrumental Reconstruction of Off-axis PSFs for AO (AIROPA) software package to conduct photometric measurements on simulated frames using PSF-fitting as the PSF varies in single-source, binary, and crowded field use cases. We report photometric performance of the imaging camera as a function of the instrumental noise properties including dark current and read noise. Using the same methods, we conduct comparisons of photometric performance with reconstructed PSFs, in order to test the veracity of the current PSF-Reconstruction algorithms for IRIS/TMT.


title: A quantitative assessment of epidemiological parameters to model COVID- 19 burden

abstract: Solid estimates describing the clinical course of SARS-CoV-2 infections are still lacking due to under-ascertainment of asymptomatic and mild-disease cases. In this work, we quantify age-specific probabilities of transitions between stages defining the natural history of SARS-CoV-2 infection from 1,965 SARS-CoV-2 positive individuals identified in Italy between March and April 2020 among contacts of confirmed cases. Infected contacts of cases were confirmed via RT-PCR tests as part of contact tracing activities or retrospectively via IgG serological tests and followed-up for symptoms and clinical outcomes. In addition, we provide estimates of time intervals between key events defining the clinical progression of cases as obtained from a larger sample, consisting of 95,371 infections ascertained between February and July 2020. We found that being older than 60 years of age was associated with a 39.9% (95%CI: 36.2-43.6%) likelihood of developing respiratory symptoms or fever >= 37.5 {\deg}C after SARS-CoV-2 infection; the 22.3% (95%CI: 19.3-25.6%) of the infections in this age group required hospital care and the 1% (95%CI: 0.4-2.1%) were admitted to an intensive care unit (ICU). The corresponding proportions in individuals younger than 60 years were estimated at 27.9% (95%CI: 25.4-30.4%), 8.8% (95%CI: 7.3-10.5%) and 0.4% (95%CI: 0.1-0.9%), respectively. The infection fatality ratio (IFR) ranged from 0.2% (95%CI: 0.0-0.6%) in individuals younger than 60 years to 12.3% (95%CI: 6.9-19.7%) for those aged 80 years or more; the case fatality ratio (CFR) in these two age classes was 0.6% (95%CI: 0.1-2%) and 19.2% (95% CI: 10.9-30.1%), respectively. The median length of stay in hospital was 10 (IQR 3-21) days; the length of stay in ICU was 11 (IQR 6-19) days. The obtained estimates could be instrumental to refine mathematical modeling work supporting public health decisions.


title: Towards a Personalisation Framework for Cyber-Physical-Social System (CPSS)

abstract: A Cyber-Physical-Social System (CPSS) is an emerging paradigm often understood as a physical and virtual space of interaction which is cohabited by humans and sensor-enabled smart devices. In such settings, human interaction behaviour is often different from person to person and is guided by complex environmental and natural factors that are not yet fully explored. Thus, ensuring a seamless human-machine interaction in CPSS calls for efficient means of handling human dynamics and bringing interaction experience to a personal level. To this end in this paper, we propose a personalisation framework to support the design of CPSS in recognising and addressing human/social aspects.


title: SS 433: flares in H alpha, GRAVITY observations & L2 ejection

abstract: Abstract The microquasar SS 433 exhibits in H alpha intermittent flares, Doppler shifted to both the red and the blue. The mean remembers the orbital phase of the compact object. I show that the flares are not intermittent sightings of an accretion disk; rather, plasma must be expelled through the L2 point, thus remembering the phase of the orbit as it invades the space beyond the system. That space has been mapped with GRAVITY observations of a similar flare, revealing a strong rotation component.


title: Multiscale Clustering of Hyperspectral Images Through Spectral-Spatial Diffusion Geometry

abstract: Clustering algorithms partition a dataset into groups of similar points. The primary contribution of this article is the Multiscale Spatially-Regularized Diffusion Learning (M-SRDL) clustering algorithm, which uses spatially-regularized diffusion distances to efficiently and accurately learn multiple scales of latent structure in hyperspectral images. The M-SRDL clustering algorithm extracts clusterings at many scales from a hyperspectral image and outputs these clusterings' variation of information-barycenter as an exemplar for all underlying cluster structure. We show that incorporating spatial regularization into a multiscale clustering framework results in smoother and more coherent clusters when applied to hyperspectral data, yielding more accurate clustering labels.


title: Functional principal component analysis of radio-optical reference frame tie

abstract: The Gaia optical reference frame is intrinsically undefined with respect to global orientation and spin, so it needs to be anchored in the radio-based International Celestial Reference Frame (ICRF) to provide a referenced and quasi-inertial celestial coordinate system. The link between the two fundamental frames is realized through two samples of distant extragalactic sources, mostly AGNs and quasars, but only the smaller sample of radio-loud ICRF sources with optical counterparts is available to determine the mutual orientation. The robustness of this link can be mathematically formulated in the framework of functional principal component analysis using a set of vector spherical harmonics to represent the differences in celestial positions of the common objects. The weakest eigenvectors are computed, which describe the greatest deficiency of the link. The deficient or poorly determined terms are specific vector fields on the sphere which carry the largest errors of absolute astrometry using Gaia in reference to the ICRF. This analysis provides guidelines to the future development of the ICRF maximizing the accuracy of the link over the entire celestial sphere. A measure of robustness of a least-squares solution, which can be applied to any linear model fitting problem, is introduced to help discriminate between reference frame tie models of different degrees.


title: Dualizable objects in stratified categories and the 1-dimensional bordism hypothesis for recollements

abstract: Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them. Predicated on this, we then characterize dualizability in any monoidally stratified $\infty$-category in terms of stratumwise dualizability and a projection formula for the links. Using our criterion, we prove a 1-dimensional bordism hypothesis for symmetric monoidal recollements. Namely, we provide an algebraic enhancement of the 1-dimensional framed bordism $\infty$-category that corepresents dualizable objects in symmetric monoidal recollements. We also give a number of examples and applications of our criterion drawn from algebra and homotopy theory, including equivariant and cyclotomic spectra and a multiplicative form of the Thom isomorphism.


title: On-chip erbium-doped lithium niobate waveguide amplifiers

abstract: Lithium niobate on insulator (LNOI), as an emerging and promising optical integration platform, faces shortages of on-chip active devices including lasers and amplifiers. Here, we report the fabrication on-chip erbium-doped LNOI waveguide amplifiers based on electron beam lithography and inductively coupled plasma reactive ion etching. A net internal gain of ~30 dB/cm in communication band was achieved in the fabricated waveguide amplifiers under the pump of a 974-nm continuous laser. This work develops new active devices on LNOI and will promote the development of LNOI integrated photonics.


title: Meeting in the notebook: a notebook-based environment for micro-submissions in data science collaborations

abstract: Developers in data science and other domains frequently use computational notebooks to create exploratory analyses and prototype models. However, they often struggle to incorporate existing software engineering tooling into these notebook-based workflows, leading to fragile development processes. We introduce Assembl\'{e}, a new development environment for collaborative data science projects, in which promising code fragments of data science pipelines can be contributed as pull requests to an upstream repository entirely from within JupyterLab, abstracting away low-level version control tool usage. We describe the design and implementation of Assembl\'{e} and report on a user study of 23 data scientists.


title: A branch-and-cut algorithm for submodular interdiction games

abstract: Many relevant applications from diverse areas such as marketing, wildlife conservation, or defending critical infrastructure can be modeled as interdiction games. In this work, we introduce interdiction games whose objective is a monotone and submodular set function. Given a ground set of items, the leader interdicts the usage of some of the items of the follower in order to minimize the objective value achievable by the follower, who seeks to maximize a submodular set function over the uninterdicted items subject to knapsack constraints. We propose an exact branch-and-cut algorithm for these kind of interdiction games. The algorithm is based on interdiction cuts which allow to capture the follower's objective function value for a given interdiction decision of the leader and exploit the submodularity of the objective function. We also present extensions and liftings of these cuts and discuss additional preprocessing procedures. We test our solution framework on the weighted maximal covering interdiction game and the bipartite inference interdiction game. For both applications, the improved variants of our interdiction cut perform significantly better than its basic version. For the weighted maximal covering interdiction game for which a mixed-integer bilevel linear programming (MIBLP) formulation is available, we compare the results with those of a state-of-the-art MIBLP solver. While the MIBLP solver yields a minimum of 54% optimality gap within one hour, our best branch-and-cut setting solves all but 4 of 108 instances to optimality with a maximum of 3% gap among unsolved ones.


title: The index of symmetry for a left-invariant metric on a solvable three-dimensional Lie group

abstract: We find the index of symmetry for all solvable three-dimensional Lie groups with a left-invariant metric. When combined with the work of Reggiani on unimodular three-dimensional Lie groups, the index of symmetry is then known for all three-dimensional Lie groups with a left-invariant metric. Similar to the unimodular case, for every solvable three-dimensional Lie algebra there is at least one left-invariant metric for which the index of symmetry is positive. Also, the index is never equal to 2.


title: Star-shaped Risk Measures

abstract: In this paper monetary risk measures that are positively superhomogeneous, called star-shaped risk measures, are characterized and their properties studied. The measures in this class, which arise when the controversial subadditivity property of coherent risk measures is dispensed with and positive homogeneity is weakened, include all practically used risk measures, in particular, both convex risk measures and Value-at-Risk. From a financial viewpoint, our relaxation of convexity is necessary to quantify the capital requirements for risk exposure in the presence of liquidity risk, competitive delegation, or robust aggregation mechanisms. From a decision theoretical perspective, star-shaped risk measures emerge from variational preferences when risk mitigation strategies can be adopted by a rational decision maker.


title: Philippe Flajolet's early work in combinatorics

abstract: Some of Philippe Flajolet's combinatorial contributions that he wrote between 1976 and 1995, say, are described. In most of Flajolet's papers, asymptotic/analytic considerations play a major role. To be true to the spirit of the journal ECA, the emphasis is on the \emph{combinatorial} part. Covered are Register function of binary trees, approximate counting, digital search trees and the Rice formula, probabilistic counting, adding a new slice, Ramanujan's influence, finite differences and harmonic numbers, Digits and the Mellin-Perron formula.


title: Affect Analysis in-the-wild: Valence-Arousal, Expressions, Action Units and a Unified Framework

abstract: Affect recognition based on subjects' facial expressions has been a topic of major research in the attempt to generate machines that can understand the way subjects feel, act and react. In the past, due to the unavailability of large amounts of data captured in real-life situations, research has mainly focused on controlled environments. However, recently, social media and platforms have been widely used. Moreover, deep learning has emerged as a means to solve visual analysis and recognition problems. This paper exploits these advances and presents significant contributions for affect analysis and recognition in-the-wild. Affect analysis and recognition can be seen as a dual knowledge generation problem, involving: i) creation of new, large and rich in-the-wild databases and ii) design and training of novel deep neural architectures that are able to analyse affect over these databases and to successfully generalise their performance on other datasets. The paper focuses on large in-the-wild databases, i.e., Aff-Wild and Aff-Wild2 and presents the design of two classes of deep neural networks trained with these databases. The first class refers to uni-task affect recognition, focusing on prediction of the valence and arousal dimensional variables. The second class refers to estimation of all main behavior tasks, i.e. valence-arousal prediction; categorical emotion classification in seven basic facial expressions; facial Action Unit detection. A novel multi-task and holistic framework is presented which is able to jointly learn and effectively generalize and perform affect recognition over all existing in-the-wild databases. Large experimental studies illustrate the achieved performance improvement over the existing state-of-the-art in affect recognition.


title: LASER: Learning a Latent Action Space for Efficient Reinforcement Learning

abstract: The process of learning a manipulation task depends strongly on the action space used for exploration: posed in the incorrect action space, solving a task with reinforcement learning can be drastically inefficient. Additionally, similar tasks or instances of the same task family impose latent manifold constraints on the most effective action space: the task family can be best solved with actions in a manifold of the entire action space of the robot. Combining these insights we present LASER, a method to learn latent action spaces for efficient reinforcement learning. LASER factorizes the learning problem into two sub-problems, namely action space learning and policy learning in the new action space. It leverages data from similar manipulation task instances, either from an offline expert or online during policy learning, and learns from these trajectories a mapping from the original to a latent action space. LASER is trained as a variational encoder-decoder model to map raw actions into a disentangled latent action space while maintaining action reconstruction and latent space dynamic consistency. We evaluate LASER on two contact-rich robotic tasks in simulation, and analyze the benefit of policy learning in the generated latent action space. We show improved sample efficiency compared to the original action space from better alignment of the action space to the task space, as we observe with visualizations of the learned action space manifold. Additional details: https://www.pair.toronto.edu/laser


title: Higher dimensional generalization of the Benjamin-Ono equation: 2D case

abstract: We consider a higher-dimensional version of the Benjamin-Ono (HBO) equation in the 2D setting: $u_t- \mathcal{R}_1 \Delta u + \frac{1}{2}(u^2)_x=0, (x,y) \in \mathbb{R}^2$, which is $L^2$-critical, and investigate properties of solutions both analytically and numerically. For a generalized equation (fractional 2D gKdV) after deriving the Pohozaev identities, we obtain non-existence conditions for solitary wave solutions, then prove uniform bounds in the energy space or conditional global existence, and investigate the radiation region, a specific wedge in the negative $x$-direction. We then introduce our numerical approach in a general context, and apply it to obtain the ground state solution in the 2D critical HBO equation, then show that its mass is a threshold for global vs. finite time existing solutions, which is typical in the focusing (mass-)critical dispersive equations. We also observe that globally existing solutions tend to disperse completely into the radiation in this nonlocal equation. The blow-up solutions travel in the positive $x$-direction with the rescaled ground state profile while also radiating dispersive oscillations into the radiative wedge. We conclude with examples of different interactions of two solitary wave solutions, including weak and strong interactions.


title: Physical model simulator-trained neural network for computational 3D phase imaging of multiple-scattering samples

abstract: Recovering 3D phase features of complex, multiple-scattering biological samples traditionally sacrifices computational efficiency and processing time for physical model accuracy and reconstruction quality. This trade-off hinders the rapid analysis of living, dynamic biological samples that are often of greatest interest to biological research. Here, we overcome this bottleneck by combining annular intensity diffraction tomography (aIDT) with an approximant-guided deep learning framework. Using a novel physics model simulator-based learning strategy trained entirely on natural image datasets, we show our network can robustly reconstruct complex 3D biological samples of arbitrary size and structure. This approach highlights that large-scale multiple-scattering models can be leveraged in place of acquiring experimental datasets for achieving highly generalizable deep learning models. We devise a new model-based data normalization pre-processing procedure for homogenizing the sample contrast and achieving uniform prediction quality regardless of scattering strength. To achieve highly efficient training and prediction, we implement a lightweight 2D network structure that utilizes a multi-channel input for encoding the axial information. We demonstrate this framework's capabilities on experimental measurements of epithelial buccal cells and Caenorhabditis elegans worms. We highlight the robustness of this approach by evaluating dynamic samples on a living worm video, and we emphasize our approach's generalizability by recovering algae samples evaluated with different experimental setups. To assess the prediction quality, we develop a novel quantitative evaluation metric and show that our predictions are consistent with our experimental measurements and multiple-scattering physics.


title: Adaptive Methods for Real-World Domain Generalization

abstract: Invariant approaches have been remarkably successful in tackling the problem of domain generalization, where the objective is to perform inference on data distributions different from those used in training. In our work, we investigate whether it is possible to leverage domain information from the unseen test samples themselves. We propose a domain-adaptive approach consisting of two steps: a) we first learn a discriminative domain embedding from unsupervised training examples, and b) use this domain embedding as supplementary information to build a domain-adaptive model, that takes both the input as well as its domain into account while making predictions. For unseen domains, our method simply uses few unlabelled test examples to construct the domain embedding. This enables adaptive classification on any unseen domain. Our approach achieves state-of-the-art performance on various domain generalization benchmarks. In addition, we introduce the first real-world, large-scale domain generalization benchmark, Geo-YFCC, containing 1.1M samples over 40 training, 7 validation, and 15 test domains, orders of magnitude larger than prior work. We show that the existing approaches either do not scale to this dataset or underperform compared to the simple baseline of training a model on the union of data from all training domains. In contrast, our approach achieves a significant improvement.


title: Putting Things into Context: Rich Explanations for Query Answers using Join Graphs (extended version)

abstract: In many data analysis applications, there is a need to explain why a surprising or interesting result was produced by a query. Previous approaches to explaining results have directly or indirectly used data provenance (input tuples contributing to the result(s) of interest), which is limited by the fact that relevant information for explaining an answer may not be fully contained in the provenance. We propose a new approach for explaining query results by augmenting provenance with information from other related tables in the database. We develop a suite of optimization techniques, and demonstrate experimentally using real datasets and through a user study that our approach produces meaningful results by efficiently navigating the large search space of possible explanations.


title: Rethinking Neural Operations for Diverse Tasks

abstract: An important goal of AutoML is to automate-away the design of neural networks on new tasks in under-explored domains. Motivated by this goal, we study the problem of enabling users to discover the right neural operations given data from their specific domain. We introduce a search space of operations called XD-Operations that mimic the inductive bias of standard multi-channel convolutions while being much more expressive: we prove that it includes many named operations across multiple application areas. Starting with any standard backbone such as ResNet, we show how to transform it into a search space over XD-operations and how to traverse the space using a simple weight-sharing scheme. On a diverse set of tasks -- solving PDEs, distance prediction for protein folding, and music modeling -- our approach consistently yields models with lower error than baseline networks and often even lower error than expert-designed domain-specific approaches.


title: A note on stability and NIP in one variable

abstract: A theory is NIP (resp. stable) if and only if every formula with parameters in two single variables is NIP (resp. does not have the order property).


title: Separation of Variables in AdS/CFT: Functional Approach for the Fishnet CFT

abstract: The major simplification in a number of quantum integrable systems is the existence of special coordinates in which the eigenstates take a factorised form. Despite many years of studies, the basis realising the separation of variables (SoV) remains unknown in N=4 SYM and similar models, even though it is widely believed they are integrable. In this paper we initiate the SoV approach for observables with nontrivial coupling dependence in a close cousin of N=4 SYM - the fishnet 4D CFT. We develop the functional SoV formalism in this theory, which allows us to compute non-perturbatively some nontrivial observables in a form suitable for numerical evaluation. We present some applications of these methods. In particular, we discuss the possible SoV structure of the one-point correlators in presence of a defect, and write down a SoV-type expression for diagonal OPE coefficients involving an arbitrary state and the Lagrangian density operator. We believe that many of the findings of this paper can be applied in the N=4 SYM case, as we speculate in the last part of the article.


title: Topological response of the anomalous Hall effect in MnBi2Te4 due to magnetic canting

abstract: Three-dimensional (3D) compensated MnBi2Te4 is antiferromagnetic, but undergoes a spin-flop transition at intermediate fields, resulting in a canted phase before saturation. In this work, we experimentally show that the anomalous Hall effect (AHE) in MnBi2Te4 originates from a topological response that is sensitive to the perpendicular magnetic moment and to its canting angle. Synthesis by molecular beam epitaxy allows us to obtain a large-area quasi-3D 24-layer MnBi2Te4 with near-perfect compensation that hosts the phase diagram observed in bulk which we utilize to probe the AHE. This AHE is seen to exhibit an antiferromagnetic response at low magnetic fields, and a clear evolution at intermediate fields through surface and bulk spin-flop transitions into saturation. Throughout this evolution, the AHE is super-linear versus magnetization rather than the expected linear relationship. We reveal that this discrepancy is related to the canting angle, consistent with the symmetry of the crystal. Our findings suggests that novel topological responses may be found in non-collinear ferromagnetic, and antiferromagnetic phases.


title: Representation of incomplete contact problems by half-planes

abstract: Methods for finding the optimal choices of the applied remote loads -- the applied normal force, moment, shear force and remote bulk stresses -- needed to solve frictional contact problems in partial-slip using half-plane theory are derived by using data from contacts analysed by the finite element method. While the normal and shear forces and moment are readily found from equilibrium considerations, in order to determine the bulk stresses we must exploit details of the traction ratio and the direct strain within the contact, both of which are readily extracted from simulations. These contact loads enable the formulation of an equivalent half-plane problem for the contact, which can be used to determine much more precise estimates of the slip-zone sizes than are obtainable from direct use of frictional finite element analysis, as aggregated data from the finite element output is employed, and the half-plane analysis will add precision in terms of satisfaction of the laws of frictional slip and stick.


title: Partially Observable Szilard Engines

abstract: Leo Szilard pointed out that Maxwell's demon can be replaced by machinery, thereby laying the foundation for understanding the physical nature of information. Szilard's information engine still serves as a canonical example after almost a hundred years, despite recent significant growth of the area. The role the demon plays can be reduced to mapping observable data to a meta-stable memory, which is utilized to extract work. While Szilard showed that the map can be implemented mechanistically, it was chosen a priori. The choice of how to construct a meaningful memory constitutes the demon's intelligence. Recently, it was shown that this can be automated as well. To that end, generalized, partially observable information engines were introduced, providing a basis for understanding the physical nature of information processing. Partial observability is ubiquitous in real world systems which have limited sensor types and information acquisition bandwidths. Generalized information engines can run work extraction at a different temperature, T' > T, from the memory forming process. This enables the combined treatment of heat engines and information engines. We study the physical characteristics of intelligent observers by introducing a canonical model that displays physical richness, despite its simplicity. A minor change to Szilard's engine - inserting the divider at an angle - results in a family of partially observable Szilard engines. Their analysis shows how the demon's intelligence can be automated. For each angle, and for each value of T'/T, an optimal memory can be found, enabling the engine to run with minimal dissipation. Those optimal memories are probabilistic maps, computed algorithmically. We discuss how they can be implemented with a simple physical system, characterize their performance, and compare their quality to that of naive, deterministic quantizations of the observable.


title: Decorated Merge Trees for Persistent Topology

abstract: This paper introduces decorated merge trees (DMTs) as a novel invariant for persistent spaces. DMTs combine both $\pi_0$ and $H_n$ information into a single data structure that distinguishes filtrations that merge trees and persistent homology cannot distinguish alone. Three variants on DMTs, which emphasize category theory, representation theory and persistence barcodes, respectively, offer different advantages in terms of theory and computation. Two notions of distance -- an interleaving distance and bottleneck distance -- for DMTs are defined and a hierarchy of stability results that both refine and generalize existing stability results is proved here. To overcome some of the computational complexity inherent in these distances, we provide a novel use of Gromov-Wasserstein couplings to compute optimal merge tree alignments for a combinatorial version of our interleaving distance which can be tractably estimated. We introduce computational frameworks for generating, visualizing and comparing decorated merge trees derived from synthetic and real data. Example applications include comparison of point clouds, interpretation of persistent homology of sliding window embeddings of time series, visualization of topological features in segmented brain tumor images and topology-driven graph alignment.


title: Double-site Substitution of Ce into (Ba, Sr)MnO3 Perovskites for Solar Thermochemical Hydrogen Production

abstract: Solar thermochemical hydrogen production (STCH) is a renewable alternative to hydrogen produced using fossil fuels. While serial bulk experimental methods can accurately measure STCH performance, screening chemically complex materials systems for new promising candidates is more challenging. Here we identify double-site Ce-substituted (Ba,Sr)MnO3 oxide perovskites as promising STCH candidates using a combination of bulk synthesis and high-throughput thin film experiments. The Ce substitution on the B-site in 10H-BaMnO3 and on the A-site in 4P-SrMnO3 lead to 2-3x higher hydrogen production compared to CeO2, but these bulk single-site substituted perovskites suffer from incomplete reoxidation. Double-site Ce substitution on both A- and B-site in (Ba,Sr)MnO3 thin films increases Ce solubility and extends the stability of 10H and 4P structures, which is promising for their thermochemical reversibility. This study demonstrates a high-throughput experimental method for screening complex oxide materials for STCH applications.


title: Analogues of Morozov Theorem in characteristic p>0

abstract: Let G be a reductive group over an algebraically closed field of positive characteristic. In this article we show an analogue for Morozov theorem for characteristics that are separably good for G (and under additional hypotheses on the group). This theorem characterises, when p= 0, subalgebras of parabolic subgroups of G with respect to their nilradical. If now k is an arbitrary field, let C be a smooth projective and geometrically connected curve. Let G be a reductive C-group scheme, which is the twisted form of a constant C-group. The aforementioned analogue is in particular useful to extend the construction of the canonical parabolic subgroup of G proposed by M. Atiyah and R. Bott when k is of characteristic 0, to the characteristic p>0 framework.


title: Mapping the in-plane electric field inside irradiated diodes

abstract: A significant aspect of the Phase-II Upgrade of the ATLAS detector is the replacement of the current Inner Detector with the ATLAS Inner Tracker (ITk). The ATLAS ITk is an all-silicon detector consisting of a pixel tracker and a strip tracker. Sensors for the ITk strip tracker have been developed to withstand the high radiation environment in the ATLAS detector after the High Luminosity Upgrade of the Large Hadron Collider at CERN, which will significantly increase the rate of particle collisions and resulting particle tracks. During their operation in the ATLAS detector, sensors for the ITk strip tracker are expected to accumulate fluences up to 1.6 x 10^15 n_eq/cm^2 (including a safety factor of 1.5), which will significantly affect their performance. One characteristic of interest for highly irradiated sensors is the shape and homogeneity of the electric field inside its active area. For the results presented here, diodes with edge structures similar to full size ATLAS sensors were irradiated up to fluences comparable to those in the ATLAS ITk strip tracker and their electric fields mapped using a micro-focused X-ray beam (beam diameter 2x3 {\mu}m^2). This study shows the extension and shape of the electric field inside highly irradiated diodes over a range of applied bias voltages. Additionally, measurements of the outline of the depleted sensor areas allow a comparison of the measured leakage current for different fluences with expectations for the corresponding active areas.


title: CvT: Introducing Convolutions to Vision Transformers

abstract: We present in this paper a new architecture, named Convolutional vision Transformer (CvT), that improves Vision Transformer (ViT) in performance and efficiency by introducing convolutions into ViT to yield the best of both designs. This is accomplished through two primary modifications: a hierarchy of Transformers containing a new convolutional token embedding, and a convolutional Transformer block leveraging a convolutional projection. These changes introduce desirable properties of convolutional neural networks (CNNs) to the ViT architecture (\ie shift, scale, and distortion invariance) while maintaining the merits of Transformers (\ie dynamic attention, global context, and better generalization). We validate CvT by conducting extensive experiments, showing that this approach achieves state-of-the-art performance over other Vision Transformers and ResNets on ImageNet-1k, with fewer parameters and lower FLOPs. In addition, performance gains are maintained when pretrained on larger datasets (\eg ImageNet-22k) and fine-tuned to downstream tasks. Pre-trained on ImageNet-22k, our CvT-W24 obtains a top-1 accuracy of 87.7\% on the ImageNet-1k val set. Finally, our results show that the positional encoding, a crucial component in existing Vision Transformers, can be safely removed in our model, simplifying the design for higher resolution vision tasks. Code will be released at \url{https://github.com/leoxiaobin/CvT}.


title: Realization of the field-free Josephson Diode

abstract: The superconducting analog to the semiconducting diode, the Josephson diode, has long been sought, with multiple avenues to realization proposed by theorists. Exhibiting magnetic-field free, single directional superconductivity with Josephson coupling of the supercurrent across a tunnel barrier, it would serve as the building-block for next-generation superconducting circuit technology. Here we realized the field-free Josephson diode using an inversion symmetry breaking heterostructure of $\mathrm{NbSe_2/Nb_3Br_8/NbSe_2}$. We demonstrate, for the first time without magnetic field, the junction can be superconducting in one direction while normal in the opposite direction. Based on that, half-wave rectification of a square-wave excitation was achieved with low switching current density ($~2.2\times 10^2 \mathrm{A/cm^2}$), high rectification ratio ($~10^4$) and high robustness (at least $10^4$ cycles). We also demonstrate symmetric $\Delta I_\mathrm{c}$ (the difference between positive and negative critical currents) behavior with field and the expected Fraunhofer current phase relation of a Josephson junction. This realization raises fundamental questions about the Josephson effect through an insulator when breaking symmetry, and opens the door to ultralow power, high speed, superconducting circuits for logic and signal modulation.


title: Kinematic numerators from the worldsheet: cubic trees from labelled trees

abstract: In this note we revisit the problem of explicitly computing tree-level scattering amplitudes in various theories in any dimension from worldsheet formulas. The latter are known to produce cubic-tree expansion of tree amplitudes with kinematic numerators automatically satisfying Jacobi-identities, once any half-integrand on the worldsheet is reduced to logarithmic functions. We review a natural class of worldsheet functions called "Cayley functions", which are in one-to-one correspondence with labelled trees, and natural expansions of known half-integrands onto them with coefficients that are particularly compact building blocks of kinematic numerators. We present a general formula expressing kinematic numerators of all cubic trees as linear combinations of coefficients of labelled trees, which satisfy Jacobi identities by construction and include the usual combinations in terms of master numerators as a special case. Our results provide an efficient algorithm, which is implemented in a Mathematica package, for computing all tree amplitudes in theories including non-linear sigma model, special Galileon, Yang-Mills-scalar, Einstein-Yang-Mills and Dirac-Born-Infeld.


title: On eigenvalues of symmetric matrices with PSD principal submatrices

abstract: We investigate convexity properties of the set of eigenvalue tuples of $n\times n$ real symmetric matrices, whose all $k\times k$ (where $k\leq n$ is fixed) minors are positive semidefinite. It is proven that the set $\lambda(\mathcal{S}^{n,k})$ of eigenvalue vectors of all such matrices is star-shaped with respect to the nonnegative orthant $\mathbb{R}^n_{\geq 0}$ and not convex already when $(n,k)=(4,2)$.


title: LatentKeypointGAN: Controlling GANs via Latent Keypoints

abstract: Generative adversarial networks (GANs) have attained photo-realistic quality in image generation. However, how to best control the image content remains an open challenge. We introduce LatentKeypointGAN, a two-stage GAN which is trained end-to-end on the classical GAN objective with internal conditioning on a set of space keypoints. These keypoints have associated appearance embeddings that respectively control the position and style of the generated objects and their parts. A major difficulty that we address with suitable network architectures and training schemes is disentangling the image into spatial and appearance factors without domain knowledge and supervision signals. We demonstrate that LatentKeypointGAN provides an interpretable latent space that can be used to re-arrange the generated images by re-positioning and exchanging keypoint embeddings, such as generating portraits by combining the eyes, nose, and mouth from different images. In addition, the explicit generation of keypoints and matching images enables a new, GAN-based method for unsupervised keypoint detection.


title: PixelTransformer: Sample Conditioned Signal Generation

abstract: We propose a generative model that can infer a distribution for the underlying spatial signal conditioned on sparse samples e.g. plausible images given a few observed pixels. In contrast to sequential autoregressive generative models, our model allows conditioning on arbitrary samples and can answer distributional queries for any location. We empirically validate our approach across three image datasets and show that we learn to generate diverse and meaningful samples, with the distribution variance reducing given more observed pixels. We also show that our approach is applicable beyond images and can allow generating other types of spatial outputs e.g. polynomials, 3D shapes, and videos.


title: High-Fidelity and Arbitrary Face Editing

abstract: Cycle consistency is widely used for face editing. However, we observe that the generator tends to find a tricky way to hide information from the original image to satisfy the constraint of cycle consistency, making it impossible to maintain the rich details (e.g., wrinkles and moles) of non-editing areas. In this work, we propose a simple yet effective method named HifaFace to address the above-mentioned problem from two perspectives. First, we relieve the pressure of the generator to synthesize rich details by directly feeding the high-frequency information of the input image into the end of the generator. Second, we adopt an additional discriminator to encourage the generator to synthesize rich details. Specifically, we apply wavelet transformation to transform the image into multi-frequency domains, among which the high-frequency parts can be used to recover the rich details. We also notice that a fine-grained and wider-range control for the attribute is of great importance for face editing. To achieve this goal, we propose a novel attribute regression loss. Powered by the proposed framework, we achieve high-fidelity and arbitrary face editing, outperforming other state-of-the-art approaches.


title: Experimental check of model of object innovation evaluation

abstract: The article discusses the approach for evaluating the innovation index of the products and technologies. The evaluation results can be used to create a warehouse of the object descriptions with significant innovation potential. The model of innovation index computation is based on the concepts of novelty, relevance, and implementability of the object. Formal definitions of these indicators are given and a methodology for their calculation are described. The fuzzy methods to coprocess (incomplete) data from numerous sources and to obtain probabilistic innovation assessments are used. The experimental data of the model check including the calculations of local criteria and global additive evaluation criterion are presented. The cyclical nature of dynamic changes in indicators, their interdependence was established, some general features of the products promotion were found. The obtained experimental data are consistent with expert estimates of the products under study. The analysis of the local criteria used in the research gives grounds to assert the correct use of the additive n-dimensional utility function. The adequacy of assumptions and formal expressions that are used in computational algorithms for selection information for data warehouse is confirmed.


title: Some Results of Experimental Check of The Model of the Object Innovativeness Quantitative Evaluation

abstract: The paper presents the results of the experiments that were conducted to confirm the main ideas of the proposed approach to determining the objects innovativeness. This approach assumed that the product life cycle of whose descriptions are placed in different data warehouses is adequate. The proposed formal model allows us to calculate the quantitative value of the additive evaluation criterion of objects innovativeness. The obtained experimental data make it possible to evaluate the adopted approach correctness.


title: Global existence for the p-Sobolev flow

abstract: In this paper, we study a doubly nonlinear parabolic equation arising from the gradient flow for p-Sobolev type inequality, referred as p-Sobolev flow. In the special case p=2 our theory includes the classical Yamabe flow on a bounded domain in Euclidean space. Our main aim is to prove the global existence of the p-Sobolev flow together with its qualitative properties.


title: Vacuum Static Spaces with Positive Isotropic Curvature

abstract: In this paper, we study vacuum static spaces with positive isotropic curvature. We prove that if $(M^n, g, f)$, $n \ge 4$, is a compact vacuum static space with positive isotropic curvature, then up to finite cover, $M$ is isometric to a sphere ${\Bbb S}^n$ or the product of a circle ${\Bbb S}^1$ with an $(n-1)$-dimensional sphere ${\Bbb S}^{n-1}$.


title: Augmenting Automated Game Testing with Deep Reinforcement Learning

abstract: General game testing relies on the use of human play testers, play test scripting, and prior knowledge of areas of interest to produce relevant test data. Using deep reinforcement learning (DRL), we introduce a self-learning mechanism to the game testing framework. With DRL, the framework is capable of exploring and/or exploiting the game mechanics based on a user-defined, reinforcing reward signal. As a result, test coverage is increased and unintended game play mechanics, exploits and bugs are discovered in a multitude of game types. In this paper, we show that DRL can be used to increase test coverage, find exploits, test map difficulty, and to detect common problems that arise in the testing of first-person shooter (FPS) games.


title: ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification

abstract: This article presents a novel algorithmic methodology for performing automated diagrammatic deductions over combinatorial structures, using a combination of modified equational theorem-proving techniques and the extended Wolfram model hypergraph rewriting formalism developed by the authors in previous work. We focus especially upon the application of this new algorithm to the problem of automated circuit simplification in quantum information theory, using Wolfram model multiway operator systems combined with the ZX-calculus formalism for enacting fast diagrammatic reasoning over linear transformations between qubits. We show how to construct a generalization of the deductive inference rules for Knuth-Bendix completion in which equation matches are selected on the basis of causal edge density in the associated multiway system, before proceeding to demonstrate how to embed the higher-order logic of the ZX-calculus rules within this first-order equational framework. After showing explicitly how the (hyper)graph rewritings of both Wolfram model systems and the ZX-calculus can be effectively realized within this formalism, we proceed to exhibit comparisons of time complexity vs. proof complexity for this new algorithmic approach when simplifying randomly-generated Clifford circuits down to pseudo-normal form, as well as when reducing the number of T-gates in randomly-generated non-Clifford circuits, with circuit sizes ranging up to 3000 gates, illustrating that the method performs favorably in comparison with existing circuit simplification frameworks, and also exhibiting the approximately quadratic speedup obtained by employing the causal edge density optimization. Finally, we present a worked example of an automated proof of correctness for a simple quantum teleportation protocol, in order to demonstrate more clearly the internal operations of the theorem-proving procedure.


title: Generalized $c$-almost periodic type functions in ${\mathbb R}^n$

abstract: In this paper, we analyze multi-dimensional quasi-asymptotically $c$-almost periodic functions and their Stepanov generalizations as well as multi-dimensional Weyl $c$-almost periodic type functions. We also analyze several important subclasses of the class of multi-dimensional quasi-asymptotically $c$-almost periodic functions and reconsider the notion of semi-$c$-periodicity in the multi-dimensional setting, working in the general framework of Lebesgue spaces with variable exponent. We provide certain applications of our results to the abstract Volterra integro-differential equations in Banach spaces.


title: Classifying the Unstructured IT Service Desk Tickets Using Ensemble of Classifiers

abstract: Manual classification of IT service desk tickets may result in routing of the tickets to the wrong resolution group. Incorrect assignment of IT service desk tickets leads to reassignment of tickets, unnecessary resource utilization and delays the resolution time. Traditional machine learning algorithms can be used to automatically classify the IT service desk tickets. Service desk ticket classifier models can be trained by mining the historical unstructured ticket description and the corresponding label. The model can then be used to classify the new service desk ticket based on the ticket description. The performance of the traditional classifier systems can be further improved by using various ensemble of classification techniques. This paper brings out the three most popular ensemble methods ie, Bagging, Boosting and Voting ensemble for combining the predictions from different models to further improve the accuracy of the ticket classifier system. The performance of the ensemble classifier system is checked against the individual base classifiers using various performance metrics. Ensemble of classifiers performed well in comparison with the corresponding base classifiers. The advantages of building such an automated ticket classifier systems are simplified user interface, faster resolution time, improved productivity, customer satisfaction and growth in business. The real world service desk ticket data from a large enterprise IT infrastructure is used for our research purpose.


title: Hot Jupiters, cold kinematics: High phase space densities of host stars reflect an age bias

abstract: Context. The birth environments of planetary systems are thought to influence planet formation and orbital evolution, through external photoevaporation and stellar flybys. Recent work has claimed observational support for this, in the form of a correlation between the properties of planetary systems and the local Galactic phase space density of the host star. In particular, Hot Jupiters are found overwhelmingly around stars in regions of high phase space density, which may reflect a formation environment with high stellar density. Aims. We instead investigate whether the high phase space density may have a galactic kinematic origin: Hot Jupiter hosts may be biased towards being young and therefore kinematically cold, because tidal inspiral leads to the destruction of the planets on Gyr timescales, and the velocity dispersion of stars in the Galaxy increases on similar timescales. Methods. We use 6D positions and kinematics from Gaia for the Hot Jupiter hosts and their neighbours, and construct distributions of the phase space density. We investigate correlations between the stars' local phase space density and peculiar velocity. Results. We find a strong anticorrelation between the phase space density and the host star's peculiar velocity with respect to the Local Standard of Rest. Therefore, most stars in "high-density" regions are kinematically cold, which may be caused by the aforementioned bias towards detecting Hot Jupiters around young stars before the planets' tidal destruction. Conclusions. We do not find evidence in the data for Hot Jupiter hosts preferentially being in phase space overdensities compared to other stars of similar kinematics, nor therefore for their originating in birth environments of high stellar density.


title: The MOSDEF-LRIS Survey: Probing ISM/CGM Structure of Star-Forming Galaxies at z~2 Using Rest-UV Spectroscopy

abstract: The complex structure of gas, metals, and dust in the interstellar and circumgalactic medium (ISM and CGM, respectively) in star-forming galaxies can be probed by Ly$\alpha$ emission and absorption, low-ionization interstellar (LIS) metal absorption, and dust reddening E(B-V). We present a statistical analysis of the mutual correlations among Ly$\alpha$ equivalent width (EW$_{Ly\alpha}$), LIS equivalent width (EW$_{LIS}$), and E(B-V) in a sample of 157 star-forming galaxies at $z\sim2.3$. With measurements obtained from individual, deep rest-UV spectra and spectral-energy distribution (SED) modeling, we find that the tightest correlation exists between EW$_{LIS}$ and E(B-V), although correlations among all three parameters are statistically significant. These results signal a direct connection between dust and metal-enriched HI gas, and that they are likely co-spatial. By comparing our results with the predictions of different ISM/CGM models, we favor a dusty ISM/CGM model where dust resides in HI gas clumps and Ly$\alpha$ photons escape through the low HI covering fraction/column density intra-clump medium. Finally, we investigate the factors that potentially contribute to the intrinsic scatter in the correlations studied in this work, including metallicity, outflow kinematics, Ly$\alpha$ production efficiency, and slit loss. Specifically, we find evidence that scatter in the relationship between EW$_{Ly\alpha}$ and E(B-V) reflects the variation in metal-to-HI covering fraction ratio as a function of metallicity, and the effects of outflows on the porosity of the ISM/CGM. Future simulations incorporating star-formation feedback and the radiative transfer of Ly$\alpha$ photons will provide key constraints on the spatial distributions of neutral hydrogen gas and dust in the ISM/CGM structure.


title: Uncertain Times: The Redshift-Time Relation from Cosmology and Stars

abstract: Planck data provide precise constraints on cosmological parameters when assuming the base $\Lambda$CDM model, including a $0.17\%$ measurement of the age of the Universe, $t_0=13.797 \pm 0.023\,{\rm Gyr}$. However, the persistence of the "Hubble tension" calls the base $\Lambda$CDM model's completeness into question and has spurred interest in models such as Early Dark Energy (EDE) that modify the assumed expansion history of the Universe. We investigate the effect of EDE on the redshift-time relation $z \leftrightarrow t$ and find that it differs from the base $\Lambda$CDM model by at least ${\approx} 4\%$ at all $t$ and $z$. As long as EDE remains observationally viable, any inferred $t \leftarrow z$ or $z \leftarrow t$ quoted to a higher level of precision do not reflect the current status of our understanding of cosmology. This uncertainty has important astrophysical implications: the reionization epoch - $10>z>6$ - corresponds to disjoint lookback time periods in the base $\Lambda$CDM and EDE models, and the EDE value of $t_0=13.25 \pm 0.17~{\rm Gyr}$ is in tension with published ages of some stars, star clusters, and ultra-faint dwarf galaxies. However, most published stellar ages do not include an uncertainty in accuracy (due to, e.g., uncertain distances and stellar physics) that is estimated to be $\sim7-10\%$, potentially reconciling stellar ages with $t_{0,\rm EDE}$. We discuss how the big data era for stars is providing extremely precise ages ($<1\%$) and how improved distances and treatment of stellar physics such as convection could result in ages accurate to $4-5\%$, comparable to the current accuracy of $t \leftrightarrow z$. Such precise and accurate stellar ages can provide detailed insight into the high-redshift Universe independent of a cosmological model.


title: Narain to Narnia

abstract: We generalize the holographic correspondence between topological gravity coupled to an abelian Chern-Simons theory in three dimensions and an ensemble average of Narain's family of massless free bosons in two dimensions, discovered by Afkhami-Jeddi et al. and by Maloney and Witten. We find that the correspondence also works for toroidal orbifolds but not for K3 or Calabi-Yau sigma-models and not always for the minimal models. We conjecture that the correspondence requires that the central charge is equal to the critical central charge defined by the asymptotic density of states of the chiral algebra. For toroidal orbifolds, we extend the holographic correspondence to correlation functions of twist operators by using topological properties of rational tangles in the three-dimensional ball, which represent configurations of vortices associated to a discrete gauge symmetry.


title: Hamiltonian and exclusion statistics approach to discrete forward-moving paths

abstract: We use a Hamiltonian (transition matrix) description of height-restricted Dyck paths on the plane in which generating functions for the paths arise as matrix elements of the propagator to evaluate the length and area generating function for paths with arbitrary starting and ending points, expressing it as a rational combination of determinants. Exploiting a connection between random walks and quantum exclusion statistics that we previously established, we express this generating function in terms of grand partition functions for exclusion particles in a finite harmonic spectrum and present an alternative, simpler form for its logarithm that makes its polynomial structure explicit.

categories: math-ph cond-mat.stat-mech hep-th math.CO math.MP


title: The Lieb-Robinson light cone for power-law interactions

abstract: The Lieb-Robinson theorem states that information propagates with a finite velocity in quantum systems on a lattice with nearest-neighbor interactions. What are the speed limits on information propagation in quantum systems with power-law interactions, which decay as $1/r^\alpha$ at distance $r$? Here, we present a definitive answer to this question for all exponents $\alpha>2d$ and all spatial dimensions $d$. Schematically, information takes time at least $r^{\min\{1, \alpha-2d\}}$ to propagate a distance~$r$. As recent state transfer protocols saturate this bound, our work closes a decades-long hunt for optimal Lieb-Robinson bounds on quantum information dynamics with power-law interactions.