title: Kripke-Joyal forcing for type theory and uniform fibrations

abstract: We introduce a new method for precisely relating certain kinds of algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a systematic way to organise complex diagrammatic reasoning and generalises the well-known Kripke-Joyal forcing for logic. As an application, we prove several properties of algebraic weak factorisation systems considered in Homotopy Type Theory.


title: A Geometric Perspective towards Neural Calibration via Sensitivity Decomposition

abstract: It is well known that vision classification models suffer from poor calibration in the face of data distribution shifts. In this paper, we take a geometric approach to this problem. We propose Geometric Sensitivity Decomposition (GSD) which decomposes the norm of a sample feature embedding and the angular similarity to a target classifier into an instance-dependent and an instance-independent component. The instance-dependent component captures the sensitive information about changes in the input while the instance-independent component represents the insensitive information serving solely to minimize the loss on the training dataset. Inspired by the decomposition, we analytically derive a simple extension to current softmax-linear models, which learns to disentangle the two components during training. On several common vision models, the disentangled model outperforms other calibration methods on standard calibration metrics in the face of out-of-distribution (OOD) data and corruption with significantly less complexity. Specifically, we surpass the current state of the art by 30.8% relative improvement on corrupted CIFAR100 in Expected Calibration Error. Code available at https://github.com/GT-RIPL/Geometric-Sensitivity-Decomposition.git.


title: Spatio-Temporal Federated Learning for Massive Wireless Edge Networks

abstract: This paper presents a novel approach to conduct highly efficient federated learning (FL) over a massive wireless edge network, where an edge server and numerous mobile devices (clients) jointly learn a global model without transporting the huge amount of data collected by the mobile devices to the edge server. The proposed FL approach is referred to as spatio-temporal FL (STFL), which jointly exploits the spatial and temporal correlations between the learning updates from different mobile devices scheduled to join STFL in various training epochs. The STFL model not only represents the realistic intermittent learning behavior from the edge server to the mobile devices due to data delivery outage, but also features a mechanism of compensating loss learning updates in order to mitigate the impacts of intermittent learning. An analytical framework of STFL is proposed and employed to study the learning capability of STFL via its convergence performance. In particular, we have assessed the impact of data delivery outage, intermittent learning mitigation, and statistical heterogeneity of datasets on the convergence performance of STFL. The results provide crucial insights into the design and analysis of STFL-based wireless networks.


title: Bi-fidelity stochastic collocation methods for epidemic transport models with uncertainties

abstract: Uncertainty in data is certainly one of the main problems in epidemiology, as shown by the recent COVID-19 pandemic. The need for efficient methods capable of quantifying uncertainty in the mathematical model is essential in order to produce realistic scenarios of the spread of infection. In this paper, we introduce a bi-fidelity approach to quantify uncertainty in spatially dependent epidemic models. The approach is based on evaluating a high-fidelity model on a small number of samples properly selected from a large number of evaluations of a low-fidelity model. In particular, we will consider the class of multiscale transport models recently introduced in Bertaglia, Boscheri, Dimarco & Pareschi, Math. Biosci. Eng. (2021) and Boscheri, Dimarco & Pareschi, Math. Mod. Meth. App. Scie. (2021) as the high-fidelity reference and use simple two-velocity discrete models for low-fidelity evaluations. Both models share the same diffusive behavior and are solved with ad-hoc asymptotic-preserving numerical discretizations. A series of numerical experiments confirm the validity of the approach.


title: LCLS-II-HE verification cryomodule high gradient performance and quench behavior

abstract: An 8-cavity, 1.3 GHz, LCLS-II-HE cryomodule was assembled and tested at Fermilab to verify performance before the start of production. Its cavities were processed with a novel nitrogen doping treatment to improve gradient performance. The cryomodule was tested with a modified protocol to process sporadic quenches, which were observed in LCLS-II production cryomodules and are attributed to multipacting. Dedicated vertical test experiments support the attribution to multipacting. The verification cryomodule achieved an acceleration voltage of 200 MV in continuous wave mode, corresponding to an average accelerating gradient of 24.1 MV/m, significantly exceeding the specification of 173 MV. The average Q0 (3.0x10^10) also exceeded its specification (2.7x10^10). After processing, no field emission was observed up to the maximum gradient of each cavity. This paper reviews the cryomodule performance and discusses operational issues and mitigations implemented during the several month program.


title: Reflection factorizations and quasi-Coxeter elements

abstract: We investigate the so-called dual Matsumoto property or Hurwitz action in finite, affine and arbitrary Coxeter groups. In particular, we want to investigate how to reduce reflection factorizations and how two reflection factorizations of the same element are related to each other. We are motivated by the dual approach to Coxeter groups proposed by Bessis and the question whether there is an anlogue of the well known Matsumoto property for reflection factorizations. Our aim is a substantial understanding of the Hurwitz action. We therefore reprove uniformly results of Lewis and Reiner as well as Baumeister, Gobet, Roberts and the first author on the Hurwitz in finite Coxeter groups. Further we show that in an arbitrary Coxeter group all reduced reflection factorizations of the same element appear in the same Hurwitz orbit after a suitable extension by simple reflections. As parabolic quasi-Coxeter elements play an outstanding role in the study of the Hurwitz action, we aim to characterize these elements. We give characterizations of maximal parabolic quasi-Coxeter elements in arbitrary Coxeter groups as well as a characterization of all parabolic quasi-Coxeter elements in affine Coxeter groups.


title: Vector Beam Bending

abstract: It is well known that the trajectory of a light beam can curve if the medium in which the beam propagates is inhomogeneous or if the local spacetime is curved. In this paper we present a third possibility and show that a properly-prepared optical beam follows a curved trajectory even in free space where the spacetime is locally flat. By casting the problem in terms of transport of optical intensity, we show that a beam comprising a gradient in state of polarization to second order or higher (i.e., a specifically prepared vector beam) must also follow a curved trajectory. The effect is confirmed experimentally for the case of a second-order gradient in a linearly polarized vector beam.


title: Deep learning via message passing algorithms based on belief propagation

abstract: Message-passing algorithms based on the Belief Propagation (BP) equations constitute a well-known distributed computational scheme. It is exact on tree-like graphical models and has also proven to be effective in many problems defined on graphs with loops (from inference to optimization, from signal processing to clustering). The BP-based scheme is fundamentally different from stochastic gradient descent (SGD), on which the current success of deep networks is based. In this paper, we present and adapt to mini-batch training on GPUs a family of BP-based message-passing algorithms with a reinforcement field that biases distributions towards locally entropic solutions. These algorithms are capable of training multi-layer neural networks with discrete weights and activations with performance comparable to SGD-inspired heuristics (BinaryNet) and are naturally well-adapted to continual learning. Furthermore, using these algorithms to estimate the marginals of the weights allows us to make approximate Bayesian predictions that have higher accuracy than point-wise solutions.


title: A new mechanism for primordial black hole formation during reheating

abstract: The Reheating process at the end of inflation is often modeled by an oscillating scalar field which shows a background dust-like behaviour, prompting the analysis of gravitational collapse and black hole formation in this era to be approached by the spherical collapse of standard structure formation. In the scalar field dark matter structure formation process virialized halos halt the direct collapse, resulting in halos with condensed central cores at the de Broglie scale of the dominant scalar field. We show that a similar process can take place during reheating, leading to the formation of primordial black holes (PBHs). We study the formation of PBHs through the gravitational further collapse of structures virialized during reheating, looking at the collapse of either the whole structure, or that of the central core within these configurations. We compute the threshold amplitude for the density contrast to undergo this process, for both free and self-interacting scalar fields. We discuss the relevance of our results for the abundance of PBHs at the lower end of the mass spectrum.


title: BeamScatter: Scalable, Deployable Long-Range backscatter communication with Beam-Steering

abstract: WiFi backscatter tags can enable direct connectivity of IoT devices with commodity WiFi hardware at low power. However, most state of the art backscatter tag implementations in this area have limited transmitter to tag range, are not suitable to be deployed in a WiFi mesh network, and do not take full advantage of today's WiFi network capabilities such as MIMO. In this paper, we present BeamScatter, which can realize a backscatter tag based on MIMO techniques that can work at a very long separation of 28m from an access-point and enables their deployment in WiFi mesh networks. BeamScatter presents a novel technique to perform beam-steering on the MIMO tag at a very low power consumption of 88 uW while achieving a peak throughput of 500kbps. Next, BeamScatter creates a novel modeling framework to decide the optimal phase setting on the tag to steer the backscattered signal WiFi access point.


title: Low-energy effective theory and anomalous Hall effect in monolayer $\mathrm{WTe}_2$

abstract: We develop a symmetry-based low-energy theory for monolayer $\mathrm{WTe}_2$ in its 1T$^{\prime}$ phase, which includes eight bands (four orbitals, two spins). This model reduces to the conventional four-band spin-degenerate Dirac model near the Dirac points of the material. We show that measurements of the spin susceptibility, and of the magnitude and time dependence of the anomalous Hall conductivity induced by injected or equilibrium spin polarization can be used to determine the magnitude and form of the spin-orbit coupling Hamiltonian, as well as the dimensionless tilt of the Dirac bands.


title: Boundary Guided Context Aggregation for Semantic Segmentation

abstract: The recent studies on semantic segmentation are starting to notice the significance of the boundary information, where most approaches see boundaries as the supplement of semantic details. However, simply combing boundaries and the mainstream features cannot ensure a holistic improvement of semantics modeling. In contrast to the previous studies, we exploit boundary as a significant guidance for context aggregation to promote the overall semantic understanding of an image. To this end, we propose a Boundary guided Context Aggregation Network (BCANet), where a Multi-Scale Boundary extractor (MSB) borrowing the backbone features at multiple scales is specifically designed for accurate boundary detection. Based on which, a Boundary guided Context Aggregation module (BCA) improved from Non-local network is further proposed to capture long-range dependencies between the pixels in the boundary regions and the ones inside the objects. By aggregating the context information along the boundaries, the inner pixels of the same category achieve mutual gains and therefore the intra-class consistency is enhanced. We conduct extensive experiments on the Cityscapes and ADE20K databases, and comparable results are achieved with the state-of-the-art methods, clearly demonstrating the effectiveness of the proposed one.


title: Fuzzy Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) are well-known tools for data generation and semi-supervised classification. GANs, with less labeled data, outperform Deep Neural Networks (DNNs) and Convolutional Neural Networks (CNNs) in classification across various tasks, this shows promise for developing GANs capable of trespassing into the domain of semi-supervised regression. However, developing GANs for regression introduce two major challenges: (1) inherent instability in the GAN formulation and (2) performing regression and achieving stability simultaneously. This paper introduces techniques that show improvement in the GANs' regression capability through mean absolute error (MAE) and mean squared error (MSE). We bake a differentiable fuzzy logic system at multiple locations in a GAN because fuzzy logic systems have demonstrated high efficacy in classification and regression settings. The fuzzy logic takes the output of either or both the generator and the discriminator to either or both predict the output, $y$, and evaluate the generator's performance. We outline the results of applying the fuzzy logic system to CGAN and summarize each approach's efficacy. This paper shows that adding a fuzzy logic layer can enhance GAN's ability to perform regression; the most desirable injection location is problem-specific, and we show this through experiments over various datasets. Besides, we demonstrate empirically that the fuzzy-infused GAN is competitive with DNNs.


title: Quench dynamics of R\'enyi negativities and the quasiparticle picture

abstract: The study of the moments of the partially transposed density matrix provides a new and effective way of detecting bipartite entanglement in a many-body mixed state. This is valuable for cold-atom and ion-trap experiments, as well as in the general context of quantum simulation of many-body systems. In this work we study the time evolution after a quantum quench of the moments of the partial transpose, and several related quantities, such as the R\'enyi negativities. By combining Conformal Field Theory (CFT) results with integrability, we show that, in the space-time scaling limit of long times and large subsystems, a quasiparticle description allows for a complete understanding of the R\'enyi negativities. We test our analytical predictions against exact numerical results for free-fermion and free-boson lattice models, even though our framework applies to generic interacting integrable systems.

categories: cond-mat.stat-mech cond-mat.quant-gas hep-th quant-ph


title: TMBuD: A dataset for urban scene building detection

abstract: Building recognition and 3D reconstruction of human made structures in urban scenarios has become an interesting and actual topic in the image processing domain. For this research topic the Computer Vision and Augmented Reality areas intersect for creating a better understanding of the urban scenario for various topics. In this paper we aim to introduce a dataset solution, the TMBuD, that is better fitted for image processing on human made structures for urban scene scenarios. The proposed dataset will allow proper evaluation of salient edges and semantic segmentation of images focusing on the street view perspective of buildings. The images that form our dataset offer various street view perspectives of buildings from urban scenarios, which allows for evaluating complex algorithms. The dataset features 160 images of buildings from Timisoara, Romania, with a resolution of 768 x 1024 pixels each.


title: Uncertainty in Grain Size Estimations of Volatiles on Trans-Neptunian Objects (TNOs) and Kuiper Belt Objects (KBOs)

abstract: We analyze the uncertainty in grain size estimation of pure methane (CH4) and nitrogen saturated with methane (N2:CH4) ices, the most abundant volatile materials on trans-Neptunian objects (TNOs) and Kuiper belt objects (KBOs). We compare the single scattering albedo, which determines the grain size estimation of outer solar system regolith (Hansen, 2009), of these ices using the Mie scattering model and two other Hapke approximations (Hapke, 1993) in radiative transfer scattering models (RTM) at near-infrared (NIR) wavelengths (1-5 $\mu$m). The equivalent slab (Hapke Slab) approximation model predicts results much closer to Mie scattering over the NIR wavelengths at a wide range of grain sizes. In contrast, even though the internal scattering model (ISM) predicts an approximate particle diameter close to the Mie model for particles with a 10 $\mu$m radii, it exhibits higher discrepancies in the predicted estimation for larger grain sizes (e.g., 100 and 1000 $\mu$m radii). Owing to the Rayleigh effect on single-scattering properties, neither Hapke approximate models could predict an accurate grain size estimation for the small particles (radii $\leq$ 5 $\mu$m). We recommend that future studies should favor the equivalent slab approximation when employing RTMs for estimating grain sizes of the vast number of TNOs and KBOs in the outer solar system.


title: Large deviations for irreducible random walks on relatively hyperbolic groups

abstract: We show existence of the weak large deviation principle, with a convex rate function, for the renormalized distance from the starting point of irreducible random walks on relatively hyperbolic groups. Under the assumption of finiteness of exponential moments, the full large deviation principle holds, and the rate function governing it can be expressed as the Fenchel-Legendre transform of the limiting logarithmic moment generating function of the sequence of renormalized distances.


title: TA-Net: Topology-Aware Network for Gland Segmentation

abstract: Gland segmentation is a critical step to quantitatively assess the morphology of glands in histopathology image analysis. However, it is challenging to separate densely clustered glands accurately. Existing deep learning-based approaches attempted to use contour-based techniques to alleviate this issue but only achieved limited success. To address this challenge, we propose a novel topology-aware network (TA-Net) to accurately separate densely clustered and severely deformed glands. The proposed TA-Net has a multitask learning architecture and enhances the generalization of gland segmentation by learning shared representation from two tasks: instance segmentation and gland topology estimation. The proposed topology loss computes gland topology using gland skeletons and markers. It drives the network to generate segmentation results that comply with the true gland topology. We validate the proposed approach on the GlaS and CRAG datasets using three quantitative metrics, F1-score, object-level Dice coefficient, and object-level Hausdorff distance. Extensive experiments demonstrate that TA-Net achieves state-of-the-art performance on the two datasets. TA-Net outperforms other approaches in the presence of densely clustered glands.


title: End-to-end LSTM based estimation of volcano event epicenter localization

abstract: In this paper, an end-to-end based LSTM scheme is proposed to address the problem of volcano event localization without any a priori model relating phase picking with localization estimation. It is worth emphasizing that automatic phase picking in volcano signals is highly inaccurate because of the short distances between the event epicenters and the seismograph stations. LSTM was chosen due to its capability to capture the dynamics of time varying signals, and to remove or add information within the memory cell state and model long-term dependencies. A brief insight into LSTM is also discussed here. The results presented in this paper show that the LSTM based architecture provided a success rate, i.e., an error smaller than 1.0Km, equal to 48.5%, which in turn is dramatically superior to the one delivered by automatic phase picking. Moreover, the proposed end-to-end LSTM based method gave a success rate 18% higher than CNN.


title: Subpicosecond dynamics of pre-plasma on a solid, formed by a ultra-high contrast, relativistic intensity pulse

abstract: Using spectral interferometry technique, we measured subpicosecond time-resolved pre-plasma scale lengths and early expansion ($<$ 12 ps) of the plasma produced by a high intensity (2$\times$10$^{18}$ W/cm$^{2}$) pulse with ultra-high contrast (10$^{-9}$). We measured pre-plasma scale lengths in the range of 3-15 nm. This measurement plays a crucial role in understanding the mechanism of laser coupling its energy to hot electrons and hence important for laser-driven ion acceleration and fast ignition approach to fusion.


title: Efficient and Secure TSA for the Tangle

abstract: The Tangle is the data structure used to store transactions in the IOTA cryptocurrency. In the Tangle, each block has two parents. As a result, the blocks do not form a chain, but a directed acyclic graph. In traditional Blockchain, a new block is appended to the heaviest chain in case of fork. In the Tangle, the parent selection is done by the Tip Selection Algorithm (TSA). In this paper, we make some important observations about the security of existing TSAs. We then propose a new TSA that has low complexity and is more secure than previous TSAs.


title: Evaluating Deep Learning Models and Adversarial Attacks on Accelerometer-Based Gesture Authentication

abstract: Gesture-based authentication has emerged as a non-intrusive, effective means of authenticating users on mobile devices. Typically, such authentication techniques have relied on classical machine learning techniques, but recently, deep learning techniques have been applied this problem. Although prior research has shown that deep learning models are vulnerable to adversarial attacks, relatively little research has been done in the adversarial domain for behavioral biometrics. In this research, we collect tri-axial accelerometer gesture data (TAGD) from 46 users and perform classification experiments with both classical machine learning and deep learning models. Specifically, we train and test support vector machines (SVM) and convolutional neural networks (CNN). We then consider a realistic adversarial attack, where we assume the attacker has access to real users' TAGD data, but not the authentication model. We use a deep convolutional generative adversarial network (DC-GAN) to create adversarial samples, and we show that our deep learning model is surprisingly robust to such an attack scenario.


title: A logical and topological proof of the irreducibility of consciousness to physical data

abstract: We show here that what we call visual space of consciousness, the space of what we see, is a specific space different from the purely physical one and that its properties imply that it cannot be reduced to or deduced from physical laws. Some biological points are also briefly considered. The arguments are of logical, mathematical and physical character, and although elementary they require a careful reading. A first shorter version of this paper appeared in a hardly accessible Journal [1], and presented at the International Congress of Logic, Methodology and Philosophy of Sciences, in Beijing, August 2007. There is no need to define consciousness; we only observe some of its properties, namely geometric and topological properties of visual consciousness, and show that these properties cannot be based on physics only. Now, if a part of consciousness cannot be grounded on physics only, it is the same for consciousness as a whole and we speak of the irreducibility of consciousness to physical data. We do not consider philosophical questions or issues; in a simple physical and mathematical frame we give a logical proof of this irreducibility. Elements for a formal mathematical, logical proof are mentioned at the end of the paper.


title: Hodge-Laplacian of Brain Networks

abstract: The closed loops or cycles in a brain network embeds higher order signal transmission paths, which provide fundamental insights into the functioning of the brain. In this work, we propose an efficient algorithm for systematic identification and modeling of cycles using persistent homology and the Hodge Laplacian. Various statistical inference procedures on cycles are developed. We validate the our methods on simulations and apply to brain networks obtained through the resting state functional magnetic resonance imaging. The computer codes for the Hodge Laplacian are given in https://github.com/laplcebeltrami/hodge.


title: Folded quantum integrable models and deformed W-algebras

abstract: We propose a novel quantum integrable model for every non-simply laced simple Lie algebra ${\mathfrak g}$, which we call the folded integrable model. Its spectra correspond to solutions of the Bethe Ansatz equations obtained by folding the Bethe Ansatz equations of the standard integrable model associated to the quantum affine algebra $U_q(\hat{\mathfrak g'})$ of the simply-laced Lie algebra ${\mathfrak g}'$ corresponding to ${\mathfrak g}$. Our construction is motivated by the analysis of the second classical limit of the deformed ${\mathcal W}$-algebra of ${\mathfrak g}$, which we interpret as a "folding" of the Grothendieck ring of finite-dimensional representations of $U_q(\hat{\mathfrak g'})$. We conjecture, and verify in a number of cases, that the spaces of states of the folded integrable model can be identified with finite-dimensional representations of $U_q({}^L\hat{\mathfrak g})$, where $^L\hat{\mathfrak g}$ is the (twisted) affine Kac-Moody algebra Langlands dual to $\hat{\mathfrak g}$. We discuss the analogous structures in the Gaudin model which appears in the limit $q \to 1$. Finally, we describe a conjectural construction of the simple ${\mathfrak g}$-crystals in terms of the folded $q$-characters.


title: Implementation of the CRPA model in the GENIE event generator and analysis of nuclear effects in low-energy transfer neutrino-nucleus interactions

abstract: We present the implementation and validation of the Hartree-Fock continuum random phase approximation (HF-CRPA) model in the GENIE neutrino-nucleus interaction event generator and a comparison of the subsequent predictions to experimental measurements of lepton kinematics from interactions with no mesons in the final state. These predictions are also compared to those of other models available in GENIE. It is shown that, with respect to these models, HF-CRPA predicts a significantly different evolution of the cross section when moving between different interaction targets, when considering incoming anti-neutrinos compared to neutrinos and when changing neutrino energies. These differences are most apparent for interactions with low energy and momentum transfer. It is also clear that the impact of nucleon correlations within the HF-CRPA framework is very different than in GENIE's standard implementation of RPA corrections. Since many neutrino oscillation experiments rely on their input model to extrapolate between targets, flavours, and neutrino energies, the newly implemented HF-CRPA model provides a useful means to verify that such differences between models are appropriately covered in oscillation analysis systematic error budgets.


title: Towards a Theory of Evolution as Multilevel Learning

abstract: We apply the theory of learning to physically renormalizable systems in an attempt to develop a theory of biological evolution, including the origin of life, as multilevel learning. We formulate seven fundamental principles of evolution that appear to be necessary and sufficient to render a universe observable and show that they entail the major features of biological evolution, including replication and natural selection. These principles also follow naturally from the theory of learning. We formulate the theory of evolution using the mathematical framework of neural networks, which provides for detailed analysis of evolutionary phenomena. To demonstrate the potential of the proposed theoretical framework, we derive a generalized version of the Central Dogma of molecular biology by analyzing the flow of information during learning (back-propagation) and predicting (forward-propagation) the environment by evolving organisms. The more complex evolutionary phenomena, such as major transitions in evolution, in particular, the origin of life, have to be analyzed in the thermodynamic limit, which is described in detail in the accompanying paper.


title: Three twist-two, two spins, two loops

abstract: I consider three-point functions of twist-two operators in N=4 SYM, two of which endowed with spin. I supply perturbative data up to twelve units of spins and second perturbative order at weak coupling.


title: Quantum Fluctuations in Electrical Multiport Linear Systems

abstract: We present an extension of the classical Nyquist-Thevenin theorem for multiport classical electrical networks by Twiss to the quantum case. Conversely, we extend the quantum fluctuation-dissipation result for one port electrical systems to the multiport case, both reciprocal and nonreciprocal. Our results are extended to lossy systems by depicting resistive components as continuous limits of purely lossless lumped-element networks. Simple circuit examples are analyzed, including a linear system lacking a direct impedance representation.


title: Cremona groups over finite fields, Neretin groups, and non-positively curved cube complexes

abstract: We show that plane Cremona groups over finite fields embed as dense subgroups into Neretin groups, i.e. groups of almost automorphisms of rooted trees. We also show that if the finite base field has even characteristic and contains at least 4 elements, then the permutations induced by birational transformations on rational points of regular projective surfaces are even. In a second part, we construct explicit locally compact CAT(0) cube complexes, on which Neretin groups act properly. This allows us to recover in a unified way various results on Neretin groups such as that they are of type $F_{\infty}$. We also prove a new fixed-point theorem for CAT(0) cube complexes without infinite cubes and use it to deduce a regularisation theorem for plane Cremona groups over finite fields.


title: Holographic Observables at Large $d$

abstract: We study holographically non-local observables in field theories at finite temperature and in the large $d$ limit. These include the Wilson loop, the entanglement entropy, as well as an extension to various dual extremal surfaces of arbitrary codimension. The large $d$ limit creates a localized potential in the near horizon regime resulting in a simplification of the analysis for the non-local observables, while at the same time retaining their qualitative physical properties. Moreover, we study the monotonicity of the coefficient $\alpha$ of the entanglement's area term, the so called area theorem. We find that the difference between the UV and IR of the $\alpha$-values, normalized with the thermal entropy, converges at large $d$ to a constant value which is obtained analytically. Therefore, the large $d$ limit may be used as tool for the study and (in)validation of the renormalization group monotonicity theorems. All the expectation values of the observables under study show rapid convergence to certain values as $d$ increases. The extrapolation of the large $d$ limit to low and intermediate dimensions shows good quantitative agreement with the numerical analysis of the observables.


title: Average-Case Subset Balancing Problems

abstract: Given a set of $n$ input integers, the Equal Subset Sum problem asks us to find two distinct subsets with the same sum. In this paper we present an algorithm that runs in time $O^*(3^{0.387n})$ in the~average case, significantly improving over the $O^*(3^{0.488n})$ running time of the best known worst-case algorithm and the Meet-in-the-Middle benchmark of $O^*(3^{0.5n})$. Our algorithm generalizes to a number of related problems, such as the ``Generalized Equal Subset Sum'' problem, which asks us to assign a coefficient $c_i$ from a set $C$ to each input number $x_i$ such that $\sum_{i} c_i x_i = 0$. Our algorithm for the average-case version of this problem runs in~time $|C|^{(0.5-c_0/|C|)n}$ for some positive constant $c_0$, whenever $C=\{0, \pm 1, \dots, \pm d\}$ or $\{\pm 1, \dots, \pm d\}$ for some positive integer $d$ (with $O^*(|C|^{0.45n})$ when $|C|<10$). Our results extend to the~problem of finding ``nearly balanced'' solutions in which the target is a not-too-large nonzero offset $\tau$. Our approach relies on new structural results that characterize the probability that $\sum_{i} c_i x_i$ $=\tau$ has a solution $c \in C^n$ when $x_i$'s are chosen randomly; these results may be of independent interest. Our algorithm is inspired by the ``representation technique'' introduced by Howgrave-Graham and Joux. This requires several new ideas to overcome preprocessing hurdles that arise in the representation framework, as well as a novel application of dynamic programming in the solution recovery phase of the algorithm.


title: Minimum Probability of Error of List M-ary Hypothesis Testing

abstract: We study a variation of Bayesian M-ary hypothesis testing in which the test outputs a list of L candidates out of the M possible upon processing the observation. We study the minimum error probability of list hypothesis testing, where an error is defined as the event where the true hypothesis is not in the list output by the test. We derive two exact expressions of the minimum probability or error. The first is expressed as the error probability of a certain non-Bayesian binary hypothesis test, and is reminiscent of the meta-converse bound. The second, is expressed as the tail probability of the likelihood ratio between the two distributions involved in the aforementioned non-Bayesian binary hypothesis test.


title: Paving the Way for Consensus: Convergence of Block Gossip Algorithms

abstract: Gossip protocols are popular methods for average consensus problems in distributed computing. We prove new convergence guarantees for a variety of such protocols, including path, clique, and synchronous pairwise gossip. These arise by exploiting the connection between these protocols and the block randomized Kaczmarz method for solving linear systems. Moreover, we extend existing convergence results for block randomized Kaczmarz to allow for a more general choice of blocks, rank-deficient systems, and provide a tighter convergence rate guarantee. We furthermore apply this analysis to inconsistent consensus models and obtain similar guarantees. An extensive empirical analysis of these methods is provided for a variety of synthetic networks.


title: Heavy quarks in the early stage of high energy nuclear collisions at RHIC and LHC: Brownian motion versus diffusion in the evolving Glasma

abstract: We study the transverse momentum, $p_T$, broadening of charm and beauty quarks in the early stage of high energy nuclear collisions. We aim to compare the diffusion in the evolving Glasma fields with that of a standard, Markovian-Brownian motion in a thermalized medium with the same energy density of the Glasma fields. The Brownian motion is studied via Langevin equations with diffusion coefficients computed within perturbative Quantum Chromodynamics. We find that for small values of the saturation scale, $Q_s$, the average $p_T$ broadening in the two motions is comparable, that suggests that the diffusion coefficient in the evolving Glasma fields is in agreement with the perturbative calculations. On the other hand, for large $Q_s$ the $p_T$ broadening in the Langevin motion is smaller than that in the Glasma fields. This difference can be related to the fact that heavy quarks in the latter system experience diffusion in strong, coherent gluon fields that leads to a faster momentum broadening due to memory, or equivalently to a strong correlation in the transverse plane.


title: On the convergence rate of the "out-of-order" block Gibbs sampler

abstract: It is shown that a seemingly harmless reordering of the steps in a block Gibbs sampler can actually invalidate the algorithm. In particular, the Markov chain that is simulated by the "out-of-order" block Gibbs sampler does not have the correct invariant probability distribution. However, despite having the wrong invariant distribution, the Markov chain converges at the same rate as the original block Gibbs Markov chain. More specifically, it is shown that either both Markov chains are geometrically ergodic (with the same geometric rate of convergence), or neither one is. These results are important from a practical standpoint because the (invalid) out-of-order algorithm may be easier to analyze than the (valid) block Gibbs sampler (see, e.g., Yang and Rosenthal [2019]).


title: Beating Betz's Law: A larger fundamental upper bound for wind energy harvesting

abstract: Betz's law, purportedly, says an ideal wind harvester cannot extract more than 16/27 ($\sim$59\%) of the wind energy. As the law's derivation relies on momentum and energy conservation with incompressible flow and not the physical mechanism coupling the wind-field to the extraction of work it is ubiquitously regarded as a "universal" upper bound on efficiency, as inclusion of mechanics, aerodynamics and thermodynamics are presumed to worsen this upper bound. Here we show that when unneeded assumptions in the Betz's law derivation are relaxed a higher bound of 2/3 ($\sim$67\%) can be achieved. A concrete example, strictly obeying the identical energy and momentum conservation used to derive the Betz's law, is given that violates Betz's law by achieving our higher 2/3 bound. Thus Betz's law is not a universal limit on wind energy harvesting efficiency. More surprisingly, we show Betz law is not simply the limit case of a vanishingly-thin turbine either. In 2-D models specific for turbines, radial flow is known to occur to occur as a consequence of angular momentum,\cite{Sharpe2004} but here we show in a 1-D modelthat allowing any radial flux out of the harvester cross-section can increase the efficiency without any need to consider angular momentum or explicit 2-D models. A key design insight we glean is that for high-efficiency harvesters it is better to strive for the least pressure build up (to increase flux) -- the exact opposite of the Betz model's sole operational principle of high pressure differentials. Additionally, we derive an alternative metric of harvester efficiency which takes into account the downstream wake expansion ignored by the conventional definition of power conversion factors, and the resulting upper bound this places on power extraction from dense grids of harvesters.


title: International Workshop on Continual Semi-Supervised Learning: Introduction, Benchmarks and Baselines

abstract: The aim of this paper is to formalize a new continual semi-supervised learning (CSSL) paradigm, proposed to the attention of the machine learning community via the IJCAI 2021 International Workshop on Continual Semi-Supervised Learning (CSSL-IJCAI), with the aim of raising field awareness about this problem and mobilizing its effort in this direction. After a formal definition of continual semi-supervised learning and the appropriate training and testing protocols, the paper introduces two new benchmarks specifically designed to assess CSSL on two important computer vision tasks: activity recognition and crowd counting. We describe the Continual Activity Recognition (CAR) and Continual Crowd Counting (CCC) challenges built upon those benchmarks, the baseline models proposed for the challenges, and describe a simple CSSL baseline which consists in applying batch self-training in temporal sessions, for a limited number of rounds. The results show that learning from unlabelled data streams is extremely challenging, and stimulate the search for methods that can encode the dynamics of the data stream.


title: Curvature induces active velocity waves in rotating multicellular spheroids

abstract: The multicellular organization of diverse systems, such as embryos, intestines and tumours, relies on the coordinated migration of cells in 3D curved environments. In these settings, cells establish supracellular patterns of motion, including collective rotation and invasion. While such collective modes are increasingly well understood in 2D flat systems, the consequences of geometrical and topological constraints on collective cell migration in 3D curved tissues are largely unknown. Here, we study 3D collective migration in mammary cell spheroids, which represent a common and conceptually simple curved geometry. We discover that these rotating spheroids exhibit a collective mode of cell migration in the form of a velocity wave propagating along the equator with a wavelength equal to the spheroid perimeter. This wave is accompanied by a pattern of incompressible cellular flow across the spheroid surface featuring topological defects, as dictated by the closed spherical topology. Using a minimal active particle model, we reveal that this collective mode originates from the active flocking behaviour of a cell layer confined to a curved surface. Our results thus identify curvature-induced velocity waves as a generic mode of collective cell migration, which could impact the dynamical organization of 3D curved tissues.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.CB


title: Play to Grade: Testing Coding Games as Classifying Markov Decision Process

abstract: Contemporary coding education often presents students with the task of developing programs that have user interaction and complex dynamic systems, such as mouse based games. While pedagogically compelling, there are no contemporary autonomous methods for providing feedback. Notably, interactive programs are impossible to grade by traditional unit tests. In this paper we formalize the challenge of providing feedback to interactive programs as a task of classifying Markov Decision Processes (MDPs). Each student's program fully specifies an MDP where the agent needs to operate and decide, under reasonable generalization, if the dynamics and reward model of the input MDP should be categorized as correct or broken. We demonstrate that by designing a cooperative objective between an agent and an autoregressive model, we can use the agent to sample differential trajectories from the input MDP that allows a classifier to determine membership: Play to Grade. Our method enables an automatic feedback system for interactive code assignments. We release a dataset of 711,274 anonymized student submissions to a single assignment with hand-coded bug labels to support future research.


title: Twisted heterotic/type I duality

abstract: We formulate a twisted version of the conjectured duality between heterotic and type I string theories. Our formulation relates the chiral part of the heterotic string with a type I topological B-model on a Calabi-Yau five-fold. We provide a non-trivial check of this duality by showing that certain infinite-dimensional Lie algebras of global gauge transformations built from each theory are isomorphic. Matching the structure constants of the Lie algebras involves a detailed analysis of one-loop corrections on the type I side.


title: Scattering fingerprints of two-state dynamics

abstract: Particle transport in complex environments such as the interior of living cells is often (transiently) non-Fickian or anomalous, that is, it deviates from the laws of Brownian motion. Such anomalies may be the result of small-scale spatio-temporal heterogeneities in, or viscoelastic properties of, the medium, molecular crowding, etc. Often the observed dynamics displays multi-state characteristics, i.e. distinct modes of transport dynamically interconverting between each other in a stochastic manner. Reliably distinguishing between single- and multi-state dynamics is challenging and requires a combination of distinct approaches. To complement the existing methods relying on the analysis of the particle's mean squared displacement, position- or displacement-autocorrelation function, and propagators, we here focus on "scattering fingerprints" of multi-state dynamics. We develop a theoretical framework for two-state scattering signatures -- the intermediate scattering function and dynamic structure factor -- and apply it to the analysis of simple model systems as well as particle-tracking experiments in living cells. We consider inert tracer-particle motion as well as systems with an internal structure and dynamics. Our results may generally be relevant for the interpretation of state-of-the-art differential dynamic microscopy experiments on complex particulate systems, as well as inelastic or quasielastic neutron (incl. spin-echo) and X-ray scattering scattering probing structural and dynamical properties of macromolecules, when the underlying dynamics displays two-state transport.


title: The $\mathfrak{gl}_2$-Skein Module of Lens Spaces via the Torus and Solid Torus

abstract: We compute the action of the $\mathfrak{gl}_2$-skein algebra of the torus on the $\mathfrak{gl}_2$-skein module of the solid torus. As a result, we show that the $\mathfrak{gl}_2$-skein modules of lens spaces is spanned by $\left(\left\lfloor{\frac{p}{2}}\right \rfloor+1\right)\left(2\left\lfloor{\frac{p}{2}}\right \rfloor+1\right)$ elements.


title: Non-degenerate Killing horizons in analytic vacuum spacetimes

abstract: We prove a geometric characterization of all possible 4-dimensional real analytic vacuum spacetimes near non-degenerate Killing horizons. It is known that any such horizon admits a canonically induced real analytic Riemannian metric with a Killing vector field of constant length. In this paper we prove the converse statement: Every real analytic Riemannian 3-manifold, which admits a Killing vector field of constant length, gives rise to a unique (up to isometry) real analytic vacuum spacetime near a non-degenerate Killing horizon. Our result applies in particular to bifurcate horizons (e.g. black hole event horizons) and non-degenerate compact Cauchy horizons in real analytic vacuum spacetimes, since classical results of Hawking and Moncrief-Isenberg (and recent generalizations thereof) show that such horizons are non-degenerate Killing horizons.


title: Jupiter's Temperate Belt/Zone Contrasts Revealed at Depth by Juno Microwave Observations

abstract: Juno Microwave Radiometer (MWR) observations of Jupiter's mid-latitudes reveal a strong correlation between brightness temperature contrasts and zonal winds, confirming that the banded structure extends throughout the troposphere. However, the microwave brightness gradient is observed to change sign with depth: the belts are microwave-bright in the $p<5$ bar range and microwave-dark in the $p>10$ bar range. The transition level (which we call the jovicline) is evident in the MWR 11.5 cm channel, which samples the 5-14 bar range when using the limb-darkening at all emission angles. The transition is located between 4 and 10 bars, and implies that belts change with depth from being NH$_3$-depleted to NH$_3$-enriched, or from physically-warm to physically-cool, or more likely a combination of both. The change in character occurs near the statically stable layer associated with water condensation. The implications of the transition are discussed in terms of ammonia redistribution via meridional circulation cells with opposing flows above and below the water condensation layer, and in terms of the `mushball' precipitation model, which predicts steeper vertical ammonia gradients in the belts versus the zones. We show via the moist thermal wind equation that both the temperature and ammonia interpretations can lead to vertical shear on the zonal winds, but the shear is $\sim50\times$ weaker if only NH$_3$ gradients are considered. Conversely, if MWR observations are associated with kinetic temperature gradients then it would produce zonal winds that increase in strength down to the jovicline, consistent with Galileo probe measurements; then decay slowly at higher pressures.


title: Fairer LP-based Online Allocation via Analytic Center

abstract: In this paper, we consider an online resource allocation problem where a decision maker accepts or rejects incoming customer requests irrevocably in order to maximize expected reward given limited resources. At each time, a new order/customer/bid is revealed with a request of some resource(s) and a reward. We consider a stochastic setting where all the orders are i.i.d. sampled from an unknown distribution. Such formulation arises from many classic applications such as the canonical (quantity-based) network revenue management problem and the Adwords problem. While the literature on the topic mainly focuses on regret minimization, our paper considers the \textit{fairness} aspect of the problem. On a high level, we define the fairness in a way that a fair online algorithm should treat similar agents/customers similarly, and the decision made for similar agents/customers should be consistent over time. To achieve this goal, we define the fair offline solution as the analytic center of the offline optimal solution set, and introduce \textit{cumulative unfairness} as the cumulative deviation from the online solutions to the fair offline solution over time. We propose a fair algorithm based on an interior-point LP solver and a mechanism that dynamically detects unfair resource spending. Our algorithm achieves cumulative unfairness on the scale of order $O(\log(T))$, while maintains the regret to be bounded without dependency on $T$. In addition, compared to the literature, our result is produced under less restrictive assumptions on the degeneracy of the underlying linear program.


title: Heterogeneous Multi-player Multi-armed Bandits: Closing the Gap and Generalization

abstract: Despite the significant interests and many progresses in decentralized multi-player multi-armed bandits (MP-MAB) problems in recent years, the regret gap to the natural centralized lower bound in the heterogeneous MP-MAB setting remains open. In this paper, we propose BEACON -- Batched Exploration with Adaptive COmmunicatioN -- that closes this gap. BEACON accomplishes this goal with novel contributions in implicit communication and efficient exploration. For the former, we propose a novel adaptive differential communication (ADC) design that significantly improves the implicit communication efficiency. For the latter, a carefully crafted batched exploration scheme is developed to enable incorporation of the combinatorial upper confidence bound (CUCB) principle. We then generalize the existing linear-reward MP-MAB problems, where the system reward is always the sum of individually collected rewards, to a new MP-MAB problem where the system reward is a general (nonlinear) function of individual rewards. We extend BEACON to solve this problem and prove a logarithmic regret. BEACON bridges the algorithm design and regret analysis of combinatorial MAB (CMAB) and MP-MAB, two largely disjointed areas in MAB, and the results in this paper suggest that this previously ignored connection is worth further investigation.


title: Towards the extended SU(2) Proca theory

abstract: In this work, we explore the construction of the most general vector-tensor theory with an SU(2) global symmetry in the vector sector as a proposal for a modified theory of gravity. We start with a general Lagrangian containing terms involving symmetric and/or antisymmetric combinations of the covariant derivative of the vector field plus an arbitrary function of the vector field times the Ricci scalar. Then, we study the degeneracy of the full theory to determine whether it can be healthy or not. We find relations among some of the free functions in the Lagrangian that are necessary for the healthiness of the theory in correspondence with the several ways in which the kinetic matrix can be turned degenerate. Finally, we take the decoupling limit of the theory and find additional conditions on the free functions that are necessary for the healthiness of the longitudinal modes.


title: Spin triplet superconductivity driven by finite momentum spin fluctuations

abstract: A small number of superconductors are believed to exhibit intrinsic spin triplet pairing, and they are often discussed in terms of a simple, $^3$He-like picture where ferromagnetic spin fluctuations provide the "glue". However, in some cases in which reliable inelastic neutron scattering measurements are available, spin excitations are found to be peaked at finite momentum $\bf q$ rather than ${\bf q}=0$. Here we investigate some simple models that exhibit triplet pairing arising from antiferromagnetic spin fluctuations. We show that a strong peak at larger ${\bf q}$ in the magnetic susceptibility can drive such states and can give rise to pairing states with nodes in the $k_z$ plane even in the presence of a pure 2D Fermi surface. In these situations, dominant pair scattering processes occur between Fermi surface segments with like signs of the superconducting order parameter, yet they are consistent with an overall odd parity state. We examine the applicability of these scenarios to putative triplet superconductors UTe$_2$ by calculations based on three dimensional Fermi surfaces.


title: Entropy-based adaptive Hamiltonian Monte Carlo

abstract: Hamiltonian Monte Carlo (HMC) is a popular Markov Chain Monte Carlo (MCMC) algorithm to sample from an unnormalized probability distribution. A leapfrog integrator is commonly used to implement HMC in practice, but its performance can be sensitive to the choice of mass matrix used therein. We develop a gradient-based algorithm that allows for the adaptation of the mass matrix by encouraging the leapfrog integrator to have high acceptance rates while also exploring all dimensions jointly. In contrast to previous work that adapt the hyperparameters of HMC using some form of expected squared jumping distance, the adaptation strategy suggested here aims to increase sampling efficiency by maximizing an approximation of the proposal entropy. We illustrate that using multiple gradients in the HMC proposal can be beneficial compared to a single gradient-step in Metropolis-adjusted Langevin proposals. Empirical evidence suggests that the adaptation method can outperform different versions of HMC schemes by adjusting the mass matrix to the geometry of the target distribution and by providing some control on the integration time.


title: Scalable Bayesian Network Structure Learning with Splines

abstract: The graph structure of a Bayesian network (BN) can be learned from data using the well-known score-and-search approach. Previous work has shown that incorporating structured representations of the conditional probability distributions (CPDs) into the score-and-search approach can improve the accuracy of the learned graph. In this paper, we present a novel approach capable of learning the graph of a BN and simultaneously modelling linear and non-linear local probabilistic relationships between variables. We achieve this by a combination of feature selection to reduce the search space for local relationships and extending the score-and-search approach to incorporate modelling the CPDs over variables as Multivariate Adaptive Regression Splines (MARS). MARS are polynomial regression models represented as piecewise spline functions. We show on a set of discrete and continuous benchmark instances that our proposed approach can improve the accuracy of the learned graph while scaling to instances with a large number of variables.


title: Controlling morphology in hybrid isotropic/patchy particle assemblies

abstract: Brownian Dynamics is used to study self-assembly in a hybrid system of istotropic particles (IPs), combined with anisotropic building blocks that represent special "designer particles". Those are modeled as spherical patchy particles (PPs) with binding only allowed between their patches and IPs. In this study, two types of PPs are considered: Octahedral PPs (Oh-PPs) and Square PPs (Sq-PPs), with octahedral and square arrangements of patches, respectively. The self-assembly is additionally facilitated by the simulated annealing procedure. The resultant structures are characterized by a combination of local correlations in cubatic ordering, and a symmetry-specific variation of bond orientation order parameters (SymBOPs). By varying the PP/IP size ratio, we detected a sharp crossover between two distinct morphologies, in both types of systems. High symmetry phases, NaCl crystal for Oh-PP and square lattice for Sq-PP, are observed for larger size ratios. For smaller ones, the dominant morphologies are significantly different, e.g., Oh-PPs form a compact amorphous structure with predominantly Face-to-Face orientation of neighboring PPs. Unusually for a morphology without a long range order, it is still possible to identify well organized coherent clusters of this structure, thanks to the adoption of our SymBOP-based characterization.


title: (Almost) Free Incentivized Exploration from Decentralized Learning Agents

abstract: Incentivized exploration in multi-armed bandits (MAB) has witnessed increasing interests and many progresses in recent years, where a principal offers bonuses to agents to do explorations on her behalf. However, almost all existing studies are confined to temporary myopic agents. In this work, we break this barrier and study incentivized exploration with multiple and long-term strategic agents, who have more complicated behaviors that often appear in real-world applications. An important observation of this work is that strategic agents' intrinsic needs of learning benefit (instead of harming) the principal's explorations by providing "free pulls". Moreover, it turns out that increasing the population of agents significantly lowers the principal's burden of incentivizing. The key and somewhat surprising insight revealed from our results is that when there are sufficiently many learning agents involved, the exploration process of the principal can be (almost) free. Our main results are built upon three novel components which may be of independent interest: (1) a simple yet provably effective incentive-provision strategy; (2) a carefully crafted best arm identification algorithm for rewards aggregated under unequal confidences; (3) a high-probability finite-time lower bound of UCB algorithms. Experimental results are provided to complement the theoretical analysis.


title: The Importance of Open Data Policy to Tackle Pandemic in Latin America

abstract: Open Data Policies can provide transparency, impulse innovation and citizenship participation. Access to the right data in right time can produce huge benefits to population. But, in Latin America there is not enough interest from governments to promote and use properly. By the other hand, global pandemic has caused many damages in different levels, i.e. Economy, Public Health, Education, etc. The paper opens a discussion about the importance of Open Data Policy to mitigate the impact of Covid-19 and overpass this problem.


title: The nonlinear anisotropic model of the Universe with the linear potential

abstract: In the Bianchi I cosmology some subclasses of the Horndeski theory allow for the non-standard anisotropy behavior. For example, the anisotropy is damped near the initial singularity instead of tending to infinity. In this article, we analyze the nonlinear anisotropic model with the linear potential.We have considered an example of such theory, for which the anisotropy is always finite. The anisotropy reaches its a maximum value at the initial moment. The anisotropy suppression occurs during the inflationary stage, and it approaches zero at later times. This cosmological model does not contain the singular point.


title: Reed-Muller Codes on BMS Channels Achieve Vanishing Bit-Error Probability for All Rates Below Capacity

abstract: This paper considers the performance of Reed-Muller (RM) codes transmitted over binary memoryless symmetric (BMS) channels under bitwise maximum-a-posteriori (bit-MAP) decoding. Its main result is that, for a fixed BMS channel, the family of binary RM codes can achieve a vanishing bit-error probability at rates approaching the channel capacity. This partially resolves a long-standing open problem that connects information theory and error-correcting codes. In contrast with the earlier result for the binary erasure channel, the new proof does not rely on hypercontractivity. Instead, it combines a nesting property of RM codes with new information inequalities relating the generalized extrinsic information transfer function and the extrinsic minimum mean-squared error.


title: Heterogeneous Effects of Software Patches in a Multiplayer Online Battle Arena Game

abstract: The popularity of online gaming has grown dramatically, driven in part by streaming and the billion-dollar e-sports industry. Online games regularly update their software to fix bugs, add functionality that improve the game's look and feel, and change the game mechanics to keep the games fun and challenging. An open question, however, is the impact of these changes on player performance and game balance, as well as how players adapt to these sudden changes. To address these questions, we use causal inference to measure the impact of software patches to League of Legends, a popular team-based multiplayer online game. We show that game patches have substantially different impacts on players depending on their skill level and whether they take breaks between games. We find that the gap between good and bad players increases after a patch, despite efforts to make gameplay more equal. Moreover, longer between-game breaks tend to improve player performance after patches. Overall, our results highlight the utility of causal inference, and specifically heterogeneous treatment effect estimation, as a tool to quantify the complex mechanisms of game balance and its interplay with players' performance.


title: Similarity and Matching of Neural Network Representations

abstract: We employ a toolset -- dubbed Dr. Frankenstein -- to analyse the similarity of representations in deep neural networks. With this toolset, we aim to match the activations on given layers of two trained neural networks by joining them with a stitching layer. We demonstrate that the inner representations emerging in deep convolutional neural networks with the same architecture but different initializations can be matched with a surprisingly high degree of accuracy even with a single, affine stitching layer. We choose the stitching layer from several possible classes of linear transformations and investigate their performance and properties. The task of matching representations is closely related to notions of similarity. Using this toolset, we also provide a novel viewpoint on the current line of research regarding similarity indices of neural network representations: the perspective of the performance on a task.


title: Superfluidity of a laser-stirred Bose-Einstein condensate

abstract: We study superfluidity of a cigar-shaped Bose-Einstein condensate (BEC) by stirring it with a Gaussian potential oscillating back and forth along the axial dimension of the condensate, motivated by experiments of C. Raman et al. Phys. Rev. Lett. 83, 2502 (1999). Using classical-field simulations and perturbation theory we examine the induced heating rate, based on the total energy of the system, as a function of the stirring velocity $v$. We identify the onset of dissipation by a sharply increasing heating rate above a velocity $v_c$, which we define as the critical velocity. We show that $v_c$ is influenced by the oscillating motion, the strength of the stirrer, the temperature and the inhomogeneous density of the cloud. This results in a vanishing $v_c$ for the parameters similar to the experiments, which is inconsistent with the measurement of nonzero $v_c$. However, if the heating rate is based on the thermal fraction after a 100 ms equilibration time, our simulation recovers the experimental observations. We demonstrate that this discrepancy is due to the slow relaxation of the stirred cloud and dipole mode excitation of the cloud.


title: An Improved Positioning Accuracy Method of a Robot Based on Particle Filter

abstract: This paper aims to improve the performance and positioning accuracy of a robot by using the particle filter method. The laser range information is a wireless navigation system mainly used to measure, position, and control autonomous robots. Its localization is more flexible to control than wired guidance systems. However, the navigation through the laser range finder occurs with a large positioning error while it moves or turns fast. For solving this problem, the paper proposes a method to improve the positioning accuracy of a robot in an indoor environment by using a particle filter with robust characteristics in a nonlinear or non-Gaussian system. In this experiment, a robot is equipped with a laser range finder, two encoders, and a gyro for navigation to verify the positioning accuracy and performance. The positioning accuracy and performance could improve by approximately 85.5% in this proposed method.


title: Pay attention to emoji: Feature Fusion Network with EmoGraph2vec Model for Sentiment Analysis

abstract: With the explosive growth of social media, opinionated postings with emojis have increased explosively. Many emojis are used to express emotions, attitudes, and opinions. Emoji representation learning can be helpful to improve the performance of emoji-related natural language processing tasks, especially in text sentiment analysis. However, most studies have only utilized the fixed descriptions provided by the Unicode Consortium without consideration of actual usage scenarios. As for the sentiment analysis task, many researchers ignore the emotional impact of the interaction between text and emojis. It results that the emotional semantics of emojis cannot be fully explored. In this work, we propose a method called EmoGraph2vec to learn emoji representations by constructing a co-occurrence graph network from social data and enriching the semantic information based on an external knowledge base EmojiNet to embed emoji nodes. Based on EmoGraph2vec model, we design a novel neural network to incorporate text and emoji information into sentiment analysis, which uses a hybrid-attention module combined with TextCNN-based classifier to improve performance. Experimental results show that the proposed model can outperform several baselines for sentiment analysis on benchmark datasets. Additionally, we conduct a series of ablation and comparison experiments to investigate the effectiveness and interpretability of our model.


title: Morse boundaries of graphs of groups with finite edge groups

abstract: In this paper we prove that the Morse boundary of a free product depends only on the Morse boundary of its factors. In fact, we also prove the analogous result for graphs of groups with finite edge groups and infinitely many ends. This is a generalization of a result of Martin-Swiatkowski in the case of non-hyperbolic groups.


title: Improving Super-Resolution Performance using Meta-Attention Layers

abstract: Convolutional Neural Networks (CNNs) have achieved impressive results across many super-resolution (SR) and image restoration tasks. While many such networks can upscale low-resolution (LR) images using just the raw pixel-level information, the ill-posed nature of SR can make it difficult to accurately super-resolve an image which has undergone multiple different degradations. Additional information (metadata) describing the degradation process (such as the blur kernel applied, compression level, etc.) can guide networks to super-resolve LR images with higher fidelity to the original source. Previous attempts at informing SR networks with degradation parameters have indeed been able to improve performance in a number of scenarios. However, due to the fully-convolutional nature of many SR networks, most of these metadata fusion methods either require a complete architectural change, or necessitate the addition of significant extra complexity. Thus, these approaches are difficult to introduce into arbitrary SR networks without considerable design alterations. In this paper, we introduce meta-attention, a simple mechanism which allows any SR CNN to exploit the information available in relevant degradation parameters. The mechanism functions by translating the metadata into a channel attention vector, which in turn selectively modulates the network's feature maps. Incorporating meta-attention into SR networks is straightforward, as it requires no specific type of architecture to function correctly. Extensive testing has shown that meta-attention can consistently improve the pixel-level accuracy of state-of-the-art (SOTA) networks when provided with relevant degradation metadata. For PSNR, the gain on blurred/downsampled (X4) images is of 0.2969 dB (on average) and 0.3320 dB for SOTA general and face SR models, respectively.


title: On weakly S-prime submodules

abstract: Let $R$ be a commutative ring with a non-zero identity, $S$ be a multiplicatively closed subset of $R$ and $M$ be a unital $R$-module. In this paper, we define a submodule $N$ of $M$ with $(N:_{R}M)\cap S=\phi$ to be weakly $S$-prime if there exists $s\in S$ such that whenever $a\in R$ and $m\in M$ with $0\neq am\in N$, then either $sa\in(N:_{R}M)$ or $sm\in N$. Many properties, examples and characterizations of weakly $S$-prime submodules are introduced, especially in multiplication modules. Moreover, we investigate the behavior of this structure under module homomorphisms, localizations, quotient modules, cartesian product and idealizations. Finally, we define two kinds of submodules of the amalgamation module along an ideal and investigate conditions under which they are weakly $S$-prime.


title: A system with weights and with critical Sobolev exponent

abstract: In this paper, we investigate the minimization problem : $$ \inf_{ \displaystyle{\begin{array}{lll} u \in H_0^1(\Omega), v \in H_0^1(\Omega),\\ \quad \| u \|_{L^{q}} =1, \quad \| v \|_{L^{q}} = 1 \end{array}}} \left[ \frac{1}{2} \int_{\Omega} a(x) \vert \nabla u(x) \vert^2dx + \displaystyle{ \frac{1}{2} \int_{\Omega} b(x) \vert \nabla v (x)\vert^2dx } - \lambda \displaystyle{\int_{\Omega} u(x)v (x)dx} \right] $$ where $q=\frac{2N}{N-2}$, $ N \geq 4$, $a$ and $b$ are two continuous positive weight functions. We show the existence of solutions of the previous minimizing problem under some conditions on $a$, $b$, the dimension of the space and the parameter $\lambda$.


title: Amplification of Primordial Perturbations from the Rise or Fall of the Inflaton

abstract: The next generation of cosmic microwave background, gravitational wave, and large scale structure, experiments will provide an unprecedented opportunity to probe the primordial power spectrum on small scales. An exciting possibility for what lurks on small scales is a sharp rise in the primordial power spectrum: This can lead to the formation of primordial black holes, providing a dark matter candidate or the black holes observed by the LIGO-Virgo collaboration. In this work we develop a mechanism for the amplification of the small-scale primordial power spectrum, in the context of single-field inflation with a step-like feature in the inflaton potential. Specifically, we consider both the upward and the downward step in the potential. We also discuss the possibility of the strong coupling between perturbations because the rapid changes of the potential derivatives with the time-dependent field value, caused by the step-like feature, could make the coupling stronger. As a result, we find that the perturbations can remain weakly coupled yet sufficiently enhanced if the step realizes the rapid changes of the potential derivatives in some fraction of an e-fold, $\mathcal O(\mathcal P_{\mathcal R}^{1/2}) \lesssim \Delta N < 1$, where $\mathcal P_\mathcal R$ is the power spectrum of the curvature perturbation at that time. We also discuss the PBH formation rate from the inflaton trapping at the local minimum, which can occur in the potential with an upward step.


title: Measurement-Based Time Evolution for Quantum Simulation of Fermionic Systems

abstract: Quantum simulation using time evolution in phase estimation-based quantum algorithms can yield unbiased solutions of classically intractable models. However, long runtimes open such algorithms to decoherence. We show how measurement-based quantum simulation uses effective time evolution via measurement to allow runtime advantages over conventional circuit-based algorithms that use real-time evolution with quantum gates. We construct a hybrid algorithm to find energy eigenvalues in fermionic models using only measurements on graph states. We apply the algorithm to the Kitaev and Hubbard chains. Resource estimates show a runtime advantage if measurements can be performed faster than gates, and graph states compactification is fully used. In this letter, we set the stage to allow advances in measurement precision to improve quantum simulation.


title: Quantum oscillations in interaction-driven insulators

abstract: In recent years it has become understood that quantum oscillations of the magnetization as a function of magnetic field, long recognized as phenomena intrinsic to metals, can also manifest in insulating systems. Theory has shown that in certain simple band insulators, quantum oscillations can appear with a frequency set by the area traced by the minimum gap in momentum space, and are suppressed for weak fields by an intrinsic "Dingle damping" factor reflecting the size of the bandgap. Here we examine quantum oscillations of the magnetization in excitonic and Kondo insulators, for which interactions play a crucial role. In models of these systems, self-consistent parameters themselves oscillate with changing magnetic field, generating additional contributions to quantum oscillations. In the low-temperature, weak-field regime, we find that the lowest harmonic of quantum oscillations of the magnetization are unaffected, so that the zero-field bandgap can still be extracted by measuring the Dingle damping factor of this harmonic. However, these contributions dominate quantum oscillations at all higher harmonics, thereby providing a route to measure this interaction effect.


title: Exactly Solvable Lattice Hamiltonians and Gravitational Anomalies

abstract: We construct infinitely many new exactly solvable local commuting projector lattice Hamiltonian models for general bosonic beyond group cohomology invertible topological phases of order two and four in any spacetime dimensions, whose boundaries are characterized by gravitational anomalies. Examples include the beyond group cohomology invertible phase without symmetry in (4+1)D that has an anomalous boundary $\mathbb{Z}_2$ topological order with fermionic particle and fermionic loop excitations that have mutual $\pi$ statistics. We argue that this construction gives a new non-trivial quantum cellular automaton (QCA) in (4+1)D of order two. We also present an explicit construction of gapped symmetric boundary state for the bosonic beyond group cohomology invertible phase with unitary $\mathbb{Z}_2$ symmetry in (4+1)D. We discuss new quantum phase transitions protected by different invertible phases across the transitions.

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


title: Dispersive optical systems for scalable Raman driving of hyperfine qubits

abstract: Hyperfine atomic states are among the most promising candidates for qubit encoding in quantum information processing. In atomic systems, hyperfine transitions are typically driven through a two-photon Raman process by a laser field which is amplitude modulated at the hyperfine qubit frequency. Here, we introduce a new method for generating amplitude modulation by phase modulating a laser and reflecting it from a highly dispersive optical element known as a chirped Bragg grating (CBG). This approach is passively stable, offers high efficiency, and is compatible with high-power laser sources, enabling large Rabi frequencies and improved quantum coherence. We benchmark this new approach by globally driving an array of $\sim 300$ neutral $^{87}$Rb atomic qubits trapped in optical tweezers, and obtain Rabi frequencies of 2 MHz with photon-scattering error rates of $< 2 \times 10^{-4}$ per $\pi$-pulse. This robust approach can be directly integrated with local addressing optics in both neutral atom and trapped ion systems to facilitate high-fidelity single-qubit operations for quantum information processing.


title: Evolution towards energy equipartition in star clusters: effects of the tidal field, primordial binaries, and internal velocity anisotropy

abstract: This paper is the second in a series investigating the evolution of star clusters towards energy equipartition (EEP). Here, we focus on the effects of the external tidal field of the host galaxy, initial anisotropy in the velocity distribution, and primordial binary star population. The results of our $N$-body simulations show that regardless of the strength of the tidal field or the fraction of primordial binaries: (i) the evolution towards EEP in the intermediate and outer regions of initially anisotropic systems is more rapid than for isotropic systems; (ii) this evolution also proceeds at different rates for the tangential and radial components of the velocity dispersion; and (iii) the outer regions of the initially isotropic systems show a tendency to evolve towards a state of `inverted' EEP in which low-mass stars have smaller velocity dispersion than high-mass stars. We also find that the clusters with primordial binaries stay even farther from EEP than systems containing only single stars. Finally, we show that all these results also hold when the degree of EEP is calculated using quantities measured in projection as it is done in observational studies, and that our findings could be tested with current and upcoming observational data.


title: 2-Group Symmetries and their Classification in 6d

abstract: We uncover 2-group symmetries in 6d superconformal field theories. These symmetries arise when the discrete 1-form symmetry and continuous flavor symmetry group of a theory mix with each other. We classify all 6d superconformal field theories with such 2-group symmetries. The approach taken in 6d is applicable more generally, with minor modifications to include dimension specific operators (such as instantons in 5d and monopoles in 3d), and we provide a discussion of the dimension-independent aspects of the analysis. We include an ancillary mathematica code for computing 2-group symmetries, once the dimension specific input is provided. We also discuss a mixed 't Hooft anomaly between discrete 0-form and 1-form symmetries in 6d.


title: AGC 226178 and NGVS 3543: Two deceptive dwarfs towards Virgo

abstract: The two sources AGC 226178 and NGVS 3543, an extremely faint, clumpy, blue stellar system and a low surface brightness dwarf spheroidal, are adjacent systems in the direction of the Virgo cluster. Both have been studied in detail previously, with it being suggested that they are unrelated normal dwarf galaxies or that NGVS 3543 recently lost its gas through ram pressure stripping, and that AGC 226178 formed from this stripped gas. However, with HST ACS imaging we demonstrate that the stellar population of NGVS 3543 is inconsistent with being at the distance of the Virgo cluster, and that it is likely a foreground object at approximately 10 Mpc. Whereas the stellar population of AGC 226178 is consistent with it being a very young (10-100 Myr) object in the Virgo cluster. Through a re-analysis of the original ALFALFA HI detection we show that AGC 226178 likely formed from gas stripped from the nearby dwarf galaxy VCC 2034, a hypothesis strengthened by the high metallicity measured with MUSE VLT observations. However, it is unclear whether ram pressure or a tidal interaction is responsible for stripping the gas. AGC 226178 is one of at least five similar objects now known towards Virgo. These objects are all young and unlikely to remain visible for over ~500 Myr, suggesting that they are continually produced in the cluster.


title: Non-Gaussianities in the Statistical Distribution of Heavy OPE Coefficients and Wormholes

abstract: The Eigenstate Thermalization Hypothesis makes a prediction for the statistical distribution of matrix elements of simple operators in energy eigenstates of chaotic quantum systems. As a leading approximation, off-diagonal matrix elements are described by Gaussian random variables but higher-point correlation functions enforce non-Gaussian corrections which are further exponentially suppressed in the entropy. In this paper, we investigate non-Gaussian corrections to the statistical distribution of heavy-heavy-heavy OPE coefficients in chaotic two-dimensional conformal field theories. Using the Virasoro crossing kernels, we provide asymptotic formulas involving arbitrary numbers of OPE coefficients from modular invariance on genus-$g$ surfaces. We find that the non-Gaussianities are further exponentially suppressed in the entropy, much like the ETH. We discuss the implication of these results for products of CFT partition functions in gravity and Euclidean wormholes. Our results suggest that there are new connected wormhole geometries that dominate over the genus-two wormhole.


title: First Doppler Limits on Binary Planets and Exomoons in the HR 8799 System

abstract: We place the first constraints on binary planets and exomoons from Doppler monitoring of directly imaged exoplanets. We model radial velocity observations of HR 8799 b, c, and d from Ruffio et al. (2021) and determine upper limits on the $m\sin{i}$ of short-period binary planets and satellites. At 95% confidence, we rule out companions orbiting the three planets more massive than $m\sin{i} = 2 M_J$ with orbital periods shorter than 5 days. We achieve our tightest constraints on moons orbiting HR 8799 c, where with 95% confidence we rule out out edge-on Jupiter-mass companions in periods shorter than 5 days and edge-on half-Jupiter-mass moons in periods shorter than 1 day. These radial velocity observations come from spectra with resolution 20 times lower than typical radial velocity instruments and were taken using a spectrograph that was designed before the first directly imaged exoplanet was discovered. Similar datasets from new and upcoming instruments will probe significantly lower exomoon masses.


title: Topologically localized insulators

abstract: We show that fully-localized, three-dimensional, time-reversal-symmetry-broken insulators do not belong to a single phase of matter but can realize topologically distinct phases that are labelled by integers. The phase transition occurs only when the system becomes conducting at some filling. We find that these novel topological phases are fundamentally distinct from insulators without disorder: they are guaranteed to host delocalized boundary states giving rise to the quantized boundary Hall conductance, whose value is equal to the bulk topological invariant.


title: Evidence from Disrupted Halo Dwarfs that $r$-process Enrichment via Neutron Star Mergers is Delayed by $\gtrsim500$ Myrs

abstract: The astrophysical origins of $r$-process elements remain elusive. Neutron star mergers (NSMs) and special classes of core-collapse supernovae (rCCSNe) are leading candidates. Due to these channels' distinct characteristic timescales (rCCSNe: prompt, NSMs: delayed), measuring $r$-process enrichment in galaxies of similar mass, but differing star-formation durations might prove informative. Two recently discovered disrupted dwarfs in the Milky Way's stellar halo, Kraken and \textit{Gaia}-Sausage Enceladus (GSE), afford precisely this opportunity: both have $M_{\star}\approx10^{8}M_{\rm{\odot}}$, but differing star-formation durations of ${\approx}2$ Gyrs and ${\approx}3.6$ Gyrs. Here we present $R\approx50,000$ Magellan/MIKE spectroscopy for 31 stars from these systems, detecting the $r$-process element Eu in all stars. Stars from both systems have similar [Mg/H]$\approx-1$, but Kraken has a median [Eu/Mg]$\approx-0.1$ while GSE has an elevated [Eu/Mg]$\approx0.2$. With simple models we argue NSM enrichment must be delayed by $500-1000$ Myrs to produce this difference. rCCSNe must also contribute, especially at early epochs, otherwise stars formed during the delay period would be Eu-free. In this picture, rCCSNe account for $\approx50\%$ of the Eu in Kraken, $\approx25\%$ in GSE, and $\approx15\%$ in dwarfs with extended star-formation durations like Sagittarius. The inferred delay time for NSM enrichment is $10-100\times$ longer than merger delay times from stellar population synthesis -- this is not necessarily surprising because the enrichment delay includes time taken for NSM ejecta to be incorporated into subsequent generations of stars. For example, this may be due to natal kicks that result in $r$-enriched material deposited far from star-forming gas, which then takes $\approx10^{8}-10^{9}$ years to cool in these galaxies.


title: The black hole information puzzle and the quantum de Finetti theorem

abstract: The black hole information puzzle arises from a discrepancy between conclusions drawn from general relativity and quantum theory about the nature of the radiation emitted by a black hole. According to Hawking's original argument, the radiation is thermal and its entropy thus increases monotonically as the black hole evaporates. Conversely, due to the reversibility of time evolution according to quantum theory, the radiation entropy should start to decrease after a certain time, as predicted by the Page curve. This decrease has been confirmed by new calculations based on the replica trick, which also exhibit its geometrical origin: spacetime wormholes that form between the replicas. Here we analyse the discrepancy between these and Hawking's original conclusions from a quantum information theory viewpoint, using in particular the quantum de Finetti theorem. The theorem implies the existence of extra information, $W$, which is neither part of the black hole nor the radiation, but plays the role of a reference. The entropy obtained via the replica trick can then be identified to be the entropy $S(R|W)$ of the radiation conditioned on the reference $W$, whereas Hawking's original result corresponds to the non-conditional entropy $S(R)$. The entropy $S(R|W)$, which mathematically is an ensemble average, gains an operational meaning in an experiment with $N$ independently prepared black holes: For large $N$, it equals the normalised entropy of their joint radiation, $S(R_1 \cdots R_N)/N$. The discrepancy between this entropy and $S(R)$ implies that the black holes are correlated. The replica wormholes may thus be interpreted as the geometrical representation of this correlation. Our results also suggest a many-black-hole extension of the widely used random unitary model, which we support with non-trivial checks.


title: Gravitational anomaly of 3+1 dimensional Z_2 toric code with fermionic charges and fermionic loop self-statistics

abstract: Quasiparticle excitations in $3+1$ dimensions can be either bosons or fermions. In this work, we introduce the notion of fermionic loop excitations in $3+1$ dimensional topological phases. Specifically, we construct a new many-body lattice invariant of gapped Hamiltonians, the loop self-statistics, that distinguishes two bosonic topological orders that both superficially resemble $3+1$ d ${\mathbb{Z}}_2$ gauge theory coupled to fermionic charged matter. The first has fermionic charges and bosonic ${\mathbb{Z}}_2$ gauge flux loops (FcBl) and is just the ordinary fermionic toric code. The second has fermionic charges and fermionic loops (FcFl), and, as we argue, can only exist at the boundary of a non-trivial 4+1d invertible bosonic phase, stable without any symmetries, i.e. it possesses a gravitational anomaly. We substantiate these claims by constructing an explicit exactly solvable $4+1$ d Walker-Wang model and computing the loop self-statistics in the fermionic ${\mathbb{Z}}_2$ gauge theory hosted at its boundary. We also show that the FcFl phase has the same gravitational anomaly as all-fermion quantum electrodynamics. Our results are in agreement with the recent classification of nondegenerate braided fusion 2-categories by Johnson-Freyd, and with the cobordism prediction of a non-trivial ${\mathbb{Z}}_2$ classified $4+1$ d invertible phase with action $S=\frac{1}{2} \int w_2 w_3$.


title: Interacting systems and wormholes

abstract: We consider a class of tripartite systems for which two $d$-dimensional QFTs are cross-coupled via a third $d+1$-dimensional "messenger" QFT. We analyse in detail the example of a pair of one-dimensional matrix quantum mechanics, coupled via a two-dimensional theory of the BF-type and compute its partition function and simple correlators. This construction is extendible in higher dimensions, using a Chern-Simons "messenger" theory. In all such examples, the exact partition function acquires a form, speculated to correspond to systems dual to Euclidean wormholes and the cross correlators are sufficiently soft and consistent with analogous gravitational calculations. Another variant of the tripartite system is studied, where the messenger theory is described by a non-self-interacting (matrix)-field, reaching similar conclusions. While the Euclidean theories we consider are perfectly consistent, the two possible analytic continuations into Lorentzian signature (messenger vs. boundary QFT directions) of the tripartite models, reveal physical features and "pathologies" resembling those of the expected Lorentzian gravitational backgrounds.


title: DESHIMA 2.0: development of an integrated superconducting spectrometer for science-grade astronomical observations

abstract: Integrated superconducting spectrometer (ISS) technology will enable ultra-wideband, integral-field spectroscopy for (sub)millimeter-wave astronomy, in particular, for uncovering the dust-obscured cosmic star formation and galaxy evolution over cosmic time. Here we present the development of DESHIMA 2.0, an ISS for ultra-wideband spectroscopy toward high-redshift galaxies. DESHIMA 2.0 is designed to observe the 220-440 GHz band in a single shot, corresponding to a redshift range of $z$=3.3-7.6 for the ionized carbon emission ([C II] 158 $\mu$m). The first-light experiment of DESHIMA 1.0, using the 332-377 GHz band, has shown an excellent agreement among the on-sky measurements, the lab measurements, and the design. As a successor to DESHIMA 1.0, we plan the commissioning and the scientific observation campaign of DESHIMA 2.0 on the ASTE 10-m telescope in 2023. Ongoing upgrades for the full octave-bandwidth system include the wideband 347-channel chip design and the wideband quasi-optical system. For efficient measurements, we also develop the observation strategy using the mechanical fast sky-position chopper and the sky-noise removal technique based on a novel data-scientific approach. In the paper, we show the recent status of the upgrades and the plans for the scientific observation campaign.


title: Memory-triggered supernova neutrino detection

abstract: We demonstrate that observations of the gravitational memory from core collapse supernovae at future Deci-Hz interferometers enable time-triggered searches of supernova neutrinos at Mt-scale detectors. Achieving a sensitivity to characteristic strains of at least $\sim 10^{-25}$ at $f\simeq 0.3$ Hz -- e.g., by improving the noise of DECIGO by one order of magnitude -- will allow robust time triggers for supernovae at distances $D\sim 40-300$ Mpc, resulting in a nearly background-free sample of $\sim 3-70$ neutrino events per Mt per decade of operation. This sample would bridge the sensitivity gap between rare galactic supernova bursts and the cosmological diffuse supernova neutrino background, allowing detailed studies of the neutrino emission of supernovae in the local Universe.


title: Bound on resistivity in flat-band materials due to the quantum metric

abstract: The quantum metric is a central quantity of band theory but has so far not been related to many response coefficients due to its nonclassical origin. However, within a newly developed Kubo formalism for fast relaxation, the decomposition of the dc electrical conductivity into both classical (intraband) and quantum (interband) contributions recently revealed that the interband part is proportional to the quantum metric. Here, we show that interband effects due to the quantum metric can be significantly enhanced and even dominate the conductivity for semimetals at charge neutrality and for systems with highly quenched bandwidth. This is true in particular for topological flat-band materials of nonzero Chern number, where for intermediate relaxation rates an upper bound exists for the resistivity due to the common geometrical origin of quantum metric and Berry curvature. We suggest to search for these effects in highly tunable rhombohedral trilayer graphene flakes.


title: A convergent inflation hierarchy for quantum causal structures

abstract: A causal structure is a description of the functional dependencies between random variables. A distribution is compatible with a given causal structure if it can be realized by a process respecting these dependencies. Deciding whether a distribution is compatible with a structure is a practically and fundamentally relevant, yet very difficult problem. Only recently has a general class of algorithms been proposed: These so-called inflation techniques associate to any causal structure a hierarchy of increasingly strict compatibility tests, where each test can be formulated as a computationally efficient convex optimization problem. Remarkably, it has been shown that in the classical case, this hierarchy is complete in the sense that each non-compatible distribution will be detected at some level of the hierarchy. An inflation hierarchy has also been formulated for causal structures that allow for the observed classical random variables to arise from measurements on quantum states - however, no proof of completeness of this quantum inflation hierarchy has been supplied. In this paper, we construct a first version of the quantum inflation hierarchy that is provably convergent. From a technical point of view, convergence proofs are built on de Finetti Theorems, which show that certain symmetries (which can be imposed in convex optimization problems) imply independence of random variables (which is not directly a convex constraint). A main technical ingredient to our proof is a Quantum de Finetti Theorem that holds for general tensor products of $C^*$-algebras, generalizing previous work that was restricted to minimal tensor products.


title: Gravitational Baryogenesis and Dark Matter from Light Black Holes

abstract: We study a scenario in which the baryon asymmetry is created through Hawking radiation from primordial black holes via a dynamically-generated chemical potential. This mechanism can also be used to generate the observed dark matter abundance, regardless of whether or not the black holes fully evaporate. In the case that evaporation ceases, the observed dark matter abundance is generically comprised of both relic black holes and an asymmetric dark matter component. We show that this two-component dark matter scenario can simultaneously account for the observed baryon asymmetry and the cosmological dark matter, a possibility which evades constraints on either individual candidate.


title: Multi-messenger Time-domain Signatures Of Supermassive Black Hole Binaries

abstract: Supermassive black hole binaries (SMBHBs) are a natural outcome of galaxy mergers and should form frequently in galactic nuclei. Sub-parsec binaries can be identified from their bright electromagnetic emission, e.g., Active Galactic Nuclei (AGN) with Doppler shifted broad emission lines or AGN with periodic variability, as well as from the emission of strong gravitational radiation. The most massive binaries (with total mass >10^8 M_sol) emit in the nanohertz band and are targeted by Pulsar Timing Arrays (PTAs). Here we examine the synergy between electromagnetic and gravitational wave signatures of SMBHBs. We connect both signals to the orbital dynamics of the binary and examine the common link between them, laying the foundation for joint multi-messenger observations. We find that periodic variability arising from relativistic Doppler boost is the most promising electromagnetic signature to connect with GWs. We delineate the parameter space (binary total mass/chirp mass versus binary period/GW frequency) for which joint observations are feasible. Currently multi-messenger detections are possible only for the most massive and nearby galaxies, limited by the sensitivity of PTAs. However, we demonstrate that as PTAs collect more data in the upcoming years, the overlapping parameter space is expected to expand significantly.