title: Isogeometric discretizations of the Stokes problem on trimmed geometries

abstract: The isogeometric approximation of the Stokes problem in a trimmed domain is studied. This setting is characterized by an underlying mesh unfitted with the boundary of the physical domain making the imposition of the essential boundary conditions a challenging problem. A very popular strategy is to rely on the so-called Nitsche method \cite{MR3264337}. We show that the Nitsche method lacks stability in some degenerate trimmed domain configurations, potentially polluting the computed solutions. After extending the stabilization procedure of \cite{MR4155233} to incompressible flow problems, we show that we recover the well-posedness of the formulation and, consequently, optimal a priori error estimates. Numerical experiments illustrating stability and converge rates are included.


title: Comet 12P/Pons-Brooks: Identification with Comets C/1385 U1 and C/1457 A1

abstract: Comet 12P/Pons-Brooks is an intermediate-period comet (orbital period around 71 years) comparable to 1P/Halley. The comet was seen first in 1812, and then again in 1883 and 1954. The comet was recovered in 2020 an will pass its perihelion passage 2024. We report the unambiguous identification of this comet with the historic comets C/1385 U1 and C/1457 A1; we were able to link both historic apparitions with 12P. The link is also supported by the historic descriptions of its appearance and brightness. Further, we discuss other historical comets for possible relationships with 12P and identify a comet seen in 245 as a probable earliest recorded sighting of 12P/Pons-Brooks.


title: Combinatorial Pure Exploration with Full-bandit Feedback and Beyond: Solving Combinatorial Optimization under Uncertainty with Limited Observation

abstract: Combinatorial optimization is one of the fundamental research fields that has been extensively studied in theoretical computer science and operations research. When developing an algorithm for combinatorial optimization, it is commonly assumed that parameters such as edge weights are exactly known as inputs. However, this assumption may not be fulfilled since input parameters are often uncertain or initially unknown in many applications such as recommender systems, crowdsourcing, communication networks, and online advertisement. To resolve such uncertainty, the problem of combinatorial pure exploration of multi-armed bandits (CPE) and its variants have recieved increasing attention. Earlier work on CPE has studied the semi-bandit feedback or assumed that the outcome from each individual edge is always accessible at all rounds. However, due to practical constraints such as a budget ceiling or privacy concern, such strong feedback is not always available in recent applications. In this article, we review recently proposed techniques for combinatorial pure exploration problems with limited feedback.


title: Dynamical Characterization of Antiviral Effects in COVID-19

abstract: Mathematical models describing SARS-CoV-2 dynamics and the corresponding immune responses in patients with COVID-19 can be critical to evaluate possible clinical outcomes of antiviral treatments. In this work, based on the concept of virus spreadability in the host, antiviral effectiveness thresholds are determined to establish whether or not a treatment will be able to clear the infection. In addition, the virus dynamic in the host -- including the time-to-peak and the final monotonically decreasing behavior -- is chracterized as a function of the treatment initial time. Simulation results, based on nine real patient data, show the potential clinical benefits of a treatment classification according to patient critical parameters. This study is aimed at paving the way for the different antivirals being developed to tackle SARS-CoV-2.


title: Autocalibration Subsystem for Cable-Driven Parallel Robots

abstract: For Cable-Driven Parallel Robots, the cable length is the only element we control. Better knowledge of this parameter will improve robot performances. We propose a new cable length autocalibration subsystem. It consists of an instrumented cable, inductive sensors and a controller for digital data processing. Cable would be instrumented by metallic marks, with variation in distance between successive marks. Inductive sensors will allow the detection of metallic marks; it will be placed vertically on the support, with variation in distance between successive sensors. Each detection will correspond to a cable length. By analyzing the succession of cable lengths detected at particular moments, we can identify our position on the cable, then deduce its length. A closed-loop autocalibration may allow continuous cable length adjustment.


title: Astrophysical and Structural Parameters, And Dynamical Evolution Of The Open Clusters NGC 1245 And NGC 2099

abstract: We derive astrophysical and structural parameters of open clusters NGC 1245 and NGC 2099 from 2MASS JHKs and Gaia DR2 photometric / astrometric data bases. Their likely members have been determined from Gaia DR2 proper motion data. Our E(B-V) values (2MASS) are slightly smaller than the literature values, whereas our E(B-V) values (Gaia DR2) agree with the literature within the uncertainties. Their distance moduli/distances and ages are in good coincident with the literature. NGC 1245 has steep negative core mass function slope (MFs) ({\chi}_core=-1.24). Its halo ({\chi}_halo=+0.78) and overall ({\chi}_overall=-0.95) MFs mean that it presents signs of small-scale mass segregation to the outer regions from its core, due to its [{\tau}_rlx (overall),{\tau}_overall ]=[302 Myr,5]. The MFs of NGC 2099 is very negative steep ({\chi}_core=-2.67) in the core, and quite positive steep ({\chi}_halo=+1.41) in the halo. This kind of MF slope steeping from the core to the outskirts indicates that low-mass stars in the core are transferred to the cluster's outskirts, while massive stars sink in the core, because of mass segregation. NGC 2099's flat overall MFs ({\chi}_overall=+0.91) and its {\tau}_overall=8 presents a sign of mass segregation. These OCs with the relatively large masses 8700 Msolar (NGC 1245) and 5660 Msolar (NGC 2099), which locate at RGC > 9 kpc, expose to external perturbations such as tidal effects and shock waves, and they lose their stars in low-proportions.


title: Dispersively probed microwave spectroscopy of a silicon hole double quantum dot

abstract: Owing to ever increasing gate fidelities and to a potential transferability to industrial CMOS technology, silicon spin qubits have become a compelling option in the strive for quantum computation. In a scalable architecture, each spin qubit will have to be finely tuned and its operating conditions accurately determined. In this prospect, spectroscopic tools compatible with a scalable device layout are of primary importance. Here we report a two-tone spectroscopy technique providing access to the spin-dependent energy-level spectrum of a hole double quantum dot defined in a split-gate silicon device. A first GHz-frequency tone drives electric-dipole spin resonance enabled by the valence-band spin-orbit coupling. A second lower-frequency tone (approximately 500 MHz) allows for dispersive readout via rf-gate reflectometry. We compare the measured dispersive response to the linear response calculated in an extended Jaynes-Cummings model and we obtain characteristic parameters such as g-factors and tunnel/spin-orbit couplings for both even and odd occupation.


title: PFL-MoE: Personalized Federated Learning Based on Mixture of Experts

abstract: Federated learning (FL) is an emerging distributed machine learning paradigm that avoids data sharing among training nodes so as to protect data privacy. Under coordination of the FL server, each client conducts model training using its own computing resource and private data set. The global model can be created by aggregating the training results of clients. To cope with highly non-IID data distributions, personalized federated learning (PFL) has been proposed to improve overall performance by allowing each client to learn a personalized model. However, one major drawback of a personalized model is the loss of generalization. To achieve model personalization while maintaining generalization, in this paper, we propose a new approach, named PFL-MoE, which mixes outputs of the personalized model and global model via the MoE architecture. PFL-MoE is a generic approach and can be instantiated by integrating existing PFL algorithms. Particularly, we propose the PFL-MF algorithm which is an instance of PFL-MoE based on the freeze-base PFL algorithm. We further improve PFL-MF by enhancing the decision-making ability of MoE gating network and propose a variant algorithm PFL-MFE. We demonstrate the effectiveness of PFL-MoE by training the LeNet-5 and VGG-16 models on the Fashion-MNIST and CIFAR-10 datasets with non-IID partitions.


title: Unstable invasion of sedimenting granular suspensions

abstract: We investigate the development of mobility inversion and fingering when a granular suspension is injected radially between horizontal parallel plates of a cell filled with a miscible fluid. While the suspension spreads uniformly when the suspension and the displaced fluid densities are exactly matched, even a small density difference is found to result in a dense granular front which develops fingers with angular spacing that increase with granular volume fraction and decrease with injection rate. We show that the time scale over which the instability develops is given by the volume fraction dependent settling time scale of the grains in the cell. We then show that the mobility inversion and the non-equilibrium Korteweg surface tension due to granular volume fraction gradients determine the number of fingers at the onset of the instability in these miscible suspensions.


title: Detection of magnetic gap in the topological surface states of MnBi2Te4

abstract: Recently, intrinsic antiferromagnetic topological insulator MnBi2Te4 has drawn intense research interest and leads to plenty of significant progress in physics and materials science by hosting quantum anomalous Hall effect, axion insulator state, and other quantum phases. An essential ingredient to realize these quantum states is the magnetic gap in the topological surface states induced by the out-of-plane ferromagnetism on the surface of MnBi2Te4. However, the experimental observations of the surface gap remain controversial. Here, we report the observation of the surface gap via the point contact tunneling spectroscopy. In agreement with theoretical calculations, the gap size is around 50 meV, which vanishes as the sample becomes paramagnetic with increasing temperature. The magnetoresistance hysteresis is detected through the point contact junction on the sample surface with an out-of-plane magnetic field, substantiating the surface ferromagnetism. Furthermore, the non-zero transport spin polarization coming from the ferromagnetism is determined by the point contact Andreev reflection spectroscopy. Combining these results, the magnetism-induced gap in topological surface states of MnBi2Te4 is revealed.


title: Extracting Clean Performance Models from Tainted Programs

abstract: Performance models are well-known instruments to understand the scaling behavior of parallel applications. They express how performance changes as key execution parameters, such as the number of processes or the size of the input problem, vary. Besides reasoning about program behavior, such models can also be automatically derived from performance data. This is called empirical performance modeling. While this sounds simple at the first glance, this approach faces several serious interrelated challenges, including expensive performance measurements, inaccuracies inflicted by noisy benchmark data, and overall complex experiment design, starting with the selection of the right parameters. The more parameters one considers, the more experiments are needed and the stronger the impact of noise. In this paper, we show how taint analysis, a technique borrowed from the domain of computer security, can substantially improve the modeling process, lowering its cost, improving model quality, and help validate performance models and experimental setups.


title: Matching on the line admits no $o(\sqrt{\log n})$-competitive algorithm

abstract: We present a simple proof that the competitive ratio of any randomized online matching algorithm for the line is at least $\sqrt{\log_2(n\!+\!1)}/12$ for all $n=2^i\!-\!1: i\in\mathbb{N}$.


title: On the existence of solutions for Frenkel-Kontorova models on quasi-crystals

abstract: We focus on the recent development of the investigation on the equilibria of the Frenkel-Kontorova models subjected to potentials generated by quasi-crystals. We present a specific one-dimensional model with an explicit equivariant potential driven by the Fibonacci quasi-crystal. For a given positive number {\theta} , we show that there are multiple equilibria with rotation number {\theta} , e.g., a minimal configuration and a non-minimal equilibrium configuration. Some numerical explorations of of finding these equilibira are provided.


title: Tensor methods for strongly convex strongly concave saddle point problems and strongly monotone variational inequalities

abstract: In this paper we propose three $p$-th order tensor methods for $\mu$-strongly-convex-strongly-concave saddle point problems (SPP). The first method is based on the assumption of $p$-th order smoothness of the objective and it achieves a convergence rate of $O \left( \left( \frac{L_p R^{p - 1}}{\mu} \right)^\frac{2}{p + 1} \log \frac{\mu R^2}{\varepsilon_G} \right)$, where $R$ is an estimate of the initial distance to the solution, and $\varepsilon_G$ is the error in terms of duality gap. Under additional assumptions of first and second order smoothness of the objective we connect the first method with a locally superlinear converging algorithm and develop a second method with the complexity of $O \left( \left( \frac{L_p R^{p - 1}}{\mu} \right)^\frac{2}{p + 1}\log \frac{L_2 R \max \left\{ 1, \frac{L_1}{\mu} \right\}}{\mu} + \log \frac{\log \frac{L_1^3}{2 \mu^2 \varepsilon_G}}{\log \frac{L_1 L_2}{\mu^2}} \right)$. The third method is a modified version of the second method, and it solves gradient norm minimization SPP with $\tilde O \left( \left( \frac{L_p R^p}{\varepsilon_\nabla} \right)^\frac{2}{p + 1} \right)$ oracle calls, where $\varepsilon_\nabla$ is an error in terms of norm of the gradient of the objective. Since we treat SPP as a particular case of variational inequalities, we also propose three methods for strongly monotone variational inequalities with the same complexity as the described above.


title: bloomRF: On Performing Range-Queries with Bloom-Filters based on Piecewise-Monotone Hash Functions and Dyadic Trace-Trees

abstract: We introduce bloomRF as a unified method for approximate membership testing that supports both point- and range-queries on a single data structure. bloomRF extends Bloom-Filters with range query support and may replace them. The core idea is to employ a dyadic interval scheme to determine the set of dyadic intervals covering a data point, which are then encoded and inserted. bloomRF introduces Dyadic Trace-Trees as novel data structure that represents those covering intervals implicitly. A Trace-Tree encoding scheme represents the set of covering intervals efficiently, in a compact bit representation. Furthermore, bloomRF introduces novel piecewise-monotone hash functions that are locally order-preserving and thus support range querying. We present an efficient membership computation method for range-queries. Although, bloomRF is designed for integers it also supports string and floating-point data types. It can also handle multiple attributes and serve as multi-attribute filter. We evaluate bloomRF in RocksDB and in a standalone library. bloomRF is more efficient and outperforms existing point-range-filters by up to 4x across a range of settings.


title: An Automated Pipeline for the VST Data Log Analysis

abstract: The VST Telescope Control Software logs continuously detailed information about the telescope and instrument operations. Commands, telemetries, errors, weather conditions and anything may be relevant for the instrument maintenance and the identification of problem sources is regularly saved. All information are recorded in textual form. These log files are often examined individually by the observatory personnel for specific issues and for tackling problems raised during the night. Thus, only a minimal part of the information is normally used for daily maintenance. Nevertheless, the analysis of the archived information collected over a long time span can be exploited to reveal useful trends and statistics about the telescope, which would otherwise be overlooked. Given the large size of the archive, a manual inspection and handling of the logs is cumbersome. An automated tool with an adequate user interface has been developed to scrape specific entries within the log files, process the data and display it in a comprehensible way. This pipeline has been used to scan the information collected over 5 years of telescope activity.


title: Finiteness theorems for potentially equivalent Galois representations: extension of Faltings' finiteness criteria

abstract: We study the relationship between potential equivalence and character theory; we observe that potential equivalence of a representation $\rho$ is determined by an equality of an $m$-power character $g\mapsto Tr(\rho(g^m))$ for some natural number $m$. Using this, we extend Faltings' finiteness criteria to determine the equivalence of two $\ell$-adic, semisimple representations of the absolute Galois group of a number field, to the context of potential equivalence. We also discuss finiteness results for twist unramified representations.


title: Analytical approximations and Monge-Amp\`{e}re masses of plurisubharmonic singularities

abstract: We construct examples of plurisubharmonic functions with isolated singularities at $0\in \mathbb{C}^n$, whose residual Monge-Amp\`{e}re masses at the origin can not be approximated by masses of analytic approximations obtained via multiplier ideals. This answers negatively a conjecture of Demailly.


title: The Bimetric Theory Of Quantized Fields

abstract: We introduce a special class of bimetric theories of quantized fields with preserved classical energy conditions. More precisely, we describe the missing anti-particles in our visible universe as being trapped in a spacetime patch with different metric such as the de-Sitter spacetime and negative energies. In order to stabilize these anti-states, time must go in the opposite direction to our visible universe, in agreement with the Feynman-St\"uckelberg interpretation of antiparticles. Since the energy scale of our observed universe is low, we do not need to worry about these highly energetic anti-particles except for compatibility issues regarding the restoration of classical energy conditions. However, at the quantum gravity scale, these anti-states play a crucial role in the cancellation of gravitational anomalies, along with other possible quantum anomalies that may emerge.


title: Consistent truncations around half-maximal AdS$_5$ vacua of 11-dimensional supergravity

abstract: We use exceptional field theory to systematically study all possible consistent truncations around half-maximal AdS$_5$ vacua of M-theory. We show that only truncations with at most three vector multiplets are consistent. The possible gaugings are SU(2)$\times$U(1) and ISO(3)$\times$U(1) where, in the first case, the U(1) factor can have different embeddings inside the global symmetry group SO$(5,n)$, where $n \leq 3$ equals the number of vector multiplets. We show that the ISO(3)$\times$U(1) truncation only exists around vacua that are locally an $S^4$ fibration over a Riemann surface, and argue that this is the only consistent truncation with vector multiplets around these vacua that can be constructed by going through the 7-dimensional SO(5) gauged supergravity obtained after an $S^4$ reduction. The consistent truncations with SU(2)$\times$U(1) gaugings with vector multiplets exist only if certain conditions are satisfied, which we derive.


title: Variational framework and Lewy-Stampacchia type estimates for nonlocal operators on Heisenberg group

abstract: The aim of this article is to derive some Lewy-Stampacchia estimates and existence of solutions for equations driven by a nonlocal integro-differential operator on the Heisenberg group.


title: Higher-order vector Peregrine solitons and asymptotic estimates for the multi-component nonlinear Schr\"odinger equations

abstract: We first report the first- and higher-order vector Peregrine solitons (alias rational rogue waves) for the any multi-component NLS equations based on the loop group theory, an explicit (n + 1)-multiple eigenvalue of a characteristic polynomial of degree (n + 1) related to the condition of Benjamin-Feir instability, and inverse functions. Particularly, these vector rational rogue waves are parity-time symmetric for some parameter constraints. A systematic and effective approach is proposed to study the asymptotic behaviors of these vector rogue waves such that the decompositions of rogue waves are related to the so-called governing polynomials, which pave a powerful way in the study of vector rogue wave structures of the multi-component integrable systems. The vector rogue waves with maximal amplitudes can be determined via the parameter vectors, which is interesting and useful in the multi-component physical systems.

categories: nlin.SI math-ph math.AP math.MP nlin.PS physics.comp-ph


title: Approximation properties of solutions to multipoint boundary-value problems

abstract: We consider a wide class of linear boundary-value problems for systems of $m$ ordinary differential equations of order $r$, known as general boundary-value problems. Their solutions $y:[a,b]\to \mathbb{C}^{m}$ belong to the Sobolev space $(W_1^{r})^m$, and the boundary conditions are given in the form $By=q$ where $B:(C^{(r-1)})^{m}\to\mathbb{C}^{rm}$ is an arbitrary continuous linear operator. We prove that a solution to such a problem can be approximated with an arbitrary precision in $(W_1^{r})^m$ by solutions to multipoint boundary-value problems with the same right-hand sides. These multipoint problems are built explicitly and do not depend on the right-hand sides of the general boundary-value problem. For these problems, we obtain estimates of errors of solutions in the normed spaces $(W_1^{r})^m$ and $(C^{(r-1)})^{m}$.


title: Composite operators in $T\bar T$-deformed free QFTs

abstract: We study perturbative renormalization of the composite operators in the $T\bar T$-deformed two-dimensional free field theories. The pattern of renormalization for the stress-energy tensor is different in the massive and massless cases. While in the latter case the canonical stress tensor is not renormalized up to high order in the perturbative expansion, in the massive theory there are induced counterterms at linear order. For a massless theory our results match the general formula derived recently in [1].


title: HateCheck: Functional Tests for Hate Speech Detection Models

abstract: Detecting online hate is a difficult task that even state-of-the-art models struggle with. Typically, hate speech detection models are evaluated by measuring their performance on held-out test data using metrics such as accuracy and F1 score. However, this approach makes it difficult to identify specific model weak points. It also risks overestimating generalisable model performance due to increasingly well-evidenced systematic gaps and biases in hate speech datasets. To enable more targeted diagnostic insights, we introduce HateCheck, a suite of functional tests for hate speech detection models. We specify 29 model functionalities motivated by a review of previous research and a series of interviews with civil society stakeholders. We craft test cases for each functionality and validate their quality through a structured annotation process. To illustrate HateCheck's utility, we test near-state-of-the-art transformer models as well as two popular commercial models, revealing critical model weaknesses.


title: Zeroth Law in Quantum Thermodynamics at Strong Coupling: `in Equilibrium', not `Equal Temperature'

abstract: The zeroth law of thermodynamics involves a transitivity relation (pairwise between three objects) expressed either in terms of `equal temperature' (ET), or `in equilibrium' (EQ) conditions. In conventional thermodynamics conditional on vanishingly weak system-bath coupling these two conditions are commonly regarded as equivalent. In this work we show that for thermodynamics at strong coupling they are inequivalent: namely, two systems can be in equilibrium and yet have different effective temperatures. A recent result \cite{NEqFE} for Gaussian quantum systems shows that an effective temperature $T^{*}$ can be defined at all times during a system's nonequilibrium evolution, but because of the inclusion of interaction energy, after equilibration the system's $T^*$ is slightly higher than the bath temperature $T_{\textsc{b}}$, with the deviation depending on the coupling. A second object coupled with a different strength with an identical bath at temperature $T_{\textsc{b}}$ will not have the same equilibrated temperature as the first object. Thus $ET \neq EQ $ for strong coupling thermodynamics. We then investigate the conditions for dynamical equilibration for two objects 1 and 2 strongly coupled with a common bath $B$, each with a different equilibrated effective temperature. We show this is possible, and prove the existence of a generalized fluctuation-dissipation relation under this configuration. This affirms that `in equilibrium' is a valid and perhaps more fundamental notion which the zeroth law for quantum thermodynamics at strong coupling should be based on. Only when the system-bath coupling becomes vanishingly weak that `temperature' appearing in thermodynamic relations becomes universally defined and makes better physical sense.


title: Emergent complex quantum networks in continuous-variables non-Gaussian states

abstract: We use complex network theory to study a class of continuous-variable quantum states that present both multipartite entanglement and non-Gaussian statistics. We consider the intermediate scale of several dozens of components at which such systems are already hard to characterize. In particular, the states are built from an initial imprinted cluster state created via Gaussian entangling operations according to a complex network structure. We then engender non-Gaussian statistics via multiple photon subtraction operations acting on a single node. We replicate in the quantum regime some of the models that mimic real-world complex networks in order to test their structural properties under local operations. We then go beyond the already known single-mode effects, by studying the emergent network of photon-number correlations via complex networks measures. We analytically prove that the imprinted network structure defines a vicinity of nodes, at a distance of four steps from the photon-subtracted node, in which the emergent network changes due to photon subtraction. Moreover, our numerical analysis shows that the emergent structure is greatly influenced by the structure of the imprinted network. Indeed, while the mean and the variance of the degree and clustering distribution of the emergent network always increase, the higher moments of the distributions are governed by the specific structure of the imprinted network. Finally, we show that the behaviour of nearest neighbours of the subtraction node depends on how they are connected to each other in the imprinted structure.


title: The Genuine Type-V Seesaw Model: Phenomenological Introduction

abstract: We study a model which generates Majorana neutrino masses at tree-level via low-energy effective operator with mass-dimension-9. Introduction of such a higher dimensional operator brings down the lepton number violating mass scale to TeV making such model potentially testable at present or near future colliders. This model possesses several new $SU(2)_L$ fermionic multiplets, in particular, three generations of triplets, quadruplets and quintuplets, and thus a rich phenomenology at the LHC. As the lepton flavour violation arises very naturally in such setup, we put constraints on the Yukawa couplings and heavy fermion masses from the current experimental bounds on lepton flavour violating processes. We also obtain 95% CL lower bounds on the masses of the triplets, quadruplets and quintuplets using a recent CMS search for multilepton final states with 137 inverse femtobarn integrated luminosity data at 13 TeV center of mass energy. The possibility that the heavy fermions could be long-lived leaving disappearing charge track signatures or displaced vertex at the future colliders like LHeC, FCC-he, MATHUSLA, etc. is also discussed.


title: Stochastic parabolic equations with singular potentials

abstract: In this work we consider a class of stochastic parabolic equations with singular space depending potential, random driving force and random initial condition. For the analysis of these equations we combine the chaos expansion method from the white noise analysis and the concept of very weak solutions. For given stochastic parabolic equation we introduce the notion of a stochastic very weak solution, prove the existence and uniqueness of the very weak solution to corresponding stochastic initial value problem and show its independence of a regularization on given singular potential. In addition, the consistency of a stochastic very weak solution with a stochastic weak solution is shown.


title: Semi-Parametric Estimation of Incubation and Generation Times by Means of Laguerre Polynomials

abstract: In epidemics many interesting quantities, like the reproduction number, depend on the incubation period (time from infection to symptom onset) and/or the generation time (time until a new person is infected from another infected person). Therefore, estimation of the distribution of these two quantities is of distinct interest. However, this is a challenging problem since it is normally not possible to obtain precise observations of these two variables. Instead, in the beginning of a pandemic, it is possible to observe for infection pairs the time of symptom onset for both people as well as a window for infection of the first person (e.g. because of travel to a risk area). In this paper we suggest a simple semi-parametric sieve-estimation method based on Laguerre-Polynomials for estimation of these distributions. We provide detailed theory for consistency and illustrate the finite sample performance for small datasets via a simulation study.


title: Molecular Extended Thermodynamics of Rarefied Polyatomic Gases with a new Hierarchy of Moments

abstract: Recently, Pennisi and Ruggeri [J Stat Phys 179, 231-246 (2020)] consider the classical limit of the relativistic theory of moments associated with the Boltzmann-Chernikov equation truncated at a tensorial index $N+1$ and they proved that there exists a unique possible choice of the moments in the classical case for a given $N$ both for monatomic and polyatomic gases. In particular, in polyatomic gases, there exists a new hierarchy of moments that is more general than the one considered in the recent literature. As consequence, when $N=2$, in the classical limit, there is a theory with $15$ fields. In this paper, we consider this system of moments, and we close the system using the maximum entropy principle. It is shown that the theory contains as a principal subsystem the previously polyatomic $14$ fields theory, and in the monatomic limit, in which the dynamical pressure vanishes, the differential system converges instead to Grad 13-moments system to the 14 moments theory proposed by Kremer [Annales de l'I.H.P. Physique th\'eorique, 45, 419-440 (1986)].


title: How Good is Your Tokenizer? On the Monolingual Performance of Multilingual Language Models

abstract: In this work, we provide a systematic and comprehensive empirical comparison of pretrained multilingual language models versus their monolingual counterparts with regard to their monolingual task performance. We study a set of nine typologically diverse languages with readily available pretrained monolingual models on a set of five diverse monolingual downstream tasks. We first aim to establish, via fair and controlled comparisons, if a gap between the multilingual and the corresponding monolingual representation of that language exists, and subsequently investigate the reason for any performance difference. To disentangle conflating factors, we train new monolingual models on the same data, with monolingually and multilingually trained tokenizers. We find that while the pretraining data size is an important factor, a designated monolingual tokenizer plays an equally important role in the downstream performance. Our results show that languages that are adequately represented in the multilingual model's vocabulary exhibit negligible performance decreases over their monolingual counterparts. We further find that replacing the original multilingual tokenizer with the specialized monolingual tokenizer improves the downstream performance of the multilingual model for almost every task and language.


title: On functions preserving products of certain classes of semimetric spaces

abstract: In the paper we continue the research of Bors\'{i}k and Dobo\v{s} on functions which allow us to introduce a metric to the product of metric spaces. In this paper we extend their scope on broader class of spaces which usually fail to satisfy the triangle inequality, albeit they tend to satisfy some weaker form of this axiom. In particular, we examine the behavior of functions preserving $b$-metric inequality. We provide analogues of the results of Bors\'{i}k and Dobo\v{s}, adjusted to the new, broader setting. The results we obtained are illustrated with multitude of examples. Furthermore, the connections of newly introduced families of functions with the ones already known from the literature are investigated.


title: Refined Nonlinear Rectenna Modeling and Optimal Waveform Design for Multi-User Multi-Antenna Wireless Power Transfer

abstract: In this paper, we study the optimal waveform design for wireless power transfer (WPT) from a multi-antenna energy transmitter (ET) to multiple single-antenna energy receivers (ERs) simultaneously in multi-path frequency-selective channels. First, we propose a refined nonlinear current-voltage model of the diode in the ER rectifier, and accordingly derive new expressions for the output direct current (DC) voltage and corresponding harvested power at the ER. Leveraging this new rectenna model, we first consider the single-ER case and study the multisine-based power waveform design based on the wireless channel to maximize the harvested power at the ER. We propose two efficient algorithms for finding high-quality suboptimal solutions to this non-convex optimization problem. Next, we extend our formulated waveform design problem to the general multi-ER case for maximizing the weighted sum of the harvested powers by all ERs, and propose an efficient difference-of-convex functions programming (DCP)-based algorithm for solving this problem. Finally, we demonstrate the superior performance of our proposed waveform designs based on the new rectenna model over existing schemes/models via simulations.


title: Quantitative Evaluations on Saliency Methods: An Experimental Study

abstract: It has been long debated that eXplainable AI (XAI) is an important topic, but it lacks rigorous definition and fair metrics. In this paper, we briefly summarize the status quo of the metrics, along with an exhaustive experimental study based on them, including faithfulness, localization, false-positives, sensitivity check, and stability. With the experimental results, we conclude that among all the methods we compare, no single explanation method dominates others in all metrics. Nonetheless, Gradient-weighted Class Activation Mapping (Grad-CAM) and Randomly Input Sampling for Explanation (RISE) perform fairly well in most of the metrics. Utilizing a set of filtered metrics, we further present a case study to diagnose the classification bases for models. While providing a comprehensive experimental study of metrics, we also examine measuring factors that are missed in current metrics and hope this valuable work could serve as a guide for future research.


title: Regular expression length via arithmetic formula complexity

abstract: We prove lower bounds on the length of regular expressions for finite languages by methods from arithmetic circuit complexity. First, we show a reduction: the length of a regular expression for a language $L\subseteq \{0,1\}^n$ is bounded from below by the minimum size of a monotone arithmetic formula computing a polynomial that has $L$ as its set of exponent vectors, viewing words as vectors. This result yields lower bounds for the binomial language of all words with exactly $k$ ones and $n-k$ zeros and for the language of all Dyck words of length $2n$. We also determine the blow-up of language operations (intersection and shuffle) of regular expressions for finite languages. Second, we adapt a lower bound method for multilinear arithmetic formulas by so-called log-product polynomials to regular expressions. With this method we show almost tight lower bounds for the language of all binary numbers with $n$ bits that are divisible by a given odd integer $p$, for the language of all words of length $n$ over a $k$ letter alphabet with an even number of occurrences of each letter and for the language of all permutations of $\{1,\dots, n\}$.


title: Search for Low-Mass Leptoquarks using the $llqq$ final states in Pb-Pb Ultra-Peripheral Collisions

abstract: After a review over past experiments and theoretical requirements from low-energy flavour physics, we argue that the possibility of low-mass leptoquarks (LQ) cannot be fully excluded due to the assumptions made in the measurements. Therefore we propose to search for the pair production of low-mass leptoquarks in Pb-Pb ultra-peripheral collisions with the least model dependence (assuming a small coupling constant $\lesssim0.1$). There are a couple of advantages: 1) high photon flux provides high production rate for low mass LQs; 2) the background contamination is much lower than that in $p$-$p$ collisions. The analysis strategy permits a leptoquark to decay to all possible lepton-plus-quark modes. Taking the scalar LQ, $S_3$, with an electric charge $|q|=\frac{4}{3}e$, as example, the mass point of 100 GeV can be excluded at the 95~\% confidence level using a dataset of 4~pb$^{-1}$ Pb-Pb ultra-peripheral collisions at $\sqrt{s}=5.02$ TeV and the performance of the ATLAS detector in Run~2. The proposed method also applies to searching for high-mass LQs in $p$-$p$ collisions as long as the LQ pair production mechanism dominates.


title: Machine Learning Modeling of Materials with a Group-Subgroup Structure

abstract: Crystal structures connected by continuous phase transitions are linked through mathematical relations between crystallographic groups and their subgroups. In the present study, we introduce group-subgroup machine learning (GS-ML) and show that including materials with small unit cells in the training set decreases out-of-sample prediction errors for materials with large unit cells. GS-ML incurs the least training cost to reach 2-3% target accuracy compared to other ML approaches. Since available materials datasets are heterogeneous providing insufficient examples for realizing the group-subgroup structure, we present the "FriezeRMQ1D" dataset with 8393 Q1D organometallic materials uniformly distributed across 7 frieze groups. Furthermore, by comparing the performances of FCHL and 1-hot representations, we show GS-ML to capture subgroup information efficiently when the descriptor encodes structural information. The proposed approach is generic and extendable to symmetry abstractions such as spin-, valency-, or charge order.


title: Voronoi tilings, toric arrangements and degenerations of line bundles I

abstract: We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This paper and its second and third companion parts are the first in a series aimed to explore this new approach. In the present article, we set up the combinatorial framework and show how graphs with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associated to the graph itself and to certain of its subgraphs. We further provide a description of the combinatorial structure of these polytopes and the way they are glued together in the tiling. In the second part of the series, we describe the arrangements of toric varieties associated to these tilings. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.


title: Open Korean Corpora: A Practical Report

abstract: Korean is often referred to as a low-resource language in the research community. While this claim is partially true, it is also because the availability of resources is inadequately advertised and curated. This work curates and reviews a list of Korean corpora, first describing institution-level resource development, then further iterate through a list of current open datasets for different types of tasks. We then propose a direction on how open-source dataset construction and releases should be done for less-resourced languages to promote research.


title: Hypocoercivity and reaction-diffusion limit for a nonlinear generation-recombination model

abstract: A reaction-kinetic model for a two-species gas mixture undergoing pair generation and recombination reactions is considered on a flat torus. For dominant scattering with a non-moving constant-temperature background the macroscopic limit to a reaction-diffusion system is carried out. Exponential decay to equilibrium is proven for the kinetic model by hypocoercivity estimates. This seems to be the first rigorous derivation of a nonlinear reaction-diffusion system from a kinetic model as well as the first hypocoercivity result for a nonlinear kinetic problem without smallness assumptions. The analysis profits from uniform bounds of the solution in terms of the equilibrium velocity distribution.


title: Solar Neutron Decay Protons observed in November 7, 2004

abstract: We have found an interesting event registered by the solar neutron telescopes installed at high mountains in Bolivia (5250 m a.s.l.) and Mexico (4600 m a.s.l.). The event was observed November 7th of 2004 in association with a large solar flare of magnitude X2.0. Some features in our registers and in two satellites (GOES 11 and SOHO) reveal the presence of electrons and protons as possible products of neutron decay. Solar neutron decay protons (sndp) were recorded on board ISEE3 satellite in June 3rd, 1982 . On October 19th, 1989, the ground level detectors installed in Goose Bay and Deep River revealed the registration of solar neutron decay protons (sndp). Therefore this is the second example that such an evidence is registered on the Earth's surface.


title: Flow through time-evolving porous media: swelling and erosion

abstract: The flow through a porous medium strongly depends on the boundary conditions, very often assumed to be static. Here, we consider changes in the medium due to swelling and erosion and extend existing Lattice-Boltzmann models to include both. We study two boundary conditions: a constant pressure drop and a constant flow rate. For a constant flow rate, the steady state depends solely on the erosion dynamics while for a constant pressure drop it depends also on the timescale of swelling. We analyze the competition between swelling and erosion and identify a transition between regimes where either swelling or erosion dominate.


title: Magnetic field and gravitational waves from the first-order Phase Transition

abstract: We perform the three dimensional lattice simulation of the magnetic field and gravitational wave productions from bubble collisions during the first-order electroweak phase transition. Except that of the gravitational wave, the power-law spectrum of the magnetic field strength is numerically calculated for the first time, which is of a broken power-law spectrum: $B_{\xi}\propto f^{0.91}$ for low frequency region of $f<f_\star$ and $B_{\xi}\propto f^{-1.65}$ for high frequency region of $f>f_\star$ in the thin-wall limit, with the peak frequency being $f_\star\sim 5$ Hz at the phase transition temperature 100 GeV. When the hydrodynamics is taken into account, the generated magnetic field strength can reach $B_\xi\sim 10^{-7}$G at a correlation length $\xi\sim 10^{-7}$pc, which may seed the large scale magnetic fields. Our study shows that the measurements of cosmic magnetic field strength and gravitational waves are complementary to probe new physics admitting electroweak phase transition.


title: Wavelength shifters for applications in liquid argon detectors

abstract: Wavelength shifters and their applications for liquid argon detectors have been a subject of extensive R&D over the past decade. This work reviews the most recent results in this field. We compare the optical properties and usage details together with the associated challenges for various wavelength shifting solutions. We discuss the current status and potential future R&D directions for the main classes of wavelength shifters.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades

abstract: Mobile operating systems evolve quickly, frequently updating the APIs that app developers use to build their apps. Unfortunately, API updates do not always guarantee backward compatibility, causing apps to not longer work properly or even crash when running with an updated system. This paper presents FILO, a tool that assists Android developers in resolving backward compatibility issues introduced by API upgrades. FILO both suggests the method that needs to be modified in the app in order to adapt the app to an upgraded API, and reports key symptoms observed in the failed execution to facilitate the fixing activity. Results obtained with the analysis of 12 actual upgrade problems and the feedback produced by early tool adopters show that FILO can practically support Android developers.FILO can be downloaded from https://gitlab.com/learnERC/filo, and its video demonstration is available at https://youtu.be/WDvkKj-wnlQ.


title: Higher-Order Nonlinear Anomalous Hall Effects Induced by Berry Curvature Multipoles

abstract: In recent years, it has been shown that Berry curvature monopoles and dipoles play essential roles in the anomalous Hall effect and the nonlinear Hall effect respectively. In this work, we demonstrate that Berry curvature multipoles (the higher moments of Berry curvatures at the Fermi energy) can induce higher-order nonlinear anomalous Hall (NLAH) effect. Specifically, an AC Hall voltage perpendicular to the current direction emerges, where the frequency is an integer multiple of the frequency of the applied current. Importantly, by analyzing the symmetry properties of all the 3D and 2D magnetic point groups, we note that the quadrupole, hexapole and even higher Berry curvature moments can cause the leading-order frequency multiplication in certain materials. To provide concrete examples, we point out that the third-order NLAH voltage can be the leading-order Hall response in certain antiferromagnets due to Berry curvature quadrupoles, and the fourth-order NLAH voltage can be the leading response in the surface states of topological insulators induced by Berry curvature hexapoles. Our results are established by symmetry analysis, effective Hamiltonian and first-principles calculations. Other materials which support the higher-order NLAH effect are further proposed, including 2D antiferromagnets and ferromagnets, Weyl semimetals and twisted bilayer graphene near the quantum anomalous Hall phase.


title: Higgs-mass predictions in the MSSM and beyond

abstract: Predictions for the Higgs masses are a distinctive feature of supersymmetric extensions of the Standard Model, where they play a crucial role in constraining the parameter space. The discovery of a Higgs boson and the remarkably precise measurement of its mass at the LHC have spurred new efforts aimed at improving the accuracy of the theoretical predictions for the Higgs masses in supersymmetric models. The "Precision SUSY Higgs Mass Calculation Initiative" (KUTS) was launched in 2014 to provide a forum for discussions between the different groups involved in these efforts. This report aims to present a comprehensive overview of the current status of Higgs-mass calculations in supersymmetric models, to document the many advances that were achieved in recent years and were discussed during the KUTS meetings, and to outline the prospects for future improvements in these calculations.


title: Genus-one complex quantum Chern--Simons theory

abstract: We consider the geometric quantisation of Chern--Simons theory for closed genus-one surfaces and semisimple complex groups. First we introduce the natural complexified analogue of the Hitchin connection in K\"{a}hler quantisation, with polarisations coming from the nonabelian Hodge hyper-K\"{a}hler geometry of the moduli spaces of flat connections, thereby complementing the real-polarised approach of Witten. Then we consider the connection of Witten, and we identify it with the complexified Hitchin connection using a version of the Bargmann transform on polarised sections over the moduli spaces.


title: On tensor network representations of the (3+1)d toric code

abstract: We define two dual tensor network representations of the (3+1)d toric code ground state subspace. These two representations, which are obtained by initially imposing either family of stabilizer constraints, are characterized by different virtual symmetries generated by string-like and membrane-like operators, respectively. We discuss the topological properties of the model from the point of view of these virtual symmetries, emphasizing the differences between both representations. In particular, we argue that, depending on the representation, the phase diagram of boundary entanglement degrees of freedom is naturally associated with that of a (2+1)d Hamiltonian displaying either a global or a gauge $\mathbb Z_2$-symmetry.


title: Feeding and killing end points in chainable continua

abstract: Using the classical technique of condensation of singularities, we prove that, for every zero-dimensional, complete separable metric space $G$, there exists a Suslinian, chainable metric continuum whose set of end points is homeomorphic to $G$. This answers a question posed by R. Adikari and W. Lewis in [Houston J. Math. 45 (2019), no. 2, pp. 609--624].


title: Unified description of saturation and bistability of intersubband transitions in the weak and strong light-matter coupling regimes

abstract: We propose a unified description of intersubband absorption saturation for quantum wells inserted in a resonator, both in the weak and strong light-matter coupling regimes. We demonstrate how absorption saturation can be engineered. In particular we show that the saturation intensity increases linearly with the doping in the strong coupling regime, while it remains doping independent in weak coupling. Hence, countering intuition, the most suitable region to exploit low saturation intensities is not the ultra-strong coupling regime, but is instead at the onset of the strong light-matter coupling. We further derive explicit conditions for the emergence of bistability. This work sets the path towards yet unexisting ultrafast mid-infrared semiconductor saturable absorption mirrors (SESAMs) and bistable systems. As an example, we show how to design a mid-infrared SESAM with a three orders of magnitude reduction in saturation intensity, down to about 5 kW/cm2.


title: Voronoi tilings, toric arrangements and degenerations of line bundles II

abstract: We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and its first and third part companion parts are the first in a series aimed to explore this new approach. In the first part, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by polytopes associated to the graph itself and to its subgraphs. In this part, we describe the arrangements of toric varieties associated to these tilings. Roughly speaking, the normal fan to each polytope in the tiling corresponds to a toric variety, and these toric varieties are glued together in an arrangement according to how the polytopes meet. We provide a thorough description of these toric arrangements from different perspectives: by using normal fans, as unions of torus orbits, by describing the (infinitely many) polynomial equations defining them in products of doubly infinite chains of projective lines, and as degenerations of algebraic tori. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.


title: Leveraging Audio Gestalt to Predict Media Memorability

abstract: Memorability determines what evanesces into emptiness, and what worms its way into the deepest furrows of our minds. It is the key to curating more meaningful media content as we wade through daily digital torrents. The Predicting Media Memorability task in MediaEval 2020 aims to address the question of media memorability by setting the task of automatically predicting video memorability. Our approach is a multimodal deep learning-based late fusion that combines visual, semantic, and auditory features. We used audio gestalt to estimate the influence of the audio modality on overall video memorability, and accordingly inform which combination of features would best predict a given video's memorability scores.


title: Inexact Tensor Methods and Their Application to Stochastic Convex Optimization

abstract: We propose general non-accelerated and accelerated tensor methods under inexact information on the derivatives of the objective, analyze their convergence rate. Further, we provide conditions for the inexactness in each derivative that is sufficient for each algorithm to achieve the desired accuracy. As a corollary, we propose stochastic tensor methods for convex optimization and obtain sufficient mini-batch sizes for each derivative.


title: Exploiting Transitivity for Top-k Selection with Score-Based Dueling Bandits

abstract: We consider the problem of top-k subset selection in Dueling Bandit problems with score information. Real-world pairwise ranking problems often exhibit a high degree of transitivity and prior work has suggested sampling methods that exploit such transitivity through the use of parametric preference models like the Bradley-Terry-Luce (BTL) and Thurstone models. To date, this work has focused on cases where sample outcomes are win/loss binary responses. We extend this to selection problems where sampling results contain quantitative information by proposing a Thurstonian style model and adapting the Pairwise Optimal Computing Budget Allocation for subset selection (POCBAm) sampling method to exploit this model for efficient sample selection. We compare the empirical performance against standard POCBAm and other competing algorithms.


title: CorrNet3D: Unsupervised End-to-end Learning of Dense Correspondence for 3D Point Clouds

abstract: Motivated by the intuition that one can transform two aligned point clouds to each other more easily and meaningfully than a misaligned pair, we propose CorrNet3D -- the first unsupervised and end-to-end deep learning-based framework -- to drive the learning of dense correspondence between 3D shapes by means of deformation-like reconstruction to overcome the need for annotated data. Specifically, CorrNet3D consists of a deep feature embedding module and two novel modules called correspondence indicator and symmetric deformer. Feeding a pair of raw point clouds, our model first learns the pointwise features and passes them into the indicator to generate a learnable correspondence matrix used to permute the input pair. The symmetric deformer, with an additional regularized loss, transforms the two permuted point clouds to each other to drive the unsupervised learning of the correspondence. The extensive experiments on both synthetic and real-world datasets of rigid and non-rigid 3D shapes show our CorrNet3D outperforms state-of-the-art methods to a large extent, including those taking meshes as input. CorrNet3D is a flexible framework in that it can be easily adapted to supervised learning if annotated data are available. The source code and pre-trained model will be available at https://github.com/ZENGYIMING-EAMON/CorrNet3D.git.


title: TexSmart: A Text Understanding System for Fine-Grained NER and Enhanced Semantic Analysis

abstract: This technique report introduces TexSmart, a text understanding system that supports fine-grained named entity recognition (NER) and enhanced semantic analysis functionalities. Compared to most previous publicly available text understanding systems and tools, TexSmart holds some unique features. First, the NER function of TexSmart supports over 1,000 entity types, while most other public tools typically support several to (at most) dozens of entity types. Second, TexSmart introduces new semantic analysis functions like semantic expansion and deep semantic representation, that are absent in most previous systems. Third, a spectrum of algorithms (from very fast algorithms to those that are relatively slow but more accurate) are implemented for one function in TexSmart, to fulfill the requirements of different academic and industrial applications. The adoption of unsupervised or weakly-supervised algorithms is especially emphasized, with the goal of easily updating our models to include fresh data with less human annotation efforts. The main contents of this report include major functions of TexSmart, algorithms for achieving these functions, how to use the TexSmart toolkit and Web APIs, and evaluation results of some key algorithms.


title: Integrability breaking in the one dimensional Bose gas: Atomic losses and energy loss

abstract: The one dimensional $\delta$-function interacting Bose gas (the Lieb-Liniger model) is an integrable system, which can model experiments with ultra cold atoms in one dimensional traps. Even though the model is integrable, integrability breaking effects are always present in the real world experiments. In this work we consider the integrability breaking due to atomic loss, which is the most relevant effect in the experiments. We set up a framework for the exact computation of the losses of the canonical charges of the model, and compute an exact result for the energy loss due to the local $K$-body processes, valid for arbitrary $K$. Our result takes the form of multiple integrals, which are explicitly factorized in the experimentally relevant cases of $K=1,2,3$.


title: Investigating Memorability of Dynamic Media

abstract: The Predicting Media Memorability task in MediaEval'20 has some challenging aspects compared to previous years. In this paper we identify the high-dynamic content in videos and dataset of limited size as the core challenges for the task, we propose directions to overcome some of these challenges and we present our initial result in these directions.


title: Topological charge engineering in lasing bound states in continuum

abstract: Recently, optical bound states in continuum in various passive photonic crystals have been identified and similar structures incorporated with optical gain have been reported to exhibit lasing. However, no explicit control over the type of lasing BIC has been reported. In this work, we utilize all four fundamental BICs related to the lowest energy Gamma-point of a square photonic crystal lattice. We identify the associated topological charges from experimentally obtained dispersions, finite element method simulations, as well as from spherical decomposition method based on the microscopic polarization currents in the photonic crystal plane. By tailoring the periodicity and the hole diameter of the photonic crystal slab, we selectively bring each of the four BIC resonances to a wavelength regime, where fluorescent IR702 molecules overlaid with the photonic crystal provide sufficient gain for the onset of lasing. We experimentally analyze all four observed lasing BICs by imaging their far-field polarization vortices and their associated topological charges. The results correspond excellently with the transmission results as well as the simulation results in the absence of gain. Finally, we experimentally present a case where the lasing signal reveals the coexistence of two BICs with opposite topological charges, resulting in a unique polarization pattern. We believe our results enable tailoring the properties, such as polarization winding and topological charge of BICs, by a priori design and thus pave the way for a more general utilization of their appealing properties.


title: CoCoLM: COmplex COmmonsense Enhanced Language Model with Discourse Relations

abstract: Large-scale pre-trained language models have demonstrated strong knowledge representation ability. However, recent studies suggest that even though these giant models contains rich simple commonsense knowledge (e.g., bird can fly and fish can swim.), they often struggle with the complex commonsense knowledge that involves multiple eventualities (verb-centric phrases, e.g., identifying the relationship between ``Jim yells at Bob'' and ``Bob is upset'').To address this problem, in this paper, we propose to help pre-trained language models better incorporate complex commonsense knowledge. Different from existing fine-tuning approaches, we do not focus on a specific task and propose a general language model named CoCoLM. Through the careful training over a large-scale eventuality knowledge graphs ASER, we successfully teach pre-trained language models (i.e., BERT and RoBERTa) rich complex commonsense knowledge among eventualities. Experiments on multiple downstream commonsense tasks that requires the correct understanding of eventualities demonstrate the effectiveness of CoCoLM.


title: Hydrodynamic attractor and novel fixed points in superfluid Bjorken flow

abstract: Extending the quantum effective approach of Son and Nicolis and incorporating dissipation, we develop a MIS formalism for describing a superfluid out of equilibrium by including the Goldstone boson and the condensate together with the hydrodynamic modes as the effective degrees of freedom. We find that the evolution of the superfluid undergoing Bjorken flow is governed by the conventional hydrodynamic attractor with unbroken symmetry and an even number of novel non-dissipative fixed points with broken symmetry. If the initial temperature is super-critical, then the condensate becomes exponentially small very rapidly and the system is trapped by the hydrodynamic attractor for a long intermediate time before it reheats rapidly and switches to one of the symmetry-breaking fixed points eventually. Finally, we show that the fixed points are unstable against inhomogeneous perturbations that should lead to spinodal decomposition. We conclude that these features should be generic beyond the MIS formalism.


title: Non-Singular Black Holes and mass inflation in modified gravity

abstract: We analytically derive a class of non-singular, static and spherically symmetric topological black hole metrics inF(R)-gravity. These have not a de Sitter core at their centre, as most model in standard General Relativity. We study the geometric properties and the motion of test particles around these objects. Since they have two horizons, the inner being of Cauchy type, we focus on the problem of mass inflation and show that it occurs except when some extremal conditions are met.


title: Massive One-loop Conformal Feynman Integrals and Quadratic Transformations of Multiple Hypergeometric Series

abstract: The computational technique of $N$-fold Mellin-Barnes (MB) integrals, presented in a companion paper by the same authors, is used to derive sets of series representations of the massive one-loop conformal 3-point Feynman integral in various configurations. This shows the great simplicity and efficiency of the method in nonresonant cases (generic propagator powers) as well as some of its subtleties in the resonant ones (for unit propagator powers). We confirm certain results in the physics and mathematics literature and provide many new results, some of them dealing with the more general massive one-loop conformal $n$-point case. In particular, we prove two recent conjectures that give the massive one-loop conformal $n$-point integral (for generic propagator powers) in terms of multiple hypergeometric series. We show how these conjectures, that were deduced from a Yangian bootstrap analysis, are related by a tower of new quadratic transformations in Hypergeometric Functions Theory. Finally, we also use our MB method to identify spurious contributions that can arise in the Yangian approach.


title: Indirect Measurement of Hepatic Drug Clearance by Fitting Dynamical Models

abstract: We present an indirect signal processing-based measurement method for biological quantities in humans that cannot be directly measured. We develop the method by focusing on estimating hepatic enzyme and drug transporter activity through breath-biopsy samples clinically obtained via the erythromycin breath test (EBT): a small dose of radio-labeled drug is injected and the subsequent content of radio-labeled CO$_2$ is measured repeatedly in exhaled breath; the resulting time series is analyzed. To model EBT we developed a 14-variable non-linear reduced order dynamical model that describes the behavior of the drug and its metabolites in the human body well enough to capture all biological phenomena of interest. Based on this system of coupled non-linear ordinary differential equations (ODEs) we treat the measurement problem as inverse problem: we estimate the ODE parameters of individual patients from the measured EBT time series. These estimates then provide a measurement of the liver activity of interest. The parameters are hard to estimate as the ODEs are stiff and the problem needs to be regularized to ensure stable convergence. We develop a formal operator framework to capture and treat the specific non-linearities present, and perform perturbation analysis to establish properties of the estimation procedure and its solution. Development of the method required 150,000 CPU hours at a supercomputing center, and a single production run takes CPU 24 hours. We introduce and analyze the method in the context of future precision dosing of drugs for vulnerable patients (e.g., oncology, nephrology, or pediatrics) to eventually ensure efficacy and avoid toxicity.


title: Quasiparticle Electronic Structure of Two-Dimensional Heterotriangulene-Based Covalent Organic Frameworks Adsorbed on Au(111)

abstract: The modular nature and unique electronic properties of two-dimensional (2D) covalent organic frameworks (COFs) make them an attractive option for applications in catalysis, optoelectronics, and spintronics. The fabrications of such devices often involve interfaces formed between COFs and substrates. In this work, we employ the first-principles GW approach to accurately determine the quasiparticle electronic structure of three 2D carbonyl bridged heterotriangulene-based COFs featuring kagome lattice, with their properties ranging from a semi-metal to a wide-gap semiconductor. Moreover, we study the adsorption of these COFs on Au(111) surface and characterize the quasiparticle electronic structure at the heterogeneous COF/Au(111) interfaces. To reduce the computational cost, we apply the recently developed dielectric embedding GW approach and show that our results agree with existing experimental measurement on the interfacial energy level alignment. Our calculations illustrate how the many-body dielectric screening at the interface modulates the energies and shapes of the kagome bands, the effective masses of semiconducting COFs, as well as the Fermi velocity of the semi-metallic COF.


title: String of columns rewriting and confluence of the jeu de taquin

abstract: Sch\"utzenberger's jeu de taquin is an algorithm on the structure of tableaux, which transforms a skew tableau into a Young one by local transformation rules on the columns of the tableaux. This algorithm defines an equivalence relation on tableaux compatible with the plactic congruence, and gives a proof of the Littlewood-Richardson rule on Schur polynomials. In this article, we introduce the notion of string of columns rewriting system as mechanism of transformations of glued sequences of columns. We describe the execution of the jeu de taquin algorithm as rewriting paths of a string of columns rewriting. We deduce algebraic properties on the plastic congruence and we relate the jeu de taquin to insertion algorithms on tableaux.


title: Overview of MediaEval 2020 Predicting Media Memorability Task: What Makes a Video Memorable?

abstract: This paper describes the MediaEval 2020 \textit{Predicting Media Memorability} task. After first being proposed at MediaEval 2018, the Predicting Media Memorability task is in its 3rd edition this year, as the prediction of short-term and long-term video memorability (VM) remains a challenging task. In 2020, the format remained the same as in previous editions. This year the videos are a subset of the TRECVid 2019 Video-to-Text dataset, containing more action rich video content as compared with the 2019 task. In this paper a description of some aspects of this task is provided, including its main characteristics, a description of the collection, the ground truth dataset, evaluation metrics and the requirements for participants' run submissions.


title: Macroscopic time reversal symmetry breaking by staggered spin-momentum interaction

abstract: Time-reversal (T) symmetry breaking is a fundamental physics concept underpinning a broad science and technology area, including topological magnets, axion physics, dissipationless Hall currents, or spintronic memories. A best known conventional model of macroscopic T-symmetry breaking is a ferromagnetic order of itinerant Bloch electrons with an isotropic spin interaction in momentum space. Anisotropic electron interactions, on the other hand, have been a domain of correlated quantum phases, such as the T-invariant nematics or unconventional superconductors. Here we report discovery of a broken-T phase of itinerant Bloch electrons with an unconventional anisotropic spin-momentum interaction, whose staggered nature leads to the formation of two ferromagnetic-like valleys in the momentum space with opposite spin splittings. We describe qualitatively the effect by deriving a non-relativistic single-particle Hamiltonian model. Next, we identify the unconventional staggered spin-momentum interaction by first-principles electronic structure calculations in a four-sublattice antiferromagnet Mn5Si3 with a collinear checkerboard magnetic order. We show that the staggered spin-momentum interaction is set by nonrelativistic spin-symmetries which were previously omitted in relativistic physics classifications of spin interactions and topological quasiparticles. Our measurements of a spontaneous Hall effect in epilayers of antiferromagnetic Mn5Si3 with vanishing magnetization are consistent with our theory predictions. Bloch electrons with the unconventional staggered spin interaction, compatible with abundant low atomic-number materials, strong spin-coherence, and collinear antiferromagnetic order open unparalleled possibilities for realizing T-symmetry broken spin and topological quantum phases.


title: Nonequilibrium optical response of a one-dimensional Mott insulator

abstract: We define, compute and analyze the nonequilibrium differential optical conductivity of the one-dimensional extended Hubbard model at half-filling after applying a pump pulse, using the time-dependent density matrix renormalization group method. The melting of the Mott insulator is accompanied by a suppression of the local magnetic moment and ensuing photogeneration of doublon-holon pairs. The differential optical conductivity reveals $(i)$ mid-gap states related to parity-forbidden optical states, and $(ii)$ strong renormalization and hybridization of the excitonic resonance and the absorption band, yielding a Fano resonance. We offer evidence and interpret such a resonance as a signature of nonequilibrium optical excitations resembling excitonic strings, (bi)excitons, and unbound doublon-holon pairs, depending on the magnitude of the intersite Coulomb repulsion. We discuss our results in the context of pump and probe spectroscopy experiments on organic Mott insulators.


title: On expansions for nonlinear systems, error estimates and convergence issues

abstract: Explicit formulas expressing the solution to non-autonomous differential equations are of great importance in many application domains such as control theory or numerical operator splitting. In particular, intrinsic formulas allowing to decouple time-dependent features from geometry-dependent features of the solution have been extensively studied. First, we give a didactic review of classical expansions for formal linear differential equations, including the celebrated Magnus expansion (associated with coordinates of the first kind) and Sussmann's infinite product expansion (associated with coordinates of the second kind). Inspired by quantum mechanics, we introduce a new mixed expansion, designed to isolate the role of a time-invariant drift from the role of a time-varying perturbation. Second, in the context of nonlinear ordinary differential equations driven by regular vector fields, we give rigorous proofs of error estimates between the exact solution and finite approximations of the formal expansions. In particular, we derive new estimates focusing on the role of time-varying perturbations. For scalar-input systems, we derive new estimates involving only a weak Sobolev norm of the input. Third, we investigate the local convergence of these expansions. We recall known positive results for nilpotent dynamics and for linear dynamics. Nevertheless, we also exhibit arbitrarily small analytic vector fields for which the convergence of the Magnus expansion fails, even in very weak senses. We state an open problem concerning the convergence of Sussmann's infinite product expansion. Eventually, we derive approximate direct intrinsic representations for the state and discuss their link with the choice of an appropriate change of coordinates.


title: Strong coupling nature of kagome superconductivity in LaRu$_3$Si$_2$

abstract: We report muon spin rotation (${\mu}$SR) experiments together with first-principles calculations on microscopic properties of superconductivity in the kagome superconductor LaRu$_3$Si$_2$ with $T_{\rm c}$ ${\simeq}$ 7K. We find that the calculated normal state band structure features a kagome flat band and Dirac as well as van Hove points formed by the Ru-$dz^2$ orbitals near the Fermi level. Below $T_{\rm c}$, ${\mu}$SR reveals isotropic type-II superconductivity, which is robust against hydrostatic pressure up to 2 GPa. Intriguingly, the ratio 2$\Delta/k_{\rm B}T_{\rm c}$ ${\simeq}$ 4.3 (where ${\Delta}$ is the superconducting energy gap) is in the strong coupling limit, and $T_{\rm c}$/$\lambda_{eff}^{-2}$ (where ${\lambda}$ is the penetration depth) is comparable to that of high-temperature unconventional superconductors. We also find that electron-phonon coupling alone can only reproduce small fraction of $T_{\rm c}$ from calculations, which suggests other factors in enhancing $T_{\rm c}$ such as the correlation effect from the kagome flat band, the van Hove point on the kagome lattice, and high density of states from narrow kagome bands. Our experiments and calculations taken together point to strong coupling and the unconventional nature of kagome superconductivity in LaRu$_3$Si$_2$.


title: Axisymmetric, extremal horizons in the presence of a cosmological constant

abstract: All axisymmetric solutions to the near-horizon geometry equation with a cosmological constant defined on a topological $2$-sphere were derived. The regularity conditions preventing cone singularity at the poles were accounted for. The one-to-one correspondence of the solutions with the extremal horizons in the Kerr-(anti-)de Sitter spacetimes was found. A solution corresponding to the triply degenerate horizon was identified and characterized. The solutions were also identified among the solutions to the Petrov type D equation.


title: Quantum tomography benchmarking

abstract: Recent advances in quantum computers and simulators are steadily leading us towards full-scale quantum computing devices. Due to the fact that debugging is necessary to create any computing device, quantum tomography (QT) is a critical milestone on this path. In practice, the choice between different QT methods faces the lack of comparison methodology. Modern research provides a wide range of QT methods, which differ in their application areas, as well as experimental and computational complexity. Testing such methods is also being made under different conditions, and various efficiency measures are being applied. Moreover, many methods have complex programming implementations; thus, comparison becomes extremely difficult. In this study, we have developed a general methodology for comparing quantum state tomography methods. The methodology is based on an estimate of the resources needed to achieve the required accuracy. We have developed a software library (in MATLAB and Python) that makes it easy to analyze any QT method implementation through a series of numerical experiments. The conditions for such a simulation are set by the number of tests corresponding to real physical experiments. As a validation of the proposed methodology and software, we analyzed and compared a set of QT methods. The analysis revealed some method-specific features and provided estimates of the relative efficiency of the methods.


title: Real-space construction of crystalline topological superconductors and insulators in 2D interacting fermionic systems

abstract: The construction and classification of crystalline symmetry protected topological (SPT) phases in interacting bosonic and fermionic systems have been intensively studied in the past few years. Crystalline SPT phases are not only of conceptual importance, but also provide great opportunities towards experimental realization since space group symmetries naturally exist for any realistic material. In this paper, we systematically classify the crystalline topological superconductors (TSC) and topological insulators (TI) in 2D interacting fermionic systems by using an explicit real-space construction. In particular, we discover an intriguing fermionic crystalline topological superconductor that can only be realized in interacting fermionic systems (i.e., not in free-fermion or bosonic SPT systems). Moreover, we also verify the recently conjectured crystalline equivalence principle for generic 2D interacting fermionic systems.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP


title: Exact WKB and the quantum Seiberg-Witten curve for 4d $N=2$ pure $SU(3)$ Yang-Mills, Part I: Abelianization

abstract: We investigate the exact WKB method for the quantum Seiberg-Witten curve of 4d $N=2$ pure $SU(3)$ Yang-Mills, in the language of abelianization. The relevant differential equation is a third-order equation on $\mathbb{CP}^1$ with two irregular singularities. We employ the exact WKB method to study solutions to such a third-order equation and the associated Stokes phenomena. We also investigate the exact quantization condition for a certain spectral problem. Moreover, exact WKB analysis leads us to consider new Darboux coordinates on a moduli space of flat SL(3,$\mathbb{C}$)-connections. In particular, in the weak coupling region we encounter coordinates of higher length-twist type generalizing Fenchel-Nielsen coordinates. The Darboux coordinates are conjectured to admit asymptotic expansions given by the formal quantum periods series; we perform numerical analysis supporting this conjecture.


title: Growth of Fourier coefficients of vector-valued automorphic forms

abstract: In this article, we establish polynomial-growth bound for the sequence of Fourier coefficients associated to even integer weight vector-valued automorphic forms of Fuchsian groups of the first kind. At the end, their $L$-functions and exponential sums have been discussed.


title: Virtual element approximation of eigenvalue problems

abstract: We discuss the approximation of eigenvalue problems associated with elliptic partial differential equations using the virtual element method. After recalling the abstract theory, we present a model problem, describing in detail the features of the scheme, and highligting the effects of the stabilizing parameters. We conlcude the discussion with a survey of several application examples.


title: Rigorous treatment of the $\mathcal{S}^1 / \mathbb{Z}_2$ orbifold model with brane-Higgs couplings

abstract: We build rigorously the attractive five-dimensional model where bulk fermions propagate along the $ \mathcal{S}^1 / \mathbb{Z}_2$ orbifold and interact with a Higgs boson localised at a fixed point of the extra dimension. The analytical calculation of the fermion mass spectrum and effective Yukawa couplings is shown to require the introduction of either Essential Boundary Conditions (EBC) imposed by the model definition or certain Bilinear Brane Terms (BBT) in the action, instead of the usual brane-Higgs regularisations. The obtained fermion profiles along the extra dimension turn out to undergo some discontinuities, in particular at the Higgs brane, which can be mathematically consistent if the action is well written with improper integrals. We also show that the $\mathbb{Z}_2$ parity transformations in the bulk do not affect the fermion chiralities, masses and couplings, in contrast with the EBC and BBT, but when extended to the fixed points, they can generate the chiral nature of the theory and even select the Standard Model chirality set-up while fixing as well the fermion masses and couplings. Thanks to the strict analysis developed, the duality with the interval model is scrutinised.


title: Resolution of the identity approximation applied to PNOF correlation calculations

abstract: In this work, the required algebra to employ the resolution of the identity approximation within Piris Natural Orbital Functional (PNOF) is developed, leading to an implementation named DoNOF-RI. The arithmetic scaling is reduced from fifth-order to fourth-order, and the memory scaling is reduced from fourth-order to third-order, allowing significant computational time savings. After the DoNOF-RI calculation has fully converged, a restart with four-center electron repulsion integrals can be performed to remove the effect of the auxiliary basis set incompleteness, quickly converging to the exact result. The proposed approach has been tested on cycloalkanes and other molecules of general interest to study the numerical results as well as the speed-ups achieved by PNOF7-RI when compared with PNOF7.


title: Staircase palindromic polynomials

abstract: We study a class of monic-palindromic polynomials that we call staircase palindromic polynomials. Specifically, suppose $S(x, n, h)$ is a polynomial of degree n with the special form: $S(x; n; h) = x^n + 2x^{n-1} + 3x^{n-2} + \dots + (h - 1)x^{n-h+2} + hx^{n-h+1} + \dots + hx^{h-1} + (h - 1)x^{h-2} + \dots + 2x + 1$. Then $S(x, n, h)$ can be factored as a product of cyclotomic polynomials. Moreover, for any given n, there are $ \lceil{\frac{n+1}{2}\rceil}$ staircase polynomials, all of whose factors can be derived using two parameter n and h with the help of cyclotomic polynomials. After that we explore some classes of polynomials that can be converted to staircase polynomials.


title: Approximate Post-Selective Inference for Regression with the Group LASSO

abstract: After selection with the Group LASSO (or generalized variants such as the overlapping, sparse, or standardized Group LASSO), inference for the selected parameters is unreliable in the absence of adjustments for selection bias. In the penalized Gaussian regression setup, existing approaches provide adjustments for selection events that can be expressed as linear inequalities in the data variables. Such a representation, however, fails to hold for selection with the Group LASSO and substantially obstructs the scope of subsequent post-selective inference. Key questions of inferential interest -- for example, inference for the effects of selected variables on the outcome -- remain unanswered. In the present paper, we develop a consistent, post-selective, Bayesian method to address the existing gaps by deriving a likelihood adjustment factor and an approximation thereof that eliminates bias from the selection of groups. Experiments on simulated data and data from the Human Connectome Project demonstrate that our method recovers the effects of parameters within the selected groups while paying only a small price for bias adjustment.


title: On the fractional NLS equation and the effects of the potential well's topology

abstract: In this paper we consider the fractional nonlinear Schr\"odinger equation $$\varepsilon^{2s}(-\Delta)^s v+ V(x) v= f(v), \quad x \in \mathbb{R}^N$$ where $s \in (0,1)$, $N \geq 2$, $V \in C(\mathbb{R}^N,\mathbb{R})$ is a positive potential and $f$ is a nonlinearity satisfying Berestycki-Lions type conditions. For $\varepsilon>0$ small, we prove the existence of at least $\rm{cupl}(K)+1$ positive solutions, where $K$ is a set of local minima in a bounded potential well and $\rm{cupl}(K)$ denotes the cup-length of $K$. By means of a variational approach, we analyze the topological difference between two levels of an indefinite functional in a neighborhood of expected solutions. Since the nonlocality comes in the decomposition of the space directly, we introduce a new fractional center of mass, via a suitable seminorm. Some other delicate aspects arise strictly related to the presence of the nonlocal operator. By using regularity results based on fractional De Giorgi classes, we show that the found solutions decay polynomially and concentrate around some point of $K$ for $\varepsilon$ small.


title: Phase Thermalization: from Fermi Liquid to Incoherent Metal

abstract: When a system consists of a large subsystem (bath) and a small one (probe), thermalization implies induction of temperature of the bath onto the probe. If both the bath and the probe are described by same microscopic Hamiltonian, thermalization further entails that the probe imbibes the phase of the bath. We refer to this phenomenon as phase thermalization. However, it is not clear whether this phenomenon is realizable when the probe and the bath are described by different microscopic Hamiltonians. We show phase thermalization is possible even when the microscopic Hamiltonians differ significantly. We provide an explicit example, where the probe is a Fermi liquid realized by a Majorana chain with $n \gg 1$ fermions per site interacting through random hopping and the bath is an incoherent metal described by another Majorana chain with $N > n$ fermions per site interacting through arbitrarily long range random four-fermion interaction. In deep infrared, the probe turns into an incoherent metal, with Lyapunov spectrum and diffusion coefficient identical to the bath.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.stat-mech hep-th


title: I/O Lower Bounds for Auto-tuning of Convolutions in CNNs

abstract: Convolution is the most time-consuming part in the computation of convolutional neural networks (CNNs), which have achieved great successes in numerous applications. Due to the complex data dependency and the increase in the amount of model samples, the convolution suffers from high overhead on data movement (i.e., memory access). This work provides comprehensive analysis and methodologies to minimize the communication for the convolution in CNNs. With an in-depth analysis of the recent I/O complexity theory under the red-blue game model, we develop a general I/O lower bound theory for a composite algorithm which consists of several different sub-computations. Based on the proposed theory, we establish the data movement lower bound results of two representative convolution algorithms in CNNs, namely the direct convolution and Winograd algorithm. Next, derived from I/O lower bound results, we design the near I/O-optimal dataflow strategies for the two main convolution algorithms by fully exploiting the data reuse. Furthermore, in order to push the envelope of performance of the near I/O-optimal dataflow strategies further, an aggressive design of auto-tuning based on I/O lower bounds, is proposed to search an optimal parameter configuration for the direct convolution and Winograd algorithm on GPU, such as the number of threads and the size of shared memory used in each thread block. Finally, experiment evaluation results on the direct convolution and Winograd algorithm show that our dataflow strategies with the auto-tuning approach can achieve about 3.32x performance speedup on average over cuDNN. In addition, compared with TVM, which represents the state-of-the-art technique for auto-tuning, not only our auto-tuning method based on I/O lower bounds can find the optimal parameter configuration faster, but also our solution has higher performance than the optimal solution provided by TVM.


title: Tensor Galileons as Lovelock theories

abstract: We review the construction of Galileon interactions involving a single two-column mixed-symmetry tensor of arbitrary degree in flat spacetime of arbitrary dimensions, in a reverse engineering spirit. By defining an appropriate Riemann-like tensor for each of these tensor gauge fields, we show that the theories constructed in the spirit of Lovelock's theory of Gravity correspond to the well-known Galileon theories from the literature.


title: Constellations in prime elements of number fields

abstract: Given any number field, we prove that there exist arbitrarily shaped constellations consisting of pairwise non-associate prime elements of the ring of integers. This result extends the celebrated Green-Tao theorem on arithmetic progressions of rational primes and Tao's theorem on constellations of Gaussian primes. Furthermore, we prove a constellation theorem on prime representations of binary quadratic forms with integer coefficients. More precisely, for a non-degenerate primitive binary quadratic form $F$ which is not negative definite, there exist arbitrarily shaped constellations consisting of pairs of integers $(x,y)$ for which $F(x,y)$ is a rational prime. The latter theorem is obtained by extending the framework from the ring of integers to the pair of an order and its invertible fractional ideal.


title: New method for renormalon subtraction using Fourier transform

abstract: To improve accuracy in calculating QCD effects, we propose a method for renormalon subtraction in the context of the operator-product expansion. The method enables subtracting renormalons of various powers in $\Lambda_{\rm QCD}$ efficiently and simultaneously from single-scale observables. We apply it to different observables and examine consistency with theoretical expectations.


title: Vocabulary Learning via Optimal Transport for Neural Machine Translation

abstract: The choice of token vocabulary affects the performance of machine translation. This paper aims to figure out what is a good vocabulary and whether one can find the optimal vocabulary without trial training. To answer these questions, we first provide an alternative understanding of the role of vocabulary from the perspective of information theory. Motivated by this, we formulate the quest of vocabularization -- finding the best token dictionary with a proper size -- as an optimal transport (OT) problem. We propose VOLT, a simple and efficient solution without trial training. Empirical results show that VOLT outperforms widely-used vocabularies in diverse scenarios, including WMT-14 English-German and TED's 52 translation directions. For example, VOLT achieves almost 70% vocabulary size reduction and 0.5 BLEU gain on English-German translation. Also, compared to BPE-search, VOLT reduces the search time from 384 GPU hours to 30 GPU hours on English-German translation. Codes are available at https://github.com/Jingjing-NLP/VOLT .


title: The prebiotic molecular inventory of Serpens SMM1 I. An investigation of the isomers CH$_{3}$NCO and HOCH$_{2}$CN

abstract: Methyl isocyanate (CH$_{3}$NCO) and glycolonitrile (HOCH$_{2}$CN) are isomers and prebiotic molecules that are involved in the formation of peptide structures and the nucleobase adenine, respectively. ALMA observations of the intermediate-mass Class 0 protostar Serpens SMM1-a and ALMA-PILS data of the low-mass Class 0 protostar IRAS~16293B are used. Spectra are analysed with the CASSIS line analysis software package in order to identify and characterise molecules. CH$_{3}$NCO, HOCH$_{2}$CN, and various other molecules are detected towards SMM1-a. HOCH$_{2}$CN is identified in the PILS data towards IRAS~16293B in a spectrum extracted at a half-beam offset position from the peak continuum. CH$_{3}$NCO and HOCH$_{2}$CN are equally abundant in SMM1-a at [X]/[CH$_{3}$OH] of 5.3$\times$10$^{-4}$ and 6.2$\times$10$^{-4}$, respectively. A comparison between SMM1-a and IRAS~16293B shows that HOCH$_{2}$CN and HNCO are more abundant in the former source, but CH$_{3}$NCO abundances do not differ significantly. Data from other sources are used to show that the [CH$_{3}$NCO]/[HNCO] ratio is similar in all these sources within $\sim$10\%. The new detections of CH$_{3}$NCO and HOCH$_{2}$CN are additional evidence for a large interstellar reservoir of prebiotic molecules that can contribute to the formation of biomolecules on terrestrial planets. A plausible formation pathway for HOCH$_{2}$CN is the thermal Strecker-like reaction of CN$^{-}$ with H$_{2}$CO. The similar [CH$_{3}$NCO]/[HNCO] ratios indicate that these two species either are chemically related or their formation is affected by physical conditions in the same way. The relatively high abundances of HOCH$_{2}$CN and HNCO in SMM1-a may be explained by a prolonged stage of relatively warm ice mantles, where thermal and energetic processing of HCN in the ice results in the efficient formation of both species.


title: Representations of quantum groups arising from the Stokes phenomenon

abstract: In this paper we prove that the quantum Stokes matrices of the quantum differential equation at a second order pole give rise to representations of the quantum group $U_q(\frak{gl}_n)$. We explain our results from the viewpoint of deformation quantization of the classical Stokes matrices at a second order pole. As a consequence, we can get a dictionary between the theory of Stokes phenomenon and the theory of quantum groups. We briefly discuss several such correspondences, and outline the generalization of our results to all classical types of Lie algebras and to the quantum differential equation at an arbitrary order pole.


title: ERNIE-M: Enhanced Multilingual Representation by Aligning Cross-lingual Semantics with Monolingual Corpora

abstract: Recent studies have demonstrated that pre-trained cross-lingual models achieve impressive performance in downstream cross-lingual tasks. This improvement benefits from learning a large amount of monolingual and parallel corpora. Although it is generally acknowledged that parallel corpora are critical for improving the model performance, existing methods are often constrained by the size of parallel corpora, especially for low-resource languages. In this paper, we propose ERNIE-M, a new training method that encourages the model to align the representation of multiple languages with monolingual corpora, to overcome the constraint that the parallel corpus size places on the model performance. Our key insight is to integrate back-translation into the pre-training process. We generate pseudo-parallel sentence pairs on a monolingual corpus to enable the learning of semantic alignments between different languages, thereby enhancing the semantic modeling of cross-lingual models. Experimental results show that ERNIE-M outperforms existing cross-lingual models and delivers new state-of-the-art results in various cross-lingual downstream tasks.