title: The history of the General Adjoint Functor Theorem

abstract: Not only motivated by the fact that the publication of the GAFT first appeared 60 years ago in print we reconstruct its history and so show that it is no exaggeration to claim that it has appeared already 75 years ago!


title: Finite subgroups of automorphisms of free products

abstract: We study finite subgroups of outer automorphisms of free products. We give upper bounds for the orders of these finite subgroups as well as bounds for the orders of individual torsion outer automorphisms under some (necessary) conditions for the free factors.


title: New constrained generalized Killing spinor field classes in warped flux compactifications

abstract: The generalized Fierz identities are addressed in the K\"ahler-Atiyah bundle framework from the perspective of the equations governing constrained generalized Killing spinor fields. We explore the spin geometry in a Riemannian 8-manifold composing a warped flux compactification AdS$_3\times M_8$, whose metric and fluxes preserve one supersymmetry in AdS$_3$. Supersymmetry conditions can be efficiently translated into spinor bilinear covariants, whose algebraic and differential constraints yield identifying new spinor field classes. Intriguing implications and potential applications are discussed.


title: MiLe Loss: a New Loss for Mitigating the Bias of Learning Difficulties in Generative Language Models

abstract: Generative language models are usually pretrained on large text corpus via predicting the next token (i.e., sub-word/word/phrase) given the previous ones. Recent works have demonstrated the impressive performance of large generative language models on downstream tasks. However, existing generative language models generally neglect an inherent challenge in text corpus during training, i.e., the imbalance between frequent tokens and infrequent ones. It can lead a language model to be dominated by common and easy-to-learn tokens, thereby overlooking the infrequent and difficult-to-learn ones. To alleviate that, we propose a MiLe Loss function for mitigating the bias of learning difficulties with tokens. During training, it can dynamically assess the learning difficulty of a to-be-learned token, according to the information entropy of the corresponding predicted probability distribution over the vocabulary. Then it scales the training loss adaptively, trying to lead the model to focus more on the difficult-to-learn tokens. On the Pile dataset, we train generative language models at different scales of 468M, 1.2B, and 6.7B parameters. Experiments reveal that models incorporating the proposed MiLe Loss can gain consistent performance improvement on downstream benchmarks.


title: Scalar field, nucleon structure and relativistic chiral theory for nuclear matter

abstract: The work that Peter Schuck and I carried out during the nineties in collaboration with the Lyon and Darmstadt theory groups is summarized. I retrace how our theoretical developments combined with experimental results concerning the in-medium modification of the pion-pion interaction allowed a clarification of the chiral status of the sigma meson introduced in relativistic theories of nuclear matter. This enabled us to build a relativistic chiral theory, now called the chiral confining model of nuclear matter, which includes the effect of the nucleon substructure, namely the response of the nucleon to the nuclear scalar field generating an efficient and natural contribution to the saturation mechanism. Using parameters from a QCD-connected version of the chiral confining model, I describe the relative roles of the chiral scalar field and two-pion (or two-rho) exchange for the in-medium $NN$ attractive interaction and the associated sources of three-body interactions needed for the saturation mechanism.


title: Role of wave scattering in instability-induced Langmuir circulation

abstract: We consider a classical problem about dynamic instability that leads to the Langmuir circulation. The problem statement assumes that there is initially a wind-driven shear flow and a plane surface wave propagating in the direction of the flow. The unstable mode is a superposition of i) shear flow and ii) surface waves both modulated in the horizontal spanwise direction and iii) circulation that is made up with vortices forming near-surface rolls whose axis are coaligned along the shear flow streamlines and whose transverse size corresponds to the modulation period. Usually, the Langmuir circulation is understood as the vortical part of the mode slowly varying in time, which is the combination of the first and the last flows. The novelty of our approach is that we, firstly, take into account the scattering of the initial surface wave on the slow current. Second, we find the interference of the scattered and the initial waves generating a Stokes drift modulated in the same direction. Third, we establish the subsequent affect of the circulation by the vortex force created by the nonlinear interaction of the initial shear flow and the modulated part of the Stokes drift. S. Leibovich & A.D.D. Craik previously showed that the third part of the mechanism could maintain the Langmuir circulation. We calculate the growth rate which is approximately twice smaller than that obtained by A.D.D. Craik. The vertical structure of the circulation in the mode consists of two vortices, that corresponds to the next mode in Craik's model. Considering the wave scattering, we describe the fast-wave motion as a potential flow with relatively weak vortical correction. Application of the technique can be expanded on other flows where fast oscillating surface waves coexist with a slow current.


title: Self-assembly of the chiral donor-acceptor molecule DCzDCN on Cu(100)

abstract: Donor-acceptor (D-A) structured molecules are essential components in organic electronics. The respective molecular structure of these molecules and their synthesis are primarily determined by the intended area of application. Typically, D-A molecules promote charge separation and transport in organic photovoltaics (OPV) or organic field-effect transistors (OFET). D-A molecules showing a larger twist angle between D and A units are, e.g., extremely important for the development of high internal quantum efficiency in organic light-emitting diodes (OLEDs). A prototypical molecule of this D-A type is DCzDCN (5-(4,6-diphenyl-1,3,5-triazin-2-yl)benzene-1,3-dinitrile). In most cases, these molecules are only investigated regarding their electronic and structural interaction in bulk aggregates but not in ultra-thin films supported by a metallic substrate. Here, we present growth and electronic structure studies of DCzDCN on a Cu(100) surface. In a complementary approach, through the use of Scanning Tunneling Microscopy and Spectroscopy (STM and STS), we were able to view both the adsorption geometry and the local electronic states of the adsorbed molecules in direct comparison with the integral electronic structure of the DCzDCN/CU(100) interface using Ultraviolet and Inverse Photoemission Spectroscopy (UPS and IPS). The orientation of the molecules with the donor part towards the substrate results in a chiral resolution at the interface due to the molecular as well as the substrate symmetry and additional strong molecular electrostatic forces. Thus, the formation of various bulk-unlike homochiral structures and the appearance of hybrid interface states (HIS) modifies the molecular electronic properties of the DCzDCN/Cu(100) system significantly compared to that of a single DCzDCN molecule. This may be not only useful for optoelectronic applications but also in organic spintronics.


title: Revitalizing Legacy Video Content: Deinterlacing with Bidirectional Information Propagation

abstract: Due to old CRT display technology and limited transmission bandwidth, early film and TV broadcasts commonly used interlaced scanning. This meant each field contained only half of the information. Since modern displays require full frames, this has spurred research into deinterlacing, i.e. restoring the missing information in legacy video content. In this paper, we present a deep-learning-based method for deinterlacing animated and live-action content. Our proposed method supports bidirectional spatio-temporal information propagation across multiple scales to leverage information in both space and time. More specifically, we design a Flow-guided Refinement Block (FRB) which performs feature refinement including alignment, fusion, and rectification. Additionally, our method can process multiple fields simultaneously, reducing per-frame processing time, and potentially enabling real-time processing. Our experimental results demonstrate that our proposed method achieves superior performance compared to existing methods.


title: Adversarial Batch Inverse Reinforcement Learning: Learn to Reward from Imperfect Demonstration for Interactive Recommendation

abstract: Rewards serve as a measure of user satisfaction and act as a limiting factor in interactive recommender systems. In this research, we focus on the problem of learning to reward (LTR), which is fundamental to reinforcement learning. Previous approaches either introduce additional procedures for learning to reward, thereby increasing the complexity of optimization, or assume that user-agent interactions provide perfect demonstrations, which is not feasible in practice. Ideally, we aim to employ a unified approach that optimizes both the reward and policy using compositional demonstrations. However, this requirement presents a challenge since rewards inherently quantify user feedback on-policy, while recommender agents approximate off-policy future cumulative valuation. To tackle this challenge, we propose a novel batch inverse reinforcement learning paradigm that achieves the desired properties. Our method utilizes discounted stationary distribution correction to combine LTR and recommender agent evaluation. To fulfill the compositional requirement, we incorporate the concept of pessimism through conservation. Specifically, we modify the vanilla correction using Bellman transformation and enforce KL regularization to constrain consecutive policy updates. We use two real-world datasets which represent two compositional coverage to conduct empirical studies, the results also show that the proposed method relatively improves both effectiveness (2.3\%) and efficiency (11.53\%)


title: On consequences of finetuning on data with highly discriminative features

abstract: In the era of transfer learning, training neural networks from scratch is becoming obsolete. Transfer learning leverages prior knowledge for new tasks, conserving computational resources. While its advantages are well-documented, we uncover a notable drawback: networks tend to prioritize basic data patterns, forsaking valuable pre-learned features. We term this behavior "feature erosion" and analyze its impact on network performance and internal representations.


title: Quantum Lego and XP Stabilizer Codes

abstract: We apply the recent graphical framework of ''quantum lego'' to XP stabilizer codes where the stabilizer group is generally non-abelian. We show that the idea of operator matching continues to hold for such codes and is sufficient for generating all their XP symmetries provided the resulting code is XP. We provide an efficient classical algorithm for tracking these symmetries under tensor contraction or conjoining. This constitutes a partial extension of the algorithm implied by Gottesman-Knill theorem beyond Pauli stabilizer states and Clifford operations. Because conjoining transformations generate quantum operations that are universal, the XP symmetries obtained from these algorithms do not uniquely identify the resulting tensors in general. Using this extended framework, we provide a novel XP stabilizer code with higher distance and a $[[8,1,2]]$ code with fault-tolerant $T$ gate. For XP regular codes, we also construct a tensor-network-based the maximum likelihood decoder for any i.i.d. single qubit error channel.


title: A Novel Representation to Improve Team Problem Solving in Real-Time

abstract: This paper proposes a novel representation to support computing metrics that help understanding and improving in real-time a team's behavior during problem solving in real-life. Even though teams are important in modern activities, there is little computing aid to improve their activity. The representation captures the different mental images developed, enhanced, and utilized during solving. A case study illustrates the representation.


title: IterInv: Iterative Inversion for Pixel-Level T2I Models

abstract: Large-scale text-to-image diffusion models have been a ground-breaking development in generating convincing images following an input text prompt. The goal of image editing research is to give users control over the generated images by modifying the text prompt. Current image editing techniques predominantly hinge on DDIM inversion as a prevalent practice rooted in Latent Diffusion Models (LDM). However, the large pretrained T2I models working on the latent space suffer from losing details due to the first compression stage with an autoencoder mechanism. Instead, other mainstream T2I pipeline working on the pixel level, such as Imagen and DeepFloyd-IF, circumvents the above problem. They are commonly composed of multiple stages, typically starting with a text-to-image stage and followed by several super-resolution stages. In this pipeline, the DDIM inversion fails to find the initial noise and generate the original image given that the super-resolution diffusion models are not compatible with the DDIM technique. According to our experimental findings, iteratively concatenating the noisy image as the condition is the root of this problem. Based on this observation, we develop an iterative inversion (IterInv) technique for this category of T2I models and verify IterInv with the open-source DeepFloyd-IF model.Specifically, IterInv employ NTI as the inversion and reconstruction of low-resolution image generation. In stages 2 and 3, we update the latent variance at each timestep to find the deterministic inversion trace and promote the reconstruction process. By combining our method with a popular image editing method, we prove the application prospects of IterInv. The code will be released upon acceptance. The code is available at \url{https://github.com/Tchuanm/IterInv.git}.


title: Optimal testing using combined test statistics across independent studies

abstract: Combining test statistics from independent trials or experiments is a popular method of meta-analysis. However, there is very limited theoretical understanding of the power of the combined test, especially in high-dimensional models considering composite hypotheses tests. We derive a mathematical framework to study standard {meta-analysis} testing approaches in the context of the many normal means model, which serves as the platform to investigate more complex models. We introduce a natural and mild restriction on the meta-level combination functions of the local trials. This allows us to mathematically quantify the cost of compressing $m$ trials into real-valued test statistics and combining these. We then derive minimax lower and matching upper bounds for the separation rates of standard combination methods for e.g. p-values and e-values, quantifying the loss relative to using the full, pooled data. We observe an elbow effect, revealing that in certain cases combining the locally optimal tests in each trial results in a sub-optimal {meta-analysis} method and develop approaches to achieve the global optima. We also explore the possible gains of allowing limited coordination between the trial designs. Our results connect meta-analysis with bandwidth constraint distributed inference and build on recent information theoretic developments in the latter field.


title: Exploiting Image-Related Inductive Biases in Single-Branch Visual Tracking

abstract: Despite achieving state-of-the-art performance in visual tracking, recent single-branch trackers tend to overlook the weak prior assumptions associated with the Vision Transformer (ViT) encoder and inference pipeline. Moreover, the effectiveness of discriminative trackers remains constrained due to the adoption of the dual-branch pipeline. To tackle the inferior effectiveness of the vanilla ViT, we propose an Adaptive ViT Model Prediction tracker (AViTMP) to bridge the gap between single-branch network and discriminative models. Specifically, in the proposed encoder AViT-Enc, we introduce an adaptor module and joint target state embedding to enrich the dense embedding paradigm based on ViT. Then, we combine AViT-Enc with a dense-fusion decoder and a discriminative target model to predict accurate location. Further, to mitigate the limitations of conventional inference practice, we present a novel inference pipeline called CycleTrack, which bolsters the tracking robustness in the presence of distractors via bidirectional cycle tracking verification. Lastly, we propose a dual-frame update inference strategy that adeptively handles significant challenges in long-term scenarios. In the experiments, we evaluate AViTMP on ten tracking benchmarks for a comprehensive assessment, including LaSOT, LaSOTExtSub, AVisT, etc. The experimental results unequivocally establish that AViTMP attains state-of-the-art performance, especially on long-time tracking and robustness.


title: Spectral identification and estimation of mixed causal-noncausal invertible-noninvertible models

abstract: This paper introduces new techniques for estimating, identifying and simulating mixed causal-noncausal invertible-noninvertible models. We propose a framework that integrates high-order cumulants, merging both the spectrum and bispectrum into a single estimation function. The model that most adequately represents the data under the assumption that the error term is i.i.d. is selected. Our Monte Carlo study reveals unbiased parameter estimates and a high frequency with which correct models are identified. We illustrate our strategy through an empirical analysis of returns from 24 Fama-French emerging market stock portfolios. The findings suggest that each portfolio displays noncausal dynamics, producing white noise residuals devoid of conditional heteroscedastic effects.


title: A Cosmic Window on the Dark Axion Portal

abstract: Axions and dark photons are common in many extensions of the Standard Model. The dark axion portal -- an axion coupling to the dark photon and photon -- can significantly modify their phenomenology. We study the cosmological constraints on the dark axion portal from Cosmic Microwave Background (CMB) bounds on the energy density of dark radiation, $\Delta N_\text{eff}$. By computing the axion-photon-dark photon collision terms and solving the Boltzmann equations including their effects, we find that light axions are generally more constrained by $\Delta N_\text{eff}$ than from supernova cooling or collider experiments. However, with dark photons at the MeV scale, a window of parameter space is opened up above the supernova limits and below the experimental exclusion, allowing for axion decay constants as low as $f_a \sim 10^4$ GeV. This region also modifies indirectly the neutrino energy density, thus relaxing the cosmological upper bound on the sum of neutrino masses. Future CMB measurements could detect a signal or close this open window on the dark axion portal.


title: MENTOR: Human Perception-Guided Pretraining for Increased Generalization

abstract: Incorporating human perception into training of convolutional neural networks (CNN) has boosted generalization capabilities of such models in open-set recognition tasks. One of the active research questions is where (in the model architecture) and how to efficiently incorporate always-limited human perceptual data into training strategies of models. In this paper, we introduce MENTOR (huMan pErceptioN-guided preTraining fOr increased geneRalization), which addresses this question through two unique rounds of training the CNNs tasked with open-set anomaly detection. First, we train an autoencoder to learn human saliency maps given an input image, without class labels. The autoencoder is thus tasked with discovering domain-specific salient features which mimic human perception. Second, we remove the decoder part, add a classification layer on top of the encoder, and fine-tune this new model conventionally. We show that MENTOR's benefits are twofold: (a) significant accuracy boost in anomaly detection tasks (in this paper demonstrated for detection of unknown iris presentation attacks, synthetically-generated faces, and anomalies in chest X-ray images), compared to models utilizing conventional transfer learning (e.g., sourcing the weights from ImageNet-pretrained models) as well as to models trained with the state-of-the-art approach incorporating human perception guidance into loss functions, and (b) an increase in the efficiency of model training, requiring fewer epochs to converge compared to state-of-the-art training methods.


title: Variability of Blue Supergiants in the LMC with TESS

abstract: The blue supergiant (BSG) problem, namely, the overabundance of BSGs inconsistent with classical stellar evolution theory, remains an open question in stellar astrophysics. Several theoretical explanations have been proposed, which may be tested by their predictions for the characteristic time variability. In this work, we analyze the light curves of a sample of 20 BSGs obtained from the Transiting Exoplanet Survey Satellite (TESS) mission. We report a characteristic signal in the low-frequency ($f\lesssim2\;\mathrm{day}^{-1}$) range for all our targets. The amplitude spectrum has a peak frequency at $\sim0.2\;\mathrm{day}^{-1}$, and we are able to fit it by a modified Lorentzian profile. The signal itself shows strong stochasticity across different TESS sectors, suggesting its driving mechanism happens on short ($\lesssim\mathrm{months}$) timescales. Our signals resemble those obtained for a limited sample of hotter OB stars and yellow supergiants, suggesting their possible common origins. We discuss three possible physical explanations: stellar winds launched by rotation, convection motions that reach the stellar surface, and waves from the deep stellar interior. The peak frequency of the signal favors processes related to the convective zone caused by the iron opacity peak, and the shape of the spectra might be explained by the propagation of high-order, damped gravity waves excited from that zone. We discuss the uncertainties and limitations of all these scenarios.


title: Expansion of one-, two- and three-body matrix elements on a generic spherical basis for nuclear ab initio calculations

abstract: Ab initio studies of atomic nuclei are based on Hamiltonians including one-, two- and three-body operators with very complicated structures. Traditionally, matrix elements of such operators are expanded on a Harmonic Oscillator single-particle basis, which allows for a simple separation of the center-of-mass motion from the intrinsic one. A few recent investigations have showed that the use of different single-particle bases can bring significant advantages to numerical nuclear structure computations. In this work, the complete analytical expression of the Hamiltonian matrix elements expanded on a generic spherical basis is presented for the first time. This will allow systematic studies aimed at the determination of optimal nuclear bases.


title: Approximation Theory, Computing, and Deep Learning on the Wasserstein Space

abstract: The challenge of approximating functions in infinite-dimensional spaces from finite samples is widely regarded as formidable. In this study, we delve into the challenging problem of the numerical approximation of Sobolev-smooth functions defined on probability spaces. Our particular focus centers on the Wasserstein distance function, which serves as a relevant example. In contrast to the existing body of literature focused on approximating efficiently pointwise evaluations, we chart a new course to define functional approximants by adopting three machine learning-based approaches: 1. Solving a finite number of optimal transport problems and computing the corresponding Wasserstein potentials. 2. Employing empirical risk minimization with Tikhonov regularization in Wasserstein Sobolev spaces. 3. Addressing the problem through the saddle point formulation that characterizes the weak form of the Tikhonov functional's Euler-Lagrange equation. As a theoretical contribution, we furnish explicit and quantitative bounds on generalization errors for each of these solutions. In the proofs, we leverage the theory of metric Sobolev spaces and we combine it with techniques of optimal transport, variational calculus, and large deviation bounds. In our numerical implementation, we harness appropriately designed neural networks to serve as basis functions. These networks undergo training using diverse methodologies. This approach allows us to obtain approximating functions that can be rapidly evaluated after training. Consequently, our constructive solutions significantly enhance at equal accuracy the evaluation speed, surpassing that of state-of-the-art methods by several orders of magnitude.


title: Synthetic dimensions for topological and quantum phases: Perspective

abstract: In this Perspective article we report on recent progress on studies of synthetic dimensions, mostly, but not only, based on the research realized around the Barcelona groups (ICFO, UAB), Donostia (DIPC), Pozna\'n (UAM), Krak\'ow (UJ), and Allahabad (HRI). The concept of synthetic dimensions works particularly well in atomic physics, quantum optics, and photonics, where the internal degrees of freedom (Zeeman sublevels of the ground state, metastable excited states, or motional states for atoms, and angular momentum states or transverse modes for photons) provide the synthetic space. We describe our attempts to design quantum simulators with synthetic dimensions, to mimic curved spaces, artificial gauge fields, lattice gauge theories, twistronics, quantum random walks, and more.

categories: quant-ph cond-mat.quant-gas hep-lat physics.atom-ph


title: Virtual Power Plant (VPP) Architecture Tradeoffs

abstract: With a broad market of Distributed Energy Resource (DER) aggregated control solutions, technology investment and implementation decisions for electric utilities and grid operators need to consider complexity, cost, and performance. This paper compares the performance tradeoffs of two Virtual Power Plant (VPP) architectures for DER aggregated control.


title: A short note on approximating the critical strain for the onset of dynamic recrystallization

abstract: This note provides a MATLAB code to determine the critical strain associated with the onset of dynamic recrystallization. The code takes a closed-form constitutive model and derives the critical strain by solving $\partial^2 \theta / \partial \sigma^2 = 0$. Moreover, several models that could be used for this purpose are studied.


title: Law-Invariant Return and Star-Shaped Risk Measures

abstract: This paper presents novel characterization results for classes of law-invariant star-shaped functionals. We begin by establishing characterizations for positively homogeneous and star-shaped functionals that exhibit second- or convex-order stochastic dominance consistency. Building on these characterizations, we proceed to derive Kusuoka-type representations for these functionals, shedding light on their mathematical structure and intimate connections to Value-at-Risk and Expected Shortfall. Furthermore, we offer representations of general law-invariant star-shaped functionals as robustifications of Value-at-Risk. Notably, our results are versatile, accommodating settings that may, or may not, involve monotonicity and/or cash-additivity. All of these characterizations are developed within a general locally convex topological space of random variables, ensuring the broad applicability of our results in various financial, insurance and probabilistic contexts.


title: Closed $G_2$-Structures with Negative Ricci Curvature

abstract: The Goldberg conjecture states that a compact almost K\"ahler, Einstein manifold must be K\"ahler. The analogue of this conjecture in $G_2$-geometry says that an Einstein closed $G_2$-structure on a compact manifold must be torsion-free, and this was proven to be true by Cleyton-Ivanov and Bryant. In this paper, we remove the compactness assumption and prove the $G_2$-Goldberg conjecture for noncompact manifolds. In general, we prove that there is no closed $G_2$-structure on a noncompact manifold whose metric is complete and has Ricci curvature pinched sufficiently close to a negative constant. We also find restrictions on the lengths of geodesics when the metric is incomplete.


title: Harvest Video Foundation Models via Efficient Post-Pretraining

abstract: Building video-language foundation models is costly and difficult due to the redundant nature of video data and the lack of high-quality video-language datasets. In this paper, we propose an efficient framework to harvest video foundation models from image ones. Our method is intuitively simple by randomly dropping input video patches and masking out input text during the post-pretraining procedure. The patch dropping boosts the training efficiency significantly and text masking enforces the learning of cross-modal fusion. We conduct extensive experiments to validate the effectiveness of our method on a wide range of video-language downstream tasks including various zero-shot tasks, video question answering, and video-text retrieval. Despite its simplicity, our method achieves state-of-the-art performances, which are comparable to some heavily pretrained video foundation models. Our method is extremely efficient and can be trained in less than one day on 8 GPUs, requiring only WebVid-10M as pretraining data. We hope our method can serve as a simple yet strong counterpart for prevalent video foundation models, provide useful insights when building them, and make large pretrained models more accessible and sustainable. This is part of the InternVideo project \url{https://github.com/OpenGVLab/InternVideo}.


title: Force Rendering and Its Evaluation of a Friction-based Walking Sensation Display for a Seated User

abstract: Most existing locomotion devices that represent the sensation of walking target a user who is actually performing a walking motion. Here, we attempted to represent the walking sensation, especially a kinesthetic sensation and advancing feeling (the sense of moving forward) while the user remains seated. To represent the walking sensation using a relatively simple device, we focused on the force rendering and its evaluation of the longitudinal friction force applied on the sole during walking. Based on the measurement of the friction force applied on the sole during actual walking, we developed a novel friction force display that can present the friction force without the influence of body weight. Using performance evaluation testing, we found that the proposed method can stably and rapidly display friction force. Also, we developed a virtual reality (VR) walk-through system that is able to present the friction force through the proposed device according to the avatar's walking motion in a virtual world. By evaluating the realism, we found that the proposed device can represent a more realistic advancing feeling than vibration feedback.


title: Local sections of arithmetic fundamental groups of p-adic curves

abstract: We investigate sections of the arithmetic fundamental group pi_1(X) where X is either a smooth affinoid p-adic curve, or a formal germ of a p-adic curve, and prove that they can be lifted (unconditionally) to sections of cuspidally abelian Galois groups. As a consequence, if X admits a compactification Y, and the exact sequence of pi_1(X) splits, then index (Y)=1. We also exhibit a necessary and sufficient condition for a section of pi_1(X) to arise from a rational point of Y. One of the key ingredients in our investigation is the fact, we prove in this paper in case X is affinoid, that the Picard group of X is finite.


title: A Bayesian Markov-switching SAR model for time-varying cross-price spillovers

abstract: The spatial autoregressive (SAR) model is extended by introducing a Markov switching dynamics for the weight matrix and spatial autoregressive parameter. The framework enables the identification of regime-specific connectivity patterns and strengths and the study of the spatiotemporal propagation of shocks in a system with a time-varying spatial multiplier matrix. The proposed model is applied to disaggregated CPI data from 15 EU countries to examine cross-price dependencies. The analysis identifies distinct connectivity structures and spatial weights across the states, which capture shifts in consumer behaviour, with marked cross-country differences in the spillover from one price category to another.


title: Privacy-preserving Federated Primal-dual Learning for Non-convex and Non-smooth Problems with Model Sparsification

abstract: Federated learning (FL) has been recognized as a rapidly growing research area, where the model is trained over massively distributed clients under the orchestration of a parameter server (PS) without sharing clients' data. This paper delves into a class of federated problems characterized by non-convex and non-smooth loss functions, that are prevalent in FL applications but challenging to handle due to their intricate non-convexity and non-smoothness nature and the conflicting requirements on communication efficiency and privacy protection. In this paper, we propose a novel federated primal-dual algorithm with bidirectional model sparsification tailored for non-convex and non-smooth FL problems, and differential privacy is applied for privacy guarantee. Its unique insightful properties and some privacy and convergence analyses are also presented as the FL algorithm design guidelines. Extensive experiments on real-world data are conducted to demonstrate the effectiveness of the proposed algorithm and much superior performance than some state-of-the-art FL algorithms, together with the validation of all the analytical results and properties.


title: Disentangled Counterfactual Learning for Physical Audiovisual Commonsense Reasoning

abstract: In this paper, we propose a Disentangled Counterfactual Learning~(DCL) approach for physical audiovisual commonsense reasoning. The task aims to infer objects' physics commonsense based on both video and audio input, with the main challenge is how to imitate the reasoning ability of humans. Most of the current methods fail to take full advantage of different characteristics in multi-modal data, and lacking causal reasoning ability in models impedes the progress of implicit physical knowledge inferring. To address these issues, our proposed DCL method decouples videos into static (time-invariant) and dynamic (time-varying) factors in the latent space by the disentangled sequential encoder, which adopts a variational autoencoder (VAE) to maximize the mutual information with a contrastive loss function. Furthermore, we introduce a counterfactual learning module to augment the model's reasoning ability by modeling physical knowledge relationships among different objects under counterfactual intervention. Our proposed method is a plug-and-play module that can be incorporated into any baseline. In experiments, we show that our proposed method improves baseline methods and achieves state-of-the-art performance. Our source code is available at https://github.com/Andy20178/DCL.


title: Une construction du groupe $G_{32}$ de Shephard-Todd via le groupe de Weyl de type $E_6$

abstract: French abstract. Il est connu que le quotient du groupe d\'eriv\'e du groupe de r\'eflexions complexe $G_{32}$ de Shephard-Todd (qui est de rang $4$) par son centre est isomorphe au groupe d\'eriv\'e du groupe de Weyl de type $E_6$. Nous montrons que cet isomorphisme peut se r\'ealiser via la puissance ext\'erieure deuxi\`eme et en profitons pour proposer une construction alternative du groupe $G_{32}$. English abstract. It is well-known that the quotient of the derived subgroup of the Shephard-Todd complex reflection group $G_{32}$ (which has rank $4$) by its center is isomorphic to the derived subgroup of the Weyl group of type $E_6$. We show that this isomorphism can be realized through the second exterior power, and take the opportunity to propose an alternative construction of the group $G_{32}$.


title: Non-parametric regression for robot learning on manifolds

abstract: Many of the tools available for robot learning were designed for Euclidean data. However, many applications in robotics involve manifold-valued data. A common example is orientation; this can be represented as a 3-by-3 rotation matrix or a quaternion, the spaces of which are non-Euclidean manifolds. In robot learning, manifold-valued data are often handled by relating the manifold to a suitable Euclidean space, either by embedding the manifold or by projecting the data onto one or several tangent spaces. These approaches can result in poor predictive accuracy, and convoluted algorithms. In this paper, we propose an "intrinsic" approach to regression that works directly within the manifold. It involves taking a suitable probability distribution on the manifold, letting its parameter be a function of a predictor variable, such as time, then estimating that function non-parametrically via a "local likelihood" method that incorporates a kernel. We name the method kernelised likelihood estimation. The approach is conceptually simple, and generally applicable to different manifolds. We implement it with three different types of manifold-valued data that commonly appear in robotics applications. The results of these experiments show better predictive accuracy than projection-based algorithms.


title: A weighted Minkowski theorem for pseudo-cones

abstract: A nonempty closed convex set in ${\mathbb R}^n$, not containing the origin, is called a pseudo-cone if with every $x$ it also contains $\lambda x$ for $x\ge 1$. We consider pseudo-cones with a given recession cone $C$, called $C$-pseudo-cones. The family of $C$-pseudo-cones can, with reasonable justification, be considered as a counterpart to the family of convex bodies containing the origin in the interior. For a $C$-pseudo-cone one can naturally define a surface area measure and a covolume. Since they are in general infinite, we introduce a weighting, leading to modified versions of surface area and covolume. These are finite and still homogeneous, though of different degrees. Our main result is a Minkowski type existence theorem for $C$-pseudo-cones with given weighted surface area measure.


title: Data-driven optimal control via linear programming: boundedness guarantees

abstract: The linear programming (LP) approach is, together with value iteration and policy iteration, one of the three fundamental methods to solve optimal control problems in a dynamic programming setting. Despite its simple formulation, versatility, and predisposition to be employed in model-free settings, the LP approach has not enjoyed the same popularity as the other methods. The reason is the often poor scalability of the exact LP approach and the difficulty to obtain bounded solutions for a reasonable amount of constraints. We mitigate these issues here, by investigating fundamental geometric features of the LP and developing sufficient conditions to guarantee finite solutions with minimal constraints. In the model-free context, we show that boundedness can be guaranteed by a suitable choice of dataset and objective function.


title: Can multiple observers detect KS-contextuality?

abstract: KS-contextuality is a crucial feature of quantum theory. Previous research demonstrated the vanishing of $N$-cycle KS-contextuality in setups where multiple independent observers measure sequentially on the same system, which we call Public Systems. This phenomenon can be explained as the additional observers' measurements degrading the state and depleting the quantum resource. This explanation would imply that state-independent contextuality should survive in such a system. In this paper, we show that this is not the case. We achieved this result by simulating an observer trying to violate the Peres-Mermin noncontextuality inequality in a Public System. Additionally, we provide an analytical description of our setup, explaining the loss of contextuality even in the state-independent case. Ultimately, these results show that state-independent contextuality is not independent of what happens to the system in-between the measurements of a context.


title: Polynomial harmonic morphisms and eigenfamilies on spheres

abstract: The eigenfamilies of Gudmundsson and Sakovich can be used to generate harmonic morphisms, proper $r$-harmonic maps, and minimal co-dimension $2$ submanifolds. This article begins by characterising the globally defined eigenfamilies of the sphere $S^m$; they correspond to orthogonal families of homogeneous polynomial harmonic morphisms from $\Bbb{R}^{m+1}$ to $\Bbb C$, all of the same degree. We investigate and construct such families, paying special attention to those that are not congruent to families of holomorphic polynomials. Strong restrictions for families of such polynomials are found in low dimensions, and the pairs of degree $2$ maps that induce an eigenfamily are classified.


title: Emergent memory from tapping collisions in active granular matter

abstract: In an equilibrium thermal environment, random elastic collisions between background particles and a tracer establish the picture of Brownian motion fulfilling the celebrated Einstein relation between diffusivity and mobility. In nature, environments often comprise collections of autonomously moving objects that exhibit fascinating non-equilibrium phenomena and are nowadays termed active matter. We investigate experimentally the impact of an active background on a passive tracer using vibrationally excited active particles. They produce multiple correlated tapping collisions with the tracer, for which a persistent memory emerges in the dynamics. The system is described by a generalized active Einstein relation that constrains fluctuations, dissipation, and effective activity, by taking the emerging tracer memory into account. Since the resulting persistence can largely be tuned by the environmental density and motility, our findings can be useful to engineer properties of various active systems in biomedical applications, microfluidics, chemical engineering, or swarm robotics.


title: CreoleVal: Multilingual Multitask Benchmarks for Creoles

abstract: Creoles represent an under-explored and marginalized group of languages, with few available resources for NLP research.While the genealogical ties between Creoles and a number of highly-resourced languages imply a significant potential for transfer learning, this potential is hampered due to this lack of annotated data. In this work we present CreoleVal, a collection of benchmark datasets spanning 8 different NLP tasks, covering up to 28 Creole languages; it is an aggregate of novel development datasets for reading comprehension, relation classification, and machine translation for Creoles, in addition to a practical gateway to a handful of preexisting benchmarks. For each benchmark, we conduct baseline experiments in a zero-shot setting in order to further ascertain the capabilities and limitations of transfer learning for Creoles. Ultimately, we see CreoleVal as an opportunity to empower research on Creoles in NLP and computational linguistics, and in general, a step towards more equitable language technology around the globe.


title: DataZoo: Streamlining Traffic Classification Experiments

abstract: The machine learning communities, such as those around computer vision or natural language processing, have developed numerous supportive tools and benchmark datasets to accelerate the development. In contrast, the network traffic classification field lacks standard benchmark datasets for most tasks, and the available supportive software is rather limited in scope. This paper aims to address the gap and introduces DataZoo, a toolset designed to streamline dataset management in network traffic classification and to reduce the space for potential mistakes in the evaluation setup. DataZoo provides a standardized API for accessing three extensive datasets -- CESNET-QUIC22, CESNET-TLS22, and CESNET-TLS-Year22. Moreover, it includes methods for feature scaling and realistic dataset partitioning, taking into consideration temporal and service-related factors. The DataZoo toolset simplifies the creation of realistic evaluation scenarios, making it easier to cross-compare classification methods and reproduce results.


title: Stratified Ehrhart ring theory on periodic graphs

abstract: We investigate the "stratified Ehrhart ring theory" for periodic graphs, which gives an algorithm for determining the growth sequences of periodic graphs. The growth sequence $(s_{\Gamma, x_0, i})_{i \ge 0}$ is defined for a graph $\Gamma$ and its fixed vertex $x_0$, where $s_{\Gamma, x_0, i}$ is defined as the number of vertices of $\Gamma$ at distance $i$ from $x_0$. Although the sequences $(s_{\Gamma, x_0, i})_{i \ge 0}$ for periodic graphs are known to be of quasi-polynomial type, their determination had not been established, even in dimension two. Our algorithm and the proofs are based on algebraic combinatorics, analogous to the Ehrhart theory. As an application of the algorithm, we determine the growth sequences in several new examples.


title: Finite-size Scaling in Kinetics of Phase Separation in Certain Models of Aligning Active Particles

abstract: To study the kinetics of phase separation in active matter systems, we consider models that impose a Vicsek-type self-propulsion rule on otherwise passive particles interacting via the Lennard-Jones potential. Two types of kinetics are of interest: one conserves the total momentum of all the constituents and the other that does not. We carry out numerical simulations, assisted by molecular dynamics, to obtain results on structural growth and aging properties. Results from our studies, with various finite boxes, show that there exist scalings with respect to the system sizes, in both quantities, as in the standard passive cases. We have exploited this scaling picture to accurately estimate the corresponding exponents, in the thermodynamically large system size limit, for power-law time-dependences. It is shown that certain analytical functions describe the behavior of these quantities quite accurately, including the finite-size limits. Our results demonstrate that even though the conservation of velocity has at best weak effects on the dynamics of evolution in the thermodynamic limit, the finite-size behavior is strongly influenced by the presence (or the absence) of it.


title: A numerical study of the Dirichlet-to-Neumann operator in planar domains

abstract: We numerically investigate the generalized Steklov problem for the modified Helmholtz equation and focus on the relation between its spectrum and the geometric structure of the domain. We address three distinct aspects: (i) the asymptotic behavior of eigenvalues for polygonal domains; (ii) the dependence of the integrals of eigenfunctions on the domain symmetries; and (iii) the localization and exponential decay of Steklov eigenfunctions away from the boundary for smooth shapes and in the presence of corners. For this purpose, we implemented two complementary numerical methods to compute the eigenvalues and eigenfunctions of the associated Dirichlet-to-Neumann operator for various simply-connected planar domains. We also discuss applications of the obtained results in the theory of diffusion-controlled reactions and formulate several conjectures with relevance in spectral geometry.


title: Improving Input-label Mapping with Demonstration Replay for In-context Learning

abstract: In-context learning (ICL) is an emerging capability of large autoregressive language models where a few input-label demonstrations are appended to the input to enhance the model's understanding of downstream NLP tasks, without directly adjusting the model parameters. The effectiveness of ICL can be attributed to the strong language modeling capabilities of large language models (LLMs), which enable them to learn the mapping between input and labels based on in-context demonstrations. Despite achieving promising results, the causal nature of language modeling in ICL restricts the attention to be backward only, i.e., a token only attends to its previous tokens, failing to capture the full input-label information and limiting the model's performance. In this paper, we propose a novel ICL method called Repeated Demonstration with Sliding Causal Attention, (RdSca). Specifically, we duplicate later demonstrations and concatenate them to the front, allowing the model to `observe' the later information even under the causal restriction. Besides, we introduce sliding causal attention, which customizes causal attention to avoid information leakage. Experimental results show that our method significantly improves the input-label mapping in ICL demonstrations. We also conduct an in-depth analysis of how to customize the causal attention without training, which has been an unexplored area in previous research.


title: Model Uncertainty based Active Learning on Tabular Data using Boosted Trees

abstract: Supervised machine learning relies on the availability of good labelled data for model training. Labelled data is acquired by human annotation, which is a cumbersome and costly process, often requiring subject matter experts. Active learning is a sub-field of machine learning which helps in obtaining the labelled data efficiently by selecting the most valuable data instances for model training and querying the labels only for those instances from the human annotator. Recently, a lot of research has been done in the field of active learning, especially for deep neural network based models. Although deep learning shines when dealing with image\textual\multimodal data, gradient boosting methods still tend to achieve much better results on tabular data. In this work, we explore active learning for tabular data using boosted trees. Uncertainty based sampling in active learning is the most commonly used querying strategy, wherein the labels of those instances are sequentially queried for which the current model prediction is maximally uncertain. Entropy is often the choice for measuring uncertainty. However, entropy is not exactly a measure of model uncertainty. Although there has been a lot of work in deep learning for measuring model uncertainty and employing it in active learning, it is yet to be explored for non-neural network models. To this end, we explore the effectiveness of boosted trees based model uncertainty methods in active learning. Leveraging this model uncertainty, we propose an uncertainty based sampling in active learning for regression tasks on tabular data. Additionally, we also propose a novel cost-effective active learning method for regression tasks along with an improved cost-effective active learning method for classification tasks.


title: Skip-WaveNet: A Wavelet based Multi-scale Architecture to Trace Firn Layers in Radar Echograms

abstract: Echograms created from airborne radar sensors capture the profile of firn layers present on top of an ice sheet. Accurate tracking of these layers is essential to calculate the snow accumulation rates, which are required to investigate the contribution of polar ice cap melt to sea level rise. However, automatically processing the radar echograms to detect the underlying firn layers is a challenging problem. In our work, we develop wavelet-based multi-scale deep learning architectures for these radar echograms to improve firn layer detection. We show that wavelet based architectures improve the optimal dataset scale (ODS) and optimal image scale (OIS) F-scores by 3.99% and 3.7%, respectively, over the non-wavelet architecture. Further, our proposed Skip-WaveNet architecture generates new wavelets in each iteration, achieves higher generalizability as compared to state-of-the-art firn layer detection networks, and estimates layer depths with a mean absolute error of 3.31 pixels and 94.3% average precision. Such a network can be used by scientists to trace firn layers, calculate the annual snow accumulation rates, estimate the resulting surface mass balance of the ice sheet, and help project global sea level rise.


title: On finite groups with the Magnus Property

abstract: We investigate finite groups with the Magnus Property, where a group is said to have the Magnus Property (MP) if whenever two elements have the same normal closure then they are conjugate or inverse conjugate. In particular we observe that a finite MP group is solvable, determine the finite primitive MP groups and determine all the possible orders of the chief factors of a finite MP group. We also determine the MP finite direct products of finite primitive groups, as well as the MP crown-based powers of a finite monolithic primitive group.


title: High Order Expansion Method for Kuiper's $V_n$ Statistic

abstract: Kuiper's $V_n$ statistic, a measure for comparing the difference of ideal distribution and empirical distribution, is of great significance in the goodness-of-fit test. However, Kuiper's formulae for computing the cumulative distribution function, false positive probability and the upper tail quantile of $V_n$can not be applied to the case of small sample capacity $n$ since the approximation error is $\mathcal{O}(n^{-1})$. In this work, our contributions lie in three perspectives: firstly the approximation error is reduced to $\mathcal{O}(n^{-(k+1)/2})$ where $k$ is the expansion order with the \textit{high order expansion} (HOE) for the exponent of differential operator; secondly, a novel high order formula with approximation error $\mathcal{O}(n^{-3})$ is obtained by massive calculations; thirdly, the fixed-point algorithms are designed for solving the Kuiper pair of critical values and upper tail quantiles based on the novel formula. The high order expansion method for Kuiper's $V_n$-statistic is applicable for various applications where there are more than $5$ samples of data. The principles, algorithms and code for the high order expansion method are attractive for the goodness-of-fit test.


title: Quantum spin liquids

abstract: A glance at recent research on magnetism turns up a curious set of articles discussing, or claiming evidence for, a state of matter called a quantum spin liquid (QSL). These articles are notable in their invocation of exotic notions of topological physics, quantum entanglement, fractional quantum numbers, anyon statistics and gauge field theories. So what is a QSL and why do we need this complicated technical vocabulary to describe it? Our aim in this article is to introduce some of these concepts and provide a discussion of what a QSL is, where it might occur in Nature and why it is of interest. As we'll see, this is a rich subject which is still in development, and unambiguous evidence for the realisation of the QSL state in a magnetic material remains hotly debated. However, the payoff in terms of the special nature of quantum entanglement in the QSL, and its diverse spectrum of unusual excitations and topological status will (at least to some extent) justify the need to engage with some powerful, occasionally abstract, technical material.


title: Effective pair correlations of fractional powers of complex grid points

abstract: Using a standard definition of fractional powers on the universal cover $\exp:S\to \mathbb{C}^*$ seen as an infinite helicoid embedded in $\mathbb{R}^3$, we study the statistics of pairs from the countable family $\{n^\alpha \, : \, n \in \exp^{-1}(\Lambda) \}$ for every complex grid $\Lambda$ and every real parameter $\alpha \in \, ]0,1[\,$. We prove the convergence of the empirical pair correlations measures towards a rotation invariant measure with explicit density. In particular, with the scaling factor $N\mapsto N^{1-\alpha}$, we prove that there exists an exotic pair correlation function which exhibits a level repulsion phenomenon. For other scaling factors, we prove that either the pair correlations are Poissonian or there is a total loss of mass. In addition, we give an error term for this convergence, with explicit dependence on parameters of the grid $\Lambda$.


title: A Navigation Logic for Recursive Programs with Dynamic Thread Creation

abstract: Dynamic Pushdown Networks (DPNs) are a model for multithreaded programs with recursion and dynamic creation of threads. In this paper, we propose a temporal logic called NTL for reasoning about the call- and return- as well as thread creation behaviour of DPNs. Using tree automata techniques, we investigate the model checking problem for the novel logic and show that its complexity is not higher than that of LTL model checking against pushdown systems despite a more expressive logic and a more powerful system model. The same holds true for the satisfiability problem when compared to the satisfiability problem for a related logic for reasoning about the call- and return-behaviour of pushdown systems. Overall, this novel logic offers a promising approach for the verification of recursive programs with dynamic thread creation.


title: A Perceptual Shape Loss for Monocular 3D Face Reconstruction

abstract: Monocular 3D face reconstruction is a wide-spread topic, and existing approaches tackle the problem either through fast neural network inference or offline iterative reconstruction of face geometry. In either case carefully-designed energy functions are minimized, commonly including loss terms like a photometric loss, a landmark reprojection loss, and others. In this work we propose a new loss function for monocular face capture, inspired by how humans would perceive the quality of a 3D face reconstruction given a particular image. It is widely known that shading provides a strong indicator for 3D shape in the human visual system. As such, our new 'perceptual' shape loss aims to judge the quality of a 3D face estimate using only shading cues. Our loss is implemented as a discriminator-style neural network that takes an input face image and a shaded render of the geometry estimate, and then predicts a score that perceptually evaluates how well the shaded render matches the given image. This 'critic' network operates on the RGB image and geometry render alone, without requiring an estimate of the albedo or illumination in the scene. Furthermore, our loss operates entirely in image space and is thus agnostic to mesh topology. We show how our new perceptual shape loss can be combined with traditional energy terms for monocular 3D face optimization and deep neural network regression, improving upon current state-of-the-art results.


title: Seeing Through the Conversation: Audio-Visual Speech Separation based on Diffusion Model

abstract: The objective of this work is to extract target speaker's voice from a mixture of voices using visual cues. Existing works on audio-visual speech separation have demonstrated their performance with promising intelligibility, but maintaining naturalness remains a challenge. To address this issue, we propose AVDiffuSS, an audio-visual speech separation model based on a diffusion mechanism known for its capability in generating natural samples. For an effective fusion of the two modalities for diffusion, we also propose a cross-attention-based feature fusion mechanism. This mechanism is specifically tailored for the speech domain to integrate the phonetic information from audio-visual correspondence in speech generation. In this way, the fusion process maintains the high temporal resolution of the features, without excessive computational requirements. We demonstrate that the proposed framework achieves state-of-the-art results on two benchmarks, including VoxCeleb2 and LRS3, producing speech with notably better naturalness.


title: Human-interpretable and deep features for image privacy classification

abstract: Privacy is a complex, subjective and contextual concept that is difficult to define. Therefore, the annotation of images to train privacy classifiers is a challenging task. In this paper, we analyse privacy classification datasets and the properties of controversial images that are annotated with contrasting privacy labels by different assessors. We discuss suitable features for image privacy classification and propose eight privacy-specific and human-interpretable features. These features increase the performance of deep learning models and, on their own, improve the image representation for privacy classification compared with much higher dimensional deep features.


title: GC-MVSNet: Multi-View, Multi-Scale, Geometrically-Consistent Multi-View Stereo

abstract: Traditional multi-view stereo (MVS) methods rely heavily on photometric and geometric consistency constraints, but newer machine learning-based MVS methods check geometric consistency across multiple source views only as a post-processing step. In this paper, we present a novel approach that explicitly encourages geometric consistency of reference view depth maps across multiple source views at different scales during learning (see Fig. 1). We find that adding this geometric consistency loss significantly accelerates learning by explicitly penalizing geometrically inconsistent pixels, reducing the training iteration requirements to nearly half that of other MVS methods. Our extensive experiments show that our approach achieves a new state-of-the-art on the DTU and BlendedMVS datasets, and competitive results on the Tanks and Temples benchmark. To the best of our knowledge, GC-MVSNet is the first attempt to enforce multi-view, multi-scale geometric consistency during learning.


title: Integrable maps in 4D and modified Volterra lattices

abstract: In recent work, we presented the construction of a family of difference equations associated with the Stieltjes continued fraction expansion of a certain function on a hyperelliptic curve of genus $g$. As well as proving that each such discrete system is an integrable map in the Liouville sense, we also showed it to be an algebraic completely integrable system. In the discrete setting, the latter means that the generic level set of the invariants is an affine part of an abelian variety, in this case the Jacobian of the hyperelliptic curve, and each iteration of the map corresponds to a translation by a fixed vector on the Jacobian. In addition, we demonstrated that, by combining the discrete integrable dynamics with the flow of one of the commuting Hamiltonian vector fields, these maps provide genus $g$ algebro-geometric solutions of the infinite Volterra lattice, which justified naming them Volterra maps, denoted ${\cal V}_g$. The original motivation behind our work was the fact that, in the particular case $g=2$, we could recover an example of an integrable symplectic map in four dimensions found by Gubbiotti, Joshi, Tran and Viallet, who classified birational maps in 4D admitting two invariants (first integrals) with a particular degree structure, by considering recurrences of fourth order with a certain symmetry. Hence, in this particular case, the map ${\cal V}_2$ yields genus two solutions of the Volterra lattice. The purpose of this note is to point out how two of the other 4D integrable maps obtained in the classification of Gubbiotti et al. correspond to genus two solutions of two different forms of the modified Volterra lattice, being related via a Miura-type transformation to the $g=2$ Volterra map ${\cal V}_2$. We dedicate this work to a dear friend and colleague, Decio Levi.


title: Steklov Eigenvalue Problems on Nearly Spherical and Nearly Annular Domains

abstract: We consider Steklov eigenvalues on nearly spherical and nearly annular domains in $d$ dimensions. By using the Green-Beltrami identity for spherical harmonic functions, the derivatives of Steklov eigenvalues with respect to the domain perturbation parameter can be determined by the eigenvalues of a matrix involving the integral of the product of three spherical harmonic functions. By using the addition theorem for spherical harmonic functions, we determine conditions when the trace of this matrix becomes zero. These conditions can then be used to determine when spherical and annular regions are critical points while we optimize Steklov eigenvalues subject to a volume constraint. In addition, we develop numerical approaches based on particular solutions and show that numerical results in two and three dimensions are in agreement with our analytic results.


title: Generalized Multi-kernel Maximum Correntropy Kalman Filter for Disturbance Estimation

abstract: Disturbance observers have been attracting continuing research efforts and are widely used in many applications. Among them, the Kalman filter-based disturbance observer is an attractive one since it estimates both the state and the disturbance simultaneously, and is optimal for a linear system with Gaussian noises. Unfortunately, The noise in the disturbance channel typically exhibits a heavy-tailed distribution because the nominal disturbance dynamics usually do not align with the practical ones. To handle this issue, we propose a generalized multi-kernel maximum correntropy Kalman filter for disturbance estimation, which is less conservative by adopting different kernel bandwidths for different channels and exhibits excellent performance both with and without external disturbance. The convergence of the fixed point iteration and the complexity of the proposed algorithm are given. Simulations on a robotic manipulator reveal that the proposed algorithm is very efficient in disturbance estimation with moderate algorithm complexity.


title: Self-assembled physical unclonable function labels based on plasmonic coupling

abstract: Counterfeiting threatens human health, social equity, national security and global and local economies. Hardware-based cryptography that exploits physical unclonable functions (PUFs) provides the means for secure identification and authentication of products. While optical PUFs are among the hardest to replicate, they suffer from low encoding capacity and often complex and expensive read-out. Here we report PUF labels with nanoscale features and optical responses that arise from the guided self-assembly of plasmonic nanoparticles. Nanosphere lithography combined with DNA origami placement are used to create tightly packed randomised nanoparticle assemblies. Nanoscale variations within these assemblies define the scattering color of the individual spots that are arranged in a hexagonal lattice with spacing down to the optical resolution limit. Due to the nanoscale dimensions, the intrinsic randomness of the particle assemblies and their resulting optical responses, our PUFs are virtually impossible to replicate while they can be read-out with economical 3D-printed hardware.


title: DPATD: Dual-Phase Audio Transformer for Denoising

abstract: Recent high-performance transformer-based speech enhancement models demonstrate that time domain methods could achieve similar performance as time-frequency domain methods. However, time-domain speech enhancement systems typically receive input audio sequences consisting of a large number of time steps, making it challenging to model extremely long sequences and train models to perform adequately. In this paper, we utilize smaller audio chunks as input to achieve efficient utilization of audio information to address the above challenges. We propose a dual-phase audio transformer for denoising (DPATD), a novel model to organize transformer layers in a deep structure to learn clean audio sequences for denoising. DPATD splits the audio input into smaller chunks, where the input length can be proportional to the square root of the original sequence length. Our memory-compressed explainable attention is efficient and converges faster compared to the frequently used self-attention module. Extensive experiments demonstrate that our model outperforms state-of-the-art methods.


title: Modeling Dynamics over Meshes with Gauge Equivariant Nonlinear Message Passing

abstract: Data over non-Euclidean manifolds, often discretized as surface meshes, naturally arise in computer graphics and biological and physical systems. In particular, solutions to partial differential equations (PDEs) over manifolds depend critically on the underlying geometry. While graph neural networks have been successfully applied to PDEs, they do not incorporate surface geometry and do not consider local gauge symmetries of the manifold. Alternatively, recent works on gauge equivariant convolutional and attentional architectures on meshes leverage the underlying geometry but underperform in modeling surface PDEs with complex nonlinear dynamics. To address these issues, we introduce a new gauge equivariant architecture using nonlinear message passing. Our novel architecture achieves higher performance than either convolutional or attentional networks on domains with highly complex and nonlinear dynamics. However, similar to the non-mesh case, design trade-offs favor convolutional, attentional, or message passing networks for different tasks; we investigate in which circumstances our message passing method provides the most benefit.


title: Operator Learning Enhanced Physics-informed Neural Networks for Solving Partial Differential Equations Characterized by Sharp Solutions

abstract: Physics-informed Neural Networks (PINNs) have been shown as a promising approach for solving both forward and inverse problems of partial differential equations (PDEs). Meanwhile, the neural operator approach, including methods such as Deep Operator Network (DeepONet) and Fourier neural operator (FNO), has been introduced and extensively employed in approximating solution of PDEs. Nevertheless, to solve problems consisting of sharp solutions poses a significant challenge when employing these two approaches. To address this issue, we propose in this work a novel framework termed Operator Learning Enhanced Physics-informed Neural Networks (OL-PINN). Initially, we utilize DeepONet to learn the solution operator for a set of smooth problems relevant to the PDEs characterized by sharp solutions. Subsequently, we integrate the pre-trained DeepONet with PINN to resolve the target sharp solution problem. We showcase the efficacy of OL-PINN by successfully addressing various problems, such as the nonlinear diffusion-reaction equation, the Burgers equation and the incompressible Navier-Stokes equation at high Reynolds number. Compared with the vanilla PINN, the proposed method requires only a small number of residual points to achieve a strong generalization capability. Moreover, it substantially enhances accuracy, while also ensuring a robust training process. Furthermore, OL-PINN inherits the advantage of PINN for solving inverse problems. To this end, we apply the OL-PINN approach for solving problems with only partial boundary conditions, which usually cannot be solved by the classical numerical methods, showing its capacity in solving ill-posed problems and consequently more complex inverse problems.


title: Prediction of Locally Stationary Data Using Expert Advice

abstract: The problem of continuous machine learning is studied. Within the framework of the game-theoretic approach, when for calculating the next forecast, no assumptions about the stochastic nature of the source that generates the data flow are used -- the source can be analog, algorithmic or probabilistic, its parameters can change at random times, when building a prognostic model, only structural assumptions are used about the nature of data generation. An online forecasting algorithm for a locally stationary time series is presented. An estimate of the efficiency of the proposed algorithm is obtained.


title: Casimir Energy Stabilization of Standard Model Landscape in Dark Dimension

abstract: In this paper we present a realization of dark dimension. We consider the 5D standard model coupling to gravity with one dimension compactified on an orbifold, which is seen as dark dimension of size R. We stabilize the radion by casimir effect wrapping around compact dimension and recover the neutrino mass and 4D cosmological constant with the observed value. Orbifold can lead to a natural resolution of chirality problem in 5D at low energy, which we briefly discussed in the paper. Although we found that the radion mass is too light to survive under solar system tests of GR, several screening mechanisms might give us a solution, for example, Chameleon mechanism.


title: Gravitational-wave Electromagnetic Counterpart Korean Observatory (GECKO): GECKO Follow-up Observation of GW190425

abstract: One of the keys to the success of multimessenger astronomy is the rapid identification of the electromagnetic wave counterpart, kilonova (KN), of the gravitational-wave (GW) event. Despite its importance, it is hard to find a KN associated with a GW event, due to a poorly constrained GW localization map and numerous signals that could be confused as a KN. Here, we present the Gravitational-wave Electromagnetic wave Counterpart Korean Observatory (GECKO) project, the GECKO observation of GW190425, and prospects of GECKO in the fourth observing run (O4) of the GW detectors. We outline our follow-up observation strategies during O3. In particular, we describe our galaxy-targeted observation criteria that prioritize based on galaxy properties. Armed with this strategy, we performed an optical and/or near-infrared follow-up observation of GW190425, the first binary neutron star merger event during the O3 run. Despite a vast localization area of 7460 deg^2, we observed 621 host galaxy candidates, corresponding to 29.5% of the scores we assigned, with most of them observed within the first 3 days of the GW event. Ten transients were discovered during this search, including a new transient with a host galaxy. No plausible KN was found, but we were still able to constrain the properties of potential KNe using upper limits. The GECKO observation demonstrates that GECKO can possibly uncover a GW170817-like KN at a distance less than 200 Mpc if the localization area is of the order of hundreds of square degrees, providing a bright prospect for the identification of GW electromagnetic wave counterparts during the O4 run.


title: Superpolynomial smoothed complexity of 3-FLIP in Local Max-Cut

abstract: Local search algorithms for NP-hard problems such as Max-Cut frequently perform much better in practice than worst-case analysis suggests. Smoothed analysis has proved an effective approach to understanding this: a substantial literature shows that when a small amount of random noise is added to input data, local search algorithms typically run in polynomial or quasi-polynomial time. In this paper, we provide the first example where a local search algorithm for the Max-Cut problem fails to be efficient in the framework of smoothed analysis. Specifically, we construct a graph with $n$ vertices where the smoothed runtime of the 3-FLIP algorithm can be as large as $2^{\Omega(\sqrt{n})}$. Additionally, for the setting without random noise, we give a new construction of graphs where the runtime of the FLIP algorithm is $2^{\Omega(n)}$ for any pivot rule. These graphs are much smaller and have a simpler structure than previous constructions.


title: Thermodynamic Limit in the Two-qubit Quantum Rabi Model with Spin-Spin Coupling

abstract: The occurrence of a second-order superradiant quantum phase transition is brought to light in a quantum system consisting of two interacting qubits coupled to the same quantized field mode. We introduce an appropriate thermodynamic-like limit for the integrable two-qubit quantum Rabi model with spin-spin interaction. Namely, it is determined by the infinite ratios of the spin-spin and the spin-mode couplings to the mode frequency, regardless of the spin-to-mode frequency ratios.


title: LLMaAA: Making Large Language Models as Active Annotators

abstract: Prevalent supervised learning methods in natural language processing (NLP) are notoriously data-hungry, which demand large amounts of high-quality annotated data. In practice, acquiring such data is a costly endeavor. Recently, the superior few-shot performance of large language models (LLMs) has propelled the development of dataset generation, where the training data are solely synthesized from LLMs. However, such an approach usually suffers from low-quality issues, and requires orders of magnitude more labeled data to achieve satisfactory performance. To fully exploit the potential of LLMs and make use of massive unlabeled data, we propose LLMaAA, which takes LLMs as annotators and puts them into an active learning loop to determine what to annotate efficiently. To learn robustly with pseudo labels, we optimize both the annotation and training processes: (1) we draw k-NN examples from a small demonstration pool as in-context examples, and (2) we adopt the example reweighting technique to assign training samples with learnable weights. Compared with previous approaches, LLMaAA features both efficiency and reliability. We conduct experiments and analysis on two classic NLP tasks, named entity recognition and relation extraction. With LLMaAA, task-specific models trained from LLM-generated labels can outperform the teacher within only hundreds of annotated examples, which is much more cost-effective than other baselines.


title: Automorphism groups of $\mathbb{P}^1$-bundles over ruled surfaces

abstract: We classify the pairs $(X,\mathrm{Aut}^\circ(X))$, where $X$ is a $\mathbb{P}^1$-bundle over a non-rational ruled surface $S$ and $\mathrm{Aut}^\circ(X)$ is relatively maximal, i.e.\ maximal with respect to the inclusion in the group $\mathrm{Bir}(X/S)$. The results hold over any algebraically closed field of characteristic zero.


title: The Anytime Convergence of Stochastic Gradient Descent with Momentum: From a Continuous-Time Perspective

abstract: In this paper, we study the stochastic optimization problem from a continuous-time perspective. We propose a stochastic first-order algorithm, called Stochastic Gradient Descent with Momentum (SGDM), and show that the trajectory of SGDM, despite its stochastic nature, converges to a deterministic second-order Ordinary Differential Equation (ODE) in $L_2$-norm, as the stepsize goes to zero. The connection between the ODE and the algorithm results in delightful patterns in the discrete-time convergence analysis. More specifically, we develop convergence results for the ODE through a Lyapunov function, and translate the whole argument to the discrete-time case. This approach yields a novel anytime convergence guarantee for stochastic gradient methods. Precisely, we prove that, for any $\beta$, there exists $k_0$ such that the sequence $\{ x_k \}$ governed by running SGDM on a smooth convex function $f$ satisfies $\mathbb{P}\left(\mathop{\bigcap}\limits_{k=k_0}^\infty\bigg\{f (x_k) - f^* \leq \frac{C\log k\log(2/\beta)}{\sqrt{k}}\bigg\}\right)\geq 1-\beta$, where $f^*=\min_{x\in\mathbb{R}^n} f(x)$. Our contribution is significant in that it better captures the convergence behavior across the entire trajectory of the algorithm, rather than at a single iterate.


title: Role of Brownian motion and N\'{e}el relaxations in Mossbauer spectra of magnetic liquids

abstract: The absorption cross section of M\"{o}ssbauer radiation in magnetic liquids is calculated, taking into consideration both translational and rotational Brownian motion of magnetic nanoparticles. Stochastic reversals of their magnetization are also regarded in the absence of external magnetic field. The role of Brownian motion in ferrofluids is considered in the framework of the diffusion theory, while for the magnetorheological fluids with large nanoparticles it is done in the framework of the Langevin's approach. For rotation we derived the equation analogous to Langevin's equation and gave the corresponding correlation function. In both cases the equations for rotation are solved in the approximation of small rotations during lifetime of the excited state of M\"{o}ssbauer nuclei. The influence of magnetization relaxations is studied with the aid of the Blume-Tjon model.


title: AC Her: Evidence of the first polar circumbinary planet

abstract: We examine the geometry of the post-asymptotic giant branch (AGB) star binary AC Her and its circumbinary disk. We show that the observations describe a binary orbit that is perpendicular to the disk with an angular momentum vector that is within $9^\circ$ of the binary eccentricity vector, meaning that the disk is close to a stable polar alignment. The most likely explanation for the very large inner radius of the dust is a planet within the circumbinary disk. This is therefore both the first reported detection of a polar circumbinary disk around a post-AGB binary and the first evidence of a polar circumbinary planet. We consider the dynamical constraints on the circumbinary disk size and mass. The polar circumbinary disk feeds circumstellar disks with gas on orbits that are highly inclined with respect to the binary orbit plane. The resulting circumstellar disk inclination could be anywhere from coplanar to polar depending upon the competition between the mass accretion and binary torques.


title: Kinetic compartmental models driven by opinion dynamics: Vaccine hesitancy and social influence

abstract: We propose a kinetic model for understanding the link between opinion formation phenomena and epidemic dynamics. The recent pandemic has brought to light that vaccine hesitancy can present different phases and temporal and spatial variations, presumably due to the different social features of individuals. The emergence of patterns in societal reactions permits to design and predict the trends of a pandemic. This suggests that the problem of vaccine hesitancy can be described in mathematical terms, by suitably coupling a kinetic compartmental model for the spreading of an infectious disease with the evolution of the personal opinion of individuals, in the presence of leaders. The resulting model makes it possible to predict the collective compliance with vaccination campaigns as the pandemic evolves and to highlight the best strategy to set up for maximizing the vaccination coverage. We conduct numerical investigations which confirm the ability of the model to describe different phenomena related to the spread of an epidemic.


title: DCHT: Deep Complex Hybrid Transformer for Speech Enhancement

abstract: Most of the current deep learning-based approaches for speech enhancement only operate in the spectrogram or waveform domain. Although a cross-domain transformer combining waveform- and spectrogram-domain inputs has been proposed, its performance can be further improved. In this paper, we present a novel deep complex hybrid transformer that integrates both spectrogram and waveform domains approaches to improve the performance of speech enhancement. The proposed model consists of two parts: a complex Swin-Unet in the spectrogram domain and a dual-path transformer network (DPTnet) in the waveform domain. We first construct a complex Swin-Unet network in the spectrogram domain and perform speech enhancement in the complex audio spectrum. We then introduce improved DPT by adding memory-compressed attention. Our model is capable of learning multi-domain features to reduce existing noise on different domains in a complementary way. The experimental results on the BirdSoundsDenoising dataset and the VCTK+DEMAND dataset indicate that our method can achieve better performance compared to state-of-the-art methods.


title: Deep Kalman Filters Can Filter

abstract: Deep Kalman filters (DKFs) are a class of neural network models that generate Gaussian probability measures from sequential data. Though DKFs are inspired by the Kalman filter, they lack concrete theoretical ties to the stochastic filtering problem, thus limiting their applicability to areas where traditional model-based filters have been used, e.g.\ model calibration for bond and option prices in mathematical finance. We address this issue in the mathematical foundations of deep learning by exhibiting a class of continuous-time DKFs which can approximately implement the conditional law of a broad class of non-Markovian and conditionally Gaussian signal processes given noisy continuous-times measurements. Our approximation results hold uniformly over sufficiently regular compact subsets of paths, where the approximation error is quantified by the worst-case 2-Wasserstein distance computed uniformly over the given compact set of paths.

categories: cs.LG cs.NA cs.NE math.NA math.PR stat.ML


title: Hybrid Bifurcations and Stable Periodic Coexistence for Competing Predators

abstract: We describe a new mechanism that triggers periodic orbits in smooth dynamical systems. To this end, we introduce the concept of hybrid bifurcations: Such bifurcations occur when a line of equilibria with an exchange point of normal stability vanishes. Our main result is the existence and stability criteria of periodic orbits that bifurcate from breaking a line of equilibria. As an application, we obtain stable periodic coexistent solutions in an ecosystem for two competing predators with Holling's type II functional response.


title: Point Spread Function Deconvolution Using a Convolutional Autoencoder for Astronomical Applications

abstract: A major issue in optical astronomical image analysis is the combined effect of the instrument's point spread function (PSF) and the atmospheric seeing that blurs images and changes their shape in a way that is band and time-of-observation dependent. In this work we present a very simple neural network based approach to non-blind image deconvolution that relies on feeding a Convolutional Autoencoder (CAE) input images that have been preprocessed by convolution with the corresponding PSF and its regularized inverse. Compared to our previous work based on Deep Wiener Deconvolution, the new approach is conceptually simpler and computationally much less intensive while achieving only marginally worse results. In this work we also present a new approach for dealing with limited input dynamic range of neural networks compared to the dynamic range present in astronomical images.


title: AutoEFT: Constructing and exploring on-shell bases of effective field theories

abstract: Effective Field Theories (EFTs) provide a framework for capturing the effects of yet unseen heavy degrees of freedom in a model-independent manner. However, constructing a complete and minimal set of operators, especially at higher mass dimensions, is challenging. We present AutoEFT, an implementation of an algorithm that systematically handles redundancies among operators due to equations of motion, integration-by-parts identities, Fierz identities, and repeated fields. This algorithm enables the construction of on-shell bases for a broad range of EFTs. Additionally, it facilitates the exploration of various aspects within this field, such as investigating higher mass dimensions or the relationship between different operator bases. AutoEFT can be applied to phenomenologically relevant theories like the Standard Model and its extensions, including new light particles or additional symmetry groups.


title: Technical Report on the Learning of Case Relevance in Case-Based Reasoning with Abstract Argumentation

abstract: Case-based reasoning is known to play an important role in several legal settings. In this paper we focus on a recent approach to case-based reasoning, supported by an instantiation of abstract argumentation whereby arguments represent cases and attack between arguments results from outcome disagreement between cases and a notion of relevance. In this context, relevance is connected to a form of specificity among cases. We explore how relevance can be learnt automatically in practice with the help of decision trees, and explore the combination of case-based reasoning with abstract argumentation (AA-CBR) and learning of case relevance for prediction in legal settings. Specifically, we show that, for two legal datasets, AA-CBR and decision-tree-based learning of case relevance perform competitively in comparison with decision trees. We also show that AA-CBR with decision-tree-based learning of case relevance results in a more compact representation than their decision tree counterparts, which could be beneficial for obtaining cognitively tractable explanations.


title: On Feynman--Kac training of partial Bayesian neural networks

abstract: Recently, partial Bayesian neural networks (pBNNs), which only consider a subset of the parameters to be stochastic, were shown to perform competitively with full Bayesian neural networks. However, pBNNs are often multi-modal in the latent variable space and thus challenging to approximate with parametric models. To address this problem, we propose an efficient sampling-based training strategy, wherein the training of a pBNN is formulated as simulating a Feynman--Kac model. We then describe variations of sequential Monte Carlo samplers that allow us to simultaneously estimate the parameters and the latent posterior distribution of this model at a tractable computational cost. Using various synthetic and real-world datasets we show that our proposed training scheme outperforms the state of the art in terms of predictive performance.


title: On the Terwilliger algebra of the group association scheme of $C_n \rtimes C_2$

abstract: In 1992, Terwilliger introduced the notion of the \emph{Terwilliger algebra} in order to study association schemes. The Terwilliger algebra of an association scheme $\mathcal{A}$ is the subalgebra of the complex matrix algebra, generated by the \emph{Bose-Mesner algebra} of $\mathcal{A}$ and its dual idempotents with respect to a point $x$. In [{\em Kyushu Journal of Mathematics}, 49(1):93--102, 1995] Bannai and Munemasa determined the dimension of the Terwilliger algebra of abelian groups and dihedral groups, by showing that they are triply transitive (i.e., triply regular and dually triply regular). In this paper, we give a generalization of their results to the group association scheme of semidirect products of the form $C_n\rtimes C_2$, where $C_m$ is a cyclic group of order $m\geq 2$. Moreover, we will give the complete characterization of the Wedderburn components of the Terwilliger algebra of these groups.


title: Addition-deletion results for plus-one generated curves

abstract: In the recent paper A. Dimca proves that when one adds to or deletes a line from a free curve the resulting curve is either free or plus-one generated. We prove the converse statements, we give an additional insight into the original deletion result, and derive a characterisation of free curves in terms of behaviour to addition/deletion of lines. We describe the possible splitting types of the bundle of logarithmic vector fields associated to a plus-one generated curve.


title: Excheangeability and irreducible rotational invariance

abstract: In this note we prove that a finite family $\{X_1,\dots,X_d\}$ of real r.v.'s that is exchangeable and such that $(X_1,\dots,X_d)$ is invariant with respect to a subgroup of $SO(d)$ acting irreducibly, is actually invariant with respect to the action of the full group $SO(d)$. Three immediate consequences are deduced: a characterization of isotropic spherical random eigenfunctions whose Fourier coefficients are exchangeable, an extension of Bernstein's characterization of the Gaussian and a characterization of the Lebesgue measure on the sphere.


title: Particle content of very inclined air showers for radio signal modeling

abstract: The reconstruction of very inclined air showers is a new challenge for next-generation radio experiments such as the AugerPrime radio upgrade, BEACON, and GRAND, which focus on the detection of ultra-high-energy particles. To tackle this, we study the electromagnetic particle content of very inclined air showers, which has scarcely been studied so far. Using the simulation tools CORSIKA and CoREAS, and analytical modeling, we explore the energy range of the particles that contribute most to the radio emission, quantify their lateral extent, and estimate the atmospheric depth at which the radio emission is strongest. We find that the distribution of the electromagnetic component in very inclined air showers has characteristic features that could lead to clear signatures in the radio signal, and hence impact the reconstruction strategies of next-generation radio-detection experiments.


title: Normal categories of normed algebra of finite rank bounded operators

abstract: In this article, we introduce the normal category L(S) [R(S)] of principal left [right] ideals of the normed algebra S of all finite rank bounded operators on a Hilbert space H and is shown that they are isomorphic, using Hilbert space duality. We also described the semigroup of all normal cones in L(S) which is isomorphic to the semigroup of all finite rank operators on H. Further, we construct bounded normal cones in L(S) such that the set of all bounded normal cones in L(S) is a normed algebra isomorphic to the normed algebra S.


title: Dis-inhibitory neuronal circuits can control the sign of synaptic plasticity

abstract: How neuronal circuits achieve credit assignment remains a central unsolved question in systems neuroscience. Various studies have suggested plausible solutions for back-propagating error signals through multi-layer networks. These purely functionally motivated models assume distinct neuronal compartments to represent local error signals that determine the sign of synaptic plasticity. However, this explicit error modulation is inconsistent with phenomenological plasticity models in which the sign depends primarily on postsynaptic activity. Here we show how a plausible microcircuit model and Hebbian learning rule derived within an adaptive control theory framework can resolve this discrepancy. Assuming errors are encoded in top-down dis-inhibitory synaptic afferents, we show that error-modulated learning emerges naturally at the circuit level when recurrent inhibition explicitly influences Hebbian plasticity. The same learning rule accounts for experimentally observed plasticity in the absence of inhibition and performs comparably to back-propagation of error (BP) on several non-linearly separable benchmarks. Our findings bridge the gap between functional and experimentally observed plasticity rules and make concrete predictions on inhibitory modulation of excitatory plasticity.


title: The impact of the free-floating planet (FFP) mass function on the event rate for the accurate microlensing parallax determination: application to Euclid and Roman parallax observation

abstract: A microlensing event is mainly used to search for free-floating planets (FFPs). To estimate the FFP mass and distance via the microlensing effect, a microlensing parallax is one of the key parameters. A short duration of FFP microlensing is difficult to yield a parallax by the observer's motion at a recognisable level, so the FFP microlensing parallax is expected on the simultaneous observation by multiple telescopes. Here, we approach the FFP detection by considering a variation of FFP mass functions and the event rate of accurately measured microlensing parallax. We used our FFP microlensing simulator assuming a parallax observation between upcoming space-based missions (Euclid and Roman) with full kinematics. As a result, we confirmed that the event rate of accurately measured microlensing parallax (i.e. within a factor of 2 uncertainty) does not simply follow the number of FFPs at a given mass but the ratio of the FFP population per star. This is because the population ratio determines the optical depth for a given mass and potential sources. In addition, we found that the probability of the event that can estimate the FFP mass and distance within a factor of 2 is not so high: approx. 40% of Earth-mass, 16% of Neptune-mass, and 4% of Jupiter-mass FFP events under our criteria. The probability can be improved by some technical approach such as using high cadence and observation in parallax more than two observers.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: Observational constraints on the maximum energies of accelerated particles in supernova remnants

abstract: Supernova remnants (SNRs) are thought to be the most plausible sources of Galactic cosmic rays. One of the principal questions is whether they are accelerating particles up to the maximum energy of Galactic cosmic rays ($\sim$PeV). In this paper, we summarize our recent studies on gamma-ray-emitting SNRs. We first evaluated the reliability of SNR age estimates to quantitatively discuss time dependence of their acceleration parameters. Then we systematically modeled their gamma-ray spectra to constrain the acceleration parameters. The current maximum energy estimates were found to be well below PeV for most sources. The basic time dependence of the maximum energy assuming the Sedov evolution ($\approx t^{-0.8\pm0.2}$) cannot be explained with the simplest acceleration condition (Bohm limit) and requires shock-ISM (interstellar medium) interaction. The inferred maximum energies during lifetime averaged over the sample can be expressed as $\lesssim 20$ TeV ($t_{{\rm M}}/\text{1 kyr})^{-0.8}$ with $t_{\rm M}$ being the age at the maximum, which reaches $\sim$PeV only if $t_{\rm M} \lesssim 10$ yr. The maximum energies during lifetime are suggested to have a variety of 1-2 orders of magnitude from object to object on the other hand. This variety will reflect the dependence on environments.