title: Optimization with Trained Machine Learning Models Embedded

abstract: Trained ML models are commonly embedded in optimization problems. In many cases, this leads to large-scale NLPs that are difficult to solve to global optimality. While ML models frequently lead to large problems, they also exhibit homogeneous structures and repeating patterns (e.g., layers in ANNs). Thus, specialized solution strategies can be used for large problem classes. Recently, there have been some promising works proposing specialized reformulations using mixed-integer programming or reduced space formulations. However, further work is needed to develop more efficient solution approaches and keep up with the rapid development of new ML model architectures.


title: An atom interferometer driven by a picosecond frequency comb

abstract: We demonstrate a light-pulse atom interferometer based on the diffraction of free-falling atoms by a picosecond frequency-comb laser. More specifically, we coherently split and recombine wave packets of cold $^{87}$Rb atoms by driving stimulated Raman transitions between the $|5s~^2S_{1/2},F=1\rangle$ and $|5s~^2S_{1/2},F=2\rangle$ hyperfine states, using two trains of picosecond pulses in a counter-propagating geometry. We study the impact of the pulses length as well as of the interrogation time onto the contrast of the atom interferometer. Our experimental data are well reproduced by a numerical simulation based on an effective coupling which depends on the overlap between the pulses and the atomic cloud. These results pave the way for extending light-pulse interferometry to transitions in other spectral regions and therefore to other species, for new possibilities in metrology, sensing of gravito-inertial effects and tests of fundamental physics.


title: An Automated News Bias Classifier Using Caenorhabditis Elegans Inspired Recursive Feedback Network Architecture

abstract: Traditional approaches to classify the political bias of news articles have failed to generate accurate, generalizable results. Existing networks premised on CNNs and DNNs lack a model to identify and extrapolate subtle indicators of bias like word choice, context, and presentation. In this paper, we propose a network architecture that achieves human-level accuracy in assigning bias classifications to articles. The underlying model is based on a novel Mesh Neural Network (MNN),this structure enables feedback and feedforward synaptic connections between any two neurons in the mesh. The MNN ontains six network configurations that utilize Bernoulli based random sampling, pre-trained DNNs, and a network modelled after the C. Elegans nematode. The model is trained on over ten-thousand articles scraped from AllSides.com which are labelled to indicate political bias. The parameters of the network are then evolved using a genetic algorithm suited to the feedback neural structure. Finally, the best performing model is applied to five popular news sources in the United States over a fifty-day trial to quantify political biases in the articles they display. We hope our project can spur research into biological solutions for NLP tasks and provide accurate tools for citizens to understand subtle biases in the articles they consume.


title: Singular spherical maximal operators on a class of degenerate two-step nilpotent Lie groups

abstract: Let $G\cong\mathbb{R}^{d} \ltimes \mathbb{R}$ be a finite-dimensional two-step nilpotent group with the group multiplication $(x,u)\cdot(y,v)\rightarrow(x+y,u+v+x^{T}Jy)$ where $J$ is a skew-symmetric matrix satisfying a degeneracy condition with $2\leq {\rm rank}\, J <d$. Consider the maximal function defined by $$ {\frak M}f(x, u)=\sup_{t>0}\big|\int_{\Sigma} f(x-ty, u- t x^{T}Jy) d\mu(y)\big|, $$ where $\Sigma$ is a smooth convex hypersurface and $d\mu$ is a compactly supported smooth density on $\Sigma$ such that the Gaussian curvature of $\Sigma$ is nonvanishing on supp $d\mu$. In this paper we prove that when $d\geq 4$, the maximal operator ${\frak M}$ is bounded on $L^{p}(G)$ for the range $(d-1)/(d-2)<p\leq\infty$.


title: Ideal solutions of the Tarry-Escott Problem of degree seven

abstract: In this paper we obtain four new parametric ideal solutions of the Tarry-Escott problem of degree 7, that is, of the simultaneous diophantine equations, $\sum_{i=1}^8x_i^r=\sum_{i=1}^8y_i^r,\;r=1,\,2,\,\dots,\,7$. While all the known parametric solutions of the problem, with one exception, are given by polynomials of degrees $ \geq 5$, the solutions obtained in this paper are given by quartic polynomials, and are thus simpler than almost all of the known solutions.


title: A note on the quartic generalized Korteweg-de Vries equation in weighted Sobolev spaces

abstract: In this paper we establish the persistence property for solutions of the quartic generalized Korteweg-de Vries equation with initial data in weighted Sobolev spaces $H^{s}(\mathbb{R})\cap L^2(|x|^{2r}dx)$ for $s =1/12 + \varepsilon$ and any $r\in (0,R)$, for some $0 < \varepsilon < 1/4$ and $0<R<s/2$.


title: Linear response theory of open systems with exceptional points

abstract: Understanding the linear response of any system is the first step towards analyzing its linear and nonlinear dynamics, stability properties, as well as its behavior in the presence of noise. In non-Hermitian Hamiltonian systems, calculating the linear response is complicated due to the non-orthogonality of their eigenmodes, and the presence of exceptional points (EPs). Here, we derive a closer form series expansion of the resolvent associated with an arbitrary non-Hermitian system in terms of the ordinary and generalized eigenfunctions of the underlying Hamiltonian. This in turn reveals an interesting and previously overlocked feature of non-Hermitian systems, namely that their lineshape scaling is dictated by how the input (excitation) and output (collection) profiles are chosen. In particular, we demonstrate that a configuration with an EP of order $M$ can exhibit a Lorentzian response or a super-Lorentzian response of order $M_s$ with $M_s=2,3,\ldots,M$, depending on the choice of input and output channels.


title: A simple city equilibrium model with an application to teleworking

abstract: We propose a simple semi-discrete spatial model where rents, wages and the density of population in a city can be deduced from free-mobility and equilibrium conditions on the labour and residential housing markets. We prove existence and (under stronger assumptions) uniqueness of the equilibrium. We extend our model to the case where teleworking is introduced. We present numerical simulations which shed light on the effect of teleworking on the structure of the city at equilibrium.


title: P2ANet: A Dataset and Benchmark for Dense Action Detection from Table Tennis Match Broadcasting Videos

abstract: While deep learning has been widely used for video analytics, such as video classification and action detection, dense action detection with fast-moving subjects from sports videos is still challenging. In this work, we release yet another sports video benchmark \TheName{} for \emph{\underline{P}}ing \emph{\underline{P}}ong-\emph{\underline{A}}ction detection, which consists of 2,721 video clips collected from the broadcasting videos of professional table tennis matches in World Table Tennis Championships and Olympiads. We work with a crew of table tennis professionals and referees on a specially designed annotation toolbox to obtain fine-grained action labels (in 14 classes) for every ping-pong action that appeared in the dataset, and formulate two sets of action detection problems -- \emph{action localization} and \emph{action recognition}. We evaluate a number of commonly-seen action recognition (e.g., TSM, TSN, Video SwinTransformer, and Slowfast) and action localization models (e.g., BSN, BSN++, BMN, TCANet), using \TheName{} for both problems, under various settings. These models can only achieve 48\% area under the AR-AN curve for localization and 82\% top-one accuracy for recognition since the ping-pong actions are dense with fast-moving subjects but broadcasting videos are with only 25 FPS. The results confirm that \TheName{} is still a challenging task and can be used as a special benchmark for dense action detection from videos.


title: Formation of Comets

abstract: Questions regarding how primordial or pristine the comets of the solar system are have been an ongoing controversy. In this review, we describe comets' physical evolution from dust and ice grains in the solar nebula to the contemporary small bodies in the outer solar system. This includes the phases of dust agglomeration, the formation of planetesimals, their thermal evolution and the outcomes of collisional processes. We use empirical evidence about comets, in particular from the Rosetta Mission to comet 67P/Churyumov--Gerasimenko, to draw conclusions about the possible thermal and collisional evolution of comets.


title: On the convergence of a low order Lagrange finite element approach for natural convection problems

abstract: The purpose of this article is to study the convergence of a low order finite element approximation for a natural convection problem. We prove that the discretization based on P1 polynomials for every variable (velocity, pressure and temperature) is well-posed if used with a penalty term in the divergence equation, to compensate the loss of an inf-sup condition. With mild assumptions on the pressure regularity, we recover convergence for the Navier-Stokes-Boussinesq system, provided the penalty term is chosen in accordance with the mesh size. We express conditions to obtain optimal order of convergence. We illustrate theoretical convergence results with extensive examples. The computational cost that can be saved by this approach is also assessed.


title: On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies

abstract: Unit testing is one of the most established quality-assurance techniques for software development. One major advantage of unit testing is the adjustable trade-off between efficiency (i.e., testing effort) and effectiveness (i.e., fault-detection probability). To this end, various strategies have been proposed to exploit this trade-off. In particular, test-suite reduction (TSR) reduces the number of (presumably redundant) test cases while testing a single program version. Regression-test selection (RTS) selects test cases for testing consecutive program revisions. However, both TSR and RTS may influence -- or even obstruct -- each others' performance when used in combination. For instance, test cases discarded during TSR for a particular program version may become relevant again for RTS. However, finding a combination of both strategies leading to a reasonable trade-off throughout the version history of a program is an open question. The goal of this paper is to gain a better understanding of the interactions between TSR and RTS with respect to efficiency and effectiveness. To this end, we present a configurable framework called RegreTS for automated unit-testing of C programs. The framework comprises different strategies for TSR and RTS and possible combinations thereof. We apply this framework to a collection of subject systems, delivering several crucial insights. First, TSR has almost always a negative impact on the effectiveness of RTS, yet a positive impact on efficiency. Second, test cases revealing to testers the effect of program modifications between consecutive program versions are far more effective than test cases simply covering modified code parts, yet causing much more testing effort.


title: Law of large numbers and central limit theorem for wide two-layer neural networks: the mini-batch and noisy case

abstract: In this work, we consider a wide two-layer neural network and study the behavior of its empirical weights under a dynamics set by a stochastic gradient descent along the quadratic loss with mini-batches and noise. Our goal is to prove a trajectorial law of large number as well as a central limit theorem for their evolution. When the noise is scaling as 1/N $\beta$ and 1/2 < $\beta$ $\le$ $\infty$, we rigorously derive and generalize the LLN obtained for example in [CRBVE20, MMM19, SS20b]. When 3/4 < $\beta$ $\le$ $\infty$, we also generalize the CLT (see also [SS20a]) and further exhibit the effect of mini-batching on the asymptotic variance which leads the fluctuations. The case $\beta$ = 3/4 is trickier and we give an example showing the divergence with time of the variance thus establishing the instability of the predictions of the neural network in this case. It is illustrated by simple numerical examples.


title: An asperity-based statistical model for the adhesive friction of elastic nominally flat rough contact interfaces

abstract: Contact mechanics-based models for the friction of nominally flat rough surfaces have not been able to adequately capture certain key experimentally observed phenomenona, such as the transition from a static friction peak to a lower level of sliding friction and the shear-induced contact area reduction that has been observed in the pre-sliding regime especially for soft materials. Here, we propose a statistical model based on physically-rooted contact mechanics laws describing the micromechanics of individual junctions. The model considers the quasi-static tangential loading, up to full sliding, of the contact between a smooth rigid flat surface and a nominally flat linear elastic rough surface comprising random independent spherical asperities, and accounts for the coupling between adhesion and friction at the micro-junction level. The model qualitatively reproduces both the macroscopic shear-induced contact area reduction and, remarkably, the static friction peak without the need to explicitly introduce two different friction levels. It also demonstrates how the static friction peak and contact area evolution depend on the normal load and certain key microscale interface properties such as surface energy, mode mixity and frictional shear strength. "Tougher" interfaces (i.e. with larger surface energy and smaller mode mixity parameter) are shown to result in a larger real contact area and a more pronounced static friction peak. Overall, this work provides important insights about how key microscale properties operating at the asperity level can combine with the surface statistics to reproduce important macroscopic responses observed in rough frictionalsoft contact experiments.


title: Optimal spinor selectivity for quaternion orders

abstract: Let $D$ be a quaternion algebra over a number field $F$, and $\mathscr{G}$ be an arbitrary genus of $O_F$-orders of full rank in $D$. Let $K$ be a quadratic field extension of $F$ that embeds into $D$, and $B$ be an $O_F$-order in $K$ that can be optimally embedded into some member of $\mathscr{G}$. We provide a necessary and sufficient condition for $B$ to be optimally spinor selective for the genus $\mathscr{G}$, which generalizes previous existing optimal selectivity criterions for Eichler orders as given by Arenas, Arenas-Carmona and Contreras, and by Voight independently. This allows us to obtain a refinement of the classical trace formula for optimal embeddings, which will be called the spinor trace formula. When $\mathscr{G}$ is a genus of Eichler orders, we extend Maclachlan's relative conductor formula for optimal selectivity from Eichler orders of square-free levels to all Eichler orders.


title: On unbounded motions in a real analytic bouncing ball problem

abstract: We consider the model of a ball elastically bouncing on a racket moving in the vertical direction according to a given periodic function $f(t)$. The gravity force is acting on the ball. We prove that if the function $f(t)$ belongs to a class of trigonometric polynomials of degree $2$ then there exists a one dimensional continuum of initial conditions for which the velocity of the ball tends to infinity. Our result improves a previous one by Pustyl'nikov and gives a new upper bound to the applicability of KAM theory to this model.


title: Quantitative propagation of chaos for mean field Markov decision process with common noise

abstract: We investigate propagation of chaos for mean field Markov Decision Process with common noise (CMKV-MDP), and when the optimization is performed over randomized open-loop controls on infinite horizon. We first state a rate of convergence of order $M_N^\gamma$, where $M_N$ is the mean rate of convergence in Wasserstein distance of the empirical measure, and $\gamma \in (0,1]$ is an explicit constant, in the limit of the value functions of $N$-agent control problem with asymmetric open-loop controls, towards the value function of CMKV-MDP. Furthermore, we show how to explicitly construct $(\epsilon+\mathcal{O}(M_N^\gamma))$-optimal policies for the $N$-agent model from $\epsilon$-optimal policies for the CMKV-MDP. Our approach relies on sharp comparison between the Bellman operators in the $N$-agent problem and the CMKV-MDP, and fine coupling of empirical measures.


title: Fast-forward scaling theory

abstract: Speed is the key to further advances in technology. For example, quantum technologies, such as quantum computing, require fast manipulations of quantum systems in order to overcome the effect of decoherence. However, controlling the speed of quantum dynamics is often very difficult due to both the lack of a simple scaling property in the dynamics and the infinitely large parameter space to be explored. Therefore, protocols for speed control based on understanding on the dynamical properties of the system, such as non-trivial scaling property, are highly desirable. Fast-forward scaling theory (FFST) was originally developed to provide a way to accelerate, decelerate, stop and reverse the dynamics of quantum systems. FFST has been extended in order to accelerate quantum and classical adiabatic dynamics of various systems including cold atoms, internal state of molecules, spins and solid-state artificial atoms. This paper describes the basic concept of FFST and review the recent developments and its applications such as fast state-preparations, state protection and ion sorting. We introduce a method, called inter-trajectory travel, derived from FFST recently. We also point out the significance of deceleration in quantum technology.


title: Nondegeneracy for stable solutions to the one-phase free boundary problem

abstract: We prove the nondegeneracy condition for stable solutions to the one-phase free boundary problem. The proof is by a De Giorgi iteration, where we need the Sobolev inequality of Michael and Simon and, consequently, an integral estimate for the mean curvature of the free boundary. We then apply the nondegeneracy estimate to obtain local curvature bounds for stable free boundaries in dimension $n$, provided the Bernstein type theorem for stable, entire solutions in the same dimension is valid. In particular, we obtain this curvature estimate in $n=2$ dimensions.


title: Building ideal paraxial optical skyrmions using rational maps

abstract: We introduce a simple mathematical expression based on rational maps to construct ideal paraxial optical skyrmions fields including Neel-type and Bloch-type skyrmions, anti-skyrmions, bimerons and multi-skyrmions, including skyrmion lattices. We review the rules that fully polarized paraxial light fields must obey to be considered as optical skyrmions. This work provides guidelines for the experimental generation of general skyrmion fields, beyond conventional single skyrmion beams. This lays the foundation for the exploration of nucleation and annihilation mechanisms in multiskyrmions fields


title: A formalization of the change of variables formula for integrals in mathlib

abstract: We report on a formalization of the change of variables formula in integrals, in the mathlib library for Lean. Our version of this theorem is extremely general, and builds on developments in linear algebra, analysis, measure theory and descriptive set theory. The interplay between these domains is transparent thanks to the highly integrated development model of mathlib.


title: An exhaustive variable selection study for linear models of soundscape emotions: rankings and Gibbs analysis

abstract: In the last decade, soundscapes have become one of the most active topics in Acoustics, providing a holistic approach to the acoustic environment, which involves human perception and context. Soundscapes-elicited emotions are central and substantially subtle and unnoticed (compared to speech or music). Currently, soundscape emotion recognition is a very active topic in the literature. We provide an exhaustive variable selection study (i.e., a selection of the soundscapes indicators) to a well-known dataset (emo-soundscapes). We consider linear soundscape emotion models for two soundscapes descriptors: arousal and valence. Several ranking schemes and procedures for selecting the number of variables are applied. We have also performed an alternating optimization scheme for obtaining the best sequences keeping fixed a certain number of features. Furthermore, we have designed a novel technique based on Gibbs sampling, which provides a more complete and clear view of the relevance of each variable. Finally, we have also compared our results with the analysis obtained by the classical methods based on p-values. As a result of our study, we suggest two simple and parsimonious linear models of only 7 and 16 variables (within the 122 possible features) for the two outputs (arousal and valence), respectively. The suggested linear models provide very good and competitive performance, with $R^2>0.86$ and $R^2>0.63$ (values obtained after a cross-validation procedure), respectively.


title: Distribution Learning Based on Evolutionary Algorithm Assisted Deep Neural Networks for Imbalanced Image Classification

abstract: To address the trade-off problem of quality-diversity for the generated images in imbalanced classification tasks, we research on over-sampling based methods at the feature level instead of the data level and focus on searching the latent feature space for optimal distributions. On this basis, we propose an iMproved Estimation Distribution Algorithm based Latent featUre Distribution Evolution (MEDA_LUDE) algorithm, where a joint learning procedure is programmed to make the latent features both optimized and evolved by the deep neural networks and the evolutionary algorithm, respectively. We explore the effect of the Large-margin Gaussian Mixture (L-GM) loss function on distribution learning and design a specialized fitness function based on the similarities among samples to increase diversity. Extensive experiments on benchmark based imbalanced datasets validate the effectiveness of our proposed algorithm, which can generate images with both quality and diversity. Furthermore, the MEDA_LUDE algorithm is also applied to the industrial field and successfully alleviates the imbalanced issue in fabric defect classification.


title: Growth of power spectrum due to decrease of sound speed during inflation

abstract: We study the amplification of the curvature perturbations due to a small sound speed and find that its origin is different completely from that due to the ultraslow-roll inflation. This is because when the sound speed is very small the enhancement of the power spectrum comes from the fact that the curvature perturbations at the scales smaller than the cosmic microwave background (CMB) scale becomes scale-variant, rather than growing that leads to the amplification of the curvature perturbations during the ultraslow-roll inflation. At large scales the power spectrum of the curvature perturbations remains to be scale invariant, which is consistent with the CMB observations, and then it will have a transient $k^2$ growth and finally approach a $k^4$ growth as the scale becomes smaller and smaller. Thus the power spectrum can be enhanced to generate a sizable amount of primordial black holes. Furthermore, when the high order correction in the dispersion relation of the curvature perturbations is considered the growth of the power spectrum of the curvature perturbations has the same origin as that in the case without this correction.


title: Voreen -- An Open-source Framework for Interactive Visualization and Processing of Large Volume Data

abstract: Technological advances for measuring or simulating volume data have led to large data sizes in many research areas such as biology, medicine, physics, and geoscience. Here, large data can refer to individual data sets with high spatial and/or temporal resolution as well as collections of data sets in the sense of cohorts or ensembles. Therefore, general-purpose and customizable volume visualization and processing systems have to provide out-of-core mechanisms that allow for handling and analyzing such data. Voreen is an open-source rapid-prototyping framework that was originally designed to quickly create custom visualization applications for volumetric imaging data using the meanwhile quite common data flow graph paradigm. In recent years, Voreen has been used in various interdisciplinary research projects with an increasing demand for large data processing capabilities without relying on cluster compute resources. In its latest release, Voreen has thus been extended by out-of-core techniques for processing and visualization of volume data with very high spatial resolution as well as collections of volume data sets including spatio-temporal multi-field simulation ensembles. In this paper we compare state-of-the-art volume processing and visualization systems and conclude that Voreen is the first system combining out-of-core processing and rendering capabilities for large volume data on consumer hardware with features important for interdisciplinary research. We describe how Voreen achieves these goals and show-case its use, performance, and capability to support interdisciplinary research by presenting typical workflows within two large volume data case studies.


title: Extended planetary chaotic zones

abstract: We consider the chaotic motion of low-mass bodies in two-body high-order mean-motion resonances with planets in model planetary systems, and analytically estimate the Lyapunov and diffusion timescales of the motion in multiplets of interacting subresonances corresponding to the mean-motion resonances. We show that the densely distributed (though not overlapping) high-order mean-motion resonances, when certain conditions on the planetary system parameters are satisfied, may produce extended planetary chaotic zones -- "zones of weak chaotization," -- much broader than the well-known planetary connected chaotic zone, the Wisdom gap. This extended planetary chaotic zone covers the orbital range between the 2/1 and 1/1 resonances with the planet. On the other hand, the orbital space inner (closer to the host star) with respect to the 2/1 resonance location is essentially long-term stable. This difference arises because the adiabaticity parameter of subresonance multiplets specifically depends on the particle's orbit size. The revealed effect may control the structure of planetesimal disks in planetary systems: the orbital zone between the 2/1 and 1/1 resonances with a planet should be normally free from low-mass material (only that occasionally captured in the first-order 3/2 or 4/3 resonances may survive); whereas any low-mass population inner to the 2/1 resonance location should be normally long-lived (if not perturbed by secular resonances, which we do not consider in this study).


title: ScoreCAM GNN: une explication optimale des r\'eseaux profonds sur graphes

abstract: The explainability of deep networks is becoming a central issue in the deep learning community. It is the same for learning on graphs, a data structure present in many real world problems. In this paper, we propose a method that is more optimal, lighter, consistent and better exploits the topology of the evaluated graph than the state-of-the-art methods.


title: Thermodynamics of learning physical phenomena

abstract: Thermodynamics could be seen as an expression of physics at a high epistemic level. As such, its potential as an inductive bias to help machine learning procedures attain accurate and credible predictions has been recently realized in many fields. We review how thermodynamics provides helpful insights in the learning process. At the same time, we study the influence of aspects such as the scale at which a given phenomenon is to be described, the choice of relevant variables for this description or the different techniques available for the learning process.


title: SPAIC: A Spike-based Artificial Intelligence Computing Framework

abstract: Neuromorphic computing is an emerging research field that aims to develop new intelligent systems by integrating theories and technologies from multi-disciplines such as neuroscience and deep learning. Currently, there have been various software frameworks developed for the related fields, but there is a lack of an efficient framework dedicated for spike-based computing models and algorithms. In this work, we present a Python based spiking neural network (SNN) simulation and training framework, aka SPAIC that aims to support brain-inspired model and algorithm researches integrated with features from both deep learning and neuroscience. To integrate different methodologies from the two overwhelming disciplines, and balance between flexibility and efficiency, SPAIC is designed with neuroscience-style frontend and deep learning backend structure. We provide a wide range of examples including neural circuits Simulation, deep SNN learning and neuromorphic applications, demonstrating the concise coding style and wide usability of our framework. The SPAIC is a dedicated spike-based artificial intelligence computing platform, which will significantly facilitate the design, prototype and validation of new models, theories and applications. Being user-friendly, flexible and high-performance, it will help accelerate the rapid growth and wide applicability of neuromorphic computing research.


title: Hybrid Quantum Nanophotonics: Interfacing Color Center in Nanodiamonds with Si3N4-Photonics

abstract: This chapter covers recent developments in the field of hybrid quantum photonics based on color centers in nanodiamonds and Si3N4-photonics towards a technology platform with applications in quantum information processing and quantum information distribution. The methodological approach can be divided in three main tasks. First, the fabrication and optimization of Si3N4-photonics. Second, the creation, characterization and control of color centers in nanodiamonds. Third, the assembly of hybrid quantum photonics by integrating the nanodiamonds into the photonic structures. One focus will be the efficient interfacing of the color centers done by optimizing the optical coupling. The chapter describes recent progress in all three steps and summarizes the established hybrid platform. We believe, that the hybrid approach provides a promising path to realize quantum photonic applications, such as quantum networks or quantum repeaters, in the near future.


title: On the girth cycles of the bipartite graph $D(k,q)$

abstract: For integer $k\geq2$ and prime power $q$, the algebraic bipartite graph $D(k,q)$ proposed by Lazebnik and Ustimenko (1995) is meaningful not only in extremal graph theory but also in coding theory and cryptography. This graph is $q$-regular, edge-transitive and of girth at least $k+4$. For its exact girth $g=g(D(k,q))$, F\"{u}redi et al. (1995) conjectured $g=k+5$ for odd $k$ and $q\geq4$. This conjecture was shown to be valid in 2016 when $(k+5)/2$ is the product of an arbitrary factor of $q-1$ and an arbitrary power of the characteristic of $\mathbb{F}_q$. In this paper, we determine all the girth cycles of $D(k,q)$ for $3\leq k\leq 5$, $q>3$, and those for $3\leq k\leq8$, $q=3$.


title: A Highly Efficient Adaptive-Sieving-Based Algorithm for the High-Dimensional Rank Lasso Problem

abstract: The high-dimensional rank lasso (hdr lasso) model is an efficient approach to deal with high-dimensional data analysis. It was proposed as a tuning-free robust approach for the high-dimensional regression and was demonstrated to enjoy several statistical advantages over other approaches. The hdr lasso problem is essentially an $L_1$-regularized optimization problem whose loss function is Jaeckel's dispersion function with Wilcoxon scores. Due to the nondifferentiability of the above loss function, many classical algorithms for lasso-type problems are unable to solve this model. In this paper, inspired by the adaptive sieving strategy for the exclusive lasso problem [1], we propose an adaptive-sieving-based algorithm to solve the hdr lasso problem. The proposed algorithm makes full use of the sparsity of the solution. In each iteration, a subproblem with the same form as the original model is solved, but in a much smaller size. We apply the proximal point algorithm to solve the subproblem, which fully takes advantage of the two nonsmooth terms. Extensive numerical results demonstrate that the proposed algorithm (AS-PPA) is robust for different types of noises, which verifies the attractive statistical property as shown in [2]. Moreover, AS-PPA is also highly efficient, especially for the case of high-dimensional features, compared with other methods.


title: Mitigation of quasiparticle loss in superconducting qubits by phonon scattering

abstract: Quantum error correction will be an essential ingredient in realizing fault-tolerant quantum computing. However, most correction schemes rely on the assumption that errors are sufficiently uncorrelated in space and time. In superconducting qubits this assumption is drastically violated in the presence of ionizing radiation, which creates bursts of high energy phonons in the substrate. These phonons can break Cooper-pairs in the superconductor and, thus, create quasiparticles over large areas, consequently reducing qubit coherence across the quantum device in a correlated fashion. A potential mitigation technique is to place large volumes of normal or superconducting metal on the device, capable of reducing the phonon energy to below the superconducting gap of the qubits. To investigate the effectiveness of this method we fabricate a quantum device with four nominally identical nanowire-based transmon qubits. On the device, half of the niobium-titanium-nitride ground plane is replaced with aluminum (Al), which has a significantly lower superconducting gap. We deterministically inject high energy phonons into the substrate by voltage biasing a galvanically isolated Josephson junction. In the presence of the low gap material, we find a factor of 2-5 less degradation in the injection-dependent qubit lifetimes, and observe that undesired excited qubit state population is mitigated by a similar factor. We furthermore turn the Al normal with a magnetic field, finding no change in the phonon-protection. This suggests that the efficacy of the protection in our device is not limited by the size of the superconducting gap in the Al ground plane. Our results provide a promising foundation for protecting superconducting qubit processors against correlated errors from ionizing radiation.


title: The K2-3 system revisited: testing photoevaporation and core-powered mass loss with three small planets spanning the radius valley

abstract: Multi-planet systems orbiting M dwarfs provide valuable tests of theories of small planet formation and evolution. K2-3 is an early M dwarf hosting three small exoplanets (1.5-2.0 Earth radii) at distances of 0.07-0.20 AU. We measure the high-energy spectrum of K2-3 with HST/COS and XMM-Newton, and use empirically-driven estimates of Ly-alpha and extreme ultraviolet flux. We use EXOFASTv2 to jointly fit radial velocity, transit, and SED data. This constrains the K2-3 planet radii to 4% uncertainty and the masses of K2-3b and c to 13% and 30%, respectively; K2-3d is not detected in RV measurements. K2-3b and c are consistent with rocky cores surrounded by solar composition envelopes (mass fractions of 0.36% and 0.07%), H2O envelopes (55% and 16%), or a mixture of both. However, based on the high-energy output and estimated age of K2-3, it is unlikely that K2-3b and c retain solar composition atmospheres. We pass the planet parameters and high-energy stellar spectrum to atmospheric models. Dialing the high-energy spectrum up and down by a factor of 10 produces significant changes in trace molecule abundances, but not at a level detectable with transmission spectroscopy. Though the K2-3 planets span the small planet radius valley, the observed system architecture cannot be readily explained by photoevaporation or core-powered mass loss. We instead propose 1) the K2-3 planets are all volatile-rich, with K2-3d having a lower density than typical of super-Earths, and/or 2) the K2-3 planet architecture results from more stochastic processes such as planet formation, planet migration, and impact erosion.


title: Classical and quantum particles from nongeneric conformal orbits

abstract: The nongeneric six- and eightdimensional orbits of SO(4,2) are described in explicitly covariant way. The relevant Hamiltonian dynamical systems are constructed and canonically quantized. It is shown that the resulting unitary representations of conformal group fit into the classification described by Mack (G. Mack, Comm. Math. Phys. 55 (1977),1).


title: Controllable User Dialogue Act Augmentation for Dialogue State Tracking

abstract: Prior work has demonstrated that data augmentation is useful for improving dialogue state tracking. However, there are many types of user utterances, while the prior method only considered the simplest one for augmentation, raising the concern about poor generalization capability. In order to better cover diverse dialogue acts and control the generation quality, this paper proposes controllable user dialogue act augmentation (CUDA-DST) to augment user utterances with diverse behaviors. With the augmented data, different state trackers gain improvement and show better robustness, achieving the state-of-the-art performance on MultiWOZ 2.1


title: Pulsars in AstroSat-CZTI: Detection in sub-MeV bands and Estimation of Spectral Index from Hardness Ratios

abstract: The Cadmium Zinc Telluride Imager (CZTI) onboard AstroSat, an open detector above $\sim$100 keV, is a promising tool for the investigation of hard X-ray characteristics of $\gamma$-ray pulsars. A custom algorithm has been developed to detect pulsars from long integration ($\sim$years) of archival data, as reported by us earlier. Here we extend this method to include in the analysis an additional $\sim$20% of the CZTI pixels that were earlier ignored due to their lower gain values. Recent efforts have provided better and more secure calibration of these pixels, demonstrating their higher thresholds and extended energy range up to $\sim$1 MeV. Here we use the additional information provided by these pixels, enabling the construction of pulse profiles over a larger energy range. We compare the profiles of the Crab pulsar at different sub-bands and show that the behaviour is consistent with the extended energy coverage. As detailed spectroscopy over this full band remains difficult due to the limited count rate, we construct hardness ratios which, together with AstroSat Mass Model simulations, are able to constrain the power-law index of the radiation spectrum. We present our results for the phase-resolved spectrum of PSR J0534+2200 and for the total pulsed emission of PSR J1513-5908. The recovered photon indices are found to be accurate to within $\sim 20$%.


title: Training Effective Neural Sentence Encoders from Automatically Mined Paraphrases

abstract: Sentence embeddings are commonly used in text clustering and semantic retrieval tasks. State-of-the-art sentence representation methods are based on artificial neural networks fine-tuned on large collections of manually labeled sentence pairs. Sufficient amount of annotated data is available for high-resource languages such as English or Chinese. In less popular languages, multilingual models have to be used, which offer lower performance. In this publication, we address this problem by proposing a method for training effective language-specific sentence encoders without manually labeled data. Our approach is to automatically construct a dataset of paraphrase pairs from sentence-aligned bilingual text corpora. We then use the collected data to fine-tune a Transformer language model with an additional recurrent pooling layer. Our sentence encoder can be trained in less than a day on a single graphics card, achieving high performance on a diverse set of sentence-level tasks. We evaluate our method on eight linguistic tasks in Polish, comparing it with the best available multilingual sentence encoders.


title: The Quadruplon in a Monolayer Semiconductor

abstract: Understanding the structure of matter or materials and interaction or correlations among the constituent elementary particles are the central tasks of all branches of science, from physics, chemistry, to biology. In physics, this ultimate goal has spurred a constant search for high-order correlated entities or composite particles for nearly all states and forms of matter, from elementary particles, nuclei, cold atoms, to condensed matter. So far, such composite particles involving two or three constituent particles have been experimentally identified, such as the Cooper pairs, excitons, and trions in condensed matter physics, or diquarks and mesons in quantum chromodynamics. Although the four-body irreducible entities have long been predicted theoretically in a variety of materials systems alternatively as quadruplons, quadrons, or quartets, the closely related experimental observation so far seems to be restricted to the field of elementary particles (e.g. the recent tetraquark at CERN) only. In this article, we present the first experimental evidence for the existence of a four-body irreducible entity, the quadruplon, involving two electrons and two holes in a monolayer of Molybdenum Ditelluride. Using the optical pump-probe technique, we discovered a series of new spectral features that are distinct from those of trions and bi-excitons. By solving the four-body Bethe-Salpeter equation in conjunction with the cluster expansion approach, we are able to explain these spectral features in terms of the four-body irreducible cluster or the quadruplons. In contrast to a bi-exciton which consists of two weakly bound excitons, a quadruplon consists of two electrons and two holes without the presence of an exciton.


title: The Human in the Infinite Loop: A Case Study on Revealing and Explaining Human-AI Interaction Loop Failures

abstract: Interactive AI systems increasingly employ a human-in-the-loop strategy. This creates new challenges for the HCI community when designing such systems. We reveal and investigate some of these challenges in a case study with an industry partner, and developed a prototype human-in-the-loop system for preference-guided 3D model processing. Two 3D artists used it in their daily work for 3 months. We found that the human-AI loop often did not converge towards a satisfactory result and designed a lab study (N=20) to investigate this further. We analyze interaction data and user feedback through the lens of theories of human judgment to explain the observed human-in-the-loop failures with two key insights: 1) optimization using preferential choices lacks mechanisms to deal with inconsistent and contradictory human judgments; 2) machine outcomes, in turn, influence future user inputs via heuristic biases and loss aversion. To mitigate these problems, we propose descriptive UI design guidelines. Our case study draws attention to challenging and practically relevant imperfections in human-AI loops that need to be considered when designing human-in-the-loop systems.


title: Productivity meets Performance: Julia on A64FX

abstract: The Fujitsu A64FX ARM-based processor is used in supercomputers such as Fugaku in Japan and Isambard 2 in the UK and provides an interesting combination of hardware features such as Scalable Vector Extension (SVE), and native support for reduced-precision floating-point arithmetic. The goal of this paper is to explore performance of the Julia programming language on the A64FX processor, with a particular focus on reduced precision. Here, we present a performance study on axpy to verify the compilation pipeline, demonstrating that Julia can match the performance of tuned libraries. Additionally, we investigate Message Passing Interface (MPI) scalability and throughput analysis on Fugaku showing next to no significant overheads of Julia of its MPI interface. To explore the usability of Julia to target various floating-point precisions, we present results of ShallowWaters.jl, a shallow water model that can be executed a various levels of precision. Even for such complex applications, Julia's type-flexible programming paradigm offers both, productivity and performance.


title: Using Abstraction for Interpretable Robot Programs in Stochastic Domains

abstract: A robot's actions are inherently stochastic, as its sensors are noisy and its actions do not always have the intended effects. For this reason, the agent language Golog has been extended to models with degrees of belief and stochastic actions. While this allows more precise robot models, the resulting programs are much harder to comprehend, because they need to deal with the noise, e.g., by looping until some desired state has been reached with certainty, and because the resulting action traces consist of a large number of actions cluttered with sensor noise. To alleviate these issues, we propose to use abstraction. We define a high-level and nonstochastic model of the robot and then map the high-level model into the lower-level stochastic model. The resulting programs are much easier to understand, often do not require belief operators or loops, and produce much shorter action traces.


title: Clustering Object-Centric Event Logs

abstract: Process mining provides various algorithms to analyze process executions based on event data. Process discovery, the most prominent category of process mining techniques, aims to discover process models from event logs, however, it leads to spaghetti models when working with real-life data. Therefore, several clustering techniques have been proposed on top of traditional event logs (i.e., event logs with a single case notion) to reduce the complexity of process models and discover homogeneous subsets of cases. Nevertheless, in real-life processes, particularly in the context of Business-to-Business (B2B) processes, multiple objects are involved in a process. Recently, Object-Centric Event Logs (OCELs) have been introduced to capture the information of such processes, and several process discovery techniques have been developed on top of OCELs. Yet, the output of the proposed discovery techniques on real OCELs leads to more informative but also more complex models. In this paper, we propose a clustering-based approach to cluster similar objects in OCELs to simplify the obtained process models. Using a case study of a real B2B process, we demonstrate that our approach reduces the complexity of the process models and generates coherent subsets of objects which help the end-users gain insights into the process.


title: On comeager sets of metrics whose ranges are disconnected

abstract: For a metrizable space $X$, we denote by $\mathrm{Met}(X)$ the space of all metric that generate the same topology of $X$. The space $\mathrm{Met}(X)$ is equipped with the supremum distance. In this paper, for every strongly zero-dimensional metrizable space $X$, we prove that the set of all metrics whose ranges are closed totally disconnected subsets of the line is a dense $G_{\delta}$ subspace in $\mathrm{Met}(X)$. As its application, we show that some sets of universal metrics are meager in spaces of metrics.


title: Extreme blazars: the result of unstable recollimated jets?

abstract: Extreme BL Lacs (EHBL) form a subclass of blazars which challenge standard emission scenarios. In a recent study it has been argued that their peculiar properties can be explained if emitting electrons are accelerated in a series of oblique shocks induced by the recollimation of the relativistic jet. However, new 3D simulations of recollimated, weakly magnetized jets reveal that, in correspondence with the first recollimation shock, the flow develops a rapidly growing instability, becomes highly turbulent and decelerates, effectively hampering the formation of the multiple shock structure routinely observed in 2D simulations. Building on these new findings, we propose here a revised scenario for EHBL, in which the emission is produced by electrons accelerated at the recollimation shock and subsequently further energized through stochastic acceleration in the turbulent downstream flow. We apply a simple version of this scenario to the prototypical EHBL 1ES 0229-200, showing that the SED can be satisfactorily reproduced with standard values of the main physical parameters.


title: Criteria Comparative Learning for Real-scene Image Super-Resolution

abstract: Real-scene image super-resolution aims to restore real-world low-resolution images into their high-quality versions. A typical RealSR framework usually includes the optimization of multiple criteria which are designed for different image properties, by making the implicit assumption that the ground-truth images can provide a good trade-off between different criteria. However, this assumption could be easily violated in practice due to the inherent contrastive relationship between different image properties. Contrastive learning (CL) provides a promising recipe to relieve this problem by learning discriminative features using the triplet contrastive losses. Though CL has achieved significant success in many computer vision tasks, it is non-trivial to introduce CL to RealSR due to the difficulty in defining valid positive image pairs in this case. Inspired by the observation that the contrastive relationship could also exist between the criteria, in this work, we propose a novel training paradigm for RealSR, named Criteria Comparative Learning (Cria-CL), by developing contrastive losses defined on criteria instead of image patches. In addition, a spatial projector is proposed to obtain a good view for Cria-CL in RealSR. Our experiments demonstrate that compared with the typical weighted regression strategy, our method achieves a significant improvement under similar parameter settings.


title: Using clarification questions to improve software developers' Web search

abstract: Context: Recent research indicates that Web queries written by software developers are not very successful in retrieving relevant results, performing measurably worse compared to general purpose Web queries. Most approaches up to this point have addressed this problem with software engineering-specific automated query reformulation techniques, which work without developer involvement but are limited by the content of the original query. In other words, these techniques automatically improve the existing query but can not contribute new, previously unmentioned, concepts. Objective: In this paper, we propose a technique to guide software developers in manually improving their own Web search queries. We examine a conversational approach that follows unsuccessful queries with a clarification question aimed at eliciting additional query terms, thus providing to the developer a clear dimension along which the query could be improved. Methods: We describe a set of clarification questions derived from a corpus of software developer queries and a neural approach to recommending them for a newly issued query. Results: Our evaluation indicates that the recommendation technique is accurate, predicting a valid clarification question 80% of the time and outperforms simple baselines, as well as, state-of-the-art Learning To Rank (LTR) baselines. Conclusion: As shown in the experimental results, the described approach is capable at recommending appropriate clarification questions to software developers and considered useful by a sample of developers ranging from novices to experienced professionals.


title: Time-dependent transport in Graphene Mach-Zender Interferometers

abstract: Graphene nanoribbons provide an ideal platform for electronic interferometry in the Integer Quantum Hall regime. Here, we solve the time-dependent four-component Schroedinger equation for single carriers in graphene and expose several dynamical effects of the carrier localization on their transport characteristics in pn junctions. We simulate two kinds of Mach-Zender Interferometers (MZI). The first is based on Quantum Point Contacts and is similar to traditional GaAs/AlGaAs interferometers. As expected, we observe Aharonov-Bohm oscillations and phase averaging. The second is based on Valley Beam Splitters, where we observe unexpected phenomena due to the intersection of the Edge Channels that constitute the MZI. Our results provide further insights into the behavior of graphene interferometers. Additionally, they highlight the operative regime of such nanodevices for feasible single-particle implementations.


title: A Study on the Use of Edge TPUs for Eye Fundus Image Segmentation

abstract: Medical image segmentation can be implemented using Deep Learning methods with fast and efficient segmentation networks. Single-board computers (SBCs) are difficult to use to train deep networks due to their memory and processing limitations. Specific hardware such as Google's Edge TPU makes them suitable for real time predictions using complex pre-trained networks. In this work, we study the performance of two SBCs, with and without hardware acceleration for fundus image segmentation, though the conclusions of this study can be applied to the segmentation by deep neural networks of other types of medical images. To test the benefits of hardware acceleration, we use networks and datasets from a previous published work and generalize them by testing with a dataset with ultrasound thyroid images. We measure prediction times in both SBCs and compare them with a cloud based TPU system. The results show the feasibility of Machine Learning accelerated SBCs for optic disc and cup segmentation obtaining times below 25 milliseconds per image using Edge TPUs.


title: Halo Properties and Mass Functions of Groups/Clusters from the DESI Legacy Imaging Surveys DR9

abstract: Based on a large group/cluster catalog recently constructed from the DESI Legacy Imaging Surveys DR9 using an extended halo-based group finder, we measure and model the group-galaxy weak lensing signals for groups/clusters in a few redshift bins within redshift range $0.1 \leqslant z<0.6$. Here, the background shear signals are obtained based on the DECaLS survey shape catalog derived with the \textsc{Fourier\_Quad} method. We divide the lens samples into 5 equispaced redshift bins and 7 mass bins, which allow us to probe the redshift and mass dependence of the lensing signals and hence the resulting halo properties. In addition to these sample selections, we have also checked the signals around different group centers, e.g., brightest central galaxy (BCG), luminosity weighted center and number weighted center. We use a lensing model that includes off-centering to describe the lensing signals we measure for all mass and redshift bins. The results demonstrate that our model predictions for the halo masses, bias and concentrations are stable and self-consistent among different samples for different group centers. Taking advantage of the very large and complete sample of groups/clusters, as well as the reliable estimation of their halo masses, we provide measurements of the cumulative halo mass functions up to redshift $z=0.6$, with a mass precision at $0.03\sim0.09$ dex.


title: $U_q\mathfrak{sl}_2$-invariant non-compact boundary conditions for the XXZ spin chain

abstract: We introduce new $U_q\mathfrak{sl}_2$-invariant boundary conditions for the open XXZ spin chain. For generic values of $q$ we couple the bulk Hamiltonian to an infinite-dimensional Verma module on one or both boundaries of the spin chain, and for $q=e^{\frac{i\pi}{p}}$ a $2p$-th root of unity $ - $ to its $p$-dimensional analogue. Both cases are parametrised by a continuous "spin" $\alpha\in\mathbb{C}$. To motivate our construction, we first specialise to $q=i$, where we obtain a modified XX Hamiltonian with unrolled quantum group symmetry, whose spectrum and scaling limit is computed explicitly using free fermions. In the continuum, this model is identified with the $(\eta,\xi)$ ghost CFT on the upper-half plane with a continuum of conformally invariant boundary conditions on the real axis. The different sectors of the Hamiltonian are identified with irreducible Virasoro representations. Going back to generic $q$ we investigate the algebraic properties of the underlying lattice algebras. We show that if $q^\alpha\notin\pm q^{\mathbb{Z}}$, the new boundary coupling provides a faithful representation of the blob algebra which is Schur-Weyl dual to $U_q\mathfrak{sl}_2$. Then, modifying the boundary conditions on both the left and the right, we obtain a representation of the universal two-boundary Temperley-Lieb algebra. The generators and parameters of these representations are computed explicitly in terms of $q$ and $\alpha$. Finally, we conjecture the general form of the Schur-Weyl duality in this case. This paper is the first in a series where we will study, at all values of the parameters, the spectrum and its continuum limit, the representation content of the relevant lattice algebras and the fusion properties of these new spin chains.

categories: hep-th cond-mat.stat-mech math-ph math.MP math.QA math.RT


title: Quiver neural networks

abstract: We develop a uniform theoretical approach towards the analysis of various neural network connectivity architectures by introducing the notion of a quiver neural network. Inspired by quiver representation theory in mathematics, this approach gives a compact way to capture elaborate data flows in complex network architectures. As an application, we use parameter space symmetries to prove a lossless model compression algorithm for quiver neural networks with certain non-pointwise activations known as rescaling activations. In the case of radial rescaling activations, we prove that training the compressed model with gradient descent is equivalent to training the original model with projected gradient descent.


title: Dean-Kawasaki Equation with Singular Interactions and Applications to Dynamical Ising-Kac Model

abstract: Inspired by [Fehrman, Gess; Invent. Math., 2023] and [Fehrman, Gess; Arch. Ration. Mech. Anal., 2024], we consider the Dean-Kawasaki equation with singular interactions and correlated noise which can be viewed as fluctuating mean-field limits. By imposing the Ladyzhenskaya-Prodi-Serrin condition on the interaction kernel, the existence of probabilistic weak renormalized kinetic solutions is established. Further, under an additional integrability assumption on the divergence of the interaction kernel, a kinetic formulation approach is applied to derive pathwise uniqueness, leading to the strong well-posedness of the equation. As an application, we obtain the well-posedness of a conservative stochastic partial differential equations known as fluctuating Ising-Kac-Kawasaki dynamics, which paves a step on the conjecture concerning nonlinear fluctuations of Kawasaki dynamics proposed by [Giacomin, Lebowitz, Presutti; Math. Surveys Monogr., 1999].


title: Ultra low noise readout with travelling wave parametric amplifiers: the DARTWARS project

abstract: The DARTWARS project has the goal of developing high-performing innovative travelling wave parametric amplifiers with high gain, large bandwidth, high saturation power, and nearly quantum-limited noise. The target frequency region for its applications is 5 - 10 GHz, with an expected noise temperature of about 600 mK. The development follows two different approaches, one based on Josephson junctions and one based on kinetic inductance of superconductors. This contribution mainly focuses on the Josephson travelling wave parametric amplifier, presenting its design, preliminary measurements and the test of homogeneity of arrays of Josephson junctions.


title: The IACOB project. VII. The rotational properties of Galactic massive O-type stars revisited

abstract: Stellar rotation is of key importance for the formation process, evolution, and final fate of massive stars. In this paper we review results from the study of the spin rate properties of a sample of more than 400 Galactic O-type stars surveyed by the IACOB and OWN projects. By combining vsini, Teff, and logg estimates (resulting from a detailed quantitative spectroscopic analysis) with information about the spectroscopic binarity status for an important fraction of the stars in the sample, we provide a renewed overview about how the empirical distribution of projected rotational velocities in the O-star domain depends on mass, evolutionary and binary status. The obtained distributions are then compared with predictions of several state-of-the-art evolutionary models for single stars, as well as from population synthesis simulations including binary interaction, and used to provide hints about the initial velocity distribution of stars with masses in the range ~15-80 Msol.


title: Hypergeometric solutions for variants of the $q$-hypergeometric equation

abstract: We introduce a configuration of a $q$-difference equation and characterize the variants of the $q$-hypergeometric equation, which were defined by Hatano-Matsunawa-Sato-Takemura, by configurations. We show integral solutions and series solutions for the variants of the $q$-hypergeometric equation.


title: Absolutely closed semigroups

abstract: Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let $\mathsf{T_{\!1}S}$, $\mathsf{T_{\!2}S}$, and $\mathsf{T_{\!z}S}$ be the classes of $T_1$, Hausdorff, and Tychonoff zero-dimensional topological semigroups, respectively. We prove that a commutative semigroup $X$ is absolutely $\mathsf{T_{\!z}S}$-closed if and only if $X$ is absolutely $\mathsf{T_{\!2}S}$-closed if and only if $X$ is chain-finite, bounded, group-finite and Clifford+finite. On the other hand, a commutative semigroup $X$ is absolutely $\mathsf{T_{\!1}S}$-closed if and only if $X$ is finite. Also, for a given absolutely $\mathcal C$-closed semigroup $X$ we detect absolutely $\mathcal C$-closed subsemigroups in the center of $X$.


title: Reconciling Security and Communication Efficiency in Federated Learning

abstract: Cross-device Federated Learning is an increasingly popular machine learning setting to train a model by leveraging a large population of client devices with high privacy and security guarantees. However, communication efficiency remains a major bottleneck when scaling federated learning to production environments, particularly due to bandwidth constraints during uplink communication. In this paper, we formalize and address the problem of compressing client-to-server model updates under the Secure Aggregation primitive, a core component of Federated Learning pipelines that allows the server to aggregate the client updates without accessing them individually. In particular, we adapt standard scalar quantization and pruning methods to Secure Aggregation and propose Secure Indexing, a variant of Secure Aggregation that supports quantization for extreme compression. We establish state-of-the-art results on LEAF benchmarks in a secure Federated Learning setup with up to 40$\times$ compression in uplink communication with no meaningful loss in utility compared to uncompressed baselines.


title: The effects of nonlinearities on tidal flows in the convective envelopes of rotating stars and planets in exoplanetary systems

abstract: In close exoplanetary systems, tidal interactions drive orbital and spin evolution of planets and stars over long timescales. Tidally-forced inertial waves (restored by the Coriolis acceleration) in the convective envelopes of low-mass stars and giant gaseous planets contribute greatly to the tidal dissipation when they are excited and subsequently damped (e.g. through viscous friction), especially early in the life of a system. These waves are known to be subject to nonlinear effects, including triggering differential rotation in the form of zonal flows. In this study, we use a realistic tidal body forcing to excite inertial waves through the residual action of the equilibrium tide in the momentum equation for the waves. By performing 3D nonlinear hydrodynamical simulations in adiabatic and incompressible convective shells, we investigate how the addition of nonlinear terms affects the tidal flow properties, and the energy and angular momentum redistribution. In particular, we identify and justify the removal of terms responsible for unphysical angular momentum evolution observed in a previous numerical study. Within our new set-up, we observe the establishment of strong cylindrically-sheared zonal flows, which modify the tidal dissipation rates from prior linear theoretical predictions. We demonstrate that the effects of this differential rotation on the waves neatly explains the discrepancies between linear and nonlinear dissipation rates in many of our simulations. We also highlight the major role of both corotation resonances and parametric instabilities of inertial waves, which are observed for sufficiently high tidal forcing amplitudes or low viscosities, in affecting the tidal flow response.


title: Exclusive dielectron production in ultraperipheral Pb+Pb collisions at $\sqrt{s_{_\text{NN}}} = 5.02$ TeV with ATLAS

abstract: Exclusive production of dielectron pairs, $\gamma\gamma\rightarrow e^+e^-$, is studied using $\mathcal{L}_\mathrm{int}=1.72\; \mathrm{nb^{-1}}$ of data from ultraperipheral collisions of lead nuclei at $\sqrt{s_{_{\text{NN}}}} = 5.02$ TeV recorded by the ATLAS detector at the LHC. The process of interest proceeds via photon-photon interaction in the strong electromagnetic fields of relativistic lead nuclei. Dielectron production is measured in the fiducial region defined by following requirements: electron transverse momentum, $p_{\textrm{T}}^{e} > 2.5$ GeV, absolute electron pseudorapidity, $|\eta^{e}| < 2.5$, invariant mass of the dielectron system, $m_{ee} > 5$ GeV, and transverse momentum of the dielecton pair, $p_{\textrm{T}}^{ee} < 2$ GeV. Differential cross-sections are measured as a function of $m_{ee}$, average $p_{\textrm{T}}^{e}$, absolute rapidity of the dielectron system, $|y_{ee}|$, and scattering angle in the dielectron rest frame, $|\cos\theta^*|$ in the inclusive sample, and also under the requirement of no activity in the forward direction. The total integrated fiducial cross-section is measured to be $215 \pm 1 \text{(stat.)} ^{+23}_{-20} \text{(syst.)} \pm 4 \text{(lumi.)}\; \mu$b. Within experimental uncertainties the measured integrated cross-section is in good agreement with the QED predictions from the Monte Carlo programs Starlight and SuperChic, confirming the broad features of the initial photon fluxes. The differential cross-sections show systematic differences with these predictions which are more pronounced at high $|y_{ee}|$ and $|\cos\theta^*|$ values.


title: An Explainable Decision Support System for Predictive Process Analytics

abstract: Predictive Process Analytics is becoming an essential aid for organizations, providing online operational support of their processes. However, process stakeholders need to be provided with an explanation of the reasons why a given process execution is predicted to behave in a certain way. Otherwise, they will be unlikely to trust the predictive monitoring technology and, hence, adopt it. This paper proposes a predictive analytics framework that is also equipped with explanation capabilities based on the game theory of Shapley Values. The framework has been implemented in the IBM Process Mining suite and commercialized for business users. The framework has been tested on real-life event data to assess the quality of the predictions and the corresponding evaluations. In particular, a user evaluation has been performed in order to understand if the explanations provided by the system were intelligible to process stakeholders.


title: Equivariant and Invariant Grounding for Video Question Answering

abstract: Video Question Answering (VideoQA) is the task of answering the natural language questions about a video. Producing an answer requires understanding the interplay across visual scenes in video and linguistic semantics in question. However, most leading VideoQA models work as black boxes, which make the visual-linguistic alignment behind the answering process obscure. Such black-box nature calls for visual explainability that reveals ``What part of the video should the model look at to answer the question?''. Only a few works present the visual explanations in a post-hoc fashion, which emulates the target model's answering process via an additional method. Nonetheless, the emulation struggles to faithfully exhibit the visual-linguistic alignment during answering. Instead of post-hoc explainability, we focus on intrinsic interpretability to make the answering process transparent. At its core is grounding the question-critical cues as the causal scene to yield answers, while rolling out the question-irrelevant information as the environment scene. Taking a causal look at VideoQA, we devise a self-interpretable framework, Equivariant and Invariant Grounding for Interpretable VideoQA (EIGV). Specifically, the equivariant grounding encourages the answering to be sensitive to the semantic changes in the causal scene and question; in contrast, the invariant grounding enforces the answering to be insensitive to the changes in the environment scene. By imposing them on the answering process, EIGV is able to distinguish the causal scene from the environment information, and explicitly present the visual-linguistic alignment. Extensive experiments on three benchmark datasets justify the superiority of EIGV in terms of accuracy and visual interpretability over the leading baselines.


title: Distinguishing between pre- and post-treatment in the speech of patients with chronic obstructive pulmonary disease

abstract: Chronic obstructive pulmonary disease (COPD) causes lung inflammation and airflow blockage leading to a variety of respiratory symptoms; it is also a leading cause of death and affects millions of individuals around the world. Patients often require treatment and hospitalisation, while no cure is currently available. As COPD predominantly affects the respiratory system, speech and non-linguistic vocalisations present a major avenue for measuring the effect of treatment. In this work, we present results on a new COPD dataset of 20 patients, showing that, by employing personalisation through speaker-level feature normalisation, we can distinguish between pre- and post-treatment speech with an unweighted average recall (UAR) of up to 82\,\% in (nested) leave-one-speaker-out cross-validation. We further identify the most important features and link them to pathological voice properties, thus enabling an auditory interpretation of treatment effects. Monitoring tools based on such approaches may help objectivise the clinical status of COPD patients and facilitate personalised treatment plans.


title: Eigenvector localization in hypergraphs: pair-wise vs higher-order links

abstract: Localization behaviours of Laplacian eigenvectors of complex networks provide understanding to various dynamical phenomena on the corresponding complex systems. We numerically investigate role of hyperedges in driving eigenvector localization of hypergraphs Laplacians. By defining a single parameter \gamma which measures the relative strengths of pair-wise and higher-order interactions, we analyze the impact of interactions on localization properties. For, \gamma < 1 there exists no impact of pairwise links on eigenvector localization while the higher-order interactions instigate localization in the larger eigenvalues. For \gamma > 1, pair-wise interactions cause localization of eigenvector corresponding to small eigenvalues, where as higherorder interactions, despite being much lesser than the pair-wise links, keep driving localization of the eigenvectors corresponding to larger eigenvalues. The results will be useful to understand dynamical phenomena such as diffusion, and random walks on a range of real-world complex systems having higher-order interactions.


title: Tolerance and degrees of truth

abstract: This paper explores the relations between two logical approaches to vagueness: on the one hand the fuzzy approach defended by Smith (2008), and on the other the strict-tolerant approach defended by Cobreros, Egr\'e, Ripley and van Rooij (2012). Although the former approach uses continuum many values and the latter implicitly four, we show that both approaches can be subsumed under a common three-valued framework. In particular, we defend the claim that Smith's continuum many values are not needed to solve what Smith calls `the jolt problem', and we show that they are not needed for his account of logical consequence either. Not only are three values enough to satisfy Smith's central desiderata, but they also allow us to internalize Smith's closeness principle in the form of a tolerance principle at the object-language. The reduction, we argue, matters for the justification of many-valuedness in an adequate theory of vague language.


title: Solar Energetic Particle Ground-Level Enhancements and the Solar Cycle

abstract: Severe geomagnetic storms appear to be ordered by the solar cycle in a number of ways. They occur more frequently close to solar maximum and declining phase, are more common in larger solar cycles and show different patterns of occurrence in odd- and even-numbered solar cycles. Our knowledge of the most extreme space weather events, however, comes from the spikes in cosmogenic-isotope ($^{14}$C, $^{10}$Be and $^{36}$Cl) records that are attributed to significantly larger solar energetic particle (SEP) events than have been observed during the space age. Despite both storms and SEPs being driven by solar eruptive phenomena, the event-by-event correspondence between extreme storms and extreme SEPs is low. Thus it should not be assumed a priori that the solar cycle patterns found for storms also hold for SEPs and the cosmogenic-isotope events. In this study we investigate the solar cycle trends in the timing and magnitude of the 67 SEP ground-level enhancements (GLEs) recorded by neutron monitors since the mid 1950s. Using a number of models of GLE occurrence probability, we show that GLEs are around a factor four more likely around solar maximum than around solar minimum, and that they preferentially occur earlier in even-numbered solar cycles than in odd-numbered cycles. There are insufficient data to conclusively determine whether larger solar cycles produce more GLEs. Implications for putative space-weather events in the cosmogenic-isotope records are discussed. We find that GLEs tend to cluster within a few tens of days, likely due to particularly productive individual active regions, and with approximately 11-year separations, owing to the solar cycle ordering. But these timescales do not explain cosmogenic-isotope spikes which require multiple extreme SEP events over consecutive years.


title: High humidity enhances the evaporation of non-aqueous volatile sprays

abstract: We experimentally investigate the evaporation of very volatile liquid droplets (Novec 7000 Engineered Fluid) in a turbulent spray. Droplets with diameters of the order of a few micrometers are produced by a spray nozzle and then injected into a purpose-built enclosed dodecahedral chamber, where the ambient temperature and relative humidity in the chamber are carefully controlled. We observe water condensation on the rapidly evaporating droplet, both for the spray and for a single acoustically levitated millimetric Novec 7000 droplet. We further examine the effect of humidity, and reveal that a more humid environment leads to faster evaporation of the volatile liquid, as well as more water condensation. This is explained by the much larger latent heat of water. We extend an analytical model based on Fick's law to quantitatively account for the data.


title: Development of transverse flow for small and large systems in conformal kinetic theory

abstract: We employ an effective kinetic description to study the space-time dynamics and development of transverse flow of small and large collision systems. By combining analytical insights in the few interactions limit with numerical simulations at higher opacity, we are able to describe the development of transverse flow from very small to very large opacities, realised in small and large collision systems. Surpisingly, we find that deviations between kinetic theory and hydrodynamics persist even in the limit of very large interaction rates, which can be attributed to the presence of the early pre-equilibrium phase.


title: Multi-cell Content Caching: Optimization for Cost and Information Freshness

abstract: In multi-access edge computing (MEC) systems, there are multiple local cache servers caching contents to satisfy the users' requests, instead of letting the users download via the remote cloud server. In this paper, a multi-cell content scheduling problem (MCSP) in MEC systems is considered. Taking into account jointly the freshness of the cached contents and the traffic data costs, we study how to schedule content updates along time in a multi-cell setting. Different from single-cell scenarios, a user may have multiple candidate local cache servers, and thus the caching decisions in all cells must be jointly optimized. We first prove that MCSP is NP-hard, then we formulate MCSP using integer linear programming, by which the optimal scheduling can be obtained for small-scale instances. For problem solving of large scenarios, via a mathematical reformulation, we derive a scalable optimization algorithm based on repeated column generation. Our performance evaluation shows the effectiveness of the proposed algorithm in comparison to an off-the-shelf commercial solver and a popularity-based caching.


title: Viscoelastic coarsening of quasi-2D foam

abstract: Foams are unstable jammed materials. They evolve over timescales comparable to their "time of use", which makes the study of their destabilisation mechanisms crucial for applications. In practice, many foams are made from viscoelastic fluids, which are observed to prolong their lifetimes. Despite their importance we lack understanding of the coarsening mechanism in such systems. We probe the effect of continuous phase viscoelasticity on foam coarsening with foamed emulsions. We show that bubble size evolution is strongly slowed down and foam structure hugely impacted. The main mechanisms responsible are the absence of continuous phase redistribution and a non-trivial link between foam structure and mechanical properties. These combine to give spatially heterogeneous coarsening. Beyond their importance in the design of foamy materials, the results give a macroscopic vision of phase separation in a viscoelastic medium.


title: The Gaia-ESO survey: A spectroscopic study of the young open cluster NGC 3293

abstract: We present a spectroscopic analysis of the GIRAFFE and UVES data collected by the Gaia-ESO survey for the young open cluster NGC 3293. Archive spectra from the same instruments obtained in the framework of the `VLT-FLAMES survey of massive stars' are also analysed. Atmospheric parameters, non-LTE chemical abundances for six elements, or variability information are reported for a total of about 160 B stars spanning a wide range in terms of spectral types (B1 to B9.5) and rotation rate (up to 350 km/s). We take advantage of the multi-epoch observations to detect several binary systems or intrinsically line-profile variables. A deconvolution algorithm is used to infer the current, true (deprojected) rotational velocity distribution. We find a broad, Gaussian-like distribution peaking around 200-250 km/s. Although some stars populate the high-velocity tail, most stars in the cluster appear to rotate far from critical. We discuss the chemical properties of the cluster, including the low occurrence of abundance peculiarities in the late B stars and the paucity of objects showing CN-cycle burning products at their surface. We argue that the former result can largely be explained by the inhibition of diffusion effects because of fast rotation, while the latter is generally in accord with the predictions of single-star evolutionary models under the assumption of a wide range of initial spin rates at the onset of main-sequence evolution. However, we find some evidence for a less efficient mixing in two quite rapidly rotating stars that are among the most massive objects in our sample. Finally, we obtain a cluster age of ~20 Myrs through a detailed, star-to-star correction of our results for the effect of stellar rotation. This is significantly older than previous estimates from turn-off fitting that fully relied on classical, non-rotating isochrones. [abridged]


title: Modeling mandatory and discretionary lane changes using dynamic interaction networks

abstract: A quantitative understanding of dynamic lane-changing (LC) interaction patterns is indispensable for improving the decision-making of autonomous vehicles, especially in mixed traffic with human-driven vehicles. This paper develops a novel framework combining the hidden Markov model and graph structure to identify the difference in dynamic interaction networks between mandatory lane changes (MLC) and discretionary lane changes (DLC). A hidden Markov model is developed to decompose LC interactions into homogenous segments and reveal the temporal properties of these segments. Then, conditional mutual information is used to quantify the interaction intensity, and the graph structure is used to characterize the connectivity between vehicles. Finally, the critical vehicle in each dynamic interaction network is identified. Based on the LC events extracted from the INTERACTION dataset, the proposed analytical framework is applied to modeling MLC and DLC under congested traffic with levels of service E and F. The results show that there are multiple heterogeneous dynamic interaction network structures in an LC process. A comparison of MLC and DLC demonstrates that MLC are more complex, while DLC are more random. The complexity of MLC is attributed to the intense interaction and frequent transition of the interaction network structure, while the random DLC demonstrate no obvious evolution rules and dominant vehicles in interaction networks. The findings in this study are useful for understanding the connectivity structure between vehicles in LC interactions, and for designing appropriate and well-directed driving decision-making models for autonomous vehicles and advanced driver-assistance systems.


title: New developments in relativistic magnetohydrodynamics

abstract: Relativistic magnetohydrodynamics (RMHD) provides an extremely useful description of the low-energy long-wavelength phenomena in a variety of physical systems from quark-gluon plasma in heavy-ion collisions to matters in supernovas, compact stars, and early universe. We review the recent theoretical progresses of RMHD, such as a formulation of RMHD from the perspective of magnetic flux conservation using the entropy-current analysis, the nonequilibrium statistical operator approach applied to quantum electrodynamics, and the relativistic kinetic theory. We discuss how the transport coefficients in RMHD are computed in kinetic theory and perturbative quantum field theories. We also explore the collective modes and instabilities in RMHD with a special emphasis on the role of chirality in a parity-odd plasma. We also give some future prospects of RMHD, including the interaction with spin hydrodynamics and the new kinetic framework with magnetic flux conservation.

categories: hep-th astro-ph.HE hep-ph nucl-th physics.plasm-ph


title: Static and Dynamic Concepts for Self-supervised Video Representation Learning

abstract: In this paper, we propose a novel learning scheme for self-supervised video representation learning. Motivated by how humans understand videos, we propose to first learn general visual concepts then attend to discriminative local areas for video understanding. Specifically, we utilize static frame and frame difference to help decouple static and dynamic concepts, and respectively align the concept distributions in latent space. We add diversity and fidelity regularizations to guarantee that we learn a compact set of meaningful concepts. Then we employ a cross-attention mechanism to aggregate detailed local features of different concepts, and filter out redundant concepts with low activations to perform local concept contrast. Extensive experiments demonstrate that our method distills meaningful static and dynamic concepts to guide video understanding, and obtains state-of-the-art results on UCF-101, HMDB-51, and Diving-48.


title: Secure Internet Exams Despite Coercion

abstract: We study coercion-resistance for online exams. We propose two properties, Anonymous Submission and Single-Blindness which, if hold, preserve the anonymity of the links between tests, test takers, and examiners even when the parties coerce one another into revealing secrets. The properties are relevant: not even Remark!, a secure exam protocol that satisfied anonymous marking and anonymous examiners results to be coercion resistant. Then, we propose a coercion-resistance protocol which satisfies, in addition to known anonymity properties, the two novel properties we have introduced. We prove our claims formally in ProVerif. The paper has also another contribution: it describes an attack (and a fix) to an exponentiation mixnet that Remark! uses to ensure unlinkability. We use the secure version of the mixnet in our new protocol.


title: Compositional Turbulence and Layering in the Gaseous Envelopes of Forming Planets

abstract: Differential settling and growth of dust grains impact the structure of the radiative envelopes of gaseous planets during formation. Sufficiently rapid dust growth can result in envelopes with substantially reduced opacities for radiation transport, thereby facilitating planet formation. We revisit the problem and establish that dust settling and grain growth also lead to outer planetary envelopes that are prone to compositional instabilities, by virtue of their inverted mean-molecular weight gradients. Under a variety of conditions, we find that the radiative envelopes of forming planets experience compositional turbulence driven by a semi-transparent version of the thermohaline instability ('fingering convection'). The compositional turbulence seems efficient at mixing dust in the radiative envelopes of planets forming at super-AU distances (say $5$ AU) from a Sun-like star, but not so at sub-AU distances (say $0.2$ AU). We also address the possibility of compositional layering in this context. Distinct turbulent regimes for planetary envelopes growing at sub-AU vs. super-AU distances could leave an imprint on the final planets formed.


title: Existence of real time quantum path integrals

abstract: Many interesting physical theories have analytic classical actions. We show how Feynman's path integral may be defined non-perturbatively, for such theories, without a Wick rotation to imaginary time. We start by introducing a class of smooth regulators which render interference integrals absolutely convergent and thus unambiguous. The analyticity of the regulators allows us to use Cauchy's theorem to deform the integration domain onto a set of relevant, complex "thimbles" (or generalized steepest descent contours) each associated with a classical saddle. The regulator can then be removed to obtain an exact, non-perturbative representation. We show why the usual method of gradient flow, used to identify relevant saddles and steepest descent "thimbles" for finite-dimensional oscillatory integrals, fails in the infinite-dimensional case. For the troublesome high frequency modes, we replace it with a method we call "eigenflow" which we employ to identify the infinite-dimensional, complex "eigenthimble" over which the real time path integral is absolutely convergent. We then bound the path integral over high frequency modes by the corresponding Wiener measure for a free particle. Using the dominated convergence theorem we infer that the interacting path integral defines a good measure. While the real time path integral is more intricate than its Euclidean counterpart, it is superior in several respects. It seems particularly well-suited to theories such as quantum gravity where the classical theory is well developed but the Euclidean path integral does not exist.


title: Modular Paulsen Problem and Modular Projection Problem

abstract: Based on the solution of \textbf{Paulsen Problem} by Kwok, Lau, Lee, and Ramachandran [\textit{STOC'18-Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018}] and independently by Hamilton, and Moitra [\textit{Isr. J. Math., 2021}] we study Paulsen Problem and Projection Problem in the context of Hilbert C*-modules. We show that for commutative C*-algebras, if Modular Paulsen Problem has a solution, then Modular Projection Problem also has a solution. We formulate the problem of operator scaling for matrices over C*-algebras.


title: PIXEL: Physics-Informed Cell Representations for Fast and Accurate PDE Solvers

abstract: With the increases in computational power and advances in machine learning, data-driven learning-based methods have gained significant attention in solving PDEs. Physics-informed neural networks (PINNs) have recently emerged and succeeded in various forward and inverse PDE problems thanks to their excellent properties, such as flexibility, mesh-free solutions, and unsupervised training. However, their slower convergence speed and relatively inaccurate solutions often limit their broader applicability in many science and engineering domains. This paper proposes a new kind of data-driven PDEs solver, physics-informed cell representations (PIXEL), elegantly combining classical numerical methods and learning-based approaches. We adopt a grid structure from the numerical methods to improve accuracy and convergence speed and overcome the spectral bias presented in PINNs. Moreover, the proposed method enjoys the same benefits in PINNs, e.g., using the same optimization frameworks to solve both forward and inverse PDE problems and readily enforcing PDE constraints with modern automatic differentiation techniques. We provide experimental results on various challenging PDEs that the original PINNs have struggled with and show that PIXEL achieves fast convergence speed and high accuracy. Project page: https://namgyukang.github.io/PIXEL/


title: Impact of seed density on continuous ultrathin nanodiamond film formation: an analytical approach

abstract: An analytical mean field approach for describing the time evolution of film growth by seeding has been developed. The modeling deals with the generic case of anisotropic growth with different growth rates, respectively on -- and normal to -- the substrate plane. The finite size of the seeds is considered by including spatial correlation effects among seeds through hard-core interactions. The approach, based on probability theory, provides solution in closed form for mean film thickness as a function of substrate coverage, seed density and initial size of the seeds. For negligible values of the initial coverage of the substrate by seeds, manageable analytical expressions are attained. The model has been validated by comparison with experimental data available in the literature. This study is significant in connection to the possibility of determining optimal growth conditions for ultrathin nanocrystalline diamond (NCD) film. In fact, the knowledge of the seeding/nucleation density that allows a given minimum average thickness of continuous film is of utmost importance for the development of technologically advanced applications.


title: A Review of the EnKF for Parameter Estimation

abstract: The ensemble Kalman filter is a well-known and celebrated data assimilation algorithm. It is of particular relevance as it used for high-dimensional problems, by updating an ensemble of particles through a sample mean and covariance matrices. In this chapter we present a relatively recent topic which is the application of the EnKF to inverse problems, known as ensemble Kalman Inversion (EKI). EKI is used for parameter estimation, which can be viewed as a black-box optimizer for PDE-constrained inverse problems. We present in this chapter a review of the discussed methodology, while presenting emerging and new areas of research, where numerical experiments are provided on numerous interesting models arising in geosciences and numerical weather prediction.


title: Multivariate Functional Outlier Detection using the FastMUOD Indices

abstract: We present definitions and properties of the fast massive unsupervised outlier detection (FastMUOD) indices, used for outlier detection (OD) in functional data. FastMUOD detects outliers by computing, for each curve, an amplitude, magnitude and shape index meant to target the corresponding types of outliers. Some methods adapting FastMUOD to outlier detection in multivariate functional data are then proposed. These include applying FastMUOD on the components of the multivariate data and using random projections. Moreover, these techniques are tested on various simulated and real multivariate functional datasets. Compared with the state of the art in multivariate functional OD, the use of random projections showed the most effective results with similar, and in some cases improved, OD performance.


title: Large-Scale Low-Rank Gaussian Process Prediction with Support Points

abstract: Low-rank approximation is a popular strategy to tackle the "big n problem" associated with large-scale Gaussian process regressions. Basis functions for developing low-rank structures are crucial and should be carefully specified. Predictive processes simplify the problem by inducing basis functions with a covariance function and a set of knots. The existing literature suggests certain practical implementations of knot selection and covariance estimation; however, theoretical foundations explaining the influence of these two factors on predictive processes are lacking. In this paper, the asymptotic prediction performance of the predictive process and Gaussian process predictions is derived and the impacts of the selected knots and estimated covariance are studied. We suggest the use of support points as knots, which best represent data locations. Extensive simulation studies demonstrate the superiority of support points and verify our theoretical results. Real data of precipitation and ozone are used as examples, and the efficiency of our method over other widely used low-rank approximation methods is verified.


title: Neural Design for Genetic Perturbation Experiments

abstract: The problem of how to genetically modify cells in order to maximize a certain cellular phenotype has taken center stage in drug development over the last few years (with, for example, genetically edited CAR-T, CAR-NK, and CAR-NKT cells entering cancer clinical trials). Exhausting the search space for all possible genetic edits (perturbations) or combinations thereof is infeasible due to cost and experimental limitations. This work provides a theoretically sound framework for iteratively exploring the space of perturbations in pooled batches in order to maximize a target phenotype under an experimental budget. Inspired by this application domain, we study the problem of batch query bandit optimization and introduce the Optimistic Arm Elimination ($\mathrm{OAE}$) principle designed to find an almost optimal arm under different functional relationships between the queries (arms) and the outputs (rewards). We analyze the convergence properties of $\mathrm{OAE}$ by relating it to the Eluder dimension of the algorithm's function class and validate that $\mathrm{OAE}$ outperforms other strategies in finding optimal actions in experiments on simulated problems, public datasets well-studied in bandit contexts, and in genetic perturbation datasets when the regression model is a deep neural network. OAE also outperforms the benchmark algorithms in 3 of 4 datasets in the GeneDisco experimental planning challenge.


title: A New Proof For The Transformation Laws of Theta Functions

abstract: We prove the transformation laws of the four Jacobi theta functions using Gordon's proof for the transformation law of the Dedekind eta function.


title: Normalization for Fitch-Style Modal Calculi

abstract: Fitch-style modal lambda calculi enable programming with necessity modalities in a typed lambda calculus by extending the typing context with a delimiting operator that is denoted by a lock. The addition of locks simplifies the formulation of typing rules for calculi that incorporate different modal axioms, but each variant demands different, tedious and seemingly ad hoc syntactic lemmas to prove normalization. In this work, we take a semantic approach to normalization, called normalization by evaluation (NbE), by leveraging the possible-world semantics of Fitch-style calculi to yield a more modular approach to normalization. We show that NbE models can be constructed for calculi that incorporate the K, T and 4 axioms of modal logic, as suitable instantiations of the possible-world semantics. In addition to existing results that handle beta-equivalence, our normalization result also considers eta-equivalence for these calculi. Our key results have been mechanized in the proof assistant Agda. Finally, we showcase several consequences of normalization for proving meta-theoretic properties of Fitch-style calculi as well as programming-language applications based on different interpretations of the necessity modality.