title: On the quantisation and anomalies of antisymmetric tensor-spinors

abstract: We perform the quantisation of antisymmetric tensor-spinors (fermionic $p$-forms) $\psi^\alpha_{\mu_1 \dots \mu_p}$ using the Batalin-Vilkovisky field-antifield formalism. Just as for the gravitino ($p=1$), an extra propagating Nielsen-Kallosh ghost appears in quadratic gauges containing a differential operator. The appearance of this `third ghost' is described within the BV formalism for arbitrary reducible gauge theories. We then use the resulting spectrum of ghosts and the Atiyah-Singer index theorem to compute gravitational anomalies.


title: Schwinger boson theory of ordered magnets

abstract: The Schwinger boson theory provides a natural path for treating quantum spin systems with large quantum fluctuations. In contrast to semi-classical treatments, this theory allows us to describe a continuous transition between magnetically ordered and spin liquid states, as well as the continuous evolution of the corresponding excitation spectrum. The square lattice Heisenberg antiferromagnet is one of the first models that was approached with the Schwinger boson theory. Here we revisit this problem to reveal several subtle points that were omitted in previous treatments and that are crucial to further develop this formalism. These points include the freedom for the choice of the saddle point (Hubbard-Stratonovich decoupling and choice of the condensate) and the $1/N$ expansion in the presence of a condensate. A key observation is that the spinon condensate leads to Feynman diagrams that include contributions of different order in $1/N$, which must be accounted to get a qualitatively correct excitation spectrum. We demonstrate that a proper treatment of these contributions leads to an exact cancellation of the single-spinon poles of the dynamical spin structure factor, as expected for a magnetically ordered state. The only surviving poles are the ones arising from the magnons (two-spinon bound states), which are the true collective modes of an ordered magnet.


title: Dynamics of tripartite correlations for three qubits in independent thermal reservoirs

abstract: We investigate the dynamical evolution of multipartite entanglement in tripartite systems with three qubits present in independent thermal reservoirs, modelled as infinite set of quantum harmonic oscillators. We show that the presence of temperature gradient between reservoirs play a significant role in robustness of multipartite correlation against environmental decoherence. Considering a bilinear form of interaction Hamiltonian, an exact expression for time evolved density matrix is presented. Interestingly, it is observed that the preservation duration of genuine multipartite concurrence for GHZ class Werner state increases as the temperature gradient between reservoirs are increased. However, this increase is non-linear and the preservation duration is shown to saturate for large temperature gradients. It is also observed that, for large temperature gradient, there are multiple intervals in which coherence and consequently the tripartite negativity shows robustness (freezing of correlation) against the environmental decoherence for W class Werner states. For the common temperature case, we show that the genuine multipartite concurrence for the GHZ class Werner state decays irreversibly, and the state experiences correlation sudden death, with a rate dependent on spectral density of the reservoirs under consideration. For the Ohmic reservoirs at low temperature, we observe that the state retains initial multipartite correlation upto a characteristic time and then sharply decays to zero with a correlation sudden death. We further investigate the dynamics of tripartite negativity and $l_{1}$ norm of coherence in the W class Werner states, and show irreversible degradation in these correlations.


title: Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers

abstract: Neural Networks are used today in numerous security- and safety-relevant domains and are, as such, a popular target of attacks that subvert their classification capabilities, by manipulating the network parameters. Prior work has introduced sensitive samples -- inputs highly sensitive to parameter changes -- to detect such manipulations, and proposed a gradient ascent-based approach to compute them. In this paper we offer an alternative, using symbolic constraint solvers. We model the network and a formal specification of a sensitive sample in the language of the solver and ask for a solution. This approach supports a rich class of queries, corresponding, for instance, to the presence of certain types of attacks. Unlike earlier techniques, our approach does not depend on convex search domains, or on the suitability of a starting point for the search. We address the performance limitations of constraint solvers by partitioning the search space for the solver, and exploring the partitions according to a balanced schedule that still retains completeness of the search. We demonstrate the impact of the use of solvers in terms of functionality and search efficiency, using a case study for the detection of Trojan attacks on Neural Networks.


title: Limits to Ionization-Parameter Mapping as a Diagnostic of HII Region Optical Depth

abstract: We employ ionization-parameter mapping (IPM) to infer the optical depth of HII regions in the northern half of M33. We construct [OIII]$\lambda 5007$/[OII]$\lambda 3727$ and [OIII]$\lambda 5007$/[SII]$\lambda 6724$ ratio maps from narrow-band images continuum-subtracted in this way, from which we classify the HII regions by optical depth to ionizing radiation, based on their ionization structure. This method works relatively well in the low metallicity regime, $12 + \log(\rm O/H) \leq 8.4$, where [OIII]$\lambda\lambda4949,5007$ is strong. However, at higher metallicities, the method breaks down due to the strong dependence of the [OIII]$\lambda\lambda4959,5007$ emission lines on the nebular temperature. Thus, although O$^{++}$ may be present in metal-rich HII regions, these commonly used emission lines do not serve as a useful indicator of its presence, and hence, the O ionization state. In addition, IPM as a diagnostic of optical depth is limited by spatial resolution. We also report a region of highly excited [OIII] extending over an area $\sim$ 1 kpc across and [OIII]$\lambda5007$ luminosity of $4.9\pm 1.5\times10^{38}$ erg/s, which is several times higher than the ionizing budget of any potential sources in this portion of the galaxy. Finally, this work introduces a new method for continuum subtraction of narrow-band images based on the dispersion of pixels around the mode of the diffuse-light flux distribution. In addition to M33, we demonstrate the method on C III]$\lambda$1909 imaging of Haro~11, ESO 338-IG004, and Mrk~71.


title: Statistical interaction description of Pauli crystals in two-dimensional systems of harmonically confined fermions

abstract: It has been conjectured that the Pauli exclusion principle alone may be responsible for a particular geometric arrangement of confined systems of identical fermions even when there is no interaction between them. These geometric structures, called Pauli crystals, are predicted for a two-dimensional system of free fermions under harmonic confinement. It is assumed that the system consists of neutral fermionic atoms with their spins frozen (spin-polarized) in order to avoid any form of electromagnetic interaction. These crystalline patterns emerge as the most frequent configurations seen in a large collection of single-shot pictures of the system. In this work, we pursue the possibility of this outcome and consider a theoretical model that may capture both qualitatively and quantitatively key features of the above mentioned setup. Our approach treats a quantum system of non-interacting fermions as an effective classical system of particles that interact with an effective statistical interaction potential that mimics the quantum statistics. For this model, we consider two-dimensional few-body systems of harmonically confined particles that interact with a statistical potential and calculate analytically the minimum energy configuration for specific values of relevant parameters. The results for N=3 and 6 particles show that the minimum energy configuration corresponds to and is in good quantitative agreement with the reported values of Pauli crystals seen in single-shot imaging data obtained via the configuration density technique. Numerical results for larger systems of N=15 and 30 particles show that the crystalline configurations observed are not the same as the classical Wigner crystal structures that emerge should the confined charged particles interact with a Coulomb potential. An important question floated is whether such structures do really exist in a quantum system.


title: Multilingual Speech Recognition for Low-Resource Indian Languages using Multi-Task conformer

abstract: Transformers have recently become very popular for sequence-to-sequence applications such as machine translation and speech recognition. In this work, we propose a multi-task learning-based transformer model for low-resource multilingual speech recognition for Indian languages. Our proposed model consists of a conformer [1] encoder and two parallel transformer decoders. We use a phoneme decoder (PHN-DEC) for the phoneme recognition task and a grapheme decoder (GRP-DEC) to predict grapheme sequence. We consider the phoneme recognition task as an auxiliary task for our multi-task learning framework. We jointly optimize the network for both phoneme and grapheme recognition tasks using Joint CTC-Attention [2] training. We use a conditional decoding scheme to inject the language information into the model before predicting the grapheme sequence. Our experiments show that our proposed approach can obtain significant improvement over previous approaches [4]. We also show that our conformer-based dual-decoder approach outperforms both the transformer-based dual-decoder approach and single decoder approach. Finally, We compare monolingual ASR models with our proposed multilingual ASR approach.


title: PowerGym: A Reinforcement Learning Environment for Volt-Var Control in Power Distribution Systems

abstract: We introduce PowerGym, an open-source reinforcement learning environment for Volt-Var control in power distribution systems. Following OpenAI Gym APIs, PowerGym targets minimizing power loss and voltage violations under physical networked constraints. PowerGym provides four distribution systems (13Bus, 34Bus, 123Bus, and 8500Node) based on IEEE benchmark systems and design variants for various control difficulties. To foster generalization, PowerGym offers a detailed customization guide for users working with their distribution systems. As a demonstration, we examine state-of-the-art reinforcement learning algorithms in PowerGym and validate the environment by studying controller behaviors. The repository is available at \url{https://github.com/siemens/powergym}.


title: Some Impossibility Results for Inference With Cluster Dependence with Large Clusters

abstract: This paper focuses on a setting with observations having a cluster dependence structure and presents two main impossibility results. First, we show that when there is only one large cluster, i.e., the researcher does not have any knowledge on the dependence structure of the observations, it is not possible to consistently discriminate the mean. When within-cluster observations satisfy the uniform central limit theorem, we also show that a sufficient condition for consistent $\sqrt{n}$-discrimination of the mean is that we have at least two large clusters. This result shows some limitations for inference when we lack information on the dependence structure of observations. Our second result provides a necessary and sufficient condition for the cluster structure that the long run variance is consistently estimable. Our result implies that when there is at least one large cluster, the long run variance is not consistently estimable.


title: Particle-resolved simulations of four-way coupled, polydispersed, particle-laden flows

abstract: We present a collocated-grid framework for Direct Numerical Simulations of polydisperse particles submerged in a viscous fluid. The fluid-particle forces are coupled with the Immersed Boundary Method (IBM) while the particle-particle forces are modeled with a combination of contact and lubrication models, adapted for collocated grids. Our method is modified from the staggered-grid IBM of previous authors to a collocated-grid IBM by adapting the fluid and particle solvers. The method scales well on high-performance parallel computing platforms. It has been validated against various cases and is able to reproduce experimental results. Tuning parameters have been thoroughly calibrated to ensure the accuracy of the method. Finally, we demonstrate the capability of the method to simulate both monodispersed and bidispersed fluidized beds and reproduce the power law relationship between the inflow velocity and the porosity.


title: Iterated Vector Fields and Conservatism, with Applications to Federated Learning

abstract: We study whether iterated vector fields (vector fields composed with themselves) are conservative. We give explicit examples of vector fields for which this self-composition preserves conservatism. Notably, this includes gradient vector fields of loss functions associated with some generalized linear models. As we show, characterizing the set of vector fields satisfying this condition leads to non-trivial geometric questions. In the context of federated learning, we show that when clients have loss functions whose gradients satisfy this condition, federated averaging is equivalent to gradient descent on a surrogate loss function. We leverage this to derive novel convergence results for federated learning. By contrast, we demonstrate that when the client losses violate this property, federated averaging can yield behavior which is fundamentally distinct from centralized optimization. Finally, we discuss theoretical and practical questions our analytical framework raises for federated learning.


title: Constants of Motion: The Antidote to Chaos in Optimization and Game Dynamics

abstract: Several recent works in online optimization and game dynamics have established strong negative complexity results including the formal emergence of instability and chaos even in small such settings, e.g., $2\times 2$ games. These results motivate the following question: Which methodological tools can guarantee the regularity of such dynamics and how can we apply them in standard settings of interest such as discrete-time first-order optimization dynamics? We show how proving the existence of invariant functions, i.e., constant of motions, is a fundamental contribution in this direction and establish a plethora of such positive results (e.g. gradient descent, multiplicative weights update, alternating gradient descent and manifold gradient descent) both in optimization as well as in game settings. At a technical level, for some conservation laws we provide an explicit and concise closed form, whereas for other ones we present non-constructive proofs using tools from dynamical systems.


title: Membership Inference Attacks Against Temporally Correlated Data in Deep Reinforcement Learning

abstract: While significant research advances have been made in the field of deep reinforcement learning, there have been no concrete adversarial attack strategies in literature tailored for studying the vulnerability of deep reinforcement learning algorithms to membership inference attacks. In such attacking systems, the adversary targets the set of collected input data on which the deep reinforcement learning algorithm has been trained. To address this gap, we propose an adversarial attack framework designed for testing the vulnerability of a state-of-the-art deep reinforcement learning algorithm to a membership inference attack. In particular, we design a series of experiments to investigate the impact of temporal correlation, which naturally exists in reinforcement learning training data, on the probability of information leakage. Moreover, we compare the performance of \emph{collective} and \emph{individual} membership attacks against the deep reinforcement learning algorithm. Experimental results show that the proposed adversarial attack framework is surprisingly effective at inferring data with an accuracy exceeding $84\%$ in individual and $97\%$ in collective modes in three different continuous control Mujoco tasks, which raises serious privacy concerns in this regard. Finally, we show that the learning state of the reinforcement learning algorithm influences the level of privacy breaches significantly.


title: Active Multi-Object Exploration and Recognition via Tactile Whiskers

abstract: Robotic exploration under uncertain environments is challenging when optical information is not available. In this paper, we propose an autonomous solution of exploring an unknown task space based on tactile sensing alone. We first designed a whisker sensor based on MEMS barometer devices. This sensor can acquire contact information by interacting with the environment non-intrusively. This sensor is accompanied by a planning technique to generate exploration trajectories by using mere tactile perception. This technique relies on a hybrid policy for tactile exploration, which includes a proactive informative path planner for object searching, and a reactive Hopf oscillator for contour tracing. Results indicate that the hybrid exploration policy can increase the efficiency of object discovery. Last, scene understanding was facilitated by segmenting objects and classification. A classifier was developed to recognize the object categories based on the geometric features collected by the whisker sensor. Such an approach demonstrates the whisker sensor, together with the tactile intelligence, can provide sufficiently discriminative features to distinguish objects.


title: Portfolio Theory and Security Investment Risk Analysis Using Coefficient of Variation: An Alternative to Mean-Variance Analysis

abstract: We provided proof here that coefficient of variation (CV) is a direct measure of risk using an equation that has been derived here for the first time. We also presented a method to generate a stock CV based on return that strongly correlates with stock price performance. Consequently, we found that the price growths of stocks with low but positive CV are approximately exponential which explains our finding here that the total return of US domestic stocks within $0 \le CV \le 1$ between Dec 2008 to Dec 2018 averaged at around 475% and outperformed the average total return of stocks within $CV > 1$ and $CV > 4$ by 144% and 2000%, respectively. From these observations, we posit that minimizing portfolio CV does not only minimize risk but also maximizes return. Minimizing risk by minimizing the standard deviation of return (volatility) as espoused by the Modern Portfolio Theory only resulted in a meager average total return of 15%, and the low-risk (low volatility) portfolio outperformed the high-risk portfolio by only 25%. These observations suggest that CV is a more reliable measure of risk than volatility.


title: Self-sealing complex oxide resonators

abstract: Although 2D materials hold great potential for next-generation pressure sensors, recent studies revealed that gases permeate along the membrane-surface interface that is only weakly bound by van der Waals interactions, necessitating additional sealing procedures. In this work, we demonstrate the use of free-standing complex oxides as self-sealing membranes that allow the reference cavity of pressure sensors to be sealed by a simple anneal. To test the hermeticity, we study the gas permeation time constants in nano-mechanical resonators made from SrRuO3 and SrTiO3 membranes suspended over SiO2/Si cavities which show an improvement up to 4 orders of magnitude in the permeation time constant after annealing the devices for 15 minutes. Similar devices fabricated on Si3N4/Si do not show such improvements, suggesting that the adhesion increase over SiO2 is mediated by oxygen bonds that are formed at the SiO2/complex oxide interface during the self-sealing anneal. We confirm the enhancement of adhesion by picosecond ultrasonics measurements which show an increase in the interfacial stiffness by 70% after annealing. Since it is straigthforward to apply, the presented self-sealing method is thus a promising route toward realizing ultrathin hermetic pressure sensors.


title: Orbital and spin periods of the candidate white dwarf pulsar ASASSN-V J205543.90+240033.5

abstract: ASASSN-V J205543.90+240033.5 has been suggested to be a white dwarf pulsar by Kato (2021, arXiv:2108.09060). We obtained time-resolved photometry and identified the orbital and spin periods to be 0.523490(1) d and 0.00678591(1) d = 9.77 min, respectively. These values strengthen the similarity of this object with AR Sco. We estimated that the strength of the spin pulse is 3.6 times smaller than in AR Sco.


title: Three-level Spaser System: a Semi-Classical Analysis

abstract: We theoretically study a nanospaser system, which consists of a spherical silver nanoparticle embedded inside a sphere composed of dye molecules. The gain of the system, dye molecules, are described by a three-level model, where the transition frequency between the lowest two energy levels is close to the surface plasmon frequency of the nanosphere. Contrary to a two-level model of spaser, the three-level model takes into account finite relaxation time between the high energy levels of the gain medium. These relaxation processes affect both the spaser threshold and the number of generated plasmons in the continuous wave regime. While for a two-level model of a spaser the number of generated plasmons has a linear dependence on the gain, for the three-level model this dependence becomes quadratic.


title: Relative abundances and enantiomerization energy of the chiral Cu$_{13}$ cluster at finite temperature

abstract: This study reports the lowest energy structure of bare Cu$_{13}$ nanoclusters as a pair of enantiomers for temperatures ranging from 20 to 1200 K. Moreover, we compute the enantiomerization energy for the interconversion from $\mathcal{M}$ to $\mathcal{P}$ structures in the chiral putative global minimum for temperatures ranging from 20 to 1300 K. Additionally, employing statistical thermodynamics and nanothermodynamics, we compute the Boltzmann Probability for each particular isomer as a function of temperature. To achieve that, we explore the free energy surface of the Cu$_{13}$ cluster, employing a genetic algorithm coupled with density functional theory and statistical thermodynamics. Moreover, we discuss the energetic ordering of structures computed at the DFT level and compared to high level DLPNO-CCSD(T1) reference energies, and we present chemical bonding analysis using the AdNDP method in the chiral putative global minimum. Based on the computed relative abundances, our results show that the chiral putative global minimum strongly dominates for temperatures ranging from 20 to 1100 K.


title: Detecting quench in HTS magnets with LTS wires -- a theoretical and numerical analysis

abstract: Protecting a high temperature superconducting (HTS) magnet from a quench event is a challenging task. Because of the slow normal zone propagation velocity, the long reliable quench detection method by directly monitoring coil voltage may not be timely for HTS anymore, leaving HTS magnets under danger of overheating. Using a NbTi low temperature superconducting (LTS) wire to detect quench in coils wound with ReBCO HTS tapes have recently been experimentally proved, yet a theoretical study is still needed to further develop this technique and make it prepared to be applied more generally in high field magnets. In this manuscript, we have demonstrated that it is the significant difference in the temperature dependence of critical current between LTS and HTS but not the normal zone propagation velocity (NZPV), that makes LTSs good quench detectors. Simulations show that LTS quench detectors should have low matrix fraction or high matrix resistivity. At last, at field up to 15 T or 20 T, Nb3Sn is proven to be a good quench detector.


title: First extragalactic measurement of the turbulence driving parameter: ALMA observations of the star-forming region N159E in the Large Magellanic Cloud

abstract: Studying the driving modes of turbulence is important for characterizing the impact of turbulence in various astrophysical environments. The driving mode of turbulence is parameterized by $b$, which relates the width of the gas density PDF to the turbulent Mach number; $b\approx 1/3$, $1$, and $0.4$ correspond to driving that is solenoidal, compressive, and a natural mixture of the two, respectively. In this work, we use high-resolution (sub-pc) ALMA $^{12}$CO ($J$ = $2-1$), $^{13}$CO ($J$ = $2-1$), and C$^{18}$O ($J$ = $2-1$) observations of filamentary molecular clouds in the star-forming region N159E (the Papillon Nebula) in the Large Magellanic Cloud (LMC) to provide the first measurement of turbulence driving parameter in an extragalactic region. We use a non-local thermodynamic equilibrium (NLTE) analysis of the CO isotopologues to construct a gas density PDF, which we find to be largely log-normal in shape with some intermittent features indicating deviations from lognormality. We find that the width of the log-normal part of the density PDF is comparable to the supersonic turbulent Mach number, resulting in $b \approx 0.9$. This implies that the driving mode of turbulence in N159E is primarily compressive. We speculate that the compressive turbulence could have been powered by gravo-turbulent fragmentation of the molecular gas, or due to compression powered by H I flows that led to the development of the molecular filaments observed by ALMA in the region. Our analysis can be easily applied to study the nature of turbulence driving in resolved star-forming regions in the local as well as the high-redshift Universe.


title: Howe Duality of Type P

abstract: We establish classical and categorical Howe dualities between the Lie superalgebras $\mathfrak{p}(m)$ and $\mathfrak{p}(n)$, for $m,n \geq 1$. We also describe a presentation via generators and relations as well as a Kostant $\mathbb{Z}$-form for the universal enveloping superalgebra $U(\mathfrak{p}(m))$.


title: On order of vanishing of characteristic elements

abstract: Let $p$ be a fixed odd prime. Let $E$ be an elliptic curve defined over a number field with either good ordinary reduction or multiplicative reduction at each prime of $F$ above $p$. We shall study the characteristic element of the Selmer group of $E$ over a $p$-adic Lie extension. In particular, we relate the order of vanishing of these characteristic element evaluated at Artin representations to the Selmer coranks and their twists in the intermediate subextensions of the $p$-adic Lie extension.


title: Geometric decomposition of abelian varieties of order 1

abstract: Since the 1970s, the complete classification (up to isogeny) of abelian varieties over finite fields with trivial group of rational points has been known from results of Madan--Pal and Robinson; with two exceptions these are all defined over $\mathbb{F}_2$. We determine the decomposition of these varieties into simple factors over an algebraic closure of $\mathbb{F}_2$; this requires solving a polynomial equation in three roots of unity.


title: The dual Lagrangian fibration of known hyper-K\"ahler manifolds

abstract: Given a Lagrangian fibration $\pi : X \to \mathbb{P}^n$ of a compact hyper-K\"ahler manifold of $\text{K3}^{[n]}$, $\text{Kum}_n$, $\text{OG10}$ or $\text{OG6}$-type, we construct a natural compactification of its dual torus fibration. Specifically, this compactification is given by a quotient of $X$ by certain automorphisms acting trivially on the second cohomology and respecting the Lagrangian fibration. It is a compact hyper-K\"ahler orbifold with identical period mapping behavior as $X$.


title: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

abstract: This volume contains the post-proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid-19 pandemic as an affiliated workshop of ETAPS.


title: Detecting Attacks on IoT Devices using Featureless 1D-CNN

abstract: The generalization of deep learning has helped us, in the past, address challenges such as malware identification and anomaly detection in the network security domain. However, as effective as it is, scarcity of memory and processing power makes it difficult to perform these tasks in Internet of Things (IoT) devices. This research finds an easy way out of this bottleneck by depreciating the need for feature engineering and subsequent processing in machine learning techniques. In this study, we introduce a Featureless machine learning process to perform anomaly detection. It uses unprocessed byte streams of packets as training data. Featureless machine learning enables a low cost and low memory time-series analysis of network traffic. It benefits from eliminating the significant investment in subject matter experts and the time required for feature engineering.


title: A Novel Method to Estimate the Coordinates of LEDs in Wireless Optical Positioning Systems

abstract: Traditional visible light positioning (VLP) systems estimate receivers' coordinates based on the known light-emitting diode (LED) coordinates. However, the LED coordinates are not always known accurately. Because of the structural changes of the buildings due to temperature, humidity or material aging, even measured by highly accurate laser range finders, the LED coordinates may change unpredictably. In this paper, we propose an easy and low-cost method to update the position information of the LEDs. We use two optical angle-of-arrival (AOA) estimators to detect the beam directions of the LEDs. Each AOA estimator has four differently oriented photodiodes (PDs). Considering the additive noises of the PDs, we derive the closed-form error expression for the proposed LED coordinates estimator. Both analytical and Monte Carlo experimental results show that the layout of the AOA estimators could affect the estimation error. These results may provide intuitive insights for the design of the optical indoor positioning systems.


title: The challenge of reproducible ML: an empirical study on the impact of bugs

abstract: Reproducibility is a crucial requirement in scientific research. When results of research studies and scientific papers have been found difficult or impossible to reproduce, we face a challenge which is called reproducibility crisis. Although the demand for reproducibility in Machine Learning (ML) is acknowledged in the literature, a main barrier is inherent non-determinism in ML training and inference. In this paper, we establish the fundamental factors that cause non-determinism in ML systems. A framework, ReproduceML, is then introduced for deterministic evaluation of ML experiments in a real, controlled environment. ReproduceML allows researchers to investigate software configuration effects on ML training and inference. Using ReproduceML, we run a case study: investigation of the impact of bugs inside ML libraries on performance of ML experiments. This study attempts to quantify the impact that the occurrence of bugs in a popular ML framework, PyTorch, has on the performance of trained models. To do so, a comprehensive methodology is proposed to collect buggy versions of ML libraries and run deterministic ML experiments using ReproduceML. Our initial finding is that there is no evidence based on our limited dataset to show that bugs which occurred in PyTorch do affect the performance of trained models. The proposed methodology as well as ReproduceML can be employed for further research on non-determinism and bugs.


title: Stationary Density Estimation of It\^o Diffusions Using Deep Learning

abstract: In this paper, we consider the density estimation problem associated with the stationary measure of ergodic It\^o diffusions from a discrete-time series that approximate the solutions of the stochastic differential equations. To take an advantage of the characterization of density function through the stationary solution of a parabolic-type Fokker-Planck PDE, we proceed as follows. First, we employ deep neural networks to approximate the drift and diffusion terms of the SDE by solving appropriate supervised learning tasks. Subsequently, we solve a steady-state Fokker-Plank equation associated with the estimated drift and diffusion coefficients with a neural-network-based least-squares method. We establish the convergence of the proposed scheme under appropriate mathematical assumptions, accounting for the generalization errors induced by regressing the drift and diffusion coefficients, and the PDE solvers. This theoretical study relies on a recent perturbation theory of Markov chain result that shows a linear dependence of the density estimation to the error in estimating the drift term, and generalization error results of nonparametric regression and of PDE regression solution obtained with neural-network models. The effectiveness of this method is reflected by numerical simulations of a two-dimensional Student's t distribution and a 20-dimensional Langevin dynamics.


title: The Emotional Roller Coaster of Responding to Requirements Changes in Software Engineering

abstract: Background: A preliminary study we conducted showed that software practitioners respond to requirements changes(RCs) with different emotions, and that their emotions vary at stages of the RC handling life cycle, such as receiving, developing, and delivering RCs. Objective: We wanted to study more comprehensively how practitioners emotionally respond to RCs. Method: We conducted a world-wide survey with the participation of 201 software practitioners. In our survey, we used the Job-related Affective Well-being Scale (JAWS) and open-ended questions to capture participants emotions when handling RCs in their work and query about the different circumstances when they feel these emotions. We used a combined approach of statistical analysis, JAWS, and Socio-Technical Grounded Theory (STGT) for Data Analysis to analyse our survey data. Findings: We identified (1) emotional responses to RCs, i.e., the most common emotions felt by practitioners when handling RCs; (2) different stimuli -- such as the RC, the practitioner, team, manager, customer -- that trigger these emotions through their own different characteristics; (3)emotion dynamics, i.e., the changes in emotions during the project and RC handling life cycles; (4) distinct events where particular emotions are triggered:project milestones, and RC stages; (5) and time related matters that regulate the emotion dynamics. Conclusion: Practitioners are not pleased with receiving RCs all the time. Last minute RCs introduced closer to a deadline especially violate emotional well-being of practitioners. We present some practical recommendations for practitioners to follow, including a dual-purpose emotion-centric decision guide to help decide when to introduce or accept an RC, and some future key research directions.


title: Fractional Crank-Nicolson-Galerkin finite element methods for nonlinear time fractional parabolic problems with time delay

abstract: A linearized numerical scheme is proposed to solve the nonlinear time fractional parabolic problems with time delay. The scheme is based on the standard Galerkin finite element method in the spatial direction, the fractional Crank-Nicolson method and extrapolation methods in the temporal direction. A novel discrete fractional Gr\"{o}nwall inequality is established. Thanks to the inequality, the error estimate of fully discrete scheme is obtained. Several numerical examples are provided to verify the effectiveness of the fully discrete numerical method.


title: Can a conventional optical camera realize turbulence-free imaging?

abstract: Atmospheric turbulence is a serious problem for traditional optical imaging, especially for satellite and aircraft-to-ground imaging. Here, we report a novel and practical phenomenon in which turbulence-free images can be reconstructed on a conventional optical camera based on the accumulation of sunlight intensity and photon number fluctuation autocorrelation. Different from conventional ghost imaging, this method can obtain turbulence-free images, and its imaging speed is comparable to that of traditional optical imaging. Moreover, by adding photon number fluctuation autocorrelation algorithm software, almost all optical cameras, including mobile phone cameras, can realize this function without changing the structure of the original camera.


title: Positivity in Foliated Manifolds and Geometric Applications

abstract: We introduce the notion of positivity for a real basic $(1,1)$ class in basic Bott-Chern cohomology group on foliated manifolds, and study the relationship between this positivity and the negativity of transverse holomorphic sectional curvature and give some geometric applications.


title: Any Regular Polyhedron Can Transform to Another by O(1) Refoldings

abstract: We show that several classes of polyhedra are joined by a sequence of O(1) refolding steps, where each refolding step unfolds the current polyhedron (allowing cuts anywhere on the surface and allowing overlap) and folds that unfolding into exactly the next polyhedron; in other words, a polyhedron is refoldable into another polyhedron if they share a common unfolding. Specifically, assuming equal surface area, we prove that (1) any two tetramonohedra are refoldable to each other, (2) any doubly covered triangle is refoldable to a tetramonohedron, (3) any (augmented) regular prismatoid and doubly covered regular polygon is refoldable to a tetramonohedron, (4) any tetrahedron has a 3-step refolding sequence to a tetramonohedron, and (5) the regular dodecahedron has a 4-step refolding sequence to a tetramonohedron. In particular, we obtain at most 6-step refolding sequence between any pair of Platonic solids, applying (5) for the dodecahedron and (1) and/or (2) for all other Platonic solids. As far as the authors know, this is the first result about common unfolding involving the regular dodecahedron.


title: LEASH: Enhancing Micro-architectural Attack Detection with a Reactive Process Scheduler

abstract: Micro-architectural attacks use information leaked through shared resources to break hardware-enforced isolation. These attacks have been used to steal private information ranging from cryptographic keys to privileged Operating System (OS) data in devices ranging from mobile phones to cloud servers. Most existing software countermeasures either have unacceptable overheads or considerable false positives. Further, they are designed for specific attacks and cannot readily adapt to new variants. In this paper, we propose a framework called LEASH, which works from the OS scheduler to stymie micro-architectural attacks with minimal overheads, negligible impact of false positives, and is capable of handling a wide range of attacks. LEASH works by starving maliciously behaving threads at runtime, providing insufficient time and resources to carry out an attack. The CPU allocation for a falsely flagged thread found to be benign is boosted to minimize overheads. To demonstrate the framework, we modify Linux's Completely Fair Scheduler with LEASH and evaluate it with seven micro-architectural attacks ranging from Meltdown and Rowhammer to a TLB covert channel. The runtime overheads are evaluated with a range of real-world applications and found to be less than 1% on average.


title: Towards Efficient Synchronous Federated Training: A Survey on System Optimization Strategies

abstract: The increasing demand for privacy-preserving collaborative learning has given rise to a new computing paradigm called federated learning (FL), in which clients collaboratively train a machine learning (ML) model without revealing their private training data. Given an acceptable level of privacy guarantee, the goal of FL is to minimize the time-to-accuracy of model training. Compared with distributed ML in data centers, there are four distinct challenges to achieving short time-to-accuracy in FL training, namely the lack of information for optimization, the tradeoff between statistical and system utility, client heterogeneity, and large configuration space. In this paper, we survey recent works in addressing these challenges and present them following a typical training workflow through three phases: client selection, configuration, and reporting. We also review system works including measurement studies and benchmarking tools that aim to support FL developers.


title: There does not exist a strongly regular graph with parameters $(1911,270,105,27)$

abstract: In this paper we show that there does not exist a strongly regular graph with parameters $(1911,270,105,27)$.


title: Deep Reinforcement Learning for Equal Risk Pricing and Hedging under Dynamic Expectile Risk Measures

abstract: Recently equal risk pricing, a framework for fair derivative pricing, was extended to consider dynamic risk measures. However, all current implementations either employ a static risk measure that violates time consistency, or are based on traditional dynamic programming solution schemes that are impracticable in problems with a large number of underlying assets (due to the curse of dimensionality) or with incomplete asset dynamics information. In this paper, we extend for the first time a famous off-policy deterministic actor-critic deep reinforcement learning (ACRL) algorithm to the problem of solving a risk averse Markov decision process that models risk using a time consistent recursive expectile risk measure. This new ACRL algorithm allows us to identify high quality time consistent hedging policies (and equal risk prices) for options, such as basket options, that cannot be handled using traditional methods, or in context where only historical trajectories of the underlying assets are available. Our numerical experiments, which involve both a simple vanilla option and a more exotic basket option, confirm that the new ACRL algorithm can produce 1) in simple environments, nearly optimal hedging policies, and highly accurate prices, simultaneously for a range of maturities 2) in complex environments, good quality policies and prices using reasonable amount of computing resources; and 3) overall, hedging strategies that actually outperform the strategies produced using static risk measures when the risk is evaluated at later points of time.


abstract: Currently, multilingual machine translation is receiving more and more attention since it brings better performance for low resource languages (LRLs) and saves more space. However, existing multilingual machine translation models face a severe challenge: imbalance. As a result, the translation performance of different languages in multilingual translation models are quite different. We argue that this imbalance problem stems from the different learning competencies of different languages. Therefore, we focus on balancing the learning competencies of different languages and propose Competence-based Curriculum Learning for Multilingual Machine Translation, named CCL-M. Specifically, we firstly define two competencies to help schedule the high resource languages (HRLs) and the low resource languages: 1) Self-evaluated Competence, evaluating how well the language itself has been learned; and 2) HRLs-evaluated Competence, evaluating whether an LRL is ready to be learned according to HRLs' Self-evaluated Competence. Based on the above competencies, we utilize the proposed CCL-M algorithm to gradually add new languages into the training set in a curriculum learning manner. Furthermore, we propose a novel competenceaware dynamic balancing sampling strategy for better selecting training samples in multilingual training. Experimental results show that our approach has achieved a steady and significant performance gain compared to the previous state-of-the-art approach on the TED talks dataset.


title: Improving Deep Metric Learning by Divide and Conquer

abstract: Deep metric learning (DML) is a cornerstone of many computer vision applications. It aims at learning a mapping from the input domain to an embedding space, where semantically similar objects are located nearby and dissimilar objects far from another. The target similarity on the training data is defined by user in form of ground-truth class labels. However, while the embedding space learns to mimic the user-provided similarity on the training data, it should also generalize to novel categories not seen during training. Besides user-provided groundtruth training labels, a lot of additional visual factors (such as viewpoint changes or shape peculiarities) exist and imply different notions of similarity between objects, affecting the generalization on the images unseen during training. However, existing approaches usually directly learn a single embedding space on all available training data, struggling to encode all different types of relationships, and do not generalize well. We propose to build a more expressive representation by jointly splitting the embedding space and the data hierarchically into smaller sub-parts. We successively focus on smaller subsets of the training data, reducing its variance and learning a different embedding subspace for each data subset. Moreover, the subspaces are learned jointly to cover not only the intricacies, but the breadth of the data as well. Only after that, we build the final embedding from the subspaces in the conquering stage. The proposed algorithm acts as a transparent wrapper that can be placed around arbitrary existing DML methods. Our approach significantly improves upon the state-of-the-art on image retrieval, clustering, and re-identification tasks evaluated using CUB200-2011, CARS196, Stanford Online Products, In-shop Clothes, and PKU VehicleID datasets.


title: OpenClinicalAI: enabling AI to diagnose diseases in real-world clinical settings

abstract: This paper quantitatively reveals the state-of-the-art and state-of-the-practice AI systems only achieve acceptable performance on the stringent conditions that all categories of subjects are known, which we call closed clinical settings, but fail to work in real-world clinical settings. Compared to the diagnosis task in the closed setting, real-world clinical settings pose severe challenges, and we must treat them differently. We build a clinical AI benchmark named Clinical AIBench to set up real-world clinical settings to facilitate researches. We propose an open, dynamic machine learning framework and develop an AI system named OpenClinicalAI to diagnose diseases in real-world clinical settings. The first versions of Clinical AIBench and OpenClinicalAI target Alzheimer's disease. In the real-world clinical setting, OpenClinicalAI significantly outperforms the state-of-the-art AI system. In addition, OpenClinicalAI develops personalized diagnosis strategies to avoid unnecessary testing and seamlessly collaborates with clinicians. It is promising to be embedded in the current medical systems to improve medical services.


title: On the pseudogroup of local transformations commuting with a transversely elliptic operator and the existence of transverse metric

abstract: The group of diffeomorphisms commuting with an elliptic operator on a manifold is a compact Lie group under Compact-Open topology. In foliation theory, pseudogroup is introduced by Sacksteder. The pseudogroup of local transformations commuting with a basic differential operator possesses the equicontinuity and the quasi-analyticity when conditions on operator are given. These properties serve to construct a transverse metric on the normal bundle under a good condition on operator. For this, the Average Method is applied as in the construction of basic connection on foliated bundles.


title: Two-dimensional pentagonal material Penta-PdPSe: A first-principle study

abstract: Low-symmetry Penta-PdPSe with intrinsic in-plane anisotropy synthesized successfully [(P. Li et al., Adv. Mater., 2102541, (2021)]. Motivated by this experimental discovery, we investigate the structural, mechanical, electronic, optical and thermoelectric properties of PdPSe monolayer via density functional theory calculations. The phonon dispersion, molecular dynamics simulation, the cohesive energy mechanical properties of the penta-PdPSe monolayer is verified to confirm its stability. The phonon spectrum represents a striking gap between the high-frequency and the low-frequency optical branches and an out-of-plane flexure mode with a quadratic dispersion in the long-wavelength limit. The Poissons ratio indicates that penta-PdPSe is a brittle monolayer. The penda-PdPSe monolayer is an indirect semiconductor with bandgap of 1.40 (2.07) eV using PBE (HSE06) functional. Optical properties simulation suggests that PdPSe is capable of absorbing a substantial range of visible to ultraviolet light. Band alignment analysis also reveals the compatibility of PdPSe for water splitting photocatalysis application. By combining the electrical and thermal transport properties of PdPSe, we show that a high PF is achievable at room temperature, thus making PdPSe a candidate material for thermoelectric application. Our findings reveal the strong potential of penta-PdPSe monolayer for a wide array of applications, including optoelectronic, water splitting and thermoelectric device applications.


title: MaterialsAtlas.org: A Materials Informatics Web App Platform for Materials Discovery and Survey of State-of-the-Art

abstract: The availability and easy access of large scale experimental and computational materials data have enabled the emergence of accelerated development of algorithms and models for materials property prediction, structure prediction, and generative design of materials. However, lack of user-friendly materials informatics web servers has severely constrained the wide adoption of such tools in the daily practice of materials screening, tinkering, and design space exploration by materials scientists. Herein we first survey current materials informatics web apps and then propose and develop MaterialsAtlas.org, a web based materials informatics toolbox for materials discovery, which includes a variety of routinely needed tools for exploratory materials discovery, including materials composition and structure check (e.g. for neutrality, electronegativity balance, dynamic stability, Pauling rules), materials property prediction (e.g. band gap, elastic moduli, hardness, thermal conductivity), and search for hypothetical materials. These user-friendly tools can be freely accessed at \url{www.materialsatlas.org}. We argue that such materials informatics apps should be widely developed by the community to speed up the materials discovery processes.


title: Graph Based Network with Contextualized Representations of Turns in Dialogue

abstract: Dialogue-based relation extraction (RE) aims to extract relation(s) between two arguments that appear in a dialogue. Because dialogues have the characteristics of high personal pronoun occurrences and low information density, and since most relational facts in dialogues are not supported by any single sentence, dialogue-based relation extraction requires a comprehensive understanding of dialogue. In this paper, we propose the TUrn COntext awaRE Graph Convolutional Network (TUCORE-GCN) modeled by paying attention to the way people understand dialogues. In addition, we propose a novel approach which treats the task of emotion recognition in conversations (ERC) as a dialogue-based RE. Experiments on a dialogue-based RE dataset and three ERC datasets demonstrate that our model is very effective in various dialogue-based natural language understanding tasks. In these experiments, TUCORE-GCN outperforms the state-of-the-art models on most of the benchmark datasets. Our code is available at https://github.com/BlackNoodle/TUCORE-GCN.


title: Arbitrarily accelerating space-time wave packets

abstract: All known realizations of optical wave packets that accelerate along their propagation axis, such as Airy wave packets in dispersive media or wave-front-modulated X-waves, exhibit a constant acceleration; that is, the group velocity varies linearly with propagation. Here we synthesize space-time wave packets that travel in free space with arbitrary axial acceleration profiles, including group velocities that change with integer or fractional exponents of the distance. Furthermore, we realize a composite acceleration profile: the wave packet first accelerates from an initial to a terminal group velocity, decelerates back to the initial value, and then travels at a fixed group velocity. These never-before-seen optical-acceleration phenomena are all produced using the same experimental arrangement that precisely sculpts the wave packet's spatio-temporal spectral structure.


title: Popularity Adjusted Block Models are Generalized Random Dot Product Graphs

abstract: We connect two random graph models, the Popularity Adjusted Block Model (PABM) and the Generalized Random Dot Product Graph (GRDPG), by demonstrating that the PABM is a special case of the GRDPG in which communities correspond to mutually orthogonal subspaces of latent vectors. This insight allows us to construct new algorithms for community detection and parameter estimation for the PABM, as well as improve an existing algorithm that relies on Sparse Subspace Clustering. Using established asymptotic properties of Adjacency Spectral Embedding for the GRDPG, we derive asymptotic properties of these algorithms. In particular, we demonstrate that the absolute number of community detection errors tends to zero as the number of graph vertices tends to infinity. Simulation experiments illustrate these properties.


title: Nondegenerate extensions of near-group braided fusion categories

abstract: This is a study of weakly integral braided fusion categories with elementary fusion rules to determine which possess nondegenerately braided extensions of theoretically minimal dimension, or equivalently in this case, which satisfy the minimal modular extension conjecture. We classify near-group braided fusion categories satisfying the minimal modular extension conjecture; the remaining Tambara-Yamagami braided fusion categories provide arbitrarily large families of braided fusion categories with identical fusion rules violating the minimal modular extension conjecture. These examples generalize to braided fusion categories with the fusion rules of the representation categories of extraspecial $p$-groups for any prime $p$, which possess a minimal modular extension only if they arise as the adjoint subcategory of a twisted double of an extraspecial $p$-group.


title: The TaichuPix1: A Monolithic Active Pixel Sensor with fast in-pixel readout electronics for the CEPC vertex detector

abstract: The proposed Circular Electron Positron Collider (CEPC) imposes new challenges for the vertex detector in terms of high resolution, low material, fast readout and low power. The Monolithic Active Pixel Sensor (MAPS) technology has been chosen as one of the most promising candidates to satisfy these requirements. A MAPS prototype, called TaichuPix1, based on a data-driven structure, together with a column drain readout architecture, benefiting from the ALPIDE and FE-I3 approaches, has been implemented to achieve fast readout. This paper presents the overall architecture of TaichuPix1, the experimental characterization of the FE-I3-like matrix, the threshold dispersion, the noise distribution of the pixels and verifies the charge collection using a radioactive source. These results prove the functionality of the digital periphery and serializer are able to transmit the collected charge to the data interface correctly. Moreover, the individual self-tests of the serializer verify it can work up to about 3 Gbps. And it also indicates that the analog front-end features a fast-rising signal with a short time walk and that the FE-I3-like in-pixel digital logic is properly operating at the 40 MHz system clock.


title: New stabilized $P_1\times P_0$ finite element methods for nearly inviscid and incompressible flows

abstract: This work proposes a new stabilized $P_1\times P_0$ finite element method for solving the incompressible Navier--Stokes equations. The numerical scheme is based on a reduced Bernardi--Raugel element with statically condensed face bubbles and is pressure-robust in the small viscosity regime. For the Stokes problem, an error estimate uniform with respect to the kinematic viscosity is shown. For the Navier--Stokes equation, the nonlinear convection term is discretized using an edge-averaged finite element method. In comparison with classical schemes, the proposed method does not require tuning of parameters and is validated for competitiveness on several benchmark problems in 2 and 3 dimensional space.


title: Weakly-Supervised Visual-Retriever-Reader for Knowledge-based Question Answering

abstract: Knowledge-based visual question answering (VQA) requires answering questions with external knowledge in addition to the content of images. One dataset that is mostly used in evaluating knowledge-based VQA is OK-VQA, but it lacks a gold standard knowledge corpus for retrieval. Existing work leverage different knowledge bases (e.g., ConceptNet and Wikipedia) to obtain external knowledge. Because of varying knowledge bases, it is hard to fairly compare models' performance. To address this issue, we collect a natural language knowledge base that can be used for any VQA system. Moreover, we propose a Visual Retriever-Reader pipeline to approach knowledge-based VQA. The visual retriever aims to retrieve relevant knowledge, and the visual reader seeks to predict answers based on given knowledge. We introduce various ways to retrieve knowledge using text and images and two reader styles: classification and extraction. Both the retriever and reader are trained with weak supervision. Our experimental results show that a good retriever can significantly improve the reader's performance on the OK-VQA challenge. The code and corpus are provided in https://github.com/luomancs/retriever\_reader\_for\_okvqa.git


title: Generation, augmentation, and alignment: A pseudo-source domain based method for source-free domain adaptation

abstract: Conventional unsupervised domain adaptation (UDA) methods need to access both labeled source samples and unlabeled target samples simultaneously to train the model. While in some scenarios, the source samples are not available for the target domain due to data privacy and safety. To overcome this challenge, recently, source-free domain adaptation (SFDA) has attracted the attention of researchers, where both a trained source model and unlabeled target samples are given. Existing SFDA methods either adopt a pseudo-label based strategy or generate more samples. However, these methods do not explicitly reduce the distribution shift across domains, which is the key to a good adaptation. Although there are no source samples available, fortunately, we find that some target samples are very similar to the source domain and can be used to approximate the source domain. This approximated domain is denoted as the pseudo-source domain. In this paper, inspired by this observation, we propose a novel method based on the pseudo-source domain. The proposed method firstly generates and augments the pseudo-source domain, and then employs distribution alignment with four novel losses based on pseudo-label based strategy. Among them, a domain adversarial loss is introduced between the pseudo-source domain the remaining target domain to reduce the distribution shift. The results on three real-world datasets verify the effectiveness of the proposed method.


title: Flux rope merging and the structure of switchbacks in the solar wind

abstract: A major discovery of Parker Solar Probe (PSP) was the presence of large numbers of localized increases in the radial solar wind speed and associated sharp deflections of the magnetic field - switchbacks (SB). A possible generation mechanism of SBs is through magnetic reconnection between open and closed magnetic flux near the solar surface, termed interchange reconnection that leads to the ejection of flux ropes (FR) into the solar wind. Observations also suggest that SBs undergo merging, consistent with a FR picture of these structures. The role of FRs merging in controlling the structure of SB in the solar wind is explored through direct observations, through analytic analysis, and numerical simulations. Analytic analysis reveals key features of the structure of FR and their scaling with the heliocentric distance R that are consistent with observations and that reveal the critical role of merging in controlling the SB structure. FR merging is shown to be energetically favorable to reduce the strength of the wrapping magnetic field and drive the observed elongation of SBs. A further consequence is the resulting dominance of the axial magnetic field within SBs that leads to the characteristic sharp rotation of the magnetic field into the axial direction at the SB boundary that is revealed in observations. Finally, the radial scaling of the SB area in the FR model of SBs suggests that the observational probability of SB identification should be insensitive to R, which is consistent with the most recent statistical analysis of SB observations from PSP.


title: Translationally invariant matrix elements of general one-body operators

abstract: Precision tests of the Standard Model and searches for beyond the Standard Model physics often require nuclear structure input. There has been a tremendous progress in the development of nuclear ab initio techniques capable of providing accurate nuclear wave functions. For the calculation of observables, matrix elements of complicated operators need to be evaluated. Typically, these matrix elements would contain spurious contributions from the center-of-mass (COM) motion. This could be problematic when precision results are sought. Here, we derive a transformation relying on properties of harmonic oscillator wave functions that allows an exact removal of the COM motion contamination applicable to any one-body operator depending on nucleon coordinates and momenta. Resulting many-nucleon matrix elements are translationally invariant provided that the nuclear eigenfunctions factorize as products of the intrinsic and COM components as is the case, e.g., in the no-core shell model approach. An application of the transformation has been recently demonstrated in calculations of the nuclear structure recoil corrections for the beta-decay of 6He.


title: Graphine: A Dataset for Graph-aware Terminology Definition Generation

abstract: Precisely defining the terminology is the first step in scientific communication. Developing neural text generation models for definition generation can circumvent the labor-intensity curation, further accelerating scientific discovery. Unfortunately, the lack of large-scale terminology definition dataset hinders the process toward definition generation. In this paper, we present a large-scale terminology definition dataset Graphine covering 2,010,648 terminology definition pairs, spanning 227 biomedical subdisciplines. Terminologies in each subdiscipline further form a directed acyclic graph, opening up new avenues for developing graph-aware text generation models. We then proposed a novel graph-aware definition generation model Graphex that integrates transformer with graph neural network. Our model outperforms existing text generation models by exploiting the graph structure of terminologies. We further demonstrated how Graphine can be used to evaluate pretrained language models, compare graph representation learning methods and predict sentence granularity. We envision Graphine to be a unique resource for definition generation and many other NLP tasks in biomedicine.


title: Unconventional quantum phase transitions in a one-dimensional Lieb-Schultz-Mattis system

abstract: We study quantum phases and phase transitions in a one-dimensional interacting fermion system with a Lieb-Schultz-Mattis (LSM) type anomaly. Specifically, the inversion symmetry enforces any symmetry-preserving gapped ground state of the system to be a Kitaev chain, following a Lieb-Schultz-Mattis type theorem that we prove. Alternatively, via the Jordan-Wigner transformation, this system describes a spin system whose gapped ground states must break either the inversion or the Ising symmetry associated with fermion parity. We obtain a phase diagram using analytical methods and variational matrix product state simulations, and study the critical behaviors of the quantum phase transitions therein using entanglement entropy, energy variance and finite size scaling of order parameters. In particular, we observe continuous phase transitions between different ordered phases that are beyond the Ginzburg-Landau-Wilson paradigm, in analogy to the deconfined quantum critical points in two spatial dimensions. We show this type of 1D deconfined quantum critical point is described by the Tomonaga-Luttinger liquid theory, and extract the Luttinger parameter and critical exponents. We also identify a gapless phase between two ordered phases, which cannot be described by a U(1) Luttinger liquid.


title: Distributionally Robust Multilingual Machine Translation

abstract: Multilingual neural machine translation (MNMT) learns to translate multiple language pairs with a single model, potentially improving both the accuracy and the memory-efficiency of deployed models. However, the heavy data imbalance between languages hinders the model from performing uniformly across language pairs. In this paper, we propose a new learning objective for MNMT based on distributionally robust optimization, which minimizes the worst-case expected loss over the set of language pairs. We further show how to practically optimize this objective for large translation corpora using an iterated best response scheme, which is both effective and incurs negligible additional computational cost compared to standard empirical risk minimization. We perform extensive experiments on three sets of languages from two datasets and show that our method consistently outperforms strong baseline methods in terms of average and per-language performance under both many-to-one and one-to-many translation settings.


title: Supervised Contrastive Learning for Detecting Anomalous Driving Behaviours from Multimodal Videos

abstract: Distracted driving is one of the major reasons for vehicle accidents. Therefore, detecting distracted driving behaviors is of paramount importance to reduce the millions of deaths and injuries occurring worldwide. Distracted or anomalous driving behaviors are deviations from 'normal' driving that need to be identified correctly to alert the driver. However, these driving behaviors do not comprise one specific type of driving style and their distribution can be different during the training and test phases of a classifier. We formulate this problem as a supervised contrastive learning approach to learn a visual representation to detect normal, and seen and unseen anomalous driving behaviors. We made a change to the standard contrastive loss function to adjust the similarity of negative pairs to aid the optimization. Normally, in a (self) supervised contrastive framework, the projection head layers are omitted during the test phase as the encoding layers are considered to contain general visual representative information. However, we assert that for a video-based supervised contrastive learning task, including a projection head can be beneficial. We showed our results on a driver anomaly detection dataset that contains 783 minutes of video recordings of normal and anomalous driving behaviors of 31 drivers from the various top and front cameras (both depth and infrared). Out of 9 video modalities combinations, our proposed contrastive approach improved the ROC AUC on 6 in comparison to the baseline models (from 4.23% to 8.91% for different modalities). We performed statistical tests that showed evidence that our proposed method performs better than the baseline contrastive learning setup. Finally, the results showed that the fusion of depth and infrared modalities from the top and front views achieved the best AUC ROC of 0.9738 and AUC PR of 0.9772.


title: Multi-Tensor Network Representation for High-Order Tensor Completion

abstract: This work studies the problem of high-dimensional data (referred to as tensors) completion from partially observed samplings. We consider that a tensor is a superposition of multiple low-rank components. In particular, each component can be represented as multilinear connections over several latent factors and naturally mapped to a specific tensor network (TN) topology. In this paper, we propose a fundamental tensor decomposition (TD) framework: Multi-Tensor Network Representation (MTNR), which can be regarded as a linear combination of a range of TD models, e.g., CANDECOMP/PARAFAC (CP) decomposition, Tensor Train (TT), and Tensor Ring (TR). Specifically, MTNR represents a high-order tensor as the addition of multiple TN models, and the topology of each TN is automatically generated instead of manually pre-designed. For the optimization phase, an adaptive topology learning (ATL) algorithm is presented to obtain latent factors of each TN based on a rank incremental strategy and a projection error measurement strategy. In addition, we theoretically establish the fundamental multilinear operations for the tensors with TN representation, and reveal the structural transformation of MTNR to a single TN. Finally, MTNR is applied to a typical task, tensor completion, and two effective algorithms are proposed for the exact recovery of incomplete data based on the Alternating Least Squares (ALS) scheme and Alternating Direction Method of Multiplier (ADMM) framework. Extensive numerical experiments on synthetic data and real-world datasets demonstrate the effectiveness of MTNR compared with the start-of-the-art methods.


title: Rethinking Immersive Virtual Reality and Empathy

abstract: In this position paper, we aim to spark more discussions surrounding the use of empathy as the intended outcome of many studies on immersive virtual reality experiences. As a construct, empathy has many significant flaws that may lead to unintended and negative outcomes, going against our original goal of employing these technologies for the betterment of society. We highlight the possible advantages of designing for rational compassion instead, and propose alternative research directions and outcome measurements for immersive virtual reality that urgently warrant our attention.


title: On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)

abstract: Mean field control (MFC) is an effective way to mitigate the curse of dimensionality of cooperative multi-agent reinforcement learning (MARL) problems. This work considers a collection of $N_{\mathrm{pop}}$ heterogeneous agents that can be segregated into $K$ classes such that the $k$-th class contains $N_k$ homogeneous agents. We aim to prove approximation guarantees of the MARL problem for this heterogeneous system by its corresponding MFC problem. We consider three scenarios where the reward and transition dynamics of all agents are respectively taken to be functions of $(1)$ joint state and action distributions across all classes, $(2)$ individual distributions of each class, and $(3)$ marginal distributions of the entire population. We show that, in these cases, the $K$-class MARL problem can be approximated by MFC with errors given as $e_1=\mathcal{O}(\frac{\sqrt{|\mathcal{X}|}+\sqrt{|\mathcal{U}|}}{N_{\mathrm{pop}}}\sum_{k}\sqrt{N_k})$, $e_2=\mathcal{O}(\left[\sqrt{|\mathcal{X}|}+\sqrt{|\mathcal{U}|}\right]\sum_{k}\frac{1}{\sqrt{N_k}})$ and $e_3=\mathcal{O}\left(\left[\sqrt{|\mathcal{X}|}+\sqrt{|\mathcal{U}|}\right]\left[\frac{A}{N_{\mathrm{pop}}}\sum_{k\in[K]}\sqrt{N_k}+\frac{B}{\sqrt{N_{\mathrm{pop}}}}\right]\right)$, respectively, where $A, B$ are some constants and $|\mathcal{X}|,|\mathcal{U}|$ are the sizes of state and action spaces of each agent. Finally, we design a Natural Policy Gradient (NPG) based algorithm that, in the three cases stated above, can converge to an optimal MARL policy within $\mathcal{O}(e_j)$ error with a sample complexity of $\mathcal{O}(e_j^{-3})$, $j\in\{1,2,3\}$, respectively.


title: Improved Hardness of BDD and SVP Under Gap-(S)ETH

abstract: We show improved fine-grained hardness of two key lattice problems in the $\ell_p$ norm: Bounded Distance Decoding to within an $\alpha$ factor of the minimum distance ($\mathrm{BDD}_{p, \alpha}$) and the (decisional) $\gamma$-approximate Shortest Vector Problem ($\mathrm{SVP}_{p,\gamma}$), assuming variants of the Gap (Strong) Exponential Time Hypothesis (Gap-(S)ETH). Specifically, we show: 1. For all $p \in [1, \infty)$, there is no $2^{o(n)}$-time algorithm for $\mathrm{BDD}_{p, \alpha}$ for any constant $\alpha > \alpha_\mathsf{kn}$, where $\alpha_\mathsf{kn} = 2^{-c_\mathsf{kn}} < 0.98491$ and $c_\mathsf{kn}$ is the $\ell_2$ kissing-number constant, unless non-uniform Gap-ETH is false. 2. For all $p \in [1, \infty)$, there is no $2^{o(n)}$-time algorithm for $\mathrm{BDD}_{p, \alpha}$ for any constant $\alpha > \alpha^\ddagger_p$, where $\alpha^\ddagger_p$ is explicit and satisfies $\alpha^\ddagger_p = 1$ for $1 \leq p \leq 2$, $\alpha^\ddagger_p < 1$ for all $p > 2$, and $\alpha^\ddagger_p \to 1/2$ as $p \to \infty$, unless randomized Gap-ETH is false. 3. For all $p \in [1, \infty) \setminus 2 \mathbb{Z}$ and all $C > 1$, there is no $2^{n/C}$-time algorithm for $\mathrm{BDD}_{p, \alpha}$ for any constant $\alpha > \alpha^\dagger_{p, C}$, where $\alpha^\dagger_{p, C}$ is explicit and satisfies $\alpha^\dagger_{p, C} \to 1$ as $C \to \infty$ for any fixed $p \in [1, \infty)$, unless non-uniform Gap-SETH is false. 4. For all $p > p_0 \approx 2.1397$, $p \notin 2\mathbb{Z}$, and all $C > C_p$, there is no $2^{n/C}$-time algorithm for $\mathrm{SVP}_{p, \gamma}$ for some constant $\gamma > 1$, where $C_p > 1$ is explicit and satisfies $C_p \to 1$ as $p \to \infty$, unless randomized Gap-SETH is false.


title: Learning Performance Bounds for Safety-Critical Systems

abstract: As the complexity of control systems increases, the need for systematic methods to guarantee their efficacy grows as well. However, direct testing of these systems is oftentimes costly, difficult, or impractical. As a result, the test and evaluation ideal would be to verify the efficacy of a system simulator and use this verification result to make a statement on true system performance. This paper formalizes that performance translation for a specific class of desired system behaviors. In that vein, our contribution is twofold. First, we detail a variant on existing Bayesian Optimization Algorithms that identifies minimal upper bounds to maximization problems, with some minimum probability. Second, we use this Algorithm to $i)$ lower bound the minimum simulator robustness and $ii)$ upper bound the expected deviance between true and simulated systems. Then, for the specific class of desired behaviors studied, we leverage these bounds to lower bound the minimum true system robustness, without directly testing the true system. Finally, we compare a high-fidelity ROS simulator of a Segway, with a significantly noisier version of itself, and show that our probabilistic verification bounds are indeed satisfied.


title: Taxim: An Example-based Simulation Model for GelSight Tactile Sensors

abstract: Simulation is widely used in robotics for system verification and large-scale data collection. However, simulating sensors, including tactile sensors, has been a long-standing challenge. In this paper, we propose Taxim, a realistic and high-speed simulation model for a vision-based tactile sensor, GelSight. A GelSight sensor uses a piece of soft elastomer as the medium of contact and embeds optical structures to capture the deformation of the elastomer, which infers the geometry and forces applied at the contact surface. We propose an example-based method for simulating GelSight: we simulate the optical response to the deformation with a polynomial look-up table. This table maps the deformed geometries to pixel intensity sampled by the embedded camera. In order to simulate the surface markers' motion that is caused by the surface stretch of the elastomer, we apply the linear elastic deformation theory and the superposition principle. The simulation model is calibrated with less than 100 data points from a real sensor. The example-based approach enables the model to easily migrate to other GelSight sensors or its variations. To the best of our knowledge, our simulation framework is the first to incorporate marker motion field simulation that derives from elastomer deformation together with the optical simulation, creating a comprehensive and computationally efficient tactile simulation framework. Experiments reveal that our optical simulation has the lowest pixel-wise intensity errors compared to prior work and can run online with CPU computing. Our code and supplementary materials are open-sourced at https://github.com/CMURoboTouch/Taxim.


title: A short theoretical review of charmonium production

abstract: In this paper, we review the current status of the phenomenological study of quarkonium production in high energy collisions. After a brief introduction of several important models and effective field theories for quarkonium production, we discuss the comparisons between theoretical predictions and experimental measurements.


title: Automated Security Assessment for the Internet of Things

abstract: Internet of Things (IoT) based applications face an increasing number of potential security risks, which need to be systematically assessed and addressed. Expert-based manual assessment of IoT security is a predominant approach, which is usually inefficient. To address this problem, we propose an automated security assessment framework for IoT networks. Our framework first leverages machine learning and natural language processing to analyze vulnerability descriptions for predicting vulnerability metrics. The predicted metrics are then input into a two-layered graphical security model, which consists of an attack graph at the upper layer to present the network connectivity and an attack tree for each node in the network at the bottom layer to depict the vulnerability information. This security model automatically assesses the security of the IoT network by capturing potential attack paths. We evaluate the viability of our approach using a proof-of-concept smart building system model which contains a variety of real-world IoT devices and potential vulnerabilities. Our evaluation of the proposed framework demonstrates its effectiveness in terms of automatically predicting the vulnerability metrics of new vulnerabilities with more than 90% accuracy, on average, and identifying the most vulnerable attack paths within an IoT network. The produced assessment results can serve as a guideline for cybersecurity professionals to take further actions and mitigate risks in a timely manner.


title: Bag of Tricks for Optimizing Transformer Efficiency

abstract: Improving Transformer efficiency has become increasingly attractive recently. A wide range of methods has been proposed, e.g., pruning, quantization, new architectures and etc. But these methods are either sophisticated in implementation or dependent on hardware. In this paper, we show that the efficiency of Transformer can be improved by combining some simple and hardware-agnostic methods, including tuning hyper-parameters, better design choices and training strategies. On the WMT news translation tasks, we improve the inference efficiency of a strong Transformer system by 3.80X on CPU and 2.52X on GPU. The code is publicly available at https://github.com/Lollipop321/mini-decoder-network.


title: Binary fractions of G and K dwarf stars based on the Gaia EDR3 and LAMOST DR5: impacts of the chemical abundances

abstract: Basing on the large volume \textit{Gaia} Early Data Release 3 and LAMOST Data Release 5 data, we estimate the bias-corrected binary fractions of the field late G and early K dwarfs. A stellar locus outlier method is used in this work, which works well for binaries of various periods and inclination angles with single epoch data. With a well-selected, distance-limited sample of about 90 thousand GK dwarfs covering wide stellar chemical abundances, it enables us to explore the binary fraction variations with different stellar populations. The average binary fraction is 0.42$\pm$0.01 for the whole sample. Thin disk stars are found to have a binary fraction of 0.39$\pm$0.02, thick disk stars own a higher one of 0.49$\pm$0.02, while inner halo stars possibly own the highest binary fraction. For both the thin and thick disk stars, the binary fractions decrease toward higher [Fe/H], [$\alpha$/H], and [M/H] abundances. However, the suppressing impacts of the [Fe/H], [$\alpha$/H], and [M/H] are more significant for the thin disk stars than those for the thick disk stars. For a given [Fe/H], a positive correlation between [$\alpha$/Fe] and the binary fraction is found for the thin disk stars. However, this tendency disappears for the thick disk stars. We suspect that it is likely related to the different formation histories of the thin and thick disks. Our results provide new clues for theoretical works on binary formation.


title: Dark Age of Type II Supernova Remnants

abstract: Supernova remnants (SNRs) are important objects in terms of their connections with supernova (SN) explosion mechanism(s), progenitor stars, and cosmic-ray acceleration. Non-thermal emission from SNRs is an effective probe of the structure of their surrounding circumstellar media (CSM), which can in turn shed lights on mechanism and history of the elusive mass-loss of massive stars. In this work, we calculate the time evolution of broadband non-thermal emission from SNRs originating from Type II SNe embedded in a CSM environment linked to the mass loss history of the progenitor. Our results predict that Type II SNRs experience a prolonged period of weak radio and $\gamma$-ray emission if they run into a spatially extended bubble of low density and high temperature created by the stellar wind during main sequence. For a typical red supergiant progenitor evolved within an average interstellar medium (ISM), this "dark age" corresponds to a range of SNR ages spanning from ~1000 to 5000 yrs old. This result suggests that a majority of Type II SNRs are too faint to be detected, which may help explain why the number of known Galactic SNRs is significantly less than what we expect from the SN rate in our Galaxy.


title: New Versions of Gradient Temporal Difference Learning

abstract: Sutton, Szepesv\'{a}ri and Maei introduced the first gradient temporal-difference (GTD) learning algorithms compatible with both linear function approximation and off-policy training. The goal of this paper is (a) to propose some variants of GTDs with extensive comparative analysis and (b) to establish new theoretical analysis frameworks for the GTDs. These variants are based on convex-concave saddle-point interpretations of GTDs, which effectively unify all the GTDs into a single framework, and provide simple stability analysis based on recent results on primal-dual gradient dynamics. Finally, numerical comparative analysis is given to evaluate these approaches.


title: Sensitivity Analysis of calibration methods and factors effecting the statistical nature of radiation measurement

abstract: Scintillator detectors electronics is recalibrated against the datasheet given by the manufacturer. Optimal and mutual dependent values of (a) high voltage at PMT (Photomultiplier Tube), (b) amplifier gain, (c) average time to count the radiation particles (set by operator), and (d) number of instances/sample number are estimated. Total 5: two versions of Central Limit Theorem (CLT), (3) industry preferred Pulse Width Saturation, (4) calibration based on MPPC coupled Gamma-ray detector and (5) gross method are used. It is shown that CLT method is the most optimal method to calibrate detector and its respective electronics couple. An inverse modeling-based Computerized Tomography method is used for verification. It is shown that statistically averaging results are more accurate and precise data than mode and median, if the data is not skewed and random number of samples are used during the calibration process. It is also shown that the average time to count the radiation particle is the most important parameter affecting the optimal calibration setting for precision and accurate measurements of gamma radiation.


title: Higher-dimensional non-extremal Reissner-Nordstrom black holes, scalar perturbation and superradiance: an analytical study

abstract: The superradiant stability of higher dimensional non-extremal Reissner-Nordstrom black holes under charged massive scalar perturbation is analytically studied. We extend an analytical method developed by one of the authors in the extremal Reissner-Nordstrom black hole cases to non-extremal cases. Using the new analytical method, we revisit four-dimensional Reissner-Nordstrom black hole case and obtain that four-dimensional Reissner-Nordstrom black hole is superradiantly stable, which is consistent with results in previous works. We then analytically prove that the five-dimensional Reissner-Nordstrom black holes are also superradiantly stable under charged massive scalar perturbation. Our result implies that all higher dimensional non-extremal Reissner-Nordstrom black holes may be superradiantly stable under charged massive scalar perturbation.


title: An analytic derivation of the bifurcation conditions for localization in hyperelastic tubes and sheets

abstract: We provide an analytic derivation of the bifurcation conditions for localized bulging in an inflated hyperelastic tube of arbitrary wall thickness and axisymmetric necking in a hyperelastic sheet under equibiaxial stretching. It has previously been shown numerically that the bifurcation condition for the former problem is equivalent to the vanishing of the Jacobian determinant of the internal pressure $P$ and resultant axial force $N$, with each of them viewed as a function of the azimuthal stretch on the inner surface and the axial stretch. This equivalence is established here analytically. For the latter problem for which it has recently been shown that the bifurcation condition is not given by a Jacobian determinant equal to zero, we explain why this is the case and provide an alternative interpretation.


title: Trust-ya: design of a multiplayer game for the study of small group processes

abstract: This paper presents the design of a cooperative multi-player betting game, Trust-ya, as a model of some elements of status processes in human groups. The game is designed to elicit status-driven leader-follower behaviours as a means to observe and influence social hierarchy. It involves a Bach/Stravinsky game of deference in a group, in which people on each turn can either invest with another player or hope someone invests with them. Players who receive investment capital are able to gamble for payoffs from a central pool which then can be shared back with those who invested (but a portion of it may be kept, including all of it). The bigger gambles (people with more investors) get bigger payoffs. Thus, there is a natural tendency for players to coalesce as investors around a 'leader' who gambles, but who also shares sufficiently from their winnings to keep the investors 'hanging on'. The 'leader' will want to keep as much as possible for themselves, however. The game is played anonymously, but a set of 'status symbols' can be purchased which have no value in the game itself, but can serve as a 'cheap talk' communication device with other players. This paper introduces the game, relates it to status theory in social psychology, and shows some simple simulated and human experiments that demonstrate how the game can be used to study status processes and dynamics in human groups.


title: A series acceleration algorithm for the gamma-Pareto (type I) convolution and related functions of interest for pharmacokinetics

abstract: The gamma-Pareto type I convolution (GPC type I) distribution, which has a power function tail, was recently shown to describe the disposition kinetics of metformin in dogs precisely and better than sums of exponentials. However, this had very long run times and lost precision for its functional values at long times following intravenous injection. An accelerated algorithm and its computer code is now presented comprising two separate routines for short and long times and which, when applied to the dog data, completes in approximately 3 minutes per case. The new algorithm is a more practical research tool. Potential pharmacokinetic applications are discussed.


title: Bohmian Trajectories of the Time-oscillating Schr\"odinger Equations

abstract: Bohmian mechanics is a non-relativistic quantum theory based on a particle approach. In this paper we study the Schr\"odinger equation with rapidly oscillating potential and the associated Bohmian trajectory. We prove that the corresponding Bohmian trajectory converges locally in measure, and the limit coincides with the Bohmian trajectory for the effective Schr\"{o}dinger equation on a finite time interval. This is beneficial for the efficient simulation of the Bohmian trajectories in oscillating potential fields.


title: Exponentially-enhanced Quantum Non-Hermitian Sensing via Optimized Coherent Drive

abstract: Distinct non-Hermitian dynamics has demonstrated its advantages in improving measurement precision over traditional sensing protocols. Multi-mode non-Hermitian lattice dynamics can provide exponentially-enhanced quantum sensing where the quantum Fisher information (QFI) per photon increases exponentially with the lattice size. However, somewhat surprisingly, it was also shown that the quintessential non-Hermitian skin effect does not provide any true advantage. In this paper, we demonstrate the importance of optimizing the phase of the coherent drive, and the position of the injection and detection in multi-mode non-Hermitian quantum sensing. The QFI per photon can be exponentially-enhanced or exponentially-reduced depending on parameters of the drive and detection. Specifically, it is demonstrated that for large amplification by choosing appropriate coherent drive parameters, the non-Hermitian skin effect can provide exponentially-enhanced quantum sensing. Moreover, in the regime beyond linear response, skin-effect can also provide a dramatic advantage as compared to the local perturbation, and the proposed protocol is robust in tuning the amplification factor.


title: Keeping an Eye on Things: Deep Learned Features for Long-Term Visual Localization

abstract: In this paper, we learn visual features that we use to first build a map and then localize a robot driving autonomously across a full day of lighting change, including in the dark. We train a neural network to predict sparse keypoints with associated descriptors and scores that can be used together with a classical pose estimator for localization. Our training pipeline includes a differentiable pose estimator such that training can be supervised with ground truth poses from data collected earlier, in our case from 2016 and 2017 gathered with multi-experience Visual Teach and Repeat (VT&R). We insert the learned features into the existing VT&R pipeline to perform closed-loop path following in unstructured outdoor environments. We show successful path following across all lighting conditions despite the robot's map being constructed using daylight conditions. Moreover, we explore generalizability of the features by driving the robot across all lighting conditions in new areas not present in the feature training dataset. In all, we validated our approach with 35.5 km of autonomous path following experiments in challenging conditions.


title: Verifying BQP Computations on Noisy Devices with Minimal Overhead

abstract: With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While protocols for blind and verifiable quantum computation exist, they suffer from high overheads and from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations. We introduce the first blind and verifiable protocol for delegating BQP computations to a powerful server with repetition as the only overhead. It is composable and statistically secure with exponentially-low bounds and can tolerate a constant amount of global noise.


title: Discovery of eight 'Main-sequence Radio Pulse emitters' using the GMRT: clues to the onset of coherent radio emission in hot magnetic stars

abstract: 'Main-sequence radio pulse-emitters' (MRPs) are magnetic early-type stars from which periodic radio pulses, produced via electron cyclotron maser emission (ECME), are observed. Despite the fact that these stars can naturally offer suitable conditions for triggering ECME, only seven such stars have been reported so far within a span of more than two decades. In this paper, we report the discovery of eight more MRPs, thus more than doubling the sample size of such objects. These discoveries are the result of our sub-GHz observation program using the Giant Metrewave Radio Telescope over the years 2015-2021. Adding these stars to the previously known MRPs, we infer that at least 32 percent of the magnetic hot stars exhibit this phenomenon, thus suggesting that observation of ECME is not a rare phenomenon. The significantly larger sample of MRPs allows us for the first time to perform a statistical analysis comparing their physical properties. We present an empirical relation that can be used to predict whether a magnetic hot star is likely to produce ECME. Our preliminary analysis suggests that the physical parameters that play the primary role in the efficiency of the phenomenon are the maximum surface magnetic field strength and the surface temperature. In addition, we present strong evidence of the influence of the plasma density distribution on ECME pulse profiles. Results of this kind further motivate the search for MRPs as a robust characterization of the relation between observed ECME properties and stellar physical parameters can only be achieved with a large sample.


title: Monodromy of Schwarzian equations with regular singularities

abstract: Let $S$ be a punctured surface of finite type and negative Euler characteristic. We determine all possible representations $\rho:\pi_1(S) \to \text{PSL}_2(\mathbb{C})$ that arise as the monodromy of the Schwarzian equation on $S$ with regular singularities at the punctures. Equivalently, we determine the holonomy representations of complex projective structures on $S$, whose Schwarzian derivatives (with respect to some uniformizing structure) have poles of order at most two at the punctures. Following earlier work that dealt with the case when there are no apparent singularities, our proof reduces to the case of realizing a degenerate representation with apparent singularities. This mainly involves explicit constructions of complex affine structures on punctured surfaces, with prescribed holonomy. As a corollary, we determine the representations that arise as the holonomy of spherical metrics on $S$ with cone-points at the punctures.


title: Contrasting the bulk viscous model with the standard $\Lambda$CDM using Bayesian statistics

abstract: Causal dissipative model is a plausible choice to explain the late accelerated epoch of universe. At the same time $\Lambda$CDM is considered to be standard model to explain the cosmological data corresponding to the late evolution of the universe. We consider a bulk viscus model in which the dissipation is driven by the bulk viscosity $\zeta=\alpha \rho^{1/2}$, described using the full causal Israel-Stewart theory. We computed the model parameters using the latest observational data (Pantheon). We contrasted this model with $\Lambda$CDM model for the late accelerated phase using Bayesian inference method. The Bayes factor has been obtained by calculating the likelihood for Pantheon data. Suitable prior values has been assumed for model parameters for calculating the likelihood. It shows that the evidence for $\Lambda$CDM against this viscous model is very strong according to Jeffrey's scale.


title: Coherence, nonclassicality and metrological resolution

abstract: We demonstrate the simple and deep equivalence between quantum coherence and nonclassicality and the definite way in which they determine metrological resolution. Moreover, we define a coherence observable consistent with a classical intuition relating coherence with phase statistics.


title: ACP++: Action Co-occurrence Priors for Human-Object Interaction Detection

abstract: A common problem in the task of human-object interaction (HOI) detection is that numerous HOI classes have only a small number of labeled examples, resulting in training sets with a long-tailed distribution. The lack of positive labels can lead to low classification accuracy for these classes. Towards addressing this issue, we observe that there exist natural correlations and anti-correlations among human-object interactions. In this paper, we model the correlations as action co-occurrence matrices and present techniques to learn these priors and leverage them for more effective training, especially on rare classes. The efficacy of our approach is demonstrated experimentally, where the performance of our approach consistently improves over the state-of-the-art methods on both of the two leading HOI detection benchmark datasets, HICO-Det and V-COCO.