title: BLEWhisperer: Exploiting BLE Advertisements for Data Exfiltration

abstract: Bluetooth technology has enabled short-range wireless communication for billions of devices. Bluetooth Low-Energy (BLE) variant aims at improving power consumption on battery-constrained devices. BLE-enabled devices broadcast information (e.g., as beacons) to nearby devices via advertisements. Unfortunately, such functionality can become a double-edged sword at the hands of attackers. In this paper, we primarily show how an attacker can exploit BLE advertisements to exfiltrate information from BLE-enable devices. In particular, our attack establishes a communication medium between two devices without requiring any prior authentication or pairing. We develop a proof-of-concept attack framework on the Android ecosystem and assess its performance via a thorough set of experiments. Our results indicate that such an exfiltration attack is indeed possible though with a limited data rate. Nevertheless, we also demonstrate potential use cases and enhancements to our attack that can further its severeness. Finally, we discuss possible countermeasures to prevent such an attack.


title: Continual Hippocampus Segmentation with Transformers

abstract: In clinical settings, where acquisition conditions and patient populations change over time, continual learning is key for ensuring the safe use of deep neural networks. Yet most existing work focuses on convolutional architectures and image classification. Instead, radiologists prefer to work with segmentation models that outline specific regions-of-interest, for which Transformer-based architectures are gaining traction. The self-attention mechanism of Transformers could potentially mitigate catastrophic forgetting, opening the way for more robust medical image segmentation. In this work, we explore how recently-proposed Transformer mechanisms for semantic segmentation behave in sequential learning scenarios, and analyse how best to adapt continual learning strategies for this setting. Our evaluation on hippocampus segmentation shows that Transformer mechanisms mitigate catastrophic forgetting for medical image segmentation compared to purely convolutional architectures, and demonstrates that regularising ViT modules should be done with caution.


title: Interdependent Public Projects

abstract: In the interdependent values (IDV) model introduced by Milgrom and Weber [1982], agents have private signals that capture their information about different social alternatives, and the valuation of every agent is a function of all agent signals. While interdependence has been mainly studied for auctions, it is extremely relevant for a large variety of social choice settings, including the canonical setting of public projects. The IDV model is very challenging relative to standard independent private values, and welfare guarantees have been achieved through two alternative conditions known as {\em single-crossing} and {\em submodularity over signals (SOS)}. In either case, the existing theory falls short of solving the public projects setting. Our contribution is twofold: (i) We give a workable characterization of truthfulness for IDV public projects for the largest class of valuations for which such a characterization exists, and term this class \emph{decomposable valuations}; (ii) We provide possibility and impossibility results for welfare approximation in public projects with SOS valuations. Our main impossibility result is that, in contrast to auctions, no universally truthful mechanism performs better for public projects with SOS valuations than choosing a project at random. Our main positive result applies to {\em excludable} public projects with SOS, for which we establish a constant factor approximation similar to auctions. Our results suggest that exclusion may be a key tool for achieving welfare guarantees in the IDV model.


title: Counting divisorial contractions with centre a $cA_n$-singularity

abstract: First, we simplify the existing classification due to Kawakita and Yamamoto of 3-dimensional divisorial contractions with centre a $cA_n$-singularity, also called compound $A_n$ singularity. Next, we describe the global algebraic divisorial contractions corresponding to a given local analytic equivalence class of divisorial contractions with centre a point. Finally, we consider divisorial contractions of discrepancy at least 2 to a fixed variety with centre a $cA_n$-singularity. We show that if there exists one such divisorial contraction, then there exist uncountably many such divisorial contractions.


title: Evaluating Mixed-initiative Conversational Search Systems via User Simulation

abstract: Clarifying the underlying user information need by asking clarifying questions is an important feature of modern conversational search system. However, evaluation of such systems through answering prompted clarifying questions requires significant human effort, which can be time-consuming and expensive. In this paper, we propose a conversational User Simulator, called USi, for automatic evaluation of such conversational search systems. Given a description of an information need, USi is capable of automatically answering clarifying questions about the topic throughout the search session. Through a set of experiments, including automated natural language generation metrics and crowdsourcing studies, we show that responses generated by USi are both inline with the underlying information need and comparable to human-generated answers. Moreover, we make the first steps towards multi-turn interactions, where conversational search systems asks multiple questions to the (simulated) user with a goal of clarifying the user need. To this end, we expand on currently available datasets for studying clarifying questions, i.e., Qulac and ClariQ, by performing a crowdsourcing-based multi-turn data acquisition. We show that our generative, GPT2-based model, is capable of providing accurate and natural answers to unseen clarifying questions in the single-turn setting and discuss capabilities of our model in the multi-turn setting. We provide the code, data, and the pre-trained model to be used for further research on the topic.


title: Weak ergodicity breaking in Josephson-junction arrays

abstract: We study the quantum dynamics of Josephson junction arrays. We find isolated groups of low-entanglement eigenstates, that persist even when the Josephson interaction is strong enough to destroy the organization of the spectrum in multiplets, and a perturbative description is no longer possible. These eigenstates provide a weak ergodicity breaking, and are reminiscent of the quantum scars. Due to the presence of these eigenstates, initializing with a charge-density-wave state, the system does not thermalize and the charge-density-wave order persists for long times. Considering global ergodicity probes, we find that the system tends towards more ergodicity for increasing system size: The parameter range where the bulk of the eigenstates look nonergodic shrinks for increasing system size. We study two geometries, a one-dimensional chain and a two-leg ladder. In the latter case, adding a magnetic flux makes the system more ergodic.


title: Gravitational Solitons and Complete Ricci Flat Riemannian Manifolds of Infinite Topological Type

abstract: We present several new space-periodic solutions of the static vacuum Einstein equations in higher dimensions, both with and without black holes, having Kasner asymptotics. These latter solutions are referred to as gravitational solitons. Further partially compactified solutions are also obtained by taking appropriate quotients, and the topologies are computed explicitly in terms of connected sums of products of spheres. In addition, it is shown that there is a correspondence, via Wick rotation, between the spacelike slices of the solitons and black hole solutions in one dimension less. As a corollary, the solitons give rise to complete Ricci flat Riemannian manifolds of infinite topological type and generic holonomy, in dimensions 4 and higher.


title: Energetically Consistent Model Reduction for Metriplectic Systems

abstract: The metriplectic formalism is useful for describing complete dynamical systems which conserve energy and produce entropy. This creates challenges for model reduction, as the elimination of high-frequency information will generally not preserve the metriplectic structure which governs long-term stability of the system. Based on proper orthogonal decomposition, a provably convergent metriplectic reduced-order model is formulated which is guaranteed to maintain the algebraic structure necessary for energy conservation and entropy formation. Numerical results on benchmark problems show that the proposed method is remarkably stable, leading to improved accuracy over long time scales at a moderate increase in cost over naive methods.


title: Synthesis and Properties of La$_{1-x}$Sr$_x$NiO$_3$ and La$_{1-x}$Sr$_x$NiO$_2$

abstract: Superconductivity has been realized in films of La$_{1-x}$Sr$_x$NiO$_2$. Here we report synthesis and characterization of polycrystalline samples of La$_{1-x}$Sr$_x$NiO$_3$ and La$_{1-x}$Sr$_x$NiO$_2$ ($0\le x\le 0.2$). Magnetization and resistivity measurements reveal that La$_{1-x}$Sr$_x$NiO$_3$ are paramagnetic metals and La$_{1-x}$Sr$_x$NiO$_2$ exhibit insulating behavior. Superconductivity is not detected in bulk samples of La$_{1-x}$Sr$_x$NiO$_2$. The absence of superconductivity in bulk La$_{1-x}$Sr$_x$NiO$_2$ may be due to the generation of hydroxide during reduction or a small amount of nickel impurities. The effect of interface in films of La$_{1-x}$Sr$_x$NiO$_2$ may also play a role for superconductivity.


title: The weak-type Carleson theorem via wave packet estimates

abstract: We prove that the weak-$L^{p}$ norms, and in fact the sparse $(p,1)$-norms, of the Carleson maximal partial Fourier sum operator are $\lesssim (p-1)^{-1}$ as $p\to 1^+$. This is an improvement on the Carleson-Hunt theorem, where the same upper bound on the growth order is obtained for the restricted weak-$L^p$ type norm, and which was the strongest quantitative bound prior to our result. Furthermore, our sparse $(p,1)$-norms bound imply new and stronger results at the endpoint $p=1$. In particular, we obtain that the Fourier series of functions from the weighted Arias de Reyna space $ QA_{\infty}(w) $, which contains the weighted Antonov space $L\log L\log\log\log L(\mathbb T; w)$, converge almost everywhere whenever $w\in A_1$. This is an extension of the results of Antonov and Arias De Reyna, where $w$ must be Lebesgue measure. The backbone of our treatment is a new, sharply quantified near-$L^1$ Carleson embedding theorem for the modulation-invariant wave packet transform. The proof of the Carleson embedding relies on a newly developed smooth multi-frequency decomposition which, near the endpoint $p=1$, outperforms the abstract Hilbert space approach of past works, including the seminal one by Nazarov, Oberlin and Thiele. As a further example of application, we obtain a quantified version of the family of sparse bounds for the bilinear Hilbert transforms due to Culiuc, Ou and the first author.


title: Symmetry-protected topological exceptional chains in non-Hermitian crystals

abstract: In non-Hermitian systems, the defective band degeneracies, so-called exceptional points (EPs), can form robust exceptional lines (ELs) in 3D momentum space in the absence of any symmetries. Here, we show that a natural orientation can be assigned to every EL according to the eigenenergy braiding around it, and prove the source-free principle of ELs as a corollary of the generalized Fermion doubling theorem for EPs on an arbitrary closed oriented surface, which indicates that if several ELs flow into a junction, the same number of outflow ELs from the junction must exist. Based on this principle, we discover three different mechanisms that can stabilize the junction of ELs and therefore guarantee the formation of various types of exceptional chains (ECs) under the protection of mirror, mirror-adjoint, or ${C}_2\mathcal{T}$ symmetries. Furthermore, we analyze the thresholdless perturbations to a Hermitian nodal line and map out all possible EC configurations that can be evolved. By strategically designing the structure and materials, we further exhibit that these exotic ECs can be readily observed in non-Hermitian photonic crystals. Our results directly manifest the combined effect of spatial symmetry and topology on the non-Hermitian singularities and pave the way for manipulating the morphology of ELs in non-Hermitian crystalline systems.


title: Automorphic Forms on Unitary Groups

abstract: This manuscript provides a more detailed treatment of the material from my lecture series at the 2022 Arizona Winter School on Automorphic Forms Beyond $GL_2$. The main focus of this manuscript is automorphic forms on unitary groups, with a view toward algebraicity results. I also discuss related aspects of automorphic $L$-functions in the setting of unitary groups.


title: Effective numerical computation of $p(x)-$Laplace equations in 2D

abstract: In this article we implement a method for the computation of a nonlinear elliptic problem with nonstandard growth driven by the $p(x)-$Laplacian operator. Our implementation is based in the {\em decomposition--coordination} method that allows us, via an iterative process, to solve in each step a linear differential equation and a nonlinear algebraic equation. Our code is implemented in {\sc MatLab} in 2 dimensions and turns out to be extremely efficient from the computational point of view.


title: 3D Jackiw-Pi Model: (Anti-)Chiral Superfield Approach to BRST Formalism

abstract: We discuss and derive the continuous Becchi-Rouet-Stora-Tyutin (BRST)and anti-BRST symmetry transformations for the Jackiw-Pi (JP) model of three (2 + 1)-dimensional (3D) massive non-Abelian 1-form gauge theory by exploiting the standard technique of (anti-)chiral superfield approach (ACSA) to BRST formalism where a few appropriate and specific sets of (anti-)BRST invariant quantities (i. e. physical quantities at quantum level) play a very important role. We provide the explicit derivation of the nilpotency and absolute anticommutativity properties of (anti-)BRST conserved charges and the existence of the Curci-Ferrari (CF) condition within the realm of ACSA to BRST formalism where we take only a single Grassmannian variable into account. We also provide clear proof of (anti-) BRST invariances of the coupled (but equivalent) Lagrangian densities within the framework of ACSA to BRST approach where the emergence of the CF-condition is observed.


title: Homogeneous algebraic varieties and transitivity degree

abstract: Let $X$ be an algebraic variety such that the group $\text{Aut}(X)$ acts on $X$ transitively. We define the transitivity degree of $X$ as a maximal number $m$ such that the action of $\text{Aut}(X)$ on $X$ is $m$-transitive. If the action of $\text{Aut}(X)$ is $m$-transitive for all $m$, the transitivity degree is infinite. We compute the transitivity degree for all quasi-affine toric varieties and for many homogeneous spaces of algebraic groups. Also we discuss a conjecture and open questions related to this invariant.


title: Fast solution of Sylvester-structured systems for spatial source separation of the Cosmic Microwave Background

abstract: Implementation of many statistical methods for large, multivariate data sets requires one to solve a linear system that, depending on the method, is of the dimension of the number of observations or each individual data vector. This is often the limiting factor in scaling the method with data size and complexity. In this paper we illustrate the use of Krylov subspace methods to address this issue in a statistical solution to a source separation problem in cosmology where the data size is prohibitively large for direct solution of the required system. Two distinct approaches, adapted from techniques in the literature, are described: one that uses the method of conjugate gradients directly to the Kronecker-structured problem and another that reformulates the system as a Sylvester matrix equation. We show that both approaches produce an accurate solution within an acceptable computation time and with practical memory requirements for the data size that is currently available.


title: MUGEN: A Playground for Video-Audio-Text Multimodal Understanding and GENeration

abstract: Multimodal video-audio-text understanding and generation can benefit from datasets that are narrow but rich. The narrowness allows bite-sized challenges that the research community can make progress on. The richness ensures we are making progress along the core challenges. To this end, we present a large-scale video-audio-text dataset MUGEN, collected using the open-sourced platform game CoinRun [11]. We made substantial modifications to make the game richer by introducing audio and enabling new interactions. We trained RL agents with different objectives to navigate the game and interact with 13 objects and characters. This allows us to automatically extract a large collection of diverse videos and associated audio. We sample 375K video clips (3.2s each) and collect text descriptions from human annotators. Each video has additional annotations that are extracted automatically from the game engine, such as accurate semantic maps for each frame and templated textual descriptions. Altogether, MUGEN can help progress research in many tasks in multimodal understanding and generation. We benchmark representative approaches on tasks involving video-audio-text retrieval and generation. Our dataset and code are released at: https://mugen-org.github.io/.


title: Large deviations for quadratic functionals of stable Gauss-Markov chains and entropy production

abstract: In this paper we establish a large deviation principle for the entropy production rate of possible non-stationary, centered stable Gauss-Markov chains, verifying the Gallavotti-Cohen symmetry. We reach this goal by developing a large deviation theory for quasi-Toeplitz quadratic functionals of multivariate centered stable Gauss-Markov chains, which differ from a perfect Toeplitz form by the addition of quadratic boundary terms.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Giant Shear Displacement by Light-Induced Raman Force in Bilayer Graphene

abstract: Coherent excitation of shear phonons in van der Waals layered materials is a non-destructive mechanism to fine-tune the electronic state of the system. We develop a diagrammatic theory for the displacive Raman force and apply it to the shear phonon's dynamics. We obtain a rectified Raman force density in bilayer graphene of the order of ${\cal F}\sim 10{\rm nN/nm^2}$ leading to a giant shear displacement $Q_0 \sim 50$pm for an intense infrared laser. We discuss both circular and linear displacive Raman forces. We show that the laser frequency and polarization can effectively tune $Q_0$ in different electronic doping, temperature, and scattering rates. We reveal that the finite $Q_0$ induces a Dirac crossing pair in the low-energy dispersion that photoemission spectroscopy can probe. Our finding provides a systematic pathway to simulate and analyze the coherent manipulation of staking order in the heterostructures of layered materials by laser irradiation.


title: Positive solutions of quasilinear elliptic equations with Fuchsian potentials in Wolff class

abstract: Using Harnack's inequality and a scaling argument we study Liouville-type theorems and the asymptotic behaviour of positive solutions near an isolated singular point $\zeta \in \partial\Omega\cup\{\infty\}$ for the quasilinear elliptic equation $$-\text{div}(|\nabla u|_A^{p-2}A\nabla u)+V|u|^{p-2}u =0\quad\text{ in } \Omega,$$ where $\Omega$ is a domain in $\mathbb{R}^d$, $d\geq 2$, $1<p<d$, and $A=(a_{ij})\in L_{\rm loc}^{\infty}(\Omega; \mathbb{R}^{d\times d})$ is a symmetric and locally uniformly positive definite matrix. It is assumed that the potential $V$ belongs to a certain Wolff class and has a generalized Fuchsian-type singularity at an isolated point $\zeta\in \partial \Omega \cup \{\infty\}$.


title: Understanding Modified Two-Slit Experiments using Path Markers

abstract: Some modified two-slit interference experiments were carried out showing an apparent paradox in wave-particle duality. In a typical such experiment, the screen, where the interference pattern is supposed to be formed, is replaced by a converging lens. The converging lens forms the images of the two slits at two spatially separated detectors. It was claimed that each of these two detectors give information about which slit a photon came from, even though they come from the region of interference. These experiments generated a lot of debate. The various refutations pointed out that the controversial claims involved some questionable assumptions. However the refutations were largely philosophical in nature, and one may like to substantiate those with arguments which are testable, at least in principle. Here such an experiment is theoretically analyzed by introducing path markers which are two orthogonal polarization states of the photon. Analyzing the polarization at the two detectors shows that the photons which give rise to interference, and reach a particular detector, always come from both the slits. This provides clarity in understanding such experiments by making use of testable quantum correlations.


title: Geo-Enabled Business Process Modeling

abstract: Recent advancements in location-aware analytics have created novel opportunities in different domains. In the area of process mining, enriching process models with geolocation helps to gain a better understanding of how the process activities are executed in practice. In this paper, we introduce our idea of geo-enabled process modeling and report on our industrial experience. To this end, we present a real-world case study to describe the importance of considering the location in process mining. Then we discuss the shortcomings of currently available process mining tools and propose our novel approach for modeling geo-enabled processes focusing on 1) increasing process interpretability through geo-visualization, 2) incorporating location-related metadata into process analysis, and 3) using location-based measures for the assessment of process performance. Finally, we conclude the paper by future research directions.


title: Tabletop Experiments for Quantum Gravity Are Also Tests of the Interpretation of Quantum Mechanics

abstract: Recently there has been a great deal of interest in tabletop experiments intended to exhibit the quantum nature of gravity by demonstrating that it can induce entanglement. We argue that these experiments also provide new information about the interpretation of quantum mechanics: under appropriate assumptions, $\psi$-complete interpretations will generally predict that these experiments will have a positive result, $\psi$-nonphysical interpretations predict that these experiments will not have a positive result, and for $\psi$-supplemented models there may be arguments for either outcome. We suggest that a positive outcome to these experimenst would rule out a class of quantum gravity models that we refer to as $\psi$-incomplete quantum gravity (PIQG) - i.e. models of the interaction between quantum mechanics and gravity in which gravity is coupled to non-quantum beables rather than quantum beables. We review some existing PIQG models and consider what more needs to be done to make these sorts of approaches more appealing, and finally we discuss a cosmological phenomenon which could be regarded as providing evidence for PIQG models.


title: Unsteadiness of Shock-Boundary Layer Interactions in a Mach 2.0 Supersonic Turbine Cascade

abstract: The physics of shock-boundary layer interactions (SBLIs) in a supersonic turbine cascade at Mach 2.0 and Reynolds number 395,000, based on the axial chord, is investigated through a wall-resolved large eddy simulation. Special attention is given to the characterization of the low-frequency dynamics of the separation bubbles using flow visualization, spectral analysis, space-time cross correlations, and flow modal decomposition. The mean flowfield shows different shock structures formed on both sides of the airfoil. On the suction side, an oblique shock impinges on the turbulent boundary layer, whereas a Mach reflection interacts with the pressure side boundary layer. The interactions taking place in the present turbine cascade show similarities and discrepancies with respect to more canonical cases. For example, the characteristic frequencies of the shock/bubble motions are comparable to those described in the literature of canonical cases. However, the suction side bubble leads to compression waves that do not coalesce into a separation shock, and a thin bubble forms on the pressure side despite the strong normal shock from the Mach reflection. Instantaneous flow visualizations illustrate elongated streamwise structures on the incoming boundary layers and their interactions with the shocks and separation bubbles. The space-time cross-correlations reveal that the near-wall streaks drive the motion of the suction side separation bubble, which in turn promotes oscillations of the reattachment shock and shear layer flapping. Organized motions in the SBLIs and their corresponding characteristic frequencies and spatial support are identified using proper orthogonal decomposition.


title: Topological Electronic Structure Evolution with Symmetry Breaking Spin Reorientation in (Fe$_{1-x}$Co$_{x}$)Sn

abstract: Topological materials hosting kagome lattices have drawn considerable attention due to the interplay between topology, magnetism, and electronic correlations. The (Fe$_{1-x}$Co$_x$)Sn system not only hosts a kagome lattice but has a tunable symmetry breaking magnetic moment with temperature and doping. In this study, angle resolved photoemission spectroscopy and first principles calculations are used to investigate the interplay between the topological electronic structure and varying magnetic moment from the planar to axial antiferromagnetic phases. A theoretically predicted gap at the Dirac point is revealed in the low temperature axial phase but no gap opening is observed across a temperature dependent magnetic phase transition. However, topological surface bands are observed to shift in energy as the surface magnetic moment is reduced or becomes disordered over time during experimental measurements. The shifting surface bands may preclude the determination of a temperature dependent bulk gap but highlights the intricate connections between magnetism and topology with a surface/bulk dichotomy that can affect material properties and their interrogation.


title: Explaining the $W$ boson mass anomaly and dark matter with a $U(1)$ dark sector

abstract: The $W$ boson mass recently reported by the CDF collaboration shows a deviation from the standard model prediction with an excess at $7\sigma$ level. We investigate two simple extensions of the standard model with an extra $U(1)$ dark sector. One is the $U(1)_x$ extension, where the $U(1)_x$ gauge field mixes with the standard model through gauge kinetic terms. The other is a general $U(1)_{\mathbf{A} Y+\mathbf{B} q}$ extension of the standard model. Fitting various experimental constraints we find the $U(1)_x$ extension with only kinetic mixing can enhance the $W$ boson mass for at most 10~MeV. While the $U(1)_{\mathbf{A} Y+\mathbf{B} q}$ extension can easily generate 77~MeV enhancement of the $W$ boson mass and also offer a viable dark matter candidate with mass ranging from several hundred GeV to TeV, which may be detected by future dark matter direct detection experiments with improved sensitivities.


title: Melting of heavy vector mesons and quasinormal modes in a finite density plasma from holography

abstract: In this work, we investigate the melting of charmonium states within a holographic QCD model in the context of Einstein-Maxwell-Dilaton (EMD) theory. In the dual field theory, the model describes the heavy mesons inside a finite temperature and density medium. First, we calculate the spectrum at zero temperature. Then, at finite temperature, we obtain the spectral functions, where the heavy vector meson are represented by peaks. We show that the charmonium melts down at temperatures above the confinement/deconfinement temperature of the quark-gluon plasma. We also observe that the chemical potential speeds up the melting process. This finding is in agreement with results previously reported in the literature. In the gravitational side of the theory, we solve the perturbation equations in the hydrodynamics limit. From this result, we read off the diffusion coefficient by comparing the dispersion relation against the corresponding result obtained in the dual field theory. We also investigate the behavior of the diffusion coefficient as a function of the temperature. The perturbation equations are solved numerically, in order to get the quasinormal frequencies. We report the emergence of a new mode whose real part increases rapidly at a certain value of the chemical potential while its imaginary part decreases with the increasing of the chemical potential. Finally, by comparing against results obtained in the conformal plasma, we observe that the real part of the frequency increases, while the imaginary part decreases when we consider the non-conformal plasma.


title: Self-Aware Personalized Federated Learning

abstract: In the context of personalized federated learning (FL), the critical challenge is to balance local model improvement and global model tuning when the personal and global objectives may not be exactly aligned. Inspired by Bayesian hierarchical models, we develop a self-aware personalized FL method where each client can automatically balance the training of its local personal model and the global model that implicitly contributes to other clients' training. Such a balance is derived from the inter-client and intra-client uncertainty quantification. A larger inter-client variation implies more personalization is needed. Correspondingly, our method uses uncertainty-driven local training steps and aggregation rule instead of conventional local fine-tuning and sample size-based aggregation. With experimental studies on synthetic data, Amazon Alexa audio data, and public datasets such as MNIST, FEMNIST, CIFAR10, and Sent140, we show that our proposed method can achieve significantly improved personalization performance compared with the existing counterparts.


title: A Novel ASIC Design Flow using Weight-Tunable Binary Neurons as Standard Cells

abstract: In this paper, we describe a design of a mixed signal circuit for a binary neuron (a.k.a perceptron, threshold logic gate) and a methodology for automatically embedding such cells in ASICs. The binary neuron, referred to as an FTL (flash threshold logic) uses floating gate or flash transistors whose threshold voltages serve as a proxy for the weights of the neuron. Algorithms for mapping the weights to the flash transistor threshold voltages are presented. The threshold voltages are determined to maximize both the robustness of the cell and its speed. The performance, power, and area of a single FTL cell are shown to be significantly smaller (79.4%), consume less power (61.6%), and operate faster (40.3%) compared to conventional CMOS logic equivalents. Also included are the architecture and the algorithms to program the flash devices of an FTL. The FTL cells are implemented as standard cells, and are designed to allow commercial synthesis and P&R tools to automatically use them in synthesis of ASICs. Substantial reductions in area and power without sacrificing performance are demonstrated on several ASIC benchmarks by the automatic embedding of FTL cells. The paper also demonstrates how FTL cells can be used for fixing timing errors after fabrication.


title: Eigen mode selection in human subject game experiment

abstract: Eigen mode selection ought to be a practical issue in some real game systems, as it is a practical issue in the dynamics behaviour of a building, bridge, or molecular, because of the mathematical similarity in theory. However, its reality and accuracy have not been known in real games. We design a 5-strategy game which, in the replicator dynamics theory, is predicted to exist two eigen modes. Further, in behaviour game theory, the game is predicted that the mode selection should depends on the game parameter. We conduct human subject game experiments by controlling the parameter. The data confirm that, the predictions on the mode existence as well as the mode selection are significantly supported. This finding suggests that, like the equilibrium selection concept in classical game theory, eigen mode selection is an issue in game dynamics theory.


title: Dynamic Programming of Stochastic 2-D Navier-Stokes Equations Forced by Levy Noise

abstract: In this article, we study optimal feedback control synthesis of stochastic 2D Navier-Stokes equations perturbed Levy type noise with distributed stochastic control process acting on the state equation. We use the dynamic programming approach to solve this control problem which involves the study of second order infinite dimensional Hamilton- Jacobi-Bellman (HJB) equation consisting of an integro-differential operator with Levy measure associated with the stochastic control problem. Using the regularizing properties of the transition semigroup corresponding to the stochastic 2D Navier-Stokes equation, we obtain a smooth solution in weighted function space for the HJB equation and solve the resultant feedback control problem.


title: Intelligent Explorations of the String Theory Landscape

abstract: The goal of identifying the Standard Model of particle physics and its extensions within string theory has been one of the principal driving forces in string phenomenology. Recently, the incorporation of artificial intelligence in string theory and certain theoretical advancements have brought to light unexpected solutions to mathematical hurdles that have so far hindered progress in this direction. In this review we focus on model building efforts in the context of the $E_8\times E_8$ heterotic string compactified on smooth Calabi-Yau threefolds and discuss several areas in which machine learning is expected to make a difference.


title: Dynamics of co-orbital exoplanets in a first order resonance chain with tidal dissipation

abstract: Co-orbital planets (in a $1:1$ mean motion resonance) can be formed within a Laplace resonance chain. Here, we develop a secular model to study the dynamics of the resonance chain $p:p:p+1$, where the co-orbital pair is in a first-order mean motion resonance with the outermost third planet. Our model takes into account tidal dissipation through the use of a Hamiltonian version of the constant time-lag model, which extends the Hamiltonian formalism of the point-mass case. We show the existence of several families of equilibria, and how these equilibria extend to the complete system. In one family, which we call the main branch, a secular resonance between the libration frequency of the co-orbitals and the precession frequency of the pericentres has unexpected dynamical consequences when tidal dissipation is added. We report the existence of two distinct mechanisms that make co-orbital planets much more stable within the $p:p:p+1$ resonance chain rather than outside it. The first one is due to negative real parts of the eigenvalues of the linearised system with tides, in the region of the secular resonance mentioned above. The second one comes from non-linear contributions of the vector field and it is due to eccentricity damping. These two stabilising mechanisms increase the chances of a still-to-come detection of exoplanets in the co-orbital configuration.


title: Descent theory of simple sheaves on $C_1$-fields

abstract: Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on $X$. As a consequence, we show that there is a $1-1$ correspondence between the set of geometrically stable sheaves on $X$ with fixed Hibert polynomial $P$ and the set of $K$-rational points of the corresponding moduli space.


title: The combinatorics of Farey words and their traces

abstract: We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these polynomials from an abstract combinatorial viewpoint, including a recursive definition extending that which is known in the literature for the special case of manifolds, even beyond what the geometry predicts. We also present some intriguing examples and conjectures which we would like to bring to the attention of researchers interested in algebraic combinatorics and hypergeometric functions. The results in this paper additionally provide a practical approach to various classification problems for rank-two subgroups of PSL(2,C) since they, together with other recent work of the authors, make it possible to provide certificates that certain groups are discrete and free, and effective ways to identify relators.


title: Multipolar invariants and the eccentricity enhancement function parametrization of gravitational radiation

abstract: Gravitational radiation can be decomposed as an infinite sum of radiative multipole moments, which parametrize the waveform at infinity. The multipolar-post-Minkowskian formalism provides a connection between these multipoles and the source multipole moments, known as explicit integrals over the matter source. The gravitational wave energy, angular momentum and linear momentum fluxes are then expressed as multipolar expansions containing certain combinations of the source moments. We compute several gauge-invariant quantities as "building blocks" entering the multipolar expansion of both radiated energy and angular momentum at the 2.5 post-Newtonian (PN) level of accuracy in the case of hyperboliclike motion, by completing previous studies through the calculation of tail effects up to the fractional 1PN order. We express such multipolar invariants in terms of certain eccentricity enhancement factor functions, which are the counterpart of the well known enhancement functions already introduced in the literature for ellipticlike motion. Finally, we use the complete 2.5PN-accurate averaged energy and angular momentum fluxes to study the associated adiabatic evolution of orbital elements under gravitational radiation reaction.


title: A Psycho-linguistic Analysis of BitChute

abstract: In order to better support researchers, journalist, and practitioners in their use of the MeLa-BitChute dataset for exploration and investigative reporting, we provide new psycho-linguistic metadata for the videos, comments, and channels in the dataset using LIWC22. This paper describes that metadata and methods to filter the data using the metadata. In addition, we provide basic analysis and comparison of the language on BitChute to other social media platforms. The MeLa-BitChute dataset and LIWC metadata described in this paper can be found at: https://dataverse.harvard.edu/dataset.xhtml?persistentId=doi:10.7910/DVN/KRD1VS.


title: On a conjecture of Harris

abstract: For $d \ge 4$, the Noether-Lefschetz locus $\mathrm{NL}_d$ parametrizes smooth, degree $d$ surfaces in $\mathbb{P}^3$ with Picard number at least $2$. A conjecture of Harris states that there are only finitely many irreducible components of the Noether-Lefschetz locus of non-maximal codimension. Voisin showed that the conjecture is false for sufficiently large $d$, but is true for $d \le 5$. She also showed that for $d=6, 7$, there are finitely many \emph{reduced}, irreducible components of $\mathrm{NL}_d$ of non-maximal codimension. In this article, we prove that for any $d \ge 6$, there are infinitely many \emph{non-reduced} irreducible components of $\mathrm{NL}_d$ of non-maximal codimension.


title: Examples of non-flat bundles of rank one

abstract: In this article we give several examples of line bundles on certain non-compact surfaces that cannot be equipped with a flat connection.


title: Initial state reconstruction on graphs

abstract: The presence of noise is an intrinsic problem in acquisition processes for digital images. One way to enhance images is to combine the forward and backward diffusion equations. However, the latter problem is well known to be exponentially unstable with respect to any small perturbations on the final data. In this scenario, the final data can be regarded as a blurred image obtained from the forward process, and that image can be pixelated as a network. Therefore, we study in this work a regularization framework for the backward diffusion equation on graphs. Our aim is to construct a spectral graph-based solution based upon a cut-off projection. Stability and convergence results are provided together with some numerical experiments.


title: Identifying Topological Superconductivity in 2D Transition-Metal Dichalcogenides

abstract: We study the superconducting pairing instabilities and gap functions for prototypical two-dimensional (2D) transition-metal dichalcogenides (TMDCs) WS$_2$, MoTe$_2$, and MoS$_2$ in the 2H phase under both hole and electron doping at 10 K. Our first-principles quantum many-body Green's function approach allows us to treat the full $d$ and $p$ manifold of orbitals with strong spin-orbit coupling, yielding pairing predictions with material specific detail. The resulting gap functions exhibit a variety of mixed-parity superconducting states, including $s$, $p$, $d$, $f$, $d\pm id$, and $p\pm ip$ pairing modes. In particular, we predict 3% and 4% hole-doped WS$_2$ to be a chiral $p\pm ip$ topological superconductor. For 1% hole-doped MoS$_2$, we find a competition between three doubly degenerate chiral and non-chiral instabilities. Overall, the relative pairing strengths are found to follow the Fermi surface topology, due to nesting between the Fermi surface sheets. Finally, we discuss our predictions in relation to available experimental data and classify the topology of the predicted superconducting pairing symmetries.


title: AfriWOZ: Corpus for Exploiting Cross-Lingual Transferability for Generation of Dialogues in Low-Resource, African Languages

abstract: Dialogue generation is an important NLP task fraught with many challenges. The challenges become more daunting for low-resource African languages. To enable the creation of dialogue agents for African languages, we contribute the first high-quality dialogue datasets for 6 African languages: Swahili, Wolof, Hausa, Nigerian Pidgin English, Kinyarwanda & Yor\`ub\'a. These datasets consist of 1,500 turns each, which we translate from a portion of the English multi-domain MultiWOZ dataset. Subsequently, we investigate & analyze the effectiveness of modelling through transfer learning by utilziing state-of-the-art (SoTA) deep monolingual models: DialoGPT and BlenderBot. We compare the models with a simple seq2seq baseline using perplexity. Besides this, we conduct human evaluation of single-turn conversations by using majority votes and measure inter-annotator agreement (IAA). We find that the hypothesis that deep monolingual models learn some abstractions that generalize across languages holds. We observe human-like conversations, to different degrees, in 5 out of the 6 languages. The language with the most transferable properties is the Nigerian Pidgin English, with a human-likeness score of 78.1%, of which 34.4% are unanimous. We freely provide the datasets and host the model checkpoints/demos on the HuggingFace hub for public access.


title: Learning 3D Semantics from Pose-Noisy 2D Images with Hierarchical Full Attention Network

abstract: We propose a novel framework to learn 3D point cloud semantics from 2D multi-view image observations containing pose error. On the one hand, directly learning from the massive, unstructured and unordered 3D point cloud is computationally and algorithmically more difficult than learning from compactly-organized and context-rich 2D RGB images. On the other hand, both LiDAR point cloud and RGB images are captured in standard automated-driving datasets. This motivates us to conduct a "task transfer" paradigm so that 3D semantic segmentation benefits from aggregating 2D semantic cues, albeit pose noises are contained in 2D image observations. Among all difficulties, pose noise and erroneous prediction from 2D semantic segmentation approaches are the main challenges for the task transfer. To alleviate the influence of those factor, we perceive each 3D point using multi-view images and for each single image a patch observation is associated. Moreover, the semantic labels of a block of neighboring 3D points are predicted simultaneously, enabling us to exploit the point structure prior to further improve the performance. A hierarchical full attention network~(HiFANet) is designed to sequentially aggregates patch, bag-of-frames and inter-point semantic cues, with hierarchical attention mechanism tailored for different level of semantic cues. Also, each preceding attention block largely reduces the feature size before feeding to the next attention block, making our framework slim. Experiment results on Semantic-KITTI show that the proposed framework outperforms existing 3D point cloud based methods significantly, it requires much less training data and exhibits tolerance to pose noise. The code is available at https://github.com/yuhanghe01/HiFANet.


title: CPFair: Personalized Consumer and Producer Fairness Re-ranking for Recommender Systems

abstract: Recently, there has been a rising awareness that when machine learning (ML) algorithms are used to automate choices, they may treat/affect individuals unfairly, with legal, ethical, or economic consequences. Recommender systems are prominent examples of such ML systems that assist users in making high-stakes judgments. A common trend in the previous literature research on fairness in recommender systems is that the majority of works treat user and item fairness concerns separately, ignoring the fact that recommender systems operate in a two-sided marketplace. In this work, we present an optimization-based re-ranking approach that seamlessly integrates fairness constraints from both the consumer and producer-side in a joint objective framework. We demonstrate through large-scale experiments on 8 datasets that our proposed method is capable of improving both consumer and producer fairness without reducing overall recommendation quality, demonstrating the role algorithms may play in minimizing data biases.


title: Intracranial EEG structure-function coupling predicts surgical outcomes in focal epilepsy

abstract: Alterations to structural and functional brain networks have been reported across many neurological conditions. However, the relationship between structure and function -- their coupling -- is relatively unexplored, particularly in the context of an intervention. Epilepsy surgery alters the brain structure and networks to control the functional abnormality of seizures. Given that surgery is a structural modification aiming to alter the function, we hypothesized that stronger structure-function coupling preoperatively is associated with a greater chance of post-operative seizure control. We constructed structural and functional brain networks in 39 subjects with medication-resistant focal epilepsy using data from intracranial EEG (pre-surgery), structural MRI (pre-and post-surgery), and diffusion MRI (pre-surgery). We investigated pre-operative structure-function coupling at two spatial scales a) at the global iEEG network level and b) at the resolution of individual iEEG electrode contacts using virtual surgeries. At global network level, seizure-free individuals had stronger structure-function coupling pre-operatively than those that were not seizure-free regardless of the choice of interictal segment or frequency band. At the resolution of individual iEEG contacts, the virtual surgery approach provided complementary information to localize epileptogenic tissues. In predicting seizure outcomes, structure-function coupling measures were more important than clinical attributes, and together they predicted seizure outcomes with an accuracy of 85% and sensitivity of 87%. The underlying assumption that the structural changes induced by surgery translate to the functional level to control seizures is valid when the structure-functional coupling is strong. Mapping the regions that contribute to structure-functional coupling using virtual surgeries may help aid surgical planning.


title: Replica Higher-Order Topology of Hofstadter Butterflies in Twisted Bilayer Graphene

abstract: The Hofstadter energy spectrum of twisted bilayer graphene is found to have recursive higher-order topological properties. We demonstrate that higher-order topological insulator (HOTI) phases, characterized by localized corner states, occur as replicas of the original HOTIs to fulfill the self-similarity of the Hofstadter spectrum. We show the existence of the exact flux translational symmetry of twisted bilayer graphene at all commensurate angles. Based on this result, we carefully identify that the original HOTI phase at zero flux is re-entrant at a half-flux periodicity, where the effective twofold rotation is preserved. In addition, numerous replicas of the original HOTIs are found for fluxes without protecting symmetries. Similar to the original HOTIs, replica HOTIs feature both localized corner states and edge-localized real-space topological markers. The replica HOTIs originate from the different interaction scales, namely, intralayer and interlayer couplings, in twisted bilayer graphene. The topological aspect of Hofstadter butterflies revealed in our results highlights symmetry-protected topology in quantum fractals.


title: Thermal SZ effect in a magnetized IGM dominated by interacting DM decay/annihilation during dark ages

abstract: During cosmic dawn, the thermal history of the universe is well studied, and a study of this era can give us some of the most useful insight into the universe before the recombination epoch. Its precise modeling and future high-precision measurements will be a valuable tool for determining the thermal history of the universe. In the present work, we study the thermal and ionization history of IGM in the presence of decaying magnetic fields via ambipolar and turbulent decay, Baryon-Dark matter (BDM) interaction, including the DM decay/annihilation. The BDM interaction cross-sections considered are of the form $\sigma=\sigma_0 v^{n}$, where $n=-2$ and $n=-4$. In this work, we show that in the current scenario, the decay/annihilation of the DM particles have a considerable impact on the temperature and ionization histories at low redshift. With the addition of the concept of fractional interaction, which states that if a fraction of the DM particles interacts with the baryons, the temperature and ionization fraction of the baryons show a strong dependence on the percentage of DM particles interacting with the baryons. We have also studied the interesting consequences of the present scenario on the thermal Sunyaev-Zeldovich (tSZ) effect. We show that the highest value of the absolute value of the mean $y-$parameter in the current DM decay/annihilation scenario is well within the values derived from experimental data such as PLANCK, FIRAS, and PIXIE. Later we calculate the bound on the ordinary magnetic fields originating from the Dark photons.


title: An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros

abstract: A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and three medial parallelograms, which will be referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to $n$-dimensional simplices for all $n > 3$. Part III explains how, for $n = 3$, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to $\mathbb Z_2^4$, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank $3$ chirotope, aka affine oriented matroid.


title: Learning Compositional Representations for Effective Low-Shot Generalization

abstract: We propose Recognition as Part Composition (RPC), an image encoding approach inspired by human cognition. It is based on the cognitive theory that humans recognize complex objects by components, and that they build a small compact vocabulary of concepts to represent each instance with. RPC encodes images by first decomposing them into salient parts, and then encoding each part as a mixture of a small number of prototypes, each representing a certain concept. We find that this type of learning inspired by human cognition can overcome hurdles faced by deep convolutional networks in low-shot generalization tasks, like zero-shot learning, few-shot learning and unsupervised domain adaptation. Furthermore, we find a classifier using an RPC image encoder is fairly robust to adversarial attacks, that deep neural networks are known to be prone to. Given that our image encoding principle is based on human cognition, one would expect the encodings to be interpretable by humans, which we find to be the case via crowd-sourcing experiments. Finally, we propose an application of these interpretable encodings in the form of generating synthetic attribute annotations for evaluating zero-shot learning methods on new datasets.


title: Dynamical mass generation in Minkowski space at QCD scale

abstract: We undertake the challenging task to reveal the properties of dressed light-quarks in the space- and time-like regions. For that aim, we solved the Dyson-Schwinger equation (DSE) in Minkowski space for the quark propagator in a QCD inspired model, focusing on the realization of dynamical chiral symmetry breaking (DCSB) in the large coupling regime. The DSE is considered in the quenched approximation within the rainbow-ladder truncation with a massive gluon and a Pauli-Villars term, which is used to tune the infrared (IR) physics of the model. The solution of the DSE in Minkowski space is performed by resorting to the integral representation of the quark self-energy and propagator, which leads to a coupled set of closed self-consistent equations for the spectral densities, taking into account finite on-mass-shell renormalization. The parameters of the model are chosen such that the gluon mass scale is consistent with recent lattice QCD (LQCD) calculations, the Pauli-Villars mass is lowered down to about 1 GeV to concentrate strength in the infrared momentum region, and the coupling constant and renormalized mass are tuned to reproduce LQCD results for the quark mass function in the Landau gauge. Future application to study the pion consistently with DCSB within the Bethe-Salpeter framework with self-energies in Minkowski space is also delineated.


title: The Existence and Uniqueness of Solutions for Kernel-Based System Identification

abstract: The notion of reproducing kernel Hilbert space (RKHS) has emerged in system identification during the past decade. In the resulting framework, the impulse response estimation problem is formulated as a regularized optimization defined on an infinite-dimensional RKHS consisting of stable impulse responses. The consequent estimation problem is well-defined under the central assumption that the convolution operators restricted to the RKHS are continuous linear functionals. Moreover, according to this assumption, the representer theorem hold, and therefore, the impulse response can be estimated by solving a finite-dimensional program. Thus, the continuity feature plays a significant role in kernel-based system identification. This paper shows that this central assumption is guaranteed to be satisfied in considerably general situations, namely when the kernel is an integrable function and the input signal is bounded. Furthermore, the strong convexity of the optimization problem and the continuity property of the convolution operators imply that the kernel-based system identification admits a unique solution. Consequently, it follows that kernel-based system identification is a well-defined approach.


title: 3-D Acoustic Trapping With Standing Waves

abstract: In this work, we will describe an experimental setup for a standing--wave ultrasound trap for air microbubbles in oil. We develop a model for the finite acoustic beam using the angular spectrum technique, and reconstruct the pressure field using the General Lorenz-Mie Theory framework, which was validated using a finite elements method (FEM) simulation. Using Stokes' drag law, we were able to obtain the radius of the trapped bubbles and estimate the minimum acoustic force necessary to trap them, which ranged from 3 nN to 780 nN. We also present the force profile as a function of distance for different bubble that were trapped experimentally, and show that a standing wave formed by interfering infinite plane waves cannot explain the observed acoustic trapping of bubbles in 3-D.


title: A Data-Driven Methodology for Considering Feasibility and Pairwise Likelihood in Deep Learning Based Guitar Tablature Transcription Systems

abstract: Guitar tablature transcription is an important but understudied problem within the field of music information retrieval. Traditional signal processing approaches offer only limited performance on the task, and there is little acoustic data with transcription labels for training machine learning models. However, guitar transcription labels alone are more widely available in the form of tablature, which is commonly shared among guitarists online. In this work, a collection of symbolic tablature is leveraged to estimate the pairwise likelihood of notes on the guitar. The output layer of a baseline tablature transcription model is reformulated, such that an inhibition loss can be incorporated to discourage the co-activation of unlikely note pairs. This naturally enforces playability constraints for guitar, and yields tablature which is more consistent with the symbolic data used to estimate pairwise likelihoods. With this methodology, we show that symbolic tablature can be used to shape the distribution of a tablature transcription model's predictions, even when little acoustic data is available.


title: Mixed Isogeometric Discretizations for Planar Linear Elasticity

abstract: In this article we suggest two discretization methods based on isogeometric analysis (IGA) for planar linear elasticity. On the one hand, we apply the well-known ansatz of weakly imposed symmetry for the stress tensor and obtain a well-posed mixed formulation. Such modified mixed problems have been already studied by different authors. But we concentrate on the exploitation of IGA results to handle also curved boundary geometries. On the other hand, we consider the more complicated situation of strong symmetry, i.e. we discretize the mixed weak form determined by the so-called Hellinger-Reissner variational principle. We show the existence of suitable approximate fields leading to an inf-sup stable saddle-point problem. For both discretization approaches we prove convergence statements and in case of weak symmetry we illustrate the approximation behavior by means of several numerical experiments.


title: Synthetic Distracted Driving (SynDD2) dataset for analyzing distracted behaviors and various gaze zones of a driver

abstract: This article presents a synthetic distracted driving (SynDD2 - a continuum of SynDD1) dataset for machine learning models to detect and analyze drivers' various distracted behavior and different gaze zones. We collected the data in a stationary vehicle using three in-vehicle cameras positioned at locations: on the dashboard, near the rearview mirror, and on the top right-side window corner. The dataset contains two activity types: distracted activities and gaze zones for each participant, and each activity type has two sets: without appearance blocks and with appearance blocks such as wearing a hat or sunglasses. The order and duration of each activity for each participant are random. In addition, the dataset contains manual annotations for each activity, having its start and end time annotated. Researchers could use this dataset to evaluate the performance of machine learning algorithms to classify various distracting activities and gaze zones of drivers.


title: The pioneering scientific endeavor and contributions of Jose Maria Gonzalez Benito (1843-1903), the first Colombian modern astronomer

abstract: Astronomical interest within the current Colombian territory has its roots in the Botanical Expedition of the New Kingdom of Granada (1783-1813), which stimulated the creation of an astronomical observatory in 1803, the first one established in the New World to pursue systematic observations and meteorological studies. After the death in 1816 of its first director, Francisco Jose de Caldas (1768-1816), during the convulsive independence period, no major astronomical observations were made for decades, with few exceptions. In this work we delve into the contributions of the astronomer Jose Maria Gonzalez Benito (1843-1903), main reactivator of the Observatorio Astron\'omico Nacional de Colombia in the second half of the 19th century, pointing out his pioneering efforts that put worldwide attention to it, and to his own private observatory making him one of the most committed figures to the development of astronomical sciences in the country and the most renowned Colombian in the international astronomical research scene of his time.


title: Extensible circuit-QED architecture via amplitude- and frequency-variable microwaves

abstract: We introduce a circuit-QED architecture combining fixed-frequency qubits and microwave-driven couplers. In the appropriate frame, the drive parameters appear as tunable knobs enabling selective two-qubit coupling and coherent-error suppression. We moreover introduce a set of controlled-phase gates based on drive-amplitude and drive-frequency modulation. We develop a theoretical framework based on Floquet theory to model microwave-activated interactions with time-dependent drive parameters, which we also use for pulse shaping. We perform numerical simulations of the gate fidelity for realistic circuit parameters, and discuss the impact of drive-induced decoherence. We estimate average gate fidelities beyond $99.9\%$ for all-microwave controlled-phase operations with gate times in the range $50-120\,\mathrm{ns}$. These two-qubit gates can operate over a large drive-frequency bandwidth and in a broad range of circuit parameters, thereby improving extensibility. We address the frequency allocation problem for this architecture using perturbation theory, demonstrating that qubit, coupler and drive frequencies can be chosen such that undesired static and driven interactions remain bounded in a multi-qubit device. Our numerical methods are useful for describing the time-evolution of driven systems in the adiabatic limit, and are applicable to a wide variety of circuit-QED setups.


title: Baryon Cycles in the Biggest Galaxies

abstract: The universe's biggest galaxies have both vast atmospheres and supermassive central black holes. This article reviews how those two components of a large galaxy couple and regulate the galaxy's star formation rate. Models of interactions between a supermassive black hole and the large-scale atmosphere suggest that the energy released as cold gas clouds accrete onto the black hole suspends the atmosphere in a state that is marginally stable to formation of cold clouds. A growing body of observational evidence indicates that many massive galaxies, ranging from the huge central galaxies of galaxy clusters down to our own Milky Way, are close to that marginal state. The gas supply for star formation within a galaxy in such a marginal state is closely tied to the central velocity dispersion (sigma_v) of its stars. We therefore explore the consequences of a model in which energy released during blackhole accretion shuts down star formation when sigma_v exceeds a critical value determined by the galaxy's supernova heating rate.


title: Multi-Model Subset Selection

abstract: The two primary approaches for high-dimensional regression problems are sparse methods (e.g. best subset selection which uses the L0-norm in the penalty) and ensemble methods (e.g. random forests). Although sparse methods typically yield interpretable models, they are often outperformed in terms of prediction accuracy by "blackbox" multi-model ensemble methods. We propose an algorithm to optimize an ensemble of L0-penalized regression models by extending recent developments in L0-optimization for sparse methods to multi-model regression ensembles. The sparse and diverse models in the ensemble are learned simultaneously from the data. Each of these models provides an explanation for the relationship between a subset of predictors and the response variable. We show how the ensembles achieve excellent prediction accuracy by exploiting the accuracy-diversity tradeoff of ensembles and investigate the effect of the number of models. In prediction tasks the ensembles can outperform state-of-the-art competitors on both simulated and real data. Forward stepwise regression is also generalized to multi-model regression ensembles and used to obtain an initial solution for our algorithm. The optimization algorithms are implemented in publicly available software packages.


title: Ultrafast disinfection of SARS-CoV-2 viruses

abstract: The wide use of surgical masks has been proven effective for mitigating the spread of respiration diseases, such as COVID-19, alongside social distance control, vaccines, and other efforts. With the newly reported variants, such as Delta and Omicron, a higher spread rate had been found compared to the initial strains. People might get infected even by inhaling fewer loading of viruses. More frequent sterilization of surgical masks is needed to protect the wearers. However, it is challenging to sterilize the commodity surgical masks with a fast and effective method. Herein, we reported the sterilization of the SARS-CoV-2 viruses within an ultra-short time, while retaining the mask performance. Silver thin film is coated on commercial polyimide film by physical vapor deposition and patterned by laser scribing to form a Joule heating electrode. Another layer of the gold thin film was coated onto the opposite side of the device to promote the uniformity of the Joule heating through nano-heat transfer regulation. As a result, the surgical mask can be heated to inactivation temperature within a short time and with high uniformity. By Joule-heating the surgical mask with the temperature at 90 {\deg}C for 3 minutes, the inactivation of the SARS-CoV-2 showed an efficacy of 99.89%. Normal commodity surgical masks can be sterilized faster, more frequently, and efficiently against SARS-CoV-2 viruses and the new invariants.


title: kpfriends at SemEval-2022 Task 2: NEAMER -- Named Entity Augmented Multi-word Expression Recognizer

abstract: We present NEAMER -- Named Entity Augmented Multi-word Expression Recognizer. This system is inspired by non-compositionality characteristics shared between Named Entity and Idiomatic Expressions. We utilize transfer learning and locality features to enhance idiom classification task. This system is our submission for SemEval Task 2: Multilingual Idiomaticity Detection and Sentence Embedding Subtask A OneShot shared task. We achieve SOTA with F1 0.9395 during post-evaluation phase. We also observe improvement in training stability. Lastly, we experiment with non-compositionality knowledge transfer, cross-lingual fine-tuning and locality features, which we also introduce in this paper.


title: Should Young Computer Scientists Stop Collaborating with their Doctoral Advisors?

abstract: One of the first steps in an academic career, and perhaps the pillar thereof, is completing a PhD under the supervision of a doctoral advisor. While prior work has examined the advisor-advisee relationship and its potential effects on the prospective academic success of the advisee, very little is known on the possibly continued relationship after the advisee has graduated. We harnessed three genealogical and scientometric datasets to identify 3 distinct groups of computer scientists: Highly independent, who cease collaborating with their advisors (almost) instantly upon graduation; Moderately independent, who (quickly) reduce the collaboration rate over ~5 years; and Weakly independent who continue collaborating with their advisors for at least 10 years post-graduation. We find that highly independent researchers are more academically successful than their peers in terms of H-index, i10-index and total number of citations throughout their careers. Moderately independent researchers perform, on average, better than weakly independent researchers, yet the differences are not found to be statistically significant. In addition, both highly and moderately independent researchers are found to have longer academic careers. Interestingly, weakly independent researchers tend to be supervised by more academically successful advisors.


title: Investigation of the bottom analog of the Zcs(3985) state

abstract: Motivated by the recent discovery of the hidden charm exotic state with strangeness by the BESIII and LHCb Collaborations, we study the $S$ wave strange hidden bottom tetraquark in two kinds of quark models. Both meson-meson and diquark-antidiquark configurations are taken into account. The numerical results indicate that there is no bound state in both quark models. However, several resonance states have been predicted. Three resonance states with $I(J^{P})=\frac{1}{2}(0^{+})$ are found, the energy ranges of which are $10479\sim 10550$, $10528\sim 10632$, and $10597\sim 10681$ MeV, respectively. Three resonance states with $I(J^{P})=\frac{1}{2}(1^{+})$ are predicted to be located in $10491\sim 10675$, $10502\sim 10679$, and $10522\sim 10723$ MeV, respectively. Moreover, there also exist a resonance with $I(J^{P})=\frac{1}{2}(2^{+})$ and the mass is estimated to be $10531\sim 10680$ MeV. All these predicted states in the present work should be accessible for the further experiments in LHCb


title: Monte Carlo Tree Search for Interpreting Stress in Natural Language

abstract: Natural language processing can facilitate the analysis of a person's mental state from text they have written. Previous studies have developed models that can predict whether a person is experiencing a mental health condition from social media posts with high accuracy. Yet, these models cannot explain why the person is experiencing a particular mental state. In this work, we present a new method for explaining a person's mental state from text using Monte Carlo tree search (MCTS). Our MCTS algorithm employs trained classification models to guide the search for key phrases that explain the writer's mental state in a concise, interpretable manner. Furthermore, our algorithm can find both explanations that depend on the particular context of the text (e.g., a recent breakup) and those that are context-independent. Using a dataset of Reddit posts that exhibit stress, we demonstrate the ability of our MCTS algorithm to identify interpretable explanations for a person's feeling of stress in both a context-dependent and context-independent manner.


title: A New Dynamic Algorithm for Densest Subhypergraphs

abstract: Computing a dense subgraph is a fundamental problem in graph mining, with a diverse set of applications ranging from electronic commerce to community detection in social networks. In many of these applications, the underlying context is better modelled as a weighted hypergraph that keeps evolving with time. This motivates the problem of maintaining the densest subhypergraph of a weighted hypergraph in a {\em dynamic setting}, where the input keeps changing via a sequence of updates (hyperedge insertions/deletions). Previously, the only known algorithm for this problem was due to Hu et al. [HWC17]. This algorithm worked only on unweighted hypergraphs, and had an approximation ratio of $(1+\epsilon)r^2$ and an update time of $O(\text{poly} (r, \log n))$, where $r$ denotes the maximum rank of the input across all the updates. We obtain a new algorithm for this problem, which works even when the input hypergraph is weighted. Our algorithm has a significantly improved (near-optimal) approximation ratio of $(1+\epsilon)$ that is independent of $r$, and a similar update time of $O(\text{poly} (r, \log n))$. It is the first $(1+\epsilon)$-approximation algorithm even for the special case of weighted simple graphs. To complement our theoretical analysis, we perform experiments with our dynamic algorithm on large-scale, real-world data-sets. Our algorithm significantly outperforms the state of the art [HWC17] both in terms of accuracy and efficiency.


title: Exploiting Embodied Simulation to Detect Novel Object Classes Through Interaction

abstract: In this paper we present a novel method for a naive agent to detect novel objects it encounters in an interaction. We train a reinforcement learning policy on a stacking task given a known object type, and then observe the results of the agent attempting to stack various other objects based on the same trained policy. By extracting embedding vectors from a convolutional neural net trained over the results of the aforementioned stacking play, we can determine the similarity of a given object to known object types, and determine if the given object is likely dissimilar enough to the known types to be considered a novel class of object. We present the results of this method on two datasets gathered using two different policies and demonstrate what information the agent needs to extract from its environment to make these novelty judgments.


title: How are Software Repositories Mined? A Systematic Literature Review of Workflows, Methodologies, Reproducibility, and Tools

abstract: With the advent of open source software, a veritable treasure trove of previously proprietary software development data was made available. This opened the field of empirical software engineering research to anyone in academia. Data that is mined from software projects, however, requires extensive processing and needs to be handled with utmost care to ensure valid conclusions. Since the software development practices and tools have changed over two decades, we aim to understand the state-of-the-art research workflows and to highlight potential challenges. We employ a systematic literature review by sampling over one thousand papers from leading conferences and by analyzing the 286 most relevant papers from the perspective of data workflows, methodologies, reproducibility, and tools. We found that an important part of the research workflow involving dataset selection was particularly problematic, which raises questions about the generality of the results in existing literature. Furthermore, we found a considerable number of papers provide little or no reproducibility instructions -- a substantial deficiency for a data-intensive field. In fact, 33% of papers provide no information on how their data was retrieved. Based on these findings, we propose ways to address these shortcomings via existing tools and also provide recommendations to improve research workflows and the reproducibility of research.


title: ArcaneQA: Dynamic Program Induction and Contextualized Encoding for Knowledge Base Question Answering

abstract: Question answering on knowledge bases (KBQA) poses a unique challenge for semantic parsing research due to two intertwined challenges: large search space and ambiguities in schema linking. Conventional ranking-based KBQA models, which rely on a candidate enumeration step to reduce the search space, struggle with flexibility in predicting complicated queries and have impractical running time. In this paper, we present ArcaneQA, a novel generation-based model that addresses both the large search space and the schema linking challenges in a unified framework with two mutually boosting ingredients: dynamic program induction for tackling the large search space and dynamic contextualized encoding for schema linking. Experimental results on multiple popular KBQA datasets demonstrate the highly competitive performance of ArcaneQA in both effectiveness and efficiency.


title: Language Contamination Helps Explain the Cross-lingual Capabilities of English Pretrained Models

abstract: English pretrained language models, which make up the backbone of many modern NLP systems, require huge amounts of unlabeled training data. These models are generally presented as being trained only on English text but have been found to transfer surprisingly well to other languages. We investigate this phenomenon and find that common English pretraining corpora actually contain significant amounts of non-English text: even when less than 1% of data is not English (well within the error rate of strong language classifiers), this leads to hundreds of millions of foreign language tokens in large-scale datasets. We then demonstrate that even these small percentages of non-English data facilitate cross-lingual transfer for models trained on them, with target language performance strongly correlated to the amount of in-language data seen during pretraining. In light of these findings, we argue that no model is truly monolingual when pretrained at scale, which should be considered when evaluating cross-lingual transfer.


title: Material properties of a low contraction and resistivity silicon-aluminum composite for cryogenic detectors

abstract: We report on the cryogenic properties of a low-contraction silicon-aluminum composite, namely Japan Fine Ceramics SA001, to use as a packaging structure for cryogenic silicon devices. SA001 is a silicon--aluminum composite material (75% silicon by volume) and has a low thermal expansion coefficient ($\sim$1/3 that of aluminum). The superconducting transition temperature of SA001 is measured to be 1.18 K, which is in agreement with that of pure aluminum, and is thus available as a superconducting magnetic shield material. The residual resistivity of SA001 is 0.065 $\mathrm{\mu \Omega m}$, which is considerably lower than an equivalent silicon--aluminum composite material. The measured thermal contraction of SA001 immersed in liquid nitrogen is $\frac{L_{293\mathrm{K}}-L_{77\mathrm{K}}}{L_{293\mathrm{K}}}=0.12$%, which is consistent with the expected rate obtained from the volume-weighted mean of the contractions of silicon and aluminum. The machinability of SA001 is also confirmed with a demonstrated fabrication of a conical feedhorn array, with a wall thickness of 100 $\mathrm{\mu m}$. These properties are suitable for packaging applications for large-format superconducting detector devices.


title: Testing synchrotron models and frequency resolution in BINGO 21 cm simulated maps using GNILC

abstract: To recover the 21 cm hydrogen line, it is essential to separate the cosmological signal from the much stronger foreground contributions at radio frequencies. The BINGO radio telescope is designed to measure the 21 cm line and detect BAOs using the intensity mapping technique. This work analyses the performance of the GNILC method, combined with a power spectrum debiasing procedure. The method was applied to a simulated BINGO mission, building upon previous work from the collaboration. It compares two different synchrotron emission models and different instrumental configurations, in addition to the combination with ancillary data to optimize both the foreground removal and recovery of the 21 cm signal across the full BINGO frequency band, as well as to determine an optimal number of frequency bands for the signal recovery. We have produced foreground emissions maps using the Planck Sky Model, the cosmological Hi emission maps are generated using the FLASK package and thermal noise maps are created according to the instrumental setup. We apply the GNILC method to the simulated sky maps to separate the Hi plus thermal noise contribution and, through a debiasing procedure, recover an estimate of the noiseless 21 cm power spectrum. We found a near optimal reconstruction of the Hi signal using a 80 bins configuration, which resulted in a power spectrum reconstruction average error over all frequencies of 3%. Furthermore, our tests showed that GNILC is robust against different synchrotron emission models. Finally, adding an extra channel with CBASS foregrounds information, we reduced the estimation error of the 21 cm signal. The optimisation of our previous work, producing a configuration with an optimal number of channels for binning the data, impacts greatly the decisions regarding BINGO hardware configuration before commissioning.


title: Rotating regular black holes and other compact objects with a Tolman type potential as a regular interior for the Kerr metric

abstract: We obtain a new class of stationary axisymmetric spacetimes by using the G\"urses-G\"ursey metric with an appropriate mass function in order to generate a rotating core of matter that may be smoothly matched to the exterior Kerr metric. The same stationary spacetimes may be obtained by applying a slightly modified version of the Newman-Janis algorithm to a nonrotating spherically symmetric seed metric. The starting spherically symmetric configuration represents a nonisotropic de-Sitter type fluid whose radial pressure $p_r$ satisfies an state equation of the form $p_r=-\rho$, where the energy density $\rho$ is chosen to be the Tolman type-VII energy density [R. C. Tolman, Phys. Rev. {\bf 55}, 364 (1939)]. The resulting rotating metric is then smoothly matched to the exterior Kerr metric, and the main properties of the obtained geometries are investigated. All the solutions considered in the present study are regular in the sense they are free of curvature singularities. Depending on the relative values of the total mass $m$ and rotation parameter $a$, the resulting stationary spacetimes represent different kinds of rotating compact objects such as regular black holes, extremal regular black holes, and regular starlike configurations.


title: A Distributed control framework for the optimal operation of DC microgrids

abstract: In this paper we propose an original distributed control framework for DC mcirogrids. We first formulate the (optimal) control objectives as an aggregative game suitable for the energy trading market. Then, based on the dual theory, we analyze the equivalent distributed optimal condition for the proposed aggregative game and design a distributed control scheme to solve it. By interconnecting the DC mcirogrid and the designed distributed control system in a power preserving way, we steer the DC microgrid's state to the desired optimal equilibrium, satisfying a predefined set of local and coupling constraints. Finally, based on the singular perturbation system theory, we analyze the convergence of the closed-loop system. The simulation results show excellent performance of the proposed control framework.


title: HFT-ONLSTM: Hierarchical and Fine-Tuning Multi-label Text Classification

abstract: Many important classification problems in the real-world consist of a large number of closely related categories in a hierarchical structure or taxonomy. Hierarchical multi-label text classification (HMTC) with higher accuracy over large sets of closely related categories organized in a hierarchy or taxonomy has become a challenging problem. In this paper, we present a hierarchical and fine-tuning approach based on the Ordered Neural LSTM neural network, abbreviated as HFT-ONLSTM, for more accurate level-by-level HMTC. First, we present a novel approach to learning the joint embeddings based on parent category labels and textual data for accurately capturing the joint features of both category labels and texts. Second, a fine tuning technique is adopted for training parameters such that the text classification results in the upper level should contribute to the classification in the lower one. At last, the comprehensive analysis is made based on extensive experiments in comparison with the state-of-the-art hierarchical and flat multi-label text classification approaches over two benchmark datasets, and the experimental results show that our HFT-ONLSTM approach outperforms these approaches, in particular reducing computational costs while achieving superior performance.


title: Degree of constantly curved holomorphic 2-spheres in the complex Grassmannians G(2,n+2;C)

abstract: We show that the degree of the linearly full constantly curved holomorphic 2-spheres in the complex Grassmannians G(2,n+2;C) is greater than or equal to n for general n and less than or equal to 2n for n=2,3.


title: Fast Decentralized Federated Low Rank Matrix Recovery from Column-wise Linear Projections

abstract: This work develops a provably accurate fully-decentralized alternating projected gradient descent (GD) algorithm for recovering a low rank (LR) matrix from mutually independent projections of each of its columns, in a fast and communication-efficient fashion. To our best knowledge, this work is the first attempt to develop a provably correct decentralized algorithm (i) for any problem involving the use of an alternating projected GD algorithm; (ii) and for any problem in which the constraint set to be projected to is a non-convex set.


title: On the Differential Properties of the Power Mapping $x^{p^m+2}$

abstract: Let $m$ be a positive integer and $p$ a prime. In this paper, we investigate the differential properties of the power mapping $x^{p^m+2}$ over $\mathbb{F}_{p^n}$, where $n=2m$ or $n=2m-1$. For the case $n=2m$, by transforming the derivative equation of $x^{p^m+2}$ and studying some related equations, we completely determine the differential spectrum of this power mapping. For the case $n=2m-1$, the derivative equation can be transformed to a polynomial of degree $p+3$. The problem is more difficult and we obtain partial results about the differential spectrum of $x^{p^m+2}$.


title: Split Learning over Wireless Networks: Parallel Design and Resource Management

abstract: Split learning (SL) is a collaborative learning framework, which can train an artificial intelligence (AI) model between a device and an edge server by splitting the AI model into a device-side model and a server-side model at a cut layer. The existing SL approach conducts the training process sequentially across devices, which incurs significant training latency especially when the number of devices is large. In this paper, we design a novel SL scheme to reduce the training latency, named Cluster-based Parallel SL (CPSL) which conducts model training in a "first-parallel-then-sequential" manner. Specifically, the CPSL is to partition devices into several clusters, parallelly train device-side models in each cluster and aggregate them, and then sequentially train the whole AI model across clusters, thereby parallelizing the training process and reducing training latency. Furthermore, we propose a resource management algorithm to minimize the training latency of CPSL considering device heterogeneity and network dynamics in wireless networks. This is achieved by stochastically optimizing the cut layer selection, real-time device clustering, and radio spectrum allocation. The proposed two-timescale algorithm can jointly make the cut layer selection decision in a large timescale and device clustering and radio spectrum allocation decisions in a small timescale. Extensive simulation results on non-independent and identically distributed data demonstrate that the proposed solutions can greatly reduce the training latency as compared with the existing SL benchmarks, while adapting to network dynamics.


title: Neural Gaits: Learning Bipedal Locomotion via Control Barrier Functions and Zero Dynamics Policies

abstract: This work presents Neural Gaits, a method for learning dynamic walking gaits through the enforcement of set invariance that can be refined episodically using experimental data from the robot. We frame walking as a set invariance problem enforceable via control barrier functions (CBFs) defined on the reduced-order dynamics quantifying the underactuated component of the robot: the zero dynamics. Our approach contains two learning modules: one for learning a policy that satisfies the CBF condition, and another for learning a residual dynamics model to refine imperfections of the nominal model. Importantly, learning only over the zero dynamics significantly reduces the dimensionality of the learning problem while using CBFs allows us to still make guarantees for the full-order system. The method is demonstrated experimentally on an underactuated bipedal robot, where we are able to show agile and dynamic locomotion, even with partially unknown dynamics.


title: End-to-end Dense Video Captioning as Sequence Generation

abstract: Dense video captioning aims to identify the events of interest in an input video, and generate descriptive captions for each event. Previous approaches usually follow a two-stage generative process, which first proposes a segment for each event, then renders a caption for each identified segment. Recent advances in large-scale sequence generation pretraining have seen great success in unifying task formulation for a great variety of tasks, but so far, more complex tasks such as dense video captioning are not able to fully utilize this powerful paradigm. In this work, we show how to model the two subtasks of dense video captioning jointly as one sequence generation task, and simultaneously predict the events and the corresponding descriptions. Experiments on YouCook2 and ViTT show encouraging results and indicate the feasibility of training complex tasks such as end-to-end dense video captioning integrated into large-scale pretrained models.


title: Optimal Conformal Prediction for Small Areas

abstract: Existing inferential methods for small area data involve a trade-off between maintaining area-level frequentist coverage rates and improving inferential precision via the incorporation of indirect information. In this article, we propose a method to obtain an area-level prediction region for a future observation which mitigates this trade-off. The proposed method takes a conformal prediction approach in which the conformity measure is the posterior predictive density of a working model that incorporates indirect information. The resulting prediction region has guaranteed frequentist coverage regardless of the working model, and, if the working model assumptions are accurate, the region has minimum expected volume compared to other regions with the same coverage rate. When constructed under a normal working model, we prove such a prediction region is an interval and construct an efficient algorithm to obtain the exact interval. We illustrate the performance of our method through simulation studies and an application to EPA radon survey data.


title: Non-Parallel Text Style Transfer with Self-Parallel Supervision

abstract: The performance of existing text style transfer models is severely limited by the non-parallel datasets on which the models are trained. In non-parallel datasets, no direct mapping exists between sentences of the source and target style; the style transfer models thus only receive weak supervision of the target sentences during training, which often leads the model to discard too much style-independent information, or utterly fail to transfer the style. In this work, we propose LaMer, a novel text style transfer framework based on large-scale language models. LaMer first mines the roughly parallel expressions in the non-parallel datasets with scene graphs, and then employs MLE training, followed by imitation learning refinement, to leverage the intrinsic parallelism within the data. On two benchmark tasks (sentiment & formality transfer) and a newly proposed challenging task (political stance transfer), our model achieves qualitative advances in transfer accuracy, content preservation, and fluency. Further empirical and human evaluations demonstrate that our model not only makes training more efficient, but also generates more readable and diverse expressions than previous models.


title: Repeating fast radio burst 20201124A originates from a magnetar/Be star binary

abstract: Fast radio bursts (FRBs) are cosmic sources emitting millisecond-duration radio bursts. Although several hundreds FRBs have been discovered, their physical nature and central engine remain unclear. The variations of Faraday rotation measure and dispersion measure, due to local environment, are crucial clues to understanding their physical nature. The recent observations on the rotation measure of FRB 20201124A show a significant variation on a day time scale. Intriguingly, the oscillation of rotation measure supports that the local contribution can change sign, which indicates the magnetic field reversal along the line of sight. Here we present a physical model that explains observed characteristics of FRB 20201124A and proposes that repeating signal comes from a binary system containing a magnetar and a Be star with a decretion disk. When the magnetar approaches the periastron, the propagation of radio waves through the disk of the Be star naturally leads to the observed varying rotation measure, depolarization, large scattering timescale, and Faraday conversion. This study will prompt to search for FRB signals from Be/X-ray binaries.


title: FedKL: Tackling Data Heterogeneity in Federated Reinforcement Learning by Penalizing KL Divergence

abstract: As a distributed learning paradigm, Federated Learning (FL) faces the communication bottleneck issue due to many rounds of model synchronization and aggregation. Heterogeneous data further deteriorates the situation by causing slow convergence. Although the impact of data heterogeneity on supervised FL has been widely studied, the related investigation for Federated Reinforcement Learning (FRL) is still in its infancy. In this paper, we first define the type and level of data heterogeneity for policy gradient based FRL systems. By inspecting the connection between the global and local objective functions, we prove that local training can benefit the global objective, if the local update is properly penalized by the total variation (TV) distance between the local and global policies. A necessary condition for the global policy to be learn-able from the local policy is also derived, which is directly related to the heterogeneity level. Based on the theoretical result, a Kullback-Leibler (KL) divergence based penalty is proposed, which, different from the conventional method that penalizes the model divergence in the parameter space, directly constrains the model outputs in the distribution space. Convergence proof of the proposed algorithm is also provided. By jointly penalizing the divergence of the local policy from the global policy with a global penalty and constraining each iteration of the local training with a local penalty, the proposed method achieves a better trade-off between training speed (step size) and convergence. Experiment results on two popular Reinforcement Learning (RL) experiment platforms demonstrate the advantage of the proposed algorithm over existing methods in accelerating and stabilizing the training process with heterogeneous data.


title: Optimal Power Flow in Four-Wire Distribution Networks: Formulation and Benchmarking

abstract: In recent years, several applications have been proposed in the context of distribution networks. Many of these can be formulated as an optimal power flow problem, a mathematical optimization program which includes a model of the steady-state physics of the electricity network. If the network loading is balanced and the lines are transposed, the network model can be simplified to a single-phase equivalent model. However, these assumptions do not apply to low-voltage distribution networks, so the network model should model the effects of phase unbalance correctly. In many parts of the world, the low-voltage distribution network has four conductors, i.e. three phases and a neutral. This paper develops OPF formulations for such networks, including transformers, shunts and voltage-dependent loads, in two variable spaces, i.e. current-voltage and power-voltage, and compares them for robustness and scalability. A case study across 128 low-voltage networks also quantifies the modelling error introduced by Kron reductions and its impact on the solve time. This work highlights the advantages of formulations in current-voltage variables over power-voltage, for four-wire networks.