title: Stabilizer Inactivation for Message-Passing Decoding of Quantum LDPC Codes

abstract: We propose a post-processing method for message-passing (MP) decoding of CSS quantum LDPC codes, called stabilizer-inactivation (SI). It relies on inactivating a set of qubits, supporting a check in the dual code, and then running the MP decoding again. This allows MP decoding to converge outside the inactivated set of qubits, while the error on these is determined by solving a small, constant size, linear system. Compared to the state of the art post-processing method based on ordered statistics decoding (OSD), we show through numerical simulations that MP-SI outperforms MP-OSD for different quantum LDPC code constructions, different MP decoding algorithms, and different MP scheduling strategies, while having a significantly reduced complexity.


title: One Model, Multiple Modalities: A Sparsely Activated Approach for Text, Sound, Image, Video and Code

abstract: People perceive the world with multiple senses (e.g., through hearing sounds, reading words and seeing objects). However, most existing AI systems only process an individual modality. This paper presents an approach that excels at handling multiple modalities of information with a single model. In our "{SkillNet}" model, different parts of the parameters are specialized for processing different modalities. Unlike traditional dense models that always activate all the model parameters, our model sparsely activates parts of the parameters whose skills are relevant to the task. Such model design enables SkillNet to learn skills in a more interpretable way. We develop our model for five modalities including text, image, sound, video and code. Results show that, SkillNet performs comparably to five modality-specific fine-tuned models. Moreover, our model supports self-supervised pretraining with the same sparsely activated way, resulting in better initialized parameters for different modalities. We find that pretraining significantly improves the performance of SkillNet on five modalities, on par with or even better than baselines with modality-specific pretraining. On the task of Chinese text-to-image retrieval, our final system achieves higher accuracy than existing leading systems including Wukong{ViT-B} and Wenlan 2.0 while using less number of activated parameters.


title: Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks

abstract: A fundamental problem in adversarial machine learning is to quantify how much training data is needed in the presence of evasion attacks. In this paper we address this issue within the framework of PAC learning, focusing on the class of decision lists. Given that distributional assumptions are essential in the adversarial setting, we work with probability distributions on the input data that satisfy a Lipschitz condition: nearby points have similar probability. Our key results illustrate that the adversary's budget (that is, the number of bits it can perturb on each input) is a fundamental quantity in determining the sample complexity of robust learning. Our first main result is a sample-complexity lower bound: the class of monotone conjunctions (essentially the simplest non-trivial hypothesis class on the Boolean hypercube) and any superclass has sample complexity at least exponential in the adversary's budget. Our second main result is a corresponding upper bound: for every fixed $k$ the class of $k$-decision lists has polynomial sample complexity against a $\log(n)$-bounded adversary. This sheds further light on the question of whether an efficient PAC learning algorithm can always be used as an efficient $\log(n)$-robust learning algorithm under the uniform distribution.


title: Space-Efficient Graph Coarsening with Applications to Succinct Planar Encodings

abstract: We present a novel space-efficient graph coarsening technique for $n$-vertex planar graphs $G$, called cloud partition, which partitions the vertices $V(G)$ into disjoint sets $C$ of size $O(\log n)$ such that each $C$ induces a connected subgraph of $G$. Using this partition $P$ we construct a so-called structure-maintaining minor $F$ of $G$ via specific contractions within the disjoint sets such that $F$ has $O(n/\log n)$ vertices. The combination of $(F, P)$ is referred to as a cloud decomposition. For planar graphs we show that a cloud decomposition can be constructed in $O(n)$ time and using $O(n)$ bits. Given a cloud decomposition $(F, P)$ constructed for a planar graph $G$ we are able to find a balanced separator of $G$ in $O(n/\log n)$ time. Contrary to related publications, we do not make use of an embedding of the planar input graph. We generalize our cloud decomposition from planar graphs to $H$-minor-free graphs for any fixed graph $H$. This allows us to construct the succinct encoding scheme for $H$-minor-free graphs due to Blelloch and Farzan (CPM 2010) in $O(n)$ time and $O(n)$ bits improving both runtime and space by a factor of $\Theta(\log n)$. As an additional application of our cloud decomposition we show that, for $H$-minor-free graphs, a tree decomposition of width $O(n^{1/2 + \epsilon})$ for any $\epsilon > 0$ can be constructed in $O(n)$ bits and a time linear in the size of the tree decomposition. Finally, we implemented our cloud decomposition algorithm and experimentally verified its practical effectiveness on both randomly generated graphs and real-world graphs such as road networks. The obtained data shows that a simplified version of our algorithms suffices in a practical setting, as many of the theoretical worst-case scenarios are not present in the graphs we encountered.


title: Addressing Census data problems in race imputation via fully Bayesian Improved Surname Geocoding and name supplements

abstract: Prediction of individual's race and ethnicity plays an important role in social science and public health research. Examples include studies of racial disparity in health and voting. Recently, Bayesian Improved Surname Geocoding (BISG), which uses Bayes' rule to combine information from Census surname files with the geocoding of an individual's residence, has emerged as a leading methodology for this prediction task. Unfortunately, BISG suffers from two Census data problems that contribute to unsatisfactory predictive performance for minorities. First, the decennial Census often contains zero counts for minority racial groups in the Census blocks where some members of those groups reside. Second, because the Census surname files only include frequent names, many surnames -- especially those of minorities -- are missing from the list. To address the zero counts problem, we introduce a fully Bayesian Improved Surname Geocoding (fBISG) methodology that accounts for potential measurement error in Census counts by extending the naive Bayesian inference of the BISG methodology to full posterior inference. To address the missing surname problem, we supplement the Census surname data with additional data on last, first, and middle names taken from the voter files of six Southern states where self-reported race is available. Our empirical validation shows that the fBISG methodology and name supplements significantly improve the accuracy of race imputation across all racial groups, and especially for Asians. The proposed methodology, together with additional name data, is available via the open-source software WRU.


title: Multi Task Learning For Zero Shot Performance Prediction of Multilingual Models

abstract: Massively Multilingual Transformer based Language Models have been observed to be surprisingly effective on zero-shot transfer across languages, though the performance varies from language to language depending on the pivot language(s) used for fine-tuning. In this work, we build upon some of the existing techniques for predicting the zero-shot performance on a task, by modeling it as a multi-task learning problem. We jointly train predictive models for different tasks which helps us build more accurate predictors for tasks where we have test data in very few languages to measure the actual performance of the model. Our approach also lends us the ability to perform a much more robust feature selection and identify a common set of features that influence zero-shot performance across a variety of tasks.


title: Framework for inferring empirical causal graphs from binary data to support multidimensional poverty analysis

abstract: Poverty is one of the fundamental issues that mankind faces. To solve poverty issues, one needs to know how severe the issue is. The Multidimensional Poverty Index (MPI) is a well-known approach that is used to measure a degree of poverty issues in a given area. To compute MPI, it requires information of MPI indicators, which are \textbf{binary variables} collecting by surveys, that represent different aspects of poverty such as lacking of education, health, living conditions, etc. Inferring impacts of MPI indicators on MPI index can be solved by using traditional regression methods. However, it is not obvious that whether solving one MPI indicator might resolve or cause more issues in other MPI indicators and there is no framework dedicating to infer empirical causal relations among MPI indicators. In this work, we propose a framework to infer causal relations on binary variables in poverty surveys. Our approach performed better than baseline methods in simulated datasets that we know ground truth as well as correctly found a causal relation in the Twin births dataset. In Thailand poverty survey dataset, the framework found a causal relation between smoking and alcohol drinking issues. We provide R CRAN package `BiCausality' that can be used in any binary variables beyond the poverty analysis context.


title: Core-Stability in Assignment Markets with Financially Constrained Buyers

abstract: We study markets where a set of indivisible items is sold to bidders with unit-demand valuations, subject to a hard budget limit. Without financial constraints and pure quasilinear bidders, this assignment model allows for a simple ascending auction format that maximizes welfare and is incentive-compatible and core-stable. Introducing budget constraints, the ascending auction requires strong additional conditions on the unit-demand preferences to maintain its properties. We show that, without these conditions, we cannot hope for an incentive-compatible and core-stable mechanism. We design an iterative algorithm that depends solely on a trivially verifiable ex-post condition and demand queries, and with appropriate decisions made by an auctioneer, always yields a welfare-maximizing and core-stable outcome. If these conditions do not hold, we cannot hope for incentive-compatibility and computing welfare-maximizing assignments and core-stable prices is hard: Even in the presence of value queries, where bidders reveal their valuations and budgets truthfully, we prove that the problem becomes NP-complete for the assignment market model. The analysis complements complexity results for markets with more complex valuations and shows that even with simple unit-demand bidders the problem becomes intractable. This raises doubts on the efficiency of simple auction designs as they are used in high-stakes markets, where budget constraints typically play a role.


title: Orbital Mixer: Using Atomic Orbital Features for Basis Dependent Prediction of Molecular Wavefunctions

abstract: Leveraging ab initio data at scale has enabled the development of machine learning models capable of extremely accurate and fast molecular property prediction. A central paradigm of many previous works focuses on generating predictions for only a fixed set of properties. Recent lines of research instead aim to explicitly learn the electronic structure via molecular wavefunctions from which other quantum chemical properties can directly be derived. While previous methods generate predictions as a function of only the atomic configuration, in this work we present an alternate approach that directly purposes basis dependent information to predict molecular electronic structure. The backbone of our model, Orbital Mixer, uses MLP Mixer layers within a simple, intuitive, and scalable architecture and achieves competitive Hamiltonian and molecular orbital energy and coefficient prediction accuracies compared to the state-of-the-art.


title: Prospects for Higgs boson and new scalar resonant production searches in ttbb final state at the LHC

abstract: In this article we probe resonant associated production of a Standard Model Higgs boson with new heavy scalar resonant in proton-proton collisions at a center-of-mass energy $\sqrt{s} = 13$ TeV. The Higgs boson and new scalar resonant are required to decay into a pair of bottom quarks and a pair of top quarks, respectively. Semileptonic decay of top quarks is considered. The searches are projected into operation conditions of the Large Hadron Collider during Run II data taking period at a center-of-mass energy of 13 TeV using Monte Carlo generated events, realistic detector response simulation and available Open Data samples. Analysis strategies are summarized and machine learning approach using Deep Neural Network is proposed to resolve ambiguous in jets assignment and improve kinematic reconstruction of signal events. Sensitivity of the CMS detector is estimated as 95% expected upper limits on the product of the production cross section and the branching fractions of the searched process.


title: Fair NLP Models with Differentially Private Text Encoders

abstract: Encoded text representations often capture sensitive attributes about individuals (e.g., race or gender), which raise privacy concerns and can make downstream models unfair to certain groups. In this work, we propose FEDERATE, an approach that combines ideas from differential privacy and adversarial training to learn private text representations which also induces fairer models. We empirically evaluate the trade-off between the privacy of the representations and the fairness and accuracy of the downstream model on four NLP datasets. Our results show that FEDERATE consistently improves upon previous methods, and thus suggest that privacy and fairness can positively reinforce each other.


title: Weakly nonlinear dynamics of a chemically active particle near the threshold for spontaneous motion. I. Adjoint method

abstract: In this Series, we study the weakly nonlinear dynamics of chemically active particles near the threshold for spontaneous motion. In this part, we focus on steady solutions and develop an `adjoint method' for deriving the nonlinear amplitude equation governing the particle's velocity, first assuming the canonical model in the literature of an isotropic chemically active particle and then considering general perturbations about that model. As in previous works, the amplitude equation is obtained from a solvability condition on the inhomogeneous problem at second order of a particle-scale weakly nonlinear expansion, the formulation of that problem involving asymptotic matching with a leading-order solution in a remote region where advection and diffusion are balanced. We develop a generalised solvability condition based on a Fredholm Alternative argument, which entails identifying the adjoint linear operator at the threshold and calculating its kernel. This circumvents the apparent need in earlier theories to solve the second-order inhomogeneous problem, resulting in considerable simplification and adding insight by making it possible to treat a wide range of perturbation scenarios on a common basis. To illustrate our approach, we derive and solve amplitude equations for a number of perturbation scenarios (external force and torque fields, non-uniform surface properties, first-order surface kinetics and bulk absorption), demonstrating that sufficiently near the threshold weak perturbations can appreciably modify and enrich the landscape of steady solutions.


title: Duality in BP<n> (co)homology

abstract: Let E=BP<n> denote the Johnson-Wilson spectrum, localized at p. It is proved that if E_*(X) is locally finite, then there is an isomorphism of right E_*-modules E^*(X) = (E_*(Sigma^{D+n+1}X))^V, where D=Sum |v_i| and M^V=Hom(M,Q/Z) is the Pontryagin dual. This result was motivated by work of the author and W.S.Wilson regarding the 2-local ku-homology and -cohomology of the Eilenberg-MacLane space K(Z/2,2).


title: IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

abstract: This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.


title: Statistical correlations of nuclear quadrupole deformations and charge radii

abstract: Shape deformations and charge radii, basic properties of atomic nuclei, are influenced by both the global features of the nuclear force and the nucleonic shell structure. As functions of proton and neutron number, both quantities show regular patterns and, for nuclei away from magic numbers, they change very smoothly from nucleus to nucleus. In this paper, we explain how the local shell effects are impacting the statistical correlations between quadrupole deformations and charge radii in well-deformed even-even Er, Yb, and Hf isotopes. This implies, in turn, that sudden changes in correlations can be useful indicators of underlying shell effects. Our theoretical analysis is performed in the framework of self-consistent mean-field theory using quantified energy density functionals and density-dependent pairing forces. The statistical analysis is carried out by means of the linear least-square regression. The local variations of nuclear quadrupole deformations and charge radii, explained in terms of occupations individual deformed Hartree-Fock orbits, make and imprint on statistical correlations of computed observables. While the calculated deformations or charge radii are, in some cases, correlated with those of their even-even neighbors, the correlations seem to deteriorate rapidly with particle number. The statistical correlations between nuclear deformations and charge radii of different nuclei are affected by the underlying shell structure. Even for well deformed and superfluid nuclei for which these observables change smoothly, the correlation range usually does not exceed $\Delta N=4$ and $\Delta Z=4$, i.e., it is rather short. This result suggests that the frequently made assumption of reduced statistical errors for the differences between smoothly-varying observables cannot be generally justified.


title: Hawking radiation from an evaporating black hole via Bogoliubov transformations

abstract: We study Hawking radiation on a Vaidya space-time with a gravitational collapse followed by evaporation. The collapsing body is a null thin-shell and the evaporation is induced by a negative energy collapsing null-shell. This mimics the back-reaction to the Hawking radiation. Using Hawking's original method of Bogoliubov transformations we characterize the radiated spectrum as dominated by a thermal emission with an increasing effective temperature. We compute this time dependent temperature and find numerical agreement with results obtained by other techniques. The known divergences at the evaporation time are explained by the divergent nature of the effective temperature. As a consistency check, we re-derived the results from a zero mass limit of a remnant BH scenario.


title: Complete frequency-bin Bell basis synthesizer

abstract: We report the experimental generation of all four frequency-bin Bell states in a single versatile setup via successive pumping of spontaneous parametric downconversion with single and dual spectral lines. Our scheme utilizes intensity modulation to control the pump configuration and offers turn-key generation of any desired Bell state using only off-the-shelf telecommunication equipment. We employ Bayesian inference to reconstruct the density matrices of the generated Bell states, finding fidelities $\geq$ 97% for all cases. Additionally, we demonstrate the sensitivity of the frequency-bin Bell states to common-mode and differential-mode temporal delays traversed by the photons comprising the state$\unicode{x2013}$presenting the potential for either enhanced resolution or nonlocal sensing enabled by our complete Bell basis synthesizer.


title: Multimodal Indoor Localisation for Measuring Mobility in Parkinson's Disease using Transformers

abstract: Parkinson's disease (PD) is a slowly progressive debilitating neurodegenerative disease which is prominently characterised by motor symptoms. Indoor localisation, including number and speed of room to room transitions, provides a proxy outcome which represents mobility and could be used as a digital biomarker to quantify how mobility changes as this disease progresses. We use data collected from 10 people with Parkinson's, and 10 controls, each of whom lived for five days in a smart home with various sensors. In order to more effectively localise them indoors, we propose a transformer-based approach utilizing two data modalities, Received Signal Strength Indicator (RSSI) and accelerometer data from wearable devices, which provide complementary views of movement. Our approach makes asymmetric and dynamic correlations by a) learning temporal correlations at different scales and levels, and b) utilizing various gating mechanisms to select relevant features within modality and suppress unnecessary modalities. On a dataset with real patients, we demonstrate that our proposed method gives an average accuracy of 89.9%, outperforming competitors. We also show that our model is able to better predict in-home mobility for people with Parkinson's with an average offset of 1.13 seconds to ground truth.


title: Emergent Dynamics of Spacetime and Matter from a Topological Phase

abstract: In this paper, we present a new theoretical scenario in which both dynamical Dirac fermions and Einstein's gravity with a positive cosmological constant and torsion emerge via a spontaneous symmetry breaking in a topological phase. This phase does not contain any local propagating degrees of freedom and is described by a metric-independent fermionic gauge theory, which is invariant under the de Sitter group. After breaking this group to its Lorentz subgroup through a dynamical Higgs mechanism, we show that fermions become dynamical and massive while the dynamics of the locally Lorentz-invariant spacetime can be induced via the condensation of the spinor field. Within our theory, both the Dirac mass and the Newton's constant of gravitation naturally emerge through well-known physical mechanisms.


title: Mass and Age determination of the LAMOST data with different Machine Learning methods

abstract: We present a catalog of 948,216 stars with mass label and a catalog of 163,105 red clump (RC) stars with mass and age labels simultaneously. The training dataset is cross matched from the LAMOST (The Large Sky Area Multi-Object Fiber Spectroscopic Telescope) DR5 and high resolution asteroseismology data, mass and age are predicted by random forest method or convex hull algorithm. The stellar parameters with high correlation with mass and age are extracted and the test dataset shows that the median relative error of the prediction model for the mass of large sample is 3\% and meanwhile, the mass and age of red clump stars are 4\% and 7\%. We also compare the predicted age of red clump stars with the recent works and find that the final uncertainty of the RC sample could reach 18\% for age and 9\% for mass, in the meantime, final precision of the mass for large sample with different type of stars could reach 13\% without considering systematics, all these are implying that this method could be widely used in the future. Moreover, we explore the performance of different machine learning methods for our sample, including bayesian linear regression (BYS), gradient boosting decision Tree (GBDT), multilayer perceptron (MLP), multiple linear regression (MLR), random forest (RF) and support vector regression (SVR). Finally we find that the performance of nonlinear model is generally better than that of linear model, and the GBDT and RF methods are relatively better.


title: Issues in the calculations of dc conductivity of warm dense aluminum

abstract: In the Ziman-Evans formulation, the electrical resistivity involves several quantities like the plasma mean ionization and chemical potential, the electron-ion scattering cross-section, the ion-ion structure factor, and the derivative of the Fermi distribution with respect to electron energy. Therefore, in order to make significant progress while comparing different models or analyzing experimental measurements, it is important to try to get insight into such partial physical quantities. In the present work, we propose to investigate the sensitivity of the resistivity to the different physical quantities required for its computation.


title: Monoclinic symmetry at the nanoscale in lead-free ferroelectric BaZr$_{x}$Ti$_{1-x}$O$_{3}$ ceramics

abstract: Local structural symmetries play a key role in the functionalities of ferroelectric materials and are often found different from average symmetry. Here, we study the real space nanoscale structure in Pb-free BaZr$_{x}$Ti$_{1-x}$O$_{3}$ (x $\leq$ 0.10) by pair distribution function measurements, complemented by transmission electron microscopy and x-ray diffraction. Our observations show existence of the rhombohedrally distorted unit cells; however, at intermediate length scales, at least up to 5 nm, there exist nano-scale correlated regions of monoclinic symmetry. This is complemented by the observation of curved frustrated nanodomains. Further, the average structure is found to have coexisting monoclinic and rhombohedral symmetries. Our observation of a two-phase ferroelectric state is in contrast to interferroelectric instabilities of conventional polymorphic phase boundaries reported for doped BaTiO$_{3}$.


title: On matrix sets invariant under conjugation and taking linear combinations of commuting elements

abstract: Subsets of a matrix algebra over a field that are invariant under conjugation and contain the linear span of each two of their commuting elements are described. They obviously include the subsets of diagonalizable and nilpotent matrices. In the paper, the case of an algebraically closed field is considered. The problem is easily reduced to description of subsets of diagonalizable matrices and subsets of nilpotent matrices with the given properties. So, among diagonalizable matrices, there are four of such subsets. As for the nilpotent case, it is proved that the subset should be defined by the condition that the sizes of all Jordan cells of the matrix belong to a certain number set. An explicit criterion is obtained in terms of this set.


title: Spatially resolved spectroscopy of alkali metal vapour diffusing inside hollow-core photonic crystal fibres

abstract: We present a new type of compact and all-glass based vapour cell integrating hollow-core photonic crystal fibres. The absence of metals, as in a traditional vacuum chamber and the much more compact geometry allows for fast and homogeneous heating. As a consequence we can fill the fibres on much faster timescales, ranging from minutes to hours. Additionally the all-glass design ensures optical access along the fibre. This allows live monitoring of the diffusion of rubidium atoms inside the hollow-core by measuring the frequency-dependent fluorescence from the atoms. The atomic density is numerically retrieved using a 5-level system of Bloch-equations.


title: Is the Computation of Abstract Sameness Relations Human-Like in Neural Language Models?

abstract: In recent years, deep neural language models have made strong progress in various NLP tasks. This work explores one facet of the question whether state-of-the-art NLP models exhibit elementary mechanisms known from human cognition. The exploration is focused on a relatively primitive mechanism for which there is a lot of evidence from various psycholinguistic experiments with infants. The computation of "abstract sameness relations" is assumed to play an important role in human language acquisition and processing, especially in learning more complex grammar rules. In order to investigate this mechanism in BERT and other pre-trained language models (PLMs), the experiment designs from studies with infants were taken as the starting point. On this basis, we designed experimental settings in which each element from the original studies was mapped to a component of language models. Even though the task in our experiments was relatively simple, the results suggest that the cognitive faculty of computing abstract sameness relations is stronger in infants than in all investigated PLMs.


title: Direct Foundations for Compositional Programming

abstract: The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem. CP is implemented on top of a polymorphic core language with disjoint intersection types called Fi+. The semantics of Fi+ employs an elaboration to a target language and relies on a sophisticated proof technique to prove the coherence of the elaboration. Unfortunately, the proof technique is technically challenging and hard to scale to many common features, including recursion or impredicative polymorphism. Thus, the original formulation of Fi+ does not support the two later features, which creates a gap between theory and practice, since CP fundamentally relies on them. This paper presents a new formulation of Fi+ based on a type-directed operational semantics (TDOS). The TDOS approach was recently proposed to model the semantics of languages with disjoint intersection types (but without polymorphism). Our work shows that the TDOS approach can be extended to languages with disjoint polymorphism and model the full Fi+ calculus. Unlike the elaboration semantics, which gives the semantics to Fi+ indirectly via a target language, the TDOS approach gives a semantics to Fi+ directly. With a TDOS, there is no need for a coherence proof. Instead, we can simply prove that the semantics is deterministic. The proof of determinism only uses simple reasoning techniques, such as straightforward induction, and is able to handle problematic features such as recursion and impredicative polymorphism. This removes the gap between theory and practice and validates the original proofs of correctness for CP. We formalized the TDOS variant of the Fi+ calculus and all its proofs in the Coq proof assistant.


title: Sum rules for Clebsch-Gordan coefficients from group theory and Runge-Lenz-Pauli vector

abstract: We present sum rules for Clebsch-Gordan coefficients in the framework of SO(4) group-theoretical description of the hydrogen atom. The main results are obtained using properties of the Runge-Lenz- Pauli vector, in particular expressing the matrix elements of the powers of its last component both in spherical and parabolic basis. Connections with Stark effect and diamagnetism of the hydrogen atom are outlined.


title: Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

abstract: Essential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reachability properties by generating inductive invariants on source-code level. Our implementation shows promise: It finds invariants for (in)finite-state programs, can beat state-of-the-art probabilistic model checkers, and is competitive with modern tools dedicated to invariant synthesis and expected runtime reasoning.


title: TreeMix: Compositional Constituency-based Data Augmentation for Natural Language Understanding

abstract: Data augmentation is an effective approach to tackle over-fitting. Many previous works have proposed different data augmentations strategies for NLP, such as noise injection, word replacement, back-translation etc. Though effective, they missed one important characteristic of language--compositionality, meaning of a complex expression is built from its sub-parts. Motivated by this, we propose a compositional data augmentation approach for natural language understanding called TreeMix. Specifically, TreeMix leverages constituency parsing tree to decompose sentences into constituent sub-structures and the Mixup data augmentation technique to recombine them to generate new sentences. Compared with previous approaches, TreeMix introduces greater diversity to the samples generated and encourages models to learn compositionality of NLP data. Extensive experiments on text classification and SCAN demonstrate that TreeMix outperforms current state-of-the-art data augmentation methods.


title: Smooth-Reduce: Leveraging Patches for Improved Certified Robustness

abstract: Randomized smoothing (RS) has been shown to be a fast, scalable technique for certifying the robustness of deep neural network classifiers. However, methods based on RS require augmenting data with large amounts of noise, which leads to significant drops in accuracy. We propose a training-free, modified smoothing approach, Smooth-Reduce, that leverages patching and aggregation to provide improved classifier certificates. Our algorithm classifies overlapping patches extracted from an input image, and aggregates the predicted logits to certify a larger radius around the input. We study two aggregation schemes -- max and mean -- and show that both approaches provide better certificates in terms of certified accuracy, average certified radii and abstention rates as compared to concurrent approaches. We also provide theoretical guarantees for such certificates, and empirically show significant improvements over other randomized smoothing methods that require expensive retraining. Further, we extend our approach to videos and provide meaningful certificates for video classifiers. A project page can be found at https://nyu-dice-lab.github.io/SmoothReduce/


title: Pro-$p$ completions of $PD_n$-groups

abstract: We sharpen earlier work on the pro-$p$ completions of orientable $PD_3$-groups. There are four cases, and we give examples of aspherical 3-manifolds representing each case. In three of the four cases the new results are best possible. We also consider the pro-$p$ completion of some orientable $PD_n$ groups for $n \leq 5$, including surface-by-surface groups.


title: No Periodic normal Geodesics in $J^k(\mathbb{R},\mathbb{R}^n)$

abstract: The space of $k$-jets of $n$ real function of one real variable $x$ admits the structure of a Carnot group, which then has an associated Hamiltonian geodesic flow. As in any Hamiltonian flow, a natural question is the existence of periodic solutions. Does the space of $k$-jets have periodic geodesics? This study will demonstrate the integrability of subRiemannian geodesic flow, characterize and classify the subRiemannian geodesics in the space of $k$-jets, and show that they are never periodic.


title: Training Strategies for Own Voice Reconstruction in Hearing Protection Devices using an In-ear Microphone

abstract: In-ear microphones in hearing protection devices can be utilized to capture the own voice speech of the person wearing the devices in noisy environments. Since in-ear recordings of the own voice are typically band-limited, an own voice reconstruction system is required to recover clean broadband speech from the in-ear signals. However, the availability of speech data for this scenario is typically limited due to device-specific transfer characteristics and the need to collect data from in-situ measurements. In this paper, we apply a deep learning-based bandwidth-extension system to the own voice reconstruction task and investigate different training strategies in order to overcome the limited availability of training data. Experimental results indicate that the use of simulated training data based on recordings of several talkers in combination with a fine-tuning approach using real data is advantageous compared to directly training on a small real dataset.


title: Direct optimization of BPX preconditioners

abstract: We consider an automatic construction of locally optimal preconditioners for positive definite linear systems. To achieve this goal, we introduce a differentiable loss function that does not explicitly include the estimation of minimal eigenvalue. Nevertheless, the resulting optimization problem is equivalent to a direct minimization of the condition number. To demonstrate our approach, we construct a parametric family of modified BPX preconditioners. Namely, we define a set of empirical basis functions for coarse finite element spaces and tune them to achieve better condition number. For considered model equations (that includes Poisson, Helmholtz, Convection-diffusion, Biharmonic, and others), we achieve from two to twenty times smaller condition numbers for symmetric positive definite linear systems.


title: Neural Network-based OFDM Receiver for Resource Constrained IoT Devices

abstract: Orthogonal Frequency Division Multiplexing (OFDM)-based waveforms are used for communication links in many current and emerging Internet of Things (IoT) applications, including the latest WiFi standards. For such OFDM-based transceivers, many core physical layer functions related to channel estimation, demapping, and decoding are implemented for specific choices of channel types and modulation schemes, among others. To decouple hard-wired choices from the receiver chain and thereby enhance the flexibility of IoT deployment in many novel scenarios without changing the underlying hardware, we explore a novel, modular Machine Learning (ML)-based receiver chain design. Here, ML blocks replace the individual processing blocks of an OFDM receiver, and we specifically describe this swapping for the legacy channel estimation, symbol demapping, and decoding blocks with Neural Networks (NNs). A unique aspect of this modular design is providing flexible allocation of processing functions to the legacy or ML blocks, allowing them to interchangeably coexist. Furthermore, we study the implementation cost-benefits of the proposed NNs in resource-constrained IoT devices through pruning and quantization, as well as emulation of these compressed NNs within Field Programmable Gate Arrays (FPGAs). Our evaluations demonstrate that the proposed modular NN-based receiver improves bit error rate of the traditional non-ML receiver by averagely 61% and 10% for the simulated and over-the-air datasets, respectively. We further show complexity-performance tradeoffs by presenting computational complexity comparisons between the traditional algorithms and the proposed compressed NNs.


title: Localized Vision-Language Matching for Open-vocabulary Object Detection

abstract: In this work, we propose an open-vocabulary object detection method that, based on image-caption pairs, learns to detect novel object classes along with a given set of known classes. It is a two-stage training approach that first uses a location-guided image-caption matching technique to learn class labels for both novel and known classes in a weakly-supervised manner and second specializes the model for the object detection task using known class annotations. We show that a simple language model fits better than a large contextualized language model for detecting novel objects. Moreover, we introduce a consistency-regularization technique to better exploit image-caption pair information. Our method compares favorably to existing open-vocabulary detection approaches while being data-efficient. Source code is available at https://github.com/lmb-freiburg/locov .


title: Beyond Barker: Infant Mortality at Birth and Ischaemic Heart Disease in Older Age

abstract: Adverse conditions in early life can have consequential impacts on individuals' health in older age. In one of the first papers on this topic, Barker and Osmond 1986 show a strong positive relationship between infant mortality rates in the 1920s and ischaemic heart disease in the 1970s. We go 'beyond Barker', first by showing that this relationship is robust to the inclusion of local geographic area fixed effects, but not family fixed effects. Second, we explore whether the average effects conceal underlying heterogeneity: we examine if the infant mortality effect offsets or reinforces one's genetic predisposition for heart disease. We find considerable heterogeneity that is robust to within-area as well as within-family analyses. Our findings show that the effects of one's early life environments mainly affect individuals with the highest genetic risk for developing heart disease. Put differently, in areas with the lowest infant mortality rates, the effect of one's genetic predisposition effectively vanishes. These findings suggest that advantageous environments can cushion one's genetic risk of developing heart disease.


title: Sparse Random Khatri-Rao Product Codes for Distributed Matrix Multiplication

abstract: We introduce two generalizations to the paradigm of using Random Khatri-Rao Product (RKRP) codes for distributed matrix multiplication. We first introduce a class of codes called Sparse Random Khatri-Rao Product (SRKRP) codes which have sparse generator matrices. SRKRP codes result in lower encoding, computation and communication costs than RKRP codes when the input matrices are sparse, while they exhibit similar numerical stability to other state of the art schemes. We empirically study the relationship between the probability of the generator matrix (restricted to the set of non-stragglers) of a randomly chosen SRKRP code being rank deficient and various parameters of the coding scheme including the degree of sparsity of the generator matrix and the number of non-stragglers. Secondly, we show that if the master node can perform a very small number of matrix product computations in addition to the computations performed by the workers, the failure probability can be substantially improved.


title: Gaussian Whittle-Mat\'ern fields on metric graphs

abstract: We define a new class of Gaussian processes on compact metric graphs such as street or river networks. The proposed models, the Whittle--Mat\'ern fields, are defined via a fractional stochastic differential equation on the compact metric graph and are a natural extension of Gaussian fields with Mat\'ern covariance functions on Euclidean domains to the non-Euclidean metric graph setting. Existence of the processes, as well as some of their main properties, such as sample path regularity are derived. The model class in particular contains differentiable processes. To the best of our knowledge, this is the first construction of a differentiable Gaussian process on general compact metric graphs. Further, we prove an intrinsic property of these processes: that they do not change upon addition or removal of vertices with degree two. Finally, we obtain Karhunen--Lo\`eve expansions of the processes, provide numerical experiments, and compare them to Gaussian processes with isotropic covariance functions.


title: Giant boost of the quantum metric in disordered one dimensional flat band systems

abstract: It is a well known fact, that the disorder has its most dramatic effects on the conventional quantum transport in one dimensional systems. In flat band (FB) systems, it is revealed that the conductivity at the FB energy is robust against the disorder and can even be tremendously boosted. Furthermore, challenging our understanding of the physical phenomena, the giant increase occurs in the limit of low FB states density. The singular behaviour of the quantum metric of the FB eigenstates is found to be at the heart of these unexpected and puzzling features. Our findings should have interesting fallout for other physical systems, and may as well open up engineering strategies to boost the critical temperature in two dimensional superconducting FB materials.


title: Vibrational ladder-descending photostabilization of a weakly bound molecule: Quantum optimal control with a genetic algorithm

abstract: We propose an optical control scheme for driving a polar molecule from a high-lying vibrational level to a target low-lying one, within the same electronic state. The scheme utilizes an infrared chirped laser pulse with an analytical shape, whose parameters are optimized by means of a heuristic formulation of quantum optimal control based on a genetic algorithm. We illustrate this methodology computationally for a KRb Feshbach molecule in the lowest triplet electronic state.


title: Dynamic Prefix-Tuning for Generative Template-based Event Extraction

abstract: We consider event extraction in a generative manner with template-based conditional generation. Although there is a rising trend of casting the task of event extraction as a sequence generation problem with prompts, these generation-based methods have two significant challenges, including using suboptimal prompts and static event type information. In this paper, we propose a generative template-based event extraction method with dynamic prefix (GTEE-DynPref) by integrating context information with type-specific prefixes to learn a context-specific prefix for each context. Experimental results show that our model achieves competitive results with the state-of-the-art classification-based model OneIE on ACE 2005 and achieves the best performances on ERE. Additionally, our model is proven to be portable to new types of events effectively.


title: Optimal Methods for Higher-Order Smooth Monotone Variational Inequalities

abstract: In this work, we present new simple and optimal algorithms for solving the variational inequality (VI) problem for $p^{th}$-order smooth, monotone operators -- a problem that generalizes convex optimization and saddle-point problems. Recent works (Bullins and Lai (2020), Lin and Jordan (2021), Jiang and Mokhtari (2022)) present methods that achieve a rate of $\tilde{O}(\epsilon^{-2/(p+1)})$ for $p\geq 1$, extending results by (Nemirovski (2004)) and (Monteiro and Svaiter (2012)) for $p=1,2$. A drawback to these approaches, however, is their reliance on a line search scheme. We provide the first $p^{\textrm{th}}$-order method that achieves a rate of $O(\epsilon^{-2/(p+1)}).$ Our method does not rely on a line search routine, thereby improving upon previous rates by a logarithmic factor. Building on the Mirror Prox method of Nemirovski (2004), our algorithm works even in the constrained, non-Euclidean setting. Furthermore, we prove the optimality of our algorithm by constructing matching lower bounds. These are the first lower bounds for smooth MVIs beyond convex optimization for $p > 1$. This establishes a separation between solving smooth MVIs and smooth convex optimization, and settles the oracle complexity of solving $p^{\textrm{th}}$-order smooth MVIs.


title: Using dependency parsing for few-shot learning in distributional semantics

abstract: In this work, we explore the novel idea of employing dependency parsing information in the context of few-shot learning, the task of learning the meaning of a rare word based on a limited amount of context sentences. Firstly, we use dependency-based word embedding models as background spaces for few-shot learning. Secondly, we introduce two few-shot learning methods which enhance the additive baseline model by using dependencies.


title: First-principle calculation of birefringence effects for in-ice radio detection of neutrinos

abstract: The detection of high-energy neutrinos in the EeV range requires new detection techniques to cope with the small expected flux. The radio detection method, utilizing Askaryan emission, can be used to detect these neutrinos in polar ice. The propagation of the radio pulses has to be modeled carefully to reconstruct the energy, direction, and flavor of the neutrino from the detected radio flashes. Here, we study the effect of birefringence in ice, which splits up the radio pulse into two orthogonal polarization components with slightly different propagation speeds. This provides useful signatures to determine the neutrino energy and is potentially important to determine the neutrino direction to degree precision. We calculated the effect of birefringence from first principles where the only free parameter is the dielectric tensor as a function of position. Our code, for the first time, can propagate full RF waveforms, taking interference due to changing polarization eigenvectors during propagation into account. The model is available open-source through the NuRadioMC framework. We compare our results to in-situ calibration data from the ARA and ARIANNA experiments and find good agreement for the available time delay measurements, improving the predictions significantly compared to previous studies. Finally, the implications and opportunities for neutrino detection are discussed.


title: FAST search for circumstellar atomic hydrogen--I: the young planetary nebula IC 4997

abstract: Using the Five-hundred-meter Aperture Spherical radio Telescope (FAST) in Guizhou, China, we detect the 21cm neutral atomic hydrogen absorption in the young planetary nebula IC 4997. The absorption arises from a shell also associated with Na I D lines. The H I shell has a mass of $1.46\times10^{-2}$ M$_\odot$ and a dynamic age of 990yr. The column density of H I is estimated to be $7.1\times10^{20}$ cm$^{-2}$, which can be well explained in terms of a photodissociation region around the ionized nebula, limited by self shielding of H$_2$. We find that the atomic-to-ionized hydrogen ratio is 0.6, suggesting that H I substantially contributes to overall nebular mass.


title: Peculiarities of the density of states in SN junctions

abstract: We study the density of states (DoS) $\nu(E)$ in a normal-metallic (N) film contacted by a bulk superconductor (S). We assume that the system is diffusive and the SN interface is transparent. In the limit of thin N layer (compared to the coherence length), we analytically find three different types of the DoS peculiarity at energy equal to the bulk superconducting order parameter $\Delta_0$. (i) In the absence of the inverse proximity effect, the peculiarity has the check-mark form with $\nu(\Delta_0)=0$ as long as the thickness of the N layer is smaller than a critical value. (ii) When the inverse proximity effect comes into play, the check-mark is immediately elevated so that $\nu(\Delta_0)>0$. (iii) Upon further increasing of the inverse proximity effect, $\nu(E)$ gradually evolves to the vertical peculiarity (with an infinite-derivative inflection point at $E=\Delta_0$). This crossover is controlled by a materials-matching parameter which depends on the relative degree of disorder in the S and N materials.


title: Single-Server Private Information Retrieval with Side Information Under Arbitrary Popularity Profiles

abstract: This paper introduces a generalization of the Private Information Retrieval with Side Information (PIR-SI) problem called Popularity-Aware PIR-SI (PA-PIR-SI). The PA-PIR-SI problem includes one or more remote servers storing copies of a dataset of $K$ messages, and a user who knows $M$ out of $K$ messages -- the identities of which are unknown to the server -- as a prior side information, and wishes to retrieve one of the remaining $K-M$ messages. The goal of the user is to minimize the amount of information they must download from the server while revealing no information about the identity of the desired message. In contrast to PIR-SI, in PA-PIR-SI, the dataset messages are not assumed to be equally popular. That is, given the $M$ side information messages, each of the remaining $K-M$ messages is not necessarily equally likely to be the message desired by the user. In this work, we focus on the single-server setting of PA-PIR-SI, and establish lower and upper bounds on the capacity of this setting -- defined as the maximum possible achievable download rate. Our upper bound holds for any message popularity profile, and is the same as the capacity of single-server PIR-SI. We prove the lower bound by presenting a PA-PIR-SI scheme which takes a novel probabilistic approach -- carefully designed based on the popularity profile -- to integrate two existing PIR-SI schemes. The rate of our scheme is strictly higher than that of the only existing PIR-SI scheme applicable to the PA-PIR-SI setting.


title: Actions of $\operatorname{Alt}(n)$ on groups of finite Morley rank without involutions

abstract: We investigate faithful representations of $\operatorname{Alt}(n)$ as automorphisms of a connected group $G$ of finite Morley rank. We target a lower bound of $n$ on the rank of such a nonsolvable $G$, and our main result achieves this in the case when $G$ is without involutions. In the course of our analysis, we also prove a corresponding bound for solvable $G$ by leveraging recent results on the abelian case. We conclude with an application towards establishing natural limits to the degree of generic transitivity for permutation groups of finite Morley rank.


title: Exponential Stability of Large BV Solutions in a Model of Granular flow

abstract: We consider a $2\times 2$ system of hyperbolic balance laws, in one-space dimension, that describes the evolution of a granular material with slow erosion and deposition. The dynamics is expressed in terms of the thickness of a moving layer on top and of a standing layer at the bottom. The system is linearly degenerate along two straight lines in the phase plane and genuinely nonlinear in the subdomains confined by such lines. In particular, the characteristic speed of the first characteristic family is strictly increasing in the region above the line of linear degeneracy and strictly decreasing in the region below such a line. The non dissipative source term is the product of two quantities that are transported with the two different characteristic speeds. The global existence of entropy weak solutions of the Cauchy problem for such a system was established by Amadori and Shen for initial data with bounded but possibly large total variation, under the assumption that the initial height of the moving layer be sufficiently small. In this paper we establish the Lipschitz ${\bf L^1}$-continuous dependence of the solutions on the initial data with a Lipschitz constant that grows exponentially in time. The proof of the ${\bf L^1}$-stability of solutions is based on the construction of a Lyapunov like functional equivalent to the ${\bf L^1}$-distance, in the same spirit of the functional introduced by Liu and Yang and then developed by Bressan, Liu, Yang for systems of conservation laws with genuinely nonlinear or linearly degenerate characteristic fields.


title: A Generalist Agent

abstract: Inspired by progress in large-scale language modeling, we apply a similar approach towards building a single generalist agent beyond the realm of text outputs. The agent, which we refer to as Gato, works as a multi-modal, multi-task, multi-embodiment generalist policy. The same network with the same weights can play Atari, caption images, chat, stack blocks with a real robot arm and much more, deciding based on its context whether to output text, joint torques, button presses, or other tokens. In this report we describe the model and the data, and document the current capabilities of Gato.


title: Local Motif Clustering via (Hyper)Graph Partitioning

abstract: A widely-used operation on graphs is local clustering, i.e., extracting a well-characterized community around a seed node without the need to process the whole graph. Recently local motif clustering has been proposed: it looks for a local cluster based on the distribution of motifs. Since this local clustering perspective is relatively new, most approaches proposed for it are extensions of statistical and numerical methods previously used for edge-based local clustering, while the available combinatorial approaches are still few and relatively simple. In this work, we build a hypergraph and a graph model which both represent the motif-distribution around the seed node. We solve these models using sophisticated combinatorial algorithms designed for (hyper)graph partitioning. In extensive experiments with the triangle motif, we observe that our algorithm computes communities with a motif conductance value being one third on average in comparison against the communities computed by the state-of-the-art tool MAPPR while being 6.3 times faster on average.


title: Ensemble Classifier Design Tuned to Dataset Characteristics for Network Intrusion Detection

abstract: Machine Learning-based supervised approaches require highly customized and fine-tuned methodologies to deliver outstanding performance. This paper presents a dataset-driven design and performance evaluation of a machine learning classifier for the network intrusion dataset UNSW-NB15. Analysis of the dataset suggests that it suffers from class representation imbalance and class overlap in the feature space. We employed ensemble methods using Balanced Bagging (BB), eXtreme Gradient Boosting (XGBoost), and Random Forest empowered by Hellinger Distance Decision Tree (RF-HDDT). BB and XGBoost are tuned to handle the imbalanced data, and Random Forest (RF) classifier is supplemented by the Hellinger metric to address the imbalance issue. Two new algorithms are proposed to address the class overlap issue in the dataset. These two algorithms are leveraged to help improve the performance of the testing dataset by modifying the final classification decision made by three base classifiers as part of the ensemble classifier which employs a majority vote combiner. The proposed design is evaluated for both binary and multi-category classification. Comparing the proposed model to those reported on the same dataset in the literature demonstrate that the proposed model outperforms others by a significant margin for both binary and multi-category classification cases.


title: Construction of primitive Pythagorean triples and Pythagorean triples with a common multiplier using gnomons

abstract: The traditional construction of primitive Pythagorean triples by the formulas of two independent variables does not allow their ordering. The paper shows a new view on the construction of primitive Pythagorean triples. A method for constructing primitive Pythagorean triples, based on the use of gnomons equal in area to the squares of the legs from a primitive Pythagorean triple, using two dependent variables, is proposed. This enables the ability to build an ordered table of primitive Pythagorean triples. Working with ordered data, it is possible to approach in a new way the solution of problems that include systems of Pythagorean triples, such as the construction of Eulerian parallelepipeds, the construction of a Perfect Cuboid, or the problem of coloring natural numbers in two colors so that no Pythagorean triple is monochrome (one of the problems of Ramsey theory).


title: A class of exact solutions of the Navier-Stokes equations in three and four dimensions

abstract: A few basic, intuitive, properties of the Navier-Stokes system of equations for incompressible fluid flows are discussed in this paper. We present a rephrased interpretation of the Navier-Stokes equation in a space having an arbitrary number of dimensions. We then derive spatially periodic solutions for the velocity and pressure fields that span an unbounded domain in three and four dimensions, given a smooth solenoidal initial velocity vector field. In these solutions all velocity components depend non-trivially on all coordinate directions.


title: Massively Scalable Wavelength Diverse Integrated Photonic Linear Neuron

abstract: As computing resource demands continue to escalate in the face of big data, cloud-connectivity and the internet of things, it has become imperative to develop new low-power, scalable architectures. Neuromorphic photonics, or photonic neural networks, have become a feasible solution for the physical implementation of efficient algorithms directly on-chip. This application is primarily due to the linear nature of light and the scalability of silicon photonics, specifically leveraging the wide-scale complementary metal-oxide-semiconductor (CMOS) manufacturing infrastructure used to fabricate microelectronics chips. Current neuromorphic photonic implementations stem from two paradigms: wavelength coherent and incoherent. Here, we introduce a novel architecture that supports coherent and incoherent operation to increase the capability and capacity of photonic neural networks with a dramatic reduction in footprint compared to previous demonstrations. As a proof-of-principle, we experimentally demonstrate simple addition and subtraction operations on a foundry-fabricated silicon photonic chip. Additionally, we experimentally validate an on-chip network to predict the logical 2-bit gates AND, OR, and XOR to accuracies of $96.8\%, 99\%,$ and $98.5\%$, respectively. This architecture is compatible with highly wavelength parallel sources, enabling massively scalable photonic neural networks.


title: FACTOID: A New Dataset for Identifying Misinformation Spreaders and Political Bias

abstract: Proactively identifying misinformation spreaders is an important step towards mitigating the impact of fake news on our society. In this paper, we introduce a new contemporary Reddit dataset for fake news spreader analysis, called FACTOID, monitoring political discussions on Reddit since the beginning of 2020. The dataset contains over 4K users with 3.4M Reddit posts, and includes, beyond the users' binary labels, also their fine-grained credibility level (very low to very high) and their political bias strength (extreme right to extreme left). As far as we are aware, this is the first fake news spreader dataset that simultaneously captures both the long-term context of users' historical posts and the interactions between them. To create the first benchmark on our data, we provide methods for identifying misinformation spreaders by utilizing the social connections between the users along with their psycho-linguistic features. We show that the users' social interactions can, on their own, indicate misinformation spreading, while the psycho-linguistic features are mostly informative in non-neural classification settings. In a qualitative analysis, we observe that detecting affective mental processes correlates negatively with right-biased users, and that the openness to experience factor is lower for those who spread fake news.


title: Improved Meta Learning for Low Resource Speech Recognition

abstract: We propose a new meta learning based framework for low resource speech recognition that improves the previous model agnostic meta learning (MAML) approach. The MAML is a simple yet powerful meta learning approach. However, the MAML presents some core deficiencies such as training instabilities and slower convergence speed. To address these issues, we adopt multi-step loss (MSL). The MSL aims to calculate losses at every step of the inner loop of MAML and then combines them with a weighted importance vector. The importance vector ensures that the loss at the last step has more importance than the previous steps. Our empirical evaluation shows that MSL significantly improves the stability of the training procedure and it thus also improves the accuracy of the overall system. Our proposed system outperforms MAML based low resource ASR system on various languages in terms of character error rates and stable training behavior.


title: On the number of rational points close to a compact manifold under a less restrictive curvature condition

abstract: Let $\mathscr{M}$ be a compact submanifold of $\mathbb{R}^{M}$. In this article we establish an asymptotic formula for the number of rational points within a given distance to $\mathscr{M}$ and with bounded denominators under the assumption that $\mathscr{M}$ fulfills a certain curvature condition. Our result generalizes earlier work from Schindler and Yamagishi, as our curvature condition is a relaxation of that used by them. We are able to recover a similar result concerning a conjecture by Huang and a slightly weaker analogue of Serre's dimension growth conjecture for compact submanifolds of $\mathbb{R}^{M}$.


title: Poisson superbialgebras

abstract: We introduce the notion of Poisson superbialgebra as an analogue of Drinfeld's Lie superbialgebras. We extend various known constructions dealing with representations on Lie superbialgebras to Poisson superbialgebras. We introduce the notions of Manin triple of Poisson superalgebras and Poisson superbialgebras and show the equivalence between them in terms of matched pairs of Poisson superalgebras. A combination of the classical Yang-Baxter equation and the associative Yang-Baxter equation is discussed in this framework. Moreover, we introduce notions of $\mathcal{O}$-operator of weight $\lambda\in\mathbb{K}$ of a Poisson superalgebra and post-Poisson superalgebra and interpret the close relationships between them and Poisson superbialgebras.


title: Extensions of the rational Cherednik algebra and generalized KZ functors

abstract: Ginzburg, Guay, Opdam and Rouquier established an equivalence of categories between a quotient category of the category $\mathcal{O}$ for the rational Cherednik algebra and the category of finite dimension modules of the Hecke algebra of a complex reflection group $W$. We establish two generalizations of this result. On the one hand to the extension of the Hecke algebra associated to the normaliser of a reflection subgroup and on the other hand to the extension of the Hecke algebra by a lattice.


title: The Gaia EDR3 view of Johnson-Kron-Cousins standard stars: the curated Landolt and Stetson collections

abstract: (Shortened). In the era of large surveys and space missions, it is necessary to rely on large samples of well-characterized stars for inter-calibrating and comparing measurements from different sources. Among the most employed photometric systems, the Johnson-Kron-Cousins has been used for decades and for a large amount of important datasets. Using Gaia DR3 as a reference, as well as data from reddening maps, spectroscopic surveys, and variable stars monitoring surveys, we curated and characterized the widely used Landolt and Stetson collections of more than 200 000 secondary standards, removing binaries, blends, and variable stars, and we classified and parametrized them, employing classical as well as machine learning techniques. In particular, our atmospheric parameters agree significantly better with spectroscopic ones, compared to other catalogues obtained by means of machine learning. We also cross-matched the collections with the major photometric surveys to provide a comprehensive table with the magnitudes of the secondary standards in the most widely used photometric systems (ugriz, grizy, Gaia, Hipparcos, Tycho, 2MASS). We finally provide a set of 167 polynomial transformations, valid for dwarfs and giants, metal-poor and metal-rich stars, to transform UBVRI magnitudes into the above photometric systems and vice-versa.


title: Efficient Deep Visual and Inertial Odometry with Adaptive Visual Modality Selection

abstract: In recent years, deep learning-based approaches for visual-inertial odometry (VIO) have shown remarkable performance outperforming traditional geometric methods. Yet, all existing methods use both the visual and inertial measurements for every pose estimation incurring potential computational redundancy. While visual data processing is much more expensive than that for the inertial measurement unit (IMU), it may not always contribute to improving the pose estimation accuracy. In this paper, we propose an adaptive deep-learning based VIO method that reduces computational redundancy by opportunistically disabling the visual modality. Specifically, we train a policy network that learns to deactivate the visual feature extractor on the fly based on the current motion state and IMU readings. A Gumbel-Softmax trick is adopted to train the policy network to make the decision process differentiable for end-to-end system training. The learned strategy is interpretable, and it shows scenario-dependent decision patterns for adaptive complexity reduction. Experiment results show that our method achieves a similar or even better performance than the full-modality baseline with up to 78.8% computational complexity reduction for KITTI dataset evaluation. The code is available at https://github.com/mingyuyng/Visual-Selective-VIO.


title: Condensation and thermalization of an easy-plane ferromagnet in a spinor Bose gas

abstract: The extensive control of spin makes spintronics a promising candidate for future scalable quantum devices. For the generation of spin-superfluid systems, a detailed understanding of the build-up of coherence and relaxation is necessary. However, to determine the relevant parameters for robust coherence properties and faithfully witnessing thermalization, the direct access to space- and time-resolved spin observables is needed. Here, we study the thermalization of an easy-plane ferromagnet employing a homogeneous one-dimensional spinor Bose gas. Building on the pristine control of preparation and readout we demonstrate the dynamic emergence of long-range coherence for the spin field and verify spin-superfluidity by experimentally testing Landau's criterion. We reveal the structure of the emergent quasi-particles: one 'massive'(Higgs) mode, and two 'massless' (Goldstone) modes - a consequence of explicit and spontaneous symmetry breaking, respectively. Our experiments allow for the first time to observe the thermalization of an easy-plane ferromagnetic Bose gas; we find agreement for the relevant momentum-resolved observables with a thermal prediction obtained from an underlying microscopic model within the Bogoliubov approximation. Our methods and results pave the way towards a quantitative understanding of condensation dynamics in large magnetic spin systems and the study of the role of entanglement and topological excitations for its thermalization.


title: Josephson effect as signature of electron-hole superfluidity in bilayers of van der Waals heterostructures

abstract: We investigate a Josephson junction in an electron-hole superfluid in a double layer TMD heterostructure. Observation of a critical tunneling current is a clear signature of superfluidity. In addition, we find the BCS-BEC crossover physics in the narrow barrier region controls the critical current across the entire system. The corresponding critical velocity, which is measurable in this system, has a maximum when the excitations pass from bosonic to fermionic. Remarkably, this occurs for the density at the boundary of the BEC to BCS-BEC crossover regime determined from the condensate fraction. This provides, for the first time in a semiconductor system, an experimental way to determine the position of this boundary.


title: Towards glueball masses of large-$N$ $\mathrm{SU}(N)$ pure-gauge theories without topological freezing

abstract: In commonly used Monte Carlo algorithms for lattice gauge theories the integrated autocorrelation time of the topological charge is known to be exponentially-growing as the continuum limit is approached. This $\mathit{topological}\,\,\textit{freezing}$, whose severity increases with the size of the gauge group, can result in potentially large systematics. To provide a direct quantification of the latter, we focus on $\mathrm{SU}(6)$ Yang--Mills theory at a lattice spacing for which conventional methods associated to the decorrelation of the topological charge have an unbearable computational cost. We adopt the recently proposed $\mathit{parallel}\,\,\mathit{tempering}\,\,\mathit{on}\,\,\mathit{boundary}\,\,\mathit{conditions}$ algorithm, which has been shown to remove systematic effects related to topological freezing, and compute glueball masses with a typical accuracy of $2-5\%$. We observe no sizeable systematic effect in the mass of the first lowest-lying glueball states, with respect to calculations performed at nearly-frozen topological sector.


title: Continuous monitoring for noisy intermediate-scale quantum processors

abstract: We present a continuous monitoring system for intermediate-scale quantum processors that allows extracting estimates of noisy native gate and read-out measurements based on the set of executed quantum circuits and resulting measurement outcomes. In contrast to standard approaches for calibration and benchmarking quantum processors, the executed circuits, which are input to the monitoring system, are assumed to be out of any control. We provide the results of applying our system to the synthetically generated data obtained from a quantum emulator, as well as to the experimental data collected from a publicly accessible cloud-based quantum processor. In the both cases, we demonstrate that the developed approach provides valuable results about inherent noises of emulators/processors. Considering that our approach uses only already accessible data from implemented circuits without the need to run additional algorithms, the monitoring system can complement existing approaches. We expect that our monitoring system can become a useful tool for various quantum computers in the near-term horizon, including publicly accessible cloud-based platforms, and reduce resources that are required for their benchmarking and calibration.


title: Circumventing Unstable Zero Dynamics in Input-Output Linearization of Longitudinal Flight Dynamics

abstract: In this paper, we consider the problem of input-output linearization of the longitudinal flight dynamics. In longitudinal flight dynamics, inputs are typically thrust and elevator deflection whereas the outputs are the velocity and the flight path angle. An input-output linearization-based controller can be designed to render the multi-input, multi-output system linear; however, the resulting zero dynamics turns out to be unstable. In this work, we remove the zero dynamics from the closed-loop dynamics by considering an additional output. Although the additional output makes the system tall, which, in general, means that the input-to-output dynamics can not be linearized, we show that in the case of longitudinal flight dynamics, linearization is possible due to special geometric properties of the nonlinear terms.


title: Anisotropic-strain-enhanced hole mobility in GaN by lattice matching to ZnGeN$_2$ and MgSiN$_2$

abstract: The key obstacle toward realizing integrated gallium nitride (GaN) electronics is its low hole mobility. Here, we explore the possibility of improving the hole mobility of GaN via epitaxial matching to II-IV nitride materials that have recently become available, namely ZnGeN$_2$ and MgSiN$_2$. We perform state-of-the-art calculations of the hole mobility of GaN using the ab initio Boltzmann transport equation. We show that effective uniaxial compressive strain of GaN along the $[1\bar{1}00]$ by lattice matching to ZnGeN$_2$ and MgSiN$_2$ results in the inversion of the heavy hole band and split-off hole band, thereby lowering the effective hole mass in the compression direction. We find that lattice matching to ZnGeN$_2$ and MgSiN$_2$ induces an increase of the room-temperature hole mobility by 50% and 260% as compared to unstrained GaN, respectively. Examining the trends as a function of strain, we find that the variation in mobility is highly nonlinear; lattice matching to a hypothetical solid solution of Zn$_{0.75}$Ge$_{0.75}$Mg$_{0.25}$Si$_{0.25}$N$_2$ would already increase the hole mobility by 160%.


title: Notes on QED Corrections in Weak Decays

abstract: In these lecture notes the basics of QED corrections to hadronic decays are reviewed with special emphasis on conceptual (e.g. counting and tracking of infrared sensitive logs) rather than numerical aspects. General matters are illustrated for the cases of increased complexity and decreased inclusiveness: $e^+ e^- \to hadrons$, the leptonic decay $\pi^+ \to \ell^+ \bar \nu$ and the semileptonic decay $B \to \pi \ell^+ \bar \nu$. The non-trivial and ongoing efforts of including structure dependence are very briefly outlined.


title: Data-driven approach for benchmarking DFTB-approximate excited state methods

abstract: In this work we propose a chemically-informed data-driven approach to benchmark the approximate density-functional tight-binding (DFTB) excited state (ES) methods that are currently available within the DFTB+ suite. By taking advantage of the large volume of low-detail ES-data in the machine learning (ML) dataset, QM8, we were able to extract valuable insights regarding the limitations of the benchmarked methods in terms of the approximations made to the parent formalism, density-functional theory (DFT), while providing recommendations on how to overcome them. For this benchmark, we compared the first singlet-singlet vertical excitation energies ($E_1$) predicted by the DFTB-approximate methods with predictions of less approximate methods from the reference ML-dataset. For the nearly 21,800 organic molecules in the GDB-8 chemical space, we were able to identify clear trends in the $E_1$ prediction error distributions, with respect to second-order approximate coupled cluster (CC2), showing a strong dependence on chemical identity.


title: Two are not always better than one: Role specialization is an important determinant of collaborative task performance

abstract: Collaboration frequently yields better results in decision making, learning, and haptic interactions than when these actions are performed individually. However, is collaboration always superior to solo actions, or do its benefits depend on whether collaborating individuals have different or the same roles? To answer this question, we asked human subjects to perform virtual-reality collaborative and individual beam transportation tasks. These tasks were simulated in real-time by coupling the motion of a pair of hand-held robotic manipulanda to the virtual beam using virtual spring-dampers. For the task to be considered successful, participants had to complete it within temporal and spatial constraints. While the visual feedback remained the same, the underlying dynamics of the beam were altered to create two distinctive task contexts which were determined by a moving pivot constraint. When the pivot was placed at the center of the beam, two hands contribute to the task with symmetric mechanical leverage (symmetric context). When the pivot was placed at the left side of the beam, two hands contribute to the task with asymmetric mechanical leverage (asymmetric context). Participants performed these task contexts either individually with both hands (solo), or collaboratively by pairing one hand with another one (dyads). We found that dyads in the asymmetric context performed better than solos. In contrast, solos performed the symmetric context better than dyads. Importantly, we found that two hands took different roles in the asymmetric context for both solos and dyads. In contrast, the contribution from each hand was statistically indistinguishable in the symmetric context. Our findings suggest that better performance in dyads than solos is not a general phenomenon, but rather that collaboration yields better performance only when role specialization emerges in dyadic interactions.


title: Image Segmentation with Topological Priors

abstract: Solving segmentation tasks with topological priors proved to make fewer errors in fine-scale structures. In this work, we use topological priors both before and during the deep neural network training procedure. We compared the results of the two approaches with simple segmentation on various accuracy metrics and the Betti number error, which is directly related to topological correctness, and discovered that incorporating topological information into the classical UNet model performed significantly better. We conducted experiments on the ISBI EM segmentation dataset.


title: Embodied vision for learning object representations

abstract: Recent time-contrastive learning approaches manage to learn invariant object representations without supervision. This is achieved by mapping successive views of an object onto close-by internal representations. When considering this learning approach as a model of the development of human object recognition, it is important to consider what visual input a toddler would typically observe while interacting with objects. First, human vision is highly foveated, with high resolution only available in the central region of the field of view. Second, objects may be seen against a blurry background due to infants' limited depth of field. Third, during object manipulation a toddler mostly observes close objects filling a large part of the field of view due to their rather short arms. Here, we study how these effects impact the quality of visual representations learnt through time-contrastive learning. To this end, we let a visually embodied agent "play" with objects in different locations of a near photo-realistic flat. During each play session the agent views an object in multiple orientations before turning its body to view another object. The resulting sequence of views feeds a time-contrastive learning algorithm. Our results show that visual statistics mimicking those of a toddler improve object recognition accuracy in both familiar and novel environments. We argue that this effect is caused by the reduction of features extracted in the background, a neural network bias for large features in the image and a greater similarity between novel and familiar background regions. We conclude that the embodied nature of visual learning may be crucial for understanding the development of human object perception.


title: Bipartite intrinsically knotted graphs with 23 edges

abstract: A graph is intrinsically knotted if every embedding contains a nontrivially knotted cycle. It is known that intrinsically knotted graphs have at least 21 edges and that there are exactly 14 intrinsically knotted graphs with 21 edges, in which the Heawood graph is the only bipartite graph. The authors showed that there are exactly two graphs with at most 22 edges that are minor minimal bipartite intrinsically knotted: the Heawood graph and Cousin 110 of the $E_9+e$ family. In this paper we show that there are exactly six bipartite intrinsically knotted graphs with 23 edges so that every vertex has degree 3 or more. Four among them contain the Heawood graph and the other two contain Cousin 110 of the $E_9+e$ family. Consequently, there is no minor minimal intrinsically knotted graph with 23 edges that is bipartite.


title: Conversational DevBots for Secure Programming: An Empirical Study on SKF Chatbot

abstract: Conversational agents or chatbots are widely investigated and used across different fields including healthcare, education, and marketing. Still, the development of chatbots for assisting secure coding practices is in its infancy. In this paper, we present the results of an empirical study on SKF chatbot, a software-development bot (DevBot) designed to answer queries about software security. To the best of our knowledge, SKF chatbot is one of the very few of its kind, thus a representative instance of conversational DevBots aiding secure software development. In this study, we collect and analyse empirical evidence on the effectiveness of SKF chatbot, while assessing the needs and expectations of its users (i.e., software developers). Furthermore, we explore the factors that may hinder the elaboration of more sophisticated conversational security DevBots and identify features for improving the efficiency of state-of-the-art solutions. All in all, our findings provide valuable insights pointing towards the design of more context-aware and personalized conversational DevBots for security engineering.


title: Half-metallicity and two-dimensional hole gas at the $\text{BiFeO}_\text{3}$(001) surface

abstract: The electronic structure and thermodynamic stability of tetragonal $\rm{BiFeO_3}$(001) surfaces have been investigated using density functional theory. In this work, four different structures having different lattice constants with two possible surface terminations have been studied. We have found that the surface electronic structure and the thermodynamic stability is quite sensitive with respect to the nature of the surface termination. The $\rm{FeO_2}$ terminated surface is found to be energetically more stable compared to $\rm{BiO}$ terminated surface in all the cases. Interestingly, we have found evidences of half-metallicity and spin-polarized two-dimensional hole gas (2DHG) at the one mono-layer thick surface in all the structures. The effect of the surface thickness have been systematically studied. It has been demonstrated that the half-metallic 2DHG survives only in one of the structures for all the thicknesses, incidentally, which is the most thermodynamically stable structure.


title: Measurement of the $2S_{1/2},F$=$0 \rightarrow 2P_{1/2},F$=$1$ transition in Muonium

abstract: Muons are puzzling physicists since their discovery when they were first thought to be the meson predicted by Yukawa to mediate the strong force. The recent results at Fermilab on the muon g-2 anomaly puts the muonic sector once more under the spotlight and calls for new measurements with this fascinating particle. Here we present the results of the first measurement of the $2S_{1/2},F$=$0 \rightarrow 2P_{1/2},F$=$1$ transition in Muonium, the hydrogen-like bound state of a positive muon and an electron. The measured value of 580.6 $\pm$6.8 MHz is in agreement with the theoretical calculations. From this measurement a value of the Lamb shift of 1045.5 $\pm$6.8 MHz is extracted, compatible with previous experiments. We also determine for the first time the $2S$ hyperfine splitting in Muonium to be 559.6$\pm$7.2 MHz. The measured transition being isolated from the other hyperfine levels holds the promise to provide an improved determination of the Muonium Lamb shift at a level where bound state QED recoil corrections not accessible in hydrogen could be tested. Such a measurement will also be sensitive to new physics in the muonic sector, e.g. to new bosons which might provide an explanation of the g-2 muon anomaly or Lorentz and CPT violation. We also present the first observation of Muonium in the $n = 3$ excited state opening up the possibility of new precise microwave measurements as realized in hydrogen.


title: Predicting Human Psychometric Properties Using Computational Language Models

abstract: Transformer-based language models (LMs) continue to achieve state-of-the-art performance on natural language processing (NLP) benchmarks, including tasks designed to mimic human-inspired "commonsense" competencies. To better understand the degree to which LMs can be said to have certain linguistic reasoning skills, researchers are beginning to adapt the tools and concepts from psychometrics. But to what extent can benefits flow in the other direction? In other words, can LMs be of use in predicting the psychometric properties of test items, when those items are given to human participants? If so, the benefit for psychometric practitioners is enormous, as it can reduce the need for multiple rounds of empirical testing. We gather responses from numerous human participants and LMs (transformer- and non-transformer-based) on a broad diagnostic test of linguistic competencies. We then use the human responses to calculate standard psychometric properties of the items in the diagnostic test, using the human responses and the LM responses separately. We then determine how well these two sets of predictions correlate. We find that transformer-based LMs predict the human psychometric data consistently well across most categories, suggesting that they can be used to gather human-like psychometric data without the need for extensive human trials.


title: F3A-GAN: Facial Flow for Face Animation with Generative Adversarial Networks

abstract: Formulated as a conditional generation problem, face animation aims at synthesizing continuous face images from a single source image driven by a set of conditional face motion. Previous works mainly model the face motion as conditions with 1D or 2D representation (e.g., action units, emotion codes, landmark), which often leads to low-quality results in some complicated scenarios such as continuous generation and largepose transformation. To tackle this problem, the conditions are supposed to meet two requirements, i.e., motion information preserving and geometric continuity. To this end, we propose a novel representation based on a 3D geometric flow, termed facial flow, to represent the natural motion of the human face at any pose. Compared with other previous conditions, the proposed facial flow well controls the continuous changes to the face. After that, in order to utilize the facial flow for face editing, we build a synthesis framework generating continuous images with conditional facial flows. To fully take advantage of the motion information of facial flows, a hierarchical conditional framework is designed to combine the extracted multi-scale appearance features from images and motion features from flows in a hierarchical manner. The framework then decodes multiple fused features back to images progressively. Experimental results demonstrate the effectiveness of our method compared to other state-of-the-art methods.


title: kNN-Embed: Locally Smoothed Embedding Mixtures For Multi-interest Candidate Retrieval

abstract: Candidate retrieval is the first stage in recommendation systems, where a light-weight system is used to retrieve potentially relevant items for an input user. These candidate items are then ranked and pruned in later stages of recommender systems using a more complex ranking model. As the top of the recommendation funnel, it is important to retrieve a high-recall candidate set to feed into downstream ranking models. A common approach is to leverage approximate nearest neighbor (ANN) search from a single dense query embedding; however, this approach this can yield a low-diversity result set with many near duplicates. As users often have multiple interests, candidate retrieval should ideally return a diverse set of candidates reflective of the user's multiple interests. To this end, we introduce kNN-Embed, a general approach to improving diversity in dense ANN-based retrieval. kNN-Embed represents each user as a smoothed mixture over learned item clusters that represent distinct "interests" of the user. By querying each of a user's mixture component in proportion to their mixture weights, we retrieve a high-diversity set of candidates reflecting elements from each of a user's interests. We experimentally compare kNN-Embed to standard ANN candidate retrieval, and show significant improvements in overall recall and improved diversity across three datasets. Accompanying this work, we open source a large Twitter follow-graph dataset (https://huggingface.co/datasets/Twitter/TwitterFollowGraph), to spur further research in graph-mining and representation learning for recommender systems.


title: Absence of weak disorder for directed polymers on supercritical percolation clusters

abstract: We study the directed polymer model on infinite clusters of supercritical Bernoulli percolation containing the origin in dimensions $d \geq 3$, and prove that for almost every realization of the cluster and every strictly positive value of the inverse temperature, the polymer is in a strong disorder phase, answering a question from Cosco, Seroussi, and Zeitouni, see arXiv:2010.09503.


title: CiteSum: Citation Text-guided Scientific Extreme Summarization and Domain Adaptation with Limited Supervision

abstract: Scientific extreme summarization (TLDR) aims to form ultra-short summaries of scientific papers. Previous efforts on curating scientific TLDR datasets failed to scale up due to the heavy human annotation and domain expertise required. In this paper, we propose a simple yet effective approach to automatically extracting TLDR summaries for scientific papers from their citation texts. Based on the proposed approach, we create a new benchmark CiteSum without human annotation, which is around 30 times larger than the previous human-curated dataset SciTLDR. We conduct a comprehensive analysis of CiteSum, examining its data characteristics and establishing strong baselines. We further demonstrate the usefulness of CiteSum by adapting models pre-trained on CiteSum (named CITES) to new tasks and domains with limited supervision. For scientific extreme summarization, CITES outperforms most fully-supervised methods on SciTLDR without any fine-tuning and obtains state-of-the-art results with only 128 examples. For news extreme summarization, CITES achieves significant gains on XSum over its base model (not pre-trained on CiteSum), e.g., +7.2 ROUGE-1 zero-shot performance and state-of-the-art few-shot performance. For news headline generation, CITES performs the best among unsupervised and zero-shot methods on Gigaword. Our dataset and code can be found at https://github.com/morningmoni/CiteSum.


title: Example of the $4$-pt non-vacuum $\mathcal{W}_3$ classical block

abstract: In this note, we study a special case of the $4$-pt non-vacuum classical block associated with the $\mathcal{W}_3$ algebra. We formulate the monodromy problem for the block and derive monodromy equations within the heavy-light approximation. Fixing the remaining functional arbitrariness using parameters of the $4$-pt vacuum $\mathcal{W}_3$ block, we compute the $4$-pt non-vacuum $\mathcal{W}_3$ block function.


title: 30 Doradus, the double stellar birth scenario by $N$-body \& \textsc{warpfield} clouds

abstract: We study the evolution of embedded star clusters as possible progenitors to reproduce 30 Doradus, specifically the compact star cluster known as R136 and its surrounding stellar family, which is believed to be part of an earlier star formation event. We employ the high-precision stellar dynamics code NBODY6++GPU to calculate the dynamics of the stars embedded in different evolving molecular clouds modelled by the 1D cloud/clusters evolution code WARPFIELD. We explore clouds with initial masses of $M_\text{cloud}=3.16 \times 10^{5}$ M$_\odot$ that (re)-collapse allowing for the birth of a second generation of stars. We explore different star formation efficiencies in order to find the best set of parameters that can reproduce the observation measurements. Our best-fit models correspond to a first stellar generation with masses between $1.26 \times 10^4$ - $2.85 \times 10^4 $M$_\odot$ and for the second generation we find a $M \approx 6.32\times 10^4$ M$_\odot$. Our models can match the observed stellar ages, cloud shell radius, and the fact that the second generation of stars is more concentrated than the first one. This is found independently of the cluster starting initially with mass segregation or not. By comparing our results with recent observational measurements of the mass segregation and density profile of the central zone we find close agreement, and thus provide supporting evidence for a centrally focused (re)-collapse origin to the multiple ages.


title: pH-jumps in a Protic Ionic Liquid Proceed by Vehicular Proton Transport

abstract: The dynamics of excess protons in the protic ionic liquid ethylammonium formate (EAF) have been investigated from femtosecond to microseconds using visible pump mid-infrared probe spectroscopy. The pH-jump following visible photoexcitation of a photoacid (8-hydroxypyrene-1,3,6-trisulfonic acid trisodium salt, HPTS) results in proton transfer to the formate of the EAF. The proton transfer predominantly occurs over picoseconds through a pre-formed hydrogen-bonded complex between HPTS and EAF. We investigate the longer range and longer timescale proton transport processes in the ionic liquid by obtaining the ground-state conjugate base (RO-) dynamics from the congested transient-infrared spectra. The spectral kinetics indicate that the protons diffuse only a few solvent shells from the parent photoacid before recombining with RO-. A kinetic isotope effect of near unity (kH/kD~1) suggests vehicular transfer and transport of excess protons in this ionic liquid. Our findings provide a comprehensive insight into the complete photoprotolytic cycle of excess protons in a protic ionic liquid.


title: A T(P) theorem for Zygmund spaces on domains

abstract: Let $D\subset \mathbb{R}^d$ be a bounded Lipschitz domain, $\omega$ be a high order modulus of continuity and let $T$ be a convolution Calder\'{o}n-Zygmund operator. We characterize the bounded restricted operators $T_D$ on the Zygmund space $\mathcal{C}_{\omega}(D)$. The characterization is based on properties of $T_D P$ for appropriate polynomials $P$ restricted to $D$.


title: Contingency-constrained economic dispatch with safe reinforcement learning

abstract: Future power systems will rely heavily on micro grids with a high share of decentralised renewable energy sources and energy storage systems. The high complexity and uncertainty in this context might make conventional power dispatch strategies infeasible. Reinforcement-learning based (RL) controllers can address this challenge, however, cannot themselves provide safety guarantees, preventing their deployment in practice. To overcome this limitation, we propose a formally validated RL controller for economic dispatch. We extend conventional constraints by a time-dependent constraint encoding the islanding contingency. The contingency constraint is computed using set-based backwards reachability analysis and actions of the RL agent are verified through a safety layer. Unsafe actions are projected into the safe action space while leveraging constrained zonotope set representations for computational efficiency. The developed approach is demonstrated on a residential use case using real-world measurements.