title: Failure-Resilient Distributed Inference with Model Compression over Heterogeneous Edge Devices

abstract: The distributed inference paradigm enables the computation workload to be distributed across multiple devices, facilitating the implementations of deep learning based intelligent services on extremely resource-constrained Internet of Things (IoT) scenarios. Yet it raises great challenges to perform complicated inference tasks relying on a cluster of IoT devices that are heterogeneous in their computing/communication capacity and prone to crash or timeout failures. In this paper, we present RoCoIn, a robust cooperative inference mechanism for locally distributed execution of deep neural network-based inference tasks over heterogeneous edge devices. It creates a set of independent and compact student models that are learned from a large model using knowledge distillation for distributed deployment. In particular, the devices are strategically grouped to redundantly deploy and execute the same student model such that the inference process is resilient to any local failures, while a joint knowledge partition and student model assignment scheme are designed to minimize the response latency of the distributed inference system in the presence of devices with diverse capacities. Extensive simulations are conducted to corroborate the superior performance of our RoCoIn for distributed inference compared to several baselines, and the results demonstrate its efficacy in timely inference and failure resiliency.


title: CriDiff: Criss-cross Injection Diffusion Framework via Generative Pre-train for Prostate Segmentation

abstract: Recently, the Diffusion Probabilistic Model (DPM)-based methods have achieved substantial success in the field of medical image segmentation. However, most of these methods fail to enable the diffusion model to learn edge features and non-edge features effectively and to inject them efficiently into the diffusion backbone. Additionally, the domain gap between the images features and the diffusion model features poses a great challenge to prostate segmentation. In this paper, we proposed CriDiff, a two-stage feature injecting framework with a Crisscross Injection Strategy (CIS) and a Generative Pre-train (GP) approach for prostate segmentation. The CIS maximizes the use of multi-level features by efficiently harnessing the complementarity of high and low-level features. To effectively learn multi-level of edge features and non-edge features, we proposed two parallel conditioners in the CIS: the Boundary Enhance Conditioner (BEC) and the Core Enhance Conditioner (CEC), which discriminatively model the image edge regions and non-edge regions, respectively. Moreover, the GP approach eases the inconsistency between the images features and the diffusion model without adding additional parameters. Extensive experiments on four benchmark datasets demonstrate the effectiveness of the proposed method and achieve state-of-the-art performance on four evaluation metrics.


title: A mapping-free NLP-based technique for sequence search in Nanopore long-reads

abstract: In unforeseen situations, such as nuclear power plant's or civilian radiation accidents, there is a need for effective and computationally inexpensive methods to determine the expression level of a selected gene panel, allowing for rough dose estimates in thousands of donors. The new generation in-situ mapper, fast and of low energy consumption, working at the level of single nanopore output, is in demand. We aim to create a sequence identification tool that utilizes Natural Language Processing (NLP) techniques and ensures a high level of negative predictive value (NPV) compared to the classical approach. The training dataset consisted of RNASeq data from 6 samples. Having tested multiple NLP models, the best configuration analyses the entire sequence and uses a word length of 3 base pairs with one-word neighbor on each side. For the considered FDXR gene, the achieved mean balanced accuracy (BACC) was 98.29% and NPV 99.25%, compared to minimap2's performance in a cross-validation scenario. Reducing the dictionary from 1024 to 145 changed BACC to 96.49% and the NPV to 98.15%. Obtained NLP model, validated on an external independent genome sequencing dataset, gave NPV of 99.64% for complete and 95.87% for reduced dictionary. The salmon-estimated read counts differed from the classical approach on average by 3.48% for the complete dictionary and by 5.82% for the reduced one. We conclude that for long Oxford Nanopore reads, an NLP-based approach can successfully replace classical mapping in case of emergency. The developed NLP model can be easily retrained to identify selected transcripts and/or work with various long-read sequencing techniques. Our results of the study clearly demonstrate the potential of applying techniques known from classical text processing to nucleotide sequences and represent a significant advancement in this field of science.


title: Anisptropic plasmons in threefold Hopf semimetals

abstract: Threefold Hopf semimetals are a novel type of topological semimetals that possess an internal anisotropy characterized by a dipolar structure of the Berry curvature and an isotropic energy band structure consisting of a Dirac cone and a flat band. In this study, we theoretically investigate the impact of internal anisotropy on plasmons in threefold Hopf semimetals using random-phase approximation. In contrast to the classical intuition that isotropy of the energy band dispersion leads to isotropic plasmons in the classical regime (i.e., in the wavelength limit), we find that plasmons in threefold Hopf semimetals exhibit notable anisotropy even in the long-wavelength limit. We derive an explicit analytical form of the long-wavelength plasmon frequency, and numerically demonstrate the validity of our results in a wide range of situations. Our work reveals that the anisotropy of long-wavelength plasmons can reach 25%, making it experimentally observable.


title: In Tree Structure Should Sentence Be Generated

abstract: Generative models reliant on sequential autoregression have been at the forefront of language generation for an extensive period, particularly following the introduction of widely acclaimed transformers. Despite its excellent performance, there are always some issues that we face today. For example, problems such as hallucinations and getting trapped in a logic loop may occur. To enhance the performance of existing systems, this paper introduces a new method for generating sequences in natural language, which involves generating the targeted sentence in a tree-traversing order. The paper includes an illustration of the theoretical basis and validity of the approach, as well as a comparison of its fundamentals with the diffusion model in graphic generation. Finally, a module called SenTree is introduced for generating an approximating binary tree. It is already available at https://github.com/arklyg/sentree. Additionally, a joint training framework based on this approach is proposed, incorporating the intrinsics of generative adversarial networks.


title: Extended Resolution Clause Learning via Dual Implication Points

abstract: We present a new extended resolution clause learning (ERCL) algorithm, implemented as part of a conflict-driven clause-learning (CDCL) SAT solver, wherein new variables are dynamically introduced as definitions for {\it Dual Implication Points} (DIPs) in the implication graph constructed by the solver at runtime. DIPs are generalizations of unique implication points and can be informally viewed as a pair of dominator nodes, from the decision variable at the highest decision level to the conflict node, in an implication graph. We perform extensive experimental evaluation to establish the efficacy of our ERCL method, implemented as part of the MapleLCM SAT solver and dubbed xMapleLCM, against several leading solvers including the baseline MapleLCM, as well as CDCL solvers such as Kissat 3.1.1, CryptoMiniSat 5.11, and SBVA+CaDiCaL, the winner of SAT Competition 2023. We show that xMapleLCM outperforms these solvers on Tseitin and XORified formulas. We further compare xMapleLCM with GlucoseER, a system that implements extended resolution in a different way, and provide a detailed comparative analysis of their performance.


title: Temporal Knowledge Graph Question Answering: A Survey

abstract: Knowledge Base Question Answering (KBQA) has been a long-standing field to answer questions based on knowledge bases. Recently, the evolving dynamics of knowledge have attracted a growing interest in Temporal Knowledge Graph Question Answering (TKGQA), an emerging task to answer temporal questions. However, this field grapples with ambiguities in defining temporal questions and lacks a systematic categorization of existing methods for TKGQA. In response, this paper provides a thorough survey from two perspectives: the taxonomy of temporal questions and the methodological categorization for TKGQA. Specifically, we first establish a detailed taxonomy of temporal questions engaged in prior studies. Subsequently, we provide a comprehensive review of TKGQA techniques of two categories: semantic parsing-based and TKG embedding-based. Building on this review, the paper outlines potential research directions aimed at advancing the field of TKGQA. This work aims to serve as a comprehensive reference for TKGQA and to stimulate further research.


title: Timo: Towards Better Temporal Reasoning for Language Models

abstract: Reasoning about time is essential for Large Language Models (LLMs) to understand the world. Previous works focus on solving specific tasks, primarily on time-sensitive question answering. While these methods have proven effective, they cannot generalize to a wider spectrum of temporal reasoning tasks. Therefore, we propose a crucial question: Can we build a universal framework to handle a variety of temporal reasoning tasks? To that end, we systematically study 38 temporal reasoning tasks. Based on the observation that 19 tasks are directly related to mathematics, we first leverage the available mathematical dataset to set a solid foundation for temporal reasoning. However, the in-depth study indicates that focusing solely on mathematical enhancement falls short of addressing pure temporal reasoning tasks. To mitigate this limitation, we propose a simple but effective self-critic temporal optimization method to enhance the model's temporal reasoning capabilities without sacrificing general task abilities. Finally, we develop Timo, a model designed to excel in temporal reasoning at the 7B and 13B scales. Notably, Timo outperforms the counterpart LLMs by 10.0 and 7.6 in average accuracy scores and achieves the new state-of-the-art (SOTA) performance of comparable size. Extensive experiments further validate our framework's effectiveness and its generalization across diverse temporal tasks. The code is available at https://github.com/zhaochen0110/Timo.


title: Reentrant localisation transitions and anomalous spectral properties in off-diagonal quasiperiodic systems

abstract: We investigate the localisation properties of quasiperiodic tight-binding chains with hopping terms modulated by the interpolating Aubry-Andr\'e-Fibonacci (IAAF) function. This off-diagonal IAAF model allows for a smooth and controllable interpolation between two paradigmatic quasiperiodic models: the Aubry-Andr\'e and the Fibonacci model. Our analysis shows that the spectrum of this model can be divided into three principal bands, namely, two molecular bands at the edge of the spectrum and one atomic band in the middle, for all values of the interpolating parameter. We reveal that the states in the molecular bands undergo multiple re-entrant localisation transitions, a behaviour previously reported in the diagonal IAAF model. We link the emergence of these reentrant phenomena to symmetry points of the quasiperiodic modulation and, with that, explain the main ground state properties of the system. The atomic states in the middle band show no traces of localised phases and remain either extended or critical for any value of the interpolating parameter. Using a renormalisation group approach, adapted from the Fibonacci model, we explain the extended nature of the middle band. These findings expand our knowledge of phase transitions within quasiperiodic systems and highlight the interplay between extended, critical, and localised states.


title: VLBiasBench: A Comprehensive Benchmark for Evaluating Bias in Large Vision-Language Model

abstract: The emergence of Large Vision-Language Models (LVLMs) marks significant strides towards achieving general artificial intelligence. However, these advancements are tempered by the outputs that often reflect biases, a concern not yet extensively investigated. Existing benchmarks are not sufficiently comprehensive in evaluating biases due to their limited data scale, single questioning format and narrow sources of bias. To address this problem, we introduce VLBiasBench, a benchmark aimed at evaluating biases in LVLMs comprehensively. In VLBiasBench, we construct a dataset encompassing nine distinct categories of social biases, including age, disability status, gender, nationality, physical appearance, race, religion, profession, social economic status and two intersectional bias categories (race x gender, and race x social economic status). To create a large-scale dataset, we use Stable Diffusion XL model to generate 46,848 high-quality images, which are combined with different questions to form 128,342 samples. These questions are categorized into open and close ended types, fully considering the sources of bias and comprehensively evaluating the biases of LVLM from multiple perspectives. We subsequently conduct extensive evaluations on 15 open-source models as well as one advanced closed-source model, providing some new insights into the biases revealing from these models. Our benchmark is available at https://github.com/Xiangkui-Cao/VLBiasBench.


title: Investigating the Role of Pre-supernova Massive Stars in the Acceleration of Galactic Cosmic Rays

abstract: Galactic cosmic rays (GCRs) constitute a significant part of the energy budget of our Galaxy, and the study of their accelerators is of high importance in modern astrophysics. Their main sources are likely supernova remnants (SNRs). These objects are capable to convert a part of their mechanical energy into accelerated charged particles. However, even though the mechanical energy reservoir of SNRs is promising, a conversion rate into particle energy of 10 to 20% is necessary to feed the population of GCRs. Such an efficiency is however not guaranteed. Complementary sources deserve thus to be investigated. This communication aims to address the question of the contribution to the acceleration of GCRs by pre-supernova massive stars in binary or higher multiplicity systems


title: Formation of motile cell clusters in heterogeneous model tumors: the role of cell-cell alignment

abstract: Circulating tumor cell clusters play an important role in the metastatic cascade. These clusters can acquire a migratory and more invasive phenotype, and coordinate their motion to migrate as a collective. Before such clusters can form by collectively detaching from a primary tumor, however, the cluster must first aggregate in the tumor interior. The mechanism of this cluster formation process is still poorly understood. One of the possible ways for cells to cluster is by aligning their direction of motion with their neighboring cells. This work aims to investigate the role of this cell-cell alignment interaction on the formation of motile cell clusters inside the bulk of a tumor using computer simulations. We employ a Cellular Potts model in which we model a two-dimensional heterogeneous confluent layer containing both motile and non-motile cells. Our results indicate that the degree of clustering is governed by two distinct processes: the formation of clusters due to the presence of cell-cell alignment interactions among motile cells, and the suppression of clustering due to the presence of the dynamic cellular environment (comprised of the non-motile cells). We find that the largest motile clusters are formed for intermediate alignment strengths, contrary to what is observed for motile cells in free space (that is, unimpeded by a dense cellular environment), in which case stronger cell-cell alignment always leads to larger clustering. Our findings suggest that the presence of a densely-packed cellular environment and strong cell-cell alignment inhibits the formation of large migratory clusters within the primary tumor, providing physical insight into potential factors at play during the early stages of metastasis.


title: On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning

abstract: The performance of modern language models (LMs) has been improved by chain-of-thought (CoT) reasoning, i.e., the process of generating intermediate results that guide the model towards a final answer. A possible explanation for this improvement is that CoT reasoning extends an LM's computational power, as RNNs and transformers with additional scratch space are known to be Turing complete. Comparing LMs to Turing machines, however, introduces a category error - Turing machines decide language membership, whereas LMs define distributions over strings. To bridge this gap, we formalize CoT reasoning in a probabilistic setting. We present several results on the representational capacity of recurrent and transformer LMs with CoT reasoning, showing that they can represent the same family of distributions over strings as probabilistic Turing machines.


title: Guaranteed shares of benefits and costs

abstract: In a general fair division model with transferable utilities we discuss endogenous lower and upper guarantees on individual shares of benefits or costs. Like the more familiar exogenous bounds on individual shares described by an outside option or a stand alone utility, these guarantees depend on my type but not on others' types, only on their number and the range of types. Keeping the range from worst share to best share as narrow as permitted by the physical constraints of the model still leaves a large menu of tight guarantee functions. We describe in detail these design options in several iconic problems where each tight pair of guarantees has a clear normative meaning: the allocation of indivisible goods or costly chores, cost sharing of a public facility and the exploitation of a commons with substitute or complementary inputs. The corresponding benefit or cost functions are all sub- or super-modular, and for this class we characterise the set of minimal upper and maximal lower guarantees in all two agent problems.


title: Synchrotron Radio Emission as a Proxy to Identify Long Period Massive Binaries

abstract: The multiplicity of massive stars is known to be significantly high. Even though the majority of massive stars are located in binary systems, the census of binaries is biased toward shorter periods as longer period systems are more difficult to identify. Alternatively, the search for binary systems with longer periods may proceed differently. As massive binary systems are typically colliding-wind systems, hints for processes occurring in the colliding-wind region could be used as a valuable proxy to identify likely binary systems, and then organize dedicated spectroscopic or interferometric campaigns on a short list of pre-selected targets. In this context, any hint for synchrotron radio emission is seen as a promising indicator of long period binaries, as short period systems undergo severe free-free absorption of the synchrotron emission by the stellar wind material. Usual techniques to identify synchrotron radio emitters constitute thus valid tools to explore that poorly investigated part of the massive binary parameter space. In addition, the identification of a synchrotron emission component in a short period binary can be used as an indicator of the presence of a third companion on a still unrevealed wider orbit in a triple system.


title: Gaussian approximation of dynamic cavity equations for linearly-coupled stochastic dynamics

abstract: Stochastic dynamics on sparse graphs and disordered systems often lead to complex behaviors characterized by heterogeneity in time and spatial scales, slow relaxation, localization, and aging phenomena. The mathematical tools and approximation techniques required to analyze these complex systems are still under development, posing significant technical challenges and resulting in a reliance on numerical simulations. We introduce a novel computational framework for investigating the dynamics of sparse disordered systems with continuous degrees of freedom. Starting with a graphical model representation of the dynamic partition function for a system of linearly-coupled stochastic differential equations, we use dynamic cavity equations on locally tree-like factor graphs to approximate the stochastic measure. Here, cavity marginals are identified with local functionals of single-site trajectories. Our primary approximation involves a second-order truncation of a small-coupling expansion, leading to a Gaussian form for the cavity marginals. For linear dynamics with additive noise, this method yields a closed set of causal integro-differential equations for cavity versions of one-time and two-time averages. These equations provide an exact dynamical description within the local tree-like approximation, retrieving classical results for the spectral density of sparse random matrices. Global constraints, non-linear forces, and state-dependent noise terms can be addressed using a self-consistent perturbative closure technique. The resulting equations resemble those of dynamical mean-field theory in the mode-coupling approximation used for fully-connected models. However, due to their cavity formulation, the present method can also be applied to ensembles of sparse random graphs and employed as a message-passing algorithm on specific graph instances.


title: Trusting Semantic Segmentation Networks

abstract: Semantic segmentation has become an important task in computer vision with the growth of self-driving cars, medical image segmentation, etc. Although current models provide excellent results, they are still far from perfect and while there has been significant work in trying to improve the performance, both with respect to accuracy and speed of segmentation, there has been little work which analyses the failure cases of such systems. In this work, we aim to provide an analysis of how segmentation fails across different models and consider the question of whether these can be predicted reasonably at test time. To do so, we explore existing uncertainty-based metrics and see how well they correlate with misclassifications, allowing us to define the degree of trust we put in the output of our prediction models. Through several experiments on three different models across three datasets, we show that simple measures such as entropy can be used to capture misclassification with high recall rates.


title: {\pi} Meson-Octet Baryon Coupling Constant Obtained by Hard-Wall AdS/QCD Model

abstract: The paper studies a strong coupling constant between {\pi} meson and octet baryon using the hard-wall AdS/QCD model, which considers SU(3)f symmetry-breaking effects. Briefly mentioned are profile functions for pseudoscalar meson and baryon fields. The obtained baryon coupling constants are in agreement with those obtained in theoretical calculations.


title: Continuous Quivers

abstract: We consider half-BPS Wilson loops in $\mathcal{N} = 2$ long circular quiver gauge theories at large-$N$ with continuous limit shape of 't Hooft couplings. In the limit of an infinite number of nodes $L$, the solution to the localisation matrix model is given by Wigner semicircles for any profile of couplings. Higher-order corrections in $1/L$ can be calculated iteratively. Combining large $L$ with a strong coupling regime we identify a double scaling limit that describes dynamics along a fifth dimension which emerges dynamically from the quiver diagram. We solve the resulting integro-differential equation exactly for a certain range of parameters.


title: Achieving Cooling Without Repump Lasers Through Ion Motional Heating

abstract: Laser cooling typically requires one or more repump lasers to clear dark states and enable recycling transitions. Here, we have achieved cooling of Be+ ions using a single laser beam, facilitated by one-dimensional heating through micromotion. By manipulating the displacement from the trap's nodal line, we precisely controlled the ion micromotion direction and speed, reaching up to 3144 m/s, which corresponds to a 7.1 GHz Doppler frequency shift in our experiment. This approach eliminates the necessity of a 1.25 GHz offset repump laser while keeping the Be+ ions cold in the perpendicular direction. Measurements were taken using cooling laser detuning and imaging of ion trajectories. Molecular dynamics simulations, based on machine learned time-dependent electric field E(X, Y, Z, t) inside the trap, accurately reproduced the experimental observation, illuminating the relationship between the direction of micromotion and the trapping electric filed vector. This work not only provides a robust method for managing the micromotion velocity of ions but also sheds light on laser cooling complex systems that require multiple repumping lasers. Additionally, it offers a method for controlling energy in the context of ion-molecule collision investigations.


title: Understanding building blocks of photonic logic gates: Reversible, read-write-erase cycling using photoswitchable beads in micropatterned arrays

abstract: Using surface-templated electrophoretic deposition, we have created arrays of polymer beads (photonic units) incorporating photo-switchable DAE molecules, which can be reversibly and individually switched between high and low emission states by direct photo-excitation, without any energy or electron transfer processes within the molecular system. The micropatterned array of these photonic units is spectroscopically characterized in detail and optimized with respect to both signal contrast and cross-talk. The optimum optical parameters including laser intensity, wavelength and duration of irradiation are elucidated and ideal conditions for creating reversible on/off cycles in a micropatterned array are determined. 500 such cycles are demonstrated with no obvious on/off contrast attenuation. The ability to process binary information is demonstrated by selectively writing information to the given photonic unit, reading the resultant emissive signal pattern and finally erasing the information again, which in turn demonstrates the possibility of continuous recording. This basic study paves the way for building complex circuits using spatially well-arranged photonic units.


title: Live Video Captioning

abstract: Dense video captioning is the task that involves the detection and description of events within video sequences. While traditional approaches focus on offline solutions where the entire video of analysis is available for the captioning model, in this work we introduce a paradigm shift towards Live Video Captioning (LVC). In LVC, dense video captioning models must generate captions for video streams in an online manner, facing important constraints such as having to work with partial observations of the video, the need for temporal anticipation and, of course, ensuring ideally a real-time response. In this work we formally introduce the novel problem of LVC and propose new evaluation metrics tailored for the online scenario, demonstrating their superiority over traditional metrics. We also propose an LVC model integrating deformable transformers and temporal filtering to address the LVC new challenges. Experimental evaluations on the ActivityNet Captions dataset validate the effectiveness of our approach, highlighting its performance in LVC compared to state-of-the-art offline methods. Results of our model as well as an evaluation kit with the novel metrics integrated are made publicly available to encourage further research on LVC.


title: LayerMatch: Do Pseudo-labels Benefit All Layers?

abstract: Deep neural networks have achieved remarkable performance across various tasks when supplied with large-scale labeled data. However, the collection of labeled data can be time-consuming and labor-intensive. Semi-supervised learning (SSL), particularly through pseudo-labeling algorithms that iteratively assign pseudo-labels for self-training, offers a promising solution to mitigate the dependency of labeled data. Previous research generally applies a uniform pseudo-labeling strategy across all model layers, assuming that pseudo-labels exert uniform influence throughout. Contrasting this, our theoretical analysis and empirical experiment demonstrate feature extraction layer and linear classification layer have distinct learning behaviors in response to pseudo-labels. Based on these insights, we develop two layer-specific pseudo-label strategies, termed Grad-ReLU and Avg-Clustering. Grad-ReLU mitigates the impact of noisy pseudo-labels by removing the gradient detrimental effects of pseudo-labels in the linear classification layer. Avg-Clustering accelerates the convergence of feature extraction layer towards stable clustering centers by integrating consistent outputs. Our approach, LayerMatch, which integrates these two strategies, can avoid the severe interference of noisy pseudo-labels in the linear classification layer while accelerating the clustering capability of the feature extraction layer. Through extensive experimentation, our approach consistently demonstrates exceptional performance on standard semi-supervised learning benchmarks, achieving a significant improvement of 10.38% over baseline method and a 2.44% increase compared to state-of-the-art methods.


title: SeCoKD: Aligning Large Language Models for In-Context Learning with Fewer Shots

abstract: Previous studies have shown that demonstrations can significantly help Large Language Models (LLMs ) perform better on the given tasks. However, this so-called In-Context Learning ( ICL ) ability is very sensitive to the presenting context, and often dozens of demonstrations are needed. In this work, we investigate if we can reduce the shot number while still maintaining a competitive performance. We present SeCoKD, a self-Knowledge Distillation ( KD ) training framework that aligns the student model with a heavily prompted variation, thereby increasing the utilization of a single demonstration. We experiment with the SeCoKD across three LLMs and six benchmarks focusing mainly on reasoning tasks. Results show that our method outperforms the base model and Supervised Fine-tuning ( SFT ), especially in zero-shot and one-shot settings by 30% and 10%, respectively. Moreover, SeCoKD brings little negative artifacts when evaluated on new tasks, which is more robust than Supervised Fine-tuning.


title: 2024 roadmap on 2D topological insulators

abstract: 2D topological insulators promise novel approaches towards electronic, spintronic, and quantum device applications. This is owing to unique features of their electronic band structure, in which bulk-boundary correspondences enforces the existence of 1D spin-momentum locked metallic edge states - both helical and chiral - surrounding an electrically insulating bulk. Forty years since the first discoveries of topological phases in condensed matter, the abstract concept of band topology has sprung into realization with several materials now available in which sizable bulk energy gaps - up to a few hundred meV - promise to enable topology for applications even at room-temperature. Further, the possibility of combining 2D TIs in heterostructures with functional materials such as multiferroics, ferromagnets, and superconductors, vastly extends the range of applicability beyond their intrinsic properties. While 2D TIs remain a unique testbed for questions of fundamental condensed matter physics, proposals seek to control the topologically protected bulk or boundary states electrically, or even induce topological phase transitions to engender switching functionality. Induction of superconducting pairing in 2D TIs strives to realize non-Abelian quasiparticles, promising avenues towards fault-tolerant topological quantum computing. This roadmap aims to present a status update of the field, reviewing recent advances and remaining challenges in theoretical understanding, materials synthesis, physical characterization and, ultimately, device perspectives.


title: Self-Supervised Pretext Tasks for Alzheimer's Disease Classification using 3D Convolutional Neural Networks on Large-Scale Synthetic Neuroimaging Dataset

abstract: Structural magnetic resonance imaging (MRI) studies have shown that Alzheimer's Disease (AD) induces both localised and widespread neural degenerative changes throughout the brain. However, the absence of segmentation that highlights brain degenerative changes presents unique challenges for training CNN-based classifiers in a supervised fashion. In this work, we evaluated several unsupervised methods to train a feature extractor for downstream AD vs. CN classification. Using the 3D T1-weighted MRI data of cognitive normal (CN) subjects from the synthetic neuroimaging LDM100K dataset, lightweight 3D CNN-based models are trained for brain age prediction, brain image rotation classification, brain image reconstruction and a multi-head task combining all three tasks into one. Feature extractors trained on the LDM100K synthetic dataset achieved similar performance compared to the same model using real-world data. This supports the feasibility of utilising large-scale synthetic data for pretext task training. All the training and testing splits are performed on the subject-level to prevent data leakage issues. Alongside the simple preprocessing steps, the random cropping data augmentation technique shows consistent improvement across all experiments.


title: Optimization over bounded-rank matrices through a desingularization enables joint global and local guarantees

abstract: Convergence guarantees for optimization over bounded-rank matrices are delicate to obtain because the feasible set is a non-smooth and non-convex algebraic variety. Existing techniques include projected gradient descent, fixed-rank optimization (over the maximal-rank stratum), and the LR parameterization. They all lack either global guarantees (the ability to accumulate only at critical points) or fast local convergence (e.g., if the limit has non-maximal rank). We seek optimization algorithms that enjoy both. Khrulkov and Oseledets [2018] parameterize the bounded-rank variety via a desingularization to recast the optimization problem onto a smooth manifold. Building on their ideas, we develop a Riemannian geometry for this desingularization, also with care for numerical considerations. We use it to secure global convergence to critical points with fast local rates, for a large range of algorithms. On matrix completion tasks, we find that this approach is comparable to others, while enjoying better general-purpose theoretical guarantees.


title: Discrete Virtual Rotation in Pointing vs. Leaning-Directed Steering Interfaces: A Uni vs. Bimanual Perspective

abstract: In this work, we explore the integration of discontinuous Orientation Selection into steering interfaces intending to preserve the seamless sensation of real-world movement, while mitigating the risk of inducing cybersickness. Our implementation encounters conflicts in standard input mappings, prompting us to adopt bimanual interaction as a solution. Recognizing the complexity that may arise from this step, we also develop unimanual alternatives, e.g., utilizing a Human-Joystick, commonly referred to as Leaning interface. The outcomes of an empirical study centered around a primed search task yield unexpected findings. We observed a sample of users spanning multiple levels of gaming experience and a balanced gender distribution exhibit no significant difficulties with the bimanual, asymmetric interfaces. Remarkably, the performance of Orientation Selection is, as in prior work, at least on par with Snap Rotation. Moreover, through a subsequent exploratory analysis, we uncover indications that Pointing-Directed Steering outperforms embodied interfaces in usability and task load in the given setting.


title: Complexity of Symbolic Representation in Working Memory of Transformer Correlates with the Complexity of a Task

abstract: Even though Transformers are extensively used for Natural Language Processing tasks, especially for machine translation, they lack an explicit memory to store key concepts of processed texts. This paper explores the properties of the content of symbolic working memory added to the Transformer model decoder. Such working memory enhances the quality of model predictions in machine translation task and works as a neural-symbolic representation of information that is important for the model to make correct translations. The study of memory content revealed that translated text keywords are stored in the working memory, pointing to the relevance of memory content to the processed text. Also, the diversity of tokens and parts of speech stored in memory correlates with the complexity of the corpora for machine translation task.


title: REVEAL-IT: REinforcement learning with Visibility of Evolving Agent poLicy for InTerpretability

abstract: Understanding the agent's learning process, particularly the factors that contribute to its success or failure post-training, is crucial for comprehending the rationale behind the agent's decision-making process. Prior methods clarify the learning process by creating a structural causal model (SCM) or visually representing the distribution of value functions. Nevertheless, these approaches have constraints as they exclusively function in 2D-environments or with uncomplicated transition dynamics. Understanding the agent's learning process in complicated environments or tasks is more challenging. In this paper, we propose REVEAL-IT, a novel framework for explaining the learning process of an agent in complex environments. Initially, we visualize the policy structure and the agent's learning process for various training tasks. By visualizing these findings, we can understand how much a particular training task or stage affects the agent's performance in test. Then, a GNN-based explainer learns to highlight the most important section of the policy, providing a more clear and robust explanation of the agent's learning process. The experiments demonstrate that explanations derived from this framework can effectively help in the optimization of the training tasks, resulting in improved learning efficiency and final performance.


title: Excitons in nonlinear optical responses: shift current in MoS$_2$ and GeS monolayers

abstract: It is well-known that exciton effects are determinant to understand the optical absorption spectrum of low-dimensional materials. However, the role of excitons in nonlinear optical responses has been much less investigated at an experimental level. Additionally, computational methods to calculate nonlinear conductivities in real materials are still not widespread, particularly taking into account excitonic interactions. We present a methodology to calculate the excitonic second-order optical responses in 2D materials relying on: (i) ab initio tight-binding Hamiltonians obtained by Wannier interpolation and (ii) the Bethe-Salpeter equation with effective electron-hole interactions. Here, in particular, we explore the role of excitons in the shift current of monolayer materials. Focusing on MoS$_2$ and GeS monolayer systems, our results show that $2p$-like excitons, which are dark in the linear response regime, yield a contribution to the photocurrent comparable to that of $1s$-like excitons. Under radiation with intensity $\sim 10^{4} $W/cm$^2$, the excitonic theory predicts in-gap photogalvanic currents of almost $\sim 10$ nA in sufficiently clean samples, which is typically one order of magnitude higher than the value predicted by independent-particle theory near the band edge.


title: Repeater-Based Quantum Communication Protocol: Maximizing Teleportation Fidelity with Minimal Entanglement

abstract: Transmitting unknown quantum states to distant locations is crucial for distributed quantum information protocols. The seminal quantum teleportation scheme achieves this feat while requiring prior maximal entanglement between the sender and receiver. In scenarios with noisy entangled states, optimal teleportation fidelity characterizes the efficacy of transmitting the state, demanding the proper selection of local operations at the sender's and receiver's ends. The complexity escalates further in long-range communication setups, prompting the consideration of a repeater-based approach, which incorporates arrays of nodes with multiple segments to facilitate the efficient transmission of quantum information. The fidelity of the communication line gets degraded even if a single segment is affected by noise. In such cases, the general wisdom employs the standard entanglement swapping protocol involving maximally entangled states across the noiseless segments and applying maximally entangled basis measurement at the corresponding nodes to achieve optimal fidelity. In this Letter, we propose a more efficient protocol for a certain class of noisy states in any intermediary segment, achieving the same fidelity as the standard protocol while consuming less amount of entanglement. Our approach ensures enhanced teleportation fidelity even when the end-to-end state gets noisier, and thus promises efficient utility of quantum resources in repeater-based distributed quantum protocols.


title: Defending Against Sophisticated Poisoning Attacks with RL-based Aggregation in Federated Learning

abstract: Federated learning is highly susceptible to model poisoning attacks, especially those meticulously crafted for servers. Traditional defense methods mainly focus on updating assessments or robust aggregation against manually crafted myopic attacks. When facing advanced attacks, their defense stability is notably insufficient. Therefore, it is imperative to develop adaptive defenses against such advanced poisoning attacks. We find that benign clients exhibit significantly higher data distribution stability than malicious clients in federated learning in both CV and NLP tasks. Therefore, the malicious clients can be recognized by observing the stability of their data distribution. In this paper, we propose AdaAggRL, an RL-based Adaptive Aggregation method, to defend against sophisticated poisoning attacks. Specifically, we first utilize distribution learning to simulate the clients' data distributions. Then, we use the maximum mean discrepancy (MMD) to calculate the pairwise similarity of the current local model data distribution, its historical data distribution, and global model data distribution. Finally, we use policy learning to adaptively determine the aggregation weights based on the above similarities. Experiments on four real-world datasets demonstrate that the proposed defense model significantly outperforms widely adopted defense models for sophisticated attacks.


title: Stability of nondegenerate ODE type blowup for the Fujita type heat equation

abstract: The asymptotic bahavior of blowup solutions to the Fujita type heat equation $u_t=\Delta u+|u|^{p-1}u$ is studied. This equation admits the ODE type blowup given by $u(x,t)=(p-1)^\frac{1}{p-1}(T-t)^{-\frac{1}{p-1}}$. It is known that nondegenerate ODE type blowup is stable if $p\in(1,\frac{n+2}{n-2})$ due to Fermanian Kammerer-Merle-Zaag (2000). This paper extends their result to more general case.


title: Proving Olympiad Algebraic Inequalities without Human Demonstrations

abstract: Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, struggle to solve Olympiad-level problems beyond Euclidean plane geometry due to a lack of large-scale, high-quality datasets. The challenge is even greater in algebraic systems, which involve infinite reasoning spaces within finite conditions. To address these issues, we propose AIPS, an Algebraic Inequality Proving System capable of autonomously generating complex inequality theorems and effectively solving Olympiad-level inequality problems without requiring human demonstrations. During proof search in a mixed reasoning manner, a value curriculum learning strategy on generated datasets is implemented to improve proving performance, demonstrating strong mathematical intuitions. On a test set of 20 International Mathematical Olympiad-level inequality problems, AIPS successfully solved 10, outperforming state-of-the-art methods. Furthermore, AIPS automatically generated a vast array of non-trivial theorems without human intervention, some of which have been evaluated by professional contestants and deemed to reach the level of the International Mathematical Olympiad. Notably, one theorem was selected as a competition problem in a major city 2024 Mathematical Olympiad.


title: Evaluation of Deep Learning Semantic Segmentation for Land Cover Mapping on Multispectral, Hyperspectral and High Spatial Aerial Imagery

abstract: In the rise of climate change, land cover mapping has become such an urgent need in environmental monitoring. The accuracy of land cover classification has gotten increasingly based on the improvement of remote sensing data. Land cover classification using satellite imageries has been explored and become more prevalent in recent years, but the methodologies remain some drawbacks of subjective and time-consuming. Some deep learning techniques have been utilized to overcome these limitations. However, most studies implemented just one image type to evaluate algorithms for land cover mapping. Therefore, our study conducted deep learning semantic segmentation in multispectral, hyperspectral, and high spatial aerial image datasets for landcover mapping. This research implemented a semantic segmentation method such as Unet, Linknet, FPN, and PSPnet for categorizing vegetation, water, and others (i.e., soil and impervious surface). The LinkNet model obtained high accuracy in IoU (Intersection Over Union) at 0.92 in all datasets, which is comparable with other mentioned techniques. In evaluation with different image types, the multispectral images showed higher performance with the IoU, and F1-score are 0.993 and 0.997, respectively. Our outcome highlighted the efficiency and broad applicability of LinkNet and multispectral image on land cover classification. This research contributes to establishing an approach on landcover segmentation via open source for long-term future application.


title: On unsolvable equations of prime degree

abstract: Kronecker observed that either all roots or only one root of a solvable irreducible equation of odd prime degree with integer coefficients are real. This gives a possibility to construct specific examples of equations not solvable by radicals. A relatively elementary proof without using the full power of Galois theory is due to Weber. We give a rather short proof of Kronecker's theorem with a slightly different argument from Weber's. Several modern presentations of Weber's proof contain inaccuracies, which can be traced back to an error in the original proof. We discuss this error and how it can be corrected.


title: Stress-Dependent Optical Extinction in LPCVD Silicon Nitride Measured by Nanomechanical Photothermal Sensing

abstract: Understanding optical absorption in silicon nitride is crucial for cutting-edge technologies like photonic integrated circuits, nanomechanical photothermal infrared sensing and spectroscopy, and cavity optomechanics. Yet, the origin of its strong dependence on film deposition and fabrication process is not fully understood. This Letter leverages nanomechanical photothermal sensing to investigate optical extinction $\kappa_{\mathrm{ext}}$ at 632.8 nm wavelength in LPCVD SiN strings across a wide range of deposition-related tensile stresses ($200-850$ MPa). Measurements reveal a reduction in $\kappa_{\mathrm{ext}}$ from 10$^3$ to 10$^1$ ppm with increasing stress, correlated to variations in Si/N content ratio. Within the band-fluctuations framework, this trend indicates an increase of the energy bandgap with the stress, ultimately reducing absorption. Overall, this study showcases the power and simplicity of nanomechanical photothermal sensing for low absorption measurements, offering a sensitive, scattering-free platform for material analysis in nanophotonics and nanomechanics.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Chromatic number of randomly augmented graphs

abstract: An extension of the Erd\H{o}s-Renyi random graph model $G_{n,p}$ is the model of perturbed graphs introduced by Bohman, Frieze and Martin (Bohman, Frieze, Martin 2003). This is a special case of the model of randomly augmented graphs studied in this paper. An augmented graph denoted by $pert_{H,p}$ is the union of a deterministic host graph and a random graph $G_{n,p}$. Among the first problems in perturbed graphs has been the question how many random edges are needed to ensure Hamiltonicity of the graph. This question was answered in the paper by Bohman, Frieze and Martin. The host graph is often chosen to be a dense graph. In recent years several papers on combinatorial problems in perturbed graphs were published, e.g. on the emergence of powers of Hamiltonian cycles (Dudek, Reiher, Ruci\'nski, Schacht 2020), some positional games played on perturbed graphs (Clemens, Hamann, Mogge, Parczyk, 2020) and the behavior of multiple invariants e.g. fixed clique size (Bohman, Frieze, Krivelevich, Martin, 2004). In this paper we study the chromatic number of randomly augmented graphs. We concentrate on a host graph $H$ with chromatic number $o(n)$, augmented by a $G_{n,p}$ with $n^{-\frac{1}{3} + \delta}\leq p(n) \leq 1-\delta$ for some $\delta \in (0,1)$. Our main result is an upper bound for the chromatic number: we show that asymptotically almost surely $\chi(pert_{H,p}) \leq (1+o(1)) \cdot \frac{n \log(b)}{2 (\log(n) - \log(\chi(H))}$ where $b = (1-p)^{-1}$. This result collapses to the famous theorem of Bollob\'as (1988), when $H$ is the empty host graph, thus our result can be regarded as a generalization of the latter. Our proof is not constructive. Further, we give a constructive coloring algorithm, when the chromatic number of the host graph is at most $\frac{n}{\log(n)^{\alpha}},$ $\alpha>\frac{1}{2}.$


title: Cellular Automata model for period-$n$ synchronization: A new universality class

abstract: There are few known universality classes of absorbing phase transitions in one dimension and most models fall in the well-known directed percolation (DP) class. Synchronization is a transition to an absorbing state and this transition is often DP class. With local coupling, the transition is often to a fixed point state. Transitions to a periodic synchronized state are seldom observed. Recently a transition to a synchronized period-3 state that is not in DP class is observed. We model it using a cellular automata model with states 1 to $n$. The rules are a) Each site in state $i$ changes to state $i+1$ for $i<n$ and 1 if $i=n$. b) After this update, it takes value of either neighbor unless it is in state 1. With these rules, we observe a transition to synchronization with critical exponents different from those of DP for $n>2$. For $n=2$, a different exponent is observed.


title: Comment on "Covariant quantum field theory of tachyons"

abstract: Recently, Paczos et al. (2308.00450) proposed a covariant quantum field theory for free and interacting tachyon fields. We show that the proposed Feynman propagator is not Lorentz invariant, proper asymptotic (in/out) tachyon states do not exist, and the proposed S-matrix describing interactions of tachyons and subluminal matter is ill-defined. Since tachyons behave as bosons, interacting tachyons may also self-interact, e.g., any interaction with ordinary matter generates such terms. As a result, the physical vacuum, instead of being at the origin of the potential, may correspond to the proper minimum of the tachyon potential, or such state does not exist at all. Our analysis indicates that quantum tachyon field does not describe a physical on-shell particle with negative mass squared.


title: Uncertainty and Self-Supervision in Single-View Depth

abstract: Single-view depth estimation refers to the ability to derive three-dimensional information per pixel from a single two-dimensional image. Single-view depth estimation is an ill-posed problem because there are multiple depth solutions that explain 3D geometry from a single view. While deep neural networks have been shown to be effective at capturing depth from a single view, the majority of current methodologies are deterministic in nature. Accounting for uncertainty in the predictions can avoid disastrous consequences when applied to fields such as autonomous driving or medical robotics. We have addressed this problem by quantifying the uncertainty of supervised single-view depth for Bayesian deep neural networks. There are scenarios, especially in medicine in the case of endoscopic images, where such annotated data is not available. To alleviate the lack of data, we present a method that improves the transition from synthetic to real domain methods. We introduce an uncertainty-aware teacher-student architecture that is trained in a self-supervised manner, taking into account the teacher uncertainty. Given the vast amount of unannotated data and the challenges associated with capturing annotated depth in medical minimally invasive procedures, we advocate a fully self-supervised approach that only requires RGB images and the geometric and photometric calibration of the endoscope. In endoscopic imaging, the camera and light sources are co-located at a small distance from the target surfaces. This setup indicates that brighter areas of the image are nearer to the camera, while darker areas are further away. Building on this observation, we exploit the fact that for any given albedo and surface orientation, pixel brightness is inversely proportional to the square of the distance. We propose the use of illumination as a strong single-view self-supervisory signal for deep neural networks.


title: Modular Synthesis of Efficient Quantum Uncomputation

abstract: A key challenge of quantum programming is uncomputation: the reversible deallocation of qubits. And while there has been much recent progress on automating uncomputation, state-of-the-art methods are insufficient for handling today's expressive quantum programming languages. A core reason is that they operate on primitive quantum circuits, while quantum programs express computations beyond circuits, for instance, they can capture families of circuits defined recursively in terms of uncomputation and adjoints. In this paper, we introduce the first modular automatic approach to synthesize correct and efficient uncomputation for expressive quantum programs. Our method is based on two core technical contributions: (i) an intermediate representation (IR) that can capture expressive quantum programs and comes with support for uncomputation, and (ii) modular algorithms over that IR for synthesizing uncomputation and adjoints. We have built a complete end-to-end implementation of our method, including an implementation of the IR and the synthesis algorithms, as well as a translation from an expressive fragment of the Silq programming language to our IR and circuit generation from the IR. Our experimental evaluation demonstrates that we can handle programs beyond the capabilities of existing uncomputation approaches, while being competitive on the benchmarks they can handle. More broadly, we show that it is possible to benefit from the greater expressivity and safety offered by high-level quantum languages without sacrificing efficiency.


title: EvoAgent: Towards Automatic Multi-Agent Generation via Evolutionary Algorithms

abstract: The rise of powerful large language models (LLMs) has spurred a new trend in building LLM-based autonomous agents for solving complex tasks, especially multi-agent systems. Despite the remarkable progress, we notice that existing works are heavily dependent on human-designed frameworks, which greatly limits the functional scope and scalability of agent systems. How to automatically extend the specialized agent to multi-agent systems to improve task-solving capability still remains a significant challenge. In this paper, we introduce EvoAgent, a generic method to automatically extend expert agents to multi-agent systems via the evolutionary algorithm, thereby improving the effectiveness of LLM-based agents in solving tasks. Specifically, we consider the existing agent frameworks as the initial individual and then apply a series of evolutionary operators (e.g., mutation, crossover, selection, etc.) to generate multiple agents with diverse agent settings. EvoAgent can be generalized to any LLM-based agent framework, and can automatically extend the existing agent framework to multi-agent systems without any extra human designs. Experimental results across various tasks have shown that EvoAgent can automatically generate multiple expert agents and significantly enhance the task-solving capabilities of LLM-based agents.


title: Approaches to conservative Smoothed Particle Hydrodynamics with entropy

abstract: Smoothed particle hydrodynamics (SPH) is typically used for barotropic fluids, where the pressure depends only on the local mass density. Here, we show how to incorporate the entropy into the SPH, so that the pressure can also depend on the temperature, while keeping the growth of the total entropy, conservation of the total energy, and symplecticity of the reversible part of the SPH equations. The SPH system of ordinary differential equations with entropy is derived by means of the Poisson reduction and the Lagrange-Euler transformation. We present several approaches towards SPH with entropy, which are then illustrated on systems with discontinuities, on adiabatic and nonadiabatic expansion, and on the Rayleigh-Beenard convection without the Boussinesq approximation. Finally, we show how to model hyperbolic heat conduction within the SPH, extending the SPH variables with not only entropy but also a heat-flux-related vector field.


title: Raising the Bar: Investigating the Values of Large Language Models via Generative Evolving Testing

abstract: Warning: this paper contains model outputs exhibiting unethical information. Large Language Models (LLMs) have achieved significant breakthroughs, but their generated unethical content poses potential risks. Measuring value alignment of LLMs becomes crucial for their regulation and responsible deployment. Numerous datasets have been constructed to assess social bias, toxicity, and ethics in LLMs, but they suffer from evaluation chronoeffect, that is, as models rapidly evolve, existing data becomes leaked or undemanding, overestimating ever-developing LLMs. To tackle this problem, we propose GETA, a novel generative evolving testing approach that dynamically probes the underlying moral baselines of LLMs. Distinct from previous adaptive testing methods that rely on static datasets with limited difficulty, GETA incorporates an iteratively-updated item generator which infers each LLM's moral boundaries and generates difficulty-tailored testing items, accurately reflecting the true alignment extent. This process theoretically learns a joint distribution of item and model response, with item difficulty and value conformity as latent variables, where the generator co-evolves with the LLM, addressing chronoeffect. We evaluate various popular LLMs with diverse capabilities and demonstrate that GETA can create difficulty-matching testing items and more accurately assess LLMs' values, better consistent with their performance on unseen OOD and i.i.d. items, laying the groundwork for future evaluation paradigms.


title: aeon: a Python toolkit for learning from time series

abstract: aeon is a unified Python 3 library for all machine learning tasks involving time series. The package contains modules for time series forecasting, classification, extrinsic regression and clustering, as well as a variety of utilities, transformations and distance measures designed for time series data. aeon also has a number of experimental modules for tasks such as anomaly detection, similarity search and segmentation. aeon follows the scikit-learn API as much as possible to help new users and enable easy integration of aeon estimators with useful tools such as model selection and pipelines. It provides a broad library of time series algorithms, including efficient implementations of the very latest advances in research. Using a system of optional dependencies, aeon integrates a wide variety of packages into a single interface while keeping the core framework with minimal dependencies. The package is distributed under the 3-Clause BSD license and is available at https://github.com/ aeon-toolkit/aeon. This version was submitted to the JMLR journal on 02 Nov 2023 for v0.5.0 of aeon. At the time of this preprint aeon has released v0.9.0, and has had substantial changes.


title: Enhancing robustness of data-driven SHM models: adversarial training with circle loss

abstract: Structural health monitoring (SHM) is critical to safeguarding the safety and reliability of aerospace, civil, and mechanical infrastructure. Machine learning-based data-driven approaches have gained popularity in SHM due to advancements in sensors and computational power. However, machine learning models used in SHM are vulnerable to adversarial examples -- even small changes in input can lead to different model outputs. This paper aims to address this problem by discussing adversarial defenses in SHM. In this paper, we propose an adversarial training method for defense, which uses circle loss to optimize the distance between features in training to keep examples away from the decision boundary. Through this simple yet effective constraint, our method demonstrates substantial improvements in model robustness, surpassing existing defense mechanisms.


title: Region-Specific Coarse Quantization with Check Node Awareness in 5G-LDPC Decoding

abstract: This paper presents novel techniques for improving the error correction performance and reducing the complexity of coarsely quantized 5G-LDPC decoders. The proposed decoder design supports arbitrary message-passing schedules on a base-matrix level by modeling exchanged messages with entry-specific discrete random variables. Variable nodes (VNs) and check nodes (CNs) involve compression operations designed using the information bottleneck method to maximize preserved mutual information between code bits and quantized messages. We introduce alignment regions that assign the messages to groups with aligned reliability levels to decrease the number of individual design parameters. Group compositions with degree-specific separation of messages improve performance by up to 0.4 dB. Further, we generalize our recently proposed CN-aware quantizer design to irregular LDPC codes and layered schedules. The method optimizes the VN quantizer to maximize preserved mutual information at the output of the subsequent CN update, enhancing performance by up to 0.2 dB. A schedule optimization modifies the order of layer updates, reducing the average iteration count by up to 35 %. We integrate all new techniques in a rate-compatible decoder design by extending the alignment regions along a rate-dimension. Our complexity analysis for 2-bit decoding estimates up to 64 % higher throughput versus 4-bit decoding at similar performance.


title: Zero field active shielding

abstract: Ambient field suppression is critical for accurate magnetic field measurements, and a requirement for certain low-field sensors to operate. The difference in magnitude between noise and signal (up to 10$^9$) makes the problem challenging, and solutions such as passive shielding, post-hoc processing, and most active shielding designs do not address it completely. Zero field active shielding (ZFS) achieves accurate field suppression with a feed-forward structure in which correction coils are fed by reference sensors via a matrix found using data-driven methods. Requirements are a sufficient number of correction coils and reference sensors to span the ambient field at the sensors, and to zero out the coil-to-reference sensor coupling. The solution assumes instantaneous propagation and mixing, but it can be extended to handle convolutional effects. Precise calculations based on sensor and coil geometries are not necessary, other than to improve efficiency and usability. The solution is simulated here but not implemented in hardware.

categories: physics.med-ph cs.HC eess.SP physics.ins-det q-bio.NC


title: Mitigating the Human-Robot Domain Discrepancy in Visual Pre-training for Robotic Manipulation

abstract: Learning generalizable visual dynamic representation across different embodied environments is crucial for real-world robotic manipulation. As the scale and diversity of robot demonstration data are limited, recent works have turned to large-scale pre-training using human data. However, the morphological differences between humans and robots introduce a significant human-robot domain discrepancy, challenging the generalization of these human-data pre-trained models to downstream manipulation tasks. To address this, we propose a novel adaptation paradigm that utilizes readily available paired human-robot video data to bridge the discrepancy. Following this paradigm, our method exploits a human-robot contrastive alignment loss to align the semantics of human and robot videos, adapting pre-trained models to the robotic domain in a parameter-efficient manner. The experiments demonstrate significant improvements on 25 tasks across three different benchmarks, where the single-task, language-conditioned multi-task settings are covered, and two different pre-trained models are evaluated. On the large RLBench benchmark, our adaptation method achieves an average improvement of $8.9\%$ in success rate over the pre-trained R3M model across multiple tasks. We will release the code and models upon acceptance.


title: NAC-QFL: Noise Aware Clustered Quantum Federated Learning

abstract: Recent advancements in quantum computing, alongside successful deployments of quantum communication, hold promises for revolutionizing mobile networks. While Quantum Machine Learning (QML) presents opportunities, it contends with challenges like noise in quantum devices and scalability. Furthermore, the high cost of quantum communication constrains the practical application of QML in real-world scenarios. This paper introduces a noise-aware clustered quantum federated learning system that addresses noise mitigation, limited quantum device capacity, and high quantum communication costs in distributed QML. It employs noise modelling and clustering to select devices with minimal noise and distribute QML tasks efficiently. Using circuit partitioning to deploy smaller models on low-noise devices and aggregating similar devices, the system enhances distributed QML performance and reduces communication costs. Leveraging circuit cutting, QML techniques are more effective for smaller circuit sizes and fidelity. We conduct experimental evaluations to assess the performance of the proposed system. Additionally, we introduce a noisy dataset for QML to demonstrate the impact of noise on proposed accuracy.


title: Finite Alphabet Fast List Decoders for Polar Codes

abstract: The so-called fast polar decoding schedules are meant to improve the decoding speed of the sequential-natured successive cancellation list decoders. The decoding speedup is achieved by replacing various parts of the serial decoding process with efficient special-purpose decoder nodes. This work incorporates the fast decoding schedules for polar codes into their quantized finite alphabet decoding. In a finite alphabet successive cancellation list decoder, the log-likelihood ratio computations are replaced with lookup operations on low-resolution integer messages. The lookup tables are designed using the information bottleneck method. It is shown that the finite alphabet decoders can also leverage the special decoder nodes found in the literature. Besides their inherent decoding speed improvement, the use of these special decoder nodes drastically reduces the number of lookup tables required to perform the finite alphabet decoding. In order to perform quantized decoding using lookup operations, the proposed decoders require up to 93% less unique lookup tables as compared to the ones that use the conventional successive cancellation schedule. Moreover, the proposed decoders exhibit negligible loss in error correction performance without necessitating alterations to the lookup table design process.


title: The Economics of Coal Phaseouts: Auctions as a Novel Policy Instrument for the Energy Transition

abstract: The combustion of coal, the most polluting form of energy, must be significantly curtailed to limit global average temperature increase to well below 2 degrees C. The effectiveness of carbon pricing is frequently undermined by sub-optimally low prices and rigid market structures. Consequently, alternative approaches such as compensation for the early closure of coal-fired power plants are being considered. While bilateral negotiations can lead to excessive compensation due to asymmetric information, a competitive auction can discover the true cost of closure and help allocate funds more efficiently and transparently. Since Germany is the only country till date to have implemented a coal phaseout auction, we use it to analyse the merits and demerits of the policy, drawing comparisons with other countries that have phased out coal through other means. The German experience with coal phaseout auctions illustrates the necessity of considering additionality and interaction with existing climate policies, managing dynamic incentives, and evaluating impacts on security of supply. While theoretically auctions have attractive properties, in practice, their design must address these concerns to unlock the full benefits. Where auctions are not appropriate due to a concentration in coal plant ownership, alternative strategies include enhanced incentives for scrappage and repurposing of coal assets.


title: LeYOLO, New Scalable and Efficient CNN Architecture for Object Detection

abstract: Computational efficiency in deep neural networks is critical for object detection, especially as newer models prioritize speed over efficient computation (FLOP). This evolution has somewhat left behind embedded and mobile-oriented AI object detection applications. In this paper, we focus on design choices of neural network architectures for efficient object detection computation based on FLOP and propose several optimizations to enhance the efficiency of YOLO-based models. Firstly, we introduce an efficient backbone scaling inspired by inverted bottlenecks and theoretical insights from the Information Bottleneck principle. Secondly, we present the Fast Pyramidal Architecture Network (FPAN), designed to facilitate fast multiscale feature sharing while reducing computational resources. Lastly, we propose a Decoupled Network-in-Network (DNiN) detection head engineered to deliver rapid yet lightweight computations for classification and regression tasks. Building upon these optimizations and leveraging more efficient backbones, this paper contributes to a new scaling paradigm for object detection and YOLO-centric models called LeYOLO. Our contribution consistently outperforms existing models in various resource constraints, achieving unprecedented accuracy and flop ratio. Notably, LeYOLO-Small achieves a competitive mAP score of 38.2% on the COCOval with just 4.5 FLOP(G), representing a 42% reduction in computational load compared to the latest state-of-the-art YOLOv9-Tiny model while achieving similar accuracy. Our novel model family achieves a FLOP-to-accuracy ratio previously unattained, offering scalability that spans from ultra-low neural network configurations (< 1 GFLOP) to efficient yet demanding object detection setups (> 4 GFLOPs) with 25.2, 31.3, 35.2, 38.2, 39.3 and 41 mAP for 0.66, 1.47, 2.53, 4.51, 5.8 and 8.4 FLOP(G).


title: CityNav: Language-Goal Aerial Navigation Dataset with Geographic Information

abstract: Vision-and-language navigation (VLN) aims to guide autonomous agents through real-world environments by integrating visual and linguistic cues. While substantial progress has been made in understanding these interactive modalities in ground-level navigation, aerial navigation remains largely underexplored. This is primarily due to the scarcity of resources suitable for real-world, city-scale aerial navigation studies. To bridge this gap, we introduce CityNav, a new dataset for language-goal aerial navigation using a 3D point cloud representation from real-world cities. CityNav includes 32,637 natural language descriptions paired with human demonstration trajectories, collected from participants via a new web-based 3D simulator developed for this research. Each description specifies a navigation goal, leveraging the names and locations of landmarks within real-world cities. We also provide baseline models of navigation agents that incorporate an internal 2D spatial map representing landmarks referenced in the descriptions. We benchmark the latest aerial navigation baselines and our proposed model on the CityNav dataset. The results using this dataset reveal the following key findings: (i) Our aerial agent models trained on human demonstration trajectories outperform those trained on shortest path trajectories, highlighting the importance of human-driven navigation strategies; (ii) The integration of a 2D spatial map significantly enhances navigation efficiency at city scale. Our dataset and code are available at https://water-cookie.github.io/city-nav-proj/


title: Zero sets of homogeneous polynomials containing infinite dimensional spaces

abstract: Let $X$ be a (real or complex) infinite dimensional linear space. We establish conditions on a homogeneous polynomial $P$ on $X$ so that, if $W$ is any finite dimensional subspace of $X$ on which $P$ vanishes, then $P$ vanishes on an infinite dimensional subspace of $X$ containing $W$. In the complex case, this is a step beyond the classical result due to Plichko and Zagorodnyuk. Applications to the real case are also provided.


title: Magnetotransport and thermoelectric studies of antiperovskite semimetal: Mn3SnC

abstract: We explore the magnetotransport and thermoelectric (Seebeck and Nernst coefficients) properties of Mn3SnC an antiperovskite magnetic Nodal line semimetal. Mn3SnC shows paramagnetic (PM) to concurrent antiferromagnetic (AFM)/ferromagnetic (FM) transition at 286 K. The electrical resistivity and Seebeck coefficient indicate the importance of electron magnon scattering in the concurrent AFM/FM regime. We observed a large positive magnetoresistance (MR) of 8.2 at 8 T field near magnetic transition, in the otherwise negative MR behaviour for low temperatures. The electrical resistivity and MR show a weak thermal hysteresis around the boundary of transition temperature and the width of hysteresis decreases as magnetic field increases. Interestingly the Hall and Seebeck coefficients change sign from positive to negative below the transition temperature, highlighting the different scattering for holes and electrons in this multi-band system. The Seebeck and Nernst signal exhibit two sharp anomalies; one at the transition temperature and another at 50 K. The anomaly at magnetic transition in the Nernst signal disappear at 8 T magnetic field, owing to the reduction of magnetic fluctuation. A pseudo-gap near the Fermi level produces an upturn with a broad minimum in the Seebeck signal.


title: AuditMAI: Towards An Infrastructure for Continuous AI Auditing

abstract: Artificial Intelligence (AI) Auditability is a core requirement for achieving responsible AI system design. However, it is not yet a prominent design feature in current applications. Existing AI auditing tools typically lack integration features and remain as isolated approaches. This results in manual, high-effort, and mostly one-off AI audits, necessitating alternative methods. Inspired by other domains such as finance, continuous AI auditing is a promising direction to conduct regular assessments of AI systems. The issue remains, however, since the methods for continuous AI auditing are not mature yet at the moment. To address this gap, we propose the Auditability Method for AI (AuditMAI), which is intended as a blueprint for an infrastructure towards continuous AI auditing. For this purpose, we first clarified the definition of AI auditability based on literature. Secondly, we derived requirements from two industrial use cases for continuous AI auditing tool support. Finally, we developed AuditMAI and discussed its elements as a blueprint for a continuous AI auditability infrastructure.


title: On simple matroids with a unique minimal tropical basis

abstract: In this note we characterize tropical bases as sets of circuits that by orthogonality determine the set of cocircuits of a simple matroid. Furthermore, we show that any circuit, which itself is closed, must be contained in any tropical basis. This yields a characterization of simple matroids which have a unique minimal tropical basis, giving a solution for a problem posted in the Matroid Union Blog.


title: On countering adversarial perturbations in graphs using error correcting codes

abstract: We consider the problem of a graph subjected to adversarial perturbations, such as those arising from cyber-attacks, where edges are covertly added or removed. The adversarial perturbations occur during the transmission of the graph between a sender and a receiver. To counteract potential perturbations, we explore a repetition coding scheme with sender-assigned binary noise and majority voting on the receiver's end to rectify the graph's structure. Our approach operates without prior knowledge of the attack's characteristics. We provide an analytical derivation of a bound on the number of repetitions needed to satisfy probabilistic constraints on the quality of the reconstructed graph. We show that the method can accurately decode graphs that were subjected to non-random edge removal, namely, those connected to vertices with the highest eigenvector centrality, in addition to random addition and removal of edges by the attacker.


title: Non-Negative Universal Differential Equations With Applications in Systems Biology

abstract: Universal differential equations (UDEs) leverage the respective advantages of mechanistic models and artificial neural networks and combine them into one dynamic model. However, these hybrid models can suffer from unrealistic solutions, such as negative values for biochemical quantities. We present non-negative UDE (nUDEs), a constrained UDE variant that guarantees non-negative values. Furthermore, we explore regularisation techniques to improve generalisation and interpretability of UDEs.


title: Formal groups over non-commutative rings

abstract: We develop an extension of the usual theory of formal group laws where the base ring is not required to be commutative and where the formal variables need neither be central nor have to commute with each other. We show that this is the natural kind of formal group law for the needs of algebraic topology in the sense that a (possibly non-commutative) complex oriented ring spectrum is canonically equipped with just such a formal group law. The universal formal group law is carried by the Baker-Richter spectrum M{\xi} which plays a role analogous to MU in this non-commutative context. As suggested by previous work of Morava the Hopf algebra B of "formal diffeomorphisms of the non-commutative line" of Brouder, Frabetti and Krattenthaler is central to the theory developed here. In particular, we verify Morava's conjecture that there is a representation of the Drinfeld quantum-double D(B) through cohomology operations in M{\xi}.


title: Starving Random Walks

abstract: In this chapter, we review recent results on the starving random walk (RW) problem, a minimal model for resource-limited exploration. Initially, each lattice site contains a single food unit, which is consumed upon visitation by the RW. The RW starves whenever it has not found any food unit within the previous $\mathcal{S}$ steps. To address this problem, the key observable corresponds to the inter-visit time $\tau_k$ defined as the time elapsed between the finding of the $k^\text{th}$ and the $(k+1)^\text{th}$ food unit. By characterizing the maximum $M_n$ of the inter-visit times $\tau_0,\dots,\tau_{n-1}$, we will see how to obtain the number $N_\mathcal{S}$ of food units collected at starvation, as well as the lifetime $T_\mathcal{S}$ of the starving RW.


title: Sparse Sub-gaussian Random Projections for Semidefinite Programming Relaxations

abstract: Random projection, a dimensionality reduction technique, has been found useful in recent years for reducing the size of optimization problems. In this paper, we explore the use of sparse sub-gaussian random projections to approximate semidefinite programming (SDP) problems by reducing the size of matrix variables, thereby solving the original problem with much less computational effort. We provide some theoretical bounds on the quality of the projection in terms of feasibility and optimality that explicitly depend on the sparsity parameter of the projector. We investigate the performance of the approach for semidefinite relaxations appearing in polynomial optimization, with a focus on combinatorial optimization problems. In particular, we apply our method to the semidefinite relaxations of MAXCUT and MAX-2-SAT. We show that for large unweighted graphs, we can obtain a good bound by solving a projection of the semidefinite relaxation of MAXCUT. We also explore how to apply our method to find the stability number of four classes of imperfect graphs by solving a projection of the second level of the Lasserre Hierarchy. Overall, our computational experiments show that semidefinite programming problems appearing as relaxations of combinatorial optimization problems can be approximately solved using random projections as long as the number of constraints is not too large.


title: E-ANT: A Large-Scale Dataset for Efficient Automatic GUI NavigaTion

abstract: Online GUI navigation on mobile devices has driven a lot of attention recent years since it contributes to many real-world applications. With the rapid development of large language models (LLM), multimodal large language models (MLLM) have tremendous potential on this task. However, existing MLLMs need high quality data to improve its abilities of making the correct navigation decisions according to the human user inputs. In this paper, we developed a novel and highly valuable dataset, named \textbf{E-ANT}, as the first Chinese GUI navigation dataset that contains real human behaviour and high quality screenshots with annotations, containing nearly 40,000 real human traces over 5000+ different tinyAPPs. Furthermore, we evaluate various powerful MLLMs on E-ANT and show their experiments results with sufficient ablations. We believe that our proposed dataset will be beneficial for both the evaluation and development of GUI navigation and LLM/MLLM decision-making capabilities.


title: Enhanced Optimal Power Flow Based Droop Control in MMC-MTDC Systems

abstract: Optimizing operational set points for modular multilevel converters (MMCs) in Multi-Terminal Direct Current (MTDC) transmission systems is crucial for ensuring efficient power distribution and control. This paper presents an enhanced Optimal Power Flow (OPF) model for MMC-MTDC systems, integrating a novel adaptive voltage droop control strategy. The strategy aims to minimize generation costs and DC voltage deviations while ensuring the stable operation of the MTDC grid by dynamically adjusting the system operation points. The modified Nordic 32 test system with an embedded 4-terminal DC grid is modeled in Julia and the proposed control strategy is applied to the power model. The results demonstrate the feasibility and effectiveness of the proposed droop control strategy, affirming its potential value in enhancing the performance and reliability of hybrid AC-DC power systems.


title: Beyond QUBO and HOBO formulations, solving the Travelling Salesman Problem on a quantum boson sampler

abstract: The Travelling Salesman Problem (TSP) is an important combinatorial optimisation problem, and is usually solved on a quantum computer using a Quadratic Unconstrained Binary Optimisation (QUBO) formulation or a Higher Order Binary Optimisation(HOBO) formulation. In these formulations, penalty terms are added to the objective function for outputs that don't map to valid routes. We present a novel formulation which needs fewer binary variables, and where, by design, there are no penalty terms because all outputs from the quantum device are mapped to valid routes. Simulations of a quantum boson sampler were carried out which demonstrate that larger networks can be solved with this penalty-free formulation than with formulations with penalties. Simulations were successfully translated to hardware by running a non-QUBO formulation with penalties on an early experimental prototype ORCA PT-1 boson sampler. Although we worked with a boson sampler, we believe that this novel formulation is relevant to other quantum devices. This work shows that a good embedding for combinatorial optimisation problems can solve larger problems with the same quantum computing resource. The flexibility of boson sampling quantum devices is a powerful asset in solving combinatorial optimisation problem, because it enables formulations where the output string is always mapped to a valid solution, avoiding the need for penalties.


title: A new formulation of regular singularity

abstract: We provide an alternative definition for the familiar concept of regular singularity for meromorphic connections. Our new formulation does not use derived categories, and it also avoids the necessity of finding a special good filtration as in the formulation due to Kashiwara--Kawai. Moreover, our formulation provides an explicit algorithm to decide the regular singularity of a meromorphic connection. An important intermediary result, interesting in its own right, is that taking associated graded modules with respect to (not necessarily canonical) $V$-filtrations commutes with non-characteristic restriction. This allows us to reduce the proof of the equivalence of our formulation with the classical concept to the one-dimensional case. In that situation, we extend the well-known one-dimensional Fuchs criterion for ideals in the Weyl algebra to arbitrary holonomic modules over the Weyl algebra equipped with an arbitrary $(-1,1)$-filtration.


title: Shimura lift of Rankin-Cohen brackets of eigenforms and theta series

abstract: The Shimura lift of a Hekce eigenform multiplied by a theta series is the square of the form. We extend this result by generalizing the product to the Rankin-Cohen brackets. We prove that the Shimura lift of the Rankin-Cohen bracket of an eigenform and a theta series is given by the Rankin-Cohen bracket of the eigenform and itself.


title: DuMapNet: An End-to-End Vectorization System for City-Scale Lane-Level Map Generation

abstract: Generating city-scale lane-level maps faces significant challenges due to the intricate urban environments, such as blurred or absent lane markings. Additionally, a standard lane-level map requires a comprehensive organization of lane groupings, encompassing lane direction, style, boundary, and topology, yet has not been thoroughly examined in prior research. These obstacles result in labor-intensive human annotation and high maintenance costs. This paper overcomes these limitations and presents an industrial-grade solution named DuMapNet that outputs standardized, vectorized map elements and their topology in an end-to-end paradigm. To this end, we propose a group-wise lane prediction (GLP) system that outputs vectorized results of lane groups by meticulously tailoring a transformer-based network. Meanwhile, to enhance generalization in challenging scenarios, such as road wear and occlusions, as well as to improve global consistency, a contextual prompts encoder (CPE) module is proposed, which leverages the predicted results of spatial neighborhoods as contextual information. Extensive experiments conducted on large-scale real-world datasets demonstrate the superiority and effectiveness of DuMapNet. Additionally, DuMap-Net has already been deployed in production at Baidu Maps since June 2023, supporting lane-level map generation tasks for over 360 cities while bringing a 95% reduction in costs. This demonstrates that DuMapNet serves as a practical and cost-effective industrial solution for city-scale lane-level map generation.


title: Microscopic and stochastic simulations of chemically active droplets

abstract: Biomolecular condensates play a central role in the spatial organization of living matter. Their formation is now well understood as a form of liquid-liquid phase separation that occurs very far from equilibrium. For instance, they can be modeled as active droplets, where the combination of molecular interactions and chemical reactions result in microphase separation. However, so far, models of chemically active droplets are spatially continuous and deterministic. Therefore, the relationship between the microscopic parameters of the models and some crucial properties of active droplets (such as their polydispersity, their shape anisotropy, or their typical lifetime) is yet to be established. In this work, we address this question computationally, using Brownian dynamics simulations of chemically active droplets: the building blocks are represented explicitly as particles that interact with attractive or repulsive interactions, depending on whether they are in a droplet-forming state or not. Thanks to this microscopic and stochastic view of the problem, we reveal how driving the system away from equilibrium in a controlled way determines the fluctuations and dynamics of active emulsions.


title: Finding Black Holes: an Unconventional Multi-messenger

abstract: A rather clear problem has remained in black hole physics: localizing black holes. One of the recent theoretical ways proposed to identify black hole mergers' hosts is through multi-messenger gravitational lensing: matching the properties of a lensed galactic host with those of a lensed gravitational wave. This paper reviews the most recent literature and introduces some of the ongoing work on the localization of binary black holes and their host galaxies through lensing of gravitational waves and their electromagnetically-bright hosts.


title: Ultrafast TACOS -- Terahertz-Assisted Chiro-Optical Spectroscopy

abstract: We bring together the advantages of terahertz (THz) and optical spectroscopies to introduce TACOS (Terahertz-Assisted Chiro-Optical Spectroscopy), a novel approach for ultrafast and highly efficient imaging of molecular chirality and control over chiral electronic dynamics. We show how, using a THz pulse, we can induce a transient electronic orientation in a medium of randomly oriented chiral molecules that breaks the isotropy of the molecular sample. This symmetry breaking twists the nonlinear response of the medium to an ultrashort linearly polarised optical pulse in a highly enantiosensitive manner. As a result, the medium emits elliptically polarised light at new optical frequencies that records the molecular handedness via purely electric-dipole interactions. The long wavelength and period of the THz pulse enable both spatial coherence across the sample and a substantial degree of electronic orientation over the duration of the ultrashort optical pulse. TACOS does not require optical carrier-envelope phase stability or working in vacuum, and it creates exciting avenues for ultrafast and highly efficient chiral sensing and manipulation.


title: MEAT: Median-Ensemble Adversarial Training for Improving Robustness and Generalization

abstract: Self-ensemble adversarial training methods improve model robustness by ensembling models at different training epochs, such as model weight averaging (WA). However, previous research has shown that self-ensemble defense methods in adversarial training (AT) still suffer from robust overfitting, which severely affects the generalization performance. Empirically, in the late phases of training, the AT becomes more overfitting to the extent that the individuals for weight averaging also suffer from overfitting and produce anomalous weight values, which causes the self-ensemble model to continue to undergo robust overfitting due to the failure in removing the weight anomalies. To solve this problem, we aim to tackle the influence of outliers in the weight space in this work and propose an easy-to-operate and effective Median-Ensemble Adversarial Training (MEAT) method to solve the robust overfitting phenomenon existing in self-ensemble defense from the source by searching for the median of the historical model weights. Experimental results show that MEAT achieves the best robustness against the powerful AutoAttack and can effectively allievate the robust overfitting. We further demonstrate that most defense methods can improve robust generalization and robustness by combining with MEAT.


title: On exact systems $\{t^{\alpha}\cdot e^{2\pi i nt}\}_{n\in\mathbb{Z}\setminus A}$ in $L^2 (0,1)$ which are not Schauder Bases and their generalizations

abstract: Let $\{e^{i\lambda_n t}\}_{n\in\mathbb{Z}}$ be an exponential Schauder Basis for $L^2 (0,1)$, for $\lambda_n\in\mathbb{R}$, and let $\{r_n(t)\}_{n\in\mathbb{Z}}$ be its dual Schauder Basis. Let $A$ be a non-empty subset of the integers containing exactly $M$ elements. We prove that for $\alpha >0$ the weighted system \[ \{t^{\alpha}\cdot r_n(t)\}_{n\in\mathbb{Z}\setminus A} \] is exact in the space $L^2 (0,1)$, that is, it is complete and minimal in $L^2 (0,1)$, if and only if \[ M-\frac{1}{2}\le \alpha< M+\frac{1}{2}. \] We also show that such a system is not a Riesz Basis for $L^2 (0,1)$. In particular, the weighted trigonometric system $\{t^{\alpha}\cdot e^{2\pi i n t}\}_{n\in\mathbb{Z}\setminus A}$ is exact in $L^2 (0,1)$, if and only if $\alpha\in [M-\frac{1}{2}, M+\frac{1}{2})$, but it is not a Schauder Basis for $L^2 (0,1)$.


title: Unleashing the Potential of Tracklets for Unsupervised Video Person Re-Identification

abstract: With rich temporal-spatial information, video-based person re-identification methods have shown broad prospects. Although tracklets can be easily obtained with ready-made tracking models, annotating identities is still expensive and impractical. Therefore, some video-based methods propose using only a few identity annotations or camera labels to facilitate feature learning. They also simply average the frame features of each tracklet, overlooking unexpected variations and inherent identity consistency within tracklets. In this paper, we propose the Self-Supervised Refined Clustering (SSR-C) framework without relying on any annotation or auxiliary information to promote unsupervised video person re-identification. Specifically, we first propose the Noise-Filtered Tracklet Partition (NFTP) module to reduce the feature bias of tracklets caused by noisy tracking results, and sequentially partition the noise-filtered tracklets into "sub-tracklets". Then, we cluster and further merge sub-tracklets using the self-supervised signal from tracklet partition, which is enhanced through a progressive strategy to generate reliable pseudo labels, facilitating intra-class cross-tracklet aggregation. Moreover, we propose the Class Smoothing Classification (CSC) loss to efficiently promote model learning. Extensive experiments on the MARS and DukeMTMC-VideoReID datasets demonstrate that our proposed SSR-C for unsupervised video person re-identification achieves state-of-the-art results and is comparable to advanced supervised methods.


title: On Ginzburg-Kaplan gamma factors and Bessel-Speh functions for finite general linear groups

abstract: We give a new construction of tensor product gamma factors for a pair of irreducible representations of $\operatorname{GL}_c\left(\mathbb{F}_q\right)$ and $\operatorname{GL}_k\left(\mathbb{F}_q\right)$. This construction is a finite field analog of a construction of doubling type due to Kaplan in the local field case and due to Ginzburg in the global case, and it only assumes that one of the representations in question is generic. We use this construction to establish a relation between special values of Bessel functions attached to Speh representations and exotic matrix Kloosterman sums. Using this relation, we establish various identities, including the multiplicativity identity of exotic matrix Kloosterman sums.