title: General Theorem on Interpolation of Compact Operators

abstract: We prove an abstract theorem on keeping the compactness property of a linear operator after interpolation in Banach spaces. No analytical presentation of operators, spaces and interpolation functor is required. We use only some little-known properties of compact sets and various facts about bases and basic sequences (with detailed references to the monograph "Bases in Banach spaces", Vol. I-II by I.M. Singer). Therefore the results are applicable to arbitrary spaces and any interpolation functor, including the complex method. The "two-sided" compactness is also mentioned at the end of this paper as a mere corollary.


title: Assessing the Performance of Nonlinear Regression based Machine Learning Models to Solve Coupled Cluster Theory

abstract: The iteration dynamics of the coupled cluster equations exhibits a synergistic relationship among the cluster amplitudes. The iteration scheme may be viewed as a multivariate discrete-time propagation of nonlinearly coupled equations, which is dictated by only a few principal cluster amplitudes. These principal amplitudes usually correspond to only a few valence excitations, whereas all other cluster amplitudes are enslaved, and behave as auxiliary variables. Staring with a few trial iterations, we employ a supervised machine learning strategy to establish a mapping of the principal and auxiliary amplitudes. We introduce a machine learning-coupled cluster hybrid scheme where the coupled cluster equations are solved only to determine the principal amplitudes, which saves significant computation time. The auxiliary amplitudes, on the other hand, are determined via regression. Few different regression techniques have been introduced to express the auxiliary amplitudes as functions of the principal amplitudes. The scheme has been applied to several molecules in their equilibrium and stretched geometries, and our scheme, with both the regression models, shows a significant reduction in computation time without unduly sacrificing the accuracy.


title: Backward extensions of weighted shifts on directed trees

abstract: The weighted shifts are long known and important class of operators. One of known generalisation of this class are weighted shifts on directed trees, where we replace the linear order of coordinates in $\ell^2$ with a possibly more sophisticated graph structure. In this paper we focus on the question whether a weighted shift on a directed tree admits a subnormal or just power hyponormal (i.e. all powers of the operator are hyponormal) backward extension (a shift on larger directed tree). It comes out that in both cases the question whether we can obtain "joint extension" for a family of trees does not depend on any deep interrelations between the given trees but on their own "extendability" only. We introduce a generalised framework of weighted shifts on directed forests which seems to be slightly more convenient to work with. The characterisation of all the leafless directed forests on which all hyponormal weighted shifts are power hyponormal is also given.


title: Internet of Things in Space: A Review of Opportunities and Challenges from Satellite-Aided Computing to Digitally-Enhanced Space Living

abstract: Recent scientific and technological advancements driven by the Internet of Things (IoT), Machine Learning (ML) and Artificial Intelligence (AI), distributed computing and data communication technologies have opened up a vast range of opportunities in many scientific fields - spanning from fast, reliable and efficient data communication to large-scale cloud/edge computing and intelligent big data analytics. Technological innovations and developments in these areas have also enabled many opportunities in the space industry. The successful Mars landing of NASA's Perseverance rover on February 18, 2021 represents another giant leap for mankind in space exploration. Emerging research and developments of connectivity and computing technologies in IoT for space/non-terrestrial environments is expected to yield significant benefits in the near future. This survey paper presents a broad overview of the area and provides a look-ahead of the opportunities made possible by IoT and space-based technologies. We first survey the current developments of IoT and space industry, and identify key challenges and opportunities in these areas. We then review the state-of-the-art and discuss future opportunities for IoT developments, deployment and integration to support future endeavours in space exploration.


title: Coalescence, the thermal model and multi-fragmentation: The energy and volume dependence of light nuclei production in heavy ion collisions

abstract: We present results of a phase space coalescence approach within the UrQMD transport and -hybrid model for a very wide range of beam energies from SIS to LHC. The coalescence model is able to qualitatively describe the whole range of experimental data with a fixed set of parameters. Some systematic deviations are observed for very low beam energies where the role of feed down from heavier nuclei and multi-fragmentation becomes relevant. The coalescence results are mostly very close to the thermal model fits. However, both the coalescence approach as well as thermal fits are struggling to simultaneously describe the triton multiplicities measured with the STAR and ALICE experiment. The double ratio of $tp/d^2$, in the coalescence approach, is found to be essentially energy and centrality independent for collisions of heavy nuclei at beam energies of $\mathrm{E_{lab}}> 10 A$ GeV. On the other hand the clear scaling of the $d/p^2$ and $t/p^3$ ratios with the systems volume is broken for peripheral collisions, where a canonical treatment and finite size effects become more important.


title: A Bound on the Rate of Bondi Mass Loss

abstract: To ensure the light (emitted far away from the source of gravity) can arrive at the null infinity of an asymptotically flat spacetime, it is shown that the rate of Bondi mass aspect has to satisfy some conditions. In Einstein gravity theory, we find the sufficient condition implies a bound on the Bondi mass $m$, i.e., $|\dot{m}|\leqslant 0.3820~c^3/G$. This provides a new perspective on Dyson's maximum luminosity. However, in Brans-Dicke theory, the sufficient condition depends on the behavior of the radiation field of the scalar. Specifically, the photons can escape to the null infinity when the scalar gravitational radiation is not too large and the mass loss is not too fast.


title: Regular black holes with sub-Planckian curvature

abstract: We construct a sort of regular black holes with a sub-Planckian Kretschmann scalar curvature. The metric of this sort of regular black holes is characterized by an exponentially suppressing gravity potential as well as an asymptotically Minkowski core. In particular, with different choices of the potential form, they can reproduce the metric of Bardeen/Hayward/Frolov black hole at large scales. The heuristical derivation of this sort of black holes is performed based on the generalized uncertainty principle over curved spacetime which includes the effects of tidal force on any object with finite size which is bounded below by the minimal length.


title: Balancing the Budget: Feature Selection and Tracking for Multi-Camera Visual-Inertial Odometry

abstract: We present a multi-camera visual-inertial odometry system based on factor graph optimization which estimates motion by using all cameras simultaneously while retaining a fixed overall feature budget. We focus on motion tracking in challenging environments, such as narrow corridors, dark spaces with aggressive motions, and abrupt lighting changes. These scenarios cause traditional monocular or stereo odometry to fail. While tracking motion with extra cameras should theoretically prevent failures, it leads to additional complexity and computational burden. To overcome these challenges, we introduce two novel methods to improve multi-camera feature tracking. First, instead of tracking features separately in each camera, we track features continuously as they move from one camera to another. This increases accuracy and achieves a more compact factor graph representation. Second, we select a fixed budget of tracked features across the cameras to reduce back-end optimization time. We have found that using a smaller set of informative features can maintain the same tracking accuracy. Our proposed method was extensively tested using a hardware-synchronized device consisting of an IMU and four cameras (a front stereo pair and two lateral) in scenarios including: an underground mine, large open spaces, and building interiors with narrow stairs and corridors. Compared to stereo-only state-of-the-art visual-inertial odometry methods, our approach reduces the drift rate, relative pose error, by up to 80% in translation and 39% in rotation.


title: Finding and Combining Indicable Subgroups of Big Mapping Class Groups

abstract: We explicitly construct new subgroups of the mapping class groups of an uncountable collection of infinite-type surfaces, including, but not limited to, right-angled Artin groups, free groups, Baumslag-Solitar groups, mapping class groups of other surfaces, and a large collection of wreath products. For each such subgroup $H$ and surface $S$, we show that there are countably many non-conjugate embeddings of $H$ into $\text{Map}(S)$; in certain cases, there are uncountably many such embeddings. The images of each of these embeddings cannot lie in the isometry group of $S$ for any hyperbolic metric and are not contained in the closure of the compactly supported subgroup of $\text{Map}(S)$. In this sense, our construction is new and does not rely on previously known techniques for constructing subgroups of mapping class groups. Notably, our embeddings of $\text{Map}(S')$ into $\text{Map}(S)$ are not induced by embeddings of $S'$ into $S$. Our main tool for all of these constructions is the utilization of special homeomorphisms of $S$ called shift maps, and more generally, multipush maps.


title: Studying squeeze-and-excitation used in CNN for speaker verification

abstract: In speaker verification, the extraction of voice representations is mainly based on the Residual Neural Network (ResNet) architecture. ResNet is built upon convolution layers which learn filters to capture local spatial patterns along all the input, then generate feature maps that jointly encode the spatial and channel information. Unfortunately, all feature maps in a convolution layer are learnt independently (the convolution layer does not exploit the dependencies between feature maps) and locally. This problem has first been tackled in image processing. A channel attention mechanism, called squeeze-and-excitation (SE), has recently been proposed in convolution layers and applied to speaker verification. This mechanism re-weights the information extracted across features maps. In this paper, we first propose an original qualitative study about the influence and the role of the SE mechanism applied to the speaker verification task at different stages of the ResNet, and then evaluate several SE architectures. We finally propose to improve the SE approach with a new pool- ing variant based on the concatenation of mean- and standard- deviation-pooling. Results showed that applying SE only on the first stages of the ResNet allows to better capture speaker information for the verification task, and that significant discrimination gains on Voxceleb1-E, Voxceleb1-H and SITW evaluation tasks have been noted using the proposed pooling variant.


title: RWP+: A New Random Waypoint Model for High-Speed Mobility

abstract: In this letter, we emulate real-world statistics for mobility patterns on road systems. We then propose modifications to the assumptions of the random waypoint (RWP) model to better represent high-mobility profiles. We call the model under our new framework as RWP+. Specifically, we show that the lengths of the transitions which constitute a trip, are best represented by a lognormal distribution, and that the velocities are best described by a linear combination of normal distributions with different mean values. Compared to the assumptions used in the literature for mobile cellular networks, our modeling provides mobility metrics, such as handoff rates, that better characterize actual emulated trips from the collected statistics.

categories: cs.IT cs.SY eess.SY math.IT stat.AP stat.OT


title: Keyword Extraction for Improved Document Retrieval in Conversational Search

abstract: Recent research has shown that mixed-initiative conversational search, based on the interaction between users and computers to clarify and improve a query, provides enormous advantages. Nonetheless, incorporating additional information provided by the user from the conversation poses some challenges. In fact, further interactions could confuse the system as a user might use words irrelevant to the information need but crucial for correct sentence construction in the context of multi-turn conversations. To this aim, in this paper, we have collected two conversational keyword extraction datasets and propose an end-to-end document retrieval pipeline incorporating them. Furthermore, we study the performance of two neural keyword extraction models, namely, BERT and sequence to sequence, in terms of extraction accuracy and human annotation. Finally, we study the effect of keyword extraction on the end-to-end neural IR performance and show that our approach beats state-of-the-art IR models. We make the two datasets publicly available to foster research in this area.


title: General Exceptional Points

abstract: Exceptional points are interesting physical phenomena in non-Hermitian physics at which the eigenvalues are degenerate and the eigenvectors coalesce. In this paper, we find that the universal feature of arbitrary non-Hermitian two level systems with singularities is basis defectiveness rather than energy degeneracy or state coalescence. This leads to the discovery of general exceptional points (GEPs). For GEPs, more subtle structures (e.g., Bloch peach), additional classification, and' 'hidden" quantum phase transitions are explored. By using the topologically protected subspace from two edge states in the non-Hermitian SSH model as an example, we illustrate the physical properties of different types of GEPs.


title: New existence results for prescribed mean curvature problem on balls under pinching conditions

abstract: We consider a kind of Yamabe problem whose scalar curvature vanishes in the unit ball $\mathbb{B}^n$ and on the boundary $\mathbb{S}^{n-1}$ the mean curvature is prescribed. By combining critical points at infinity approach with Morse theory we obtain new existence results in higher dimensional case $n\geq 5$, under suitable pinching conditions on the mean curvature function.


title: Pauli paramagnetism of triplet Cooper pairs in a nematic superconductor

abstract: We investigate the response of a doped topological insulator Bi$_2$Se$_3$ with spin-triplet nematic superconductivity to external magnetization. We calculate the Zeeman part of magnetic susceptibility for nematic and chiral superconducting phases near T$_c$ in Ginzburg-Landau formalism. Superconducting order parameter from $E_u$ representation has non-trivial coupling with the transversal Zeeman field that results in a paramagnetic response to a magnetization. The topology of a Fermi surface has a strong influence on magnetic susceptibility. Lifshitz transition from closed to open Fermi surface eventually leads to phase transition from the nematic to chiral phase. At the transition point, magnetic susceptibility diverges. Also, we study the effects of the electron-electron interaction on the competition between nematic and chiral phases. We found that in a real system, electron-electron interaction can drive nematic to chiral phase only in the vicinity of the phase transition. We compare our results with the existing experimental data.


title: Coupling between turbulence and solar-like oscillations: a combined Lagrangian PDF/SPH approach. I -- The stochastic wave equation

abstract: Aims. This series of papers aims at building a new formalism specifically tailored to study the impact of turbulence on the global modes of oscillation in solar-like stars. This first paper aims at deriving a linear wave equation that directly and consistently contains the turbulence as an input to the model, and therefore naturally contains the information on the coupling between the turbulence and the modes, through the stochasticity of the equations. Methods. We use a Lagrangian stochastic model of turbulence based on Probability Density Function methods to describe the evolution of the properties of individual fluid particles through stochastic differential equations. We then transcribe these stochastic differential equations from a Lagrangian frame to an Eulerian frame, more adapted to the analysis of stellar oscillations. We combine this method with Smoothed Particle Hydrodynamics, where all the mean fields appearing in the Lagrangian stochastic model are estimated directly from the set of fluid particles themselves, through the use of a weighting kernel function allowing to filter the particles present in any given vicinity. The resulting stochastic differential equations on Eulerian variables are then linearised. Results. We obtain a stochastic, linear wave equation governing the time evolution of the relevant wave variables, while at the same time containing the effect of turbulence. The wave equation generalises the classical, unperturbed propagation of acoustic waves in a stratified medium to a form that, by construction, accounts for the impact of turbulence on the mode in a consistent way. The effect of turbulence consists in a non-homogeneous forcing term, responsible for the stochastic driving of the mode, and a stochastic perturbation to the homogeneous part of the wave equation, responsible for both the damping of the mode and the modal surface effects.


title: Optimizers for the finite-rank Lieb-Thirring inequality

abstract: The finite-rank Lieb-Thirring inequality provides an estimate on a Riesz sum of the $N$ lowest eigenvalues of a Schr\"odinger operator $-\Delta-V(x)$ in terms of an $L^p(\mathbb{R}^d)$ norm of the potential $V$. We prove here the existence of an optimizing potential for each $N$, discuss its qualitative properties and the Euler--Lagrange equation (which is a system of coupled nonlinear Schr\"odinger equations) and study in detail the behavior of optimizing sequences. In particular, under the condition $\gamma>\max\{0,2-d/2\}$ on the Riesz exponent in the inequality, we prove the compactness of all the optimizing sequences up to translations. We also show that the optimal Lieb-Thirring constant cannot be stationary in $N$, which sheds a new light on a conjecture of Lieb-Thirring. In dimension $d=1$ at $\gamma=3/2$, we show that the optimizers with $N$ negative eigenvalues are exactly the Korteweg-de Vries $N$--solitons and that optimizing sequences must approach the corresponding manifold. Our work covers the critical case $\gamma=0$ in dimension $d\geq3$ (Cwikel-Lieb-Rozenblum inequality) for which we exhibit and use a link with invariants of the Yamabe problem.


title: On inscribed trapezoids and affinely 3-regular maps

abstract: We show that any embedding $\mathbb{R}^d \to \mathbb{R}^{2d+2^{\gamma(d)}-1}$ inscribes a trapezoid or maps three points to a line, where $2^{\gamma(d)}$ is the smallest power of $2$ satisfying $2^{\gamma(d)} \geq \rho(d)$, and $\rho(d)$ denotes the Hurwitz--Radon function. The proof is elementary and includes a novel application of nonsingular bilinear maps. As an application, we recover recent results on the nonexistence of affinely $3$-regular maps, for infinitely many dimensions $d$, without resorting to sophisticated algebraic techniques.


title: Mutual Supervision for Dense Object Detection

abstract: The classification and regression head are both indispensable components to build up a dense object detector, which are usually supervised by the same training samples and thus expected to have consistency with each other for detecting objects accurately in the detection pipeline. In this paper, we break the convention of the same training samples for these two heads in dense detectors and explore a novel supervisory paradigm, termed as Mutual Supervision (MuSu), to respectively and mutually assign training samples for the classification and regression head to ensure this consistency. MuSu defines training samples for the regression head mainly based on classification predicting scores and in turn, defines samples for the classification head based on localization scores from the regression head. Experimental results show that the convergence of detectors trained by this mutual supervision is guaranteed and the effectiveness of the proposed method is verified on the challenging MS COCO benchmark. We also find that tiling more anchors at the same location benefits detectors and leads to further improvements under this training scheme. We hope this work can inspire further researches on the interaction of the classification and regression task in detection and the supervision paradigm for detectors, especially separately for these two heads.


title: Spanning Tree Bounds for Grid Graphs

abstract: Among subgraphs with a fixed number of vertices of the regular square lattice, we prove inequalities that essentially say that those with smaller boundaries have larger numbers of spanning trees and vice-versa. As an application, we relate two commonly used measurements of the compactness of district maps.


title: Constraint-Driven Optimal Control of Multi-Agent Systems: A Highway Platooning Case Study

abstract: Platooning has been exploited as a method for vehicles to minimize energy consumption. In this article, we present a constraint-driven optimal control framework that yields emergent platooning behavior for connected and automated vehicles operating in an open transportation system. Our approach combines recent insights in constraint-driven optimal control with the physical aerodynamic interactions between vehicles in a highway setting. The result is a set of equations that describes when platooning is an appropriate strategy, as well as a descriptive optimal control law that yields emergent platooning behavior. Finally, we demonstrate these properties in simulation.


title: Nonmonotonic photostability of BA2MAn-1PbnI3n+1 homologous layered perovskites

abstract: Layered lead halide A'2An-1PbnI3n+1 perovskites (2D LHPs) are attracting considerable attention as a more stable alternative with respect to APbI3 parent phases - a promising material for a new generation of solar cells. However, a critical analysis on the photostability of 2D perovskites homologous row is still lacking. In this work, we perform a comparative study of BA2MAn-1PbnI3n+1 (BA - butylammonium, MA - methylammonium) 2D LHPs with different layer number n = 1-3, considered as study-case systems, and MAPbI3, as a reference. We discuss a stability testing protocol with general validity, comparing photometrical determination of iodine-containing products in nonpolar solvents, X-ray diffraction, and photoluminescence spectroscopy. The resulting photostability trends in inert atmosphere demonstrate a nonmonotonic dependence of degradation rate on the perovskite layer thickness n with a "stability island" at n > 3 which is caused by a combination of antibate factors of electronic structure and chemical composition in the family of 2D perovskites. We also identify a critical oxygen concentration in the surrounding environment that affects the mechanism and strongly enhances the rate of layered perovskites photodegradation.


title: A Metric Tensor Approach to Data Assimilation with Adaptive Moving Meshes

abstract: Adaptive moving spatial meshes are useful for solving physical models given by time-dependent partial differentialequations. However, special consideration must be given when combining adaptive meshing procedures with ensemble-based data assimilation (DA) techniques. In particular, we focus on the case where each ensemble member evolvesindependently upon its own mesh and is interpolated to a common mesh for the DA update. This paper outlines aframework to develop time-dependent reference meshes using locations of observations and the metric tensors (MTs)or monitor functions that define the spatial meshes of the ensemble members. We develop a time-dependent spatiallocalization scheme based on the metric tensor (MT localization). We also explore how adaptive moving mesh tech-niques can control and inform the placement of mesh points to concentrate near the location of observations, reducingthe error of observation interpolation. This is especially beneficial when we have observations in locations that wouldotherwise have a sparse spatial discretization. We illustrate the utility of our results using discontinuous Galerkin(DG) approximations of 1D and 2D inviscid Burgers equations. The numerical results show that the MT localizationscheme compares favorably with standard Gaspari-Cohn localization techniques. In problems where the observationsare sparse, the choice of common mesh has a direct impact on DA performance. The numerical results also demonstratethe advantage of DG-based interpolation over linear interpolation for the 2D inviscid Burgers equation.


title: Adaptive iterative linearised finite element methods for implicitly constituted incompressible fluid flow problems and its application to Bingham fluids

abstract: In this work, we introduce an iterative linearised finite element method for the solution of Bingham fluid flow problems. The proposed algorithm has the favourable property that a subsequence of the sequence of iterates generated converges weakly to a solution of the problem. This will be illustrated by two numerical experiments.


title: Non-invertible topological defects in 4-dimensional $\mathbb{Z}_2$ pure lattice gauge theory

abstract: We explore topological defects in the 4-dimensional pure $\mathbb{Z}_2$ lattice gauge theory. This theory has 1-form $\mathbb{Z}_{2}$ center symmetry as well as the Kramers-Wannier-Wegner (KWW) duality. We construct the KWW duality topological defects in the similar way to that constructed by Aasen, Mong, Fendley arXiv:1601.07185 for the 2-dimensional Ising model. These duality defects turn out to be non-invertible. We also construct the 1-form $\mathbb{Z}_{2}$ symmetry defects as well as the junctions among KWW duality defects and 1-form $\mathbb{Z}_{2}$ center symmetry defects. The crossing relations among these defects are derived. The expectation values of some configurations of these topological defects are calculated by using these crossing relations.


title: A Weyl-$\mathrm{Z}_2$ semimetal from holography

abstract: We present effective field theories for the weakly coupled Weyl-$\mathrm{Z}_2$ semimetal, as well as the holographic realization for the strongly coupled case. In both cases, the anomalous systems have both the chiral anomaly and the $\mathrm{Z}_2$ anomaly and possess topological quantum phase transitions from the Weyl-$\mathrm{Z}_2$ semimetal phases to partly or fully topological trivial phases. We find that the topological phase transition is characterized by the anomalous transport parameters, i.e. the anomalous Hall conductivity and the $\mathrm{Z}_2$ anomalous Hall conductivity. These two parameters are nonzero at the Weyl-$\mathrm{Z}_2$ semimetal phase and vanish at the topologically trivial phases. In the holographic case, the different behavior between the two anomalous transport coefficients is discussed. Our work reveals the novel phase structure of strongly interacting Weyl-$\mathrm{Z}_2$ semimetal with two pairs of nodes.


title: Conservative and radiative dynamics in classical relativistic scattering and bound systems

abstract: As recent work continues to demonstrate, the study of relativistic scattering processes leads to valuable insights and computational tools applicable to the relativistic bound-orbit two-body problem. This is particularly relevant in the post-Minkowskian approach to the gravitational two-body problem, where the field has only recently reached a full description of certain physical observables for scattering orbits, including radiative effects, at the third post-Minkowskian (3PM) order. As an historically instructive simpler example, we consider here the analogous problem in electromagnetism in flat spacetime. We compute for the first time the changes in linear momentum of each particle and the total radiated linear momentum, in the relativistic classical scattering of two point-charges, at sixth order in the charges (analogous to 3PM order in gravity). We accomplish this here via direct iteration of the classical equations of motion, while making comparisons where possible to results from quantum scattering amplitudes, with the aim of contributing to the elucidation of conceptual issues and scalability on both sides. We also discuss further extensions to radiative quantities of recently established relations which analytically continue certain observables from the scattering regime to the regime of bound orbits, applicable for both the electromagnetic and gravitational cases.


title: A Scalable Last-Mile Delivery Service: From Simulation to Scaled Experiment

abstract: In this paper, we investigate the problem of a last-mile delivery service that selects up to $N$ available vehicles to deliver $M$ packages from a centralized depot to $M$ delivery locations. The objective of the last-mile delivery service is to jointly maximize customer satisfaction (minimize delivery time) and minimize operating cost (minimize total travel time) by selecting the optimal number of vehicles to perform the deliveries. We model this as an assignment (vehicles to packages) and path planning (determining the delivery order and route) problem, which is equivalent to the NP-hard multiple traveling salesperson problem. We propose a scalable heuristic algorithm, which sacrifices some optimality to achieve a reasonable computational cost for a high number of packages. The algorithm combines hierarchical clustering with a greedy search. To validate our approach, we compare the results of our simulation to experiments in a $1$:$25$ scale robotic testbed for future mobility systems.


title: Redesigning the Jefferson Lab Hall A Beam Line for High Precision Parity Experiments

abstract: The Continuous Electron Beam Accelerator Facility (CEBAF) was built with a thermionic electron source and the three original experimental hall lines reflected this. A few years after beam delivery began a parity violation experiment was approved and two polarimeters were installed in the Hall A beam line without consultation with the accelerator physics group. The beam raster system was placed after the new Compton polarimeter, before one accelerator quadrupole and four quadrupoles in the new Moller polarimeter. It was very difficult to meet experimental requirements on envelope functions and raster shape with this arrangement so a member of the accelerator physics group had a sixth quadrupole installed downstream of the Moller polarimeter. All of the parity experiments in Hall A have been run with this still-unsatisfactory configuration. The MOLLER experiment is predicated on achieving a 2% error on a 32 ppb asymmetry. Beam line changes are required to meet the systematic error budget. This paper documents the existing beam line, an interim change which can be accomplished during a annual maintenance down, and the final configuration for MOLLER and subsequent experiments.


title: Homogenisation of the Stokes equations for evolving microstructure

abstract: We consider the homogenisation of the Stokes equations in a porous medium which is evolving in time. At the interface of the pore space and the solid part, we prescribe an inhomogeneous Dirichlet boundary condition, which enables to model a no-slip boundary condition at the evolving boundary. We pass rigorously to the homogenisation limit with the two-scale transformation method. In order to derive uniform a priori estimates, we show a Korn-type inequality for the two-scale transformation method and construct a family of $\varepsilon$-scaled operators $\operatorname{div}_\varepsilon^{-1}$, which are right-inverse to the corresponding divergences. The homogenisation result is a new version of Darcy's law. It features a time- and space-dependent permeability tensor, which accounts for the local pore structure, and a macroscopic compressibility condition, which induces a new source term for the pressure. In the case of a no-slip boundary condition at the interface, this source term relates to the change of the local pore volume.


title: Options Pricing under Bayesian MS-VAR Process

abstract: In this paper, we have studied option pricing methods that are based on a Bayesian Markov-Switching Vector Autoregressive (MS-BVAR) process using a risk-neutral valuation approach. A BVAR process, which is a special case of the Bayesian MS-VAR process is widely used to model interdependencies of economic variables and forecast economic variables. Here we assumed that a regime-switching process is generated by a homogeneous Markov process and a residual process follows a conditional heteroscedastic model. With a direct calculation and change of probability measure, for some frequently used options, we derived pricing formulas. An advantage of our model is it depends on economic variables and is easy to use compared to previous option pricing papers, which depend on regime-switching.


title: The Stellar "Snake" I: Whole Structure and Properties

abstract: To complement our previous discovery of the young snake-like structure in the solar neighborhood and reveal the structure's full extent, we build two samples of stars within the Snake and its surrounding territory from {\tt Gaia EDR3}. With the friends-of-friends algorithm, we identify 2694 and 9615 Snake member candidates from the two samples. Thirteen open clusters are embedded in these member candidates. By combining the spectroscopic data from multiple surveys, we investigate the comprehensive properties of the candidates and find that they \thj{are very likely to} belong to one sizable structure, since most of the components are well bridged in their spatial distributions, and follow a single stellar population with an age of $30-40$\,Myr and solar metallicity. This sizable structure is best explained as hierarchically primordial, and probably formed from a filamentary giant molecular cloud with unique formation history in localized regions. To analyze the dynamics of the Snake, we divide the structure into five groups according to their tangential velocities; we find that the groups are expanding at a coherent rate ($\kappa_X\sim3.0\,\times10^{-2}\,\rm km\,s^{-1}\,pc^{-1}$) along the length of the structure ($X$-direction). \thj{The corresponding expansion age ($\tau\sim33$\,Myr) is highly consistent with the age of the Snake}. With over ten thousand member stars, the Snake is an ideal laboratory to study nearby coeval stellar formation, stellar physics, and environmental evolution over a large spatial extent.


title: Effective-mass tensor of the two-body bound states and the quantum-metric tensor of the underlying Bloch states

abstract: By considering an onsite attraction between a spin-$\uparrow$ and a spin-$\downarrow$ fermion in a multiband tight-binding lattice, here we study the two-body spectrum, and derive an exact relation between the inverse of the effective-mass tensor of the lowest bound states and the quantum-metric tensor of the underlying Bloch states. In addition to the intraband (or the so-called conventional) contribution that depends only on the single-particle spectrum and the interband (or the so-called geometric) contribution that is controlled by the quantum metric, our generalized relation has an additional interband contribution that depends on the so-called band-resolved quantum metric. All of our analytical expressions are applicable to those multiband lattices that simultaneously exhibit time-reversal symmetry and fulfill the condition on spatially-uniform pairing. As a nontrivial illustration we analyze the two-body problem in a Kagome lattice with nearest-neighbor hoppings, and show that the exact relation provides a perfect benchmark.


title: Meshy soliton structures for (2+1)-dimensional integrable systems and interactions

abstract: In this letter, we construct new meshy soliton structures by using two concrete (2+1)-dimensional integrable systems. The explicit expressions based on corresponding Cole-Hopf type transformations are obtained. Constraint equation ft+\sum_{j=1}^{N} h_j(y)f_{jx} = 0 shows that these meshy soliton structures can be linear or parabolic. Interaction between meshy soliton structure and Lump structure are also revealed.


title: Compact sets and the closure of their convex hulls in CAT(0) spaces

abstract: We study the closure of the convex hull of a compact set in a complete CAT(0) space. First we give characterization results in terms of compact sets and the closure of their convex hulls for locally compact CAT(0) spaces that are either regular or satisfy the geodesic extension property. Later inspired by a geometric interpretation of Carath\'eodory's Theorem we introduce the operation of threading for a given set. We show that threading exhibits certain monotonicity properties with respect to intersection and union of sets. Moreover threading preserves compactness. Next from the commutativity of threading with any isometry mapping we prove that in a flat complete CAT(0) space the closure of the convex hull of a compact set is compact. We apply our theory to the computability of the Fr\'echet mean of a finite set of points and show that it is constructible in at most a finite number of steps, whenever the underlying space is of finite type.


title: On two notions of expansiveness for continuous semiflows

abstract: We study two notions of expansiveness for continuous semiflows: expansiveness in the sense of Alves, Carvalho and Siqueira (2017), and an adaptation of positive expansiveness in the sense of Artigue (2014). We prove that if $X$ is a metric space and $\phi$ is an expansive semiflow on $X$ according to the first definition, then the semiflow $\phi$ is trivial and the space $X$ is uniformly discrete. In particular, if $X$ is compact then it is finite. With respect to the second definition, we prove that if $X$ is a compact metric space and $\phi$ is a positive expansive semiflow on it, then $X$ is a union of at most finitely many closed orbits, unbranched tails and isolated singularities.


title: On the Parameterized Complexity of the Acyclic Matching Problem

abstract: A matching is a set of edges in a graph with no common endpoint. A matching M is called acyclic if the induced subgraph on the endpoints of the edges in M is acyclic. Given a graph G and an integer k, Acyclic Matching Problem seeks for an acyclic matching of size k in G. The problem is known to be NP-complete. In this paper, we investigate the complexity of the problem in different aspects. First, we prove that the problem remains NP-complete for the class of planar bipartite graphs of maximum degree three and arbitrarily large girth. Also, the problem remains NP-complete for the class of planar line graphs with maximum degree four. Moreover, we study the parameterized complexity of the problem. In particular, we prove that the problem is W[1]-hard on bipartite graphs with respect to the parameter k. On the other hand, the problem is fixed parameter tractable with respect to the parameters tw and (k, c4), where tw and c4 are the treewidth and the number of cycles with length 4 of the input graph. We also prove that the problem is fixed parameter tractable with respect to the parameter k for the line graphs and every proper minor-closed class of graphs (including planar graphs).


title: A review on BGK models for gas mixtures of mono and polyatomic molecules

abstract: We consider the socalled Bathnagar-Gross-Krook (BGK) model, an approximation of the Boltzmann equation, describing the time evolution of a single momoatomic rarefied gas and satisfying the same two main properties (conservation properties and entropy inequality). However, in practical applications one often has to deal with two additional physical issues. First, a gas often does not consist of only one species, but it consists of mixture a mixture of different species. Second, the particles can store energy not only in translational degrees of freedom but also in internal degrees of freedom like rotations or vibrations (polyatomic molecules). Therefore, here, we will present recent BGK models for gas mixtures for mono- and polyatomic particles and the existing mathematical theory for these models.


title: Single-Target Real-Time Passive WiFi Tracking

abstract: Device-free human tracking is an essential ingredient for ubiquitous wireless sensing. Recent passive WiFi tracking systems face the challenges of inaccurate separation of dynamic human components and time-consuming estimation of multi-dimensional signal parameters. In this work, we present a scheme named WiFi Doppler Frequency Shift (WiDFS), which can achieve single-target real-time passive tracking using channel state information (CSI) collected from commercial-off-the-shelf (COTS) WiFi devices. We consider the typical system setup including a transmitter with a single antenna and a receiver with three antennas; while our scheme can be readily extended to another setup. To remove the impact of transceiver asynchronization, we first apply CSI cross-correlation between each RX antenna pair. We then combine them to estimate a Doppler frequency shift (DFS) in a short-time window. After that, we leverage the DFS estimate to separate dynamic human components from CSI self-correlation terms of each antenna, thereby separately calculating angle-of-arrival (AoA) and human reflection distance for tracking. In addition, a hardware calibration algorithm is presented to refine the spacing between RX antennas and eliminate the hardware-related phase differences between them. A prototype demonstrates that WiDFS can achieve real-time tracking with a median position error of 72.32 cm in multipath-rich environments.


title: Visualization for Villainy

abstract: Visualization has long been seen as a dependable and trustworthy tool for carrying out analysis and communication tasks -- a view reinforced by the growing interest in applying it to socially positive ends. However, despite the benign light in which visualization is usually perceived, it carries the potential to do harm to people, places, concepts, and things. In this paper, we capitalize on this negative potential to serve an underrepresented (but technologically engaged) group: villains. To achieve these ends, we introduce a design space for this type of graphical violence, which allows us to unify prior work on deceptive visualization with novel data-driven dastardly deeds, such as emotional spear phishing and unsafe data physicalization. By charting this vile charting landscape, we open new doors to collaboration with terrifying domain experts, and hopefully, make the world just a bit worse.


title: Evolutionary Vaccination Games with premature vaccines to combat ongoing deadly pandemic

abstract: We consider a vaccination game that results with the introduction of premature and possibly scarce vaccines introduced in a desperate bid to combat the otherwise ravaging deadly pandemic. The response of unsure agents amid many uncertainties makes this game completely different from the previous studies. We construct a framework that combines SIS epidemic model with a variety of dynamic behavioral vaccination responses and demographic aspects. The response of each agent is influenced by the vaccination hesitancy and urgency, which arise due to their personal belief about efficacy and side-effects of the vaccine, disease characteristics, and relevant reported information (e.g., side-effects, disease statistics etc.). Based on such aspects, we identify the responses that are stable against static mutations. By analysing the attractors of the resulting ODEs, we observe interesting patterns in the limiting state of the system under evolutionary stable (ES) strategies, as a function of various defining parameters. There are responses for which the disease is eradicated completely (at limiting state), but none are stable against mutations. Also, vaccination abundance results in higher infected fractions at ES limiting state, irrespective of the disease death rate.


title: Entropy inequalities for random walks and permutations

abstract: We consider a new functional inequality controlling the rate of relative entropy decay for random walks, the interchange process and more general block-type dynamics for permutations. The inequality lies between the classical logarithmic Sobolev inequality and the modified logarithmic Sobolev inequality, roughly interpolating between the two as the size of the blocks grows. Our results suggest that the new inequality may have some advantages with respect to the latter well known inequalities when multi-particle processes are considered. We prove a strong form of tensorization for independent particles interacting through synchronous updates. Moreover, for block dynamics on permutations we compute the optimal constants in all mean field settings, namely whenever the rate of update of a block depends only on the size of the block. Along the way we establish the independence of the spectral gap on the number of particles for these mean field processes. As an application of our entropy inequalities we prove a new subadditivity estimate for permutations, which implies a sharp upper bound on the permanent of arbitrary matrices with nonnegative entries, thus resolving a well known conjecture.


title: Effects of Non-linear Electrodynamics on Thermodynamics of Charged Black Hole

abstract: This paper investigates thermodynamics, quasi-normal modes, thermal fluctuations and phase transitions of Reissner-Nordstr\"om black hole with the effects of non-linear electrodynamics. We first compute the expressions for Hawking temperature, entropy and heat capacity of this black hole and then obtain a relation between Davies's point and quasi-normal modes with non-linear electrodynamics. We also observe the effects of logarithmic corrections on uncorrected thermodynamic quantities such as entropy, Hawking temperature, Helmholtz free energy, internal energy, Gibbs free energy, enthalpy and heat capacity. It is found that presence of non-linear electrodynamic parameter induces more instability in black holes of large radii. Finally, we analyze the phase transitions of Hawking temperature as well as heat capacity in terms of entropy for different values of charge ($q$), horizon radius ($r_{+}$) and coupling parameter ($\alpha$). We obtain that Hawking temperature changes its phase from positive to negative for increasing values of $q$ and $r_{+}$ while it shows opposite trend for higher values of $\alpha$. The heat capacity changes its phase from negative to positive for large values of charge, horizon radius and coupling parameter.


title: Online Optimization of Stimulation Speed in an Auditory Brain-Computer Interface under Time Constraints

abstract: The decoding of brain signals recorded via, e.g., an electroencephalogram, using machine learning is key to brain-computer interfaces (BCIs). Stimulation parameters or other experimental settings of the BCI protocol typically are chosen according to the literature. The decoding performance directly depends on the choice of parameters, as they influence the elicited brain signals and optimal parameters are subject-dependent. Thus a fast and automated selection procedure for experimental parameters could greatly improve the usability of BCIs. We evaluate a standalone random search and a combined Bayesian optimization with random search in a closed-loop auditory event-related potential protocol. We aimed at finding the individually best stimulation speed -- also known as stimulus onset asynchrony (SOA) -- that maximizes the classification performance of a regularized linear discriminant analysis. To make the Bayesian optimization feasible under noise and the time pressure posed by an online BCI experiment, we first used offline simulations to initialize and constrain the internal optimization model. Then we evaluated our approach online with 13 healthy subjects. We could show that for 8 out of 13 subjects, the proposed approach using Bayesian optimization succeeded to select the individually optimal SOA out of multiple evaluated SOA values. Our data suggests, however, that subjects were influenced to very different degrees by the SOA parameter. This makes the automatic parameter selection infeasible for subjects where the influence is limited. Our work proposes an approach to exploit the benefits of individualized experimental protocols and evaluated it in an auditory BCI. When applied to other experimental parameters our approach could enhance the usability of BCI for different target groups -- specifically if an individual disease progress may prevent the use of standard parameters.


title: Detectability of the gravitational redshift effect from the asymmetric galaxy clustering

abstract: It has been recently recognized that the observational relativistic effects, mainly arising from the light propagation in an inhomogeneous universe, induce the dipole asymmetry in the cross-correlation function of galaxies. In particular, the dipole asymmetry at small scales is shown to be dominated by the gravitational redshift effects. In this paper, we exploit a simple analytical description for the dipole asymmetry in the cross-correlation function valid at quasi-linear regime. In contrast to the previous model, a new prescription involves only one dimensional integrals, providing a faster way to reproduce the results obtained by Saga et al. (2020). Using the analytical model, we discuss the detectability of the dipole signal induced by the gravitational redshift effect from upcoming galaxy surveys. The gravitational redshift effect at small scales enhances the signal-to-noise ratio (S/N) of the dipole, and in most of the cases considered, the S/N is found to reach a maximum at $z\approx0.5$. We show that current and future surveys such as DESI and SKA provide an idealistic data set, giving a large S/N of $10\sim 20$. Two potential systematics arising from off-centered galaxies are also discussed (transverse Doppler effect and diminution of the gravitational redshift effect), and their impacts are found to be mitigated by a partial cancellation between two competitive effects. Thus, the detection of the dipole signal at small scales is directly linked to the gravitational redshift effect, and should provide an alternative route to test gravity.


title: Learning to Ground Visual Objects for Visual Dialog

abstract: Visual dialog is challenging since it needs to answer a series of coherent questions based on understanding the visual environment. How to ground related visual objects is one of the key problems. Previous studies utilize the question and history to attend to the image and achieve satisfactory performance, however these methods are not sufficient to locate related visual objects without any guidance. The inappropriate grounding of visual objects prohibits the performance of visual dialog models. In this paper, we propose a novel approach to Learn to Ground visual objects for visual dialog, which employs a novel visual objects grounding mechanism where both prior and posterior distributions over visual objects are used to facilitate visual objects grounding. Specifically, a posterior distribution over visual objects is inferred from both context (history and questions) and answers, and it ensures the appropriate grounding of visual objects during the training process. Meanwhile, a prior distribution, which is inferred from context only, is used to approximate the posterior distribution so that appropriate visual objects can be grounded even without answers during the inference process. Experimental results on the VisDial v0.9 and v1.0 datasets demonstrate that our approach improves the previous strong models in both generative and discriminative settings by a significant margin.


title: When is Wall a Pared and when a Muro? -- Extracting Rules Governing Lexical Selection

abstract: Learning fine-grained distinctions between vocabulary items is a key challenge in learning a new language. For example, the noun "wall" has different lexical manifestations in Spanish -- "pared" refers to an indoor wall while "muro" refers to an outside wall. However, this variety of lexical distinction may not be obvious to non-native learners unless the distinction is explained in such a way. In this work, we present a method for automatically identifying fine-grained lexical distinctions, and extracting concise descriptions explaining these distinctions in a human- and machine-readable format. We confirm the quality of these extracted descriptions in a language learning setup for two languages, Spanish and Greek, where we use them to teach non-native speakers when to translate a given ambiguous word into its different possible translations. Code and data are publicly released here (https://github.com/Aditi138/LexSelection)


title: The positive energy conjecture for a class of AHM metrics on $\mathbb{R}^{2}\times\mathbb{T}^{n-2}$

abstract: We prove the positive energy conjecture for a class of asymptotically Horowitz-Myers (AHM) metrics on $\mathbb{R}^{2}\times\mathbb{T}^{n-2}$.This generalizes the previous results of Barzegar-Chru\'{s}ciel-H\"{o}rzinger-Maliborski-Nguyen \cite{BCHMN} as well as the authors \cite{LZ}.


title: On the Optimal Memory-Load Tradeoff of Coded Caching for Location-Based Content

abstract: Caching at the wireless edge nodes is a promising way to boost the spatial and spectral efficiency, for the sake of alleviating networks from content-related traffic. Coded caching originally introduced by Maddah-Ali and Niesen significantly speeds up communication efficiency by transmitting multicast messages simultaneously useful to multiple users. Most prior works on coded caching are based on the assumption that each user may request all content in the library. However, in many applications the users are interested only in a limited set of content that depends on their location. Motivated by these considerations, this paper formulates the coded caching problem for location-based content with edge cache nodes. The considered problem includes a content server with access to $N$ location-based files (e.g., High-Definition maps), $K$ edge cache nodes located at different regions, and $K$ users (i.e., vehicles) each of which is in the serving region of one cache node and can retrieve the cached content of this cache node with negligible cost. Depending on the location, each user only requests a file from a location-dependent subset of the library. The objective is to minimize the worst-case load. For this novel coded caching problem, we propose a highly non-trivial converse bound under uncoded cache placement, which shows that a simple achievable scheme is optimal under uncoded cache placement. In addition, this achievable scheme is also proved to be generally order optimal within a factor of $3$. Finally, we extend the coded caching problem for location-based content to the multiaccess coded caching topology originally proposed by Hachem et al., where each user is connected to $L$ nearest cache nodes. When $L \geq 2$, we characterize the exact optimality on the worst-case load.


title: High-frequency estimates on boundary integral operators for the Helmholtz exterior Neumann problem

abstract: We study a commonly-used second-kind boundary-integral equation for solving the Helmholtz exterior Neumann problem at high frequency, where, writing $\Gamma$ for the boundary of the obstacle, the relevant integral operators map $L^2(\Gamma)$ to itself. We prove new frequency-explicit bounds on the norms of both the integral operator and its inverse. The bounds on the norm are valid for piecewise-smooth $\Gamma$ and are sharp up to factors of $\log k$ (where $k$ is the wavenumber), and the bounds on the norm of the inverse are valid for smooth $\Gamma$ and are observed to be sharp at least when $\Gamma$ is smooth with strictly-positive curvature. Together, these results give bounds on the condition number of the operator on $L^2(\Gamma)$; this is the first time $L^2(\Gamma)$ condition-number bounds have been proved for this operator for obstacles other than balls.


title: Coded Relaying in LoRa Sensor Networks

abstract: To enhance the reliability of LoRa sensor networks, we propose two opportunistic forwarding protocols in which relays overhear sensor-to-gateway messages and periodically forward them to a gateway. To reduce the number of transmissions, the relays forward XOR sums of the overheard messages. One protocol employs a single relay node, while two relays cooperate in the other. With a single relay, our proposed protocol requires fewer relay transmissions to achieve similar loss rates as conventional uncoded forwarding in which every received message is immediately forwarded. We demonstrate up to 55% reduction in relay transmission time relative to uncoded forwarding. The cooperative protocol provides better loss and delay performance than the single-relay protocol, and we demonstrate up to 16% reduction in the message-loss rate along with 33% reduction in relay transmission times compared to conventional forwarding.


title: Combinatorics of NC-Probability Spaces with Independent Constants

abstract: Unlike classical and free independence, the boolean and monotone notions of independence lack of the property of independent constants. In the scalar case, this leads to restrictions for the central limit theorems, as observed by F. Oravecz. We characterize the property of independent constants from a combinatorial point of view, based on cumulants and set partitions. This characterization also holds for the operator-valued extension. Our considerations lead rather directly to very mild variations of boolean and monotone cumulants, where constants are now independent. These alternative probability theories are closely related to the usual notions. Hence, an important part of the boolean/monotone probability theories can be imported directly. We describe some standard combinatorial aspects of these variations (and their cyclic versions), such as their Mobius functions, which feature well-known combinatorial integer sequences. The new notions with independent constants seem also more strongly related to the operator-valued extension of c-free probability.


title: On a Sharp Inequality Relating Yamabe Invariants on a Poincare-Einstein Manifold

abstract: For a Poincare-Einstein manifold under certain restrictions, X. Chen, M. Lai and F. Wang proved a sharp inequality relating Yamabe invariants. We show that the inequality is true without any restriction.


title: Distributed recoloring of interval and chordal graphs

abstract: One of the fundamental and most-studied algorithmic problems in distributed computing on networks is graph coloring, both in bounded-degree and in general graphs. Recently, the study of this problem has been extended in two directions. First, the problem of recoloring, that is computing an efficient transformation between two given colorings (instead of computing a new coloring), has been considered, both to model radio network updates, and as a useful subroutine for coloring. Second, as it appears that general graphs and bounded-degree graphs do not model real networks very well (with, respectively, pathological worst-case topologies and too strong assumptions), coloring has been studied in more specific graph classes. In this paper, we study the intersection of these two directions: distributed recoloring in two relevant graph classes, interval and chordal graphs.


title: Graph-based Retrieval for Claim Verification over Cross-Document Evidence

abstract: Verifying the veracity of claims requires reasoning over a large knowledge base, often in the form of corpora of trustworthy sources. A common approach consists in retrieving short portions of relevant text from the reference documents and giving them as input to a natural language inference module that determines whether the claim can be inferred or contradicted from them. This approach, however, struggles when multiple pieces of evidence need to be collected and combined from different documents, since the single documents are often barely related to the target claim and hence they are left out by the retrieval module. We conjecture that a graph-based approach can be beneficial to identify fragmented evidence. We tested this hypothesis by building, over the whole corpus, a large graph that interconnects text portions by means of mentioned entities and exploiting such a graph for identifying candidate sets of evidence from multiple sources. Our experiments show that leveraging on a graph structure is beneficial in identifying a reasonably small portion of passages related to a claim.


title: Challenging Current Semi-Supervised Anomaly Segmentation Methods for Brain MRI

abstract: In this work, we tackle the problem of Semi-Supervised Anomaly Segmentation (SAS) in Magnetic Resonance Images (MRI) of the brain, which is the task of automatically identifying pathologies in brain images. Our work challenges the effectiveness of current Machine Learning (ML) approaches in this application domain by showing that thresholding Fluid-attenuated inversion recovery (FLAIR) MR scans provides better anomaly segmentation maps than several different ML-based anomaly detection models. Specifically, our method achieves better Dice similarity coefficients and Precision-Recall curves than the competitors on various popular evaluation data sets for the segmentation of tumors and multiple sclerosis lesions.


title: Formalizing and Estimating Distribution Inference Risks

abstract: Distribution inference, sometimes called property inference, infers statistical properties about a training set from access to a model trained on that data. Distribution inference attacks can pose serious risks when models are trained on private data, but are difficult to distinguish from the intrinsic purpose of statistical machine learning -- namely, to produce models that capture statistical properties about a distribution. Motivated by Yeom et al.'s membership inference framework, we propose a formal definition of distribution inference attacks that is general enough to describe a broad class of attacks distinguishing between possible training distributions. We show how our definition captures previous ratio-based property inference attacks as well as new kinds of attack including revealing the average node degree or clustering coefficient of a training graph. To understand distribution inference risks, we introduce a metric that quantifies observed leakage by relating it to the leakage that would occur if samples from the training distribution were provided directly to the adversary. We report on a series of experiments across a range of different distributions using both novel black-box attacks and improved versions of the state-of-the-art white-box attacks. Our results show that inexpensive attacks are often as effective as expensive meta-classifier attacks, and that there are surprising asymmetries in the effectiveness of attacks. Code is available at https://github.com/iamgroot42/FormEstDistRisks


title: Planning a Return to Normal after the COVID-19 Pandemic: Identifying Safe Contact Levels via Online Optimization

abstract: Since the early months of 2020, non-pharmaceutical interventions (NPIs) -- implemented at varying levels of severity and based on widely-divergent perspectives of risk tolerance -- have been the primary means to control SARS-CoV-2 transmission. We seek to identify how risk tolerance and vaccination rates impact the rate at which a population can return to pre-pandemic contact behavior. To this end, we develop a novel feedback control method for data-driven decision-making to identify optimal levels of NPIs across geographical regions in order to guarantee that hospitalizations will not exceed a given risk tolerance. Results are shown for the state of Colorado, and they suggest that: coordination in decision-making across regions is essential to maintain the daily number of hospitalizations below the desired limits; increasing risk tolerance can decrease the number of days required to discontinue NPIs, at the cost of an increased number of deaths; and if vaccination uptake is less than 70\%, at most levels of risk tolerance, return to pre-pandemic contact behaviors before the early months of 2022 may newly jeopardize the healthcare system.


title: Metal-insulator transition and local-moment collapse in negative charge-transfer CaFeO$_3$ under pressure

abstract: We compute the electronic structure, spin and charge state of Fe ions, and structural phase stability of paramagnetic CaFeO$_3$ under pressure using a fully self-consistent in charge density DFT+dynamical mean-field theory method. We show that at ambient pressure CaFeO$_3$ is a negative charge-transfer insulator characterized by strong localization of the Fe $3d$ electrons. It crystallizes in the monoclinic $P2_1/n$ crystal structure with a cooperative breathing mode distortion of the lattice. While the Fe $3d$ Wannier occupations and local moments are consistent with robust charge disproportionation of Fe ions in the insulating $P2_1/n$ phase, the physical charge density difference around the structurally distinct Fe A and Fe B ions with the ``contracted'' and ``expanded'' oxygen octahedra, respectively, is rather weak, $\sim$0.04. This implies the importance of the Fe $3d$ and O $2p$ negative charge transfer and supports the formation of a bond-disproportionated state characterized by the Fe A $3d^{5-\delta}\underline{L}^{2-\delta}$ and Fe B $3d^5$ valence configurations with $\delta \ll 1$, in agreement with strong hybridization between the Fe $3d$ and O $2p$ states. Upon compression above $\sim$41 GPa CaFeO$_3$ undergoes the insulator-to-metal phase transition (IMT) which is accompanied by a structural transformation into the orthorhombic $Pbnm$ phase. The phase transition is accompanied by suppression of the cooperative breathing mode distortion of the lattice and, hence, results in the melting of bond disproportionation of the Fe ions. Our analysis suggests that the IMT transition is associated with orbital-dependent delocalization of the Fe $3d$ electrons and leads to a remarkable collapse of the local magnetic moments. Our results imply the crucial importance of the interplay of electronic correlations and structural effects to explain the properties of CaFeO$_3$.


title: Discovering heavy neutrino oscillations in rare Bc meson decays at HL-LHCb

abstract: In this work, we study the lepton flavor and lepton number violating $B_{c}$ meson decays via two intermediate on-shell Majorana neutrinos $N_j$ into two charged leptons and a charged pion $B_{c}^{\pm} \to \mu^{\pm} \ N_j \to \mu^{\pm} \tau^{\pm} \pi^{\mp}$. We evaluated the possibility to measure the modulation of the decay width along the detector length produced as a consequence of the lepton flavor violating process, in a scenario where the heavy neutrinos masses range between $2.0$ GeV $\leq M_N \leq 6.0$ GeV. We study some realistic conditions which could lead to the observation of this phenomenon at futures $B$ factories such HL-LHCb.


title: Predictable universally unique identification of sequential events on complex objects

abstract: Universal identifiers and hashing have been widely adopted in computer science from distributed financial transactions to data science. This is a consequence of their capability to avoid many shortcomings of relative identifiers, such as limited scope and the need for central management. However, the current identifiers in use are isolated entities which cannot provide much information about the relationship between objects. As an example, if one has both the identifiers of an object and its transformed version, no information about how they are related can be obtained without resorting to some kind of authority or additionally appended information. Moreover, given an input object and an arbitrarily long sequence of costly steps, one cannot currently predict the identifier of the outcome without actually processing the entire sequence. The capability of predicting the resulting identifier and avoiding redundant calculations is highly desirable in an efficient unmanaged system. In this paper, we propose a new kind of unique identifier that is calculated from the list of events that can produce an object, instead of directly identifying it by content. This provides an identification scheme regardless of the object's current existence, thus allowing to inexpensively check for its content in a database and retrieve it when it has already been calculated before. These identifiers are proposed in the context of abstract algebra, where objects are represented by elements that can be operated according to useful properties, such as associativity, order sensitivity when desired, and reversibility, while simplicity of implementation and strong guarantees are given by well known group theory results.


title: Analytical Investigation of Long-time Diffusion Dynamics in a Synaptic Channel with Glial Cells

abstract: In this letter, we first derive the analytical channel impulse response for a cylindrical synaptic channel surrounded by glial cells and validate it with particle-based simulations. Afterwards, we provide an accurate analytical approximation for the long-time decay rate of the channel impulse response by employing Taylor expansion to the characteristic equations that determine the decay rates of the system. We validate our approximation by comparing it with the numerical decay rate obtained from the characteristic equation. Overall, we provide a fully analytical description for the long-time behavior of synaptic diffusion, e.g., the clean-up processes inside the channel after communication has long concluded.


title: Numerical Solution of The Seventh Order Boundary Value Problems using B-spline Method

abstract: We develop a numerical method for solving the boundary value problem of The Linear Seventh Ordinary Boundary Value Problem by using seventh degree B-Spline function. Formulation is based on particular terms of order of seventh order boundary value problem. We obtain Septic B-Spline formulation and the Collocation B-spline Method is formulated as an approximation solution. We apply the presented method to solve an example of seventh-order boundary value problem which the results show that there is an agreement between approximate solutions and exact solutions. Resulting low absolute errors show that the presented numerical method is effective for solving high order boundary value problems. Finally, a general conclusion has been included.


title: Modeling age-specific incidence of colon cancer via niche competition

abstract: Cancer development is a multistep process often starting with a single cell in which a number of epigenetic and genetic alterations have accumulated thus transforming it into a tumor cell. The progeny of such a single benign tumor cell expands in the tissue and can at some point progress to malignant tumor cells until a detectable tumor is formed. The dynamics from the early phase of a single cell to a detectable tumor with billions of tumor cells are complex and still not fully resolved, not even for the well-known prototype of multistage carcinogenesis, the adenoma-adenocarcinoma sequence of colorectal cancer. Mathematical models of such carcinogenesis are frequently tested and calibrated based on reported age-specific incidence rates of cancer, but they usually require calibration of four or more parameters due to the wide range of processes these models aim to reflect. We present a cell-based model, which focuses on the competition between wild-type and tumor cells in colonic crypts, with which we are able reproduce epidemiological incidence rates of colon cancer. Additionally, the fraction of cancerous tumors with precancerous lesions predicted by the model agree with clinical estimates. The correspondence between model and reported data suggests that the fate of tumor development is majorly determined by the early phase of tumor growth and progression long before a tumor becomes detectable. Due to the focus on the early phase of tumor development, the model has only a single fit parameter, the time scale set by an effective replacement rate of stem cells in the crypt. We find this effective rate to be considerable smaller than the actual replacement rate, which implies that the time scale is limited by the processes succeeding clonal conversion of crypts.

categories: q-bio.TO nlin.CG physics.bio-ph physics.data-an physics.med-ph


title: Flat deformations of type IIB S-folds

abstract: Type IIB S-folds of the form $\textrm{AdS}_{4} \times \textrm{S}^1 \times \textrm{S}^5$ have been shown to contain axion-like deformations parameterising flat directions in the 4D scalar potential and corresponding to marginal deformations of the dual S-fold CFT's. In this note we present a group-theoretical characterisation of such flat deformations and provide a 5D interpretation thereof in terms of $\mathfrak{so}(6)$-valued duality twists inducing a class of Cremmer--Scherk--Schwarz flat gaugings in a reduction from 5D to 4D. In this manner we establish the existence of two flat deformations for the $\mathcal{N}=4$ and $\textrm{SO}(4)$ symmetric S-fold causing a symmetry breaking down to its $\textrm{U}(1)^2$ Cartan subgroup. The result is a new two-parameter family of non-supersymmetric S-folds which are perturbatively stable at the lower-dimensional supergravity level, thus providing the first examples of such type IIB backgrounds.


title: Chiral Cavity Quantum Electrodynamics

abstract: Cavity quantum electrodynamics, which explores the granularity of light by coupling a resonator to a nonlinear emitter, has played a foundational role in the development of modern quantum information science and technology. In parallel, the field of condensed matter physics has been revolutionized by the discovery of underlying topological robustness in the face of disorder, often arising from the breaking of time-reversal symmetry, as in the case of the quantum Hall effect. In this work, we explore for the first time cavity quantum electrodynamics of a transmon qubit in the topological vacuum of a Harper-Hofstadter topological lattice. To achieve this, we assemble a square lattice of niobium superconducting resonators and break time-reversal symmetry by introducing ferrimagnets before coupling the system to a single transmon qubit. We spectroscopically resolve the individual bulk and edge modes of this lattice, detect vacuum-stimulated Rabi oscillations between the excited transmon and each mode, and thereby measure the synthetic-vacuum-induced Lamb shift of the transmon. Finally, we demonstrate the ability to employ the transmon to count individual photons within each mode of the topological band structure. This work opens the field of chiral quantum optics experiment, suggesting new routes to topological many-body physics and offering unique approaches to backscatter-resilient quantum communication.

categories: cond-mat.mes-hall cond-mat.quant-gas physics.atom-ph quant-ph


title: Fourth-order dynamics of the damped harmonic oscillator

abstract: It is shown that the classical damped harmonic oscillator belongs to the family of fourth-order Pais-Uhlenbeck oscillators. It follows that the solutions to the damped harmonic oscillator equation make the Pais-Uhlenbeck action stationary. Two systematic approaches are given for deriving the Pais-Uhlenbeck action from the damped harmonic oscillator equation, and it may be possible to use these methods to identify stationary action principles for other dissipative systems which do not conform to Hamilton's principle. It is also shown that for every damped harmonic oscillator $x$, there exists a two-parameter family of dual oscillators $y$ satisfying the Pais-Uhlenbeck equation. The damped harmonic oscillator and any of its duals can be interpreted as a system of two coupled oscillators with atypical spring stiffnesses (not necessarily positive and real-valued). For overdamped systems, the resulting coupled oscillators should be physically achievable and may have engineering applications. Finally, a new physical interpretation is given for the optimal damping ratio $\zeta=1/\sqrt{2}$ in control theory.


title: Traffic Event Detection as a Slot Filling Problem

abstract: In this paper, we introduce the new problem of extracting fine-grained traffic information from Twitter streams by also making publicly available the two (constructed) traffic-related datasets from Belgium and the Brussels capital region. In particular, we experiment with several models to identify (i) whether a tweet is traffic-related or not, and (ii) in the case that the tweet is traffic-related to identify more fine-grained information regarding the event (e.g., the type of the event, where the event happened). To do so, we frame (i) the problem of identifying whether a tweet is a traffic-related event or not as a text classification subtask, and (ii) the problem of identifying more fine-grained traffic-related information as a slot filling subtask, where fine-grained information (e.g., where an event has happened) is represented as a slot/entity of a particular type. We propose the use of several methods that process the two subtasks either separately or in a joint setting, and we evaluate the effectiveness of the proposed methods for solving the traffic event detection problem. Experimental results indicate that the proposed architectures achieve high performance scores (i.e., more than 95% in terms of F$_{1}$ score) on the constructed datasets for both of the subtasks (i.e., text classification and slot filling) even in a transfer learning scenario. In addition, by incorporating tweet-level information in each of the tokens comprising the tweet (for the BERT-based model) can lead to a performance improvement for the joint setting.


title: What causes the absence of pulsations in Central Compact Objects in Supernova Remnants?

abstract: Most young neutron stars belonging to the class of Central Compact Objects in supernova remnants (CCOs) do not have known periodicities. We investigated seven such CCOs to understand the common reasons for the absence of detected pulsations. Making use of XMM-Newton, Chandra, and NICER observations, we perform a systematic timing and spectral analysis to derive updated sensitivity limits for both periodic signals and multi-temperature spectral components that could be associated with radiation from hotspots on the neutron star surface. Based on these limits, we then investigated for each target the allowed viewing geometry that could explain the lack of pulsations. We estimate it is unlikely ($< 10^{-6}$) to attribute that we do not see pulsations to an unfavorable viewing geometry for five considered sources. Alternatively, the carbon atmosphere model, which assumes homogeneous temperature distribution on the surface, describes the spectra equally well and provides a reasonable interpretation for the absence of detected periodicities within current limits. The unusual properties of CCOs with respect to other young neutron stars could suggest a different evolutionary path, as that proposed for sources experiencing episodes of significant fallback accretion after the supernova event.


title: Correcting the User Feedback-Loop Bias for Recommendation Systems

abstract: Selection bias is prevalent in the data for training and evaluating recommendation systems with explicit feedback. For example, users tend to rate items they like. However, when rating an item concerning a specific user, most of the recommendation algorithms tend to rely too much on his/her rating (feedback) history. This introduces implicit bias on the recommendation system, which is referred to as user feedback-loop bias in this paper. We propose a systematic and dynamic way to correct such bias and to obtain more diverse and objective recommendations by utilizing temporal rating information. Specifically, our method includes a deep-learning component to learn each user's dynamic rating history embedding for the estimation of the probability distribution of the items that the user rates sequentially. These estimated dynamic exposure probabilities are then used as propensity scores to train an inverse-propensity-scoring (IPS) rating predictor. We empirically validated the existence of such user feedback-loop bias in real world recommendation systems and compared the performance of our method with the baseline models that are either without de-biasing or with propensity scores estimated by other methods. The results show the superiority of our approach.


title: Electrostatic interactions in twisted bilayer graphene

abstract: The effects of the long range electrostatic interaction in twisted bilayer graphene are described using the Hartree-Fock approximation. The results show a significant dependence of the band widths and shapes on electron filling, and the existence of broken symmetry phases at many densities, either valley/spin polarized, with broken sublattice symmetry, or both.


title: Pseudospin-Triplet Pairing in Iron-Chalcogenide Superconductors

abstract: We study superconductivity of electron systems with both spin and pseudospin-1/2 degrees of freedom. By solving linearized gap equations, we derive a weak coupling criterion for the even-parity spin-singlet pseudospin-triplet pairing. It can generally mix with the on-site s-wave pairing since both of them belong to the same symmetry representation ($A_{1g}$) and their mixture could naturally give rise to anisotropic intra-band pairing gap functions with or without nodes. This may directly explain why some of the iron-chalcogenide superconductors are fully gapped (e.g. FeSe thin film) and some have nodes (e.g. LaFePO and LiFeP). We also find that the anisotropy of gap functions can be enhanced when the principal rotation symmetry is spontaneously broken in the normal state such as nematicity, and the energetic stabilization of pseudospin-triplet pairings indicates the coexistence of nematicity and superconductivity. This could be potentially applied to bulk FeSe, where gap anisotropy has been experimentally observed.


title: Taming the `elsewhere': On expressivity of topological languages

abstract: In topological modal logic, it is well known that the Cantor derivative is more expressive than the topological closure, and the `elsewhere,' or `difference,' operator is more expressive than the `somewhere' operator. In 2014, Kudinov and Shehtman asked whether the combination of closure and elsewhere becomes strictly more expressive when adding the Cantor derivative. In this paper we give an affirmative answer: in fact, the Cantor derivative alone can define properties of topological spaces not expressible with closure and elsewhere. To prove this, we develop a novel theory of morphisms which preserve formulas with the elsewhere operator.


title: GRBs from Collapse of Thorne-\.Zytkow-like Objects as the Aftermath of WD-NS Coalescence

abstract: The Type II gamma-ray burst (GRB) 200826A challenges collapsar models by questioning how they can generate a genuinely short-duration event. The other Type I GRB 211211A confused us with a kilonova signature observed in the afterglow of a \textit{long} burst. Here, we propose a comprehensive model in which both bursts are the results of the collapse of Thorne-\.Zytkow-like Objects (TZlOs). The TZlO consists of a central neutron star (NS), with a dense white dwarf (WD) material envelope, which is formed as the aftermath of a WD-NS coalescence. We find that the characteristics of the resultant GRBs depend on whether the TZlO collapses immediately following the WD-NS merger or not. Additionally, the observational properties of the consequent GRBs manifest variations contingent upon whether the collapse of the TZlO results in a magnetar or a black hole. We also show that our model is consistent with the observations of GRB 211211A and GRB 200826A. Specifically, the optical excess in GRB 211211A can be attributed to an engine-fed kilonova, while the \textit{supernova bump} in GRB 200826A is likely due to the collision between the ejecta and the disk wind shell.


title: Serial and parallel kernelization of Multiple Hitting Set parameterized by the Dilworth number, implemented on the GPU

abstract: The NP-hard Multiple Hitting Set problem is finding a minimum-cardinality set intersecting each of the sets in a given input collection a given number of times. Generalizing a well-known data reduction algorithm due to Weihe, we show a problem kernel for Multiple Hitting Set parameterized by the Dilworth number, a graph parameter introduced by Foldes and Hammer in 1978 yet seemingly so far unexplored in the context of parameterized complexity theory. Using matrix multiplication, we speed up the algorithm to quadratic sequential time and logarithmic parallel time. We experimentally evaluate our algorithms. By implementing our algorithm on GPUs, we show the feasability of realizing kernelization algorithms on SIMD (Single Instruction, Multiple Date) architectures.


title: A brief discussion on the tensile creep deformation behaviour of wrought single phase $\gamma$-TiAl

abstract: Creep deformation behaviour in single phase $\gamma$-TiAl alloy has been an extensively studied topic since the late 1970s. A lot of literatures have reported creep behaviour of $\gamma$-TiAl alloys, manufactured using different processing techniques. The present discussion revisits the original work on understanding the tensile creep deformation behaviour of wrought single-phase $\gamma$-TiAl alloy by Hayes et al and is aimed to develop an understanding of steady state creep, through strain vs strain rate and strain vs ln(strain rate) plots. Besides, it also attempts to study the variation of stress exponent with temperature between 760 and 900C and also, to determine activation energies using the two most common approaches, namely: Zener-Hollomon and Sherby-Dorn for stress levels of 69.4 and 103.4 MPa between 760 and 900C.


title: The stellar mass versus stellar metallicity relation of star-forming galaxies at $1.6\le z\le3.0$ and implications for the evolution of the $\alpha$-enhancement

abstract: We measure the relationship between stellar mass and stellar metallicity, the stellar mass--metallicity relation (MZR), for 1336 star-forming galaxies at $1.6\le z\le3.0$ (<z>=2.2) using rest-frame far-ultraviolet spectra from the zCOSMOS-deep survey. High signal-to-noise composite spectra containing stellar absorption features are fit with population synthesis model spectra of a range of metallicity. We find stellar metallicities, which mostly reflect iron abundances, scaling as $(Z_{Fe,\ast}/Z_{Fe,\odot})=-(0.81\pm0.01)+(0.32+0.03)\log(M_\ast/10^{10}M_\odot)$ across the mass range of $10^9\lesssim M_\ast/M_\odot\lesssim10^{11}$, being $\approx6\times$ lower than seen locally at the same masses. The instantaneous oxygen-to-iron ratio ($\alpha$-enhancement) inferred using the gas-phase oxygen MZRs, is on average found to be [O/Fe]$\approx0.47$, being higher than the local [O/Fe]$\approx0$. The observed changes in [O/Fe] and [Fe/H] are reproduced in simple flow-through gas-regulator models with steady star-formation histories (SFHs) that follow the evolving main sequence. Our models show that the [O/Fe] is determined almost entirely by the instantaneous specific star formation rate alone while being independent of the SFHs, mass, and the gas-regulation characteristics of the systems. We find that the locations of $\sim10^{10}M_\odot$ galaxies at z~2 in the [O/Fe]--metallicity planes are in remarkable agreement with the sequence of low-metallicity thick-disk stars in our Galaxy. This manifests a beautiful concordance between the results of Galactic archaeology and observations of high-redshift Milky Way progenitors. However, there remains a question of how and when the old metal-rich, low-$\alpha$/Fe stars seen in the bulge had formed by z~2 because such a stellar population is not seen in our data and difficult to explain in the context of our models.


title: Towards FAIR Principles for Open Hardware

abstract: The lack of scientific openness is identified as one of the key challenges of computational reproducibility. In addition to Open Data, Free and Open-source Software (FOSS) and Open Hardware (OH) can address this challenge by introducing open policies, standards, and recommendations. However, while both FOSS and OH are free to use, study, modify, and redistribute, there are significant differences in sharing and reusing these artifacts. FOSS is increasingly supported with software repositories, but support for OH is lacking, potentially due to the complexity of its digital format and licensing. This paper proposes leveraging FAIR principles to make OH findable, accessible, interoperable, and reusable. We define what FAIR means for OH, how it differs from FOSS, and present examples of unique demands. Also, we evaluate dissemination platforms currently used for OH and provide recommendations.


title: Augmented Abstractive Summarization With Document-LevelSemantic Graph

abstract: Previous abstractive methods apply sequence-to-sequence structures to generate summary without a module to assist the system to detect vital mentions and relationships within a document. To address this problem, we utilize semantic graph to boost the generation performance. Firstly, we extract important entities from each document and then establish a graph inspired by the idea of distant supervision \citep{mintz-etal-2009-distant}. Then, we combine a Bi-LSTM with a graph encoder to obtain the representation of each graph node. A novel neural decoder is presented to leverage the information of such entity graphs. Automatic and human evaluations show the effectiveness of our technique.


title: How is Time Frequency Space Modulation Related to Short Time Fourier Signaling?

abstract: We investigate the relationship between Orthogonal Time Frequency Space (OTFS) modulation and Orthogonal Short Time Fourier (OSTF) signaling. OTFS was recently proposed as a new scheme for high Doppler scenarios and builds on OSTF. We first show that the two schemes are unitarily equivalent in the digital domain. However, OSTF defines the analog-digital interface with the waveform domain. We then develop a critically sampled matrix-vector model for the two systems and consider linear minimum mean-squared error (MMSE) filtering at the receiver to suppress inter-symbol interference. Initial comparison of capacity and (uncoded) probability of error reveals a surprising observation: OTFS under-performs OSTF in capacity but over-performs in probability of error. This result can be attributed to characteristics of the channel matrices induced by the two systems. In particular, the diagonal entries of OTFS matrix exhibit nearly identical magnitude, whereas those of the OSTF matrix exhibit wild fluctuations induced by multipath randomness. It is observed that by simply replacing the unitary matrix, relating OTFS to OSTF, by an arbitrary unitary matrix results in performance nearly identical to OTFS. We then extend our analysis to orthogonal frequency division multiplexing (OFDM) and also consider a more extreme scenario of relatively large delay and Doppler spreads. Our results demonstrate the significance of using OSTF basis waveforms rather than sinusoidal ones in OFDM in highly dynamic environments, and also highlight the impact of the level of channel state information used at the receiver.


title: Chiral Vortical Effect in Extended Rarita-Schwinger Field Theory and Chiral Anomaly

abstract: We consider the theory of Rarita-Schwinger field interacting with a field with spin 1/2, in the case of finite temperature, chemical potential and vorticity, and calculate the chiral vortical effect for spin 3/2. We have clearly demonstrated the role of interaction with the spin 1/2 field, the contribution of the terms with which to CVE is 6. Since the contribution from the Rarita-Schwinger field is -1, the overall coefficient in CVE is 6-1=5, which corresponds to the recent prediction of a gauge chiral anomaly for spin 3/2. The obtained values for the coefficients $\mu^2$ and $T^2$ are proportional to each other, but not proportional to the spin, which indicates a possible new universality between the temperature-related and the chemical potential-related vortical effects. The results obtained allow us to speculate about the relationship between the gauge and gravitational chiral anomalies.


title: String Diagram Rewrite Theory III: Confluence with and without Frobenius

abstract: In this paper we address the problem of proving confluence for string diagram rewriting, which was previously shown to be characterised combinatorically as double-pushout rewriting with interfaces (DPOI) on (labelled) hypergraphs. For standard DPO rewriting without interfaces, confluence for terminating rewrite systems is, in general, undecidable. Nevertheless, we show here that confluence for DPOI, and hence string diagram rewriting, is decidable. We apply this result to give effective procedures for deciding local confluence of symmetric monoidal theories with and without Frobenius structure by critical pair analysis. For the latter, we introduce the new notion of path joinability for critical pairs, which enables finitely many joins of a critical pair to be lifted to an arbitrary context in spite of the strong non-local constraints placed on rewriting in a generic symmetric monoidal theory.


title: Few-Shot Cross-Lingual Stance Detection with Sentiment-Based Pre-Training

abstract: The goal of stance detection is to determine the viewpoint expressed in a piece of text towards a target. These viewpoints or contexts are often expressed in many different languages depending on the user and the platform, which can be a local news outlet, a social media platform, a news forum, etc. Most research in stance detection, however, has been limited to working with a single language and on a few limited targets, with little work on cross-lingual stance detection. Moreover, non-English sources of labelled data are often scarce and present additional challenges. Recently, large multilingual language models have substantially improved the performance on many non-English tasks, especially such with limited numbers of examples. This highlights the importance of model pre-training and its ability to learn from few examples. In this paper, we present the most comprehensive study of cross-lingual stance detection to date: we experiment with 15 diverse datasets in 12 languages from 6 language families, and with 6 low-resource evaluation settings each. For our experiments, we build on pattern-exploiting training, proposing the addition of a novel label encoder to simplify the verbalisation procedure. We further propose sentiment-based generation of stance data for pre-training, which shows sizeable improvement of more than 6% F1 absolute in low-shot settings compared to several strong baselines.


title: Trapped solitary waves and collisions for the forced Korteweg-de Vries equation

abstract: The aim of this work is to study trapped waves and their collisions between two topographic obstacles for the forced Korteweg-de Vries equation. Numerical simulations show that solitary waves remain trapped bouncing back and forth between the obstacles until the momentum overcomes a certain threshold. We find that the waves have a certain tendency of escaping out upstream. Furthermore, the time of escape of the trapped wave varies linearly with the distance between the bumps. Besides, we study collisions of solitary waves between the obstacles. Although the dynamic of one wave is affected by the other one, statistically this feature is not evident.


title: On some sharper boundedness conditions in the higher-dimensional chemotaxis-consumption model

abstract: For the classical zero-flux chemotaxis-consumption model \begin{equation*} u_t= \Delta u - \chi \nabla \cdot (u \nabla v) \quad \textrm{and}\quad v_t=\Delta v- uv, \quad \text{ with } (x,t)\in \Omega \times (0,T_{max}), \end{equation*} $\Omega$ being a bounded and smooth domain of $\mathbb{R}^n$, $n\geq 3$, $\chi$ some positive number and $T_{max} \in (0,\infty]$, the following was established in a paper by Tao: for every sufficiently regular initial data $u(x,0)=u_0(x)\geq 0$ and $v(x,0)=v_0(x) \geq 0$, there is $\chi(\lVert v_0 \rVert_{L^\infty(\Omega)})$ such that for all $0<\chi\leq \chi(\lVert v_0 \rVert_{L^\infty(\Omega)})$, the initial-boundary value problem has a unique classical solution in $\Omega \times (0,\infty)$ which is bounded. In this paper, whenever $n\geq 5$, we obtain the same claim for larger values of the constant $\chi(\|v_0\|_{L^{\infty}(\Omega)})$.


title: Vacuum instability due to the creation of neutral Fermion with anomalous magnetic moment by magnetic-field inhomogeneities

abstract: We study neutral Fermions pair creation with anomalous magnetic moment from the vacuum by time-independent magnetic-field inhomogeneity as an external background. We show that the problem is technically reduced to the problem of charged-particle creation by an electric step, for which the nonperturbative formulation of strong-field QED is used. We consider a magnetic step given by an analytic function and whose inhomogeneity may vary from a "gradual" to a "sharp" field configuration. We obtain corresponding exact solutions of the Dirac-Pauli equation with this field and calculate pertinent quantities characterizing vacuum instability, such as the differential mean number and flux density of pairs created from the vacuum, vacuum fluxes of energy and magnetic moment. We show that the vacuum flux in one direction is formed from fluxes of particles and antiparticles of equal intensity and with the same magnetic moments parallel to the external field. Backreaction to the vacuum fluxes leads to a smoothing of the magnetic-field inhomogeneity. We also estimate critical magnetic field intensities, near which the phenomenon could be observed.