title: Heisenberg Uniqueness Pairs and the wave equation

abstract: Given a curve $\Gamma$ and a set $\Lambda$ in the plane, the concept of the Heisenberg uniqueness pair $(\Gamma, \Lambda)$ was first introduced by Hedenmalm and Motes-Rodr\'{\i}gez (Ann. of Math. 173(2),1507-1527, 2011, \cite{HM}) as a variant of the uncertainty principle for the Fourier transform. The main results of Hedenmalm and Motes-Rodr\'{\i}gez concern the hyperbola $\Gamma_{\epsilon}=\{(x_1, x_2)\in \mathbb{R}^2,\, x_1x_2=\epsilon\}$ ($0\ne\epsilon\in \mathbb{R}$) and lattice-crosses $\Lambda_{\alpha\beta}=(\alpha\mathbb{Z}\times \{0\})\cup(\{0\}\times \beta\mathbb{Z})$ ($\alpha, \beta>0$), where it's proved that $(\Gamma_{\epsilon}, \Lambda_{\alpha\beta})$ is a Heisenberg uniqueness pair if and only if $\alpha\beta\leq 1/|\epsilon|$. In this paper, we aim to study the endpoint case (i.e., $\epsilon=0$ in $\Gamma_{\epsilon}$) and investigate the following problem: what's the minimal amount of information required on $\Lambda$ (the zero set) to form a Heisenberg uniqueness pair? When $\Lambda$ is contained in the union of two curves in the plane, we give characterizations in terms of some dynamical system conditions. The situation is quite different in higher dimensions and we obtain characterizations in the case that $\Lambda$ is the union of two hyperplanes.


title: A nodally bound-preserving finite element method for reaction-convection-diffusion equations

abstract: This paper introduces a novel approach to approximate a broad range of reaction-convection-diffusion equations using conforming finite element methods while providing a discrete solution respecting the physical bounds given by the underlying differential equation. The main result of this work demonstrates that the numerical solution achieves accuracy of $O(h^k)$ in the energy norm, where $k$ represents the underlying polynomial degree. To validate the approach, a series of numerical experiments is conducted for various problem instances. Comparisons with the linear continuous interior penalty stabilised method, and the algebraic flux-correction scheme (for the piecewise linear finite element case) have been carried out, where we can observe the favourable performance of the current approach.


title: QuickDrop: Efficient Federated Unlearning by Integrated Dataset Distillation

abstract: Federated Unlearning (FU) aims to delete specific training data from an ML model trained using Federated Learning (FL). We introduce QuickDrop, an efficient and original FU method that utilizes dataset distillation (DD) to accelerate unlearning and drastically reduces computational overhead compared to existing approaches. In QuickDrop, each client uses DD to generate a compact dataset representative of the original training dataset, called a distilled dataset, and uses this compact dataset during unlearning. To unlearn specific knowledge from the global model, QuickDrop has clients execute Stochastic Gradient Ascent with samples from the distilled datasets, thus significantly reducing computational overhead compared to conventional FU methods. We further increase the efficiency of QuickDrop by ingeniously integrating DD into the FL training process. By reusing the gradient updates produced during FL training for DD, the overhead of creating distilled datasets becomes close to negligible. Evaluations on three standard datasets show that, with comparable accuracy guarantees, QuickDrop reduces the duration of unlearning by 463.8x compared to model retraining from scratch and 65.1x compared to existing FU approaches. We also demonstrate the scalability of QuickDrop with 100 clients and show its effectiveness while handling multiple unlearning operations.


title: PF-DMD: Physics-fusion dynamic mode decomposition for accurate and robust forecasting of dynamical systems with imperfect data and physics

abstract: The DMD (Dynamic Mode Decomposition) method has attracted widespread attention as a representative modal-decomposition method and can build a predictive model. However, the DMD may give predicted results that deviate from physical reality in some scenarios, such as dealing with translation problems or noisy data. Therefore, this paper proposes a physics-fusion dynamic mode decomposition (PFDMD) method to address this issue. The proposed PFDMD method first obtains a data-driven model using DMD, then calculates the residual of the physical equations, and finally corrects the predicted results using Kalman filtering and gain coefficients. In this way, the PFDMD method can integrate the physics-informed equations with the data-driven model generated by DMD. Numerical experiments are conducted using the PFDMD, including the Allen-Cahn, advection-diffusion, and Burgers' equations. The results demonstrate that the proposed PFDMD method can significantly reduce the reconstruction and prediction errors by incorporating physics-informed equations, making it usable for translation and shock problems where the standard DMD method has failed.


title: 2D Feature Distillation for Weakly- and Semi-Supervised 3D Semantic Segmentation

abstract: As 3D perception problems grow in popularity and the need for large-scale labeled datasets for LiDAR semantic segmentation increase, new methods arise that aim to reduce the necessity for dense annotations by employing weakly-supervised training. However these methods continue to show weak boundary estimation and high false negative rates for small objects and distant sparse regions. We argue that such weaknesses can be compensated by using RGB images which provide a denser representation of the scene. We propose an image-guidance network (IGNet) which builds upon the idea of distilling high level feature information from a domain adapted synthetically trained 2D semantic segmentation network. We further utilize a one-way contrastive learning scheme alongside a novel mixing strategy called FOVMix, to combat the horizontal field-of-view mismatch between the two sensors and enhance the effects of image guidance. IGNet achieves state-of-the-art results for weakly-supervised LiDAR semantic segmentation on ScribbleKITTI, boasting up to 98% relative performance to fully supervised training with only 8% labeled points, while introducing no additional annotation burden or computational/memory cost during inference. Furthermore, we show that our contributions also prove effective for semi-supervised training, where IGNet claims state-of-the-art results on both ScribbleKITTI and SemanticKITTI.


title: Selective active resonance tuning for multi-mode nonlinear photonic cavities

abstract: Resonant enhancement of nonlinear photonic processes is critical for the scalability of applications such as long-distance entanglement generation. To implement nonlinear resonant enhancement, multiple resonator modes must be individually tuned onto a precise set of process wavelengths, which requires multiple linearly-independent tuning methods. Using coupled auxiliary resonators to indirectly tune modes in a multi-resonant nonlinear cavity is particularly attractive because it allows the extension of a single physical tuning mechanism, such as thermal tuning, to provide the required independent controls. Here we model and simulate the performance and tradeoffs of a coupled-resonator tuning scheme which uses auxiliary resonators to tune specific modes of a multi-resonant nonlinear process. Our analysis determines the tuning bandwidth for steady-state mode field intensity can significantly exceed the inter-cavity coupling rate if the total quality factor of the auxiliary resonator is higher than the multi-mode main resonator. Consequently, over-coupling a nonlinear resonator mode to improve the maximum efficiency of a frequency conversion process will simultaneously expand the auxiliary resonator tuning bandwidth for that mode, indicating a natural compatibility with this tuning scheme. We apply the model to an existing small-diameter triply-resonant ring resonator design and find that a tuning bandwidth of 136 GHz ~ 1.1 nm can be attained for a mode in the telecom band while limiting excess scattering losses to a quality factor of 10^6. Such range would span the distribution of inhomogeneously broadened quantum emitter ensembles as well as resonator fabrication variations, indicating the potential for the auxiliary resonators to enable not only low-loss telecom conversion but also the generation of indistinguishable photons in a quantum network.


title: Spatially Covariant Image Registration with Text Prompts

abstract: Medical images are often characterized by their structured anatomical representations and spatially inhomogeneous contrasts. Leveraging anatomical priors in neural networks can greatly enhance their utility in resource-constrained clinical settings. Prior research has harnessed such information for image segmentation, yet progress in deformable image registration has been modest. Our work introduces textSCF, a novel method that integrates spatially covariant filters and textual anatomical prompts encoded by visual-language models, to fill this gap. This approach optimizes an implicit function that correlates text embeddings of anatomical regions to filter weights, relaxing the typical translation-invariance constraint of convolutional operations. TextSCF not only boosts computational efficiency but can also retain or improve registration accuracy. By capturing the contextual interplay between anatomical regions, it offers impressive inter-regional transferability and the ability to preserve structural discontinuities during registration. TextSCF's performance has been rigorously tested on inter-subject brain MRI and abdominal CT registration tasks, outperforming existing state-of-the-art models in the MICCAI Learn2Reg 2021 challenge and leading the leaderboard. In abdominal registrations, textSCF's larger model variant improved the Dice score by 11.3% over the second-best model, while its smaller variant maintained similar accuracy but with an 89.13% reduction in network parameters and a 98.34\% decrease in computational operations.


title: Full-aperture extended-depth oblique plane microscopy through dynamic remote focusing

abstract: Oblique plane microscopy is a method enabling light-sheet fluorescence imaging through a single microscope objective lens by focusing on a tilted plane within the sample. To focus the fluorescence emitted by the oblique plane on a camera, the light is imaged through a pair of remote objective lenses, facing each other at an angle. The aperture mismatch resulting from this configuration limits the effective numerical aperture of the system, reducing image resolution and signal intensity. This manuscript introduces an alternative method to capture the oblique plane on the camera. Instead of relying on angled objective lenses, an electrically tunable lens is employed. This lens adjusts the focal plane of the microscope synchronously with the rolling shutter of a scientific CMOS camera. In this configuration the entire aperture of the objective is effectively employed, increasing the resolution of the system. Moreover, a variety of objective lenses can be employed, enabling the acquisition of wider axial fields of view compared to conventional oblique plane microscopy.


title: A manometric feature descriptor with linear-SVM to distinguish esophageal contraction vigor

abstract: n clinical, if a patient presents with nonmechanical obstructive dysphagia, esophageal chest pain, and gastro esophageal reflux symptoms, the physician will usually assess the esophageal dynamic function. High-resolution manometry (HRM) is a clinically commonly used technique for detection of esophageal dynamic function comprehensively and objectively. However, after the results of HRM are obtained, doctors still need to evaluate by a variety of parameters. This work is burdensome, and the process is complex. We conducted image processing of HRM to predict the esophageal contraction vigor for assisting the evaluation of esophageal dynamic function. Firstly, we used Feature-Extraction and Histogram of Gradients (FE-HOG) to analyses feature of proposal of swallow (PoS) to further extract higher-order features. Then we determine the classification of esophageal contraction vigor normal, weak and failed by using linear-SVM according to these features. Our data set includes 3000 training sets, 500 validation sets and 411 test sets. After verification our accuracy reaches 86.83%, which is higher than other common machine learning methods.


title: Bayesian Approach to Linear Bayesian Networks

abstract: This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix with unequal shrinkage is applied. Specifically, it shows that the number of samples $n = \Omega( d_M^2 \log p)$ and $n = \Omega(d_M^2 p^{2/m})$ are sufficient for the proposed algorithm to learn linear Bayesian networks with sub-Gaussian and 4m-th bounded-moment error distributions, respectively, where $p$ is the number of nodes and $d_M$ is the maximum degree of the moralized graph. The theoretical findings are supported by extensive simulation studies including real data analysis. Furthermore the proposed method is demonstrated to outperform state-of-the-art frequentist approaches, such as the BHLSM, LISTEN, and TD algorithms in synthetic data.


title: Some factorization results on polynomials having integer coefficients

abstract: In this article, we prove some factorization results for several classes of polynomials having integer coefficients, which in particular yield several classes of irreducible polynomials. Such classes of polynomials are devised by imposing some sufficiency conditions on their coefficients along with some conditions on the prime factorization of constant term or the leading coefficient of the underlying polynomials in conjunction with the information about their root location.


title: Galactic magnetic fields I. Theoretical model and scaling relations

abstract: Galactic dynamo models have generally relied on input parameters that are very challenging to constrain. We address this problem by developing a model that uses observable quantities as input: the galaxy rotation curve, the surface densities of the gas, stars and star formation rate, and the gas temperature. The model can be used to estimate parameters of the random and mean components of the magnetic field, as well as the gas scale height, root-mean-square velocity and the correlation length and time of the interstellar turbulence, in terms of the observables. We use our model to derive theoretical scaling relations for the quantities of interest, finding reasonable agreement with empirical scaling relations inferred from observation. We assess the dependence of the results on different assumptions about turbulence driving, finding that agreement with observations is improved by explicitly modeling the expansion and energetics of supernova remnants. The model is flexible enough to include alternative prescriptions for the physical processes involved, and we provide links to two open-source PYTHON programs that implement it.


title: Magnetic eigenmodes in chains of coupled phi0-Josephson junctions with ferromagnetic weak links

abstract: A coupled chain of superconductor/ferromagnet/superconductor (S/F/S) with anomalous ground phase shift phi_0 represents a system realizing long-range interaction between magnetic moments of the weak links. The interaction is of magnetoelectric origin and is mediated by the condensate phase of superconductors. The system is a paradigmic platform for investigation of collective magnetic states governed by the superconducting phase. Here we study the magnetic eigenmodes of such a system and demonstrate that the eigenfrequencies are determined by the magnetic configuration of the whole system and are controlled by the superconducting phase. Depending on the orientation of the magnetic easy axis the eigenmodes can be very different ranging from individual oscillations of different magnets to highly-cooperative behavior.


title: FreeAL: Towards Human-Free Active Learning in the Era of Large Language Models

abstract: Collecting high-quality labeled data for model training is notoriously time-consuming and labor-intensive for various NLP tasks. While copious solutions, such as active learning for small language models (SLMs) and prevalent in-context learning in the era of large language models (LLMs), have been proposed and alleviate the labeling burden to some extent, their performances are still subject to human intervention. It is still underexplored how to reduce the annotation cost in the LLMs era. To bridge this, we revolutionize traditional active learning and propose an innovative collaborative learning framework FreeAL to interactively distill and filter the task-specific knowledge from LLMs. During collaborative training, an LLM serves as an active annotator inculcating its coarse-grained knowledge, while a downstream SLM is incurred as a student to filter out high-quality in-context samples to feedback LLM for the subsequent label refinery. Extensive experiments on eight benchmark datasets demonstrate that FreeAL largely enhances the zero-shot performances for both SLM and LLM without any human supervision. The code is available at https://github.com/Justherozen/FreeAL .


title: Technical Report for Argoverse Challenges on Unified Sensor-based Detection, Tracking, and Forecasting

abstract: This report presents our Le3DE2E solution for unified sensor-based detection, tracking, and forecasting in Argoverse Challenges at CVPR 2023 Workshop on Autonomous Driving (WAD). We propose a unified network that incorporates three tasks, including detection, tracking, and forecasting. This solution adopts a strong Bird's Eye View (BEV) encoder with spatial and temporal fusion and generates unified representations for multi-tasks. The solution was tested in the Argoverse 2 sensor dataset to evaluate the detection, tracking, and forecasting of 26 object categories. We achieved 1st place in Detection, Tracking, and Forecasting on the E2E Forecasting track in Argoverse Challenges at CVPR 2023 WAD.


title: Studying the spheromak rotation in data-constrained CME modelling with EUHFORIA and assessing its effect on the Bz prediction

abstract: A key challenge in space weather forecasting is accurately predicting the magnetic field topology of interplanetary coronal mass ejections (ICMEs), specifically the north-south magnetic field component (Bz) for Earth-directed CMEs. Heliospheric MHD models typically use spheromaks to represent the magnetic structure of CMEs. However, when inserted into the ambient interplanetary magnetic field, spheromaks can experience a phenomenon reminiscent of the condition known as the "spheromak tilting instability", causing its magnetic axis to rotate. From the perspective of space weather forecasting, it is crucial to understand the effect of this rotation on predicting Bz at 1 au while implementing the spheromak model for realistic event studies. In this work, we study this by modelling a CME event on 2013 April 11 using the "EUropean Heliospheric FORecasting Information Asset" (EUHFORIA). Our results show that a significant spheromak rotation up to 90 degrees has occurred by the time it reaches 1 au, while the majority of this rotation occurs below 0.3 au. This total rotation resulted in poor predicted magnetic field topology of the ICME at 1 au. To address this issue, we further investigated the influence of spheromak density on mitigating rotation. The results show that the spheromak rotation is less for higher densities. Importantly, we observe a substantial reduction in the uncertainties associated with predicting Bz when there is minimal spheromak rotation. Therefore, we conclude that spheromak rotation adversely affects Bz prediction in the analyzed event, emphasizing the need for caution when employing spheromaks in global MHD models for space weather forecasting.


title: VeryFL: A Verify Federated Learning Framework Embedded with Blockchain

abstract: Blockchain-empowered federated learning (FL) has provoked extensive research recently. Various blockchain-based federated learning algorithm, architecture and mechanism have been designed to solve issues like single point failure and data falsification brought by centralized FL paradigm. Moreover, it is easier to allocate incentives to nodes with the help of the blockchain. Various centralized federated learning frameworks like FedML, have emerged in the community to help boost the research on FL. However, decentralized blockchain-based federated learning framework is still missing, which cause inconvenience for researcher to reproduce or verify the algorithm performance based on blockchain. Inspired by the above issues, we have designed and developed a blockchain-based federated learning framework by embedding Ethereum network. This report will present the overall structure of this framework, which proposes a code practice paradigm for the combination of FL with blockchain and, at the same time, compatible with normal FL training task. In addition to implement some blockchain federated learning algorithms on smart contract to help execute a FL training, we also propose a model ownership authentication architecture based on blockchain and model watermarking to protect the intellectual property rights of models. These mechanism on blockchain shows an underlying support of blockchain for federated learning to provide a verifiable training, aggregation and incentive distribution procedure and thus we named this framework VeryFL (A Verify Federated Learninig Framework Embedded with Blockchain). The source code is avaliable on https://github.com/GTMLLab/VeryFL.


title: Enriched Kleisli objects for pseudomonads

abstract: A pseudomonad on a $2$-category whose underlying endomorphism is a $2$-functor can be seen as a diagram $\mathbf{Psmnd} \rightarrow \mathbf{Gray}$ for which weighted limits and colimits can be considered. The $2$-category of pseudoalgebras, pseudomorphisms and $2$-cells is such a $\mathbf{Gray}$-enriched weighted limit \cite{Coherent Approach to Pseudomonads}, however neither the Kleisli bicategory nor the $2$-category of free pseudoalgebras are the analogous weighted colimit \cite{Formal Theory of Pseudomonads}. In this paper we describe the actual weighted colimit via a presentation, and show that the comparison $2$-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful. As a consequence, we see that biessential surjectivity on objects characterises left pseudoadjoints whose codomains have an `up to biequivalence' version of the universal property for Kleisli objects. This motivates a homotopical study of Kleisli objects for pseudomonads, and to this end we show that the weight for Kleisli objects is cofibrant in the projective model structure on $[\mathbf{Psmnd}^\text{op}, \mathbf{Gray}]$.


title: Align before Adapt: Leveraging Entity-to-Region Alignments for Generalizable Video Action Recognition

abstract: Large-scale visual-language pre-trained models have achieved significant success in various video tasks. However, most existing methods follow an "adapt then align" paradigm, which adapts pre-trained image encoders to model video-level representations and utilizes one-hot or text embedding of the action labels for supervision. This paradigm overlooks the challenge of mapping from static images to complicated activity concepts. In this paper, we propose a novel "Align before Adapt" (ALT) paradigm. Prior to adapting to video representation learning, we exploit the entity-to-region alignments for each frame. The alignments are fulfilled by matching the region-aware image embeddings to an offline-constructed text corpus. With the aligned entities, we feed their text embeddings to a transformer-based video adapter as the queries, which can help extract the semantics of the most important entities from a video to a vector. This paradigm reuses the visual-language alignment of VLP during adaptation and tries to explain an action by the underlying entities. This helps understand actions by bridging the gap with complex activity semantics, particularly when facing unfamiliar or unseen categories. ALT demonstrates competitive performance while maintaining remarkably low computational costs. In fully supervised experiments, it achieves 88.1% top-1 accuracy on Kinetics-400 with only 4947 GFLOPs. Moreover, ALT outperforms the previous state-of-the-art methods in both zero-shot and few-shot experiments, emphasizing its superior generalizability across various learning scenarios.


title: How concerted are ionic hops in inorganic solid-state electrolytes?

abstract: Despite being fundamental to the understanding of solid-state electrolytes (SSE), little is known on the degree of coordination between mobile ions in diffusive events. Thus far, identification of concerted ionic hops mostly has relied on the analysis of spatio-temporal pair correlation functions obtained from atomistic molecular dynamics (MD) simulations. However, this type of analysis neither allows for quantifying particle correlations beyond two body nor determining concerted ionic hop mechanisms, thus hindering a detailed comprehension and possible rational design of SSE. Here, we introduce an unsupervised k-means clustering approach able to identify ion-hopping events and correlations between many mobile ions, and apply it to a comprehensive ab initio MD database comprising several families of inorganic SSE and millions of ionic configurations. It is found that despite two-body interactions between mobile ions are largest, higher-order $n$-ion ($2 < n$) correlations are most frequent. Specifically, we prove an universal exponential decaying law for the probability density function governing the number of concerted mobile ions. For the particular case of Li-based SSE, it is shown that the average number of correlated mobile ions amounts to $10 \pm 5$ and that this result is practically independent of temperature. Interestingly, our data-driven analysis reveals that fast-ion diffusion strongly and positively correlates with ample hopping lengths and long hopping spans but not with high hopping frequencies and short interstitial residence times. Finally, it is shown that neglection of many-ion correlations generally leads to a modest overestimation of the hopping frequency that roughly is proportional to the average number of correlated mobile ions.


title: Operator-state correspondence in simple current extended conformal field theories: Toward a general understanding of chiral conformal field theories and topological orders

abstract: In this work, we revisit the operator-state correspondence in the Majorana conformal field theory (CFT) with emphasis on its semion representation. Whereas the semion representation gives a concise ``abelian" (or invertible) representation in the level of fusion rule and quantum states, there exists subtlety when considering the chiral multipoint correlation function. In this sense, the operator-state correspondence in the semion sector of the fermionic theory inevitably contains difficulty coming from its anomalous conformal dimension $1/16$ as a $Z_{2}$ symmetry operator. By analyzing the asymptotic behaviors of the existing correlation functions, we propose a nontrivial correspondence between the chiral conformal blocks and bulk correlation functions containing both order and disorder fields. One can generalize this understanding to $Z_{N}$ models (in which there exist long-standing open problems). We expect this may improve our understanding of the simple current extension of CFT which can appear commonly in the studies of topologically ordered systems.

categories: hep-th cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Properties of Steady Sub-Alfv\'enic Solar Wind in Comparison with Super-Alfv\'enic Wind from Measurements of Parker Solar Probe

abstract: We identify more than ten steady sub-Alfv\'enic solar wind intervals from the measurements of the Parker Solar Probe (PSP) from encounter 8 to encounter 14. An analysis of these sub-Alfv\'enic intervals reveals similar properties and similar origins. In situ measurements show that these intervals feature a decreased radial Alfv\'en Mach number resulting from a reduced density and a relatively low velocity, and that switchbacks are suppressed in these intervals. Magnetic source tracing indicates that these sub-Alfv\'enic streams generally originate from the boundaries inside coronal holes, or narrow/small regions of open magnetic fields. Such properties and origins suggest that these streams are low Mach-number boundary layers (LMBLs), which is a special component of the pristine solar wind proposed by Liu et al. We find that the LMBL wind, the fast wind from deep inside coronal holes, and the slow streamer wind constitute three typical components of the young solar wind near the Sun. In these sub-Alfv\'enic intervals, the Alfv\'en radius varies between 15 and 25 solar radii, in contrast with a typical 12 radii for the Alfv\'en radius of the super-Alfv\'enic wind. These results give a self-consistent picture interpreting the PSP measurements in the vicinity of the Sun.


title: Injecting linguistic knowledge into BERT for Dialogue State Tracking

abstract: Dialogue State Tracking (DST) models often employ intricate neural network architectures, necessitating substantial training data, and their inference processes lack transparency. This paper proposes a method that extracts linguistic knowledge via an unsupervised framework and subsequently utilizes this knowledge to augment BERT's performance and interpretability in DST tasks. The knowledge extraction procedure is computationally economical and does not necessitate annotations or additional training data. The injection of the extracted knowledge necessitates the addition of only simple neural modules. We employ the Convex Polytopic Model (CPM) as a feature extraction tool for DST tasks and illustrate that the acquired features correlate with the syntactic and semantic patterns in the dialogues. This correlation facilitates a comprehensive understanding of the linguistic features influencing the DST model's decision-making process. We benchmark this framework on various DST tasks and observe a notable improvement in accuracy.


title: The star formation histories of galaxies in different stages of pre-processing in the Fornax A group

abstract: We study the recent star formation histories of ten galaxies in the Fornax A galaxy group, on the outskirts of the Fornax cluster. The group galaxies are gas-rich, and their neutral atomic hydrogen (HI) was studied in detail with observations from the MeerKAT telescope. This allowed them to be classified into different stages of pre-processing (early, ongoing, advanced). We use long-slit spectra obtained with the South African Large Telescope (SALT) to analyse stellar population indicators to constrain quenching timescales and to compare these to the HI gas content of the galaxies. The H$\alpha$ equivalent width, EW(H$\alpha$), suggest that the pre-processing stage is closely related to the recent (< 10 Myr) specific Star Formation Rate (sSFR). The early-stage galaxy (NGC 1326B) is not yet quenched in its outer parts, while the ongoing-stage galaxies mostly have a distributed population of very young stars, though less so in their outer parts. The galaxies in the advanced stage of pre-processing show very low recent sSFR in the outer parts. Our results suggest that NGC 1326B, FCC 35 and FCC 46 underwent significantly different histories from secular evolution during the last Gyr. The fact that most galaxies are on the secular evolution sequence implies that pre-processing has a negligible effect on these galaxies compared to secular evolution. We find EW(H$\alpha$) to be a useful tool for classifying the stage of pre-processing in group galaxies. The recent sSFR and HI morphology show that galaxies in the Fornax A vicinity are pre-processing from the outside in.


title: Only Positive Cases: 5-fold High-order Attention Interaction Model for Skin Segmentation Derived Classification

abstract: Computer-aided diagnosis of skin diseases is an important tool. However, the interpretability of computer-aided diagnosis is currently poor. Dermatologists and patients cannot intuitively understand the learning and prediction process of neural networks, which will lead to a decrease in the credibility of computer-aided diagnosis. In addition, traditional methods need to be trained using negative samples in order to predict the presence or absence of a lesion, but medical data is often in short supply. In this paper, we propose a multiple high-order attention interaction model (MHA-UNet) for use in a highly explainable skin lesion segmentation task. MHA-UNet is able to obtain the presence or absence of a lesion by explainable reasoning without the need for training on negative samples. Specifically, we propose a high-order attention interaction mechanism that introduces squeeze attention to a higher level for feature attention. In addition, a multiple high-order attention interaction (MHAblock) module is proposed by combining the different features of different orders. For classifying the presence or absence of lesions, we conducted classification experiments on several publicly available datasets in the absence of negative samples, based on explainable reasoning about the interaction of 5 attention orders of MHAblock. The highest positive detection rate obtained from the experiments was 81.0% and the highest negative detection rate was 83.5%. For segmentation experiments, comparison experiments of the proposed method with 13 medical segmentation models and external validation experiments with 8 state-of-the-art models in three public datasets and our clinical dataset demonstrate the state-of-the-art performance of our model. The code is available from https://github.com/wurenkai/MHA-UNet.


title: The WebCrow French Crossword Solver

abstract: Crossword puzzles are one of the most popular word games, played in different languages all across the world, where riddle style can vary significantly from one country to another. Automated crossword resolution is challenging, and typical solvers rely on large databases of previously solved crosswords. In this work, we extend WebCrow 2.0, an automatic crossword solver, to French, making it the first program for crossword solving in the French language. To cope with the lack of a large repository of clue-answer crossword data, WebCrow 2.0 exploits multiple modules, called experts, that retrieve candidate answers from heterogeneous resources, such as the web, knowledge graphs, and linguistic rules. We compared WebCrow's performance against humans in two different challenges. Despite the limited amount of past crosswords, French WebCrow was competitive, actually outperforming humans in terms of speed and accuracy, thus proving its capabilities to generalize to new languages.


title: Phonetic-aware speaker embedding for far-field speaker verification

abstract: When a speaker verification (SV) system operates far from the sound sourced, significant challenges arise due to the interference of noise and reverberation. Studies have shown that incorporating phonetic information into speaker embedding can improve the performance of text-independent SV. Inspired by this observation, we propose a joint-training speech recognition and speaker recognition (JTSS) framework to exploit phonetic content for far-field SV. The framework encourages speaker embeddings to preserve phonetic information by matching the frame-based feature maps of a speaker embedding network with wav2vec's vectors. The intuition is that phonetic information can preserve low-level acoustic dynamics with speaker information and thus partly compensate for the degradation due to noise and reverberation. Results show that the proposed framework outperforms the standard speaker embedding on the VOiCES Challenge 2019 evaluation set and the VoxCeleb1 test set. This indicates that leveraging phonetic information under far-field conditions is effective for learning robust speaker representations.


title: How to Map Linear Differential Equations to Schr\"{o}dinger Equations via Carleman and Koopman-von Neumann Embeddings for Quantum Algorithms

abstract: Solving linear and nonlinear differential equations with large degrees of freedom is an important task for scientific and industrial applications. In order to solve such differential equations on a quantum computer, it is necessary to embed classical variables into a quantum state. While the Carleman and Koopman-von Neumann embeddings have been investigated so far, the class of problems that can be mapped to the Schr\"{o}dinger equation is not well understood even for linear differential equations. In this work, we investigate the conditions for linear differential equations to be mapped to the Schr\"{o}dinger equation and solved on a quantum computer. Interestingly, we find that these conditions are identical for both Carleman and Koopman-von Neumann embeddings. We also compute the computational complexity associated with estimating the expected values of an observable. This is done by assuming a state preparation oracle, block encoding of the mapped Hamiltonian via either Carleman or Koopman-von Neumann embedding, and block encoding of the observable using $O(\log M)$ qubits with $M$ is the mapped system size. Furthermore, we consider a general classical quadratic Hamiltonian dynamics and find a sufficient condition to map it into the Schr\"{o}dinger equation. As a special case, this includes the coupled harmonic oscillator model [Babbush et al., \cite{babbush_exponential_2023}]. We also find a concrete example that cannot be described as the coupled harmonic oscillator but can be mapped to the Schr\"{o}dinger equation in our framework. These results are important in the construction of quantum algorithms for solving differential equations of large-degree-of-freedom.


title: How water binds to microcline feldspar (001)

abstract: Microcline feldspar (KAlSi$_3$O$_8$) is a common mineral with important roles for Earth's ecological balance. It participates in the carbon, potassium, and water cycles, contributing to CO$_2$ sequestration, soil formation, and atmospheric ice nucleation. To understand the fundamentals of these processes, it is essential to establish microcline's surface atomic structure and its interaction with the omnipresent water molecules. This work presents atomic-scale results on microcline's lowest-energy surface and its interaction with water, combining ultrahigh vacuum investigations by non-contact atomic force microscopy and X-ray photoelectron spectroscopy with density functional theory calculations. An ordered array of hydroxyls bonded to silicon or aluminum readily forms on the cleaved surface at room temperature. The distinct proton affinities of these hydroxyls influence the arrangement and orientation of the first water molecules binding to the surface, holding potential implications for the subsequent condensation of water.


title: Generalized $\varphi$-pullback attractors for evolution processes and application to a nonautonomous wave equation

abstract: In this work we define the generalized $\varphi$-pullback attractors for evolution processes in complete metric spaces, which are compact and positively invariant families, such that they pullback attract bounded sets with a rate determined by a decreasing function $\varphi$ that vanishes at infinity. We find conditions under which a given evolution process has a generalized $\varphi$-pullback attractor, both in the discrete and in the continuous cases. We present a result for the special case of generalized polynomial pullback attractors, and apply it to obtain such an object for a nonautonomous wave equation.


title: Classification of connected \'etale algebras in pre-modular fusion categories up to rank three

abstract: We classify connected \'etale algebras $A$'s in pre-modular fusion categories $\mathcal B$ with $\text{rank}(\mathcal B)\le3$ including degenerate and non-(pseudo-)unitary ones. We comment on Lagrangian algebras and physical applications to ground state degeneracy and proof of spontaneous $\mathcal B$-symmetry breaking.

categories: math.QA cond-mat.str-el hep-th math-ph math.CT math.MP


title: Application of Long-short Term Memory (LSTM) Model for Forecasting NOx Emission in Pohang Area

abstract: Emissions of nitric oxide and nitrogen dioxide, which are named as NOx, are a major environmental and health concern.To react to the climate crisis, the South Korean government has strengthened NOx emission regulations. An accurate NOx prediction model can help companies to meet their NOx emission quotas and achieve cost savings. This study focuses on developing a model which forecasts the amount of NOx emissions in Pohang, a heavy industrial city in South Korea with serious air pollution problems.In this study, the Long-short term memory (LSTM) modeling is applied to predict the amount of NOx emissions, with missing data imputation using stochastic regression. Two parameters (i.e., time windows and learning rates) necessary to run the LSTM model are tested and selected using the Adam optimizer, one of the popular optimization methods in LSTM. I found that the model that I applied achieved the acceptable prediction performance since its Mean Absolute Scaled Error (MASE), the most important evaluation criterion, is less than 1. This means that applying the model that I developed in predicting future NOx emissions will perform better than a naive prediction, a model that simply predicts them based on the last observed data point.


title: Toward a real-time TCP SYN Flood DDoS mitigation using Adaptive Neuro-Fuzzy classifier and SDN Assistance in Fog Computing

abstract: The growth of the Internet of Things (IoT) has recently impacted our daily lives in many ways. As a result, a massive volume of data is generated and needs to be processed in a short period of time. Therefore, the combination of computing models such as cloud computing is necessary. The main disadvantage of the cloud platform is its high latency due to the centralized mainframe. Fortunately, a distributed paradigm known as fog computing has emerged to overcome this problem, offering cloud services with low latency and high-access bandwidth to support many IoT application scenarios. However, Attacks against fog servers can take many forms, such as Distributed Denial of Service (DDoS) attacks that severely affect the reliability and availability of fog services. To address these challenges, we propose mitigation of Fog computing-based SYN Flood DDoS attacks using an Adaptive Neuro-Fuzzy Inference System (ANFIS) and Software Defined Networking (SDN) Assistance (FASA). The simulation results show that FASA system outperforms other algorithms in terms of accuracy, precision, recall, and F1-score. This shows how crucial our system is for detecting and mitigating TCP SYN floods DDoS attacks.


title: The stability of smooth solitary waves for the $b$-family of Camassa-Holm equations

abstract: The $b$-family of Camassa-Holm ($b$-CH) equation is a one-parameter family of PDEs, which includes the completely integrable Camassa-Holm and Degasperis-Procesi equations but possesses different Hamiltonian structures. Motivated by this, we study the existence and the orbital stability of the smooth solitary wave solutions with nonzero constant background to the $b$-CH equation for the special case $b=1$, whose the Hamiltonian structure is different from that of $b\neq1$. We establish a connection between the stability criterion for the solitary waves and the monotonicity of a singular integral along the corresponding homoclinic orbits of the spatial ODEs. We verify the latter analytically using the framework for the monotonicity of period function of planar Hamiltonian systems, which shows that the smooth solitary waves are orbitally stable. In addition, we find that the existence and orbital stability results for $0<b<1$ are similar to that of $b>1$, particularly the stability criteria are the same. Finally, combining with the results for the case $b>1$, we conclude that the solitary waves to the $b$-CH equation is structurally stable under the variation of %with respect to the parameter $b>0$.


title: Discretization of continuous-time arbitrage strategies in financial markets with fractional Brownian motion

abstract: This study evaluates the practical usefulness of continuous-time arbitrage strategies designed to exploit serial correlation in fractional financial markets. Specifically, we revisit the strategies of \cite{Shiryaev1998} and \cite{Salopek1998} and transfer them to a real-world setting by distretizing their dynamics and introducing transaction costs. In Monte Carlo simulations with various market and trading parameter settings, we show that both are highly promising with respect to terminal portfolio values and loss probabilities. These features and complementary sparsity make them valuable additions to the toolkit of quantitative investors.


title: Liquid-shaped microlens for scalable production of ultrahigh-resolution OCT microendoscope

abstract: Endoscopic optical coherence tomography (OCT) is a valuable tool for providing diagnostic images of internal organs and guiding interventions in real time. Miniaturized OCT endoscopes are essential for imaging small and convoluted luminal organs while minimizing invasiveness. However, current methods for fabricating miniature fiber probes have limited ability to correct optical aberrations, leading to suboptimal imaging performance. In this study, we introduce a new paradigm of liquid shaping technique for the rapid and scalable fabrication of ultrathin and high-performance OCT microendoscopes suitable for minimally invasive clinical applications. This technique enables the flexible customization of freeform microlenses with sub-nanometer optical surface roughness by regulating the minimum energy state of curable optical liquid on a wettability-modified substrate and precisely controlling the liquid volume and physical boundary on a substrate. Using this technique, we simultaneously fabricated 800-nm OCT microendoscopes with a diameter of approximately 0.6 mm and evaluated their ultrahigh-resolution imaging performance in the esophagus of rats and the aorta and brain of mice.


title: Neural 3D Strokes: Creating Stylized 3D Scenes with Vectorized 3D Strokes

abstract: We present Neural 3D Strokes, a novel technique to generate stylized images of a 3D scene at arbitrary novel views from multi-view 2D images. Different from existing methods which apply stylization to trained neural radiance fields at the voxel level, our approach draws inspiration from image-to-painting methods, simulating the progressive painting process of human artwork with vector strokes. We develop a palette of stylized 3D strokes from basic primitives and splines, and consider the 3D scene stylization task as a multi-view reconstruction process based on these 3D stroke primitives. Instead of directly searching for the parameters of these 3D strokes, which would be too costly, we introduce a differentiable renderer that allows optimizing stroke parameters using gradient descent, and propose a training scheme to alleviate the vanishing gradient issue. The extensive evaluation demonstrates that our approach effectively synthesizes 3D scenes with significant geometric and aesthetic stylization while maintaining a consistent appearance across different views. Our method can be further integrated with style loss and image-text contrastive models to extend its applications, including color transfer and text-driven 3D scene drawing. Results and code are available at http://buaavrcg.github.io/Neural3DStrokes.


title: Motility-induced coexistence of a hot liquid and a cold gas

abstract: If two phases exist at the same time, such as a gas and a liquid, they have the same temperature. This fundamental law of equilibrium physics is known to apply even to many non-equilibrium systems. However, recently, there has been much attention in the finding that inertial self-propelled particles like Janus colloids in a plasma or microflyers could self-organize into a hot gas-like phase that coexists with a colder liquid-like phase. Here, we show that a kinetic temperature difference across coexisting phases can occur even in equilibrium systems when adding generic (overdamped) self-propelled particles. In particular, we consider mixtures of overdamped active and inertial passive Brownian particles and show that when they phase separate into a dense and a dilute phase, both phases have different kinetic temperatures. Surprisingly, we find that the dense phase (liquid) cannot only be colder but also hotter than the dilute phase (gas). This effect hinges on correlated motions where active particles collectively push and heat up passive ones primarily within the dense phase. Our results answer the fundamental question if a non-equilibrium gas can be colder than a coexisting liquid and create a route to equip matter with self-organized domains of different kinetic temperatures.


title: On Approximating Cutwidth and Pathwidth

abstract: We study graph ordering problems with a min-max objective. A classical problem of this type is cutwidth, where given a graph we want to order its vertices such that the number of edges crossing any point is minimized. We give a $ \log^{1+o(1)}(n)$ approximation for the problem, substantially improving upon the previous poly-logarithmic guarantees based on the standard recursive balanced partitioning approach of Leighton and Rao (FOCS'88). Our key idea is a new metric decomposition procedure that is suitable for handling min-max objectives, which could be of independent interest. We also use this to show other results, including an improved $ \log^{1+o(1)}(n)$ approximation for computing the pathwidth of a graph.


title: Top properties (excluding mass) and ancillary measurements

abstract: A review on recent top quark properties measurements by the ATLAS and CMS Collaborations in pp collisions at the LHC is presented.


title: A generalized nonstandard finite difference method for a class of autonomous dynamical systems and its applications

abstract: In this work, a class of continuous-time autonomous dynamical systems describing many important phenomena and processes arising in real-world applications is considered. We apply the nonstandard finite difference (NSFD) methodology proposed by Mickens to design a generalized NSFD method for the dynamical system models under consideration. This method is constructed based on a novel non-local approximation for the right-side functions of the dynamical systems. It is proved by rigorous mathematical analyses that the NSFD method is dynamically consistent with respect to positivity, asymptotic stability and three classes of conservation laws, including direct conservation, generalized conservation and sub-conservation laws. Furthermore, the NSFD method is easy to be implemented and can be applied to solve a broad range of mathematical models arising in real-life. Finally, a set of numerical experiments is performed to illustrate the theoretical findings and to show advantages of the proposed NSFD method.


title: InfoPattern: Unveiling Information Propagation Patterns in Social Media

abstract: Social media play a significant role in shaping public opinion and influencing ideological communities through information propagation. Our demo InfoPattern centers on the interplay between language and human ideology. The demo (Code: https://github.com/blender-nlp/InfoPattern ) is capable of: (1) red teaming to simulate adversary responses from opposite ideology communities; (2) stance detection to identify the underlying political sentiments in each message; (3) information propagation graph discovery to reveal the evolution of claims across various communities over time. (Live Demo: https://incas.csl.illinois.edu/blender/About )


title: A Survey on Monocular Re-Localization: From the Perspective of Scene Map Representation

abstract: Monocular Re-Localization (MRL) is a critical component in autonomous applications, estimating 6 degree-of-freedom ego poses w.r.t. the scene map based on monocular images. In recent decades, significant progress has been made in the development of MRL techniques. Numerous algorithms have accomplished extraordinary success in terms of localization accuracy and robustness. In MRL, scene maps are represented in various forms, and they determine how MRL methods work and how MRL methods perform. However, to the best of our knowledge, existing surveys do not provide systematic reviews about the relationship between MRL solutions and their used scene map representation. This survey fills the gap by comprehensively reviewing MRL methods from such a perspective, promoting further research. 1) We commence by delving into the problem definition of MRL, exploring current challenges, and comparing ours with existing surveys. 2) Many well-known MRL methods are categorized and reviewed into five classes according to the representation forms of utilized map, i.e., geo-tagged frames, visual landmarks, point clouds, vectorized semantic map, and neural network-based map. 3) To quantitatively and fairly compare MRL methods with various map, we introduce some public datasets and provide the performances of some state-of-the-art MRL methods. The strengths and weakness of MRL methods with different map are analyzed. 4) We finally introduce some topics of interest in this field and give personal opinions. This survey can serve as a valuable referenced materials for MRL, and a continuously updated summary of this survey is publicly available to the community at: https://github.com/jinyummiao/map-in-mono-reloc.


title: Subdifferential calculus and ideal solutions for set optimization problems

abstract: We explore the possibility to derive basic calculus rules for some subdifferential constructions associated to set-valued maps between normed vector spaces. Then, we use these results in order to write optimality conditions for a special kind of solutions for set optimization problems.


title: Hagge configurations and a projective generalization of inversion

abstract: Using techniques of projective geometry, we give elementary proofs of two theorems concerning Hagge configurations.


title: k-dimensional transversals for balls

abstract: We prove fractional Helly and $(p,k+2)$-theorems for $k$-flats intersecting Euclidean balls. For example, we show that if for a collection of balls from $\mathbb R^d$ any $p$ balls have a $k$-flat that intersects at least $k+2$ of them, then the whole collection can be intersected by bounded many $k$-flats. We prove colorful, spherical, and infinite variants as well. In fact, we prove that fractional Helly and $(p,q)$-theorems imply $(\aleph_0,q)$-theorems in an entirely abstract setting. The fractional Helly theorems generalize to other fat objects as well.


title: Bandits Meet Mechanism Design to Combat Clickbait in Online Recommendation

abstract: We study a strategic variant of the multi-armed bandit problem, which we coin the strategic click-bandit. This model is motivated by applications in online recommendation where the choice of recommended items depends on both the click-through rates and the post-click rewards. Like in classical bandits, rewards follow a fixed unknown distribution. However, we assume that the click-rate of each arm is chosen strategically by the arm (e.g., a host on Airbnb) in order to maximize the number of times it gets clicked. The algorithm designer does not know the post-click rewards nor the arms' actions (i.e., strategically chosen click-rates) in advance, and must learn both values over time. To solve this problem, we design an incentive-aware learning algorithm, UCB-S, which achieves two goals simultaneously: (a) incentivizing desirable arm behavior under uncertainty; (b) minimizing regret by learning unknown parameters. We characterize all approximate Nash equilibria among arms under UCB-S and show a $\tilde{\mathcal{O}} (\sqrt{KT})$ regret bound uniformly in every equilibrium. We also show that incentive-unaware algorithms generally fail to achieve low regret in the strategic click-bandit. Finally, we support our theoretical results by simulations of strategic arm behavior which confirm the effectiveness and robustness of our proposed incentive design.


title: Reinforcement Learning from Diffusion Feedback: Q* for Image Search

abstract: Large vision-language models are steadily gaining personalization capabilities at the cost of fine-tuning or data augmentation. We present two models for image generation using model-agnostic learning that align semantic priors with generative capabilities. RLDF, or Reinforcement Learning from Diffusion Feedback, is a singular approach for visual imitation through prior-preserving reward function guidance. This employs Q-learning (with standard Q*) for generation and follows a semantic-rewarded trajectory for image search through finite encoding-tailored actions. The second proposed method, noisy diffusion gradient, is optimization driven. At the root of both methods is a special CFG encoding that we propose for continual semantic guidance. Using only a single input image and no text input, RLDF generates high-quality images over varied domains including retail, sports and agriculture showcasing class-consistency and strong visual diversity. Project website is available at https://infernolia.github.io/RLDF.


title: RoboGPT: an intelligent agent of making embodied long-term decisions for daily instruction tasks

abstract: Robotic agents must master common sense and long-term sequential decisions to solve daily tasks through natural language instruction. The developments in Large Language Models (LLMs) in natural language processing have inspired efforts to use LLMs in complex robot planning. Despite LLMs' great generalization and comprehension of instruction tasks, LLMs-generated task plans sometimes lack feasibility and correctness. To address the problem, we propose a RoboGPT agent\footnote{our code and dataset will be released soon} for making embodied long-term decisions for daily tasks, with two modules: 1) LLMs-based planning with re-plan to break the task into multiple sub-goals; 2) RoboSkill individually designed for sub-goals to learn better navigation and manipulation skills. The LLMs-based planning is enhanced with a new robotic dataset and re-plan, called RoboGPT. The new robotic dataset of 67k daily instruction tasks is gathered for fine-tuning the Llama model and obtaining RoboGPT. RoboGPT planner with strong generalization can plan hundreds of daily instruction tasks. Additionally, a low-computational Re-Plan module is designed to allow plans to flexibly adapt to the environment, thereby addressing the nomenclature diversity challenge. The proposed RoboGPT agent outperforms SOTA methods on the ALFRED daily tasks. Moreover, RoboGPT planner exceeds SOTA LLM-based planners like ChatGPT in task-planning rationality for hundreds of unseen daily tasks, and even other domain tasks, while keeping the large model's original broad application and generality.


title: SimSIMS: Simulation-based Supernova Ia Model Selection with thousands of latent variables

abstract: We present principled Bayesian model comparison through simulation-based neural classification applied to SN Ia analysis. We validate our approach on realistically simulated SN Ia light curve data, demonstrating its ability to recover posterior model probabilities while marginalizing over >4000 latent variables. The amortized nature of our technique allows us to explore the dependence of Bayes factors on the true parameters of simulated data, demonstrating Occam's razor for nested models. When applied to a sample of 86 low-redshift SNae Ia from the Carnegie Supernova Project, our method prefers a model with a single dust law and no magnitude step with host mass, disfavouring different dust laws for low- and high-mass hosts with odds in excess of 100:1.


title: Propagating front solutions in a time-fractional Fisher-KPP equation

abstract: In this paper, we treat the Fisher-KPP equation with a Caputo-type time fractional derivative and discuss the propagation speed of the solution. The equation is a mathematical model that describes the processes of sub-diffusion, proliferation, and saturation. First, the behavior of the solution is analyzed by numerical simulations, and it is discussed what kind of solution is appropriate to characterize the propagation of the solution. Based on the insights, we introduce the notion of a traveling wave-like solution, the so-called asymptotic traveling wave solution. Finally, the existence of the asymptotic traveling wave solution is discussed using a monotone iteration method.


title: Minimal cover groups

abstract: Let $\mathcal{F}$ be a set of finite groups. A finite group $G$ is called an \emph{$\mathcal{F}$-cover} if every group in $\mathcal{F}$ is isomorphic to a subgroup of $G$. An $\mathcal{F}$-cover is called \emph{minimal} if no proper subgroup of $G$ is an $\mathcal{F}$-cover, and \emph{minimum} if its order is smallest among all $\mathcal{F}$-covers. We prove several results about minimal and minimum $\mathcal{F}$-covers: for example, every minimal cover of a set of $p$-groups (for $p$ prime) is a $p$-group (and there may be finitely or infinitely many, for a given set); every minimal cover of a set of perfect groups is perfect; and a minimum cover of a set of two nonabelian simple groups is either their direct product or simple. Our major theorem determines whether $\{\mathbb{Z}_q,\mathbb{Z}_r\}$ has finitely many minimal covers, where $q$ and $r$ are distinct primes. Motivated by this, we say that $n$ is a \emph{Cauchy number} if there are only finitely many groups which are minimal (under inclusion) with respect to having order divisible by $n$, and we determine all such numbers. This extends Cauchy's theorem. We also define a dual concept where subgroups are replaced by quotients, and we pose a number of problems.


title: MoDS: Model-oriented Data Selection for Instruction Tuning

abstract: Instruction tuning has become the de facto method to equip large language models (LLMs) with the ability of following user instructions. Usually, hundreds of thousands or millions of instruction-following pairs are employed to fine-tune the foundation LLMs. Recently, some studies show that a small number of high-quality instruction data is enough. However, how to select appropriate instruction data for a given LLM is still an open problem. To address this problem, in this paper we present a model-oriented data selection (MoDS) approach, which selects instruction data based on a new criteria considering three aspects: quality, coverage and necessity. First, our approach utilizes a quality evaluation model to filter out the high-quality subset from the original instruction dataset, and then designs an algorithm to further select from the high-quality subset a seed instruction dataset with good coverage. The seed dataset is applied to fine-tune the foundation LLM to obtain an initial instruction-following LLM. Finally, we develop a necessity evaluation model to find out the instruction data which are performed badly in the initial instruction-following LLM and consider them necessary instructions to further improve the LLMs. In this way, we can get a small high-quality, broad-coverage and high-necessity subset from the original instruction datasets. Experimental results show that, the model fine-tuned with 4,000 instruction pairs selected by our approach could perform better than the model fine-tuned with the full original dataset which includes 214k instruction data.


title: Event Detection in Time Series: Universal Deep Learning Approach

abstract: Event detection in time series is a challenging task due to the prevalence of imbalanced datasets, rare events, and time interval-defined events. Traditional supervised deep learning methods primarily employ binary classification, where each time step is assigned a binary label indicating the presence or absence of an event. However, these methods struggle to handle these specific scenarios effectively. To address these limitations, we propose a novel supervised regression-based deep learning approach that offers several advantages over classification-based methods. Our approach, with a limited number of parameters, can effectively handle various types of events within a unified framework, including rare events and imbalanced datasets. We provide theoretical justifications for its universality and precision and demonstrate its superior performance across diverse domains, particularly for rare events and imbalanced datasets.


title: Optimal (partial) transport between non-convex polygonal domains

abstract: In this paper, we investigate the optimal (partial) transport problem between non-convex polygonal domains in \(\mathbb{R}^2\). In the case of the complete optimal transport problem, we demonstrate that the singular set is either a finite set, or, except for a finite number of points, is locally a 1-dimensional smooth curve. As for the optimal partial transport, we establish that the free boundary is smooth except for a finite number of singular points.


title: Physics-Informed Neural Networks for Predicting the Asymptotic Outcome of Fast Neutrino Flavor Conversions

abstract: In the most extreme astrophysical environments, such as core-collapse supernovae (CCSNe) and neutron star mergers (NSMs), neutrinos can undergo fast flavor conversions (FFCs) on exceedingly short scales. Intensive simulations have demonstrated that FFCs can attain equilibrium states in certain models. In this study, we utilize physics-informed neural networks (PINNs) to predict the asymptotic outcomes of FFCs, by specifically targeting the first two moments of neutrino angular distributions. This makes our approach suitable for state-of-the-art CCSN and NSM simulations. Through effective feature engineering and the incorporation of customized loss functions that penalize discrepancies in the predicted total number of $\nu_e$ and $\bar\nu_e$, our PINNs demonstrate remarkable accuracies, with an error margin of $\lesssim3\%$. Our study represents a substantial leap forward in the potential incorporation of FFCs into simulations of CCSNe and NSMs, thereby enhancing our understanding of these extraordinary astrophysical events.


title: Enhancing Diffusion Models with Text-Encoder Reinforcement Learning

abstract: Text-to-image diffusion models are typically trained to optimize the log-likelihood objective, which presents challenges in meeting specific requirements for downstream tasks, such as image aesthetics and image-text alignment. Recent research addresses this issue by refining the diffusion U-Net using human rewards through reinforcement learning or direct backpropagation. However, many of them overlook the importance of the text encoder, which is typically pretrained and fixed during training. In this paper, we demonstrate that by finetuning the text encoder through reinforcement learning, we can enhance the text-image alignment of the results, thereby improving the visual quality. Our primary motivation comes from the observation that the current text encoder is suboptimal, often requiring careful prompt adjustment. While fine-tuning the U-Net can partially improve performance, it remains suffering from the suboptimal text encoder. Therefore, we propose to use reinforcement learning with low-rank adaptation to finetune the text encoder based on task-specific rewards, referred as \textbf{TexForce}. We first show that finetuning the text encoder can improve the performance of diffusion models. Then, we illustrate that TexForce can be simply combined with existing U-Net finetuned models to get much better results without additional training. Finally, we showcase the adaptability of our method in diverse applications, including the generation of high-quality face and hand images.


title: Regularization by Texts for Latent Diffusion Inverse Solvers

abstract: The recent advent of diffusion models has led to significant progress in solving inverse problems, leveraging these models as effective generative priors. Nonetheless, there remain challenges related to the ill-posed nature of such problems, often due to inherent ambiguities in measurements or intrinsic system symmetries. To address this, drawing inspiration from the human ability to resolve visual ambiguities through perceptual biases, here we introduce a novel latent diffusion inverse solver by regularization by texts (TReg). Specifically, TReg applies the textual description of the preconception of the solution during the reverse diffusion sampling, of which the description is dynamically reinforced through null-text optimization for adaptive negation. Our comprehensive experimental results demonstrate that TReg successfully mitigates ambiguity in the inverse problems, enhancing their effectiveness and accuracy.


title: Even-odd alternative dispersions and beyond. Part II. Noninertial and inertial particles, and, astrophysical chirality analogy

abstract: Particle transports in carriers with even-odd alternating dispersions (introduced in Part I) are investigated. For the third-order dispersion as in Korteweg-de-Vries (KdV), such alternating dispersion has the effects of not only regularizing the velocity from forming shock singularity (thus the attenuation of particle clustering strength) but also symmetrizing the oscillations (thus the corresponding skewness of the particle densities), among others, as demonstrated numerically. The analogy of such dispersion effects and consequences (on particle transports in particular) with those of helicity in Burgers turbulence, addressed in the context of astrophysics and cosmology, is made for illumination and promoting models. Both dispersion and helicity regularize the respective systems, and both are shown to be transferred by the drag to the flows of the respective inertial particles carried by the latter and to similarly affect the particle clustering. A reward from studying particle transports is the understanding of the (asymptotic) $k^0$-scaling (equipartition among the wavenumbers, $k$s), before large-$k$ exponential decay, of the power spectrum of KdV solitons [resulting in the more general statement (valid beyond the KdV soliton and Burgers shock) that "a (one-dimensional) soliton is the derivative of a classical shock, just like the Dirac delta is the derivative of a step function"], motivated by the explanation of the the same scaling law of the particle densities as the apparent approximation of the Dirac deltas; while, the "shocliton" from the even-odd alternating dispersion in aKdV appears to be, indeed, $shock \oplus soliton$, accordingly the decomposition of the averaged odd-mode spectrum, from sinusoidal initial field, into a $k^{-2}$ part for the shock and a $k^0$-scaling part for the solitonic pulses, only the latter being contained in the averaged even-mode spectrum.


title: Technical Report for Argoverse Challenges on 4D Occupancy Forecasting

abstract: This report presents our Le3DE2E_Occ solution for 4D Occupancy Forecasting in Argoverse Challenges at CVPR 2023 Workshop on Autonomous Driving (WAD). Our solution consists of a strong LiDAR-based Bird's Eye View (BEV) encoder with temporal fusion and a two-stage decoder, which combines a DETR head and a UNet decoder. The solution was tested on the Argoverse 2 sensor dataset to evaluate the occupancy state 3 seconds in the future. Our solution achieved 18% lower L1 Error (3.57) than the baseline and got the 1 place on the 4D Occupancy Forecasting task in Argoverse Challenges at CVPR 2023.


title: On measure-preserving selection of solutions of ODEs

abstract: For every $k \in \mathbb{N}$ and $\alpha \in (0,1)$ we construct a divergence-free $u \in C^k([0,T],C^\alpha(\mathbb{T}^d,\mathbb{R}^d))$, $d \geq 2$, such that there is no measurable selection of solutions of the ODE $\dot{X}_t = u(t,X_t)$ that preserves the Lebesgue measure.


title: The basement membrane in epidermal polarity, stemness, and regeneration

abstract: The epidermis is a specialized epithelium that constitutes the outermost layer of the skin, and it provides a protective barrier against environmental assaults. Primarily consisting of multilayered keratinocytes, the epidermis is continuously renewed by proliferation of stem cells and the differentiation of their progeny, which undergo terminal differentiation as they leave the basal layer and move upward toward the surface, where they die and slough off. Basal keratinocytes rest on a basement membrane at the dermal-epidermal junction that is composed of specific extracellular matrix proteins organized into interactive and mechanically supportive networks. Firm attachment of basal keratinocytes, and their dynamic regulation via focal adhesions and hemidesmosomes, is essential for maintaining major skin processes, such as self-renewal, barrier function, and resistance to physical and chemical stresses. The adhesive integrin receptors expressed by epidermal cells serve structural, signaling, and mechanosensory roles that are critical for epidermal cell anchorage and tissue homeostasis. More specifically, the basement membrane components play key roles in preserving the stem cell pool, and establishing cell polarity cues enabling asymmetric cell divisions, which result in the transition from a proliferative basal cell layer to suprabasal cells committed to terminal differentiation. Finally, through a well-regulated sequence of synthesis and remodeling, the components of the dermal-epidermal junction play an essential role in regeneration of the epidermis during skin healing. Here too, they provide biological and mechanical signals that are essential to the restoration of barrier function.


title: Comparison between Tensor Networks and Variational Quantum Classifier

abstract: The primary objective of this paper is to conduct a comparative analysis between two Machine Learning approaches: Tensor Networks (TN) and Variational Quantum Classifiers (VQC). While both approaches share similarities in their representation of the Hilbert space using a logarithmic number of parameters, they diverge in the manifolds they cover. Thus, the aim is to evaluate and compare the expressibility and trainability of these approaches. By conducting this comparison, we can gain insights into potential areas where quantum advantage may be found. Our findings indicate that VQC exhibits advantages in terms of speed and accuracy when dealing with data, characterized by a small number of features. However, for high-dimensional data, TN surpasses VQC in overall classification accuracy. We believe that this disparity is primarily attributed to challenges encountered during the training of quantum circuits. We want to stress that in this article, we focus on only one particular task and do not conduct thorough averaging of the results. Consequently, we recommend considering the results of this article as a unique case without excessive generalization.


title: The UV luminosity function at 0.6 < z < 1 from UVCANDELS

abstract: UVCANDELS is a HST Cycle-26 Treasury Program awarded 164 orbits of primary ultraviolet (UV) F275W imaging and coordinated parallel optical F435W imaging in four CANDELS fields: GOODS-N, GOODS-S, EGS, and COSMOS, covering a total area of $\sim426$ arcmin$^2$. This is $\sim2.7$ times larger than the area covered by previous deep-field space UV data combined, reaching a depth of about 27 and 28 ABmag ($5\sigma$ in $0.2"$ apertures) for F275W and F435W, respectively. Along with the new photometric catalogs, we present an analysis of the rest-frame UV luminosity function (LF), relying on our UV-optimized aperture photometry method yielding a factor of $1.5\times$ increase than the H-isophot aperture photometry in the signal-to-noise ratios of galaxies in our F275W imaging. Using well tested photometric redshift measurements we identify 5810 galaxies at redshifts $0.6<z<1$, down to an absolute magnitude of $M_\text{UV} = -14.2$. In order to minimize the effect of uncertainties in estimating the completeness function, especially at the faint-end, we restrict our analysis to sources above $30\%$ completeness, which provides a final sample of 4726 galaxies at $-21.5<M_\text{UV}<-15.5$. We performed a maximum likelihood estimate to derive the best-fit parameters of the UV LF. We report a best-fit faint-end slope of $\alpha = -1.359^{+0.041}_{-0.041}$ at $z \sim 0.8$. Creating sub-samples at $z\sim0.7$ and $z\sim0.9$, we observe a possible evolution of $\alpha$ with redshift. The unobscured UV luminosity density at $M_\text{UV}<-10$ is derived as $\rho_\text{UV}=1.339^{+0.027}_{-0.030}\ (\times10^{26} \text{ergs/s/Hz/Mpc}^3)$ using our best-fit LF parameters. The new F275W and F435 photometric catalogs from UVCANDELS have been made publicly available on the Barbara A. Mikulski Archive for Space Telescopes (MAST).


title: Robust discontinuous Galerkin-based scheme for the fully-coupled non-linear thermo-hydro-mechanical problem

abstract: We present and analyze a discontinuous Galerkin method for the numerical modeling of the non-linear fully-coupled thermo-hydro-mechanic problem. We propose a high-order symmetric weighted interior penalty scheme that supports general polytopal grids and is robust with respect to strong heteorgeneities in the model coefficients. We focus on the treatment of the non-linear convective transport term in the energy conservation equation and we propose suitable stabilization techniques that make the scheme robust for advection-dominated regimes. The stability analysis of the problem and the convergence of the fixed-point linearization strategy are addressed theoretically under mild requirements on the problem's data. A complete set of numerical simulations is presented in order to assess the convergence and robustness properties of the proposed method.


title: Berndt-Type Integrals of Order Three and Series Associated with Jacobi Elliptic Functions

abstract: In this paper, we first establish explicit evaluations of six classes of hyperbolic sums by special values of the Gamma function by using the tools of the Fourier series expansions and the Maclaurin series expansions of a few Jacobi elliptic functions developed in our previous paper. Then, using the method of contour integrations involving hyperbolic and trigonometric functions, we establish explicit evaluations of two families of Berndt-type integrals of order three by special values of the Gamma function. Furthermore, we present some interesting consequences and illustrative examples.


title: Spin Squeezing through Collective Spin-Spin Interactions

abstract: Spin squeezing provides crucial quantum resource for quantum metrology and quantum information science. Here we propose that one axis-twisted (OAT) spin squeezing can be generated from free evolution under a general coupled-spin model with collective spin-spin interactions. We further propose pulse schemes to recover squeezing from parameter imperfections, and reach the extreme squeezing with Heisenberg-limited measurement precision scaling as $1/N$ for $N$ particles. This work provides a feasible method for generating extreme spin squeezing.


title: Deformation-Guided Unsupervised Non-Rigid Shape Matching

abstract: We present an unsupervised data-driven approach for non-rigid shape matching. Shape matching identifies correspondences between two shapes and is a fundamental step in many computer vision and graphics applications. Our approach is designed to be particularly robust when matching shapes digitized using 3D scanners that contain fine geometric detail and suffer from different types of noise including topological noise caused by the coalescence of spatially close surface regions. We build on two strategies. First, using a hierarchical patch based shape representation we match shapes consistently in a coarse to fine manner, allowing for robustness to noise. This multi-scale representation drastically reduces the dimensionality of the problem when matching at the coarsest scale, rendering unsupervised learning feasible. Second, we constrain this hierarchical matching to be reflected in 3D by fitting a patch-wise near-rigid deformation model. Using this constraint, we leverage spatial continuity at different scales to capture global shape properties, resulting in matchings that generalize well to data with different deformations and noise characteristics. Experiments demonstrate that our approach obtains significantly better results on raw 3D scans than state-of-the-art methods, while performing on-par on standard test scenarios.


title: Optimality conditions in terms of Bouligand generalized differentials for a nonsmooth semilinear elliptic optimal control problem with distributed and boundary control pointwise constraints

abstract: This paper is concerned with an optimal control problem governed by nonsmooth semilinear elliptic partial differential equations with both distributed and boundary unilateral pointwise control constraints, in which the nonlinear coefficient in the state equation is not differentiable at one point. Therefore, the Bouligand subdifferential of this nonsmooth coefficient in every point consists of one or two elements that will be used to construct the two associated Bouligand generalized derivatives of the control-to-state operator in any admissible control. These Bouligand generalized derivatives appear in a novel optimality condition, which extends the purely primal optimality condition saying that the directional derivative of the reduced objective functional in admissible directions in nonnegative. We then establish the optimality conditions in the form of multiplier existence. There, in addition to the existence of the adjoint states and of the nonnegative multipliers associated with the unilateral pointwise constraints as usual, other nonnegative multipliers exist and correspond to the nondifferentiability of the control-to-state mapping. The latter type of optimality conditions shall be applied to an optimal control satisfying the so-called \emph{constraint qualification} to derive a \emph{strong} stationarity, where the sign of the associated adjoint state does not vary on the level set of the corresponding optimal state at the value of nondifferentiability. Finally, this strong stationarity is also shown to be equivalent to the purely primal optimality condition.


title: Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

abstract: The theory of noninterference supports the analysis and the execution of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on weak bisimulation semantics. We show that this approach is not sufficient to identify potential covert channels in the presence of reversible computations. As illustrated via a database management system example, the activation of backward computations may trigger information flows that are not observable when proceeding in the standard forward direction. To capture the effects of back and forth computations, it is necessary to switch to a more expressive semantics that, in an interleaving framework, has been proven to be branching bisimilarity in a previous work by De Nicola, Montanari, and Vaandrager. In this paper we investigate a taxonomy of noninterference properties based on branching bisimilarity along with their preservation and compositionality features, then we compare it with the classical hierarchy based on weak bisimilarity.


title: The generalized Vaidya spacetime with polytropic equation of state

abstract: The process of the gravitational collapse might lead not only to a black hole but also to naked singularity formation. In this paper, we consider the generalized Vaidya spacetime with polytropic and generalized polytropic equations of state. We solve the Einstein and Einstein-Maxwell equations to obtain the explicit form of a mass function. We consider the limiting cases of solutions and find out, that generalized Vaidya spacetime might behave like Vaidya-de Sitter and Bonnor-Vaidya-de sitter solutions. Moreover, we explicitly show, that the part of solution, which depends on the polytropic index, is similar to cosmological fields surrounding both Vaidya and Bonnor-Vaidya black holes. The process of the gravitational collapse has been then considered. We have found out that the conditions of the naked singularity formation don't depend on the polytropic index.


title: HAVE-FUN: Human Avatar Reconstruction from Few-Shot Unconstrained Images

abstract: As for human avatar reconstruction, contemporary techniques commonly necessitate the acquisition of costly data and struggle to achieve satisfactory results from a small number of casual images. In this paper, we investigate this task from a few-shot unconstrained photo album. The reconstruction of human avatars from such data sources is challenging because of limited data amount and dynamic articulated poses. For handling dynamic data, we integrate a skinning mechanism with deep marching tetrahedra (DMTet) to form a drivable tetrahedral representation, which drives arbitrary mesh topologies generated by the DMTet for the adaptation of unconstrained images. To effectively mine instructive information from few-shot data, we devise a two-phase optimization method with few-shot reference and few-shot guidance. The former focuses on aligning avatar identity with reference images, while the latter aims to generate plausible appearances for unseen regions. Overall, our framework, called HaveFun, can undertake avatar reconstruction, rendering, and animation. Extensive experiments on our developed benchmarks demonstrate that HaveFun exhibits substantially superior performance in reconstructing the human body and hand. Project website: https://seanchenxy.github.io/HaveFunWeb/.


title: Accelerating Hierarchical Associative Memory: A Deep Equilibrium Approach

abstract: Hierarchical Associative Memory models have recently been proposed as a versatile extension of continuous Hopfield networks. In order to facilitate future research on such models, especially at scale, we focus on increasing their simulation efficiency on digital hardware. In particular, we propose two strategies to speed up memory retrieval in these models, which corresponds to their use at inference, but is equally important during training. First, we show how they can be cast as Deep Equilibrium Models, which allows using faster and more stable solvers. Second, inspired by earlier work, we show that alternating optimization of the even and odd layers accelerates memory retrieval by a factor close to two. Combined, these two techniques allow for a much faster energy minimization, as shown in our proof-of-concept experimental results. The code is available at https://github.com/cgoemaere/hamdeq


title: MOT-DETR: 3D Single Shot Detection and Tracking with Transformers to build 3D representations for Agro-Food Robots

abstract: In the current demand for automation in the agro-food industry, accurately detecting and localizing relevant objects in 3D is essential for successful robotic operations. However, this is a challenge due the presence of occlusions. Multi-view perception approaches allow robots to overcome occlusions, but a tracking component is needed to associate the objects detected by the robot over multiple viewpoints. Most multi-object tracking (MOT) algorithms are designed for high frame rate sequences and struggle with the occlusions generated by robots' motions and 3D environments. In this paper, we introduce MOT-DETR, a novel approach to detect and track objects in 3D over time using a combination of convolutional networks and transformers. Our method processes 2D and 3D data, and employs a transformer architecture to perform data fusion. We show that MOT-DETR outperforms state-of-the-art multi-object tracking methods. Furthermore, we prove that MOT-DETR can leverage 3D data to deal with long-term occlusions and large frame-to-frame distances better than state-of-the-art methods. Finally, we show how our method is resilient to camera pose noise that can affect the accuracy of point clouds. The implementation of MOT-DETR can be found here: https://github.com/drapado/mot-detr


title: The Complexity of Second-order HyperLTL

abstract: We determine the complexity of second-order HyperLTL satisfiability, finite-state satisfiability, and model-checking: All three are as hard as truth in third-order arithmetic. We also consider two fragments of second-order HyperLTL that have been introduced with the aim to facilitate effective model-checking by restricting the sets one can quantify over. The first one restricts second-order quantification to smallest/largest sets that satisfy a guard while the second one restricts second-order quantification further to least fixed points of (first-order) HyperLTL definable functions. The first fragment is still as hard as truth in third-order arithmetic while satisfiability for the second one is $\Sigma_1^1$-complete, i.e., only as hard as (first-order) HyperLTL and therefore much less complex. Finally, finite-state satisfiability and model-checking are in $\Sigma_2^2$ and $\Sigma_1^1$-hard, and thus also less complex than model-checking full second-order HyperLTL.


title: Mixing model of Phobos' bulk elemental composition for the determination of its origin: Multivariate analysis of MMX/MEGANE data

abstract: The formation process of the two Martian moons, Phobos and Deimos, is still debated with two main competing hypotheses: the capture of an asteroid or a giant impact onto Mars. In order to reveal their origin, the Martian Moons eXploration (MMX) mission by Japan Aerospace Exploration Agency (JAXA) plans to measure Phobos' elemental composition by a gamma-ray and neutron spectrometer called MEGANE. This study provides a model of Phobos' bulk elemental composition, assuming the two formation hypotheses. Using the mixing model, we established a MEGANE data analysis flow to discriminate between the formation hypotheses by multivariate analysis. The mixing model expresses the composition of Phobos in 6 key lithophile elements that will be measured by MEGANE (Fe, Si, O, Ca, Mg, and Th) as a linear mixing of two mixing components: material from Mars and material from an asteroid as represented by primitive meteorite compositions. The inversion calculation includes consideration of MEGANE's measurement errors ($E_P$) and derives the mixing ratio for a given Phobos composition, based on which the formation hypotheses are judged. For at least 65\% of the modeled compositions, MEGANE measurements will determine the origin uniquely ($E_P$ = 30\%), and this increases from 74 to 87\% as $E_P$ decreases from 20 to 10\%. Although the discrimination performance depends on $E_P$, the current operation plan for MEGANE predicts an instrument performance for $E_P$ of 20--30\%, resulting in ~70\% discrimination between the original hypotheses. MEGANE observations can also enable the determination of the asteroid type of the captured body or the impactor. The addition of other measurements, such as MEGANE's measurements of the volatile element K, as well as observations by other MMX remote sensing instruments, will also contribute to the MMX mission's goal to constrain the origin of Phobos.


title: Toward a classification of PT-symmetric quantum systems: From dissipative dynamics to topology and wormholes

abstract: Studies of many-body non-Hermitian parity-time (PT)-symmetric quantum systems are attracting a lot of interest due to their relevance in research areas ranging from quantum optics and continuously monitored dynamics to Euclidean wormholes in quantum gravity and dissipative quantum chaos. While a symmetry classification of non-Hermitian systems leads to 38 universality classes, we show that, under certain conditions, PT-symmetric systems are grouped into 24 universality classes. We identify 14 of them in a coupled two-site Sachdev-Ye-Kitaev (SYK) model and confirm the classification by spectral analysis using exact diagonalization techniques. Intriguingly, in 4 of these 14 universality classes, AIII$_\nu$, BDI$^\dagger_\nu$, BDI$_{++\nu}$, and CI$_{--\nu}$, we identify a basis in which the SYK Hamiltonian has a block structure in which some blocks are rectangular, with $\nu \in \mathbb{N}$ the difference between the number of rows and columns. We show analytically that this feature leads to the existence of $\nu$ robust purely \emph{real} eigenvalues, whose level statistics follow the predictions of Hermitian random matrix theory for classes A, AI, BDI, and CI, respectively. We have recently found that this $\nu$ is a topological invariant, so these classes are topological. By contrast, nontopological real eigenvalues display a crossover between Hermitian and non-Hermitian level statistics. Similarly to the case of Lindbladian dynamics, the reduction of universality classes leads to unexpected results, such as the absence of Kramers degeneracy in a given sector of the theory. Another novel feature of the classification scheme is that different sectors of the PT-symmetric Hamiltonian may have different symmetries.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Topological Anderson Insulators by homogenization theory

abstract: A central property of (Chern) topological insulators is the presence of robust asymmetric transport along interfaces separating two-dimensional insulating materials in different topological phases. A Topological Anderson Insulator is an insulator whose topological phase is induced by spatial fluctuations. This paper proposes a mathematical model of perturbed Dirac equations and shows that for sufficiently large and highly oscillatory perturbations, the systems is in a different topological phase than the unperturbed model. In particular, a robust asymmetric transport indeed appears at an interface separating perturbed and unperturbed phases. The theoretical results are based on careful estimates of resolvent operators in the homogenization theory of Dirac equations and on the characterization of topological phases by the index of an appropriate Fredholm operator.


title: Model-agnostic Body Part Relevance Assessment for Pedestrian Detection

abstract: Model-agnostic explanation methods for deep learning models are flexible regarding usability and availability. However, due to the fact that they can only manipulate input to see changes in output, they suffer from weak performance when used with complex model architectures. For models with large inputs as, for instance, in object detection, sampling-based methods like KernelSHAP are inefficient due to many computation-heavy forward passes through the model. In this work, we present a framework for using sampling-based explanation models in a computer vision context by body part relevance assessment for pedestrian detection. Furthermore, we introduce a novel sampling-based method similar to KernelSHAP that shows more robustness for lower sampling sizes and, thus, is more efficient for explainability analyses on large-scale datasets.


title: Random Splitting of Point Vortex Flows

abstract: We consider a stochastic version of the point vortex system, in which the fluid velocity advects single vortices intermittently for small random times. Such system converges to the deterministic point vortex dynamics as the rate at which single components of the vector field are randomly switched diverges, and therefore it provides an alternative discretization of 2D Euler equations. The random vortex system we introduce preserves microcanonical statistical ensembles of the point vortex system, hence constituting a simpler alternative to the latter in the statistical mechanics approach to 2D turbulence.


title: Bounds on ALP-Mediated Dark Matter Models from Celestial Objects

abstract: We have studied the signals from axion-like particles (ALPs) as dark matter mediators from celestial objects such as neutron stars or brown dwarfs. We consider the accumulation of dark matter inside the celestial objects using the multiscatter capturing process. The production of ALP from the dark matter annihilation can escape the celestial object and decay into gamma-ray and neutrinos before reaching the Earth. We investigate our model using gamma-ray observations from Fermi and H.E.S.S and neutrino observations from IceCube and ANTARES. The effective Lagrangian approach allows us to place constraints on the ALP-photon and ALP-fermion couplings. In the gamma-ray channel, our results improve the existing bounds on ALPs by 1-2 orders of magnitude. Although the constraints from neutrino fluxes rule out a significant portion of the parameter space, the remaining part of the parameter space is accessible by future experiments.


title: Information theoretic study of the neural geometry induced by category learning

abstract: Categorization is an important topic both for biological and artificial neural networks. Here, we take an information theoretic approach to assess the efficiency of the representations induced by category learning. We show that one can decompose the relevant Bayesian cost into two components, one for the coding part and one for the decoding part. Minimizing the coding cost implies maximizing the mutual information between the set of categories and the neural activities. We analytically show that this mutual information can be written as the sum of two terms that can be interpreted as (i) finding an appropriate representation space, and, (ii) building a representation with the appropriate metrics, based on the neural Fisher information on this space. One main consequence is that category learning induces an expansion of neural space near decision boundaries. Finally, we provide numerical illustrations that show how Fisher information of the coding neural population aligns with the boundaries between categories.