title: Adaptive Reliability Analysis for Multi-fidelity Models using a Collective Learning Strategy

abstract: In many fields of science and engineering, models with different fidelities are available. Physical experiments or detailed simulations that accurately capture the behavior of the system are regarded as high-fidelity models with low model uncertainty, however, they are expensive to run. On the other hand, simplified physical experiments or numerical models are seen as low-fidelity models that are cheaper to evaluate. Although low-fidelity models are often not suitable for direct use in reliability analysis due to their low accuracy, they can offer information about the trend of the high-fidelity model thus providing the opportunity to explore the design space at a low cost. This study presents a new approach called adaptive multi-fidelity Gaussian process for reliability analysis (AMGPRA). Contrary to selecting training points and information sources in two separate stages as done in state-of-the-art mfEGRA method, the proposed approach finds the optimal training point and information source simultaneously using the novel collective learning function (CLF). CLF is able to assess the global impact of a candidate training point from an information source and it accommodates any learning function that satisfies a certain profile. In this context, CLF provides a new direction for quantifying the impact of new training points and can be easily extended with new learning functions to adapt to different reliability problems. The performance of the proposed method is demonstrated by three mathematical examples and one engineering problem concerning the wind reliability of transmission towers. It is shown that the proposed method achieves similar or higher accuracy with reduced computational costs compared to state-of-the-art single and multi-fidelity methods. A key application of AMGPRA is high-fidelity fragility modeling using complex and costly physics-based computational models.


title: Fermat Theorems -- Simple Proofs

abstract: The Modular Group provides simple proofs of Fermat's representations: X^2+Y^2 for primes congruent to 1 (mod 4) and by X^2+3Y^2 for primes congruent to 1 (mod 3)


title: Network meta-analysis of rare events using penalized likelihood regression

abstract: Network meta-analysis (NMA) of rare events has attracted little attention in the literature. Until recently, networks of interventions with rare events were analyzed using the inverse-variance NMA approach. However, when events are rare the normal approximation made by this model can be poor and effect estimates are potentially biased. Other methods for the synthesis of such data are the recent extension of the Mantel-Haenszel approach to NMA or the use of the non-central hypergeometric distribution. In this article, we suggest a new common-effect NMA approach that can be applied even in networks of interventions with extremely low or even zero number of events without requiring study exclusion or arbitrary imputations. Our method is based on the implementation of the penalized likelihood function proposed by Firth for bias reduction of the maximum likelihood estimate to the logistic expression of the NMA model. A limitation of our method is that heterogeneity cannot be taken into account as an additive parameter as in most meta-analytical models. However, we account for heterogeneity by incorporating a multiplicative overdispersion term using a two-stage approach. We show through simulations that our method performs consistently well across all tested scenarios and most often results in smaller bias than other available methods. We also illustrate the use of our method through two clinical examples. We conclude that our "penalized likelihood NMA" approach is promising for the analysis of binary outcomes with rare events especially for networks with very few studies per comparison and very low control group risks.


title: Extremal Uniquely Resolvable Multisets

abstract: For positive integers $n$ and $m$, consider a multiset of non-empty subsets of $[m]$ such that there is a \textit{unique} partition of these subsets into $n$ partitions of $[m]$. We study the maximum possible size $g(n,m)$ of such a multiset. We focus on the regime $n \leq 2^{m-1}-1$ and show that $g(n,m) \geq \Omega(\frac{nm}{\log_2 n})$. When $n = 2^{cm}$ for any $c \in (0,1)$, this lower bound simplifies to $\Omega(\frac{n}{c})$, and we show a matching upper bound $g(n,m) \leq O(\frac{n}{c}\log_2(\frac{1}{c}))$ that is optimal up to a factor of $\log_2(\frac{1}{c})$. We also compute $g(n,m)$ exactly when $n \geq 2^{m-1} - O(2^{\frac{m}{2}})$.


title: Multi-dimensional $\rho$-almost periodic type functions and applications

abstract: In this paper, we analyze various classes of multi-dimensional $\rho$-almost periodic type functions $F : I \times X \rightarrow Y$ and multi-dimensional $(\omega,\rho)$-almost periodic type functions $F : I \times X \rightarrow Y,$ where $n\in {\mathbb N},$ $\emptyset \neq I \subseteq {\mathbb R}^{n},$ $X$ and $Y$ are complex Banach spaces and $\rho$ is a binary relation on $Y.$ The proposed notion is new even in the one-dimensional setting, for the functions of the form $F : I \rightarrow Y.$ The main structural properties and characterizations for the introduced classes of functions are presented. We provide certain applications of our theoretical results to the abstract Volterra integro-differential equations, as well.


title: Clinical Validation of Single-Chamber Model-Based Algorithms Used to Estimate Respiratory Compliance

abstract: Non-invasive estimation of respiratory physiology using computational algorithms promises to be a valuable technique for future clinicians to detect detrimental changes in patient pathophysiology. However, few clinical algorithms used to non-invasively analyze lung physiology have undergone rigorous validation in a clinical setting, and are often validated either using mechanical devices, or with small clinical validation datasets using 2-8 patients. This work aims to improve this situation by first, establishing an open, and clinically validated dataset comprising data from both mechanical lungs and nearly 40,000 breaths from 18 intubated patients. Next, we use this data to evaluate 15 different algorithms that use the "single chamber" model of estimating respiratory compliance. We evaluate these algorithms under varying clinical scenarios patients typically experience during hospitalization. In particular, we explore algorithm performance under four different types of patient ventilator asynchrony. We also analyze algorithms under varying ventilation modes to benchmark algorithm performance and to determine if ventilation mode has any impact on the algorithm. Our approach yields several advances by 1) showing which specific algorithms work best clinically under varying mode and asynchrony scenarios, 2) developing a simple mathematical method to reduce variance in algorithmic results, and 3) presenting additional insights about single-chamber model algorithms. We hope that our paper, approach, dataset, and software framework can thus be used by future researchers to improve their work and allow future integration of "single chamber" algorithms into clinical practice.


title: On ternary quadratic forms over the rational numbers

abstract: In this note, we give an elementary proof of the following classical fact. Any positive definite ternary quadratic form over the rational numbers fails to represent infinitely many positive integers. For any ternary quadratic form (positive definite or indefinite), our method constructs certain congruence classes whose elements, up to a square factor, are the only elements not represented over the rational numbers by that form. In the case of a positive definite ternary form, we show that these classes are non-empty. This shows that the minimum number of variables in a positive definite quadratic form representing all positive integers is four. Our proof is very elementary and only uses quadratic reciprocity of Gauss.


title: Squarefree integers and the $abc$ conjecture

abstract: For coprime positive integers $a, b, c$, where $a+b=c$, $\gcd(a,b,c)=1$ and $1\leq a < b$, the famous $abc$ conjecture (Masser and Oesterl\`e, 1985) states that for $\varepsilon > 0$, only finitely many $abc$ triples satisfy $c > R(abc)^{1+\varepsilon}$, where $R(n)$ denotes the radical of $n$. We examine the patterns in squarefree factors of binary additive partitions of positive integers to elucidate the claim of the conjecture. With $abc$ hit referring to any $(a, b, c)$ triple satisfying $R(abc)<c$, we show an algorithm to generate hits forming infinite sequences within sets of equivalence classes of positive integers. Integer patterns in such sequences of hits are heuristically consistent with the claim of the conjecture.


title: Blindness to Modality Helps Entailment Graph Mining

abstract: Understanding linguistic modality is widely seen as important for downstream tasks such as Question Answering and Knowledge Graph Population. Entailment Graph learning might also be expected to benefit from attention to modality. We build Entailment Graphs using a news corpus filtered with a modality parser, and show that stripping modal modifiers from predicates in fact increases performance. This suggests that for some tasks, the pragmatics of modal modification of predicates allows them to contribute as evidence of entailment.


title: A semi-Lagrangian scheme for Hamilton-Jacobi-Bellman equations with oblique boundary conditions

abstract: We investigate in this work a fully-discrete semi-Lagrangian approximation of second order possibly degenerate Hamilton-Jacobi-Bellman (HJB) equations on a bounded domain with oblique boundary conditions. These equations appear naturally in the study of optimal control of diffusion processes with oblique reflection at the boundary of the domain. The proposed scheme is shown to satisfy a consistency type property, it is monotone and stable. Our main result is the convergence of the numerical solution towards the unique viscosity solution of the HJB equation. The convergence result holds under the same asymptotic relation between the time and space discretization steps as in the classical setting for semi-Lagrangian schemes. We present some numerical results that confirm the numerical convergence of the scheme.


title: Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin

abstract: We present a first measurement study on the adoption and actual privacy of two popular decentralized CoinJoin implementations, Wasabi and Samourai, in the broader Bitcoin ecosystem. By applying highly accurate (> 99%) algorithms we can effectively detect 30,251 Wasabi and 223,597 Samourai transactions within the block range 530,500 to 725,348 (2018-07-05 to 2022-02-28). We also found a steady adoption of these services with a total value of mixed coins of ca. 4.74 B USD and average monthly mixing amounts of ca. 172.93 M USD) for Wasabi and ca. 41.72 M USD for Samourai. Furthermore, we could trace ca. 322 M USD directly received by cryptoasset exchanges and ca. 1.16 B USD indirectly received via two hops. Our analysis further shows that the traceability of addresses during the pre-mixing and post-mixing narrows down the anonymity set provided by these coin mixing services. It also shows that the selection of addresses for the CoinJoin transaction can harm anonymity. Overall, this is the first paper to provide a comprehensive picture of the adoption and privacy of distributed CoinJoin transactions. Understanding this picture is particularly interesting in the light of ongoing regulatory efforts that will, on the one hand, affect compliance measures implemented in cryptocurrency exchanges and, on the other hand, the privacy of end-users.


title: Imprints of the jittering jets explosion mechanism in the morphology of the supernova remnant SNR 0540-69.3

abstract: I identify a point-symmetric structure in recently published VLT/MUSE velocity maps of different elements in a plane along the line of sight at the center of the supernova remnant SNR 0540-69.3, and argue that jittering jets that exploded this core collapse supernova shaped this point-symmetric structure. The four pairs of two opposite clumps that compose this point symmetric structure suggest that two to four pairs of jittering jets shaped the inner ejecta in this plane. In addition, intensity images of several spectral lines reveal a faint strip (the main jet-axis) that is part of this plane of jittering jets and its similarity to morphological features in a few other SNRs and in some planetary nebulae further suggests shaping by jets. My interpretation implies that in addition to instabilities, jets also mix elements in the ejecta of core collapse supernovae. Based on the point-symmetric structure and under the assumption that jittering jets exploded this supernova, I estimate the component of the neutron star natal kick velocity on the plane of the sky to be ~235 km/s, and at an angle of 47 degrees to the direction of the main jet-axis. I analyse this natal kick direction together with other 12 SNRs in the frame of the jittering jets explosion mechanism.


title: SalienTrack: providing salient information for semi-automated self-tracking feedback with model explanations

abstract: Self-tracking can improve people's awareness of their unhealthy behaviors and support reflection to inform behavior change. Increasingly, new technologies make tracking easier, leading to large amounts of tracked data. However, much of that information is not salient for reflection and self-awareness. To tackle this burden for reflection, we created the SalienTrack framework, which aims to 1) identify salient tracking events, 2) select the salient details of those events, 3) explain why they are informative, and 4) present the details as manually elicited or automatically shown feedback. We implemented SalienTrack in the context of nutrition tracking. To do this, we first conducted a field study to collect photo-based mobile food tracking over 1-5 weeks. We then report how we used this data to train an explainable-AI model of salience. Finally, we created interfaces to present salient information and conducted a formative user study to gain insights about how SalienTrack could be integrated into an interface for reflection. Our key contributions are the SalienTrack framework, a demonstration of its implementation for semi-automated feedback in an important and challenging self-tracking context and a discussion of the broader uses of the framework.


title: A Low Complexity MAP Detector for OTFS Modulation in Logarithmic Domain

abstract: Orthogonal time-frequency space (OTFS) has been confirmed to take advantage of full time-frequency diversity to significantly improve error performance in high-mobility scenarios. We found that the proposed message passing (MP) and variational Bayes (VB) detectors can achieve approximate maximum a posteriori (MAP) detection, the interferences cannot be completely eliminated in the absence of noise. To achieve near-optimal MAP detection, this letter proposes a novel detection method based on sum-product algorithm (SPA) with low complexity. Leveraging subtly factorized posteriori probabilities, the obtained pairwise interactions can effectively avoid enumeration of high-dimensional variables, thereby making it applicable to fractional Doppler cases. We further simplify the proposed algorithm in the logarithmic domain so that the message propagation processing only involves addition. Finally, simulations results demonstrate the superior error performance gains of our proposed algorithm at high signal-to-noise ratios (SNRs).


title: An Extension to the Gusi\'c-Tadi\'c Specialization Criterion

abstract: Let $E/\mathbb Q(t)$ be an elliptic curve and let $t_0 \in \mathbb Q$ be a rational number for which the specialization $E_{t_0}$ is an elliptic curve. In 2015, Gusi\'c and Tadi\'c gave an easy-to-check criterion, based only on a Weierstrass equation for $E/\mathbb Q(t)$, that is sufficient to conclude that the specialization map at $t_0$ is injective. The criterion critically requires that $E$ has nontrivial $\mathbb Q(t)$-rational 2-torsion points. In this article, we explain how the criterion can be used in some cases where this requirement is not satisfied and provide some examples.


title: BERTweetFR : Domain Adaptation of Pre-Trained Language Models for French Tweets

abstract: We introduce BERTweetFR, the first large-scale pre-trained language model for French tweets. Our model is initialized using the general-domain French language model CamemBERT which follows the base architecture of RoBERTa. Experiments show that BERTweetFR outperforms all previous general-domain French language models on two downstream Twitter NLP tasks of offensiveness identification and named entity recognition. The dataset used in the offensiveness detection task is first created and annotated by our team, filling in the gap of such analytic datasets in French. We make our model publicly available in the transformers library with the aim of promoting future research in analytic tasks for French tweets.


title: Quasi-Best Match Graphs

abstract: Quasi-best match graphs (qBMGs) are a hereditary class of directed, properly vertex-colored graphs. They arise naturally in mathematical phylogenetics as a generalization of best match graphs, which formalize the notion of evolutionary closest relatedness of genes (vertices) in multiple species (vertex colors). They are explained by rooted trees whose leaves correspond to vertices. In contrast to BMGs, qBMGs represent only best matches at a restricted phylogenetic distance. We provide characterizations of qBMGs that give rise to polynomial-time recognition algorithms and identify the BMGs as the qBMGs that are color-sink-free. Furthermore, two-colored qBMGs are characterized as directed graphs satisfying three simple local conditions, two of which have appeared previously, namely bi-transitivity in the sense of Das et al. (2021) and a hierarchy-like structure of out-neighborhoods, i.e., $N(x)\cap N(y)\in\{N(x),N(y),\emptyset\}$ for any two vertices $x$ and $y$. Further results characterize qBMGs that can be explained by binary phylogenetic trees.


title: Quantum Holography from Fermion Fields

abstract: We demonstrate, in the context of Loop Quantum Gravity, the Quantum Holographic Principle, according to which the area of the boundary surface enclosing a region of space encodes a qubit per Planck unit. To this aim, we introduce fermion fields in the bulk, whose boundary surface is the two-dimensional sphere. The doubling of the fermionic degrees of freedom and the use of the Bogoljubov transformations lead to pairs of spin network's edges piercing the boundary surface with double punctures, giving rise to pixels of area encoding a qubit. The proof is also valid in the case of a fuzzy sphere.


title: An Empirical Bayes Robust Meta-Analytical-Predictive Prior to Adaptively Leverage External Data

abstract: We propose a novel empirical Bayes robust MAP (EB-rMAP) prior to adaptively leverage external/historical data. Built on Box's prior predictive p-value, the EB-rMAP prior framework balances between model parsimony and flexibility through a tuning parameter. The proposed framework can be applied to binary, normal, and time-to-event endpoints. Computational aspects of the framework are efficient. Simulations results with different endpoints demonstrate that the EB-rMAP prior is robust in the presence of prior-data conflict while preserving statistical power. The proposed EB-rMAP prior is then applied to a clinical dataset that comprises of ten oncology clinical trials, including the perspective study.


title: Distribution of Square Prime Numbers

abstract: For $a \neq 1$ and $p$ prime, we define numbers of the form $pa^2$ to be Square-Prime (SP) Numbers. For example, 75 = 3 $\cdot$ 25; 108 = 3 $\cdot$ 36; 45 = 5 $\cdot$ 9. These numbers are listed in the OEIS as A228056. We study the properties of these numbers, their distribution/density and also develop a few claims on their distribution/density. We rely on computer programs to verify some conjectures up to large numbers.


title: Le th\'eor\`eme d'Andr\'e-Chudnovsky-Katz

abstract: The subject of this Master 2 thesis is the study of the Andr\'e-Chudnovsky-Katz theorem on the structure of the solution of the nonzero differential equation of minimal order with coefficients in $\overline{\mathbb{Q}}(z)$ satisfied by a $G$-function. We begin by presenting the theory of globally nilpotent differential operators, of which the main result is the Katz theorem, which states that they are fuchsian with rational exponents. We then give a full proof of the Chudnovsky theorem implying that the minimal nonzero differential operator with coefficients in $\overline{\mathbb{Q}}(z)$ of a $G$-function satisfies a moderate growth condition on some denominators called the Galochkin condition. We finally outline the proof of the Andr\'e-Bombieri theorem establishing the equivalence between the Galochkin condition and the Bombieri condition, which implies the global nilpotence. This allows us to prove the main point of the Andr\'e-Chudnovsky-Katz theorem.


title: Hadwiger number always upper bounds the chromatic number -- 1852-1943 -- A far-reaching generalisation of Guthrie's postulate

abstract: In a simple graph $G$, we prove that the \textit{Hadwiger number}, $h(G)$, of the given graph $G$ always upper bounds the \textit{chromatic number}, $\chi(G)$, of the given graph $G$, that is, $\chi(G) \leq h(G)$. This simply stated problem is one of the fundamental questions in combinatorial mathematics, which was made by Hugo Hadwiger in 1943. Consequently, it independently verifies the most famous Four-Color Theorem: the case $h(G) = 4$ is equivalent to the Four-Color Theorem, that is, every planar graph is $4$-colourable. In our novel approach, we use algebraic settings over a finite field $\mathbb{Z}_p$. The algebraic setting, in essence, begins with the complete graph with $h(G)$ vertices (which is a minor, $\mathcal{M}$, of the given graph $G$) and iteratively extends to the simple graph $G$. This conjecture has remained elusive, owing to a lack of understanding of the interdependence, particularly the importance of Lemma 3.1, Lemma 3.2, Lemma 3.3, and Lemma 3.6 in Section 3.


title: Life in a random universe: Sciama's argument reconsidered

abstract: Random sampling in high dimensions has successfully been applied to phenomena as diverse as nuclear resonances, neural networks and black hole evaporation. Here we revisit an elegant argument by the British physicist Dennis Sciama, which demonstrated that were our universe random, it would almost certainly have a negligible chance for life. Under plausible assumptions, we show that a random universe can masquerade as `intelligently designed,' with the fundamental constants instead appearing to be fined tuned to be achieve the highest probability for life to occur. For our universe, this mechanism may only require there to be around a dozen currently unknown fundamental constants. We speculate on broader applications for the mechanism we uncover.

categories: physics.hist-ph astro-ph.CO cs.AI gr-qc physics.data-an


title: Multidimensional Transonic Shock Waves and Free Boundary Problems

abstract: We are concerned with free boundary problems arising from the analysis of multidimensional transonic shock waves for the Euler equations in compressible fluid dynamics. In this expository paper, we survey some recent developments in the analysis of multidimensional transonic shock waves and corresponding free boundary problems for the compressible Euler equations and related nonlinear partial differential equations (PDEs) of mixed type. The nonlinear PDEs under our analysis include the steady Euler equations for potential flow, the steady full Euler equations, the unsteady Euler equations for potential flow, and related nonlinear PDEs of mixed elliptic-hyperbolic type. The transonic shock problems include the problem of steady transonic flow past solid wedges, the von Neumann problem for shock reflection-diffraction, and the Prandtl-Meyer problem for unsteady supersonic flow onto solid wedges. We first show how these longstanding multidimensional transonic shock problems can be formulated as free boundary problems for the compressible Euler equations and related nonlinear PDEs of mixed type. Then we present an effective nonlinear method and related ideas and techniques to solve these free boundary problems. The method, ideas, and techniques should be useful to analyze other longstanding and newly emerging free boundary problems for nonlinear PDEs.


title: Beam Refinement and User State Acquisition via Integrated Sensing and Communication with OFDM

abstract: The performance of millimeter wave (mmWave) communications strongly relies on accurate beamforming both at base station and user terminal sides, referred to as beam alignment (BA). Existing BA algorithms provide initial yet coarse angle estimates as they typically use a codebook of a finite number of discreteized beams (angles). Towards emerging applications requiring timely and precise tracking of dynamically changing state of users, we consider a system where a base station with a co-located radar receiver estimates relevant state parameters of users and simultaneously sends OFDM-modulated data symbols. In particular, based on a hybrid digital analog data transmitter/radar receiver architecture, we propose a simple beam refinement and initial state acquisition scheme that can be used for beam and user location tracking in a dynamic environment. Numerical results inspired by IEEE802.11ad parameters demonstrate that the proposed method is able to improve significantly the communication rate and further achieve accurate state estimation.


title: Drift ion-acoustic waves in a nonuniform rotating magnetoplasma with two-temperature superthermal electrons

abstract: The theory of low-frequency (in comparison with the ion cyclotron frequency), long wavelength, electrostatic drift ion-acoustic waves (IAWs) is studied in a nonuniform rotating magnetoplasma with two temperature superthermal electrons. In the linear limit, the coupling of IAWs and drift waves by the density inhomogeneity is shown to produce a new wave mode which typically depends on the density gradient, the rotational frequency and the spectral indexes of superthermal electrons. In the nonlinear regime, an evolution equation for the drift IAWs is derived by the dispersion approach, and using the Jacobi elliptic function expansion technique its exact solitary and periodic wave solutions (namely, cnoidal and dnoidal) are also obtained. The properties of these solutions are numerically examined and it is found that they are significantly modified by the effects of the background density gradient, the superthermality of electrons and the Coriolis force associated with the rotational motion of ions.


title: A coarse geometric expansion of a variant of Arthur's truncated traces and some applications

abstract: Let F be a global function field with constant field $\mathbb{F}_q$. Let G be a reductive group over $\mathbb{F}_q$. We establish a variant of Arthur's truncated kernel for G and for its Lie algebra which generalizes Arthur's original construction. We establish a coarse geometric expansion for our variant truncation. As applications, we consider some existence and uniqueness problems of some cuspidal automorphic representations for the functions field of the projective line $\mathbb{P}^1_{\mathbb{F}_q}$ with two points of ramifications.


title: Does Vision-and-Language Pretraining Improve Lexical Grounding?

abstract: Linguistic representations derived from text alone have been criticized for their lack of grounding, i.e., connecting words to their meanings in the physical world. Vision-and-Language (VL) models, trained jointly on text and image or video data, have been offered as a response to such criticisms. However, while VL pretraining has shown success on multimodal tasks such as visual question answering, it is not yet known how the internal linguistic representations themselves compare to their text-only counterparts. This paper compares the semantic representations learned via VL vs. text-only pretraining for two recent VL models using a suite of analyses (clustering, probing, and performance on a commonsense question answering task) in a language-only setting. We find that the multimodal models fail to significantly outperform the text-only variants, suggesting that future work is required if multimodal pretraining is to be pursued as a means of improving NLP in general.


title: Enhancing superconductivity with resonant anti-shielding and topological plasmon-polarons

abstract: By employing ab initio Migdal-Eliashberg calculations, we predict a 4-fold enhancement of the superconducting critical temperature of MgB$_{2}$ when proximity-coupled to the topological crystal Bi$_{2}$Se$_{3}$. We support this result with calculations using the general Leavens scaling method. We show that this effect is a result of dynamic resonant anti-shielding of Cooper pairs by plasmon polarons of Dirac electrons in the topological crystal. Our calculations show that such superconductivity enhancement varies strongly with Coulomb coupling between plasmon polarons and Cooper pairs, with a pronounced maximum of $\textit{T}_{c}$ at a critical value of the coupling parameter. This feature is universal, and so can occur in other superconductor-topological crystal combinations, including with non-phonon mediated superconductors. We discuss methods to experimentally optimize the key coupling parameter.


title: Supercuspidal support of irreducible modulo l-representations of SL_n(F)

abstract: Let k be an algebraically closed field with characteristic l different from p. We show that the supercuspidal support of irreducible smooth k-representations of Levi subgroups M' of SL_n(F) is unique up to M'-conjugation, where F is either a finite field of characteristic p or a non-archimedean locally compact field of residual characteristic p.


title: Canonical theorems for colored integers with respect to some linear combinations

abstract: Hindman proved in 1979 that no matter how natural numbers are colored in r colors, for a fixed positive integer r, there is an infinite subset X of numbers and a color t such that for any finite non-empty subset X' of X, the color of the sum of elements from X' is t. Later, Taylor extended this result to colorings with unrestricted number of colors and five unavoidable color patterns on finite sums. This result is referred to as a canonization of Hindman's theorem and parallels the Canonical Ramsey Theorem of Erdos and Rado. We extend Taylor's result from sums, that are linear combinations with coefficients 1, to several linear combinations with coefficients 1 and -1. These results in turn could be interpreted as canonical-type theorems for solutions to infinite systems.


title: Parabolic bundles and spherical metrics

abstract: We use the Kobayashi-Hitchin correspondence for parabolic bundles to reprove the results of Troyanov and Luo-Tian regarding existence and uniqueness of conformal spherical metrics on the Riemann sphere with prescribed cone angles in the interval $(0, 2\pi)$ at a given configuration of three or more points.


title: Classes of Explicit Phylogenetic Networks and their Biological and Mathematical Significance

abstract: The evolutionary relationships among organisms have traditionally been represented using rooted phylogenetic trees. However, due to reticulate processes such as hybridization or lateral gene transfer, evolution cannot always be adequately represented by a phylogenetic tree, and rooted phylogenetic networks that describe such complex processes have been introduced as a generalization of rooted phylogenetic trees. In fact, estimating rooted phylogenetic networks from genomic sequence data and analyzing their structural properties is one of the most important tasks in contemporary phylogenetics. Over the last two decades, several subclasses of rooted phylogenetic networks (characterized by certain structural constraints) have been introduced in the literature, either to model specific biological phenomena or to enable tractable mathematical and computational analyses. In the present manuscript, we provide a thorough review of these network classes, as well as provide a biological interpretation of the structural constraints underlying these networks where possible. In addition, we discuss how imposing structural constraints on the network topology can be used to address the scalability and identifiability challenges faced in the estimation of phylogenetic networks from empirical data.


title: Audiomer: A Convolutional Transformer For Keyword Spotting

abstract: Transformers have seen an unprecedented rise in Natural Language Processing and Computer Vision tasks. However, in audio tasks, they are either infeasible to train due to extremely large sequence length of audio waveforms or incur a performance penalty when trained on Fourier-based features. In this work, we introduce an architecture, Audiomer, where we combine 1D Residual Networks with Performer Attention to achieve state-of-the-art performance in keyword spotting with raw audio waveforms, outperforming all previous methods while being computationally cheaper and parameter-efficient. Additionally, our model has practical advantages for speech processing, such as inference on arbitrarily long audio clips owing to the absence of positional encoding. The code is available at https://github.com/The-Learning-Machines/Audiomer-PyTorch.


title: Short-term traffic prediction using physics-aware neural networks

abstract: In this work, we propose an algorithm performing short-term predictions of the flux of vehicles on a stretch of road, using past measurements of the flux. This algorithm is based on a physics-aware recurrent neural network. A discretization of a macroscopic traffic flow model (using the so-called Traffic Reaction Model) is embedded in the architecture of the network and yields flux predictions based on estimated and predicted space-time dependent traffic parameters. These parameters are themselves obtained using a succession of LSTM ans simple recurrent neural networks. Besides, on top of the predictions, the algorithm yields a smoothing of its inputs which is also physically-constrained by the macroscopic traffic flow model. The algorithm is tested on raw flux measurements obtained from loop detectors.


title: Uncertainty Toolbox: an Open-Source Library for Assessing, Visualizing, and Improving Uncertainty Quantification

abstract: With increasing deployment of machine learning systems in various real-world tasks, there is a greater need for accurate quantification of predictive uncertainty. While the common goal in uncertainty quantification (UQ) in machine learning is to approximate the true distribution of the target data, many works in UQ tend to be disjoint in the evaluation metrics utilized, and disparate implementations for each metric lead to numerical results that are not directly comparable across different works. To address this, we introduce Uncertainty Toolbox, an open-source python library that helps to assess, visualize, and improve UQ. Uncertainty Toolbox additionally provides pedagogical resources, such as a glossary of key terms and an organized collection of key paper references. We hope that this toolbox is useful for accelerating and uniting research efforts in uncertainty in machine learning.


title: Multi-Task Learning with Sentiment, Emotion, and Target Detection to Recognize Hate Speech and Offensive Language

abstract: The recognition of hate speech and offensive language (HOF) is commonly formulated as a classification task to decide if a text contains HOF. We investigate whether HOF detection can profit by taking into account the relationships between HOF and similar concepts: (a) HOF is related to sentiment analysis because hate speech is typically a negative statement and expresses a negative opinion; (b) it is related to emotion analysis, as expressed hate points to the author experiencing (or pretending to experience) anger while the addressees experience (or are intended to experience) fear. (c) Finally, one constituting element of HOF is the mention of a targeted person or group. On this basis, we hypothesize that HOF detection shows improvements when being modeled jointly with these concepts, in a multi-task learning setup. We base our experiments on existing data sets for each of these concepts (sentiment, emotion, target of HOF) and evaluate our models as a participant (as team IMS-SINAI) in the HASOC FIRE 2021 English Subtask 1A. Based on model-selection experiments in which we consider multiple available resources and submissions to the shared task, we find that the combination of the CrowdFlower emotion corpus, the SemEval 2016 Sentiment Corpus, and the OffensEval 2019 target detection data leads to an F1 =.79 in a multi-head multi-task learning model based on BERT, in comparison to .7895 of plain BERT. On the HASOC 2019 test data, this result is more substantial with an increase by 2pp in F1 and a considerable increase in recall. Across both data sets (2019, 2021), the recall is particularly increased for the class of HOF (6pp for the 2019 data and 3pp for the 2021 data), showing that MTL with emotion, sentiment, and target identification is an appropriate approach for early warning systems that might be deployed in social media platforms.


title: Towards a computational definition of the tresillo rhythm and its tracing in popular music

abstract: This paper discusses the use and popularity of a rhythm, which henceforth is referred to as "Tresillo rhythm". We first define and formalizes the Tresillo rhythm. Given a mathematical representation of the rhythm, it is then traced in the US Billboard Top 20 Charts of the last 20 years. To detect and determine the use of this rhythm in a song, we compute the similarity of a song with this rhythm. The calculated similarity, then indicates how similar the rhythm of a pop song is compared to the prior defined Tresillo rhythm. To assert and cross-validate the computer rhythm similarity, two different formalizations of the Tresillo rhythm have been compiled and several different approaches to calculated rhythm similarities have been tested and compared. This similarity measure is then used to do an empirical study on the usage of the Tresillo rhythm in the US Billboard Top 20 Charts of the past 20 years (1999-2019). Finally, we argue about some of the possible reasons for the observed trend.


title: Skeleton-Graph: Long-Term 3D Motion Prediction From 2D Observations Using Deep Spatio-Temporal Graph CNNs

abstract: Several applications such as autonomous driving, augmented reality and virtual reality require a precise prediction of the 3D human pose. Recently, a new problem was introduced in the field to predict the 3D human poses from observed 2D poses. We propose Skeleton-Graph, a deep spatio-temporal graph CNN model that predicts the future 3D skeleton poses in a single pass from the 2D ones. Unlike prior works, Skeleton-Graph focuses on modeling the interaction between the skeleton joints by exploiting their spatial configuration. This is being achieved by formulating the problem as a graph structure while learning a suitable graph adjacency kernel. By the design, Skeleton-Graph predicts the future 3D poses without divergence in the long-term, unlike prior works. We also introduce a new metric that measures the divergence of predictions in the long term. Our results show an FDE improvement of at least 27% and an ADE of 4% on both the GTA-IM and PROX datasets respectively in comparison with prior works. Also, we are 88% and 93% less divergence on the long-term motion prediction in comparison with prior works on both GTA-IM and PROX datasets. Code is available at https://github.com/abduallahmohamed/Skeleton-Graph.git


title: Arterial blood pressure waveform in liver transplant surgery possesses variability of morphology reflecting recipients' acuity and predicting short term outcomes

abstract: Background: We investigated clinical information underneath the beat-to-beat fluctuation of the arterial blood pressure (ABP) waveform morphology. We proposed the Dynamical Diffusion Map algorithm (DDMap) to quantify the variability of morphology. The underlying physiology could be the compensatory mechanisms involving complex interactions between various physiological mechanisms to regulate the cardiovascular system. As a liver transplant surgery contains distinct periods, we investigated its clinical behavior in different surgical steps. Methods: Our study used DDmap algorithm, based on unsupervised manifold learning, to obtain a quantitative index for the beat-to-beat variability of morphology. We examined the correlation between the variability of ABP morphology and disease acuity as indicated by Model for End-Stage Liver Disease (MELD) scores, the postoperative laboratory data, and 4 early allograft failure (EAF) scores. Results: Among the 85 enrolled patients, the variability of morphology obtained during the presurgical phase was best correlated with MELD-Na scores. The neohepatic phase variability of morphology was associated with EAF scores as well as postoperative bilirubin levels, international normalized ratio, aspartate aminotransferase levels, and platelet count. Furthermore, variability of morphology presents more associations with the above clinical conditions than the common BP measures and their BP variability indices. Conclusions: The variability of morphology obtained during the presurgical phase is indicative of patient acuity, whereas those during the neohepatic phase are indicative of short-term surgical outcomes.


title: AutoGCL: Automated Graph Contrastive Learning via Learnable View Generators

abstract: Contrastive learning has been widely applied to graph representation learning, where the view generators play a vital role in generating effective contrastive samples. Most of the existing contrastive learning methods employ pre-defined view generation methods, e.g., node drop or edge perturbation, which usually cannot adapt to input data or preserve the original semantic structures well. To address this issue, we propose a novel framework named Automated Graph Contrastive Learning (AutoGCL) in this paper. Specifically, AutoGCL employs a set of learnable graph view generators orchestrated by an auto augmentation strategy, where every graph view generator learns a probability distribution of graphs conditioned by the input. While the graph view generators in AutoGCL preserve the most representative structures of the original graph in generation of every contrastive sample, the auto augmentation learns policies to introduce adequate augmentation variances in the whole contrastive learning procedure. Furthermore, AutoGCL adopts a joint training strategy to train the learnable view generators, the graph encoder, and the classifier in an end-to-end manner, resulting in topological heterogeneity yet semantic similarity in the generation of contrastive samples. Extensive experiments on semi-supervised learning, unsupervised learning, and transfer learning demonstrate the superiority of our AutoGCL framework over the state-of-the-arts in graph contrastive learning. In addition, the visualization results further confirm that the learnable view generators can deliver more compact and semantically meaningful contrastive samples compared against the existing view generation methods.


title: On the rate of escape or approach to the origin of a random string

abstract: In this paper, we extend upon a result by Mueller and Tribe regarding Funaki's model of a random string. Specifically, we examine the rate of escape of this model in dimensions $d \ge 7$. We also provide a bound for the rate of approach to the origin in dimension $d = 6$.


title: Semi-localized axial state of a relativistic electron

abstract: The new quantum state of a relativistic electron in a vacuum is described. It corresponds to an electron moving freely along a certain direction and being self-localized in a plane which is transverse to its momentum. This semi-localized state is self-consistent with respect to the interaction of an electron with its own electromagnetic field. The width of a transverse distribution is proved to be the Compton wavelength of an electron


title: Generalized Optimization: A First Step Towards Category Theoretic Learning Theory

abstract: The Cartesian reverse derivative is a categorical generalization of reverse-mode automatic differentiation. We use this operator to generalize several optimization algorithms, including a straightforward generalization of gradient descent and a novel generalization of Newton's method. We then explore which properties of these algorithms are preserved in this generalized setting. First, we show that the transformation invariances of these algorithms are preserved: while generalized Newton's method is invariant to all invertible linear transformations, generalized gradient descent is invariant only to orthogonal linear transformations. Next, we show that we can express the change in loss of generalized gradient descent with an inner product-like expression, thereby generalizing the non-increasing and convergence properties of the gradient descent optimization flow. Finally, we include several numerical experiments to illustrate the ideas in the paper and demonstrate how we can use them to optimize polynomial functions over an ordered ring.


title: Kuramoto synchronization of quantum tunneling polarons for describing the dynamic structure in cuprate superconductors

abstract: A major open topic in cuprates is the interplay between the lattice and electronic dynamics and the importance of their coupling to the mechanism of high-temperature superconductivity (HTSC). As evidenced by Extended X-ray Absorption Fine Structure experiments (EXAFS), anharmonic structural effects are correlated with the charge dynamics and the transition to a superconducting phase in different HTSC compounds. Here we describe how structural anharmonic effects can be coupled to electronic and lattice dynamics in cuprate systems by performing the exact diagonalization of a prototype anharmonic many-body Hamiltonian on a relevant six-atom cluster and show that the EXAFS results can be understood as a Kuramoto synchronization between coupled internal quantum tunneling polarons associated with the two-site distribution of the copper-apical-oxygen ($Cu-O_{ap}$) pair in the dynamic structure. Furthermore, we find that this first order, anti-phase synchronization transition can be fine tuned by temperature and anharmonicity of the lattice vibrations, and promotes the pumping of charge, initially stored at the apical oxygen reservoirs, into the copper-oxide planes. Simultaneously, the internal quantum tunneling polaron extends to the copper-planar-oxygen ($Cu-O_{pl}$) pair. All these findings support an interpretation of the EXAFS data in terms of an effective, quantum mechanical triple-well-potential, which accurately represents the anti-phase synchronization of apical oxygens displacements and lattice-assisted charge transfer to the $CuO_2$ plane.


title: On holomorphic functions on negatively curved manifolds

abstract: Based on a well known Sh.-T. Yau theorem we obtain that the real part of a holomorphic function on a K\"{a}hler manifold with the Ricci curvature bounded from below by $-1$ is contractive with respect to the distance on the manifold and the hyperbolic distance on $(-1,1)$ inhered from the domain $(-1,1)\times\mathbb{R}$. Moreover, in the case of bounded holomorphic functions we prove that the modulus is contractive with respect to the distance on the manifold and the hyperbolic distance on the unit disk.


title: Iron Rain: measuring the occurrence rate and origin of small iron meteoroids at Earth

abstract: We report results of a four-year survey using Electron Multiplied Charged Coupled Device (EMCCD) cameras recording 34761 two-station video meteor events complete to a limiting magnitude of +6. The survey goal was to characterize probable iron meteoroids. Using only physical properties of the meteor trajectories including early peaking light curves, short luminous trajectories, and high energies accumulated per area at beginning, we identified 1068 iron meteors. Our iron candidates are most abundant at slow speeds < 15 km/s, where they make up approximately 20% of the mm-sized meteoroid population. They are overwhelmingly on asteroidal orbits, and have particularly low orbital eccentricities and smaller semi-major axes when compared to non-irons between 10-20 km/s. Our iron population appears to be more numerous at fainter magnitudes, comprising 15% of slow (10-15 km/s) meteors with peak brightness of +3 with the fraction rising to 25% at +6 to +7, our survey limit. The iron orbits are most consistent with an asteroidal source and are in highly evolved orbits, suggesting long collisional lifetimes (107 years). Metal-rich chondrules (nodules) found in abundance in EL Chondrites are one possible source for this population. We also propose a possible technique using R-band colours to more robustly identify fainter iron meteors with very high confidence.


title: Comparison of single and multitask learning for predicting cognitive decline based on MRI data

abstract: The Alzheimer's Disease Assessment Scale-Cognitive subscale (ADAS-Cog) is a neuropsychological tool that has been designed to assess the severity of cognitive symptoms of dementia. Personalized prediction of the changes in ADAS-Cog scores could help in timing therapeutic interventions in dementia and at-risk populations. In the present work, we compared single and multitask learning approaches to predict the changes in ADAS-Cog scores based on T1-weighted anatomical magnetic resonance imaging (MRI). In contrast to most machine learning-based prediction methods ADAS-Cog changes, we stratified the subjects based on their baseline diagnoses and evaluated the prediction performances in each group. Our experiments indicated a positive relationship between the predicted and observed ADAS-Cog score changes in each diagnostic group, suggesting that T1-weighted MRI has a predictive value for evaluating cognitive decline in the entire AD continuum. We further studied whether correction of the differences in the magnetic field strength of MRI would improve the ADAS-Cog score prediction. The partial least square-based domain adaptation slightly improved the prediction performance, but the improvement was marginal. In summary, this study demonstrated that ADAS-Cog change could be, to some extent, predicted based on anatomical MRI. Based on this study, the recommended method for learning the predictive models is a single-task regularized linear regression due to its simplicity and good performance. It appears important to combine the training data across all subject groups for the most effective predictive models.


title: Artificial Intelligence Edge Applications in 5G Networks

abstract: In recent years, the 5th Generation of mobile communications has been thoroughly researched to improve the previous 4G capabilities. As opposed to earlier architectures, 5G Networks provide low latency access to services with high reliability. Additionally, they allow exploring new opportunities for applications that need to offload computing load in the network with a real-time response. This paper analyzes the feasibility of a real-time Computer Vision use case model in small devices using a fully deployed 5G Network. The results show an improvement in Latency and Throughput over previous generations, and a high percentage of Availability and Reliability in the analyzed use case.


title: Phase-Integral Formulation of Dynamically Assisted Schwinger Pair Production

abstract: We present a phase-integral formulation of dynamically assisted Schwinger pair production of scalar charges to find the pair production density under a strong low-frequency field and a weak high-frequency field. The leading WKB action was the Schwinger formula determined by the constant field, whose corrections are determined by the Keldysh parameter for the oscillating field, $m\omega_{q}/qE_{q}$. We found a systematic expression of the leading WKB action as a power series in the Keldysh parameter, of which coefficients are given as integrals of the product of fields in the complex time domain. For the case of a strong constant field superimposed with a weak oscillating field, we provided explicit formulas and proposed a procedure for numerical evaluation. The presented phase-integral formulation should provide a clear simple method for quantitatively analyzing the leading-order features of dynamically assisted Schwinger pair production.


title: Exploratory HJB equations and their convergence

abstract: We study the exploratory Hamilton--Jacobi--Bellman (HJB) equation arising from the entropy-regularized exploratory control problem, which was formulated by Wang, Zariphopoulou and Zhou (J. Mach. Learn. Res., 21, 2020) in the context of reinforcement learning in continuous time and space. We establish the well-posedness and regularity of the viscosity solution to the equation, as well as the convergence of the exploratory control problem to the classical stochastic control problem when the level of exploration decays to zero. We then apply the general results to the exploratory temperature control problem, which was introduced by Gao, Xu and Zhou (arXiv:2005.04057, 2020) to design an endogenous temperature schedule for simulated annealing (SA) in the context of non-convex optimization. We derive an explicit rate of convergence for this problem as exploration diminishes to zero, and find that the steady state of the optimally controlled process exists, which is however neither a Dirac mass on the global optimum nor a Gibbs measure.


title: SemCal: Semantic LiDAR-Camera Calibration using Neural MutualInformation Estimator

abstract: This paper proposes SemCal: an automatic, targetless, extrinsic calibration algorithm for a LiDAR and camera system using semantic information. We leverage a neural information estimator to estimate the mutual information (MI) of semantic information extracted from each sensor measurement, facilitating semantic-level data association. By using a matrix exponential formulation of the $se(3)$ transformation and a kernel-based sampling method to sample from camera measurement based on LiDAR projected points, we can formulate the LiDAR-Camera calibration problem as a novel differentiable objective function that supports gradient-based optimization methods. We also introduce a semantic-based initial calibration method using 2D MI-based image registration and Perspective-n-Point (PnP) solver. To evaluate performance, we demonstrate the robustness of our method and quantitatively analyze the accuracy using a synthetic dataset. We also evaluate our algorithm qualitatively on an urban dataset (KITTI360) and an off-road dataset (RELLIS-3D) benchmark datasets using both hand-annotated ground truth labels as well as labels predicted by the state-of-the-art deep learning models, showing improvement over recent comparable calibration approaches.


title: Accurate energies of transition metal atoms, ions, and monoxides using selected configuration interaction and density-based basis-set corrections

abstract: The semistochastic heat-bath configuration interaction (SHCI) method is a selected configuration interaction plus perturbation theory method that has provided near-full configuration interaction (FCI) levels of accuracy for many systems with both single- and multi-reference character. However, obtaining accurate energies in the complete basis set limit is hindered by the slow convergence of the FCI energy with respect to basis size. Here we show that the recently developed basis-set correction method based on range-separated density-functional theory can be used to significantly speed up basis-set convergence in SHCI calculations. In particular, we study two such schemes that differ in the functional used, and apply them to transition metal atoms and monoxides to obtain total, ionization, and dissociation energies well converged to the complete-basis-set limit within chemical accuracy.


title: Color-Flavor Transformation Revisited

abstract: The "color-flavor transformation", conceived as a kind of generalized Hubbard-Stratonovich transformation, is a variant of the Wegner-Efetov supermatrix method for disordered electron systems. Tailored to quantum systems with disorder distributed according to the Haar measure of a compact Lie group of any classical type (A, B, C, or D), it has been applied to Dyson's Circular Ensembles, random network models, disordered Floquet dynamical systems, quantum chaotic graphs, and more. We review the method and, in particular, explore its limits of validity. An application to O(N)-Haar expectations of ratios of random characteristic polynomials is given. We also sketch a novel method to treat models where the color-flavor transformation fails.


title: Secrecy Offloading Rate Maximization for Multi-Access Mobile Edge Computing Networks

abstract: This letter considers a multi-access mobile edge computing (MEC) network consisting of multiple users, multiple base stations, and a malicious eavesdropper. Specifically, the users adopt the partial offloading strategy by partitioning the computation task into several parts. One is executed locally and the others are securely offloaded to multiple MEC servers integrated into the base stations by leveraging the physical layer security to combat the eavesdropping. We jointly optimize power allocation, task partition, subcarrier allocation, and computation resource to maximize the secrecy offloading rate of the users, subject to communication and computation resource constraints. Numerical results demonstrate that our proposed scheme can respectively improve the secrecy offloading rate 1.11%--1.39% and 15.05%--17.35% (versus the increase of tasks' latency requirements), and 1.30%--1.75% and 6.08%--9.22% (versus the increase of the maximum transmit power) compared with the two benchmarks. Moreover, it further emphasizes the necessity of conducting computation offloading over multiple MEC servers.


title: The Trade-offs of Domain Adaptation for Neural Language Models

abstract: This work connects language model adaptation with concepts of machine learning theory. We consider a training setup with a large out-of-domain set and a small in-domain set. We derive how the benefit of training a model on either set depends on the size of the sets and the distance between their underlying distributions. We analyze how out-of-domain pre-training before in-domain fine-tuning achieves better generalization than either solution independently. Finally, we present how adaptation techniques based on data selection, such as importance sampling, intelligent data selection and influence functions, can be presented in a common framework which highlights their similarity and also their subtle differences.


title: Quantum magnetic billiards: boundary conditions and gauge transformations

abstract: We study admissible boundary conditions for a charged quantum particle in a two-dimensional region subjected to an external magnetic field, i.e. a quantum magnetic billiard. After reviewing some physically interesting classes of admissible boundary conditions (magnetic Robin and chiral boundary conditions), we turn our attention to the role of gauge transformations in a magnetic billiard: in particular, we introduce gauge covariant boundary conditions, and find a sufficient condition for gauge covariance which is satisfied by all the aforementioned examples.


title: Sustainable low-cost method for production of High entropy alloys from alloy scraps

abstract: In this communication,we propose a sustainable way to produce high entropy alloys from alloy scraps called Alloy mixing.We successfully demonstrate this method using a near equimolar CrCuFeMnNi HEA. Alloy scraps (304L stainless steel, Nichrome 80 and electrical wire grade Copper) obtained from various sources were melted together using vacuum arc melting along with minor additions of Mn and Cr to achieve the equiatomic composition.The alloy was characterized using X-ray Diffraction (XRD) and Scanning Electron Microscopy, which confirmed that the alloy produced through Alloy mixing exhibits a microstructure similar to that of the alloy with the same composition produced through conventional melting of pure elements


title: HiPACE++: a portable, 3D quasi-static Particle-in-Cell code

abstract: Modeling plasma accelerators is a computationally challenging task and the quasi-static particle-in-cell algorithm is a method of choice in a wide range of situations. In this work, we present the first performance-portable, quasi-static, three-dimensional particle-in-cell code HiPACE++. By decomposing all the computation of a 3D domain in successive 2D transverse operations and choosing appropriate memory management, HiPACE++ demonstrates orders-of-magnitude speedups on modern scientific GPUs over CPU-only implementations. The 2D transverse operations are performed on a single GPU, avoiding time-consuming communications. The longitudinal parallelization is done through temporal domain decomposition, enabling near-optimal strong scaling from 1 to 512 GPUs. HiPACE++ is a modular, open-source code enabling efficient modeling of plasma accelerators from laptops to state-of-the-art supercomputers.


title: Inducing a topological transition in graphene nanoribbons superlattices by external strain

abstract: Armchair graphene nanoribbons, when forming a superlattice, can be classified in different topological phases, with or without edge states. By means of tight-binding and classical molecular dynamics (MD) simulations, we studied the electronic and mechanical properties of some of these superlattices. MD shows that fracture in modulated superlattices is brittle, as for unmodulated ribbons, and that occurs at the thinner regions, with staggered superlattices achieving a larger fracture strain. We found a general mechanism to induce a topological transition with strain, related to the electronic properties of each segment of the superlattice, and by studying the sublattice polarization we were able to characterize the transition and the response of these states to the strain. For the cases studied in detail here, the topological transition occurred at $\sim$3-5 \% strain, well below the fracture strain. The topological states of the superlattice -- if present -- are robust to strain even close to fracture. Unlike the zero-energy edge states found in the zig-zag edges of graphene nanoribbons, the superlattice states shows signatures of being particularly insensitive to disorder, even in real space.


title: Ranking Feature-Block Importance in Artificial Multiblock Neural Networks

abstract: In artificial neural networks, understanding the contributions of input features on the prediction fosters model explainability and delivers relevant information about the dataset. While typical setups for feature importance ranking assess input features individually, in this study, we go one step further and rank the importance of groups of features, denoted as feature-blocks. A feature-block can contain features of a specific type or features derived from a particular source, which are presented to the neural network in separate input branches (multiblock ANNs). This work presents three methods pursuing distinct strategies to rank features in multiblock ANNs by their importance: (1) a composite strategy building on individual feature importance rankings, (2) a knock-in, and (3) a knock-out strategy. While the composite strategy builds on state-of-the-art feature importance rankings, knock-in and knock-out strategies evaluate the block as a whole via a mutual information criterion. Our experiments consist of a simulation study validating all three approaches, followed by a case study on two distinct real-world datasets to compare the strategies. We conclude that each strategy has its merits for specific application scenarios.


title: Ends of large scale groups

abstract: The aim of this paper is to unify the theory of ends of finitely generated groups with that of ends of locally compact, metrizable and connected topological groups. In both theories one proves that, if the number of ends is finite, then it must be at most $2$. In both theories groups of two ends are characterized as having an infinite cyclic subgroup of either finite index or such that its coset space is compact. Our generalization amounts to defining the space of ends of any coarse space and then applying it to large scale groups, a class of groups generalizing both finitely generated groups and locally compact, metrizable and connected topological groups. Additionally, we prove a version of Svarc-Milnor Lemma for large scale groups and we prove that coarsely hyperbolic large scale groups have finite asymptotic dimension provided they have bounded geometry.


title: Excessive symmetry can preclude cutoff

abstract: For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $\mathfrak{S}_n$, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [RW], while a systematic study of random walks on these families were considered in [RW2]. In this paper we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [AD]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.


title: TrOCR: Transformer-based Optical Character Recognition with Pre-trained Models

abstract: Text recognition is a long-standing research problem for document digitalization. Existing approaches are usually built based on CNN for image understanding and RNN for char-level text generation. In addition, another language model is usually needed to improve the overall accuracy as a post-processing step. In this paper, we propose an end-to-end text recognition approach with pre-trained image Transformer and text Transformer models, namely TrOCR, which leverages the Transformer architecture for both image understanding and wordpiece-level text generation. The TrOCR model is simple but effective, and can be pre-trained with large-scale synthetic data and fine-tuned with human-labeled datasets. Experiments show that the TrOCR model outperforms the current state-of-the-art models on the printed, handwritten and scene text recognition tasks. The TrOCR models and code are publicly available at \url{https://aka.ms/trocr}.


title: Why Noether's Theorem applies to Statistical Mechanics

abstract: Noether's Theorem is familiar to most physicists due its fundamental role in linking the existence of conservation laws to the underlying symmetries of a physical system. Typically the systems are described in the particle-based context of classical mechanics or on the basis of field theory. We have recently shown [Commun. Phys. $\textbf{4}$, 176 (2021)] that Noether's reasoning also applies to thermal systems, where fluctuations are paramount and one aims for a statistical mechanical description. Here we give a pedagogical introduction based on the canonical ensemble and apply it explicitly to ideal sedimentation. The relevant mathematical objects, such as the free energy, are viewed as functionals. This vantage point allows for systematic functional differentiation and the resulting identities express properties of both macroscopic average forces and molecularly resolved correlations in many-body systems, both in and out-of-equilibrium, and for active Brownian particles. To provide further background, we briefly describe the variational principles of classical density functional theory, of power functional theory, and of classical mechanics.


title: Toy model of harmonic and sum frequency generation in 2D nanostructures

abstract: Optical nonlinearities of matter are often associated with the response of individual atoms. Here, using a toy oscillator model, we show that in the confined geometry of a two-dimensional dielectric nanoparticle a collective nonlinear response of the atomic array can arise from the Coulomb interactions of the bound optical electrons, even if the individual atoms exhibit no nonlinearity. We determine the multipole contributions to the nonlinear response of nanoparticles and demonstrate that the odd order and even order nonlinear electric dipole moments scale with the area and perimeter of the nanoparticle, respectively.


title: Early and Revocable Time Series Classification

abstract: Many approaches have been proposed for early classification of time series in light of itssignificance in a wide range of applications including healthcare, transportation and fi-nance. Until now, the early classification problem has been dealt with by considering onlyirrevocable decisions. This paper introduces a new problem calledearly and revocabletimeseries classification, where the decision maker can revoke its earlier decisions based on thenew available measurements. In order to formalize and tackle this problem, we propose anew cost-based framework and derive two new approaches from it. The first approach doesnot consider explicitly the cost of changing decision, while the second one does. Exten-sive experiments are conducted to evaluate these approaches on a large benchmark of realdatasets. The empirical results obtained convincingly show (i) that the ability of revok-ing decisions significantly improves performance over the irrevocable regime, and (ii) thattaking into account the cost of changing decision brings even better results in general.Keywords:revocable decisions, cost estimation, online decision making


title: Oscillation and collective behavior in convective flows

abstract: Oscillation and collective behavior in convection-driven fluid columns are investigated and discussed in analogy with similar phenomenon observed for the flickering flames of candle bundles. It is shown experimentally that an ascending circular Helium gas column performs an oscillation which is similar in several aspects to the oscillation of diffusion flames. Increasing the nozzle diameter leads to a decrease in the oscillation frequency, while increasing the flow rate results in an increase in this frequency. For helium columns oscillating at nearby frequency and placed close to each other anti-phase synchronization and beating phenomena is observed. A simple toy-model based on elementary hydrodynamics describes the observed oscillations and leads to oscillation frequencies in the right order of magnitude.


title: Rate-capability of the VMM3a Front End in the RD51 Scalable Readout System

abstract: The VMM3a is an Application Specific Integrated Circuit (ASIC), specifically developed for the readout of gaseous detectors. Originally developed within the ATLAS New Small Wheel (NSW) upgrade, it has been successfully integrated into the Scalable Readout System (SRS) of the RD51 collaboration. This allows, to use the VMM3a also in small laboratory set-ups and mid-scale experiments, which make use of Micro-Pattern Gaseous Detectors (MPGDs). As part of the integration of the VMM3a into the SRS, the readout and data transfer scheme was optimised to reach a high rate-capability of the entire readout system and profit from the VMM3a's high single-channel rate-capability of 3.6 Mhits/s. The optimisation focused mainly on the handling of the data output stream of the VMM3a, but also on the development of a trigger-logic between the front-end cards and the DAQ computer. In this article, two firmware implementations of the non-ATLAS continuous readout mode are presented, as well as the implementation of the trigger-logic. Afterwards, a short overview on X-ray imaging results is presented, to illustrate the high rate-capability rom an application point-of-view.


title: Electric Penrose process: high-energy acceleration of ionized particles by non-rotating weakly charged black hole

abstract: In many astrophysical scenarios the charge of the black hole is often neglected due to unrealistically large values of the charge required for the Reissner-Nordstr\"om spacetime metric. However, black holes may possess small electric charge due to various selective accretion mechanisms. In this paper we investigate the effect of a small hypothetical electric charge of a Schwarzschild black hole on the ionization of a freely falling neutral particle and subsequent escape of the ionized particle from the black hole. We show that the energy of ionized particle can grow ultra-high and discuss distinguishing signatures of particle acceleration by weakly charged black holes. We also discuss a possible application of the proposed mechanism as an alternative cosmic ray acceleration scenario. In particular we show that the Galactic centre supermassive black hole is capable to act as a PeVatron of protons. The presented mechanism can serve as a simple toy model of a non-rotating compact object acting as a particle accelerator with a potential astrophysical implementations related to the cosmic ray physics and beyond.


title: Existence, nonexistence and multiplicity of positive solutions for singular quasilinear problems

abstract: In the present paper we deal with a quasilinear problem involving a singular term and a parametric superlinear perturbation. We are interested in the existence, nonexistence and multiplicity of positive solutions as the parameter $\lambda>0$ varies. In our first result, the superlinear perturbation has an arbitrary growth and we obtain the existence of a solution for the problem by using the sub-supersolution method. For the second result, the superlinear perturbation has subcritical growth and we employ the Mountain Pass Theorem to show the existence of a second solution.


title: From limited observations to the state of turbulence: Fundamental difficulties of flow reconstruction

abstract: Numerical simulations of turbulence provide non-intrusive access to all the resolved scales, although they often invoke idealizations that can compromise realism. In contrast, experimental measurements probe the true flow with lesser idealizations, but they continually contend with spatio-temporal sensor resolution. Assimilating observations directly in simulations can combine the benefits of both approaches. The problem is expressed in variational form, where we seek a Navier-Stokes solution that minimizes a cost function defined in terms of the deviation of numerical predictions and observations. In this framework, measurements are no longer a mere record of the instantaneous, local quantity, but rather an encoding of the antecedent flow events that we aim to decode using the governing equations. We examine three state estimation problems: In circular Couette flow, starting from wall stress data, we accurately reconstruct the nonlinear saturated wavy Taylor vortices. Through a discussion of transition to chaos in a Lorenz system, we highlight the challenge of navigating the landscape of the cost function, and how the landscape can be modified by sensor placement. In turbulent channel flow, the Taylor microscale and Lyapunov timescale place restrictions on the resolution of observations that ensure an accurate reconstruction of all the scales. The notion of domain of dependence of an observation is introduced and related to the Hessian of the cost function. For measurements of wall stress, the eigenspectrum of the Hessian demonstrates the sensitivity of short-time observations to the near-wall turbulent scales and to outer large scales. At long times, backward chaos obfuscates the interpretation of the data: observations that are infinitesimally close may be traced back to entirely different earlier flow states--a dual to the more common butterfly effect for forward trajectories.


title: A Quantum-Inspired Classical Solver for Boolean k-Satisfiability Problems

abstract: In this paper we detail a classical algorithmic approach to the k-satisfiability (k-SAT) problem that is inspired by the quantum amplitude amplification algorithm. This work falls under the emerging field of quantum-inspired classical algorithms. To propose our modification, we adopt an existing problem model for k-SAT known as Universal SAT (UniSAT), which casts the Boolean satisfiability problem as a non-convex global optimization over a real-valued space. The quantum-inspired modification to UniSAT is to apply a conditioning operation to the objective function that has the effect of "amplifying" the function value at points corresponding to optimal solutions. We describe the algorithm for achieving this amplification, termed "AmplifySAT," which follows a familiar two-step process of applying an oracle-like operation followed by a reflection about the average. We then discuss opportunities for meaningfully leveraging this processing in a classical digital or analog computing setting, attempting to identify the strengths and limitations of AmplifySAT in the context of existing non-convex optimization strategies like simulated annealing and gradient descent.


title: From Neuronal Spikes to Avalanches -- Effects and Circumvention of Time Binning

abstract: Branching with immigration is one of the most common models for the stochastic processes observed in neuronal circuits. However, it is not observed directly and, in order to create branching-like processes, the observed spike time series is processed by attaching time bins to spikes. It has been shown that results such as criticality and size distributions depend on the chosen time bin. A different methodology whose results do not depend on the choice of time bin might therefore be useful and is proposed in this article. The new methodology circumvents using time bins altogether by replacing the previously used discrete-time models by continuous-time models. First, the article introduces and characterises a continuous-time version of the branching process with immigration, which will be called pumped branching process, and second, it presents an analytical derivation of the corresponding spike statistics, which can be directly compared to observed spike time series. The presented approach allows determining the degree of criticality, the average number of overlapping avalanches, and other observables without using a time bin. Furthermore, the effects caused by using time bins are analyzed and the influence of temporal and spatial subsampling discussed, all of which is compared to experimental data and supported by Monte Carlo simulations.


title: The Lawnmower: an autonomous, protein-based artificial molecular motor

abstract: Inspired by biology, great progress has been made in creating artificial molecular motors. However, the dream of harnessing proteins - the building blocks selected by Nature - to design autonomous motors has so far remained elusive. Here we report the synthesis and characterization of the Lawnmower, an autonomous, protein-based artificial molecular motor comprised of a spherical hub decorated with proteases. Its "burnt-bridge" motion is directed by cleavage of a peptide lawn, promoting motion towards unvisited substrate. We find that Lawnmowers exhibit directional motion with average speeds of up to 80 nm/s, comparable to biological motors. By selectively patterning the peptide lawn on microfabricated tracks, we furthermore show that the Lawnmower is capable of track-guided motion. Our work opens an avenue towards nanotechnology applications of artificial protein motors.


title: DeepSTL -- From English Requirements to Signal Temporal Logic

abstract: Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely accepted belief that formal methods require extensive expertise and a steep learning curve. Writing correct formal specifications in form of logical formulas is still considered to be a difficult and error prone task. In this paper we propose DeepSTL, a tool and technique for the translation of informal requirements, given as free English sentences, into Signal Temporal Logic (STL), a formal specification language for cyber-physical systems, used both by academia and advanced research labs in industry. A major challenge to devise such a translator is the lack of publicly available informal requirements and formal specifications. We propose a two-step workflow to address this challenge. We first design a grammar-based generation technique of synthetic data, where each output is a random STL formula and its associated set of possible English translations. In the second step, we use a state-of-the-art transformer-based neural translation technique, to train an accurate attentional translator of English to STL. The experimental results show high translation quality for patterns of English requirements that have been well trained, making this workflow promising to be extended for processing more complex translation tasks.


title: Variational structure and uniqueness of generalized K\"ahler-Ricci solitons

abstract: Under broad hypotheses we derive a scalar reduction of the generalized K\"ahler-Ricci soliton system. We realize solutions as critical points of a functional analogous to the classical Aubin energy defined on the orbit of a natural Hamiltonian action of diffeomorphisms, thought of as a generalized K\"ahler class. This functional is convex on a large set of paths in this space, and using this we show rigidity of solitons in their generalized K\"ahler class. As an application we prove uniqueness of the generalized K\"ahler-Ricci solitons on Hopf surfaces constructed in arXiv:1907.03819, finishing the classification in complex dimension $2$.


title: The influence of the environment on the spin evolution of low-mass stars. I. External photoevaporation of circumstellar disks

abstract: Massive stars are strong sources of far-ultraviolet radiation that can be hostile to the evolution of protoplanetary disks, driving mass loss by external photoevaporation and shortening disk-dissipation timescales. Their effect may also reduce the timescale of angular momentum exchanges between the disk and host star during the early pre-main-sequence phase. To improve our understanding of the environmental influence on the rotational history of stars, we developed a model that considers the influence of the local far-ultraviolet radiation on the spin evolution of low mass stars. Our model includes an assumption of disk-locking, which fixes the rotation rate during the star-disk-interaction phase, with the duration of this phase parametrised as a function of the local far-ultraviolet radiation and stellar mass (in the range 0.1--1.3 M$_\odot$). In this way, we demonstrate how the feedback from massive stars can significantly influence the spin evolution of stars and explain the mass-dependency observed in period-mass distributions of young regions like Upper Sco and NGC 2264. The high far-ultraviolet environments of high-mass stars can skew the period distribution of surrounding stars towards fast-rotation, explaining the excess of fast-rotating stars in the open cluster h Per. The proposed link between rotation and the pre-main-sequence environment opens new avenues for interpreting the rotational distributions of young stars. For example, we suggest that stellar rotation may be used as a tracer for the primordial ultraviolet irradiation for stars up to $\sim$1 Gyr, which offers a potential method to connect mature planetary systems to their birth environment.


title: Integrated Kerr frequency comb-driven silicon photonic transmitter

abstract: The exponential growth of computing needs for artificial intelligence and machine learning has had a dramatic impact on data centre energy consumption, which has risen to environmentally significant levels. Using light to send information between compute nodes can dramatically decrease this energy consumption while simultaneously increasing bandwidth. Through wavelength-division multiplexing with chip-based microresonator Kerr frequency combs, independent information channels can be encoded onto many distinct colours of light in the same optical fibre for massively parallel data transmission with low energy. While previous demonstrations have relied on benchtop equipment for filtering and modulating Kerr comb wavelength channels, data centre interconnects require a compact on-chip form factor for these operations. Here, we demonstrate the first integrated silicon photonic transmitter using a Kerr comb source. The demonstrated architecture is scalable to hundreds of wavelength channels, enabling a fundamentally new class of massively parallel terabit-scale optical interconnects for future green hyperscale data centres.


title: Assured Neural Network Architectures for Control and Identification of Nonlinear Systems

abstract: In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture (number of layers and number of neurons per layer) with the assurance that it is sufficiently parametrized to control a nonlinear system; i.e. control the system to satisfy a given formal specification. This is unlike current techniques, which provide no assurances on the resultant architecture. Moreover, our approach requires only limited knowledge of the underlying nonlinear system and specification. We assume only that the specification can be satisfied by a Lipschitz-continuous controller with a known bound on its Lipschitz constant; the specific controller need not be known. From this assumption, we bound the number of affine functions needed to construct a Continuous Piecewise Affine (CPWA) function that can approximate any Lipschitz-continuous controller that satisfies the specification. Then we connect this CPWA to a NN architecture using the authors' recent results on the Two-Level Lattice (TLL) NN architecture; the TLL architecture was shown to be parameterized by the number of affine functions present in the CPWA function it realizes.


title: Double Schubert polynomials do have saturated Newton polytopes

abstract: We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid.


title: A Multiplicative Property for Zero-Sums I

abstract: Let $G=C_n\oplus C_n$ and let $k\in [0,n-1]$. We study the structure of sequences of terms from $G$ with maximal length $|S|=2n-2+k$ that fail to contain a nontrivial zero-sum subsequence of length at most $2n-1-k$. For $k\leq 1$, this is the inverse question for the Davenport Constant. For $k=n-1$, this is the inverse question for the $\eta(G)$ invariant concerning short zero-sum subsequences. The structure in both these cases (known respectively as Property B and Property C) was established in a two-step process: first verifying the multiplicative property that, if the structural description holds when $n=n_1$ and $n=n_2$, then it holds when $n=n_1n_2$, and then resolving the case $n$ prime separately. When $n$ is prime, the structural characterization for $k\in [2,\frac{2n+1}{3}]$ was recently established, showing $S$ must have the form $S=e_1^{[n-1]}\boldsymbol{\cdot}e_2^{[n -1]}\boldsymbol{\cdot} (e_1+e_2)^{[k]}$ for some basis $(e_1,e_2)$ for $G$. It was conjectured that this also holds for $k\in [2,n-2]$ (when $n$ is prime). In this paper, we extend this conjecture by dropping the restriction that $n$ be prime and establish the following multiplicative result. Suppose $k=k_mn+k_n$ with $k_m\in [0,m-1]$ and $k_n\in [0,n-1]$. If the conjectured structure holds for $k_m$ in $C_m\oplus C_m$ and for $k_n$ in $C_n\oplus C_n$, then it holds for $k$ in $C_{mn}\oplus C_{mn}$. This reduces the full characterization question for $n$ and $k$ to the prime case. Combined with known results, this unconditionally establishes the structure for extremal sequences in $G=C_{n}\oplus C_{n}$ in many cases, including when $n$ is only divisible by primes at most $7$, when $n\geq 2$ is a prime power and $k\leq \frac{2n+1}{3}$, or when $n$ is composite and $k=n-d-1$ or $n-2d+1$ for a proper, nontrivial divisor $d\mid n$.


title: Reinforced random walks under memory lapses

abstract: We introduce a one-dimensional random walk, which at each step performs a reinforced dynamics with probability $\theta$ and with probability $1 - \theta$, the random walk performs a step independent of the past. We analyse its asymptotic behaviour, showing a law of large numbers and characterizing the diffusive and superdiffusive regions. We prove central limit theorems and law of iterated logarithm based on the martingale approach.


title: MITOSIS: Practically Scaling Permissioned Blockchains

abstract: Scalability remains one of the biggest challenges to the adoption of permissioned blockchain technologies for large-scale deployments. Permissioned blockchains typically exhibit low latencies, compared to permissionless deployments -- however at the cost of poor scalability. Various solutions were proposed to capture "the best of both worlds", targeting low latency and high scalability simultaneously, the most prominent technique being blockchain sharding. However, most existing sharding proposals exploit features of the permissionless model and are therefore restricted to cryptocurrency applications. We present MITOSIS, a novel approach to practically improve scalability of permissioned blockchains. Our system allows the dynamic creation of blockchains, as more participants join the system, to meet practical scalability requirements. Crucially, it enables the division of an existing blockchain (and its participants) into two -- reminiscent of mitosis, the biological process of cell division. MITOSIS inherits the low latency of permissioned blockchains while preserving high throughput via parallel processing. Newly created chains in our system are fully autonomous, can choose their own consensus protocol, and yet they can interact with each other to share information and assets -- meeting high levels of interoperability. We analyse the security of MITOSIS and evaluate experimentally the performance of our solution when instantiated over Hyperledger Fabric. Our results show that MITOSIS can be ported with little modifications and manageable overhead to existing permissioned blockchains, such as Hyperledger Fabric.


title: Computing Complexity-aware Plans Using Kolmogorov Complexity

abstract: In this paper, we introduce complexity-aware planning for finite-horizon deterministic finite automata with rewards as outputs, based on Kolmogorov complexity. Kolmogorov complexity is considered since it can detect computational regularities of deterministic optimal policies. We present a planning objective yielding an explicit trade-off between a policy's performance and complexity. It is proven that maximising this objective is non-trivial in the sense that dynamic programming is infeasible. We present two algorithms obtaining low-complexity policies, where the first algorithm obtains a low-complexity optimal policy, and the second algorithm finds a policy maximising performance while maintaining local (stage-wise) complexity constraints. We evaluate the algorithms on a simple navigation task for a mobile robot, where our algorithms yield low-complexity policies that concur with intuition.


title: Learning PAC-Bayes Priors for Probabilistic Neural Networks

abstract: Recent works have investigated deep learning models trained by optimising PAC-Bayes bounds, with priors that are learnt on subsets of the data. This combination has been shown to lead not only to accurate classifiers, but also to remarkably tight risk certificates, bearing promise towards self-certified learning (i.e. use all the data to learn a predictor and certify its quality). In this work, we empirically investigate the role of the prior. We experiment on 6 datasets with different strategies and amounts of data to learn data-dependent PAC-Bayes priors, and we compare them in terms of their effect on test performance of the learnt predictors and tightness of their risk certificate. We ask what is the optimal amount of data which should be allocated for building the prior and show that the optimum may be dataset dependent. We demonstrate that using a small percentage of the prior-building data for validation of the prior leads to promising results. We include a comparison of underparameterised and overparameterised models, along with an empirical study of different training objectives and regularisation strategies to learn the prior distribution.


title: Influence of Added Dye on Marangoni-driven Droplet Instability

abstract: Multiphase flows are challenging systems to study, not only from a fundamental point of view, but also from a practical one due to the difficulties in visualizing phases with similar refraction indices. An additional challenge arises when the multiphase flow to be observed occurs in the sub-millimetric range. A common solution in experimental fluid dynamics is the addition of a color dye for contrast enhancement. However, added dyes can act as surface-active agents and significantly influence the observed phenomena. In the recently reported Marangoni bursting phenomenon, where a binary droplet on top of an oil bath is atomized in thousands of smaller droplets by Marangoni stresses, visualization is particularly challenging and the use of color dyes is naturally tempting. In this work, we quantify experimentally the significant influence of added methyl blue dye, as well as the obtained contrast enhancement. We find that the reaction of the system to such an additive is far from trivial and brings an opportunity to learn about such a complex phenomenon. Additionally, we propose a simple method to analyze the contrast enhancement as a function of dye concentration, with the aim of finding the minimum concentration of dye for successful imaging in similar systems.


title: Sphericity of $\kappa$-classes and positive curvature via block bundles

abstract: Given a simply connected manifold $M$, we completely determine which rational monomial Pontryagin numbers are attained by fiber homotopy trivial $M$-bundles over the $k$-sphere, provided that $k$ is small compared to the dimension of $M$. Furthermore we study the vector space of rational cobordism classes represented by such bundles. We give upper and lower bounds on its dimension and we construct manifolds for which these bounds are attained. The proof is based on the classical approach to studying diffeomorphism groups via block bundles and surgery theory and we make use of ideas developed by Krannich--Kupers--Randal-Williams. As an application, we show the existence of elements of infinite order in the homotopy groups of the spaces of positive Ricci and positive sectional curvature, provided that $M$ is spin, has a non-trivial rational Pontryagin class and admits such a metric. This is done by constructing $M$-bundles over spheres with non-vanishing $\hat{A}$-genus. Furthermore, we give a vanishing theorem for generalised Morita--Miller--Mumford classes for fiber homotopy trivial bundles over spheres. In the appendix co-authored by Jens Reinhold it is (partially) determined which classes of the rational oriented cobordism ring contain an element that fibers over a sphere of a given dimension.


title: Local equivalence of some maximally symmetric $(2,3,5)$-distributions II

abstract: We show the change of coordinates that maps the maximally symmetric $(2,3,5)$-distribution given by solutions to the $k=\frac{2}{3}$ and $k=\frac{3}{2}$ generalised Chazy equation to the flat Cartan distribution. This establishes the local equivalence between the maximally symmetric $k=\frac{2}{3}$ and $k=\frac{3}{2}$ generalised Chazy distribution and the flat Cartan or Hilbert-Cartan distribution. We give the set of vector fields parametrised by solutions to the $k=\frac{2}{3}$ and $k=\frac{3}{2}$ generalised Chazy equation and the corresponding Ricci-flat conformal scale that bracket-generate to give the split real form of $\frak{g}_2$.


title: Defect-induced nonlinearity in 2D nanoparticles

abstract: Optical nonlinearity depends on symmetry and symmetries vanish in the presence of defects. Vaccancy defects in centrosymmetric crystals and thin films are a well-known source of even-order optical nonlinearity, e.g. causing second harmonic generation. The emerging ability to manipulate defects in two-dimensional materials and nanoparticles provides an opportunity for engineering of optical nonlinearity. Here, we demonstrate the effect of defects on the nonlinear optical response of two-dimensional dielectric nanoparticles. Using a toy model, where bound optical electrons of linear atoms are coupled by nonlinear Coulomb interactions, we model defect-induced nonlinearity. We find that defects at particle edges contribute strongly to even-order optical nonlinearity and that unique nonlinear signatures of different defect states could provide the smallest conceivable QR-codes and extremely high density optical data storage, in principle approaching 1 bit per atom.