title: On the maximum principle for the multi-term fractional transport equation

abstract: In this paper, we prove a maximum principle for the general multi-term space-time-fractional transport equation and apply it for establishing uniqueness of solution to an initial-boundary-value problem for this equation. We also derive some comparison principles for solutions to the initial-boundary-value problems with different problem data. Finally, we present a maximum principle for the Cauchy problem for a time-fractional transport equation on an unbounded domain.


title: Preprint: Norm Loss: An efficient yet effective regularization method for deep neural networks

abstract: Convolutional neural network training can suffer from diverse issues like exploding or vanishing gradients, scaling-based weight space symmetry and covariant-shift. In order to address these issues, researchers develop weight regularization methods and activation normalization methods. In this work we propose a weight soft-regularization method based on the Oblique manifold. The proposed method uses a loss function which pushes each weight vector to have a norm close to one, i.e. the weight matrix is smoothly steered toward the so-called Oblique manifold. We evaluate our method on the very popular CIFAR-10, CIFAR-100 and ImageNet 2012 datasets using two state-of-the-art architectures, namely the ResNet and wide-ResNet. Our method introduces negligible computational overhead and the results show that it is competitive to the state-of-the-art and in some cases superior to it. Additionally, the results are less sensitive to hyperparameter settings such as batch size and regularization factor.


title: A new equivalence between singularity categories of commutative algebras

abstract: We construct a triangle equivalence between the singularity categories of two isolated cyclic quotient singularities of Krull dimensions two and three, respectively. This is the first example of a singular equivalence involving connected commutative algebras of odd and even Krull dimension. In combination with Orlov's localization result, this gives further singular equivalences between certain quasi-projective varieties of dimensions two and three, respectively.


title: Simultaneous comparisons of treatments versus control (Dunnett-type tests) for location-scale alternatives

abstract: Commonly, the comparisons of treatment groups versus a control is performed for location effects only where possible scale effects are considered as disturbing. Sometimes scale effects are also relevant, as a kind of early indicator for changes. Here several approaches for Dunnett-type tests for location or scale effects are proposed and compared by a simulation study. Two real data examples are analysed accordingly and the related R-code is available in the Appendix.


title: Exact-WKB, complete resurgent structure, and mixed anomaly in quantum mechanics on $S^1$

abstract: We investigate the exact-WKB analysis for quantum mechanics in a periodic potential, with $N $ minima on $S^{1}$. We describe the Stokes graphs of a general potential problem as a network of Airy-type or degenerate Weber-type building blocks, and provide a dictionary between the two. The two formulations are equivalent, but with their own pros and cons. Exact-WKB produces the quantization condition consistent with the known conjectures and mixed anomaly. The quantization condition for the case of $N$-minima on the circle factorizes over the Hilbert sub-spaces labeled by discrete theta angle (or Bloch momenta), and is consistent with 't Hooft anomaly for even $N$ and global inconsistency for odd $N$. By using Delabaere-Dillinger-Pham formula, we prove that the resurgent structure is closed in these Hilbert subspaces, built on discrete theta vacua, and by a transformation, this implies that fixed topological sectors (columns of resurgence triangle) are also closed under resurgence.


title: Privacy-preserving Object Detection

abstract: Privacy considerations and bias in datasets are quickly becoming high-priority issues that the computer vision community needs to face. So far, little attention has been given to practical solutions that do not involve collection of new datasets. In this work, we show that for object detection on COCO, both anonymizing the dataset by blurring faces, as well as swapping faces in a balanced manner along the gender and skin tone dimension, can retain object detection performances while preserving privacy and partially balancing bias.


title: Cusped Hitchin representations and Anosov representations of geometrically finite Fuchsian groups

abstract: We develop a theory of Anosov representation of geometrically finite Fuchsian groups in SL(d,R) and show that cusped Hitchin representations are Borel Anosov in this sense. We establish analogues of many properties of traditional Anosov representations. In particular, we show that our Anosov representations are stable under type-preserving deformations and that their limit maps vary analytically. We also observe that our Anosov representations fit into the previous frameworks of relatively Anosov and relatively dominated representations developed by Kapovich-Leeb and Zhu.


title: Fixed-Time Cooperative Behavioral Control for Networked Autonomous Agents with Second-Order Nonlinear Dynamics

abstract: In this paper, we investigate the fixed-time behavioral control problem for a team of second-order nonlinear agents, aiming to achieve a desired formation with collision/obstacle~avoidance. In the proposed approach, the two behaviors(tasks) for each agent are prioritized and integrated via the framework of the null-space-based behavioral projection, leading to a desired merged velocity that guarantees the fixed-time convergence of task errors. To track this desired velocity, we design a fixed-time sliding mode controller for each agent with state-independent adaptive gains, which provides a fixed-time convergence of the tracking error. The control scheme is implemented in a distributed manner, where each agent only acquires information from its neighbors in the network. Moreover, we adopt an online learning algorithm to improve the robustness of the closed system with respect to uncertainties/disturbances. Finally, simulation results are provided to show the effectiveness of the proposed approach.


title: 3D Homogenized T-A Formulation for Modeling HTS Coils

abstract: The estimation of losses in high-temperature superconductors (HTS) is fundamental during the design of superconducting devices since losses can strongly influence the cooling system requirements and operating temperature. Typically, 2D finite element analysis is used to calculate AC losses in HTS, due to the lack of analytical solutions that can accurately represent complex operating conditions such as AC transport current and AC external applied magnetic field in coils. These 2D models are usually a representation of an infinitely long arrangement. Therefore, they cannot be used to analyze end effects and complex 3D configurations. In this publication, we use the T-A homogenization in 3D for the analysis of superconducting coils. This allows simulating complex geometries such as racetrack coils. We show that this approach has lower computation time than the currently available 3D homogenization of the H formulation. The approach is first validated against measurements and 2D axisymmetric solutions. Then, it is used to estimate losses and study the electromagnetic behavior of a racetrack coil.


title: An investigation of type-I superconductivity in single crystal of Pb2Pd

abstract: We have investigated the superconducting properties in a single crystal of a new superconductor Pb$_{2}$Pd via various techniques including magnetization, AC transport, transverse field muon spin rotation and relaxation (TF-$\mu$SR), and heat capacity. Pb$_{2}$Pd crystallizes in a body-centred tetragonal structure with space group I4/$mcm$. All measurements confirm the superconducting transition temperature, T$_{C}$ = 3.0 $\pm$ 0.1 K. Electronic specific heat data are well described by the BCS fitting, suggesting that Pb$_{2}$Pd opens an isotropic gap on entering the superconducting state. The specific heat jump and $\lambda_{e-ph}$ value categorize Pb$_{2}$Pd as a moderately coupled superconductor. Magnetization and transverse field muon spin rotation measurements along with Ginzburg-Landau parameter, $\kappa$ < 1/$\sqrt{2}$ strongly infers that Pb$_{2}$Pd is a type I superconductor.


title: Uncoordinated and Decentralized Processing in Extra-Large MIMO Arrays

abstract: We propose a decentralized receiver for extra-large multiple-input multiple-output (XL-MIMO) arrays. Our method operates with no central processing unit (CPU) and all the signal detection tasks are done in distributed nodes. We exploit a combined message-passing framework to design an uncoordinated detection scheme that overcomes three major challenges in the XL-MIMO systems: computational complexity, scalability and non-stationarities in user energy distribution. Our numerical evaluations show a significant performance improvement compared to benchmark distributed methods while operating very close to the centralized receivers.


title: Accelerated magnetosonic lump wave solutions by orbiting charged space debris

abstract: The excitations of nonlinear magnetosonic lump waves induced by orbiting charged space debris objects in the Low Earth Orbital (LEO) plasma region are investigated in presence of the ambient magnetic field. These nonlinear waves are found to be governed by the forced Kadomtsev-Petviashvili (KP) type model equation, where the forcing term signifies the source current generated by different possible motions of charged space debris particles in the LEO plasma region. Different analytic lump wave solutions that are stable for both slow and fast magnetosonic waves in presence of charged space debris particles are found for the first time. The dynamics of exact pinned accelerated lump waves is explored in detail. Approximate lump wave solutions with time-dependent amplitudes and velocities are analyzed through perturbation methods for different types of localized space debris functions; yielding approximate pinned accelerated lump wave solutions. These new results may pave new direction in this field of research.


title: Machine learning-based direct solver for one-to-many problems on temporal shaping of relativistic electron beams

abstract: To control the temporal profile of a relativistic electron beam to meet requirements of various advanced scientific applications like free-electron-laser and plasma wakefield acceleration, a widely-used technique is to manipulate the dispersion terms which turns out to be one-to-many problems. Due to their intrinsic one-to-many property, current popular stochastic optimization approaches on temporal shaping may face the problems of long computing time or sometimes suggesting only one solution. Here we propose a real-time solver for one-to-many problems of temporal shaping, with the aid of a semi-supervised machine learning method, the conditional generative adversarial network (CGAN). We demonstrate that the CGAN solver can learn the one-to-many dynamics and is able to accurately and quickly predict the required dispersion terms for different custom temporal profiles. This machine learning-based solver is expected to have the potential for wide applications to one-to-many problems in other scientific fields.


title: Bump Hunting in Latent Space

abstract: Unsupervised anomaly detection could be crucial in future analyses searching for rare phenomena in large datasets, as for example collected at the LHC. To this end, we introduce a physics inspired variational autoencoder (VAE) architecture which performs competitively and robustly on the LHC Olympics Machine Learning Challenge datasets. We demonstrate how embedding some physical observables directly into the VAE latent space, while at the same time keeping the classifier manifestly agnostic to them, can help to identify and characterise features in measured spectra as caused by the presence of anomalies in a dataset.


title: Imaging the transverse spin density of light via electromagnetically induced transparency

abstract: When a light beam is strongly laterally confined, its field vector spins in a plane not perpendicular to the propagation direction, leading to the presence of transverse spin angular momentum, which plays a crucial role in the field of chiral quantum optics. The existing techniques to measure the transverse spin density require complex setups and sophisticated time-consuming procedures. Here, we propose a scheme to measure the transverse spin density of an optical field in real time using a multi-level atomic medium. The susceptibility of the medium is spatially modulated by the transverse spin via electromagnetically induced transparency. The distribution of the transverse spin is then extracted by measuring the distributions of the Stokes parameters of another collimated probe field.


title: Reducing Moser's Square Packing Problem to a Bounded Number of Squares

abstract: The problem widely known as Moser's Square Packing Problem asks for the smallest area $A$ such that for any set $S$ of squares of total area $1$, there exists a rectangle $R$ of area $A$ into which the squares in $S$ permit an internally-disjoint, axis-parallel packing. It was formulated by Moser in 1966 and remains unsolved so far. The best known lower bound of $\frac{2+\sqrt{3}}{3}\leq A$ is due to Novotn\'y and has been shown to be sufficient for up to $11$ squares by Platz, while Hougardy and Ilhan have established that $A < 1.37$. In this paper, we reduce Moser's Square Packing Problem to a problem on a finite set of squares in the following sense: We show how to compute a natural number $N$ such that it is enough to determine the value of $A$ for sets containing at most $N$ squares with total area $1$.


title: DebIE: A Platform for Implicit and Explicit Debiasing of Word Embedding Spaces

abstract: Recent research efforts in NLP have demonstrated that distributional word vector spaces often encode stereotypical human biases, such as racism and sexism. With word representations ubiquitously used in NLP models and pipelines, this raises ethical issues and jeopardizes the fairness of language technologies. While there exists a large body of work on bias measures and debiasing methods, to date, there is no platform that would unify these research efforts and make bias measuring and debiasing of representation spaces widely accessible. In this work, we present DebIE, the first integrated platform for (1) measuring and (2) mitigating bias in word embeddings. Given an (i) embedding space (users can choose between the predefined spaces or upload their own) and (ii) a bias specification (users can choose between existing bias specifications or create their own), DebIE can (1) compute several measures of implicit and explicit bias and modify the embedding space by executing two (mutually composable) debiasing models. DebIE's functionality can be accessed through four different interfaces: (a) a web application, (b) a desktop application, (c) a REST-ful API, and (d) as a command-line application. DebIE is available at: debie.informatik.uni-mannheim.de.


title: On the contribution of the X-ray source to the extended nebular HeII emission in IZw18

abstract: Nebular HeII emission implies the presence of energetic photons (E$\ge$54 eV). Despite the great deal of effort dedicated to understanding HeII ionization, its origin has remained mysterious, particularly in metal-deficient star-forming (SF) galaxies. Unfolding HeII-emitting, metal-poor starbursts at z ~ 0 can yield insight into the powerful ionization processes occurring in the primordial universe. Here we present a new study on the effects that X-ray sources have on the HeII ionization in the extremely metal-poor galaxy IZw18 (Z ~ 3 % Zsolar), whose X-ray emission is dominated by a single high-mass X-ray binary (HMXB). This study uses optical integral field spectroscopy, archival Hubble Space Telescope observations, and all of the X-ray data sets publicly available for IZw18. We investigate the time-variability of the IZw18 HMXB for the first time; its emission shows small variations on timescales from days to decades. The best-fit models for the HMXB X-ray spectra cannot reproduce the observed HeII ionization budget of IZw18, nor can recent photoionization models that combine the spectra of both very low metallicity massive stars and the emission from HMXB. We also find that the IZw18 HMXB and the HeII-emission peak are spatially displaced at a projected distance of $\simeq$ 200 pc. These results reduce the relevance of X-ray photons as the dominant HeII ionizing mode in IZw18, which leaves uncertain what process is responsible for the bulk of its HeII ionization. This is in line with recent work discarding X-ray binaries as the main source responsible for HeII ionization in SF galaxies.


title: Collective effects in the photon statistics of thermal atomic ensembles

abstract: We investigate the collective scattering of coherent light from a thermal alkali-metal vapor with temperatures ranging from 350 to 450 K, corresponding to average atomic spacings between $0.7 \lambda$ and $0.1 \lambda$. We develop a theoretical model treating the atomic ensemble as coherent, interacting, radiating dipoles. We show that the two-time second-order correlation function of a thermal ensemble can be described by an average of randomly positioned atomic pairs. Our model illustrates good agreement with the experimental results. Furthermore, we show how fine-tuning of the experimental parameters may make it possible to explore several photon statistics regimes.


title: Invariant quantities of Scalar-Tensor Theories for stellar structure

abstract: We present the relativistic hydrostatic equilibrium equations for a wide class of gravitational theories possessing a scalar-tensor representation. It turns out that the stellar structure equations can be written with respect to the scalar-tensor invariants, allowing to interpret their physical role.


title: Symbolic Reinforcement Learning for Safe RAN Control

abstract: In this paper, we demonstrate a Symbolic Reinforcement Learning (SRL) architecture for safe control in Radio Access Network (RAN) applications. In our automated tool, a user can select a high-level safety specifications expressed in Linear Temporal Logic (LTL) to shield an RL agent running in a given cellular network with aim of optimizing network performance, as measured through certain Key Performance Indicators (KPIs). In the proposed architecture, network safety shielding is ensured through model-checking techniques over combined discrete system models (automata) that are abstracted through reinforcement learning. We demonstrate the user interface (UI) helping the user set intent specifications to the architecture and inspect the difference in allowed and blocked actions.


title: Experimental accreditation of outputs of noisy quantum computers

abstract: We provide and experimentally demonstrate an accreditation protocol that upper-bounds the variation distance between noisy and noiseless probability distributions of the outputs of arbitrary quantum computations. We accredit the outputs of twenty-four quantum circuits executed on programmable superconducting hardware, ranging from depth nine circuits on ten qubits to depth twenty-one circuits on four qubits. Our protocol requires implementing the "target" quantum circuit along with a number of random Clifford circuits and subsequently post-processing the outputs of these Clifford circuits. Importantly, the number of Clifford circuits is chosen to obtain the bound with the desired confidence and accuracy, and is independent of the size and nature of the target circuit. We thus demonstrate a practical and scalable method of ascertaining the correctness of the outputs of arbitrary-sized noisy quantum computers--the ultimate arbiter of the utility of the computer itself.


title: Superconnected left quasigroups and involutory quandles

abstract: In this paper we study the classes of superconnected and superfaithful left quasigroups, that are relevant in the study of Mal'cev varieties of left quasigroups \cite{Maltsev_paper}. Then we focus on quandles and in particular to the involutory ones. We extend the main result of \cite{involutive_quandles_russo} to the infinite case and we offer a characterization of several classes of involutory quandles in terms of the properties of the canonical generators of the displacement group, improving the main results of \cite{Nobu}.


title: ASAP: A Chinese Review Dataset Towards Aspect Category Sentiment Analysis and Rating Prediction

abstract: Sentiment analysis has attracted increasing attention in e-commerce. The sentiment polarities underlying user reviews are of great value for business intelligence. Aspect category sentiment analysis (ACSA) and review rating prediction (RP) are two essential tasks to detect the fine-to-coarse sentiment polarities. %Considering the sentiment of the aspects(ACSA) and the overall review rating(RP) simultaneously has the potential to improve the overall performance. ACSA and RP are highly correlated and usually employed jointly in real-world e-commerce scenarios. While most public datasets are constructed for ACSA and RP separately, which may limit the further exploitation of both tasks. To address the problem and advance related researches, we present a large-scale Chinese restaurant review dataset \textbf{ASAP} including $46,730$ genuine reviews from a leading online-to-offline (O2O) e-commerce platform in China. Besides a $5$-star scale rating, each review is manually annotated according to its sentiment polarities towards $18$ pre-defined aspect categories. We hope the release of the dataset could shed some light on the fields of sentiment analysis. Moreover, we propose an intuitive yet effective joint model for ACSA and RP. Experimental results demonstrate that the joint model outperforms state-of-the-art baselines on both tasks.


title: Multivariate Functional Additive Mixed Models

abstract: Multivariate functional data can be intrinsically multivariate like movement trajectories in 2D or complementary like precipitation, temperature, and wind speeds over time at a given weather station. We propose a multivariate functional additive mixed model (multiFAMM) and show its application to both data situations using examples from sports science (movement trajectories of snooker players) and phonetic science (acoustic signals and articulation of consonants). The approach includes linear and nonlinear covariate effects and models the dependency structure between the dimensions of the responses using multivariate functional principal component analysis. Multivariate functional random intercepts capture both the auto-correlation within a given function and cross-correlations between the multivariate functional dimensions. They also allow us to model between-function correlations as induced by e.g.\ repeated measurements or crossed study designs. Modeling the dependency structure between the dimensions can generate additional insight into the properties of the multivariate functional process, improves the estimation of random effects, and yields corrected confidence bands for covariate effects. Extensive simulation studies indicate that a multivariate modeling approach is more parsimonious than fitting independent univariate models to the data while maintaining or improving model fit.


title: Optical vortex dichroism in chiral particles

abstract: Circular dichroism is the differential rate of absorption of right- and left-handed circularly polarized light by chiral particles. Optical vortices which convey orbital angular momentum (OAM) possess a chirality associated with the clockwise or anti-clockwise twisting of their wavefront. Here it is highlighted that both oriented and randomly oriented chiral particles absorb photons from twisted beams at different rates depending on whether the vortex twists to the right or the left through a dipole coupling scheme. This is in contrast to previous studies that investigated dipole couplings with vortex modes in the paraxial approximation and showed no such chiral sensitivity to the vortex handedness: only in oriented media where electric quadrupole coupling contributes to optical activity effects due to absorption does such a mechanism exist for paraxial vortices. The distinct difference in the scheme highlighted in this work is that longitudinal fields are taken account of and these allow for OAM transfer even during dipole interactions. Due to the vortex dichroism persisting in randomly oriented collections of chiral particles, the mechanism has a distinct advantage in its potential applicability in chemical and biochemical applications where the systems under study are invariably in the liquid phase. Additionally, the result is put into context in terms of the quantifiable optical chirality, highlighting that optical OAM can in fact increase the optical chirality density of an electromagnetic field.


title: Large time behavior of strong solutions for stochastic Burgers equation

abstract: We consider the large time behavior of strong solutions to a kind of stochastic Burgers equation, where the position x is perturbed by a Brownian noise. It is well known that both the rarefaction wave and viscous shock wave are time-asymptotically stable for deterministic Burgers equation since the pioneer work of A. Ilin and O. Oleinik [21] in 1964. However, the stability of these wave patterns under stochastic perturbation is not known until now. In this paper, we give a definite answer to the stability problem of the rarefaction and viscous shock waves for the 1-d stochastic Burgers equation. That is, the rarefaction wave is still stable under white noise perturbation and the viscous shock is not stable yet. Moreover, a time-convergence rate toward the rarefaction wave is obtained. To get the desired decay rate, an important inequality (denoted by Area Inequality) is derived. This inequality plays essential role in the proof, and may have applications in the related problems for both the stochastic and deterministic PDEs.


title: Extraction of Energetic $N_2$ Neutrals for Efficient Plasma Food Processing

abstract: Low-temperature plasma (LTP) processing is a green and flexible food processing technology with only known limitation of low energy efficiency. Three established fundamental mechanisms of plasma food processing includes: i) physical damage to membranes and internal cellular components due to bombardment of energetic ions: ii) radicals and charged species led chemical reactions: iii) and radiation-induced modifications. In this investigation, we present a new mechanism of generation and extraction of energetic $N_2$ neutrals from glow discharge plasmas for efficient food processing. For nitrogen dc glow discharge plasma we demonstrate by experiment selective generation and extraction of energetic $N_2$ neutrals and $N_2^+$ ions for treatment of different food samples. Using numerical simulations, the plasma processing parameters are defined for selective extraction of $N_2$ or $N_2^+$ species with specific energies. Treatment of native finger millet flour or ragi flour (Eleusine coracana) with selectively extracted energetic $N_2$ neutrals, with an estimated average energy of 34.20 eV, resulted in improvement of shelf-life and functional properties. Additionally, this processing technique achieved high energy efficiency of ~ 46%. This method of food engineering has advantages of control over active species generation, high power efficiency, reduced processing cost, and chemical-free. Therefore, it opens up wide possibilities in plasma food processing for global food security and food safety.


title: Completeness of the ZH-calculus

abstract: There are various gate sets used for describing quantum computation. A particularly popular one consists of Clifford gates and arbitrary single-qubit phase gates. Computations in this gate set can be elegantly described by the ZX-calculus, a graphical language for a class of string diagrams describing linear maps between qubits. The ZX-calculus has proven useful in a variety of areas of quantum information, but is less suitable for reasoning about operations outside its natural gate set such as multi-linear Boolean operations like the Toffoli gate. In this paper we study the ZH-calculus, an alternative graphical language of string diagrams that does allow straightforward encoding of Toffoli gates and other more complicated Boolean logic circuits. We find a set of simple rewrite rules for this calculus and show it is complete with respect to matrices over $\mathbb{Z}[\frac12]$, which correspond to the approximately universal Toffoli+Hadamard gateset. Furthermore, we construct an extended version of the ZH-calculus that is complete with respect to matrices over any ring $R$ where $1+1$ is not a zero-divisor.


title: An Optimal-Transport-Based Reinforcement Learning Approach for Computation Offloading

abstract: With the mass deployment of computing-intensive applications and delay-sensitive applications on end devices, only adequate computing resources can meet differentiated services' delay requirements. By offloading tasks to cloud servers or edge servers, computation offloading can alleviate computing and storage limitations and reduce delay and energy consumption. However, few of the existing offloading schemes take into consideration the cloud-edge collaboration and the constraint of energy consumption and task dependency. This paper builds a collaborative computation offloading model in cloud and edge computing and formulates a multi-objective optimization problem. Constructed by fusing optimal transport and Policy-Based RL, we propose an Optimal-Transport-Based RL approach to resolve the offloading problem and make the optimal offloading decision for minimizing the overall cost of delay and energy consumption. Simulation results show that the proposed approach can effectively reduce the cost and significantly outperforms existing optimization solutions.


title: Group actions and power maps for groups over non-Archimedean local fields

abstract: We consider linear groups and Lie groups over a non-Archimedean local field $\mathbb F$ for which the power map $x\mapsto x^k$ has a dense image or it is surjective. We prove that the group of $\mathbb F$-points of such algebraic groups is a compact extension of unipotent groups with the order of the compact group being relatively prime to $k$. This in particular shows that the power map is surjective for all $k$ is possible only when the group is unipotent or trivial depending on whether the characteristic of $\mathbb F$ is zero or positive. Similar results are proved for Lie groups via the adjoint representation. To a large extent, these results are extended to linear groups over local fields and global fields.


title: On the approximation error for approximating convex bodies using multiobjective optimization

abstract: A polyhedral approximation of a convex body can be calculated by solving approximately an associated multiobjective convex program (MOCP). An MOCP can be solved approximately by Benson type algorithms, which compute outer and inner polyhedral approximations of the problem's upper image. Polyhedral approximations of a convex body can be obtained from polyhedral approximations of the upper image of the associated MOCP. We provide error bounds in terms of the Hausdorff distance for the polyhedral approximations of a convex body in dependence of the stopping criterion of the primal and dual Benson type algorithms which are applied to the associated MOCP.


title: Hitting minors on bounded treewidth graphs. III. Lower bounds

abstract: For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{{\cal F}}$ such that ${\cal F}$-M-DELETION can be solved in time $f_{{\cal F}}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We provide lower bounds under the ETH on $f_{{\cal F}}$ for several collections ${\cal F}$. We first prove that for any ${\cal F}$ containing connected graphs of size at least two, $f_{{\cal F}}(tw)= 2^{\Omega(tw)}$, even if the input graph $G$ is planar. Our main contribution consists of superexponential lower bounds for a number of collections ${\cal F}$, inspired by a reduction of Bonnet et al.~[IPEC, 2017]. In particular, we prove that when ${\cal F}$ contains a single connected graph $H$ that is either $P_5$ or is not a minor of the banner (that is, the graph consisting of a $C_4$ plus a pendent edge), then $f_{{\cal F}}(tw)= 2^{\Omega(tw \cdot \log tw)}$. This is the third of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of $\{H\}$-M-DELETION, in terms of $H$, when $H$ is connected.


title: Controlled Gaussian Process Dynamical Models with Application to Robotic Cloth Manipulation

abstract: Over the last years, significant advances have been made in robotic manipulation, but still, the handling of non-rigid objects, such as cloth garments, is an open problem. Physical interaction with non-rigid objects is uncertain and complex to model. Thus, extracting useful information from sample data can considerably improve modeling performance. However, the training of such models is a challenging task due to the high-dimensionality of the state representation. In this paper, we propose Controlled Gaussian Process Dynamical Model (CGPDM) for learning high-dimensional, nonlinear dynamics by embedding it in a low-dimensional manifold. A CGPDM is constituted by a low-dimensional latent space, with an associated dynamics where external control variables can act and a mapping to the observation space. The parameters of both maps are marginalized out by considering Gaussian Process (GP) priors. Hence, a CGPDM projects a high-dimensional state space into a smaller dimension latent space, in which it is feasible to learn the system dynamics from training data. The modeling capacity of CGPDM has been tested in both a simulated and a real scenario, where it proved to be capable of generalizing over a wide range of movements and confidently predicting the cloth motions obtained by previously unseen sequences of control actions.


title: Probabilistic Scheduling of UFLS to Secure Credible Contingencies in Low Inertia Systems

abstract: The reduced inertia levels in low-carbon power grids necessitate explicit constraints to limit frequency's nadir and rate of change during scheduling. This can result in significant curtailment of renewable energy due to the minimum generation of thermal plants that are needed to provide frequency response (FR) and inertia. Additional consideration of fast FR, a dynamically reduced largest loss and under frequency load shedding (UFLS) allows frequency security to be achieved more cost effectively. This paper derives a novel nadir constraint from the swing equation that, for the first time, provides a framework for the optimal comparison of all these services. We demonstrate that this constraint can be accurately and conservatively approximated for moderate UFLS levels with a second order cone, resulting in highly tractable convex problems. Case studies performed on a Great Britain 2030 system demonstrate that UFLS as an option to contain single plant outages can reduce annual operational costs by up to {\pounds}559m, 52% of frequency security costs. The sensitivity of this value to wind penetration, abundance of alternative frequency services, UFLS amount and cost is explored.


title: A Quadratic Actor Network for Model-Free Reinforcement Learning

abstract: In this work we discuss the incorporation of quadratic neurons into policy networks in the context of model-free actor-critic reinforcement learning. Quadratic neurons admit an explicit quadratic function approximation in contrast to conventional approaches where the the non-linearity is induced by the activation functions. We perform empiric experiments on several MuJoCo continuous control tasks and find that when quadratic neurons are added to MLP policy networks those outperform the baseline MLP whilst admitting a smaller number of parameters. The top returned reward is in average increased by $5.8\%$ while being about $21\%$ more sample efficient. Moreover, it can maintain its advantage against added action and observation noise.


title: UAV Deployment, Device Scheduling and Resource Allocation for Energy-Efficient UAV-Aided IoT Networks with NOMA

abstract: This article investigates the energy efficiency issue in non-orthogonal multiple access (NOMA)-enhanced Internet-of-Things (IoT) networks, where a mobile unmanned aerial vehicle (UAV) is exploited as a flying base station to collect data from ground devices via the NOMA protocol. With the aim of maximizing network energy efficiency, we formulate a joint problem of UAV deployment, device scheduling and resource allocation. First, we formulate the joint device scheduling and spectrum allocation problem as a three-sided matching problem, and propose a novel low-complexity near-optimal algorithm. We also introduce the novel concept of `exploration' into the matching game for further performance improvement. By algorithm analysis, we prove the convergence and stability of the final matching state. Second, in an effort to allocate proper transmit power to IoT devices, we adopt the Dinkelbach's algorithm to obtain the optimal power allocation solution. Furthermore, we provide a simple but effective approach based on disk covering problem to determine the optimal number and locations of UAV's stop points to ensure that all IoT devices can be fully covered by the UAV via line-of-sight (LoS) links for the sake of better channel condition. Numerical results unveil that: i) the proposed joint UAV deployment, device scheduling and resource allocation scheme achieves much higher EE compared to predefined stationary UAV deployment case and fixed power allocation scheme, with acceptable complexity; and ii) the UAV-aided IoT networks with NOMA greatly outperforms the OMA case in terms of number of accessed devices.


title: Assessing the reliability of the Bisous filament finder

abstract: Aims. This work provides an analysis of how the galaxy number density of the input data affects the filaments detected with the Bisous filament finder and gives estimates of the reliability of the method itself to assess the robustness of the results. Methods. We applied the Bisous filament finder to MultiDark-Galaxies data, using various magnitude cuts from the catalogue to study the effects of different galaxy number densities on the results and different parameters of the model. We compared the structures by the fraction of galaxies in filaments and the volume filled by filaments, and we analysed the similarities between the results from different cuts based on the overlap between detected filamentary structures. The filament finder was also applied to the exact same data 200 times with the same parameters to study the stochasticity of the results and the correlation between different runs was calculated. Results. Multiple samples show that galaxies in filaments have preferentially higher luminosity. We found that when a galaxy is in a filament there is a 97% chance that the same galaxy would be in a filament with even more complete input data and about 85% of filaments are persistent when detecting the filamentary network with higher-density input data. Lower galaxy number density inputs mean the Bisous model finds fewer filaments, but the filaments found are persistent even if we use more complete input data for the detection. We calculated the correlation coefficient between 200 Bisous runs on the exact same input, which is 0.98. Conclusions. This study confirms that increased number density of galaxies is important to obtain a more complete picture of the cosmic web. To overcome the limitation of the spectroscopic surveys, we will develop the Bisous model further to apply this tool to combined spectroscopic and narrow-band photometric redshift surveys, such as the J-PAS.


title: Topological Data Analysis of Korean Music in Jeongganbo: A Cycle Structure

abstract: Jeongganbo is a unique music representation invented by Sejong the Great. Contrary to the western music notation, the pitch of each note is encrypted and the length is visualized directly in a matrix form in Jeongganbo. We use topological data analysis (TDA) to analyze the Korean music written in Jeongganbo for Suyeonjang, Songuyeo, and Taryong, those well-known pieces played at the palace and among noble community. We are particularly interested in the cycle structure. We first define and determine the node elements of each music, characterized uniquely with its pitch and length. Then we transform the music into a graph and define the distance between the nodes as their adjacent occurrence rate. The graph is used as a point cloud whose homological structure is investigated by measuring the hole structure in each dimension. We identify cycles of each music, match those in Jeongganbo, and show how those cycles are interconnected. The main discovery of this work is that the cycles of Suyeonjang and Songuyeo, categorized as a special type of cyclic music known as Dodeuri, frequently overlap each other when appearing in the music while the cycles found in Taryong, which does not belong to Dodeuri class, appear individually.


title: Towards Determining the Effect of Age and Educational Level on Cyber-Hygiene

abstract: As internet related challenges increase such as cyber-attacks, the need for safe practises among users to maintain computer system's health and online security have become imperative, and this is known as cyber-hygiene. Poor cyber-hygiene among internet users is a very critical issue undermining the general acceptance and adoption of internet technology. It has become a global issue and concern in this digital era when virtually all business transactions, learning, communication and many other activities are performed online. Virus attack, poor authentication technique, improper file backups and the use of different social engineering approaches by cyber-attackers to deceive internet users into divulging their confidential information with the intention to attack them have serious negative implications on the industries and organisations, including educational institutions. Moreover, risks associated with these ugly phenomena are likely to be more in developing countries such as Nigeria. Thus, authors of this paper undertook an online pilot study among students and employees of University of Nigeria, Nsukka and a total of 145 responses were received and used for the study. The survey seeks to find out the effect of age and level of education on the cyber hygiene knowledge and behaviour of the respondents, and in addition, the type of devices used and activities they engage in while on the internet. Our findings show wide adoption of internet in institution of higher learning, whereas, significant number of the internet users do not have good cyber hygiene knowledge and behaviour. Hence, our findings can instigate an organised training for students and employees of higher institutions in Nigeria.


title: Symmetry-induced fluctuation relations in open quantum systems

abstract: We derive a general scheme to obtain quantum fluctuation relations for dynamical observables in open quantum systems. For concreteness we consider Markovian non-unitary dynamics that is unraveled in terms of quantum jump trajectories, and exploit techniques from the theory of large deviations like the tilted ensemble and the Doob transform. Our results here generalise to open quantum systems fluctuation relations previously obtained for classical Markovian systems, and add to the vast literature on fluctuation relations in the quantum domain, but without resorting to the standard two-point measurement scheme. We illustrate our findings with three examples in order to highlight and discuss the main features of our general result.


title: Optimized signal deduction procedure for the MIEZE spectroscopy technique

abstract: We report a method to determine the phase and amplitude of sinusoidally modulated event rates, binned into four bins per oscillation, based on data generated at the resonant neutron spin-echo spectrometer RESEDA. The presented algorithm relies on a reconstruction of the unknown parameters. It omits a calculation intensive fitting procedure and avoids contrast reduction due to averaging effects. It allows the current data acquisition bottleneck at RESEDA to be relaxed by a factor of four and thus increases the potential time resolution of the detector by the same factor. We explain the approach in detail and compare it to the established fitting procedures of time series having four and 16 time bins per oscillation. In addition we present the empirical estimates of the errors of the three methods and compare them to each other. We show that the reconstruction is unbiased, asymptotic, and efficient for estimating the phase. Reconstructing the contrast increases the error bars by roughly 10% as compared to fitting 16 time binned oscillations. Finally, we give heuristic, analytical equations to estimate the error for phase and contrast as a function of their initial values and counting statistics.


title: Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification

abstract: Bound propagation based incomplete neural network verifiers such as CROWN are very efficient and can significantly accelerate branch-and-bound (BaB) based complete verification of neural networks. However, bound propagation cannot fully handle the neuron split constraints introduced by BaB commonly handled by expensive linear programming (LP) solvers, leading to loose bounds and hurting verification efficiency. In this work, we develop $\beta$-CROWN, a new bound propagation based method that can fully encode neuron splits via optimizable parameters $\beta$ constructed from either primal or dual space. When jointly optimized in intermediate layers, $\beta$-CROWN generally produces better bounds than typical LP verifiers with neuron split constraints, while being as efficient and parallelizable as CROWN on GPUs. Applied to complete robustness verification benchmarks, $\beta$-CROWN with BaB is up to three orders of magnitude faster than LP-based BaB methods, and is notably faster than all existing approaches while producing lower timeout rates. By terminating BaB early, our method can also be used for efficient incomplete verification. We consistently achieve higher verified accuracy in many settings compared to powerful incomplete verifiers, including those based on convex barrier breaking techniques. Compared to the typically tightest but very costly semidefinite programming (SDP) based incomplete verifiers, we obtain higher verified accuracy with three orders of magnitudes less verification time. Our algorithm empowered the $\alpha,\!\beta$-CROWN (alpha-beta-CROWN) verifier, the winning tool in VNN-COMP 2021. Our code is available at http://PaperCode.cc/BetaCROWN


title: The symbiotic binary ZZ CMi: intranight variability and suggested outbursting nature

abstract: We present photometric and spectral observations of the symbiotic star ZZ CMi. We detect intranight variability - flickering and smooth variations in U band. The amplitude of the flickering is about 0.10-0.20 mag in U band. In the B band the variability is lower, with amplitude less than 0.03 mag. We also detect variability in the H-alpha and H-beta emission lines, and find an indication for outflow with velocity of about 120-150 km/s. The results indicate that ZZ CMi is an accretion powered symbiotic containing an M4-M6 III cool component with an white dwarf resembling recurrent novae and jet-ejecting symbiotic stars. [The data are available on www.astro.bas.bg/~rz/ZZCMi/ZZCMi.tar.gz]


title: Strain induced spin vortex and Majorana Kramer's pairs in doped topological insulators with nematic superconductivity

abstract: Using Ginzburg-Landau approach we show that the strain of the nematic superconductor can generate a specific (nematic) vorticity. In the case of doped topological insulators that vorticity forms a spin vortex. We find two types of topologically different spin vortices that either enhance (type I) or suppress (type II) superconductivity far from the vortex core. We apply Bogoliubov-de Geunnes equations to study electronic states in the nematic superconductor with spin vortices. We find that in the case of the vortex of type I, zero-energy states are localized near the vortex core. These states can be identified as Majorana Kramer's pairs. In the case of the vortex of type II, zero-energy states form Majorana flat bands. Thus, we establish a non-trivial connection between the strain and Majorana fermions in the doped topological insulators with nematic superconductivity.


title: MagFace: A Universal Representation for Face Recognition and Quality Assessment

abstract: The performance of face recognition system degrades when the variability of the acquired faces increases. Prior work alleviates this issue by either monitoring the face quality in pre-processing or predicting the data uncertainty along with the face feature. This paper proposes MagFace, a category of losses that learn a universal feature embedding whose magnitude can measure the quality of the given face. Under the new loss, it can be proven that the magnitude of the feature embedding monotonically increases if the subject is more likely to be recognized. In addition, MagFace introduces an adaptive mechanism to learn a wellstructured within-class feature distributions by pulling easy samples to class centers while pushing hard samples away. This prevents models from overfitting on noisy low-quality samples and improves face recognition in the wild. Extensive experiments conducted on face recognition, quality assessments as well as clustering demonstrate its superiority over state-of-the-arts. The code is available at https://github.com/IrvingMeng/MagFace.


title: Evaluation of Morphological Embeddings for the Russian Language

abstract: A number of morphology-based word embedding models were introduced in recent years. However, their evaluation was mostly limited to English, which is known to be a morphologically simple language. In this paper, we explore whether and to what extent incorporating morphology into word embeddings improves performance on downstream NLP tasks, in the case of morphologically rich Russian language. NLP tasks of our choice are POS tagging, Chunking, and NER -- for Russian language, all can be mostly solved using only morphology without understanding the semantics of words. Our experiments show that morphology-based embeddings trained with Skipgram objective do not outperform existing embedding model -- FastText. Moreover, a more complex, but morphology unaware model, BERT, allows to achieve significantly greater performance on the tasks that presumably require understanding of a word's morphology.


title: Accelerated differential inclusion for convex optimization

abstract: This paper introduces a second-order differential inclusion for unconstrained convex optimization. In continuous level, solution existence in proper sense is obtained and exponential decay of a novel Lyapunov function along with the solution trajectory is derived as well. Then in discrete level, based on numerical discretizations of the continuous model, two inexact proximal point algorithms are proposed, and some new convergence rates are established via a discrete Lyapunov function.


title: Existence of isoperimetric regions in sub-Finsler nilpotent groups

abstract: We consider a nilpotent Lie group with a bracket-generating distribution $\hhh$ and an asymmetric left-invariant norm $\|\cdot\|_K$ induced by a convex body $K\subseteq\hhh$ containing $0$ in its interior. In this paper we prove the existence of minimizers of the perimeter functional $P_K$ associated to $\|\cdot\|_K$ under a volume (Haar measure) constraint. Our result generalizes the one of Leonardi and Rigot for Carnot groups.


title: Power-series summability methods in de Branges-Rovnyak spaces

abstract: We show that there exists a de Branges-Rovnyak space $\mathcal{H}(b)$ on the unit disk containing a function $f$ with the following property: even though $f$ can be approximated by polynomials in $\mathcal{H}(b)$, neither the Taylor partial sums of $f$ nor their Ces\`aro, Abel, Borel or logarithmic means converge to $f$ in $\mathcal{H}(b)$. A key tool is a new abstract result showing that, if one regular summability method includes another for scalar sequences, then it automatically does so for certain Banach-space-valued sequences too.


title: Transverse Transport in Two-Dimensional Relativistic Systems with Non-Trivial Spin Textures

abstract: Using multiple scattering theory, we show that the generally accepted expression of transverse resistivity in magnetic systems that host skyrmions, given by the linear superposition of the ordinary (OHE), the anomalous (AHE) and the topological Hall effect (THE), is incomplete and must be amended by an additional term, the "non-collinear" Hall effect (NHE). Its angular form is determined by the magnetic texture, the spin-orbit field of the electrons, and the underlying crystal structure, allowing to disentangle the NHE from the various other Hall contributions. Its magnitude is proportional to the spin-orbit interaction strength. The NHE is an essential term required for decoding two- and three-dimensional spin textures from transport experiments.


title: The full delocalization of eigenstates for the quantized cat map

abstract: We consider the quantum cat map - a toy model of a quantized chaotic system. We show that its eigenstates are fully delocalized on $\mathbb{T}^2$ in the semiclassical limit (or equivalently that each semiclassical measure is fully supported on $\mathbb{T}^2$). We adapt the proof of a similar result proved for the eigenstates of $-\Delta_g$ on compact hyperbolic surfaces from [arXiv:1705.05019], relying on the fractal uncertainty principle in [arXiv:1612.09040].


title: Block-diagonalizable two-dimensional generalized Ising systems (BD2DGIS): the free energy

abstract: The paper is a continuation of arXiv:2012.10364, where the approach was developed to constructing the exact matrix model for any generalized Ising system, and such model was constructed for certain 2d system. In this paper, the properties of the model are specified for light block diagonalization. A corresponding example is considered. For the example, general exact partition function is obtained and analysed. The analysis shows that the free energy does not depend on the amount of rows with a large amount of cells. For the example with light boundary conditions, the partition function is obtained and the specific free energy per spin is plotted.


title: On Hankel Determinants for Dyck Paths with Peaks Avoiding Multiple Classes of Heights

abstract: For any integer $m\ge 2$ and a set $V\subset \{1,\dots,m\}$, let $(m,V)$ denote the union of congruence classes of the elements in $V$ modulo $m$. We study the Hankel determinants for the number of Dyck paths with peaks avoiding the heights in the set $(m,V)$. For any set $V$ of even elements of an even modulo $m$, we give an explicit description of the sequence of Hankel determinants in terms of subsequences of arithmetic progression of integers. There are numerous instances for varied $(m,V)$ with periodic sequences of Hankel determinants. We present a sufficient condition for the set $(m,V)$ such that the sequence of Hankel determinants is periodic, including even and odd modulus $m$.


title: A primal-dual flow for affine constrained convex optimization

abstract: We introduce a novel primal-dual flow for affine constrained convex optimization problems. As a modification of the standard saddle-point system, our primal-dual flow is proved to possess the exponential decay property, in terms of a tailored Lyapunov function. Then two primal-dual methods are obtained from numerical discretizations of the continuous model, and global nonergodic linear convergence rate is established via a discrete Lyapunov function. Instead of solving the subproblem of the primal variable, we apply the semi-smooth Newton iteration to the subproblem with respect to the multiplier, provided that there are some additional properties such as semi-smoothness and sparsity. Especially, numerical tests on the linearly constrained $l_1$-$l_2$ minimization and the total-variation based image denoising model have been provided.


title: Dissipation-enhanced collapse singularity of a nonlocal fluid of light in a hot atomic vapor

abstract: We study the out-of-equilibrium dynamics of a two-dimensional paraxial fluid of light using a near-resonant laser propagating through a hot atomic vapor. We observe a double shock-collapse instability: a shock (gradient catastrophe) for the velocity, as well as an annular (ring-shaped) collapse singularity for the density. We find experimental evidence that this instability results from the combined effect of the nonlocal photon-photon interaction and the linear photon losses. The theoretical analysis based on the method of characteristics reveals the main counterintuitive result that dissipation (photon losses) is responsible for an unexpected enhancement of the collapse instability. Detailed analytical modeling makes it possible to evaluate the nonlocality range of the interaction. The nonlocality is controlled by adjusting the atomic vapor temperature and is seen to increase dramatically when the atomic density becomes much larger than one atom per cubic wavelength. Interestingly, such a large range of the nonlocal photon-photon interaction has not been observed in an atomic vapor so far and its microscopic origin is currently unknown.


title: Generalized Contrastive Optimization of Siamese Networks for Place Recognition

abstract: Visual place recognition is a challenging task in computer vision and a key component of camera-based localization and navigation systems. Recently, Convolutional Neural Networks (CNNs) achieved high results and good generalization capabilities. They are usually trained using pairs or triplets of images labeled as either similar or dissimilar, in a binary fashion. In practice, the similarity between two images is not binary, but continuous. Furthermore, training these CNNs is computationally complex and involves costly pair and triplet mining strategies. We propose a Generalized Contrastive loss (GCL) function that relies on image similarity as a continuous measure, and use it to train a siamese CNN. Furthermore, we present three techniques for automatic annotation of image pairs with labels indicating their degree of similarity, and deploy them to re-annotate the MSLS, TB-Places, and 7Scenes datasets. We demonstrate that siamese CNNs trained using the GCL function and the improved annotations consistently outperform their binary counterparts. Our models trained on MSLS outperform the state-of-the-art methods, including NetVLAD, NetVLAD-SARE, AP-GeM and Patch-NetVLAD, and generalize well on the Pittsburgh30k, Tokyo 24/7, RobotCar Seasons v2 and Extended CMU Seasons datasets. Furthermore, training a siamese network using the GCL function does not require complex pair mining. We release the source code at https://github.com/marialeyvallina/generalized_contrastive_loss.


title: Local Euler Obstructions of Reflective Projective Varieties

abstract: In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson classes of the strata completely determine the local Euler obstructions and the polar degrees. We also propose an algorithm to compute the local Euler obstructions when such varieties are formed by group orbits. As examples we compute the local Euler obstructions of quadratic hypersurfaces and ordinary determinantal varieties to illustrate our method.


title: Two proto-science-fiction novels written in French by 18th century women

abstract: With Cyrano, Voltaire, and Verne, France provided important milestones in the history of early science fiction. However, even if the genre was not very common a few centuries ago, there were numerous additional contributions by French-speaking writers. In this paper, we review two cases of interplanetary novels written in the second half of the eighteenth century and sharing a rare particularity: their authors were female. Voyages de Milord Ceton was imagined by Marie-Anne de Roumier-Robert whereas Cornelie Wouters de Wasse conceived Le Char Volant. While their personal lives were very different, and their writing style too, both authors share in these novels a common philosophy in which equality -- between ranks but also between genders -- takes an important place. Their works thus clearly fit into the context of the Enlightenment.


title: Differentially Private Query Release Through Adaptive Projection

abstract: We propose, implement, and evaluate a new algorithm for releasing answers to very large numbers of statistical queries like $k$-way marginals, subject to differential privacy. Our algorithm makes adaptive use of a continuous relaxation of the Projection Mechanism, which answers queries on the private dataset using simple perturbation, and then attempts to find the synthetic dataset that most closely matches the noisy answers. We use a continuous relaxation of the synthetic dataset domain which makes the projection loss differentiable, and allows us to use efficient ML optimization techniques and tooling. Rather than answering all queries up front, we make judicious use of our privacy budget by iteratively and adaptively finding queries for which our (relaxed) synthetic data has high error, and then repeating the projection. We perform extensive experimental evaluations across a range of parameters and datasets, and find that our method outperforms existing algorithms in many cases, especially when the privacy budget is small or the query class is large.


title: The Debye Length and the Running Coupling of QCD: a Potential and Phenomenological Approach

abstract: In this paper, one uses a damped potential to present a description of the running coupling constant of QCD in the confinement phase. Based on a phenomenological perspective for the Debye screening length, one compares the running coupling obtained here with both the Brodsky-de T\'eramond-Deur and the Richardson approaches. The results seem to indicate the model introduced here corroborate the Richardson approach. Moreover, the Debye screening mass in the confinement phase depends on a small parameter, which tends to vanish in the non-confinement phase of QCD.


title: Deep Graph Matching under Quadratic Constraint

abstract: Recently, deep learning based methods have demonstrated promising results on the graph matching problem, by relying on the descriptive capability of deep features extracted on graph nodes. However, one main limitation with existing deep graph matching (DGM) methods lies in their ignorance of explicit constraint of graph structures, which may lead the model to be trapped into local minimum in training. In this paper, we propose to explicitly formulate pairwise graph structures as a \textbf{quadratic constraint} incorporated into the DGM framework. The quadratic constraint minimizes the pairwise structural discrepancy between graphs, which can reduce the ambiguities brought by only using the extracted CNN features. Moreover, we present a differentiable implementation to the quadratic constrained-optimization such that it is compatible with the unconstrained deep learning optimizer. To give more precise and proper supervision, a well-designed false matching loss against class imbalance is proposed, which can better penalize the false negatives and false positives with less overfitting. Exhaustive experiments demonstrate that our method competitive performance on real-world datasets.


title: Real-Time Surface Fitting to RGBD Sensor Data

abstract: This article describes novel approaches to quickly estimate planar surfaces from RGBD sensor data. The approach manipulates the standard algebraic fitting equations into a form that allows many of the needed regression variables to be computed directly from the camera calibration information. As such, much of the computational burden required by a standard algebraic surface fit can be pre-computed. This provides a significant time and resource savings, especially when many surface fits are being performed which is often the case when RGBD point-cloud data is being analyzed for normal estimation, curvature estimation, polygonization or 3D segmentation applications. Using an integral image implementation, the proposed approaches show a significant increase in performance compared to the standard algebraic fitting approaches.


title: Carbon-chain molecule survey toward four low-mass molecular outflow sources

abstract: We performed a carbon-chain molecule (CCM) survey toward four low-mass outflow sources, IRAS 04181+2655 (I04181), HH211, L1524, and L1598, using the 13.7 m telescope at the Purple Mountain Observatory (PMO) and the 65 m Tian Ma Radio telescope at the Shanghai Observatory. We observed the following hydrocarbons (C$_2$H, C$_4$H, c--C$_3$H$_2$), HC$_{\rm 2n+1}$N (n=1,2), C$_{\rm n}$S (n=2,3), and SO, HNC, N$_2$H$^+$. Hydrocarbons and HC$_3$N were detected in all the sources, except for L1598, which had a marginal detection of C$_4$H and a non-detection of HC$_3$N (J=2--1). HC$_5$N and CCCS were only detected in I04181 and L1524, whereas SO was only detected in HH211. L1598 exhibits the lowest detection rate of CCMs and is generally regarded to be lacking in CCMs source. The ratio of N(HC$_3$N/N(N$_2$H$^+$)) increases with evolution in low-mass star-forming cores. I04181 and L1524 are carbon-chain-rich star-forming cores that may possibly be characterized by warm carbon-chain chemistry. In I04181 and L1524, the abundant CCCS can be explained by shocked carbon-chain chemistry. In HH211, the abundant SO suggests that SO is formed by sublimated S$^+$. In this study, we also mapped HNC, C$_4$H, c--C$_3$H$_2$, and HC$_3$N with data from the PMO. We also find that HNC and NH$_3$ is concentrated in L1524S and L1524N, respectively. Furthermore, we discuss the chemical differences between I04181SE and I04181W. The co-evolution between linear hydrocarbon and cyanopolyynes can be seen in I04181SE.


title: Nontrivial damping of quantum many-body dynamics

abstract: Understanding how the dynamics of a given quantum system with many degrees of freedom is altered by the presence of a generic perturbation is a notoriously difficult question. Recent works predict that, in the overwhelming majority of cases, the unperturbed dynamics is just damped by a simple function, e.g., exponentially as expected from Fermi's golden rule. While these predictions rely on random-matrix arguments and typicality, they can only be verified for a specific physical situation by comparing to the actual solution or measurement. Crucially, it also remains unclear how frequent and under which conditions counterexamples to the typical behavior occur. In this work, we discuss this question from the perspective of projection-operator techniques, where exponential damping of a density matrix occurs in the interaction picture but not necessarily in the Schr\"odinger picture. We show that a nontrivial damping in the Schr\"odinger picture can emerge if the dynamics in the unperturbed system possesses rich features, for instance due to the presence of strong interactions. This suggestion has consequences for the time dependence of correlation functions. We substantiate our theoretical arguments by large-scale numerical simulations of charge transport in the extended Fermi-Hubbard chain, where the nearest-neighbor interactions are treated as a perturbation to the integrable reference system.


title: Compiler-Guided Throughput Scheduling for Many-core Machines

abstract: Typical schedulers in multi-tenancy environments make use of reactive, feedback-oriented mechanisms based on performance counters to avoid resource contention but suffer from detection lag and loss of performance. In this paper, we address these limitations by exploring the utility of predictive analysis through dynamic forecasting of applications' resource-heavy regions during its execution. Our compiler framework classifies loops in programs and leverages traditional compiler analysis along with learning mechanisms to quantify their behaviour. Based on the predictability of their execution time, it then inserts different types of beacons at their entry/exit points. The information produced by beacons in multiple processes is aggregated and analyzed by the proactive scheduler to respond to the anticipated workload requirements. For throughput environments, we develop a framework that demonstrates high-quality predictions and improvements in throughput over CFS by 76.78% on an average and up to 3.2x on Amazon Graviton2 Machine on consolidated workloads across 45 benchmarks.


abstract: Task-oriented dialogue systems aim to help users achieve their goals in specific domains. Recent neural dialogue systems use the entire dialogue history for abundant contextual information accumulated over multiple conversational turns. However, the dialogue history becomes increasingly longer as the number of turns increases, thereby increasing memory usage and computational costs. In this paper, we present DoTS (Domain State Tracking for a Simplified Dialogue System), a task-oriented dialogue system that uses a simplified input context instead of the entire dialogue history. However, neglecting the dialogue history can result in a loss of contextual information from previous conversational turns. To address this issue, DoTS tracks the domain state in addition to the belief state and uses it for the input context. Using this simplified input, DoTS improves the inform rate and success rate by 1.09 points and 1.24 points, respectively, compared to the previous state-of-the-art model on MultiWOZ, which is a well-known benchmark.


title: Hiding solutions in model RB: Forced instances are almost as hard as unforced ones

abstract: In this paper we study the forced instance spaces of model RB, where one or two arbitrary satisfying assignments have been imposed. We prove rigorously that the expected number of solutions of forced RB instances is asymptotically the same with those of unforced ones. Moreover, the distribution of forced RB instances in the corresponding forced instance space is asymptotically the same with that of unforced RB instances in the unforced instance space. These results imply that the hidden assignments will not lead to easily solvable formulas, and the hardness of solving forced RB instances will be the same with unforced RB instances.


title: A Generalization of the Concavity of R\'{e}nyi Entropy Powe

abstract: Recently, Savar\'{e}-Toscani proved that the R\'{e}nyi entropy power of general probability densities solving the $p$-nonlinear heat equation in $\mathbb{R}^n$ is always a concave function of time, which extends Costa's concavity inequality for Shannon's entropy power to R\'{e}nyi entropies. In this paper, we give a generalization of Savar\'{e}-Toscani's result by giving a class of sufficient conditions of the parameters under which the concavity of the R\'{e}nyi entropy power is still valid. These conditions are quite general and include the parameter range given by Savar\'{e}-Toscani as special cases. Also, the conditions are obtained with a systematical approach.


title: Telegraph type systems on networks and port-Hamiltonians. II. Graph realizability

abstract: Hyperbolic systems on networks often can be written as systems of first order equations on an interval, coupled by transmission conditions at the endpoints, also called port-Hamiltonians. However, general results for the latter have been difficult to interpret in the network language. The aim of this paper is to derive conditions under which a port-Hamiltonian with general linear Kirchhoff's boundary conditions can be written as a system of $2\times 2$ hyperbolic equations on a metric graph $\Gamma$. This is achieved by interpreting the matrix of the boundary conditions as a potential map of vertex connections of $\Gamma$ and then showing that, under the derived assumptions, that matrix can be used to determine the adjacency matrix of $\Gamma$.


title: Hot electron generation through near-field excitation of plasmonic nanoresonators

abstract: We theoretically study hot electron generation through the emission of a dipole source coupled to a nanoresonator on a metal surface. In our hybrid approach, we solve the time-harmonic Maxwell's equations numerically and apply a quantum model to predict the efficiency of hot electron generation. Strongly confined electromagnetic fields and the strong enhancement of hot electron generation at the metal surface are predicted and are further interpreted with the theory of quasinormal modes. In the investigated nanoresonator setup, both the emitting source and the acceptor resonator are localized in the same volume, and this configuration looks promising to achieve high efficiencies of hot electron generation. By comparing with the efficiency calculated in the absence of the plasmonic nanoresonator, that is, the dipole source is located near a flat, unstructured metal surface, we show that the effective excitation of the modes of the nanoresonator boosts the generation efficiency of energetic charge carriers. The proposed scheme can be used in tip-based spectroscopies and other optoelectronic applications.


title: MPU: Towards Bandwidth-abundant SIMT Processor via Near-bank Computing

abstract: With the growing number of data-intensive workloads, GPU, which is the state-of-the-art single-instruction-multiple-thread (SIMT) processor, is hindered by the memory bandwidth wall. To alleviate this bottleneck, previously proposed 3D-stacking near-bank computing accelerators benefit from abundant bank-internal bandwidth by bringing computations closer to the DRAM banks. However, these accelerators are specialized for certain application domains with simple architecture data paths and customized software mapping schemes. For general purpose scenarios, lightweight hardware designs for diverse data paths, architectural supports for the SIMT programming model, and end-to-end software optimizations remain challenging. To address these issues, we propose MPU (Memory-centric Processing Unit), the first SIMT processor based on 3D-stacking near-bank computing architecture. First, to realize diverse data paths with small overheads while leveraging bank-level bandwidth, MPU adopts a hybrid pipeline with the capability of offloading instructions to near-bank compute-logic. Second, we explore two architectural supports for the SIMT programming model, including a near-bank shared memory design and a multiple activated row-buffers enhancement. Third, we present an end-to-end compilation flow for MPU to support CUDA programs. To fully utilize MPU's hybrid pipeline, we develop a backend optimization for the instruction offloading decision. The evaluation results of MPU demonstrate 3.46x speedup and 2.57x energy reduction compared with an NVIDIA Tesla V100 GPU on a set of representative data-intensive workloads.


title: On the derivation of the Kompaneets equation

abstract: The relaxation of a photon bath to thermal equilibrium via Compton scattering with electrons is described in the Kompaneets equation (1956). The equation is mostly known from studies of astrophysical plasmas, for its convergence to the Planck distribution and for possible corrections to that Planck law in the cosmic microwave background, most notably from the Sunyaev-Zeldovich effect. We revisit its derivation emphasizing its structure as a Kramers-Moyal diffusion approximation to the quantum Boltzmann equation or Master equation with stimulated emission. We do not assume that the Planck law is stationary in performing the continuum approximation but we emphasize the necessity of the flux or M{\o}ller factor to arrive at a continuity equation. On the other hand, the structure allows more general assumptions than originally envisioned by Kompaneets.


title: The speed of breaking waves controls sea surface drag

abstract: The coupling between wind-waves and atmospheric surface layer turbulence sets surface drag. This coupling is however usually represented through a roughness length. Originally suggested on purely dimensional grounds, this roughness length does not directly correspond to a measurable physical quantity of the wind-and-wave system. Here, to go beyond this representation, we formalize ideas underlying the Beaufort scale by quantifying the velocity of breaking short waves that are the most coupled to near-surface wind. This velocity increases with wind speed, reflecting the fact that stronger winds can be visually identified by longer (and faster) breakers becoming predominant on the sea surface. A phenomenological turbulence model further shows that this velocity is associated with breaking waves that impede the most the formation of turbulent eddies. Scales of such eddies are then constrained inside a so-called roughness sub-layer. Unlike previous theoretical developments, the proposed breaker velocity is a directly measurable quantity, which could be used to characterize the coupling between wind and waves using remote sensing techniques. This work provides a physical framework for new formulations of air-sea momentum exchange in which the effects of surface currents and slicks on surface drag can also be incorporated. Finally, it provides a long-sought physical explanation for the Beaufort scale: a universal link between wave breaking, wind speed and surface drag.


title: Exploring the Mysteries of System-Level Test

abstract: System-level test, or SLT, is an increasingly important process step in today's integrated circuit testing flows. Broadly speaking, SLT aims at executing functional workloads in operational modes. In this paper, we consolidate available knowledge about what SLT is precisely and why it is used despite its considerable costs and complexities. We discuss the types or failures covered by SLT, and outline approaches to quality assessment, test generation and root-cause diagnosis in the context of SLT. Observing that the theoretical understanding for all these questions has not yet reached the level of maturity of the more conventional structural and functional test methods, we outline new and promising directions for methodical developments leveraging on recent findings from software engineering.


title: Riesz-type inequalities and overdetermined problems for triangles and quadrilaterals

abstract: We consider Riesz-type nonlocal interaction energies over polygons. We prove the analog of the Riesz inequality in this discrete setting for triangles and quadrilaterals, and obtain that among all $N$-gons with fixed area, the nonlocal energy is maximized by a regular polygon, for $N=3,4$. Further we derive necessary first-order stationarity conditions for a polygon with respect to a restricted class of variations, which will then be used to characterize regular $N$-gons, for $N=3,4$, as solutions to an overdetermined free boundary problem.


title: A cornucopia of antineutrons and hyperons from super J/psi factory for next-generation nuclear and particle physics high-precision experiments

abstract: In order to study the interactions and structure of various types of matter one typically needs to carry out scattering experiments utilizing many different particles as projectiles. Whereas beams of $e^\pm$, $\mu^\pm$, $\pi^\pm$, $K^\pm$, proton, antiproton, and of various heavy ions have been produced and have enabled many scientific breakthroughs, beams of antineutrons, hyperons ($\Lambda$, $\Sigma$ and $\Xi$) and their antiparticles are typically not easy to obtain. Here we point out and investigate a new high-quality source of these particles: a super $J/\psi$ factory with capability of accumulating trillions of $J/\psi$ decays each year. In the relevant $J/\psi$ decays the desired particle is produced together with other final state particles that can be tagged. This allows accurate determination of the flux and momentum of the projectile, enabling unprecedented precision-study of the corresponding interactions with a broad range of targets. These novel high-statistics sources of baryons and antibaryons with precisely known kinematics open fresh opportunities for applications in particle and nuclear physics, including antinucleon-nucleon interaction, nonvalence $s\bar{s}$ component of the nucleon, (anti)hyperon-nucleon interaction, OZI violation, (multi-strange) hypernuclei, exotic light hadron spectroscopy and many others, as well as calibration of Monte Carlo simulation for hadronic and medical physics.


title: Long-time diffusion and energy transfer in polydisperse mixtures of particles with different temperatures

abstract: Evidence suggests that the transport rate of a passive particle at long timescales is enhanced due to interactions with the surrounding active ones in a size- and composition-dependent manner. Using a system of particles with different temperatures, we probe these effects in dilute solutions and derive long-time friction and self-diffusion coefficients as functions of volume fractions, sizes and temperatures of particles in $d=2$ and 3 dimensions. Thus, we model excluded-volume interactions for nonequilibrium systems but also extend the scope to short-range soft potentials and compare our results to Brownian-dynamics simulations. Remarkably, we show that both viscosity and energy flux display a nonlinear dependence on size. The simplicity of our formalism allows to discover various interesting scenarios that can be relevant for biological systems and active colloids.


title: Least-Informative Priors for $0\nu\beta\beta$ Decay Searches

abstract: Bayesian parameter inference techniques require a choice of prior distribution which can strongly impact the statistical conclusions drawn. We discuss the construction of least-informative priors for neutrinoless double beta decay searches. Such priors attempt to be objective by maximizing the information gain from an experimental setup. In a parametrization using the lightest neutrino mass $m_l$ and an effective Majorana phase parameter $\Phi$, we construct such a prior using two different approaches and compare them with the standard flat and logarithmic priors in $m_l$.


title: Computation of some leafwise cohomology ring

abstract: Let $G$ be the group $SL(2,\mathbb{R})$, $P\subset G$ be the parabolic subgroup of upper triangular matrices and $\Gamma\subset G$ be a cocompact lattice. A right action of $P$ on $\Gamma\backslash G$ defines an orbit foliation $\mathcal{F}_P$. We compute the leafwise cohomology ring $H^*(\mathcal{F}_P)$ by exploiting non-abelian harmonic analysis on $G$.


title: Computing hydrodynamic eigenmodes of channel flow with slip -- A highly accurate algorithm

abstract: The transient start-up flow solution with slip is a useful tool to verify Computational Fluid Dynamics (CFD) simulations. However, a highly accurate, open-source black box solution does not seem to be available. Our method provides a fast, automated, and rigorously verified open-source implementation that can compute the hydrodynamic eigenmodes of a two-dimensional channel flow beyond the standard floating-point precision. This allows for a very accurate computation of the corresponding Fourier series solution. We prove that all roots are found in all special cases for the general flow problem with different slip lengths on the channel walls. The numerical results confirm analytically derived asymptotic power laws for the leading hydrodynamic eigenmode and the characteristic timescale in the limiting cases of small and large slip. The code repository including test cases is publicly available here https://git.rwth-aachen.de/fricke/start-up-flow


title: Graph and wreath products in topological full groups of full shifts

abstract: We prove that the topological full group $[[X]]$ of a two-sided full shift $X = \Sigma^{\mathbb{Z}}$ contains every right-angled Artin group (also called a graph group). More generally, we show that the family of subgroups with "linear look-ahead" is closed under graph products. We show that the lamplighter group $\mathbb{Z}_2 \wr \mathbb{Z}$ embeds in $[[X]]$, and conjecture that it does not embed in $[[X]]$ with linear look-ahead. Generalizing the lamplighter group, we show that whenever $G$ acts with "unique moves" (or at least "move-$A$ithfully"), we have $A \wr G \leq [[X]]$ for finite abelian groups $A$. We show that free products of finite and cyclic groups act with unique moves. We show that $\mathbb{Z}^2$ does not admit move-$A$ithful actions, and conjecture that $\mathbb{Z}_2 \wr \mathbb{Z}^2$ does not embed in $[[X]]$ at all. We show that topological full groups of all infinite nonwandering sofic shifts have the same subgroups, and that this set of groups is closed under commensurability. The group $[[X]]$ embeds in the higher-dimensional Thompson group $2$V, so it follows that $2$V contains all RAAGs, refuting a conjecture of Belk, Bleak and Matucci.


title: Optimizing the Level of Challenge in Stroke Rehabilitation using Iterative Learning Control: a Simulation

abstract: The level of challenge in stroke rehabilitation has to be carefully chosen to keep the patient engaged and motivated while not frustrating them. This paper presents a simulation where this level of challenge is automatically optimized using iterative learning control. An iterative learning controller provides a simulated stroke patient with a target task that the patient then learns to execute. Based on the error between the target task and the execution, the controller adjusts the difficulty of the target task for the next trial. The patient is simulated by a nonlinear autoregressive network with exogenous inputs to mimic their sensorimotor system and a second-order model to approximate their elbow joint dynamics. The results of the simulations show that the rehabilitation approach proposed in this paper results in more difficult tasks and a smoother difficulty progression as compared to a rehabilitation approach where the difficulty of the target task is updated according to a threshold.


title: Arc-Completion of 2-Colored Best Match Graphs to Binary-Explainable Best Match Graphs

abstract: Best match graphs (BMGs) are vertex-colored digraphs that naturally arise in mathematical phylogenetics to formalize the notion of evolutionary closest genes w.r.t. an a priori unknown phylogenetic tree. BMGs are explained by unique least resolved trees. We prove that the property of a rooted, leaf-colored tree to be least resolved for some BMG is preserved by the contraction of inner edges. For the special case of two-colored BMGs, this leads to a characterization of the least resolved trees (LRTs) of binary-explainable trees and a simple, polynomial-time algorithm for the minimum cardinality completion of the arc set of a BMG to reach a BMG that can be explained by a binary tree.


title: Matrix Quantization of Classical Nambu Brackets and Super $p$-Branes

abstract: We present an explicit matrix algebra quantization of the algebra of volume-preserving diffeomorphisms of the $n$-torus. That is, we approximate the corresponding classical Nambu brackets using $\mathfrak{sl}(N^{\lceil\frac{n}{2}\rceil},\mathbb{C})$-matrices equipped with the finite bracket given by the completely anti-symmetrized matrix product, such that the classical brackets are retrieved in the $N\rightarrow \infty$ limit. We then apply this approximation to the super $4$-brane in $9$ dimensions and give a regularized action in analogy with the matrix quantization of the supermembrane. This action exhibits a reduced gauge symmetry that we discuss from the viewpoint of $L_\infty$-algebras in a slight generalization to the construction of Lie $2$-algebras from Bagger--Lambert $3$-algebras.


title: Connections between entropy surface density and microscopic property in black holes

abstract: We introduce a new microscopic quantity $\varepsilon $ that describes the contribution of a single black hole molecule to black hole entropy and give a key relation that this microscopic quantity is proportional to the macroscopic quantity -- entropy surface density $\sigma_{S}$, thus connecting a microscopic quantity to a macroscopic quantity of black holes. Such a connection provides a new probe for understanding the black hole microstructure from the macroscopic perspective. We also classify black holes in terms of entropy surface density. When its entropy surface density is larger (smaller) than $1/4$, this type of black holes is defined as strong (weak) Bekenstein-Hawking black holes, where the black holes with $1/4$-entropy surface density are regarded as Bekenstein-Hawking black holes. We compute the entropy surface density for four models, where three of them are regular black holes -- the Bardeen black hole, the Ay\'{o}n-Beato-Garc\'{\i}a black hole, and the Hayward black hole, and one of them is a singular black hole -- the five-dimensional neutral Gauss-Bonnet black hole. Under this scheme of classification, the Bardeen black hole, the Ay\'{o}n-Beato-Garc\'{\i}a black hole, and the five-dimensional neutral Gauss-Bonnet black hole belong to the type of strong Bekenstein-Hawking black holes, but the Hayward black hole belongs to the type of weak Bekenstein-Hawking black holes, and the four black holes approach to the Bekenstein-Hawking black hole if their event horizon radii go to infinity. In addition, we find interesting properties in phase transitions from the viewpoint of entropy surface density, or equivalently from the viewpoint of a single black hole molecule entropy, for the five-dimensional neutral Gauss-Bonnet AdS black hole.


title: On hydrodynamic limits of the Vlasov-Navier-Stokes system

abstract: We introduce a framework to justify hydrodynamic limits of the Vlasov-Navier-Stokes system. We specifically study high friction regimes, which take into account the fact that particles of the dispersed phase are light (resp. small) compared to the fluid part, and lead to the derivation of Transport-Navier-Stokes (resp. Inhomogeneous Navier-Stokes) systems.


title: Temporal Action Segmentation from Timestamp Supervision

abstract: Temporal action segmentation approaches have been very successful recently. However, annotating videos with frame-wise labels to train such models is very expensive and time consuming. While weakly supervised methods trained using only ordered action lists require less annotation effort, the performance is still worse than fully supervised approaches. In this paper, we propose to use timestamp supervision for the temporal action segmentation task. Timestamps require a comparable annotation effort to weakly supervised approaches, and yet provide a more supervisory signal. To demonstrate the effectiveness of timestamp supervision, we propose an approach to train a segmentation model using only timestamps annotations. Our approach uses the model output and the annotated timestamps to generate frame-wise labels by detecting the action changes. We further introduce a confidence loss that forces the predicted probabilities to monotonically decrease as the distance to the timestamps increases. This ensures that all and not only the most distinctive frames of an action are learned during training. The evaluation on four datasets shows that models trained with timestamps annotations achieve comparable performance to the fully supervised approaches.


title: Equidistribution of affine random walks on some nilmanifolds

abstract: We study quantitative equidistribution in law of affine random walks on nilmanifolds, motivated by a result of Bourgain, Furman, Mozes and the third named author on the torus. Under certain assumptions, we show that a failure to having fast equidistribution is due to a failure on a factor nilmanifold. Combined with equidistribution results on the torus, this leads to an equidistribution statement on some nilmanifolds such as Heisenberg nilmanifolds. In an appendix we strengthen results of de Saxce and the first named author regarding random walks on the torus by eliminating an assumption on Zariski connectedness of the acting group.


title: Sample Complexity of Offline Reinforcement Learning with Deep ReLU Networks

abstract: Offline reinforcement learning (RL) leverages previously collected data for policy optimization without any further active exploration. Despite the recent interest in this problem, its theoretical results in neural network function approximation settings remain elusive. In this paper, we study the statistical theory of offline RL with deep ReLU network function approximation. In particular, we establish the sample complexity of $n = \tilde{\mathcal{O}}( H^{4 + 4 \frac{d}{\alpha}} \kappa_{\mu}^{1 + \frac{d}{\alpha}} \epsilon^{-2 - 2\frac{d}{\alpha}} )$ for offline RL with deep ReLU networks, where $\kappa_{\mu}$ is a measure of distributional shift, {$H = (1-\gamma)^{-1}$ is the effective horizon length}, $d$ is the dimension of the state-action space, $\alpha$ is a (possibly fractional) smoothness parameter of the underlying Markov decision process (MDP), and $\epsilon$ is a user-specified error. Notably, our sample complexity holds under two novel considerations: the Besov dynamic closure and the correlated structure. While the Besov dynamic closure subsumes the dynamic conditions for offline RL in the prior works, the correlated structure renders the prior works of offline RL with general/neural network function approximation improper or inefficient {in long (effective) horizon problems}. To the best of our knowledge, this is the first theoretical characterization of the sample complexity of offline RL with deep neural network function approximation under the general Besov regularity condition that goes beyond {the linearity regime} in the traditional Reproducing Hilbert kernel spaces and Neural Tangent Kernels.


title: Vorticity Determines the Force on Bodies Immersed in Active Fluids

abstract: When immersed into a fluid of active Brownian particles, passive bodies might start to undergo linear or angular directed motion depending on their shape. Here we exploit the divergence theorem to relate the forces responsible for this motion to the density and current induced by--but far away from--the body. In general, the force is composed of two contributions: due to the strength of the dipolar field component and due to particles leaving the boundary, generating a non-vanishing vorticity of the polarization. We derive and numerically corroborate results for periodic systems, which are fundamentally different from unbounded systems with forces that scale with the area of the system. We demonstrate that vorticity is localized close to the body and to points at which the local curvature changes, enabling the rational design of particle shapes with desired propulsion properties.


title: From local to nonlocal: higher fidelity simulations of photon emission in intense laser pulses

abstract: State-of-the-art numerical simulations of quantum electrodynamical (QED) processes in strong laser fields rely on a semiclassical combination of classical equations of motion and QED rates, which are calculated in the locally constant field approximation. However, the latter approximation is unreliable if the amplitude of the fields, $a_0$, is comparable to unity. Furthermore, it cannot, by definition, capture interference effects that give rise to harmonic structure. Here we present an alternative numerical approach, which resolves these two issues by combining cycle-averaged equations of motion and QED rates calculated in the locally monochromatic approximation. We demonstrate that it significantly improves the accuracy of simulations of photon emission across the full range of photon energies and laser intensities, in plane-wave, chirped and focused background fields.


title: Review on quasi-2D square planar nickelates

abstract: In strongly correlated materials, lattice, charge, spin and orbital degrees of freedom interact with each other, leading to emergent physical properties such as superconductivity, colossal magnetic resistance and metal-insulator transition. Quasi-2D square planar nickelates, Rn+1NinO2n+2 (R=rare earth, n=2, 3...), are of significant interest and long sought for cuprate analogue due to the 3d9 electronic configuration of Ni+, the same as the active ion Cu2+ in the high-Tc superconducting cuprates. The field has attracted intense attention since 2019 due to the discovery of superconductivity in thin films of Nd0.8Sr0.2NiO2, although no superconductivity has been reported in bulk polycrystalline powders. Herein, we review the synthesis of polycrystalline powders of quasi-2D square planar nickelates through topotactic reduction of parent compounds that are synthesized via solid state reaction, precursor method, high pressure floating zone method and high-pressure flux method. We emphasize single crystal preparation using the high-pressure floating zone techniques. We discuss their crystal structure and physical properties including resistivity, magnetic susceptibility and heat capacity. We highlight the cuprate-like physics, including charge/spin stripes and large orbital polarization, identified in single crystals of R4Ni3O8 (R=La and Pr) combining synchrotron X-ray/neutron single crystal diffraction and density functional theory calculations. Furthermore, the challenges and possible research directions of this fast-moving field in the future are briefly discussed.