title: Predicting Missing Light Curves of Gamma-Ray Bursts with Bidirectional-LSTM: An Approach for Enhanced Analysis

abstract: Gamma-ray bursts (GRB) are powerful transient events that emit a large output of gamma rays within a few seconds. Studying these short bursts is vital for cosmological research since they originate from sources observed at large redshifts. To effectively carry out these studies, it is crucial to establish a correlation between the observable features of GRBs while reducing their uncertainty. For these reasons, a comprehensive description of the general GRB light curve (LC) would be crucial for the studies. However, unevenly spaced observations and significant gaps in the LC, which are primarily unavoidable for various reasons, make it difficult to characterize GRBs. Therefore, the general classification of GRB LCs remains challenging. In this study, we present a novel approach to reconstruct gamma-ray burst (GRB) light curves using bidirectional Long Short-Term Memory (BiLSTM). Experimental results show that the BiLSTM approach performs better than traditional methods and produces smoother and more convincing reconstructions for GRBs.


title: Detecting a late changepoint in the preferential attachment model

abstract: Motivated by the problem of detecting a change in the evolution of a network, we consider the preferential attachment random graph model with a time-dependent attachment function. Our goal is to detect whether the attachment mechanism changed over time, based on a single snapshot of the network and without directly observable information about the dynamics. We cast this question as a hypothesis testing problem, where the null hypothesis is a preferential attachment model with a constant affine attachment parameter $\delta_0$, and the alternative hypothesis is a preferential attachment model where the affine attachment parameter changes from $\delta_0$ to $\delta_1$ at an unknown changepoint time $\tau_n$. For our analysis we focus on the regime where $\delta_0$ and $\delta_1$ are fixed, and the changepoint occurs close to the observation time of the network (i.e., $\tau_n = n - c n^\gamma$ with $c>0$ and $\gamma \in (0, 1)$). This corresponds to the relevant scenario where we aim to detect the changepoint shortly after it has happened. We present two tests based on the number of vertices with minimal degree, and show that these are asymptotically powerful when $\tfrac{1}{2}<\gamma<1$. We conjecture that there is no powerful test based on the final network snapshot when $\gamma < \tfrac{1}{2}$. The first test we propose requires knowledge of $\delta_0$. The second test is significantly more involved, and does not require the knowledge of $\delta_0$ while still achieving the same performance guarantees. Furthermore, we prove that the test statistics for both tests are asymptotically normal, allowing for accurate calibration of the tests. This is demonstrated by numerical experiments, that also illustrate the finite sample test properties.


title: On the Last-iterate Convergence in Time-varying Zero-sum Games: Extra Gradient Succeeds where Optimism Fails

abstract: Last-iterate convergence has received extensive study in two player zero-sum games starting from bilinear, convex-concave up to settings that satisfy the MVI condition. Typical methods that exhibit last-iterate convergence for the aforementioned games include extra-gradient (EG) and optimistic gradient descent ascent (OGDA). However, all the established last-iterate convergence results hold for the restrictive setting where the underlying repeated game does not change over time. Recently, a line of research has focused on regret analysis of OGDA in time-varying games, i.e., games where payoffs evolve with time; the last-iterate behavior of OGDA and EG in time-varying environments remains unclear though. In this paper, we study the last-iterate behavior of various algorithms in two types of unconstrained, time-varying, bilinear zero-sum games: periodic and convergent perturbed games. These models expand upon the usual repeated game formulation and incorporate external environmental factors, such as the seasonal effects on species competition and vanishing external noise. In periodic games, we prove that EG will converge while OGDA and momentum method will diverge. This is quite surprising, as to the best of our knowledge, it is the first result that indicates EG and OGDA have qualitatively different last-iterate behaviors and do not exhibit similar behavior. In convergent perturbed games, we prove all these algorithms converge as long as the game itself stabilizes with a faster rate than $1/t$.


title: Multi-Agent Reinforcement Learning for Power Grid Topology Optimization

abstract: Recent challenges in operating power networks arise from increasing energy demands and unpredictable renewable sources like wind and solar. While reinforcement learning (RL) shows promise in managing these networks, through topological actions like bus and line switching, efficiently handling large action spaces as networks grow is crucial. This paper presents a hierarchical multi-agent reinforcement learning (MARL) framework tailored for these expansive action spaces, leveraging the power grid's inherent hierarchical nature. Experimental results indicate the MARL framework's competitive performance with single-agent RL methods. We also compare different RL algorithms for lower-level agents alongside different policies for higher-order agents.


title: Learning adjacency matrix for dynamic graph neural network

abstract: In recent work, [1] introduced the concept of using a Block Adjacency Matrix (BA) for the representation of spatio-temporal data. While their method successfully concatenated adjacency matrices to encapsulate spatio-temporal relationships in a single graph, it formed a disconnected graph. This limitation hampered the ability of Graph Convolutional Networks (GCNs) to perform message passing across nodes belonging to different time steps, as no temporal links were present. To overcome this challenge, we introduce an encoder block specifically designed to learn these missing temporal links. The encoder block processes the BA and predicts connections between previously unconnected subgraphs, resulting in a Spatio-Temporal Block Adjacency Matrix (STBAM). This enriched matrix is then fed into a Graph Neural Network (GNN) to capture the complex spatio-temporal topology of the network. Our evaluations on benchmark datasets, surgVisDom and C2D2, demonstrate that our method, with slightly higher complexity, achieves superior results compared to state-of-the-art results. Our approach's computational overhead remains significantly lower than conventional non-graph-based methodologies for spatio-temporal data.


title: Convergence Analysis of Kernel Conjugate Gradient for Functional Linear Regression

abstract: In this paper, we discuss the convergence analysis of the conjugate gradient-based algorithm for the functional linear model in the reproducing kernel Hilbert space framework, utilizing early stopping results in regularization against over-fitting. We establish the convergence rates depending on the regularity condition of the slope function and the decay rate of the eigenvalues of the operator composition of covariance and kernel operator. Our convergence rates match the minimax rate available from the literature.


title: Resolving a Clearing Member's Default, A Radner Equilibrium Approach

abstract: For vanilla derivatives that constitute the bulk of investment banks' hedging portfolios, central clearing through central counterparties (CCPs) has become hegemonic. A key mandate of a CCP is to provide an efficient and proper clearing member default resolution procedure. When a clearing member defaults, the CCP can hedge and auction or liquidate its positions. The counterparty credit risk cost of auctioning has been analyzed in terms of XVA metrics in Bastide, Cr{\'e}pey, Drapeau, and Tadese (2023). In this work we assess the costs of hedging or liquidating. This is done by comparing pre- and post-default market equilibria, using a Radner equilibrium approach for portfolio allocation and price discovery in each case. We show that the Radner equilibria uniquely exist and we provide both analytical and numerical solutions for the latter in elliptically distributed markets. Using such tools, a CCP could decide rationally on which market to hedge and auction or liquidate defaulted portfolios.


title: RLTrace: Synthesizing High-Quality System Call Traces for OS Fuzz Testing

abstract: Securing operating system (OS) kernel is one central challenge in today's cyber security landscape. The cutting-edge testing technique of OS kernel is software fuzz testing. By mutating the program inputs with random variations for iterations, fuzz testing aims to trigger program crashes and hangs caused by potential bugs that can be abused by the inputs. To achieve high OS code coverage, the de facto OS fuzzer typically composes system call traces as the input seed to mutate and to interact with OS kernels. Hence, quality and diversity of the employed system call traces become the prominent factor to decide the effectiveness of OS fuzzing. However, these system call traces to date are generated with hand-coded rules, or by analyzing system call logs of OS utility programs. Our observation shows that such system call traces can only subsume common usage scenarios of OS system calls, and likely omit hidden bugs. In this research, we propose a deep reinforcement learning-based solution, called RLTrace, to synthesize diverse and comprehensive system call traces as the seed to fuzz OS kernels. During model training, the deep learning model interacts with OS kernels and infers optimal system call traces w.r.t. our learning goal -- maximizing kernel code coverage. Our evaluation shows that RLTrace outperforms other seed generators by producing more comprehensive system call traces, subsuming system call corner usage cases and subtle dependencies. By feeding the de facto OS fuzzer, SYZKALLER, with system call traces synthesized by RLTrace, we show that SYZKALLER can achieve higher code coverage for testing Linux kernels. Furthermore, RLTrace found one vulnerability in the Linux kernel (version 5.5-rc6), which is publicly unknown to the best of our knowledge by the time of writing.


title: Non-Hermitian dynamics and nonreciprocity of optically coupled nanoparticles

abstract: Non-Hermitian dynamics, as observed in photonic, atomic, electrical, and optomechanical platforms, holds great potential for sensing applications and signal processing. Recently, fully tunable nonreciprocal optical interaction has been demonstrated between levitated nanoparticles. Here, we use this tunability to investigate the collective non-Hermitian dynamics of two nonreciprocally and nonlinearly interacting nanoparticles. We observe parity-time symmetry breaking and, for sufficiently strong coupling, a collective mechanical lasing transition, where the particles move along stable limit cycles. This work opens up a research avenue of nonequilibrium multi-particle collective effects, tailored by the dynamic control of individual sites in a tweezer array.


title: Analyzing and Improving Optimal-Transport-based Adversarial Networks

abstract: Optimal Transport (OT) problem aims to find a transport plan that bridges two distributions while minimizing a given cost function. OT theory has been widely utilized in generative modeling. In the beginning, OT distance has been used as a measure for assessing the distance between data and generated distributions. Recently, OT transport map between data and prior distributions has been utilized as a generative model. These OT-based generative models share a similar adversarial training objective. In this paper, we begin by unifying these OT-based adversarial methods within a single framework. Then, we elucidate the role of each component in training dynamics through a comprehensive analysis of this unified framework. Moreover, we suggest a simple but novel method that improves the previously best-performing OT-based model. Intuitively, our approach conducts a gradual refinement of the generated distribution, progressively aligning it with the data distribution. Our approach achieves a FID score of 2.51 on CIFAR-10 and 5.99 on CelebA-HQ-256, outperforming unified OT-based adversarial approaches.


title: Top-k contrast order-preserving pattern mining

abstract: Recently, order-preserving pattern (OPP) mining, a new sequential pattern mining method, has been proposed to mine frequent relative orders in a time series. Although frequent relative orders can be used as features to classify a time series, the mined patterns do not reflect the differences between two classes of time series well. To effectively discover the differences between time series, this paper addresses the top-k contrast OPP (COPP) mining and proposes a COPP-Miner algorithm to discover the top-k contrast patterns as features for time series classification, avoiding the problem of improper parameter setting. COPP-Miner is composed of three parts: extreme point extraction to reduce the length of the original time series, forward mining, and reverse mining to discover COPPs. Forward mining contains three steps: group pattern fusion strategy to generate candidate patterns, the support rate calculation method to efficiently calculate the support of a pattern, and two pruning strategies to further prune candidate patterns. Reverse mining uses one pruning strategy to prune candidate patterns and consists of applying the same process as forward mining. Experimental results validate the efficiency of the proposed algorithm and show that top-k COPPs can be used as features to obtain a better classification performance.


title: Monitoring the young planet host V1298 Tau with SPIRou: planetary system and evolving large-scale magnetic field

abstract: We report results of a spectropolarimetric monitoring of the young Sun-like star V1298~Tau based on data collected with the near-infrared spectropolarimeter SPIRou at the Canada-France-Hawaii Telescope between late 2019 and early 2023. Using Zeeman-Doppler Imaging and the Time-dependent Imaging of Magnetic Stars methods on circularly polarized spectra, we reconstructed the large-scale magnetic topology of the star (and its temporal evolution), found to be mainly poloidal and axisymmetric with an average strength varying from 90 to 170 G over the ~3.5 years of monitoring. The magnetic field features a dipole whose strength evolves from 85 to 245 G, and whose inclination with respect to the stellar rotation axis remains stable until 2023 where we observe a sudden change, suggesting that the field may undergo a polarity reversal, potentially similar to those periodically experienced by the Sun. Our data suggest that the differential rotation shearing the surface of V1298 Tau is about 1.5 times stronger than that of the Sun. When coupling our data with previous photometric results from K2 and TESS and assuming circular orbits for all four planets, we report a $3.9\sigma$ detection of the radial velocity signature of the outermost planet (e), associated with a most probable mass, density and orbital period of $M_e=0.95^{+0.33}_{-0.24} \ \rm M_{\rm jup}$, $\rho_e=1.66^{+0.61}_{-0.48}$ $\rm g\,cm^{-3}$ and $P_e=53.0039\pm0.0001 \ \rm d$, respectively. For the 3 inner planets, we only derive 99\% confidence upper limits on their mass of $0.44\ \rm M_{\rm jup}$, $0.22\ \rm M_{\rm jup}$ and $0.25\ \rm M_{\rm jup}$, for b, c and d, respectively.


title: On Quantified Observability Analysis in Multiagent Systems

abstract: In multiagent systems (MASs), agents' observation upon system behaviours may improve the overall team performance, but may also leak sensitive information to an observer. A quantified observability analysis can thus be useful to assist decision-making in MASs by operators seeking to optimise the relationship between performance effectiveness and information exposure through observations in practice. This paper presents a novel approach to quantitatively analysing the observability properties in MASs. The concept of opacity is applied to formally express the characterisation of observability in MASs modelled as partially observable multiagent systems. We propose a temporal logic oPATL to reason about agents' observability with quantitative goals, which capture the probability of information transparency of system behaviours to an observer, and develop verification techniques for quantitatively analysing such properties. We implement the approach as an extension of the PRISM model checker, and illustrate its applicability via several examples.


title: Bifurcation of closed orbits of Hamiltonian systems with application to geodesics of the Schwarzschild metric

abstract: We investigate bifurcation of closed orbits with a fixed energy level for a class of nearly integrable Hamiltonian systems with two degrees of freedom. More precisely, we make a joint use of Moser invariant curve theorem and Poincar\'e-Birkhoff fixed point theorem to prove that a periodic non-degenerate invariant torus $\mathcal{T}$ of the unperturbed problem gives rise to infinitely many closed orbits, bifurcating from a family of tori accumulating onto $\mathcal{T}$. The required non-degeneracy condition, which is nothing but a reformulation of the usual non-degeneracy condition in the isoenergetic KAM theory, is expressed in terms of the derivative of the apsidal angle with respect to the angular momentum: in this way, tools from the theory of time-maps of nonlinear oscillators can be used to verify it in concrete problems. Applications are given to perturbations of central force problems in the plane, and to equatorial geodesic dynamics for perturbations of the Schwarzschild metric.


title: Promoting Astronomy Education: The Helix Nebula and Interdisciplinary Image Reading

abstract: The observation of space seems to have always caused wonder into people's collective consciousness, generating a series of historical myths. More recently specially with the development of better tools alongside the constant refinement of the scientific method Astronomy has consolidated into increasing field of Physics. Yet, representing such field in an accurate manner for beginner students poses a challenge. Appropriate images and descriptions should be chosen, which proves itself a large part of such challenge. Here we perform a technique named Interdisciplinary Image Reading aimed at trying to minimize the problem by improving and therefore promoting better Astronomy Education.


title: Study of multiple ring ELVES with the Mini-EUSO telescope on-board the International Space Station

abstract: Mini-EUSO (Multiwavelength Imaging New Instrument for the Extreme Universe Space Observatory) is a telescope observing the Earth in the ultraviolet band (290-430 nm) from the Russian Zvezda module of the International Space Station since 2019. The telescope is capable of observing UV emissions of cosmic, atmospheric, and terrestrial origin on different time scales. Among the atmospheric phenomena that can be studied, ELVES (Emission of Light and Very low-frequency perturbations due to Electromagnetic pulse Sources) have been photographed by Mini-EUSO with a time resolution of 2.5 us. ELVES are rapidly expanding rings of optical and ultraviolet emissions, 75-95 km in height, resulting from the de-excitation of molecular nitrogen and oxygen in the lower ionosphere following a lightning-associated ElectroMagnetic wave Pulse (EMP). A detailed study of their characteristics, such as radius, speed, and energy, is required for the understanding of these phenomena. In this work, results from the observation of about 30 ELVES with Mini-EUSO will be presented. Using dedicated algorithms, their electro-optical dynamics and morphological characteristics have been thoroughly investigated.


title: Uncertainty of short-term Wind Power Forecasts -- A methodology for on-line Assessment

abstract: The paper introduces a new methodology for assessing on-line the prediction risk of short-term wind power forecasts. The first part of this methodology consists in computing confidence intervals with a confidence level defined by the end-user. The resampling approach is used for this purpose since it permits to avoid a restrictive hypothesis on the distribution of the errors. It has been however appropriately adapted for the wind power prediction problem taking into account the dependency of the errors on the level of predicted power through appropriately defined fuzzy sets. The second part of the proposed methodology introduces two indices, named as MRI and PRI, that quantify the meteorological risk by measuring the spread of multi-scenario Numerical Weather Predictions and wind power predictions respectively. The multi-scenario forecasts considered here are based on the 'poor man's' ensembles approach. The two indices are used either to fine-tune the confidence intervals or to give signals to the operator on the prediction risk, i.e. the probabilities for the occurrence of high prediction errors depending on the weather stability. A relation between these indices and the level of prediction error is shown. Evaluation results over a three-year period on the case of a wind farm in Denmark and over a one-year period on the case of several farms in Ireland are given. The proposed methodology has an operational nature and can be applied to all kinds of wind power forecasting models


title: Generative Modeling of Regular and Irregular Time Series Data via Koopman VAEs

abstract: Generating realistic time series data is important for many engineering and scientific applications. Existing work tackles this problem using generative adversarial networks (GANs). However, GANs are unstable during training, and they can suffer from mode collapse. While variational autoencoders (VAEs) are known to be more robust to the these issues, they are (surprisingly) less considered for time series generation. In this work, we introduce Koopman VAE (KoVAE), a new generative framework that is based on a novel design for the model prior, and that can be optimized for either regular and irregular training data. Inspired by Koopman theory, we represent the latent conditional prior dynamics using a linear map. Our approach enhances generative modeling with two desired features: (i) incorporating domain knowledge can be achieved by leveraging spectral tools that prescribe constraints on the eigenvalues of the linear map; and (ii) studying the qualitative behavior and stability of the system can be performed using tools from dynamical systems theory. Our results show that KoVAE outperforms state-of-the-art GAN and VAE methods across several challenging synthetic and real-world time series generation benchmarks. Whether trained on regular or irregular data, KoVAE generates time series that improve both discriminative and predictive metrics. We also present visual evidence suggesting that KoVAE learns probability density functions that better approximate the empirical ground truth distribution.


title: A priori error analysis of multirate time-stepping schemes for two-phase flow problems

abstract: We present a priori error estimates for a multirate time-stepping scheme for coupled differential equations. The discretization is based on Galerkin methods in time using two different time meshes for two parts of the problem. We aim at surface coupled multiphysics problems like two-phase flows. Special focus is on the handling of the interface coupling to guarantee a coercive formulation as key to optimal order error estimates. In a sequence of increasing complexity, we begin with the coupling of two ordinary differential equations, coupled heat conduction equation, and finally a coupled Stokes problem. For this we show optimal multi-rate estimates in velocity and a suboptimal result in pressure. The a priori estimates prove that the multirate method decouples the two subproblems exactly. This is the basis for adaptive methods which can choose optimal lattices for the respective subproblems.


title: Erd\H{o}s-Hajnal problems for posets

abstract: We say that a poset $(Q,\le_{Q})$ contains an induced copy of a poset $(P,\le_P)$, if there is an injective function $\phi\colon P\to Q$ such that for every two $X,Y\in P$, $X\le_P Y$ if and only if $\phi(X)\le_Q \phi(Y)$. Given a fixed $2$-coloring $c$ of a poset $P$, the poset Erd\H{o}s-Hajnal number of this colored poset is the minimum integer $N$ such that every $2$-coloring of the Boolean lattice $Q_N$ contains an induced copy of $P$ colored as in $c$, or a monochromatic induced copy of $Q_n$. We present bounds on the poset Erd\H{o}s-Hajnal number of general colored posets, antichains, chains, and small Boolean lattices. Let the poset Ramsey number $R(Q_n,Q_n)$ be the minimal $N$ such that every $2$-coloring of $Q_N$ contains a monochromatic induced copy of $Q_n$. As a corollary, we show that $R(Q_n,Q_n)> 2.24n$, improving on the best known lower bound $2n+1$ by Cox and Stolee.


title: Spectral vs Energy Efficiency in 6G: Impact of the Receiver Front-End

abstract: This article puts the spotlight on the receiver front-end (RFE), an integral part of any wireless device that information theory typically idealizes into a mere addition of noise. While this idealization was sound in the past, as operating frequencies, bandwidths, and antenna counts rise, a soaring amount of power is required for the RFE to behave accordingly. Containing this surge in power expenditure exposes a harsher behavior on the part of the RFE (more noise, nonlinearities, and coarse quantization), setting up a tradeoff between the spectral efficiency under such nonidealities and the efficiency in the use of energy by the RFE. With the urge for radically better power consumptions and energy efficiencies in 6G, this emerges as an issue on which information theory can cast light at a fundamental level. More broadly, this article advocates the interest of having information theory embrace the device power consumption in its analyses. In turn, this calls for new models and abstractions such as the ones herein put together for the RFE, and for a more holistic perspective.


title: Stability Analysis of Hypersampled Model Predictive Control

abstract: This paper introduces a new framework for analyzing the stability of discrete-time model predictive controllers acting on continuous-time systems. The proposed framework introduces the distinction between discretization time (used to generate the optimal control problem) and sampling time (used to implement the controller). The paper not only shows that these two time constants are independent, but also motivates the benefits of selecting a sampling time that is smaller than the discretization time. The resulting approach, hereafter referred to as Hypersampled Model Predictive Control, overcomes the traditional trade-off between performance and computational complexity that arises when selecting the sampling time of traditional discrete-time model predictive controllers.


title: Overview of the JEM-EUSO program for the study of ultra-high-energy cosmic-rays from space

abstract: Ultra High Energy Cosmic Rays (UHECRs) offer a unique chance to study the universe at energies inaccessible by man-made accelerators. Observations by ground based observatories have clarified several characteristics of these particles, but their origin, nature, and acceleration mechanisms are still unclear, mostly due to their extremely low flux. Space-based observatories have the potential for an increase in statistics, up to several orders of magnitude, and would be able to cover the whole sky, allowing for a direct comparison of spectra and direction of arrival, but the detector design poses several formidable technical challenges. The JEM-EUSO program has been addressing this problem, trying to open the road of space-based UHECR observations. Several missions have already been completed (on the ground: EUSO-TA; with stratospheric ballons: EUSO-Balloon, EUSO-SPB1 and EUSO-SPB2; in space: TUS\cite{Klimov2017}, MINI-EUSO). Others are under study (K-EUSO) or proposed for the next decade (POEMMA)\cite{Olinto_2021}. In this work we report on the status of the JEM-EUSO program and the technology developed so far.


title: Adaptive Spatio-Temporal Voxels Based Trajectory Planning for Autonomous Driving in Highway Traffic Flow

abstract: Trajectory planning is crucial for the safe driving of autonomous vehicles in highway traffic flow. Currently, some advanced trajectory planning methods utilize spatio-temporal voxels to construct feasible regions and then convert trajectory planning into optimization problem solving based on the feasible regions. However, these feasible region construction methods cannot adapt to the changes in dynamic environments, making them difficult to apply in complex traffic flow. In this paper, we propose a trajectory planning method based on adaptive spatio-temporal voxels which improves the construction of feasible regions and trajectory optimization while maintaining the quadratic programming form. The method can adjust feasible regions and trajectory planning according to real-time traffic flow and environmental changes, realizing vehicles to drive safely in complex traffic flow. The proposed method has been tested in both open-loop and closed-loop environments, and the test results show that our method outperforms the current planning methods.


title: Investigating the orbital evolution of the eccentric HMXB GX 301$-$2 using long-term X-ray lightcurves

abstract: We report the orbital decay rate of the high mass X-ray binary GX 301$-$2 from an analysis of its long-term X-ray light curves and pulsed flux histories from CGRO/BATSE, RXTE/ASM, Swift/BAT, Fermi/GBM and MAXI by timing the pre-periastron flares over a span of almost 30 years. The time of arrival of the pre-periastron flares exhibits an energy dependence (hard lag) and the orbital period decay was estimated after correcting for it. This method of orbital decay estimation is unaffected by the fluctuations in the spin rate of the X-ray pulsar associated with variations in the mass accretion rate. The resulting $\dot P_\textrm{orb}$ $=-(1.98\pm0.28)\times10^{-6}$ s s$^{-1}$ indicates a rapid evolution timescale of $|P_\textrm{orb}/\dot P_\textrm{orb}|\sim 0.6\times10^{5}$ yr, making it the high mass X-ray binary with the fastest orbital decay. Our estimate of $\dot P_\mathrm{orb}$ is off by a factor of $\sim2$ from the previously reported value of $-(3.7\pm0.5)\times10^{-6}$ s s$^{-1}$ estimated from pulsar TOA analysis. We discuss various possible mechanisms that could drive this rapid orbital decay and also suggest that GX 301$-$2 is a prospective Thorne-\.{Z}ytkow candidate.


title: On the Modular Isomorphism Problem for 2-generated groups with cyclic derived subgroup

abstract: We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular group algebras: even versus odd characteristic. Algebr. Represent. Theory. https://doi.org/10.1007/s10468-022-10182-x, 2022]. We show that if $G$ belongs to this class of groups, then the isomorphism type of the quotients $G/(G')^{p^3}$ and $G/\gamma_3(G)^p$ are determined by its modular group algebra. In fact, we obtain a more general but technical result, expressed in terms of the classification \cite{OsnelDiegoAngel}. We also show that for groups in this class of order at most $p^{11}$, the Modular Isomorphism Problem has positive answer. Finally, we describe some families of groups of order $p^{12}$ whose group algebras over the field with $p$ elements cannot be distinguished with the techniques available to us.


title: An existence theory for nonlinear superposition operators of mixed fractional order

abstract: We establish the existence of multiple solutions for a nonlinear problem of critical type. The problem considered is fractional in nature, since it is obtained by the superposition of $(s,p)$-fractional Laplacians of different orders. The results obtained are new even in the case of the sum of two different fractional $p$-Laplacians, or the sum of a fractional $p$-Laplacian and a classical $p$-Laplacian, but our framework is general enough to address also the sum of finitely, or even infinitely many, operators. In fact, we can also consider the superposition of a continuum of operators, modulated by a general signed measure on the fractional exponents. When this measure is not positive, the contributions of the individual operators to the whole superposition operator is allowed to change sign. In this situation, our structural assumption is that the positive measure on the higher fractional exponents dominates the rest of the signed measure.


title: BA-MoE: Boundary-Aware Mixture-of-Experts Adapter for Code-Switching Speech Recognition

abstract: Mixture-of-experts based models, which use language experts to extract language-specific representations effectively, have been well applied in code-switching automatic speech recognition. However, there is still substantial space to improve as similar pronunciation across languages may result in ineffective multi-language modeling and inaccurate language boundary estimation. To eliminate these drawbacks, we propose a cross-layer language adapter and a boundary-aware training method, namely Boundary-Aware Mixture-of-Experts (BA-MoE). Specifically, we introduce language-specific adapters to separate language-specific representations and a unified gating layer to fuse representations within each encoder layer. Second, we compute language adaptation loss of the mean output of each language-specific adapter to improve the adapter module's language-specific representation learning. Besides, we utilize a boundary-aware predictor to learn boundary representations for dealing with language boundary confusion. Our approach achieves significant performance improvement, reducing the mixture error rate by 16.55\% compared to the baseline on the ASRU 2019 Mandarin-English code-switching challenge dataset.


title: A Markov-switching spatio-temporal ARCH model

abstract: Stock market indices are volatile by nature, and sudden shocks are known to affect volatility patterns. The autoregressive conditional heteroskedasticity (ARCH) and generalized ARCH (GARCH) models neglect structural breaks triggered by sudden shocks that may lead to an overestimation of persistence, causing an upward bias in the estimates. Different regime-switching models that have abrupt regime-switching governed by a Markov chain were developed to model volatility in financial time series data. Volatility modelling was also extended to spatially interconnected time series, resulting in spatial variants of ARCH models. This inspired us to propose a Markov switching framework of the spatio-temporal log-ARCH model. In this article, we discuss the Markov-switching extension of the model, the estimation procedure and the smooth inferences of the regimes. The Monte-Carlo simulation studies show that the maximum likelihood estimation method for our proposed model has good finite sample properties. The proposed model was applied to 28 stock indices data that were presumably affected by the 2015-2016 Chinese stock market crash. The results showed that our model is a better fit compared to that of the one-regime counterpart. Furthermore, the smoothed inference of the data indicated the approximate periods where structural breaks occurred. This model can capture structural breaks that simultaneously occur in nearby locations.


title: Generation of Picosecond Ion Pulses by Ultrafast Electron-Stimulated Desorption

abstract: We present an efficient method to produce laser-triggered proton pulses below 500\,ps pulse width at keV energies. We use femtosecond photoelectron pulses emitted from a cathode to enable ultrafast electron-stimulated desorption of adsorbates on a stainless steel plate under ultrahigh vacuum conditions. While direct photoionization of atoms to form well-timed ion pulses can suffer from a laser-focus-limited large starting volume, in our method the starting plane of the ions is defined with nanometer precision at a solid surface. We clearly outline how the method could be used in the future to efficiently produce ion beam pulses in the (sub-)picosecond range for pump-probe experiments with ions.


title: Depolarization composition of the back-scattered circularly polarized light

abstract: We consider the origin of unpolarised light resulting from the backscattering of circularly polarized light by random turbid tissue-like disperse medium. We reveal the dynamics of the backscattered fraction of unpolarized light, disclosing its meticulous decomposition into two rigorously polarized components characterized by opposing helicities, with fully defined polarization states. Concurrently, their superposition, driven by multiple scattering within the medium, leads to the appearance of a fraction of linear polarization. We emphasize that in-depth binding of circular polarization memory of light with the helicity flips occurs within the scattering medium, meaning the conservation of spin angular momentum. We anticipate that the results obtained hold significant implications for future studies, particularly in the field of tissue polarimetry and light vortexes.


title: Multi-rules mining algorithm for combinatorially exploded decision trees with modified Aitchison-Aitken function-based Bayesian optimization

abstract: Decision trees offer the benefit of easy interpretation because they allow the classification of input data based on if--then rules. However, as decision trees are constructed by an algorithm that achieves clear classification with minimum necessary rules, the trees possess the drawback of extracting only minimum rules, even when various latent rules exist in data. Approaches that construct multiple trees using randomly selected feature subsets do exist. However, the number of trees that can be constructed remains at the same scale because the number of feature subsets is a combinatorial explosion. Additionally, when multiple trees are constructed, numerous rules are generated, of which several are untrustworthy and/or highly similar. Therefore, we propose "MAABO-MT" and "GS-MRM" algorithms that strategically construct trees with high estimation performance among all possible trees with small computational complexity and extract only reliable and non-similar rules, respectively. Experiments are conducted using several open datasets to analyze the effectiveness of the proposed method. The results confirm that MAABO-MT can discover reliable rules at a lower computational cost than other methods that rely on randomness. Furthermore, the proposed method is confirmed to provide deeper insights than single decision trees commonly used in previous studies. Therefore, MAABO-MT and GS-MRM can efficiently extract rules from combinatorially exploded decision trees.


title: Earth as an Exoplanet. III. Using Empirical Thermal Emission Spectra as an Input for Atmospheric Retrieval of an Earth-twin Exoplanet

abstract: In this study, we treat Earth as an exoplanet and investigate our home planet by means of a potential future mid-infrared (MIR) space mission called the Large Interferometer For Exoplanets (LIFE). We combine thermal spectra from an empirical dataset of disk-integrated Earth observations with a noise model for LIFE to create mock observations. We apply a state-of-the-art atmospheric retrieval framework to characterize the planet, assess the potential for detecting the known bioindicators, and investigate the impact of viewing geometry, seasonality, and patchy clouds on the characterization. Key findings include: (1) we are observing a temperate habitable planet with significant abundances of $\mathrm{CO_2}$, $\mathrm{H_2O}$, $\mathrm{O_3}$, and $\mathrm{CH_4}$; (2) seasonal variations in the surface and equilibrium temperature, and in the Bond albedo are detectable; (3) the viewing geometry and the spatially and temporally unresolved nature of our observations only have a minor impact on the characterization; (4) Earth's variable H2O profile and patchy cloud coverage lead to biased retrieval results for the atmospheric structure and trace gas abundances; (5) the limited extent of Earth's seasonal variations in biosignature abundances makes the direct detection of its biosphere through atmospheric seasonality unlikely. Our results suggest that LIFE could correctly identify Earth as a planet where life could thrive, with detectable levels of bioindicators, a temperate climate, and surface conditions allowing liquid surface water. Even if atmospheric seasonality is not easily observed, our study demonstrates that next generation, optimized space missions can assess whether nearby temperate terrestrial exoplanets are habitable or even inhabited.


title: Foundation Reinforcement Learning: towards Embodied Generalist Agents with Foundation Prior Assistance

abstract: Recently, people have shown that large-scale pre-training from internet-scale data is the key to building generalist models, as witnessed in NLP. To build embodied generalist agents, we and many other researchers hypothesize that such foundation prior is also an indispensable component. However, it is unclear what is the proper concrete form to represent those embodied foundation priors and how they should be used in the downstream task. In this paper, we propose an intuitive and effective set of embodied priors that consist of foundation policy, value, and success reward. The proposed priors are based on the goal-conditioned MDP. To verify their effectiveness, we instantiate an actor-critic method assisted by the priors, called Foundation Actor-Critic (FAC). We name our framework as Foundation Reinforcement Learning (FRL), since it completely relies on embodied foundation priors to explore, learn and reinforce. The benefits of FRL are threefold. (1) Sample efficient. With foundation priors, FAC learns significantly faster than traditional RL. Our evaluation on the Meta-World has proved that FAC can achieve 100% success rates for 7/8 tasks under less than 200k frames, which outperforms the baseline method with careful manual-designed rewards under 1M frames. (2) Robust to noisy priors. Our method tolerates the unavoidable noise in embodied foundation models. We show that FAC works well even under heavy noise or quantization errors. (3) Minimal human intervention: FAC completely learns from the foundation priors, without the need of human-specified dense reward, or providing teleoperated demos. Thus, FAC can be easily scaled up. We believe our FRL framework could enable the future robot to autonomously explore and learn without human intervention in the physical world. In summary, our proposed FRL is a novel and powerful learning paradigm, towards achieving embodied generalist agents.


title: A Molecular Theory for Liquid Crystal Elastomers: Nematic Ordering, Shape Deformation and Mechanical Response

abstract: Modeling liquid crystal elastomers (LCEs) at the molecular level is crucial for the predictable design of energy-conversion and stimuli-responsive materials. Here, we develop a self-consistent field theory for LCEs which captures the coupling between nematic ordering, backbone alignment and network deformation. Molecular features such as density of elastic strands, strength and architecture of local chemical hinge, and LC grafting density are systematically included. Crosslinking suppresses nematic ordering as a result of the elastic energy stored during network deformation. Higher work capacity can be achieved by less crosslinked LCEs. The spontaneous shape change of end-on side-chain LCEs can be either elongation or contraction depending on the competition between the local and global couplings. Adjusting LC grafting density is found to be an effective way to fine-tune the deformation mode. We elucidate a universal scaling relationship between the transition temperature and the shear modulus as $T_{\rm NI,0}-T_{\rm NI}\sim {\mu^*}^{\frac{4}{5}}$. Furthermore, we predict that the first-order nematic phase transition can be degraded into a continuous manner upon applied stress. Coupled with nematic ordering, the mechanical response of LCEs significantly deviates from classical rubber elasticity. A plateau in the stress-deformation curve appears accompanied by the nematic phase transition. Our theoretical predictions are in good agreement with the experimental results reported in the literature.


title: Geometric Matching and Bottleneck Problems

abstract: Let $P$ be a set of at most $n$ points and let $R$ be a set of at most $n$ geometric ranges, such as for example disks or rectangles, where each $p \in P$ has an associated supply $s_{p} > 0$, and each $r \in R$ has an associated demand $d_{r} > 0$. A (many-to-many) matching is a set $\mathcal{A}$ of ordered triples $(p,r,a_{pr}) \in P \times R \times \mathbb{R}_{>0}$ such that $p \in r$ and the $a_{pr}$'s satisfy the constraints given by the supplies and demands. We show how to compute a maximum matching, that is, a matching maximizing $\sum_{(p,r,a_{pr}) \in \mathcal{A}} a_{pr}$. Using our techniques, we can also solve minimum bottleneck problems, such as computing a perfect matching between a set of $n$ red points $P$ and a set of $n$ blue points $Q$ that minimizes the length of the longest edge. For the $L_\infty$-metric, we can do this in time $O(n^{1+\varepsilon})$ in any fixed dimension, for the $L_2$-metric in the plane in time $O(n^{4/3 + \varepsilon})$, for any $\varepsilon > 0$.


title: P2CADNet: An End-to-End Reconstruction Network for Parametric 3D CAD Model from Point Clouds

abstract: Computer Aided Design (CAD), especially the feature-based parametric CAD, plays an important role in modern industry and society. However, the reconstruction of featured CAD model is more challenging than the reconstruction of other CAD models. To this end, this paper proposes an end-to-end network to reconstruct featured CAD model from point cloud (P2CADNet). Initially, the proposed P2CADNet architecture combines a point cloud feature extractor, a CAD sequence reconstructor and a parameter optimizer. Subsequently, in order to reconstruct the featured CAD model in an autoregressive way, the CAD sequence reconstructor applies two transformer decoders, one with target mask and the other without mask. Finally, for predicting parameters more precisely, we design a parameter optimizer with cross-attention mechanism to further refine the CAD feature parameters. We evaluate P2CADNet on the public dataset, and the experimental results show that P2CADNet has excellent reconstruction quality and accuracy. To our best knowledge, P2CADNet is the first end-to-end network to reconstruct featured CAD model from point cloud, and can be regarded as baseline for future works. Therefore, we open the source code at https://github.com/Blice0415/P2CADNet.


title: On bilinear superintegrability for monomial matrix models in pure phase

abstract: We argue that the recently discovered bilinear superintegrability arXiv:2206.02045 generalizes, in a non-trivial way, to monomial matrix models in pure phase. The structure is much richer: for the trivial core Schur functions required modifications are minor, and the only new ingredient is a certain (contour-dependent) permutation matrix; for non-trivial-core Schur functions, in both bi-linear and tri-linear averages the deformation is more complicated: averages acquire extra N-dependent factors and selection rule is less straightforward to imply.


title: The VoiceMOS Challenge 2023: Zero-shot Subjective Speech Quality Prediction for Multiple Domains

abstract: We present the second edition of the VoiceMOS Challenge, a scientific event that aims to promote the study of automatic prediction of the mean opinion score (MOS) of synthesized and processed speech. This year, we emphasize real-world and challenging zero-shot out-of-domain MOS prediction with three tracks for three different voice evaluation scenarios. Ten teams from industry and academia in seven different countries participated. Surprisingly, we found that the two sub-tracks of French text-to-speech synthesis had large differences in their predictability, and that singing voice-converted samples were not as difficult to predict as we had expected. Use of diverse datasets and listener information during training appeared to be successful approaches.


title: Deformation-Invariant Neural Network and Its Applications in Distorted Image Restoration and Analysis

abstract: Images degraded by geometric distortions pose a significant challenge to imaging and computer vision tasks such as object recognition. Deep learning-based imaging models usually fail to give accurate performance for geometrically distorted images. In this paper, we propose the deformation-invariant neural network (DINN), a framework to address the problem of imaging tasks for geometrically distorted images. The DINN outputs consistent latent features for images that are geometrically distorted but represent the same underlying object or scene. The idea of DINN is to incorporate a simple component, called the quasiconformal transformer network (QCTN), into other existing deep networks for imaging tasks. The QCTN is a deep neural network that outputs a quasiconformal map, which can be used to transform a geometrically distorted image into an improved version that is closer to the distribution of natural or good images. It first outputs a Beltrami coefficient, which measures the quasiconformality of the output deformation map. By controlling the Beltrami coefficient, the local geometric distortion under the quasiconformal mapping can be controlled. The QCTN is lightweight and simple, which can be readily integrated into other existing deep neural networks to enhance their performance. Leveraging our framework, we have developed an image classification network that achieves accurate classification of distorted images. Our proposed framework has been applied to restore geometrically distorted images by atmospheric turbulence and water turbulence. DINN outperforms existing GAN-based restoration methods under these scenarios, demonstrating the effectiveness of the proposed framework. Additionally, we apply our proposed framework to the 1-1 verification of human face images under atmospheric turbulence and achieve satisfactory performance, further demonstrating the efficacy of our approach.


title: GET: Group Event Transformer for Event-Based Vision

abstract: Event cameras are a type of novel neuromorphic sen-sor that has been gaining increasing attention. Existing event-based backbones mainly rely on image-based designs to extract spatial information within the image transformed from events, overlooking important event properties like time and polarity. To address this issue, we propose a novel Group-based vision Transformer backbone for Event-based vision, called Group Event Transformer (GET), which de-couples temporal-polarity information from spatial infor-mation throughout the feature extraction process. Specifi-cally, we first propose a new event representation for GET, named Group Token, which groups asynchronous events based on their timestamps and polarities. Then, GET ap-plies the Event Dual Self-Attention block, and Group Token Aggregation module to facilitate effective feature commu-nication and integration in both the spatial and temporal-polarity domains. After that, GET can be integrated with different downstream tasks by connecting it with vari-ous heads. We evaluate our method on four event-based classification datasets (Cifar10-DVS, N-MNIST, N-CARS, and DVS128Gesture) and two event-based object detection datasets (1Mpx and Gen1), and the results demonstrate that GET outperforms other state-of-the-art methods. The code is available at https://github.com/Peterande/GET-Group-Event-Transformer.


title: Online Algorithms for Spectral Hypergraph Sparsification

abstract: We provide the first online algorithm for spectral hypergraph sparsification. In the online setting, hyperedges with positive weights are arriving in a stream, and upon the arrival of each hyperedge, we must irrevocably decide whether or not to include it in the sparsifier. Our algorithm produces an $(\epsilon, \delta)$-spectral sparsifier with multiplicative error $\epsilon$ and additive error $\delta$ that has $O(\epsilon^{-2} n \log n \log r \log(1 + \epsilon W/\delta n))$ hyperedges with high probability, where $\epsilon, \delta \in (0,1)$, $n$ is the number of nodes, and $W$ is the sum of edge weights. The space complexity of our algorithm is $O(n^2)$, while previous algorithms require the space complexity of $\Omega(m)$, where $m$ is the number of hyperedges. This provides an exponential improvement in the space complexity since $m$ can be exponential in $n$.


title: Deep Subwavelength Topological Edge State in a Hyperbolic Medium

abstract: Topological nanophotonics presents the potential for cutting-edge photonic systems, with a core aim revolving around the emergence of topological edge states. These states are primed to propagate robustly while embracing deep subwavelength confinement that defies diffraction limits. Such attributes make them particularly appealing for nanoscale applications, where achieving these elusive states has remained challenging. We unveil the first experimental proof of deep subwavelength topological edge states by implementing periodic modulation of hyperbolic phonon polaritons within a Van der Waals heterostructure. This finding represents a significant milestone in the field of nanophotonics, and it can be directly extended to and hybridized with other Van der Waals materials in various applications. The extensive scope for material substitution facilitates broadened operational frequency ranges, streamlined integration of diverse polaritonic materials, and compatibility with electronic and excitonic systems.


title: Candidate quantum disordered intermediate phase in the Heisenberg antiferromagnet on the maple-leaf lattice

abstract: Quantum antiferromagnets on geometrically frustrated lattices have long attracted interest for the formation of quantum disordered states and the possible emergence of quantum spin liquid (QSL) ground states. Here we turn to the nearest-neighbor spin-$1/2$ Heisenberg antiferromagnet on the maple-leaf lattice, which is known to relieve frustration by the formation of canted $120^{\circ}$ magnetic order or valence bond crystal order when varying the bond anisotropy. Employing a pseudo-fermion functional renormalization group approach to assess its ground state phase diagram in detail, we present evidence for a QSL regime sandwiched between these two limiting phases. The formation of such a QSL might signal proximity to a possible deconfined quantum critical point from which it emerges, and that is potentially accessible by tuning the exchange couplings. Our conclusions are based on large-scale simulations involving a careful finite-size scaling analysis of the behavior of magnetic susceptibility and spin-spin correlation functions under renormalization group flow.


title: Simulation and Analysis of Two Toy Models

abstract: The matching problem and the distribution law of Galton boards with interactions are studied in this paper. The general matching problem appeals at many scenarios, such as the reaction rate of molecules and the hailing rate of ride-hailing drivers. The Galton board is often used in the classroom as a demonstration experiment for the probability distribution of independent events. The two problems are mathematically modeled and numerically simulated. The expected value of matching rate is derived as an analytical solution of the partial differential equation and confirmed by simulation experiments. The interactions were introduced to Galton boards via two parameters in the toy model, which lead to Gaussian distributions of independent events cannot fit the experimental data well. Instead, 'quantum' Fermi-Dirac distributions unexpectedly conforms to simulation experiments. The exclusivity between particles leads to negative Chemical potential in the distribution function, and the temperature parameter increases with the interaction intensity $\alpha$ and flow rate $N_{sm}$. The relations between parameters can be expressed as a conjecture formula within large parameters range.


title: Quotient toposes of discrete dynamical systems

abstract: This paper gives a classification of classes of discrete dynamical systems (a set equipped with an endofunction) closed under finite limits and small colimits. The conclusion is simple: they bijectively correspond to the ideals of the product poset $\mathbb{N} \times \mathbb{N}$, where the first $\mathbb{N}$ is ordered by the usual order and the second is by the divisibility. Our method is based on a detailed analysis of the behaviors of states, especially non-periodic behaviors, in discrete dynamical systems. Specifically, extending the fundamental quantity, time until entering a loop, to even those states that do not enter a loop plays a crucial role. Our classification is closely related to epimorphisms from $\mathbb{N}$ in the category of monoids. There are countably many injective epimorphisms from $\mathbb{N}$, including $\mathbb{N} \to \mathbb{Z}$. Those injective epimorphisms correspond to the non-periodic behaviors of states of discrete dynamical systems. We discuss this point at the end of the paper. This fun puzzle is motivated by an open problem in topos theory. Lawvere left open problems in topos theory on his webpage, and the first problem is called quotient toposes. The main theorem of this paper provides a non-trivial example of this problem, which is not implied by any known results. This paper also provides a theoretical framework to address the open problem. We define a preorder among the objects of a Grothendieck topos (which we have named generative order), which enables us to reduce calculations of quotient toposes to calculations of objects. Our method is its application to the topos of discrete dynamical systems.


title: Long-Term Dynamic Window Approach for Kinodynamic Local Planning in Static and Crowd Environments

abstract: Local planning for a differential wheeled robot is designed to generate kinodynamic feasible actions that guide the robot to a goal position along the navigation path while avoiding obstacles. Reactive, predictive, and learning-based methods are widely used in local planning. However, few of them can fit static and crowd environments while satisfying kinodynamic constraints simultaneously. To solve this problem, we propose a novel local planning method. The method applies a long-term dynamic window approach to generate an initial trajectory and then optimizes it with graph optimization. The method can plan actions under the robot's kinodynamic constraints in real time while allowing the generated actions to be safer and more jitterless. Experimental results show that the proposed method adapts well to crowd and static environments and outperforms most SOTA approaches.


title: Sharp distance comparison for curve shortening flow on the round sphere

abstract: We prove that curve shortening flow on the round sphere displays sharp chord-arc improvement, precisely as in the planar setting (Andrews and Bryan, Comm. Anal. Geom., 2011). As in the planar case, the sharp estimate implies control on the curvature, resulting in a direct and efficient proof that simple spherical curves either contract to round points (in finite time) or converge to great circles (in infinite time).


title: Active Visual Localization for Multi-Agent Collaboration: A Data-Driven Approach

abstract: Rather than having each newly deployed robot create its own map of its surroundings, the growing availability of SLAM-enabled devices provides the option of simply localizing in a map of another robot or device. In cases such as multi-robot or human-robot collaboration, localizing all agents in the same map is even necessary. However, localizing e.g. a ground robot in the map of a drone or head-mounted MR headset presents unique challenges due to viewpoint changes. This work investigates how active visual localization can be used to overcome such challenges of viewpoint changes. Specifically, we focus on the problem of selecting the optimal viewpoint at a given location. We compare existing approaches in the literature with additional proposed baselines and propose a novel data-driven approach. The result demonstrates the superior performance of the data-driven approach when compared to existing methods, both in controlled simulation experiments and real-world deployment.


title: Hire When You Need to: Gradual Participant Recruitment for Auction-based Federated Learning

abstract: The success of Federated Learning (FL) depends on the quantity and quality of the data owners (DOs) as well as their motivation to join FL model training. Reputation-based FL participant selection methods have been proposed. However, they still face the challenges of the cold start problem and potential selection bias towards highly reputable DOs. Such a bias can result in lower reputation DOs being prematurely excluded from future FL training rounds, thereby reducing the diversity of training data and the generalizability of the resulting models. To address these challenges, we propose the Gradual Participant Selection scheme for Auction-based Federated Learning (GPS-AFL). Unlike existing AFL incentive mechanisms which generally assume that all DOs required for an FL task must be selected in one go, GPS-AFL gradually selects the required DOs over multiple rounds of training as more information is revealed through repeated interactions. It is designed to strike a balance between cost saving and performance enhancement, while mitigating the drawbacks of selection bias in reputation-based FL. Extensive experiments based on real-world datasets demonstrate the significant advantages of GPS-AFL, which reduces costs by 33.65% and improved total utility by 2.91%, on average compared to the best-performing state-of-the-art approach.


title: Ergodic Problems for Second-Order Mean Field Games with State Constraints

abstract: We study an ergodic mean field game problem with state constraints. In our model the agents are affected by idiosyncratic noise and use a (singular) feedback control to prevent the Brownian motion from exiting the domain. We characterize the equilibrium as the (possibly unique) solution to a second-order MFG system, where the value function blows up at the boundary while the density of the players is smooth and flattens near the boundary as a consequence of the singularity of the drift induced by the feedback strategy of the agents.


title: Efficient similar waveform search using short binary codes obtained through a deep hashing technique

abstract: A similar waveform search plays a crucial role in seismology for detecting seismic events, such as small earthquakes and low-frequency events. However, the high computational costs associated with waveform cross-correlation calculations represent bottlenecks during the analysis of long, continuous records obtained from numerous stations. In this study, we developed a deep-learning network to obtain 64-bit hash codes containing information on seismic waveforms. Using this network, we performed a similar waveform search for ~35 million moving windows developed for the 30 min waveforms recorded continuously at 10 MHz sampling rates using 16 acoustic emission transducers during a laboratory hydraulic fracturing experiment. The sampling points of each channel corresponded to those of the 5.8-year records obtained from typical seismic observations at 100 Hz sampling rates. Of the 35 million windows, we searched for windows with small average Hamming distances among the hash codes of 16 channel waveforms against template hash codes of 6057 events that were catalogued using conventional autoprocessing techniques. The calculation of average Hamming distances is 1000 times faster than that of the corresponding network correlation. This hashing-based template matching enabled the detection of 23,462 additional events. We also demonstrated the feasibility of the hashing-based autocorrelation analysis, where similar event pairs were extracted without templates, by calculating the average Hamming distances for all possible pairs of the ~35 million windows. This calculation required only 15.5 h under 120 thread parallelisation. This deep hashing approach significantly reduced the required memory compared with locality-sensitive hashing approaches based on random permutations, enabling similar waveform searching on a large-scale dataset.


title: A Study of Quantisation-aware Training on Time Series Transformer Models for Resource-constrained FPGAs

abstract: This study explores the quantisation-aware training (QAT) on time series Transformer models. We propose a novel adaptive quantisation scheme that dynamically selects between symmetric and asymmetric schemes during the QAT phase. Our approach demonstrates that matching the quantisation scheme to the real data distribution can reduce computational overhead while maintaining acceptable precision. Moreover, our approach is robust when applied to real-world data and mixed-precision quantisation, where most objects are quantised to 4 bits. Our findings inform model quantisation and deployment decisions while providing a foundation for advancing quantisation techniques.


title: AGIR: Automating Cyber Threat Intelligence Reporting with Natural Language Generation

abstract: Cyber Threat Intelligence (CTI) reporting is pivotal in contemporary risk management strategies. As the volume of CTI reports continues to surge, the demand for automated tools to streamline report generation becomes increasingly apparent. While Natural Language Processing techniques have shown potential in handling text data, they often struggle to address the complexity of diverse data sources and their intricate interrelationships. Moreover, established paradigms like STIX have emerged as de facto standards within the CTI community, emphasizing the formal categorization of entities and relations to facilitate consistent data sharing. In this paper, we introduce AGIR (Automatic Generation of Intelligence Reports), a transformative Natural Language Generation tool specifically designed to address the pressing challenges in the realm of CTI reporting. AGIR's primary objective is to empower security analysts by automating the labor-intensive task of generating comprehensive intelligence reports from formal representations of entity graphs. AGIR utilizes a two-stage pipeline by combining the advantages of template-based approaches and the capabilities of Large Language Models such as ChatGPT. We evaluate AGIR's report generation capabilities both quantitatively and qualitatively. The generated reports accurately convey information expressed through formal language, achieving a high recall value (0.99) without introducing hallucination. Furthermore, we compare the fluency and utility of the reports with state-of-the-art approaches, showing how AGIR achieves higher scores in terms of Syntactic Log-Odds Ratio (SLOR) and through questionnaires. By using our tool, we estimate that the report writing time is reduced by more than 40%, therefore streamlining the CTI production of any organization and contributing to the automation of several CTI tasks.


title: Blend: A Unified Data Discovery System

abstract: Data discovery is an iterative and incremental process that necessitates the execution of multiple data discovery queries to identify the desired tables from large and diverse data lakes. Current methodologies concentrate on single discovery tasks such as join, correlation, or union discovery. However, in practice, a series of these approaches and their corresponding index structures are necessary to enable the user to discover the desired tables. This paper presents BLEND, a comprehensive data discovery system that empowers users to develop ad-hoc discovery tasks without the need to develop new algorithms or build a new index structure. To achieve this goal, we introduce a general index structure capable of addressing multiple discovery queries. We develop a set of lower-level operators that serve as the fundamental building blocks for more complex and sophisticated user tasks. These operators are highly efficient and enable end-to-end efficiency. To enhance the execution of the discovery pipeline, we rewrite the search queries into optimized SQL statements to push the data operators down to the database. We demonstrate that our holistic system is able to achieve comparable effectiveness and runtime efficiency to the individual state-of-the-art approaches specifically designed for a single task.


title: Ternary quasifission in collisions of actinide nuclei

abstract: The microscopic framework of time-dependent covariant density functional theory is applied to a systematic study of ternary quasifission in collisions of pairs of $^{238}$U nuclei. It is shown that the inclusion of octupole degree of freedom in the case of head-to-head collisions, extends the energy window in which ternary quasifission occurs, and greatly enhances the number of nucleons contained in a middle fragment. Dynamical pairing correlations, included here in the time-dependent BCS approximation, prevent the occurrence of ternary quasifission in head-to-head collisions, and have an effect on the location of the energy window in which a middle fragment is formed in tail-to-tail collisions. In the latter case, as well as for tail-to-side collisions, the formation of very heavy neutron-rich systems in certain energy intervals is predicted.


title: Solving Multi-Configuration Problems: A Performance Analysis with Choco Solver

abstract: In many scenarios, configurators support the configuration of a solution that satisfies the preferences of a single user. The concept of \emph{multi-configuration} is based on the idea of configuring a set of configurations. Such a functionality is relevant in scenarios such as the configuration of personalized exams, the configuration of project teams, and the configuration of different trips for individual members of a tourist group (e.g., when visiting a specific city). In this paper, we exemplify the application of multi-configuration for generating individualized exams. We also provide a constraint solver performance analysis which helps to gain some insights into corresponding performance issues.


title: A note on the geometry of the two-body problem on $S^2$

abstract: Leveraging on the results of arXiv:2210.13644 , we carry out an investigation of the algebraic three-fold $\Sigma_{C,h}$, the common level set of the Hamiltonian and the Casimir, for the two-body problem for equal masses on $S^2$ subject to a gravitational potential of cotangent type. We determine the topology of its compactification $\overline{\Sigma}_{C,h}$ and how it bifurcates with respect to the admissible values of $(C,h)$, ($C$ being the fixed value of the Casimir and $h$ the fixed value of the Hamiltonian). This bifurcation diagram is actually equal to the bifurcation diagram that describes relative equilibria. We also prove that for $h$ sufficiently negative $\Sigma_{C,h}$ is equipped with a global contact form obtained from the environment symplectic form via a suitable Liouville vector field.


title: Affirmative Action in India: Restricted Strategy Space, Complex Constraints, and Direct Mechanism Design

abstract: Since 1950, India has instituted an intricate affirmative action program through a meticulously designed reservation system. This system incorporates vertical and horizontal reservations to address historically marginalized groups' socioeconomic imbalances. Vertical reservations designate specific quotas of available positions in publicly funded educational institutions and government employment for Scheduled Castes, Scheduled Tribes, Other Backward Classes, and Economically Weaker Sections. Concurrently, horizontal reservations are employed within each vertical category to allocate positions for additional subgroups, such as women and individuals with disabilities. In educational admissions, the legal framework recommended that unfilled positions reserved for the OBC category revert to unreserved status. Moreover, we document that individuals from vertically reserved categories have more complicated preferences over institution-vertical category position pairs, even though authorities only elicit their preferences over institutions. To address these challenges, the present paper proposes a novel class of choice rules, termed the Generalized Lexicographic (GL) choice rules. This class is comprehensive, subsuming the most salient priority structures discussed in the extant matching literature. Utilizing the GL choice rules and the deferred acceptance mechanism, we present a robust framework that generates equitable and effective solutions for resource allocation problems in the Indian context.


title: Large-scale turbulence cascade in the spiral galaxy NGC~6946

abstract: The generation mechanism of compressible fluid turbulence at kiloparsec scales in the Interstellar Medium (ISM) is a long-lasting puzzle. In this work, we explore the nature of large-scale turbulence in the external spiral galaxy NGC~6946. We use the Visibility Moment Estimator (VME) to measure the \HI column density and line of sight turbulent velocity power spectra combining the new observations of A array configuration of Karl G. Jansky Very Large Array (VLA) with the VLA B, C, D array observations from The \HI Nearby Galaxy Survey (THINGS). The estimated power spectra are obeying a power law with a slope of $-0.96\pm0.05$ in column density and $-1.81\pm0.07$ in line of sight velocity in length scales ranging from $6$ kpc to $170$ pc. This points towards a forward energy cascade in the plane of the disc with a driving scale at least as large as $6$ kpc. The values of the power law indices indicate a combination of solenoidal and compressive force responsible in driving the measured turbulence. The presence of strong regular magnetic fields from the magnetic spiral arms in the galaxy is possibly contributing to the solenoidal part, while self-gravity or gravitational instability can mostly be the input for the compressive part of the forcing in the driving mechanism.


title: Dynamics and Probability in the Toss of a Coin with Symmetric Inhomogeneous Density

abstract: Under investigation in this paper is the dynamics and probability of heads in the toss of a coin with symmetric inhomogeneous density. Such coins are assumed to have diagonal inertia matrix. The rotational motion of the coin is determined by the initial angular momentum and initial position of the coin. We described the dynamic behavior of the unit normal vector and calculated the limiting probability of heads as time goes to infinity with respect to the fixed initial parameters. Our probability formula extends the formula for homogeneous coins by Keller and Diaconis et al.


title: MedPrompt: Cross-Modal Prompting for Multi-Task Medical Image Translation

abstract: Cross-modal medical image translation is an essential task for synthesizing missing modality data for clinical diagnosis. However, current learning-based techniques have limitations in capturing cross-modal and global features, restricting their suitability to specific pairs of modalities. This lack of versatility undermines their practical usefulness, particularly considering that the missing modality may vary for different cases. In this study, we present MedPrompt, a multi-task framework that efficiently translates different modalities. Specifically, we propose the Self-adaptive Prompt Block, which dynamically guides the translation network towards distinct modalities. Within this framework, we introduce the Prompt Extraction Block and the Prompt Fusion Block to efficiently encode the cross-modal prompt. To enhance the extraction of global features across diverse modalities, we incorporate the Transformer model. Extensive experimental results involving five datasets and four pairs of modalities demonstrate that our proposed model achieves state-of-the-art visual quality and exhibits excellent generalization capability.


title: On Memorization in Diffusion Models

abstract: Due to their capacity to generate novel and high-quality samples, diffusion models have attracted significant research interest in recent years. Notably, the typical training objective of diffusion models, i.e., denoising score matching, has a closed-form optimal solution that can only generate training data replicating samples. This indicates that a memorization behavior is theoretically expected, which contradicts the common generalization ability of state-of-the-art diffusion models, and thus calls for a deeper understanding. Looking into this, we first observe that memorization behaviors tend to occur on smaller-sized datasets, which motivates our definition of effective model memorization (EMM), a metric measuring the maximum size of training data at which a learned diffusion model approximates its theoretical optimum. Then, we quantify the impact of the influential factors on these memorization behaviors in terms of EMM, focusing primarily on data distribution, model configuration, and training procedure. Besides comprehensive empirical results identifying the influential factors, we surprisingly find that conditioning training data on uninformative random labels can significantly trigger the memorization in diffusion models. Our study holds practical significance for diffusion model users and offers clues to theoretical research in deep generative models. Code is available at https://github.com/sail-sg/DiffMemorize.


title: Almost sure approximations and laws of iterated logarithm for signatures

abstract: We obtain strong invariance principles for normalized multiple iterated sums and integrals of the form $\bbS_N^{(\nu)}(t)=N^{-\nu/2}\sum_{0\leq k_1<...<k_\nu\leq Nt}\xi(k_1)\otimes\cdots\otimes\xi(k_\nu)$, $t\in[0,T]$ and $\bbS_N^{(\nu)}(t)=N^{-\nu/2}\int_{0\leq s_1\leq...\leq s_\nu\leq Nt}\xi(s_1)\otimes\cdots\otimes\xi(s_\nu)ds_1\cdots ds_\nu$, where $\{\xi(k)\}_{-\infty<k<\infty}$ and $\{\xi(s)\}_{-\infty<s<\infty}$ are centered stationary vector processes with some weak dependence properties. These imply also laws of iterated logarithm for such objects. In the continuous time we work both under direct weak dependence assumptions and also within the suspension setup which is more appropriate for applications in dynamical systems. Similar results under substantially more restricted conditions were obtained in \cite{FK} relying heavily on rough paths theory and notations while here we obtain these results in a more direct way which makes them accessible to a wider readership. This is a companion paper of our paper "Limit theorems for signatures" and we consider a similar setup and rely on many result from there.


title: The sharp bound of the third order Hankel determinant for inverse of Ozaki close-to-convex functions

abstract: Let $f$ be analytic in the unit disk $\mathbb{D}= \{z \in \mathbb{C}~:~ |z| < 1\}$, and $\mathcal{S}$ be the subclass of normalized univalent functions given by $f(z)=\sum_{n=1}^{\infty}a_{n}z^{n},~a_{1}:=1$ for $z \in\mathbb{D}$. We present the sharp bounds of the third-order Hankel determinant for inverse functions when it belongs to of the class of Ozaki close-to-convex.


title: Retardation Effects in Atom-Wall Interactions

abstract: The onset of retardation effects in atom-wall interactions is studied. It is shown that the transition range from the 1/z^3 short-range (van der Waals) interaction to the 1/z^4 long-range (Casimir) retarded interaction critically depends on the atomic properties and on the dielectric function of the material. For simple non-alkali atoms (e.g., ground-state hydrogen and ground-state helium) interacting with typical dielectric materials such as intrinsic silicon, the transition to the retarded regime is shown to proceed at a distance of about 10 nm (200 Bohr radii). This is much shorter than typical characteristic absorption wavelengths of solids. Larger transition regimes are obtained for atoms with a large static polarizability such as metastable helium. We present a simple estimate for the critical distance, z_cr=137*(\alpha(0)/Z)^(1/2) atomic units, where alpha(0) is the static polarizability (expressed in atomic units) and Z is the number of electrons of the atom.


title: Gauss curvature flow with shrinking obstacle

abstract: We consider a flow by powers of Gauss curvature under the obstruction that the flow cannot penetrate a prescribed region, so called an obstacle. For all dimensions and positive powers, we prove the optimal curvature bounds of solutions and all time existence with its long time behavior. We also prove the $C^1$ regularity of free boundaries under a uniform thickness assumption.


title: Multi-objective Bayesian optimization for design of Pareto-optimal current drive profiles in STEP

abstract: The safety factor profile is a key property in determining the stability of tokamak plasmas. To design the safety factor profile in the United Kingdom's proposed Spherical Tokamak for Energy Production (STEP), we apply multi-objective Bayesian optimisation to design electron-cyclotron heating profiles. Bayesian optimisation is an iterative machine learning technique that uses an uncertainty-aware predictive model to choose the next designs to evaluate based on the data gathered during optimisation. By taking a multi-objective approach, the optimiser generates sets of solutions that represent optimal tradeoffs between objectives, enabling decision makers to understand the compromises made in each design. The solutions from our method score higher than those generated in previous work by a genetic algorithm; however, the key result is that our method returns a purposefully diverse range of optimal solutions, providing more information to tokamak designers without incurring additional computational cost.


title: Searching 2D-Strings for Matching Frames

abstract: We introduce the natural notion of a matching frame in a $2$-dimensional string. A matching frame in a $2$-dimensional $n\times m$ string $M$, is a rectangle such that the strings written on the horizontal sides of the rectangle are identical, and so are the strings written on the vertical sides of the rectangle. Formally, a matching frame in $M$ is a tuple $(u,d,\ell,r)$ such that $M[u][\ell ..r] = M[d][\ell ..r]$ and $M[u..d][\ell] = M[u..d][r]$. In this paper, we present an algorithm for finding the maximum perimeter matching frame in a matrix $M$ in $\tilde{O}(n^{2.5})$ time (assuming $n \ge m)$. Additionally, for every constant $\epsilon> 0$ we present a near-linear $(1-\epsilon)$-approximation algorithm for the maximum perimeter of a matching frame. In the development of the aforementioned algorithms, we introduce inventive technical elements and uncover distinctive structural properties that we believe will captivate the curiosity of the community.


title: Beyond Stationarity: Convergence Analysis of Stochastic Softmax Policy Gradient Methods

abstract: Markov Decision Processes (MDPs) are a formal framework for modeling and solving sequential decision-making problems. In finite-time horizons such problems are relevant for instance for optimal stopping or specific supply chain problems, but also in the training of large language models. In contrast to infinite horizon MDPs optimal policies are not stationary, policies must be learned for every single epoch. In practice all parameters are often trained simultaneously, ignoring the inherent structure suggested by dynamic programming. This paper introduces a combination of dynamic programming and policy gradient called dynamic policy gradient, where the parameters are trained backwards in time. For the tabular softmax parametrisation we carry out the convergence analysis for simultaneous and dynamic policy gradient towards global optima, both in the exact and sampled gradient settings without regularisation. It turns out that the use of dynamic policy gradient training much better exploits the structure of finite- time problems which is reflected in improved convergence bounds.


title: Self-consistent description of HERA data at low $Q^2$ and soft hadron production at LHC

abstract: Using the analytical expression for transverse momentum dependent (TMD) gluon density in a proton, a self-consistent simultaneous description of low $Q^2$ data on proton structure function $F_2(x,Q^2)$, reduced cross section for the electron-proton deep inelastic scattering at HERA and soft hadron production in $pp$ collisions at the LHC is achieved in the framework of color dipole approach and modified quark-gluon string model.


title: Asymptotics for the Green's functions of a transient reflected Brownian motion in a wedge

abstract: We consider a transient Brownian motion reflected obliquely in a two-dimensional wedge. A precise asymptotic expansion of Green's functions is found in all directions. To this end, we first determine a kernel functional equation connecting the Laplace transforms of the Green's functions. We then extend the Laplace transforms analytically and study its singularities. We obtain the asymptotics applying the saddle point method to the inverse Laplace transform on the Riemann surface generated by the kernel.


title: ObjFormer: Learning Land-Cover Changes From Paired OSM Data and Optical High-Resolution Imagery via Object-Guided Transformer

abstract: Optical high-resolution imagery and OSM data are two important data sources of change detection (CD). Previous related studies focus on utilizing the information in OSM data to aid the CD on optical high-resolution images. This paper pioneers the direct detection of land-cover changes utilizing paired OSM data and optical imagery, thereby expanding the scope of CD tasks. To this end, we propose an object-guided Transformer (ObjFormer) by naturally combining the object-based image analysis (OBIA) technique with the advanced vision Transformer architecture. This combination can significantly reduce the computational overhead in the self-attention module without adding extra parameters or layers. ObjFormer has a hierarchical pseudo-siamese encoder consisting of object-guided self-attention modules that extracts multi-level heterogeneous features from OSM data and optical images; a decoder consisting of object-guided cross-attention modules can recover land-cover changes from the extracted heterogeneous features. Beyond basic binary change detection, this paper raises a new semi-supervised semantic change detection task that does not require any manually annotated land-cover labels to train semantic change detectors. Two lightweight semantic decoders are added to ObjFormer to accomplish this task efficiently. A converse cross-entropy loss is designed to fully utilize negative samples, contributing to the great performance improvement in this task. A large-scale benchmark dataset called OpenMapCD containing 1,287 samples covering 40 regions on six continents is constructed to conduct detailed experiments. The results show the effectiveness of our methods in this new kind of CD task. Additionally, case studies in Japanese cities demonstrate the framework's generalizability and practical potential. The OpenMapCD and source code are available in https://github.com/ChenHongruixuan/ObjFormer


title: Current direction dependent magnetotransport in CuTe

abstract: Despite being a layered, easily-exfoliated compound, copper monotelluride (CuTe) features an unusual quasi-one-dimensional charge density wave below $T_{\rm CDW}\approx335$ K. Within a CuTe layer, the electrical resistivity depends sensitively on the direction of the electrical current. Here, we use magnetotransport to probe the metallic state of CuTe with two distinct in-plane current directions. When the current flows along the $a$-axis ($I//a$), the magnetoresistance exhibits a downward curvature as the magnetic field increases. On the other hand, when the current is along the $b$-axis ($I//b$), the magnetoresistance shows the opposite curvature. Our analysis uncovers a violation of Kohler scaling, but only for $I//a$. Shubnikov-de Haas oscillations are detected at low temperatures. Our results shed light on the nature of the metallic state in CuTe with the development of the charge density wave.


title: PostRainBench: A comprehensive benchmark and a new model for precipitation forecasting

abstract: Accurate precipitation forecasting is a vital challenge of both scientific and societal importance. Data-driven approaches have emerged as a widely used solution for addressing this challenge. However, solely relying on data-driven approaches has limitations in modeling the underlying physics, making accurate predictions difficult. Coupling AI-based post-processing techniques with traditional Numerical Weather Prediction (NWP) methods offers a more effective solution for improving forecasting accuracy. Despite previous post-processing efforts, accurately predicting heavy rainfall remains challenging due to the imbalanced precipitation data across locations and complex relationships between multiple meteorological variables. To address these limitations, we introduce the PostRainBench, a comprehensive multi-variable NWP post-processing benchmark consisting of three datasets for NWP post-processing-based precipitation forecasting. We propose CAMT, a simple yet effective Channel Attention Enhanced Multi-task Learning framework with a specially designed weighted loss function. Its flexible design allows for easy plug-and-play integration with various backbones. Extensive experimental results on the proposed benchmark show that our method outperforms state-of-the-art methods by 6.3%, 4.7%, and 26.8% in rain CSI on the three datasets respectively. Most notably, our model is the first deep learning-based method to outperform traditional Numerical Weather Prediction (NWP) approaches in extreme precipitation conditions. It shows improvements of 15.6%, 17.4%, and 31.8% over NWP predictions in heavy rain CSI on respective datasets. These results highlight the potential impact of our model in reducing the severe consequences of extreme weather events.


title: Coronal Diagnostics of Solar Type-III Radio Bursts Using LOFAR and PSP Observations

abstract: This study aims to investigate the ambiguous source and the underlying physical processes of the solar type III radio bursts that occurred on April 3, 2019, through the utilization of multiwavelength observations from the LOFAR radio telescope and the PSP space mission, as well as incorporating results from a PFSS and MHD models. The primary goal is to identify the spatial and temporal characteristics of the radio sources, as well as the plasma conditions along their trajectory. Data preprocessing techniques are applied to combine high- and low-frequency observations from LOFAR and PSP between 2.6 kHz and 80 MHz. We then extract information on the frequency drift and speed of the accelerated electron beams from the dynamic spectra. Additionally, we use LOFAR interferometric observations to image the sources of the radio emission at multiple frequencies and determine their locations and kinematics in the corona. Lastly, we analyze the plasma parameters and magnetic field along the trajectories of the radio sources using PFSS and MHD model results. We present several notable findings related to type III radio bursts. Firstly, through our automated implementation, we were able to effectively identify and characterize 9 type III radio bursts in the LOFAR-PSP combined dynamic spectrum and 16 type III bursts in the LOFAR dynamic spectrum. Secondly, our imaging observations show that the electrons responsible for these bursts originate from the same source and within a short time frame of fewer than 30 minutes. Finally, our analysis provides informative insights into the physical conditions along the path of the electron beams. For instance, we found that the plasma density obtained from the MAS model is significantly lower than the expected theoretical density.


title: Open Gimbal: A 3 Degrees of Freedom Open Source Sensing and Testing Platform for Nano and Micro UAVs

abstract: Testing the aerodynamics of micro- and nano-UAVs without actually flying is highly challenging. To address this issue, we introduce Open Gimbal, a specially designed 3 Degrees of Freedom platform that caters to the unique requirements of micro- and nano-UAVs. This platform allows for unrestricted and free rotational motion, enabling comprehensive experimentation and evaluation of these UAVs. Our approach focuses on simplicity and accessibility. We developed an open-source, 3D printable electro-mechanical design that has minimal size and low complexity. This design facilitates easy replication and customization, making it widely accessible to researchers and developers. Addressing the challenges of sensing flight dynamics at a small scale, we have devised an integrated wireless batteryless sensor subsystem. Our innovative solution eliminates the need for complex wiring and instead uses wireless power transfer for sensor data reception. To validate the effectiveness of open gimbal, we thoroughly evaluate and test its communication link and sensing performance using a typical nano-quadrotor. Through comprehensive testing, we verify the reliability and accuracy of open gimbal in real-world scenarios. These advancements provide valuable tools and insights for researchers and developers working with mUAVs and nUAVs, contributing to the progress of this rapidly evolving field.


title: Diffusion Generative Flow Samplers: Improving learning signals through partial trajectory optimization

abstract: We tackle the problem of sampling from intractable high-dimensional density functions, a fundamental task that often appears in machine learning and statistics. We extend recent sampling-based approaches that leverage controlled stochastic processes to model approximate samples from these target densities. The main drawback of these approaches is that the training objective requires full trajectories to compute, resulting in sluggish credit assignment issues due to use of entire trajectories and a learning signal present only at the terminal time. In this work, we present Diffusion Generative Flow Samplers (DGFS), a sampling-based framework where the learning process can be tractably broken down into short partial trajectory segments, via parameterizing an additional "flow function". Our method takes inspiration from the theory developed for generative flow networks (GFlowNets), allowing us to make use of intermediate learning signals. Through various challenging experiments, we demonstrate that DGFS achieves more accurate estimates of the normalization constant than closely-related prior methods.


title: Sensitivity Analysis for an Effective Transfer of Estimated Material Properties from Cone Calorimeter to Horizontal Flame Spread Simulations

abstract: Predictive flame spread models based on temperature dependent pyrolysis rates require numerous material properties as input parameters. These parameters are typically derived by optimisation and inverse modelling using data from bench scale experiments such as the cone calorimeter. The estimated parameters are then transferred to flame spread simulations, where self-sustained propagation is expected. A fundamental requirement for this transfer is that the simulation model used in the optimisation is sufficiently sensitive to the input parameters that are important to flame spread. Otherwise, the estimated parameters will have an increased associated uncertainty that will be transferred to the flame spread simulation. This is investigated here using a variance-based global sensitivity analysis method, the Sobol indices. The sensitivities of a cone calorimeter and a horizontal flame spread simulation to 15 effective properties of polymethyl methacrylate are compared. The results show significant differences between the setups: the cone calorimeter is dominated by strong interaction effects between two temperature dependent specific heat values, whereas the flame spread is influenced by several parameters. Furthermore, the importance of some parameters for the cone calorimeter is found to be time-varying, suggesting that single-value cost functions may not be sufficient to account for all sensitive parameters during optimisation.


title: Stable accretion in young stars: The cases of EX Lupi and TW Hya

abstract: We examine the long-term spectroscopic and photometric variability of EX~Lupi and TW~Hya, studying the presence of stable accretion and the role it plays in the observed variability. Analysing the velocity modulations of the emission lines with STAR-MELT, we obtain information on the structure of the accretion columns and the disk-star connection. The emission line radial velocities reveal that TW Hya, like EX Lupi, has a remarkably stable or slow-varying accretion column footprint, locked to the star for several years. The line-emitting regions are non-polar for both EX Lupi and TW Hya, and species with different energies differ in position. In contrast, the continuum emission as observed in the photometry is very variable and can be modelled by hot spot(s) that change over time in phase, shape, temperature, size, and location with respect to the emission line region. The continuum emission region may not be limited to the stellar surface, especially during episodes of high accretion. The broad line emission observed in EX Lupi during episodes of increased accretion reveals a further structure, which can be fitted by non-axisymmetric disk in Keplerian rotation inwards of the corotation radius. Since the radial velocity modulation due to accretion footprints is so stable, we used it to search for further velocity modulations. While no residual modulation (other than caused by stellar rotation) is found in these objects, a similar analysis could help to identify young planets/companions. Therefore, determining whether stable accretion footprints are common among young stars is a key to detect young planets.


title: Entropy of Flat Space Cosmologies from Celestial dual

abstract: We construct a one-dimensional dual theory that effectively describes the sector of the (2+1)D flat gravity phase space near a Flat Space Cosmology (FSC) saddle labeled by definite mass and angular momentum. This Schwarzian type action describes the dynamics of the (Pseudo-) Goldstone Bosons of BMS$_3$ algebra on a circle as the symmetry is spontaneously and anomalously broken. This 1D theory, living on the celestial circle, provides an explicit construction of a celestial dual in (2+1)D. We use it to calculate the semiclassical entropy of Flat Space Cosmologies and find perfect agreement with existing literature.