title: Truncation effects in the charge representation of the O(2) model

abstract: The O(2) model in Euclidean space-time is the zero-gauge-coupling limit of the compact scalar quantum electrodynamics. We obtain a dual representation of it called the charge representation. We study the quantum phase transition in the charge representation with a truncation to ``spin $S$," where the quantum numbers have an absolute value less than or equal to $S$. The charge representation preserves the gapless-to-gapped phase transition even for the smallest spin truncation $S = 1$. The phase transition for $S = 1$ is an infinite-order Gaussian transition with the same critical exponents $\delta$ and $\eta$ as the Berezinskii-Kosterlitz-Thouless (BKT) transition, while there are true BKT transitions for $S \ge 2$. The essential singularity in the correlation length for $S = 1$ is different from that for $S \ge 2$. The exponential convergence of the phase-transition point is studied in both Lagrangian and Hamiltonian formulations. We discuss the effects of replacing the truncated $\hat{U}^{\pm} = \exp(\pm i \hat{\theta})$ operators by the spin ladder operators $\hat{S}^{\pm}$ in the Hamiltonian. The marginal operators vanish at the Gaussian transition point for $S = 1$, which allows us to extract the $\eta$ exponent with high accuracy.

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


title: A note on some generalizations of Monge's theorem

abstract: We generalize Monge's theorem for $n+1$ pairwise homothetic sets (in particular convex bodies) in $E^n$ in place of three disks in $E^2$. We also present a version for $n+1$ independent points of $E^n$. It also includes the reverse statement. Moreover, we give an analogon of Monge's theorem for the $n$-dimensional sphere and hyperboloid model of the hyperbolic space.


title: The Future is not One-dimensional: Complex Event Schema Induction by Graph Modeling for Event Prediction

abstract: Event schemas encode knowledge of stereotypical structures of events and their connections. As events unfold, schemas are crucial to act as a scaffolding. Previous work on event schema induction focuses either on atomic events or linear temporal event sequences, ignoring the interplay between events via arguments and argument relations. We introduce a new concept of Temporal Complex Event Schema: a graph-based schema representation that encompasses events, arguments, temporal connections and argument relations. In addition, we propose a Temporal Event Graph Model that predicts event instances following the temporal complex event schema. To build and evaluate such schemas, we release a new schema learning corpus containing 6,399 documents accompanied with event graphs, and we have manually constructed gold-standard schemas. Intrinsic evaluations based on schema matching and instance graph perplexity, prove the superior quality of our probabilistic graph schema library compared to linear representations. Extrinsic evaluation on schema-guided future event prediction further demonstrates the predictive power of our event graph model, significantly outperforming human schemas and baselines by more than 23.8% on HITS@1.


title: Triviality of the geometry of mixed $p$-spin spherical Hamiltonians with external field

abstract: We study isotropic Gaussian random fields on the high-dimensional sphere with an added deterministic linear term, also known as mixed p-spin Hamiltonians with external field. We prove that if the external field is sufficiently strong, then the resulting function has trivial geometry, that is only two critical points. This contrasts with the situation of no or weak external field where these functions typically have an exponential number of critical points. We give an explicit threshold $h_c$ for the magnitude of the external fieldnecessary for trivialization and conjecture $h_c$ to be sharp. The Kac-Rice formula is our main tool. Our work extends [Fyo15], which identified the trivial regime for the special case of pure p-spin Hamiltonians with random external field.


title: A Distributed Mixed-Integer Framework to Stochastic Optimal Microgrid Control

abstract: This paper deals with distributed control of microgrids composed of storages, generators, renewable energy sources, critical and controllable loads. We consider a stochastic formulation of the optimal control problem associated to the microgrid that appropriately takes into account the unpredictable nature of the power generated by renewables. The resulting problem is a Mixed-Integer Linear Program and is NP-hard and nonconvex. Moreover, the peculiarity of the considered framework is that no central unit can be used to perform the optimization, but rather the units must cooperate with each other by means of neighboring communication. To solve the problem, we resort to a distributed methodology based on a primal decomposition approach. The resulting algorithm is able to compute high-quality feasible solutions to a two-stage stochastic optimization problem, for which we also provide a theoretical upper bound on the constraint violation. Finally, a Monte Carlo numerical computation on a scenario with a large number of devices shows the efficacy of the proposed distributed control approach. The numerical experiments are performed on realistic scenarios obtained from Generative Adversarial Networks trained an open-source historical dataset of the EU.


title: 4-regular 4-connected Hamiltonian graphs with few Hamiltonian cycles

abstract: We prove that there exists an infinite family of 4-regular 4-connected Hamiltonian graphs with a bounded number of Hamiltonian cycles. We do not know if there exists such a family of 5-regular 5-connected Hamiltonian graphs.


title: Optimal Multi-Manipulator Arm Placement for Maximal Dexterity during Robotics Surgery

abstract: Robot arm placements are oftentimes a limitation in surgical preoperative procedures, relying on trained staff to evaluate and decide on the optimal positions for the arms. Given new and different patient anatomies, it can be challenging to make an informed choice, leading to more frequently colliding arms or limited manipulator workspaces. In this paper, we develop a method to generate the optimal manipulator base positions for the multi-port da Vinci surgical system that minimizes self-collision and environment-collision, and maximizes the surgeon's reachability inside the patient. Scoring functions are defined for each criterion so that they may be optimized over. Since for multi-manipulator setups, a large number of free parameters are available to adjust the base positioning of each arm, a challenge becomes how one can expediently assess possible setups. We thus also propose methods that perform fast queries of each measure with the use of a proxy collision-checker. We then develop an optimization method to determine the optimal position using the scoring functions. We evaluate the optimality of the base positions for the robot arms on canonical trajectories, and show that the solution yielded by the optimization program can satisfy each criterion. The metrics and optimization strategy are generalizable to other surgical robotic platforms so that patient-side manipulator positioning may be optimized and solved.


title: Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)

abstract: Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs is a grand challenge, because the effects of quantum errors depend on exponentially large quantum states. In this work, we present Gleipnir, a novel methodology toward practically computing verified error bounds in quantum programs. Gleipnir introduces the $(\hat\rho,\delta)$-diamond norm, an error metric constrained by a quantum predicate consisting of the approximate state $\hat\rho$ and its distance $\delta$ to the ideal state $\rho$. This predicate $(\hat\rho,\delta)$ can be computed adaptively using tensor networks based on the Matrix Product States. Gleipnir features a lightweight logic for reasoning about error bounds in noisy quantum programs, based on the $(\hat\rho,\delta)$-diamond norm metric. Our experimental results show that Gleipnir is able to efficiently generate tight error bounds for real-world quantum programs with 10 to 100 qubits, and can be used to evaluate the error mitigation performance of quantum compiler transformations.


title: Quantum analysis of second-order effects in superconducting travelling-wave parametric amplifiers

abstract: We have performed a quantum mechanical analysis of travelling-wave parametric amplifiers (TWPAs) in order to investigate five experimental phenomena related to their operations, namely the effect of impedance mismatch, the presence of upper idler modes, the presence of quantum and thermal noise, the generation of squeezed states, and the preservation of pre-squeezed states during amplification. Our analysis uses momentum operators to describe the spatial evolution of quantised modes along a TWPA. We calculate the restriction placed on pump amplitude as well as amplifier gain as a result of impedance mismatch between a TWPA and its external system. We apply our analysis to upper idler modes and demonstrate that they will result in suppressed gain. We show that an ideal TWPA is indeed quantum-limited - i.e. it introduces a half-quantum of zero-point fluctuation which is the minimum possible noise contribution for a phase-preserving linear amplifier. We analyse the thermal noise associated with a TWPA by considering the effect of distributed sources along an amplifier transmission line. Our analysis predicts a doubling of thermal noise in the high gain limit as a result of wave-mixing between signal and idler modes. We study the operation of a TWPA in the presence of a DC bias current, and have shown that highly squeezed states can in principle be generated. However, amplifying a pre-squeezed state using a non-degenerate TWPA generally reduces the squeezing advantage.


title: Casimir entropy and nonlocal response functions to the off-shell quantum fluctuations

abstract: The nonlocal response functions to quantum fluctuations are used to find asymptotic expressions for the Casimir free energy and entropy at arbitrarily low temperature in the configuration of two parallel metallic plates. It is shown that by introducing an alternative nonlocal response to the off-the-mass-shell fluctuations the Lifshitz theory is brought into agreement with the requirements of thermodynamics. According to our results, the Casimir entropy calculated using the nonlocal response functions, which take into account dissipation of conduction electrons, remains positive and monotonously goes to zero with vanishing temperature, i.e., satisfies the Nernst heat theorem. This is true for both plates with perfect crystal lattices and for lattices with defects of structure. The obtained results are discussed in the context of the Casimir puzzle.


title: Fast-transient Searches in Real Time with ZTFReST: Identification of Three Optically-discovered Gamma-ray Burst Afterglows and New Constraints on the Kilonova Rate

abstract: While optical surveys regularly discover slow transients like supernovae on their own, the most common way to discover extragalactic fast transients, fading away in a few nights, is via follow-up observations of gamma-ray burst and gravitational-wave triggers. However, wide-field surveys have the potential to also identify rapidly fading transients independently of such external triggers. The volumetric survey speed of the Zwicky Transient Facility (ZTF) makes it sensitive to faint and fast-fading objects as kilonovae, the optical counterparts to binary neutron stars and neutron star-black hole mergers, out to almost 200Mpc. We introduce an open-source software infrastructure, the ZTF REaltime Search and Triggering, ZTFReST, designed to identify kilonovae and fast optical transients in ZTF data. Using the ZTF alert stream combined with forced photometry, we have implemented automated candidate ranking based on their photometric evolution and fitting to kilonova models. Automated triggering of follow-up systems, such as Las Cumbres Observatory, has also been implemented. In 13 months of science validation, we found several extragalactic fast transients independent of any external trigger (though some counterparts were identified later), including at least one supernova with post-shock cooling emission, two known afterglows with an associated gamma-ray burst, two known afterglows without any known gamma-ray counterpart, and three new fast-declining sources (ZTF20abtxwfx, ZTF20acozryr, and ZTF21aagwbjr) that are likely associated with GRB200817A, GRB201103B, and GRB210204A. However, we have not found any objects which appear to be kilonovae; therefore, we constrain the rate of GW170817-like kilonovae to $R < 900$Gpc$^{-3}$yr$^{-1}$. A framework such as ZTFReST could become a prime tool for kilonova and fast transient discovery with the Vera C. Rubin Observatory.


title: Real-time Forecast Models for TBM Load Parameters Based on Machine Learning Methods

abstract: Because of the fast advance rate and the improved personnel safety, tunnel boring machines (TBMs) have been widely used in a variety of tunnel construction projects. The dynamic modeling of TBM load parameters (including torque, advance rate and thrust) plays an essential part in the design, safe operation and fault prognostics of this complex engineering system. In this paper, based on in-situ TBM operational data, we use the machine-learning (ML) methods to build the real-time forecast models for TBM load parameters, which can instantaneously provide the future values of the TBM load parameters as long as the current data are collected. To decrease the model complexity and improve the generalization, we also apply the least absolute shrinkage and selection (Lasso) method to extract the essential features of the forecast task. The experimental results show that the forecast models based on deep-learning methods, {\it e.g.}, recurrent neural network and its variants, outperform the ones based on the shallow-learning methods, {\it e.g.}, support vector regression and random forest. Moreover, the Lasso-based feature extraction significantly improves the performance of the resultant models.


title: Brownian Motion Conditioned to Spend Limited Time Below a Barrier

abstract: We condition a Brownian motion with arbitrary starting point $y \in \mathbb{R}$ on spending at most $1$ time unit below $0$ and provide an explicit description of the resulting process. In particular, we provide explicit formulas for the distributions of its last zero $g=g^y$ and of its occupation time $\Gamma=\Gamma^y$ below $0$ as functions of $y$. This generalizes a result of Benjamini and Berestycki from 2011, which covers the special case $y=0$. Additionally, we study the behavior of the distributions of $g^y$ and $\Gamma^y$, respectively, for $y \to \pm\infty$.


title: On Minimax Detection of Gaussian Stochastic Sequences and Gaussian Stationary Signals

abstract: Minimax detection of Gaussian stochastic sequences (signals) with unknown covariance matrices is studied. For a fixed false alarm probability (1-st kind error probability), the performance of the minimax detection is being characterized by the best exponential decay rate of the miss probability (2-nd kind error probability) as the length of the observation interval tends to infinity. Our goal is to find the largest set of covariance matrices such that the minimax robust testing of this set (composite hypothesis) can be replaced with testing of only one specific covariance matrix (simple hypothesis) without any loss in detection characteristics. In this paper, we completely describe this maximal set of covariance matrices. Some corollaries address minimax detection of the Gaussian stochastic signals embedded in the White Gaussian noise and detection of the Gaussian stationary signals.


title: Core Electron Binding Energies in Solids from Periodic All-Electron $\Delta$-Self-Consistent-Field Calculations

abstract: Theoretical calculations of core electron binding energies are important for aiding the interpretation of experimental core level photoelectron spectra. In previous work, the $\Delta$-Self-Consistent-Field ($\Delta$-SCF) method based on density functional theory has been shown to yield highly accurate 1s and 2p binding energies in free molecules. However, most experimental work is concerned with solids, not gases. In this study, we demonstrate the application of the all-electron $\Delta$-SCF method to periodic systems. A consideration of the experimentally accessible points of reference leads to the definition of a core electron binding energy in a solid as the difference between the total energies of two $N-1$ electron systems: one with an explicit, localized core hole, and one with an electron removed from the highest occupied state. The calculation of each of these quantities is addressed. In addition, the analogy between a localized core hole and a charged defect in a solid is highlighted, and the extrapolation of calculated core electron binding energies to the infinite supercell limit is discussed. It is found that the extrapolated values of the core electron binding energies from periodic $\Delta$-SCF calculations agree well with experimental results for both metallic and insulating systems, with a mean absolute error of 0.24 eV for the 15 core levels considered in this study.


title: GPU Semiring Primitives for Sparse Neighborhood Methods

abstract: High-performance primitives for mathematical operations on sparse vectors must deal with the challenges of skewed degree distributions and limits on memory consumption that are typically not issues in dense operations. We demonstrate that a sparse semiring primitive can be flexible enough to support a wide range of critical distance measures while maintaining performance and memory efficiency on the GPU. We further show that this primitive is a foundational component for enabling many neighborhood-based information retrieval and machine learning algorithms to accept sparse input. To our knowledge, this is the first work aiming to unify the computation of several critical distance measures on the GPU under a single flexible design paradigm and we hope that it provides a good baseline for future research in this area. Our implementation is fully open source and publicly available as part of the RAFT library of GPU-accelerated machine learning primitives (https://github.com/rapidsai/raft).


title: Data-Driven Reinforcement Learning for Virtual Character Animation Control

abstract: Virtual character animation control is a problem for which Reinforcement Learning (RL) is a viable approach. While current work have applied RL effectively to portray physics-based skills, social behaviours are challenging to design reward functions for, due to their lack of physical interaction with the world. On the other hand, data-driven implementations for these skills have been limited to supervised learning methods which require extensive training data and carry constraints on generalisability. In this paper, we propose RLAnimate, a novel data-driven deep RL approach to address this challenge, where we combine the strengths of RL together with an ability to learn from a motion dataset when creating agents. We formalise a mathematical structure for training agents by refining the conceptual roles of elements such as agents, environments, states and actions, in a way that leverages attributes of the character animation domain and model-based RL. An agent trained using our approach learns versatile animation dynamics to portray multiple behaviours, using an iterative RL training process, which becomes aware of valid behaviours via representations learnt from motion capture clips. We demonstrate, by training agents that portray realistic pointing and waving behaviours, that our approach requires a significantly lower training time, and substantially fewer sample episodes to be generated during training relative to state-of-the-art physics-based RL methods. Also, compared to existing supervised learning-based animation agents, RLAnimate needs a limited dataset of motion clips to generate representations of valid behaviours during training.


title: Kerr-de Sitter Black Hole Revisited

abstract: We interpret the cosmological constant as the energy of the vacuum, and under a minimum amount of assumptions, we show that it is deformed in the vicinity of a black hole. This leads us to reexamine the Kerr-de Sitter solution. We provide a new solution, simpler and geometrically richer, which shows the impact of the rotation in form of a warped curvature. We carry out a detailed and exact study on the new black hole solution, and we conclude with a conjecture regarding the possible impact of our results on alternative theories.


title: Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation

abstract: This article establishes the existence of Lyapunov functions for analyzing the stability of a class of state-constrained systems, and it describes algorithms for their numerical computation. The system model consists of a differential equation coupled with a set-valued relation which introduces discontinuities in the vector field at the boundaries of the constraint set. In particular, the set-valued relation is described by the subdifferential of the indicator function of a closed convex cone, which results in a cone-complementarity system. The question of analyzing stability of such systems is addressed by constructing cone-copositive Lyapunov functions. As a first analytical result, we show that exponentially stable complementarity systems always admit a continuously differentiable cone-copositive Lyapunov function. Putting some more structure on the system vector field, such as homogeneity, we can show that the aforementioned functions can be approximated by a rational function of cone-copositive homogeneous polynomials. This later class of functions is seen to be particularly amenable for numerical computation as we provide two types of algorithms for precisely that purpose. These algorithms consist of a hierarchy of either linear or semidefinite optimization problems for computing the desired cone-copositive Lyapunov function. Some examples are given to illustrate our approach.


title: On Mignotte Secret Sharing Schemes over Gaussian Integers

abstract: Secret Sharing Schemes (SSS) are methods for distributing a secret among a set of participants. One of the first Secret Sharing Schemes was proposed by M. Mignotte, based on the Chinese remainder theorem over the ring of integers. In this article we extend the Mignotte's scheme to the ring of Gaussian Integers and study some of its properties. While doing this we aim to solve a gap in a previous construction of such extension. In addition we show that any access structure can be made through a SSS over $ \mathbb{Z}[i]$.


title: Fibred categorical theory of obstruction and classification of morphisms

abstract: We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further applications are provided, as for example a classification of unital associative algebra extensions with non-abelian kernel in terms of Hochschild cohomology.


title: Two-parameter Identities for Divisor Sums in Algebraic Number Fields

abstract: In a one-page fragment published with his lost notebook, Ramanujan stated two double series identities associated, respectively, with the famous Gauss Circle and Dirichlet Divisor problems. The identities contain an "extra" parameter, and it is possible that Ramanujan derived these identities with the intent of attacking these famous problems. Similar famous unsolved problems are connected with $f_K(n)$, the number of integral ideals of norm $n$ in an algebraic number field $K$. In this paper we establish Riesz sum identities containing an "extra" parameter and involving $f_K(n)$, or divisor functions associated with $K$. Upper bounds for the sums as the upper index tends to infinity are also established.


title: Functional Limit Theorems for Volterra Processes and Applications to Homogenization

abstract: We prove an enhanced limit theorem for additive functionals of a multi-dimensional Volterra process $(y_t)_{t\geq 0}$ in the rough path topology. As an application, we establish weak convergence as $\varepsilon\to 0$ of the solution of the random ordinary differential equation (ODE) $\frac{d}{dt}x^\varepsilon_t=\frac{1}{\sqrt \varepsilon} f(x_t^\varepsilon,y_{\frac{t}{\varepsilon}})$ and show that its limit solves a rough differential equation driven by a Gaussian field with a drift coming from the L\'evy area correction of the limiting rough driver. Furthermore, we prove that the stochastic flows of the random ODE converge to those of the Kunita type It\^o SDE $dx_t=G(x_t,dt)$, where $G(x,t)$ is a semi-martingale with spatial parameters.


title: Neuro-Symbolic VQA: A review from the perspective of AGI desiderata

abstract: An ultimate goal of the AI and ML fields is artificial general intelligence (AGI); although such systems remain science fiction, various models exhibit aspects of AGI. In this work, we look at neuro-symbolic (NS)approaches to visual question answering (VQA) from the perspective of AGI desiderata. We see how well these systems meet these desiderata, and how the desiderata often pull the scientist in opposing directions. It is my hope that through this work we can temper model evaluation on benchmarks with a discussion of the properties of these systems and their potential for future extension.


title: Supporting Multiprocessor Resource Synchronization Protocols in RTEMS

abstract: When considering recurrent tasks in real-time systems, concurrent accesses to shared resources, can cause race conditions or data corruptions. Such a problem has been extensively studied since the 1990s, and numerous resource synchronization protocols have been developed for both uni-processor and multiprocessor real-time systems, with the assumption that the implementation overheads are negligible. However, in practice, the implementation overheads may impact the performance of different protocols depending upon the practiced scenarios, e.g., resources are accessed locally or remotely, and tasks spin or suspend themselves when the requested resources are not available. In this paper, to show the applicability of different protocols in real-world systems, we detail the implementation of several state-of-the-art multiprocessor resource synchronization protocols in RTEMS. To study the impact of the implementation overheads, we deploy these implemented protocols on a real platform with synthetic task set. The measured results illustrate that the developed resource synchronization protocols in RTEMS are comparable to the existed protocol, i.e., MrsP.


title: Sensing quantum chaos through the non-unitary geometric phase

abstract: Quantum chaos is usually characterized through its statistical implications on the energy spectrum of a given system. In this work we propose a decoherent mechanism for sensing quantum chaos. The chaotic nature of a many-body quantum system is sensed by studying the implications that the system produces in the long-time dynamics of a probe coupled to it under a dephasing interaction. By introducing the notion of an effective averaged decoherence factor, we show that the correction to the geometric phase acquired by the probe with respect to its unitary evolution can be exploited as a robust tool for sensing the integrable to chaos transition of the many-body quantum system to which it is coupled. This sensing mechanism is verified for several systems with different types of symmetries, disorder and even in the presence of long-range interactions, evidencing its universality.


title: Variational Autoencoder Analysis of Ising Model Statistical Distributions and Phase Transitions

abstract: Variational autoencoders employ an encoding neural network to generate a probabilistic representation of a data set within a low-dimensional space of latent variables followed by a decoding stage that maps the latent variables back to the original variable space. Once trained, a statistical ensemble of simulated data realizations can be obtained by randomly assigning values to the latent variables that are subsequently processed by the decoding section of the network. To determine the accuracy of such a procedure when applied to lattice models, an autoencoder is here trained on a thermal equilibrium distribution of Ising spin realizations. When the output of the decoder for synthetic data is interpreted probabilistically, spin realizations can be generated by randomly assigning spin values according to the computed likelihood. The resulting state distribution in energy-magnetization space then qualitatively resembles that of the training samples. However, because correlations between spins are suppressed, the computed energies are unphysically large for low-dimensional latent variable spaces. The features of the learned distributions as a function of temperature, however, provide a qualitative indication of the presence of a phase transition and the distribution of realizations with characteristic cluster sizes.


title: A note on commutative and noncommutative Gurariy spaces

abstract: In this short note, we answer two questions about Gurariy spaces asked in the literature in the affirmative. We also prove the analogue of one of the results for the noncommutative Guariy space.


title: Raman imaging of twist angle variations in twisted bilayer graphene at intermediate angles

abstract: Van der Waals layered materials with well-defined twist angles between the crystal lattices of individual layers have attracted increasing attention due to the emergence of unexpected material properties. As many properties critically depend on the exact twist angle and its spatial homogeneity, there is a need for a fast and non-invasive characterization technique of the local twist angle, to be applied preferably right after stacking. We demonstrate that confocal Raman spectroscopy can be utilized to spatially map the twist angle in stacked bilayer graphene for angles between 6.5{\deg} and 8{\deg} when using a green excitation laser. The twist angles can directly be extracted from the moir\'e superlattice-activated Raman scattering process of the transverse acoustic (TA) phonon mode. Furthermore, we show that the width of the TA Raman peak contains valuable information on spatial twist angle variations on length scales below the laser spot size of ~ 500 nm.


title: V-Waves: Spatio-temporally induced group-velocity dispersion in free space

abstract: Introducing precise spatio-temporal structure into a pulsed optical field can lead to remarkable changes with its free propagation. `Space-time' (ST) wave packets, for example, propagate rigidly at a tunable group velocity in free space by inculcating a one-to-one relationship between the axial wave numbers and the temporal frequencies. Here we introduce a new class of ST wave packets that we call V-waves (so named because of their characteristically V-shaped spatio-temporal spectrum) in which a linear one-to-one relationship is introduced between the temporal frequencies and the transverse wave numbers (or spatial frequencies). We confirm experimentally that V-waves experience anomalous group velocity dispersion in free space, all the while maintaining the group velocity fixed at the speed of light in vacuum. Extremely large values of group velocity dispersion can be easily realized, which are not accessible with traditional optical materials or photonic structures. Moreover, V-waves are the unique optical wave packets whose diffraction and dispersion lengths are intrinsically equal by virtue of the spatio-temporal structure of the field itself. These results are of interest for optical signal processing and nonlinear optics.


title: Gluon Parton Distribution of the Pion from Lattice QCD

abstract: We present the first determination of the $x$-dependent pion gluon distribution from lattice QCD using the pseudo-PDF approach. We use lattice ensembles with 2+1+1 flavors of highly improved staggered quarks (HISQ), generated by MILC Collaboration, at two lattice spacings $a\approx 0.12$ and 0.15~fm and three pion masses $M_\pi\approx 220$, 310 and 690 MeV. We use clover fermions for the valence action and momentum smearing to achieve pion boost momentum up to 2.29 GeV. We find that the dependence of the pion gluon parton distribution on lattice spacing and pion mass is mild. We compare our results from the lightest pion mass ensemble with the determination by JAM and xFitter global fits.


title: Density control of large-scale particles swarm through PDE-constrained optimization

abstract: We describe in this paper an optimal control strategy for shaping a large-scale swarm of particles using boundary global actuation. This problem arises as a key challenge in many swarm robotics applications, especially when the robots are passive particles that need to be guided by external control fields. The system is large-scale and underactuated, making the control strategy at the microscopic particle level infeasible. We consider the Kolmogorov forward equation associated to the stochastic process of the single particle to encode the macroscopic behaviour of the particles swarm. The control inputs shape the velocity field of the density dynamics according to the physical model of the actuators. We find the optimal actuation considering an optimal control problem whose state dynamics is governed by a linear parabolic advection-diffusion equation where the control induces a transport field. From a theoretical standpoint, we show the existence of a solution to the resulting nonlinear optimal control problem. From a numerical standpoint, we employ the discrete adjoint method to accurately compute the reduced gradient and we show how it commutes with the optimize-then-discretize approach. Finally, numerical simulations show the effectiveness of the control strategy in driving the density sufficiently close to the target.


title: Knowledge Distillation For Wireless Edge Learning

abstract: In this paper, we propose a framework for predicting frame errors in the collaborative spectrally congested wireless environments of the DARPA Spectrum Collaboration Challenge (SC2) via a recently collected dataset. We employ distributed deep edge learning that is shared among edge nodes and a central cloud. Using this close-to-practice dataset, we find that widely used federated learning approaches, specially those that are privacy preserving, are worse than local training for a wide range of settings. We hence utilize the synthetic minority oversampling technique to maintain privacy via avoiding the transfer of local data to the cloud, and utilize knowledge distillation with an aim to benefit from high cloud computing and storage capabilities. The proposed framework achieves overall better performance than both local and federated training approaches, while being robust against catastrophic failures as well as challenging channel conditions that result in high frame error rates.


title: Gradient-based Adversarial Deep Modulation Classification with Data-driven Subsampling

abstract: Automatic modulation classification can be a core component for intelligent spectrally efficient wireless communication networks, and deep learning techniques have recently been shown to deliver superior performance to conventional model-based strategies, particularly when distinguishing between a large number of modulation types. However, such deep learning techniques have also been recently shown to be vulnerable to gradient-based adversarial attacks that rely on subtle input perturbations, which would be particularly feasible in a wireless setting via jamming. One such potent attack is the one known as the Carlini-Wagner attack, which we consider in this work. We further consider a data-driven subsampling setting, where several recently introduced deep-learning-based algorithms are employed to select a subset of samples that lead to reducing the final classifier's training time with minimal loss in accuracy. In this setting, the attacker has to make an assumption about the employed subsampling strategy, in order to calculate the loss gradient. Based on state of the art techniques available to both the attacker and defender, we evaluate best strategies under various assumptions on the knowledge of the other party's strategy. Interestingly, in presence of knowledgeable attackers, we identify computational cost reduction opportunities for the defender with no or minimal loss in performance.


title: kuibit: Analyzing Einstein Toolkit simulations with Python

abstract: In the era of gravitational-wave astronomy, general-relativistic simulations of compact objects play a role of paramount importance. These calculations can be performed with the Einstein Toolkit, an open-source and community-supported software for numerical-relativity and relativistic astrophysics. The code comes with multiple solvers for Einstein's equations and for the equations of general-relativistic magneto-hydrodynamics, along with a series of useful diagnostics. However, analyzing the output of the Einstein Toolkit can be a challenging task. Usually, the process involves a series of technical obstacles, like combining data from different restarts or working with HDF5 files. Here, we present kuibit, a Python library that takes care of all these low-level details (and many other more) and that provides high-level, intuitive, representations of the data. Kuibit ships with a wide range of features that include full support for 1-3D ASCII and HDF5 grid data, time and frequency series, gravitational waves, and apparent horizons. With kuibit, users can inspect most of the content of a simulation with just a few lines of code. Importantly, kuibit is designed to be a code for the community: it is user-friendly and does not require any proprietary software to run, it has documentation and examples, and it is openly developed with emphasis on extensibility and maintainability.


title: Mitigating Adversarial Attack for Compute-in-Memory Accelerator Utilizing On-chip Finetune

abstract: Compute-in-memory (CIM) has been proposed to accelerate the convolution neural network (CNN) computation by implementing parallel multiply and accumulation in analog domain. However, the subsequent processing is still preferred to be performed in digital domain. This makes the analog to digital converter (ADC) critical in CIM architectures. One drawback is the ADC error introduced by process variation. While research efforts are being made to improve ADC design to reduce the offset, we find that the accuracy loss introduced by the ADC error could be recovered by model weight finetune. In addition to compensate ADC offset, on-chip weight finetune could be leveraged to provide additional protection for adversarial attack that aims to fool the inference engine with manipulated input samples. Our evaluation results show that by adapting the model weights to the specific ADC offset pattern to each chip, the transferability of the adversarial attack is suppressed. For a chip being attacked by the C&W method, the classification for CIFAR-10 dataset will drop to almost 0%. However, when applying the similarly generated adversarial examples to other chips, the accuracy could still maintain more than 62% and 85% accuracy for VGG-8 and DenseNet-40, respectively.


title: QA-GNN: Reasoning with Language Models and Knowledge Graphs for Question Answering

abstract: The problem of answering questions using knowledge from pre-trained language models (LMs) and knowledge graphs (KGs) presents two challenges: given a QA context (question and answer choice), methods need to (i) identify relevant knowledge from large KGs, and (ii) perform joint reasoning over the QA context and KG. In this work, we propose a new model, QA-GNN, which addresses the above challenges through two key innovations: (i) relevance scoring, where we use LMs to estimate the importance of KG nodes relative to the given QA context, and (ii) joint reasoning, where we connect the QA context and KG to form a joint graph, and mutually update their representations through graph neural networks. We evaluate our model on QA benchmarks in the commonsense (CommonsenseQA, OpenBookQA) and biomedical (MedQA-USMLE) domains. QA-GNN outperforms existing LM and LM+KG models, and exhibits capabilities to perform interpretable and structured reasoning, e.g., correctly handling negation in questions.


title: New infrared spectra of CO2-Xe: modeling Xe isotope effects, intermolecular bend and stretch, and symmetry breaking of the CO2 bend

abstract: The infrared spectrum of the weakly-bound CO2-Xe complex is studied in the region of the carbon dioxide nu3 fundamental vibration (~2350 cm-1), using a tunable OPO laser source to probe a pulsed supersonic slit jet expansion. The Xe isotope dependence of the spectrum is modeled by scaling the vibrational and rotational parameters, with the help of previous microwave data. The scaling model provides a good simulation of the observed broadening and (partial) splitting of transitions in the fundamental band, and it is essential for understanding the intermolecular bending combination band where some transitions are completely split by isotope effects. The combination band is influenced by a significant bend-stretch Coriolis interaction and by the relatively large Xe isotope dependence of the intermolecular stretch frequency. The weak CO2-Xe spectrum corresponding to the (0111) <-- (0110) hot band of CO2 is also detected and analyzed, providing a measurement of the symmetry breaking of the CO2 bending mode induced by the nearby Xe atom. This in-plane / out-of-plane splitting is determined to be 2.14 cm-1.


title: The General Adversary Bound: A Survey

abstract: Ben Reichardt showed in a series of results that the general adversary bound of a function characterizes its quantum query complexity. This survey seeks to aggregate the background and definitions necessary to understand the proof. Notable among these are the lower bound proof, span programs, witness size, and semi-definite programs. These definitions, in addition to examples and detailed expositions, serve to give the reader a better intuition of the graph-theoretic nature of the upper bound. We also include an applications of this result to lower bounds on DeMorgan formula size.


title: Generalized Einstein-Maxwell theory: Seeley-DeWitt coefficients and logarithmic corrections to the entropy of extremal and non-extremal black holes

abstract: We present a consolidated manual of Euclidean gravity approaches for finding the logarithmic corrections to the entropy of the full Kerr-Newman family of black holes in both extremal and non-extremal limits. Seeley-DeWitt coefficients for the quadratic fluctuations of a concern gravity theory appear to be the key ingredients in this manual. Following the manual, we calculate the first three Seeley-DeWitt coefficients and logarithmic corrections to the entropy of extremal and non-extremal black holes in a generalized Einstein-Maxwell theory minimally-coupled to additional massless scalar, vector, spin-1/2 Dirac and spin-3/2 Rarita-Schwinger fields. We finally employ the Seeley-DeWitt data to reproduce the logarithmic entropy corrections for extremal black holes in all $\mathcal{N} \geq 2$ Einstein-Maxwell supergravity via an alternative local supersymmetrization method.


title: Pseudo-gauge Fields in Dirac and Weyl Materials

abstract: Electrons in low-temperature solids are governed by the non-relativistic Schr$\ddot{o}$dinger equation, since the electron velocities are much slower than the speed of light. Remarkably, the low-energy quasi-particles given by electrons in various materials can behave as relativistic Dirac/Weyl fermions that obey the relativistic Dirac/Weyl equation. These materials are called "Dirac/Weyl materials", which provide a tunable platform to test relativistic quantum phenomena in table-top experiments. More interestingly, different types of physical fields in these Weyl/Dirac materials, such as magnetic fluctuations, lattice vibration, strain, and material inhomogeneity, can couple to the "relativistic" quasi-particles in a similar way as the $U(1)$ gauge coupling. As these fields do not have gauge-invariant dynamics in general, we refer to them as "pseudo-gauge fields". In this chapter, we overview the concept and the physical consequences of pseudo-gauge fields in Weyl/Dirac materials. In particular, we will demonstrate that pseudo-gauge fields can provide a unified understanding of a variety of physical phenomena, including chiral zero modes inside a magnetic vortex core of magnetic Weyl semimetals, a giant current response at magnetic resonance in magnetic topological insulators, and piezo-electromagnetic response in time-reversal invariant systems. These phenomena are deeply related to various concepts in high-energy physics, such as chiral anomaly and axion electrodynamics.


title: QEHeat: An open-source energy flux calculator for the computation of heat-transport coefficients from first principles

abstract: We give a detailed presentation of the theory and numerical implementation of an expression for the adiabatic energy flux in extended systems, derived from density-functional theory. This expression can be used to estimate the heat conductivity from equilibrium ab initio molecular dynamics, using the Green-Kubo linear response theory of transport coefficients. Our expression is implemented in an open-source component of the QE suite of computer codes for quantum mechanical materials modelling, which is being made publicly available.


title: Optimal scaling of random-walk Metropolis algorithms using Bayesian large-sample asymptotics

abstract: High-dimensional limit theorems have been shown useful to derive tuning rules for finding the optimal scaling in random-walk Metropolis algorithms. The assumptions under which weak convergence results are proved are however restrictive: the target density is typically assumed to be of a product form. Users may thus doubt the validity of such tuning rules in practical applications. In this paper, we shed some light on optimal-scaling problems from a different perspective, namely a large-sample one. This allows to prove weak convergence results under realistic assumptions and to propose novel parameter-dimension-dependent tuning guidelines. The proposed guidelines are consistent with previous ones when the target density is close to having a product form, and the results highlight that the correlation structure has to be accounted for to avoid performance deterioration if that is not the case, while justifying the use of a natural (asymptotically exact) approximation to the correlation matrix that can be employed for the very first algorithm run.


title: Some examples of solutions to an inverse problem for the first-passage place of a jump-diffusion process

abstract: We report some additional examples of explicit solutions to an inverse first-passage place problem for one-dimensional diffusions with jumps, introduced in a previous paper. If $X(t)$ is a one-dimensional diffusion with jumps, starting from a random position $\eta \in [a,b],$ let be $\tau_{a,b}$ the time at which $X(t)$ first exits the interval $(a,b),$ and $\pi _a = P(X(\tau_{a,b}) \le a)$ the probability of exit from the left of $(a,b).$ Given a probability $q \in (0,1),$ the problem consists in finding the density $g$ of $\eta$ (if it exists) such that $\pi _a = q;$ it can be seen as a problem of optimization.


title: Undulated Bilayer Interfaces in the Planar Functionalized Cahn-Hilliard Equation

abstract: Experiments with diblock co-polymer melts display undulated bilayers that emanate from defects such as triple junctions and endcaps, \cite{batesjain_2004}. Undulated bilayers are characterized by oscillatory perturbations of the bilayer width, which decay on a spatial length scale that is long compared to the bilayer width. We mimic defects within the functionalized Cahn-Hillard free energy by introducing spatially localized inhomogeneities within its parameters. For length parameter $\varepsilon\ll1$, we show that this induces undulated bilayer solutions whose width perturbations decay on an $O\!\left(\varepsilon^{-1/2}\right)$ inner length scale that is long in comparison to the $O(1)$ scale that characterizes the bilayer width.


title: ExplainaBoard: An Explainable Leaderboard for NLP

abstract: With the rapid development of NLP research, leaderboards have emerged as one tool to track the performance of various systems on various NLP tasks. They are effective in this goal to some extent, but generally present a rather simplistic one-dimensional view of the submitted systems, communicated only through holistic accuracy numbers. In this paper, we present a new conceptualization and implementation of NLP evaluation: the ExplainaBoard, which in addition to inheriting the functionality of the standard leaderboard, also allows researchers to (i) diagnose strengths and weaknesses of a single system (e.g.~what is the best-performing system bad at?) (ii) interpret relationships between multiple systems. (e.g.~where does system A outperform system B? What if we combine systems A, B, and C?) and (iii) examine prediction results closely (e.g.~what are common errors made by multiple systems, or in what contexts do particular errors occur?). So far, ExplainaBoard covers more than 400 systems, 50 datasets, 40 languages, and 12 tasks. ExplainaBoard keeps updated and is recently upgraded by supporting (1) multilingual multi-task benchmark, (2) meta-evaluation, and (3) more complicated task: machine translation, which reviewers also suggested.} We not only released an online platform on the website \url{http://explainaboard.nlpedia.ai/} but also make our evaluation tool an API with MIT Licence at Github \url{https://github.com/neulab/explainaBoard} and PyPi \url{https://pypi.org/project/interpret-eval/} that allows users to conveniently assess their models offline. We additionally release all output files from systems that we have run or collected to motivate "output-driven" research in the future.


title: Linear stability analysis of a time-divergent slamming flow

abstract: When a liquid slams into a solid, the intermediate gas is squeezed out at a speed that diverges when approaching the moment of impact. Although there is mounting experimental evidence that instabilities form on the liquid interface during such an event, understanding of the nature of these instabilities is limited. This study therefore addresses the stability of a liquid-gas interface with surface tension, subject to a diverging flow in the gas phase, where the liquid and the gas phase are both represented as potential fluids. We perform a Kelvin-Helmholtz-type linear modal stability analysis of the surface to obtain an amplitude equation that is subsequently analysed in detail and applied to two cases of interest for impact problems, namely, the parallel impact of a wave onto a vertical wall, and the impact of a horizontal plate onto a liquid surface. In both cases we find that long wavelengths are stabilised considerably in comparison to what may be expected based upon classical knowledge of the stability of interfaces subject to a constant gas flow. In the former case, this leads to the prediction of a marginally stable wavelength that is completely absent in the classical analysis. For the latter we find much resemblance to the classical case, with the connotation that the instability is suppressed for smaller disk sizes. The study ends with a discussion of the influence of gas viscosity and gas compressibility on the respective stability diagrams.


title: Thresholded Graphical Lasso Adjusts for Latent Variables: Application to Functional Neural Connectivity

abstract: In neuroscience, researchers seek to uncover the connectivity of neurons from large-scale neural recordings or imaging; often people employ graphical model selection and estimation techniques for this purpose. But, existing technologies can only record from a small subset of neurons leading to a challenging problem of graph selection in the presence of extensive latent variables. Chandrasekaran et al. (2012) proposed a convex program to address this problem that poses challenges from both a computational and statistical perspective. To solve this problem, we propose an incredibly simple solution: apply a hard thresholding operator to existing graph selection methods. Conceptually simple and computationally attractive, we demonstrate that thresholding the graphical Lasso, neighborhood selection, or CLIME estimators have superior theoretical properties in terms of graph selection consistency as well as stronger empirical results than existing approaches for the latent variable graphical model problem. We also demonstrate the applicability of our approach through a neuroscience case study on calcium-imaging data to estimate functional neural connections.


title: Detoxifying Language Models Risks Marginalizing Minority Voices

abstract: Language models (LMs) must be both safe and equitable to be responsibly deployed in practice. With safety in mind, numerous detoxification techniques (e.g., Dathathri et al. 2020; Krause et al. 2020) have been proposed to mitigate toxic LM generations. In this work, we show that current detoxification techniques hurt equity: they decrease the utility of LMs on language used by marginalized groups (e.g., African-American English and minority identity mentions). In particular, we perform automatic and human evaluations of text generation quality when LMs are conditioned on inputs with different dialects and group identifiers. We find that detoxification makes LMs more brittle to distribution shift, especially on language used by marginalized groups. We identify that these failures stem from detoxification methods exploiting spurious correlations in toxicity datasets. Overall, our results highlight the tension between the controllability and distributional robustness of LMs.


title: Main ways in which stars influence the climate and surface habitability of their planets

abstract: We present a brief overview of the main effects by which a star will have an impact (positive or negative) on the surface habitability of planets in orbit around it. Specifically, we review how spectral, spatial and temporal variations in the incident flux on a planet can alter the atmosphere and climate of a planet and thus its surface habitability. For illustrative purposes, we emphasize the differences between planets orbiting solar-type stars and late M-stars. The latter are of particular interest as they constitute the first sample of potentially habitable exoplanets accessible for surface and atmospheric characterization in the coming years.


title: ShapeMOD: Macro Operation Discovery for 3D Shape Programs

abstract: A popular way to create detailed yet easily controllable 3D shapes is via procedural modeling, i.e. generating geometry using programs. Such programs consist of a series of instructions along with their associated parameter values. To fully realize the benefits of this representation, a shape program should be compact and only expose degrees of freedom that allow for meaningful manipulation of output geometry. One way to achieve this goal is to design higher-level macro operators that, when executed, expand into a series of commands from the base shape modeling language. However, manually authoring such macros, much like shape programs themselves, is difficult and largely restricted to domain experts. In this paper, we present ShapeMOD, an algorithm for automatically discovering macros that are useful across large datasets of 3D shape programs. ShapeMOD operates on shape programs expressed in an imperative, statement-based language. It is designed to discover macros that make programs more compact by minimizing the number of function calls and free parameters required to represent an input shape collection. We run ShapeMOD on multiple collections of programs expressed in a domain-specific language for 3D shape structures. We show that it automatically discovers a concise set of macros that abstract out common structural and parametric patterns that generalize over large shape collections. We also demonstrate that the macros found by ShapeMOD improve performance on downstream tasks including shape generative modeling and inferring programs from point clouds. Finally, we conduct a user study that indicates that ShapeMOD's discovered macros make interactive shape editing more efficient.


title: Bridging the Gap Between Clean Data Training and Real-World Inference for Spoken Language Understanding

abstract: Spoken language understanding (SLU) system usually consists of various pipeline components, where each component heavily relies on the results of its upstream ones. For example, Intent detection (ID), and slot filling (SF) require its upstream automatic speech recognition (ASR) to transform the voice into text. In this case, the upstream perturbations, e.g. ASR errors, environmental noise and careless user speaking, will propagate to the ID and SF models, thus deteriorating the system performance. Therefore, the well-performing SF and ID models are expected to be noise resistant to some extent. However, existing models are trained on clean data, which causes a \textit{gap between clean data training and real-world inference.} To bridge the gap, we propose a method from the perspective of domain adaptation, by which both high- and low-quality samples are embedding into similar vector space. Meanwhile, we design a denoising generation model to reduce the impact of the low-quality samples. Experiments on the widely-used dataset, i.e. Snips, and large scale in-house dataset (10 million training examples) demonstrate that this method not only outperforms the baseline models on real-world (noisy) corpus but also enhances the robustness, that is, it produces high-quality results under a noisy environment. The source code will be released.


title: All you need are a few pixels: semantic segmentation with PixelPick

abstract: A central challenge for the task of semantic segmentation is the prohibitive cost of obtaining dense pixel-level annotations to supervise model training. In this work, we show that in order to achieve a good level of segmentation performance, all you need are a few well-chosen pixel labels. We make the following contributions: (i) We investigate the novel semantic segmentation setting in which labels are supplied only at sparse pixel locations, and show that deep neural networks can use a handful of such labels to good effect; (ii) We demonstrate how to exploit this phenomena within an active learning framework, termed PixelPick, to radically reduce labelling cost, and propose an efficient "mouse-free" annotation strategy to implement our approach; (iii) We conduct extensive experiments to study the influence of annotation diversity under a fixed budget, model pretraining, model capacity and the sampling mechanism for picking pixels in this low annotation regime; (iv) We provide comparisons to the existing state of the art in semantic segmentation with active learning, and demonstrate comparable performance with up to two orders of magnitude fewer pixel annotations on the CamVid, Cityscapes and PASCAL VOC 2012 benchmarks; (v) Finally, we evaluate the efficiency of our annotation pipeline and its sensitivity to annotator error to demonstrate its practicality.


title: Cutting rules on a cylinder: a bottom-up approach to quantum kinetic theory for the early universe

abstract: Nonequilibrium quantum field theory is often used to derive an approximation for the evolution of number densities and asymmetries in astroparticle models when a more precise treatment of quantum thermal effects is required. This work presents an alternative framework using the zero-temperature quantum field theory, $S$-matrix unitarity, and classical Boltzmann equation as starting points leading to a set of rules for calculations of thermal corrections to reaction rates. Statistical factors due to on-shell intermediate states are obtained from the cuts of forward diagrams with multiple spectator lines. It turns out that it is equivalent to cutting closed diagrams on a cylindrical surface.


title: The SLUGGS survey: combining stars, globular clusters and planetary nebulae to understand the assembly history of early-type galaxies from their large radii kinematics

abstract: We investigate the kinematic properties of nine nearby early-type galaxies with evidence of a disk-like component. Three of these galaxies are located in the field, five in the group and only one in the cluster environment. By combining the kinematics of the stars with those of the globular clusters (GCs) and planetary nebulae (PNe), we probe the outer regions of our galaxies out to $\sim$4-6 Re. Six galaxies have PNe and red GCs that show good kinematic alignment with the stars, whose rotation occurs along the photometric major-axis of the galaxies, suggesting that both the PNe and red GCs are good tracers of the underlying stellar population beyond that traced by the stars. Additionally, the blue GCs also show rotation that is overall consistent with that of the red GCs in these six galaxies. The remaining three galaxies show kinematic twists and misalignment of the PNe and GCs with respect to the underlying stars, suggesting recent galaxy interactions. From the comparison with simulations, we propose that all six aligned galaxies that show similar dispersion-dominated kinematics at large radii (>2-3 Re) had similar late ($z<1$) assembly histories characterised by mini mergers (mass-ratio <1:10). The different Vrot/$\sigma$ profiles are then the result of an early ($z>1$) minor merger (1:10< mass-ratio <1:4) for the four galaxies with peaked and decreasing Vrot/$\sigma$ profiles and of a late minor merger for the two galaxies with flat Vrot/$\sigma$ profiles. The three mis-aligned galaxies likely formed through multiple late minor mergers that enhanced their velocity dispersion at all radii, or a late major merger that spun-up both the GC sub-populations at large radii. Therefore, lenticular galaxies can have complex merger histories that shape their characteristic kinematic profile shapes.


title: Shape and Material Capture at Home

abstract: In this paper, we present a technique for estimating the geometry and reflectance of objects using only a camera, flashlight, and optionally a tripod. We propose a simple data capture technique in which the user goes around the object, illuminating it with a flashlight and capturing only a few images. Our main technical contribution is the introduction of a recursive neural architecture, which can predict geometry and reflectance at 2^{k}*2^{k} resolution given an input image at 2^{k}*2^{k} and estimated geometry and reflectance from the previous step at 2^{k-1}*2^{k-1}. This recursive architecture, termed RecNet, is trained with 256x256 resolution but can easily operate on 1024x1024 images during inference. We show that our method produces more accurate surface normal and albedo, especially in regions of specular highlights and cast shadows, compared to previous approaches, given three or fewer input images. For the video and code, please visit the project website http://dlichy.github.io/ShapeAndMaterialAtHome/.


title: Current and Future constraints on single-field $\alpha$-Attractor model

abstract: We study here the observational constraints on single-field inflationary models achievable with the next generation of CMB experiments. We particularly focus on a Stage-IV like experiment and forecasts its constraints on inflationary parameters in the context of $\alpha$-attractor inflation comprising a large class of single-field models. To tailor our forecasts we use as a fiducial model the results obtained with current CMB and LSS data, assuming the $\alpha$-model a priori. We found that current CMB data are able to place a tight bound on the ratio of the tensor-to-scalar ratio with the alpha parameter $r/\alpha = 3.87^{+0.78}_{-0.94}\cdot 10^{-3}$ and on the running of the scalar index $\alpha_S = -6.4^{+1.6}_{-1.3}\cdot 10^{-4}$ with a value of the scalar index consistent with current constraints. In the optimistic scenario of detection of primordial gravitational waves in the CMB B-mode polarization power spectra, we found that CMB-S4 will be able to achieve a $15\%$ bound on the value of the parameter $\alpha = 1.01^{+0.14}_{-0.18}$. This bound clearly show the ability of CMB-S4 to constrain not only the energy scale of inflation but also the shape of its potential. Enlarging the baseline model to also include the neutrino sector merely reduce the accuracy of $5\%$ leading to $\alpha = 1.07^{+0.18}_{-0.23}$ so that our main conclusions are still valid.


title: Co-Scale Conv-Attentional Image Transformers

abstract: In this paper, we present Co-scale conv-attentional image Transformers (CoaT), a Transformer-based image classifier equipped with co-scale and conv-attentional mechanisms. First, the co-scale mechanism maintains the integrity of Transformers' encoder branches at individual scales, while allowing representations learned at different scales to effectively communicate with each other; we design a series of serial and parallel blocks to realize the co-scale mechanism. Second, we devise a conv-attentional mechanism by realizing a relative position embedding formulation in the factorized attention module with an efficient convolution-like implementation. CoaT empowers image Transformers with enriched multi-scale and contextual modeling capabilities. On ImageNet, relatively small CoaT models attain superior classification results compared with similar-sized convolutional neural networks and image/vision Transformers. The effectiveness of CoaT's backbone is also illustrated on object detection and instance segmentation, demonstrating its applicability to downstream computer vision tasks.


title: Mediators in Determining what Processing BERT Performs First

abstract: Probing neural models for the ability to perform downstream tasks using their activation patterns is often used to localize what parts of the network specialize in performing what tasks. However, little work addressed potential mediating factors in such comparisons. As a test-case mediating factor, we consider the prediction's context length, namely the length of the span whose processing is minimally required to perform the prediction. We show that not controlling for context length may lead to contradictory conclusions as to the localization patterns of the network, depending on the distribution of the probing dataset. Indeed, when probing BERT with seven tasks, we find that it is possible to get 196 different rankings between them when manipulating the distribution of context lengths in the probing dataset. We conclude by presenting best practices for conducting such comparisons in the future.


title: Self-supervised object detection from audio-visual correspondence

abstract: We tackle the problem of learning object detectors without supervision. Differently from weakly-supervised object detection, we do not assume image-level class labels. Instead, we extract a supervisory signal from audio-visual data, using the audio component to "teach" the object detector. While this problem is related to sound source localisation, it is considerably harder because the detector must classify the objects by type, enumerate each instance of the object, and do so even when the object is silent. We tackle this problem by first designing a self-supervised framework with a contrastive objective that jointly learns to classify and localise objects. Then, without using any supervision, we simply use these self-supervised labels and boxes to train an image-based object detector. With this, we outperform previous unsupervised and weakly-supervised detectors for the task of object detection and sound source localization. We also show that we can align this detector to ground-truth classes with as little as one label per pseudo-class, and show how our method can learn to detect generic objects that go beyond instruments, such as airplanes and cats.


title: DropLoss for Long-Tail Instance Segmentation

abstract: Long-tailed class distributions are prevalent among the practical applications of object detection and instance segmentation. Prior work in long-tail instance segmentation addresses the imbalance of losses between rare and frequent categories by reducing the penalty for a model incorrectly predicting a rare class label. We demonstrate that the rare categories are heavily suppressed by correct background predictions, which reduces the probability for all foreground categories with equal weight. Due to the relative infrequency of rare categories, this leads to an imbalance that biases towards predicting more frequent categories. Based on this insight, we develop DropLoss -- a novel adaptive loss to compensate for this imbalance without a trade-off between rare and frequent categories. With this loss, we show state-of-the-art mAP across rare, common, and frequent categories on the LVIS dataset.


title: Lite-HRNet: A Lightweight High-Resolution Network

abstract: We present an efficient high-resolution network, Lite-HRNet, for human pose estimation. We start by simply applying the efficient shuffle block in ShuffleNet to HRNet (high-resolution network), yielding stronger performance over popular lightweight networks, such as MobileNet, ShuffleNet, and Small HRNet. We find that the heavily-used pointwise (1x1) convolutions in shuffle blocks become the computational bottleneck. We introduce a lightweight unit, conditional channel weighting, to replace costly pointwise (1x1) convolutions in shuffle blocks. The complexity of channel weighting is linear w.r.t the number of channels and lower than the quadratic time complexity for pointwise convolutions. Our solution learns the weights from all the channels and over multiple resolutions that are readily available in the parallel branches in HRNet. It uses the weights as the bridge to exchange information across channels and resolutions, compensating the role played by the pointwise (1x1) convolution. Lite-HRNet demonstrates superior results on human pose estimation over popular lightweight networks. Moreover, Lite-HRNet can be easily applied to semantic segmentation task in the same lightweight manner. The code and models have been publicly available at https://github.com/HRNet/Lite-HRNet.


title: Pointly-Supervised Instance Segmentation

abstract: We propose an embarrassingly simple point annotation scheme to collect weak supervision for instance segmentation. In addition to bounding boxes, we collect binary labels for a set of points uniformly sampled inside each bounding box. We show that the existing instance segmentation models developed for full mask supervision can be seamlessly trained with point-based supervision collected via our scheme. Remarkably, Mask R-CNN trained on COCO, PASCAL VOC, Cityscapes, and LVIS with only 10 annotated random points per object achieves 94%--98% of its fully-supervised performance, setting a strong baseline for weakly-supervised instance segmentation. The new point annotation scheme is approximately 5 times faster than annotating full object masks, making high-quality instance segmentation more accessible in practice. Inspired by the point-based annotation form, we propose a modification to PointRend instance segmentation module. For each object, the new architecture, called Implicit PointRend, generates parameters for a function that makes the final point-level mask prediction. Implicit PointRend is more straightforward and uses a single point-level mask loss. Our experiments show that the new module is more suitable for the point-based supervision.


title: BARF: Bundle-Adjusting Neural Radiance Fields

abstract: Neural Radiance Fields (NeRF) have recently gained a surge of interest within the computer vision community for its power to synthesize photorealistic novel views of real-world scenes. One limitation of NeRF, however, is its requirement of accurate camera poses to learn the scene representations. In this paper, we propose Bundle-Adjusting Neural Radiance Fields (BARF) for training NeRF from imperfect (or even unknown) camera poses -- the joint problem of learning neural 3D representations and registering camera frames. We establish a theoretical connection to classical image alignment and show that coarse-to-fine registration is also applicable to NeRF. Furthermore, we show that na\"ively applying positional encoding in NeRF has a negative impact on registration with a synthesis-based objective. Experiments on synthetic and real-world data show that BARF can effectively optimize the neural scene representations and resolve large camera pose misalignment at the same time. This enables view synthesis and localization of video sequences from unknown camera poses, opening up new avenues for visual localization systems (e.g. SLAM) and potential applications for dense 3D mapping and reconstruction.


title: Isomorphism Properties of Optimality and Equilibrium Solutions under Equivalent Information Structure Transformations: Stochastic Dynamic Games and Teams

abstract: Static reduction of information structures (ISs) is a method that is commonly adopted in stochastic control, team theory, and game theory. One approach entails change of measure arguments, which has been crucial for stochastic analysis and has been an effective method for establishing existence and approximation results for optimal policies. Another approach entails utilization of invertibility properties of measurements, with further generalizations of equivalent IS reductions being possible. In this paper, we demonstrate the limitations of such approaches for a wide class of stochastic dynamic games and teams, and present a systematic classification of static reductions for which both positive and negative results on equivalence properties of equilibrium solutions can be obtained: (i) those that are policy-independent, (ii) those that are policy-dependent, and (iii) a third type that we will refer to as static measurements with control-sharing reduction (where the measurements are static although control actions are shared according to the partially nested IS). For the first type, we show that there is a bijection between Nash equilibrium (NE) policies under the original IS and their policy-independent static reductions, and establish sufficient conditions under which stationary solutions are also isomorphic between these ISs. For the second type, however, we show that there is generally no isomorphism between NE (or stationary) solutions under the original IS and their policy-dependent static reductions. Sufficient conditions (on the cost functions and policies) are obtained to establish such an isomorphism relationship between Nash equilibria of dynamic non-zero-sum games and their policy-dependent static reductions. For zero-sum games and teams, these sufficient conditions can be further relaxed.


title: A friendly introduction to Fourier analysis on polytopes

abstract: This book is an introduction to the nascent field of Fourier analysis on polytopes, and cones. There is a rapidly growing number of applications of these methods, so it is appropriate to invite students, as well as professionals, to the field. Of the many applications of these techniques, we have chosen to focus on the following topics: (a) Formulations for the Fourier transform of a polytope (b) Minkowski and Siegel's theorems in the geometry of numbers (c) Tilings and multi-tilings of Euclidean space by translations of a polytope (d) Computing discrete volumes of polytopes, which are combinatorial approximations to the continuous volume (e) Sphere packings, and their packing density (f) Iterating the divergence theorem to give new formulations for the Fourier transform of a polytope, with applications (g) Shannon sampling, in several variables (h) More topics in the classical geometry of numbers We assume familiarity with Linear Algebra, with some Calculus and infinite series. Throughout, we introduce the topics gently, by giving many examples and exercises, so that this book is ideally suited for a course, or for self-study.


title: Ill-posedness for the Euler equations in Besov spaces

abstract: In the paper, we consider the Cauchy problem to the Euler equations in $\mathbb{R}^d$ with $d\geq2$. We construct an initial data $u_0\in B^\sigma_{p,\infty}$ showing that the corresponding solution map of the Euler equations starting from $u_0$ is discontinuous at $t = 0$ in the metric of $B^\sigma_{p,\infty}$, which implies the ill-posedness for this equation in $B^\sigma_{p,\infty}$. We generalize the periodic result of Cheskidov and Shvydkoy \cite{Cheskidov}.


title: Tryptophan-containing proteins as label-free nanothermometers

abstract: There remains a need for techniques to monitor thermal processes at high spatiotemporal resolution, with myriad potential applications in chemistry, biology, and engineering. Measurement of temperature from nanoscale molecular phenomena are particularly promising due to their general compatibility with biological systems. Among these phenomena, fluorescence polarization anisotropy is particularly attractive due to its high sensitivity to thermal and photophysical information, and its general utility with a wide spectrum of fluorophores. In this work, we propose that the measurement of the intrinsic fluorescence polarization anisotropy of tryptophan can be used to measure label-free temperature at the nanoscale in a variety of tryptophan-containing proteins. We present a theoretical model of the temperature sensitivity of fluorescence polarization in free tryptophan and tryptophan-containing proteins, empirically explore these properties, and discuss the potential development of proteins as thermal memory sensors.


title: Reward Shaping with Subgoals for Social Navigation

abstract: Social navigation has been gaining attentions with the growth in machine intelligence. Since reinforcement learning can select an action in the prediction phase at a low computational cost, it has been formulated in a social navigation tasks. However, reinforcement learning takes an enormous number of iterations until acquiring a behavior policy in the learning phase. This negatively affects the learning of robot behaviors in the real world. In particular, social navigation includes humans who are unpredictable moving obstacles in an environment. We proposed a reward shaping method with subgoals to accelerate learning. The main part is an aggregation method that use subgoals to shape a reinforcement learning algorithm. We performed a learning experiment with a social navigation task in which a robot avoided collisions and then reached its goal. The experimental results show that our method improved the learning efficiency from a base algorithm in the task.


title: Subgoal-based Reward Shaping to Improve Efficiency in Reinforcement Learning

abstract: Reinforcement learning, which acquires a policy maximizing long-term rewards, has been actively studied. Unfortunately, this learning type is too slow and difficult to use in practical situations because the state-action space becomes huge in real environments. Many studies have incorporated human knowledge into reinforcement Learning. Though human knowledge on trajectories is often used, a human could be asked to control an AI agent, which can be difficult. Knowledge on subgoals may lessen this requirement because humans need only to consider a few representative states on an optimal trajectory in their minds. The essential factor for learning efficiency is rewards. Potential-based reward shaping is a basic method for enriching rewards. However, it is often difficult to incorporate subgoals for accelerating learning over potential-based reward shaping. This is because the appropriate potentials are not intuitive for humans. We extend potential-based reward shaping and propose a subgoal-based reward shaping. The method makes it easier for human trainers to share their knowledge of subgoals. To evaluate our method, we obtained a subgoal series from participants and conducted experiments in three domains, four-rooms(discrete states and discrete actions), pinball(continuous and discrete), and picking(both continuous). We compared our method with a baseline reinforcement learning algorithm and other subgoal-based methods, including random subgoal and naive subgoal-based reward shaping. As a result, we found out that our reward shaping outperformed all other methods in learning efficiency.


title: Diversity of nuclear star cluster formation mechanisms revealed by their star formation histories

abstract: Nuclear star clusters (NSCs) are the densest stellar systems in the Universe and are found in the centres of all types of galaxies. They are thought to form via mergers of star clusters such as ancient globular clusters (GCs) that spiral to the centre as a result of dynamical friction or through in-situ star formation directly at the galaxy centre. There is evidence that both paths occur, but the relative contribution of either channel and their correlation with galaxy properties are not yet constrained observationally. We aim to derive the dominant NSC formation channel for a sample of 25 nucleated galaxies, mostly in the Fornax galaxy cluster, with stellar masses between $M_\rm{gal} \sim 10^8$ and $10^{10.5} M_\odot$ and NSC masses between $M_\rm{NSC} \sim 10^5$ and $10^{8.5} M_\odot$. Using Multi-Unit Spectroscopic Explorer (MUSE) data from the Fornax 3D survey and the ESO archive, we derive star formation histories, mean ages and metallicities of NSCs, and compare them to the host galaxies. In many low-mass galaxies, the NSCs are significantly more metal-poor than the hosts with properties similar to GCs. In contrast, in the massive galaxies, we find diverse star formation histories and cases of ongoing or recent in-situ star formation. Massive NSCs ($> 10^7 M_\odot$) occupy a different region in the mass-metallicity diagram than lower mass NSCs and GCs, indicating a different enrichment history. We find a clear transition of the dominant NSC formation channel with both galaxy and NSC mass. We hypothesise that while GC-accretion forms the NSCs of the dwarf galaxies, central star formation is responsible for the efficient mass build up in the most massive NSCs in our sample. At intermediate masses, both channels can contribute. The transition between these formation channels seems to occur at galaxy masses $M_\rm{gal} \sim 10^9 M_\odot$ and NSC masses $M_\rm{NSC} \sim 10^7 M_\odot$.


title: SpaceHub: A high-performance gravity integration toolkit for few-body problems in astrophysics

abstract: We present the open source few-body gravity integration toolkit {\tt SpaceHub}. {\tt SpaceHub} offers a variety of algorithmic methods, including the unique algorithms AR-Radau, AR-Sym6, AR-ABITS and AR-chain$^+$ which we show out-perform other methods in the literature and allow for fast, precise and accurate computations to deal with few-body problems ranging from interacting black holes to planetary dynamics. We show that AR-Sym6 and AR-chain$^+$, with algorithmic regularization, chain algorithm, active round-off error compensation and a symplectic kernel implementation, are the fastest and most accurate algorithms to treat black hole dynamics with extreme mass ratios, extreme eccentricities and very close encounters. AR-Radau, the first regularized Radau integrator with round off error control down to 64 bits floating point machine precision, has the ability to handle extremely eccentric orbits and close approaches in long-term integrations. AR-ABITS, a bit efficient arbitrary precision method, achieves any precision with the least CPU cost compared to other open source arbitrary precision few-body codes. With the implementation of deep numerical and code optimization, these new algorithms in {\tt SpaceHub} prove superior to other popular high precision few-body codes in terms of performance, accuracy and speed.

categories: astro-ph.SR astro-ph.EP astro-ph.IM physics.comp-ph


title: The Rapid X-ray and UV Evolution of ASASSN-14ko

abstract: ASASSN-14ko is a recently discovered periodically flaring transient at the center of the AGN ESO 253-G003 with a slowly decreasing period. Here we show that the flares originate from the northern, brighter nucleus in this dual-AGN, post-merger system. The light curves for the two flares that occurred in May 2020 and September 2020 are nearly identical over all wavelengths. For both events, Swift observations showed that the UV and optical wavelengths brightened in unison. The effective temperature of the UV/optical emission rises and falls with the increase and subsequent decline in the luminosity. The X-ray flux, in contrast, first rapidly drops over $\sim$2.6 days, rises for $\sim$5.8 days, drops again over $\sim$4.3 days and then recovers. The X-ray spectral evolution of the two flares differ, however. During the May 2020 peak the spectrum softened with increases in the X-ray luminosity, while we observed the reverse for the September 2020 peak.


title: AdS Swampland Conjectures and Light Fermions

abstract: We consider constraints on $D$-dimensional theories in $M_D$, $dS_D$ and $AdS_D$ backgrounds in the light of AdS swampland conjectures as applied to their compactification in a circle. In particular we consider the non-SUSY AdS instability conjecture and the AdS distance conjecture. For $M_D$ and $dS_D$ vacua the results may be summarized by a light fermion conjecture which states that in theories with $\Lambda_D\geq 0$ and a positive first non-vanishing supertrace $(-1)^{k+1}\text{Str} M^{2k}>0$, a surplus of light fermions with mass $m_f\lesssim \Lambda_D^{1/D}$ must be present. On the contrary, the cases of $M_D$ and $AdS_D$ can be made consistent with the mild but not the strong version of the AdS Distance conjecture, since the KK tower in the lower $d$-dim theory will scale as $m\lesssim \Lambda_d^{\alpha}$ with $\alpha=1/d$. The above constraints also suggest that the Standard Model of particle physics would be inconsistent in Minkowski space but consistent in dS if the lightest neutrino is Dirac and lighter than the cosmological constant scale.


title: Next-to-leading non-global logarithms in QCD

abstract: Non-global logarithms arise from the sensitivity of collider observables to soft radiation in limited angular regions of phase space. Their resummation to next-to-leading logarithmic (NLL) order has been a long standing problem and its solution is relevant in the context of precision all-order calculations in a wide variety of collider processes and observables. In this article, we consider observables sensitive only to soft radiation, characterised by the absence of Sudakov double logarithms, and we derive a set of integro-differential equations that describes the resummation of NLL soft corrections in the planar, large-$N_c$ limit. The resulting set of evolution equations is derived in dimensional regularisation and we additionally provide a formulation that is manifestly finite in four space-time dimensions. The latter is suitable for a numerical integration and can be generalised to treat other infrared-safe observables sensitive solely to soft wide-angle radiation. We use the developed formalism to carry out a fixed-order calculation to ${\cal O}(\alpha_s^2)$ in full colour for both the transverse energy and energy distribution in the interjet region between two cone jets in $e^+e^-$ collisions. We find that the expansion of the resummed cross section correctly reproduces the logarithmic structure of the full QCD result.


title: Addendum to: Combined Constraints on First Generation Leptoquarks

abstract: In this addendum to arXiv:2101.07811 we discuss the implications of the recent CMS analysis of lepton flavour universality violation in non-resonant di-lepton pairs for first generation leptoquarks. As CMS finds more electron events than expected from background, this analysis prefers the LQ representations $\tilde{S}_1, S_2, S_3, \tilde{V}_1, V_2\,(\kappa_2^{RL}\ne 0)$ and $V_3$ which lead to constructive interference with the SM. In principle the excess could also be (partially) explained by the representations $\tilde{S}_2, V_1\,(\kappa_1^R\ne 0), V_2\,(\kappa_2^{LR}\ne 0), \tilde{V}_2$ which are interfering destructively, as this would still lead to the right effect in bins with high invariant mass where the new physics contribution dominates. However, in these cases large couplings would be required which are excluded by other observables. The representations $S_1, V_1\, (\kappa_1^{L} \ne 0)$ cannot improve the fit to the CMS data compared to the SM.


title: Search for Dormant Black Holes in Ellipsoidal Variables II. A Binary Modified Minimum Mass Ratio

abstract: This is the second of a series of papers that focuses on searching large sets of photometric light curves for evidence of close binaries with a dormant black hole, and, in some cases, a dormant neutron star. The detection of such a binary is based on identifying a star that displays a large ellipsoidal periodic modulation, induced by tidal interaction with its companion. Based on the observed ellipsoidal amplitude and the primary mass and radius, one can derive a minimum mass ratio of the binary. A binary with a minimum mass ratio significantly larger than unity might be a candidate for having a dormant compact-object companion. Unfortunately, the photometric search is hampered by the fact that in many cases the primary mass and radius are not well known. In this paper we present a simple approach that circumvents this problem by suggesting a robust modified minimum mass ratio, assuming the primary fills its Roche lobe. The newly defined modified minimum mass ratio is always smaller than the minimum mass ratio, which is, in its turn, smaller than the actual mass ratio. Therefore, binaries with a modified minimum mass ratio larger than unity are candidates for having a compact-object secondary.


title: Photon pumping in a weakly-driven quantum cavity-spin system

abstract: We investigate the photon pumping effect in a topological model consisting of a periodically driven spin-1/2 coupled to a quantum cavity mode out of the adiabatic limit. In the strong-drive adiabatic limit, a quantized frequency conversion of photons is expected as the temporal analog of the Hall current. We numerically establish a novel photon pumping phenomenon in the experimentally accessible nonadiabatic driving regime for a broad region of the parameter space. The photon frequency conversion efficiency exhibits strong fluctuations and high efficiency that can reach up 80% of the quantized value for commensurate frequency combinations. We link the pumping properties to the delocalization of the corresponding Floquet states which display multifractal behavior as the result of hybridization between localized and delocalized sectors. Finally we demonstrate that the quantum coherence properties of the initial state are preserved during the frequency conversion process in both the strong and ultra-weak-drive limit.


title: Non-Holomorphic Cycles and Non-BPS Black Branes

abstract: We study extremal non-BPS black holes and strings arising in M-theory compactifications on Calabi-Yau threefolds, obtained by wrapping M2 branes on non-holomorphic 2-cycles and M5 branes on non-holomorphic 4-cycles. Using the attractor mechanism we compute the black hole mass and black string tension, leading to a conjectural formula for the asymptotic volumes of connected, locally volume-minimizing representatives of non-holomorphic, even-dimensional homology classes in the threefold, without knowledge of an explicit metric. In the case of divisors we find examples where the volume of the representative corresponding to the black string is less than the volume of the minimal piecewise-holomorphic representative, predicting recombination for those homology classes and leading to stable, non-BPS strings. We also compute the central charges of non-BPS strings in F-theory via a near-horizon $AdS_3$ limit in 6d which, upon compactification on a circle, account for the asymptotic entropy of extremal non-supersymmetric 5d black holes (i.e., the asymptotic count of non-holomorphic minimal 2-cycles).


title: Searching for lepton portal dark matter with colliders and gravitational waves

abstract: We study the lepton portal dark matter (DM) model in which the relic abundance is determined by the portal coupling among the Majorana fermion DM candidate $\chi$, the singlet charged scalar mediator $S^\pm$ and the Standard Model (SM) right-handed lepton. The direct and indirect searches are not sensitive to this model. This article studies the lepton portal coupling as well as the scalar portal coupling (between $S^\pm$ and SM Higgs boson), as the latter is generally allowed in the Lagrangian. The inclusion of scalar portal coupling not only significantly enhances the LHC reach via the $gg\to h^*\to S^+S^-$ process, but also provides a few novel signal channels, such as the exotic decays and coupling deviations of the Higgs boson, offering new opportunities to probe the model. In addition, we also study the Drell-Yan production of $S^+S^-$ at future lepton colliders, and find out that the scenario where one $S^\pm$ is off-shell can be used to measure the lepton portal coupling directly. In particular, we are interested in the possibility that the scalar potential triggers a first-order phase transition and hence provides the stochastic gravitational wave (GW) signals. In this case, the terrestrial collider experiments and space-based GW detectors serve as complementary approaches to probe the model.


title: Mapping the Universe in HD

abstract: Hydrogen deuteride (HD) is prevalent in a wide variety of astrophysical environments, and measuring its large-scale distribution at different epochs can in principle provide information about the properties of these environments. In this paper, we explore the prospects for accessing this distribution using line intensity mapping of emission from the lowest rotational transition in HD, focusing on observations of the epoch of reionization ($z\sim6-10$) and earlier. We find the signal from the epoch of reionization to be strongest most promising, through cross-correlations within existing [CII] intensity mapping surveys. While the signal we predict is out of reach for current-generation projects, planned future improvements should be able to detect reionization-era HD without any additional observations, and would help to constrain the properties of the star-forming galaxies thought to play a key role in reionization. We also investigate several avenues for measuring HD during "cosmic dawn" ($z\sim10-30$), a period in which HD could provide one of the only complementary observables to 21$\,$cm intensity maps. We conclude that existing and planned facilities are poorly matched to the specifications desirable for a significant detection, though such a measurement may be achievable with sustained future effort. Finally, we explain why HD intensity mapping of the intergalactic medium during the cosmic dark ages ($z\gtrsim 30$) appears to be out of reach of any conceivable experiment.


title: Permanent of random matrices from representation theory: moments, numerics, concentration, and comments on hardness of boson-sampling

abstract: Computing the distribution of permanents of random matrices has been an outstanding open problem for several decades. In quantum computing, "anti-concentration" of this distribution is an unproven input for the proof of hardness of the task of boson-sampling. We study permanents of random i.i.d. complex Gaussian matrices, and more broadly, submatrices of random unitary matrices. Using a hybrid representation-theoretic and combinatorial approach, we prove strong lower bounds for all moments of the permanent distribution. We provide substantial evidence that our bounds are close to being tight and constitute accurate estimates for the moments. Let $U(d)^{k\times k}$ be the distribution of $k\times k$ submatrices of $d\times d$ random unitary matrices, and $G^{k\times k}$ be the distribution of $k\times k$ complex Gaussian matrices. (1) Using the Schur-Weyl duality (or the Howe duality), we prove an expansion formula for the $2t$-th moment of $|Perm(M)|$ when $M$ is drawn from $U(d)^{k\times k}$ or $G^{k\times k}$. (2) We prove a surprising size-moment duality: the $2t$-th moment of the permanent of random $k\times k$ matrices is equal to the $2k$-th moment of the permanent of $t\times t$ matrices. (3) We design an algorithm to exactly compute high moments of the permanent of small matrices. (4) We prove lower bounds for arbitrary moments of permanents of matrices drawn from $G^{ k\times k}$ or $U(k)$, and conjecture that our lower bounds are close to saturation up to a small multiplicative error. (5) Assuming our conjectures, we use the large deviation theory to compute the tail of the distribution of log-permanent of Gaussian matrices for the first time. (6) We argue that it is unlikely that the permanent distribution can be uniquely determined from the integer moments and one may need to supplement the moment calculations with extra assumptions to prove the anti-concentration conjecture.


title: Universal quantum computation via quantum controlled classical operations

abstract: A universal set of gates for (classical or quantum) computation is a set of gates that can be used to approximate any other operation. It is well known that a universal set for classical computation augmented with the Hadamard gate results in universal quantum computing. Motivated by the latter, we pose the following question: can one perform universal quantum computation by supplementing a set of classical gates with a quantum control, and a set of quantum gates operating solely on the latter? In this work we provide an affirmative answer to this question by considering a computational model that consists of $2n$ target bits together with a set of classical gates controlled by log$(2n+1)$ ancillary qubits. We show that this model is equivalent to a quantum computer operating on $n$ qubits. Furthermore, we show that even a primitive computer that is capable of implementing only SWAP gates, can be lifted to universal quantum computing, if aided with an appropriate quantum control of logarithmic size. Our results thus exemplify the information processing power brought forth by the quantum control system.