title: Maneuver-based Trajectory Prediction for Self-driving Cars Using Spatio-temporal Convolutional Networks

abstract: The ability to predict the future movements of other vehicles is a subconscious and effortless skill for humans and key to safe autonomous driving. Therefore, trajectory prediction for autonomous cars has gained a lot of attention in recent years. It is, however, still a hard task to achieve human-level performance. Interdependencies between vehicle behaviors and the multimodal nature of future intentions in a dynamic and complex driving environment render trajectory prediction a challenging problem. In this work, we propose a new, data-driven approach for predicting the motion of vehicles in a road environment. The model allows for inferring future intentions from the past interaction among vehicles in highway driving scenarios. Using our neighborhood-based data representation, the proposed system jointly exploits correlations in the spatial and temporal domain using convolutional neural networks. Our system considers multiple possible maneuver intentions and their corresponding motion and predicts the trajectory for five seconds into the future. We implemented our approach and evaluated it on two highway datasets taken in different countries and are able to achieve a competitive prediction performance.


title: Magnetic and structural properties of the intermetallic Ce(1-x)LaxCrGe3 series of compounds

abstract: The Ce(1-x)LaxCrGe3 (x = 0, 0.19, 0.43, 0.58 and 1) intermetallic compound system has been investigated by magnetization measurements and neutron scattering techniques to determine the effect of La-doping on the magnetic ordering and exchange interaction between Cr ions. The structural and magnetic characterization in this series was first verified by X-ray diffraction and bulk magnetization measurements. The samples exhibit the known hexagonal perovskite structure (P63/mmc space group) and have a single magnetic phase according to magnetization measurements. In this work, the ferromagnetic ordering temperature for Cr evolves smoothly from a range of 68 K to 77 K for CeCrGe3 to a range of 91 K to 96 K for LaCrGe3 as La replaces Ce. Magnetization results indicate the formation of domain walls below the transition temperature for all the Ce(1-x)LaxCrGe3 systems investigated. Neutron results indicate ordered magnetic Cr moments aligned along the c axis for the x = 1 LaCrGe3 system, as well as for x = 0.19, 0.43, and 0.58, which contrasts with the x = 0 CeCrGe3 where the moments order in the ab plane.


title: Emergent 1/3 magnetization plateaus in pyroxene CoGeO$_3$

abstract: Despite the absence of an apparent triangular pattern in the crystal structure, we observe unusually well pronounced 1/3 magnetization plateaus in the quasi one-dimensional Ising spin chain compound CoGeO$_3$ which belongs to the class of pyroxene minerals. We succeeded in uncovering the detailed microscopic spin structure of the 1/3 magnetization plateau phase by means of neutron diffraction. We observed changes of the initial antiferromagnetic zero-field spin structure that are resembling a regular formation of antiferromagnetic "domain wall boundaries", resulting in a kind of modulated magnetic structure with 1/3-integer propagation vector. The net ferromagnetic moment emerges at these "domain walls" whereas two third of all antiferromagnetic chain alignments can be still preserved. We propose a microscopic model on the basis of an anisotropic frustrated square lattice to explain the observations.


title: Learning When to Translate for Streaming Speech

abstract: How to find proper moments to generate partial sentence translation given a streaming speech input? Existing approaches waiting-and-translating for a fixed duration often break the acoustic units in speech, since the boundaries between acoustic units in speech are not even. In this paper, we propose MoSST, a simple yet effective method for translating streaming speech content. Given a usually long speech sequence, we develop an efficient monotonic segmentation module inside an encoder-decoder model to accumulate acoustic information incrementally and detect proper speech unit boundaries for the input in speech translation task. Experiments on multiple translation directions of the MuST-C dataset show that MoSST outperforms existing methods and achieves the best trade-off between translation quality (BLEU) and latency. Our code is available at https://github.com/dqqcasia/mosst.


title: Forbidden Scalar Dark Matter and Dark Higgses

abstract: As experimental searches for WIMP dark matter continue to yield null results, models beyond the WIMP paradigm have proliferated in order to elude ever improving observational constraints, among them that of sub-GeV dark matter mediated by a massive vector portal (a dark photon) associated with a new dark $U(1)$ gauge symmetry. It has been previously noted that for a significant range of the parameter space of this class of models, the annihilation of dark matter particles into a pair of dark photons can dominate the freeze-out process even when this process is kinematically forbidden for dark matter at rest -- this is known as the "forbidden dark matter" (FDM) regime. Prior studies of this regime, however, assume that any "dark Higgs" associated with breaking the dark $U(1)$ and imparting mass to the dark photon is decoupled from the dark matter and as such plays no role in the freeze-out process. In this paper, we explore the effects of a dark Higgs on sub-GeV dark matter phenomenology in this FDM regime by considering the simplest possible construction in which there exist non-trivial dark matter-dark Higgs couplings: a model with a single complex scalar DM candidate coupled directly to the dark Higgs field. We find that for a wide range of parameter space, the dark Higgs can alter the resulting relic abundance by many orders of magnitude, and that this effect can remain significant even for a small dark matter-dark Higgs coupling constant. Considering measurements from direct detection and measurements of the CMB, we further find that points in this model's parameter space which recreate the appropriate dark matter relic abundance suffer only mild constraints from other sources at present, but may become accessible in near-future direct detection experiments.


title: Direct and Sparse Deformable Tracking

abstract: Deformable Monocular SLAM algorithms recover the localization of a camera in an unknown deformable environment. Current approaches use a template-based deformable tracking to recover the camera pose and the deformation of the map. These template-based methods use an underlying global deformation model. In this paper, we introduce a novel deformable camera tracking method with a local deformation model for each point. Each map point is defined as a single textured surfel that moves independently of the other map points. Thanks to a direct photometric error cost function, we can track the position and orientation of the surfel without an explicit global deformation model. In our experiments, we validate the proposed system and observe that our local deformation model estimates more accurately and robustly the targeted deformations of the map in both laboratory-controlled experiments and in-body scenarios undergoing non-isometric deformations, with changing topology or discontinuities.


title: Self-learn to Explain Siamese Networks Robustly

abstract: Learning to compare two objects are essential in applications, such as digital forensics, face recognition, and brain network analysis, especially when labeled data is scarce and imbalanced. As these applications make high-stake decisions and involve societal values like fairness and transparency, it is critical to explain the learned models. We aim to study post-hoc explanations of Siamese networks (SN) widely used in learning to compare. We characterize the instability of gradient-based explanations due to the additional compared object in SN, in contrast to architectures with a single input instance. We propose an optimization framework that derives global invariance from unlabeled data using self-learning to promote the stability of local explanations tailored for specific query-reference pairs. The optimization problems can be solved using gradient descent-ascent (GDA) for constrained optimization, or SGD for KL-divergence regularized unconstrained optimization, with convergence proofs, especially when the objective functions are nonconvex due to the Siamese architecture. Quantitative results and case studies on tabular and graph data from neuroscience and chemical engineering show that the framework respects the self-learned invariance while robustly optimizing the faithfulness and simplicity of the explanation. We further demonstrate the convergence of GDA experimentally.


title: Aerial Base Station Placement Leveraging Radio Tomographic Maps

abstract: Mobile base stations on board unmanned aerial vehicles (UAVs) promise to deliver connectivity to those areas where the terrestrial infrastructure is overloaded, damaged, or absent. A fundamental problem in this context involves determining a minimal set of locations in 3D space where such aerial base stations (ABSs) must be deployed to provide coverage to a set of users. While nearly all existing approaches rely on average characterizations of the propagation medium, this work develops a scheme where the actual channel information is exploited by means of a radio tomographic map. A convex optimization approach is presented to minimize the number of required ABSs while ensuring that the UAVs do not enter no-fly regions. A simulation study reveals that the proposed algorithm markedly outperforms its competitors.


title: A Unified Framework for Biphasic Facial Age Translation with Noisy-Semantic Guided Generative Adversarial Networks

abstract: Biphasic facial age translation aims at predicting the appearance of the input face at any age. Facial age translation has received considerable research attention in the last decade due to its practical value in cross-age face recognition and various entertainment applications. However, most existing methods model age changes between holistic images, regardless of the human face structure and the age-changing patterns of individual facial components. Consequently, the lack of semantic supervision will cause infidelity of generated faces in detail. To this end, we propose a unified framework for biphasic facial age translation with noisy-semantic guided generative adversarial networks. Structurally, we project the class-aware noisy semantic layouts to soft latent maps for the following injection operation on the individual facial parts. In particular, we introduce two sub-networks, ProjectionNet and ConstraintNet. ProjectionNet introduces the low-level structural semantic information with noise map and produces soft latent maps. ConstraintNet disentangles the high-level spatial features to constrain the soft latent maps, which endows more age-related context into the soft latent maps. Specifically, attention mechanism is employed in ConstraintNet for feature disentanglement. Meanwhile, in order to mine the strongest mapping ability of the network, we embed two types of learning strategies in the training procedure, supervised self-driven generation and unsupervised condition-driven cycle-consistent generation. As a result, extensive experiments conducted on MORPH and CACD datasets demonstrate the prominent ability of our proposed method which achieves state-of-the-art performance.


title: Effects of intermittency on turbulent transport in magnetized plasmas

abstract: We analyze how the turbulent transport of $\mathbf{E}\times \mathbf{B}$ type in magnetically confined plasmas is affected by intermittent features of turbulence. The latter are captured by the non-Gaussian distribution $P(\phi)$ of the turbulent electric potential $\phi$. Our analysis is performed at an analytical level and confirmed numerically using two statistical approaches. We have found that the diffusion is inhibited linearly by intermittency, mainly via the kurtosis of the distribution $P(\phi)$. The associated susceptibility for this linear process is shown to be dependent on the poloidal velocity $V_p$ and on the correlation time $\tau_c$ with a maxima at the time-of-flight $\tau_{fl}$. Intermittency does not affect the Kubo number scaling in the strong regime.


title: Lyapunov exponents for truncated unitary and Ginibre matrices

abstract: In this note, we show that the Lyapunov exponents of mixed products of random truncated Haar unitary and complex Ginibre matrices are asymptotically given by equally spaced `picket-fence' statistics. We discuss how these statistics should originate from the connection between random matrix products and multiplicative Brownian motion on $\operatorname{GL}_n(\mathbb{C})$, analogous to the connection between discrete random walks and ordinary Brownian motion. Our methods are based on contour integral formulas for products of classical matrix ensembles from integrable probability.


title: An introduction to axions and their detection

abstract: In these notes I try to introduce the reader to the topic of axions: their theoretical motivation and expected phenomenology, their role in astrophysics and as dark matter candidate, and the experimental techniques to detect them. Special emphasis is made in this last point, for which a relatively updated review of worldwide efforts and future prospects is made. The material is intended as an introduction to the topic, and it was prepared as lecture notes for Les Houches summer school 2021. Abundant references are included to direct the reader to deeper insight on the different aspects of axion physics.


abstract: Weakly-supervised table question-answering(TableQA) models have achieved state-of-art performance by using pre-trained BERT transformer to jointly encoding a question and a table to produce structured query for the question. However, in practical settings TableQA systems are deployed over table corpora having topic and word distributions quite distinct from BERT's pretraining corpus. In this work we simulate the practical topic shift scenario by designing novel challenge benchmarks WikiSQL-TS and WikiTQ-TS, consisting of train-dev-test splits in five distinct topic groups, based on the popular WikiSQL and WikiTableQuestions datasets. We empirically show that, despite pre-training on large open-domain text, performance of models degrades significantly when they are evaluated on unseen topics. In response, we propose T3QA (Topic Transferable Table Question Answering) a pragmatic adaptation framework for TableQA comprising of: (1) topic-specific vocabulary injection into BERT, (2) a novel text-to-text transformer generator (such as T5, GPT2) based natural language question generation pipeline focused on generating topic specific training data, and (3) a logical form reranker. We show that T3QA provides a reasonably good baseline for our topic shift benchmarks. We believe our topic split benchmarks will lead to robust TableQA solutions that are better suited for practical deployment.


title: Quantum effects in structural and elastic properties of graphite: Path-integral simulations

abstract: Graphite, as a well-known carbon-based solid, is a paradigmatic example of the so-called van der Waals layered materials, which display a large anisotropy in their physical properties. Here we study quantum effects in structural and elastic properties of graphite by using path-integral molecular dynamics simulations in the temperature range from 50 to 1500~K. This method takes into account quantization and anharmonicity of vibrational modes in the material. Our results are compared with those found by using classical molecular dynamics simulations. We analyze the volume and in-plane area as functions of temperature and external stress. The quantum motion is essential to correctly describe the in-plane and out-of-plane thermal expansion. Quantum effects cause also changes in the elastic properties of graphite with respect to a classical model. At low temperature we find an appreciable decrease in the linear elastic constants, mainly in $C_{12}$ and $C_{44}$. Quantum corrections in stiffness constants can be in some cases even larger than 20\%. The bulk modulus and Poisson's ratio are reduced in a 4\% and 19\%, respectively, due to zero-point motion of the C atoms. These quantum effects in structural and elastic properties of graphite are nonnegligible up to temperatures higher than 300~K.


title: Homotopy Continuation Enhanced Branch and Bound Algorithms for Strongly Nonconvex Mixed-Integer Nonlinear Programming Problems

abstract: Large-scale strongly nonlinear and nonconvex mixed-integer nonlinear programming (MINLP) models frequently appear in optimisation-based process synthesis, integration, intensification, and process control. However, they are usually difficult to solve by existing algorithms within an acceptable time. In this work, we propose two robust homotopy continuation enhanced branch and bound (HCBB) algorithms (denoted as HCBB-FP and HCBB-RB) where the homotopy continuation method is employed to gradually approach the optimum of the NLP subproblem at a node from the solution at its parent node. A variable step length is adapted to effectively balance feasibility and computational efficiency. The computational results from solving four existing process synthesis problems demonstrate that the proposed HCBB algorithms can find the same optimal solution from different initial points, while the existing MINLP algorithms fail or find much worse solutions. In addition, HCBB-RB is superior to HCBB-FP due to the much lower computational effort required for the same locally optimal solution.


title: DCUR: Data Curriculum for Teaching via Samples with Reinforcement Learning

abstract: Deep reinforcement learning (RL) has shown great empirical successes, but suffers from brittleness and sample inefficiency. A potential remedy is to use a previously-trained policy as a source of supervision. In this work, we refer to these policies as teachers and study how to transfer their expertise to new student policies by focusing on data usage. We propose a framework, Data CUrriculum for Reinforcement learning (DCUR), which first trains teachers using online deep RL, and stores the logged environment interaction history. Then, students learn by running either offline RL or by using teacher data in combination with a small amount of self-generated data. DCUR's central idea involves defining a class of data curricula which, as a function of training time, limits the student to sampling from a fixed subset of the full teacher data. We test teachers and students using state-of-the-art deep RL algorithms across a variety of data curricula. Results suggest that the choice of data curricula significantly impacts student learning, and that it is beneficial to limit the data during early training stages while gradually letting the data availability grow over time. We identify when the student can learn offline and match teacher performance without relying on specialized offline RL algorithms. Furthermore, we show that collecting a small fraction of online data provides complementary benefits with the data curriculum. Supplementary material is available at https://tinyurl.com/teach-dcur.


title: The Scales of Human Mobility

abstract: There is a contradiction at the heart of our current understanding of individual and collective mobility patterns. On one hand, a highly influential stream of literature on human mobility driven by analyses of massive empirical datasets finds that human movements show no evidence of characteristic spatial scales. There, human mobility is described as scale-free. On the other hand, in geography, the concept of scale, referring to meaningful levels of description from individual buildings through neighborhoods, cities, regions, and countries, is central for the description of various aspects of human behavior such as socio-economic interactions, or political and cultural dynamics. Here, we resolve this apparent paradox by showing that day-to-day human mobility does indeed contain meaningful scales, corresponding to spatial containers restricting mobility behavior. The scale-free results arise from aggregating displacements across containers. We present a simple model, which given a person's trajectory, infers their neighborhoods, cities, and so on, as well as the sizes of these geographical containers. We find that the containers characterizing the trajectories of more than 700,000 individuals do indeed have typical sizes. We show that our model generates highly realistic trajectories without overfitting and provides a new lens through which to understand the differences in mobility behaviour across countries, gender groups, and urban-rural areas.


title: Toward Modern Fortran Tooling and a Thriving Developer Community

abstract: Fortran is the oldest high-level programming language that remains in use today and is one of the dominant languages used for compute-intensive scientific and engineering applications. However, Fortran has not kept up with the modern software development practices and tooling in the internet era. As a consequence, the Fortran developer experience has diminished. Specifically, lack of a rich general-purpose library ecosystem, modern tools for building and packaging Fortran libraries and applications, and online learning resources, has made it difficult for Fortran to attract and retain new users. To address this problem, an open source community has formed on GitHub in 2019 and began to work on the initial set of core tools: a standard library, a build system and package manager, and a community-curated website for Fortran. In this paper we report on the progress to date and outline the next steps.


title: RankNAS: Efficient Neural Architecture Search by Pairwise Ranking

abstract: This paper addresses the efficiency challenge of Neural Architecture Search (NAS) by formulating the task as a ranking problem. Previous methods require numerous training examples to estimate the accurate performance of architectures, although the actual goal is to find the distinction between "good" and "bad" candidates. Here we do not resort to performance predictors. Instead, we propose a performance ranking method (RankNAS) via pairwise ranking. It enables efficient architecture search using much fewer training examples. Moreover, we develop an architecture selection method to prune the search space and concentrate on more promising candidates. Extensive experiments on machine translation and language modeling tasks show that RankNAS can design high-performance architectures while being orders of magnitude faster than state-of-the-art NAS systems.


title: How to use KL-divergence to construct conjugate priors, with well-defined non-informative limits, for the multivariate Gaussian

abstract: The Wishart distribution is the standard conjugate prior for the precision of the multivariate Gaussian likelihood, when the mean is known -- while the normal-Wishart can be used when the mean is also unknown. It is however not so obvious how to assign values to the hyperparameters of these distributions. In particular, when forming non-informative limits of these distributions, the shape (or degrees of freedom) parameter of the Wishart must be handled with care. The intuitive solution of directly interpreting the shape as a pseudocount and letting it go to zero, as proposed by some authors, violates the restrictions on the shape parameter. We show how to use the scaled KL-divergence between multivariate Gaussians as an energy function to construct Wishart and normal-Wishart conjugate priors. When used as informative priors, the salient feature of these distributions is the mode, while the KL scaling factor serves as the pseudocount. The scale factor can be taken down to the limit at zero, to form non-informative priors that do not violate the restrictions on the Wishart shape parameter. This limit is non-informative in the sense that the posterior mode is identical to the maximum likelihood estimate of the parameters of the Gaussian.


title: Collider search of light dark matter model with dark sector decay

abstract: We explore the possibility that the dark matter relic density is not produced by thermal mechanism directly, but by the decay of other heavier dark sector particles which on the other hand can be produced by the thermal freeze-out mechanism. Using a concrete model with a light dark matter from dark sector decay, we study the collider signature of the dark sector particles in association with Higgs production processes. We find that the future lepton colliders can be a better place to probe the signature of this kind of light dark matter model than the hadron collider such as LHC. Meanwhile, it is found that a Higgs factory with center of mass energy 250 GeV has a better potential to resolve the signature of this kind of light dark matter model than the Higgs factory with center of mass energy 350 GeV.


title: On the Phase Grouping Mechanism for a Magnetron Coherent Oscillation

abstract: CW magnetrons, developed for industrial heaters, but driven by an injection-locking signal were suggested to power Superconducting RF (SRF) cavities due to higher efficiency and lower cost of generated RF power per Watt than traditionally used RF sources (klystrons, IOTs, solid-state amplifiers). When the magnetrons are intended to feed Room Temperature (RT) cavities, the injected phase or frequency locking signal may provide required phase or frequency stability of the accelerating field. However, when the magnetron RF sources are intended to feed high Q-factor SRF cavities, the sources must be controlled in phase and power in a wide bandwidth to compensate parasitic phase and amplitude modulations caused by microphonics. In dependence on parameters of magnetron and the injection-locking signal one can choose regime most suitable for feeding SRF cavities, enabling magnetron almost coherent oscillation at the wide bandwidth of control. A novel approach considering magnetrons as quasi-coherent or coherent RF generators enables choosing the tube parameters and operation most suitable for various SRF accelerators.


title: Cross-correlation of Planck CMB lensing with DESI galaxy groups

abstract: We measure the cross-correlation between galaxy groups constructed from DESI Legacy Imaging Survey DR8 and \emph{Planck} CMB lensing, over overlapping sky area of 16876 $\rm deg^2$. The detections are significant and consistent with the expected signal of the large-scale structure of the universe, over group samples of various redshift, mass, richness $N_{\rm g}$ and over various scale cuts. The overall S/N is 40 for a conservative sample with $N_{\rm g}\geq 5$, and increases to $50$ for the sample with $N_{\rm g}\geq 2$. Adopting the \emph{Planck} 2018 cosmology, we constrain the density bias of groups with $N_{\rm g}\geq 5$ as $b_{\rm g}=1.31\pm 0.10$, $2.22\pm 0.10$, $3.52\pm 0.20$ at $0.1<z\leq 0.33$, $0.33<z\leq 0.67$, $0.67<z\leq1$ respectively. The group catalog provides the estimation of group halo mass and therefore allows us to detect the dependence of bias on group mass with high significance. It also allows us to compare the measured bias with the theoretically predicted one using the estimated group mass. We find excellent agreement for the two high redshift bins. However, it is lower than the theory by $\sim 3\sigma$ for the lowest redshift bin. Another interesting finding is the significant impact of the thermal Sunyaev Zel'dovich (tSZ). It contaminates the galaxy group-CMB lensing cross-correlation at $\sim 30\%$ level, and must be deprojected first in CMB lensing reconstruction.


title: Fast Simulation of a High Granularity Calorimeter by Generative Adversarial Networks

abstract: We present the 3DGAN for the simulation of a future high granularity calorimeter output as three-dimensional images. We prove the efficacy of Generative Adversarial Networks (GANs) for generating scientific data while retaining a high level of accuracy for diverse metrics across a large range of input variables. We demonstrate a successful application of the transfer learning concept: we train the network to simulate showers for electrons from a reduced range of primary energies, we then train further for a five times larger range (the model could not train for the larger range directly). The same concept is extended to generate showers for other particles (photons and neutral pions) depositing most of their energies in electromagnetic interactions. In addition, the generation of charged pion showers is also explored, a more accurate effort would require additional data from other detectors not included in the scope of the current work. Our further contribution is a demonstration of using GAN-generated data for a practical application. We train a third-party network using GAN-generated data and prove that the response is similar to a network trained with data from the Monte Carlo simulation. The showers generated by GAN present accuracy within $10\%$ of Monte Carlo for a diverse range of physics features, with three orders of magnitude speedup. The speedup for both the training and inference can be further enhanced by distributed training.


title: Exploring the sky localization and early warning capabilities of third generation gravitational wave detectors in three-detector network configurations

abstract: This work characterises the sky localization and early warning performance of networks of third generation gravitational wave detectors, consisting of different combinations of detectors with either the Einstein Telescope or Cosmic Explorer configuration in sites in North America, Europe and Australia. Using a Fisher matrix method which includes the effect of earth rotation, we estimate the sky localization uncertainty for $1.4\text{M}\odot$-$1.4\text{M}\odot$ binary neutron star mergers at distances $40\text{Mpc}$, $200\text{Mpc}$, $400\text{Mpc}$, $800\text{Mpc}$, $1600\text{Mpc}$, and an assumed astrophysical population up to redshift of 2 to characterize its performance for binary neutron star observations. We find that, for binary neutron star mergers at $200\text{Mpc}$ and a network consisting of the Einstein Telescope, Cosmic Explorer and an extra Einstein Telescope-like detector in Australia(2ET1CE), the upper limit of the size of the 90% credible region for the best localized 90% signals is $0.25\text{deg}^2$. For the simulated astrophysical distribution, this upper limit is $91.79\text{deg}^2$. If the Einstein Telescope-like detector in Australia is replaced with a Cosmic Explorer-like detector(1ET2CE), for $200\text{Mpc}$ case, the upper limit is $0.18\text{deg}^2$, while for astrophysical distribution, it is $56.77\text{deg}^2$. We note that the 1ET2CE network can detect 7.2% more of the simulated astrophysical population than the 2ET1CE network. In terms of early warning performance, we find that a network of 2ET1CE and 1ET2CE networks can both provide early warnings of the order of 1 hour prior to merger with sky localization uncertainties of 30 square degrees or less. Our study concludes that the 1ET2CE network is a good compromise between binary neutron stars detection rate, sky localization and early warning capabilities.


title: Finding out all locally indistinguishable sets of generalized Bell states

abstract: In general, for a bipartite quantum system $\mathbb{C}^{d}\otimes\mathbb{C}^{d}$ and an integer $k$ such that $4\leq k\le d$,there are few necessary and sufficient conditions for local discrimination of sets of $k$ generalized Bell states (GBSs) and it is difficult to locally distinguish $k$-GBS sets.The purpose of this paper is to completely solve the problem of local discrimination of GBS sets in some bipartite quantum systems.Firstly three practical and effective sufficient conditions are given,Fan$^{,}$s and Wang et al.$^{,}$s results [Phys Rev Lett 92, 177905 (2004); Phys Rev A 99, 022307 (2019)] can be deduced as special cases of these conditions.Secondly in $\mathbb{C}^{4}\otimes\mathbb{C}^{4}$, a necessary and sufficient condition for local discrimination of GBS sets is provided, and a list of all locally indistinguishable 4-GBS sets is provided,and then the problem of local discrimination of GBS sets is completely solved.In $\mathbb{C}^{5}\otimes\mathbb{C}^{5}$, a concise necessary and sufficient condition for one-way local discrimination of GBS sets is obtained,which gives an affirmative answer to the case $d=5$ of the problem proposed by Wang et al.


title: Bi-Hamiltonian structure of Sutherland models coupled to two ${\mathfrak u}(n)^*$-valued spins from Poisson reduction

abstract: We introduce a bi-Hamiltonian hierarchy on the cotangent bundle of the real Lie group ${\mathrm{GL}}(n,{\mathbb{C}})$, and study its Poisson reduction with respect to the action of the product group ${{\mathrm U}(n)} \times {{\mathrm U}(n)}$ arising from left- and right-multiplications. One of the pertinent Poisson structures is the canonical one, while the other is suitably transferred from the real Heisenberg double of ${\mathrm{GL}}(n,{\mathbb{C}})$. When taking the quotient of $T^*{\mathrm{GL}}(n,{\mathbb{C}})$ we focus on the dense open subset of ${\mathrm{GL}}(n,{\mathbb{C}})$ whose elements have pairwise distinct singular values. We develop a convenient description of the Poisson algebras of the ${{\mathrm U}(n)} \times {{\mathrm U}(n)}$ invariant functions, and show that one of the Hamiltonians of the reduced bi-Hamiltonian hierarchy yields a hyperbolic Sutherland model coupled to two ${\mathfrak u}(n)^*$-valued spins. Thus we obtain a new bi-Hamiltonian interpretation of this model, which represents a special case of Sutherland models coupled to two spins obtained earlier from reductions of cotangent bundles of reductive Lie groups equipped with their canonical Poisson structure. Upon setting one of the spins to zero, we recover the bi-Hamiltonian structure of the standard hyperbolic spin Sutherland model that was derived recently by a different method.


title: Experimental Study of the Phase Noise in K-band ARoF systems for Low Complexity 5G receivers

abstract: In this paper, an experimental analysis of the phase noise in an OFDM ARoF setup at 25 GHzfor beyond 5G is presented. The configuration of the setup allows to gradually scale the final phase noise level of the system. Moreover, an OFDM phase noise mitigation method with low complexity and delay is proposed and explained. The proposed method is an advanced version of the LI-CPE algorithm. The advanced LI-CPE version avoids the one OFDM symbol delay of its antecedent. In addition, the yields of using both methods are shown under different phase noise levels and with different subcarrier spacings. Finally, it is experimentally proven that the proposed method performs better than its previous version.


title: Hard and soft materials: Putting consistent van der Waals density functionals to work

abstract: We present the idea and illustrate potential benefits of having a tool chain of closely related regular, unscreened and screened hybrid exchange-correlation (XC) functionals, all within the consistent formulation of the van der Waals density functional (vdW-DF) method [JPCM 32, 393001 (2020)]. Use of this chain of nonempirical XC functionals allows us to map when the inclusion of truly nonlocal exchange and of truly nonlocal correlation is important. Here we begin the mapping by addressing hard and soft material challenges: magnetic elements, perovskites, and biomolecular problems. We also predict the structure and polarization for a ferroelectric polymer. To facilitate this work and future broader explorations, we furthermore present a stress formulation for spin vdW-DF and illustrate use of a simple stability-modeling scheme to assert when the prediction of a soft mode (an imaginary-frequency vibrational mode, ubiquitous in perovskites and soft matter) implies a prediction of an actual low-temperature transformation.


title: Study of the electronic properties of topological kagome metals YV$_6$Sn$_6$ and GdV$_6$Sn$_6$

abstract: The synthesis and characterization of vanadium-based kagome metals YV$_6$Sn$_6$ and GdV$_6$Sn$_6$ are presented. X-ray diffraction, magnetization, magnetotransport, and heat capacity measurements reveal an ideal kagome network of V-ions coordinated by Sn and separated by triangular lattice planes of rare-earth ions. The onset of low-temperature, likely noncollinear, magnetic order of Gd spins is detected in GdV$_6$Sn$_6$, while V-ions in both compounds remain nonmagnetic. Density functional theory calculations are presented modeling the band structures of both compounds, which can be classified as $\mathbb{Z}_2$ topological metals in the paramagnetic state. Both compounds exhibit high mobility, multiband transport and present an interesting platform for controlling the interplay between magnetic order associated with the $R$-site sublattice and nontrivial band topology associated with the V-based kagome network. Our results invite future exploration of other $R$V$_6$Sn$_6$ ($R$=rare earth) variants where this interplay can be tuned via $R$-site substitution.


title: Can one hear the shape of a neural network?: Snooping the GPU via Magnetic Side Channel

abstract: Neural network applications have become popular in both enterprise and personal settings. Network solutions are tuned meticulously for each task, and designs that can robustly resolve queries end up in high demand. As the commercial value of accurate and performant machine learning models increases, so too does the demand to protect neural architectures as confidential investments. We explore the vulnerability of neural networks deployed as black boxes across accelerated hardware through electromagnetic side channels. We examine the magnetic flux emanating from a graphics processing unit's power cable, as acquired by a cheap $3 induction sensor, and find that this signal betrays the detailed topology and hyperparameters of a black-box neural network model. The attack acquires the magnetic signal for one query with unknown input values, but known input dimensions. The network reconstruction is possible due to the modular layer sequence in which deep neural networks are evaluated. We find that each layer component's evaluation produces an identifiable magnetic signal signature, from which layer topology, width, function type, and sequence order can be inferred using a suitably trained classifier and a joint consistency optimization based on integer programming. We study the extent to which network specifications can be recovered, and consider metrics for comparing network similarity. We demonstrate the potential accuracy of this side channel attack in recovering the details for a broad range of network architectures, including random designs. We consider applications that may exploit this novel side channel exposure, such as adversarial transfer attacks. In response, we discuss countermeasures to protect against our method and other similar snooping techniques.


title: Constraint based Knowledge Base Distillation in End-to-End Task Oriented Dialogs

abstract: End-to-End task-oriented dialogue systems generate responses based on dialog history and an accompanying knowledge base (KB). Inferring those KB entities that are most relevant for an utterance is crucial for response generation. Existing state of the art scales to large KBs by softly filtering over irrelevant KB information. In this paper, we propose a novel filtering technique that consists of (1) a pairwise similarity based filter that identifies relevant information by respecting the n-ary structure in a KB record. and, (2) an auxiliary loss that helps in separating contextually unrelated KB information. We also propose a new metric -- multiset entity F1 which fixes a correctness issue in the existing entity F1 metric. Experimental results on three publicly available task-oriented dialog datasets show that our proposed approach outperforms existing state-of-the-art models.


title: An Improved Approach to Orbital Determination and Prediction of Near-Earth Asteroids: Computer Simulation, Modeling and Test Measurements

abstract: In this article, theory-based analytical methodologies of astrophysics employed in the modern era are suitably operated alongside a test research-grade telescope to image and determine the orbit of a near-earth asteroid from original observations, measurements, and calculations. Subsequently, its intrinsic orbital path has been calculated including the chance it would likely impact Earth in the time ahead. More so specifically, this case-study incorporates the most effective, feasible, and novel Gauss's Method in order to maneuver the orbital plane components of a planetesimal, further elaborating and extending our probes on a selected near-earth asteroid (namely the 12538-1998 OH) through the observational data acquired over a six week period. Utilizing the CCD (Charge Coupled Device) snapshots captured, we simulate and calculate the orbit of our asteroid as outlined in quite detailed explanations. The uncertainties and deviations from the expected values are derived to reach a judgement whether our empirical findings are truly reliable and representative measurements by partaking a statistical analysis based systematic approach. Concluding the study by narrating what could have caused such discrepancy of findings in the first place, if any, measures are put forward that could be undertaken to improve the test-case for future investigations. Following the calculation of orbital elements and their uncertainties using Monte Carlo analysis, simulations were executed with various sample celestial bodies to derive a plausible prediction regarding the fate of Asteroid 1998 OH. Finally, the astrometric and photometric data, after their precise verification, were officially submitted to the Minor Planet Center: an organization hosted by the Center for Astrophysics, Harvard and Smithsonian and funded by NASA, for keeping track of the asteroid's potential trajectories.


title: On the role of continuous symmetries in the solution of the 3D Euler fluid equations and related models

abstract: We review and apply the continuous symmetry approach to find the solution of the 3D Euler fluid equations in several instances of interest, via the construction of constants of motion and infinitesimal symmetries, without recourse to Noether's theorem. We show that the vorticity field is a symmetry of the flow, so if the flow admits another symmetry then a Lie algebra of new symmetries can be constructed. For steady Euler flows this leads directly to the distinction of (non-)Beltrami flows: an example is given where the topology of the spatial manifold determines whether extra symmetries can be constructed. Next, we study the stagnation-point-type exact solution of the 3D Euler fluid equations introduced by Gibbon et al. (Physica D, vol.132, 1999, pp.497-510) along with a one-parameter generalisation of it introduced by Mulungye et al. (J. Fluid Mech., vol.771, 2015, pp.468-502). Applying the symmetry approach to these models allows for the explicit integration of the fields along pathlines, revealing a fine structure of blowup for the vorticity, its stretching rate, and the back-to-labels map, depending on the value of the free parameter and on the initial conditions. Finally, we produce explicit blowup exponents and prefactors for a generic type of initial conditions.


title: Disentangling Generative Factors of Physical Fields Using Variational Autoencoders

abstract: The ability to extract generative parameters from high-dimensional fields of data in an unsupervised manner is a highly desirable yet unrealized goal in computational physics. This work explores the use of variational autoencoders (VAEs) for non-linear dimension reduction with the specific aim of {\em disentangling} the low-dimensional latent variables to identify independent physical parameters that generated the data. A disentangled decomposition is interpretable, and can be transferred to a variety of tasks including generative modeling, design optimization, and probabilistic reduced order modelling. A major emphasis of this work is to characterize disentanglement using VAEs while minimally modifying the classic VAE loss function (i.e. the Evidence Lower Bound) to maintain high reconstruction accuracy. The loss landscape is characterized by over-regularized local minima which surround desirable solutions. We illustrate comparisons between disentangled and entangled representations by juxtaposing learned latent distributions and the true generative factors in a model porous flow problem. Hierarchical priors are shown to facilitate the learning of disentangled representations. The regularization loss is unaffected by latent rotation when training with rotationally-invariant priors, and thus learning non-rotationally-invariant priors aids in capturing the properties of generative factors, improving disentanglement. Finally, it is shown that semi-supervised learning - accomplished by labeling a small number of samples ($O(1\%)$) - results in accurate disentangled latent representations that can be consistently learned.


title: Lipschitz-homotopy invariants:$L^2$-cohomology, Roe index and $\rho$-class

abstract: In this thesis we talk about lipschitz-homotopy invariants for manifolds of bounded geometry. There are three main results: the first one is the definition of a controvariant functor between the category of manifolds of bounded geometry with uniformly proper lipschitz maps and the category of complex vector space together linear maps. As consequence of this we obtain that the (un)-reduced $L^2$-cohomology is a lipschitz-homotopy invariant. The second result is the invariance of the Roe index of the signature operator under lipschitz-homotopy equivalence which preserves the orientations. Finally, the last result is the following: given a lipschitz-homotopy equivalence wich preserves the orientations between manifold of bounded geometry, we define a $\rho$-class in the K-theory group of the structure algebra of the codomain which is related to the lipschitz-homotopy. This class only depends on the domain and on the lipschitz-homotopy class of the map.


title: Matching with Transformers in MELT

abstract: One of the strongest signals for automated matching of ontologies and knowledge graphs are the textual descriptions of the concepts. The methods that are typically applied (such as character- or token-based comparisons) are relatively simple, and therefore do not capture the actual meaning of the texts. With the rise of transformer-based language models, text comparison based on meaning (rather than lexical features) is possible. In this paper, we model the ontology matching task as classification problem and present approaches based on transformer models. We further provide an easy to use implementation in the MELT framework which is suited for ontology and knowledge graph matching. We show that a transformer-based filter helps to choose the correct correspondences given a high-recall alignment and already achieves a good result with simple alignment post-processing methods.


title: Multi View Spatial-Temporal Model for Travel Time Estimation

abstract: Taxi arrival time prediction is essential for building intelligent transportation systems. Traditional prediction methods mainly rely on extracting features from traffic maps, which cannot model complex situations and nonlinear spatial and temporal relationships. Therefore, we propose Multi-View Spatial-Temporal Model (MVSTM) to capture the mutual dependence of spatial-temporal relations and trajectory features. Specifically, we use graph2vec to model the spatial view, dual-channel temporal module to model the trajectory view, and structural embedding to model traffic semantics. Experiments on large-scale taxi trajectory data have shown that our approach is more effective than the existing novel methods. The source code can be found at https://github.com/775269512/SIGSPATIAL-2021-GISCUP-4th-Solution.


title: BERT is Robust! A Case Against Synonym-Based Adversarial Examples in Text Classification

abstract: Deep Neural Networks have taken Natural Language Processing by storm. While this led to incredible improvements across many tasks, it also initiated a new research field, questioning the robustness of these neural networks by attacking them. In this paper, we investigate four word substitution-based attacks on BERT. We combine a human evaluation of individual word substitutions and a probabilistic analysis to show that between 96% and 99% of the analyzed attacks do not preserve semantics, indicating that their success is mainly based on feeding poor data to the model. To further confirm that, we introduce an efficient data augmentation procedure and show that many adversarial examples can be prevented by including data similar to the attacks during training. An additional post-processing step reduces the success rates of state-of-the-art attacks below 5%. Finally, by looking at more reasonable thresholds on constraints for word substitutions, we conclude that BERT is a lot more robust than research on attacks suggests.


title: Stability and dynamics across magnetic phases of vortex-bright type excitations in spinor Bose-Einstein condensates

abstract: The static properties, i.e., existence and stability, as well as the quench-induced dynamics of vortex-bright type excitations in two-dimensional harmonically confined spin-1 Bose-Einstein condensates are investigated. Linearly stable vortex-bright-vortex and bright-vortex-bright solutions arise in both antiferromagnetic and ferromagnetic spinor gases upon quadratic Zeeman energy shift variations. Their deformations across the relevant transitions are exposed and discussed in detail evincing also that emergent instabilities can lead to pattern formation. Spatial elongations, precessional motion and spiraling of the nonlinear excitations when exposed to finite temperatures and upon crossing the distinct phase boundaries, via quenching of the quadratic Zeeman coefficient, are unveiled. Spin-mixing processes triggered by the quench lead, among others, to changes in the waveform of the ensuing configurations. Our findings reveal an interplay between pattern formation and spin-mixing processes being accessible in contemporary cold atom experiments.

categories: cond-mat.quant-gas nlin.PS physics.atom-ph quant-ph


title: Using Machine Learning techniques in phenomenological studies in flavour physics

abstract: An updated analysis of New Physics violating Lepton Flavour Universality, by using the Standard Model Effective Field Lagrangian with semileptonic dimension six operators at $\Lambda = 1\,\mathrm{TeV}$ is presented. We perform a global fit, by discussing the relevance of the mixing in the first generation. We use for the first time in this context a Montecarlo analysis to extract the confidence intervals and correlations between observables. Our results show that machine learning, made jointly with the SHAP values, constitute a suitable strategy to use in this kind of analysis.


title: Geographic Difference-in-Discontinuities

abstract: A recent econometric literature has critiqued the use of regression discontinuities where administrative borders serves as the 'cutoff'. Identification in this context is difficult since multiple treatments can change at the cutoff and individuals can easily sort on either side of the border. This note extends the difference-in-discontinuities framework discussed in Grembi et. al. (2016) to a geographic setting. The paper formalizes the identifying assumptions in this context which will allow for the removal of time-invariant sorting and compound-treatments similar to the difference-in-differences methodology.


title: Semi-supervised Contrastive Learning for Label-efficient Medical Image Segmentation

abstract: The success of deep learning methods in medical image segmentation tasks heavily depends on a large amount of labeled data to supervise the training. On the other hand, the annotation of biomedical images requires domain knowledge and can be laborious. Recently, contrastive learning has demonstrated great potential in learning latent representation of images even without any label. Existing works have explored its application to biomedical image segmentation where only a small portion of data is labeled, through a pre-training phase based on self-supervised contrastive learning without using any labels followed by a supervised fine-tuning phase on the labeled portion of data only. In this paper, we establish that by including the limited label in formation in the pre-training phase, it is possible to boost the performance of contrastive learning. We propose a supervised local contrastive loss that leverages limited pixel-wise annotation to force pixels with the same label to gather around in the embedding space. Such loss needs pixel-wise computation which can be expensive for large images, and we further propose two strategies, downsampling and block division, to address the issue. We evaluate our methods on two public biomedical image datasets of different modalities. With different amounts of labeled data, our methods consistently outperform the state-of-the-art contrast-based methods and other semi-supervised learning techniques.


title: Coarse-grained Entanglement and Operator Growth in Anomalous Dynamics

abstract: In two-dimensional Floquet systems, many-body localized dynamics in the bulk may give rise to a chaotic evolution at the one-dimensional edges that is characterized by a nonzero chiral topological index. Such anomalous dynamics is qualitatively different from local-Hamiltonian evolution. Here we show how the presence of a nonzero index affects entanglement generation and the spreading of local operators, focusing on the coarse-grained description of generic systems. We tackle this problem by analyzing exactly solvable models of random quantum cellular automata (QCA) which generalize random circuits. We find that a nonzero index leads to asymmetric butterfly velocities with different diffusive broadening of the light cones, and to a modification of the order relations between the butterfly and entanglement velocities. We propose that these results can be understood via a generalization of the recently-introduced entanglement membrane theory, by allowing for a spacetime entropy current, which in the case of a generic QCA is fixed by the index. We work out the implications of this current on the entanglement "membrane tension" and show that the results for random QCA are recovered by identifying the topological index with a background velocity for the coarse-grained entanglement dynamics.

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


title: Sporting the government: Twitter as a window into sportspersons' engagement with causes in India and USA

abstract: With the ubiquitous reach of social media, influencers are increasingly central to articulation of political agendas on a range of topics. We curate a sample of tweets from the 200 most followed sportspersons in India and the United States respectively since 2019, map their connections with politicians, and visualize their engagements with key topics online. We find significant differences between the ways in which Indian and US sportspersons engage with politics online-while leading Indian sportspersons tend to align closely with the ruling party and engage minimally in dissent, American sportspersons engage with a range of political issues and are willing to publicly criticize politicians or policy. Our findings suggest that the ownership and governmental control of sports impact public stances on issues that professional sportspersons are willing to engage in online. It might also be inferred, depending upon the government of the day, that the costs of speaking up against the state and the government in power have different socio-economic costs in the US and India.


title: Assisting the Human Fact-Checkers: Detecting All Previously Fact-Checked Claims in a Document

abstract: Given the recent proliferation of false claims online, there has been a lot of manual fact-checking effort. As this is very time-consuming, human fact-checkers can benefit from tools that can support them and make them more efficient. Here, we focus on building a system that could provide such support. Given an input document, it aims to detect all sentences that contain a claim that can be verified by some previously fact-checked claims (from a given database). The output is a re-ranked list of the document sentences, so that those that can be verified are ranked as high as possible, together with corresponding evidence. Unlike previous work, which has looked into claim retrieval, here we take a document-level perspective. We create a new manually annotated dataset for this task, and we propose suitable evaluation measures. We further experiment with a learning-to-rank approach, achieving sizable performance gains over several strong baselines. Our analysis demonstrates the importance of modeling text similarity and stance, while also taking into account the veracity of the retrieved previously fact-checked claims. We believe that this research would be of interest to fact-checkers, journalists, media, and regulatory authorities.


title: AliMe MKG: A Multi-modal Knowledge Graph for Live-streaming E-commerce

abstract: Live streaming is becoming an increasingly popular trend of sales in E-commerce. The core of live-streaming sales is to encourage customers to purchase in an online broadcasting room. To enable customers to better understand a product without jumping out, we propose AliMe MKG, a multi-modal knowledge graph that aims at providing a cognitive profile for products, through which customers are able to seek information about and understand a product. Based on the MKG, we build an online live assistant that highlights product search, product exhibition and question answering, allowing customers to skim over item list, view item details, and ask item-related questions. Our system has been launched online in the Taobao app, and currently serves hundreds of thousands of customers per day.


title: Manifestation of strange nonchaotic attractors in extended systems: A study through out-of-time-ordered correlators

abstract: We study the spatial spread of out-of-time-ordered correlators (OTOCs) in coupled map lattices (CMLs) of quasiperiodically forced nonlinear maps. We use instantaneous speed (IS) and finite-time Lyapunov exponents (FTLEs) to investigate the role of strange non-chaotic attractors (SNAs) on the spatial spread of the OTOC. We find that these CMLs exhibit a characteristic on and off type of spread of the OTOC for SNA. Further, we provide a broad spectrum of the various dynamical regimes in a two-parameter phase diagram using IS and FTLEs. We substantiate our results by confirming the presence of SNA using established tools and measures, namely the distribution of finite-time Lyapunov exponents, phase sensitivity, spectrum of partial Fourier sums, and $0-1$ test.


title: Injected power fluctuations for a non-equilibrium electronic disspative system in space

abstract: In this article we present an experimental study of the statistical properties for the injected power fluctuations of a dissipative system as a function of external environmental conditions. A Brownian motion analog is implemented using a series resistor and capacitor circuit with an Orstein-Ulhenbeck forcing. This system is tested in a controlled thermal bath at the laboratory, setting the bath temperature and different bath atmospheric pressures. The non-equilibrium system shows a higher correlation factor between the external forcing and the system response with increasing bath atmospheric pressure at constant temperature. These results were put to test in an uncontrolled bath such as space, by using a satellite orbiting at 505 km of altitude. A reduced version of the previous experiment was built to fit the satellite capabilities and was successfully integrated in the inner side of the satellite and then run in several locations of its orbit.

categories: cond-mat.stat-mech eess.SP nlin.CD physics.space-ph


title: Robustness of equilibrium off-diagonal current fluctuation against localization of electron states in macroscopic two-dimensional systems

abstract: We study the off-diagonal current fluctuation in a macroscopic quantum system measured in an ideal manner that is as close as possible to the classical ideal measurement. We show rigorously that not only extended but also localized states contribute to the off-diagonal current fluctuation. This result contrasts with the fact that only the extended states affect the off-diagonal (Hall) conductivity and apparently contradicts the naive expectation from the fluctuation-dissipation theorem that might directly connect these two quantities. More specifically, we study the off-diagonal current fluctuation in a disordered two-dimensional electron system in a strong magnetic field at low temperatures. The fluctuation is almost unchanged from that of the pure system reflecting the property mentioned above, being approximately proportional to the Landau level filling factor with high accuracy. Our finding paves the way to estimate the filling factor and the electron density from the off-diagonal current fluctuation observed in macroscopic systems.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech


title: Non-Debye relaxations: The characteristic exponent in the excess wings model

abstract: The characteristic (Laplace or L\'evy) exponents uniquely characterize infinitely divisible probability distributions. Although of purely mathematical origin they appear to be uniquely associated with the memory functions present in evolution equations which govern the course of such physical phenomena like non-Debye relaxations or anomalous diffusion. Commonly accepted procedure to mimic memory effects is to make basic equations time smeared, i.e., nonlocal in time. This is modeled either through the convolution of memory functions with those describing relaxation/diffusion or, alternatively, through the time smearing of time derivatives. Intuitive expectations say that such introduced time smearings should be physically equivalent. This leads to the conclusion that both kinds of so far introduced memory functions form a "twin" structure familiar to mathematicians for a long time and known as the Sonine pair. As an illustration of the proposed scheme we consider the excess wings model of non-Debye relaxations, determine its evolution equations and discuss properties of the solutions.


title: Mapping Input Noise to Escape Noise in Integrate-and-fire neurons: A Level-Crossing Approach

abstract: Noise in spiking neurons is commonly modeled by a noisy input current or by generating output spikes stochastically with a voltage-dependent hazard rate ("escape noise"). While input noise lends itself to modeling biophysical noise processes, the phenomenological escape noise is mathematically more tractable. Using the level-crossing theory for differentiable Gaussian processes, we derive an approximate mapping between colored input noise and escape noise in leaky integrate-and-fire neurons. This mapping requires the first-passage-time (FPT) density of an overdamped Brownian particle driven by colored noise with respect to an arbitrarily moving boundary. Starting from the Wiener-Rice series for the FPT density, we apply the second-order decoupling approximation of Stratonovich to the case of moving boundaries and derive a simplified hazard-rate representation that is local in time and numerically efficient. This simplification requires the calculation of the non-stationary auto-correlation function of the level-crossing process: For exponentially correlated input noise (Ornstein-Uhlenbeck process), we obtain an exact formula for the zero-lag auto-correlation as a function of noise parameters, mean membrane potential and its speed, as well as an exponential approximation of the full auto-correlation function. The theory well predicts the FPT and interspike interval densities as well as the population activities obtained from simulations with time-dependent stimulus or boundary. The agreement with simulations is strongly enhanced compared to a first-order decoupling approximation that neglects correlations between level crossings. The second-order approximation also improves upon a previously proposed theory in the subthreshold regime. Depending on a simplicity-accuracy trade-off, all considered approximations represent useful mappings from colored input noise to escape noise.


title: Sato-Tate Distributions of Catalan Curves

abstract: For distinct odd primes $p$ and $q$, we define the Catalan curve $C_{p,q}$ by the affine equation $y^q=x^p-1$. In this article we construct the Sato-Tate groups of the Jacobians in order to study the limiting distributions of coefficients of their normalized L-polynomials.Catalan Jacobians are nondegenerate and simple with noncyclic Galois groups (of the endomorphism fields over $\mathbb Q$), thus making them interesting varieties to study in the context of Sato-Tate groups. We compute both statistical and numerical moments for the limiting distributions. Lastly, we determine the Galois endomorphism types of the Jacobians using both old and new techniques.


title: Axioms for the category of Hilbert spaces

abstract: We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the mathematical foundations of quantum theory raised in reconstruction programmes such as those of von Neumann, Mackey, Jauch, Piron, Abramsky, and Coecke.


title: Union: A Unified HW-SW Co-Design Ecosystem in MLIR for Evaluating Tensor Operations on Spatial Accelerators

abstract: To meet the extreme compute demands for deep learning across commercial and scientific applications, dataflow accelerators are becoming increasingly popular. While these "domain-specific" accelerators are not fully programmable like CPUs and GPUs, they retain varying levels of flexibility with respect to data orchestration, i.e., dataflow and tiling optimizations to enhance efficiency. There are several challenges when designing new algorithms and mapping approaches to execute the algorithms for a target problem on new hardware. Previous works have addressed these challenges individually. To address this challenge as a whole, in this work, we present a HW-SW co-design ecosystem for spatial accelerators called Union within the popular MLIR compiler infrastructure. Our framework allows exploring different algorithms and their mappings on several accelerator cost models. Union also includes a plug-and-play library of accelerator cost models and mappers which can easily be extended. The algorithms and accelerator cost models are connected via a novel mapping abstraction that captures the map space of spatial accelerators which can be systematically pruned based on constraints from the hardware, workload, and mapper. We demonstrate the value of Union for the community with several case studies which examine offloading different tensor operations(CONV/GEMM/Tensor Contraction) on diverse accelerator architectures using different mapping schemes.


title: Structure Formation in the Effective Field Theory of Holographic Dark Energy

abstract: We investigate the structure formation in the effective field theory of the holographic dark energy. The equation of motion for the energy contrast $\delta_m$ of the cold dark matter is the same as the one in the general relativity up to the leading order in the small scale limit $k\gg aH$, provided the equation of state is Quintessence-like. Our effective field theory breaks down while the equation of state becomes phantom-like. We propose a solution to this problem by eliminating the scalar graviton.


title: Gaussian Moments as Physically Inspired Molecular Descriptors for Accurate and Scalable Machine Learning Potentials

abstract: Machine learning techniques allow a direct mapping of atomic positions and nuclear charges to the potential energy surface with almost ab-initio accuracy and the computational efficiency of empirical potentials. In this work we propose a machine learning method for constructing high-dimensional potential energy surfaces based on feed-forward neural networks. As input to the neural network we propose an extendable invariant local molecular descriptor constructed from geometric moments. Their formulation via pairwise distance vectors and tensor contractions allows a very efficient implementation on graphical processing units (GPUs). The atomic species is encoded in the molecular descriptor, which allows the restriction to one neural network for the training of all atomic species in the data set. We demonstrate that the accuracy of the developed approach in representing both chemical and configurational spaces is comparable to the one of several established machine learning models. Due to its high accuracy and efficiency, the proposed machine-learned potentials can be used for any further tasks, for example the optimization of molecular geometries, the calculation of rate constants or molecular dynamics.


title: Radio Interferometric Observations of the Sun Using Commercial Dish TV Antennas

abstract: The radio astronomy group in the Indian Institute of Astrophysics (IIA) has been carrying out routine observations of radio emission from the solar corona at low frequencies (${\approx}$40-440MHz) at the Gauribidanur observatory, about 100km north of Bangalore. Since IIA has been performing regular observations of the solar photosphere and chromosphere using different optical telescopes in its Kodaikanal Solar Observatory (KSO) also, the possibilities of obtaining two-dimensional radio images of the solar chromosphere using low-cost instrumentation to supplement the optical observations are being explored. As a part of the exercise, recently the group had developed prototype instrumentation for interferometric observations of radio emission from the solar chromosphere at high frequencies (${\approx}$11.2GHz) using two commercial dish TV antennas. The hardware set-up and initial observations are presented.


title: Bosonic dark matter in a coherent state driven by thermal fermions

abstract: If there is a scalar boson field interacting dominantly with a quark or a lepton in the thermal background, its coherent oscillation can be generated through the thermal effect and becomes a good dark matter candidate in a wide range of the coupling and masses. We describe the general features of this mechanism and analyze how it works in various situations considering asymptotic limits where analytic solutions can be obtained.


title: SupCL-Seq: Supervised Contrastive Learning for Downstream Optimized Sequence Representations

abstract: While contrastive learning is proven to be an effective training strategy in computer vision, Natural Language Processing (NLP) is only recently adopting it as a self-supervised alternative to Masked Language Modeling (MLM) for improving sequence representations. This paper introduces SupCL-Seq, which extends the supervised contrastive learning from computer vision to the optimization of sequence representations in NLP. By altering the dropout mask probability in standard Transformer architectures, for every representation (anchor), we generate augmented altered views. A supervised contrastive loss is then utilized to maximize the system's capability of pulling together similar samples (e.g., anchors and their altered views) and pushing apart the samples belonging to the other classes. Despite its simplicity, SupCLSeq leads to large gains in many sequence classification tasks on the GLUE benchmark compared to a standard BERTbase, including 6% absolute improvement on CoLA, 5.4% on MRPC, 4.7% on RTE and 2.6% on STSB. We also show consistent gains over self supervised contrastively learned representations, especially in non-semantic tasks. Finally we show that these gains are not solely due to augmentation, but rather to a downstream optimized sequence representation. Code: https://github.com/hooman650/SupCL-Seq


title: Moduli of sheaves on $K3$'s and higher dimensional HK varieties

abstract: We review a proof of the well know result stating that moduli spaces of stable sheaves with fixed Chern character on a polarized $K3$ surface are deformations of a hyperk\"ahler variety of Type $K3^{[n]}$ (if a suitable numerical hypothesis is satisfied). In a recent work we have adapted that proof in order to prove results on moduli of vector bundles on polarized hyperk\"ahler varieties of Type $K3^{[2]}$ - this is the content of the second part of the paper.


title: Grass-roots optimization of coupled oscillator networks

abstract: Despite the prevalence of biological and physical systems for which synchronization is critical, existing theory for optimizing synchrony depends on global information and does not sufficiently explore local mechanisms that enhance synchronization. Thus, there is a lack of understanding for the self-organized, collective processes that aim to optimize/repair synchronous systems, e.g., the dynamics of paracrine signaling within cardiac cells. Here we present ``grass-roots'' optimization of synchronization, which is a multiscale mechanism in which local optimizations of smaller subsystems cooperate to collectively optimize an entire system. Considering models of cardiac tissue and a power grid, we show that grass-roots-optimized systems are comparable to globally optimized systems, but they also have the added benefit of being robust to targeted attacks or subsystem islanding. Our findings motivate and support further investigation into the physics of local mechanisms that can support self-optimization for complex systems.


title: The C60:C60+ ratio in diffuse and translucent interstellar clouds

abstract: Context. Insight into the conditions that drive the physics and chemistry in interstellar clouds is gained from determining the abundance and charge state of their components. Aims. We propose an evaluation of the C60:C60+ ratio in diffuse and translucent interstellar clouds that exploits electronic absorption bands so as not to rely on ambiguous IR emission measurements. Methods. The ratio is determined by analyzing archival spectra and literature data. Information on the cation population is obtained from published characteristics of the main diffuse interstellar bands attributed to C60+ and absorption cross sections already reported for the vibronic bands of the cation. The population of neutral molecules is described in terms of upper limit because the relevant vibronic bands of C60 are not brought out by observations. We revise the oscillator strengths reported for C60 and measure the spectrum of the molecule isolated in Ne ice to complete them. Results. We scale down the oscillator strengths for absorption bands of C60 and find an upper limit of approximately 1.3 for the C60:C60+ ratio. Conclusions. We conclude that the fraction of neutral molecules in the buckminsterfullerene population of diffuse and translucent interstellar clouds may be notable despite the non-detection of the expected vibronic bands. More certainty will require improved laboratory data and observations.


title: A Wide-area, Low-latency, and Power-efficient 6-DoF Pose Tracking System for Rigid Objects

abstract: Position sensitive detectors (PSDs) offer possibility to track single active marker's two (or three) degrees of freedom (DoF) position with a high accuracy, while having a fast response time with high update frequency and low latency, all using a very simple signal processing circuit. However they are not particularly suitable for 6-DoF object pose tracking system due to lack of orientation measurement, limited tracking range, and sensitivity to environmental variation. We propose a novel 6-DoF pose tracking system for a rigid object tracking requiring a single active marker. The proposed system uses a stereo-based PSD pair and multiple Inertial Measurement Units (IMUs). This is done based on a practical approach to identify and control the power of Infrared-Light Emitting Diode (IR-LED) active markers, with an aim to increase the tracking work space and reduce the power consumption. Our proposed tracking system is validated with three different work space sizes and for static and dynamic positional accuracy using robotic arm manipulator with three different dynamic motion patterns. The results show that the static position root-mean-square (RMS) error is 0.6mm. The dynamic position RMS error is 0.7-0.9mm. The orientation RMS error is between 0.04 and 0.9 degree at varied dynamic motion. Overall, our proposed tracking system is capable of tracking a rigid object pose with sub-millimeter accuracy at the mid range of the work space and sub-degree accuracy for all work space under a lab setting.


title: Towards a Game-Theoretic Security Analysis of Off-Chain Protocols

abstract: Off-chain protocols constitute one of the most promising approaches to solve the inherent scalability issue of blockchain technologies. The core idea is to let parties transact on-chain only once to establish a channel between them, leveraging later on the resulting channel paths to perform arbitrarily many peer-to-peer transactions off-chain. While significant progress has been made in terms of proof techniques for off-chain protocols, existing approaches do not capture the game-theoretic incentives at the core of their design, which led to overlooking significant attack vectors like the Wormhole attack in the past. In this work we take a first step towards a principled game-theoretic security analysis of off-chain protocols by introducing the first game-theoretic model that is expressive enough to reason about their security. We advocate the use of Extensive Form Games (EFGs) and introduce two instances of EFGs to capture security properties of the closing and the routing of the Lightning Network. Specifically, we model the closing protocol, which relies on punishment mechanisms to disincentivize parties to upload old channel states on-chain. Moreover, we model the routing protocol, thereby formally characterizing the Wormhole attack, a vulnerability that undermines the fee-based incentive mechanism underlying the Lightning Network.


title: Multiparameter estimation for qubit states with collective measurements: a case study

abstract: Quantum estimation involving multiple parameters remains an important problem of both theoretical and practical interest. In this work, we study the problem of simultaneous estimation of two parameters that are respectively associate with the length and direction of the Bloch vector for identically prepared qubit states that is confined to a plane, where in order to obtain the optimal estimation precision for both parameters, collective measurements on multiple qubits are necessary. Upon treating $N$ qubits as an ensemble of spin-1/2 systems, we show that simultaneous optimal estimation for both parameters can be attained asymptotically with a simple collective measurement strategy -- first, we estimate the length parameter by measuring the populations in spaces corresponding to different total angular momentum values $j$, then we estimate the direction parameter by performing a spin projection onto an optimal basis. Furthermore, we show that when the state is nearly pure, for sufficiently but not arbitrarily large $N$, most information will be captured in the largest three $j$-subspaces. Then, we study how the total angular-momentum measurement can be realized by observing output signatures from a Bell multiport setup, either exactly for $N=2,3$, or approximately when the qubits are nearly pure for other $N$ values. We also obtain numerical results that suggest that using a Bell multiport setup, one can distinguish between projection onto the $j=N/2$ and $j=N/2-1$ subspaces from their respective interference signatures at the output.


title: Contact-Aware Retargeting of Skinned Motion

abstract: This paper introduces a motion retargeting method that preserves self-contacts and prevents interpenetration. Self-contacts, such as when hands touch each other or the torso or the head, are important attributes of human body language and dynamics, yet existing methods do not model or preserve these contacts. Likewise, interpenetration, such as a hand passing into the torso, are a typical artifact of motion estimation methods. The input to our method is a human motion sequence and a target skeleton and character geometry. The method identifies self-contacts and ground contacts in the input motion, and optimizes the motion to apply to the output skeleton, while preserving these contacts and reducing interpenetration. We introduce a novel geometry-conditioned recurrent network with an encoder-space optimization strategy that achieves efficient retargeting while satisfying contact constraints. In experiments, our results quantitatively outperform previous methods and we conduct a user study where our retargeted motions are rated as higher-quality than those produced by recent works. We also show our method generalizes to motion estimated from human videos where we improve over previous works that produce noticeable interpenetration.


title: Turbulent magneto-genesis in a collisionless plasma

abstract: We investigate an efficient mechanism for generating magnetic fields in turbulent, collisionless plasmas. By using fully kinetic, particle-in-cell simulations of an initially non-magnetized plasma, we inspect the genesis of magnetization, in a nonlinear regime. The complex motion is initiated via a Taylor-Green vortex, and the plasma locally develops strong electron temperature anisotropy, due to the strain tensor of the turbulent flow. Subsequently, in a domino effect, the anisotropy triggers a Weibel instability, localized in space. In such active wave-particle interaction regions, the magnetic field seed grows exponentially and spreads to larger scales due to the interaction with the underlying stirring motion. Such a self-feeding process might explain magneto-genesis in a variety of astrophysical plasmas, wherever turbulence is present.


title: Encoding and Decoding with Partitioned Complementary Sequences for Low-PAPR OFDM

abstract: In this study, we propose partitioned complementary sequences (CSs) where the gaps between the clusters encode information bits to achieve low peak-to-average-power ratio (PAPR) orthogonal frequency division multiplexing (OFDM) symbols. We show that the partitioning rule without losing the feature of being a CS coincides with the non-squashing partitions of a positive integer and leads to a symmetric separation of clusters. We analytically derive the number of partitioned CSs for given bandwidth and a minimum distance constraint and obtain the corresponding recursive methods for enumerating the values of separations. We show that partitioning can increase the spectral efficiency (SE) without changing the alphabet of the nonzero elements of the CS, i.e., standard CSs relying on Reed-Muller (RM) code. We also develop an encoder for partitioned CSs and a maximum-likelihood-based recursive decoder for additive white Gaussian noise (AWGN) and fading channels. Our results indicate that the partitioned CSs under a minimum distance constraint can perform similar to the standard CSs in terms of average block error rate (BLER) and provide a higher SE at the expense of a limited signal-to-noise ratio (SNR) loss.


title: Discriminative and Generative Transformer-based Models For Situation Entity Classification

abstract: We re-examine the situation entity (SE) classification task with varying amounts of available training data. We exploit a Transformer-based variational autoencoder to encode sentences into a lower dimensional latent space, which is used to generate the text and learn a SE classifier. Test set and cross-genre evaluations show that when training data is plentiful, the proposed model can improve over the previous discriminative state-of-the-art models. Our approach performs disproportionately better with smaller amounts of training data, but when faced with extremely small sets (4 instances per label), generative RNN methods outperform transformers. Our work provides guidance for future efforts on SE and semantic prediction tasks, and low-label training regimes.


title: Complexes formed in collisions between ultracold alkali-metal diatomic molecules and atoms

abstract: We explore the properties of 3-atom complexes of alkali-metal diatomic molecules with alkali-metal atoms, which may be formed in ultracold collisions. We estimate the densities of vibrational states at the energy of atom-diatom collisions, and find values ranging from 2.2 to 350~K$^{-1}$. However, this density does not account for electronic near-degeneracy or electron and nuclear spins. We consider the fine and hyperfine structure expected for such complexes. The Fermi contact interaction between electron and nuclear spins can cause spin exchange between atomic and molecular spins. It can drive inelastic collisions, with resonances of three distinct types, each with a characteristic width and peak height in the inelastic rate coefficient. Some of these resonances are broad enough to overlap and produce a background loss rate that is approximately proportional to the number of outgoing inelastic channels. Spin exchange can increase the density of states from which laser-induced loss may occur.


title: Computing Policies That Account For The Effects Of Human Agent Uncertainty During Execution In Markov Decision Processes

abstract: When humans are given a policy to execute, there can be policy execution errors and deviations in policy if there is uncertainty in identifying a state. This can happen due to the human agent's cognitive limitations and/or perceptual errors. So an algorithm that computes a policy for a human to execute ought to consider these effects in its computations. An optimal Markov Decision Process (MDP) policy that is poorly executed (because of a human agent) maybe much worse than another policy that is suboptimal in the MDP, but considers the human-agent's execution behavior. In this paper we consider two problems that arise from state uncertainty; these are erroneous state-inference, and extra-sensing actions that a person might take as a result of their uncertainty. We present a framework to model the human agent's behavior with respect to state uncertainty, and can be used to compute MDP policies that accounts for these problems. This is followed by a hill climbing algorithm to search for good policies given our model of the human agent. We also present a branch and bound algorithm which can find the optimal policy for such problems. We show experimental results in a Gridworld domain, and warehouse-worker domain. Finally, we present human-subject studies that support our human model assumptions.


title: Should We Be Pre-training? An Argument for End-task Aware Training as an Alternative

abstract: In most settings of practical concern, machine learning practitioners know in advance what end-task they wish to boost with auxiliary tasks. However, widely used methods for leveraging auxiliary data like pre-training and its continued-pretraining variant are end-task agnostic: they rarely, if ever, exploit knowledge of the target task. We study replacing end-task agnostic continued training of pre-trained language models with end-task aware training of said models. We argue that for sufficiently important end-tasks, the benefits of leveraging auxiliary data in a task-aware fashion can justify forgoing the traditional approach of obtaining generic, end-task agnostic representations as with (continued) pre-training. On three different low-resource NLP tasks from two domains, we demonstrate that multi-tasking the end-task and auxiliary objectives results in significantly better downstream task performance than the widely-used task-agnostic continued pre-training paradigm of Gururangan et al. (2020). We next introduce an online meta-learning algorithm that learns a set of multi-task weights to better balance among our multiple auxiliary objectives, achieving further improvements on end-task performance and data efficiency.


title: CAMul: Calibrated and Accurate Multi-view Time-Series Forecasting

abstract: Probabilistic time-series forecasting enables reliable decision making across many domains. Most forecasting problems have diverse sources of data containing multiple modalities and structures. Leveraging information as well as uncertainty from these data sources for well-calibrated and accurate forecasts is an important challenging problem. Most previous work on multi-modal learning and forecasting simply aggregate intermediate representations from each data view by simple methods of summation or concatenation and do not explicitly model uncertainty for each data-view. We propose a general probabilistic multi-view forecasting framework CAMul, that can learn representations and uncertainty from diverse data sources. It integrates the knowledge and uncertainty from each data view in a dynamic context-specific manner assigning more importance to useful views to model a well-calibrated forecast distribution. We use CAMul for multiple domains with varied sources and modalities and show that CAMul outperforms other state-of-art probabilistic forecasting models by over 25\% in accuracy and calibration.


title: Is "moby dick" a Whale or a Bird? Named Entities and Terminology in Speech Translation

abstract: Automatic translation systems are known to struggle with rare words. Among these, named entities (NEs) and domain-specific terms are crucial, since errors in their translation can lead to severe meaning distortions. Despite their importance, previous speech translation (ST) studies have neglected them, also due to the dearth of publicly available resources tailored to their specific evaluation. To fill this gap, we i) present the first systematic analysis of the behavior of state-of-the-art ST systems in translating NEs and terminology, and ii) release NEuRoparl-ST, a novel benchmark built from European Parliament speeches annotated with NEs and terminology. Our experiments on the three language directions covered by our benchmark (en->es/fr/it) show that ST systems correctly translate 75-80% of terms and 65-70% of NEs, with very low performance (37-40%) on person names.


title: Private Attacks in Longest Chain Proof-of-stake Protocols with Single Secret Leader Elections

abstract: Single Secret Leader Elections have recently been proposed as an improved leader election mechanism for proof-of-stake (PoS) blockchains. However, the security gain they provide has not been quantified. In this work, we present a comparison of PoS longest-chain protocols that are based on Single Secret Leader Elections (SSLE) - that elect exactly one leader per round - versus those based on Probabilistic Leader Elections (PLE) - where one leader is elected on expectation. Our analysis shows that when considering the private attack - the worst attack on longest-chain protocols - the security gained from using SSLE is substantial: the settlement time is decreased by roughly 25% for a 33% or 25% adversary. Furthermore, when considering grinding attacks, we find that the security threshold is increased by 10% (from 0.26 in the PLE case to 0.36 inthe SSLE case) and the settlement time is decreased by roughly 70% for a 20% adversary in the SSLE case.


title: DPGen: Automated Program Synthesis for Differential Privacy

abstract: Differential privacy has become a de facto standard for releasing data in a privacy-preserving way. Creating a differentially private algorithm is a process that often starts with a noise-free (non-private) algorithm. The designer then decides where to add noise, and how much of it to add. This can be a non-trivial process -- if not done carefully, the algorithm might either violate differential privacy or have low utility. In this paper, we present DPGen, a program synthesizer that takes in non-private code (without any noise) and automatically synthesizes its differentially private version (with carefully calibrated noise). Under the hood, DPGen uses novel algorithms to automatically generate a sketch program with candidate locations for noise, and then optimize privacy proof and noise scales simultaneously on the sketch program. Moreover, DPGen can synthesize sophisticated mechanisms that adaptively process queries until a specified privacy budget is exhausted. When evaluated on standard benchmarks, DPGen is able to generate differentially private mechanisms that optimize simple utility functions within 120 seconds. It is also powerful enough to synthesize adaptive privacy mechanisms.


title: Concepts and status of Chinese space gravitational wave detection projects

abstract: Gravitational wave (GW) detection in space probes GW spectrum that is inaccessible from the Earth. In addition to LISA project led by European Space Agency, and the DECIGO detector proposed by the Japan Aerospace Exploration Agency, two Chinese space-based GW observatories -- TianQin and Taiji -- are planned to be launched in the 2030s. TianQin has a unique concept in its design with a geocentric orbit. Taiji's design is similar to LISA, but is more ambitious with longer arm distance. Both facilities are complementary to LISA, considering that TianQin is sensitive to higher frequencies and Taiji probes similar frequencies but with higher sensitivity. In this Perspective we explain the concepts for both facilities and introduce the development milestones of TianQin and Taiji projects in testing extraordinary technologies to pave the way for future space-based GW detections. Considering that LISA, TianQin and Taiji have similar scientific goals, all are scheduled to be launched around the 2030s and will operate concurrently, we discuss possible collaborations among them to improve GW source localization and characterization.


title: A new method to perform data/model comparison in Fermi-LAT analysis

abstract: The analysis of Fermi Large Area Telescope (LAT) gamma-ray data in a given Region Of Interest (RoI) usually consists of performing a binned log-likelihood fit in order to determine the sky model that, after convolution with the instrument response, best accounts for the distribution of observed counts. While tools are available to perform such a fit, it is not easy to check the goodness-of-fit. The difficulty of the assessment of the data/model agreement is twofold. First of all, the observed and predicted counts are binned in three dimensions (two spatial dimensions and one energy dimension) and comparing two 3D maps is not straightforward. Secondly, gamma-ray source spectra generally decrease with energy as the inverse of the energy square. As a consequence the number of counts above several GeV generally falls into the Poisson regime, which precludes performing a simple $\chi^2$ test. We propose a method that overcomes these two obstacles by producing and comparing spatially integrated count spectra for data and model at each pixel of the analysed RoI. The comparison is performed following a log-likelihood approach that extends the $\chi^2$ test to histograms with low statistics. This method can take into account likelihood weights that are used to account for systematic uncertainties. We optimize the new method so that it provides a fast and reliable tool to assess the goodness-of-fit of Fermi-LAT data and we use it to check the latest gamma-ray source catalog on 10~years of data.


title: Every Tetrahedron has a 3-vertex Quasigeodesic

abstract: We prove that every tetrahedron T has a simple, closed quasigeodesic that passes through three vertices of T. Equivalently, every T has a face whose "exterior angles" are at most pi.


title: Challenges in Detoxifying Language Models

abstract: Large language models (LM) generate remarkably fluent text and can be efficiently adapted across NLP tasks. Measuring and guaranteeing the quality of generated text in terms of safety is imperative for deploying LMs in the real world; to this end, prior work often relies on automatic evaluation of LM toxicity. We critically discuss this approach, evaluate several toxicity mitigation strategies with respect to both automatic and human evaluation, and analyze consequences of toxicity mitigation in terms of model bias and LM quality. We demonstrate that while basic intervention strategies can effectively optimize previously established automatic metrics on the RealToxicityPrompts dataset, this comes at the cost of reduced LM coverage for both texts about, and dialects of, marginalized groups. Additionally, we find that human raters often disagree with high automatic toxicity scores after strong toxicity reduction interventions -- highlighting further the nuances involved in careful evaluation of LM toxicity.


title: When Does Translation Require Context? A Data-driven, Multilingual Exploration

abstract: Although proper handling of discourse significantly contributes to the quality of machine translation (MT), these improvements are not adequately measured in common translation quality metrics. Recent works in context-aware MT attempt to target a small set of discourse phenomena during evaluation, however not in a fully systematic way. In this paper, we develop the Multilingual Discourse-Aware (MuDA) benchmark, a series of taggers that identify and evaluate model performance on discourse phenomena in any given dataset. The choice of phenomena is inspired by a novel methodology to systematically identify translations requiring context. We confirm the difficulty of previously studied phenomena while uncovering others that were previously unaddressed. We find that common context-aware MT models make only marginal improvements over context-agnostic models, which suggests these models do not handle these ambiguities effectively. We release code and data for 14 language pairs to encourage the MT community to focus on accurately capturing discourse phenomena.


title: Quantum Conditional Probabilities and New Measures of Quantum Information

abstract: We use a novel form of quantum conditional probability to define new measures of quantum information in a dynamical context. We explore relationships between our new quantities and standard measures of quantum information, such as von Neumann entropy. These quantities allow us to find new proofs of some standard results in quantum information theory, such as the concavity of von Neumann entropy and Holevo's theorem. The existence of an underlying probability distribution helps shed light on the conceptual underpinnings of these results.