title: GTAV-NightRain: Photometric Realistic Large-scale Dataset for Night-time Rain Streak Removal

abstract: Rain is transparent, which reflects and refracts light in the scene to the camera. In outdoor vision, rain, especially rain streaks degrade visibility and therefore need to be removed. In existing rain streak removal datasets, although density, scale, direction and intensity have been considered, transparency is not fully taken into account. This problem is particularly serious in night scenes, where the appearance of rain largely depends on the interaction with scene illuminations and changes drastically on different positions within the image. This is problematic, because unrealistic dataset causes serious domain bias. In this paper, we propose GTAV-NightRain dataset, which is a large-scale synthetic night-time rain streak removal dataset. Unlike existing datasets, by using 3D computer graphic platform (namely GTA V), we are allowed to infer the three dimensional interaction between rain and illuminations, which insures the photometric realness. Current release of the dataset contains 12,860 HD rainy images and 1,286 corresponding HD ground truth images in diversified night scenes. A systematic benchmark and analysis are provided along with the dataset to inspire further research.


title: Error analysis of a backward Euler positive preserving stabilized scheme for a Chemotaxis system

abstract: For a Keller-Segel model for chemotaxis in two spatial dimensions we consider positivity preserving fully discrete schemes which where introduced by R. Strehl et all. (2010). We discretize space using piecewise linear finite elements and time by the backward Euler method. Under appropriate assumptions on the regularity of the exact solution, the spatial mesh and the time step parameter we show existence of the fully discrete solution and derive error bounds. We also present numerical experiments to illustrate the theoretical results.


title: Empowering the Fact-checkers! Automatic Identification of Claim Spans on Twitter

abstract: The widespread diffusion of medical and political claims in the wake of COVID-19 has led to a voluminous rise in misinformation and fake news. The current vogue is to employ manual fact-checkers to efficiently classify and verify such data to combat this avalanche of claim-ridden misinformation. However, the rate of information dissemination is such that it vastly outpaces the fact-checkers' strength. Therefore, to aid manual fact-checkers in eliminating the superfluous content, it becomes imperative to automatically identify and extract the snippets of claim-worthy (mis)information present in a post. In this work, we introduce the novel task of Claim Span Identification (CSI). We propose CURT, a large-scale Twitter corpus with token-level claim spans on more than 7.5k tweets. Furthermore, along with the standard token classification baselines, we benchmark our dataset with DABERTa, an adapter-based variation of RoBERTa. The experimental results attest that DABERTa outperforms the baseline systems across several evaluation metrics, improving by about 1.5 points. We also report detailed error analysis to validate the model's performance along with the ablation studies. Lastly, we release our comprehensive span annotation guidelines for public use.


title: Update on the LLRF operations status at the European XFEL

abstract: The European XFEL (EuXFEL) is a free-electron laser in the X-ray range for users. Its high availability is one of the key aspects of the machine. In 2022, it entered in the sixth year of operation. The EuXFEL linac is based on the TESLA superconducting RF technology, operating at 1.3 GHz with an RF pulse length of 650 $\mu$s and a repetition rate of 10 Hz. The LLRF system is based on the MicroTCA standard and relies on a high level of automation. In this contribution, we review the LLRF operation at the EuXFEL and the development of new tools and features to improve the monitoring and extend the usability of the LLRF system.


title: On graphs that contain exactly k copies of a subgraph, and a related problem in search theory

abstract: We study $\mathrm{exa}_k(n,F)$, the largest number of edges in an $n$-vertex graph $G$ that contains exactly $k$ copies of a given subgraph $F$. The case $k=0$ is the Tur\'an number $\mathrm{ex}(n,F)$ that is among the most studied parameters in extremal graph theory. We show that for any $F$ and $k$, $\mathrm{exa}_k(n,F)=(1+o(1))\mathrm{ex}(n,F))$ and determine the exact values of $\mathrm{exa}_k(n,K_3)$ and $\mathrm{exa}_1(n,K_r)$ for $n$ large enough. We also explore a connection to the following well-known problem in search theory. We are given a graph of order $n$ that consists of an unknown copy of $F$ and some isolated vertices. We can ask pairs of vertices as queries, and the answer tells us whether there is an edge between those vertices. Our goal is to describe the graph using as few queries as possible. Aigner and Triesch in 1990 showed that the number of queries needed is at least $\binom{n}{2}-\mathrm{exa}_1(n,F)$. Among other results we show that the number of queries that were answered NO is at least $\binom{n}{2}-\mathrm{exa}_1(n,F)$.


title: Analytical and Numerical Studies of the Non-uniformity induced Type II Asymmetric Cap Shock Mach Reflection in Over-expanded Supersonic Jets

abstract: A combined analytical and numerical study is conducted to investigate the asymmetric cap-shock non-uniform Mach Reflection (csMR) phenomenon outside of an over-expanded supersonic jet. Prior analytical works have only considered the wedge-induced steady symmetric and asymmetric Mach reflection (MR) configurations, as well as symmetric MR in an open jet. However, there is another structure occurring in nozzle flow fields known as a non-uniformity induced cap-shock pattern. We derive a new analytical model to predict the wave structure of the asymmetric csMR in the absence of internal shocks by extending on a prior symmetric Mach reflection model. Different from the wedge flow case, flow non-uniformity is incorporated by assuming different upstream Mach numbers in both upper and lower domains, where the asymmetry is predicted through averaged flowfields and slipstream inclination angles. The numerical approach utilises an Euler solver for comparisons to the developed theory. It is found that the model adequately predicts the shock structure obtained from numerical simulations, and can be utilised for various sets of parameters to capture the overall direct Mach reflection o[DiMR+DiMR] configuration. The von Neumann criterion is also well captured by the new analytic model, along with the Mach stem profile and shock curvatures. Based on the analytical and numerical observations, a hypothesis is also made regarding the stability of MR structures within an over-expanded jet.


title: Uncertainty Quantification with Pre-trained Language Models: A Large-Scale Empirical Analysis

abstract: Pre-trained language models (PLMs) have gained increasing popularity due to their compelling prediction performance in diverse natural language processing (NLP) tasks. When formulating a PLM-based prediction pipeline for NLP tasks, it is also crucial for the pipeline to minimize the calibration error, especially in safety-critical applications. That is, the pipeline should reliably indicate when we can trust its predictions. In particular, there are various considerations behind the pipeline: (1) the choice and (2) the size of PLM, (3) the choice of uncertainty quantifier, (4) the choice of fine-tuning loss, and many more. Although prior work has looked into some of these considerations, they usually draw conclusions based on a limited scope of empirical studies. There still lacks a holistic analysis on how to compose a well-calibrated PLM-based prediction pipeline. To fill this void, we compare a wide range of popular options for each consideration based on three prevalent NLP classification tasks and the setting of domain shift. In response, we recommend the following: (1) use ELECTRA for PLM encoding, (2) use larger PLMs if possible, (3) use Temp Scaling as the uncertainty quantifier, and (4) use Focal Loss for fine-tuning.


title: First-passage probability estimation of high-dimensional nonlinear stochastic dynamic systems by a fractional moments-based mixture distribution approach

abstract: First-passage probability estimation of high-dimensional nonlinear stochastic systems is a significant task to be solved in many science and engineering fields, but remains still an open challenge. The present paper develops a novel approach, termed 'fractional moments-based mixture distribution', to address such challenge. This approach is implemented by capturing the extreme value distribution (EVD) of the system response with the concepts of fractional moments and mixture distribution. In our context, the fractional moment itself is by definition a high-dimensional integral with a complicated integrand. To efficiently compute the fractional moments, a parallel adaptive sampling scheme that allows for sample size extension is developed using the refined Latinized stratified sampling (RLSS). In this manner, both variance reduction and parallel computing are possible for evaluating the fractional moments. From the knowledge of low-order fractional moments, the EVD of interest is then expected to be reconstructed. Based on introducing an extended inverse Gaussian distribution and a log extended skew-normal distribution, one flexible mixture distribution model is proposed, where its fractional moments are derived in analytic form. By fitting a set of fractional moments, the EVD can be recovered via the proposed mixture model. Accordingly, the first-passage probabilities under different thresholds can be obtained from the recovered EVD straightforwardly. The performance of the proposed method is verified by three examples consisting of two test examples and one engineering problem.


title: A two-stage approach for table extraction in invoices

abstract: The automated analysis of administrative documents is an important field in document recognition that is studied for decades. Invoices are key documents among these huge amounts of documents available in companies and public services. Invoices contain most of the time data that are presented in tables that should be clearly identified to extract suitable information. In this paper, we propose an approach that combines an image processing based estimation of the shape of the tables with a graph-based representation of the document, which is used to identify complex tables precisely. We propose an experimental evaluation using a real case application.


title: Quantum state tomography via non-convex Riemannian gradient descent

abstract: The recovery of an unknown density matrix of large size requires huge computational resources. The recent Factored Gradient Descent (FGD) algorithm and its variants achieved state-of-the-art performance since they could mitigate the dimensionality barrier by utilizing some of the underlying structures of the density matrix. Despite their theoretical guarantee of a linear convergence rate, the convergence in practical scenarios is still slow because the contracting factor of the FGD algorithms depends on the condition number $\kappa$ of the ground truth state. Consequently, the total number of iterations can be as large as $O(\sqrt{\kappa}\ln(\frac{1}{\varepsilon}))$ to achieve the estimation error $\varepsilon$. In this work, we derive a quantum state tomography scheme that improves the dependence on $\kappa$ to the logarithmic scale; namely, our algorithm could achieve the approximation error $\varepsilon$ in $O(\ln(\frac{1}{\kappa\varepsilon}))$ steps. The improvement comes from the application of the non-convex Riemannian gradient descent (RGD). The contracting factor in our approach is thus a universal constant that is independent of the given state. Our theoretical results of extremely fast convergence and nearly optimal error bounds are corroborated by numerical results.


title: Neutron scattering studies on ionic diffusion behaviors of superionic $\alpha$-Cu$_{2-\delta}$Se

abstract: We present studies on crystal structure and ionic diffusion behaviors of superionic Cu$_{2-\delta}$Se ($\delta$=0, 0.04, and 0.2) by utilizing neutron powder diffraction and quasi-elastic neutron scattering. In the superionic phase, the structural model with Cu ions occupying the Wyckoff sites of 8$c$ and 32$f$ provides the best description of the structure. As the content of Cu increasing in Cu$_{2-\delta}$Se, the Cu occupancy increases on the 32$f$ site, but decreases on the 8$c$ site . Fitting to the quasi-elastic neutron scattering spectra reveals two diffusion modes, the localized diffusion between the 8$c$ and 32$f$ sites and the long-range diffusion between the adjacent 8$c$ sites using the 32$f$ site as a bypass, respectively. Between 430 and 650 K, we measured that the compound with more Cu content exhibits a larger long-range diffusion coefficient. Temperature in this range does not affect the long-range diffusion process obviously. Our results suggest the two diffusion modes cooperative and thus provide a microscopic understanding of the ionic diffusion of the Cu ions in superionic Cu$_{2-\delta}$Se.


title: Left orderability and taut foliations with orderable cataclysm

abstract: Let $M$ be a connected, closed, orientable, irreducible $3$-manifold. We show that: if $M$ admits a co-orientable taut foliation $\mathcal{F}$ with orderable cataclysm, then $\pi_1(M)$ is left orderable. This provides an elementary proof that $\pi_1(M)$ is left orderable if $M$ admits an Anosov flow with a co-orientable stable foliation without using Thurston's universal circle action. Furthermore, for every closed orientable 3-manifold that admits a pseudo-Anosov flow $X$ with a co-orientable stable foliation, our result applies to infinitely many of Dehn fillings along the union of singular orbits of $X$.


title: The $p$-integrable Teichm\"uller space for $p \geqslant 1$

abstract: We verify that the $p$-integrable Teichm\"uller space $T_p$ admits the canonical complex Banach manifold structure for any $p \geq 1$. Moreover, we characterize a quasisymmetric homeomorphism corresponding to an element of $T_p$ in terms of the $p$-Besov space for any $p>1$.


title: The Gaia-ESO Survey: Lithium measurements and new curves of growth

abstract: The Gaia-ESO Survey (GES) is a large public spectroscopic survey that was carried out using the multi-object FLAMES spectrograph at the Very Large Telescope. The survey provides accurate radial velocities, stellar parameters, and elemental abundances for ~115,000 stars in all Milky Way components. In this paper we describe the method adopted in the final data release to derive lithium equivalent widths (EWs) and abundances. Lithium EWs were measured using two different approaches for FGK and M-type stars, to account for the intrinsic differences in the spectra. For FGK stars, we fitted the lithium line using Gaussian components, while direct integration over a predefined interval was adopted for M-type stars. Care was taken to ensure continuity between the two regimes. Abundances were derived using a new set of homogeneous curves of growth that were derived specifically for GES, and which were measured on a synthetic spectral grid consistently with the way the EWs were measured. The derived abundances were validated by comparison with those measured by other analysis groups using different methods. Lithium EWs were measured for ~40,000 stars, and abundances could be derived for ~38,000 of them. The vast majority of the measures (80%) have been obtained for stars in open cluster fields. The remaining objects are stars in globular clusters, or field stars in the Milky Way disc, bulge, and halo. The GES dataset of homogeneous lithium abundances described here will be valuable for our understanding of several processes, from stellar evolution and internal mixing in stars at different evolutionary stages to Galactic evolution.


title: Semantics-Consistent Cross-domain Summarization via Optimal Transport Alignment

abstract: Multimedia summarization with multimodal output (MSMO) is a recently explored application in language grounding. It plays an essential role in real-world applications, i.e., automatically generating cover images and titles for news articles or providing introductions to online videos. However, existing methods extract features from the whole video and article and use fusion methods to select the representative one, thus usually ignoring the critical structure and varying semantics. In this work, we propose a Semantics-Consistent Cross-domain Summarization (SCCS) model based on optimal transport alignment with visual and textual segmentation. In specific, our method first decomposes both video and article into segments in order to capture the structural semantics, respectively. Then SCCS follows a cross-domain alignment objective with optimal transport distance, which leverages multimodal interaction to match and select the visual and textual summary. We evaluated our method on three recent multimodal datasets and demonstrated the effectiveness of our method in producing high-quality multimodal summaries.


title: Experiential Explanations for Reinforcement Learning

abstract: Reinforcement Learning (RL) systems can be complex and non-interpretable, making it challenging for non-AI experts to understand or intervene in their decisions. This is due in part to the sequential nature of RL in which actions are chosen because of future rewards. However, RL agents discard the qualitative features of their training, making it difficult to recover user-understandable information for "why" an action is chosen. We propose a technique, Experiential Explanations, to generate counterfactual explanations by training influence predictors along with the RL policy. Influence predictors are models that learn how sources of reward affect the agent in different states, thus restoring information about how the policy reflects the environment. A human evaluation study revealed that participants presented with experiential explanations were better able to correctly guess what an agent would do than those presented with other standard types of explanation. Participants also found that experiential explanations are more understandable, satisfying, complete, useful, and accurate. The qualitative analysis provides insights into the factors of experiential explanations that are most useful.


title: A hyperbolic-elliptic PDE model and conservative numerical method for gravity-dominated variably-saturated groundwater flow

abstract: Richards equation is often used to represent two-phase fluid flow in an unsaturated porous medium when one phase is much heavier and more viscous than the other. However, it cannot describe the fully saturated flow for some capillary functions without specialized treatment due to degeneracy in the capillary pressure term. Mathematically, gravity-dominated variably saturated flows are interesting because their governing partial differential equation switches from hyperbolic in the unsaturated region to elliptic in the saturated region. Moreover, the presence of wetting fronts introduces strong spatial gradients often leading to numerical instability. In this work, we develop a robust, multidimensional mathematical model and implement a well-known efficient and conservative numerical method for such variably saturated flow in the limit of negligible capillary forces. The elliptic problem in saturated regions is integrated efficiently into our framework by solving a reduced system corresponding only to the saturated cells using fixed head boundary conditions in the unsaturated cells. In summary, this coupled hyperbolic-elliptic PDE framework provides an efficient, physics-based extension of the hyperbolic Richards equation to simulate fully saturated regions. Finally, we provide a suite of easy-to-implement yet challenging benchmark test problems involving saturated flows in one and two dimensions. These simple problems, accompanied by their corresponding analytical solutions, can prove to be pivotal for the code verification, model validation (V&V) and performance comparison of simulators for variably saturated flow. Our numerical solutions show an excellent comparison with the analytical results for the proposed problems. The last test problem on two-dimensional infiltration in a stratified, heterogeneous soil shows the formation and evolution of multiple disconnected saturated regions.


title: Shadow Celestial Amplitude

abstract: We study scattering amplitudes in the shadow conformal primary basis, which satisfies the same defining properties as the original conformal primary basis and has many advantages over it. The shadow celestial amplitudes exhibit locality manifestly on the celestial sphere, and behave like correlation functions in conformal field theory under the operator product expansion (OPE) limit. We study the OPE limits for three-point shadow celestial amplitude, and general $2\to n-2$ shadow celestial amplitudes from a large class of Feynman diagrams. In particular, we compute the conformal block expansion of the $s$-channel four-point shadow celestial amplitude of massless scalars at tree-level, and show that the expansion coefficients factorize as products of OPE coefficients.


title: Knowledge Prompts: Injecting World Knowledge into Language Models through Soft Prompts

abstract: Soft prompts have been recently proposed as a tool for adapting large frozen language models (LMs) to new tasks. In this work, we repurpose soft prompts to the task of injecting world knowledge into LMs. We introduce a method to train soft prompts via self-supervised learning on data from knowledge bases. The resulting soft knowledge prompts (KPs) are task independent and work as an external memory of the LMs. We perform qualitative and quantitative experiments and demonstrate that: (1) KPs can effectively model the structure of the training data; (2) KPs can be used to improve the performance of LMs in different knowledge intensive tasks.


title: The connective K-theory of the Eilenberg-MacLane space K(Z/p,2)

abstract: We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between h_0-extensions and exotic extensions. The mod-p connective KU-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic extensions in the integral groups.


title: PyHopper -- Hyperparameter optimization

abstract: Hyperparameter tuning is a fundamental aspect of machine learning research. Setting up the infrastructure for systematic optimization of hyperparameters can take a significant amount of time. Here, we present PyHopper, a black-box optimization platform designed to streamline the hyperparameter tuning workflow of machine learning researchers. PyHopper's goal is to integrate with existing code with minimal effort and run the optimization process with minimal necessary manual oversight. With simplicity as the primary theme, PyHopper is powered by a single robust Markov-chain Monte-Carlo optimization algorithm that scales to millions of dimensions. Compared to existing tuning packages, focusing on a single algorithm frees the user from having to decide between several algorithms and makes PyHopper easily customizable. PyHopper is publicly available under the Apache-2.0 license at https://github.com/PyHopper/PyHopper.


title: The Foil: Capture-Avoiding Substitution With No Sharp Edges

abstract: Correctly manipulating program terms in a compiler is surprisingly difficult because of the need to avoid name capture. The rapier from "Secrets of the Glasgow Haskell Compiler inliner" is a cutting-edge technique for fast, stateless capture-avoiding substitution for expressions represented with explicit names. It is, however, a sharp tool: its invariants are tricky and need to be maintained throughout the whole compiler that uses it. We describe the foil, an elaboration of the rapier that uses Haskell's type system to enforce the rapier's invariants statically, preventing a class of hard-to-find bugs, but without adding any run-time overheads.


title: Weak and strong $L^p$-limits of vector fields with finitely many integer singularities in dimension $n$

abstract: For every given $p\in [1,+\infty)$ and $n\in\mathbb{N}$ with $n\ge 1$, the authors identify the strong $L^p$-closure $L_{\mathbb{Z}}^p(D)$ of the class of vector fields having finitely many integer topological singularities on a domain $D$ which is either bi-Lipschitz equivalent to the open unit $n$-dimensional cube or to the boundary of the unit $(n+1)$-dimensional cube. Moreover, for every $n\in\mathbb{N}$ with $n\ge 2$ the authors prove that $L_{\mathbb{Z}}^p(D)$ is weakly sequentially closed for every $p\in (1,+\infty)$ whenever $D$ is an open domain in $\mathbb{R}^n$ which is bi-Lipschitz equivalent to the open unit cube. As a byproduct of the previous analysis, a useful characterisation of such class of objects is obtained in terms of existence of a (minimal) connection for their singular set.


title: Oscillations of laminar flow velocity in a channel induced by harmonic perturbation of mass injection velocity through the permeable wall

abstract: Transient Navies--Stokes equations for laminar flow of incompressible fluid in a channel with permeable wall are reduced to a single equation for the transversal profile of longitudinal flow velocity. Small--amplitude harmonic perturbation of injection velocity induces oscillations of longitudinal velocity with the peak at the walls. The oscillations amplitude in peaks dramatically increases with the distance along the channel; with the frequency growth peaks come closer to the walls.


title: M\"{o}bius Homogeneous Hypersurfaces in $\mathbb{S}^{n+1}$

abstract: Let $\mathbb{M}(\mathbb{S}^{n+1})$ denote the M\"{o}bius transformation group of the $(n+1)$-dimensional sphere $\mathbb{S}^{n+1}$. A hypersurface $x:M^n\to \mathbb{S}^{n+1}$ is called a M\"{o}bius homogeneous hypersurface if there exists a subgroup $G$ of $\mathbb{M}(\mathbb{S}^{n+1})$ such that the orbit $G\cdot p=x(M^n), p\in x(M^n)$. In this paper, the M\"{o}bius homogeneous hypersurfaces are classified completely up to a M\"{o}bius transformation of $\mathbb{S}^{n+1}$.


title: A Privacy Preserving IoT Data Marketplace Using IOTA Smart Contracts

abstract: In recent years, the volume of data generated by IoT devices has increased dramatically. Using this data can improve decision-making in the public and private sectors and increase productivity. Many attempts have been made to enhance and adapt businesses to exploit this IoT data. Among these, IoT data trading is the most popular approach. To this end, ongoing projects are currently focused on developing decentralized data marketplaces for IoT using blockchain and cryptocurrencies. Here we explore how a decentralized data marketplace could be created using IOTA tangle and IOTA smart contract chains (SC chains). We also consider the advantages of such architecture in terms of cost, scalability, and privacy over current designs and introduce the various elements it should have.


title: Mirror mode storms observed by Solar Orbiter

abstract: Mirror modes are ubiquitous in space plasma and grow from pressure anisotropy. Together with other instabilities, they play a fundamental role in constraining the free energy contained in the plasma. This study focuses on mirror modes observed in the solar wind by Solar Orbiter for heliocentric distances between 0.5 and 1 AU. Typically, mirror modes have timescales from several to tens of seconds and are considered quasi-MHD structures. In the solar wind, they also generally appear as isolated structures. However, in certain conditions, prolonged and bursty trains of higher frequency mirror modes are measured, which have been labeled previously as mirror mode storms. At present, only a handful of existing studies have focused on mirror mode storms, meaning that many open questions remain. In this study, Solar Orbiter has been used to investigate several key aspects of mirror mode storms: their dependence on heliocentric distance, association with local plasma properties, temporal/spatial scale, amplitude, and connections with larger-scale solar wind transients. The main results are that mirror mode storms often approach local ion scales and can no longer be treated as quasi-MHD, thus breaking the commonly used long-wavelength assumption. They are typically observed close to current sheets and downstream of interplanetary shocks. The events were observed during slow solar wind speeds and there was a tendency for higher occurrence closer to the Sun. The occurrence is low, so they do not play a fundamental role in regulating ambient solar wind but may play a larger role inside transients.


title: Edge Device Deployment of Multi-Tasking Network for Self-Driving Operations

abstract: A safe and robust autonomous driving system relies on accurate perception of the environment for application-oriented scenarios. This paper proposes deployment of the three most crucial tasks (i.e., object detection, drivable area segmentation and lane detection tasks) on embedded system for self-driving operations. To achieve this research objective, multi-tasking network is utilized with a simple encoder-decoder architecture. Comprehensive and extensive comparisons for two models based on different backbone networks are performed. All training experiments are performed on server while Nvidia Jetson Xavier NX is chosen as deployment device.


title: On the typical width of Herschel filaments

abstract: Herschel studies suggest that nearby (d < 500 pc) molecular filaments have a typical half-power width ~0.1pc, but this finding has been questioned on the ground that the measured widths tend to increase with distance. Here we revisit the dependence of measured filament widths on distance or equivalently spatial resolution, in an effort to determine whether nearby molecular filaments have a characteristic half-power width or whether this is an artifact of the finite resolution of the Herschel data. We perform a convergence test on the B211/213 filament in Taurus, by degrading the resolution of the Herschel data several times and re-estimating the filament width from the resulting column density profiles. We also compare the widths measured for the Taurus filament and other filaments from the Herschel Gould Belt survey to those found for synthetic filaments with various types of simple, idealized column density profiles. We find that the measured filament widths do increase slightly as the spatial resolution worsens and/or the distance to the filaments increases. However, this trend is entirely consistent with what is expected from simple beam convolution for filaments with density profiles that are Plummer-like and have intrinsic half-power diameters ~0.08-0.1 pc and logarithmic slopes 1.5 < p < 2.5 at large radii, as observed in many cases including the Taurus filament. Due to the presence of background noise fluctuations, deconvolution of the measured widths from the telescope beam quickly becomes inaccurate. We conclude that the typical half-power filament width ~0.1 pc measured with Herschel in nearby clouds most likely reflects the presence of a true common scale in the filamentary structure of the cold interstellar medium, at least in the solar neighborhood. We suggest that this common scale may correspond to the magnetized turbulent correlation length in molecular clouds.


title: Splay-induced order in systems of hard wedges

abstract: We studied equilibrium systems composed of wedge-shaped monodisperse molecules using hard-particle Monte Carlo simulations. Each model molecule was made up of six colinear tangent spheres with linearly decreasing diameters. Thus, the shape was unequivocally described by a single parameter $d$: the ratio of the smallest and largest diameters of the spheres. The phases of the systems were analyzed as a function of $d$ and packing density $\eta$. As interactions were purely of the excluded volume type, the emergent phases were governed solely by the configurational entropy. For $\eta < 0.5$, in addition to the isotropic liquid, we observed standard nematic and smectic A liquid crystalline phases. However, for $\eta > 0.5$, apart from the ordinary non-polar hexagonal crystal, three new frustrated polar crystalline phases with splay modulation appeared: antiferroelectric splay crystal ($\text{Cr}_\text{S}\text{P}_\text{A}$), antiferroelectric double splay crystal ($\text{Cr}_\text{DS}\text{P}_\text{A}$) and ferroelectric double splay crystal ($\text{Cr}_\text{DS}\text{P}_\text{F}$). All configurations were studied in terms of nematic, smectic, and hexatic order parameters, as well as the radial distribution function and the polarization correlation function.


title: A dynamic programming algorithm for span-based nested named-entity recognition in O(n^2)

abstract: Span-based nested named-entity recognition (NER) has a cubic-time complexity using a variant of the CYK algorithm. We show that by adding a supplementary structural constraint on the search space, nested NER has a quadratic-time complexity, that is the same asymptotic complexity than the non-nested case. The proposed algorithm covers a large part of three standard English benchmarks and delivers comparable experimental results.


title: Expected multi-utility representations of preferences over lotteries

abstract: Let $\succsim$ be a binary relation on the set of simple lotteries over a countable outcome set $Z$. We provide necessary and sufficient conditions on $\succsim$ to guarantee the existence of a set $U$ of von Neumann--Morgenstern utility functions $u: Z\to \mathbf{R}$ such that $$ p\succsim q \,\,\,\Longleftrightarrow\,\,\, \mathbf{E}_p[u] \ge \mathbf{E}_q[u] \,\text{ for all }u \in U $$ for all simple lotteries $p,q$. In such case, the set $U$ is essentially unique. Then, we show that the analogue characterization does not hold if $Z$ is uncountable. This provides an answer to an open question posed by Dubra, Maccheroni, and Ok in [J. Econom. Theory~\textbf{115} (2004), no.~1, 118--133]. Lastly, we show that different continuity requirements on $\succsim$ allow for certain restrictions on the possible choices of the set $U$ of utility functions (e.g., all utility functions are bounded), providing a wide family of expected multi-utility representations.


title: Rigidity and continuous extension for conformal maps of circle domains

abstract: We present sufficient conditions so that a conformal map between planar domains whose boundary components are Jordan curves or points has a continuous or homeomorphic extension to the closures of the domains. Our conditions involve the notions of cofat domains and CNED sets, i.e., countably negligible for extremal distance, recently introduced by the author. We use this result towards establishing conformal rigidity of a class of circle domains. A circle domain is conformally rigid if every conformal map onto another circle domain is the restriction of a M\"obius transformation. We show that circle domains whose point boundary components are CNED are conformally rigid. This result is the strongest among all earlier works and provides substantial evidence towards the rigidity conjecture of He-Schramm, relating the problems of conformal rigidity and removability.


title: Comprehensive investigation of fission yields by using spallation- and (p,2p)-induced fission reactions in inverse kinematics

abstract: In the last decades, measurements of spallation, fragmentation and Coulex induced fission reactions in inverse kinematics have provided valuable data to accurately investigate the fission dynamics and nuclear structure at large deformations of a large variety of stable and non-stable heavy nuclei. To go a step further, we propose now to induce fission by the use of quasi-free (p,2p) scattering reactions in inverse kinematics, which allows us to reconstruct the excitation energy of the compound fissioning system by using the four-momenta of the two outgoing protons. Therefore, this new approach might permit to correlate the excitation energy with the charge and mass distributions of the fission fragments and with the fission probabilities, given for the first time direct access to the simultaneous measurement of the fission yield dependence on temperature and fission barrier heights of exotic heavy nuclei, respectively. The first experiment based on this methodology was realized recently at the GSI/FAIR facility and a detailed description of the experimental setup is given here.


title: Over-the-Air Split Machine Learning in Wireless MIMO Networks

abstract: In split machine learning (ML), different partitions of a neural network (NN) are executed by different computing nodes, requiring a large amount of communication cost. To ease communication burden, over-the-air computation (OAC) can efficiently implement all or part of the computation at the same time of communication. Based on the proposed system, the system implementation over wireless network is introduced and we provide the problem formulation. In particular, we show that the inter-layer connection in a NN of any size can be mathematically decomposed into a set of linear precoding and combining transformations over MIMO channels. Therefore, the precoding matrix at the transmitter and the combining matrix at the receiver of each MIMO link, as well as the channel matrix itself, can jointly serve as a fully connected layer of the NN. The generalization of the proposed scheme to the conventional NNs is also introduced. Finally, we extend the proposed scheme to the widely used convolutional neural networks and demonstrate its effectiveness under both the static and quasi-static memory channel conditions with comprehensive simulations. In such a split ML system, the precoding and combining matrices are regarded as trainable parameters, while MIMO channel matrix is regarded as unknown (implicit) parameters.


title: The Dyson equation for $2$-positive maps and H\"older bounds for the L\'evy distance of densities of states

abstract: The so-called density of states is a Borel probability measure on the real line associated with the solution of the Dyson equation which we set up, on any fixed $C^\ast$-probability space, for a selfadjoint offset and a $2$-positive linear map. Using techniques from free noncommutative function theory, we prove explicit H\"older bounds for the L\'evy distance of two such measures when any of the two parameters varies. As the main tools for the proof, which are also of independent interest, we show that solutions of the Dyson equation have strong analytic properties and evolve along any $C^1$-path of $2$-positive linear maps according to an operator-valued version of the inviscid Burgers equation.


title: The Structure of Stable Codimension One Integral Varifolds near Classical Cones of Density $Q+1/2$

abstract: For each positive integer $Q\in\mathbb{Z}_{\geq 2}$, we prove a multi-valued $C^{1,\alpha}$ regularity theorem for varifolds in the class $\mathcal{S}_Q$, i.e., stable codimension one stationary integral $n$-varifolds which have no classical singularities of vertex density $<Q$, which are sufficiently close to a stationary integral cone comprised of $2Q+1$ half-hyperplanes (counted with multiplicity) meeting along a common axis. Such a result furthers the understanding of the local structure about singularities in the (possibly branched) varifolds in $\mathcal{S}_Q$ achieved by the author and N.~Wickramasekera (\cite{minterwick}) and generalises the authors' previous work in the case $Q=2$ (\cite{minter-5-2}) to arbitrary $Q\in \mathbb{Z}_{\geq 2}$. One notable difference with previous works is that our methods do not need any a priori size restriction on the (density $Q$) branch set to rule out density gaps.


title: Multi-mode fiber reservoir computing overcomes shallow neural networks classifiers

abstract: In the field of disordered photonics, a common objective is to characterize optically opaque materials for controlling light delivery or performing imaging. Among various complex devices, multi-mode optical fibers stand out as cost-effective and easy-to-handle tools, making them attractive for several tasks. In this context, we leverage the reservoir computing paradigm to recast these fibers into random hardware projectors, transforming an input dataset into a higher dimensional speckled image set. The goal of our study is to demonstrate that using such randomized data for classification by training a single logistic regression layer improves accuracy compared to training on direct raw images. Interestingly, we found that the classification accuracy achieved using the reservoir is also higher than that obtained with the standard transmission matrix model, a widely accepted tool for describing light transmission through disordered devices. We find that the reason for such improved performance could be due to the fact that the hardware classifier operates in a flatter region of the loss landscape when trained on fiber data, which aligns with the current theory of deep neural networks. These findings strongly suggest that multi-mode fibers possess robust generalization properties, positioning them as promising tools for optically-assisted neural networks. With this study, in fact, we want to contribute to advancing the knowledge and practical utilization of these versatile instruments, which may play a significant role in shaping the future of machine learning.

categories: physics.optics physics.app-ph physics.data-an stat.ML


title: BCS Theory in the Weak Magnetic Field Regime for Systems with Nonzero Flux and Exponential Estimates on the Adiabatic Theorem in Extended Quantum Lattice Systems

abstract: In the main part of this PhD thesis, we consider a periodically realized microscopic superconductor described by BCS theory, which is subject to external electromagnetic fields. We show that the superconductor is properly described by Ginzburg--Landau theory in the macroscopic and weak magnetic field limit. The main novelty of our results is to allow for a non-vanishing magnetic flux through the unit cell of the lattice of periodicity. These main results are supplemented by various unpublished notes in the field of BCS theory. Furthermore, we preface the presentation of these results with a comprehensive introduction suitable for master's or PhD students. Thereby, we hope to contribute to filling the gap of missing introductory literature in the field. The thesis comprises a second topic, in which we provide ideas for setting up quantum lattice systems in order to prove exponential estimates for the adiabatic theorem. These notes are the result of studies in this field, which have been conducted during a research stay at the University of British Columbia (UBC) in Vancouver, Canada.


title: An NLoS-based Enhanced Sensing Method for MmWave Communication System

abstract: The millimeter-wave (mmWave)-based Wi-Fi sensing technology has recently attracted extensive attention since it provides a possibility to realize higher sensing accuracy. However, current works mainly concentrate on sensing scenarios where the line-of-sight (LoS) path exists, which significantly limits their applications. To address the problem, we propose an enhanced mmWave sensing algorithm in the 3D non-line-of-sight environment (mm3NLoS), aiming to sense the direction and distance of the target when the LoS path is weak or blocked. Specifically, we first adopt the directional beam to estimate the azimuth/elevation angle of arrival (AoA) and angle of departure (AoD) of the reflection path. Then, the distance of the related path is measured by the fine timing measurement protocol. Finally, we transform the AoA and AoD of the multiple non-line-of-sight (NLoS) paths into the direction vector and then obtain the information of targets based on the geometric relationship. The simulation results demonstrate that mm3NLoS can achieve a centimeter-level error with a 2m spacing. Compared to the prior work, it can significantly reduce the performance degradation under the NLoS condition.


title: Perturbation of the spectra for asymptotically constant differential operators and applications

abstract: We study the spectra for a class of differential operators with asymptotically constant coefficients.These operators widely arise as the linearizations of nonlinear partial differential equations about patterns or nonlinear waves. We present a unified framework to prove the perturbation results on the related spectra. The proof is based on exponential dichotomies and the Brouwer degree theory. As applications, we employ the developed theory to study the stability of quasi-periodic solutions of the Ginzburg-Landau equation,fold-Hopf bifurcating periodic solutions of reaction-diffusion systems coupled with ordinary differential equations, and periodic annulus of the hyperbolic Burgers-Fisher model.


title: Revan-degree indices on random graphs

abstract: Given a simple connected non-directed graph $G=(V(G),E(G))$, we consider two families of graph invariants: $RX_\Sigma(G) = \sum_{uv \in E(G)} F(r_u,r_v)$ (which has gained interest recently) and $RX_\Pi(G) = \prod_{uv \in E(G)} F(r_u,r_v)$ (that we introduce in this work); where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $r_u$ is the Revan degree of the vertex $u$, and $F$ is a function of the Revan vertex degrees. Here, $r_u = \Delta + \delta - d_u$ with $\Delta$ and $\delta$ the maximum and minimum degrees among the vertices of $G$ and $d_u$ is the degree of the vertex $u$. Particularly, we apply both $RX_\Sigma(G)$ and R$X_\Pi(G)$ on two models of random graphs: Erd\"os-R\'enyi graphs and random geometric graphs. By a thorough computational study we show that $\left< RX_\Sigma(G) \right>$ and $\left< \ln RX_\Pi(G) \right>$, normalized to the order of the graph, scale with the average Revan degree $\left< r \right>$; here $\left< \cdot \right>$ denotes the average over an ensemble of random graphs. Moreover, we provide analytical expressions for several graph invariants of both families in the dense graph limit.


title: Generalised model of wear in contact problems: the case of oscillatory load

abstract: In this short paper, we consider a sliding punch problem under recently proposed model of wear which is based on the Riemann-Liouville fractional integral relation between pressure and worn volume, and incorporates another additional effect pertinent to relaxation. A particular case of oscillatory (time-harmonic) load is studied. The time-dependent stationary state is identified in terms of eigenfunctions of an auxiliary integral operator. Convergence to this stationary state is quantified. Moreover, numerical simulations have been conducted in order to illustrate the obtained results and study qualitative dependence on two main model parameters.


title: Enhanced spin-mechanical interaction with levitated micromagnets

abstract: Spin-mechanical hybrid systems have been widely used in quantum information processing. However, the spin-mechanical interaction is generally weak, making it a critical challenge to enhance the spin-mechanical interaction into the strong coupling or even ultra-strong coupling regime. Here, we propose a protocol that can significantly enhance the spin-mechanical coupling strength with a diamond spin vacancy and a levitated micromagnet. A driving electrical current is used to modulate the mechanical motion of the levitated micromagnet, which induces a two-phonon drive and can exponentially enhance the spin-phonon and phonon-medicated spin-spin coupling strengths. Furthermore, a high fidelity Schrodinger cat state and an unconventional 2-qubit geometric phase gate with high fidelity and faster gate speed can be achieved using this hybrid system. This protocol provides a promising platform for quantum information processing with NV spins coupled to levitated micromagnets.


title: A note on the Krylov solvability of compact normal operators on Hilbert space

abstract: We analyse the Krylov solvability of inverse linear problems on Hilbert space $\mathcal{H}$ where the underlying operator is compact and normal. Krylov solvability is an important feature of inverse linear problems that has profound implications in theoretical and applied numerical analysis as it is critical to understand the utility of Krylov based methods for solving inverse problems. Our results explicitly describe for the first time the Krylov subspace for such operators given any datum vector $g\in\mathcal{H}$, as well as prove that all inverse linear problems are Krylov solvable provided that $g$ is in the range of such an operator. We therefore expand our knowledge of the class of Krylov solvable operators to include the normal compact operators. We close the study by proving an isomorphism between the closed Krylov subspace for a general bounded normal operator and an $L^2$-measure space based on the scalar spectral measure.


title: Establishing Epitaxial Connectedness in Multi-Stacking: The Survival of Thru-Holes in Thru-Hole Epitaxy

abstract: Thru-hole epitaxy has recently been reported to be able to grow readily detachable domains crystallographically aligned with the underlying substrate over 2D mask material transferred onto a substrate. [Jang \textit{et al.}, \textit{Adv. Mater. Interfaces}, \textbf{2023} \textit{10}, 4 2201406] While the experimental demonstration of thru-hole epitaxy of GaN over multiple stacks of $h$-BN was evident, the detailed mechanism of how small holes in each stack of $h$-BN survived as thru-holes during multiple stacking of $h$-BN was not intuitively clear. Here, we use Monte Carlo simulations to investigate the conditions under which holes in each stack of 2D mask layers can survive as thru-holes during multiple stacking. If holes are highly anisotropic in shape by connecting smaller holes in a particular direction, thru-holes can be maintained with a high survival rate per stack, establishing more epitaxial connectedness. Our work verifies and supports that thru-hole epitaxy is attributed to the epitaxial connectedness established by thru-holes surviving even through multiple stacks.


title: Improving Visual-Semantic Embeddings by Learning Semantically-Enhanced Hard Negatives for Cross-modal Information Retrieval

abstract: Visual Semantic Embedding (VSE) aims to extract the semantics of images and their descriptions, and embed them into the same latent space for cross-modal information retrieval. Most existing VSE networks are trained by adopting a hard negatives loss function which learns an objective margin between the similarity of relevant and irrelevant image-description embedding pairs. However, the objective margin in the hard negatives loss function is set as a fixed hyperparameter that ignores the semantic differences of the irrelevant image-description pairs. To address the challenge of measuring the optimal similarities between image-description pairs before obtaining the trained VSE networks, this paper presents a novel approach that comprises two main parts: (1) finds the underlying semantics of image descriptions; and (2) proposes a novel semantically enhanced hard negatives loss function, where the learning objective is dynamically determined based on the optimal similarity scores between irrelevant image-description pairs. Extensive experiments were carried out by integrating the proposed methods into five state-of-the-art VSE networks that were applied to three benchmark datasets for cross-modal information retrieval tasks. The results revealed that the proposed methods achieved the best performance and can also be adopted by existing and future VSE networks.


title: PySME -- Spectroscopy Made Easier

abstract: The characterization of exoplanet requires reliable determination of the fundamental parameters of their host stars. Spectral fitting plays an important role in this process. For the majority of stellar parameters matching synthetic spectra to the observations provides a robust and unique solution for fundamental parameters, such as effective temperature, surface gravity, abundances, radial and rotational velocities and others. Here we present a new software package for fitting high resolution stellar spectra that is easy to use, available for common platforms and free from commercial licenses. We call it PySME. It is based on the proven Spectroscopy Made Easy (later referred to as IDL SME or "original SME") package. The IDL part of the original SME code has been rewritten in Python, but we kept the efficient C++ and FORTRAN code responsible for molecular-ionization equilibrium, opacities and spectral synthesis. In the process we have updated some components of the optimization procedure offering more flexibility and better analysis of the convergence. The result is a more modern package with the same functionality of the original SME. We apply PySME to a few stars of different spectral types and compared the derived fundamental parameters with the results from IDL SME and other techniques. We show that PySME works at least as well as the original SME.


title: Metaphorical Paraphrase Generation: Feeding Metaphorical Language Models with Literal Texts

abstract: This study presents a new approach to metaphorical paraphrase generation by masking literal tokens of literal sentences and unmasking them with metaphorical language models. Unlike similar studies, the proposed algorithm does not only focus on verbs but also on nouns and adjectives. Despite the fact that the transfer rate for the former is the highest (56%), the transfer of the latter is feasible (24% and 31%). Human evaluation showed that our system-generated metaphors are considered more creative and metaphorical than human-generated ones while when using our transferred metaphors for data augmentation improves the state of the art in metaphorical sentence classification by 3% in F1.


title: On the Performance of Gradient Tracking with Local Updates

abstract: We study the decentralized optimization problem where a network of $n$ agents seeks to minimize the average of a set of heterogeneous non-convex cost functions distributedly. State-of-the-art decentralized algorithms like Exact Diffusion~(ED) and Gradient Tracking~(GT) involve communicating every iteration. However, communication is expensive, resource intensive, and slow. In this work, we analyze a locally updated GT method (LU-GT), where agents perform local recursions before interacting with their neighbors. While local updates have been shown to reduce communication overhead in practice, their theoretical influence has not been fully characterized. We show LU-GT has the same communication complexity as the Federated Learning setting but allows arbitrary network topologies. In addition, we prove that the number of local updates does not degrade the quality of the solution achieved by LU-GT. Numerical examples reveal that local updates can lower communication costs in certain regimes (e.g., well-connected graphs).


title: A binary quadratic approach to $X^2+(2k-1)^Y=k^Z$

abstract: A conjecture of N. Terai states that for any integer $k>1$, the equation $x^2+(2k-1)^y =k^z$ has only one solution, namely, $(x, y, z) = (k-1, 1, 2).$ Using the structure of class groups of binary quadratic forms, we prove the conjecture when $4\Vert k$, with $2k-1$ a prime power and $4\le k\le 1000$.


title: Conformal Fisher information metric with torsion

abstract: We consider torsion in parameter manifolds that arises via conformal transformations of the Fisher information metric, and define it for information geometry of a wide class of physical systems. The torsion can be used to differentiate between probability distribution functions that otherwise have the same scalar curvature and hence define similar geometries. In the context of thermodynamic geometry, our construction gives rise to a new scalar - the torsion scalar defined on the manifold, while retaining known physical features related to other scalar quantities. We analyse this in the context of the Van der Waals and the Curie-Weiss models. In both cases, the torsion scalar has non trivial behaviour on the spinodal curve.


title: Smooth projective surfaces with infinitely many real forms

abstract: The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism group, the cone conjecture and the topological entropy. We then apply them to show that a smooth complex projective surface has at most finitely many non-isomorphic real forms unless it is either rational or a non-minimal surface birational to either a K3 surface or an Enriques surface. In the second part of the paper, we construct an Enriques surface whose blow-up at one point admits infinitely many non-isomorphic real forms. This answers a question of Kondo to us and also shows the three exceptional cases really occur.


title: Monoenergetic Neutrinos from WIMP Annihilation in Jupiter

abstract: Weakly interacting massive particles (WIMPs) can be captured by the Sun and annihilate in the core, which may result in production of kaons that can decay at rest into monoenergetic 236 MeV neutrinos. Several studies of detection of these neutrinos at DUNE have been carried out. It has been shown that if the WIMP mass is below 4 GeV, then they will evaporate prior to annihilation, suppressing the signal. Since Jupiter has a cooler core, WIMPs with masses in the 1-4 GeV range will not evaporate and can thus annihilate into monoenergetic neutrinos. We calculate the flux of these neutrinos near the surface of Jupiter and find that it is comparable to the flux at DUNE for masses above 4 GeV and substantially greater in the 1-4 GeV range. Of course, detecting these neutrinos would require a neutrino detector near Jupiter. Obviously, it will be many decades before such a detector can be built, but should direct detection experiments find a WIMP with a mass in the 1-4 GeV range, it may be one of the few ways to learn about the annihilation process. A liquid hydrogen time projection chamber might be able to get precise directional information and energy of these neutrinos (and hydrogen is plentiful in the vicinity of Jupiter). We speculate that such a detector could be placed on the far side of one of the tidally locked Amalthean moons; the moon itself would provide substantial background shielding and the surface would allow easier deployment of solar panels for power generation.


title: Gr\"obner bases of radical Li-Li type ideals associated with partitions

abstract: For a partition $\lambda$ of $n$, the _Specht ideal_ $I_\lambda \subset K[x_1, \ldots, x_n]$ is the ideal generated by all Specht polynomials of shape $\lambda$. In their unpublished manuscript, Haiman and Woo showed that $I_\lambda$ is a radical ideal, and gave its universal Gr\"obner bases (recently, Murai et al. published a quick proof of this result). On the other hand, an old paper of Li and Li studied analogous ideals, while their ideals are not always radical. In the present paper, we introduce a class of ideals which generalizes both Specht ideals and _radical_ Li-Li ideals, and study their radicalness and Gr\"obner bases.


title: On the Forward Invariance of Neural ODEs

abstract: We propose a new method to ensure neural ordinary differential equations (ODEs) satisfy output specifications by using invariance set propagation. Our approach uses a class of control barrier functions to transform output specifications into constraints on the parameters and inputs of the learning system. This setup allows us to achieve output specification guarantees simply by changing the constrained parameters/inputs both during training and inference. Moreover, we demonstrate that our invariance set propagation through data-controlled neural ODEs not only maintains generalization performance but also creates an additional degree of robustness by enabling causal manipulation of the system's parameters/inputs. We test our method on a series of representation learning tasks, including modeling physical dynamics and convexity portraits, as well as safe collision avoidance for autonomous vehicles.


title: End-to-end verifiable voting for developing countries -- what's hard in Lausanne is harder still in Lahore

abstract: In recent years end-to-end verifiable voting (E2EVV) has emerged as a promising new paradigm to conduct evidence-based elections. However, E2EVV systems thus far have primarily been designed for the developed world and the fundamental assumptions underlying the design of these systems do not readily translate to the developing world, and may even act as potential barriers to adoption of these systems. This is unfortunate because developing countries account for 80\% of the global population, and given their economic and socio-political dilemmas and their track record of contentious elections, these countries arguably stand to benefit most from this exciting new paradigm. In this paper, we highlight various limitations and challenges in adapting E2EVV systems to these environments, broadly classed across social, political, technical, operational, and human dimensions. We articulate corresponding research questions and identify significant literature gaps in these categories. We also suggest relevant strategies to aid researchers, practitioners, and policymakers in visualizing and exploring solutions that align with the context and unique ground realities in these environments. Our goal is to outline a broader research agenda for the community to successfully adapt E2EVV voting systems to developing countries.


title: Report of the Frontier For Rare Processes and Precision Measurements

abstract: This is the Snowmass 2021 Rare and Precision Frontier Report. The Rare Processes and Precision Measurements Frontier, referred to as the ``Rare and Precision Frontier", or RPF, encompasses searches for extremely rare processes or tiny deviations from the Standard Model (SM) that can be studied with intense sources and high-precision detectors. Our community studies have identified several unique research opportunities that may pin down the scales associated with New Physics (NP) interactions and constrain the couplings of possible new degrees of freedom. Searches for rare flavor transition processes and precision measurements are indispensable probes of flavor and fundamental symmetries, and provide insights into physics that manifests itself at higher energy or through weaker interactions than those directly accessible at high-energy colliders.


title: Hierarchical Learning in Euclidean Neural Networks

abstract: Equivariant machine learning methods have shown wide success at 3D learning applications in recent years. These models explicitly build in the reflection, translation and rotation symmetries of Euclidean space and have facilitated large advances in accuracy and data efficiency for a range of applications in the physical sciences. An outstanding question for equivariant models is why they achieve such larger-than-expected advances in these applications. To probe this question, we examine the role of higher order (non-scalar) features in Euclidean Neural Networks (\texttt{e3nn}). We focus on the previously studied application of \texttt{e3nn} to the problem of electron density prediction, which allows for a variety of non-scalar outputs, and examine whether the nature of the output (scalar $l=0$, vector $l=1$, or higher order $l>1$) is relevant to the effectiveness of non-scalar hidden features in the network. Further, we examine the behavior of non-scalar features throughout training, finding a natural hierarchy of features by $l$, reminiscent of a multipole expansion. We aim for our work to ultimately inform design principles and choices of domain applications for {\tt e3nn} networks.


title: Deep Learning Mixture-of-Experts Approach for Cytotoxic Edema Assessment in Infants and Children

abstract: This paper presents a deep learning framework for image classification aimed at increasing predictive performance for Cytotoxic Edema (CE) diagnosis in infants and children. The proposed framework includes two 3D network architectures optimized to learn from two types of clinical MRI data , a trace Diffusion Weighted Image (DWI) and the calculated Apparent Diffusion Coefficient map (ADC). This work proposes a robust and novel solution based on volumetric analysis of 3D images (using pixels from time slices) and 3D convolutional neural network (CNN) models. While simple in architecture, the proposed framework shows significant quantitative results on the domain problem. We use a dataset curated from a Childrens Hospital Colorado (CHCO) patient registry to report a predictive performance F1 score of 0.91 at distinguishing CE patients from children with severe neurologic injury without CE. In addition, we perform analysis of our systems output to determine the association of CE with Abusive Head Trauma (AHT) , a type of traumatic brain injury (TBI) associated with abuse , and overall functional outcome and in hospital mortality of infants and young children. We used two clinical variables, AHT diagnosis and Functional Status Scale (FSS) score, to arrive at the conclusion that CE is highly correlated with overall outcome and that further study is needed to determine whether CE is a biomarker of AHT. With that, this paper introduces a simple yet powerful deep learning based solution for automated CE classification. This solution also enables an indepth analysis of progression of CE and its correlation to AHT and overall neurologic outcome, which in turn has the potential to empower experts to diagnose and mitigate AHT during early stages of a childs life.


title: Connectedness in Friends-and-Strangers Graphs of Spiders and Complements

abstract: Let $X$ and $Y$ be two graphs with vertex set $[n]$. Their friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph with vertices corresponding to elements of the group $S_n$, and two permutations $\sigma$ and $\sigma'$ are adjacent if they are separated by a transposition $\{a,b\}$ such that $a$ and $b$ are adjacent in $X$ and $\sigma(a)$ and $\sigma(b)$ are adjacent in $Y$. Specific friends-and-strangers graphs such as $\mathsf{FS}(\mathsf{Path}_n,Y)$ and $\mathsf{FS}(\mathsf{Cycle}_n,Y)$ have been researched, and their connected components have been enumerated using various equivalence relations such as double-flip equivalence. A spider graph is a collection of path graphs that are all connected to a single center point. In this paper, we delve deeper into the question of when $\mathsf{FS}(X,Y)$ is connected when $X$ is a spider and $Y$ is the complement of a spider or a tadpole.


title: Accumulating errors in tests of general relativity with gravitational waves: overlapping signals and inaccurate waveforms

abstract: Observations of gravitational waves (GWs) from compact binary coalescences provide powerful tests of general relativity (GR), but systematic errors in data analysis could lead to incorrect scientific conclusions. This issue is especially serious in the third-generation GW detectors in which the signal-to-noise ratio (SNR) is high and the number of detections is large. In this work, we investigate the impacts of overlapping signals and inaccurate waveform models on tests of GR. We simulate mock catalogs for Einstein Telescope and Cosmic Explorer and perform parametric tests of GR using waveform models with different levels of inaccuracy. We find the systematic error in non-GR parameter estimates could accumulate toward a false deviation from GR when combining results from multiple events, although a bayesian model selection analysis may not favour a deviation. Waveform inaccuracies contribute most to the systematic errors, but multiple overlapping signals could magnify the effects of systematics due to the incorrect removal of signals. We also point out that testing GR using selected ''golden binaries'' with high SNR is even more vulnerable to false deviations from GR. The problem of error accumulation is universal; we emphasize that it must be addressed to fully exploit the data from third-generation GW detectors, and that further investigations, particularly in waveform accuracy, will be essential.


title: Infrared Remote Sensing Using Low Noise Avalanche Photodiode Detector

abstract: For a remote sensing optical payload to achieve a Ground Sampling Distance of ~ 10-30 m, a critical problem is platform-induced motion blur. While forward motion compensation can reduce this transit speed, it comes at the expense of a more challenging satellite attitude control system and induces a variable observation/illumination angle. This relative motion can be frozen out by simply reading the sensor system at a frame rate that matches the ground resolution element's pixel crossing time. To achieve high resolution using this Time-Delay Integration (TDI)-like approach requires high speed and hence near "zero" readout noise detector arrays to avoid swamping the observed signal. This requires associated control electronics for fast frame readout and direct interface with smart- Artificial Intelligence (AI) onboard processing. With this technique, the platform freezes out its movement concerning the ground, reducing the demands placed on the attitude control systems, which can otherwise be difficult to implement on a small satellite platform. Here we report the Australian National University's OzFuel mission which applies this technical solution to deliver high ground resolution via high frame rate imaging. OzFuel is built around the Leonardo SAPHIRA Mercury Cadmium Telluride linear mode electron avalanche photodiode (LMeAPD) detector and the in-house developed Rosella electronics control system. The mission will deliver an integrated sensor system in a suite of Short-Wave Infrared (SWIR) passbands dedicated to monitoring the flammability of Eucalypt trees. The OzFuel mission concept focuses on the application of SWIR remote sensing data to deliver a strategic evaluation of fuel loads and moisture content in the bushfire-prone Australian environment.


title: Systematic parameterisations of minimal models of microswimming

abstract: Simple models are used throughout the physical sciences as a means of developing intuition, capturing phenomenology, and qualitatively reproducing observations. In studies of microswimming, simple force-dipole models are commonplace, arising generically as the leading-order, far-field descriptions of a range of complex biological and artificial swimmers. Though many of these swimmers are associated with intricate, time varying flow fields and changing shapes, we often turn to models with constant, averaged parameters for intuition, basic understanding, and back-of-the-envelope prediction. In this brief study, via an elementary multi-timescale analysis, we examine whether the standard use of a priori-averaged parameters in minimal microswimmer models is justified, asking if their behavioural predictions qualitatively align with those of models that incorporate rapid temporal variation through simple extensions. In doing so, we highlight and exemplify how a straightforward asymptotic analysis of these non-autonomous models can result in effective, systematic parameterisations of minimal models of microswimming.


title: An Ontology for Defect Detection in Metal Additive Manufacturing

abstract: A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic interoperability issues, as well as monitoring and decision making tasks. To address such an issue in advanced manufacturing systems, principled knowledge representation approaches based on formal ontologies have been proposed as a foundation to information management and maintenance in presence of heterogeneous data sources. In addition, ontologies provide reasoning and querying capabilities to aid domain experts and end users in the context of constraint validation and decision making. Finally, ontology-based approaches to advanced manufacturing services can support the explainability and interpretability of the behaviour of monitoring, control, and simulation systems that are based on black-box machine learning algorithms. In this work, we provide a novel ontology for the classification of process-induced defects known from the metal additive manufacturing literature. Together with a formal representation of the characterising features and sources of defects, we integrate our knowledge base with state-of-the-art ontologies in the field. Our knowledge base aims at enhancing the modelling capabilities of additive manufacturing ontologies by adding further defect analysis terminology and diagnostic inference features.


title: Multiplicative vertex algebras and quantum loop algebras

abstract: We define a multiplicative version of vertex coalgebras and show that various equivariant K-theoretic constructions of Hall algebras (KHAs) also admit a compatible multiplicative vertex coalgebra structure. In particular, this is true of the preprojective KHA of Varagnolo--Vasserot, which is (conjecturally) isomorphic to certain quantum loop algebras.


title: Online Resource Allocation with Samples

abstract: We study an online resource allocation problem under uncertainty about demand and about the reward of each type of demand (agents) for the resource. Even though dealing with demand uncertainty in resource allocation problems has been the topic of many papers in the literature, the challenge of not knowing rewards has been barely explored. The lack of knowledge about agents' rewards is inspired by the problem of allocating units of a new resource (e.g., newly developed vaccines or drugs) with unknown effectiveness/value. For such settings, we assume that we can \emph{test} the market before the allocation period starts. During the test period, we sample each agent in the market with probability $p$. We study how to optimally exploit the \emph{sample information} in our online resource allocation problem under adversarial arrival processes. We present an asymptotically optimal algorithm that achieves $1-\Theta(1/(p\sqrt{m}))$ competitive ratio, where $m$ is the number of available units of the resource. By characterizing an upper bound on the competitive ratio of any randomized and deterministic algorithm, we show that our competitive ratio of $1-\Theta(1/(p\sqrt{m}))$ is tight for any $p =\omega(1/\sqrt{m})$. That asymptotic optimality is possible with sample information highlights the significant advantage of running a test period for new resources. We demonstrate the efficacy of our proposed algorithm using a dataset that contains the number of COVID-19 related hospitalized patients across different age groups.


title: Two-step devitrification of ultrastable glasses

abstract: The discovery of ultrastable glasses has raised novel challenges about glassy systems. Recent experiments studied the macroscopic devitrification of ultrastable glasses into liquids upon heating but lacked microscopic resolution. We use molecular dynamics simulations to analyse the kinetics of this transformation. In the most stable systems, devitrification occurs after a very large time, but the liquid emerges in two steps. At short times, we observe the rare nucleation and slow growth of isolated droplets containing a liquid maintained under pressure by the rigidity of the surrounding glass. At large times, pressure is released after the droplets coalesce into large domains, which accelerates devitrification. This two-step process produces pronounced deviations from the classical Avrami kinetics and explains the emergence of a giant lengthscale characterising the devitrification of bulk ultrastable glasses. Our study elucidates the nonequilibrium kinetics of glasses following a large temperature jump, which differs from both equilibrium relaxation and aging dynamics, and will guide future experimental studies.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft


title: CONSS: Contrastive Learning Approach for Semi-Supervised Seismic Facies Classification

abstract: Recently, seismic facies classification based on convolutional neural networks (CNN) has garnered significant research interest. However, existing CNN-based supervised learning approaches necessitate massive labeled data. Labeling is laborious and time-consuming, particularly for 3D seismic data volumes. To overcome this challenge, we propose a semi-supervised method based on pixel-level contrastive learning, termed CONSS, which can efficiently identify seismic facies using only 1% of the original annotations. Furthermore, the absence of a unified data division and standardized metrics hinders the fair comparison of various facies classification approaches. To this end, we develop an objective benchmark for the evaluation of semi-supervised methods, including self-training, consistency regularization, and the proposed CONSS. Our benchmark is publicly available to enable researchers to objectively compare different approaches. Experimental results demonstrate that our approach achieves state-of-the-art performance on the F3 survey.


title: mPSAuth: Privacy-Preserving and Scalable Authentication for Mobile Web Applications

abstract: As nowadays most web application requests originate from mobile devices, authentication of mobile users is essential in terms of security considerations. To this end, recent approaches rely on machine learning techniques to analyze various aspects of user behavior as a basis for authentication decisions. These approaches face two challenges: first, examining behavioral data raises significant privacy concerns, and second, approaches must scale to support a large number of users. Existing approaches do not address these challenges sufficiently. We propose mPSAuth, an approach for continuously tracking various data sources reflecting user behavior (e.g., touchscreen interactions, sensor data) and estimating the likelihood of the current user being legitimate based on machine learning techniques. With mPSAuth, both the authentication protocol and the machine learning models operate on homomorphically encrypted data to ensure the users' privacy. Furthermore, the number of machine learning models used by mPSAuth is independent of the number of users, thus providing adequate scalability. In an extensive evaluation based on real-world data from a mobile application, we illustrate that mPSAuth can provide high accuracy with low encryption and communication overhead, while the effort for the inference is increased to a tolerable extent.


title: Braid variety cluster structures, I: 3D plabic graphs

abstract: We introduce $3$-dimensional generalizations of Postnikov's plabic graphs and use them to establish cluster structures for type $A$ braid varieties. Our results include known cluster structures on open positroid varieties and double Bruhat cells, and establish new cluster structures for type $A$ open Richardson varieties.


title: The Critical Density for Activated Random Walks is always less than 1

abstract: Activated Random Walks, on $\mathbb{Z}^d$ for any $d\geqslant 1$, is an interacting particle system, where particles can be in either of two states: active or frozen. Each active particle performs a continuous-time simple random walk during an exponential time of parameter $\lambda$, after which it stays still in the frozen state, until another active particle shares its location, and turns it instantaneously back into activity. This model is known to have a phase transition, and we show that the critical density, controlling the phase transition, is less than one in any dimension and for any value of the sleep rate $\lambda$. We provide upper bounds for the critical density in both the small $\lambda$ and large $\lambda$ regimes.


title: TLS Dynamics in a Superconducting Qubit Due to Background Ionizing Radiation

abstract: Superconducting qubit lifetimes must be both long and stable to provide an adequate foundation for quantum computing. This stability is imperiled by two-level systems (TLSs), currently a dominant loss mechanism, which exhibit slow spectral dynamics that destabilize qubit lifetimes on hour timescales. Stability is also threatened at millisecond timescales, where ionizing radiation has recently been found to cause bursts of correlated multi-qubit decays, complicating quantum error correction. Here we study both ionizing radiation and TLS dynamics on a 27-qubit processor, repurposing the standard transmon qubits as sensors of both radiation impacts and TLS dynamics. Unlike prior literature, we observe resilience of the qubit lifetimes to the transient quasiparticles generated by the impact of radiation. However, we also observe a new interaction between these two processes, "TLS scrambling," in which a radiation impact causes multiple TLSs to jump in frequency, which we suggest is due to the same charge rearrangement sensed by qubits near a radiation impact. As TLS scrambling brings TLSs out of or in to resonance with the qubit, the lifetime of the qubit increases or decreases. Our findings thus identify radiation as a new contribution to fluctuations in qubit lifetimes, with implications for efforts to characterize and improve device stability


title: Flexible filament in time-periodic viscous flow: shape chaos and period three

abstract: We study a single, freely--floating, inextensible, elastic filament in a linear shear flow: $\mathbf{U}_{0}(x,y) = \dot{\gamma} y \hat{x}$. In our model: the elastic energy depends only on bending; the rate-of-strain, $\dot{\gamma} = S \sin(\omega t)$ is a periodic function of time, $t$; and the interaction between the filament and the flow is approximated by a local isotropic drag force. Based on the shape of the filament we find five different dynamical phases: straight, buckled, periodic (with period two, period three, period four, etc), chaotic, and one with chaotic transients. In the chaotic phase, we show that the iterative map for the angle, which the end-to-end vector of the filament makes with the tangent its one end, has period three solutions; hence it is chaotic. Furthermore, in the chaotic phase the flow is an efficient mixer.


title: Robustification of Multilingual Language Models to Real-world Noise in Crosslingual Zero-shot Settings with Robust Contrastive Pretraining

abstract: Advances in neural modeling have achieved state-of-the-art (SOTA) results on public natural language processing (NLP) benchmarks, at times surpassing human performance. However, there is a gap between public benchmarks and real-world applications where noise, such as typographical or grammatical mistakes, is abundant and can result in degraded performance. Unfortunately, works which evaluate the robustness of neural models on noisy data and propose improvements, are limited to the English language. Upon analyzing noise in different languages, we observe that noise types vary greatly across languages. Thus, existing investigations do not generalize trivially to multilingual settings. To benchmark the performance of pretrained multilingual language models, we construct noisy datasets covering five languages and four NLP tasks and observe a clear gap in the performance between clean and noisy data in the zero-shot cross-lingual setting. After investigating several ways to boost the robustness of multilingual models in this setting, we propose Robust Contrastive Pretraining (RCP). RCP combines data augmentation with a contrastive loss term at the pretraining stage and achieves large improvements on noisy (and original test data) across two sentence-level (+3.2%) and two sequence-labeling (+10 F1-score) multilingual classification tasks.


title: On the Importance of Calibration in Semi-supervised Learning

abstract: State-of-the-art (SOTA) semi-supervised learning (SSL) methods have been highly successful in leveraging a mix of labeled and unlabeled data by combining techniques of consistency regularization and pseudo-labeling. During pseudo-labeling, the model's predictions on unlabeled data are used for training and thus, model calibration is important in mitigating confirmation bias. Yet, many SOTA methods are optimized for model performance, with little focus directed to improve model calibration. In this work, we empirically demonstrate that model calibration is strongly correlated with model performance and propose to improve calibration via approximate Bayesian techniques. We introduce a family of new SSL models that optimizes for calibration and demonstrate their effectiveness across standard vision benchmarks of CIFAR-10, CIFAR-100 and ImageNet, giving up to 15.9% improvement in test accuracy. Furthermore, we also demonstrate their effectiveness in additional realistic and challenging problems, such as class-imbalanced datasets and in photonics science.


title: Extraction Energy From Charged Vaidya Black Hole Via Penrose Process

abstract: In this paper, we consider the analogy of the Penrose process in Charged Vaidya spacetime. We calculate the border of the generalized ergosphere, in which the charged particles with negative energy might exist, and show that it is temporary. We show that there are no closed orbits for particles with negative energy inside the generalized ergosphere. We investigate the question about the efficiency of the Penrose process and show that one can't extract large energies from a black hole.


title: TRAPUM upper limits on pulsed radio emission for SMC X-ray pulsar J0058-7218

abstract: The TRAPUM collaboration has used the MeerKAT telescope to conduct a search for pulsed radio emission from the young Small Magellanic Cloud pulsar J0058-7218 located in the supernova remnant IKT 16, following its discovery in X-rays with XMM-Newton. We report no significant detection of dispersed, pulsed radio emission from this source in three 2-hour L-band observations using the core dishes of MeerKAT, setting an upper limit of 7.0 {\mu}Jy on its mean flux density at 1284 MHz. This is nearly 7 times deeper than previous radio searches for this pulsar in Parkes L-band observations. This suggests that the radio emission of PSR J0058-7218 is not beamed towards Earth or that PSR J0058-7218 is similar to a handful of Pulsar Wind Nebulae systems that have a very low radio efficiency, such as PSR B0540-6919, the Large Magellanic Cloud Crab pulsar analogue. We have also searched for bright, dispersed, single radio pulses and found no candidates above a fluence of 93 mJy ms at 1284 MHz.


title: MUSE crowded field 3D spectroscopy in NGC 300 III. Characterizing extremely faint HII regions and diffuse ionized gas

abstract: There are known differences between the physical properties of HII and diffuse ionized gas (DIG), but most of the studied regions in the literature are relatively bright. We compiled a faint sample of 390 HII regions with median $\log_{10}H\alpha$=34.7 in the spiral galaxy NGC300, derived their physical properties in terms of metallicity, density, extinction, and kinematics, and performed a comparative analysis of the properties of the DIG. We used MUSE data of nine fields in NGC300, covering a galactocentric distance of zero to ~450 arcsec (~4 projected kpc), including spiral arm and inter-arm regions. We binned the data in dendrogram leaves and extracted all strong nebular emission lines. We identified HII and DIG regions and compared their electron densities, metallicity, extinction, and kinematic properties. We also tested the effectiveness of unsupervised machine-learning algorithms in distinguishing between the HII and DIG regions. The gas density in the HII and DIG regions is close to the low-density limit in all fields. The average velocity dispersion in the DIG is higher than in the HII regions, which can be explained by the DIG being 1.8 kK hotter than HII gas. The DIG manifests a lower ionization parameter than HII gas, and the DIG fractions vary between 15-77%, with strong evidence of a contribution by hot low-mass evolved stars and shocks to the DIG ionization. Most of the DIG is consistent with no extinction and an oxygen metallicity that is indistinguishable from that of the HII gas.We observe a flat metallicity profile in the central region, without a sign of a gradient. The differences between extremely faint HII and DIG regions follow the same trends and correlations as their much brighter cousins. HII and DIG are so heterogeneous, however, that the differences within each class are larger than the differences between the two classes.


title: LMQFormer: A Laplace-Prior-Guided Mask Query Transformer for Lightweight Snow Removal

abstract: Snow removal aims to locate snow areas and recover clean images without repairing traces. Unlike the regularity and semitransparency of rain, snow with various patterns and degradations seriously occludes the background. As a result, the state-of-the-art snow removal methods usually retains a large parameter size. In this paper, we propose a lightweight but high-efficient snow removal network called Laplace Mask Query Transformer (LMQFormer). Firstly, we present a Laplace-VQVAE to generate a coarse mask as prior knowledge of snow. Instead of using the mask in dataset, we aim at reducing both the information entropy of snow and the computational cost of recovery. Secondly, we design a Mask Query Transformer (MQFormer) to remove snow with the coarse mask, where we use two parallel encoders and a hybrid decoder to learn extensive snow features under lightweight requirements. Thirdly, we develop a Duplicated Mask Query Attention (DMQA) that converts the coarse mask into a specific number of queries, which constraint the attention areas of MQFormer with reduced parameters. Experimental results in popular datasets have demonstrated the efficiency of our proposed model, which achieves the state-of-the-art snow removal quality with significantly reduced parameters and the lowest running time.


title: Dilepton Decay of Low-mass $\rho$ Mesons

abstract: The HADES collaboration has extracted dilepton mass spectra for $\pi^-$ induced reactions on the proton from a comparison of data taken on C and CH$_2$ targets. The spectra were interpreted in terms of different versions of vector meson dominance. Here we present results obtained from the theory and generator GiBUU. We first check the subtraction procedure used and then discuss the obtained mass spectra for the proton target. We point out that any conclusions on the version of VMD requires the knowledge of the $\rho$ spectral function in the interesting mass region.


title: Fields of moduli and the arithmetic of tame quotient singularities

abstract: Given a perfect field $k$ with algebraic closure $\overline{k}$ and a variety $X$ over $\overline{k}$, the field of moduli of $X$ is the subfield of $\overline{k}$ of elements fixed by field automorphisms $\gamma\in\operatorname{Gal}(\overline{k}/k)$ such that the twist $X_{\gamma}$ is isomorphic to $X$. The field of moduli is contained in all subextensions $k\subset k'\subset\overline{k}$ such that $X$ descends to $k'$. In this paper we extend the formalism, and define the field of moduli when $k$ is not perfect. Furthermore, D\`ebes and Emsalem identified a condition that ensures that a smooth curve is defined over its field of moduli, and prove that a smooth curve with a marked point is always defined over its field of moduli. Our main theorem is a generalization of these results that applies to higher dimensional varieties, and to varieties with additional structures. In order to apply this, we study the problem of when a rational point of a variety with quotient singularities lifts to a resolution. As a consequence, we prove that a variety $X$ of dimension $d$ with a smooth marked point $p$ such that $\operatorname{Aut}(X,p)$ is finite, \'etale and of degree prime to $d!$ is defined over its field of moduli.


title: Spectroscopy in the 2+1$d$ Thirring Model with $N=1$ Domain Wall Fermions

abstract: We employ the domain wall fermion (DWF) formulation of the Thirring model on a lattice in 2+1+1 dimensions and perform $N=1$ flavor Monte Carlo simulations. At a critical interaction strength the model features a spontaneous $\mathrm{U}(2)\rightarrow\mathrm{U}(1)\otimes \mathrm{U}(1)$ symmetry breaking; we analyse the induced spin-0 mesons, both Goldstone and non-Goldstone, as well as the correlator of the fermion quasiparticles, in both resulting phases. Crucially, we determine the anomalous dimension $\eta_\psi\approx 3$ at the critical point, in stark contrast with the Gross-Neveu model in 3$d$ and with results obtained with staggered fermions. Our numerical simulations are complemented by an analytical treatment of the free fermion correlator, which exhibits large early-time artifacts due to branch cuts in the propagator stemming from unbound interactions of the fermion with its heavy doublers. These artifacts are generalisable beyond the Thirring model, being an intrinsic property of DWF, or more generally Ginsparg-Wilson fermions.


title: Tango or Square Dance? How Tightly Should we Integrate Network Functionality in Browsers?

abstract: The question at which layer network functionality is presented or abstracted remains a research challenge. Traditionally, network functionality was either placed into the core network, middleboxes, or into the operating system -- but recent developments have expanded the design space to directly introduce functionality into the application (and in particular into the browser) as a way to expose it to the user. Given the context of emerging path-aware networking technology, an interesting question arises: which layer should handle the new features? We argue that the browser is becoming a powerful platform for network innovation, where even user-driven properties can be implemented in an OS-agnostic fashion. We demonstrate the feasibility of geo-fenced browsing using a prototype browser extension, realized by the SCION path-aware networking architecture, without introducing any significant performance overheads.


title: Nonlinear Data-Driven Approximation of the Koopman Operator

abstract: Koopman analysis provides a general framework from which to analyze a nonlinear dynamical system in terms of a linear operator acting on an infinite-dimensional observable space. This theoretical framework provides a rigorous underpinning for widely used dynamic mode decomposition algorithms. While such methods have proven to be remarkably useful in the analysis of time-series data, the resulting linear models must generally be of high order to accurately approximate fundamentally nonlinear behaviors. This issue poses an inherent risk of overfitting to training data thereby limiting predictive capabilities. By contrast, this work explores strategies for nonlinear data-driven estimation of the action of the Koopman operator. General strategies that yield nonlinear models are presented for systems both with and without control. Subsequent projection of the resulting nonlinear equations onto a low-rank basis yields a low order representation for the underlying dynamical system. In both computational and experimental examples considered in this work, linear estimators of the Koopman operator are generally only able to provide short-term predictions for the observable dynamics while comparable nonlinear estimators provide accurate predictions on substantially longer timescales and replicate infinite-time behaviors that linear predictors cannot.


title: Transmon-qubit readout using in-situ bifurcation amplification in the mesoscopic regime

abstract: We demonstrate a transmon qubit readout based on the nonlinear response to a drive of polaritonic meters in-situ coupled to the qubit. Inside a 3D readout cavity, we place a transmon molecule consisting of a transmon qubit and an ancilla mode interacting via non-perturbative cross-Kerr coupling. The cavity couples strongly only to the ancilla mode, leading to hybridized lower and upper polaritonic meters. Both polaritons are anharmonic and dissipative, as they inherit a self-Kerr nonlinearity $U$ from the ancilla and effective decay $\kappa$ from the open cavity. Via the ancilla, the polariton meters also inherit the non-perturbative cross-Kerr coupling to the qubit. This results in a high qubit-dependent displacement $2\chi > \kappa, ~U$ that can be read out via the cavity without causing Purcell decay. Moreover, the polariton meters, being nonlinear resonators, present bistability, and bifurcation behavior when the probing power increases. In this work, we focus on the bifurcation at low power in the few-photon regime, called the mesoscopic regime, which is accessible when the self-Kerr and decay rates of the polariton meter are similar $U\sim \kappa$. Capitalizing on a latching mechanism by bifurcation, the readout is sensitive to transmon qubit relaxation error only in the first tens of nanoseconds. We thus report a single-shot fidelity of 98.6 $\%$ while having an integration time of a 500 ns and no requirement for an external quantum-limited amplifier.


title: Towards a case-based learning approach to support software architecture education

abstract: Software architecture education remains challenging for instructors, students, and software industry professionals. Several initiatives have been proposed to mitigate the inherent challenges, including games, supporting tools, collaborative courses, and hands-on projects. Case-based learning has been introduced in software architecture, and its benefits are recognized. However, choosing the right cases that cover the stated learning objectives and developing learning activities to achieve high-order learning are also challenging. The main goal of this paper is to present a case-based learning approach that guides the development of learning objectives, the finding and selection of real-world software architecture cases, and the design of instructional activities. We applied our approach in software architecture related courses during the past few years. The results show that it can leverage the ways to adequately explore cases for educational purposes while also motivating instructors and students to the software architecture education.