title: Simple supercuspidal representations of $\mathrm{GSp}_4$ and test vectors

abstract: We consider simple supercuspidal representations of $\mathrm{GSp}_4$ over a $p$-adic field and show that they have conductor exponent 5. We study (paramodular) newvectors and minimal vectors in these representations, obtain formulas for their matrix coefficients, and compute key local integrals involving these as test vectors. Our local computations lead to several explicit global period formulas involving automorphic representations $\pi$ of $\mathrm{GSp}_4(\mathbb{A})$ whose local components (at ramified primes) are simple supercuspidal representations, and where the global test vectors are chosen to be (diagonal shifts of) newforms or automorphic forms of minimal type. As an analytic application of our work to the sup-norm problem, we show the existence of paramodular newforms on $\mathrm{GSp}_4(\mathbb{A})$ of conductor $p^5$ that take ``large values" on a fixed compact set as $p\rightarrow \infty$.


title: Quantitative recurrence properties for piecewise expanding maps on $ [0,1]^d $

abstract: Let $ T\colon[0,1]^d\to [0,1]^d $ be a piecewise expanding map with an absolutely continuous invariant measure $ \mu $. Let $ \{H_n\} $ be a sequence of hyperrectangles or hyperboloids centered at the origin. Denote by $ \mathcal R(\{H_n\}) $ the set of points $ \mathbf x $ such that $ T^n\mathbf x\in \mathbf x+H_n $ for infinitely many $ n\in\mathbb N $, where $ \mathbf x+H_n $ is the translation of $ H_n $. We prove that if $ \mu $ is exponential mixing and the density of $ \mu $ is sufficiently regular, then the $\mu$-measure of $ \mathcal R(\{H_n\}) $ is zero or full according to the sum of the volumes of $ H_n $ converges or not. In the case that $ T $ is a matrix transformation, our results extend a previous work of Kirsebom, Kunde, and Persson [to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci., 2023] in two aspects: by allowing the matrix to be non-integer and by allowing the `target' sets $ H_n $ to be hyperrectangles or hyperboloids. We also obtain a dimension result when $ T $ is a diagonal matrix transformation.


title: Local vs. Cooperative: Unraveling Glass Transition Mechanisms with SEER

abstract: Which phenomenon slows down the dynamics in super-cooled liquids and turns them into glasses is a long-standing question of condensed-matter. Most popular theories posit that as the temperature decreases, many events must occur in a coordinated fashion on a growing length scale for relaxation to occur. Instead, other approaches consider that local barriers associated with the elementary rearrangement of a few particles or `excitations' govern the dynamics. To resolve this conundrum, our central result is to introduce an algorithm, SEER, which can systematically extract hundreds of excitations and their energy from any given configuration. We also provide a novel measurement of the activation energy, characterizing the liquid dynamics, based on fast quenching and reheating. We use these two methods in a popular liquid model of polydisperse particles. Such polydisperse models are known to capture the hallmarks of the glass transition and can be equilibrated efficiently up to millisecond time scales. The analysis reveals that cooperative effects do not control the fragility of such liquids: the change of energy of local barriers determines the change of activation energy. More generally, these methods can now be used to measure the degree of cooperativity of any liquid model.


title: Binomial Line Cox Processes: Statistical Characterization and Applications in Wireless Network Analysis

abstract: The current analysis of wireless networks whose transceivers are confined to streets is largely based on Poissonian models, such as Poisson line processes and Poisson line Cox processes. We demonstrate important scenarios where a model with a finite and deterministic number of streets, termed binomial line process, is more accurate. We characterize the statistical properties of the BLP and the corresponding binomial line Cox process and apply them to analyze the performance of a network whose access points are deployed along the streets of a city. Such a deployment scenario will be typical for 5G and future wireless networks. In order to obtain a fine-grained insight into the network performance, we derive the meta distribution of the signal-to-interference and noise ratio. Accordingly, we investigate the mean local delay in transmission and the density of successful transmission. These metrics, respectively, characterize the latency and coverage performance of the network and are key performance indicators of next-generation wireless systems.


title: Online Planning of Uncertain MDPs under Temporal Tasks and Safe-Return Constraints

abstract: This paper addresses the online motion planning problem of mobile robots under complex high-level tasks. The robot motion is modeled as an uncertain Markov Decision Process (MDP) due to limited initial knowledge, while the task is specified as Linear Temporal Logic (LTL) formulas. The proposed framework enables the robot to explore and update the system model in a Bayesian way, while simultaneously optimizing the asymptotic costs of satisfying the complex temporal task. Theoretical guarantees are provided for the synthesized outgoing policy and safety policy. More importantly, instead of greedy exploration under the classic ergodicity assumption, a safe-return requirement is enforced such that the robot can always return to home states with a high probability. The overall methods are validated by numerical simulations.


title: Spin-controlled photonics via temporal anisotropy

abstract: Temporal metamaterials, based on time-varying constitutive properties, offer new exciting possibilities for advanced field manipulations. In this study, we explore the capabilities of anisotropic temporal slabs, which rely on abrupt changes in time from isotropic to anisotropic response (and vice versa). Our findings show that these platforms can effectively manipulate the wave-spin dimension, allowing for a range of intriguing spin-controlled photonic operations. We demonstrate these capabilities through examples of spin-dependent analog computing and spin-orbit interaction effects for vortex generation. These results provide new insights into the field of temporal metamaterials, and suggest potential applications in communications, optical processing and quantum technologies.


title: Industrial and Medical Anomaly Detection Through Cycle-Consistent Adversarial Networks

abstract: In this study, a new Anomaly Detection (AD) approach for industrial and medical images is proposed. This method leverages the theoretical strengths of unsupervised learning and the data availability of both normal and abnormal classes. Indeed, the AD is often formulated as an unsupervised task, implying only normal images during training. These normal images are devoted to be reconstructed, through an autoencoder architecture for instance. However, the information contained in abnormal data, when available, is also valuable for this reconstruction. The model would be able to identify its weaknesses by better learning how to transform an abnormal (respectively normal) image into a normal (respectively abnormal) one, helping the entire model to learn better than a single normal to normal reconstruction. To address this challenge, the proposed method uses Cycle-Generative Adversarial Networks (Cycle-GAN) for (ab)normal-to-normal translation. After an input image has been reconstructed by the normal generator, an anomaly score quantifies the differences between the input and its reconstruction. Based on a threshold set to satisfy a business quality constraint, the input image is then flagged as normal or not. The proposed method is evaluated on industrial and medical datasets. The results demonstrate accurate performance with a zero false negative constraint compared to state-of-the-art methods. The code is available at https://github.com/ValDelch/CycleGANS-AnomalyDetection.


title: TTN: A Domain-Shift Aware Batch Normalization in Test-Time Adaptation

abstract: This paper proposes a novel batch normalization strategy for test-time adaptation. Recent test-time adaptation methods heavily rely on the modified batch normalization, i.e., transductive batch normalization (TBN), which calculates the mean and the variance from the current test batch rather than using the running mean and variance obtained from the source data, i.e., conventional batch normalization (CBN). Adopting TBN that employs test batch statistics mitigates the performance degradation caused by the domain shift. However, re-estimating normalization statistics using test data depends on impractical assumptions that a test batch should be large enough and be drawn from i.i.d. stream, and we observed that the previous methods with TBN show critical performance drop without the assumptions. In this paper, we identify that CBN and TBN are in a trade-off relationship and present a new test-time normalization (TTN) method that interpolates the statistics by adjusting the importance between CBN and TBN according to the domain-shift sensitivity of each BN layer. Our proposed TTN improves model robustness to shifted domains across a wide range of batch sizes and in various realistic evaluation scenarios. TTN is widely applicable to other test-time adaptation methods that rely on updating model parameters via backpropagation. We demonstrate that adopting TTN further improves their performance and achieves state-of-the-art performance in various standard benchmarks.


title: Port-Hamiltonian descriptor systems are relative generically controllable and stabilizable

abstract: The present work is a successor of [Ilchmann, Kirchhoff 2022] on generic controllability and of [Ilchmann, Kirchhoff 2023] on relative generic controllability of linear differential-algebraic equations. We extend the result from general, unstructured differential-algebraic equations to differential-algebraic equations of port-Hamiltonian type. We derive new results on relative genericity. These findings are the basis for characterizing relative generic controllability of port-Hamiltonian systems in terms of dimensions. A similar result is proved for relative generic stabilizability.


title: A note on subsets of positive reach

abstract: We provide new structural results on sets of positive reach in Euclidean spaces and Riemannian manifolds.


title: Time-varying correlation network analysis of non-stationary multivariate time series with complex trends

abstract: This paper proposes a flexible framework for inferring large-scale time-varying and time-lagged correlation networks from multivariate or high-dimensional non-stationary time series with piecewise smooth trends. Built on a novel and unified multiple-testing procedure of time-lagged cross-correlation functions with a fixed or diverging number of lags, our method can accurately disclose flexible time-varying network structures associated with complex functional structures at all time points. We broaden the applicability of our method to the structure breaks by developing difference-based nonparametric estimators of cross-correlations, achieve accurate family-wise error control via a bootstrap-assisted procedure adaptive to the complex temporal dynamics, and enhance the probability of recovering the time-varying network structures using a new uniform variance reduction technique. We prove the asymptotic validity of the proposed method and demonstrate its effectiveness in finite samples through simulation studies and empirical applications.


title: Bottom-up transient time models in coarse-graining molecular systems

abstract: This work presents a systematic methodology for describing the transient dynamics of coarse-grained molecular systems inferred from all-atom simulated data. We suggest Langevin-type dynamics where the coarse-grained interaction potential depends explicitly on time to efficiently approximate the transient coarse-grained dynamics. We apply the path-space force matching approach at the transient dynamics regime to learn the proposed model parameters. In particular, we parameterize the coarse-grained potential both with respect to the pair distance of the CG particles and the time, and we obtain an evolution model that is explicitly time-dependent. Moreover, we follow a data-driven approach to estimate the friction kernel, given by appropriate correlation functions directly from the underlying all-atom molecular dynamics simulations. To explore and validate the proposed methodology we study a benchmark system of a moving particle in a box. We examine the suggested model's effectiveness in terms of the system's correlation time and find that the model can approximate well the transient time regime of the system, depending on the correlation time of the system. As a result, in the less correlated case, it can represent the dynamics for a longer time interval. We present an extensive study of our approach to a realistic high-dimensional water molecular system. Posing the water system initially out of thermal equilibrium we collect trajectories of all-atom data for the, empirically estimated, transient time regime. Then, we infer the suggested model and strengthen the model's validity by comparing it with simplified Markovian models.


title: Dual Memory Units with Uncertainty Regulation for Weakly Supervised Video Anomaly Detection

abstract: Learning discriminative features for effectively separating abnormal events from normality is crucial for weakly supervised video anomaly detection (WS-VAD) tasks. Existing approaches, both video and segment-level label oriented, mainly focus on extracting representations for anomaly data while neglecting the implication of normal data. We observe that such a scheme is sub-optimal, i.e., for better distinguishing anomaly one needs to understand what is a normal state, and may yield a higher false alarm rate. To address this issue, we propose an Uncertainty Regulated Dual Memory Units (UR-DMU) model to learn both the representations of normal data and discriminative features of abnormal data. To be specific, inspired by the traditional global and local structure on graph convolutional networks, we introduce a Global and Local Multi-Head Self Attention (GL-MHSA) module for the Transformer network to obtain more expressive embeddings for capturing associations in videos. Then, we use two memory banks, one additional abnormal memory for tackling hard samples, to store and separate abnormal and normal prototypes and maximize the margins between the two representations. Finally, we propose an uncertainty learning scheme to learn the normal data latent space, that is robust to noise from camera switching, object changing, scene transforming, etc. Extensive experiments on XD-Violence and UCF-Crime datasets demonstrate that our method outperforms the state-of-the-art methods by a sizable margin.


title: The bipartite travelling salesman problem: A pyramidally solvable case

abstract: In the bipartite travelling salesman problem (BTSP), we are given $n=2k$ cities along with an $n\times n$ distance matrix and a partition of the cities into $k$ red and $k$ blue cities. The task is to find a shortest tour which alternately visits blue and red cities. We consider the BTSP restricted to the class of so-called Van der Veen distance matrices. We show that this case remains NP-hard in general but becomes solvable in polynomial time when all vertices with odd indices are coloured blue and all with even indices are coloured red. In the latter case an optimal solution can be found in $O(n^2)$ time among the set of pyramidal tours.


title: Phenomenological model of supercooled liquid as a possible resolution of the Kauzmann paradox

abstract: The diverging relaxation time in approaching hypothetical ideal glass transition is a subject of hot debate. In the current paper we demonstrate, how diverging relaxation time and turning excess entropy to zero (which is an essence of Kauzmann's paradox) can be avoided, using as an example the model molecular glassformer, propylene carbonate. For this purpose we compare its thermodynamic and dielectric relaxation properties, both known from the literature. The agreement between two sets of data can be achieved, if we suppose, that enthalpy of supercooled liquid propylene carbonate is governed by activation law, and relaxation time follows double exponential law. We propose the generalized Adam-Gibbs law to reconcile this two dependencies, and qualitatively discuss its implications.


title: JAX-COSMO: An End-to-End Differentiable and GPU Accelerated Cosmology Library

abstract: We present jax-cosmo, a library for automatically differentiable cosmological theory calculations. It uses the JAX library, which has created a new coding ecosystem, especially in probabilistic programming. As well as batch acceleration, just-in-time compilation, and automatic optimization of code for different hardware modalities (CPU, GPU, TPU), JAX exposes an automatic differentiation (autodiff) mechanism. Thanks to autodiff, jax-cosmo gives access to the derivatives of cosmological likelihoods with respect to any of their parameters, and thus enables a range of powerful Bayesian inference algorithms, otherwise impractical in cosmology, such as Hamiltonian Monte Carlo and Variational Inference. In its initial release, jax-cosmo implements background evolution, linear and non-linear power spectra (using halofit or the Eisenstein and Hu transfer function), as well as angular power spectra with the Limber approximation for galaxy and weak lensing probes, all differentiable with respect to the cosmological parameters and their other inputs. We illustrate how autodiff can be a game-changer for common tasks involving Fisher matrix computations, or full posterior inference with gradient-based techniques. In particular, we show how Fisher matrices are now fast, exact, no longer require any fine tuning, and are themselves differentiable. Finally, using a Dark Energy Survey Year 1 3x2pt analysis as a benchmark, we demonstrate how jax-cosmo can be combined with Probabilistic Programming Languages to perform posterior inference with state-of-the-art algorithms including a No U-Turn Sampler, Automatic Differentiation Variational Inference,and Neural Transport HMC. We further demonstrate that Normalizing Flows using Neural Transport are a promising methodology for model validation in the early stages of analysis.


title: A highly efficient computational framework for fast scan-resolved simulations of metal additive manufacturing processes on the scale of real parts

abstract: This article proposes a novel high-performance computing approach for the prediction of the temperature field in powder bed fusion (PBF) additive manufacturing processes. In contrast to many existing approaches to part-scale simulations, the underlying computational model consistently resolves physical scan tracks without additional heat source scaling, agglomeration strategies or any other heuristic modeling assumptions. A growing, adaptively refined mesh accurately captures all details of the laser beam motion. Critically, the fine spatial resolution required for resolved scan tracks in combination with the high scan velocities underlying these processes mandates the use of comparatively small time steps to resolve the underlying physics. Explicit time integration schemes are well-suited for this setting, while unconditionally stable implicit time integration schemes are employed for the interlayer cool down phase governed by significantly larger time scales. These two schemes are combined and implemented in an efficient fast operator evaluation framework providing significant performance gains and optimization opportunities. The capabilities of the novel framework are demonstrated through realistic AM examples on the centimeter scale including the first scan-resolved simulation of the entire NIST AM Benchmark cantilever specimen, with a computation time of less than one day. Apart from physical insights gained through these simulation examples, also numerical aspects are thoroughly studied on basis of weak and strong parallel scaling tests. As potential applications, the proposed thermal PBF simulation framework can serve as a basis for microstructure and thermo-mechanical predictions on the part-scale, but also to assess the influence of scan pattern and part geometry on melt pool shape and temperature, which are important indicators for well-known process instabilities.


title: The distribution of the multiplicative index of algebraic numbers over residue classes

abstract: Let $K$ be a number field and $G$ a finitely generated torsion-free subgroup of $K^\times$. Given a prime $\mathfrak p$ of $K$ we denote by ${\rm ind}_{\mathfrak p}(G)$ the index of the subgroup $(G\bmod\mathfrak p)$ of the multiplicative group of the residue field at $\mathfrak p$. Under the Generalized Riemann Hypothesis we determine the natural density of primes of $K$ for which this index is in a prescribed set $S$ and has prescribed Frobenius in a finite Galois extension $F$ of $K$. We study in detail the natural density in case $S$ is an arithmetic progression, in particular its positivity.


title: An Assessment Methodology and Instrument for Cybersecurity: The Ireland Use Case

abstract: Governments around the world are required to strengthen their national cybersecurity capabilities to respond effectively to the growing, changing, and sophisticated cyber threats and attacks, thus protecting society and the way of life as a whole. Responsible government institutions need to revise, evaluate, and bolster their national cybersecurity capabilities to fulfill the new requirements, for example regarding new trends affecting cybersecurity, key supporting laws and regulations, and implementations risk and challenges. This report presents a comprehensive assessment instrument for cybersecurity at the national level in order to help countries to ensure optimum response capability and more effective use of critical resources of each state. More precisely, the report - builds a common understanding of the critical cybersecurity capabilities and competence to be assessed at the national level, - adds value to national strategic planning and implementation which impact the development and adaptation of national cybersecurity strategies, - provides an overview of the assessment approaches at the national level, including capabilities, frameworks, and controls, - introduces a comprehensive cybersecurity instrument for countries to determine areas of improvement and develop enduring national capabilities, - describes how to apply the proposed national cybersecurity assessment framework in a real-world case, and - presents the results and lessons learned of the application of the assessment framework at the national level to assist governments in further building cybersecurity capabilities.


title: Gravitational waves from the merger of two primordial black hole clusters

abstract: The orbital evolution of a binary system consisting of two primordial black hole clusters is investigated. Such clusters are predicted in some theoretical models with broken symmetry in the inflation Lagrangian. A cluster consists of the most massive central black hole surrounded by many smaller black holes. Similar to single primordial black holes, clusters can form gravitationally bounded pairs and merge during their orbital evolution. The replacement of single black holes by such clusters significantly changes the entire merger process and the final rate of gravitational wave bursts in some parameter ranges (with sufficiently large cluster radii). A new important factor is the tidal gravitational interaction of the clusters. It leads to an additional dissipation of the orbital energy, which is transferred into the internal energy of the clusters or carried away by black holes flying out of the clusters. Comparison with the data of gravitational-wave telescopes allows one to constrain the fractions of primordial black holes in clusters, depending on their mass and compactness. Even the primordial black hole fraction in the composition of dark matter $\simeq1$ turns out to be compatible with LIGO/Virgo observational data, if the black holes are in clusters.


title: Infinite-dimensional port-Hamiltonian systems -- a system node approach

abstract: We consider an operator-theoretic approach to linear infinite-dimensional port-Hamiltonian systems. In particular, we use the theory of system nodes by Staffans to formulate a~suitable concept for port-Hamiltonian systems, which allows a unifying approach to systems with boundary as well as distributed control and observation. The concept presented in this article is further neither limited to parabolic nor hyperbolic systems, and it also covers partial differential equations on multi-dimensional spatial domains. Our presented theory is substantiated by means of several physical examples.


title: Two-level approximation of transmons in quantum quench experiments

abstract: Quantum quench is a typical protocol in the study of nonequilibrium dynamics of quantum many-body systems. Recently, a number of experiments with superconducting transmon qubits are reported, in which the spin and hard-core boson models with two energy levels on individual sites are used. The transmons are a multilevel system and the coupled qubits are governed by the Bose-Hubbard model. How well they can be approximated by a two-level system has been discussed and analysed in different ways for specific experiments in the literature. Here, we numerically investigate the accuracy and validity of the two-level approximation for the multilevel transmons based on the concept of Loschmidt echo. Using this method, we are able to calculate the fidelity decay (i.e., the time-dependent overlap of evolving wave functions) due to the state leakage to transmon high energy levels. We present the results for different system Hamiltonians with various initial states, qubit coupling strength, and external driving, and for two kinds of quantum quench experiments with time reversal and time evolution in one direction. We show quantitatively the extent to which the fidelity decays with time for changing coupling strength (or on-site interaction over coupling strength) and filled particle number or locations in the initial states under specific system Hamiltonians, which may serve as a way for assessing the two-level approximation of transmons. Finally, we compare our results with the reported experiments using transmon qubits.


title: GPU acceleration of the Seven-League Scheme for large time step simulations of stochastic differential equations

abstract: Monte Carlo simulation is widely used to numerically solve stochastic differential equations. Although the method is flexible and easy to implement, it may be slow to converge. Moreover, an inaccurate solution will result when using large time steps. The Seven League scheme, a deep learning-based numerical method, has been proposed to address these issues. This paper generalizes the scheme regarding parallel computing, particularly on Graphics Processing Units (GPUs), improving the computational speed.


title: The Coxeter symmetries of high-level general sequential computation in the invertible-digital and quantum domains

abstract: The article investigates high-level general invertible-sequential processing in the digital and quantum domains. In particular it is shown that (i) invertible digital-sequential processes, constructed using a standard general-inversion procedure, and (ii) sequential quantum processes, determine Coxeter groups. In each case the groups are seen to define all processes that may be constructed from the, given, elemental processes of the sequences. Explicit forms of the presentations of the Coxeter groups are given for all cases. The quantum processes are seen to define unitary representations of the associated Coxeter groups in tensor-product qubit spaces.


title: Social Virtual Reality Avatar Biosignal Animations as Availability Status Indicators

abstract: In this position paper, we outline our research challenges in Affective Interactive Systems, and present recent work on visualizing avatar biosignals for social VR entertainment. We highlight considerations for how biosignals animations in social VR spaces can (falsely) indicate users' availability status.


title: Inflationary phenomenology of non-minimally coupled Einstein-Chern-Simons gravity

abstract: In this work we investigate the inflationary era in the presence of a canonical scalar field and Chern-Simons parity violating corrections. It was also assumed that a non minimal coupling between curvature and the scalar field is present. For the shake of completeness, the slow-roll and the constant-roll scenarios were examined separately. In the context of this scalar-tensor theory, inflation can be viable for both scenarios since the observational indices take acceptable values according to the most recent Planck data. Furthermore, the involvement of the Chern-Simons term has no effect on the background equations, in contrast to the scalar function which couples with the Ricci scalar and participates in the equations of motion. However, the Chern-Simons term ensures the chirality of stochastic gravitational waves. A blue-tilted tensor spectral index of primordial curvature perturbations can be manifested since, tensor modes are strongly affected by the Chern-Simons term. Lastly, the Swampland criteria and the Lyth-bound were examined in order to distinguish the effective field theories towards the path of a consistent M-theory.


title: An Appropriate Probability Model for the Bell Experiment

abstract: The Bell inequality constrains the outcomes of measurements on pairs of distant entangled particles. The Bell contradiction states that the Bell inequality is inconsistent with the calculated outcomes of these quantum experiments. This contradiction led many to question the underlying assumptions, viz. so-called realism and locality. This paper proposes an appropriate probability model for the Bell experiment. This model has only two simultaneously observable detector settings per measurement, and therefore does not assume realism. It is in full agreement with both quantum mechanics and experiments. In this model the expectation for a particular pair of observations is partial to the selected detector settings. This leads to a slightly different variant of the Bell inequality, one that is consistent with both quantum mechanics and measurements. In this model there is no Bell contradiction. Furthermore, the proposed probability model is statistically local, is not factorizable, and is not Bell-separable. The latter implies that either hidden variables must be ruled out, or that locality must be violated. Thus, our conclusion agrees with Bell's conclusion.


title: On the representability of actions of Leibniz algebras and Poisson algebras

abstract: In a recent paper, motivated by the study of central extensions of associative algebras, George Janelidze introduces the notion of weakly action representable category. In this paper, we show that the category of Leibniz algebras is weakly action representable and we characterize the class of acting morphisms. Moreover, we study the representability of actions of the category of Poisson algebras and we prove that the subvariety of commutative Poisson algebras is not weakly action representable.


title: Fast Gumbel-Max Sketch and its Applications

abstract: The well-known Gumbel-Max Trick for sampling elements from a categorical distribution (or more generally a non-negative vector) and its variants have been widely used in areas such as machine learning and information retrieval. To sample a random element $i$ in proportion to its positive weight $v_i$, the Gumbel-Max Trick first computes a Gumbel random variable $g_i$ for each positive weight element $i$, and then samples the element $i$ with the largest value of $g_i+\ln v_i$. Recently, applications including similarity estimation and weighted cardinality estimation require to generate $k$ independent Gumbel-Max variables from high dimensional vectors. However, it is computationally expensive for a large $k$ (e.g., hundreds or even thousands) when using the traditional Gumbel-Max Trick. To solve this problem, we propose a novel algorithm, FastGM, which reduces the time complexity from $O(kn^+)$ to $O(k \ln k + n^+)$, where $n^+$ is the number of positive elements in the vector of interest. FastGM stops the procedure of Gumbel random variables computing for many elements, especially for those with small weights. We perform experiments on a variety of real-world datasets and the experimental results demonstrate that FastGM is orders of magnitude faster than state-of-the-art methods without sacrificing accuracy or incurring additional expenses.


title: Measurement of Individual Alteration in Perioperative ECGs During Elective Percutaneous Coronary Intervention

abstract: The increasing availability of wearable electrocardiography (ECG) devices enables the continuous monitoring of individual ECG alterations. This could be beneficial for patients suffering from acute ischemia but with non-standard ECG findings that do not fit to the subject-independent and absolute thresholds defined in clinical guidelines. In this work, we evaluate the inter-patient magnitude of individual ECG alterations during ischemia. The freely available STAFF III database provides 12-lead ECG recordings of patients before, during, and after elective percutaneous coronary intervention(PCI), where a coronary vessel is widened with a balloon inflation. We compute individual alterations of ST-interval and T-wave amplitudes w.r.t. QRS amplitude over time for each patient and lead. We demonstrate that determining relative ST-interval/T-wave amplitudes and deriving individual alterations over time is feasible in standard and non-standard ECG recordings. To demonstrate clinical relevance, we use the features for differentiating N=54 STAFF III patients with atherosclerotic plaque in either the right coronary artery (RCA) or left ascending artery (LAD). Results show significant differences in 5 leads for ST-interval alterations and 3 leads for T-wave alterations, which are also suggested by clinical guidelines for ischemia detection. Clinical relevance- Assessing individual alterations over time could eventually close the gap in ECG evaluation of patients presenting with pre-existing heart conditions and non-standard ECGs.


title: Well-posedness and large deviations for the stochastic Landau Lifshitz Bloch equation

abstract: The stochastic Landau-Lifshitz-Bloch equation in dimensions 1; 2; and 3 perturbed by pure jump noise is considered in the Marcus canonical form. A proof for existence of a martingale solution is given. The proof uses the Faedo-Galerkin approximation; which is followed by compactness and tightness arguments. This is followed by use of the Jakubowski's version of the Skorohod Theorem. Pathwise uniqueness and the theory of Yamada and Watanabe give the existence of a strong solution for dimensions 1 and 2. A weak convergence method is later used to establish a Wentzell-Freidlin type large deviation principle for the small noise asymptotic of solutions for dimensions 1 and 2.


title: AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning

abstract: Obstructive Sleep Apnea Syndrome (OSAS) is the most common sleep-related breathing disorder. It is caused by an increased upper airway resistance during sleep, which determines episodes of partial or complete interruption of airflow. The detection and treatment of OSAS is particularly important in stroke patients, because the presence of severe OSAS is associated with higher mortality, worse neurological deficits, worse functional outcome after rehabilitation, and a higher likelihood of uncontrolled hypertension. The gold standard test for diagnosing OSAS is polysomnography (PSG). Unfortunately, performing a PSG in an electrically hostile environment, like a stroke unit, on neurologically impaired patients is a difficult task; also, the number of strokes per day outnumbers the availability of polysomnographs and dedicated healthcare professionals. Thus, a simple and automated recognition system to identify OSAS among acute stroke patients, relying on routinely recorded vital signs, is desirable. The majority of the work done so far focuses on data recorded in ideal conditions and highly selected patients, and thus it is hardly exploitable in real-life settings, where it would be of actual use. In this paper, we propose a convolutional deep learning architecture able to reduce the temporal resolution of raw waveform data, like physiological signals, extracting key features that can be used for further processing. We exploit models based on such an architecture to detect OSAS events in stroke unit recordings obtained from the monitoring of unselected patients. Unlike existing approaches, annotations are performed at one-second granularity, allowing physicians to better interpret the model outcome. Results are considered to be satisfactory by the domain experts. Moreover, based on a widely-used benchmark, we show that the proposed approach outperforms current state-of-the-art solutions.


title: Generalized method of image dyons for quasi-two dimensional slabs with ordinary-topological insulator interfaces

abstract: Electrostatic charges near the interface bewteen topological (TI) and ordinary (OI) insulators induce magnetic fields in the medium that can be described through the so-called method of image dyons (electric charge - magnetic monopole pairs), the magnetoelectric extension of the method of image charges in classical electrostatics. Here, we provide the expressions for the image dyons and ensuing magnetoelectric potentials in a system comprised by two planar-parallel OI-TI interfaces conforming a finite-width slab. The obtained formulae extend earlier work in that they account for all different combinations of materials forming the slab and its surroundings, including asymmetric systems, as well as all possible combinations of external magnetization orientations on the interfaces. The equations are susceptible of implementation in simple computational codes, to be solved recurrently, in order to model magnetoelectric fields in topological quantum wells, thin films, or layers of two-dimensional materials. We exemplify this by calculating the magnetic fields induced by a point charge in nanometer-thick quantum wells, by means of a Mathematica code made available in repositories.


title: Bipartite Euler Systems for certain Galois Representations

abstract: Let $E/\mathbb{Q}$ be an elliptic curve with ordinary reduction at a prime $p$, and let $K$ be an imaginary quadratic field. The anticyclotomic Iwasawa main conjecture, depending upon the sign of the functional equation of $L(E/K,s)$, predicts the behavior of Selmer group of $E/\mathbb{Q}$ along the anticyclotomic tower of $K$. Some of the crucial ideas of Bertolini and Darmon on this conjecture have been abstracted by Howard into an axiomatic set-up through a notion of Bipartite Euler systems, assuming that $E[p]$ is an irreducible representation of $G_{K}$. We generalize this work by assuming only $(E[p])^{G_K}=0$. We use the results of Howard, Nekov\'a\v{r} and Castella \emph{et al}., along with those of Mazur and Rubin on Kolyvagin systems to show one divisibility of the anticyclotomic main conjecture, for both the signs. The other divisibility can be reduced to proving the nonvanishing of sufficiently many $p$-adic $L$-functions attached to a family of congruent modular forms.


title: Decomposable Tail Graphical Models

abstract: We develop an asymptotic theory for extremes in decomposable graphical models by presenting results applicable to a range of extremal dependence types. Specifically, we investigate the weak limit of the distribution of suitably normalised random vectors, conditioning on an extreme component, where the conditional independence relationships of the random vector are described by a chordal graph. Under mild assumptions, the random vector corresponding to the distribution in the weak limit, termed the tail graphical model, inherits the graphical structure of the original chordal graph. Our theory is applicable to a wide range of decomposable graphical models including asymptotically dependent and asymptotically independent graphical models. Additionally, we analyze combinations of copula classes with differing extremal dependence in cases where a normalization in terms of the conditioning variable is not guaranteed by our assumptions. We show that, in a block graph, the distribution of the random vector normalized in terms of the random variables associated with the separators converges weakly to a distribution we term tail noise. In particular, we investigate the limit of the normalized random vectors where the clique distributions belong to two widely used copula classes, the Gaussian copula and the max-stable copula.


title: Moser's Theorem with Frequency-preserving

abstract: This paper mainly concerns the KAM persistence of the mapping $\mathscr{F}:\mathbb{T}^{n}\times E\rightarrow \mathbb{T}^{n}\times \mathbb{R}^{n}$ with intersection property, where $E\subset \mathbb{R}^{n}$ is a connected closed bounded domain with interior points. By assuming that the frequency mapping satisfies certain topological degree condition and weak convexity condition, we prove some Moser type results about the invariant torus of mapping $\mathscr{F}$ with frequency-preserving under small perturbations. To our knowledge, this is the first approach to Moser's theorem with frequency-preserving. Moreover, given perturbed mappings over $ \mathbb{T}^n $, it is shown that such persistence still holds when the frequency mapping and perturbations are only continuous about parameter beyond Lipschitz or even H\"older type. We also touch the parameter without dimension limitation problem under such settings.


title: Rates and properties of type Ia supernovae in galaxy clusters within the Dark Energy Survey

abstract: We identify 66 photometrically classified type Ia supernovae (SNe Ia) from the Dark Energy Survey (DES) that have occurred within red-sequence selected galaxy clusters. We compare light-curve and host galaxy properties of the cluster SNe to 1024 DES SNe Ia located in field galaxies, the largest comparison of two such samples at high redshift (z > 0.1). We find that cluster SN light curves decline faster than those in the field (97.7 per cent confidence). However, when limiting these samples to host galaxies of similar colour and mass, there is no significant difference in the SN light curve properties. Motivated by previous detections of a higher-normalised SN Ia delay time distribution in galaxy clusters, we measure the intrinsic rate of SNe Ia in cluster and field environments. We find the average ratio of the SN Ia rate per galaxy between high mass ($10\leq\log\mathrm{(M_{*}/M_{\odot})} \leq 11.25$) cluster and field galaxies to be $0.594 \pm0.068$. This difference is mass-dependent, with the ratio declining with increasing mass, which suggests that the stellar populations in cluster hosts are older than those in field hosts. We show that the mass-normalised rate (or SNe per unit mass) in massive-passive galaxies is consistent between cluster and field environments. Additionally, both of these rates are consistent with rates previously measured in clusters at similar redshifts. We conclude that in massive-passive galaxies, which are the dominant hosts of cluster SNe, the cluster DTD is comparable to the field.


title: On Penalty-based Bilevel Gradient Descent Method

abstract: Bilevel optimization enjoys a wide range of applications in hyper-parameter optimization, meta-learning and reinforcement learning. However, bilevel optimization problems are difficult to solve. Recent progress on scalable bilevel algorithms mainly focuses on bilevel optimization problems where the lower-level objective is either strongly convex or unconstrained. In this work, we tackle the bilevel problem through the lens of the penalty method. We show that under certain conditions, the penalty reformulation recovers the solutions of the original bilevel problem. Further, we propose the penalty-based bilevel gradient descent (PBGD) algorithm and establish its finite-time convergence for the constrained bilevel problem without lower-level strong convexity. Experiments showcase the efficiency of the proposed PBGD algorithm.


title: PDFs determination from the LHeC

abstract: Deep Inelastic Scattering would be brought into the unexplored TeV regime by the the proposed Large Hadron Electron Collider at CERN. Its rich physics program, includes both precision Standard Model measurements to complement LHC physics as well as studies of QCD in the high energy limit. The present proceeding reports on studies included in the updated LHeC Conceptual Design Report. We study the impact of LHeC simulated data on Parton Distribution Functions uncertainties. We also assess the LHeC potential to allow the determination of the strong coupling constant $\alpha_{S}$, at per-mille level as well as to disentangle between various scenarios of small-$x$ QCD.


title: On the approximability of Koopman-based operator Lyapunov equations

abstract: Lyapunov functions play a vital role in the context of control theory for nonlinear dynamical systems. Besides its classical use for stability analysis, Lyapunov functions also arise in iterative schemes for computing optimal feedback laws such as the well-known policy iteration. In this manuscript, the focus is on the Lyapunov function of a nonlinear autonomous finite-dimensional dynamical system which will be rewritten as an infinite-dimensional linear system using the Koopman or composition operator. Since this infinite-dimensional system has the structure of a weak-* continuous semigroup, in a specially weighted $\mathrm{L}^p$-space one can establish a connection between the solution of an operator Lyapunov equation and the desired Lyapunov function. It will be shown that the solution to this operator equation attains a rapid eigenvalue decay which justifies finite rank approximations with numerical methods. The potential benefit for numerical computations will be demonstrated with two short examples.


title: Optimal error analysis of a non-uniform IMEX-L1 finite element method for time fractional PDEs and PIDEs

abstract: Stability and optimal convergence analysis of a non-uniform implicit-explicit L1 finite element method (IMEX-L1-FEM) is studied for a class of time-fractional linear partial differential/integro-differential equations with non-self-adjoint elliptic part having (space-time) variable coefficients. The proposed scheme is based on a combination of an IMEX-L1 method on graded mesh in the temporal direction and a finite element method in the spatial direction. With the help of a discrete fractional Gr\"{o}nwall inequality, global almost optimal error estimates in $L^2$- and $H^1$-norms are derived for the problem with initial data $u_0 \in H_0^1(\Omega)\cap H^2(\Omega)$. The novelty of our approach is based on managing the interaction of the L1 approximation of the fractional derivative and the time discrete elliptic operator to derive the optimal estimate in $H^1$-norm directly. Furthermore, a super convergence result is established when the elliptic operator is self-adjoint with time and space varying coefficients, and as a consequence, an $L^\infty$ error estimate is obtained for 2D problems that too with the initial condition is in $ H_0^1(\Omega)\cap H^2(\Omega)$. All results proved in this paper are valid uniformly as $\alpha\longrightarrow 1^{-}$, where $\alpha$ is the order of the Caputo fractional derivative. Numerical experiments are presented to validate our theoretical findings.


title: New advances in permutation decoding of first-order Reed-Muller codes

abstract: In this paper we describe a variation of the classical permutation decoding algorithm that can be applied to any affine-invariant code with respect to certain type of information sets. In particular, we can apply it to the family of first-order Reed-Muller codes with respect to the information sets introduced in [2]. Using this algortihm we improve considerably the number of errors we can correct in comparison with the known results in this topic.


title: For the Metatheory of Type Theory, Internal Sconing Is Enough

abstract: Metatheorems about type theories are often proven by interpreting the syntax into models constructed using categorical gluing. We propose to use only sconing (gluing along a global section functor) instead of general gluing. The sconing is performed internally to a presheaf category, and we recover the original glued model by externalization. Our method relies on constructions involving two notions of models: first-order models (with explicit contexts) and higher-order models (without explicit contexts). Sconing turns a displayed higher-order model into a displayed first-order model. Using these, we derive specialized induction principles for the syntax of type theory. The input of such an induction principle is a boilerplate-free description of its motives and methods, not mentioning contexts. The output is a section with computation rules specified in the same internal language. We illustrate our framework by proofs of canonicity, normalization and syntactic parametricity for type theory.


title: Recognising permuted Demidenko matrices

abstract: We solve the recognition problem (RP) for the class of Demidenko matrices. Our result closes a remarkable gap in the recognition of specially structured matrices. Indeed, the recognition of permuted Demidenko matrices is a longstanding open problem, in contrast to the effciently solved RP for important subclasses of Demidenko matrices such as the Kalmanson matrices, the Supnick matrices, the Monge matrices and the Anti-Robinson matrices. The recognition of the permuted Demidenko matrices is relevant in the context of hard combinatorial optimization problems which become tractable if the input is a Demidenko matrix. Demidenko matrices were introduced by Demidenko in 1976, when he proved that the Travelling Salesman Problem (TSP) is polynomially solvable if the symmetric distance matrix fulfills certain combinatorial conditions, nowadays known as the Demidenko conditions. In the context of the TSP the recognition problem consists in deciding whether there is a renumbering of the cities such that the correspondingly renumbered distance matrix fulfills the Demidenko conditions, thus resulting in a polynomially solvable special case of the TSP. We show that such a renumbering of n cities can be found in $O(n^4)$ time, if it exists.


title: Virtually increasing the measurement frequency of LIDAR sensor utilizing a single RGB camera

abstract: The frame rates of most 3D LIDAR sensors used in intelligent vehicles are substantially lower than current cameras installed in the same vehicle. This research suggests using a mono camera to virtually enhance the frame rate of LIDARs, allowing the more frequent monitoring of dynamic objects in the surroundings that move quickly. As a first step, dynamic object candidates are identified and tracked in the camera frames. Following that, the LIDAR measurement points of these items are found by clustering in the frustums of 2D bounding boxes. Projecting these to the camera and tracking them to the next camera frame can be used to create 3D-2D correspondences between different timesteps. These correspondences between the last LIDAR frame and the actual camera frame are used to solve the PnP (Perspective-n-Point) problem. Finally, the estimated transformations are applied to the previously measured points to generate virtual measurements. With the proposed estimation, if the ego movement is known, not just static object position can be determined at timesteps where camera measurement is available, but positions of dynamic objects as well. We achieve state-of-the-art performance on large public datasets in terms of accuracy and similarity to real measurements.


title: Structural Break Detection in Quantile Predictive Regression Models with Persistent Covariates

abstract: We propose an econometric environment for structural break detection in nonstationary quantile predictive regressions. We establish the limit distributions for a class of Wald and fluctuation type statistics based on both the ordinary least squares estimator and the endogenous instrumental regression estimator proposed by Phillips and Magdalinos (2009a, Econometric Inference in the Vicinity of Unity. Working paper, Singapore Management University). Although the asymptotic distribution of these test statistics appears to depend on the chosen estimator, the IVX based tests are shown to be asymptotically nuisance parameter-free regardless of the degree of persistence and consistent under local alternatives. The finite-sample performance of both tests is evaluated via simulation experiments. An empirical application to house pricing index returns demonstrates the practicality of the proposed break tests for regression quantiles of nonstationary time series data.


title: Non-Fermi liquid behavior of doped Kondo insulator: The unique properties of CeRhSb$_{1-x}$Te$_x$

abstract: It follows from our analysis of CeRhSb that the formation of Kondo insulator state due to the presence of the collective spin singlet state is strongly reduced by its doping with various dopants when their amount exceeds 8--10\%, regardless of whether they are substituted for Ce, Rh or Sb. A wide variety of experimental results (electrical resistivity $\rho$, magnetic susceptibility $\chi$, specific heat $C$, x-ray photoelectron spectroscopy) and theoretical investigations have convincingly demonstrated the proposed earlier scaling law $\chi\times\rho=const.$ in the Kondo insulator regime, which is universal for all known Kondo insulators. We also analyze the properties of the Griffiths--phase for CeRhSb when Pd substitutes Rh, or Sb is fractionally replaced by Te and Sn, whereas doping of Ce with La leads to the formation of magnetic cluster structure as a result of the Kondo hole effect. Magnetoresistance of CeRhSb and CeRhSb$_{0.98}$Te$_{0.02}$ as a function of the field $B$ shows a $-B^2$ behavior, which provides evidence for the topologically nontrivial nature of these compounds, as was previously predicted theoretically for CeRhSb on the basis on the band structure calculations.


title: Self-supervised learning-based cervical cytology for the triage of HPV-positive women in resource-limited settings and low-data regime

abstract: Screening Papanicolaou test samples has proven to be highly effective in reducing cervical cancer-related mortality. However, the lack of trained cytopathologists hinders its widespread implementation in low-resource settings. Deep learning-based telecytology diagnosis emerges as an appealing alternative, but it requires the collection of large annotated training datasets, which is costly and time-consuming. In this paper, we demonstrate that the abundance of unlabeled images that can be extracted from Pap smear test whole slide images presents a fertile ground for self-supervised learning methods, yielding performance improvements relative to readily available pre-trained models for various downstream tasks. In particular, we propose \textbf{C}ervical \textbf{C}ell \textbf{C}opy-\textbf{P}asting ($\texttt{C}^{3}\texttt{P}$) as an effective augmentation method, which enables knowledge transfer from open-source and labeled single-cell datasets to unlabeled tiles. Not only does $\texttt{C}^{3}\texttt{P}$ outperforms naive transfer from single-cell images, but we also demonstrate its advantageous integration into multiple instance learning methods. Importantly, all our experiments are conducted on our introduced \textit{in-house} dataset comprising liquid-based cytology Pap smear images obtained using low-cost technologies. This aligns with our objective of leveraging deep learning-based telecytology for diagnosis in low-resource settings.


title: Two-step counterfactual generation for OOD examples

abstract: Two fundamental requirements for the deployment of machine learning models in safety-critical systems are to be able to detect out-of-distribution (OOD) data correctly and to be able to explain the prediction of the model. Although significant effort has gone into both OOD detection and explainable AI, there has been little work on explaining why a model predicts a certain data point is OOD. In this paper, we address this question by introducing the concept of an OOD counterfactual, which is a perturbed data point that iteratively moves between different OOD categories. We propose a method for generating such counterfactuals, investigate its application on synthetic and benchmark data, and compare it to several benchmark methods using a range of metrics.


title: On the Convergence of Stochastic Gradient Descent for Linear Inverse Problems in Banach Spaces

abstract: In this work we consider stochastic gradient descent (SGD) for solving linear inverse problems in Banach spaces. SGD and its variants have been established as one of the most successful optimisation methods in machine learning, imaging and signal processing, etc. At each iteration SGD uses a single datum, or a small subset of data, resulting in highly scalable methods that are very attractive for large-scale inverse problems. Nonetheless, the theoretical analysis of SGD-based approaches for inverse problems has thus far been largely limited to Euclidean and Hilbert spaces. In this work we present a novel convergence analysis of SGD for linear inverse problems in general Banach spaces: we show the almost sure convergence of the iterates to the minimum norm solution and establish the regularising property for suitable a priori stopping criteria. Numerical results are also presented to illustrate features of the approach.


title: Traceable thermal imaging in harsh environments

abstract: Despite being regarded as a well-established field, temperature measurement continues to pose significant challenges for many professionals in the metrology industry. Thermal imagers enable fast, non-contact and a full field measurement, however there is a lack of metrological development to support their use. Here, thermal imagers have been examined for the monitoring of special nuclear material containers; the surface temperature is an important parameter for store management decisions. Throughout this research: a selection of thermal imagers were calibrated and made traceable to the International Temperature Scale of 1990; laboratory observations of a proxy steel plate were made; initial measurement of nuclear material storage containers were made; then a deployment to an inactive store was demonstrated. For this technique to be feasible, uncertainties less than 10$^\circ$C would be required. During the laboratory calibration of an uncooled and cooled thermal imager against blackbody reference sources, across the measured temperature range of 10$^\circ$C to 100$^\circ$C the uncertainties were less than 3.20$^\circ$C ($k=2$) and 0.50$^\circ$C ($k=2$) respectively. Here $k$ is the uncertainty coverage factor. When these calibrations were applied to the plate, regions of steel and higher emissivity coating were evaluated. These uncoated regions were measured with a thermal imager to demonstrate temperature differences compared to surface mounted thermocouples of 8.3$^\circ$C and uncertainties up to 30.1$^\circ$C ($k=2$). For the coated regions this temperature difference was reduced to 1.8$^\circ$C with uncertainties up to 6.8$^\circ$C ($k=2$).


title: Weight Ergodic Theorems for Probability Measures on Locally Compact Groups

abstract: Let $G$ be a locally compact group with the left Haar measure $m_{G}$. A probability measure ${\mu}$ on $G$ is said to be strictly aperiodic if the support of ${\mu}$ is not contained in a proper closed left coset of $G$. In this paper, we prove weight ergodic theorems for strictly aperiodic measures.


title: End-to-end Semantic Object Detection with Cross-Modal Alignment

abstract: Traditional semantic image search methods aim to retrieve images that match the meaning of the text query. However, these methods typically search for objects on the whole image, without considering the localization of objects within the image. This paper presents an extension of existing object detection models for semantic image search that considers the semantic alignment between object proposals and text queries, with a focus on searching for objects within images. The proposed model uses a single feature extractor, a pre-trained Convolutional Neural Network, and a transformer encoder to encode the text query. Proposal-text alignment is performed using contrastive learning, producing a score for each proposal that reflects its semantic alignment with the text query. The Region Proposal Network (RPN) is used to generate object proposals, and the end-to-end training process allows for an efficient and effective solution for semantic image search. The proposed model was trained end-to-end, providing a promising solution for semantic image search that retrieves images that match the meaning of the text query and generates semantically relevant object proposals.


title: PointWavelet: Learning in Spectral Domain for 3D Point Cloud Analysis

abstract: With recent success of deep learning in 2D visual recognition, deep learning-based 3D point cloud analysis has received increasing attention from the community, especially due to the rapid development of autonomous driving technologies. However, most existing methods directly learn point features in the spatial domain, leaving the local structures in the spectral domain poorly investigated. In this paper, we introduce a new method, PointWavelet, to explore local graphs in the spectral domain via a learnable graph wavelet transform. Specifically, we first introduce the graph wavelet transform to form multi-scale spectral graph convolution to learn effective local structural representations. To avoid the time-consuming spectral decomposition, we then devise a learnable graph wavelet transform, which significantly accelerates the overall training process. Extensive experiments on four popular point cloud datasets, ModelNet40, ScanObjectNN, ShapeNet-Part, and S3DIS, demonstrate the effectiveness of the proposed method on point cloud classification and segmentation.


title: On meromorphic solutions of Malmquist type difference equations

abstract: Recently, the present authors used Nevanlinna theory to provide a classification for the Malmquist type difference equations of the form $f(z+1)^n=R(z,f)$ $(\dag)$ that have transcendental meromorphic solutions, where $R(z,f)$ is rational in both arguments. In this paper, we first complete the classification for the case $\deg_{f}(R(z,f))=n$ of~$(\dag)$ by identifying a new equation that was left out in our previous work. We will actually derive all the equations in this case based on some new observations on~$(\dag)$. Then, we study the relations between $(\dag)$ and its differential counterpart $(f')^n=R(z,f)$. We show that most autonomous equations, singled out from~$(\dag)$ with $n=2$, have a natural continuum limit to either the differential Riccati equation $f'=a+f^2$ or the differential equation $(f')^2=a(f^2-\tau_1^2)(f^2-\tau_2^2)$, where $a\not=0$ and $\tau_i$ are constants such that $\tau_1^2\not=\tau_2^2$. The latter second degree differential equation and the symmetric QRT map are derived from each other using the bilinear method and the continuum limit method.


title: Proving a conjecture for fusion systems on a class of groups

abstract: We prove the conjecture that exotic and block-exotic fusion systems coincide holds for all fusion systems on exceptional $p$-groups of maximal nilpotency class, where $p \geq 5$. This is done by considering a family of exotic fusion systems discovered by Parker and Stroth. Together with a previous result by the author, which we also generalise in this paper, and a result by Grazian and Parker this implies the conjecture for fusion systems on such groups. Considering small primes, there are no exotic fusion systems on $2$-groups of maximal class and for $p = 3$, we prove block-exoticity of two exotic fusion systems described by Diaz--Ruiz--Viruel.


title: Banks of templates for directed and all-sky narrow-band searches of continuous gravitational waves from spinning neutron stars with several spindowns

abstract: We construct efficient banks of templates suitable for searches of continuous gravitational waves from isolated spinning neutron stars. We assume that the search algorithm is based on the time-domain maximum-likelihood $\mathcal{F}$-statistic and we consider narrow-band searches with several spindown parameters included. Our template banks are suitable for both all-sky and directed searches and they enable the usage of the fast Fourier transform in the computation of the $\mathcal{F}$-statistic as well as, in the case of all-sky searches, efficient resampling of data to barycentric time.


title: High efficient cyclic electron flow and functional supercomplexes in Chlamydomonas cells

abstract: A very high rate for cyclic electron flow (CEF) around PSI (~180 s-1 or 210 s-1 in minimum medium or in the presence of a carbon source respectively) is measured in the presence of methyl viologen (MV) in intact cells of Chlamydomonas reinhardtii under anaerobic conditions. The observation of an efficient CEF in the presence of methyl viologen is in agreement with the previous results reports of Asada et al in broken chloroplasts (Plant Cell Physiol. 31(4) (1990) 557-564). From the analysis of the P700 and PC absorbance changes, we propose that a confinement between 2 PC molecules, 1 PSI and 1 cytb6f corresponding to a functional supercomplex is responsible for these high rates of CEF. Supercomplex formation is also observed in the absence of methyl viologen, but with lower maximal CEF rate (about 100 s-1) suggesting that this compound facilitates the mediation of electron transfer from PSI acceptors to the stromal side of cytb6f. Further analysis of CEF in mutants of Chlamydomonas defective in state transitions shows the requirement of a kinase-driven transition to state 2 to establish this functional supercomplex configuration. However, a movement of the LHCII antennae is not involved in this process. We discuss the possible involvement of auxiliary proteins, among which is a small cytb6f-associated polypeptide, the PETO protein, which is one of the targets of the STT7 kinase.


title: The Wisdom of Hindsight Makes Language Models Better Instruction Followers

abstract: Reinforcement learning has seen wide success in finetuning large language models to better align with instructions via human feedback. The so-called algorithm, Reinforcement Learning with Human Feedback (RLHF) demonstrates impressive performance on the GPT series models. However, the underlying Reinforcement Learning (RL) algorithm is complex and requires an additional training pipeline for reward and value networks. In this paper, we consider an alternative approach: converting feedback to instruction by relabeling the original one and training the model for better alignment in a supervised manner. Such an algorithm doesn't require any additional parameters except for the original language model and maximally reuses the pretraining pipeline. To achieve this, we formulate instruction alignment problem for language models as a goal-reaching problem in decision making. We propose Hindsight Instruction Relabeling (HIR), a novel algorithm for aligning language models with instructions. The resulting two-stage algorithm shed light to a family of reward-free approaches that utilize the hindsightly relabeled instructions based on feedback. We evaluate the performance of HIR extensively on 12 challenging BigBench reasoning tasks and show that HIR outperforms the baseline algorithms and is comparable to or even surpasses supervised finetuning.


title: A note on the spectral gap for log-concave probability measures on convex bodies

abstract: In this paper, we provide explicit lower bounds with respect to some quantities of interest (parameters of the underlying distribution, dimension, geometrical characteristics of the domain, position of the origin, etc.) on the spectral gap of log-concave probability measures on convex bodies. Our results are illustrated by some classical and less classical examples.


title: Covariance inequalities for convex and log-concave functions

abstract: Extending results of Harg{\'e} and Hu for the Gaussian measure, we prove inequalities for the covariance Cov$_\mu(f, g)$ where $\mu$ is a general product probability measure on $\mathbb{R}^d$ and $f,g: \mathbb{R}^d \to \mathbb{R}$ satisfy some convexity or log-concavity assumptions, with possibly some symmetries.


title: A Survey on Causal Reinforcement Learning

abstract: While Reinforcement Learning (RL) achieves tremendous success in sequential decision-making problems of many domains, it still faces key challenges of data inefficiency and the lack of interpretability. Interestingly, many researchers have leveraged insights from the causality literature recently, bringing forth flourishing works to unify the merits of causality and address well the challenges from RL. As such, it is of great necessity and significance to collate these Causal Reinforcement Learning (CRL) works, offer a review of CRL methods, and investigate the potential functionality from causality toward RL. In particular, we divide existing CRL approaches into two categories according to whether their causality-based information is given in advance or not. We further analyze each category in terms of the formalization of different models, ranging from the Markov Decision Process (MDP), Partially Observed Markov Decision Process (POMDP), Multi-Arm Bandits (MAB), and Dynamic Treatment Regime (DTR). Moreover, we summarize the evaluation matrices and open sources while we discuss emerging applications, along with promising prospects for the future development of CRL.


title: Boosting 3D Point Cloud Registration by Transferring Multi-modality Knowledge

abstract: The recent multi-modality models have achieved great performance in many vision tasks because the extracted features contain the multi-modality knowledge. However, most of the current registration descriptors have only concentrated on local geometric structures. This paper proposes a method to boost point cloud registration accuracy by transferring the multi-modality knowledge of pre-trained multi-modality model to a new descriptor neural network. Different to the previous multi-modality methods that requires both modalities, the proposed method only requires point clouds during inference. Specifically, we propose an ensemble descriptor neural network combining pre-trained sparse convolution branch and a new point-based convolution branch. By fine-tuning on a single modality data, the proposed method achieves new state-of-the-art results on 3DMatch and competitive accuracy on 3DLoMatch and KITTI.


title: CGA-PoseNet: Camera Pose Regression via a 1D-Up Approach to Conformal Geometric Algebra

abstract: We introduce CGA-PoseNet, which uses the 1D-Up approach to Conformal Geometric Algebra (CGA) to represent rotations and translations with a single mathematical object, the motor, for camera pose regression. We do so starting from PoseNet, which successfully predicts camera poses from small datasets of RGB frames. State-of-the-art methods, however, require expensive tuning to balance the orientational and translational components of the camera pose.This is usually done through complex, ad-hoc loss function to be minimized, and in some cases also requires 3D points as well as images. Our approach has the advantage of unifying the camera position and orientation through the motor. Consequently, the network searches for a single object which lives in a well-behaved 4D space with a Euclidean signature. This means that we can address the case of image-only datasets and work efficiently with a simple loss function, namely the mean squared error (MSE) between the predicted and ground truth motors. We show that it is possible to achieve high accuracy camera pose regression with a significantly simpler problem formulation. This 1D-Up approach to CGA can be employed to overcome the dichotomy between translational and orientational components in camera pose regression in a compact and elegant way.


title: Reciprocity gap functional methods for potentials/sources with small volume support for two elliptic equations

abstract: In this paper, we consider inverse shape problems coming from diffuse optical tomography and inverse scattering. In both problems, our goal is to reconstruct small volume interior regions from measured data on the exterior surface of an object. In order to achieve this, we will derive an asymptotic expansion of the reciprocity gap functional associated with each problem. The reciprocity gap functional takes in the measured Cauchy data on the exterior surface of the object. In diffuse optical tomography, we prove that a MUSIC-type algorithm can be used to recover the unknown subregions. This gives an analytically rigorous and computationally simple method for recovering the small volume regions. For the problem coming from inverse scattering, we recover the subregions of interest via a direct sampling method. The direct sampling method presented here allows us to accurately recover the small volume region from one pair of Cauchy data. We also prove that the direct sampling method is stable with respect to noisy data. Numerical examples will be presented for both cases in two dimensions where the measurement surface is the unit circle.


title: CEN-HDR: Computationally Efficient neural Network for real-time High Dynamic Range imaging

abstract: High dynamic range (HDR) imaging is still a challenging task in modern digital photography. Recent research proposes solutions that provide high-quality acquisition but at the cost of a very large number of operations and a slow inference time that prevent the implementation of these solutions on lightweight real-time systems. In this paper, we propose CEN-HDR, a new computationally efficient neural network by providing a novel architecture based on a light attention mechanism and sub-pixel convolution operations for real-time HDR imaging. We also provide an efficient training scheme by applying network compression using knowledge distillation. We performed extensive qualitative and quantitative comparisons to show that our approach produces competitive results in image quality while being faster than state-of-the-art solutions, allowing it to be practically deployed under real-time constraints. Experimental results show our method obtains a score of 43.04 mu-PSNR on the Kalantari2017 dataset with a framerate of 33 FPS using a Macbook M1 NPU.


title: Deep Reinforcement Learning-based Energy Efficiency Optimization For Flying LoRa Gateways

abstract: A resource-constrained unmanned aerial vehicle (UAV) can be used as a flying LoRa gateway (GW) to move inside the target area for efficient data collection and LoRa resource management. In this work, we propose deep reinforcement learning (DRL) to optimize the energy efficiency (EE) in wireless LoRa networks composed of LoRa end devices (EDs) and a flying GW to extend the network lifetime. The trained DRL agent can efficiently allocate the spreading factors (SFs) and transmission powers (TPs) to EDs while considering the air-to-ground wireless link and the availability of SFs. In addition, we allow the flying GW to adjust its optimal policy onboard and perform online resource allocation. This is accomplished through retraining the DRL agent using reduced action space. Simulation results demonstrate that our proposed DRL-based online resource allocation scheme can achieve higher EE in LoRa networks over three benchmark schemes.


title: Whispering gallery modes for a transmission problem

abstract: We construct a specific family of eigenfunctions for a Laplace operator with coefficients having a jump across an interface. These eigenfunctions have an exponential concentration arbitrarily close to the interface, and therefore could be considered as whispering gallery modes. The proof is based on an appropriate Agmon estimate. We deduce as a corollary that the quantitative unique continuation result for waves propagating in singular media proved by the author in [Fil22] is optimal.


title: Quantum metrology with critical driven-dissipative collective spin system

abstract: We propose a critical dissipaive quantum metrology schemes for single parameter estimation which are based on a quantum probe consisting of coherently driven ensemble of $N$ spin-1/2 particles under the effect of squeezed, collective spin decay. The collective spin system exhibits a dissipative phase transition between thermal and ferromagnetic phases, which is characterized with nonanalytical behavior of the spin observables. We show that thanks to the dissipative phase transition the sensitivity of the parameter estimation can be significantly enhanced. Furthermore, we show that our steady state is an entangled spin squeezed state which allow to perform parameter estimation with sub shot-noise limited measurement uncertainty.


title: Computing the Charlap-Coley-Robbins modular polynomials

abstract: Let $\mathcal{E}$ be an elliptic curve over a field $K$ and $\ell$ a prime. There exists an elliptic curve $\mathcal{E}^*$ related to $\mathcal{E}$ by anisogeny (rational map that is also a group homomorphisms) of degree $\ell$ if and only $\Phi_\ell(X, j(\mathcal{E})) = 0$, where $\Phi_\ell(X, Y)$ is the traditional modular polynomial. Moreover, the modular polynomial gives the coefficients of $\mathcal{E}^*$, together with parameters needed to build the isogeny explicitly. Since the traditional modular polynomial has large coefficients, many families with smaller coefficients can be used instead, as described by Elkies, Atkin and others. In this work, we concentrate on the computation of the family of modular polynomials introduced by Charlap, Coley and Robbins. It has the advantage of giving directly the coefficients of $\mathcal{E}^*$ as roots of these polynomials. We review and adapt the known algorithms to perform the computations of modular polynomials. After describing the use of series computations, we investigate fast algorithms using floating point numbers based on fast numerical evaluation of Eisenstein series. We also explain how to use isogeny volcanoes as an alternative.


title: On Lipschitz solutions of mean field games master equations

abstract: We develop a theory of existence and uniqueness of solutions of MFG master equations when the initial condition is Lipschitz continuous. Namely, we show that as long as the solution of the master equation is Lipschitz continuous in space, it is uniquely defined. Because we do not impose any structural assumptions, such as monotonicity for instance, there is a maximal time of existence for the notion of solution we provide. We analyze three cases: the case of a finite state space, the case of master equation set on a Hilbert space, and finally on the set of probability measures, all in cases involving common noises. In the last case, the Lipschitz continuity we refer to is on the gradient of the value function with respect to the state variable of the player.


title: Decentralized Exchanges: The Profitability Frontier of Constant Product Market Makers

abstract: In this paper we analyze constant product market makers (CPMMs). We formalize the liquidity providers' profitability conditions and introduce a concept we call the profitability frontier in the xyk-space. We study the effect of mint and burn fees on the profitability frontier, consider various pool types, and compile a large data set from all Uniswap V2 transactions. We use this data to further study our theoretical framework and the profitability conditions. We show how the profitability of liquidity provision is severely affected by the costs of mint and burn events relative to the portfolio size and the characteristics of the trading pair.


title: Anyons in a tight wave-guide and the Tonks-Girardeau gas

abstract: We consider a many-body system of 2D anyons, free quantum particles with general statistics parameter \alpha \in ]0,2[. In the magnetic gauge picture they are described as bosons attached to Aharonov-Bohm fluxes of intensity 2 \pi \alpha generating long-range magnetic forces. A dimensional reduction to 1D is obtained by imposing a strongly anisotropic trapping potential. This freezes the motion in the direction of strong trapping, leading to 1D physics along the weak direction. The latter is governed to leading order by the Tonks-Girardeau model of impenetrable bosons, independently of \alpha.

categories: math.AP cond-mat.mes-hall cond-mat.quant-gas math-ph math.MP math.SP


title: Types of quantum turbulence

abstract: We collect and describe the observed geometrical and dynamical properties of turbulence in quantum fluids, particularly superfluid helium and atomic condensates for which more information about turbulence is available. Considering the spectral features, the temporal decay, and the comparison with relevant turbulent classical flows, we identify three main limiting types of quantum turbulence: Kolmogorov quantum turbulence, Vinen quantum turbulence, and strong quantum turbulence. This classification will be useful to analyse and interpret new results in these and other quantum fluids.


title: This is SpArta: Rigorous Optimization of Regionally Resolved Energy Systems by Spatial Aggregation and Decomposition

abstract: Energy systems with high shares of renewable energy are characterized by local variability and grid limitations. The synthesis of such energy systems, therefore, requires models with high spatial resolution. However, high spatial resolution increases the computational effort. Here, we present the SpArta method for rigorous optimization of regionally resolved energy systems by Spatial Aggregation and decomposition. SpArta significantly reduces computational effort while maintaining the full spatial resolution of sector-coupled energy systems. SpArta first reduces problem size by spatially aggregating the energy system using clustering. The aggregated problem is then relaxed and restricted to obtain a lower and an upper bound. The spatial resolution is iteratively increased until the difference between upper and lower bound satisfies a predefined optimality gap. Finally, each cluster of the aggregated problem is redesigned at full resolution. For this purpose, SpArta decomposes the original synthesis problem into subproblems for each cluster. Combining the redesigned cluster solutions yields an optimal feasible solution of the full-scale problem within a predefined optimality gap. SpArta thus optimizes large-scale energy systems rigorously with significant reductions in computational effort. We apply SpArta to a case study of the sector-coupled German energy system, reducing the computational time by a factor of 7.5, compared to the optimization of the same problem at full spatial resolution. As SpArta shows a linear increase in computational time with problem size, SpArta enables computing larger problems allowing to resolve energy system designs with improved accuracy.


title: Protoplanetary Disk Science with the Orbiting Astronomical Satellite Investigating Stellar Systems (OASIS) Observatory

abstract: The Orbiting Astronomical Satellite for Investigating Stellar Systems (OASIS) is a NASA Astrophysics MIDEX-class mission concept, with the stated goal of following water from galaxies, through protostellar systems, to Earth's oceans. This paper details the protoplanetary disk science achievable with OASIS. OASIS's suite of heterodyne receivers allow for simultaneous, high spectral resolution observations of water emission lines spanning a large range of physical conditions within protoplanetary disks. These observations will allow us to map the spatial distribution of water vapor in disks across evolutionary stages and assess the importance of water, particularly the location of the midplane water snowline, to planet formation. OASIS will also detect the H2 isotopologue HD in 100+ disks, allowing for the most accurate determination of total protoplanetary disk gas mass to date. When combined with the contemporaneous water observations, the HD detection will also allow us to trace the evolution of water vapor across evolutionary stages. These observations will enable OASIS to characterize the time development of the water distribution and the role water plays in the process of planetary system formation.


title: Shared Situational Awareness with V2X Communication and Set-membership Estimation

abstract: The ability to perceive and comprehend a traffic situation and to estimate the state of the vehicles and road-users in the surrounding of the ego-vehicle is known as situational awareness. Situational awareness for a heavy-duty autonomous vehicle is a critical part of the automation platform and depends on the ego-vehicle's field-of-view. But when it comes to the urban scenario, the field-of-view of the ego-vehicle is likely to be affected by occlusion and blind spots caused by infrastructure, moving vehicles, and parked vehicles. This paper proposes a framework to improve situational awareness using set-membership estimation and Vehicle-to-Everything (V2X) communication. This framework provides safety guarantees and can adapt to dynamically changing scenarios, and is integrated into an existing complex autonomous platform. A detailed description of the framework implementation and real-time results are illustrated in this paper.


title: Searches for lepton-flavour-violating decays of the Higgs boson into $e\tau$ and $\mu\tau$ in $\sqrt{s}=13$ TeV $pp$ collisions with the ATLAS detector

abstract: This paper presents direct searches for lepton flavour violation in Higgs boson decays, $H\rightarrow e\tau$ and $H\rightarrow\mu\tau$, performed using data collected with the ATLAS detector at the LHC. The searches are based on a data sample of proton-proton collisions at a centre-of-mass energy $\sqrt{s} = 13$ TeV, corresponding to an integrated luminosity of 138 fb$^{-1}$. Leptonic ($\tau \rightarrow \ell \nu_\ell \nu_\tau$) and hadronic ($\tau \rightarrow $ hadrons $ \nu_\tau$) decays of the $\tau$-lepton are considered. Two background estimation techniques are employed: the MC-template method, based on data-corrected simulation samples, and the Symmetry method, based on exploiting the symmetry between electrons and muons in the Standard Model backgrounds. No significant excess of events is observed and the results are interpreted as upper limits on lepton-flavour-violating branching ratios of the Higgs boson. The observed (expected) upper limits set on the branching ratios at 95% confidence level, $\mathcal{B}(H\rightarrow e\tau)<0.20\%$ (0.12%) and $\mathcal{B}(H\rightarrow \mu\tau)<0.18\%$ (0.09%), are obtained with the MC-template method from a simultaneous measurement of potential $H \rightarrow e\tau$ and $H \rightarrow\mu\tau$ signals. The best-fit branching ratio difference, $\mathcal{B}(H\rightarrow \mu\tau)- \mathcal{B}(H\rightarrow e\tau)$, measured with the Symmetry method in the channel where the $\tau$-lepton decays to leptons, is (0.25 $\pm$ 0.10)%, compatible with a value of zero within 2.5$\sigma$.


title: Shrinking the Inductive Programming Search Space with Instruction Subsets

abstract: Inductive programming frequently relies on some form of search in order to identify candidate solutions. However, the size of the search space limits the use of inductive programming to the production of relatively small programs. If we could somehow correctly predict the subset of instructions required for a given problem then inductive programming would be more tractable. We will show that this can be achieved in a high percentage of cases. This paper presents a novel model of programming language instruction co-occurrence that was built to support search space partitioning in the Zoea distributed inductive programming system. This consists of a collection of intersecting instruction subsets derived from a large sample of open source code. Using the approach different parts of the search space can be explored in parallel. The number of subsets required does not grow linearly with the quantity of code used to produce them and a manageable number of subsets is sufficient to cover a high percentage of unseen code. This approach also significantly reduces the overall size of the search space - often by many orders of magnitude.


title: Charge Density Wave Order in Superconducting Topological Insulator Nbx-Bi2Se3

abstract: Spontaneously broken symmetry in the ground state of Bi-based topological materials can lead to promising Topological superconductors, such as Cu-Bi2Se3, Sr-Bi2Se3 and Nb-Bi2Se3. In recent studies, coexistence of multiple Fermi surface features and superconductivity was found in Nb-Bi2Se3. However, the resultant mutliple Fermi surface--charge density wave has not been experimentally reported yet. In this paper, we report possible evidence of co-occurence of a charge density wave (CDW) ground state and a superconducting (SC) ground state in Nb intercalated Bi2Se3. An intercalation induced Periodic Lattice Distortion appears to help stabilize the CDW state, possibly assisting in the formation of 1D chains and rendering electronic and phonon anisotropy to this intriguing system.


title: Tensor-to-scalar ratio forecasts for extended LiteBIRD frequency configurations

abstract: LiteBIRD is a planned JAXA-led CMB B-mode satellite experiment aiming for launch in the late 2020s, with a primary goal of detecting the imprint of primordial inflationary gravitational waves. Its current baseline focal-plane configuration includes 15 frequency bands between 40 and 402 GHz, fulfilling the mission requirements to detect the amplitude of gravitational waves with the total uncertainty on the tensor-to-scalar ratio, $\delta r$, down to $\delta r<0.001$. A key aspect of this performance is accurate astrophysical component separation, and the ability to remove polarized thermal dust emission is particularly important. In this paper we note that the CMB frequency spectrum falls off nearly exponentially above 300 GHz relative to the thermal dust SED, and a relatively minor high frequency extension can therefore result in even lower uncertainties and better model reconstructions. Specifically, we compare the baseline design with five extended configurations, while varying the underlying dust modeling, in each of which the HFT (High-Frequency Telescope) frequency range is shifted logarithmically towards higher frequencies, with an upper cutoff ranging between 400 and 600 GHz. In each case, we measure the tensor-to-scalar ratio $r$ uncertainty and bias using both parametric and minimum-variance component-separation algorithms. When the thermal dust sky model includes a spatially varying spectral index and temperature, we find that the statistical uncertainty on $r$ after foreground cleaning may be reduced by as much as 30--50 % by extending the upper limit of the frequency range from 400 to 600 GHz, with most of the improvement already gained at 500 GHz. We also note that a broader frequency range leads to better ability to discriminate between models through higher $\chi^2$ sensitivity. (abridged)


title: Responsible Robotics: A Socio-Ethical Addition To Robotics Courses

abstract: We are witnessing a rapid increase in real-world autonomous robotic deployments in environments ranging from indoor homes and commercial establishments to large-scale urban areas, with applications ranging from domestic assistance to urban last-mile delivery. The developers of these robots inevitably have to make impactful design decisions to ensure commercial viability, but such decisions have serious real-world consequences. Unfortunately, it is not uncommon for such projects to face intense bouts of social backlash, which can be attributed to a wide variety of causes, ranging from inappropriate technical design choices to transgressions of social norms and lack of community engagement. To better prepare students for the rigors of developing and deploying real-world robotics systems, we developed a Responsible Robotics teaching module, intended to be included in upper-division and graduate-level robotics courses. Our module is structured as a role-playing exercise that aims to equip students with a framework for navigating the conflicting goals of human actors which govern robots in the field. We report on instructor reflections and anonymous survey responses from offering our responsible robotics module in graduate-level and upper-division undergraduate robotics courses at UT Austin. The responses indicate that students gained a deeper understanding of the socio-technical factors of real-world robotics deployments than they might have using self-study methods, and the students proactively suggested that such modules should be more broadly included in CS courses.


title: Microlensing due to free-floating moon-planet systems

abstract: Gravitational microlensing is a powerful method for detecting and characterizing free-floating planetary-mass objects (FFPs). FFPs could have exomoons rotating them. In this work, we study the probability of realizing these systems (i.e., free-floating moon-planet ones) through microlensing observations. These systems make mostly close caustic configurations with a considerable finite-source effect. We investigate finite-source microlensing light curves owing to free-floating moon-planet systems. We conclude that crossing planetary caustics causes an extensive extra peak at light curves' wing that only changes its width if the source star does not cross the central caustic. If the source trajectory is normal to the moon-planet axis, the moon-induced perturbation has a symmetric shape with respect to the magnification peak, and its light curve is similar to a single-lens one with a higher finite-source effect. We evaluate the \wfirst~efficiency for realizing moon-induced perturbations, which is $\left[0.002-0.094\right]\%$ by assuming a log-uniform distribution for moon-planet mass ratio in the range $\in\left[-9,~-2\right]$. The highest detection efficiency (i.e., $\simeq 0.094\%$) happens for Saturn-mass planets when moon-planet distance is $\sim 43 R_{\rm p}$, where $R_{\rm p}$ is the Saturn radius. Enhancing planetary mass extends the event's time scale and decreases the finite-source effect, but it reduces the projected moon-planet distance normalized to the Einstein radius $s(R_{\rm E})$ which in turn decreases the size of planetary caustics and takes them away from the host planet's position in close caustic configurations.


title: Orthogonal cycle systems with cycle length less than 10

abstract: An $H$-decomposition of $G$ is a partition of the edge-set of $G$ into subsets, where each subset induces a copy of the graph $H$. A $k$-orthogonal $H$-decomposition of a graph $G$ is a set of $k$ $H$-decompositions of $G$, such that any two copies of $H$ in distinct $H$-decompositions intersect in at most one edge. When $G=K_v$ we call the $H$-decomposition an $H$-system of order $v$. In this paper we consider the case $H$ is an $l$-cycle and construct a pair of orthogonal $l$-cycle systems for all admissible orders when $l=5,6,7, 8\ or\ 9$, except $(l,v)=(7,7)$ and $(l,v)=(9,9)$.


title: A Dwarf Galaxy Debris Stream Associated with Palomar 1 and the Anticenter Stream

abstract: We report the discovery of a new stream (dubbed as Yangtze) detected in $Gaia$ Data Release 3. The stream is at a heliocentric distance of $\sim$ 9.12 kpc and spans nearly 27$\deg$ by 1.9$\deg$ on sky. The colour-magnitude diagram of Yangtze indicates a stellar population of Age $\sim$ 11 Gyr and [M/H] $\sim$ -0.7 dex. It has a number density of about 5.5 stars degree$^{-2}$ along with a surface brightness of $\Sigma_G \simeq$ 34.9 mag arcsec$^{-2}$. The dynamics and metallicity estimate suggest that Yangtze may be closely related to Palomar 1 and the Anticenter stream.


title: Fundamentals of Lie categories

abstract: We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible morphisms $\mathcal G(\mathcal C)$, we develop sufficient conditions for $\mathcal G(\mathcal C)$ to form a Lie groupoid. We show that the construction of Lie algebroids from the theory of Lie groupoids carries through, and ask when the Lie algebroid of $\mathcal G(\mathcal C)$ is recovered. We reveal that the lack of invertibility assumption on morphisms leads to a natural generalization of rank from linear algebra, develop its general properties, and show how the existence of an extension $\mathcal C\hookrightarrow \mathcal G$ of a Lie category to a Lie groupoid affects the ranks of morphisms and the algebroids of $\mathcal C$. Furthermore, certain completeness results for invariant vector fields on Lie monoids and Lie categories with well-behaved boundaries are obtained. Interpreting the developed framework in the context of physical processes, we yield a rigorous approach to the theory of statistical thermodynamics by observing that entropy change, associated to a physical process, is a functor.


title: Approximating the density of states for Poisson distributed random Schroedinger operators

abstract: We consider a Schroedinger operator with random potential distributed according to a Poisson process. We show that expectations of matrix elements of the resolvent as well as the density of states can be approximated to arbitrary precision in powers of the coupling constant. The expansion coefficients are given in terms of expectations obtained by Neumann expanding the potential around the free Laplacian. One can control these expansion coefficients in the infinite volume limit. We show that for this limit the boundary value as the spectral parameter approaches the real axis exists as well. Our results are valid for arbitrary strength of the disorder parameter, including the small disorder regime.