title: Subarcsecond view on the high-redshift blazar GB 1508+5714 by the International LOFAR Telescope

abstract: Studies of the most distant AGNs allow us to test our current understanding of the physics present in radio-jetted AGNs across a range of environments. The decrease in apparent luminosity with distance is the primary difficulty to overcome in the study of these distant AGNs, which requires highly sensitive instruments. Our goal is to employ new long wavelength radio data to better parametrise the broad-band SED of GB 1508+5714, a high-redshift (z=4.30) AGN. Its high redshift, high intrinsic luminosity, and classification as a blazar allow us to test emission models that consider the efficient cooling of jet electrons via inverse Compton losses in interactions with the dense CMB photon field at high redshifts. A significant detection of this effect in GB 1508+5714 may partly explain the apparent sparsity of high-redshift radio galaxies in wide-field surveys; detections of this kind are only becoming possible with the current generation of SKA precursors. We used international LOFAR telescope to image the long wavelength radio emission around the high-redshift blazar GB 1508+5714 on arcsecond scales at frequencies between 128 MHz and 160 MHz. This allowed us to compare the spatially resolved structure with higher frequency observations, and to construct spectral index maps. The LOFAR image shows a compact unresolved core and two resolved emission regions around 2 arcsec to the east and to the west of the radio core. We find structure consistent with previous VLA observations, as well as a previously unreported emission region to the east. We interpret the arcsecond-scale radio structure of GB 1508+5714 as a FR II-like radio galaxy at a small viewing angle. Our SED modelling shows that a scenario featuring significant quenching effects caused by interaction with the CMB provides a good description of the data, and notably explains the suppressed radio emission.


title: Slope Semistability and Positive cones of Grassmann bundles

abstract: Let $E$ be a vector bundle of rank $r$ on a smooth complex projective variety $X$. In this article, we compute the nef and pseudoeffective cones of divisors in the Grassmann bundle $Gr_X(k,E)$ parametrizing $k$-dimensional subspaces of the fibers of $E$, where $1\leq k \leq rank(E)$, under assumptions on $X$ as well as on the vector bundle $E$. In particular, we show that nef cone and the pseudoeffective cone of $Gr_X(k,E)$ coincide if and only if $E$ is a slope semistable bundle on $X$ with $c_2(End(E))=0$. We also discuss about the nefness and ampleness of the universal quotient bundle $Q_k$ on $Gr_X(k,E)$.


title: Special IMM groups

abstract: Italiano-Martelli-Migliorini recently constructed hyperbolic groups which have non-hyperbolic subgroups of finite type. Using a closely related construction, Llosa Isenrich-Martelli-Py constructed hyperbolic groups with subgroups of type $F_3$ but not $F_4$. We observe that these hyperbolic groups can be chosen to be special in the sense of Haglund-Wise.


title: Cooperative Reinforcement Learning on Traffic Signal Control

abstract: Traffic signal control is a challenging real-world problem aiming to minimize overall travel time by coordinating vehicle movements at road intersections. Existing traffic signal control systems in use still rely heavily on oversimplified information and rule-based methods. Specifically, the periodicity of green/red light alternations can be considered as a prior for better planning of each agent in policy optimization. To better learn such adaptive and predictive priors, traditional RL-based methods can only return a fixed length from predefined action pool with only local agents. If there is no cooperation between these agents, some agents often make conflicts to other agents and thus decrease the whole throughput. This paper proposes a cooperative, multi-objective architecture with age-decaying weights to better estimate multiple reward terms for traffic signal control optimization, which termed COoperative Multi-Objective Multi-Agent Deep Deterministic Policy Gradient (COMMA-DDPG). Two types of agents running to maximize rewards of different goals - one for local traffic optimization at each intersection and the other for global traffic waiting time optimization. The global agent is used to guide the local agents as a means for aiding faster learning but not used in the inference phase. We also provide an analysis of solution existence together with convergence proof for the proposed RL optimization. Evaluation is performed using real-world traffic data collected using traffic cameras from an Asian country. Our method can effectively reduce the total delayed time by 60\%. Results demonstrate its superiority when compared to SoTA methods.


title: Monodromy of a generalized Lame equation of third order

abstract: We study the monodromy of the following third order linear differential equation \[y'''(z)-(\alpha\wp(z;\tau)+B)y'(z)+\beta\wp'(z;\tau)y(z)=0, \] where $B\in\mathbb{C}$ is a parameter, $\wp(z;\tau)$ is the Weierstrass $\wp$-function with periods $1$ and $\tau$, and $\alpha,\beta$ are constants such that the local exponents at the singularity $0$ are three distinct integers, which can always be written as $-n-l, 1-l, n+2l+2$ after a dual transformation, where $n,l\in\mathbb{N}$. This ODE can be seen as the third order version of the well-known Lam\'{e} equation $y''(z)-(m(m+1)\wp(z;\tau)+B)y(z)=0$. We say that the monodromy is unitary if the monodromy group is conjugate to a subgroup of the unitary group. We show that \begin{itemize} \item[(i)] if $n, l$ are both odd, then the monodromy can not be unitary; \item[(ii)] if $n$ is odd and $l$ is even, then there exist finite values of $B$ such that the monodromy is the Klein four-group and hence unitary; \item[(iii)] if $n$ is even, then whether there exists $B$ such that the monodromy is unitary depends on the choice of the period $\tau$. \end{itemize} The methods of studying the second order Lam\'{e} equation can not work here, and we need to develop different approaches to treat these different cases separately. These results have interesting applications to the integrable $SU(3)$ Toda system in another work (Chen-Lin, J. Differ. Geom. to appear).


title: Numerical approximation of the solution of an obstacle problem modelling the displacement of elliptic membrane shells via the penalty method

abstract: In this paper we establish the convergence of a numerical scheme based, on the Finite Element Method, for a time-independent problem modelling the deformation of a linearly elastic elliptic membrane shell subjected to remaining confined in a half space. Instead of approximating the original variational inequalities governing this obstacle problem, we approximate the penalized version of the problem under consideration. A suitable coupling between the penalty parameter and the mesh size will then lead us to establish the convergence of the solution of the discrete penalized problem to the solution of the original variational inequalities. We also establish the convergence of the Brezis-Sibony scheme for the problem under consideration. Thanks to this iterative method, we can approximate the solution of the discrete penalized problem without having to resort to nonlinear optimization tools. Finally, we present numerical simulations validating our new theoretical results.


title: Constraint Energy Minimizing Generalized Multiscale Finite Element Method for multi-continuum Richards equations

abstract: In fluid flow simulation, the multi-continuum model is a useful strategy. When the heterogeneity and contrast of coefficients are high, the system becomes multiscale, and some kinds of reduced-order methods are demanded. Combining these techniques with nonlinearity, we will consider in this paper a dual-continuum model which is generalized as a multi-continuum model for a coupled system of nonlinear Richards equations as unsaturated flows, in complex heterogeneous fractured porous media; and we will solve it by a novel multiscale approach utilizing the constraint energy minimizing generalized multiscale finite element method (CEM-GMsFEM). In particular, such a nonlinear system will be discretized in time and then linearized by Picard iteration (whose global convergence is proved theoretically). Subsequently, we tackle the resulting linearized equations by the CEM-GMsFEM and obtain proper offline multiscale basis functions to span the multiscale space (which contains the pressure solution). More specifically, we first introduce two new sources of samples, and the GMsFEM is used over each coarse block to build local auxiliary multiscale basis functions via solving local spectral problems, that are crucial for detecting high-contrast channels. Second, per oversampled coarse region, local multiscale basis functions are created through the CEM as constrainedly minimizing an energy functional. Various numerical tests for our approach reveal that the error converges with the coarse-grid size alone and that only a few oversampling layers, as well as basis functions, are needed.


title: Pareto-Improving Data-Sharing

abstract: We study the effects of data sharing between firms on prices, profits, and consumer welfare. Although indiscriminate sharing of consumer data decreases firm profits due to the subsequent increase in competition, selective sharing can be beneficial. We show that there are data-sharing mechanisms that are strictly Pareto-improving, simultaneously increasing firm profits and consumer welfare. Within the class of Pareto-improving mechanisms, we identify one that maximizes firm profits and one that maximizes consumer welfare.


title: Anosov Diffeomorphisms on a Product of Surfaces

abstract: We show that there is no transitive Anosov diffeomorphism with the global product structure, which is homotopic to a product of pseudo-Anosov diffeomorphisms, on a product of two closed surfaces each of which has genus greater than or equal to two.


title: Holomorphic isometries into homogeneous bounded domains

abstract: We prove two rigidity theorems on holomorphic isometries into homogeneous bounded domains. The first shows that a K\"ahler-Ricci soliton induced by the homogeneous metric of a homogeneous bounded domain is trivial, i.e. K\"ahler-Einstein. In the second one we prove that a homogeneous bounded domain and the flat (definite or indefinite) complex Euclidean space are not relatives, i.e. they do not share a common K\"ahler submanifold (of positive dimension). Our theorems extend the results proved in [A. Loi, R. Mossa, Proc. Amer. Math. Soc. 149 (2021), no. 11, 4931-4941] and [X. Cheng, Y. Hao, Ann. Global Anal. Geom. 60 (2021), no. 1, 167-180] respectively.


title: Quantum Wiener-Khinchin theorem for spectral-domain optical coherence tomography

abstract: Wiener-Khinchin theorem, the fact that the autocorrelation function of a time process has a spectral decomposition given by its power spectrum intensity, can be used in many disciplines. However, the applications based on a quantum counterpart of Wiener-Khinchin theorem that provides a translation between time-energy degrees of freedom of biphoton wavefunction still remains relatively unexplored. Here, we use a quantum Wiener-Khinchin theorem (QWKT) to state that two-photon joint spectral intensity and the cross-correlation of two-photon temporal signal can be connected by making a Fourier transform. The mathematically-defined QWKT is experimentally demonstrated in frequency-entangled two-photon Hong-Ou-Mandel (HOM) interference with the assistance of spectrally-resolved detection. We apply this method to spectral-domain quantum optical coherence tomography that detects thickness-induced optical delays in a transparent sample, and show that our method suffices to achieve great advantages in measurement precision within a wide dynamic range and capturing time over the conventional HOM interferometric schemes. These results may significantly facilitate the use of QWKT for quantum information processing and quantum interferometric spectroscopy.


title: Multiple Offsets Multilateration: a new paradigm for sensor network calibration with unsynchronized reference nodes

abstract: Positioning using wave signal measurements is used in several applications, such as GPS systems, structure from sound and Wifi based positioning. Mathematically, such problems require the computation of the positions of receivers and/or transmitters as well as time offsets if the devices are unsynchronized. In this paper, we expand the previous state-of-the-art on positioning formulations by introducing Multiple Offsets Multilateration (MOM), a new mathematical framework to compute the receivers positions with pseudoranges from unsynchronized reference transmitters at known positions. This could be applied in several scenarios, for example structure from sound and positioning with LEO satellites. We mathematically describe MOM, determining how many receivers and transmitters are needed for the network to be solvable, a study on the number of possible distinct solutions is presented and stable solvers based on homotopy continuation are derived. The solvers are shown to be efficient and robust to noise both for synthetic and real audio data.


title: Designing Conversational Robots with Children during the Pandemic

abstract: Our research project (CHATTERS) is about designing a conversational robot for children's digital information search. We want to design a robot with a suitable conversation, that fosters a responsible trust relationship between child and robot. In this paper we give: 1) a preliminary view on an empirical study around children's trust in robots that provide information, which was conducted via video call due to the COVID-19 pandemic. 2) We also give a preliminary analysis of a co-design workshop we conducted, where the pandemic may have impacted children's design choices. (3) We close by describing the upcoming research activities we are developing.


title: $\clw$-hypercontractions and their model

abstract: We revisit the study of $\omega$-hypercontractions corresponding to a single weight sequence $\omega=\{\omega_k\}_{k\geq0}$ introduced by Olofsson in \cite{O} and find an analogue of Nagy-Foias characteristic function in this setting. Explicit construction of characteristic functions is obtained and it is shown to be a complete unitary invariant. By considering a multi-weight sequence $\clw$ and $\clw$-hypercontractions we extend Olofsson's work \cite{O} in the multi-variable setting. Model for $\clw$-hypercontractions is obtained by finding their dilations on certain weighted Bergman spaces over the polydisc corresponding to the multi-weight sequence $\clw$. This recovers and provides a different proof of the earlier work of Curto and Vasilescu \cite{CVPoly, CV} for $\gamma$-contractive multi-operators through a particular choice of multi-weight sequence.


title: Exchangeable FGM copulas

abstract: Copulas are a powerful tool to model dependence between the components of a random vector. One well-known class of copulas when working in two dimensions is the Farlie-GumbelMorgenstern (FGM) copula since their simple analytic shape enables closed-form solutions to many problems in applied probability. However, the classical definition of high-dimensional FGM copula does not enable a straightforward understanding of the effect of the copula parameters on the dependence, nor a geometric understanding of their admissible range. We circumvent this issue by studying the FGM copula from a probabilistic approach based on multivariate Bernoulli distributions. This paper studies high-dimensional exchangeable FGM copulas, a subclass of FGM copulas. We show that dependence parameters of exchangeable FGM can be expressed as convex hulls of a finite number of extreme points and establish partial orders for different exchangeable FGM copulas (including maximal and minimal dependence). We also leverage the probabilistic interpretation to develop efficient sampling and estimating procedures and provide a simulation study. Throughout, we discover geometric interpretations of the copula parameters that assist one in decoding the dependence of high-dimensional exchangeable FGM copulas.


title: Real-time Collaborative Multi-Level Modeling by Conflict-Free Replicated Data Types

abstract: The need for real-time collaborative solutions in model-driven engineering has been increasing over the past years. Conflict-free replicated data types (CRDT) provide scalable and robust replication mechanisms that align well with the requirements of real-time collaborative environments. In this paper, we propose a real-time collaborative multi-level modeling framework to support advanced modeling scenarios, built on a collection of custom CRDT, specifically tailored for the needs of modeling environments. We demonstrate the benefits of the framework through an illustrative modeling case and compare it with other state-of-the-art modeling frameworks.


title: Automatic Generation of Programming Exercises

abstract: Massive training of developers following the growing demands of the information technology industry requires teachers to automate their repetitive tasks. For training courses on programming, it is promising to use automatic generation and automatic grading of exercises that require a student to write a program. This article discusses the general scheme for constructing a programming exercises generator and identifies two classes of exercises, the generation of which can be automated: converting notation into code and converting data formats. Several examples of programming exercise generators are discussed. The experience of using exercise generators for the Python programming course is briefly described.


title: Effect of spin-orbit coupling in one-dimensional quasicrystals with power-law hopping

abstract: In the one-dimensional quasiperiodic Aubry-Andr\'{e}-Harper Hamiltonian with nearest-neighbor hopping, all single-particle eigenstates undergo a phase transition from ergodic to localized states at a critical disorder strength $W_c/t = 2.0$. There is no mobility edge in this system. However, in the presence of power-law hopping having the form $1/r^a$, beyond a critical disorder strength mobility edge appears for $a > 1$, while, for $0< a\leq 1$, a multifractal edge separates the extended and the multifractal states. In both these limits, depending on the strength of the disorder, lowest $\beta^s L$ states are delocalized. We have found that, in the presence of the spin-orbit coupling, the critical disorder strength is always larger irrespective of the value of the parameter $a$. Furthermore, we demonstrate that for $a\leq 1$, in the presence of spin-orbit coupling, there exists multiple multifractal edges, and the energy spectrum splits up into alternative bands of delocalized and multifractal states. Moreover, the location of the multifractal edges are generally given by the fraction $(\beta^s \pm \beta^m)$. The qualitative behavior of the energy spectrum remains unaffected for $a > 1$. However, in contrast to the previously reported results, we find that in this limit, similar to the other case, multiple mobility edges can exist with or without the spin-orbit coupling.


title: Sample Efficient Approaches for Idiomaticity Detection

abstract: Deep neural models, in particular Transformer-based pre-trained language models, require a significant amount of data to train. This need for data tends to lead to problems when dealing with idiomatic multiword expressions (MWEs), which are inherently less frequent in natural text. As such, this work explores sample efficient methods of idiomaticity detection. In particular we study the impact of Pattern Exploit Training (PET), a few-shot method of classification, and BERTRAM, an efficient method of creating contextual embeddings, on the task of idiomaticity detection. In addition, to further explore generalisability, we focus on the identification of MWEs not present in the training data. Our experiments show that while these methods improve performance on English, they are much less effective on Portuguese and Galician, leading to an overall performance about on par with vanilla mBERT. Regardless, we believe sample efficient methods for both identifying and representing potentially idiomatic MWEs are very encouraging and hold significant potential for future exploration.


title: Hydrodynamics for the ABC model with slow/fast boundary

abstract: In this article, we consider the ABC model in contact with slow/fast reservoirs. In this model, there is at most one particle per site, which can be of type $\alpha\in\{A,B,C\}$ and particles exchange positions in the discrete set of points $\{1,\cdots, N-1\}$ with a weakly asymmetric rate that depends on the type of particles involved in the exchange mechanism. At the boundary points $x=1, N-1$ particles can be injected or removed with a rate that depends on the type of particles involved. We prove that the hydrodynamic limit, in the diffusive time scale, is given by a system of non-linear coupled equation with several boundary conditions, that depend on the strength of the reservoir's action.


title: Symptom Identification for Interpretable Detection of Multiple Mental Disorders

abstract: Mental disease detection (MDD) from social media has suffered from poor generalizability and interpretability, due to lack of symptom modeling. This paper introduces PsySym, the first annotated symptom identification corpus of multiple psychiatric disorders, to facilitate further research progress. PsySym is annotated according to a knowledge graph of the 38 symptom classes related to 7 mental diseases complied from established clinical manuals and scales, and a novel annotation framework for diversity and quality. Experiments show that symptom-assisted MDD enabled by PsySym can outperform strong pure-text baselines. We also exhibit the convincing MDD explanations provided by symptom predictions with case studies, and point to their further potential applications.


title: Derived equivalences of self-injective 2-Calabi--Yau tilted algebras

abstract: Consider a $k$-linear Frobenius category $\mathscr{E}$ with a projective generator such that the corresponding stable category $\mathscr{C}$ is 2-Calabi--Yau, Hom-finite with split idempotents. Let $l,m\in\mathscr{C}$ be maximal rigid objects with self-injective endomorphism algebras. We will show that their endomorphism algebras $\mathscr{C}(l,l)$ and $\mathscr{C}(m,m)$ are derived equivalent. Furthermore we will give a description of the two-sided tilting complex which induces this derived equivalence.


title: The irreversibility cost of purifying Szilard's engine: Is it possible to perform erasure using the quantum homogenizer?

abstract: Erasure is fundamental for information processing. It is also key in connecting information theory and thermodynamics, as it is a logically irreversible task. We provide a new angle on this connection, noting that there may be an additional cost to erasure, that is not captured by standard results such as Landauer's principle. To make this point we use a model of irreversibility based on Constructor Theory - a recently proposed generalization of the quantum theory of computation. The model uses a machine called the "quantum homogenizer", which has the ability to approximately realise the transformation of a qubit from any state to any other state and remain approximately unchanged, through overall entirely unitary interactions. We argue that when performing erasure via quantum homogenization there is an additional cost to performing the erasure step of the Szilard's engine, because it is more difficult to reliably produce pure states in a cycle than to produce mixed states. We also discuss the implications of this result for the cost of erasure in more general terms.


title: The Topology of Circular Synthetic Aperture Sonar Targets

abstract: This report presents a connection between the physical acoustics of an object and the topology of the space of echoes resulting from a circular synthetic aperture sonar (CSAS) collection of that object. A simple theoretical model is developed that yields a precise, yet qualitative, description of the space of echoes. This theoretical model is validated in simulation and with experimental data from a laboratory sonar system.


title: Localizations of integer-valued polynomials and of their Picard group

abstract: We prove a necessary and sufficient criterion for the ring of integer-valued polynomials to behave well under localization. Then, we study how the Picard group of $\mathrm{Int}(D)$ and the quotient group $\mathcal{P}(D):=\mathrm{Pic}(\mathrm{Int}(D))/\mathrm{Pic}(D)$ behave in relation to Jaffard, weak Jaffard and pre-Jaffard families; in particular, we show that $\mathcal{P}(D)\simeq\bigoplus\mathcal{P}(T)$ when $T$ ranges in a Jaffard family of $D$, and study when similar isomorphisms hold when $T$ ranges in a pre-Jaffard family. In particular, we show that the previous isomorphism holds when $D$ is an almost Dedekind domain such that the ring integer-valued polynomials behave well under localization and such that the maximal space of $D$ is scattered with respect to the inverse topology.


title: Mechanism Design with Predictions

abstract: Improving algorithms via predictions is a very active research topic in recent years. This paper initiates the systematic study of mechanism design in this model. In a number of well-studied mechanism design settings, we make use of imperfect predictions to design mechanisms that perform much better than traditional mechanisms if the predictions are accurate (consistency), while always retaining worst-case guarantees even with very imprecise predictions (robustness). Furthermore, we refer to the largest prediction error sufficient to give a good performance as the error tolerance of a mechanism, and observe that an intrinsic tradeoff among consistency, robustness and error tolerance is common for mechanism design with predictions.


title: Note on fundamental physics tests from black hole imaging: Comment on "Hunting for extra dimensions in the shadow of Sagittarius A$^*$"

abstract: Several works over the past years have discussed the possibility of testing fundamental physics using Very Long Baseline Interferometry horizon-scale black hole (BH) images, such as the Event Horizon Telescope (EHT) images of M87$^*$ and Sagittarius A$^*$ (Sgr A$^*$), using the size $r_{\rm sh}$ and deviation from circularity $\Delta \mathcal{C}$ of the BH shadow. For the case of the EHT image of Sgr A$^*$, limits on $\Delta \mathcal{C}$ are not available due to the sparse interferometric coverage of the 2017 observations, alongside the short variability timescale of Sgr A$^*$ compared to M87$^*$. Concerning this point, we comment on the results of a recent preprint which purports to have derived new limits on extra dimensions using the deviation from circularity of Sgr A$^*$'s shadow. The latter is quoted to be $\lesssim 10\%$ as with M87$^*$, based on the "similarity" of the two shadows: however, this is an incorrect assumption, invalidating the subsequent results. In the immediate future, the simplest tests of fundamental physics from Sgr A$^*$'s image will therefore mostly have to rely on $r_{\rm sh}$, whereas additional observables such as the photon ring and azimuthal angle lapse should soon be available and allow for novel tests.

categories: astro-ph.GA astro-ph.CO gr-qc hep-ph hep-th


title: KOLD: Korean Offensive Language Dataset

abstract: Recent directions for offensive language detection are hierarchical modeling, identifying the type and the target of offensive language, and interpretability with offensive span annotation and prediction. These improvements are focused on English and do not transfer well to other languages because of cultural and linguistic differences. In this paper, we present the Korean Offensive Language Dataset (KOLD) comprising 40,429 comments, which are annotated hierarchically with the type and the target of offensive language, accompanied by annotations of the corresponding text spans. We collect the comments from NAVER news and YouTube platform and provide the titles of the articles and videos as the context information for the annotation process. We use these annotated comments as training data for Korean BERT and RoBERTa models and find that they are effective at offensiveness detection, target classification, and target span detection while having room for improvement for target group classification and offensive span detection. We discover that the target group distribution differs drastically from the existing English datasets, and observe that providing the context information improves the model performance in offensiveness detection (+0.3), target classification (+1.5), and target group classification (+13.1). We publicly release the dataset and baseline models.


title: Resonance form factors from finite-volume correlation functions with the external field method

abstract: A novel method for the extraction of form factors of unstable particles on the lattice is proposed. The approach is based on the study of two-particle scattering in a static, spatially periodic external field by using a generalization of the L\"uscher method in the presence of such a field. It is shown that the resonance form factor is given by the derivative of the resonance pole position in the complex plane with respect to the coupling constant to the external field. Unlike the standard approach, this proposal does not suffer from problems caused by the presence of the triangle diagram.


title: Tracing Lyman-alpha and Lyman Continuum Escape in Galaxies with Mg II Emission

abstract: Star-forming galaxies are considered the likeliest source of the H I ionizing Lyman Continuum (LyC) photons that reionized the intergalactic medium at high redshifts. However, above z >~ 6, the neutral intergalactic medium prevents direct observations of LyC. Therefore, recent years have seen the development of indirect indicators for LyC that can be calibrated at lower redshifts and applied in the Epoch of Reionization. Emission from Mg II \ly\ly 2796, 2803 doublet has been proposed as a promising LyC proxy. In this paper, we present new Hubble Space Telescope/Cosmic Origins Spectrograph observations for 8 LyC emitter candidates, selected to have strong Mg II emission lines. We securely detect LyC emission in 50% (4/8) galaxies with 2$\sigma$ significance. This high detection rate suggests that strong Mg II emitters might be more likely to leak LyC than similar galaxies without strong Mg II. Using photoionization models, we constrain the escape fraction of Mg II as ~ 15 -- 60%. We confirm that the escape fraction of Mg II correlates tightly with that of Lyman-alpha (LyA), which we interpret as an indication that the escape fraction of both species is controlled by resonant scattering in the same low column density gas. Furthermore, we show that the combination of the Mg II emission and dust attenuation can be used to estimate the escape fraction of LyC statistically. These findings confirm that Mg II emission can be adopted to estimate the escape fraction of LyA and LyC in local star-forming galaxies and may serve as a useful indirect indicator at the Epoch of Reionization.


title: Multiple variability time-scales of the early nitrogen-rich Wolf-Rayet star WR7

abstract: We present the analysis of the optical variability of the early, nitrogen-rich Wolf-Rayet (WR) star WR7. The analysis of multi-sector Transiting Exoplanet Survey Satellite (TESS) light curves and high-resolution spectroscopic observations confirm multi-periodic variability that is modulated on time-scales of years. We detect a dominant period of $2.6433 \pm 0.0005$ d in the TESS sectors 33 and 34 light curves in addition to the previously reported high-frequency features from sector 7. We discuss the plausible mechanisms that may be responsible for such variability in WR7, including pulsations, binarity, co-rotating interacting regions (CIRs) and clumpy winds. Given the lack of strong evidence for the presence of a stellar or compact companion, we suggest that WR7 may pulsate in quasi-coherent modes in addition to wind variability likely caused by CIRs on top of stochastic low-frequency variability. WR7 is certainly a worthy target for future monitoring in both spectroscopy and photometry to sample both the short ($\lesssim 1$ d) and long ($\gtrsim 1000$ d) variability time scales.


title: Continual Barlow Twins: continual self-supervised learning for remote sensing semantic segmentation

abstract: In the field of Earth Observation (EO), Continual Learning (CL) algorithms have been proposed to deal with large datasets by decomposing them into several subsets and processing them incrementally. The majority of these algorithms assume that data is (a) coming from a single source, and (b) fully labeled. Real-world EO datasets are instead characterized by a large heterogeneity (e.g., coming from aerial, satellite, or drone scenarios), and for the most part they are unlabeled, meaning they can be fully exploited only through the emerging Self-Supervised Learning (SSL) paradigm. For these reasons, in this paper we propose a new algorithm for merging SSL and CL for remote sensing applications, that we call Continual Barlow Twins (CBT). It combines the advantages of one of the simplest self-supervision techniques, i.e., Barlow Twins, with the Elastic Weight Consolidation method to avoid catastrophic forgetting. In addition, for the first time we evaluate SSL methods on a highly heterogeneous EO dataset, showing the effectiveness of these strategies on a novel combination of three almost non-overlapping domains datasets (airborne Potsdam dataset, satellite US3D dataset, and drone UAVid dataset), on a crucial downstream task in EO, i.e., semantic segmentation. Encouraging results show the superiority of SSL in this setting, and the effectiveness of creating an incremental effective pretrained feature extractor, based on ResNet50, without the need of relying on the complete availability of all the data, with a valuable saving of time and resources.


title: Active Learning Through a Covering Lens

abstract: Deep active learning aims to reduce the annotation cost for the training of deep models, which is notoriously data-hungry. Until recently, deep active learning methods were ineffectual in the low-budget regime, where only a small number of examples are annotated. The situation has been alleviated by recent advances in representation and self-supervised learning, which impart the geometry of the data representation with rich information about the points. Taking advantage of this progress, we study the problem of subset selection for annotation through a "covering" lens, proposing ProbCover - a new active learning algorithm for the low budget regime, which seeks to maximize Probability Coverage. We then describe a dual way to view the proposed formulation, from which one can derive strategies suitable for the high budget regime of active learning, related to existing methods like Coreset. We conclude with extensive experiments, evaluating ProbCover in the low-budget regime. We show that our principled active learning strategy improves the state-of-the-art in the low-budget regime in several image recognition benchmarks. This method is especially beneficial in the semi-supervised setting, allowing state-of-the-art semi-supervised methods to match the performance of fully supervised methods, while using much fewer labels nonetheless. Code is available at https://github.com/avihu111/TypiClust.


title: Fluke 8588A and Keysight 3458A DMM Sampling Performance

abstract: This paper reports on an evaluation of the Fluke 8588A digital multimeter (DMM) sampling performance and comparison to Keysight 3458A DMM sampling performance. The design of 8588A type DMM shows both similarities and striking differences in design compared to 3458A type DMM. Apart from their specified sampling capabilities, measurements were performed to evaluate frequency response, noise performance, including a 1 / f type noise and a timing jitter induced noise, as well as phase measurement performance. The given comprehensive report is crucial for careful application of DMMs in metrology tasks with optimal utilization of their performance.


title: Revisiting the role of heterophily in graph representation learning: An edge classification perspective

abstract: Graph representation learning aim at integrating node contents with graph structure to learn nodes/graph representations. Nevertheless, it is found that many existing graph learning methods do not work well on data with high heterophily level that accounts for a large proportion of edges between different class labels. Recent efforts to this problem focus on improving the message passing mechanism. However, it remains unclear whether heterophily truly does harm to the performance of graph neural networks (GNNs). The key is to unfold the relationship between a node and its immediate neighbors, e.g., are they heterophilous or homophilious? From this perspective, here we study the role of heterophily in graph representation learning before/after the relationships between connected nodes are disclosed. In particular, we propose an end-to-end framework that both learns the type of edges (i.e., heterophilous/homophilious) and leverage edge type information to improve the expressiveness of graph neural networks. We implement this framework in two different ways. Specifically, to avoid messages passing through heterophilous edges, we can optimize the graph structure to be homophilious by dropping heterophilous edges identified by an edge classifier. Alternatively, it is possible to exploit the information about the presence of heterophilous neighbors for feature learning, so a hybrid message passing approach is devised to aggregate homophilious neighbors and diversify heterophilous neighbors based on edge classification. Extensive experiments demonstrate the remarkable performance improvement of GNNs with the proposed framework on multiple datasets across the full spectrum of homophily level.


title: The Astrophysical Distance Scale: V. A 2% Distance to the Local Group Spiral M33 via the JAGB Method, Tip of the Red Giant Branch, and Leavitt Law

abstract: The J-region asymptotic giant branch (JAGB) method is a new standard candle that is based on the stable intrinsic J-band magnitude of color-selected carbon stars, and has a precision comparable to other primary distance indicators such as Cepheids and the TRGB. We further test the accuracy of the JAGB method in the Local Group Galaxy M33. M33's moderate inclination, low metallicity, and nearby proximity make it an ideal laboratory for tests of systematics in local distance indicators. Using high-precision optical BVI and near-infrared JHK photometry, we explore the application of three independent distance indicators: the JAGB method, the Cepheid Leavitt Law, and the TRGB. We find: $\mu_0$ (TRGB I) = 24.72 +/- 0.02 (stat) +/- 0.07 (sys) mag, $\mu_0$ (TRGB NIR) = 24.72 +/- 0.04 (stat) +/- 0.10 (sys) mag, $\mu_0$ (JAGB) = 24.67 +/- 0.03 (stat) +/- 0.04 (sys) mag, $\mu_0$ (Cepheid) = 24.71 +/- 0.04 (stat) +/- 0.01 (sys) mag. For the first time, we also directly compare a JAGB distance using ground-based and space-based photometry. We measure: $\mu_0$ (JAGB F110W) = 24.71 +/- 0.06 (stat) +/- 0.05 (sys) mag using the (F814-F110W) color combination to effectively isolate the JAGB stars. In this paper, we measure a distance to M33 accurate to 2% and provide further evidence that the JAGB method is a powerful extragalactic distance indicator that can effectively probe a local measurement of the Hubble constant using spaced-based observations. We expect to measure the Hubble constant via the JAGB method in the near future, using observations from JWST.


title: Towards automatic detection of wildlife trade using machine vision models

abstract: Unsustainable trade in wildlife is one of the major threats affecting the global biodiversity crisis. An important part of the trade now occurs on the internet, especially on digital marketplaces and social media. Automated methods to identify trade posts are needed as resources for conservation are limited. Here, we developed machine vision models based on Deep Neural Networks with the aim to automatically identify images of exotic pet animals for sale. A new training dataset representing exotic pet animals advertised for sale on the web was generated for this purpose. We trained 24 neural-net models spanning a combination of five different architectures, three methods of training and two types of datasets. Specifically, model generalisation improved after setting a portion of the training images to represent negative features. Models were evaluated on both within and out of distribution data to test wider model applicability. The top performing models achieved an f-score of over 0.95 on within distribution evaluation and between 0.75 to 0.87 on the two out of distribution datasets. Notably, feature visualisation indicated that models performed well in detecting the surrounding context (e.g. a cage) in which an animal was located, therefore helping to automatically detect images of animals in non-natural environments. The proposed methods can help investigate the online wildlife trade, but can also be adapted to study other types of people-nature interactions from digital platforms. Future studies can use these findings to build robust machine learning models and new data collection pipelines for more taxonomic groups.


title: Sound Automation of Magic Wands (extended version)

abstract: The magic wand $\mathbin{-\!\!*}$ (also called separating implication) is a separation logic connective commonly used to specify properties of partial data structures, for instance during iterative traversals. A footprint of a magic wand formula $A \mathbin{-\!\!*} B$ is a state that, combined with any state in which $A$ holds, yields a state in which $B$ holds. The key challenge of proving a magic wand (also called packaging a wand) is to find such a footprint. Existing package algorithms either have a high annotation overhead or, as we show in this paper, are unsound. We present a formal framework that precisely characterises a wide design space of possible package algorithms applicable to a large class of separation logics. We prove in Isabelle/HOL that our formal framework is sound and complete, and use it to develop a novel package algorithm that offers competitive automation and is sound. Moreover, we present a novel, restricted definition of wands and prove in Isabelle/HOL that it is possible to soundly combine fractions of such wands, which is not the case for arbitrary wands. We have implemented our techniques for the Viper language, and demonstrate that they are effective in practice.


title: CHEX-MATE: Morphological analysis of the sample

abstract: In this work, we performed an analysis of the X-ray morphology of the 118 CHEX-MATE (Cluster HEritage project with XMM-Newton - Mass Assembly and Thermodynamics at the Endpoint of structure formation) galaxy clusters, with the aim to provide a classification of their dynamical state. To investigate the link between the X-ray appearance and the dynamical state, we considered four morphological parameters: the surface brightness concentration, the centroid shift, and the second- and third-order power ratios. These indicators result to be: strongly correlated with each other, powerful in identifying the disturbed and relaxed population, characterised by a unimodal distribution and not strongly influenced by systematic uncertainties. In order to obtain a continuous classification of the CHEX-MATE objects, we combined these four parameters in a single quantity, M, which represents the grade of relaxation of a system. On the basis of the M value, we identified the most extreme systems of the sample, finding 15 very relaxed and 27 very disturbed galaxy clusters. From a comparison with previous analysis on X-ray selected samples, we confirmed that the Sunyaev-Zeldovich (SZ) clusters tend to be more disturbed. Finally, by applying our analysis on a simulated sample, we found a general agreement between the observed and simulated results, with the only exception of the concentration. This latter behaviour, is partially related to the presence of particles with high smoothed-particle hydrodynamics density in the central regions of the simulated clusters due to the action of the idealised isotropic thermal Active Galactic Nuclei (AGN) feedback.


title: HyperLogLogLog: Cardinality Estimation With One Log More

abstract: We present HyperLogLogLog, a practical compression of the HyperLogLog sketch that compresses the sketch from $O(m\log\log n)$ bits down to $m \log_2\log_2\log_2 m + O(m+\log\log n)$ bits for estimating the number of distinct elements~$n$ using $m$~registers. The algorithm works as a drop-in replacement that preserves all estimation properties of the HyperLogLog sketch, it is possible to convert back and forth between the compressed and uncompressed representations, and the compressed sketch maintains mergeability in the compressed domain. The compressed sketch can be updated in amortized constant time, assuming $n$ is sufficiently larger than $m$. We provide a C++ implementation of the sketch, and show by experimental evaluation against well-known implementations by Google and Apache that our implementation provides small sketches while maintaining competitive update and merge times. Concretely, we observed approximately a 40% reduction in the sketch size. Furthermore, we obtain as a corollary a theoretical algorithm that compresses the sketch down to $m\log_2\log_2\log_2\log_2 m+O(m\log\log\log m/\log\log m+\log\log n)$ bits.


title: Approximating CSPs with Outliers

abstract: Constraint satisfaction problems (CSPs) are ubiquitous in theoretical computer science. We study the problem of StrongCSPs, i.e. instances where a large induced sub-instance has a satisfying assignment. More formally, given a CSP instance $\Psi(V, E, [k], \{\Pi_{ij}\}_{(i,j) \in E})$ consisting of a set of vertices $V$, a set of edges $E$, alphabet $[k]$, a constraint $\Pi_{ij} \subset [k] \times [k]$ for each $(i,j) \in E$, the goal of this problem is to compute the largest subset $S \subseteq V$ such that the instance induced on $S$ has an assignment that satisfies all the constraints. In this paper, we study approximation algorithms for Unique Games and related problems under the StrongCSP framework when the underlying constraint graph satisfies mild expansion properties. In particular, we show that given a Strong Unique Games instance whose optimal solution $S^*$ is supported on a regular low threshold rank graph, there exists an algorithm that runs in time exponential in the threshold rank, and recovers a large satisfiable sub-instance whose size is independent on the label set size and maximum degree of the graph. Our algorithm combines the techniques of Barak-Raghavendra-Steurer (FOCS'11), Guruswami-Sinop (FOCS'11) with several new ideas and runs in time exponential in the threshold rank of the optimal set. A key component of our algorithm is a new threshold rank based spectral decomposition, which is used to compute a "large" induced subgraph of "small" threshold rank; our techniques build on the work of Oveis Gharan and Rezaei (SODA'17) and could be of independent interest.


title: Validation of high voltage power supplies for the 1-inch photomultipliers of AugerPrime, the Pierre Auger Observatory upgrade

abstract: In the framework of the upgrade of the Pierre Auger Observatory, a new high voltage module is being employed for the power supply of the 1-inch photomultiplier added to each water-Cherenkov detector of the surface array with the aim of increasing the dynamic range of the measurements. This module is located in a dedicated box near the electronics and comprises a low consumption DC-DC converter hosted inside an aluminum box. All the modules have undergone specific tests to verify their reliability in the extreme environmental conditions of the Argentinian pampa. In this paper, we describe the validation procedure and the facility developed to this aim. The successful results of the tests on the HVPS modules are presented and discussed.


title: A Taxonomy for the Configurations of Quadruply Lensed Quasars

abstract: A simple, novice-friendly scheme for classifying the image configurations of quadruply lensed quasars is proposed. With only six classes, it is intentionally coarse-grained. It focuses on the kitelikeness and circularity of these configurations, or the absence thereof. Other features are deliberately ignored, their importance to professional astronomers notwithstanding. Readers are invited to test drive the scheme on a sample of 12 quadruply lensed quasar systems. The theoretical underpinnings of the scheme are described in a technical appendix.


title: Networked Sensing with AI-Empowered Interference Management: Exploiting Macro-Diversity and Array Gain in Perceptive Mobile Networks

abstract: Sensing will be an important service of future wireless networks to assist innovative applications such as autonomous driving and environment monitoring. Perceptive mobile networks (PMNs) were proposed to add sensing capability to current cellular networks. Different from traditional radar, the cellular structure of PMNs offers multiple perspectives to sense the same target, but the inherent interference between sensing and communication along with the joint processing among distributed sensing nodes (SNs) also cause big challenges for the design of PMNs. In this paper, we first propose a two-stage protocol to tackle the interference between two sub-systems. Specifically, the echoes created by communication signals, i.e., interference for sensing, are first estimated in the clutter estimation (CE) stage and then utilized for interference management in the target sensing (TS) stage. A networked sensing detector is then derived to exploit the perspectives provided by multiple SNs for sensing the same target. The macro-diversity from multiple SNs together with the array gain and the higher angular resolution from multiple receive antennas of each SN are investigated to reveal the benefit of networked sensing. Furthermore, we derive the sufficient condition to guarantee one SN's contribution is positive, based on which a SN selection algorithm is proposed. To reduce the communication workload, we propose a distributed model-driven deep-learning algorithm that utilizes partially-sampled data for CE. Simulation results confirm the benefits of networked sensing and validate the higher efficiency of the proposed CE algorithm than existing methods.


title: ImGCL: Revisiting Graph Contrastive Learning on Imbalanced Node Classification

abstract: Graph contrastive learning (GCL) has attracted a surge of attention due to its superior performance for learning node/graph representations without labels. However, in practice, the underlying class distribution of unlabeled nodes for the given graph is usually imbalanced. This highly imbalanced class distribution inevitably deteriorates the quality of learned node representations in GCL. Indeed, we empirically find that most state-of-the-art GCL methods cannot obtain discriminative representations and exhibit poor performance on imbalanced node classification. Motivated by this observation, we propose a principled GCL framework on Imbalanced node classification (ImGCL), which automatically and adaptively balances the representations learned from GCL without labels. Specifically, we first introduce the online clustering based progressively balanced sampling (PBS) method with theoretical rationale, which balances the training sets based on pseudo-labels obtained from learned representations in GCL. We then develop the node centrality based PBS method to better preserve the intrinsic structure of graphs, by upweighting the important nodes of the given graph. Extensive experiments on multiple imbalanced graph datasets and imbalanced settings demonstrate the effectiveness of our proposed framework, which significantly improves the performance of the recent state-of-the-art GCL methods. Further experimental ablations and analyses show that the ImGCL framework consistently improves the representation quality of nodes in under-represented (tail) classes.


title: Towards Deeper Understanding of Camouflaged Object Detection

abstract: Preys in the wild evolve to be camouflaged to avoid being recognized by predators. In this way, camouflage acts as a key defence mechanism across species that is critical to survival. To detect and segment the whole scope of a camouflaged object, camouflaged object detection (COD) is introduced as a binary segmentation task, with the binary ground truth camouflage map indicating the exact regions of the camouflaged objects. In this paper, we revisit this task and argue that the binary segmentation setting fails to fully understand the concept of camouflage. We find that explicitly modeling the conspicuousness of camouflaged objects against their particular backgrounds can not only lead to a better understanding about camouflage, but also provide guidance to designing more sophisticated camouflage techniques. Furthermore, we observe that it is some specific parts of camouflaged objects that make them detectable by predators. With the above understanding about camouflaged objects, we present the first triple-task learning framework to simultaneously localize, segment, and rank camouflaged objects, indicating the conspicuousness level of camouflage. As no corresponding datasets exist for either the localization model or the ranking model, we generate localization maps with an eye tracker, which are then processed according to the instance level labels to generate our ranking-based training and testing dataset. We also contribute the largest COD testing set to comprehensively analyse performance of the COD models. Experimental results show that our triple-task learning framework achieves new state-of-the-art, leading to a more explainable COD network. Our code, data, and results are available at: \url{https://github.com/JingZhang617/COD-Rank-Localize-and-Segment}.


title: Explicit Kodaira-Spencer map over Shimura Curves

abstract: The goal of this paper is to explicitly compute the Kodaira-Spencer map for a quaternionic Shimura curve over Q and its effect on the metrics of the Hodge bundle. The results are known to experts.


title: Leakage Subspace Precoding and Scheduling for Physical Layer Security in Multi-User XL-MIMO Systems

abstract: We investigate the achievable secrecy sum-rate in a multi-user XL-MIMO system, on which user distances to the base station become comparable to the antenna array dimensions. We show that the consideration of spherical-wavefront propagation inherent to these set-ups is beneficial for physical-layer security, as it provides immunity against eavesdroppers located in similar angular directions that would otherwise prevent secure communication under classical planar-wavefront propagation. A leakage subspace precoding strategy is also proposed for joint secure precoding and user scheduling, which allows to improve the secrecy sum-rate compared to conventional zero-forcing based strategies, under different eavesdropper collusion strategies.


title: CPA-lasing associated with the quasibound states in the continuum in asymmetric non-Hermitian structures

abstract: Non-Hermitian photonic systems with loss and gain attract much attention due to their exceptional abilities in molding the flow of light. Introducing asymmetry to the $\mathcal{PT}$-symmetric system with perfectly balanced loss and gain, we reveal the mechanism of transition from the quasibound state in the continuum (quasi-BIC) to the simultaneous coherent perfect absorption (CPA) and lasing in a layered structure comprising epsilon-near-zero (ENZ) media. Two types of asymmetry (geometric and non-Hermitian) are analyzed with the scattering matrix technique. The effect of the CPA-lasing associated with the quasi-BIC is characterized with the unusual linear dependence of the quality factor on the inverse of asymmetry parameter. Moreover, the counter-intuitive loss-induced-lasing-like behavior is found at the CPA-lasing point under the non-Hermitian asymmetry. The reported features of non-Hermitian structures are perspective for sensing and lasing applications.


title: Asteroid phase curves using sparse Gaia DR2 data and differential dense light curves

abstract: The amount of sparse asteroid photometry being gathered by both space- and ground-based surveys is growing exponentially. This large volume of data poses a computational challenge owing to both the large amount of information to be processed and the new methods needed to combine data from different sources (e.g. obtained by different techniques, in different bands, and having different random and systematic errors). The main goal of this work is to develop an algorithm capable of merging sparse and dense data sets, both relative and differential, in preparation for asteroid observations originating from, for example, Gaia, TESS, ATLAS, LSST, K2, VISTA, and many other sources. We present a novel method to obtain asteroid phase curves by combining sparse photometry and differential ground-based photometry. In the traditional approach, the latter cannot be used for phase curves. Merging those two data types allows for the extraction of phase-curve information for a growing number of objects. Our method is validated for 26 sample asteroids observed by the Gaia mission.


title: Temporal Network Analysis Using Zigzag Persistence

abstract: This work presents a framework for studying temporal networks using zigzag persistence, a tool from the field of Topological Data Analysis (TDA). The resulting approach is general and applicable to a wide variety of time-varying graphs. For example, these graphs may correspond to a system modeled as a network with edges whose weights are functions of time, or they may represent a time series of a complex dynamical system. We use simplicial complexes to represent snapshots of the temporal networks that can then be analyzed using zigzag persistence. We show two applications of our method to dynamic networks: an analysis of commuting trends on multiple temporal scales, e.g., daily and weekly, in the Great Britain transportation network, and the detection of periodic/chaotic transitions due to intermittency in dynamical systems represented by temporal ordinal partition networks. Our findings show that the resulting zero- and one-dimensional zigzag persistence diagrams can detect changes in the networks' shapes that are missed by traditional connectivity and centrality graph statistics.


title: Semiclassics with 't Hooft flux background for QCD with $2$-index quarks

abstract: We study quantum chromodynamics including the two-index symmetric or anti-symmetric quark (QCD(Sym/ASym)) on small $\mathbb{R}^2\times T^2$ with a suitable magnetic flux. We first discuss the 't Hooft anomaly of these theories and claim that discrete chiral symmetry should be spontaneously broken completely to satisfy the anomaly matching condition. The $T^2$ compactification with the magnetic flux preserves the 't Hooft anomaly, and the $2$d effective theory is constrained by the same anomaly of $4$d QCD(Sym/ASym). We demonstrate the spontaneous breakdown of chiral symmetry using the dilute gas of center vortices, which confirms the prediction of the 't Hooft anomaly. We also find that each vacuum maintains the charge conjugation symmetry, and this gives affirmative support for the nonperturbative large-$N$ orientifold equivalence between QCD(Sym/ASym) and $\mathcal{N}=1$ supersymmetric $SU(N)$ Yang-Mills theory.


title: Universal mechanical response of metallic glasses during strain-rate-dependent uniaxial compression

abstract: Experimental data on the compressive strength $\sigma_{\rm max}$ versus strain rate ${\dot \varepsilon}_{\rm eng}$ for metallic glasses undergoing uniaxial compression shows significantly different behavior for different alloys. For some metallic glasses, $\sigma_{\rm max}$ decreases with increasing ${\dot \varepsilon}_{\rm eng}$, for others, $\sigma_{\rm max}$ increases with increasing ${\dot \varepsilon}_{\rm eng}$, and for others $\sigma_{\rm max}$ versus ${\dot \varepsilon}_{\rm eng}$ is nonmonotonic. Using numerical simulations of metallic glasses undergoing uniaxial compression at nonzero strain rate and temperature, we show that they obey a universal relation for the compressive strength versus temperature, which determines their mechanical response. At low ${\dot \varepsilon}_{\rm eng}$, increasing strain rate leads to increases in temperature and decreases in $\sigma^*_{\rm max}$, whereas at high ${\dot \varepsilon}_{\rm eng}$, increasing strain rate leads to decreases in temperature and increases in $\sigma^*_{\rm max}$. This non-monotonic behavior of $\sigma^*_{\rm max}$ versus temperature causes the nonmonotonic behavior of $\sigma^*_{\rm max}$ versus ${\dot \varepsilon}_{\rm eng}$. Variations in the internal dissipation change the characteristic strain rate at which the nonmonotonic behavior occurs. These results are general for a wide range of metallic glasses with different atomic interactions, damping coefficients, and chemical compositions.


title: Finite-size correlation behavior near a critical point: a simple metric for monitoring the state of a neural network

abstract: In this article, a correlation metric $\kappa_C$ is proposed for the inference of the dynamical state of neuronal networks. $\kappa_C$ is computed from the scaling of the correlation length with the size of the observation region, which shows qualitatively different behavior near and away from the critical point of a continuous phase transition. The implementation is first studied on a neuronal network model, where the results of this new metric coincide with those obtained from neuronal avalanche analysis, thus well characterizing the critical state of the network. The approach is further tested with brain optogenetic recordings in behaving mice from a publicly available database. Potential applications and limitations for its use with currently available optical imaging techniques are discussed.


title: The Diminishing Returns of Masked Language Models to Science

abstract: Transformer-based masked language models such as BERT, trained on general corpora, have shown impressive performance on downstream tasks. It has also been demonstrated that the downstream task performance of such models can be improved by pretraining larger models for longer on more data. In this work, we empirically evaluate the extent to which these results extend to tasks in science. We use 14 domain-specific transformer-based models (including ScholarBERT, a new 770M-parameter science-focused masked language model pretrained on up to 225B tokens) to evaluate the impact of training data, model size, pretraining and finetuning time on 12 downstream scientific tasks. Interestingly, we find that increasing model sizes, training data, or compute time does not always lead to significant improvements (i.e., >1% F1), if at all, in scientific information extraction tasks and offered possible explanations for the surprising performance differences.


title: Heterogeneous Graph Neural Network for Personalized Session-Based Recommendation with User-Session Constraints

abstract: The recommendation system provides users with an appropriate limit of recent online large amounts of information. Session-based recommendation, a sub-area of recommender systems, attempts to recommend items by interpreting sessions that consist of sequences of items. Recently, research to include user information in these sessions is progress. However, it is difficult to generate high-quality user representation that includes session representations generated by user. In this paper, we consider various relationships in graph created by sessions through Heterogeneous attention network. Constraints also force user representations to consider the user's preferences presented in the session. It seeks to increase performance through additional optimization in the training process. The proposed model outperformed other methods on various real-world datasets.


title: Cyclic Redundancy Checks and Error Detection

abstract: This study investigates the capabilities of Cyclic Redundancy Checks(CRCs) to detect burst and random errors. Researchers have favored these error detection codes throughout the evolution of computing and have implemented them in communication protocols worldwide. CRCs are integrated into almost every device, in software and hardware. CRCs play a critical role in ensuring that our digital communication systems are efficient and erroneous packets are detected. Because the quantity of data generated and transmitted has increased over the last twenty years, we are more likely to encounter errors. It is important that the tools and methodologies used to ensure the integrity of digital communication systems are evaluated to handle higher frequencies of information. In this study, we explore the need to improve the capabilities of error-detecting codes to handle higher quantities of data by testing the error detection properties of CRC's in a restricted domain.


title: Phonon hydrodynamics in crystalline materials

abstract: Phonon hydrodynamics is an exotic phonon transport phenomenon that challenges the conventional understanding of diffusive phonon scattering in crystalline solids. It features a peculiar collective motion of phonons with various unconventional properties resembling fluid hydrodynamics, facilitating non Fourier heat transport. Hence, it opens up several new avenues to enrich the knowledge and implementations on phonon physics, phonon engineering, and micro and nanoelectronic device technologies. This review aims at covering a comprehensive development as well as the recent advancements in this field via experiments, analytical methods, and state-of-the-art numerical techniques. The evolution of the topic has been realized using both phenomenological and material science perspectives. Further, the discussions related to the factors that influence such peculiar motion, illustrate the capability of phonon hydrodynamics to be implemented in various applications. A plethora of new ideas can emerge from the topic considering both the physics and the material science axes, navigating towards a promising outlook in the research areas around phonon transport in non-metallic solids.


title: Spatial Attention-based Implicit Neural Representation for Arbitrary Reduction of MRI Slice Spacing

abstract: Magnetic resonance (MR) images collected in 2D clinical protocols typically have large inter-slice spacing, resulting in high in-plane resolution and reduced through-plane resolution. Super-resolution technique can enhance the through-plane resolution of MR images to facilitate downstream visualization and computer-aided diagnosis. However, most existing works train the super-resolution network at a fixed scaling factor, which is not friendly to clinical scenes of varying inter-slice spacing in MR scanning. Inspired by the recent progress in implicit neural representation, we propose a Spatial Attention-based Implicit Neural Representation (SA-INR) network for arbitrary reduction of MR inter-slice spacing. The SA-INR aims to represent an MR image as a continuous implicit function of 3D coordinates. In this way, the SA-INR can reconstruct the MR image with arbitrary inter-slice spacing by continuously sampling the coordinates in 3D space. In particular, a local-aware spatial attention operation is introduced to model nearby voxels and their affinity more accurately in a larger receptive field. Meanwhile, to improve the computational efficiency, a gradient-guided gating mask is proposed for applying the local-aware spatial attention to selected areas only. We evaluate our method on the public HCP-1200 dataset and the clinical knee MR dataset to demonstrate its superiority over other existing methods.


title: Analytical growth functions for cosmic structures in a $\Lambda$CDM Universe

abstract: The cosmological fluid equations describe the early gravitational dynamics of cold dark matter (CDM), exposed to a uniform component of dark energy, the cosmological constant $\Lambda$. Perturbative predictions for the fluid equations typically assume that the impact of $\Lambda$ on CDM can be encapsulated by a refined growing mode $D$ of linear density fluctuations. Here we solve, to arbitrary high perturbative orders, the nonlinear fluid equations with an {\it Ansatz} for the fluid variables in increasing powers of $D$. We show that $\Lambda$ begins to populate the solutions starting at the fifth order in this strict $D$-expansion. By applying suitable resummation techniques, we recast these solutions to a standard perturbative series where not $D$, but essentially the initial gravitational potential serves as the bookkeeping parameter within the expansion. Then, by using the refined growth functions at second and third order in standard perturbation theory, we determine the matter power spectrum to one-loop accuracy as well as the leading-order contribution to the matter bispectrum. We find that employing our refined growth functions impacts the total power- and bispectra at a precision that is below one percent at late times. However, for the power spectrum, we find a characteristic scale-dependent suppression that is fairly similar to what is observed in massive neutrino cosmologies. Therefore, we recommend employing our refined growth functions in order to reduce theoretical uncertainties for analysing data in related pipelines.


title: Interference of the scattered vector light fields from two optically levitated nanoparticles

abstract: We experimentally study the interference of dipole scattered light from two optically levitated nanoparticles in vacuum, which present an environment free of particle-substrate interactions. We illuminate the two trapped nanoparticles with a linearly polarized probe beam orthogonal to the propagation of the trapping laser beams. The scattered light from the nanoparticles are collected by a high numerical aperture (NA) objective lens and imaged. The interference fringes from the scattered vector light for the different dipole orientations in image and Fourier space are observed. Especially, the interference fringes of two scattered light fields with polarization vortex show the {\pi} shift of the interference fringes between inside and outside the center region of the two nanoparticles in the image space. As far as we know, this is the first experimental observation of the interference of scattered vector light fields from two dipoles in free space. This work also provides a simple and direct method to determine the spatial scales between optically levitated nanoparticles by the interference fringes.


title: Channel-specific core-valence projectors for determining partial Auger decay widths

abstract: Auger decay is a relaxation process of core-vacant states in atoms and molecules, in which one valence electron fills the core vacancy while a second one is emitted. These states pose a challenge to electronic-structure theory, because they are embedded in the ionization continuum. Recently, we showed that molecular Auger decay can be described using complex-variable coupled-cluster (CC) methods and that partial widths and branching ratios can be computed based on a decomposition of the CC energy. Here, we introduce channel-specific core-valence projectors, dubbed Auger channel projectors, as a more general technique to evaluate partial widths from complex-variable treatments. We apply this new method to core-ionized states of neon, water, ammonia, and methane using CC singles and doubles (CCSD), equation-of-motion ionization potential CCSD, and configuration interaction singles (CIS) wave functions. Even though a single CIS calculation can never describe all Auger decay channels at once, we show that a combination of CIS calculations based on different reference states is able to recover partial and total decay widths from CC calculations to an excellent degree.


title: Inverse problems for mean field games

abstract: The theory of mean field games studies the limiting behaviors of large systems where the agents interact with each other in a certain symmetric way. The running and terminal costs are critical for the agents to decide the strategies. However, in practice they are often partially known or totally unknown for the agents, while the total cost is known at the end of the game. To address this challenging issue, we propose and study several inverse problems for mean field games. When the Lagrangian is a kinetic energy, we first establish unique identifiability results, showing that one can recover either the running cost or the terminal cost from knowledge of the total cost. If the running cost is limited to the time-independent class, we can further prove that one can simultaneously recover both the running and the terminal costs. Finally, we extend the results to the setup with general Lagrangians.


title: Lambert series of logarithm, the derivative of Deninger's function $R(z)$ and a mean value theorem for $\zeta\left(\frac{1}{2}-it\right)\zeta'\left(\frac{1}{2}+it\right)$

abstract: An explicit transformation for the series $\sum\limits_{n=1}^{\infty}\displaystyle\frac{\log(n)}{e^{ny}-1},$ Re$(y)>0$, which takes $y$ to $1/y$, is obtained for the first time. This series transforms into a series containing $\psi_1(z)$, the derivative of Deninger's function $R(z)$. In the course of obtaining the transformation, new important properties of $\psi_1(z)$ are derived, as is a new representation for the second derivative of the two-variable Mittag-Leffler function $E_{2, b}(z)$ evaluated at $b=1$. Our transformation readily gives the complete asymptotic expansion of $\sum\limits_{n=1}^{\infty}\displaystyle\frac{\log(n)}{e^{ny}-1}$ as $y\to0$. An application of the latter is that it gives the asymptotic expansion of $ \displaystyle\int_{0}^{\infty}\zeta\left(\frac{1}{2}-it\right)\zeta'\left(\frac{1}{2}+it\right)e^{-\delta t}\, dt$ as $\delta\to0$.


title: A quantitative proof of the H\"older regularity of stable solutions to semilinear elliptic equations

abstract: This article provides quantitative proofs of the results obtained in [Cabre, Figalli, Ros-Oton, and Serra, Acta Math. 224 (2020)], a work that proved the H\"older regularity of stable solutions to semilinear elliptic equations in the optimal range of dimensions $n \leq 9$. Some results in that paper were established through compactness proofs, arguing by contradiction -- the boundary regularity arguments being specially delicate. Here we provide proofs that do not rely on compactness and, in particular, allow to quantify the H\"older regularity exponent. For this, we establish two new estimates which control the solution in $L^1$ by the $L^1$ norm of its radial derivative. For expository purposes, we provide self-contained proofs of the full H\"older regularity results. They only involve basic Analysis tools.


title: Gaussian Persistence Curves

abstract: Topological data analysis (TDA) is a rising field in the intersection of mathematics, statistics, and computer science/data science. The cornerstone of TDA is persistent homology, which produces a summary of topological information called a persistence diagram. To utilize machine and deep learning methods on persistence diagrams, These diagrams are further summarized by transforming them into functions. In this paper we investigate the stability and injectivity of a class of smooth, one-dimensional functional summaries called Gaussian persistence curves.


title: Unified Formulation of Phase Space Mapping Approaches for Nonadiabatic Quantum Dynamics

abstract: Nonadiabatic dynamical processes are one of the most important quantum mechanical phenomena in chemical, materials, biological, and environmental molecular systems, where the coupling between different electronic states is either inherent in the molecular structure or induced by the (intense) external field. The curse of dimensionality indicates the intractable exponential scaling of calculation effort with system size and restricts the implementation of numerically exact approaches for realistic large systems. The phase space formulation of quantum mechanics offers an important theoretical framework for constructing practical approximate trajectory-based methods for quantum dynamics. This Account reviews our recent progress in phase space mapping theory: a unified framework for constructing the mapping Hamiltonian on phase space for coupled F-state systems where the renowned Meyer-Miller Hamiltonian model is a special case, a general phase space formulation of quantum mechanics for nonadiabatic systems where the electronic degrees of freedom are mapped onto constraint space and the nuclear degrees of freedom are mapped onto infinite space, and an isomorphism between the mapping phase space approach for nonadiabatic systems and that for nonequilibrium electron transport processes.


title: Turbulent Rayleigh-B\'enard convection with bubbles attached to the plate

abstract: We numerically investigate turbulent Rayleigh-B\'enard convection with gas bubbles attached to the hot plate, mimicking a core feature in electrolysis, catalysis, or boiling. The existence of bubbles on the plate reduces the global heat transfer due to the much lower thermal conductivity of gases as compared to liquids and changes the structure of the boundary layers. The numerical simulations are performed in 3D at Prandtl number Pr=4.38 (water) and Rayleigh number $10^7\le Ra \le10^8$. For simplicity, we assume the bubbles to be equally-sized and having pinned contact lines. We vary the total gas-covered area fraction $0.18 \le S_0 \le 0.62$, the relative bubble height $0.02\le h/H \le0.05$ (where $H$ is the height of the Rayleigh-B\'enard cell), the bubble number $40 \le n \le 144$, and their spatial distribution. In all cases, asymmetric temperature profiles are observed, which we quantitatively explain based on the heat flux conservation at each horizontal section. We further propose the idea of using an equivalent single-phase setup to mimic the system with attached bubbles. Based on this equivalence, we can calculate the heat transfer. Without introducing any free parameter, the predictions for the Nusselt number, the upper and lower thermal boundary layer thicknesses, and the mean centre temperature well agree with the numerical results. Finally, our predictions also work for the cases with much larger Pr (e.g. $400$), which indicates that our results can also be applied to predict the mass transfer in water electrolysis with bubbles attached to the electrode surface or in catalysis.


title: Parker Solar Probe observations of near-$f_{\rm ce}$ harmonics emissions in the near-Sun solar wind and their dependence on the magnetic field direction

abstract: Wave emissions at frequencies near electron gyrofrequency harmonics are observed at small heliocentric distances below about 40 solar radii and are known to occur in regions with quiescent magnetic fields. We show the close connection of these waves with the large-scale properties of the magnetic field. Near electron gyrofrequency harmonics emissions occur only when the ambient magnetic field points to a narrow range of directions bounded by polar and azimuthal angular ranges in the RTN coordinate system of correspondingly $80^{\circ} \lesssim \theta_B \lesssim 100^{\circ}$ and $10^{\circ} \lesssim \phi_B \lesssim 30^{\circ}$. We show that the amplitudes of wave emissions are highest when both angles are close to the center of their respective angular interval favorable to wave emissions. The intensity of wave emissions correlates with the magnetic field angular changes at both large and small time scales. Wave emissions intervals correlate with intervals of decreases in the amplitudes of broadband magnetic fluctuations at low frequencies of 10Hz-100Hz. We discuss possible generation mechanisms of the waves.


title: POLTER: Policy Trajectory Ensemble Regularization for Unsupervised Reinforcement Learning

abstract: The goal of Unsupervised Reinforcement Learning (URL) is to find a reward-agnostic prior policy on a task domain, such that the sample-efficiency on supervised downstream tasks is improved. Although agents initialized with such a prior policy can achieve a significantly higher reward with fewer samples when finetuned on the downstream task, it is still an open question how an optimal pretrained prior policy can be achieved in practice. In this work, we present POLTER (Policy Trajectory Ensemble Regularization) - a general method to regularize the pretraining that can be applied to any URL algorithm and is especially useful on data- and knowledge-based URL algorithms. It utilizes an ensemble of policies that are discovered during pretraining and moves the policy of the URL algorithm closer to its optimal prior. Our method is based on a theoretical framework, and we analyze its practical effects on a white-box benchmark, allowing us to study POLTER with full control. In our main experiments, we evaluate POLTER on the Unsupervised Reinforcement Learning Benchmark (URLB), which consists of 12 tasks in 3 domains. We demonstrate the generality of our approach by improving the performance of a diverse set of data- and knowledge-based URL algorithms by 19% on average and up to 40% in the best case. Under a fair comparison with tuned baselines and tuned POLTER, we establish a new state-of-the-art for model-free methods on the URLB.


title: On complexity constants of linear and quadratic models for derivative-free trust-region algorithms

abstract: Complexity analysis has become an important tool in the convergence analysis of optimization algorithms. For derivative-free optimization algorithms, it is not different. Interestingly, several constants that appear when developing complexity results hide the dimensions of the problem. This work organizes several results in literature about bounds that appear in derivative-free trust-region algorithms based on linear and quadratic models. All the constants are given explicitly by the quality of the sample set, dimension of the problem and number of sample points. We extend some results to allow "inexact" interpolation sets. We also provide a clearer proof than those already existing in literature for the underdetermined case.


title: Towards Size-Independent Generalization Bounds for Deep Operator Nets

abstract: In recent times machine learning methods have made significant advances in becoming a useful tool for analyzing physical systems. A particularly active area in this theme has been "physics-informed machine learning" which focuses on using neural nets for numerically solving differential equations. In this work, we aim to advance the theory of measuring out-of-sample error while training DeepONets -- which is among the most versatile ways to solve PDE systems in one-shot. Firstly, for a class of DeepONets, we prove a bound on their Rademacher complexity which does not explicitly scale with the width of the nets involved. Secondly, we use this to show how the Huber loss can be chosen so that for these DeepONet classes generalization error bounds can be obtained that have no explicit dependence on the size of the nets. We note that our theoretical results apply to any PDE being targeted to be solved by DeepONets.


title: Persistent Weak Interferer Detection in WiFi Networks: A Deep Learning Based Approach

abstract: In this paper, we explore the use of multiple deep learning techniques to detect weak interference in WiFi networks. Given the low interference signal levels involved, this scenario tends to be difficult to detect. However, even signal-to-interference ratios exceeding 20 dB can cause significant throughput degradation and latency. Furthermore, the resultant packet error rate may not be enough to force the WiFi network to fallback to a more robust physical layer configuration. Deep learning applied directly to sampled radio frequency data has the potential to perform detection much cheaper than successive interference cancellation, which is important for real-time persistent network monitoring. The techniques explored in this work include maximum softmax probability, distance metric learning, variational autoencoder, and autoreggressive log-likelihood. We also introduce the notion of generalized outlier exposure for these techniques, and show its importance in detecting weak interference. Our results indicate that with outlier exposure, maximum softmax probability, distance metric learning, and autoreggresive log-likelihood are capable of reliably detecting interference more than 20 dB below the 802.11 specified minimum sensitivity levels. We believe this presents a unique software solution to real-time, persistent network monitoring.


title: Chaotic Regularization and Heavy-Tailed Limits for Deterministic Gradient Descent

abstract: Recent studies have shown that gradient descent (GD) can achieve improved generalization when its dynamics exhibits a chaotic behavior. However, to obtain the desired effect, the step-size should be chosen sufficiently large, a task which is problem dependent and can be difficult in practice. In this study, we incorporate a chaotic component to GD in a controlled manner, and introduce multiscale perturbed GD (MPGD), a novel optimization framework where the GD recursion is augmented with chaotic perturbations that evolve via an independent dynamical system. We analyze MPGD from three different angles: (i) By building up on recent advances in rough paths theory, we show that, under appropriate assumptions, as the step-size decreases, the MPGD recursion converges weakly to a stochastic differential equation (SDE) driven by a heavy-tailed L\'evy-stable process. (ii) By making connections to recently developed generalization bounds for heavy-tailed processes, we derive a generalization bound for the limiting SDE and relate the worst-case generalization error over the trajectories of the process to the parameters of MPGD. (iii) We analyze the implicit regularization effect brought by the dynamical regularization and show that, in the weak perturbation regime, MPGD introduces terms that penalize the Hessian of the loss function. Empirical results are provided to demonstrate the advantages of MPGD.


title: ASFAP Working Group Summary of Societal Engagements

abstract: The second African Conference of Fundamental and Applied Physics (ACP2021) took place in the week of March 7-11, 2022. During this conference, all the African Strategy for Fundamental and Applied Physics (ASFAP) working groups had been reserved specials sessions to discuss their scope, activities (past & current) and topics of common interests. The aim of this report is to summarize the discussion of the ASFAP working groups in societal engagements, namely Physics Education, Community Engagement, Young Physicists and Women in Physics. The recommendations for future activities in societal engagements are summarised in the report as well.


title: Competitive Equilibrium with Chores: Combinatorial Algorithm and Hardness

abstract: We study the computational complexity of finding a competitive equilibrium (CE) with chores when agents have linear preferences. CE is one of the most preferred mechanisms for allocating a set of items among agents. CE with equal incomes (CEEI), Fisher, and Arrow-Debreu (exchange) are the fundamental economic models to study allocation problems, where CEEI is a special case of Fisher and Fisher is a special case of exchange. When the items are goods (giving utility), the CE set is convex even in the exchange model, facilitating several combinatorial polynomial-time algorithms (starting with the seminal work of Devanur, Papadimitriou, Saberi and Vazirani) for all of these models. In sharp contrast, when the items are chores (giving disutility), the CE set is known to be non-convex and disconnected even in the CEEI model. Further, no combinatorial algorithms or hardness results are known for these models. In this paper, we give two main results for CE with chores: 1) A combinatorial algorithm to compute a $(1-\varepsilon)$-approximate CEEI in time $\tilde{\mathcal{O}}(n^4m^2 / \varepsilon^2)$, where $n$ is the number of agents and $m$ is the number of chores. 2) PPAD-hardness of finding a $(1-1/\mathit{poly}(n))$-approximate CE in the exchange model under a sufficient condition. To the best of our knowledge, these results show the first separation between the CEEI and exchange models when agents have linear preferences, assuming PPAD $\neq $ P. Finally, we show that our new insight implies a straightforward proof of the existence of an allocation that is both envy-free up to one chore (EF1) and Pareto optimal (PO) in the discrete setting when agents have factored bivalued preferences.


title: Optimization of the Steklov-Lam\'e eigenvalues with respect to the domain

abstract: This work deals with theoretical and numerical aspects related to the behavior of the Steklov-Lam\'e eigenvalues on variable domains. After establishing the eigenstructure for the disk, we prove that for a certain class of Lam\'e parameters, the disk maximizes the first non-zero eigenvalue under area or perimeter constraints in dimension two. Upper bounds for these eigenvalues can be found in terms of the scalar Steklov eigenvalues, involving various geometric quantities. We prove that the Steklov-Lam\'e eigenvalues are upper semicontinuous for the complementary Hausdorff convergence of $\varepsilon$-cone domains and, as a consequence, there exist shapes maximizing these eigenvalues under convexity and volume constraints. A numerical method based on fundamental solutions is proposed for computing the Steklov-Lam\'e eigenvalues, allowing to study numerically the shapes maximizing the first ten non-zero eigenvalues.


title: Graph-Based Methods for Discrete Choice

abstract: Choices made by individuals have widespread impacts--for instance, people choose between political candidates to vote for, between social media posts to share, and between brands to purchase--moreover, data on these choices are increasingly abundant. Discrete choice models are a key tool for learning individual preferences from such data. Additionally, social factors like conformity and contagion influence individual choice. Traditional methods for incorporating these factors into choice models do not account for the entire social network and require hand-crafted features. To overcome these limitations, we use graph learning to study choice in networked contexts. We identify three ways in which graph learning techniques can be used for discrete choice: learning chooser representations, regularizing choice model parameters, and directly constructing predictions from a network. We design methods in each category and test them on real-world choice datasets, including county-level 2016 US election results and Android app installation and usage data. We show that incorporating social network structure can improve the predictions of the standard econometric choice model, the multinomial logit. We provide evidence that app installations are influenced by social context, but we find no such effect on app usage among the same participants, which instead is habit-driven. In the election data, we highlight the additional insights a discrete choice framework provides over classification or regression, the typical approaches. On synthetic data, we demonstrate the sample complexity benefit of using social information in choice models.


title: Statistical inference as Green's functions

abstract: Statistical inference from data is a foundational task in science. Recently, it has received growing attention for its central role in inference systems of primary interest in data sciences and machine learning. However, the understanding of statistical inference is not that solid while remains as a matter of subjective belief or as the routine procedures once claimed objective. We here show that there is an objective description of statistical inference for long sequence of exchangeable binary random variables, the prototypal stochasticity in theories and applications. A linear differential equation is derived from the identity known as de Finetti's representation theorem, and it turns out that statistical inference is given by the Green's functions. Our finding is an answer to the normative issue of science that pursues the objectivity based on data, and its significance will be far-reaching in most pure and applied fields.


title: Rethinking Task-Incremental Learning Baselines

abstract: It is common to have continuous streams of new data that need to be introduced in the system in real-world applications. The model needs to learn newly added capabilities (future tasks) while retaining the old knowledge (past tasks). Incremental learning has recently become increasingly appealing for this problem. Task-incremental learning is a kind of incremental learning where task identity of newly included task (a set of classes) remains known during inference. A common goal of task-incremental methods is to design a network that can operate on minimal size, maintaining decent performance. To manage the stability-plasticity dilemma, different methods utilize replay memory of past tasks, specialized hardware, regularization monitoring etc. However, these methods are still less memory efficient in terms of architecture growth or input data costs. In this study, we present a simple yet effective adjustment network (SAN) for task incremental learning that achieves near state-of-the-art performance while using minimal architectural size without using memory instances compared to previous state-of-the-art approaches. We investigate this approach on both 3D point cloud object (ModelNet40) and 2D image (CIFAR10, CIFAR100, MiniImageNet, MNIST, PermutedMNIST, notMNIST, SVHN, and FashionMNIST) recognition tasks and establish a strong baseline result for a fair comparison with existing methods. On both 2D and 3D domains, we also observe that SAN is primarily unaffected by different task orders in a task-incremental setting.


title: Dual-Numbers Reverse AD, Efficiently

abstract: Where dual-numbers forward-mode automatic differentiation (AD) pairs each scalar value with its tangent derivative, dual-numbers /reverse-mode/ AD attempts to achieve reverse AD using a similarly simple idea: by pairing each scalar value with a backpropagator function. Its correctness and efficiency on higher-order input languages have been analysed by Brunel, Mazza and Pagani, but this analysis was on a custom operational semantics for which it is unclear whether it can be implemented efficiently. We take inspiration from their use of /linear factoring/ to optimise dual-numbers reverse-mode AD to an algorithm that has the correct complexity and enjoys an efficient implementation in a standard functional language with resource-linear types, such as Haskell. Aside from the linear factoring ingredient, our optimisation steps consist of well-known ideas from the functional programming community. Furthermore, we observe a connection with classical imperative taping-based reverse AD, as well as Kmett's 'ad' Haskell library, recently analysed by Krawiec et al. We demonstrate the practical use of our technique by providing a performant implementation that differentiates most of Haskell98.


title: Optimizing transient gas network control for challenging real-world instances using MIP-based heuristics

abstract: Optimizing the transient control of gas networks is a highly challenging task. The corresponding model incorporates the combinatorial complexity of determining the settings for the many active elements as well as the non-linear and non-convex nature of the physical and technical principles of gas transport. In this paper, we present the latest improvements of our ongoing work to solve this problem for real-world, large-scale problem instances: By adjusting our mixed-integer non-linear programming model regarding the gas compression capabilities in the network, we reflect the technical limits of the underlying units more accurately while maintaining a similar overall model size. In addition, we introduce a new algorithmic approach that is based on splitting the complexity of the problem by first finding assignments for discrete variables and then determining the continuous variables as locally optimal solution of the corresponding non-linear program. For the first task, we design multiple different heuristics based on concepts for general time-expanded optimization problems that find solutions by solving a sequence of sub-problems defined on reduced time horizons. To demonstrate the competitiveness of our approach, we test our algorithm on particularly challenging historic demand scenarios. The results show that high-quality solutions are obtained reliably within short solving times, making the algorithm well-suited to be applied at the core of time-critical industrial applications.


title: Use of Transformer-Based Models for Word-Level Transliteration of the Book of the Dean of Lismore

abstract: The Book of the Dean of Lismore (BDL) is a 16th-century Scottish Gaelic manuscript written in a non-standard orthography. In this work, we outline the problem of transliterating the text of the BDL into a standardised orthography, and perform exploratory experiments using Transformer-based models for this task. In particular, we focus on the task of word-level transliteration, and achieve a character-level BLEU score of 54.15 with our best model, a BART architecture pre-trained on the text of Scottish Gaelic Wikipedia and then fine-tuned on around 2,000 word-level parallel examples. Our initial experiments give promising results, but we highlight the shortcomings of our model, and discuss directions for future work.


title: Fractional-Order Partial Cancellation of Integer-Order Poles and Zeros

abstract: The key idea of this contribution is the partial compensation of non-minimum phase zeros or unstable poles. Therefore the integer-order zero/pole is split into a product of fractional-order pseudo zeros/poles. The amplitude and phase response of these fractional-order terms is derived to include these compensators into the loop-shaping design. Such compensators can be generalized to conjugate complex zeros/poles, and also implicit fractional-order terms can be applied. In the case of the non-minimum phase zero, its compensation leads to a higher phase margin and a steeper open-loop amplitude response around the crossover frequency resulting in a reduced undershooting in the step-response, as illustrated in the numerical example.