title: Convergence of iterates for first-order optimization algorithms with inertia and Hessian driven damping

abstract: In a Hilbert space setting, for convex optimization, we show the convergence of the iterates to optimal solutions for a class of accelerated first-order algorithms. They can be interpreted as discrete temporal versions of an inertial dynamic involving both viscous damping and Hessian-driven damping. The asymptotically vanishing viscous damping is linked to the accelerated gradient method of Nesterov while the Hessian driven damping makes it possible to significantly attenuate the oscillations. By treating the Hessian-driven damping as the time derivative of the gradient term, this gives, in discretized form, first-order algorithms. These results complement the previous work of the authors where it was shown the fast convergence of the values, and the fast convergence towards zero of the gradients.


title: The Piano Inpainting Application

abstract: Autoregressive models are now capable of generating high-quality minute-long expressive MIDI piano performances. Even though this progress suggests new tools to assist music composition, we observe that generative algorithms are still not widely used by artists due to the limited control they offer, prohibitive inference times or the lack of integration within musicians' workflows. In this work, we present the Piano Inpainting Application (PIA), a generative model focused on inpainting piano performances, as we believe that this elementary operation (restoring missing parts of a piano performance) encourages human-machine interaction and opens up new ways to approach music composition. Our approach relies on an encoder-decoder Linear Transformer architecture trained on a novel representation for MIDI piano performances termed Structured MIDI Encoding. By uncovering an interesting synergy between Linear Transformers and our inpainting task, we are able to efficiently inpaint contiguous regions of a piano performance, which makes our model suitable for interactive and responsive A.I.-assisted composition. Finally, we introduce our freely-available Ableton Live PIA plugin, which allows musicians to smoothly generate or modify any MIDI clip using PIA within a widely-used professional Digital Audio Workstation.


title: CentripetalText: An Efficient Text Instance Representation for Scene Text Detection

abstract: Scene text detection remains a grand challenge due to the variation in text curvatures, orientations, and aspect ratios. One of the hardest problems in this task is how to represent text instances of arbitrary shapes. Although many methods have been proposed to model irregular texts in a flexible manner, most of them lose simplicity and robustness. Their complicated post-processings and the regression under Dirac delta distribution undermine the detection performance and the generalization ability. In this paper, we propose an efficient text instance representation named CentripetalText (CT), which decomposes text instances into the combination of text kernels and centripetal shifts. Specifically, we utilize the centripetal shifts to implement pixel aggregation, guiding the external text pixels to the internal text kernels. The relaxation operation is integrated into the dense regression for centripetal shifts, allowing the correct prediction in a range instead of a specific value. The convenient reconstruction of text contours and the tolerance of prediction errors in our method guarantee the high detection accuracy and the fast inference speed, respectively. Besides, we shrink our text detector into a proposal generation module, namely CentripetalText Proposal Network, replacing Segmentation Proposal Network in Mask TextSpotter v3 and producing more accurate proposals. To validate the effectiveness of our method, we conduct experiments on several commonly used scene text benchmarks, including both curved and multi-oriented text datasets. For the task of scene text detection, our approach achieves superior or competitive performance compared to other existing methods, e.g., F-measure of 86.3% at 40.0 FPS on Total-Text, F-measure of 86.1% at 34.8 FPS on MSRA-TD500, etc. For the task of end-to-end scene text recognition, our method outperforms Mask TextSpotter v3 by 1.1% on Total-Text.


title: HAT: Hierarchical Aggregation Transformers for Person Re-identification

abstract: Recently, with the advance of deep Convolutional Neural Networks (CNNs), person Re-Identification (Re-ID) has witnessed great success in various applications. However, with limited receptive fields of CNNs, it is still challenging to extract discriminative representations in a global view for persons under non-overlapped cameras. Meanwhile, Transformers demonstrate strong abilities of modeling long-range dependencies for spatial and sequential data. In this work, we take advantages of both CNNs and Transformers, and propose a novel learning framework named Hierarchical Aggregation Transformer (HAT) for image-based person Re-ID with high performance. To achieve this goal, we first propose a Deeply Supervised Aggregation (DSA) to recurrently aggregate hierarchical features from CNN backbones. With multi-granularity supervisions, the DSA can enhance multi-scale features for person retrieval, which is very different from previous methods. Then, we introduce a Transformer-based Feature Calibration (TFC) to integrate low-level detail information as the global prior for high-level semantic information. The proposed TFC is inserted to each level of hierarchical features, resulting in great performance improvements. To our best knowledge, this work is the first to take advantages of both CNNs and Transformers for image-based person Re-ID. Comprehensive experiments on four large-scale Re-ID benchmarks demonstrate that our method shows better results than several state-of-the-art methods. The code is released at https://github.com/AI-Zhpp/HAT.


title: Higher Dimensional Cardinal Characteristics for Sets of Functions II

abstract: We study the values of the higher dimensional cardinal characteristics for sets of functions $f:\omega^\omega \to \omega^\omega$ introduced by the second author. We prove that while the bounding numbers for these cardinals can be strictly less than the continuum, the dominating numbers cannot. We compute the bounding numbers for the higher dimensional relations in many well known models of $\neg\mathsf{CH}$ such as the Cohen, random and Sacks models and, as a byproduct show that, with possibly one exception, for the bounding numbers there are no $\mathsf{ZFC}$ relations between them beyond those in the higher dimensional Cicho\'{n} diagram. In the case of the dominating numbers we show that in fact they collapse in the sense that modding out by the ideal does not change their values. Moreover, they are closely related to the dominating numbers $\mathfrak{d}^\lambda_\kappa$.


title: Clustering-Based Representation Learning through Output Translation and Its Application to Remote--Sensing Images

abstract: In supervised deep learning, learning good representations for remote--sensing images (RSI) relies on manual annotations. However, in the area of remote sensing, it is hard to obtain huge amounts of labeled data. Recently, self--supervised learning shows its outstanding capability to learn representations of images, especially the methods of instance discrimination. Comparing methods of instance discrimination, clustering--based methods not only view the transformations of the same image as ``positive" samples but also similar images. In this paper, we propose a new clustering-based method for representation learning. We first introduce a quantity to measure representations' discriminativeness and from which we show that even distribution requires the most discriminative representations. This provides a theoretical insight into why evenly distributing the images works well. We notice that only the even distributions that preserve representations' neighborhood relations are desirable. Therefore, we develop an algorithm that translates the outputs of a neural network to achieve the goal of evenly distributing the samples while preserving outputs' neighborhood relations. Extensive experiments have demonstrated that our method can learn representations that are as good as or better than the state of the art approaches, and that our method performs computationally efficiently and robustly on various RSI datasets.


title: Q-SMASH: Q-Learning-based Self-Adaptation of Human-Centered Internet of Things

abstract: As the number of Human-Centered Internet of Things (HCIoT) applications increases, the self-adaptation of its services and devices is becoming a fundamental requirement for addressing the uncertainties of the environment in decision-making processes. Self-adaptation of HCIoT aims to manage run-time changes in a dynamic environment and to adjust the functionality of IoT objects in order to achieve desired goals during execution. SMASH is a semantic-enabled multi-agent system for self-adaptation of HCIoT that autonomously adapts IoT objects to uncertainties of their environment. SMASH addresses the self-adaptation of IoT applications only according to the human values of users, while the behavior of users is not addressed. This article presents Q-SMASH: a multi-agent reinforcement learning-based approach for self-adaptation of IoT objects in human-centered environments. Q-SMASH aims to learn the behaviors of users along with respecting human values. The learning ability of Q-SMASH allows it to adapt itself to the behavioral change of users and make more accurate decisions in different states and situations.


title: Atom-surface physics: A review

abstract: An atom in front of a surface is one of the simplest and fundamental problem in physics. Yet, it allows testing quantum electrodynamics, while providing potential platforms and interfaces for quantum technologies. Despite, its simplicity, combined with strong scientific and technological interests, atom-surface physics, at its fundamental level, remains largely unexplored mainly because of challenges associated with precise control of the atom-surface distance. Nevertheless, substantial breakthroughs have been made over the last two decades. With the development of cold and quantum atomic gases, one has gained further control on atom-surface position, naturally leading to improved precision in the Casimir-Polder interaction measurement. Advances have also been reported in finding experimental knobs to tune and even reverse the Casimir-Polder interaction strength. So far, this has only been achieved for atoms in short-lived excited states, however, the rapid progresses in material sciences, e.g. metamaterials and topological materials have inspired new ideas for controlling the atom-surface interaction in long-lived states. In addition, combining nano-photonic and atom-surface physics is now envisioned for applications in quantum information processing. The first purpose of this review is to give a general overview on the latest experimental developments in atom-surface physics. The second main objective is to sketch a vision of the future of the field, mainly inspired by the abundant theoretical works and proposals available now in the literature.


title: One-Point Gradient-Free Methods for Composite Optimization with Applications to Distributed Optimization

abstract: This work is devoted to solving the composite optimization problem with the mixture oracle: for the smooth part of the problem, we have access to the gradient, and for the non-smooth part, only to the one-point zero-order oracle. For such a setup, we present a new method based on the sliding algorithm. Our method allows to separate the oracle complexities and compute the gradient for one of the function as rarely as possible. The paper also present the applicability of our new method to the problems of distributed optimization and federated learning. Experimental results confirm the theory.


title: Thermodynamics of a continuous quantum heat engine: Interplay between population and coherence

abstract: We present a detailed thermodynamic analysis of a three-level quantum heat engine coupled continuously to hot and cold reservoirs. The system is driven by an oscillating external field and is described by the Markovian quantum master equation. We use the general form of the dissipator which is consistent with thermodynamics. We calculate the heat, power, and efficiency of the system for the heat-engine operating regime and also examine the thermodynamic uncertainty relation. The efficiency of the system is strongly dependent on the structure of the dissipator, and the correlations between different levels can be an obstacle for ideal operation. In quantum systems, the heat flux is decomposed into the population and coherent parts. The coherent part is specific to quantum systems, and in contrast to the population part, it cannot be expressed by a simple series expansion in the linear-response regime. We discuss how the interplay between the population and coherent parts affects the performance of the heat engine.


title: Spectroscopic and photometric analysis of symbiotic candidates -- I. Ten candidates on classical symbiotic stars

abstract: Symbiotic stars belong to a group of interacting binaries that display a wide variety of phenomena, including prominent outbursts connected with mass transfer, as well as stellar winds, jets, eclipses, or intrinsic variability of the components. Dozens of new symbiotic stars and candidates have been discovered in recent years. However, there are many objects which are still poorly studied. Some symbiotic candidates suspected in the literature have never been studied spectroscopically. In this contribution, we present the first results of the ongoing campaign focused on symbiotic candidates. In the first paper in the series, we study the nature of ten candidate classical symbiotic stars suspected based on their photometric behaviour, colours or abundance pattern. To confirm or reject the symbiotic nature of the studied candidates, we obtained new spectra and analysed them in detail together with available multi-frequency photometric and spectroscopic observations of the objects. Hen 3-860 and V2204 Oph are genuine symbiotic systems showing typical spectral features of burning symbiotic stars and outbursts in the last 100 years. The first object belongs to the uncommon group of eclipsing symbiotic stars. V1988 Sgr cannot be classified as a genuine burning symbiotic star, but the scenario of an accreting-only symbiotic system cannot be ruled out. Hen 4-204 might be a bona-fide symbiotic star due to its similarity with the known symbiotic binary BD Cam. Six other symbiotic candidates (V562 Lyr, IRAS 19050+0001, EC 19249-7343, V1017 Cyg, PN K1-6, V379 Peg) are either single dwarf or giant stars or non-symbiotic binaries.


title: MVPipe: Enabling Lightweight Updates and Fast Convergence in Hierarchical Heavy Hitter Detection

abstract: Finding hierarchical heavy hitters (HHHs) (i.e., hierarchical aggregates with exceptionally huge amounts of traffic) is critical to network management, yet it is often challenged by the requirements of fast packet processing, real-time and accurate detection, as well as resource efficiency. Existing HHH detection schemes either incur expensive packet updates for multiple aggregation levels in the IP address hierarchy, or need to process sufficient packets to converge to the required detection accuracy. We present MVPipe, an invertible sketch that achieves both lightweight updates and fast convergence in HHH detection. MVPipe builds on the skewness property of IP traffic to process packets via a pipeline of majority voting executions, such that most packets can be updated for only one or few aggregation levels in the IP address hierarchy. We show how MVPipe can be feasibly deployed in P4-based programmable switches subject to limited switch resources. We also theoretically analyze the accuracy and coverage properties of MVPipe. Evaluation with real-world Internet traces shows that MVPipe achieves high accuracy, high throughput, and fast convergence compared to six state-of-the-art HHH detection schemes. It also incurs low resource overhead in the Tofino switch deployment.


title: The Impact of Working From Home on the Success of Scrum Projects: A Multi-Method Study

abstract: The number of companies opting for remote working has been increasing over the years, and Agile methodologies, such as Scrum, were adapted to mitigate the challenges caused by the distributed teams. However, the COVID-19 pandemic imposed a fully working from home context, which has never existed before. This paper investigation a two-phased Multi-Method study. In the first phase, we uncover how working from home impacted Scrum practitioners through a qualitative survey. Then, in the second phase, we propose a theoretical model that we test and generalize using Partial Least Squares - Structural Equation Modeling (PLS-SEM) through a sample study of 200 software engineers who worked from home within Scrum projects. From assessing our model, we can conclude that all the latent variables are reliable and all the hypotheses are significant. Moreover, we performed an Importance-Performance Map Analysis (IPMA), highlighting the benefits of the home working environment and the use of Scrum for project success. We emphasize the importance of supporting the three innate psychological needs of autonomy, competence, and relatedness in the home working environment. We conclude that the home working environment and the use of Scrum both contribute to project success, with Scrum acting as a mediator.


title: IID Sampling from Intractable Distributions

abstract: We propose a novel methodology for drawing iid realizations from any target distribution on the Euclidean space with arbitrary dimension. No assumption of compact support is necessary for the validity of our theory and method. Our idea is to construct an appropriate infinite sequence of concentric closed ellipsoids, represent the target distribution as an infinite mixture on the central ellipsoid and the ellipsoidal annuli, and to construct efficient perfect samplers for the mixture components. In contrast with most of the existing works on perfect sampling, ours is not only a theoretically valid method, it is practically applicable to all target distributions on any dimensional Euclidean space and very much amenable to parallel computation. We validate the practicality and usefulness of our methodology by generating 10000 iid realizations from the standard distributions such as normal, Student's t with 5 degrees of freedom and Cauchy, for dimensions d = 1, 5, 10, 50, 100, as well as from a 50-dimensional mixture normal distribution. The implementation time in all the cases are very reasonable, and often less than a minute in our parallel implementation. The results turned out to be highly accurate. We also apply our method to draw 10000 iid realizations from the posterior distributions associated with the well-known Challenger data, a Salmonella data and the 160-dimensional challenging spatial example of the radionuclide count data on Rongelap Island. Again, we are able to obtain quite encouraging results with very reasonable computing time.


title: Near-Optimal Decentralized Algorithms for Saddle Point Problems over Time-Varying Networks

abstract: Decentralized optimization methods have been in the focus of optimization community due to their scalability, increasing popularity of parallel algorithms and many applications. In this work, we study saddle point problems of sum type, where the summands are held by separate computational entities connected by a network. The network topology may change from time to time, which models real-world network malfunctions. We obtain lower complexity bounds for algorithms in this setup and develop near-optimal methods which meet the lower bounds.


title: High-order methods beyond the classical complexity bounds, I: inexact high-order proximal-point methods

abstract: In this paper, we introduce a \textit{Bi-level OPTimization} (BiOPT) framework for minimizing the sum of two convex functions, where both can be nonsmooth. The BiOPT framework involves two levels of methodologies. At the upper level of BiOPT, we first regularize the objective by a $(p+1)$th-order proximal term and then develop the generic inexact high-order proximal-point scheme and its acceleration using the standard estimation sequence technique. At the lower level, we solve the corresponding $p$th-order proximal auxiliary problem inexactly either by one iteration of the $p$th-order tensor method or by a lower-order non-Euclidean composite gradient scheme with the complexity $\mathcal{O}(\log \tfrac{1}{\varepsilon})$, for the accuracy parameter $\varepsilon>0$. Ultimately, if the accelerated proximal-point method is applied at the upper level, and the auxiliary problem is handled by a non-Euclidean composite gradient scheme, then we end up with a $2q$-order method with the convergence rate $\mathcal{O}(k^{-(p+1)})$, for $q=\lfloor p/2 \rfloor$, where $k$ is the iteration counter.


title: Path-dependent Hamilton-Jacobi-Bellman equation: Uniqueness of Crandall-Lions viscosity solutions

abstract: We formulate a path-dependent stochastic optimal control problem under general conditions, for which weprove rigorously the dynamic programming principle and that the value function is the unique Crandall-Lions viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. Compared to the literature, the proof of our core result, that is the comparison theorem, is based on the fact that the valuefunction is bigger than any viscosity subsolution and smaller than any viscosity supersolution. It alsorelies on the approximation of the value function in terms of functions defined on finite-dimensionalspaces as well as on regularity results for parabolic partial differential equations.


title: Location qubits in a multi-quantum-dot system

abstract: A physical platform for nodes of the envisioned quantum internet is long-sought. Here we propose such a platform, along with a conceptually simple and experimentally uncomplicated quantum information processing scheme, realized in a system of multiple crystal-phase quantum dots. We introduce novel location qubits, describe a method to construct a universal set of all-optical quantum gates, and simulate their performance in realistic structures, including decoherence sources. Our results show that location qubits can maintain coherence 5 orders of magnitude longer than single-qubit operation time, and single-qubit gate errors do not exceed 0.01%. Our scheme paves a clear way towards constructing multi-qubit solid-state quantum systems with a built-in photonic interface, such as a multi-qubit quantum register -- a key building block of the forthcoming quantum internet.

categories: quant-ph physics.app-ph physics.atom-ph physics.optics


title: Experimental proposal to probe the extended Pauli principle

abstract: All matter is made up of fermions -- one of the fundamental type of particles in nature. Fermions follow the Pauli exclusion principle, stating that two or more identical fermions cannot occupy the same quantum state. Antisymmetry of the fermionic wavefunction, however, implies additional constraints on the natural occupation numbers. These constraints depend on the dimensionality and purity of the system and have so far not been explored experimentally. Here, we propose an experiment in a system of multiple quantum dots capable of producing the highly entangled fermionic states necessary to reach the regime, where these additional constraints become dominant and can be probed. The type and strength of the required multi-fermion entanglement provides barriers to reaching deep into this regime. Transcending these barriers thus serves as a testing ground for the capabilities of future fermionic quantum information processing as well as quantum computer architectures based on fermionic states.

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


title: COLiER: Collaborative Editing of Raster Images

abstract: Various web-based image-editing tools and web-based collaborative tools exist in isolation. Research focusing to bridge the gap between these two domains is sparse. We respond to the above and develop prototype groupware for real-time collaborative editing of raster images in a web browser. To better understand the requirements, we conduct a preliminary user study and establish communication and synchronization as key elements. The existing groupware for text documents, presentations, and vector graphics handles the above through well-established techniques. However, those cannot be extended as it is for raster graphics manipulation. To this end, we develop a document model that is maintained by a server and is delivered and synchronized to multiple clients. Our prototypical implementation is based on a scalable client-server architecture: using WebGL for interactive browser-based rendering and WebSocket connections to maintain synchronization. We evaluate our work qualitatively through a post-deployment user study for three different scenarios.


title: On iterates of rational functions with maximal number of critical values

abstract: Let $F$ be a rational function of one complex variable of degree $m\geq 2$. The function $F$ is called simple if for every $z\in \mathbb C\mathbb P^1$ the preimage $F^{-1}\{z\}$ contains at least $m-1$ points. We show that if $F$ is a simple rational function of degree $m\geq 4$ and $F^{\circ l} =G_r\circ G_{r-1}\circ \dots \circ G_1$, $l\geq 1$, is a decomposition of an iterate of $F$ into a composition of indecomposable rational functions, then $r=l$ and there exist M\"obius transformations $\mu_i,$ $1\leq i \leq r-1,$ such that $G_r=F\circ \mu_{r-1},$ $G_i=\mu_{i}^{-1}\circ F \circ \mu_{i-1},$ $1<i< r,$ and $G_1=\mu_{1}^{-1}\circ F$. As applications, we solve a number of problems in complex and arithmetic dynamics for "general" rational functions.


title: On a kinetic opinion formation model for pre-election polling

abstract: Motivated by recent successes in model-based pre-election polling, we propose a kinetic model for opinion formation which includes voter demographics and socio-economic factors like age, sex, ethnicity, education level, income and other measurable factors like behaviour in previous elections or referenda as a key driver in the opinion formation dynamics. The model is based on Toscani's kinetic opinion formation model and the leader-follower model of D\"uring et al., and leads to a system of coupled Boltzmann-type equations and associated, approximate Fokker-Planck-type systems. Numerical examples using data from general elections in the United Kingdom show the effect different demographics have on the opinion formation process and the outcome of elections.


title: Efficient Belief Propagation List Ordered Statistics Decoding of Polar Codes

abstract: New algorithms for efficient decoding of polar codes (which may be CRC-augmented), transmitted over either a binary erasure channel (BEC) or an additive white Gaussian noise channel (AWGNC), are presented. We start by presenting a new efficient exact maximum likelihood decoding algorithm for the BEC based on inactivation decoding and analyze its computational complexity. This algorithm applies a matrix triangulation process on a sparse polar code parity check matrix, followed by solving a small size linear system over GF(2). We then consider efficient decoding of polar codes, transmitted over the AWGNC. The algorithm applies CRC-aided belief propagation list (CBPL) decoding, followed by ordered statistics decoding (OSD) of low order. Even when the reprocessing order of the OSD is as low as one, the new decoder is shown to significantly improve on plain CBPL. To implement the OSD efficiently, we adapt the matrix triangulation algorithm from the BEC case. We also indicate how the decoding algorithms can be implemented in parallel for low latency decoding. Numerical simulations are used to evaluate the performance and computational complexity of the new algorithms.


title: Secure Short-Packet Communications at the Physical Layer for 5G and Beyond

abstract: Short-packet communication is a key technology to support two emerging application scenarios in 5G and beyond 5G, massive machine type communication (mMTC) and ultra-reliable low latency communication (uRLLC), which are introduced to satisfy the broader communication requirements of potential applications such as the internet of vehicles and industrial internet of things (IoT). The sharp increase in privacy data in various IoT applications has made security issues more prominent. The typical upper-layer encryption mechanism could not fully address the security challenge considering the resource restriction of IoT terminals. In this article, we investigate secure short-packet communication from the perspective of physical layer security (PLS), which can be regarded as a promising security solution in 6G. Specifically, the state-of-the-art development of fundamental information theory of secure short-packet communications and corresponding performance evaluation criterion in fading channels are summarized. Then we review recent works, which investigate short-packet communication systems (CSs) in different communication scenarios or with different security strategies from the perspective of PLS. Finally, we give future research directions and challenges.


title: Constraining Self-Interacting Dark Matter with Dwarf Spheroidal Galaxies and High-resolution Cosmological $N$-body Simulations

abstract: We study the density structures of dark matter subhalos for both cold dark matter and self-interacting dark matter models using high-resolution cosmological $N$-body simulations. We quantify subhalo's central density at 150 pc from the center of each subhalo at the classical dwarf spheroidal and ultrafaint dwarf scales found in Milky-Way sized halos. By comparing them with observations, we find that the self-interacting scattering cross-section of $\sigma/m<3\ \rm{cm^{2}g^{-1}}$ is favored. Due to the combination of hosts' tide and self-interactions, the central density of subhalos with small pericenter shows a noticeable difference between the cold and the self-interacting models, indicating that Milky-Way satellites with small pericenter are ideal sites to further constrain the nature of dark matter by future large spectroscopic surveys.


title: The onset of zonal modes in two-dimensional Rayleigh-B\'enard convection

abstract: We study the stability of steady convection rolls in 2D Rayleigh--B\'enard convection with free-slip boundaries and horizontal periodicity over twelve orders of magnitude in the Prandtl number $(10^{-6} \leq Pr \leq 10^6)$ and five orders of magnitude in the Rayleigh number $(8\pi^4 < Ra \leq 3 \times 10^7)$. The analysis is facilitated by partitioning our modal expansion into so-called even and odd modes. With aspect ratio $\Gamma = 2$, we observe that zonal modes (with horizontal wavenumber equal to zero) can emerge only once the steady convection roll state consisting of even modes only becomes unstable to odd perturbations. We determine the stability boundary in the $(Pr,Ra)$-plane and observe remarkably intricate features corresponding to qualitative changes in the solution, as well as three regions where the steady convection rolls lose and subsequently regain stability as the Rayleigh number is increased. We study the asymptotic limit $\Pr \to 0$ and find that the steady convection rolls become unstable almost instantaneously, eventually leading to non-linear relaxation osculations and bursts, which we can explain with a weakly non-linear analysis. In the complementary large-$\Pr$ limit, we observe that the stability boundary reaches an asymptotic value $Ra = 2.54 \times 10^7$ and that the zonal modes at the instability switch off abruptly at a large, but finite, Prandtl number.


title: Highly accurate HF dimer ab initio potential energy surface

abstract: A very accurate, (HF)$_2$ potential energy surface (PES) is constructed based on \ai\ calculations performed using the MOLPRO package at the CCSD(T) level of theory with an aug-cc-pvQz-F12 basis set at about 161~000 points. a higher correlation correction is computed at CCSDT(Q) level for 2000 points and is considered alongside other more minor corrections due to relativity, core-valence correlation and Born-Oppenheimer failure. The analytical surface constructed uses 500 constants to reproduce the \ai\ points with a standard deviation of 0.3 \cm. Vibration-rotation-inversion energy levels of the HF dimer are computed for this PES by variational solution of the nuclear-motion Schr\"{o}dinger using program WAVR4. Calculations over an extended range of rotationally excited states show very good agreement with the experimental data. In particular the known empirical rotational constants $B$ for the ground vibrational states are predicted to better than about 2 MHz. $B$ constants for excited vibrational states are reproduced several times more accurately than by previous calculations. The experimental dissociation energy of the HF dimer is reproduced \ai\ within the experimental accuracy of about 1 \cm\ for the first time. This level of accuracy is shown to extend to higher excited inter-molecular vibrational states $v$ and higher excited rotational quantum numbers $(J,K_a)$.


title: Spatiotemporal refraction of light in an epsilon-near-zero ITO layer

abstract: When light travels through a medium in which the refractive index is rapidly changing with time, the light will undergo a shift in its frequency. Large frequency shifting effects have recently been reported for transparent conductive oxides. These observations have been interpreted as emerging from temporal changes to the propagation phase in a bulk medium resulting from temporal variations in the refractive index, an effect referred to as temporal refraction. Here, we show that the frequency shift in an epsilon-near-zero (ENZ) layer made of indium tin oxide (ITO) originates not only from this bulk response, but includes a significant effect resulting from temporal changes to the spatial boundary conditions. This boundary effect can lead to a dominant opposing shift to the bulk effect for certain angles. Hence, this process gives rise to a frequency shift that can be tailored through the angle of incidence, decoupling the amplitude and phase modulation.


title: A different perspective on the vev insertion approximation for electroweak baryogenesis

abstract: In the vev insertion approximation (VIA) the spacetime dependent part of the mass matrix is treated as a perturbation. We calculate the source terms for baryogenesis expanding both the self-energy and propagator to first order in mass insertions, which gives the same results as the usual approach of calculating the self-energy at second order and using zeroth order propagators. This procedure shows explicitly the equivalence between including the mass in the free or in the interaction Lagrangian. The VIA source then originates from the same term in the kinetic equation as the semi-classical source, but at leading order in the derivative expansion (the expansion in diamond operators). On top, another type of derivative expansion is done, which we estimate to be valid for a bubble width larger than the inverse thermal width. This cuts off the divergence in the VIA source in the limit that the thermal width vanishes.


title: Polynomial delay algorithm for minimal chordal completions

abstract: Motivated by the problem of enumerating all tree decompositions of a graph, we consider in this article the problem of listing all the minimal chordal completions of a graph. In \cite{carmeli2020} (\textsc{Pods 2017}) Carmeli \emph{et al.} proved that all minimal chordal completions or equivalently all proper tree decompositions of a graph can be listed in incremental polynomial time using exponential space. The total running time of their algorithm is quadratic in the number of solutions and the existence of an algorithm whose complexity depends only linearly on the number of solutions remained open. We close this question by providing a polynomial delay algorithm to solve this problem which, moreover, uses polynomial space. Our algorithm relies on \emph{Proximity Search}, a framework recently introduced by Conte \emph{et al.} \cite{conte-uno2019} (\textsc{Stoc 2019}) which has been shown powerful to obtain polynomial delay algorithms, but generally requires exponential space. In order to obtain a polynomial space algorithm for our problem, we introduce a new general method called \emph{canonical path reconstruction} to design polynomial delay and polynomial space algorithms based on proximity search.


title: Beyond the spherical sup-norm problem

abstract: We open a new perspective on the sup-norm problem and propose a version for non-spherical Maass forms when the maximal compact K is non-abelian and the dimension of the K-type gets large. We solve this problem for an arithmetic quotient of G=SL_2(C) with K=SU_2(C). Our results cover the case of vector-valued Maass forms as well as all the individual scalar-valued Maass forms of the Wigner basis, reaching sub-Weyl exponents in some cases. On the way, we develop analytic theory of independent interest, including uniform strong localization estimates for generalized spherical functions of high K-type and a Paley-Wiener theorem for the corresponding spherical transform acting on the space of rapidly decreasing functions. The new analytic properties of the generalized spherical functions lead to novel counting problems of matrices close to various manifolds that we solve optimally.


title: Duality in Toric Topology

abstract: We characterise integral Poincar\'e duality moment-angle complexes $\mathcal{Z}_{\mathcal{K}}$ in combinatorial terms of the Fan-Wang duality of the simplicial complex $\mathcal{K}$, and consequently in algebraic terms of the Gorenstein duality of the Stanley-Reisner ring $\mathbb{Z}[\mathcal{K}]$. We extend Poincar\'e duality results to certain polyhedral products using polyhedral join products of simplicial complexes.


title: Detecting when pre-trained nnU-Net models fail silently for Covid-19 lung lesion segmentation

abstract: Automatic segmentation of lung lesions in computer tomography has the potential to ease the burden of clinicians during the Covid-19 pandemic. Yet predictive deep learning models are not trusted in the clinical routine due to failing silently in out-of-distribution (OOD) data. We propose a lightweight OOD detection method that exploits the Mahalanobis distance in the feature space. The proposed approach can be seamlessly integrated into state-of-the-art segmentation pipelines without requiring changes in model architecture or training procedure, and can therefore be used to assess the suitability of pre-trained models to new data. We validate our method with a patch-based nnU-Net architecture trained with a multi-institutional dataset and find that it effectively detects samples that the model segments incorrectly.


title: $W^*$ and $C^*$-superrigidity results for coinduced groups

abstract: In this paper we explore a generic notion of superrigidity for von Neumann algebras $L(G)$ and reduced $C^*$-algebras $C^*_r(G)$ associated with countable discrete groups $G$. This allows us to classify these algebras for various new classes of groups $G$ from the realm of coinduced groups.


title: Wormholes without exotic matter: quasinormal modes, echoes and shadows

abstract: An analytical solution representing traversable asymptotically flat and symmetric wormholes was obtained without adding exotic matter in two different theories independently: in the Einstein-Maxwell-Dirac theory and in the second Randall-Sundrum brane-world model. Further, a smooth normalizable asymmetric wormhole solution has been recently obtained numerically in the Einstein-Maxwell-Dirac theory. Using the time-domain integration method we study quasinormal ringing of all these wormholes with emphasis to the regime of mimicking the near extremal Reissner-Nordstr\"om black holes, which is characterised by echoes. In addition, we calculate radius of shadows cast by these wormholes.


title: DIVINE: Diverse Influential Training Points for Data Visualization and Model Refinement

abstract: As the complexity of machine learning (ML) models increases, resulting in a lack of prediction explainability, several methods have been developed to explain a model's behavior in terms of the training data points that most influence the model. However, these methods tend to mark outliers as highly influential points, limiting the insights that practitioners can draw from points that are not representative of the training data. In this work, we take a step towards finding influential training points that also represent the training data well. We first review methods for assigning importance scores to training points. Given importance scores, we propose a method to select a set of DIVerse INfluEntial (DIVINE) training points as a useful explanation of model behavior. As practitioners might not only be interested in finding data points influential with respect to model accuracy, but also with respect to other important metrics, we show how to evaluate training data points on the basis of group fairness. Our method can identify unfairness-inducing training points, which can be removed to improve fairness outcomes. Our quantitative experiments and user studies show that visualizing DIVINE points helps practitioners understand and explain model behavior better than earlier approaches.


title: Normal Sequences with Non-Maximal Automatic Complexity

abstract: This paper examines Automatic Complexity, a complexity notion introduced by Shallit and Wang in 2001. We demonstrate that there exists a normal sequence $T$ such that $I(T) = 0$ and $S(T) \leq 1/2$, where $I(T)$ and $S(T)$ are the lower and upper automatic complexity rates of $T$ respectively. We furthermore show that there exists a Champernowne sequence $C$, i.e. a sequence formed by concatenating all strings of length $1$ followed by concatenating all strings of length $2$ and so on, such that $S(C) \leq 2/3$.


title: Robust entanglement by continuous dynamical decoupling of the J-coupling interaction

abstract: We propose a $\sigma_z\otimes \sigma_z$ laser-free entangling gate which uses the intrinsic J-coupling of ions in a static magnetic gradient. Dephasing of the interaction is suppressed by means of continuous dynamical decoupling using pairs of microwave fields. The gate is virtually insensitive to common amplitude noise of the microwave fields and enables high fidelities despite qubit frequency fluctuations, while the J-coupling interaction's inherent robustness to motional decoherence is retained. Errors far below the fault-tolerant threshold can be achieved at high initial temperatures, negating the requirement of sideband cooling below the Doppler temperature. By adjusting the powers of the continuous microwave fields, the J-coupling interaction can be tuned and can be used to implement parallel entangling gates within an ion chain.


title: Construction of Nontrivial Quantum Gauge Theories: The Continuum limit in a Finite Volume

abstract: We construct several quantum gauge theories in 4 dimensional space time, including both Abelian and non Abelian gauge groups, with the Abelian gauge fields coupled to zero mass matter fields. The construction occurs in a fixed finite Euclidean spatial domain. The construction begins with the doubly cutoff bare field theory (with a finite space time volume and a mesh based ultraviolet cutoff) constructed in a separate paper. We use a limited range of renormalized perturbation theory, just sufficient to cancel all the divergences. We demonstrate convergence of the ultraviolet limit and of the renormalized perturbation theory, when summed to all orders. We construct the fully renormalized Lagrangian and Schwinger functions.


title: Variation of Canonical Height for Fatou points on $\mathbb{P}^1$

abstract: Let $f: \mathbb{P}^1\to \mathbb{P}^1$ be a map of degree $>1$ defined over a function field $k = K(X)$, where $K$ is a number field and $X$ is a projective curve over $K$. For each point $a \in \mathbb{P}^1(k)$ satisfying a dynamical stability condition, we prove that the Call-Silverman canonical height for specialization $f_t$ at point $a_t$, for $t \in X(\bar{\mathbb{Q}})$ outside a finite set, induces a Weil height on the curve $X$; i.e., we prove the existence of a $\mathbb{Q}$-divisor $D = D_{f,a}$ on $X$ so that the function $t\mapsto \hat{h}_{f_t}(a_t) - h_D(t)$ is bounded on $X(\bar{\mathbb{Q}})$ for any choice of Weil height associated to $D$. We also prove a local version, that the local canonical heights $t\mapsto \hat{\lambda}_{f_t, v}(a_t)$ differ from a Weil function for $D$ by a continuous function on $X(\mathbb{C}_v)$, at each place $v$ of the number field $K$. These results were known for polynomial maps $f$ and all points $a \in \mathbb{P}^1(k)$ without the stability hypothesis, and for maps $f$ that are quotients of endomorphisms of elliptic curves $E$ over $k$. Finally, we characterize our stability condition in terms of the geometry of the induced map $\tilde{f}: X\times \mathbb{P}^1 \rightarrow X\times \mathbb{P}^1$ over $K$; and we prove the existence of relative N\'eron models for the pair $(f,a)$, when $a$ is a Fatou point at a place $\gamma$ of $k$, where the local canonical height $\hat{\lambda}_{f,\gamma}(a)$ can be computed as an intersection number.


title: Metallicity estimation of RR Lyrae stars from their I-band light curves

abstract: We have revisited the problem of metallicity prediction of RR Lyrae stars from their near-infrared light curves in the Cousins I waveband. Our study is based on high-quality time-series photometry and state-of-the-art high-resolution spectroscopic abundance measurements of 80 fundamental-mode (RRab) and 24 first-overtone (RRc) stars, spanning $\sim$[$-2.7$,$+0.18$] dex and $\sim$[$-3$,$-0.5$] dex ranges, respectively. Employing machine-learning methods, we investigated various light-curve representations and regression models to identify their optimal form for our objective. Accurate new empirical relations between the [Fe/H] iron abundance and the light-curve parameters have been obtained using Bayesian regression for both RRab and RRc stars with mean absolute prediction errors of 0.16 and 0.18 dex, respectively. We found that earlier $I$-band [Fe/H] estimates had a systematic positive bias of up to $\sim 0.4$ dex in the metal-poor regime. Our new predictive models were deployed on large ensembles of RR Lyrae stars to obtain photometric metallicity distribution functions (MDFs) for various old stellar populations in and around the Milky Way. We find that the mode of the old bulge component's MDF is approximately $-1.4$ dex, in remarkable agreement with the latest spectroscopic result. Furthermore, we derive MDF modes of $-1.83$, $-2.13$, and $-1.77$ dex for the Large and Small Magellanic Clouds, and the Sagittarius dwarf galaxy, respectively.


title: Deep Autoregressive Models with Spectral Attention

abstract: Time series forecasting is an important problem across many domains, playing a crucial role in multiple real-world applications. In this paper, we propose a forecasting architecture that combines deep autoregressive models with a Spectral Attention (SA) module, which merges global and local frequency domain information in the model's embedded space. By characterizing in the spectral domain the embedding of the time series as occurrences of a random process, our method can identify global trends and seasonality patterns. Two spectral attention models, global and local to the time series, integrate this information within the forecast and perform spectral filtering to remove time series's noise. The proposed architecture has a number of useful properties: it can be effectively incorporated into well-know forecast architectures, requiring a low number of parameters and producing interpretable results that improve forecasting accuracy. We test the Spectral Attention Autoregressive Model (SAAM) on several well-know forecast datasets, consistently demonstrating that our model compares favorably to state-of-the-art approaches.


title: Dephasing and inhibition of spin interference from semi-classical self-gravitation

abstract: We present a detailed derivation of a model to study effects of self-gravitation from semi-classical gravity, described by the Schr\"odinger-Newton equation, employing spin superposition states in inhomogeneous magnetic fields, as proposed recently for experiments searching for gravity induced entanglement. Approximations for the experimentally relevant limits are discussed. Results suggest that spin interferometry could provide a more accessible route towards an experimental test of quantum aspects of gravity than both previous proposals to test semi-classical gravity and the observation of gravitational spin entanglement.


title: Anisotropic connections and parallel transport in Finsler spacetimes

abstract: The general notion of anisotropic connections $\nabla$ is revisited, including its precise relations with the standard setting of pseudo-Finsler metrics, i.e., the canonic nonlinear connection and the (linear) Finslerian connections. In particular, the vertically trivial Finsler connections are identified canonically with anisotropic connections. So, these connections provide a simple intrinsic interpretation of a part of any Finsler connection closer to the Koszul formulation in $M$. Moreover, a new covariant derivative and parallel transport along curves is introduced, taking first a self-propagated vector ({\em instantaneous observer}) so that it serves as a reference for the propagation of the others. The covariant derivative of any anisotropic tensor is given by the natural derivative of a curve of tensors obtained by parallel transport along a curve and, in the case of pseudo-Finsler metrics, this is used to characterize the Levi-Civita--Chern anisotropic connection as the one that preserves the length of parallely propagated vectors.


title: Generating Gender Augmented Data for NLP

abstract: Gender bias is a frequent occurrence in NLP-based applications, especially pronounced in gender-inflected languages. Bias can appear through associations of certain adjectives and animate nouns with the natural gender of referents, but also due to unbalanced grammatical gender frequencies of inflected words. This type of bias becomes more evident in generating conversational utterances where gender is not specified within the sentence, because most current NLP applications still work on a sentence-level context. As a step towards more inclusive NLP, this paper proposes an automatic and generalisable rewriting approach for short conversational sentences. The rewriting method can be applied to sentences that, without extra-sentential context, have multiple equivalent alternatives in terms of gender. The method can be applied both for creating gender balanced outputs as well as for creating gender balanced training data. The proposed approach is based on a neural machine translation (NMT) system trained to 'translate' from one gender alternative to another. Both the automatic and manual analysis of the approach show promising results for automatic generation of gender alternatives for conversational sentences in Spanish.