title: The Dark Dimension and the Swampland

abstract: Motivated by principles from the Swampland program, which characterize requirements for a consistent UV completion of quantum gravity, combined with observational data, we are led to a unique corner of the quantum gravity landscape. In particular, using the Distance/Duality conjecture and the smallness of dark energy, we predict the existence of a light tower of states and a unique extra mesoscopic dimension of length $l\sim \Lambda^{-\frac{1}{4}}\sim 10^{-6}\, m$, with extra massless fermions propagating on it. This automatically leads to a candidate for a tower of sterile neutrinos, and an associated active neutrino mass scale $m_{\nu}\sim \langle H\rangle^2\, \Lambda^{-\frac{1}{12}}M_{pl}^{-\frac{2}{3}}$. Moreover, assuming the mechanism for stabilization of this dark dimension leads to similar masses for active and sterile neutrinos we are led to the prediction of a Higgs vev $\langle H\rangle \sim \Lambda^{\frac{1}{6}}M_{pl}^{\frac{1}{3}}$. Another prediction of the scenario is a species scale ${\hat M} \sim \Lambda^ {\frac{1}{12}}M_{pl}^{\frac{2}{3}}\sim 10^{9}-10^{10} GeV$, corresponding to the higher-dimensional Planck scale. This energy scale may be related to the resolution of the instability of the Higgs effective potential present at a scale of $\sim 10^{11}\, GeV$. We also speculate about the interplay between this energy scale and the GZK limit on ultra-high energy cosmic rays.


title: A triplet gauge boson with hypercharge one

abstract: A vector boson $W_{1}^{\mu}$ with the quantum numbers $\left(\boldsymbol{3},1\right)$ under $SU\left(2\right)_{L}\times U(1)_{Y}$ could in principle couple with the Higgs field via the renormalizable term $W_{1}^{\mu*}HD_{\mu}H$. This interaction is known to affect the $T$ parameter and, in so doing, it could potentially explain the recent CDF measurement of the W-boson mass. As it is often the case with vectors, building a viable model with a $W_{1}$ gauge boson is non-trivial. In this work I will describe two variations of a minimal setup containing this field; they are based on an extended $SO(5)\times SU\left(2\right)\times U(1)$ electroweak group. I will nevertheless show that interactions such as $W_{1}^{\mu*}H\partial_{\mu}H$ are never generated in a Yang-Mills theory. A coupling between $W_{1}$, $H$ and another Higgs doublet $H^{\prime}$ is possible though. Finally, I will provide an explicit recipe for the construction of viable models with gauge bosons in arbitrary representations of the Standard Model group; depending on the quantum numbers, they may couple to pairs of Standard Model fermions, or to a Standard Model fermion and an exotic one.


title: lpSpikeCon: Enabling Low-Precision Spiking Neural Network Processing for Efficient Unsupervised Continual Learning on Autonomous Agents

abstract: Recent advances have shown that SNN-based systems can efficiently perform unsupervised continual learning due to their bio-plausible learning rule, e.g., Spike-Timing-Dependent Plasticity (STDP). Such learning capabilities are especially beneficial for use cases like autonomous agents (e.g., robots and UAVs) that need to continuously adapt to dynamically changing scenarios/environments, where new data gathered directly from the environment may have novel features that should be learned online. Current state-of-the-art works employ high-precision weights (i.e., 32 bit) for both training and inference phases, which pose high memory and energy costs thereby hindering efficient embedded implementations of such systems for battery-driven mobile autonomous systems. On the other hand, precision reduction may jeopardize the quality of unsupervised continual learning due to information loss. Towards this, we propose lpSpikeCon, a novel methodology to enable low-precision SNN processing for efficient unsupervised continual learning on resource-constrained autonomous agents/systems. Our lpSpikeCon methodology employs the following key steps: (1) analyzing the impacts of training the SNN model under unsupervised continual learning settings with reduced weight precision on the inference accuracy; (2) leveraging this study to identify SNN parameters that have a significant impact on the inference accuracy; and (3) developing an algorithm for searching the respective SNN parameter values that improve the quality of unsupervised continual learning. The experimental results show that our lpSpikeCon can reduce weight memory of the SNN model by 8x (i.e., by judiciously employing 4-bit weights) for performing online training with unsupervised continual learning and achieve no accuracy loss in the inference phase, as compared to the baseline model with 32-bit weights across different network sizes.


title: Electronic structure of the frustrated diamond lattice magnet NiRh$_2$O$_4$

abstract: The $A$-site spinel NiRh$_2$O$_4$ is the only known realization of a spin-1 diamond lattice magnet and is predicted to host unconventional magnetic phenomena driven by frustrated nearest and next-nearest neighbor exchange as well as orbital degeneracy. Previous works found no sign of magnetic order but found a gapped dispersive magnetic excitation indicating a possible valence bond magnetic ground state. However, the presence of many competing low energy degrees of freedom and limited empirical microscopic constraints complicates further analysis. Here, we carry out resonant inelastic x-ray scattering (RIXS) and x-ray absorption spectroscopy (XAS) to characterize the local electronic structure of NiRh$_2$O$_4$. The RIXS data can be partly described by a single-ion model for tetrahedrally coordinated Ni$^{2+}$ and indicates a tetragonal distortion $\Delta t_2\!=\!70$ meV that splits the $t_2$ orbitals into a high energy orbital singlet and lower energy orbital doublet. We identify features of the RIXS spectra that are consistent with a Rh-Ni two-site excitation indicating strong metal-metal hybridization mediated by oxygen in NiRh$_2$O$_4$. We also identify signatures of electron-phonon coupling through the appearance of phonon sidebands that dress crystal field excitations. These results establish the key energy scales relevant to the magnetism in NiRh$_2$O$_4$ and further demonstrate that covalency and lattice dynamics play essential roles in controlling the magnetic ground states of $A$-site spinels.


title: Dynamical evolution of a self-gravitating planetesimal disk in the distant trans-Neptunian region

abstract: Aims. We study the dynamical evolution of a system consisting of the giant planets and a massive planetesimal disk over the age of the Solar System. The main question addressed in this study is whether distant trans-Neptunian objects could have come about as a result of the combined action of planetary perturbations and the self-gravity of the disk. Methods. We carried out a series of full N-body numerical simulations of gravitational interactions between the giant planets and a massive outer disk of planetesimals. Results. Our simulations show that the collective gravity of the giant planets and massive planetesimals produces distant trans-Neptunian objects across a wide range of the initial disk mass. The majority of objects that survive up through the age of the Solar System have perihelion distances of q > 40 au. In this region, there is a tendency toward a slow decrease in eccentricities and an increase in perihelion distances for objects with semimajor axes a > 150 au. Secular resonances between distant planetesimals play a major role in increasing their perihelion distances. This explains the origin of Sedna-type objects. In our integrations for the age of the Solar System, we registered times with both high and low clustering of longitudes of perihelion and arguments of perihelion for objects with q > 40 au, a > 150 au. The resulting distribution of inclinations in our model and the observed distribution of inclinations for distant trans-Neptunian objects have similar average values of around 20 degrees. Conclusions. Distant trans-Neptunian objects are a natural consequence in the models that include migrating giant planets and a self-gravitating planetesimal disk.


title: Existence of positive solution for a class of quasilinear Schr\"odinger equations with potential vanishing at infinity on nonreflexive Orlicz-Sobolev spaces

abstract: In this paper we investigate the existence of positive solution for a class of quasilinear problem on an Orlicz-Sobolev space that can be nonreflexive $$- \Delta_{\Phi} u +V(x)\phi(|u|)u= K(x)f(u)\mbox{ in } \mathbb{R}^{N}$$ where $N\geq2$, $V,K$ are nonnegative continuous functions and $f$ is a continuous function with a quasicritical growth. Here we extend the Hardy-type inequalities presented in \cite{AlvesandMarco} to nonreflexive Orlicz spaces. Through inequalities together with a variational method for non-differentiable functionals we will obtain a ground state solution. We analyze also the problem with $V=0$.


title: Electromagnetic measurement of the temperature of quark-gluon plasma produced in central ultrarelativistic nuclear collisions

abstract: Ultrarelativistic collisions of large nuclei produce a short-lived plasma of deconfined quarks and gluons. Of all the GeV-energy photons detected in these nuclear collisions, only a small number are emitted directly by the quark-gluon plasma. We use the characteristic near-exponential energy spectrum of these photons to estimate the maximum temperature of the plasma, assuming it undergoes hydrodynamic expansion. We quantify non-exponential corrections to the photon spectrum resulting from the characteristic equation of state and photon emission rate of nuclear matter.


title: On Observer-based Asymptotic Stabilization of Non-uniformly Observable Systems via Hybrid and Smooth Control: a Case Study

abstract: For systems that are not observable at the very equilibrium of interest to be stabilized, output-feedback stabilization is considerably challenging. In this paper we solve this control problem for the case-study of a second-order system that is bilinear and affine, both in the input and the output, but it is unobservable at the target equilibrium. The case-study is representative of a well-studied class of non-uniformly observable systems and stems from automotive control. Our main contribution is a novel certainty-equivalence hybrid controller that achieves asymptotic stabilization semiglobally. The controller relies on a switched observer that estimates the state, provided that the latter is 'kept away' from the singular equilibrium. To achieve both competing tasks, stabilization and estimation, the controller also relies on the keen construction of a piecewise-constant, converging, reference. Our main results are illustrated via numerical simulations on a meaningful example.


title: FreDo: Frequency Domain-based Long-Term Time Series Forecasting

abstract: The ability to forecast far into the future is highly beneficial to many applications, including but not limited to climatology, energy consumption, and logistics. However, due to noise or measurement error, it is questionable how far into the future one can reasonably predict. In this paper, we first mathematically show that due to error accumulation, sophisticated models might not outperform baseline models for long-term forecasting. To demonstrate, we show that a non-parametric baseline model based on periodicity can actually achieve comparable performance to a state-of-the-art Transformer-based model on various datasets. We further propose FreDo, a frequency domain-based neural network model that is built on top of the baseline model to enhance its performance and which greatly outperforms the state-of-the-art model. Finally, we validate that the frequency domain is indeed better by comparing univariate models trained in the frequency v.s. time domain.


title: Garden-Path Traversal in GPT-2

abstract: In recent years, large-scale transformer decoders such as the GPT-x family of models have become increasingly popular. Studies examining the behavior of these models tend to focus only on the output of the language modeling head and avoid analysis of the internal states of the transformer decoder. In this study, we present a collection of methods to analyze the hidden states of GPT-2 and use the model's navigation of garden path sentences as a case study. To enable this, we compile the largest currently available dataset of garden path sentences. We show that Manhattan distances and cosine similarities provide more reliable insights compared to established surprisal methods that analyze next-token probabilities computed by a language modeling head. Using these methods, we find that negating tokens have minimal impacts on the model's representations for unambiguous forms of sentences with ambiguity solely over what the object of a verb is, but have a more substantial impact of representations for unambiguous sentences whose ambiguity would stem from the voice of a verb. Further, we find that analyzing the decoder model's hidden states reveals periods of ambiguity that might conclude in a garden path effect but happen not to, whereas surprisal analyses routinely miss this detail.


title: Lattice Scalar Field Theory At Complex Coupling

abstract: Lattice scalar field theories encounter a sign problem when the coupling constant is complex. This is a close cousin of the real-time sign problems that afflict the lattice Schwinger-Keldysh formalism, and a more distant relative of the fermion sign problem that plagues calculations of QCD at finite density. We demonstrate the methods of complex normalizing flows and contour deformations on scalar fields in $0+1$ and $1+1$ dimensions, respectively. In both cases, intractable sign problems are readily bypassed. These methods extend to negative couplings, where the partition function can be defined only by analytic continuation. Finally, we examine the location of partition function zeros, and discuss their relation to the performance of these algorithms.


title: Adaptive multilingual speech recognition with pretrained models

abstract: Multilingual speech recognition with supervised learning has achieved great results as reflected in recent research. With the development of pretraining methods on audio and text data, it is imperative to transfer the knowledge from unsupervised multilingual models to facilitate recognition, especially in many languages with limited data. Our work investigated the effectiveness of using two pretrained models for two modalities: wav2vec 2.0 for audio and MBART50 for text, together with the adaptive weight techniques to massively improve the recognition quality on the public datasets containing CommonVoice and Europarl. Overall, we noticed an 44% improvement over purely supervised learning, and more importantly, each technique provides a different reinforcement in different languages. We also explore other possibilities to potentially obtain the best model by slightly adding either depth or relative attention to the architecture.


title: Admissible Hermitian-Yang-Mills connections over normal varieties

abstract: In this paper, we first prove a complete version of the Donaldson-Uhlenbeck-Yau theorem over normal varieties, including normal Kaehler varieties and projective normal varieties with multiple polarizations. In particular, this gives the polystability of reflexive sheaves under symmetric and exterior powers and tensor products. As a consequence of the singular Donaldson-Uhlenbeck-Yau theorem, the complete Hitchin-Kobayashi correspondence over normal varieties smooth in codimension two is built by showing that an admissible Hermitian-Yang- Mills connection defines a polystable reflexive sheaf. Furthermore, it is shown that the Hermitian-Yang-Mills connection gives a lower bound for the discriminants of any Kaehler resolutions, which gives a Bogomolov-Gieseker inequality over normal varieties and a characterization of the equality using projectively flat connections. We discuss typical cases including normal surfaces and varieties smooth in codimension two where we could simplify the Bogomolov-Gieseker inequality and endow it with topological meanings. We also prove the Bogomolov-Gieseker inequality for semistable reflexive sheaves and characterize the class of semistable sheaves that satisfy the Bogomolov-Gieseker equality. Finally, as another application, we give a new criteria for when a normal Kaehler variety with trivial first Chern class is a finite quotient of torus.


title: Catalysis-Induced Phase Separation and Autoregulation of Enzymatic Activity

abstract: We present a thermodynamically consistent model describing the dynamics of a multi-component mixture where one enzyme component catalyzes a reaction between other components. We find that the catalytic activity alone can induce phase separation for sufficiently active systems and large enzymes, without any equilibrium interactions between components. In the limit of fast reaction rates, binodal lines can be calculated using a mapping to an effective free energy. We also explain how this catalysis-induced phase separation (CIPS) can act to autoregulate the enzymatic activity, which points at the biological relevance of this phenomenon.


title: Approximate Euclidean lengths and distances beyond Johnson-Lindenstrauss

abstract: A classical result of Johnson and Lindenstrauss states that a set of $n$ high dimensional data points can be projected down to $O(\log n/\epsilon^2)$ dimensions such that the square of their pairwise distances is preserved up to a small distortion $\epsilon\in(0,1)$. It has been proved that the JL lemma is optimal for the general case, therefore, improvements can only be explored for special cases. This work aims to improve the $\epsilon^{-2}$ dependency based on techniques inspired by the Hutch++ Algorithm, which reduces $\epsilon^{-2}$ to $\epsilon^{-1}$ for the related problem of implicit matrix trace estimation. We first present an algorithm to estimate the Euclidean lengths of the rows of a matrix. We prove for it element-wise probabilistic bounds that are at least as good as standard JL approximations in the worst-case, but are asymptotically better for matrices with decaying spectrum. Moreover, for any matrix, regardless of its spectrum, the algorithm achieves $\epsilon$-accuracy for the total, Frobenius norm-wise relative error using only $O(\epsilon^{-1})$ queries. This is a quadratic improvement over the norm-wise error of standard JL approximations. We also show how these results can be extended to estimate (i) the Euclidean distances between data points and (ii) the statistical leverage scores of tall-and-skinny data matrices, which are ubiquitous for many applications, with analogous theoretical improvements. Proof-of-concept numerical experiments are presented to validate the theoretical analysis.


title: Non-split supermanifolds associated with the cotangent bundle

abstract: Here, I study the problem of classification of non-split supermanifolds having as retract the split supermanifold $(M,\Omega)$, where $\Omega$ is the sheaf of holomorphic forms on a given complex manifold $M$ of dimension $> 1$. I propose a general construction associating with any $d$-closed $(1,1)$-form $\omega$ on $M$ a supermanifold with retract $(M,\Omega)$ which is non-split whenever the Dolbeault class of $\omega$ is non-zero. In particular, this gives a non-empty family of non-split supermanifolds for any flag manifold $M\ne \mathbb{CP}^1$. In the case where $M$ is an irreducible compact Hermitian symmetric space, I get a complete classification of non-split supermanifolds with retract $(M,\Omega)$. For each of these supermanifolds, the 0- and 1-cohomology with values in the tangent sheaf are calculated. As an example, I study the $\Pi$-symmetric super-Grassmannians introduced by Yu. Manin.


title: Structured Prompt Tuning

abstract: We propose structured prompt tuning, a simple and effective method to improve prompt tuning. Instead of prepending a sequence of tunable embeddings to the input, we generate the soft prompt embeddings through a hypernetwork. Our approach subsumes the standard prompt tuning, allows more flexibility in model design and can be applied to both single-task and multi-task training settings. Empirically, structured prompt tuning shows a gain of +1.2$~1.5 points on the GLUE benchmark and is less sensitive to the change of learning rate, compared to standard prompt tuning.


title: Unzipping hBN with ultrashort mid-infrared pulses

abstract: Manipulating the nanostructure of materials is critical for numerous applications in electronics, magnetics, and photonics. However, conventional methods such as lithography and laser-writing require cleanroom facilities or leave residue. Here, we describe a new approach to create atomically sharp line defects in hexagonal boron nitride (hBN) at room temperature by direct optical phonon excitation in the mid-infrared (mid-IR). We term this phenomenon "unzipping" to describe the rapid formation and growth of a <30-nm-wide crack from a point within the laser-driven region. The formation of these features is attributed to large atomic displacements and high local bond strain from driving the crystal at a natural resonance. This process is distinguished by (i) occurring only under resonant phonon excitation, (ii) producing highly sub-wavelength features, and (iii) sensitivity to crystal orientation and pump laser polarization. Its cleanliness, directionality, and sharpness enable applications in in-situ flake cleaving and phonon-wave-coupling via free space optical excitation.


title: Fast & Furious: Modelling Malware Detection as Evolving Data Streams

abstract: Malware is a major threat to computer systems and imposes many challenges to cyber security. Targeted threats, such as ransomware, cause millions of dollars in losses every year. The constant increase of malware infections has been motivating popular antiviruses (AVs) to develop dedicated detection strategies, which include meticulously crafted machine learning (ML) pipelines. However, malware developers unceasingly change their samples' features to bypass detection. This constant evolution of malware samples causes changes to the data distribution (i.e., concept drifts) that directly affect ML model detection rates, something not considered in the majority of the literature work. In this work, we evaluate the impact of concept drift on malware classifiers for two Android datasets: DREBIN (about 130K apps) and a subset of AndroZoo (about 285K apps). We used these datasets to train an Adaptive Random Forest (ARF) classifier, as well as a Stochastic Gradient Descent (SGD) classifier. We also ordered all datasets samples using their VirusTotal submission timestamp and then extracted features from their textual attributes using two algorithms (Word2Vec and TF-IDF). Then, we conducted experiments comparing both feature extractors, classifiers, as well as four drift detectors (DDM, EDDM, ADWIN, and KSWIN) to determine the best approach for real environments. Finally, we compare some possible approaches to mitigate concept drift and propose a novel data stream pipeline that updates both the classifier and the feature extractor. To do so, we conducted a longitudinal evaluation by (i) classifying malware samples collected over nine years (2009-2018), (ii) reviewing concept drift detection algorithms to attest its pervasiveness, (iii) comparing distinct ML approaches to mitigate the issue, and (iv) proposing an ML data stream pipeline that outperformed literature approaches.


title: The Chromatic Number of $\mathbb{R}^{n}$ with Multiple Forbidden Distances

abstract: Let $A\subset\mathbb{R}_{>0}$ be a finite set of distances, and let $G_{A}(\mathbb{R}^{n})$ be the graph with vertex set $\mathbb{R}^{n}$ and edge set $\{(x,y)\in\mathbb{R}^{n}:\ \|x-y\|_{2}\in A\}$, and let $\chi(\mathbb{R}^{n},A)=\chi\left(G_{A}(\mathbb{R}^{n})\right)$. Erd\H{o}s asked about the growth rate of the $m$-distance chromatic number \[ \bar{\chi}(\mathbb{R}^{n};m)=\max_{|A|=m}\chi(\mathbb{R}^{n},A). \] We improve the best existing lower bound for $\bar{\chi}(\mathbb{R}^{n};m)$, and show that \[ \bar{\chi}(\mathbb{R}^{n};m)\geq\left(\Gamma_{\chi}\sqrt{m+1}+o(1)\right)^{n} \] where $\Gamma_{\chi}=0.79983\dots$ is an explicit constant. Our full result is more general, and applies to cliques in this graph. Let $\chi_{k}(G)$ denote the minimum number of colors needed to color $G$ so that no color contains a $(k+1)$-clique, and let $\bar{\chi}_{k}(\mathbb{R}^{n};m)$ denote the largest value this takes for any distance set of size $m$ . Using the Partition Rank Method, we show that \[ \bar{\chi}_{k}(\mathbb{R}^{n};m)>\left(\Gamma_{\chi}\sqrt{\frac{m+1}{k}}+o(1)\right)^{n}. \]


title: Numerical stability of solitary waves in flows with constant vorticity for the Euler equations

abstract: The study of the Euler equations in flows with constant vorticity has piqued the curiosity of a considerable number of researchers over the years. Much research has been conducted on this subject under the assumption of steady flow. In this work, we provide a numerical approach that allows us to compute solitary waves in flows with constant vorticity and analyse their stability. Through a conformal mapping technique, we compute solutions of the steady Euler equations, then feed them as initial data for the time-dependent Euler equations. We focus on analysing to what extent the steady solitary waves are stable within the time-dependent framework. Our numerical simulations indicate that although it is possible to compute solitary waves for the steady Euler equations in flows with large values of vorticity, such waves are not numerically stable for vorticities with absolute value much greater than one. Besides, we notice that large waves are unstable even for small values of vorticity.


title: Robust quantum entanglement and teleportation in the tetrapartite spin-1/2 square clusters: Theoretical study on the effect of a cyclic four-spin exchange

abstract: The whole entanglement measure so-called geometric $\Pi_4$ average of tangles and bipartite entanglement of the antiferromagnetic spin-1/2 XXX Heisenberg model on a tetranuclear square cluster with cyclic four-spin interaction are rigorously examined by the help of thermal negativities. The model comprises two nearest-neighbor exchange couplings $J_1$ and $J_2$ such that $J_1\gg J_2$. When the cyclic four-spin exchange is zero, the maximum value of whole entanglement $\Pi_4$ is achieved at low enough temperatures and relatively high magnetic fields $(B\approx J_1)$. Also, maximum bipartite entanglement between pair spins with exchange coupling $J_1$ is achievable at high temperature and high magnetic field. This quantity remains alive for sufficiently high temperature and high magnetic field values comparable with the relevant exchange coupling $J_1$. A nonzero value of the cyclic four-spin exchange notably enhances the degree of the whole entanglement, while it weakens the bipartite entanglement degree. We demonstrate that the whole entanglement reaches an unconventional minimum at a special parameter region of cyclic four-spin exchange almost ten order of magnitude smaller than $J_1$, where the system is in a quantum antiferromagnetic state. The real complex $[\text{Cu}_4\text{L}_4(\text{H}_2\text{O})_4](\text{ClO}_4)_4$ as a strong antiferromagnetic tetranuclear square compound provides us an experimental representative to estimate the strength of the whole and bipartite entanglements at high enough temperature. It is demonstrated that the entanglement negativities of this complex are yet depend on the considered cyclic four-spin interaction even though its magnitude is significantly smaller than $J_1$.


title: A finite Topological Type Theorem for open manifolds with Non-negative Ricci Curvature and Almost Maximal Local Rewinding Volume

abstract: In this paper, we prove finite topological type theorems for open manifolds with non-negative Ricci curvature under a new additional regularity assumption on metrics, almost maximal local rewinding volume. In contrast to past related works, our theorems get rid of restrictions of sectional curvature or conjugate radius. Specially our settings do not necessarily satisfy a triangle comparison of Toponogov type, and our new approach also applies to past works as far as we know.


title: Upper bounds for the product of element orders of finite groups

abstract: Let $G$ be a finite group of order $n$, and denote by $\rho(G)$ the product of element orders of $G$. The aim of this work is to provide some upper bounds for $\rho(G)$ depending only on $n$ and on its least prime divisor, when $G$ belongs to some classes of non-cyclic groups.


title: Colossal phonon drag enhanced thermopower in lightly doped diamond

abstract: Diamond is one of the most studied materials because of its unique combination of remarkable electrical, mechanical, thermal and optical properties. Using a fully self-consistent ab initio theory of coupled electron-phonon transport, we reveal another striking behavior: a huge drag enhancement of the thermopower of lightly doped diamond. Thermopower values of around 100,000 microvolts per Kelvin are found at 100 K, significantly exceeding the highest previously measured value in the correlated metal FeSb2, and occurring at much higher temperatures. The enormous thermopower in diamond arises primarily from exceptionally weak anharmonic phonon decay around and below 100 K that facilitates efficient momentum exchange between charge carriers and phonons through electron-phonon interactions. Exceedingly large thermoelectric power factors are also identified. This work gives insights into the physics of the coupled electron-phonon system in solids and advances our understanding of thermoelectric transport in the regime of strong drag.


title: ColdGuess: A General and Effective Relational Graph Convolutional Network to Tackle Cold Start Cases

abstract: Low-quality listings and bad actor behavior in online retail websites threatens e-commerce business as these result in sub-optimal buying experience and erode customer trust. When a new listing is created, how to tell it has good-quality? Is the method effective, fast, and scalable? Previous approaches often have three limitations/challenges: (1) unable to handle cold start problems where new sellers/listings lack sufficient selling histories. (2) inability of scoring hundreds of millions of listings at scale, or compromise performance for scalability. (3) has space challenges from large-scale graph with giant e-commerce business size. To overcome these limitations/challenges, we proposed ColdGuess, an inductive graph-based risk predictor built upon a heterogeneous seller product graph, which effectively identifies risky seller/product/listings at scale. ColdGuess tackles the large-scale graph by consolidated nodes, and addresses the cold start problems using homogeneous influence1. The evaluation on real data demonstrates that ColdGuess has stable performance as the number of unknown features increases. It outperforms the lightgbm2 by up to 34 pcp ROC-AUC in a cold start case when a new seller sells a new product . The resulting system, ColdGuess, is effective, adaptable to changing risky seller behavior, and is already in production


title: Colloidal transport in twisted lattices of optical tweezers

abstract: We simulate the transport of colloidal particles driven by a static and homogeneous drift force, and subject to the optical potential created by two lattices of optical tweezers. The lattices of optical tweezers are parallel to each other, shifted, and rotated by a twist angle. Due to a negative interference between the potential of the two lattices, flat channels appear in the total optical potential. At specific twist angles, known as magic-angles, the flat channels percolate the entire system and the colloidal particles can then be transported using a weak external drift force. We characterize the transport in both square and hexagonal lattices of twisted optical tweezers


title: Quantum field theoretic representation of Wilson surfaces: I higher coadjoint orbit theory

abstract: This is the first of a series of two papers devoted to the partition function realization of Wilson surfaces in strict higher gauge theory. A higher version of the Kirillov-Kostant-Souriau theory of coadjoint orbits is presented based on the derived geometric framework, which has shown its usefulness in 4--dimensional higher Chern--Simons theory. An original notion of derived coadjoint orbit is put forward. A theory of derived unitary line bundles and Poisson structures on regular derived orbits is constructed. The proper derived counterpart of the Bohr--Sommerfeld quantization condition is then identified. A version of derived prequantization is proposed. The difficulties hindering a full quantization, shared with other approaches to higher quantization, are pinpointed and a possible way--out is suggested. The theory we elaborate provide the geometric underpinning for the field theoretic constructions of the companion paper.


title: Quantum field theoretic representation of Wilson surfaces: II higher topological coadjoint orbit model

abstract: This is the second of a series of two papers devoted to the partition function realization of Wilson surfaces in strict higher gauge theory. A higher 2--dimensional counterpart of the topological coadjoint orbit quantum mechanical model computing Wilson lines is presented based on the derived geometric framework, which has shown its usefulness in 4--dimensional higher Chern--Simons theory. Its symmetries are described. Its quantization is analyzed in the functional integral framework. Strong evidence is provided that the model does indeed underlie the partition function realization of Wilson surfaces. The emergence of the vanishing fake curvature condition is explained and homotopy invariance for a flat higher gauge field is shown. The model's Hamiltonian formulation is further furnished highlighting the model's close relationship to the derived Kirillov-Kostant-Souriau theory developed in the companion paper.


title: Optimizing Return and Secure Disposal of Prescription Opioids to Reduce the Diversion to Secondary Users and Black Market

abstract: Opioid Use Disorder (OUD) has reached an epidemic level in the US. Diversion of unused prescription opioids to secondary users and black market significantly contributes to the abuse and misuse of these highly addictive drugs, leading to the increased risk of OUD and accidental opioid overdose within communities. Hence, it is critical to design effective strategies to reduce the non-medical use of opioids that can occur via diversion at the patient level. In this paper, we aim to address this critical public health problem by designing strategies for the return and safe disposal of unused prescription opioids. We propose a data-driven optimization framework to determine the optimal incentive disbursement plans and locations of easily accessible opioid disposal kiosks to motivate prescription opioid users of diverse profiles in returning their unused opioids. We develop a Mixed-Integer Non-Linear Programming (MINLP) model to solve the decision problem, followed by a reformulation scheme using Benders Decomposition that results in a computationally efficient solution. We present a case study to show the benefits and usability of the model using a dataset created from Massachusetts All Payer Claims Data (MA APCD). Our proposed model allows the policymakers to estimate and include a penalty cost considering the economic and healthcare burden associated with prescription opioid diversion. Our numerical experiments demonstrate the ability of model and usefulness in determining optimal locations of opioid disposal kiosks and incentive disbursement plans for maximizing the disposal of unused opioids. The proposed optimization framework offers various trade-off strategies that can help government agencies design pragmatic policies for reducing the diversion of unused prescription opioids.


title: Scoring Coreference Chains with Split-Antecedent Anaphors

abstract: Anaphoric reference is an aspect of language interpretation covering a variety of types of interpretation beyond the simple case of identity reference to entities introduced via nominal expressions covered by the traditional coreference task in its most recent incarnation in ONTONOTES and similar datasets. One of these cases that go beyond simple coreference is anaphoric reference to entities that must be added to the discourse model via accommodation, and in particular split-antecedent references to entities constructed out of other entities, as in split-antecedent plurals and in some cases of discourse deixis. Although this type of anaphoric reference is now annotated in many datasets, systems interpreting such references cannot be evaluated using the Reference coreference scorer Pradhan et al. (2014). As part of the work towards a new scorer for anaphoric reference able to evaluate all aspects of anaphoric interpretation in the coverage of the Universal Anaphora initiative, we propose in this paper a solution to the technical problem of generalizing existing metrics for identity anaphora so that they can also be used to score cases of split-antecedents. This is the first such proposal in the literature on anaphora or coreference, and has been successfully used to score both split-antecedent plural references and discourse deixis in the recent CODI/CRAC anaphora resolution in dialogue shared tasks.


title: Linearly representable games and pseudo-polynomial calculation of the Shapley value

abstract: We introduce the notion of linearly representable games. Broadly speaking, these are TU games that can be described by as many parameters as the number of players, like weighted voting games, airport games, or bankruptcy games. We show that the Shapley value calculation is pseudo-polynomial for linearly representable games. This is a generalization of many classical and recent results in the literature. Our method naturally turns into a strictly polynomial algorithm when the parameters are polynomial in the number of players.


title: Perturbation Theory and the Sum of Squares

abstract: The sum-of-squares (SoS) hierarchy is a powerful technique based on semi-definite programming that can be used for both classical and quantum optimization problems. This hierarchy goes under several names; in particular, in quantum chemistry it is called the reduced density matrix (RDM) method. We consider the ability of this hierarchy to reproduce weak coupling perturbation theory for three different kinds of systems: spin (or qubit) systems, bosonic systems (the anharmonic oscillator), and fermionic systems with quartic interactions. For such fermionic systems, we show that degree-$4$ SoS (called $2$-RDM in quantum chemsitry) does not reproduce second order perturbation theory but degree-$6$ SoS ($3$-RDM) does (and we conjecture that it reproduces third order perturbation theory). Indeed, we identify a fragment of degree-$6$ SoS which can do this, which may be useful for practical quantum chemical calculations as it may be possible to implement this fragment with less cost than the full degree-$6$ SoS. Remarkably, this fragment is very similar to one studied by Hastings and O'Donnell for the Sachdev-Ye-Kitaev (SYK) model.


title: On the boundedness of singularities via normalized volume

abstract: In this article we study conjectures regarding normalized volume and boundedness of singularities. We focus on singularities with a torus action of complexity 1, threefold singularities, and hypersurface singularities. Given a real value v>0, we prove that the class of K-semistable threefold singularities with normalized volume at least v forms a bounded family. Analogous statements are proved in the case of n-dimensional complexity-1 and n-dimensional hypersurface singularities for arbitary n. In the general case of klt singularities, i.e. without the assumption on K-semistability, we show that, up to special degenerations, the normalized volume bounds singularities with a complexity-1 torus action. We exhibit a 3-dimensional example which shows that this last statement is optimal.


title: Beyond Impossibility: Balancing Sufficiency, Separation and Accuracy

abstract: Among the various aspects of algorithmic fairness studied in recent years, the tension between satisfying both \textit{sufficiency} and \textit{separation} -- e.g. the ratios of positive or negative predictive values, and false positive or false negative rates across groups -- has received much attention. Following a debate sparked by COMPAS, a criminal justice predictive system, the academic community has responded by laying out important theoretical understanding, showing that one cannot achieve both with an imperfect predictor when there is no equal distribution of labels across the groups. In this paper, we shed more light on what might be still possible beyond the impossibility -- the existence of a trade-off means we should aim to find a good balance within it. After refining the existing theoretical result, we propose an objective that aims to balance \textit{sufficiency} and \textit{separation} measures, while maintaining similar accuracy levels. We show the use of such an objective in two empirical case studies, one involving a multi-objective framework, and the other fine-tuning of a model pre-trained for accuracy. We show promising results, where better trade-offs are achieved compared to existing alternatives.


title: Multilevel sentiment analysis in arabic

abstract: In this study, we aimed to improve the performance results of Arabic sentiment analysis. This can be achieved by investigating the most successful machine learning method and the most useful feature vector to classify sentiments in both term and document levels into two (positive or negative) categories. Moreover, specification of one polarity degree for the term that has more than one is investigated. Also to handle the negations and intensifications, some rules are developed. According to the obtained results, Artificial Neural Network classifier is nominated as the best classifier in both term and document level sentiment analysis (SA) for Arabic Language. Furthermore, the average F-score achieved in the term level SA for both positive and negative testing classes is 0.92. In the document level SA, the average F-score for positive testing classes is 0.94, while for negative classes is 0.93.


title: Which black hole formed first? Mass-ratio reversal in massive binary stars from gravitational-wave data

abstract: Population inference of gravitational-wave catalogues is a useful tool to translate observations of black-hole mergers into constraints on compact-binary formation. Different formation channels predict identifiable signatures in the astrophysical distributions of source parameters, such as masses and spins. One example within the scenario of isolated binary evolution is mass-ratio reversal: even assuming efficient core-envelope coupling in massive stars and tidal spin-up of the stellar companion by the first-born black hole, a compact binary with a lighter, non-spinning first-born black hole and a heavier, spinning second-born black hole can still form through mass transfer from the initially more to less massive progenitor. Using current LIGO/Virgo observations, we measure the fraction of sources in the underlying population with this mass-spin combination and interpret it as a constraint on the occurrence of mass-ratio reversal in massive binary stars. We modify commonly used population models by including negligible-spin subpopulations and, most crucially, non-identical component spin distributions. We do not find evidence for subpopulations of black holes with negligible spins and measure the fraction of massive binary stars undergoing mass-ratio reversal to be consistent with zero and $<32\%$ ($99\%$ confidence). The dimensionless spin peaks around $0.2\unicode{x2013}0.3$ appear robust, however, and are yet to be explained by progenitor formation scenarios.


title: Non-invasive estimation of left ventricle elastance using a multi-compartment lumped parameter model and gradient-based optimization with forward-mode automatic differentiation

abstract: Accurate estimates of left ventricle elastances based on non-invasive measurements are required for clinical decision-making during treatment of valvular diseases. The present study proposes a parameter discovery approach based on a lumped parameter model of the cardiovascular system in conjunction with optimization and non-invasive, clinical input measurements to approximate important cardiac parameters, including left ventricle elastances. A subset of parameters of a multi-compartment lumped parameter model was estimated using 1st order Adam gradient descent and hybrid Adam and 2nd order quasi-Newton limited-memory Broyden-Fletcher-Goldfarb-Shanno optimization routines. Forward-mode automatic differentiation was used to estimate the Jacobian matrices and compared to the common finite differences approach. Synthetic data of healthy and diseased hearts were generated as proxies for non-invasive clinical measurements and used to evaluate the algorithm. Twelve parameters including left ventricle elastances were selected for optimization based on 99% explained variation in mean left ventricle pressure and volume. The hybrid optimization strategy yielded the best overall results compared to 1st order optimization with automatic differentiation and finite difference approaches, with mean absolute percentage errors ranging from 6.67% to 14,14%. Errors in left ventricle elastance estimates for simulated aortic stenosis and mitral regurgitation were smallest when including synthetic measurements for arterial pressure and valvular flow rate at approximately 2% and degraded to roughly 5% when including volume trends as well. However, the latter resulted in better tracking of the left ventricle pressure waveforms and may be considered when the necessary equipment is available.


title: Certified Robustness Against Natural Language Attacks by Causal Intervention

abstract: Deep learning models have achieved great success in many fields, yet they are vulnerable to adversarial examples. This paper follows a causal perspective to look into the adversarial vulnerability and proposes Causal Intervention by Semantic Smoothing (CISS), a novel framework towards robustness against natural language attacks. Instead of merely fitting observational data, CISS learns causal effects p(y|do(x)) by smoothing in the latent semantic space to make robust predictions, which scales to deep architectures and avoids tedious construction of noise customized for specific attacks. CISS is provably robust against word substitution attacks, as well as empirically robust even when perturbations are strengthened by unknown attack algorithms. For example, on YELP, CISS surpasses the runner-up by 6.7% in terms of certified robustness against word substitutions, and achieves 79.4% empirical robustness when syntactic attacks are integrated.


title: Constant Curvature Curve Tube Codes for Low-Latency Analog Error Correction

abstract: Recent research in ultra-reliable and low latency communications (URLLC) for future wireless systems has spurred interest in short block-length codes. In this context, we analyze arbitrary harmonic bandwidth (BW) expansions for a class of high-dimension constant curvature curve codes for analog error correction of independent continuous-alphabet uniform sources. In particular, we employ the circumradius function from knot theory to prescribe insulating tubes about the centerline of constant curvature curves. We then use tube packing density within a hypersphere to optimize the curve parameters. The resulting constant curvature curve tube (C3T) codes possess the smallest possible latency, i.e., block-length is unity under BW expansion mapping. Further, the codes perform within $5$ dB signal-to-distortion ratio of the optimal performance theoretically achievable at a signal-to-noise ratio (SNR) $< -5$ dB for BW expansion factor $n \leq 10$. Furthermore, we propose a neural-network-based method to decode C3T codes. We show that, at low SNR, the neural-network-based C3T decoder outperforms the maximum likelihood and minimum mean-squared error decoders for all $n$. The best possible digital codes require two to three orders of magnitude higher latency compared to C3T codes, thereby demonstrating the latter's utility for URLLC.


title: Finite element modelling and investigation of the interaction between an ultrasonic wave and a discontinuous interface

abstract: When two surfaces are brought into contact and slide against each other, junctions are formed at the interface. The dynamics of formation, rupture and evolution of these junctions governs the tribological response of the macro-contact. Getting insight on the real behavior of these junctions is a challenging task. Theory states that contacts and asperities are continuously altered in two bodies due to applied pressure, which increases the number of active contacts. To addresses such altering interface conditions, wave propagation through tribological interface by means of the development of a numerical model is proposed. The proposed method is used to study and relate crucial parameters like stiffness, contact width, number of asperities that form a basis for an interface.


title: Gender differences in the neural structures of (non) emotional perspective-taking: A tDCS study

abstract: The perspective-taking in social cognition is an ability that makes third-person judgments about the intentions, beliefs and thoughts of others. We aimed to investigate gender differences in the neural structure differences in (non) emotional perspective-taking ability.Thirty healthy adults (15 females and 15 males) received anodal and sham transcranial direct current stimulation (tDCS) (2 mA, 15 min) over the right temporoparietal junction (rTPJ) and ventromedial prefrontal cortex (vmPFC).Participants underwent a pain visual analog scale, a visuospatial perspective-taking task (VPT) and a self-referential attribution task during stimulation.Findings revealed significant differences between vmPFC and rTPJ anodal tDCS stimulation in emotional perspective-taking.Primarily the vmPFC increased emotional perception in comparison with the rTPJ cite.This emotional perception pattern was significant only for men. The rTPJ enhanced the males' non-emotional perspective ability performance compared to their female contributors.The results indicated that both the rTPJ and vmPFC are associated with self-referential processing (SRP).The vmPFC increased Self Emotional bias negatively while rTPJ increased it positively.The vmPFC and rTPJ play a role in (non) emotional perspective-taking in men.While the vmPFC increased men's emotional perspective-taking compared to rTPJ.The rTPJ excitatory stimulation enhanced males' performance compared to females.Moreover, it indicated that the rTPJ posterior cluster activation in men is higher than in women.


title: K-12BERT: BERT for K-12 education

abstract: Online education platforms are powered by various NLP pipelines, which utilize models like BERT to aid in content curation. Since the inception of the pre-trained language models like BERT, there have also been many efforts toward adapting these pre-trained models to specific domains. However, there has not been a model specifically adapted for the education domain (particularly K-12) across subjects to the best of our knowledge. In this work, we propose to train a language model on a corpus of data curated by us across multiple subjects from various sources for K-12 education. We also evaluate our model, K12-BERT, on downstream tasks like hierarchical taxonomy tagging.


title: Construction of GCM hypersurfaces in perturbations of Kerr

abstract: This is a follow-up of \cite{KS:Kerr1} on the general covariant modulated (GCM) procedure in perturbations of Kerr. In this paper, we construct GCM hypersurfaces, which play a central role in extending GCM admissible spacetimes in \cite{KS:main} where decay estimates are derived in the context of nonlinear stability of Kerr family for $|a|\ll m$. As in \cite{KS}, the central idea of the construction of GCM hypersurfaces is to concatenate a $1$--parameter family of GCM spheres of \cite{KS:Kerr1} by solving an ODE system. The goal of this paper is to get rid of the symmetry restrictions in the GCM procedure introduced in \cite{KS} and thus remove an essential obstruction in extending the results to a full stability proof of the Kerr family.


title: Proposed realization of critical regions in a one-dimensional flat band lattice with a quasi-periodic potential

abstract: In the previous work, the concept of critical region in a generalized Aubry-Andr\'{e} model (Ganeshan-Pixley-Das Sarma's model) has been set up. In this work we propose that the critical region can be realized in a one-dimensional flat band lattice system with a quasi-periodic potential. It is found that the above flat band lattice model can be reduced into an effective Ganeshan-Pixley-Das Sarma's model where the effective parameter $\alpha=V_0/(2E)$ with potential strength $V_0$ and eigenenergy $E$. It is shown that there are very rich physics in this model. Depending on $|\alpha|<1$ or $|\alpha|\geq1$, the effective quasi-periodic potential would be bounded or unbounded. For these two cases, the Lyapunov exponent [$\gamma(E)$], mobility edges ($E_c$) and critical indices ($\nu$) of localized length are obtained exactly. In addition, several localized state regions, extended state regions and critical regions would appear in the parameter $V_0-E$ plane. For a given potential strength $V_0$, the localized-extended and localized-critical transitions can co-exist. Furthermore, we find the critical index of localized length $\xi(E)=1/\gamma(E)$ is $\nu=1$ near localized-extended transitions and $\nu=1/2$ near the localized-critical transitions. Near the transition point between the bound ($|\alpha|<1$) and unbounded ($|\alpha|\geq1$) cases, i.e, $|\alpha|=|V_0/(2E)|= 1$, the derivative of Lypunov exponent of localized states with respect to energy is discontinuous. The localized states in bounded and unbounded cases can be distinguished from each other by Avila's acceleration. At the end, we find that near the transition point, there also exist critical-extended transitions in the phase diagram.


title: Hippocluster: an efficient, hippocampus-inspired algorithm for graph clustering

abstract: Random walks can reveal communities or clusters in networks, because they are more likely to stay within a cluster than leave it. Thus, one family of community detection algorithms uses random walks to measure distance between pairs of nodes in various ways, and then applies K-Means or other generic clustering methods to these distances. Interestingly, information processing in the brain may suggest a simpler method of learning clusters directly from random walks. Drawing inspiration from the hippocampus, we describe a simple two-layer neural learning framework. Neurons in one layer are associated with graph nodes and simulate random walks. These simulations cause neurons in the second layer to become tuned to graph clusters through simple associative learning. We show that if these neuronal interactions are modelled a particular way, the system is essentially a variant of K-Means clustering applied directly in the walk-space, bypassing the usual step of computing node distances/similarities. The result is an efficient graph clustering method. Biological information processing systems are known for high efficiency and adaptability. In tests on benchmark graphs, our framework demonstrates this high data-efficiency, low memory use, low complexity, and real-time adaptation to graph changes, while still achieving clustering quality comparable to other algorithms.


title: Women, artificial intelligence, and key positions in collaboration networks: Towards a more equal scientific ecosystem

abstract: Scientific collaboration in almost every discipline is mainly driven by the need of sharing knowledge, expertise, and pooled resources. Science is becoming more complex which has encouraged scientists to involve more in collaborative research projects in order to better address the challenges. As a highly interdisciplinary field with a rapidly evolving scientific landscape, artificial intelligence calls for researchers with special profiles covering a diverse set of skills and expertise. Understanding gender aspects of scientific collaboration is of paramount importance, especially in a field such as artificial intelligence that has been attracting large investments. Using social network analysis, natural language processing, and machine learning and focusing on artificial intelligence publications for the period from 2000 to 2019, in this work, we comprehensively investigated the effects of several driving factors on acquiring key positions in scientific collaboration networks through a gender lens. It was found that, regardless of gender, scientific performance in terms of quantity and impact plays a crucial in possessing the "social researcher" in the network. However, subtle differences were observed between female and male researchers in acquiring the "local influencer" role.


title: Lyapunov exponent, mobility edges, and critical region in the generalized Aubry-Andre model with an unbounded quasiperiodic potential

abstract: In this work, we investigate the Anderson localization problems of the generalized Aubry-Andr\'{e} model (Ganeshan-Pixley-Das Sarma's model) with an unbounded quasi-periodic potential where the parameter $|\alpha|\geq1$. The Lyapunov exponent $\gamma(E)$ and the mobility edges $E_c$ are exactly obtained for the unbounded quasi-periodic potential. With the Lyapunov exponent, we find that there exists a critical region in the parameter $\lambda-E$ plane. The critical region consists of critical states. In comparison with localized and extended states, the fluctuation of spatial extensions of the critical states is much larger. The numerical results show that the scaling exponent of inverse participation ratio (IPR) of critical states $x\simeq0.5$. Furthermore, it is found that the critical indices of localized length $\nu=1$ for bounded ($|\alpha|<1$) case and $\nu=1/2$ for unbounded ($|\alpha|\geq1$) case. The above distinct critical indices can be used to distinguish the localized-extended from localized-critical transitions. At the end, we show that the systems with different $E$ for both cases of $|\alpha|<1$ and $|\alpha|\geq1$ can be classified by the Lyapunov exponent $\gamma(E)$ and Avila's quantized acceleration $\omega(E)$.


title: Structured foraging of soil predators unveils functional responses to bacterial defenses

abstract: Predators and their foraging strategies often determine ecosystem structure and function. Yet, the role of protozoan predators in microbial soil ecosystems remains elusive despite the importance of these ecosystems to global biogeochemical cycles. In particular, amoebae -- the most abundant soil protozoan predators of bacteria -- remineralize soil nutrients and shape the bacterial community. However, their foraging strategies and their role as microbial ecosystem engineers remain unknown. Here we present a multi-scale approach, connecting microscopic single-cell analysis and macroscopic whole ecosystem dynamics, to expose a phylogenetically widespread foraging strategy, in which an amoeba population spontaneously partitions between cells with fast, polarized movement and cells with slow, unpolarized movement. Such differentiated motion gives rise to efficient colony expansion and consumption of the bacterial substrate. From these insights we construct a theoretical model that predicts how disturbances to amoeba growth rate and movement disrupt their predation efficiency. These disturbances correspond to distinct classes of bacterial defenses, which allows us to experimentally validate our predictions. All considered, our characterization of amoeba foraging identifies amoeba mobility, and not amoeba growth, as the core determinant of predation efficiency and a key target for bacterial defense systems.


title: Face2Text revisited: Improved data set and baseline results

abstract: Current image description generation models do not transfer well to the task of describing human faces. To encourage the development of more human-focused descriptions, we developed a new data set of facial descriptions based on the CelebA image data set. We describe the properties of this data set, and present results from a face description generator trained on it, which explores the feasibility of using transfer learning from VGGFace/ResNet CNNs. Comparisons are drawn through both automated metrics and human evaluation by 76 English-speaking participants. The descriptions generated by the VGGFace-LSTM + Attention model are closest to the ground truth according to human evaluation whilst the ResNet-LSTM + Attention model obtained the highest CIDEr and CIDEr-D results (1.252 and 0.686 respectively). Together, the new data set and these experimental results provide data and baselines for future work in this area.


title: CHANG-ES XXIX: The Sub-kpc Nuclear Bubble of NGC 4438

abstract: AGN bubbles could play an important role in accelerating high-energy CRs and galactic feedback. Only in nearby galaxies could we have high enough angular resolution in multi-wavelengths to study the sub-kpc environment of the AGN, where the bubbles are produced and strongly interact with the surrounding ISM. In this paper, we present the latest Chandra observations of the Virgo cluster galaxy NGC 4438, which hosts multi-scale bubbles detected in various bands. The galaxy also has low current star formation activity, so these bubbles are evidently produced by the AGN rather than a starburst. We present spatially resolved spectral analysis of the Chandra data of the $\sim3^{\prime\prime}\times5^{\prime\prime}$ ($\sim200{\rm~pc}\times350\rm~pc$) nuclear bubble of NGC 4438. The power law tail in the X-ray spectra can be most naturally explained as synchrotron emission from high-energy CR leptons. The hot gas temperature increases, while the overall contribution of the non-thermal X-ray emission decreases with the vertical distance from the galactic plane. We calculate the synchrotron cooling timescale of the CR leptons responsible for the non-thermal hard X-ray emission to be only a few tens to a few hundreds of years. The thermal pressure of the hot gas is about three times the magnetic pressure, but the current data cannot rule out the possibility that they are still in pressure balance. The spatially resolved spectroscopy presented in this paper may have important constraints on how the AGN accelerates CRs and drives outflows. We also discover a transient X-ray source only $\sim5^{\prime\prime}$ from the nucleus of NGC 4438. The source was not detected in 2002 and 2008, but became quite X-ray bright in March 2020, with an average 0.5-7 keV luminosity of $\sim10^{39}\rm~ergs~s^{-1}$.


title: El-WaveHoltz: A Time-Domain Iterative Solver for Time-Harmonic Elastic Waves

abstract: We consider the application of the WaveHoltz iteration to time-harmonic elastic wave equations with energy conserving boundary conditions. The original WaveHoltz iteration for acoustic Helmholtz problems is a fixed-point iteration that filters the solution of the wave equation with time-harmonic forcing and boundary data. As in the original WaveHoltz method, we reformulate the fixed point iteration as a positive definite linear system of equations that is iteratively solved by a Krylov method. We present two time-stepping schemes, one explicit and one (novel) implicit, which completely remove time discretization error from the WaveHoltz solution by performing a simple modification of the initial data and time-stepping scheme. Numerical experiments indicate an iteration scaling similar to that of the original WaveHoltz method, and that the convergence rate is dictated by the shortest (shear) wave speed of the problem. We additionally show that the implicit scheme can be advantageous in practice for meshes with disparate element sizes.


title: On the product formula for Toeplitz and related operators

abstract: In this note known formulas for the product of Toeplitz operators are revisited in the context of their applications to the study of Fredholmness, boundedness of Toeplitz products, and the Berezin-Toeplitz quantization. A few open problems are also mentioned.


title: Growth of disc-like pseudo-bulges in SDSS DR7 since z = 0.1

abstract: Cosmological simulations predict more classical bulges than their observational counterpart in the local Universe. Here, we quantify evolution of the bulges since $z=0.1$ using photometric parameters of nearly 39,000 unbarred disc galaxies from SDSS DR7 which are well represented by two components. We adopted a combination of the S\'ersic index and Kormendy relation to separate classical bulges and disc-like pseudo-bulges. We found that the fraction of pseudo-bulges (classical bulges) smoothly increases (decreases) as the Universe gets older. In the history of the Universe, there comes a point ($z \approx 0.016$) when classical bulges and pseudo-bulges become equal in number. The fraction of pseudo-bulges rises with increasing bulge to disc half-light radius ratio until R$_{\rm e}$/R$_{\rm hlr} \approx 0.6$ suggesting concentrated disc is the most favourable place for pseudo-bulge formation. The mean ellipticity of pseudo-bulges is always greater than that of classical bulges and it decreases with decreasing redshift indicating that the bulges tend to be more axisymmetric with evolution. Also, the massive bulges are progressing towards axisymmetry at steeper rate than the low-mass bulges. There is no tight correlation of bulge S\'ersic index evolution with other photometric properties of the galaxy. Using the sample of multi-component fitting of $S^4G$ data and $N-$body galaxy models, we have verified that our results are consistent or even more pronounced with multi-component fitting and high-resolution photometry.


title: Exploring the vortex phase diagram of Bogoliubov-de Gennes disordered superconductors

abstract: We study the interplay of vortices and disorder in a two-dimensional disordered superconductor at zero temperature described by the Bogoliubov-de Gennes (BdG) self-consistent formalism for lattices of sizes up to $100\times100$ where the magnetic flux is introduced by the Peierls's substitution. The substantial larger size than in previous approaches ($\leq 36\times 36$) has allowed us to identify a rich phase diagram as a function of the magnetic flux and the disorder strength. For sufficiently weak disorder, and not too strong magnetic flux, we observe a slightly distorted Abrikosov triangular vortex lattice. An increase in the magnetic flux leads to an unexpected rectangular vortex lattice. A further increase in disorder, or flux gradually destroy the lattice symmetry though strong vortex repulsion persists. An even stronger disorder leads to deformed single vortices with an inhomogeneous core. As number of vortices increases, vortices overlap becomes more frequent. Finally, we show that global phase coherence is a feature of all these phases and that disorder enhances substantially the critical magnetic flux with respect to the clean limit with a maximum on the metallic side of the insulating transition.


title: Central Limit Theorem for Euclidean Minimal Spanning Acycles

abstract: We investigate asymptotics for the minimal spanning acycles of the (Alpha)-Delaunay complex on a stationary Poisson process on $\mathbb{R}^d, d \geq 2$. Minimal spanning acycles are topological (or higher-dimensional) generalization of minimal spanning trees. We establish a central limit theorem for total weight of the minimal spanning acycle on a Poisson-Delaunay complex. Our approach also allows us to establish central limit theorems for sum of birth times and lifetimes in the persistent diagram of the Delaunay complex. The key to our proof is in showing the so-called weak stabilization of minimal spanning acycles which proceeds by establishing suitable chain maps and uses matroidal properties of minimal spanning acycles. In contrast to the proof of weak-stabilization for Euclidean minimal spanning trees via percolation-theoretic estimates, our weak-stabilization proof is algebraic in nature and provides an alternative proof even in the case of minimal spanning trees.


title: Extensions and Analysis of an Iterative Solution of the Helmholtz Equation via the Wave Equation

abstract: In this paper we extend analysis of the WaveHoltz iteration -- a time-domain iterative method for the solution of the Helmholtz equation. We expand the previous analysis of energy conserving problems and prove convergence of the WaveHoltz iteration for problems with impedance boundary conditions in a single spatial dimension. We then consider interior Dirichlet/Neumann problems with damping in any spatial dimension, and show that for a sufficient level of damping the WaveHoltz iteration converges in a number of iteration independent of the frequency. Finally, we present a discrete analysis of the WaveHoltz iteration for a family of higher order time-stepping schemes. We show that the fixed-point of the discrete WaveHoltz iteration converges to the discrete Helmholtz solution with the order of the time-stepper chosen. We present numerical examples and demonstrate that it is possible to completely remove time discretization error from the WaveHoltz solution through careful analysis of the discrete iteration together with updated quadrature formulas.


title: Telechain: Bridging Telecom Policy and Blockchain Practice

abstract: The use of blockchain in regulatory ecosystems is a promising approach to address challenges of compliance among mutually untrusted entities. In this work, we consider applications of blockchain technologies in telecom regulations. In particular, we address growing concerns around Unsolicited Commercial Communication (UCC aka. spam) sent through text messages (SMS) and phone calls in India. Despite several regulatory measures taken to curb the menace of spam it continues to be a nuisance to subscribers while posing challenges to telecom operators and regulators alike. In this paper, we present a consortium blockchain based architecture to address the problem of UCC in India. Our solution improves subscriber experiences, improves the efficiency of regulatory processes while also positively impacting all stakeholders in the telecom ecosystem. Unlike previous approaches to the problem of UCC, which are all ex-post, our approach to adherence to the regulations is ex-ante. The proposal described in this paper is a primary contributor to the revision of regulations concerning UCC and spam by the Telecom Regulatory Authority of India (TRAI). The new regulations published in July 2018 were first of a kind in the world and amended the 2010 Telecom Commercial Communication Customer Preference Regulation (TCCCPR), through mandating the use of a blockchain/distributed ledgers in addressing the UCC problem. In this paper, we provide a holistic account of of the projects' evolution from (1) its design and strategy, to (2) regulatory and policy action, (3) country wide implementation and deployment, and (4) evaluation and impact of the work.


title: Geometric analysis of perturbed contact instantons with Legendrian boundary conditions

abstract: In the present article, we provide analytic foundation of the following nonlinear elliptic system, called the \emph{Hamiltonian-perturbed contact instanton equation}, $$ (du - X_H \otimes \gamma)^{\pi(0,1)} = 0, \quad d(e^{g_{H, u}}u^*(\lambda + H \otimes \gamma)\circ j) = 0 $$ associated to a contact triad $(M,\lambda,J)$ and contact Hamiltonian $H$ and its boundary value problem under the Legendrian boundary condition. (1) We identify the correct choice of the action functional for perturbed contact Hamiltonian trajectories which provides a gradient structure for the system and derive its first variation formula. (2) We identify the correct choice of the energy for the bubbling analysis for the finite energy solutions for the equation. (3) We develop elliptic regularity theory for the solution, called \emph{perturbed contact instantons}: We first establish a global $W^{2,2}$ bound by the Hamiltonian calculus and the harmonic theory of the vector-valued one form $d_Hu : = du - X_H(u)\otimes \gamma$ and its relevant Weitzenb\"ock formulae utilizing the contact triad connection of the contact triad $(M,\lambda, J)$. Then we establish $C^{k,\alpha}$-estimates by an alternating boot-strap argument between the $\pi$-component of $d_Hu$ and the Reeb-component of $d_Hu$. Along the way, we also establish the boundary regularity theorem of $W^{1,4}$-weak solutions of perturbed contact instanton equation under the weak Legendrian boundary condition. (4) Based on this regularity theory, we prove an asymptotic $C^\infty$ convergence result at a puncture under the hypothesis of finite energy.


title: Image Based Password Authentication System

abstract: Preservation of information and computer security is broadly dependent on the secured authentication system which is underpinned by password. Text based password is a commonly used and available system for authentication. But it bears many limitations like shoulder surfing, dictionary attack, Phishing, guessing the password etc. In order to overwhelm these vulnerabilities of ancient textual password, many graphical or image based password authentication system has been introduced form last few years. But none of this graphical system is considered as enough adventurous to keep pace with these issues. Here we have proposed an image based password authentication system which is more methodical and can cope up with every vulnerability of recent password authentication system. To make our system hassle free and more reliable, we will only take username from an user for registration purpose as our system will generate a unique key number for that particular user and this key will be used as password for later login procedure. The user name and key both will be encrypted using a cryptography algorithm to prevent database hacking. There will be a randomized clickable image grid in our system. By clicking on this image grid, user will input the password key for login purpose. Here we have developed another method namely shoulder surfing resistant password. To prevent the attack of shoulder surfing, if any user wishes to change our system provided password key then he or she is allowed to do so by using this method. Besides this method allows user to change the password every single time of login. A user doesn't need to enter any textual password for authentication in our recent module and hence combination of all these features improve the security, usability and user friendliness of our system.


title: Constraints on energy scales from dark matter decay in a gauged $B-L$ model

abstract: Popular extensions of the standard model of particle physics feature new fields and symmetries which could, for example, dynamically generate neutrino masses from $B-L$ spontaneous symmetry breaking. If a new light scalar that decays into dark radiation appears in the spectrum of the theory, it could significantly modify the cosmological observables. In this case, cold dark matter could have a stable and a decaying component and limits on its decay rate $\Gamma_{\rm dcdm}$ can be used to put constraints on the new energy scales of a given model. We illustrate this idea using a gauged $B-L$ model where the dark radiation is in the form of light neutrinos.


title: Optimal Entanglement Distribution using Satellite Based Quantum Networks

abstract: Recent technological advancements in satellite based quantum communication has made it a promising technology for realizing global scale quantum networks. Due to better loss distance scaling compared to ground based fiber communication, satellite quantum communication can distribute high quality quantum entanglements among ground stations that are geographically separated at very long distances. This work focuses on optimal distribution of bipartite entanglements to a set of pair of ground stations using a constellation of orbiting satellites. In particular, we characterize the optimal satellite-to-ground station transmission scheduling policy with respect to the aggregate entanglement distribution rate subject to various resource constraints at the satellites and ground stations. We cast the optimal transmission scheduling problem as an integer linear programming problem and solve it efficiently for some specific scenarios. Our framework can also be used as a benchmark tool to measure the performance of other potential transmission scheduling policies.


title: CBI-time-changed L\'evy processes

abstract: We introduce and study the class of CBI-time-changed L\'evy processes (CBITCL), obtained by time-changing a L\'evy process with respect to an integrated continuous-state branching process with immigration (CBI). We characterize CBITCL processes as solutions to a certain stochastic integral equation and relate them to affine stochastic volatility processes. We provide a complete analysis of the time of explosion of exponential moments of CBITCL processes and study their asymptotic behavior. In addition, we show that CBITCL processes are stable with respect to a suitable class of equivalent changes of measure. As illustrated by some examples, CBITCL processes are flexible and tractable processes with a significant potential for applications in finance.


title: Nonconmutative coboundary equations over integrable systems

abstract: \def\G{\mathcal G} \def\M{\mathcal M} \def\cE{\mathcal E} We prove an analog of Liv\v{s}ic theorem for real-analytic families of cocycles over an integrable system with values in a Banach algebra $\G$ or a Lie group. Namely, we consider an integrable dynamical system $f:\M \equiv\torus^d \times [-1,1]^d\to \M$, $f(\theta, I)=(\theta + I, I)$, and a real-analytic family of cocycles $\eta_\eps : \M \to \G$, indexed by a complex parameter $\eps$ in an open ball $\cE_\rho \in\CC$. We show that if $\eta_\eps$ has trivial periodic data, i.e., $$ \eta_\eps(f^{n-1}(p))\dots \eta_{\eps} (f(p))\cdot \eta_{\eps} (p)=Id $$ for each periodic point $p=f^n p$ and each $\eps \in \cE_{\rho}$, then there exists a real-analytic family of maps $\phi_\eps: \M \to \G$ satisfying the coboundary equation $$ \eta_\eps(\theta, I)=\phi_\eps^{-1}\circ f(\theta, I)\cdot \phi_\eps (\theta, I) $$ for all $(\theta, I)\in \M$ and $\eps \in \cE_{\rho/2}$. We also show that if the coboundary equation above with an analytic left-hand side $\eta_\eps$ has a solution in the sense of formal power series in $\eps$, then it has an analytic solution.


title: What does it take to solve the 3D Ising model? Minimal necessary conditions for a valid solution

abstract: Exact solution of the Ising model on the simple cubic lattice is one of the long-standing open problems in rigorous statistical mechanics. Indeed, it is generally believed that settling it would constitute a methodological breakthrough, fomenting great prospects for further application, similarly to what happened when Lars Onsager solved the two dimensional model eighty years ago. Hence, there have been many attempts to find analytic expressions for the exact partition function $Z$, but all such attempts have failed due to unavoidable conceptual or mathematical obstructions. Given the importance of this simple yet paradigmatic model, here we set out clear-cut criteria for any claimed exact expression for $Z$ to be minimally plausible. Specifically, we present six necessary -- but not sufficient -- conditions that $Z$ must satisfy. These criteria will allow very quick plausibility checks of future claims. As illustrative examples, we discuss previous mistaken ``solutions,'' unveiling their shortcomings.


title: A Benchmark and Asymmetrical-Similarity Learning for Practical Image Copy Detection

abstract: Image copy detection (ICD) aims to determine whether a query image is an edited copy of any image from a reference set. Currently, there are very limited public benchmarks for ICD, while all overlook a critical challenge in real-world applications, i.e., the distraction from hard negative queries. Specifically, some queries are not edited copies but are inherently similar to some reference images. These hard negative queries are easily false recognized as edited copies, significantly compromising the ICD accuracy. This observation motivates us to build the first ICD benchmark featuring this characteristic. Based on existing ICD datasets, this paper constructs a new dataset by additionally adding 100, 000 and 24, 252 hard negative pairs into the training and test set, respectively. Moreover, this paper further reveals a unique difficulty for solving the hard negative problem in ICD, i.e., there is a fundamental conflict between current metric learning and ICD. This conflict is: the metric learning adopts symmetric distance while the edited copy is an asymmetric (unidirectional) process, e.g., a partial crop is close to its holistic reference image and is an edited copy, while the latter cannot be the edited copy of the former (in spite the distance is equally small). This insight results in an Asymmetrical-Similarity Learning (ASL) method, which allows the similarity in two directions (the query <-> the reference image) to be different from each other. Experimental results show that ASL outperforms state-of-the-art methods by a clear margin, confirming that solving the symmetric-asymmetric conflict is critical for ICD. The NDEC dataset and code are available at https://github.com/WangWenhao0716/ASL.


title: The $\gamma$-Signless Laplacian Adjacency Matrix of Mixed Graphs

abstract: The $\alpha$-Hermitian adjacency matrix $H_\alpha$ of a mixed graph $X$ has been recently introduced. It is a generalization of the adjacency matrix of unoriented graphs. In this paper, we consider a special case of the complex number $\alpha$. This enables us to define an incidence matrix of mixed graphs. Consequently, we define a generalization of line graphs as well as a generalization of the signless Laplacian adjacency matrix of graphs. We then study the spectral properties of the signless Laplacian adjacency matrix of a mixed graph. Lastly, we characterize when the signless Laplacian adjacency matrix of a mixed graph is singular and give lower and upper bounds of number of arcs and digons in terms of largest and lowest eigenvalue of the signless Laplacian adjacency matrix.


title: First-Principles Demonstration of Non-adiabatic Thouless Pumping of Electrons in A Molecular System

abstract: We demonstrate nonadiabatic Thouless pumping of electrons in trans-polyacetylene in the framework of Floquet engineering using first-principles theory. We identify the regimes in which the quantized pump is operative with respect to the driving electric field for a time-dependent Hamiltonian. By employing the time-dependent maximally localized Wannier functions in real-time time-dependent density functional theory simulation, we connect the winding number, a topological invariant, to a molecular-level understanding of the quantized pumping. While the pumping dynamics constitutes the opposing movement of the Wannier functions that represent both double and single bonds, the resulting current is unidirectional due to the greater number of double-bond electrons. Using a gauge-invariant formulation called dynamical transition orbitals, an alternative viewpoint on the nonequilibrium dynamics is obtained in terms of the particle-hole excitation. A single time-dependent transition orbital is found to be largely responsible for the observed quantized pumping. In this representation, the pumping dynamics manifests itself in the dynamics of this single orbital as it undergoes changes from its {\pi} bonding orbital character at equilibrium to acquiring resonance and antibonding character in the driving cycle. The work demonstrates the Floquet engineering of the nonadiabatic topological state in an extended molecular system, paving the way for experimental realization of the new quantum material phase.


title: Bayesian modeling of nearly mutually orthogonal processes

abstract: Functional factor analysis is an important dimension reduction method for functional and longitudinal data. Factor loadings give insight into patterns of variability of the observations, while latent factors provide a low-dimensional representation of the data that is useful for inferential tasks. Constraining the functional factor loadings to be mutually orthogonal is desirable for model parsimony, but is computationally challenging. In this work, we introduce nearly mutually orthogonal processes, which can be used to effectively enforce mutual orthogonality of the factor loadings, while maintaining computational simplicity and efficiency. The joint distribution is governed by a penalty parameter that determines the degree to which the processes are mutually orthogonal and is related to ease of posterior computation. We demonstrate that our approach can be used for flexible and interpretable inference in an application to studying the effects of breastfeeding status, illness, and demographic factors on weight dynamics in early childhood. Code is available on GitHub: https://github.com/jamesmatuk/NeMO-FFA


title: The Apertif Radio Transient System (ARTS): Design, Commissioning, Data Release, and Detection of the first 5 Fast Radio Bursts

abstract: Fast Radio Bursts must be powered by uniquely energetic emission mechanisms. This requirement has eliminated a number of possible source types, but several remain. Identifying the physical nature of Fast Radio Burst (FRB) emitters arguably requires good localisation of more detections, and broadband studies enabled by real-time alerting. We here present the Apertif Radio Transient System (ARTS), a supercomputing radio-telescope instrument that performs real-time FRB detection and localisation on the Westerbork Synthesis Radio Telescope (WSRT) interferometer. It reaches coherent-addition sensitivity over the entire field of the view of the primary dish beam. After commissioning results verified the system performed as planned, we initiated the Apertif FRB survey (ALERT). Over the first 5 weeks we observed at design sensitivity in 2019, we detected 5 new FRBs, and interferometrically localised each of these to 0.4--10 sq. arcmin. All detections are broad band and very narrow, of order 1 ms duration, and unscattered. Dispersion measures are generally high. Only through the very high time and frequency resolution of ARTS are these hard-to-find FRBs detected, producing an unbiased view of the intrinsic population properties. Most localisation regions are small enough to rule out the presence of associated persistent radio sources. Three FRBs cut through the halos of M31 and M33. We demonstrate that Apertif can localise one-off FRBs with an accuracy that maps magneto-ionic material along well-defined lines of sight. The rate of 1 every ~7 days next ensures a considerable number of new sources are detected for such study. The combination of detection rate and localisation accuracy exemplified by the 5 first ARTS FRBs thus marks a new phase in which a growing number of bursts can be used to probe our Universe.


title: On the number of error correcting codes

abstract: We show that for a fixed $q$, the number of $q$-ary $t$-error correcting codes of length $n$ is at most $2^{(1 + o(1)) H_q(n,t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}$ (for sufficiently large constant $C_q$), where $H_q(n, t) = q^n / V_q(n,t)$ is the Hamming bound and $V_q(n,t)$ is the cardinality of the radius $t$ Hamming ball. This proves a conjecture of Balogh, Treglown, and Wagner, who showed the result for $t = o(n^{1/3} (\log n)^{-2/3})$.


title: Correspondence Between the Energy Equipartition Theorem in Classical Mechanics and its Phase-Space Formulation in Quantum Mechanics

abstract: In classical physics there is a well-known theorem in which it is established that the energy per degree of freedom is the same. However, in quantum mechanics due to the non-commutativity of some pairs of observables and the possibility of having non-Markovian dynamics, the energy is not equally distributed. We propose a correspondence between what we know about the classical energy equipartition theorem and its possible counterpart in phase-space formulation in quantum mechanics based on the Wigner representation. Also, we show that in the high-temperature regime, the classical result is recovered.


title: Low-rank Optimal Transport: Approximation, Statistics and Debiasing

abstract: The matching principles behind optimal transport (OT) play an increasingly important role in machine learning, a trend which can be observed when OT is used to disambiguate datasets in applications (e.g. single-cell genomics) or used to improve more complex methods (e.g. balanced attention in transformers or self-supervised learning). To scale to more challenging problems, there is a growing consensus that OT requires solvers that can operate on millions, not thousands, of points. The low-rank optimal transport (LOT) approach advocated in \cite{scetbon2021lowrank} holds several promises in that regard, and was shown to complement more established entropic regularization approaches, being able to insert itself in more complex pipelines, such as quadratic OT. LOT restricts the search for low-cost couplings to those that have a low-nonnegative rank, yielding linear time algorithms in cases of interest. However, these promises can only be fulfilled if the LOT approach is seen as a legitimate contender to entropic regularization when compared on properties of interest, where the scorecard typically includes theoretical properties (statistical complexity and relation to other methods) or practical aspects (debiasing, hyperparameter tuning, initialization). We target each of these areas in this paper in order to cement the impact of low-rank approaches in computational OT.


title: Dynamical Borel-Cantelli Lemma for Recurrence under Lipschitz Twists

abstract: In the study of some dynamical systems the limsup set of a sequence of measurable sets is often of interest. The shrinking targets and recurrence are two of the most commonly studied problems that concern limsup sets. However, the zero-one laws for the shrinking targets and recurrence are usually treated separately and proved differently. In this paper, we introduce a generalized definition that can specialize into the shrinking targets and recurrence; our approach gives a unified proof of the zero-one laws for the two problems.


title: Contour Integration for Eigenvector Nonlinearities

abstract: Solving polynomial eigenvalue problems with eigenvector nonlinearities (PEPv) is an interesting computational challenge, outside the reach of the well-developed methods for nonlinear eigenvalue problems. We present a natural generalization of these methods which leads to a contour integration approach for computing all eigenvalues of a PEPv in a compact region of the complex plane. Our methods can be used to solve any suitably generic system of polynomial or rational function equations.


title: Medical Scientific Table-to-Text Generation with Human-in-the-Loop under the Data Sparsity Constraint

abstract: Structured (tabular) data in the preclinical and clinical domains contains valuable information about individuals and an efficient table-to-text summarization system can drastically reduce manual efforts to condense this data into reports. However, in practice, the problem is heavily impeded by the data paucity, data sparsity and inability of the state-of-the-art natural language generation models (including T5, PEGASUS and GPT-Neo) to produce accurate and reliable outputs. In this paper, we propose a novel table-to-text approach and tackle these problems with a novel two-step architecture which is enhanced by auto-correction, copy mechanism and synthetic data augmentation. The study shows that the proposed approach selects salient biomedical entities and values from structured data with improved precision (up to 0.13 absolute increase) of copying the tabular values to generate coherent and accurate text for assay validation reports and toxicology reports. Moreover, we also demonstrate a light-weight adaptation of the proposed system to new datasets by fine-tuning with as little as 40\% training examples. The outputs of our model are validated by human experts in the Human-in-the-Loop scenario.


title: One-loop matching for gluon lattice TMDs

abstract: Transverse-momentum-dependent parton distributions (TMDs) can be calculated from first principles by computing a related set of Euclidean lattice observables and connecting them via a factorization formula. This work focuses on the leading-power factorization formula connecting the lattice quasi-TMD and continuum Collins TMD for gluons. We calculate the one-loop gluon matching coefficient, which is known to be independent of spin and exhibits no mixing with quarks. We demonstrate that this coefficient satisfies Casimir scaling with respect to the quark matching coefficient at one-loop order. Our result facilitates reliable lattice QCD calculations of gluon TMDs.


title: The Impact of Resolution on Double-Detonation Models for Type Ia Supernovae

abstract: Thermonuclear supernovae are the result of the violent unbinding of a white dwarf, but the precise nature of the explosion mechanism(s) is a matter of active debate. To this end, several specific scenarios have been proposed to explain the observable traits of SNe Ia. A promising pathway is the double-detonation scenario, where a white dwarf accretes a shell of helium-rich material from a companion and a detonation in the resulting helium shell is the primary cause of the explosion. Through a set of two-dimensional grid-based simulations of this scenario we clearly distinguish three phases of evolution: external helium-rich detonation, core compressive heating, and a final core carbon burn. Though final disruption of the whole system is achieved at all resolutions, only models with minimum resolutions of 4~km and better exhibit all three phases. Particularly, core compression heating is only observed for higher resolutions, producing qualitatively different nucleosynthetic outcomes. We identify the effect of finer spatial resolution on the mixing of hot silicon at the interface between the detonating helium layer and the underlying C/O WD as a primary driver of these dynamic differences.


title: recommenderlab: An R Framework for Developing and Testing Recommendation Algorithms

abstract: Algorithms that create recommendations based on observed data have significant commercial value for online retailers and many other industries. Recommender systems have a significant research community, and studying such systems is part of most modern data science curricula. While there is an abundance of software that implements recommendation algorithms, there is little in terms of supporting recommender system research and education. This paper describes the open-source software recommenderlab which was created with supporting research and education in mind. The package can be directly installed in R or downloaded from https://github.com/mhahsler/recommenderlab.


title: TorchNTK: A Library for Calculation of Neural Tangent Kernels of PyTorch Models

abstract: We introduce torchNTK, a python library to calculate the empirical neural tangent kernel (NTK) of neural network models in the PyTorch framework. We provide an efficient method to calculate the NTK of multilayer perceptrons. We compare the explicit differentiation implementation against autodifferentiation implementations, which have the benefit of extending the utility of the library to any architecture supported by PyTorch, such as convolutional networks. A feature of the library is that we expose the user to layerwise NTK components, and show that in some regimes a layerwise calculation is more memory efficient. We conduct preliminary experiments to demonstrate use cases for the software and probe the NTK.


title: Metastable vacua from torsion and machine learning

abstract: By implementing an error function on a Machine Learning algorithm we look for minimal conditions to construct stable Anti de Sitter and de Sitter vacua from dimensional type IIB String theory compactifcation on K\"ahler manifolds with torsion. This allows to have contributions to the scalar potential from the five-form flux and from D-branes wrapping torsional cycles, interpreted as non-BPS states. The former implies the possibility to construct stable AdS vacua while the later constitutes a mechanism to uplift AdS to dS vacua. Particularly we consider $\hat{D5}$ non-BPS states to uplift the stable AdS vacua to an (apparently) stable dS minimum. Both results -- the generation of an AdS vacuum and the corresponding uplifting to a dS one -- are restricted to certain type of configurations, specifically with the number of O3 orientifolds bounded from below by the number of D3-branes and fluxes. Under these conditions we report over 170 dS (classical) stable vacua. In all of them, the uplifted effective potential becomes very flat indicating the presence of possible source of instabilities. We comment about their relation with the Swampland Conjectures.


title: Learning to Model Editing Processes

abstract: Most existing sequence generation models produce outputs in one pass, usually left-to-right. However, this is in contrast with a more natural approach that humans use in generating content; iterative refinement and editing. Recent work has introduced edit-based models for various tasks (such as neural machine translation and text style transfer), but these generally model a single edit step. In this work, we propose modeling editing processes, modeling the whole process of iteratively generating sequences. We form a conceptual framework to describe the likelihood of multi-step edits, and describe neural models that can learn a generative model of sequences based on these multistep edits. We introduce baseline results and metrics on this task, finding that modeling editing processes improves performance on a variety of axes on both our proposed task and related downstream tasks compared to previous single-step models of edits.