title: UNK-VQA: A Dataset and a Probe into the Abstention Ability of Multi-modal Large Models

abstract: Teaching Visual Question Answering (VQA) models to refrain from answering unanswerable questions is necessary for building a trustworthy AI system. Existing studies, though have explored various aspects of VQA but somewhat ignored this particular attribute. This paper aims to bridge the research gap by contributing a comprehensive dataset, called UNK-VQA. The dataset is specifically designed to address the challenge of questions that models do not know. To this end, we first augment the existing data via deliberate perturbations on either the image or question. In specific, we carefully ensure that the question-image semantics remain close to the original unperturbed distribution. By this means, the identification of unanswerable questions becomes challenging, setting our dataset apart from others that involve mere image replacement. We then extensively evaluate the zero- and few-shot performance of several emerging multi-modal large models and discover their significant limitations when applied to our dataset. Additionally, we also propose a straightforward method to tackle these unanswerable questions. This dataset, we believe, will serve as a valuable benchmark for enhancing the abstention capability of VQA models, thereby leading to increased trustworthiness of AI systems. We have made the dataset (https://github.com/guoyang9/UNK-VQA) available to facilitate further exploration in this area.


title: Reaching the Limit in Autonomous Racing: Optimal Control versus Reinforcement Learning

abstract: A central question in robotics is how to design a control system for an agile mobile robot. This paper studies this question systematically, focusing on a challenging setting: autonomous drone racing. We show that a neural network controller trained with reinforcement learning (RL) outperformed optimal control (OC) methods in this setting. We then investigated which fundamental factors have contributed to the success of RL or have limited OC. Our study indicates that the fundamental advantage of RL over OC is not that it optimizes its objective better but that it optimizes a better objective. OC decomposes the problem into planning and control with an explicit intermediate representation, such as a trajectory, that serves as an interface. This decomposition limits the range of behaviors that can be expressed by the controller, leading to inferior control performance when facing unmodeled effects. In contrast, RL can directly optimize a task-level objective and can leverage domain randomization to cope with model uncertainty, allowing the discovery of more robust control responses. Our findings allowed us to push an agile drone to its maximum performance, achieving a peak acceleration greater than 12 times the gravitational acceleration and a peak velocity of 108 kilometers per hour. Our policy achieved superhuman control within minutes of training on a standard workstation. This work presents a milestone in agile robotics and sheds light on the role of RL and OC in robot control.


title: TEQ: Trainable Equivalent Transformation for Quantization of LLMs

abstract: As large language models (LLMs) become more prevalent, there is a growing need for new and improved quantization methods that can meet the computationalast layer demands of these modern architectures while maintaining the accuracy. In this paper, we present TEQ, a trainable equivalent transformation that preserves the FP32 precision of the model output while taking advantage of low-precision quantization, especially 3 and 4 bits weight-only quantization. The training process is lightweight, requiring only 1K steps and fewer than 0.1 percent of the original model's trainable parameters. Furthermore, the transformation does not add any computational overhead during inference. Our results are on-par with the state-of-the-art (SOTA) methods on typical LLMs. Our approach can be combined with other methods to achieve even better performance. The code is available at https://github.com/intel/neural-compressor.


title: Defects Vibrations Engineering for Enhancing Interfacial Thermal Transport

abstract: To push upper boundaries of effective thermal conductivity in polymer composites, a fundamental understanding of thermal transport mechanisms is crucial. Although there is intensive simulation research, systematic experimental investigation on thermal transport in polymer composites is limited. To better understand thermal transport processes, we design polymer composites with perfect fillers (graphite) and defective fillers (graphite oxide); we choose polar polyvinyl alcohol (PVA) as a matrix model; and we identify how thermal transport occurs across heterogeneous interfaces. Measured thermal conductivities of in PVA/defective filler composites is higher than those of PVA/perfect filler composites, while measured thermal conductivities in defective fillers are lower than those of perfect fillers. An effective quantum mechanical model is developed, showing that the vibrational state of the defective level plays a critical role in enhancing the thermal conductivity with increased defect concentration. Our experimental and model results have suggested that defects in polymer composites may enhance thermal transport in polymer composites by promoting vibrational resonant couplings.


title: Multi-point Feedback of Bandit Convex Optimization with Hard Constraints

abstract: This paper studies bandit convex optimization with constraints, where the learner aims to generate a sequence of decisions under partial information of loss functions such that the cumulative loss is reduced as well as the cumulative constraint violation is simultaneously reduced. We adopt the cumulative \textit{hard} constraint violation as the metric of constraint violation, which is defined by $\sum_{t=1}^{T} \max\{g_t(\boldsymbol{x}_t), 0\}$. Owing to the maximum operator, a strictly feasible solution cannot cancel out the effects of violated constraints compared to the conventional metric known as \textit{long-term} constraints violation. We present a penalty-based proximal gradient descent method that attains a sub-linear growth of both regret and cumulative hard constraint violation, in which the gradient is estimated with a two-point function evaluation. Precisely, our algorithm attains $O(d^2T^{\max\{c,1-c\}})$ regret bounds and $O(d^2T^{1-\frac{c}{2}})$ cumulative hard constraint violation bounds for convex loss functions and time-varying constraints, where $d$ is the dimensionality of the feasible region and $c\in[\frac{1}{2}, 1)$ is a user-determined parameter. We also extend the result for the case where the loss functions are strongly convex and show that both regret and constraint violation bounds can be further reduced.


title: Weyl channels for multipartite systems

abstract: Quantum channels, a subset of quantum maps, describe the unitary and non-unitary evolution of quantum systems. We study a generalization of the concept of Pauli maps to the case of multipartite high dimensional quantum systems through the use of the Weyl operators. The condition for such maps to be valid quantum channels, i.e. complete positivity, is derived in terms of Fourier transform matrices. From these conditions, we find the extreme points of this set of channels and identify an elegant algebraic structure nested within them. In turn, this allows us to expand upon the concept of "component erasing channels" introduced in earlier work by the authors. We show that these channels are completely characterized by elements drawn of finite cyclic groups. An algorithmic construction for such channels is presented and the smallest subsets of erasing channels which generate the whole set are determined.


title: Combat Urban Congestion via Collaboration: Heterogeneous GNN-based MARL for Coordinated Platooning and Traffic Signal Control

abstract: Over the years, reinforcement learning has emerged as a popular approach to develop signal control and vehicle platooning strategies either independently or in a hierarchical way. However, jointly controlling both in real-time to alleviate traffic congestion presents new challenges, such as the inherent physical and behavioral heterogeneity between signal control and platooning, as well as coordination between them. This paper proposes an innovative solution to tackle these challenges based on heterogeneous graph multi-agent reinforcement learning and traffic theories. Our approach involves: 1) designing platoon and signal control as distinct reinforcement learning agents with their own set of observations, actions, and reward functions to optimize traffic flow; 2) designing coordination by incorporating graph neural networks within multi-agent reinforcement learning to facilitate seamless information exchange among agents on a regional scale. We evaluate our approach through SUMO simulation, which shows a convergent result in terms of various transportation metrics and better performance over sole signal or platooning control.


title: Network-aware EV charging and discharging in unbalanced distribution grids: A distributed, robust approach against communication failures

abstract: This paper proposes a distributed optimization-based algorithm for electric vehicle (EV) charging and discharging, incorporating EV customer economics and distribution network constraints enforced on an unbalanced distribution grid. Building on a consensus-based alternating direction method of multipliers (ADMM), the algorithm is designed such that EVs coordinate by means of exchanging limited information with their neighboring EVs in a connected communication network. Specifically, an iterative routine is executed, whereby EVs cooperatively determine their charge-discharge profiles that maintain the distribution grid voltages and transformer core temperatures within safe operating limits. Importantly, the algorithm is robust against communication failures potentially arising in real-world implementations. Numerical simulations are conducted to verify the efficacy of the proposed EV charging algorithm in terms of network-aware operation and communication-failure tolerant operation.


title: Existence of optimal feedback controls for McKean-Vlasov SDEs

abstract: This work concerns the optimal control problem for McKean-Vlasov SDEs. We provide explicit conditions to ensure the existence of optimal Markovian feedback controls. Moreover, based on the flow property of the McKean-Vlasov SDE, the dynamic programming principle is established, which will enable to characterize the value function via the theory of Hamilton-Jacobi-Bellman equation on the Wasserstein space.


title: FusionU-Net: U-Net with Enhanced Skip Connection for Pathology Image Segmentation

abstract: In recent years, U-Net and its variants have been widely used in pathology image segmentation tasks. One of the key designs of U-Net is the use of skip connections between the encoder and decoder, which helps to recover detailed information after upsampling. While most variations of U-Net adopt the original skip connection design, there is semantic gap between the encoder and decoder that can negatively impact model performance. Therefore, it is important to reduce this semantic gap before conducting skip connection. To address this issue, we propose a new segmentation network called FusionU-Net, which is based on U-Net structure and incorporates a fusion module to exchange information between different skip connections to reduce semantic gaps. Unlike the other fusion modules in existing networks, ours is based on a two-round fusion design that fully considers the local relevance between adjacent encoder layer outputs and the need for bi-directional information exchange across multiple layers. We conducted extensive experiments on multiple pathology image datasets to evaluate our model and found that FusionU-Net achieves better performance compared to other competing methods. We argue our fusion module is more effective than the designs of existing networks, and it could be easily embedded into other networks to further enhance the model performance.


title: Restricted Tweedie Stochastic Block Models

abstract: The stochastic block model (SBM) is a widely used framework for community detection in networks, where the network structure is typically represented by an adjacency matrix. However, conventional SBMs are not directly applicable to an adjacency matrix that consists of non-negative zero-inflated continuous edge weights. To model the international trading network, where edge weights represent trading values between countries, we propose an innovative SBM based on a restricted Tweedie distribution. Additionally, we incorporate nodal information, such as the geographical distance between countries, and account for its dynamic effect on edge weights. Notably, we show that given a sufficiently large number of nodes, estimating this covariate effect becomes independent of community labels of each node when computing the maximum likelihood estimator of parameters in our model. This result enables the development of an efficient two-step algorithm that separates the estimation of covariate effects from other parameters. We demonstrate the effectiveness of our proposed method through extensive simulation studies and an application to real-world international trading data.


title: A Local Graph Limits Perspective on Sampling-Based GNNs

abstract: We propose a theoretical framework for training Graph Neural Networks (GNNs) on large input graphs via training on small, fixed-size sampled subgraphs. This framework is applicable to a wide range of models, including popular sampling-based GNNs, such as GraphSAGE and FastGCN. Leveraging the theory of graph local limits, we prove that, under mild assumptions, parameters learned from training sampling-based GNNs on small samples of a large input graph are within an $\epsilon$-neighborhood of the outcome of training the same architecture on the whole graph. We derive bounds on the number of samples, the size of the graph, and the training steps required as a function of $\epsilon$. Our results give a novel theoretical understanding for using sampling in training GNNs. They also suggest that by training GNNs on small samples of the input graph, practitioners can identify and select the best models, hyperparameters, and sampling algorithms more efficiently. We empirically illustrate our results on a node classification task on large citation graphs, observing that sampling-based GNNs trained on local subgraphs 12$\times$ smaller than the original graph achieve comparable performance to those trained on the input graph.


title: Design of a fault free Inverter Circuit using Minimum number of cells & related Kink Energy Calculation in Quantum dot Cellular Automata

abstract: Quantum dot Cellular Automata (QCA) is the most promising nanotechnology in the field of microelectronics and VLSI systems. QCA-based circuits require less power with a high switching speed of operation compared to CMOS technology. QCA inverter is one of the basic building blocks of QCA circuit design. The conventional QCA inverter design requires many cells. In this paper, we design the QCA inverter circuit using a lesser number of cells. We showed the kink energy calculation for the QCA-implemented inverters as well as the polarization of the circuits.


title: A State-Vector Framework for Dataset Effects

abstract: The impressive success of recent deep neural network (DNN)-based systems is significantly influenced by the high-quality datasets used in training. However, the effects of the datasets, especially how they interact with each other, remain underexplored. We propose a state-vector framework to enable rigorous studies in this direction. This framework uses idealized probing test results as the bases of a vector space. This framework allows us to quantify the effects of both standalone and interacting datasets. We show that the significant effects of some commonly-used language understanding datasets are characteristic and are concentrated on a few linguistic dimensions. Additionally, we observe some ``spill-over'' effects: the datasets could impact the models along dimensions that may seem unrelated to the intended tasks. Our state-vector framework paves the way for a systematic understanding of the dataset effects, a crucial component in responsible and robust model development.


title: Computing the optimal keyboard through a geometric analysis of the English language

abstract: In the context of a group project for the course COMSW4995 002 - Geometric Data Analysis, we bring our attention to the design of fast-typing keyboards. Leveraging some geometric tools in an optimization framework allowed us to propose novel keyboard layouts that offer a faster typing.


title: Medical Image Segmentation via Sparse Coding Decoder

abstract: Transformers have achieved significant success in medical image segmentation, owing to its capability to capture long-range dependencies. Previous works incorporate convolutional layers into the encoder module of transformers, thereby enhancing their ability to learn local relationships among pixels. However, transformers may suffer from limited generalization capabilities and reduced robustness, attributed to the insufficient spatial recovery ability of their decoders. To address this issue, A convolution sparse vector coding based decoder is proposed , namely CAScaded multi-layer Convolutional Sparse vector Coding DEcoder (CASCSCDE), which represents features extracted by the encoder using sparse vectors. To prove the effectiveness of our CASCSCDE, The widely-used TransUNet model is chosen for the demonstration purpose, and the CASCSCDE is incorporated with TransUNet to establish the TransCASCSCDE architecture. Our experiments demonstrate that TransUNet with CASCSCDE significantly enhances performance on the Synapse benchmark, obtaining up to 3.15\% and 1.16\% improvements in DICE and mIoU scores, respectively. CASCSCDE opens new ways for constructing decoders based on convolutional sparse vector coding.


title: Enhancing Deep Neural Network Training Efficiency and Performance through Linear Prediction

abstract: Deep neural networks (DNN) have achieved remarkable success in various fields, including computer vision and natural language processing. However, training an effective DNN model still poses challenges. This paper aims to propose a method to optimize the training effectiveness of DNN, with the goal of improving model performance. Firstly, based on the observation that the DNN parameters change in certain laws during training process, the potential of parameter prediction for improving model training efficiency and performance is discovered. Secondly, considering the magnitude of DNN model parameters, hardware limitations and characteristics of Stochastic Gradient Descent (SGD) for noise tolerance, a Parameter Linear Prediction (PLP) method is exploit to perform DNN parameter prediction. Finally, validations are carried out on some representative backbones. Experiment results show that compare to the normal training ways, under the same training conditions and epochs, by employing proposed PLP method, the optimal model is able to obtain average about 1% accuracy improvement and 0.01 top-1/top-5 error reduction for Vgg16, Resnet18 and GoogLeNet based on CIFAR-100 dataset, which shown the effectiveness of the proposed method on different DNN structures, and validated its capacity in enhancing DNN training efficiency and performance.


title: Origami-inspired Bi-directional Actuator with Orthogonal Actuation

abstract: Origami offers a promising alternative for designing innovative soft robotic actuators. While features of origami, such as bi-directional motion and structural anisotropy, haven't been extensively explored in the past, this letter presents a novel design inspired by origami tubes for a bi-directional actuator. This actuator is capable of moving in two orthogonal directions and has separate channels throughout its body to control each movement. We introduce a bottom-up design methodology that can also be adapted for other complex movements. The actuator was manufactured using popular 3D printing techniques. To enhance its durability, we experimented with different 3D printing technologies and materials. The actuator's strength was further improved using silicon spin coating, and we compared the performance of coated, uncoated, and silicon-only specimens. The material model was empirically derived by testing specimens on a universal testing machine (UTM). Lastly, we suggest potential applications for these actuators, such as in quadruped robots.


title: The half-space log-Gamma polymer in the bound phase

abstract: We consider the log-Gamma polymer in the half-space with bulk weights distributed as $\operatorname{Gamma}^{-1}(2\theta)$ and diagonal weights as $\operatorname{Gamma}^{-1}(\alpha+\theta)$ for $\theta>0$ and $\alpha>-\theta$. We show that in the bound phase, i.e., when $\alpha\in (-\theta,0)$, the endpoint of the polymer lies within an $O(1)$ stochastic window of the diagonal. This result gives the first rigorous proof of the pinned phenomena for the half-space polymers in the bound phase conjectured by Kardar(1985). We also show that the limiting quenched endpoint distribution of the polymer around the diagonal is given by a random probability mass function proportional to the exponential of a random walk with log-Gamma type increments.


title: Stealthy Terrain-Aware Multi-Agent Active Search

abstract: Stealthy multi-agent active search is the problem of making efficient sequential data-collection decisions to identify an unknown number of sparsely located targets while adapting to new sensing information and concealing the search agents' location from the targets. This problem is applicable to reconnaissance tasks wherein the safety of the search agents can be compromised as the targets may be adversarial. Prior work usually focuses either on adversarial search, where the risk of revealing the agents' location to the targets is ignored or evasion strategies where efficient search is ignored. We present the Stealthy Terrain-Aware Reconnaissance (STAR) algorithm, a multi-objective parallelized Thompson sampling-based algorithm that relies on a strong topographical prior to reason over changing visibility risk over the course of the search. The STAR algorithm outperforms existing state-of-the-art multi-agent active search methods on both rate of recovery of targets as well as minimising risk even when subject to noisy observations, communication failures and an unknown number of targets.


title: Large Language Models can Contrastively Refine their Generation for Better Sentence Representation Learning

abstract: Recently, large language models (LLMs) have emerged as a groundbreaking technology and their unparalleled text generation capabilities have sparked interest in their application to the fundamental sentence representation learning task. Existing methods have explored utilizing LLMs as data annotators to generate synthesized data for training contrastive learning based sentence embedding models such as SimCSE. However, since contrastive learning models are sensitive to the quality of sentence pairs, the effectiveness of these methods is largely influenced by the content generated from LLMs, highlighting the need for more refined generation in the context of sentence representation learning. Building upon this premise, we propose MultiCSR, a multi-level contrastive sentence representation learning framework that decomposes the process of prompting LLMs to generate a corpus for training base sentence embedding models into three stages (i.e., sentence generation, sentence pair construction, in-batch training) and refines the generated content at these three distinct stages, ensuring only high-quality sentence pairs are utilized to train a base contrastive learning model. Our extensive experiments reveal that MultiCSR enables a less advanced LLM to surpass the performance of ChatGPT, while applying it to ChatGPT achieves better state-of-the-art results. Comprehensive analyses further underscore the potential of our framework in various application scenarios and achieving better sentence representation learning with LLMs.


title: MRI brain tumor segmentation using informative feature vectors and kernel dictionary learning

abstract: This paper presents a method based on a kernel dictionary learning algorithm for segmenting brain tumor regions in magnetic resonance images (MRI). A set of first-order and second-order statistical feature vectors are extracted from patches of size 3 * 3 around pixels in the brain MRI scans. These feature vectors are utilized to train two kernel dictionaries separately for healthy and tumorous tissues. To enhance the efficiency of the dictionaries and reduce training time, a correlation-based sample selection technique is developed to identify the most informative and discriminative subset of feature vectors. This technique aims to improve the performance of the dictionaries by selecting a subset of feature vectors that provide valuable information for the segmentation task. Subsequently, a linear classifier is utilized to distinguish between healthy and unhealthy pixels based on the learned dictionaries. The results demonstrate that the proposed method outperforms other existing methods in terms of segmentation accuracy and significantly reduces both the time and memory required, resulting in a remarkably fast training process.


title: Spectral-Efficiency and Energy-Efficiency of Variable-Length XP-HARQ

abstract: A variable-length cross-packet hybrid automatic repeat request (VL-XP-HARQ) is proposed to boost the spectral efficiency (SE) and the energy efficiency (EE) of communications. The SE is firstly derived in terms of the outage probabilities, with which the SE is proved to be upper bounded by the ergodic capacity (EC). Moreover, to facilitate the maximization of the SE, the asymptotic outage probability is obtained at high signal-to-noise ratio (SNR), with which the SE is maximized by properly choosing the number of new information bits while guaranteeing outage requirement. By applying Dinkelbach's transform, the fractional objective function is transformed into a subtraction form, which can be decomposed into multiple sub-problems through alternating optimization. By noticing that the asymptotic outage probability is a convex function, each sub-problem can be easily relaxed to a convex problem by adopting successive convex approximation (SCA). Besides, the EE of VL-XP-HARQ is also investigated. An upper bound of the EE is found and proved to be attainable. Furthermore, by aiming at maximizing the EE via power allocation while confining outage within a certain constraint, the methods to the maximization of SE are invoked to solve the similar fractional problem. Finally, numerical results are presented for verification.


title: The neural network models with delays for solving absolute value equations

abstract: An inverse-free neural network model with mixed delays is proposed for solving the absolute value equation (AVE) $Ax -|x| - b =0$, which includes an inverse-free neural network model with discrete delay as a special case. By using the Lyapunov-Krasovskii theory and the linear matrix inequality (LMI) method, the developed neural network models are proved to be exponentially convergent to the solution of the AVE. Compared with the existing neural network models for solving the AVE, the proposed models feature the ability of solving a class of AVE with $\|A^{-1}\|>1$. Numerical simulations are given to show the effectiveness of the two delayed neural network models.


title: Universal characterization of epitope immunodominance from a multi-scale model of clonal competition in germinal centers

abstract: We introduce a novel, multi-scale model for affinity maturation, which aims to capture the intra-clonal, inter-clonal and epitope-specific organization of the B cell population in a germinal center. We describe the evolution of the B cell population via a quasispecies dynamics, with species corresponding to unique B cell receptors (BCRs), where the desired multi-scale structure is reflected on the mutational connectivity of the accessible BCR space, and on the statistical properties of its fitness landscape. Within this mathematical framework, we study the competition among classes of BCRs targeting different antigen epitopes, and construct an effective \emph{immunogenic space} where epitope immunodominance relations can be universally characterized. We finally study how varying the relative composition of a mixture of antigens with variable and conserved domains allows for a parametric exploration of this space, and identify general principles for the rational design of two-antigen cocktails.


title: EXMODD: An EXplanatory Multimodal Open-Domain Dialogue dataset

abstract: The need for high-quality data has been a key issue hindering the research of dialogue tasks. Recent studies try to build datasets through manual, web crawling, and large pre-trained models. However, man-made data is expensive and data collected from the internet often includes generic responses, meaningless statements, and toxic dialogues. Automatic data generation through large models is a cost-effective method, but for open-domain multimodal dialogue tasks, there are still three drawbacks: 1) There is currently no open-source large model that can accept multimodal input; 2) The content generated by the model lacks interpretability; 3) The generated data is usually difficult to quality control and require extensive resource to collect. To alleviate the significant human and resource expenditure in data collection, we propose a Multimodal Data Construction Framework (MDCF). MDCF designs proper prompts to spur the large-scale pre-trained language model to generate well-formed and satisfactory content. Additionally, MDCF also automatically provides explanation for a given image and its corresponding dialogue, which can provide a certain degree of interpretability and facilitate manual follow-up quality inspection. Based on this, we release an Explanatory Multimodal Open-Domain dialogue dataset (EXMODD). Experiments indicate a positive correlation between the model's ability to generate accurate understandings and high-quality responses. Our code and data can be found at https://github.com/poplpr/EXMODD.


title: Peculiarities for domain walls in Taub coordinates

abstract: In the present letter the infinite domain wall geometry in GR \cite{vilenkin1}-\cite{ipser} is reconsidered in Taub coordinates \cite{taub}. The use of these coordinates makes explicit that the regions between the horizons and the wall and the outer ones are flat. By use of these coordinates, it is suggested that points inside the horizon and outside never communicate each other. The wall is seen on the left and the right side as contracting and expanding portions of spheres and a plane singularity, which is the imprint the contracting and expanding domain wall. Particles of each region will never reach this imprint. In addition, at some point during the evolution of the system, four curious holes inside the space time appear, growing at the speed of light. This region is not parameterized by the standard Taub coordinates, and the boundary of this hole adsorbs all the particles that intersect it. The boundary of these holes are composed by points which in the coordinates of \cite{vilenkin1}-\cite{ipser} are asymptotic, in the sense that they correspond to trajectories tending to infinite values of the time or space like coordinates, while the proper time elapsed for the travel is in fact finite. This is not paradoxical, as the coordinates \cite{vilenkin1}-\cite{ipser} are not to be identified with the true lengths or proper time on the space time. The correct interpretation of the boundary is particularity relevant when studying scattering of quantum fields approaching the domain wall. A partial analysis about this issue is done in the last section.


title: On the spectrum of the Hodge Laplacian on sequences

abstract: Hodge Laplacians have been previously proposed as a natural tool for understanding higher-order interactions in networks and directed graphs. Here we introduce a Hodge-theoretic approach to spectral theory and dimensionality reduction for probability distributions on sequences and simplicial complexes. We demonstrate that this Hodge theory has desirable properties with respect to natural null-models, where the underlying vertices are independent. We prove that for the case of independent vertices in simplicial complexes, the appropriate Laplacians are multiples of the identity and thus have no meaningful Fourier modes. For the null model of independent vertices in sequences, we prove that the appropriate Hodge Laplacian has an integer spectrum, and describe its eigenspaces. We also prove that the underlying cell complex of sequences has trivial reduced homology. Our results establish a foundation for developing Fourier analyses of probabilistic models, which are common in theoretical neuroscience and machine-learning.


title: Deep Learning based Spatially Dependent Acoustical Properties Recovery

abstract: The physics-informed neural network (PINN) is capable of recovering partial differential equation (PDE) coefficients that remain constant throughout the spatial domain directly from physical measurements. In this work, we propose a spatially dependent physics-informed neural network (SD-PINN), which enables the recovery of coefficients in spatially-dependent PDEs using a single neural network, eliminating the requirement for domain-specific physical expertise. We apply the SD-PINN to spatially-dependent wave equation coefficients recovery to reveal the spatial distribution of acoustical properties in the inhomogeneous medium. The proposed method exhibits robustness to noise owing to the incorporation of a loss function for the physical constraint that the assumed PDE must be satisfied. For the coefficients recovery of spatially two-dimensional PDEs, we store the PDE coefficients at all locations in the 2D region of interest into a matrix and incorporate the low-rank assumption for such a matrix to recover the coefficients at locations without available measurements.


title: Context-Aware Meta-Learning

abstract: Large Language Models like ChatGPT demonstrate a remarkable capacity to learn new concepts during inference without any fine-tuning. However, visual models trained to detect new objects during inference have been unable to replicate this ability, and instead either perform poorly or require meta-training and/or fine-tuning on similar objects. In this work, we propose a meta-learning algorithm that emulates Large Language Models by learning new visual concepts during inference without fine-tuning. Our approach leverages a frozen pre-trained feature extractor, and analogous to in-context learning, recasts visual meta-learning as sequence modeling over datapoints with known labels and a test datapoint with an unknown label. On 8 out of 11 meta-learning benchmarks, our approach -- without meta-training or fine-tuning -- exceeds or matches the state-of-the-art algorithm, P>M>F, which is meta-trained on these benchmarks. Our code is available at https://github.com/cfifty/CAML.


title: A remark on the vanishing diffusivity limit of the Keller-Segel equations in Besov spaces

abstract: It is shown in \cite[J. Differ. Equ., (2022)]{22jde} that given initial data $u_0\in B^{s}_{p,r}$ and for some $T>0$, the solutions of the parabolic-type Keller-Segel equations converge strongly in $L^\infty_TB^{s}_{p,r}$ to the hyperbolic Keller-Segel equations as the diffusivity parameter $\epsilon$ tends to zero. In this paper, we furthermore prove this solution maps do not converge uniformly with respect to the initial data $u_0$ as $\epsilon\to0$ in the same topology of Besov spaces.


title: A Non-Hermitian Moir\'{e} Valley Filter

abstract: A valley filter capable of generating a valley-polarized current is a crucial element in valleytronics, yet its implementation remains challenging. Here, we propose a valley filter made of a graphene bilayer which exhibits a 1D moir\'{e} pattern in the overlapping region of the two layers controlled by heterostrain. In the presence of a lattice modulation between layers, electrons propagating in one layer can have valley-dependent dissipation due to valley asymmetric interlayer coupling, thus giving rise to a valley-polarized current. Such a process can be described by an effective non-Hermitian theory, in which the valley filter is driven by a valley-resolved non-Hermitian skin effect. Nearly 100\% valley-polarization can be achieved within a wide parameter range and the functionality of the valley filter is electrically tunable. The non-Hermitian topological scenario of the valley filter ensures high tolerance against imperfections such as disorder and edge defects. Our work opens a new route for efficient and robust valley filters while significantly relaxing the stringent implementation requirements.


title: Room-temperature addressing of single rare-earth atoms in optical fiber

abstract: Rare-earth (RE) atoms in solid-state materials are attractive components for photonic quantum information systems because of their coherence properties even in high-temperature environments. We have experimentally performed the single-site optical spectroscopy and optical addressing of a single RE atom in an amorphous silica optical fiber at room temperature. The single-site optical spectroscopy of the tapered RE-doped fiber shows nonresonant emission lines similar to those seen in the case of an unstructured fiber and the autocorrelation function of photons emitted from the fiber shows the antibunching effect due to the spatial isolation given by the tapered fiber structure. The ability to address single RE atoms at room temperature provides a very stable and cost-effective technical platform for the realization of a solid-state system for a large-scale quantum optical network and other quantum technologies based on a large number of spectral channels from visible to midinfrared wavelengths.


title: NICE: Improving Panoptic Narrative Detection and Segmentation with Cascading Collaborative Learning

abstract: Panoptic Narrative Detection (PND) and Segmentation (PNS) are two challenging tasks that involve identifying and locating multiple targets in an image according to a long narrative description. In this paper, we propose a unified and effective framework called NICE that can jointly learn these two panoptic narrative recognition tasks. Existing visual grounding tasks use a two-branch paradigm, but applying this directly to PND and PNS can result in prediction conflict due to their intrinsic many-to-many alignment property. To address this, we introduce two cascading modules based on the barycenter of the mask, which are Coordinate Guided Aggregation (CGA) and Barycenter Driven Localization (BDL), responsible for segmentation and detection, respectively. By linking PNS and PND in series with the barycenter of segmentation as the anchor, our approach naturally aligns the two tasks and allows them to complement each other for improved performance. Specifically, CGA provides the barycenter as a reference for detection, reducing BDL's reliance on a large number of candidate boxes. BDL leverages its excellent properties to distinguish different instances, which improves the performance of CGA for segmentation. Extensive experiments demonstrate that NICE surpasses all existing methods by a large margin, achieving 4.1% for PND and 2.9% for PNS over the state-of-the-art. These results validate the effectiveness of our proposed collaborative learning strategy. The project of this work is made publicly available at https://github.com/Mr-Neko/NICE.


title: Exact nonlinear state estimation

abstract: The majority of data assimilation (DA) methods in the geosciences are based on Gaussian assumptions. While these assumptions facilitate efficient algorithms, they cause analysis biases and subsequent forecast degradations. Non-parametric, particle-based DA algorithms have superior accuracy, but their application to high-dimensional models still poses operational challenges. Drawing inspiration from recent advances in the field of generative artificial intelligence (AI), this article introduces a new nonlinear estimation theory which attempts to bridge the existing gap in DA methodology. Specifically, a Conjugate Transform Filter (CTF) is derived and shown to generalize the celebrated Kalman filter to arbitrarily non-Gaussian distributions. The new filter has several desirable properties, such as its ability to preserve statistical relationships in the prior state and convergence to highly accurate observations. An ensemble approximation of the new theory (ECTF) is also presented and validated using idealized statistical experiments that feature bounded quantities with non-Gaussian distributions, a prevalent challenge in Earth system models. Results from these experiments indicate that the greatest benefits from ECTF occur when observation errors are small relative to the forecast uncertainty and when state variables exhibit strong nonlinear dependencies. Ultimately, the new filtering theory offers exciting avenues for improving conventional DA algorithms through their principled integration with AI techniques.

categories: stat.ME cs.CE cs.LG math.DS physics.ao-ph


title: A positivity-preserving numerical method for a thin liquid film on a vertical cylindrical fiber

abstract: When a thin liquid film flows down on a vertical fiber, one can observe the complex and captivating interfacial dynamics of an unsteady flow. Such dynamics are applicable in various fluid experiments due to their high surface area-to-volume ratio. Recent studies verified that when the flow undergoes regime transitions, the magnitude of the film thickness changes dramatically, making numerical simulations challenging. In this paper, we present a computationally efficient numerical method that can maintain the positivity of the film thickness as well as conserve the volume of the fluid under the coarse mesh setting. A series of comparisons to laboratory experiments and previously proposed numerical methods supports the validity of our numerical method. We also prove that our method is second-order consistent in space and satisfies the entropy estimate.


title: NeuroQuantify -- An Image Analysis Software for Detection and Quantification of Neurons and Neurites using Deep Learning

abstract: The segmentation of cells and neurites in microscopy images of neuronal networks provides valuable quantitative information about neuron growth and neuronal differentiation, including the number of cells, neurites, neurite length and neurite orientation. This information is essential for assessing the development of neuronal networks in response to extracellular stimuli, which is useful for studying neuronal structures, for example, the study of neurodegenerative diseases and pharmaceuticals. However, automatic and accurate analysis of neuronal structures from phase contrast images has remained challenging. To address this, we have developed NeuroQuantify, an open-source software that uses deep learning to efficiently and quickly segment cells and neurites in phase contrast microscopy images. NeuroQuantify offers several key features: (i) automatic detection of cells and neurites; (ii) post-processing of the images for the quantitative neurite length measurement based on segmentation of phase contrast microscopy images, and (iii) identification of neurite orientations. The user-friendly NeuroQuantify software can be installed and freely downloaded from GitHub https://github.com/StanleyZ0528/neural-image-segmentation.


title: A New Gauge-Theoretic Construction of 4-Dimensional Hyperk\"ahler ALE Spaces

abstract: Non-compact hyperk\"ahler spaces arise frequently in gauge theory. The 4-dimensional hyperk\"ahler ALE spaces are a special class of non-compact hyperk\"ahler spaces. They are in one-to-one correspondence with the finite subgroups of SU(2) and have interesting connections with representation theory and singularity theory, captured by the McKay Correspondence. The 4-dimensional hyperk\"ahler ALE spaces are first classified by Peter Kronheimer via a finite-dimensional hyperk\"ahler reduction. In this paper, we give a new gauge-theoretic construction of these spaces. More specifically, we realize each 4-dimensional hyperk\"ahler ALE space as a moduli space of solutions to a system of equations for a pair consisting of a connection and a section of a vector bundle over an orbifold Riemann surface, modulo a gauge group action. The construction given in this paper parallels Kronheimer's original construction and hence can also be thought of as a gauge-theoretic interpretation of Kronheimer's construction of these spaces.


title: Analysis of potential flow networks: Variations in transport time with $discrete$, $continuous$, and $selfish$ operation

abstract: In potential flow networks, the equilibrium flow rates are usually not proportional to the demands and flow control elements are required to regulate the flow. The control elements can broadly be classified into two types - discrete and continuous. Discrete control elements can have only two operational states: fully open or fully closed. On the other hand, continuous control elements may be operated in any intermediate position in addition to the fully open and fully closed states. Naturally, with their increased flexibility, continuous control elements can provide better network performance, but $to~what~extent$? We consider a class of branched networks with a single source and multiple sinks. The potential drop across edges ($\Delta H$) is assumed to be proportional to the $n^{th}$ power of flow rate ($Q$), i.e., $\Delta H=kQ^n$ , ($n>=1$). We define $\textbf{R}$ as the ratio of minimal operational times required to transport a given quantum of material with either type of control element and show that $1\leq \textbf{R}\leq m^{\left(1-1/n\right)}$, where $m$ is the maximum depth of the network. The results point to the role of network topology in the variations in operational time. Further analysis reveals that the selfish operation of a network with continuous control valves has the same bounds on the price of anarchy.


title: Instructive Dialogue Summarization with Query Aggregations

abstract: Conventional dialogue summarization methods directly generate summaries and do not consider user's specific interests. This poses challenges in cases where the users are more focused on particular topics or aspects. With the advancement of instruction-finetuned language models, we introduce instruction-tuning to dialogues to expand the capability set of dialogue summarization models. To overcome the scarcity of instructive dialogue summarization data, we propose a three-step approach to synthesize high-quality query-based summarization triples. This process involves summary-anchored query generation, query filtering, and query-based summary generation. By training a unified model called InstructDS (Instructive Dialogue Summarization) on three summarization datasets with multi-purpose instructive triples, we expand the capability of dialogue summarization models. We evaluate our method on four datasets, including dialogue summarization and dialogue reading comprehension. Experimental results show that our approach outperforms the state-of-the-art models and even models with larger sizes. Additionally, our model exhibits higher generalizability and faithfulness, as confirmed by human subjective evaluations.


title: SICNav: Safe and Interactive Crowd Navigation using Model Predictive Control and Bilevel Optimization

abstract: Robots need to predict and react to human motions to navigate through a crowd without collisions. Many existing methods decouple prediction from planning, which does not account for the interaction between robot and human motions and can lead to the robot getting stuck. We propose SICNav, a Model Predictive Control (MPC) method that jointly solves for robot motion and predicted crowd motion in closed-loop. We model each human in the crowd to be following an Optimal Reciprocal Collision Avoidance (ORCA) scheme and embed that model as a constraint in the robot's local planner, resulting in a bilevel nonlinear MPC optimization problem. We use a KKT-reformulation to cast the bilevel problem as a single level and use a nonlinear solver to optimize. Our MPC method can influence pedestrian motion while explicitly satisfying safety constraints in a single-robot multi-human environment. We analyze the performance of SICNav in two simulation environments and indoor experiments with a real robot to demonstrate safe robot motion that can influence the surrounding humans. We also validate the trajectory forecasting performance of ORCA on a human trajectory dataset.


title: The critical percolation probability is local

abstract: We prove Schramm's locality conjecture for Bernoulli bond percolation on transitive graphs: If $(G_n)_{n\geq 1}$ is a sequence of infinite vertex-transitive graphs converging locally to a vertex-transitive graph $G$ and $p_c(G_n) \neq 1$ for every $n \geq 1$ then $\lim_{n\to\infty} p_c(G_n)=p_c(G)$. Equivalently, the critical probability $p_c$ defines a continuous function on the space $\mathcal{G}^*$ of infinite vertex-transitive graphs that are not one-dimensional. As a corollary of the proof, we obtain a new proof that $p_c(G)<1$ for every infinite vertex-transitive graph that is not one-dimensional.


title: Latent class analysis with weighted responses

abstract: The latent class model has been proposed as a powerful tool for cluster analysis of categorical data in various fields such as social, psychological, behavioral, and biological sciences. However, one important limitation of the latent class model is that it is only suitable for data with binary responses, making it fail to model real-world data with continuous or negative responses. In many applications, ignoring the weights throws out a lot of potentially valuable information contained in the weights. To address this limitation, we propose a novel generative model, the weighted latent class model (WLCM). Our model allows data's response matrix to be generated from an arbitrary distribution with a latent class structure. In comparison to the latent class model, our WLCM is more realistic and more general. To our knowledge, our WLCM is the first model for latent class analysis with weighted responses. We investigate the identifiability of the model and propose an efficient algorithm for estimating the latent classes and other model parameters. We show that the proposed algorithm enjoys consistent estimation. The performance of the proposed algorithm is investigated using both computer-generated and real-world weighted response data.


title: Computational synthesis of locomoting soft robots by topology optimization

abstract: Biological organisms have acquired sophisticated body shapes for walking or climbing through million-year evolutionary processes. In contrast, the components of locomoting soft robots, such as legs and arms, are designed in trial-and-error loops guided by a priori knowledge and experience, which leaves considerable room for improvement. Here, we present optimized soft robots that performed a specific locomotion task without any a priori assumptions or knowledge of the layout and shapes of the limbs by fully exploiting the computational capabilities for topology optimization. The only requirements introduced were a design domain and a periodically acting pneumatic actuator. The freeform shape of a soft body was derived from iterative updates in a gradient-based topology optimization that incorporated complex physical phenomena, such as large deformations, contacts, material viscosity, and fluid-structure interactions, in transient problems. The locomotion tasks included a horizontal movement on flat ground (walking) and a vertical movement between two walls (climbing). Without any human intervention, optimized soft robots have limbs and exhibit locomotion similar to those of biological organisms. Linkage-like structures were formed for the climbing task to assign different movements to multiple legs with limited degrees of freedom in the actuator. We fabricated the optimized design using 3D printing and confirmed the performance of these robots. This study presents a new and efficient strategy for designing soft robots and other bioinspired systems, suggesting that a purely mathematical process can produce shapes reminiscent of nature's long-term evolution.


title: Generation of high quality sub-two-cycle pulses by self-cleaning of spatiotemporal solitons in air-plasma channels

abstract: The temporal sidelobes of few-cycle pulses seriously restrict their applications in ultrafast science. We propose a unique mechanism that enables the generation of sub-two-cycle pulses with high temporal quality based on soliton self-cleaning in air-plasma channels. A robust spatiotemporal soliton could be formed from pulse self-compression by modulating the dispersion of the air-plasma channel via the adjusted plasma density. Due to ionization, the blue-shifted soliton with a larger group velocity captures the leading sidelobes whereas the plasma generated by the soliton defocuses the trailing sidelobes, which are eventually eliminated after a long-distance propagation. The self-cleaning of spatiotemporal soliton leads to no sidelobes in the temporal profile of the sub-two-cycle pulse. The required density of the preformed plasma for arbitrary central wavelength from near-infrared to mid-infrared regime is predicted theoretically and confirmed by (3D+1) simulations.


title: Why Do Students Drop Out? University Dropout Prediction and Associated Factor Analysis Using Machine Learning Techniques

abstract: Graduation and dropout rates have always been a serious consideration for educational institutions and students. High dropout rates negatively impact both the lives of individual students and institutions. To address this problem, this study examined university dropout prediction using academic, demographic, socioeconomic, and macroeconomic data types. Additionally, we performed associated factor analysis to analyze which type of data would be most influential on the performance of machine learning models in predicting graduation and dropout status. These features were used to train four binary classifiers to determine if students would graduate or drop out. The overall performance of the classifiers in predicting dropout status had an average ROC-AUC score of 0.935. The data type most influential to the model performance was found to be academic data, with the average ROC-AUC score dropping from 0.935 to 0.811 when excluding all academic-related features from the data set. Preliminary results indicate that a correlation does exist between data types and dropout status.


title: HCI in e-Government and e-Democracy

abstract: This chapter introduces the application of HCI design processes and design principles in e-government and e-democracy. We elaborate on HCI design processes and six HCI design principles in the context of e-government and e-democracy, including citizen-centered design, usability, accessibility, access to information, transaction efficiency, and security and privacy. Then, we present two cases to demonstrate the value of applying the HCI processes and design principles in developing and deploying e-government and e-democracy. Finally, we highlight the challenges faced by e-government and e-democracy as well as the future trends. In conclusion, HCI can help the success of e-government and e-democracy and their future growth.


title: WGoM: A novel model for categorical data with weighted responses

abstract: The Graded of Membership (GoM) model is a powerful tool for inferring latent classes in categorical data, which enables subjects to belong to multiple latent classes. However, its application is limited to categorical data with nonnegative integer responses, making it inappropriate for datasets with continuous or negative responses. To address this limitation, this paper proposes a novel model named the Weighted Grade of Membership (WGoM) model. Compared with GoM, our WGoM relaxes GoM's distribution constraint on the generation of a response matrix and it is more general than GoM. We then propose an algorithm to estimate the latent mixed memberships and the other WGoM parameters. We derive the error bounds of the estimated parameters and show that the algorithm is statistically consistent. The algorithmic performance is validated in both synthetic and real-world datasets. The results demonstrate that our algorithm is accurate and efficient, indicating its high potential for practical applications. This paper makes a valuable contribution to the literature by introducing a novel model that extends the applicability of the GoM model and provides a more flexible framework for analyzing categorical data with weighted responses.


title: A second-order exponential integration constraint energy minimizing generalized multiscale method for parabolic problems

abstract: This paper investigates an efficient exponential integrator generalized multiscale finite element method for solving a class of time-evolving partial differential equations in bounded domains. The proposed method first performs the spatial discretization of the model problem using constraint energy minimizing generalized multiscale finite element method (CEM-GMsFEM). This approach consists of two stages. First, the auxiliary space is constructed by solving local spectral problems, where the basis functions corresponding to small eigenvalues are captured. The multiscale basis functions are obtained in the second stage using the auxiliary space by solving local energy minimization problems over the oversampling domains. The basis functions have exponential decay outside the corresponding local oversampling regions. We shall consider the first and second-order explicit exponential Runge-Kutta approach for temporal discretization and to build a fully discrete numerical solution. The exponential integration strategy for the time variable allows us to take full advantage of the CEM-GMsFEM as it enables larger time steps due to its stability properties. We derive the error estimates in the energy norm under the regularity assumption. Finally, we will provide some numerical experiments to sustain the efficiency of the proposed method.


title: Higher-order protection of quantum gates: Hamiltonian engineering coordinated with dynamical decoupling

abstract: Dynamical decoupling represents an active approach towards the protection of quantum memories and quantum gates. Because dynamical decoupling operations can interfere with system's own time evolution, the protection of quantum gates is more challenging than that of quantum states. In this work, we put forward a simple but general approach towards the realization of higher-order protection of quantum gates. The central idea of our approach is to engineer (hence regain the control of) the quantum gate Hamiltonian in coordination with higher-order dynamical decoupling sequences originally proposed for the protection of quantum memories. In our computational examples presented for illustration, the required engineering can be implemented by only quenching the phase of an external driving field at particular times.


title: A High Fidelity and Low Complexity Neural Audio Coding

abstract: Audio coding is an essential module in the real-time communication system. Neural audio codecs can compress audio samples with a low bitrate due to the strong modeling and generative capabilities of deep neural networks. To address the poor high-frequency expression and high computational cost and storage consumption, we proposed an integrated framework that utilizes a neural network to model wide-band components and adopts traditional signal processing to compress high-band components according to psychological hearing knowledge. Inspired by auditory perception theory, a perception-based loss function is designed to improve harmonic modeling. Besides, generative adversarial network (GAN) compression is proposed for the first time for neural audio codecs. Our method is superior to prior advanced neural codecs across subjective and objective metrics and allows real-time inference on desktop and mobile.


title: Deterministic and Stochastic Accelerated Gradient Method for Convex Semi-Infinite Optimization

abstract: This paper explores numerical methods for solving a convex differentiable semi-infinite program. We introduce a primal-dual gradient method which performs three updates iteratively: a momentum gradient ascend step to update the constraint parameters, a momentum gradient ascend step to update the dual variables, and a gradient descend step to update the primal variables. Our approach also extends to scenarios where gradients and function values are accessible solely through stochastic oracles. This method extends the recent primal-dual methods, for example, Hamedani and Aybat (2021); Boob et al. (2022), for optimization with a finite number of constraints. We show the iteration complexity of the proposed method for finding an $\epsilon$-optimal solution under different convexity and concavity assumptions on the functions.


title: Lagrangian Gradient Regression for the Detection of Coherent Structures from Sparse Trajectory Data

abstract: Lagrangian Coherent Structures (LCS) are flow features which are defined to objectively characterize complex fluid behavior over a finite time regardless of the orientation of the observer. Fluidic applications of LCS include geophysical, aerodynamic, biological, and bio-inspired flows -- among others -- and can be generalized to broader classes of dynamical systems. One of the prevailing paradigms for identifying LCS involves examining continuum-mechanical properties of the underlying flow. Such methods, including finite-time Lyapunov exponent (FTLE) and Lagrangian-averaged vorticity deviation (LAVD) analyses, provide consistent and physically-meaningful results but require expensive computations on a dense array of numerically integrated trajectories. Faster, more robust, sparse methods, on the other hand, are typically non-deterministic and require a-priori intuition of flow field behavior for interpretation. If LCS are to be used in the decision-making protocol of future autonomous technologies, a bridge between dense and sparse approaches must be made. This work begins to address this goal through the development of Lagrangian gradient regression (LGR), which enables the computation of deformation gradients and velocity gradients from sparse data via regression. Using LGR, velocity gradients, flow map Jacobians (thereby FTLE), and rotational Lagrangian metrics like the LAVD are accurately computed from sparse trajectory data which is orders of magnitude less dense than traditional approaches require. Moreover, there is no need to compute velocity or numerically differentiate at any point when using LGR. Therefore, it is a purely Lagrangian technique.


title: Inverse design of a pyrochlore lattice of DNA origami through model-driven experiments

abstract: Sophisticated statistical mechanics approaches and human intuition have demonstrated the possibility to self-assemble complex lattices or finite size constructs, but have mostly only been successful in silico. The proposed strategies quite often fail in experiment due to unpredicted traps associated to kinetic slowing down (gelation, glass transition), as well as to competing ordered structures. An additional challenge that theoretical predictions face is the difficulty to encode the desired inter-particle interaction potential with the currently available library of nano- and micron-sized particles. To overcome these issues, we conjugate here SAT-assembly -- a patchy-particle interaction design algorithm based on constrained optimization solvers -- with coarse-grained simulations of DNA nanotechnology to experimentally realize trap-free self-assembly pathways. As a proof of concept we investigate the assembly of the pyrochlore (also known as tetrastack) lattice, a highly coveted 3D crystal lattice due to its promise in construction of optical metamaterials. We confirm the successful assembly with two different patchy DNA origami designs via SAXS as well as SEM visualization of the silica-coated lattice. Our approach offers a versatile modeling pipeline that starts from patchy particles designed in silico and ends with wireframe DNA origami that self-assemble into the desired structure.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.stat-mech physics.comp-ph


title: ClarifyGPT: Empowering LLM-based Code Generation with Intention Clarification

abstract: We introduce a novel framework named ClarifyGPT, which aims to enhance code generation by empowering LLMs with the ability to identify ambiguous requirements and ask targeted clarifying questions. In particular, ClarifyGPT first detects whether a given requirement is ambiguous by performing a code consistency check. If it is ambiguous, ClarifyGPT prompts an LLM to generate targeted clarifying questions. After receiving question responses, ClarifyGPT refines the ambiguous requirement and inputs it into the same LLM to generate a final code solution. To evaluate our ClarifyGPT, we first conduct a human evaluation involving ten participants who use ClarifyGPT for code generation on two publicly available benchmarks: MBPP-sanitized and MBPP-ET. The results show that ClarifyGPT elevates the performance (Pass@1) of GPT-4 from 70.96% to 80.80% on MBPP-sanitized. Furthermore, to perform large-scale automated evaluations of ClarifyGPT across different LLMs and benchmarks without requiring user participation, we introduce a high-fidelity simulation method to simulate user responses. The automated evaluation results also demonstrate that ClarifyGPT can significantly enhance code generation performance compared to the baselines. In particular, ClarifyGPT improves the average performance of GPT-4 and ChatGPT across four benchmarks from 68.02% to 75.75% and from 58.55% to 67.22%, respectively. We believe that ClarifyGPT can effectively facilitate the practical application of LLMs in real-world development environments.


title: Cooperative Dispatch of Microgrids Community Using Risk-Sensitive Reinforcement Learning with Monotonously Improved Performance

abstract: The integration of individual microgrids (MGs) into Microgrid Clusters (MGCs) significantly improves the reliability and flexibility of energy supply, through resource sharing and ensuring backup during outages. The dispatch of MGCs is the key challenge to be tackled to ensure their secure and economic operation. Currently, there is a lack of optimization method that can achieve a trade-off among top-priority requirements of MGCs' dispatch, including fast computation speed, optimality, multiple objectives, and risk mitigation against uncertainty. In this paper, a novel Multi-Objective, Risk-Sensitive, and Online Trust Region Policy Optimization (RS-TRPO) Algorithm is proposed to tackle this problem. First, a dispatch paradigm for autonomous MGs in the MGC is proposed, enabling them sequentially implement their self-dispatch to mitigate potential conflicts. This dispatch paradigm is then formulated as a Markov Game model, which is finally solved by the RS-TRPO algorithm. This online algorithm enables MGs to spontaneously search for the Pareto Frontier considering multiple objectives and risk mitigation. The outstanding computational performance of this algorithm is demonstrated in comparison with mathematical programming methods and heuristic algorithms in a modified IEEE 30-Bus Test System integrated with four autonomous MGs.


title: Accelerating Scalable Graph Neural Network Inference with Node-Adaptive Propagation

abstract: Graph neural networks (GNNs) have exhibited exceptional efficacy in a diverse array of applications. However, the sheer size of large-scale graphs presents a significant challenge to real-time inference with GNNs. Although existing Scalable GNNs leverage linear propagation to preprocess the features and accelerate the training and inference procedure, these methods still suffer from scalability issues when making inferences on unseen nodes, as the feature preprocessing requires the graph to be known and fixed. To further accelerate Scalable GNNs inference in this inductive setting, we propose an online propagation framework and two novel node-adaptive propagation methods that can customize the optimal propagation depth for each node based on its topological information and thereby avoid redundant feature propagation. The trade-off between accuracy and latency can be flexibly managed through simple hyper-parameters to accommodate various latency constraints. Moreover, to compensate for the inference accuracy loss caused by the potential early termination of propagation, we further propose Inception Distillation to exploit the multi-scale receptive field information within graphs. The rigorous and comprehensive experimental study on public datasets with varying scales and characteristics demonstrates that the proposed inference acceleration framework outperforms existing state-of-the-art graph inference acceleration methods in terms of accuracy and efficiency. Particularly, the superiority of our approach is notable on datasets with larger scales, yielding a 75x inference speedup on the largest Ogbn-products dataset.


title: On the structure and spectra of an induced subgraph of essential ideal graph of $\mathbb{Z}_{n}$

abstract: Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_R$ of $R$ is a graph in which the vertex set comprises of set of all nonzero proper ideals of $R$ and two vertices $I$ and $K$ are adjacent if and only if $I+K$ is an essential ideal. In this paper, we discuss the structure of an induced subgraph of the essential ideal graph of the ring $\mathbb{Z}_{n}$ as a $\mathscr{G}$-generalized join graph and thereby completely determine the structure of $\mathcal{E}_{\mathbb{Z}_{n}}$. Also, we prove a characterization of $\mathcal{E}_{\mathbb{Z}_{n}}$ to be Laplacian integral in terms of the vertex-weighted Laplacian matrix of annihilating ideal graph of $\mathbb{Z}_{n}$ for $n= \prod_{i=1}^k p_i$. Further, we discuss the eigenvalues of various matrices like adjacency matrix, Laplacian matrix, signless Laplacian matrix, and normalized Laplacian matrix of the induced subgraph of the essential ideal graph of $\mathbb{Z}_{n}$. Finally, we obtain the upper bounds of spectral radius and algebraic connectivity of $\mathcal{E}_{\mathbb{Z}_{n}}$ and compute the values of $n$ for which these bounds are attained.


title: Mid-Band 5G: A Measurement Study in Europe and US

abstract: Fifth Generation (5G) mobile networks mark a significant shift from previous generations of networks. By introducing a flexible design, 5G networks support highly diverse application requirements. Currently, the landscape of previous measurement studies does not shed light on 5G network configuration and the inherent implications to application performance. In this paper, we precisely fill this gap and report our in-depth multi-country measurement study on 5G deployed at mid-bands. This is the common playground for U.S. and European carriers. Our findings reveal key aspects on how carriers configure their network, including spectrum utilization, frame configuration, resource allocation and their implication on the application performance.


title: Spatially-resolved hyperlocal weather prediction and anomaly detection using IoT sensor networks and machine learning techniques

abstract: Accurate and timely hyperlocal weather predictions are essential for various applications, ranging from agriculture to disaster management. In this paper, we propose a novel approach that combines hyperlocal weather prediction and anomaly detection using IoT sensor networks and advanced machine learning techniques. Our approach leverages data from multiple spatially-distributed yet relatively close locations and IoT sensors to create high-resolution weather models capable of predicting short-term, localized weather conditions such as temperature, pressure, and humidity. By monitoring changes in weather parameters across these locations, our system is able to enhance the spatial resolution of predictions and effectively detect anomalies in real-time. Additionally, our system employs unsupervised learning algorithms to identify unusual weather patterns, providing timely alerts. Our findings indicate that this system has the potential to enhance decision-making.


title: RelativisticDynamics.jl: Relativistic Spin-Orbital Dynamics in Julia

abstract: RelativisticDynamics.jl is an open-source Julia package for relativistic spin-orbital dynamics in the gravitational strong-field of a Kerr spacetime. Existing codes for modelling the dynamics of spinning objects like pulsars in the strong-field regime are generally lacking, since such systems occupy an intermediate regime that is generally overlooked. At the "low" end of this regime there are post-Newtonian descriptions which neglect the influence of the pulsar spin on the underlying spacetime metric ("spin-curvature" coupling). At the "high" end there are the full numerical relativity solutions which are primarily applicable toe two black holes with a mass ratio $\mathcal{O}(1)$, and are computationally intractable for pulsar systems observed over a large number of orbital cycles. RelativisticDynamics.jl aims to bridge this gap by providing a modern, fast code for accurate numerical evolution of spinning relativistic systems via the Mathisson-Papetrou-Dixon formalism. Julia is a modern language that solves the "two language problem", enabling fast dynamic typing and JIT compilation on conjunction with petaflop performance, comparable with numerical languages that are better known in the astrophysics community such as C or Fortran. RelativisticDynamics.jl is written to be fully type flexible, being able to support arbitrary number formats, and fully differentiable via automatic differentiation.


title: Correction Focused Language Model Training for Speech Recognition

abstract: Language models (LMs) have been commonly adopted to boost the performance of automatic speech recognition (ASR) particularly in domain adaptation tasks. Conventional way of LM training treats all the words in corpora equally, resulting in suboptimal improvements in ASR performance. In this work, we introduce a novel correction focused LM training approach which aims to prioritize ASR fallible words. The word-level ASR fallibility score, representing the likelihood of ASR mis-recognition, is defined and shaped as a prior word distribution to guide the LM training. To enable correction focused training with text-only corpora, large language models (LLMs) are employed as fallibility score predictors and text generators through multi-task fine-tuning. Experimental results for domain adaptation tasks demonstrate the effectiveness of our proposed method. Compared with conventional LMs, correction focused training achieves up to relatively 5.5% word error rate (WER) reduction in sufficient text scenarios. In insufficient text scenarios, LM training with LLM-generated text achieves up to relatively 13% WER reduction, while correction focused training further obtains up to relatively 6% WER reduction.


title: Advanced accent/dialect identification and accentedness assessment with multi-embedding models and automatic speech recognition

abstract: Accurately classifying accents and assessing accentedness in non-native speakers are both challenging tasks due to the complexity and diversity of accent and dialect variations. In this study, embeddings from advanced pre-trained language identification (LID) and speaker identification (SID) models are leveraged to improve the accuracy of accent classification and non-native accentedness assessment. Findings demonstrate that employing pre-trained LID and SID models effectively encodes accent/dialect information in speech. Furthermore, the LID and SID encoded accent information complement an end-to-end accent identification (AID) model trained from scratch. By incorporating all three embeddings, the proposed multi-embedding AID system achieves superior accuracy in accent identification. Next, we investigate leveraging automatic speech recognition (ASR) and accent identification models to explore accentedness estimation. The ASR model is an end-to-end connectionist temporal classification (CTC) model trained exclusively with en-US utterances. The ASR error rate and en-US output of the AID model are leveraged as objective accentedness scores. Evaluation results demonstrate a strong correlation between the scores estimated by the two models. Additionally, a robust correlation between the objective accentedness scores and subjective scores based on human perception is demonstrated, providing evidence for the reliability and validity of utilizing AID-based and ASR-based systems for accentedness assessment in non-native speech.


title: Optimal Private Discrete Distribution Estimation with One-bit Communication

abstract: We consider a private discrete distribution estimation problem with one-bit communication constraint. The privacy constraints are imposed with respect to the local differential privacy and the maximal leakage. The estimation error is quantified by the worst-case mean squared error. We completely characterize the first-order asymptotics of this privacy-utility trade-off under the one-bit communication constraint for both types of privacy constraints by using ideas from local asymptotic normality and the resolution of a block design mechanism. These results demonstrate the optimal dependence of the privacy-utility trade-off under the one-bit communication constraint in terms of the parameters of the privacy constraint and the size of the alphabet of the discrete distribution.


title: A Galois Theory and a Pretorsion Theory in MV-Algebras

abstract: We explore the relationship between the category of MV-algebras and its full subcategories of perfect and semisimple algebras, showing that this pair of subcategories defines a pretorsion theory. We study the Galois structure associated with the reflection of semisimple MV-algebras, proving that it is admissible from the point of view of categorical Galois theory and characterizing the corresponding central extensions. These central extensions are themselves reflective into the category of surjective MV-algebra morphisms, and the corresponding adjunction is admissible, too. Thanks to this observation, we characterize higher central extensions, and we use them to define a non-pointed version of commutators between ideal subalgebras.


title: Dual-Band Observations of the Asymmetric Ring around CIDA 9A: Dead or Alive?

abstract: While the most exciting explanation of the observed dust asymmetries in protoplanetary disks is the presence of protoplanets, other mechanisms can also form the dust features. This paper presents dual-wavelength Atacama Large Millimeter/submillimeter Array (ALMA) observations of a large asymmetric dusty ring around the M-type star CIDA 9A. We detect a dust asymmetry in both 1.3 mm and 3.1 mm data. To characterize the asymmetric structure, a parametric model is used to fit the observed visibilities. We report a tentative azimuthal shift of the dust emission peaks between the observations at the two wavelengths. This shift is consistent with a dust trap caused by a vortex, which may be formed by an embedded protoplanet or other hydrodynamical instabilities, such as a dead zone. Deep high-spatial observations of dust and molecular gas are needed to constrain the mechanisms that formed the observed millimeter cavity and dust asymmetry in the protoplanetary disk around CIDA 9A.


title: Hypernova signatures of the first stars in dwarf galaxies in the Local Group

abstract: Observing the first generation of stars, Population III (Pop III), is still a challenge even with the James Webb Space Telescope (JWST) due to their faintness. Instead, searching for fossil records of Pop III stars in nearby dwarf galaxies provides an alternative method for studying their physical properties. It is intriguing that a star recently discovered in the Sculptor dwarf galaxy, named AS0039, is considered to show the unique signature of a Pop~III star. The detailed abundance patterns of AS0039 are well-matched with those predicted by nucleosynthesis models for Pop~III exploding as an energetic hypernova (HN), confirming its potential to provide insight into the properties of the first stars. This study aims to explore the environmental conditions required for the formation of such a unique star using cosmological hydrodynamic zoom-in simulations on dwarf galaxies with a mass of M_vir~10^8 solar mass at z=0 while varying the fraction of Pop~III stars that undergo HNe. Our simulations identify rapid gas inflow (~0.08 solar mass/yr) as a possible factor in facilitating the formation of stars similar to AS0039. Alternatively, the delayed formation of subsequent Pop~II stars in the gas-enriched environment may lead to low-metallicity stars like AS0039. Additionally, using the A-SLOTH code, we investigate the probability of finding remnants of Pop II stars with HN signatures in nearby dwarf satellite galaxies. We suggest that the most likely dwarf galaxies to contain HN signatures are massive satellites with a probability of 40% in the range of M_peak~10^{10}-10^{11} solar mass and M_star~10^7-10^8 solar mass, considering observational limitations.


title: LPFormer: An Adaptive Graph Transformer for Link Prediction

abstract: Link prediction is a common task on graph-structured data that has seen applications in a variety of domains. Classically, hand-crafted heuristics were used for this task. Heuristic measures are chosen such that they correlate well with the underlying factors related to link formation. In recent years, a new class of methods has emerged that combines the advantages of message-passing neural networks (MPNN) and heuristics methods. These methods perform predictions by using the output of an MPNN in conjunction with a "pairwise encoding" that captures the relationship between nodes in the candidate link. They have been shown to achieve strong performance on numerous datasets. However, current pairwise encodings often contain a strong inductive bias, using the same underlying factors to classify all links. This limits the ability of existing methods to learn how to properly classify a variety of different links that may form from different factors. To address this limitation, we propose a new method, LPFormer, which attempts to adaptively learn the pairwise encodings for each link. LPFormer models the link factors via an attention module that learns the pairwise encoding that exists between nodes by modeling multiple factors integral to link prediction. Extensive experiments demonstrate that LPFormer can achieve SOTA performance on numerous datasets while maintaining efficiency. The code is available at The code is available at https://github.com/HarryShomer/LPFormer.


title: Iterative Shallow Fusion of Backward Language Model for End-to-End Speech Recognition

abstract: We propose a new shallow fusion (SF) method to exploit an external backward language model (BLM) for end-to-end automatic speech recognition (ASR). The BLM has complementary characteristics with a forward language model (FLM), and the effectiveness of their combination has been confirmed by rescoring ASR hypotheses as post-processing. In the proposed SF, we iteratively apply the BLM to partial ASR hypotheses in the backward direction (i.e., from the possible next token to the start symbol) during decoding, substituting the newly calculated BLM scores for the scores calculated at the last iteration. To enhance the effectiveness of this iterative SF (ISF), we train a partial sentence-aware BLM (PBLM) using reversed text data including partial sentences, considering the framework of ISF. In experiments using an attention-based encoder-decoder ASR system, we confirmed that ISF using the PBLM shows comparable performance with SF using the FLM. By performing ISF, early pruning of prospective hypotheses can be prevented during decoding, and we can obtain a performance improvement compared to applying the PBLM as post-processing. Finally, we confirmed that, by combining SF and ISF, further performance improvement can be obtained thanks to the complementarity of the FLM and PBLM.


title: From Identifiable Causal Representations to Controllable Counterfactual Generation: A Survey on Causal Generative Modeling

abstract: Deep generative models have shown tremendous capability in data density estimation and data generation from finite samples. While these models have shown impressive performance by learning correlations among features in the data, some fundamental shortcomings are their lack of explainability, tendency to induce spurious correlations, and poor out-of-distribution extrapolation. To remedy such challenges, recent work has proposed a shift toward causal generative models. Causal models offer several beneficial properties to deep generative models, such as distribution shift robustness, fairness, and interpretability. Structural causal models (SCMs) describe data-generating processes and model complex causal relationships and mechanisms among variables in a system. Thus, SCMs can naturally be combined with deep generative models. We provide a technical survey on causal generative modeling categorized into causal representation learning and controllable counterfactual generation methods. We focus on fundamental theory, methodology, drawbacks, datasets, and metrics. Then, we cover applications of causal generative models in fairness, privacy, out-of-distribution generalization, precision medicine, and biological sciences. Lastly, we discuss open problems and fruitful research directions for future work in the field.


title: A Data-Driven Density Functional Model for Nuclear Systems

abstract: Through ensemble learning with multitasking and complex connection neural networks, we aggregated nuclear properties, including ground state charge radii, binding energies, and single-particle state information obtained from the Kohn-Sham auxiliary single-particle systems. Compared to traditional density functional theory, our model can more accurately characterize nuclear ground state information. Aiming at binding energy, the root mean square error is reduced to 450 keV. Although the complexity involving the nuclear interaction is skipped, the model has not completely devolved into a black box. Leveraging the correlation between densities and binding energies, we calculate the neutron skin thickness of $^{208}$Pb to be 0.223 fm. This model will advance our understanding of nuclear properties and accelerate the integration of machine learning into modern nuclear physics.


title: Quantum limits of covert target detection

abstract: In covert target detection, Alice attempts to send optical or microwave probes to determine the presence or absence of a weakly-reflecting target embedded in thermal background radiation within a target region, while striving to remain undetected by an adversary, Willie, who is co-located with the target and collects all light that does not return to Alice. We formulate this problem in a realistic setting and derive quantum-mechanical limits on Alice's error probability performance in entanglement-assisted target detection for any fixed level of her detectability by Willie. We demonstrate how Alice can approach this performance limit using two-mode squeezed vacuum probes in the regime of small to moderate background brightness, and how such protocols can outperform any conventional approach using Gaussian-distributed coherent states. In addition, we derive a universal performance bound for non-adversarial quantum illumination without requiring the passive-signature assumption.


title: Hyperspectral In-Memory Computing with Optical Frequency Combs and Programmable Optical Memories

abstract: The rapid advancements in machine learning across numerous industries have amplified the demand for extensive matrix-vector multiplication operations, thereby challenging the capacities of traditional von Neumann computing architectures. To address this, researchers are currently exploring alternatives such as in-memory computing systems to develop faster and more energy-efficient hardware. In particular, there is renewed interest in computing systems based on optics, which could potentially handle matrix-vector multiplication in a more energy-efficient way. Despite promising initial results, developing a highly parallel, programmable, and scalable optical computing system capable of rivaling electronic computing hardware still remains elusive. In this context, we propose a hyperspectral in-memory computing architecture that integrates space multiplexing with frequency multiplexing of optical frequency combs and uses spatial light modulators as a programmable optical memory, thereby boosting the computational throughput and the energy efficiency. We have experimentally demonstrated multiply-accumulate operations with higher than 4-bit precision in both matrix-vector and matrix-matrix multiplications, which suggests the system's potential for a wide variety of deep learning and optimization tasks. This system exhibits extraordinary modularity, scalability, and programmability, effectively transcending the traditional limitations of optics-based computing architectures. Our approach demonstrates the potential to scale beyond peta operations per second, marking a significant step towards achieving high-throughput energy-efficient optical computing.

categories: physics.optics cs.ET cs.LG cs.NE physics.app-ph


title: Pure Exploration in Asynchronous Federated Bandits

abstract: We study the federated pure exploration problem of multi-armed bandits and linear bandits, where $M$ agents cooperatively identify the best arm via communicating with the central server. To enhance the robustness against latency and unavailability of agents that are common in practice, we propose the first federated asynchronous multi-armed bandit and linear bandit algorithms for pure exploration with fixed confidence. Our theoretical analysis shows the proposed algorithms achieve near-optimal sample complexities and efficient communication costs in a fully asynchronous environment. Moreover, experimental results based on synthetic and real-world data empirically elucidate the effectiveness and communication cost-efficiency of the proposed algorithms.


title: Reading Order Matters: Information Extraction from Visually-rich Documents by Token Path Prediction

abstract: Recent advances in multimodal pre-trained models have significantly improved information extraction from visually-rich documents (VrDs), in which named entity recognition (NER) is treated as a sequence-labeling task of predicting the BIO entity tags for tokens, following the typical setting of NLP. However, BIO-tagging scheme relies on the correct order of model inputs, which is not guaranteed in real-world NER on scanned VrDs where text are recognized and arranged by OCR systems. Such reading order issue hinders the accurate marking of entities by BIO-tagging scheme, making it impossible for sequence-labeling methods to predict correct named entities. To address the reading order issue, we introduce Token Path Prediction (TPP), a simple prediction head to predict entity mentions as token sequences within documents. Alternative to token classification, TPP models the document layout as a complete directed graph of tokens, and predicts token paths within the graph as entities. For better evaluation of VrD-NER systems, we also propose two revised benchmark datasets of NER on scanned documents which can reflect real-world scenarios. Experiment results demonstrate the effectiveness of our method, and suggest its potential to be a universal solution to various information extraction tasks on documents.


title: Correcting heading errors in optically pumped magnetometers through microwave interrogation

abstract: We demonstrate how to measure in-situ for heading errors of optically pumped magnetometers in geomagnetic fields. For this, we implement microwave-driven Rabi oscillations and Ramsey interferometry on hyperfine transitions as two independent methods to detect scalar systematics of free induction decay (FID) signals. We showcase the wide applicability of this technique by operating in the challenging parameter regime of compact vapor cells with imperfect pumping and high buffer gas pressure. In this system, we achieve suppression of large inaccuracies arising from nonlinear Zeeman (NLZ) shifts by up to a factor of 10 to levels below 0.6 nT. In the Ramsey method we accomplish this, even in arbitrary magnetic field directions, by employing a hyper-Ramsey protocol and optical pumping with adiabatic power ramps. For the Rabi technique, this level of accuracy is reached, despite associated drive-dependent shifts, by referencing Rabi frequency measurements to a complete atom-microwave coupling model that incorporates the microwave polarization structure.


title: Aiming for Tops of ALPs with a Muon Collider

abstract: Future muon colliders with center-of-mass energy of $\mathcal{O}(1-10)$ TeV can provide a clean high-energy environment with advantages in searches for TeV-scale axion-like particles (ALPs), pseudo-Nambu-Goldstone bosons associated with spontaneously broken global symmetries, which are widely predicted in physics beyond the Standard Model (SM). We exploit ALP couplings to SM fermions, and guided by unitarity constraints, build a search strategy focusing on the ALP decay to top quark pairs at muon colliders. It is found that a large parameter space of TeV-scale ALPs with TeV-scale decay constants can be probed by utilizing the ALP-top quark coupling.


title: Numerical simulation of time fractional Kudryashov Sinelshchikov equation describing the pressure waves in a mixture of liquid and gas bubbles

abstract: This article is concerned with an approximate analytical solution for the time fractional Kudryashov Sinelshchikov equation by using the reproducing kernel Hilbert space method. The main tools of this method are reproducing kernel theory, some important Hilbert spaces, the normal basis, orthogonalisation process, and homogenization. The effectiveness of reproduc ing kernel Hilbert space method is presented through the tables and graphs. These computa tional results indicate that this method is highly accurate and efficient for the time fractional Kudryashov Sinelshchikov equation. Also, it is demonstrated that the approximate solution uniformly converges to exact solution by using reproducing kernel Hilbert space method.


title: On the Relationship of Dichotomy of Mars and Occurrence of Dust Devils with Crustal Magnetic Fields

abstract: The dichotomy referred to as a partition or separation of a whole into two parts and specifically, the dichotomy is very important feature of Mars between the Southern and Northern regions of Mars, and another thing that makes Mars very special that is the occurrence of Dust Devils on Mars. So, we studied and survey the dust devils occurrence on Mars in different Martian Years on the whole Mars. We create a 2D map of Martian Surface and plot the coordinates where the dust devils are captured during their activity and use those locations where they leave the tracks behind them after passing from those locations and those tracks commonly referred to as a Dust Devils Tracks. So, we plot them in two different categories Direct Observations and Indirect Observations of Dust Devils and in the map, we have plotted the locations (coordinates) of DDs shows a variation in locations of occurrences with the Dichotomy the serpent like variation we observed and we find most of the dust devil are occurred on the Dichotomy and the nearby regions of it which follows the serpent like trajectory of dichotomy of Mars and another observation shows that these locations lie on the remanent magnetic fields zones of mars which referred to as crustal magnetic fields of Mars this previously unknown relationship between crustal magnetic fields, dichotomy of mars and occurrence of dust devils is being examined here.


title: Dynamic quantum circuit compilation

abstract: Quantum computing has shown tremendous promise in addressing complex computational problems, yet its practical realization is hindered by the limited availability of qubits for computation. Recent advancements in quantum hardware have introduced mid-circuit measurements and resets, enabling the reuse of measured qubits and significantly reducing the qubit requirements for executing quantum algorithms. In this work, we present a systematic study of dynamic quantum circuit compilation, a process that transforms static quantum circuits into their dynamic equivalents with a reduced qubit count through qubit-reuse. We establish the first general framework for optimizing the dynamic circuit compilation via graph manipulation. In particular, we completely characterize the optimal quantum circuit compilation using binary integer programming, provide efficient algorithms for determining whether a given quantum circuit can be reduced to a smaller circuit and present heuristic algorithms for devising dynamic compilation schemes in general. Furthermore, we conduct a thorough analysis of quantum circuits with practical relevance, offering optimal compilations for well-known quantum algorithms in quantum computation, ansatz circuits utilized in quantum machine learning, and measurement-based quantum computation crucial for quantum networking. We also perform a comparative analysis against state-of-the-art approaches, demonstrating the superior performance of our methods in both structured and random quantum circuits. Our framework lays a rigorous foundation for comprehending dynamic quantum circuit compilation via qubit-reuse, bridging the gap between theoretical quantum algorithms and their physical implementation on quantum computers with limited resources.