title: Symmetry, topology, duality, chirality, and criticality in a spin-1/2 XXZ ladder with a four-spin interaction

abstract: We study the ground-state phase diagram of a spin-1/2 XXZ model with a chirality-chirality interaction (CCI) on a two-leg ladder. This model offers a minimal setup to study an interplay between spin and chirality degrees of freedom. The spin-chirality duality transformation allows us to relate the regimes of weak and strong CCIs. By applying the Abelian bosonization and the duality, we obtain a rich phase diagram that contains distinct gapped featureless and ordered phases. In particular, Neel and vector chiral orders appear for easy-axis anisotropy, while two distinct symmetry protected topological (SPT) phases appear for easy-plane anisotropy. The two SPT phases can be viewed as twisted variants of the Haldane phase. We also present an effective description in terms of (spinor) hard-core bosons, which reveals critical behavior on the self-dual line in the easy-axis and easy-plane regimes. We perform numerical simulations to confirm the predicted phase structure and critical properties. We further demonstrate that the two SPT phases and a trivial phase are distinguished by topological indices in the presence of certain symmetries. A similar phase structure is expected in a spin-1/2 XXZ ladder with four-spin ring exchange.


title: Do LLMs Implicitly Exhibit User Discrimination in Recommendation? An Empirical Study

abstract: Recently, Large Language Models (LLMs) have enhanced user interaction, enabling seamless information retrieval and recommendations. However, concerns emerge as these LLMs have shown tendencies to display discrimination related to users' sensitive characteristics (such as gender), leading to explicit user unfairness. Furthermore, our analysis uncovers a more discreet variant of bias in LLMs, defined as implicit user unfairness, wherein these models demonstrate discriminatory recommendation behaviors based solely on non-sensitive user details, like usernames or email addresses. This subtle form of unfairness, while more pervasive, poses a significant threat to the ethical integrity and rights of minority user groups. To comprehensively explore implicit user unfairness, our analysis unfolds in three key steps: (1) We uncover the reasons for this implicit user unfairness: LLMs can infer users' sensitive attributes from non-sensitive attributes (e.g. user names) due to their extensive world knowledge. (2) Our findings expose that the magnitude of implicit user unfairness within LLMs surpasses the level of explicit user unfairness observed in traditional recommender models, signifying a more alarming issue of unfairness, i.e. some non-sensitive features of users like names may result in more serious discrimination phenomena. (3) We analyze the long-term effect of implicit user unfairness, identifying that it will reinforce information bubbles at an accelerated rate compared to traditional RS. We emphasize the need to identify and mitigate implicit user unfairness, aiming to avert the potential human-LLMs recommendation systems deterioration.


title: A Sub-5mW Evanescent Field Atom Guide with Nanofibers towards Guided Atom Interferometry with Membrane Waveguides

abstract: Great progress has been made in the field of quantum inertial sensors, from the laboratory to the real-world use, which will ultimately require sensor miniaturization and ruggedization for dynamic motion. However, lateral atomic movement with respect to the sensing axis limits inertial sensing, which inspires the atom guides to ensure transverse atomic confinement. Compared to a relatively large free-space optical mode, an evanescent field (EF) mode with an advantageously small mode area allows for stronger atom-light interactions and lower optical power requirements for the atom guides. We study EF atom guides in nanofibers and waveguides with traveling evanescent waves, rather than EF optical lattices with standing evanescent waves. Our preliminary demonstration of an EF atom guide takes place on a nanofiber using 685 nm and 937 nm lights, and we experimentally show that the atomic coherence of the EF atom guide (685/937 nm) is similar to the EF optical lattice. By replacing the 685 nm light with 793 nm light, we further demonstrate the sub-5mW EF atom guide (793/937 nm) on nanofibers and assess relative power reduction of 61$\%$ on nanofibers and 78$\%$ on membrane waveguides, compared to nanofibers (685/937 nm), for the same optical potential depth. Power reduction is beneficial for reducing total optical power requirements and improving heat dissipation in vacuum for atom guiding on chip-based membrane-photonic devices. To connect this work with EF-guided atom interferometry, we evaluate the viability and potential benefits of using the low-power light configuration on membrane waveguides, presenting fabricated linear and circular waveguides for future demonstrations. This is a promising step towards a chip-scale quantum inertial sensor array with reduced size, weight, and power.


title: Effective In-vehicle Intrusion Detection via Multi-view Statistical Graph Learning on CAN Messages

abstract: As an important component of internet of vehicles (IoV), intelligent connected vehicles (ICVs) have to communicate with external networks frequently. In this case, the resource-constrained in-vehicle network (IVN) is facing a wide variety of complex and changing external cyber-attacks, especially the masquerade attack with high difficulty of detection while serious damaging effects that few counter measures can identify successfully. Moreover, only coarse-grained recognition can be achieved in current mainstream intrusion detection mechanisms, i.e., whether a whole data flow observation window contains attack labels rather than fine-grained recognition on every single data item within this window. In this paper, we propose StatGraph: an Effective Multi-view Statistical Graph Learning Intrusion Detection to implement the fine-grained intrusion detection. Specifically, StatGraph generates two statistical graphs, timing correlation graph (TCG) and coupling relationship graph (CRG), based on data streams. In given message observation windows, edge attributes in TCGs represent temporal correlation between different message IDs, while edge attributes in CRGs denote the neighbour relationship and contextual similarity. Besides, a lightweight shallow layered GCN network is trained based graph property of TCGs and CRGs, which can learn the universal laws of various patterns more effectively and further enhance the performance of detection. To address the problem of insufficient attack types in previous intrusion detection, we select two real in-vehicle CAN datasets that cover four new attacks never investigated before. Experimental result shows StatGraph improves both detection granularity and detection performance over state-of-the-art intrusion detection methods.


title: Co-regulation of multi-cellular swirling by individual cellular chirality and boundaries

abstract: To understand the relationship between the chirality of individual cells and that of tissues and organisms, we have developed a chiral polarized particle model to investigate the movement of cell populations on substrates. Our model analysis indicates that cells with the same chirality can form distinct chiral patterns on ring-shaped or rectangular substrates. Our model analysis also reveals the importance of coordination between boundary features and individual cellular chirality in regulating the movement of cell populations. This work provides valuable insights into comprehending the intricate connection between the chirality of single cells and that of tissues and organisms.


title: Singular Riemannian Foliations, variational problems and Principles of Symmetric Criticalities

abstract: A singular foliation $\mathcal{F}$ on a complete Riemannian manifold $M$ is called Singular Riemannian foliation (SRF for short) if its leaves are locally equidistant, e.g., the partition of $M$ into orbits of an isometric action. In this paper, we investigate variational problems in compact Riemannian manifolds equipped with SRF with special properties, e.g. isoparametric foliations, SRF on fibers bundles with Sasaki metric, and orbit-like foliations. More precisely, we prove two results analogous to Palais' Principle of Symmetric Criticality, one is a general principle for $\mathcal{F}$ symmetric operators on the Hilbert space $W^{1,2}(M)$, the other one is for $\mathcal{F}$ symmetric integral operators on the Banach spaces $W^{1,p}(M)$. These results together with a $\mathcal{F}$ version of Rellich Kondrachov Hebey Vaugon Embedding Theorem allow us to circumvent difficulties with Sobolev's critical exponents when considering applications of Calculus of Variations to find solutions to PDEs. To exemplify this we prove the existence of weak solutions to a class of variational problems which includes $p$-Kirschoff problems.


title: Application of deep learning methods to the study of magnetic phenomena

abstract: Nowadays, methods and techniques of Machine Learning and Deep Learning are being used in various scientific areas. They help to automatize calculations without losing in quality. In this paper the applying of convolutional neural network was considered in frame of problems from statistical physics and computer simulation of magnetic films. In a frame of the first task, CNN was used to determine critical Curie point for Ising model on 2D square lattice. Obtained results were compared with classical Monte-Carlo methods and exact solution. Systems of various lattice sizes and the influence of the size effect on the results' accuracy were considered. Also, authors considered the classical two-dimensional Heisenberg model, a spin system with direct short-range exchange, and studied of its competition with the Dzyaloshinskii-Moriya interaction. A neural network was applied to the recognition of Spiral (Sp), Spiral-skyrmion (SpSk) Skyrmion (Sk), Skyrmion-ferromagnetic (SkF) and Ferromagnetic (FM) phases of the Heisenberg spin system with magnetic skyrmions. The advantage of CNN's application over conventional methods for determination of skyrmion's phases was revealed.


title: Arithmetic of semisubtractive semidomains

abstract: A subset $S$ of an integral domain is called a semidomain if the pairs $(S,+)$ and $(S\setminus\{0\}, \cdot)$ are commutative and cancellative semigroups with identities. The multiplication of $S$ extends to the group of differences $\mathscr{G}(S)$, turning $\mathscr{G}(S)$ into an integral domain. In this paper, we study the arithmetic of semisubtractive semidomains (i.e., semidomains $S$ for which either $s \in S$ or $-s \in S$ for every $s \in \mathscr{G}(S)$). Specifically, we provide necessary and sufficient conditions for a semisubtractive semidomain to be atomic, to satisfy the ascending chain condition on principals ideals, to be a bounded factorization semidomain, and to be a finite factorization semidomain, which are subsequent relaxations of the property of having unique factorizations. In addition, we present a characterization of factorial and half-factorial semisubtractive semidomains. Throughout the article, we present examples to provide insight into the arithmetic aspects of semisubtractive semidomains.


title: Complete factorizations of finite groups

abstract: Let $G$ be a group. The subsets $A_1,\ldots,A_k$ of $G$ form a complete factorization of group $G$ if if they are pairwise disjoint and each element $g\in G$ is uniquely represented as $g=a_1\ldots a_k$, with $a_i\in A_i$. We prove the following theorem: Let $G$ be a finite nilpotent group. If $|G|=m_1\ldots m_k$ where $m_1,\ldots,m_k$ are integers greater $1$ and $k\geq3$, then there exist subsets $A_1,\ldots,A_k$ of $G$ which form a complete factorization of group $G$ and $|A_i|=m_i$ for all $i=1,2,\ldots,k$. In addition, we give several examples of building complete factorization for some groups and formulate one open question.


title: Decoupling and Interacting Multi-Task Learning Network for Joint Speech and Accent Recognition

abstract: Accents, as variations from standard pronunciation, pose significant challenges for speech recognition systems. Although joint automatic speech recognition (ASR) and accent recognition (AR) training has been proven effective in handling multi-accent scenarios, current multi-task ASR-AR approaches overlook the granularity differences between tasks. Fine-grained units capture pronunciation-related accent characteristics, while coarse-grained units are better for learning linguistic information. Moreover, an explicit interaction of two tasks can also provide complementary information and improve the performance of each other, but it is rarely used by existing approaches. In this paper, we propose a novel Decoupling and Interacting Multi-task Network (DIMNet) for joint speech and accent recognition, which is comprised of a connectionist temporal classification (CTC) branch, an AR branch, an ASR branch, and a bottom feature encoder. Specifically, AR and ASR are first decoupled by separated branches and two-granular modeling units to learn task-specific representations. The AR branch is from our previously proposed linguistic-acoustic bimodal AR model and the ASR branch is an encoder-decoder based Conformer model. Then, for the task interaction, the CTC branch provides aligned text for the AR task, while accent embeddings extracted from our AR model are incorporated into the ASR branch's encoder and decoder. Finally, during ASR inference, a cross-granular rescoring method is introduced to fuse the complementary information from the CTC and attention decoder after the decoupling. Our experiments on English and Chinese datasets demonstrate the effectiveness of the proposed model, which achieves 21.45%/28.53% AR accuracy relative improvement and 32.33%/14.55% ASR error rate relative reduction over a published standard baseline, respectively.


title: Sagnac-type neutron displacement-noise-free interferometeric gravitational-wave detector

abstract: The detection of low-frequency gravitational waves on Earth requires the reduction of displacement noise, which dominates the low-frequency band. One method to cancel test mass displacement noise is a neutron displacement-noise-free interferometer (DFI). This paper proposes a new neutron DFI configuration, a Sagnac-type neutron DFI, which uses a Sagnac interferometer in place of the Mach-Zehnder interferometer. We demonstrate that a sensitivity of the Sagnac-type neutron DFI is higher than that of a conventional neutron DFI with the same interferometer scale. This configuration is particularly significant for neutron DFIs with limited space for construction and limited flux from available neutron sources.


title: Prompt have evil twins

abstract: We discover that many natural-language prompts can be replaced by corresponding prompts that are unintelligible to humans but that provably elicit similar behavior in language models. We call these prompts "evil twins" because they are obfuscated and uninterpretable (evil), but at the same time mimic the functionality of the original natural-language prompts (twins). Remarkably, evil twins transfer between models. We find these prompts by solving a maximum-likelihood problem which has applications of independent interest.


title: Non-approximability of constructive global $\mathcal{L}^2$ minimizers by gradient descent in Deep Learning

abstract: We analyze geometric aspects of the gradient descent algorithm in Deep Learning (DL) networks. In particular, we prove that the globally minimizing weights and biases for the $\mathcal{L}^2$ cost obtained constructively in [Chen-Munoz Ewald 2023] for underparametrized ReLU DL networks can generically not be approximated via the gradient descent flow. We therefore conclude that the method introduced in [Chen-Munoz Ewald 2023] is disjoint from the gradient descent method.

categories: cs.LG cs.AI math-ph math.MP math.OC stat.ML


title: Context Consistency between Training and Testing in Simultaneous Machine Translation

abstract: Simultaneous Machine Translation (SiMT) aims to yield a real-time partial translation with a monotonically growing the source-side context. However, there is a counterintuitive phenomenon about the context usage between training and testing: e.g., the wait-k testing model consistently trained with wait-k is much worse than that model inconsistently trained with wait-k' (k' is not equal to k) in terms of translation quality. To this end, we first investigate the underlying reasons behind this phenomenon and uncover the following two factors: 1) the limited correlation between translation quality and training (cross-entropy) loss; 2) exposure bias between training and testing. Based on both reasons, we then propose an effective training approach called context consistency training accordingly, which makes consistent the context usage between training and testing by optimizing translation quality and latency as bi-objectives and exposing the predictions to the model during the training. The experiments on three language pairs demonstrate our intuition: our system encouraging context consistency outperforms that existing systems with context inconsistency for the first time, with the help of our context consistency training approach.


title: High Dimensional Binary Choice Model with Unknown Heteroskedasticity or Instrumental Variables

abstract: This paper proposes a new method for estimating high-dimensional binary choice models. The model we consider is semiparametric, placing no distributional assumptions on the error term, allowing for heteroskedastic errors, and permitting endogenous regressors. Our proposed approaches extend the special regressor estimator originally proposed by Lewbel (2000). This estimator becomes impractical in high-dimensional settings due to the curse of dimensionality associated with high-dimensional conditional density estimation. To overcome this challenge, we introduce an innovative data-driven dimension reduction method for nonparametric kernel estimators, which constitutes the main innovation of this work. The method combines distance covariance-based screening with cross-validation (CV) procedures, rendering the special regressor estimation feasible in high dimensions. Using the new feasible conditional density estimator, we address the variable and moment (instrumental variable) selection problems for these models. We apply penalized least squares (LS) and Generalized Method of Moments (GMM) estimators with a smoothly clipped absolute deviation (SCAD) penalty. A comprehensive analysis of the oracle and asymptotic properties of these estimators is provided. Monte Carlo simulations are employed to demonstrate the effectiveness of our proposed procedures in finite sample scenarios.


title: Shannon Theory for Wireless Communication in a Resonant Chamber

abstract: A closed electromagnetic resonant chamber (RC) is a highly favorable artificial environment for wireless communication. A pair of antennas within the chamber constitutes a two-port network described by an impedance matrix. We analyze communication between the two antennas when the RC has perfectly conducting walls and the impedance matrix is imaginary-valued. The transmit antenna is driven by a current source, and the receive antenna is connected to a load resistor whose voltage is measured by an infinite-impedance amplifier. There are a countably infinite number of poles in the channel, associated with resonance in the RC, which migrate towards the real frequency axis as the load resistance increases. There are two sources of receiver noise: the Johnson noise of the load resistor, and the internal amplifier noise. An application of Shannon theory yields the capacity of the link, subject to bandwidth and power constraints on the transmit current. For a constant transmit power, capacity increases without bound as the load resistance increases. Surprisingly, the capacity-attaining allocation of transmit power versus frequency avoids placing power close to the resonant frequencies.


title: Music ControlNet: Multiple Time-varying Controls for Music Generation

abstract: Text-to-music generation models are now capable of generating high-quality music audio in broad styles. However, text control is primarily suitable for the manipulation of global musical attributes like genre, mood, and tempo, and is less suitable for precise control over time-varying attributes such as the positions of beats in time or the changing dynamics of the music. We propose Music ControlNet, a diffusion-based music generation model that offers multiple precise, time-varying controls over generated audio. To imbue text-to-music models with time-varying control, we propose an approach analogous to pixel-wise control of the image-domain ControlNet method. Specifically, we extract controls from training audio yielding paired data, and fine-tune a diffusion-based conditional generative model over audio spectrograms given melody, dynamics, and rhythm controls. While the image-domain Uni-ControlNet method already allows generation with any subset of controls, we devise a new strategy to allow creators to input controls that are only partially specified in time. We evaluate both on controls extracted from audio and controls we expect creators to provide, demonstrating that we can generate realistic music that corresponds to control inputs in both settings. While few comparable music generation models exist, we benchmark against MusicGen, a recent model that accepts text and melody input, and show that our model generates music that is 49% more faithful to input melodies despite having 35x fewer parameters, training on 11x less data, and enabling two additional forms of time-varying control. Sound examples can be found at https://MusicControlNet.github.io/web/.


title: Explain-then-Translate: An Analysis on Improving Program Translation with Self-generated Explanations

abstract: This work explores the use of self-generated natural language explanations as an intermediate step for code-to-code translation with language models. Across three types of explanations and 19 programming languages constructed from the MultiPL-E dataset, we find the explanations to be particularly effective in the zero-shot case, improving performance by 12% on average. Improvements with natural language explanations are particularly pronounced on difficult programs. We release our dataset, code, and canonical solutions in all 19 languages.


title: The Impact of Generative Artificial Intelligence

abstract: The rise of generative artificial intelligence (AI) has sparked concerns about its potential influence on unemployment and market depression. This study addresses this concern by examining the impact of generative AI on product markets. To overcome the challenge of causal inference, given the inherent limitations of conducting controlled experiments, this paper identifies an unanticipated and sudden leak of a highly proficient image-generative AI as a novel instance of a "natural experiment". This AI leak spread rapidly, significantly reducing the cost of generating anime-style images compared to other styles, creating an opportunity for comparative assessment. We collect real-world data from an artwork outsourcing platform. Surprisingly, our results show that while generative AI lowers average prices, it substantially boosts order volume and overall revenue. This counterintuitive finding suggests that generative AI confers benefits upon artists rather than detriments. The study further offers theoretical economic explanations to elucidate this unexpected phenomenon. By furnishing empirical evidence, this paper dispels the notion that generative AI might engender depression, instead underscoring its potential to foster market prosperity. These findings carry significant implications for practitioners, policymakers, and the broader AI community.


title: Technostress and Job Performance: Understanding the Negative Impacts and Strategic Responses in the Workplace

abstract: This study delves into the increasingly pertinent issue of technostress in the workplace and its multifaceted impact on job performance. Technostress, emerging from the rapid integration of technology in professional settings, is identified as a significant stressor affecting employees across various industries. The research primarily focuses on the ways in which technostress influences job performance, both negatively and positively, depending on the context and individual coping mechanisms. Through a blend of qualitative and quantitative methodologies, including surveys and in-depth interviews, the study examines the experiences of employees from diverse sectors. It highlights how technostress manifests in different forms: from anxiety and frustration due to constant connectivity to the pressure of adapting to new technologies. The paper also explores the dual role of technology as both a facilitator and a hindrance in the workplace. Significant findings indicate that technostress adversely impacts job performance, leading to decreased productivity, diminished job satisfaction, and increased turnover intentions. However, the study also uncovers that strategic interventions, such as training programs, supportive leadership, and fostering a positive technological culture, can mitigate these negative effects. These interventions not only help in managing technostress but also in harnessing the potential of technology for enhanced job performance. Furthermore, the research proposes a model outlining the relationship between technostress, coping mechanisms, and job performance. This model serves as a framework for organizations to understand and address the challenges posed by technostress. The study concludes with recommendations for future research, particularly in exploring the long-term effects of technostress and the efficacy of various coping strategies.


title: Exposition on over-squashing problem on GNNs: Current Methods, Benchmarks and Challenges

abstract: Graph-based message-passing neural networks (MPNNs) have achieved remarkable success in both node and graph-level learning tasks. However, several identified problems, including over-smoothing (OSM), limited expressive power, and over-squashing (OSQ), still limit the performance of MPNNs. In particular, OSQ serves as the latest identified problem, where MPNNs gradually lose their learning accuracy when long-range dependencies between graph nodes are required. In this work, we provide an exposition on the OSQ problem by summarizing different formulations of OSQ from current literature, as well as the three different categories of approaches for addressing the OSQ problem. In addition, we also discuss the alignment between OSQ and expressive power and the trade-off between OSQ and OSM. Furthermore, we summarize the empirical methods leveraged from existing works to verify the efficiency of OSQ mitigation approaches, with illustrations of their computational complexities. Lastly, we list some open questions that are of interest for further exploration of the OSQ problem along with potential directions from the best of our knowledge.


title: The non-$F$-rational locus of Rees algebras

abstract: In this note, we give a description of the parameter test submodule of Rees algebras. This, in turn, describes the non-$F$-rational locus.


title: GazeForensics: DeepFake Detection via Gaze-guided Spatial Inconsistency Learning

abstract: DeepFake detection is pivotal in personal privacy and public safety. With the iterative advancement of DeepFake techniques, high-quality forged videos and images are becoming increasingly deceptive. Prior research has seen numerous attempts by scholars to incorporate biometric features into the field of DeepFake detection. However, traditional biometric-based approaches tend to segregate biometric features from general ones and freeze the biometric feature extractor. These approaches resulted in the exclusion of valuable general features, potentially leading to a performance decline and, consequently, a failure to fully exploit the potential of biometric information in assisting DeepFake detection. Moreover, insufficient attention has been dedicated to scrutinizing gaze authenticity within the realm of DeepFake detection in recent years. In this paper, we introduce GazeForensics, an innovative DeepFake detection method that utilizes gaze representation obtained from a 3D gaze estimation model to regularize the corresponding representation within our DeepFake detection model, while concurrently integrating general features to further enhance the performance of our model. Experiment results reveal that our proposed GazeForensics outperforms the current state-of-the-art methods.


title: On the Discussion of Large Language Models: Symmetry of Agents and Interplay with Prompts

abstract: Two ways has been discussed to unlock the reasoning capability of a large language model. The first one is prompt engineering and the second one is to combine the multiple inferences of large language models, or the multi-agent discussion. Theoretically, this paper justifies the multi-agent discussion mechanisms from the symmetry of agents. Empirically, this paper reports the empirical results of the interplay of prompts and discussion mechanisms, revealing the empirical state-of-the-art performance of complex multi-agent mechanisms can be approached by carefully developed prompt engineering. This paper also proposes a scalable discussion mechanism based on conquer and merge, providing a simple multi-agent discussion solution with simple prompts but state-of-the-art performance.


title: Robustness measures for quantifying nonlocality

abstract: We suggest generalized robustness for quantifying nonlocality and investigate its properties by comparing it with white-noise and standard robustness measures. As a result, we show that white-noise robustness does not fulfill monotonicity under local operation and shared randomness, whereas the other measures do. To compare the standard and generalized robustness measures, we introduce the concept of inequivalence, which indicates a reversal in the order relationship depending on the choice of monotones. From an operational perspective, the inequivalence of monotones for resourceful objects implies the absence of free operations that connect them. Applying this concept, we find that standard and generalized robustness measures are inequivalent between even- and odd-dimensional cases up to eight dimensions. This is obtained using randomly performed CGLMP measurement settings in a maximally entangled state. This study contributes to the resource theory of nonlocality and sheds light on comparing monotones by using the concept of inequivalence valid for all resource theories.


title: The Distribution of Sandpile Groups of Random Graphs with their Pairings

abstract: We determine the distribution of the sandpile group (also known as the Jacobian) of the Erd\H{o}s-R\'{e}nyi random graph $G(n,q)$ along with its canonical duality pairing as $n$ tends to infinity, fully resolving a conjecture from 2015 due to Clancy, Leake, and Payne and generalizing the result by Wood on the groups. In particular, we show that a finite abelian $p$-group $G$ equipped with a perfect symmetric pairing $\delta$ appears as the Sylow $p$-part of the sandpile group and its pairing with frequency inversely proportional to $|G||\mathrm{Aut}(G,\delta)|$, where $\mathrm{Aut}(G,\delta)$ is the set of automorphisms of $G$ preserving the pairing $\delta$. While this distribution is related to the Cohen-Lenstra distribution, the two distributions are not the same on account of the additional algebraic data of the pairing. The proof utilizes the moment method: we first compute a complete set of moments for our random variable (the average number of epimorphisms from our random object to a fixed object in the category of interest) and then show the moments determine the distribution. To obtain the moments, we prove a universality result for the moments of cokernels of random symmetric integral matrices whose dual groups are equipped with symmetric pairings that is strong enough to handle both the dependence in the diagonal entries and the additional data of the pairing. We then apply results due to Sawin and Wood to show that these moments determine a unique distribution.


title: Sample Dominance Aware Framework via Non-Parametric Estimation for Spontaneous Brain-Computer Interface

abstract: Deep learning has shown promise in decoding brain signals, such as electroencephalogram (EEG), in the field of brain-computer interfaces (BCIs). However, the non-stationary characteristics of EEG signals pose challenges for training neural networks to acquire appropriate knowledge. Inconsistent EEG signals resulting from these non-stationary characteristics can lead to poor performance. Therefore, it is crucial to investigate and address sample inconsistency to ensure robust performance in spontaneous BCIs. In this study, we introduce the concept of sample dominance as a measure of EEG signal inconsistency and propose a method to modulate its effect on network training. We present a two-stage dominance score estimation technique that compensates for performance degradation caused by sample inconsistencies. Our proposed method utilizes non-parametric estimation to infer sample inconsistency and assigns each sample a dominance score. This score is then aggregated with the loss function during training to modulate the impact of sample inconsistency. Furthermore, we design a curriculum learning approach that gradually increases the influence of inconsistent signals during training to improve overall performance. We evaluate our proposed method using public spontaneous BCI dataset. The experimental results confirm that our findings highlight the importance of addressing sample dominance for achieving robust performance in spontaneous BCIs.


title: New aspects of Bargmann transform using Touchard polynomials and hypergeometric functions

abstract: In this paper we study the ranges of the Schwartz space $\mathcal S$ and its dual $\mathcal S^\prime$ (space of tempered distributions) under the Segal-Bargmann transform. The characterization of these two ranges lead to interesting reproducing kernel Hilbert spaces whose reproducing kernels can be expressed respectively in terms of the Touchard polynomials and the hypergeometric functions. We investigate the main properties of some associated operators and introduce two generalized Bargmann transforms in this framework. This can be considered as a continuation of an interesting research path that Neretin started earlier in his book on Gaussian integral operators


title: Sensing Mutual Information with Random Signals in Gaussian Channels

abstract: Sensing performance is typically evaluated by classical metrics, such as Cramer-Rao bound and signal-to-clutter-plus-noise ratio. The recent development of the integrated sensing and communication (ISAC) framework motivated the efforts to unify the metric for sensing and communication, where researchers have proposed to utilize mutual information (MI) to measure the sensing performance with deterministic signals. However, the need to communicate in ISAC systems necessitates the use of random signals for sensing applications and the closed-form evaluation for the sensing mutual information (SMI) with random signals is not yet available in the literature. This paper investigates the achievable performance and precoder design for sensing applications with random signals. For that purpose, we first derive the closed-form expression for the SMI with random signals by utilizing random matrix theory. The result reveals some interesting physical insights regarding the relation between the SMI with deterministic and random signals. The derived SMI is then utilized to optimize the precoder by leveraging a manifold-based optimization approach. The effectiveness of the proposed methods is validated by simulation results.


title: A Survey on Passing-through Control of Multi-Robot Systems in Cluttered Environments

abstract: This survey presents a comprehensive review of various methods and algorithms related to passing-through control of multi-robot systems in cluttered environments. Numerous studies have investigated this area, and we identify several avenues for enhancing existing methods. This survey describes some models of robots and commonly considered control objectives, followed by an in-depth analysis of four types of algorithms that can be employed for passing-through control: leader-follower formation control, multi-robot trajectory planning, control-based methods, and virtual tube planning and control. Furthermore, we conduct a comparative analysis of these techniques and provide some subjective and general evaluations.


title: Dynamic Control of Spontaneous Emission Using Magnetized InSb Higher-Order-Mode Antennas

abstract: We exploit InSb's magnetic-induced optical properties to propose THz sub-wavelength antenna designs that actively tune the radiative decay rates of dipole emitters at their proximity. The proposed designs include a spherical InSb antenna and a cylindrical Si-InSb hybrid antenna that demonstrate distinct behaviors; the former dramatically enhances both radiative and non-radiative decay rates in the epsilon-near-zero region due to the dominant contribution of the Zeeman splitting electric octupole mode. The latter realizes significant radiative decay rate enhancement via magnetic octupole mode, mitigating the quenching process and accelerating the photon production rate. A deep learning-based optimization of emitter positioning further enhances the quantum efficiency of the proposed hybrid system. These novel mechanisms are potentially promising for tunable THz single-photon sources in integrated quantum networks.


title: Single-Spin Asymmetry of Neutrons in Polarized pA Collisions

abstract: Absorptive corrections, which are known to suppress proton-neutron transitions with a large fractional momentum z -> 1 in pp collisions, become dramatically strong on a nuclear target, and they push the partial cross sections of leading neutron production to the very periphery of the nucleus. The mechanism of the pion and axial vector a1-meson interference, which successfully explains the observed single-spin asymmetry in a polarized pp -> nX, is extended to the collisions of polarized protons with nuclei. When corrected for nuclear effects, it explains the observed single-spin azimuthal asymmetry of neutrons that is produced in inelastic events, which is where the nucleus violently breaks up. This single-spin asymmetry is found to be negative and nearly A-independent.


title: Engineering 2D material exciton lineshape with graphene/h-BN encapsulation

abstract: Control over the optical properties of atomically thin two-dimensional (2D) layers, including those of transition metal dichalcogenides (TMDs), is needed for future optoelectronic applications. Remarkable advances have been achieved through alloying, chemical and electrical doping, and applied strain. However, the integration of TMDs with other 2D materials in van der Waals heterostructures (vdWHs) to tailor novel functionalities remains largely unexplored. Here, the near-field coupling between TMDs and graphene/graphite is used to engineer the exciton lineshape and charge state. Fano-like asymmetric spectral features are produced in WS$_{2}$, MoSe$_{2}$ and WSe$_{2}$ vdWHs combined with graphene, graphite, or jointly with hexagonal boron nitride (h-BN) as supporting or encapsulating layers. Furthermore, trion emission is suppressed in h-BN encapsulated WSe$_{2}$/graphene with a neutral exciton redshift (44 meV) and binding energy reduction (30 meV). The response of these systems to electron-beam and light probes is well-described in terms of 2D optical conductivities of the involved materials. Beyond fundamental insights into the interaction of TMD excitons with structured environments, this study opens an unexplored avenue toward shaping the spectral profile of narrow optical modes for application in nanophotonic devices.


title: Inferring the arrow of time in quantum spatiotemporal correlations

abstract: We consider how to tell the time-ordering associated with measurement data from quantum experiments at two times and any number of qubits. We define an arrow of time inference problem. We consider conditions on the initial and final states that are symmetric or asymmetric under time reversal. We represent the spatiotemporal measurement data via the pseudo density matrix space-time state. There is a forward process which is CPTP and a reverse process which is obtained via a novel recovery map based on inverting unitary dilations. For asymmetric conditions, the protocol determines whether the data is consistent with the unitary dilation recovery map or the CPTP map. For symmetric conditions, the recovery map yields a valid CPTP map and the experiment may have taken place in either direction. We also discuss adapting the approach to the Leifer-Spekkens or Process matrix space-time states.


title: Energy recovery in filament-regime plasma wakefield acceleration of positron beams

abstract: Plasma wakefield acceleration using an electron filament offers stable, high-gradient, high-quality acceleration of positron beams analogous to the acceleration of electrons in the blowout regime. However, low energy-transfer efficiency is currently a limiting factor for future collider applications. We explore the addition of a secondary electron bunch in the electron filament plasma wakefield acceleration scheme to recover additional energy from the wake. Particle-in-cell simulations using HiPACE++ are used to demonstrate various energy recovery schemes. In addition to confirming the energy efficiency gains with a recovery electron beam, we also develop energy recovery schemes in the context of future plasma colliders.


title: Wood fusion for magmal comonads

abstract: The goal is to show how a 1978 paper of Richard Wood on monoidal comonads and exponentiation relates to more recent publications such as Pastro-Street (2009) and Brugui\'eres-Lack-Virelizier (2011). In the process, we mildly extend the ideas to procomonads in a magmal setting and suggest it also works for algebras for any club in the sense of Max Kelly (1972).


title: Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)

abstract: A simple procedure for the design of recursive digital filters with an infinite impulse response (IIR) and non-recursive digital filters with a finite impulse response (FIR) is described. The fixed-lag smoothing filters are designed to track an approximately polynomial signal of specified degree without bias at steady state, while minimizing the gain of high-frequency (coloured) noise with a specified power spectral density. For the IIR variant, the procedure determines the optimal lag (i.e. the passband group delay) yielding a recursive low-complexity smoother of low order, with a specified bandwidth, and excellent passband phase linearity. The filters are applied to the problem of instantaneous frequency estimation, e.g. for Doppler-shift measurement, for a complex exponential with polynomial phase progression in additive white noise. For this classical problem, simulations show that the incorporation of a prediction filter (with a one-sample lead) reduces the incidence of (phase or frequency) angle unwrapping errors, particularly for signals with high rates of angle change, which are known to limit the performance of standard FIR estimators at low SNR. This improvement allows the instantaneous phase of low-frequency signals to be estimated, e.g. for time-delay measurement, and/or the instantaneous frequency of frequency-modulated signals, down to a lower SNR. In the absence of unwrapping errors, the error variance of the IIR estimators (with the optimal phase lag) reaches the FIR lower bound, at a significantly lower computational cost. Guidelines for configuring and tuning both FIR and IIR filters are provided.


title: CLiF-VQA: Enhancing Video Quality Assessment by Incorporating High-Level Semantic Information related to Human Feelings

abstract: Video Quality Assessment (VQA) aims to simulate the process of perceiving video quality by the human visual system (HVS). The judgments made by HVS are always influenced by human subjective feelings. However, most of the current VQA research focuses on capturing various distortions in the spatial and temporal domains of videos, while ignoring the impact of human feelings. In this paper, we propose CLiF-VQA, which considers both features related to human feelings and spatial features of videos. In order to effectively extract features related to human feelings from videos, we explore the consistency between CLIP and human feelings in video perception for the first time. Specifically, we design multiple objective and subjective descriptions closely related to human feelings as prompts. Further we propose a novel CLIP-based semantic feature extractor (SFE) which extracts features related to human feelings by sliding over multiple regions of the video frame. In addition, we further capture the low-level-aware features of the video through a spatial feature extraction module. The two different features are then aggregated thereby obtaining the quality score of the video. Extensive experiments show that the proposed CLiF-VQA exhibits excellent performance on several VQA datasets.


title: Code-Aided Channel Estimation in LDPC-Coded MIMO Systems

abstract: For a multiple-input multiple-output (MIMO) system with unknown channel state information (CSI), a novel low-density parity check (LDPC)-coded transmission (LCT) scheme with joint pilot and data channel estimation is proposed. To fine-tune the CSI, a method based on the constraints introduced by the coded data from an LDPC code is designed such that the MIMO detector exploits the fine-tuned CSI. For reducing the computational burden, a coordinate ascent algorithm is employed along with several approximation methods, effectively reducing the required times of MIMO detection and computational complexity to achieve a satisfying performance. Simulation results utilizing WiMAX standard LDPC codes and quadrature phase-shift keying (QPSK) modulation demonstrate gains of up to 1.3 dB at a frame error rate (FER) of $10^{-4}$ compared to pilot-assisted transmission (PAT) over Rayleigh block-fading channels.


title: To Tell The Truth: Language of Deception and Language Models

abstract: Text-based misinformation permeates online discourses, yet evidence of people's ability to discern truth from such deceptive textual content is scarce. We analyze a novel TV game show data where conversations in a high-stake environment between individuals with conflicting objectives result in lies. We investigate the manifestation of potentially verifiable language cues of deception in the presence of objective truth, a distinguishing feature absent in previous text-based deception datasets. We show that there exists a class of detectors (algorithms) that have similar truth detection performance compared to human subjects, even when the former accesses only the language cues while the latter engages in conversations with complete access to all potential sources of cues (language and audio-visual). Our model, built on a large language model, employs a bottleneck framework to learn discernible cues to determine truth, an act of reasoning in which human subjects often perform poorly, even with incentives. Our model detects novel but accurate language cues in many cases where humans failed to detect deception, opening up the possibility of humans collaborating with algorithms and ameliorating their ability to detect the truth.


title: On the Effectiveness of ASR Representations in Real-world Noisy Speech Emotion Recognition

abstract: This paper proposes an efficient attempt to noisy speech emotion recognition (NSER). Conventional NSER approaches have proven effective in mitigating the impact of artificial noise sources, such as white Gaussian noise, but are limited to non-stationary noises in real-world environments due to their complexity and uncertainty. To overcome this limitation, we introduce a new method for NSER by adopting the automatic speech recognition (ASR) model as a noise-robust feature extractor to eliminate non-vocal information in noisy speech. We first obtain intermediate layer information from the ASR model as a feature representation for emotional speech and then apply this representation for the downstream NSER task. Our experimental results show that 1) the proposed method achieves better NSER performance compared with the conventional noise reduction method, 2) outperforms self-supervised learning approaches, and 3) even outperforms text-based approaches using ASR transcription or the ground truth transcription of noisy speech.


title: Trustworthy Quantum Computation through Quantum Physical Unclonable Functions

abstract: Quantum computing is under rapid development, and today there are several cloud-based, quantum computers (QCs) of modest size (>100s of physical qubits). Although these QCs, along with their highly-specialized classical support infrastructure, are in limited supply, they are readily available for remote access and programming. This work shows the viability of using intrinsic quantum hardware properties for fingerprinting cloud-based QCs that exist today. We demonstrate the reliability of intrinsic fingerprinting with real QC characterization data, as well as simulated QC data, and we detail a quantum physically unclonable function (Q-PUF) scheme for secure key generation using unique fingerprint data combined with fuzzy extraction. We use fixed-frequency transmon qubits for prototyping our methods.


title: Revisit to the yield ratio of triton and $^3$He as an indicator of neutron-rich neck emission

abstract: The neutron rich neck zone created in heavy ion reaction is experimentally probed by the production of the $A=3$ isobars. The energy spectra and angular distributions of triton and $^3$He are measured with the CSHINE detector in $^{86}$Kr +$^{208}$Pb reactions at 25 MeV/u. While the energy spectrum of $^{3}$He is harder than that of triton, known as "$^{3}$He-puzzle", the yield ratio $R({\rm t/^3He})$ presents a robust rising trend with the polar angle in laboratory. Using the fission fragments to reconstruct the fission plane, the enhancement of out-plane $R({\rm t/^3He})$ is confirmed in comparison to the in-plane ratios. Transport model simulations reproduce qualitatively the experimental trends, but the quantitative agreement is not achieved. The results demonstrate that a neutron rich neck zone is formed in the reactions. Further studies are called for to understand the clustering and the isospin dynamics related to neck formation.


title: Optimal Configuration of Reconfigurable Intelligent Surfaces with Arbitrary Discrete Phase Shifts

abstract: We address the reflection optimization problem for a reconfigurable intelligent surface (RIS), where the RIS elements feature a set of non-uniformly spaced discrete phase shifts. This is motivated by the actual behavior of practical RIS elements, where it is shown that a uniform phase shift assumption is not realistic. A problem is formulated to find the optimal refection amplitudes and reflection phase shifts of the RIS elements such that the channel capacity of the target user is maximized. We first prove that in the optimal configuration, each RIS element is either turned off or operates at maximum amplitude. We then develop a method that finds the optimal reflection amplitudes and phases with complexity linear in the number of RIS elements. Some new and interesting insight into the reflection optimization problem is also provided.


title: Full-dry flipping transfer method for van der Waals heterostructure

abstract: We present a novel flipping transfer method for van der Waals heterostructures, offering a significant advancement over previous techniques by eliminating the need for polymers and solvents. Here, we utilize commercially available gel film and control its stickiness through oxygen plasma and UV-Ozone treatment, also effectively removing residues from the gel film surface. The cleanliness of the surface is verified through atomic force microscopy. We investigate the quality of our fabricated devices using magnetotransport measurements on graphene/hBN and graphene/{\alpha}-RuCl3 heterostructures. Remarkably,graphene/hBN devices produced with the flipping method display quality similar to that of fully encapsulated devices. This is evidenced by the presence of a symmetry-broken state at 1 T. Additionally, features of the Hofstadter butterfly were also observed in the second devices. In the case of graphene/{\alpha}-RuCl3, we observe quantum oscillations with a beating mode and two-channel conduction, consistent with fully encapsulated devices.


title: The apparent tidal decay of WASP-4 b can be explained by the R{\o}mer effect

abstract: Tidal orbital decay plays a vital role in the evolution of hot Jupiter systems. As of now, this was only observationally confirmed for the WASP-12 system. There are a few other candidates, including WASP-4 b, but no conclusive result could be obtained for these systems as of yet. In this study, we present an analysis of new TESS data of WASP-4 b together with archival data, taking the light-time effect (LTE), induced by the second planetary companion, into account as well. We make use of three different Markov-Chain-Monte-Carlo models; a circular orbit with a constant orbital period, a circular orbit with a decaying orbit, and an elliptical orbit with apsidal precession. This analysis is repeated for four cases. The first case features no LTE correction, with the remaining three cases featuring three different timing correction approaches. Comparison of these models yields no conclusive answer to the cause of WASP-4\,b's apparent transit timing variations. A broad range of values of the orbital decay and apsidal precession parameters are possible, depending on the LTE correction. This work highlights the importance of continued photometric and spectroscopic monitoring of hot Jupiters.


title: Explanation-aware Soft Ensemble Empowers Large Language Model In-context Learning

abstract: Large language models (LLMs) have shown remarkable capabilities in various natural language understanding tasks. With only a few demonstration examples, these LLMs can quickly adapt to target tasks without expensive gradient updates. Common strategies to boost such 'in-context' learning ability are to ensemble multiple model decoded results and require the model to generate an explanation along with the prediction. However, these models often treat different class predictions equally and neglect the potential discrepancy between the explanations and predictions. To fully unleash the power of explanations, we propose EASE, an Explanation-Aware Soft Ensemble framework to empower in-context learning with LLMs. We design two techniques, explanation-guided ensemble, and soft probability aggregation, to mitigate the effect of unreliable explanations and improve the consistency between explanations and final predictions. Experiments on seven natural language understanding tasks and four varying-size LLMs demonstrate the effectiveness of our proposed framework.


title: Collaborative Planning for Catching and Transporting Objects in Unstructured Environments

abstract: Multi-robot teams have attracted attention from industry and academia for their ability to perform collaborative tasks in unstructured environments, such as wilderness rescue and collaborative transportation.In this paper, we propose a trajectory planning method for a non-holonomic robotic team with collaboration in unstructured environments.For the adaptive state collaboration of a robot team to catch and transport targets to be rescued using a net, we model the process of catching the falling target with a net in a continuous and differentiable form.This enables the robot team to fully exploit the kinematic potential, thereby adaptively catching the target in an appropriate state.Furthermore, the size safety and topological safety of the net, resulting from the collaborative support of the robots, are guaranteed through geometric constraints.We integrate our algorithm on a car-like robot team and test it in simulations and real-world experiments to validate our performance.Our method is compared to state-of-the-art multi-vehicle trajectory planning methods, demonstrating significant performance in efficiency and trajectory quality.


title: Formula of boundary crossing probabilities by the Girsanov theorem

abstract: Several formulae for the probability that a Wiener process with stochastic drift process and random variance crosses a one-sided stochastic boundary process in a finite time interval are derived. A non-explicit formula is first obtained by the Girsanov theorem when considering an equivalent probability measure where the boundary is constant equal to its starting value and the drift is null. A more explicit formula is then obtained by using a decomposition of the Radon-Nikodym derivative inverse as the product of a random variable known with information from the final value of the Wiener process and an independent random variable. We also give an explicit formula based on one theoretical approximation for applications. To apply the Girsanov theorem, we assume that the drift minus the deviation of the boundary from its starting value divided by the standard deviation is absolutely continuous and that its derivative satisfies Novikov's condition. We also derive a formula in the two-sided boundary case when the difference between the deviation of each boundary from their starting value is linear.


title: Fovea Transformer: Efficient Long-Context Modeling with Structured Fine-to-Coarse Attention

abstract: The quadratic complexity of self-attention in Transformers has hindered the processing of long text. To alleviate this problem, previous works have proposed to sparsify the attention matrix, taking advantage of the observation that crucial information about a token can be derived from its neighbors. These methods typically combine one or another form of local attention and global attention. Such combinations introduce abrupt changes in contextual granularity when going from local to global, which may be undesirable. We believe that a smoother transition could potentially enhance model's ability to capture long-context dependencies. In this study, we introduce Fovea Transformer, a long-context focused transformer that addresses the challenges of capturing global dependencies while maintaining computational efficiency. To achieve this, we construct a multi-scale tree from the input sequence, and use representations of context tokens with a progressively coarser granularity in the tree, as their distance to the query token increases. We evaluate our model on three long-context summarization tasks\footnote{Our code is publicly available at: \textit{https://github.com/ZiweiHe/Fovea-Transformer}}. It achieves state-of-the-art performance on two of them, and competitive results on the third with mixed improvement and setback of the evaluation metrics.


title: Particle Identification at VAMOS++ with Machine Learning Techniques

abstract: Multi-nucleon transfer reaction between 136Xe beam and 198Pt target was performed using the VAMOS++ spectrometer at GANIL to study the structure of n-rich nuclei around N=126. Unambiguous charge state identification was obtained by combining two supervised machine learning methods, deep neural network (DNN) and positional correction using a gradient-boosting decision tree (GBDT). The new method reduced the complexity of the kinetic energy calibration and outperformed the conventional method, improving the charge state resolution by 8%


title: Secure Wireless Communication via Movable-Antenna Array

abstract: Movable antenna (MA) array is a novel technology recently developed where positions of transmit/receive antennas can be flexibly adjusted in the specified region to reconfigure the wireless channel and achieve a higher capacity. In this letter, we, for the first time, investigate the MA array-assisted physical-layer security where the confidential information is transmitted from a MA array-enabled Alice to a single-antenna Bob, in the presence of multiple single-antenna and colluding eavesdroppers. We aim to maximize the achievable secrecy rate by jointly designing the transmit beamforming and positions of all antennas at Alice subject to the transmit power budget and specified regions for positions of all transmit antennas. The resulting problem is highly non-convex, for which the projected gradient ascent (PGA) and the alternating optimization methods are utilized to obtain a high-quality suboptimal solution. Simulation results demonstrate that since the additional spatial degree of freedom (DoF) can be fully exploited, the MA array significantly enhances the secrecy rate compared to the conventional fixed-position antenna (FPA) array.


title: Collaborative Goal Tracking of Multiple Mobile Robots Based on Geometric Graph Neural Network

abstract: Multi-robot systems are widely used in spatially distributed tasks, and their collaborative path planning is of great significance for working efficiency. Currently, different multi-robot collaborative path planning methods have been proposed, but how to process the sensory information of neighboring robots at different locations from a local perception perspective in real environment to make better decisions is still a major difficulty. To address this problem, this paper proposes a multi-robot collaborative path planning method based on geometric graph neural network (GeoGNN). GeoGNN introduces the relative position information of neighboring robots into each interaction layer of the graph neural network to better integrate neighbor sensing information. An expert data generation method is designed for the robot to advance in a single step, by which expert data are generated in ROS to train the network. Experimental results show that the accuracy of the proposed method is improved by about 5% compared to the model based only on CNN on the expert data set. In ROS simulation environment path planning test, the success rate is improved by about 4% compared to CNN and flowtime increase is reduced about 8%, which outperforms other graph neural network models.


title: A Tutorial on Coding Methods for DNA-based Molecular Communications and Storage

abstract: Exponential increase of data has motivated advances of data storage technologies. As a promising storage media, DeoxyriboNucleic Acid (DNA) storage provides a much higher data density and superior durability, compared with state-of-the-art media. In this paper, we provide a tutorial on DNA storage and its role in molecular communications. Firstly, we introduce fundamentals of DNA-based molecular communications and storage (MCS), discussing the basic process of performing DNA storage in MCS. Furthermore, we provide tutorials on how conventional coding schemes that are used in wireless communications can be applied to DNA-based MCS, along with numerical results. Finally, promising research directions on DNA-based data storage in molecular communications are introduced and discussed in this paper.


title: A Survey of Source Code Search: A 3-Dimensional Perspective

abstract: (Source) code search is widely concerned by software engineering researchers because it can improve the productivity and quality of software development. Given a functionality requirement usually described in a natural language sentence, a code search system can retrieve code snippets that satisfy the requirement from a large-scale code corpus, e.g., GitHub. To realize effective and efficient code search, many techniques have been proposed successively. These techniques improve code search performance mainly by optimizing three core components, including query understanding component, code understanding component, and query-code matching component. In this paper, we provide a 3-dimensional perspective survey for code search. Specifically, we categorize existing code search studies into query-end optimization techniques, code-end optimization techniques, and match-end optimization techniques according to the specific components they optimize. Considering that each end can be optimized independently and contributes to the code search performance, we treat each end as a dimension. Therefore, this survey is 3-dimensional in nature, and it provides a comprehensive summary of each dimension in detail. To understand the research trends of the three dimensions in existing code search studies, we systematically review 68 relevant literatures. Different from existing code search surveys that only focus on the query end or code end or introduce various aspects shallowly (including codebase, evaluation metrics, modeling technique, etc.), our survey provides a more nuanced analysis and review of the evolution and development of the underlying techniques used in the three ends. Based on a systematic review and summary of existing work, we outline several open challenges and opportunities at the three ends that remain to be addressed in future work.


title: Robust Probabilistic Prediction for Stochastic Dynamical Systems

abstract: It is critical and challenging to design robust predictors for stochastic dynamical systems (SDSs) with uncertainty quantification (UQ) in the prediction. Specifically, robustness guarantees the worst-case performance when the predictor's information set of the system is inadequate, and UQ characterizes how confident the predictor is about the predictions. However, it is difficult for traditional robust predictors to provide robust UQ because they were designed to robustify the performance of point predictions. In this paper, we investigate how to robustify the probabilistic prediction for SDS, which can inherently provide robust distributional UQ. To characterize the performance of probabilistic predictors, we generalize the concept of likelihood function to likelihood functional, and prove that this metric is a proper scoring rule. Based on this metric, we propose a framework to quantify when the predictor is robust and analyze how the information set affects the robustness. Our framework makes it possible to design robust probabilistic predictors by solving functional optimization problems concerning different information sets. In particular, we design a class of moment-based optimal robust probabilistic predictors and provide a practical Kalman-filter-based algorithm for implementation. Extensive numerical simulations are provided to elaborate on our results.


title: Probing Dirac Neutrino Properties with Dilepton Signature

abstract: The neutrinophilic two Higgs doublet model is one of the simplest models to explain the origin of tiny Dirac neutrino masses. This model introduces a new Higgs doublet with eV scale VEV to naturally generate the tiny neutrino masses. Depending on the same Yukawa coupling, the neutrino oscillation patterns can be probed with the dilepton signature from the decay of charged scalar $H^\pm$. For example, the normal hierarchy predicts BR$(H^+\to e^+\nu)\ll$ BR$(H^+\to \mu^+\nu)\approx$ BR$(H^+\to \tau^+\nu)\simeq0.5$ when the lightest neutrino mass is below 0.01 eV, while the inverted hierarchy predicts BR$(H^+\to e^+\nu)/2\simeq$ BR$(H^+\to \mu^+\nu)\simeq$ BR$(H^+\to \tau^+\nu)\simeq0.25$. By precise measurement of BR$(H^+\to \ell^+\nu)$, we are hopefully to probe the lightest neutrino mass and the atmospheric mixing angle $\theta_{23}$. Through the detailed simulation of the dilepton signature and corresponding backgrounds, we find that the 3 TeV CLIC could discover $M_{H^+}\lesssim1220$ GeV for NH and $M_{H^+}\lesssim1280$ GeV for IH. Meanwhile, the future 100 TeV FCC-hh collider could probe $M_{H^+}\lesssim1810$ GeV for NH and $M_{H^+}\lesssim2060$ GeV for IH.


title: Adversarial Purification for Data-Driven Power System Event Classifiers with Diffusion Models

abstract: The global deployment of the phasor measurement units (PMUs) enables real-time monitoring of the power system, which has stimulated considerable research into machine learning-based models for event detection and classification. However, recent studies reveal that machine learning-based methods are vulnerable to adversarial attacks, which can fool the event classifiers by adding small perturbations to the raw PMU data. To mitigate the threats posed by adversarial attacks, research on defense strategies is urgently needed. This paper proposes an effective adversarial purification method based on the diffusion model to counter adversarial attacks on the machine learning-based power system event classifier. The proposed method includes two steps: injecting noise into the PMU data; and utilizing a pre-trained neural network to eliminate the added noise while simultaneously removing perturbations introduced by the adversarial attacks. The proposed adversarial purification method significantly increases the accuracy of the event classifier under adversarial attacks while satisfying the requirements of real-time operations. In addition, the theoretical analysis reveals that the proposed diffusion model-based adversarial purification method decreases the distance between the original and compromised PMU data, which reduces the impacts of adversarial attacks. The empirical results on a large-scale real-world PMU dataset validate the effectiveness and computational efficiency of the proposed adversarial purification method.


title: Semidefinite programming bounds on the size of entanglement-assisted codeword stabilized quantum codes

abstract: In this paper, we explore the application of semidefinite programming to the realm of quantum codes, specifically focusing on codeword stabilized (CWS) codes with entanglement assistance. Notably, we utilize the isotropic subgroup of the CWS group and the set of word operators of a CWS-type quantum code to derive an upper bound on the minimum distance. Furthermore, this characterization can be incorporated into the associated distance enumerators, enabling us to construct semidefinite constraints that lead to SDP bounds on the minimum distance or size of CWS-type quantum codes. We illustrate several instances where SDP bounds outperform LP bounds, and there are even cases where LP fails to yield meaningful results, while SDP consistently provides tight and relevant bounds. Finally, we also provide interpretations of the Shor-Laflamme weight enumerators and shadow enumerators for codeword stabilized codes, enhancing our understanding of quantum codes.


title: Skew braces: a brief survey

abstract: Our primary focus is on the theory of skew braces, specifically exploring their connection with combinatorial solutions to the Yang-Baxter equation. Skew braces have recently emerged as intriguing algebraic structures, and their link to the Yang-Baxter equation adds further depth and significance to their study. Throughout this article, we place particular emphasis on various problems and conjectures that arise within this field. These open questions serve to stimulate further research and investigation, as we strive to enhance our understanding of skew braces and their role in the study of the Yang-Baxter equation.


title: SpectralGPT: Spectral Remote Sensing Foundation Model

abstract: The foundation model has recently garnered significant attention due to its potential to revolutionize the field of visual representation learning in a self-supervised manner. While most foundation models are tailored to effectively process RGB images for various visual tasks, there is a noticeable gap in research focused on spectral data, which offers valuable information for scene understanding, especially in remote sensing (RS) applications. To fill this gap, we created for the first time a universal RS foundation model, named SpectralGPT, which is purpose-built to handle spectral RS images using a novel 3D generative pretrained transformer (GPT). Compared to existing foundation models, SpectralGPT 1) accommodates input images with varying sizes, resolutions, time series, and regions in a progressive training fashion, enabling full utilization of extensive RS big data; 2) leverages 3D token generation for spatial-spectral coupling; 3) captures spectrally sequential patterns via multi-target reconstruction; 4) trains on one million spectral RS images, yielding models with over 600 million parameters. Our evaluation highlights significant performance improvements with pretrained SpectralGPT models, signifying substantial potential in advancing spectral RS big data applications within the field of geoscience across four downstream tasks: single/multi-label scene classification, semantic segmentation, and change detection.


title: Novel models for fatigue life prediction under wideband random loads based on machine learning

abstract: Machine learning as a data-driven solution has been widely applied in the field of fatigue lifetime prediction. In this paper, three models for wideband fatigue life prediction are built based on three machine learning models, i.e. support vector machine (SVM), Gaussian process regression (GPR) and artificial neural network (ANN). The generalization ability of the models is enhanced by employing numerous power spectra samples with different bandwidth parameters and a variety of material properties related to fatigue life. Sufficient Monte Carlo numerical simulations demonstrate that the newly developed machine learning models are superior to the traditional frequency-domain models in terms of life prediction accuracy and the ANN model has the best overall performance among the three developed machine learning models.


title: Gen-Z: Generative Zero-Shot Text Classification with Contextualized Label Descriptions

abstract: Language model (LM) prompting--a popular paradigm for solving NLP tasks--has been shown to be susceptible to miscalibration and brittleness to slight prompt variations, caused by its discriminative prompting approach, i.e., predicting the label given the input. To address these issues, we propose Gen-Z--a generative prompting framework for zero-shot text classification. GEN-Z is generative, as it measures the LM likelihood of input text, conditioned on natural language descriptions of labels. The framework is multivariate, as label descriptions allow us to seamlessly integrate additional contextual information about the labels to improve task performance. On various standard classification benchmarks, with six open-source LM families, we show that zero-shot classification with simple contextualization of the data source of the evaluation set consistently outperforms both zero-shot and few-shot baselines while improving robustness to prompt variations. Further, our approach enables personalizing classification in a zero-shot manner by incorporating author, subject, or reader information in the label descriptions.


title: The ability of Lisa, Taiji, and their networks to detect the stochastic gravitational wave background generated by Cosmic Strings

abstract: The cosmic string contributes to our understanding and revelation of the fundamental structure and evolutionary patterns of the universe, unifying our knowledge of the cosmos and unveiling new physical laws and phenomena. Therefore, we anticipate the detection of Stochastic Gravitational Wave Background (SGWB) signals generated by cosmic strings in space-based detectors. We have analyzed the detection capabilities of individual space-based detectors, Lisa and Taiji, as well as the joint space-based detector network, Lisa-Taiji, for SGWB signals produced by cosmic strings, taking into account other astronomical noise sources. The results indicate that the Lisa-Taiji network exhibits superior capabilities in detecting SGWB signals generated by cosmic strings and can provide strong evidence. The Lisa-Taiji network can achieve an uncertainty estimation of $\Delta G\mu/G\mu<0.5$ for cosmic string tension $G\mu\sim4\times10^{-17}$, and can provide evidence for the presence of SGWB signals generated by cosmic strings at $G\mu\sim10^{-17}$, and strong evidence at $G\mu\sim10^{-16}$. Even in the presence of only SGWB signals, it can achieve a relative uncertainty of $\Delta G\mu/G\mu<0.5$ for cosmic string tension $G\mu<10^{-18}$, and provide strong evidence at $G\mu\sim10^{-17}$.


title: Olfactory learning alters navigation strategies and behavioral variability in C. elegans

abstract: Animals adjust their behavioral response to sensory input adaptively depending on past experiences. The flexible brain computation is crucial for survival and is of great interest in neuroscience. The nematode C. elegans modulates its navigation behavior depending on the association of odor butanone with food (appetitive training) or starvation (aversive training), and will then climb up the butanone gradient or ignore it, respectively. However, the exact change in navigation strategy in response to learning is still unknown. Here we study the learned odor navigation in worms by combining precise experimental measurement and a novel descriptive model of navigation. Our model consists of two known navigation strategies in worms: biased random walk and weathervaning. We infer weights on these strategies by applying the model to worm navigation trajectories and the exact odor concentration it experiences. Compared to naive worms, appetitive trained worms up-regulate the biased random walk strategy, and aversive trained worms down-regulate the weathervaning strategy. The statistical model provides prediction with $>90 \%$ accuracy of the past training condition given navigation data, which outperforms the classical chemotaxis metric. We find that the behavioral variability is altered by learning, such that worms are less variable after training compared to naive ones. The model further predicts the learning-dependent response and variability under optogenetic perturbation of the olfactory neuron AWC$^\mathrm{ON}$. Lastly, we investigate neural circuits downstream from AWC$^\mathrm{ON}$ that are differentially recruited for learned odor-guided navigation. Together, we provide a new paradigm to quantify flexible navigation algorithms and pinpoint the underlying neural substrates.


title: Analysis and Numerical Study of Boundary control of generalized Burgers-Huxley equation

abstract: In this work, a boundary control problem for the following generalized Burgers-Huxley (GBH) equation: $$u_t=\nu u_{xx}-\alpha u^{\delta}u_x+\beta u(1-u^{\delta})(u^{\delta}-\gamma), $$ where $\nu,\alpha,\beta>0,$ $1\leq\delta<\infty$, $\gamma\in(0,1)$ subject to Neumann boundary conditions is analyzed. Using the Minty-Browder theorem, standard elliptic partial differential equations theory, the maximum principle and the Crandall-Liggett theorem, we first address the global existence of a unique strong solution to GBH equation. Then, for the boundary control problem, we prove that the controlled GBH equation (that is, the closed loop system) is exponentially stable in the $\mathrm{H}^1$-norm (hence pointwise) when the viscosity $\nu$ is known (non-adaptive control). Moreover, we show that a damped version of GBH equation is globally asymptotically stable (in the $\mathrm{L}^2$-norm), when $\nu$ is unknown (adaptive control). Using the Chebychev collocation method with the backward Euler method as a temporal scheme, numerical findings are reported for both the non-adaptive and adaptive situations, supporting and confirming the analytical results of both the controlled and uncontrolled systems.


title: Unseeded One-Third Harmonic Generation in Optical Fibers

abstract: We propose a new concept to generate efficient one-third harmonic light from an unseeded third harmonic process in optical fibers. Our concept is based on the dynamic constant (Hamiltonian) of the nonlinear third harmonic generation in optical fibers and includes a periodic array of nonlinear fibers and phase compensation elements. We test our concept with a simulation of the nonlinear interaction between the fundamental and third harmonic modes of a realistic optical fiber, demonstrating high-efficiency one-third harmonic generation. Our work opens a new approach to achieving the so far elusive one-third harmonic generation in optical fibers.


title: Proceedings of the 21st International Overture Workshop

abstract: This volume contains the papers presented at the 21st International Overture Workshop, held on the 10th of March 2023. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.


title: Control Requirements and Benchmarks for Quantum Error Correction

abstract: Reaching useful fault-tolerant quantum computation relies on successfully implementing quantum error correction (QEC). In QEC, quantum gates and measurements are performed to stabilize the computational qubits, and classical processing is used to convert the measurements into estimated logical Pauli frame updates or logical measurement results. While QEC research has concentrated on developing and evaluating QEC codes and decoding algorithms, specification and clarification of the requirements for the classical control system running QEC codes are lacking. Here, we elucidate the roles of the QEC control system, the necessity to implement low latency feed-forward quantum operations, and suggest near-term benchmarks that confront the classical bottlenecks for QEC quantum computation. These benchmarks are based on the latency between a measurement and the operation that depends on it and incorporate the different control aspects such as quantum-classical parallelization capabilities and decoding throughput. Using a dynamical system analysis, we show how the QEC control system latency performance determines the operation regime of a QEC circuit: latency divergence, where quantum calculations are unfeasible, classical-controller limited runtime, or quantum-operation limited runtime where the classical operations do not delay the quantum circuit. This analysis and the proposed benchmarks aim to allow the evaluation and development of QEC control systems toward their realization as a main component in fault-tolerant quantum computation.


title: On the Dust properties of the UV galaxies in the redshift range $z \sim 0.6-1.2$

abstract: Far-infrared observations from the \textit{Herschel Space Observatory} are used to estimate the infrared (IR) properties of ultraviolet-selected galaxies. We stack the PACS (100, 160 $\mu \mathrm{m}$) and SPIRE (250, 350 and 500$\mu \mathrm{m}$) maps of the Chandra deep field south (CDFS) on a source list of galaxies selected in the rest-frame ultraviolet (UV) in a redshift range of $0.6-1.2$. This source list is created using observations from the XMM-OM telescope survey in the CDFS using the UVW1 (2910 {\AA}) filter. The stacked data are binned according to the UV luminosity function of these sources, and the average photometry of the UV-selected galaxies is estimated. By fitting modified black bodies and IR model templates to the stacked photometry, average dust temperatures and total IR luminosity are determined. The luminosity-weighted average temperatures are consistent with a weak trend of increasing temperature with redshift found by previous studies. Infrared excess, unobscured, and obscured star formation rate (SFR) values are obtained from the UV and IR luminosities. We see a trend in which dust attenuation increases as UV luminosity decreases. It remains constant as a function of IR luminosities at fixed redshift across the luminosity range of our sources. In comparison to local luminous infrared galaxies with similar SFRs, the higher redshift star-forming galaxies in the sample show a lesser degree of dust attenuation. Finally, the inferred dust attenuation is used to correct the unobscured SFR density in the redshift range $0.6-1.2$. The dust-corrected SFR density is consistent with measurements from IR-selected samples at similar redshifts.


title: Translational symmetry broken magnetization plateau of the S=1 antiferromagnetic Heisenberg chain with competing anisotropies

abstract: We investigate the S=1 antiferromagnetic quantum spin chain with the exchange and single-ion anisotropies in a magnetic field, using the numerical exact diagonalization of finite-size clusters, the level spectroscopy analysis, and the density matrix renormalization group (DMRG) method. It is found that a translational symmetry broken magnetization plateau possibly appears at the half of the saturation magnetization, when the anisotropies compete with each other. The level spectroscopy analysis gives the phase diagram at half the saturation magnetization. The DMRG calculation presents the magnetization curves for some typical parameters and clarifies the spin structure in the plateau phase.


title: Design of zero-determinant strategies and its application to networked repeated games

abstract: Using semi-tensor product (STP) of matrices, the profile evolutionary equation (PEE) for repeated finite games is obtained. By virtue of PEE, the zero-determinant (ZD) strategies are developed for general finite games. A formula is then obtained to design ZD strategies for general finite games with multi-player and asymmetric strategies. A necessary and sufficient condition is obtained to ensure the availability of the designed ZD strategies. It follows that player $i$ is able to unilaterally design $k_i-1$ (one less than the number of her strategies) dominating linear relations about the expected payoffs of all players. Finally, the fictitious opponent player is proposed for networked repeated games (NRGs). A technique is proposed to simplify the model by reducing the number of frontier strategies.


title: Attention-Challenging Multiple Instance Learning for Whole Slide Image Classification

abstract: In the application of Multiple Instance Learning (MIL) methods for Whole Slide Image (WSI) classification, attention mechanisms often focus on a subset of discriminative instances, which are closely linked to overfitting. To mitigate overfitting, we present Attention-Challenging MIL (ACMIL). ACMIL combines two techniques based on separate analyses for attention value concentration. Firstly, UMAP of instance features reveals various patterns among discriminative instances, with existing attention mechanisms capturing only some of them. To remedy this, we introduce Multiple Branch Attention (MBA) to capture more discriminative instances using multiple attention branches. Secondly, the examination of the cumulative value of Top-K attention scores indicates that a tiny number of instances dominate the majority of attention. In response, we present Stochastic Top-K Instance Masking (STKIM), which masks out a portion of instances with Top-K attention values and allocates their attention values to the remaining instances. The extensive experimental results on three WSI datasets with two pre-trained backbones reveal that our ACMIL outperforms state-of-the-art methods. Additionally, through heatmap visualization and UMAP visualization, this paper extensively illustrates ACMIL's effectiveness in suppressing attention value concentration and overcoming the overfitting challenge. The source code is available at \url{https://github.com/dazhangyu123/ACMIL}.


title: How to Do Machine Learning with Small Data? -- A Review from an Industrial Perspective

abstract: Artificial intelligence experienced a technological breakthrough in science, industry, and everyday life in the recent few decades. The advancements can be credited to the ever-increasing availability and miniaturization of computational resources that resulted in exponential data growth. However, because of the insufficient amount of data in some cases, employing machine learning in solving complex tasks is not straightforward or even possible. As a result, machine learning with small data experiences rising importance in data science and application in several fields. The authors focus on interpreting the general term of "small data" and their engineering and industrial application role. They give a brief overview of the most important industrial applications of machine learning and small data. Small data is defined in terms of various characteristics compared to big data, and a machine learning formalism was introduced. Five critical challenges of machine learning with small data in industrial applications are presented: unlabeled data, imbalanced data, missing data, insufficient data, and rare events. Based on those definitions, an overview of the considerations in domain representation and data acquisition is given along with a taxonomy of machine learning approaches in the context of small data.


title: Untargeted Black-box Attacks for Social Recommendations

abstract: The rise of online social networks has facilitated the evolution of social recommender systems, which incorporate social relations to enhance users' decision-making process. With the great success of Graph Neural Networks in learning node representations, GNN-based social recommendations have been widely studied to model user-item interactions and user-user social relations simultaneously. Despite their great successes, recent studies have shown that these advanced recommender systems are highly vulnerable to adversarial attacks, in which attackers can inject well-designed fake user profiles to disrupt recommendation performances. While most existing studies mainly focus on targeted attacks to promote target items on vanilla recommender systems, untargeted attacks to degrade the overall prediction performance are less explored on social recommendations under a black-box scenario. To perform untargeted attacks on social recommender systems, attackers can construct malicious social relationships for fake users to enhance the attack performance. However, the coordination of social relations and item profiles is challenging for attacking black-box social recommendations. To address this limitation, we first conduct several preliminary studies to demonstrate the effectiveness of cross-community connections and cold-start items in degrading recommendations performance. Specifically, we propose a novel framework Multiattack based on multi-agent reinforcement learning to coordinate the generation of cold-start item profiles and cross-community social relations for conducting untargeted attacks on black-box social recommendations. Comprehensive experiments on various real-world datasets demonstrate the effectiveness of our proposed attacking framework under the black-box setting.


title: Sum Rate Maximization under AoI Constraints for RIS-Assisted mmWave Communications

abstract: The concept of age of information (AoI) has been proposed to quantify information freshness, which is crucial for time-sensitive applications. However, in millimeter wave (mmWave) communication systems, the link blockage caused by obstacles and the severe path loss greatly impair the freshness of information received by the user equipments (UEs). In this paper, we focus on reconfigurable intelligent surface (RIS)-assisted mmWave communications, where beamforming is performed at transceivers to provide directional beam gain and a RIS is deployed to combat link blockage. We aim to maximize the system sum rate while satisfying the information freshness requirements of UEs by jointly optimizing the beamforming at transceivers, the discrete RIS reflection coefficients, and the UE scheduling strategy. To facilitate a practical solution, we decompose the problem into two subproblems. For the first per-UE data rate maximization problem, we further decompose it into a beamforming optimization subproblem and a RIS reflection coefficient optimization subproblem. Considering the difficulty of channel estimation, we utilize the hierarchical search method for the former and the local search method for the latter, and then adopt the block coordinate descent (BCD) method to alternately solve them. For the second scheduling strategy design problem, a low-complexity heuristic scheduling algorithm is designed. Simulation results show that the proposed algorithm can effectively improve the system sum rate while satisfying the information freshness requirements of all UEs.


title: Multi-Point Method using Effective Demodulation and Decomposition Techniques allowing Identification of Disturbing Loads in Power Grids

abstract: The paper presents an innovative approach to identifying voltage fluctuation sources in power networks, also considering the localization understood as the indication of supply points of disturbing loads. The presented approach considers disturbance sources that change their operating state with a frequency higher than the power frequency. The implementation of the proposed solution is also proposed in such a way that its implementation in the smart meter infrastructure allows automatic localization of disturbance sources without additional expert knowledge. In the proposed approach, the modulation signal is estimated using a carrier signal estimator, which allows the estimation of a modulation signal with a frequency higher than the power frequency. The estimated modulating signal is decomposed into component signals associated with individual disturbing loads by decomposition by approximation using pulse waves. The decomposition process allows for the estimation of selected parameters associated with disturbing loads, on the basis of which the assessment of propagation of voltage fluctuations associated with the impact of individual disturbance sources is performed, which allows for the indication of their supply point. The proposed approach was verified in numerical simulation studies using MATLAB/SIMULINK and in experimental studies carried out in a real low-voltage power grid.


title: Reconfiguration of basis pairs in regular matroids

abstract: In recent years, combinatorial reconfiguration problems have attracted great attention due to their connection to various topics such as optimization, counting, enumeration, or sampling. One of the most intriguing open questions concerns the exchange distance of two matroid basis sequences, a problem that appears in several areas of computer science and mathematics. In 1980, White proposed a conjecture for the characterization of two basis sequences being reachable from each other by symmetric exchanges, which received a significant interest also in algebra due to its connection to toric ideals and Gr\"obner bases. In this work, we verify White's conjecture for basis sequences of length two in regular matroids, a problem that was formulated as a separate question by Farber, Richter, and Shan and Andres, Hochst\"attler, and Merkel. Most of previous work on White's conjecture has not considered the question from an algorithmic perspective. We study the problem from an optimization point of view: our proof implies a polynomial algorithm for determining a sequence of symmetric exchanges that transforms a basis pair into another, thus providing the first polynomial upper bound on the exchange distance of basis pairs in regular matroids. As a byproduct, we verify a conjecture of Gabow from 1976 on the serial symmetric exchange property of matroids for the regular case.


title: Observations of Magnetic Helicity Proxies in Solar Photosphere: Helicity with Solar Cycles

abstract: Observations of magnetic helicity transportation through the solar photosphere reflect the interaction of turbulent plasma movements and magnetic fields in the solar dynamo process. In this chapter, we have reviewed the research process of magnetic helicity inferred from the observed solar magnetic fields in the photosphere and also the solar morphological configurations with solar cycles. After introducing some achievements in the study of magnetic helicity, some key points would like to be summarized. The magnetic (current) helicity in the solar surface layer presents a statistical distribution similar to that of the sunspot butterfly diagram, but its maximum value is delayed from the extreme value of the sunspot butterfly diagram and corresponds in the phase with the statistical eruption of solar flares. During the spatial transport of magnetic (current) helicity from the interior of the sun into the interplanetary space at the time-space scale of the solar cycle, it shows the statistical distribution and the fluctuation with the hemispheric sign rule. These show that the current helicity and magnetic helicity transport calculation methods are complementary to each other. We also notice that the study of the inherent relationship between magnetic helicity and the solar cycle still depends on the observed accuracy of the solar magnetic field.


title: Understanding Path Planning Explanations

abstract: Navigation is a must-have skill for any mobile robot. A core challenge in navigation is the need to account for an ample number of possible configurations of environment and navigation contexts. We claim that a mobile robot should be able to explain its navigational choices making its decisions understandable to humans. In this paper, we briefly present our approach to explaining navigational decisions of a robot through visual and textual explanations. We propose a user study to test the understandability and simplicity of the robot explanations and outline our further research agenda.


title: Plane partitions and rowmotion on rectangular and trapezoidal posets

abstract: We define a birational map between labelings of a rectangular poset and its associated trapezoidal poset. This map tropicalizes to a bijection between the plane partitions of these posets of fixed height, giving a new bijective proof of a result by Proctor. We also show that this map is equivariant with respect to birational rowmotion, resolving a conjecture of Williams and implying that birational rowmotion on trapezoidal posets has finite order.