title: Multi-UAV Trajectory Design for Fair and Secure Communication

abstract: Unmanned aerial vehicles (UAVs) play an essential role in future wireless communication networks due to their high mobility, low cost, and on-demand deployment. In air-to-ground links, UAVs are widely used to enhance the performance of wireless communication systems due to the presence of high-probability line-of-sight (LoS) links. However, the high probability of LoS links also increases the risk of being eavesdropped, posing a significant challenge to the security of wireless communications. In this work, the secure communication problem in a multi-UAV-assisted communication system is investigated in a moving airborne eavesdropping scenario. To improve the secrecy performance of the considered communication system, aerial eavesdropping capability is suppressed by sending jamming signals from a friendly UAV. An optimization problem under flight conditions, fairness, and limited energy consumption constraints of multiple UAVs is formulated to maximize the fair sum secrecy throughput. Given the complexity and non-convex nature of the problem, we propose a two-step-based optimization approach. The first step employs the $K$-means algorithm to cluster users and associate them with multiple communication UAVs. Then, a multi-agent deep deterministic policy gradient-based algorithm is introduced to solve this optimization problem. The effectiveness of this proposed algorithm is not only theoretically but also rigorously verified by simulation results.


title: Linear Causal Representation Learning from Unknown Multi-node Interventions

abstract: Despite the multifaceted recent advances in interventional causal representation learning (CRL), they primarily focus on the stylized assumption of single-node interventions. This assumption is not valid in a wide range of applications, and generally, the subset of nodes intervened in an interventional environment is fully unknown. This paper focuses on interventional CRL under unknown multi-node (UMN) interventional environments and establishes the first identifiability results for general latent causal models (parametric or nonparametric) under stochastic interventions (soft or hard) and linear transformation from the latent to observed space. Specifically, it is established that given sufficiently diverse interventional environments, (i) identifiability up to ancestors is possible using only soft interventions, and (ii) perfect identifiability is possible using hard interventions. Remarkably, these guarantees match the best-known results for more restrictive single-node interventions. Furthermore, CRL algorithms are also provided that achieve the identifiability guarantees. A central step in designing these algorithms is establishing the relationships between UMN interventional CRL and score functions associated with the statistical models of different interventional environments. Establishing these relationships also serves as constructive proof of the identifiability guarantees.


title: Expressive Power of Graph Neural Networks for (Mixed-Integer) Quadratic Programs

abstract: Quadratic programming (QP) is the most widely applied category of problems in nonlinear programming. Many applications require real-time/fast solutions, though not necessarily with high precision. Existing methods either involve matrix decomposition or use the preconditioned conjugate gradient method. For relatively large instances, these methods cannot achieve the real-time requirement unless there is an effective precondition. Recently, graph neural networks (GNNs) opened new possibilities for QP. Some promising empirical studies of applying GNNs for QP tasks show that GNNs can capture key characteristics of an optimization instance and provide adaptive guidance accordingly to crucial configurations during the solving process, or directly provide an approximate solution. Despite notable empirical observations, theoretical foundations are still lacking. In this work, we investigate the expressive or representative power of GNNs, a crucial aspect of neural network theory, specifically in the context of QP tasks, with both continuous and mixed-integer settings. We prove the existence of message-passing GNNs that can reliably represent key properties of quadratic programs, including feasibility, optimal objective value, and optimal solution. Our theory is validated by numerical results.


title: Revisiting the magnetic responses of bilayer graphene from the perspective of the quantum distance

abstract: We study the influence of the quantum geometry on the magnetic responses of quadratic band crossing semimetals. More explicitly, we examine the Landau levels, quantum Hall effect, and magnetic susceptibility of a general two-band Hamiltonian that has fixed isotropic quadratic band dispersion but with tunable quantum geometry, in which the interband coupling is fully characterized by the maximum quantum distance $d_\mathrm{max}$. By continuously tuning $d_\mathrm{max}$ in the range of $0\leq d_\mathrm{max}\leq 1$, we investigate how the magnetic properties of the free electron model with $d_\mathrm{max}=0$ evolve into those of the bilayer graphene with $d_\mathrm{max}=1$. We demonstrate that despite sharing the same energy dispersion $\epsilon(p) =\pm\frac{p^2}{2m}$, the charge carriers in the free electron model and bilayer graphene exhibit entirely distinct Landau levels and quantum Hall responses due to the nontrivial quantum geometry of the wave functions.


title: M2CVD: Multi-Model Collaboration for Code Vulnerability Detection

abstract: Large Language Models (LLMs) have strong capabilities in code comprehension, but fine-tuning costs and semantic alignment issues limit their project-specific optimization; conversely, code models such CodeBERT are easy to fine-tune, but it is often difficult to learn vulnerability semantics from complex code languages. To address these challenges, this paper introduces the Multi-Model Collaborative Vulnerability Detection approach (M2CVD) that leverages the strong capability of analyzing vulnerability semantics from LLMs to improve the detection accuracy of code models. M2CVD employs a novel collaborative process: first enhancing the quality of vulnerability semantic description produced by LLMs through the understanding of project code by code models, and then using these improved vulnerability semantic description to boost the detection accuracy of code models. We demonstrated M2CVD's effectiveness on two real-world datasets, where M2CVD significantly outperformed the baseline. In addition, we demonstrate that the M2CVD collaborative method can extend to other different LLMs and code models to improve their accuracy in vulnerability detection tasks.


title: Jailbreaking Quantum Computers

abstract: This work presented the first thorough exploration of the attacks on the interface between gate-level and pulse-level quantum circuits and pulse-level quantum circuits themselves. Typically, quantum circuits and programs that execute on quantum computers, are defined using gate-level primitives. However, to improve the expressivity of quantum circuits and to allow better optimization, pulse-level circuits are now often used. The attacks presented in this work leverage the inconsistency between the gate-level description of the custom gate, and the actual, low-level pulse implementation of this gate. By manipulating the custom gate specification, this work proposes numerous attacks: qubit plunder, qubit block, qubit reorder, timing mismatch, frequency mismatch, phase mismatch, and waveform mismatch. This work demonstrates these attacks on the real quantum computer and simulator, and shows that most current software development kits are vulnerable to these new types of attacks. In the end, this work proposes a defense framework. The exploration of security and privacy issues of the rising pulse-level quantum circuits provides insight into the future development of secure quantum software development kits and quantum computer systems.


title: SETC: A Vulnerability Telemetry Collection Framework

abstract: As emerging software vulnerabilities continuously threaten enterprises and Internet services, there is a critical need for improved security research capabilities. This paper introduces the Security Exploit Telemetry Collection (SETC) framework - an automated framework to generate reproducible vulnerability exploit data at scale for robust defensive security research. SETC deploys configurable environments to execute and record rich telemetry of vulnerability exploits within isolated containers. Exploits, vulnerable services, monitoring tools, and logging pipelines are defined via modular JSON configurations and deployed on demand. Compared to current manual processes, SETC enables automated, customizable, and repeatable vulnerability testing to produce diverse security telemetry. This research enables scalable exploit data generation to drive innovations in threat modeling, detection methods, analysis techniques, and remediation strategies. The capabilities of the framework are demonstrated through an example scenario. By addressing key barriers in security data generation, SETC represents a valuable platform to support impactful vulnerability and defensive security research.


title: Minimal Cuts and Genealogical Constraints on Feynman Integrals

abstract: We introduce an efficient method for deriving hierarchical constraints on the discontinuities of individual Feynman integrals. This method can be applied at any loop order and particle multiplicity, and to any configuration of massive or massless virtual particles. The resulting constraints hold to all orders in dimensional regularization, and complement the extended Steinmann relations -- which restrict adjacent sequential discontinuities -- by disallowing ordered pairs of discontinuities from appearing even when separated by (any number of) other discontinuities. We focus on a preferred class of hierarchical constraints, which we refer to as \emph{genealogical constraints}, that govern what singularities can follow from certain \emph{minimal cuts} that act as the primogenitors of the discontinuities that appear in Feynman integrals. While deriving the full set of hierarchical constraints on a given Feynman integral generally requires identifying all solutions to the (blown up) Landau equations, these genealogical constraints can be worked out with only minimal information about what singularities may appear. We illustrate the power of this new method in examples at one, two, and three loops, and provide evidence that genealogical constraints restrict the analytic structure of Feynman integrals significantly more than the extended Steinmann relations.


title: Embedding Network Autoregression for time series analysis and causal peer effect inference

abstract: We propose an Embedding Network Autoregressive Model (ENAR) for multivariate networked longitudinal data. We assume the network is generated from a latent variable model, and these unobserved variables are included in a structural peer effect model or a time series network autoregressive model as additive effects. This approach takes a unified view of two related problems, (1) modeling and predicting multivariate time series data and (2) causal peer influence estimation in the presence of homophily from finite time longitudinal data. Our estimation strategy comprises estimating latent factors from the observed network adjacency matrix either through spectral embedding or maximum likelihood estimation, followed by least squares estimation of the network autoregressive model. We show that the estimated momentum and peer effect parameters are consistent and asymptotically normal in asymptotic setups with a growing number of network vertices N while including a growing number of time points T and finite T cases. We allow the number of latent vectors K to grow at appropriate rates, which improves upon existing rates when such results are available for related models.


title: Machine Unlearning for Uplink Interference Cancellation

abstract: Machine unlearning (MUL) is introduced as a means to achieve interference cancellation within artificial intelligence (AI)-enabled wireless systems. It is observed that interference cancellation with MUL demonstrates $30\%$ improvement in a classification task accuracy in the presence of a corrupted AI model. Accordingly, the necessity for instantaneous channel state information for existing interference source is eliminated and a corrupted latent space with interference noise is cleansed with MUL algorithm, achieving this without the necessity for either retraining or dataset cleansing. A Membership Interference Attack (MIA) served as a benchmark for assessing the efficacy of MUL in mitigating interference within a neural network model. The advantage of the MUL algorithm was determined by evaluating both the probability of interference and the quantity of samples requiring retraining. In a simple signal-to-noise ratio classification task, the comprehensive improvement across various test cases in terms of accuracy demonstrates that MUL exhibits extensive capabilities and limitations, particularly in native AI applications.


title: Safety Alignment Should Be Made More Than Just a Few Tokens Deep

abstract: The safety alignment of current Large Language Models (LLMs) is vulnerable. Relatively simple attacks, or even benign fine-tuning, can jailbreak aligned models. We argue that many of these vulnerabilities are related to a shared underlying issue: safety alignment can take shortcuts, wherein the alignment adapts a model's generative distribution primarily over only its very first few output tokens. We refer to this issue as shallow safety alignment. In this paper, we present case studies to explain why shallow safety alignment can exist and provide evidence that current aligned LLMs are subject to this issue. We also show how these findings help explain multiple recently discovered vulnerabilities in LLMs, including the susceptibility to adversarial suffix attacks, prefilling attacks, decoding parameter attacks, and fine-tuning attacks. Importantly, we discuss how this consolidated notion of shallow safety alignment sheds light on promising research directions for mitigating these vulnerabilities. For instance, we show that deepening the safety alignment beyond just the first few tokens can often meaningfully improve robustness against some common exploits. Finally, we design a regularized finetuning objective that makes the safety alignment more persistent against fine-tuning attacks by constraining updates on initial tokens. Overall, we advocate that future safety alignment should be made more than just a few tokens deep.


title: Accent Conversion with Articulatory Representations

abstract: Conversion of non-native accented speech to native (American) English has a wide range of applications such as improving intelligibility of non-native speech. Previous work on this domain has used phonetic posteriograms as the target speech representation to train an acoustic model which is then used to extract a compact representation of input speech for accent conversion. In this work, we introduce the idea of using an effective articulatory speech representation, extracted from an acoustic-to-articulatory speech inversion system, to improve the acoustic model used in accent conversion. The idea to incorporate articulatory representations originates from their ability to well characterize accents in speech. To incorporate articulatory representations with conventional phonetic posteriograms, a multi-task learning based acoustic model is proposed. Objective and subjective evaluations show that the use of articulatory representations can improve the effectiveness of accent conversion.


title: Chain-of-Scrutiny: Detecting Backdoor Attacks for Large Language Models

abstract: Backdoor attacks present significant threats to Large Language Models (LLMs), particularly with the rise of third-party services that offer API integration and prompt engineering. Untrustworthy third parties can plant backdoors into LLMs and pose risks to users by embedding malicious instructions into user queries. The backdoor-compromised LLM will generate malicious output when and input is embedded with a specific trigger predetermined by an attacker. Traditional defense strategies, which primarily involve model parameter fine-tuning and gradient calculation, are inadequate for LLMs due to their extensive computational and clean data requirements. In this paper, we propose a novel solution, Chain-of-Scrutiny (CoS), to address these challenges. Backdoor attacks fundamentally create a shortcut from the trigger to the target output, thus lack reasoning support. Accordingly, CoS guides the LLMs to generate detailed reasoning steps for the input, then scrutinizes the reasoning process to ensure consistency with the final answer. Any inconsistency may indicate an attack. CoS only requires black-box access to LLM, offering a practical defense, particularly for API-accessible LLMs. It is user-friendly, enabling users to conduct the defense themselves. Driven by natural language, the entire defense process is transparent to users. We validate the effectiveness of CoS through extensive experiments across various tasks and LLMs. Additionally, experiments results shows CoS proves more beneficial for more powerful LLMs.


title: Coconut Libtool: Bridging Textual Analysis Gaps for Non-Programmers

abstract: In the era of big and ubiquitous data, professionals and students alike are finding themselves needing to perform a number of textual analysis tasks. Historically, the general lack of statistical expertise and programming skills has stopped many with humanities or social sciences backgrounds from performing and fully benefiting from such analyses. Thus, we introduce Coconut Libtool (www.coconut-libtool.com/), an open-source, web-based application that utilizes state-of-the-art natural language processing (NLP) technologies. Coconut Libtool analyzes text data from customized files and bibliographic databases such as Web of Science, Scopus, and Lens. Users can verify which functions can be performed with the data they have. Coconut Libtool deploys multiple algorithmic NLP techniques at the backend, including topic modeling (LDA, Biterm, and BERTopic algorithms), network graph visualization, keyword lemmatization, and sunburst visualization. Coconut Libtool is the people-first web application designed to be used by professionals, researchers, and students in the information sciences, digital humanities, and computational social sciences domains to promote transparency, reproducibility, accessibility, reciprocity, and responsibility in research practices.


title: Economic and Environmental Sustainability Through Reshoring: A Case Study

abstract: Not too long ago, offshoring was considered a panacea for many U.S. companies to achieve economic sustainability. Offshoring also created an unnecessary movement of goods between the point of consumption and the point of sourcing and hence contributed to greenhouse gas emissions. With many things changed, hundreds of U.S. companies have started Reshoring. Due to supply chain disruptions and increased tax implications, including tariffs, there is a growing desire among companies to achieve economic and environmental sustainability through reshoring. This model case study highlighted the common offshoring challenges and demonstrated new methods/solutions for the companies to save their bottom line. Using the Reshorability Index (RI) and Total Cost of Ownership (TCO) we developed a model to show which products or components we should bring back to the U.S. instead of continuing offshoring. From this study, we have found out that reshoring is not only an economically profitable decision but also has a positive impact on reducing GHG (Greenhouse Gas) emissions. Our research found that the companies that currently offshore heavy products will benefit more from implementing our developed model. Leveraging this model, industries can identify, and compare the ownership cost of their purchased materials and take the decision on potential reshoring. Additionally, companies will be able to calculate the GHG emission and identify the reduction of such emissions due to reshoring.


title: Open-Vocabulary Part-Based Grasping

abstract: Many robotic applications require to grasp objects not arbitrarily but at a very specific object part. This is especially important for manipulation tasks beyond simple pick-and-place scenarios or in robot-human interactions, such as object handovers. We propose AnyPart, a practical system that combines open-vocabulary object detection, open-vocabulary part segmentation and 6DOF grasp pose prediction to infer a grasp pose on a specific part of an object in 800 milliseconds. We contribute two new datasets for the task of open-vocabulary part-based grasping, a hand-segmented dataset containing 1014 object-part segmentations, and a dataset of real-world scenarios gathered during our robot trials for individual objects and table-clearing tasks. We evaluate AnyPart on a mobile manipulator robot using a set of 28 common household objects over 360 grasping trials. AnyPart is capable of producing successful grasps 69.52 %, when ignoring robot-based grasp failures, AnyPart predicts a grasp location on the correct part 88.57 % of the time.


title: Angular momentum transport via gravitational instability in the Elias 2-27 disc

abstract: Gravitational instability is thought to be one of the main drivers of angular momentum transport in young protoplanetary discs. The disc around Elias 2-27 offers a unique example of gravitational instability at work. It is young and massive, displaying two prominent spiral arms in dust continuum emission and global non-axisymmetric kinematic signatures in molecular line data. In this work, we used archival ALMA observations of $^{13}$CO line emission to measure the efficiency of angular momentum transport in the Elias 2-27 system through the kinematic signatures generated by gravitational instability, known as 'GI wiggles'. Assuming the angular momentum is transported by the observed spiral structure and leveraging previously-derived dynamical disc mass measurements, the amount of angular momentum transport we found corresponds to an $\alpha-$viscosity of $\alpha=0.038\pm0.018$. This value implies an accretion rate onto the central star of $\log_{10}\dot{M}_\star=-6.99\pm0.17\text{M}_\odot/\text{yr, which}$ reproduces the one observed value of $\log_{10}\dot{M}_{\star,\text{obs}}=-7.2\pm0.5\text{M}_\odot/\text{yr }$ very well. The excellent agreement we have found serves as further proof that gravitational instability is the main driver of angular momentum transport acting in this system.


title: Decoupling regularization from the action space

abstract: Regularized reinforcement learning (RL), particularly the entropy-regularized kind, has gained traction in optimal control and inverse RL. While standard unregularized RL methods remain unaffected by changes in the number of actions, we show that it can severely impact their regularized counterparts. This paper demonstrates the importance of decoupling the regularizer from the action space: that is, to maintain a consistent level of regularization regardless of how many actions are involved to avoid over-regularization. Whereas the problem can be avoided by introducing a task-specific temperature parameter, it is often undesirable and cannot solve the problem when action spaces are state-dependent. In the state-dependent action context, different states with varying action spaces are regularized inconsistently. We introduce two solutions: a static temperature selection approach and a dynamic counterpart, universally applicable where this problem arises. Implementing these changes improves performance on the DeepMind control suite in static and dynamic temperature regimes and a biological sequence design task.


title: Aligning Large Language Models with Representation Editing: A Control Perspective

abstract: Aligning large language models (LLMs) with human objectives is crucial for real-world applications. However, fine-tuning LLMs for alignment often suffers from unstable training and requires substantial computing resources. Test-time alignment techniques, such as prompting and guided decoding, do not modify the underlying model, and their performance remains dependent on the original model's capabilities. To address these challenges, we propose aligning LLMs through representation editing. The core of our method is to view a pre-trained autoregressive LLM as a discrete-time stochastic dynamical system. To achieve alignment for specific objectives, we introduce external control signals into the state space of this language dynamical system. We train a value function directly on the hidden states according to the Bellman equation, enabling gradient-based optimization to obtain the optimal control signals at test time. Our experiments demonstrate that our method outperforms existing test-time alignment techniques while requiring significantly fewer resources compared to fine-tuning methods.


title: Turbo Sparse: Achieving LLM SOTA Performance with Minimal Activated Parameters

abstract: Exploiting activation sparsity is a promising approach to significantly accelerating the inference process of large language models (LLMs) without compromising performance. However, activation sparsity is determined by activation functions, and commonly used ones like SwiGLU and GeGLU exhibit limited sparsity. Simply replacing these functions with ReLU fails to achieve sufficient sparsity. Moreover, inadequate training data can further increase the risk of performance degradation. To address these challenges, we propose a novel dReLU function, which is designed to improve LLM activation sparsity, along with a high-quality training data mixture ratio to facilitate effective sparsification. Additionally, we leverage sparse activation patterns within the Feed-Forward Network (FFN) experts of Mixture-of-Experts (MoE) models to further boost efficiency. By applying our neuron sparsification method to the Mistral and Mixtral models, only 2.5 billion and 4.3 billion parameters are activated per inference iteration, respectively, while achieving even more powerful model performance. Evaluation results demonstrate that this sparsity achieves a 2-5x decoding speedup. Remarkably, on mobile phones, our TurboSparse-Mixtral-47B achieves an inference speed of 11 tokens per second. Our models are available at \url{https://huggingface.co/PowerInfer}


title: Traveling Wave Solutions to Brenner-Navier-Stokes-Fourier system

abstract: As a continuum model for compressible fluid flows, Howard Brenner proposed the so-called Brenner-Navier-Stokes-Fourier(BNSF) system that improves some flaws of the Navier-Stokes-Fourier(NSF) system. For BNSF system, the volume velocity concept is introduced and is far different from the mass velocity of NSF, since the density of a compressible fluid is inhomogeneous. Although BNSF was introduced more than ten years ago, the mathematical study on BNSF is still in its infancy. We consider the BNSF system in the Lagrangian mass coordinates. We prove the existence and uniqueness of monotone traveling wave solutions to the BNSF system. We also present some quantitative estimates for them.


title: Photoinduced non-reciprocal magnetism

abstract: Out of equilibrium, the action-reaction symmetry of the interactions is often broken, leading to the emergence of various collective phenomena with no equilibrium counterparts. Although ubiquitous in classical active systems, implementing such non-reciprocal interactions in solid-state systems has remained challenging, as the known quantum schemes require precise control over the system on a single-site level. Here, we propose a novel dissipation-engineering protocol to induce non-reciprocal interactions in solid-state platforms with light, which we expect to be achievable with state-of-the-art experimental techniques. Focusing on magnetic metals for concreteness, we show microscopically that a light injection that introduces the decay channel to a virtually excited state gives rise to non-reciprocal interactions between localized spins. One can even realize a situation where spin A tries to align with spin B but the B tries the opposite, resulting in a chase-and-runaway dynamics. Applying our scheme to layered ferromagnets, we show that a non-reciprocal phase transition from a static to a many-body time-dependent chiral phase emerges. Our work paves the way to bring solid-state systems to the realm of non-reciprocal science, providing yet another possibility to control quantum matter with light.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.soft cond-mat.stat-mech


title: Speedup of high-order unconstrained binary optimization using quantum Z2 lattice gauge theory

abstract: How to quickly solve the problem of high-order unconstrained binary optimization (HUBO) has attracted much attention, because of its importance and wide-range applications. Here we implement HUBO using a quantum adiabatic algorithm and achieve algorithmic speedup by introducing gauge symmetry into the algorithm. Gauge symmetry enforces the state to be in the instantaneous ground state, further speeding up the computation. Specifically we map the HUBO problem to quantum Z2 lattice gauge theory defined on the dual graph. The gauge operators are found by using the closed-loop-search algorithm, and subsequently the speedup scheme with gauge symmetry for HUBO problem is developed. As an example demonstrated in the classical computers, we present the mathematical formulation of our speedup scheme and propose the so-called gauged local annealing (gLQA) , which is the local quantum annealing (LQA) protected by the gauge symmetry. We then use gLQA to calculate the ground state energy of the Z2 gauge theory. gLQA reduces the computational time by one order of magnitude from that of LQA.


title: MAGNOLIA: Matching Algorithms via GNNs for Online Value-to-go Approximation

abstract: Online Bayesian bipartite matching is a central problem in digital marketplaces and exchanges, including advertising, crowdsourcing, ridesharing, and kidney exchange. We introduce a graph neural network (GNN) approach that emulates the problem's combinatorially-complex optimal online algorithm, which selects actions (e.g., which nodes to match) by computing each action's value-to-go (VTG) -- the expected weight of the final matching if the algorithm takes that action, then acts optimally in the future. We train a GNN to estimate VTG and show empirically that this GNN returns high-weight matchings across a variety of tasks. Moreover, we identify a common family of graph distributions in spatial crowdsourcing applications, such as rideshare, under which VTG can be efficiently approximated by aggregating information within local neighborhoods in the graphs. This structure matches the local behavior of GNNs, providing theoretical justification for our approach.


title: On Conjecture of Binomial Edge Ideals of Linear Type

abstract: An ideal $I$ of a commutative ring $R$ is said to be of {\emph{linear type}} when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$ is a tree or a unicyclic graph, then the binomial edge ideal of $G$ is of linear type. Our investigation validates this conjecture for trees. However, our study reveals that not all unicyclic graphs adhere to this conjecture. Furthermore, we provide an explicit description of the defining ideal of the Rees algebra of binomial edge ideals of trees and demonstrate that these algebras are Cohen-Macaulay. Finally, we conclude the equality between symbolic powers and ordinary powers of binomial edge ideals of trees.


title: BS-PLCNet 2: Two-stage Band-split Packet Loss Concealment Network with Intra-model Knowledge Distillation

abstract: Audio packet loss is an inevitable problem in real-time speech communication. A band-split packet loss concealment network (BS-PLCNet) targeting full-band signals was recently proposed. Although it performs superiorly in the ICASSP 2024 PLC Challenge, BS-PLCNet is a large model with high computational complexity of 8.95G FLOPS. This paper presents its updated version, BS-PLCNet 2, to reduce computational complexity and improve performance further. Specifically, to compensate for the missing future information, in the wide-band module, we design a dual-path encoder structure (with non-causal and causal path) and leverage an intra-model knowledge distillation strategy to distill the future information from the non-causal teacher to the casual student. Moreover, we introduce a lightweight post-processing module after packet loss restoration to recover speech distortions and remove residual noise in the audio signal. With only 40% of original parameters in BS-PLCNet, BS-PLCNet 2 brings 0.18 PLCMOS improvement on the ICASSP 2024 PLC challenge blind set, achieving state-of-the-art performance on this dataset.


title: Data Caching for Enterprise-Grade Petabyte-Scale OLAP

abstract: With the exponential growth of data and evolving use cases, petabyte-scale OLAP data platforms are increasingly adopting a model that decouples compute from storage. This shift, evident in organizations like Uber and Meta, introduces operational challenges including massive, read-heavy I/O traffic with potential throttling, as well as skewed and fragmented data access patterns. Addressing these challenges, this paper introduces the Alluxio local (edge) cache, a highly effective architectural optimization tailored for such environments. This embeddable cache, optimized for petabyte-scale data analytics, leverages local SSD resources to alleviate network I/O and API call pressures, significantly improving data transfer efficiency. Integrated with OLAP systems like Presto and storage services like HDFS, the Alluxio local cache has demonstrated its effectiveness in handling large-scale, enterprise-grade workloads over three years of deployment at Uber and Meta. We share insights and operational experiences in implementing these optimizations, providing valuable perspectives on managing modern, massive-scale OLAP workloads.


title: Solution for SMART-101 Challenge of CVPR Multi-modal Algorithmic Reasoning Task 2024

abstract: In this paper, the solution of HYU MLLAB KT Team to the Multimodal Algorithmic Reasoning Task: SMART-101 CVPR 2024 Challenge is presented. Beyond conventional visual question-answering problems, the SMART-101 challenge aims to achieve human-level multimodal understanding by tackling complex visio-linguistic puzzles designed for children in the 6-8 age group. To solve this problem, we suggest two main ideas. First, to utilize the reasoning ability of a large-scale language model (LLM), the given visual cues (images) are grounded in the text modality. For this purpose, we generate highly detailed text captions that describe the context of the image and use these captions as input for the LLM. Second, due to the nature of puzzle images, which often contain various geometric visual patterns, we utilize an object detection algorithm to ensure these patterns are not overlooked in the captioning process. We employed the SAM algorithm, which can detect various-size objects, to capture the visual features of these geometric patterns and used this information as input for the LLM. Under the puzzle split configuration, we achieved an option selection accuracy Oacc of 29.5 on the test set and a weighted option selection accuracy (WOSA) of 27.1 on the challenge set.


abstract: In this study, we propose a machine learning method called Distributionally Robust Safe Sample Screening (DRSSS). DRSSS aims to identify unnecessary training samples, even when the distribution of the training samples changes in the future. To achieve this, we effectively combine the distributionally robust (DR) paradigm, which aims to enhance model robustness against variations in data distribution, with the safe sample screening (SSS), which identifies unnecessary training samples prior to model training. Since we need to consider an infinite number of scenarios regarding changes in the distribution, we applied SSS because it does not require model training after the change of the distribution. In this paper, we employed the covariate shift framework to represent the distribution of training samples and reformulated the DR covariate-shift problem as a weighted empirical risk minimization problem, where the weights are subject to uncertainty within a predetermined range. By extending the existing SSS technique to accommodate this weight uncertainty, the DRSSS method is capable of reliably identifying unnecessary samples under any future distribution within a specified range. We provide a theoretical guarantee for the DRSSS method and validate its performance through numerical experiments on both synthetic and real-world datasets.


title: MakeSinger: A Semi-Supervised Training Method for Data-Efficient Singing Voice Synthesis via Classifier-free Diffusion Guidance

abstract: In this paper, we propose MakeSinger, a semi-supervised training method for singing voice synthesis (SVS) via classifier-free diffusion guidance. The challenge in SVS lies in the costly process of gathering aligned sets of text, pitch, and audio data. MakeSinger enables the training of the diffusion-based SVS model from any speech and singing voice data regardless of its labeling, thereby enhancing the quality of generated voices with large amount of unlabeled data. At inference, our novel dual guiding mechanism gives text and pitch guidance on the reverse diffusion step by estimating the score of masked input. Experimental results show that the model trained in a semi-supervised manner outperforms other baselines trained only on the labeled data in terms of pronunciation, pitch accuracy and overall quality. Furthermore, we demonstrate that by adding Text-to-Speech (TTS) data in training, the model can synthesize the singing voices of TTS speakers even without their singing voices.


title: Approximating arrival costs in distributed moving horizon estimation: A recursive method

abstract: In this paper, we present a new approach to distributed moving horizon estimation for constrained nonlinear processes. The method involves approximating the arrival costs of local estimators through a recursive framework. First, distributed full-information estimation for linear unconstrained systems is presented, which serves as the foundation for deriving the analytical expression of the arrival costs for the local estimators. Subsequently, we develop a recursive arrival cost design for linear distributed moving horizon estimation. Sufficient conditions are derived to ensure the stability of the estimation error for constrained linear systems. Next, we extend the arrival cost design derived for linear systems to account for nonlinear systems, and a partition-based constrained distributed moving horizon estimation algorithm for nonlinear systems is formulated. A benchmark chemical process is used to illustrate the effectiveness and superiority of the proposed method.


title: CVQA: Culturally-diverse Multilingual Visual Question Answering Benchmark

abstract: Visual Question Answering (VQA) is an important task in multimodal AI, and it is often used to test the ability of vision-language models to understand and reason on knowledge present in both visual and textual data. However, most of the current VQA models use datasets that are primarily focused on English and a few major world languages, with images that are typically Western-centric. While recent efforts have tried to increase the number of languages covered on VQA datasets, they still lack diversity in low-resource languages. More importantly, although these datasets often extend their linguistic range via translation or some other approaches, they usually keep images the same, resulting in narrow cultural representation. To address these limitations, we construct CVQA, a new Culturally-diverse multilingual Visual Question Answering benchmark, designed to cover a rich set of languages and cultures, where we engage native speakers and cultural experts in the data collection process. As a result, CVQA includes culturally-driven images and questions from across 28 countries on four continents, covering 26 languages with 11 scripts, providing a total of 9k questions. We then benchmark several Multimodal Large Language Models (MLLMs) on CVQA, and show that the dataset is challenging for the current state-of-the-art models. This benchmark can serve as a probing evaluation suite for assessing the cultural capability and bias of multimodal models and hopefully encourage more research efforts toward increasing cultural awareness and linguistic diversity in this field.


title: Prompting Large Language Models with Audio for General-Purpose Speech Summarization

abstract: In this work, we introduce a framework for speech summarization that leverages the processing and reasoning capabilities of large language models (LLMs). We propose an end-to-end system that combines an instruction-tuned LLM with an audio encoder that converts speech into token representations that the LLM can interpret. Using a dataset with paired speech-text data, the overall system is trained to generate consistent responses to prompts with the same semantic information regardless of the input modality. The resulting framework allows the LLM to process speech inputs in the same way as text, enabling speech summarization by simply prompting the LLM. Unlike prior approaches, our method is able to summarize spoken content from any arbitrary domain, and it can produce summaries in different styles by varying the LLM prompting strategy. Experiments demonstrate that our approach outperforms a cascade baseline of speech recognition followed by LLM text processing.


title: Visual-Inertial SLAM as Simple as A, B, VINS

abstract: We present AB-VINS, a different kind of visual-inertial SLAM system. Unlike most VINS systems which only use hand-crafted techniques, AB-VINS makes use of three different deep networks. Instead of estimating sparse feature positions, AB-VINS only estimates the scale and bias parameters (a and b) of monocular depth maps, as well as other terms to correct the depth using multi-view information which results in a compressed feature state. Despite being an optimization-based system, the main VIO thread of AB-VINS surpasses the efficiency of a state-of-the-art filter-based method while also providing dense depth. While state-of-the-art loop-closing SLAM systems have to relinearize a number of variables linear the number of keyframes, AB-VINS can perform loop closures while only affecting a constant number of variables. This is due to a novel data structure called the memory tree, in which the keyframe poses are defined relative to each other rather than all in one global frame, allowing for all but a few states to be fixed. AB-VINS is not as accurate as state-of-the-art VINS systems, but it is shown through careful experimentation to be more robust.


title: Simultaneous Enhancement of Tritium Burn Efficiency and Fusion Power with Low-Tritium Spin-Polarized Fuel

abstract: This study demonstrates that using spin-polarized deuterium-tritium (D-T) fuel with more deuterium than tritium can increase tritium burn efficiency (TBE) by at least an order of magnitude without compromising fusion power output, compared to unpolarized fuel. Although previous studies show that a low tritium fraction can enhance TBE, this strategy resulted in reduced fusion power density. The surprising improvement in TBE at fixed power reported here is due to the TBE increasing nonlinearly with decreasing tritium fraction but the fusion power density increasing roughly linearly with D-T cross section. A study is performed for an ARC-like tokamak producing 482 MW of fusion power with unpolarized 51:49 D-T fuel, finding the minimum startup tritium inventory ($I_{\mathrm{startup,min}}$) is 0.69 kg. By spin-polarizing half of the fuel and using a 57:43 D-T mix, $I_{\mathrm{startup,min}}$ is reduced to 0.08 kg, and fully spin-polarizing the fuel with a 61:39 D-T mix further reduces $I_{\mathrm{startup,min}}$ to 0.03 kg. Some ARC-like scenarios could achieve plasma ignition with relatively modest spin polarization. These findings indicate that, with advancements in helium divertor pumping efficiency, TBE values of approximately 10-40% could be achieved using low-tritium-fraction and spin-polarized fuel with minimal power loss. This would dramatically lower tritium startup inventory requirements and reduce the amount of on-site tritium. More generally than just for spin-polarized fuels, high plasma performance can be used to increase TBE. This strongly motivates the development of spin-polarized fuels and low-tritium-fraction operation for burning plasmas.


title: Deformations of swallowtails in a 3-dimensional space form

abstract: This is a continuation of the authors' earlier work on deformations of cuspidal edges. We give a representation formula for swallowtails in the Euclidean 3-space. Using this, we investigate map germs of generic swallowtails in 3-dimensional space from, and show some important properties of them. In particular, we give a representation formula giving all map germs of swallowtails in the Euclidean 3-space whose Gaussian curvatures are bounded from below by a positive constant or by a negative constant from above. Using this, we show that any swallowtails are deformed into a swallowtail of constant Gaussian curvature preserving the sign of their Gaussian curvatures.


title: Decision-Making Behavior Evaluation Framework for LLMs under Uncertain Context

abstract: When making decisions under uncertainty, individuals often deviate from rational behavior, which can be evaluated across three dimensions: risk preference, probability weighting, and loss aversion. Given the widespread use of large language models (LLMs) in decision-making processes, it is crucial to assess whether their behavior aligns with human norms and ethical expectations or exhibits potential biases. Several empirical studies have investigated the rationality and social behavior performance of LLMs, yet their internal decision-making tendencies and capabilities remain inadequately understood. This paper proposes a framework, grounded in behavioral economics, to evaluate the decision-making behaviors of LLMs. Through a multiple-choice-list experiment, we estimate the degree of risk preference, probability weighting, and loss aversion in a context-free setting for three commercial LLMs: ChatGPT-4.0-Turbo, Claude-3-Opus, and Gemini-1.0-pro. Our results reveal that LLMs generally exhibit patterns similar to humans, such as risk aversion and loss aversion, with a tendency to overweight small probabilities. However, there are significant variations in the degree to which these behaviors are expressed across different LLMs. We also explore their behavior when embedded with socio-demographic features, uncovering significant disparities. For instance, when modeled with attributes of sexual minority groups or physical disabilities, Claude-3-Opus displays increased risk aversion, leading to more conservative choices. These findings underscore the need for careful consideration of the ethical implications and potential biases in deploying LLMs in decision-making scenarios. Therefore, this study advocates for developing standards and guidelines to ensure that LLMs operate within ethical boundaries while enhancing their utility in complex decision-making environments.


title: Well-posedness for a class of pseudo-differential hyperbolic equations on the torus

abstract: In this paper we establish the well-posedness of the Cauchy problem for a class of pseudo-differential hyperbolic equations on the torus. The class considered here includes a space-like fractional order Laplacians. By applying the toroidal pseudo-differential calculus we establish regularity estimates, existence and uniqueness in the scale of the standard Sobolev spaces on the torus


title: Inter-slice Super-resolution of Magnetic Resonance Images by Pre-training and Self-supervised Fine-tuning

abstract: In clinical practice, 2D magnetic resonance (MR) sequences are widely adopted. While individual 2D slices can be stacked to form a 3D volume, the relatively large slice spacing can pose challenges for both image visualization and subsequent analysis tasks, which often require isotropic voxel spacing. To reduce slice spacing, deep-learning-based super-resolution techniques are widely investigated. However, most current solutions require a substantial number of paired high-resolution and low-resolution images for supervised training, which are typically unavailable in real-world scenarios. In this work, we propose a self-supervised super-resolution framework for inter-slice super-resolution of MR images. Our framework is first featured by pre-training on video dataset, as temporal correlation of videos is found beneficial for modeling the spatial relation among MR slices. Then, we use public high-quality MR dataset to fine-tune our pre-trained model, for enhancing awareness of our model to medical data. Finally, given a target dataset at hand, we utilize self-supervised fine-tuning to further ensure our model works well with user-specific super-resolution tasks. The proposed method demonstrates superior performance compared to other self-supervised methods and also holds the potential to benefit various downstream applications.


title: Divisibility of class numbers of quadratic fields and a conjecture of Iizuka

abstract: Assume $x,\ y,\ n$ are positive integers and $n$ is odd. In this note, we show that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{x^{2}-y^{n}})$ is divisible by $n$ for fixed $x, n$ if $\gcd(2x,y)=1$ and $y>C$ where $C$ is a constant depending only on $x$ and $n$. Based on this result, for any odd integer $n$ and any positive integer $m$, we construct an infinite family of $m+1$ successive imaginary quadratic fields $\mathbb{Q}(\sqrt{d})$, $\mathbb{Q}(\sqrt{d+1^{2}})$, $\cdots$, $\mathbb{Q}(\sqrt{d+m^{2}})$ $(d\in \mathbb{Z})$ whose class numbers are all divisible by $n$.


title: Dynamic Virtual Power Plants With Frequency Regulation Capacity

abstract: For integrating heterogeneous distributed energy resources to provide fast frequency regulation, this paper proposes a dynamic virtual power plant~(DVPP) with frequency regulation capacity. A parameter anonymity-based approach is established for DVPP aggregating small-scaled inverter-based resources~(IBRs) with privacy concerns. On this basis, a parameter-to-performance mapping is formulated to evaluate how control coefficients impact the DVPP-level power overshoot as well as the IBR-level costs. The objective is to design the best way to provide the frequency response with minimal impacts on grid and the most financial gains. Numerical experiments illustrate the effectiveness of the proposed approach and further analysis validates that our models are able to take dead bands into consideration.


title: Weighted KL-Divergence for Document Ranking Model Refinement

abstract: Transformer-based retrieval and reranking models for text document search are often refined through knowledge distillation together with contrastive learning. A tight distribution matching between the teacher and student models can be hard as over-calibration may degrade training effectiveness when a teacher does not perform well. This paper contrastively reweights KL divergence terms to prioritize the alignment between a student and a teacher model for proper separation of positive and negative documents. This paper analyzes and evaluates the proposed loss function on the MS MARCO and BEIR datasets to demonstrate its effectiveness in improving the relevance of tested student models.


title: Deep Search for Phosphine in a Prestellar Core

abstract: Understanding in which chemical forms phosphorus exists in star- and planet-forming regions and how phosphorus is delivered to planets are of great interest from the viewpoint of the origin of life on Earth. Phosphine (PH3) is thought to be a key species to understanding phosphorus chemistry, but never has been detected in star- and planet-forming regions. We performed sensitive observations of the ortho-PH3 $1_0-0_0$ transition (266.944 GHz) toward the low-mass prestellar core L1544 with the ACA stand-alone mode of ALMA. The line was not detected down to 3$\sigma$ levels in 0.07 km s$^{-1}$ channels of 18 mK. The non-detection provides the upper limit to the gas-phase PH3 abundance of $5\times10^{-12}$ with respect to H2 in the central part of the core. Based on the gas-ice astrochemical modeling, we find the scaling relationship between the gas-phase PH3 abundance and the volatile (gas and ice with larger volatility than water) P elemental abundance for given physical conditions. This characteristic and well-constrained physical properties of L1544 allow us to constrain the upper limit to the volatile P elemental abundance of $5\times10^{-9}$, which is a factor of 60 lower than the overall P abundance in the ISM. Then the majority of P should exist in refractory forms. The volatile P elemental abundance of L1544 is smaller than that in the coma of comet 67P/C-G, implying that the conversion of refractory phosphorus to volatile phosphorus could have occurred along the trail from the presolar core to the protosolar disk through e.g., sputtering by accretion/outflow shocks.


title: Robustly non-convex hypersurfaces in contact manifolds

abstract: We construct the first examples of hypersurfaces in any contact manifold of dimension 5 and larger that cannot be $C^2$-approximated by convex hypersurfaces. This contrasts sharply with the foundational result of Giroux in dimension $3$ and the work of Honda-Huang in the $C^0$ setting. The main technical step is the construction of a Bonatti-Diaz type blender in the contact setting.


title: Causality-inspired Latent Feature Augmentation for Single Domain Generalization

abstract: Single domain generalization (Single-DG) intends to develop a generalizable model with only one single training domain to perform well on other unknown target domains. Under the domain-hungry configuration, how to expand the coverage of source domain and find intrinsic causal features across different distributions is the key to enhancing the models' generalization ability. Existing methods mainly depend on the meticulous design of finite image-level transformation techniques and learning invariant features across domains based on statistical correlation between samples and labels in source domain. This makes it difficult to capture stable semantics between source and target domains, which hinders the improvement of the model's generalization performance. In this paper, we propose a novel causality-inspired latent feature augmentation method for Single-DG by learning the meta-knowledge of feature-level transformation based on causal learning and interventions. Instead of strongly relying on the finite image-level transformation, with the learned meta-knowledge, we can generate diverse implicit feature-level transformations in latent space based on the consistency of causal features and diversity of non-causal features, which can better compensate for the domain-hungry defect and reduce the strong reliance on initial finite image-level transformations and capture more stable domain-invariant causal features for generalization. Extensive experiments on several open-access benchmarks demonstrate the outstanding performance of our model over other state-of-the-art single domain generalization and also multi-source domain generalization methods.


title: ShiftAddLLM: Accelerating Pretrained LLMs via Post-Training Multiplication-Less Reparameterization

abstract: Large language models (LLMs) have shown impressive performance on language tasks but face challenges when deployed on resource-constrained devices due to their extensive parameters and reliance on dense multiplications, resulting in high memory demands and latency bottlenecks. Shift-and-add reparameterization offers a promising solution by replacing costly multiplications with hardware-friendly primitives in both the attention and multi-layer perceptron (MLP) layers of an LLM. However, current reparameterization techniques require training from scratch or full parameter fine-tuning to restore accuracy, which is resource-intensive for LLMs. To address this, we propose accelerating pretrained LLMs through post-training shift-and-add reparameterization, creating efficient multiplication-free models, dubbed ShiftAddLLM. Specifically, we quantize each weight matrix into binary matrices paired with group-wise scaling factors. The associated multiplications are reparameterized into (1) shifts between activations and scaling factors and (2) queries and adds according to the binary matrices. To reduce accuracy loss, we present a multi-objective optimization method to minimize both weight and output activation reparameterization errors. Additionally, based on varying sensitivity across layers to reparameterization, we develop an automated bit allocation strategy to further reduce memory usage and latency. Experiments on five LLM families and eight tasks consistently validate the effectiveness of ShiftAddLLM, achieving average perplexity improvements of 5.6 and 22.7 points at comparable or lower latency compared to the most competitive quantized LLMs at 3 and 2 bits, respectively, and more than 80% memory and energy reductions over the original LLMs. Codes and models are available at https://github.com/GATECH-EIC/ShiftAddLLM.


title: Artificial Intelligence for Neuro MRI Acquisition: A Review

abstract: Magnetic resonance imaging (MRI) has significantly benefited from the resurgence of artificial intelligence (AI). By leveraging AI's capabilities in large-scale optimization and pattern recognition, innovative methods are transforming the MRI acquisition workflow, including planning, sequence design, and correction of acquisition artifacts. These emerging algorithms demonstrate substantial potential in enhancing the efficiency and throughput of acquisition steps. This review discusses several pivotal AI-based methods in neuro MRI acquisition, focusing on their technological advances, impact on clinical practice, and potential risks.


title: Separate and Reconstruct: Asymmetric Encoder-Decoder for Speech Separation

abstract: Since the success of a time-domain speech separation, further improvements have been made by expanding the length and channel of a feature sequence to increase the amount of computation. When temporally expanded to a long sequence, the feature is segmented into chunks as a dual-path model in most studies of speech separation. In particular, it is common for the process of separating features corresponding to each speaker to be located in the final stage of the network. However, it is more advantageous and intuitive to proactively expand the feature sequence to include the number of speakers as an extra dimension. In this paper, we present an asymmetric strategy in which the encoder and decoder are partitioned to perform distinct processing in separation tasks. The encoder analyzes features, and the output of the encoder is split into the number of speakers to be separated. The separated sequences are then reconstructed by the weight-shared decoder, as Siamese network, in addition to cross-speaker processing. By using the Siamese network in the decoder, without using speaker information, the network directly learns to discriminate the features using a separation objective. With a common split layer, intermediate encoder features for skip connections are also split for the reconstruction decoder based on the U-Net structure. In addition, instead of segmenting the feature into chunks as dual-path, we design global and local Transformer blocks to directly process long sequences. The experimental results demonstrated that this separation-and-reconstruction framework is effective and that the combination of proposed global and local Transformer can sufficiently replace the role of inter- and intra-chunk processing in dual-path structure. Finally, the presented model including both of these achieved state-of-the-art performance with less computation than before in various benchmark datasets.


title: Explainable AI for Mental Disorder Detection via Social Media: A survey and outlook

abstract: Mental health constitutes a complex and pervasive global challenge, affecting millions of lives and often leading to severe consequences. In this paper, we conduct a thorough survey to explore the intersection of data science, artificial intelligence, and mental healthcare, focusing on the recent developments of mental disorder detection through online social media (OSM). A significant portion of the population actively engages in OSM platforms, creating a vast repository of personal data that holds immense potential for mental health analytics. The paper navigates through traditional diagnostic methods, state-of-the-art data- and AI-driven research studies, and the emergence of explainable AI (XAI) models for mental healthcare. We review state-of-the-art machine learning methods, particularly those based on modern deep learning, while emphasising the need for explainability in healthcare AI models. The experimental design section provides insights into prevalent practices, including available datasets and evaluation approaches. We also identify key issues and challenges in the field and propose promising future research directions. As mental health decisions demand transparency, interpretability, and ethical considerations, this paper contributes to the ongoing discourse on advancing XAI in mental healthcare through social media. The comprehensive overview presented here aims to guide researchers, practitioners, and policymakers in developing the area of mental disorder detection.


title: LOP-Field: Brain-inspired Layout-Object-Position Fields for Robotic Scene Understanding

abstract: Spatial cognition empowers animals with remarkably efficient navigation abilities, largely depending on the scene-level understanding of spatial environments. Recently, it has been found that a neural population in the postrhinal cortex of rat brains is more strongly tuned to the spatial layout rather than objects in a scene. Inspired by the representations of spatial layout in local scenes to encode different regions separately, we proposed LOP-Field that realizes the Layout-Object-Position(LOP) association to model the hierarchical representations for robotic scene understanding. Powered by foundation models and implicit scene representation, a neural field is implemented as a scene memory for robots, storing a queryable representation of scenes with position-wise, object-wise, and layout-wise information. To validate the built LOP association, the model is tested to infer region information from 3D positions with quantitative metrics, achieving an average accuracy of more than 88\%. It is also shown that the proposed method using region information can achieve improved object and view localization results with text and RGB input compared to state-of-the-art localization methods.


title: Neural-g: A Deep Learning Framework for Mixing Density Estimation

abstract: Mixing (or prior) density estimation is an important problem in machine learning and statistics, especially in empirical Bayes $g$-modeling where accurately estimating the prior is necessary for making good posterior inferences. In this paper, we propose neural-$g$, a new neural network-based estimator for $g$-modeling. Neural-$g$ uses a softmax output layer to ensure that the estimated prior is a valid probability density. Under default hyperparameters, we show that neural-$g$ is very flexible and capable of capturing many unknown densities, including those with flat regions, heavy tails, and/or discontinuities. In contrast, existing methods struggle to capture all of these prior shapes. We provide justification for neural-$g$ by establishing a new universal approximation theorem regarding the capability of neural networks to learn arbitrary probability mass functions. To accelerate convergence of our numerical implementation, we utilize a weighted average gradient descent approach to update the network parameters. Finally, we extend neural-$g$ to multivariate prior density estimation. We illustrate the efficacy of our approach through simulations and analyses of real datasets. A software package to implement neural-$g$ is publicly available at https://github.com/shijiew97/neuralG.


title: Data-Driven Real-time Coupon Allocation in the Online Platform

abstract: Traditionally, firms have offered coupons to customer groups at predetermined discount rates. However, advancements in machine learning and the availability of abundant customer data now enable platforms to provide real-time customized coupons to individuals. In this study, we partner with Meituan, a leading shopping platform, to develop a real-time, end-to-end coupon allocation system that is fast and effective in stimulating demand while adhering to marketing budgets when faced with uncertain traffic from a diverse customer base. Leveraging comprehensive customer and product features, we estimate Conversion Rates (CVR) under various coupon values and employ isotonic regression to ensure the monotonicity of predicted CVRs with respect to coupon value. Using calibrated CVR predictions as input, we propose a Lagrangian Dual-based algorithm that efficiently determines optimal coupon values for each arriving customer within 50 milliseconds. We theoretically and numerically investigate the model performance under parameter misspecifications and apply a control loop to adapt to real-time updated information, thereby better adhering to the marketing budget. Finally, we demonstrate through large-scale field experiments and observational data that our proposed coupon allocation algorithm outperforms traditional approaches in terms of both higher conversion rates and increased revenue. As of May 2024, Meituan has implemented our framework to distribute coupons to over 100 million users across more than 110 major cities in China, resulting in an additional CNY 8 million in annual profit. We demonstrate how to integrate a machine learning prediction model for estimating customer CVR, a Lagrangian Dual-based coupon value optimizer, and a control system to achieve real-time coupon delivery while dynamically adapting to random customer arrival patterns.


title: Sponsored Search Auction Design Beyond Single Utility Maximization

abstract: Auction design for the modern advertising market has gained significant prominence in the field of game theory. With the recent rise of auto-bidding tools, an increasing number of advertisers in the market are utilizing these tools for auctions. The diverse array of auto-bidding tools has made auction design more challenging. Various types of bidders, such as quasi-linear utility maximizers and constrained value maximizers, coexist within this dynamic gaming environment. We study sponsored search auction design in such a mixed-bidder world and aim to design truthful mechanisms that maximize the total social welfare. To simultaneously capture the classical utility and the value-max utility, we introduce an allowance utility model. In this model, each bidder is endowed with an additional allowance parameter, signifying the threshold up to which the bidder can maintain a value-max strategy. The paper distinguishes two settings based on the accessibility of the allowance information. In the case where each bidder's allowance is public, we demonstrate the existence of a truthful mechanism achieving an approximation ratio of $(1+\epsilon)$ for any $\epsilon > 0$. In the more challenging private allowance setting, we establish that a truthful mechanism can achieve a constant approximation. Further, we consider uniform-price auction design in large markets and give a truthful mechanism that sets a uniform price in a random manner and admits bounded approximation in expectation.


title: Enhancing Crustal Velocity Structure in Sedimentary Basin by joint inversion of Teleseismic P-Wave Reverberations and Surface Wave Dispersion

abstract: Accurately determining the crustal velocity structure within sedimentary basins is crucial for enhancing energy resource evaluation and seismic hazard assessment. Traditional crustal imaging is challenging due to the interference of teleseismic P-wave reverberations (TPR). To address this issue, we propose an inversion strategy that combines multi-frequency TPR and surface wave dispersion (SWD) to constrain the crustal structure. Both theoretical simulations and real data tests from two stations in the Songliao Basin validate our approach. This method shows great promise for improving crustal structure investigations in complex environments, such as sedimentary basins and oceanic regions.


title: Cosmography of the minimally extended Varying Speed of Light Model

abstract: Cosmography, as an integral branch of cosmology, strives to characterize the Universe without relying on pre-determined cosmological models. This model-independent approach utilizes Taylor series expansions around the current epoch, providing a direct correlation with cosmological observations and the potential to constrain theoretical models. Cosmologists can describe many measurable aspects of cosmology by using various combinations of cosmographic parameters. The varying speed of light model can be naturally implemented, provided that we do not make any further assumptions from the Robertson-Walker metric for cosmological time dilation. Therefore, we apply cosmography to the so-called minimally extended varying speed of light model. In this case, other cosmographic parameters can be used to construct the Hubble parameter for both the standard model and the varying speed-of-light model. On the other hand, distinct combinations of cosmographic values for the luminosity distance indicate the two models. Hence, luminosity distance might provide a method to constrain the parameters in varying speed-of-light models.


title: Using $\Lambda_b^0(6146)$ and $\Lambda_b^0(6152)$ as probes to investigate possible $\bar{B}^{*}N$ and $D^{*}N$ molecules

abstract: Heavy quark symmetry can help us identify the internal structure of hadrons and predict new particles. In this study, we examine the strong decay modes of the observed $\Lambda_b^0(6146)$ and $\Lambda_b^0(6152)$, assuming these two states are molecular states primarily composed of $\bar{B}^{*}N$ component. The partial decay widths of the $\bar{B}^{*}N$ molecular state into the $\pi\Sigma_b$ and $\pi\Sigma_b^{*}$ final states through hadronic loops are calculated using effective Lagrangians. Our results, when compared with LHCb observations, support the interpretation of $\Lambda_b^0(6146)$ as a molecule primarily composed of $\bar{B}^{*}N$ components. However, the decay width of $\Lambda_b^0(6152)$ cannot be accurately reproduced within the molecular state framework. Based on the above results and heavy quark symmetry, we predict the existence of $\bar{B}^{*}N$ molecular states with $J^p=5/2^{+}$, which are the heavy quark spin symmetry partners of $\Lambda_b(6146)$, with masses in the range of 6195-6200 MeV. And the main decay is $\pi\Sigma_b^{*}$ channel. Moreover, there must existence of a $D^{*}N$ molecule with $J^p=3/2^{+}$, possible corresponding to the experimentally observed $\Lambda_c(2860)^{+}$. If $\Lambda_c(2880)^{+}$ is indeed the heavy quark flavor symmetry partner of $\Lambda_b(6152)$, it would exhibit a conventional three-quark structure. Therefore, we also propose the search for a $D^{*}N$ molecule with a spin-parity of $J^p=5/2^{+}$, which would be the heavy-quark spin partner state of $\Lambda_c(2860)^{+}$. It should be noted that these baryons may be mixed states, containing both molecular and three-quark components. These results can aid experiments in exploring the internal structure of these baryons.


title: MHS-VM: Multi-Head Scanning in Parallel Subspaces for Vision Mamba

abstract: Recently, State Space Models (SSMs), with Mamba as a prime example, have shown great promise for long-range dependency modeling with linear complexity. Then, Vision Mamba and the subsequent architectures are presented successively, and they perform well on visual tasks. The crucial step of applying Mamba to visual tasks is to construct 2D visual features in sequential manners. To effectively organize and construct visual features within the 2D image space through 1D selective scan, we propose a novel Multi-Head Scan (MHS) module. The embeddings extracted from the preceding layer are projected into multiple lower-dimensional subspaces. Subsequently, within each subspace, the selective scan is performed along distinct scan routes. The resulting sub-embeddings, obtained from the multi-head scan process, are then integrated and ultimately projected back into the high-dimensional space. Moreover, we incorporate a Scan Route Attention (SRA) mechanism to enhance the module's capability to discern complex structures. To validate the efficacy of our module, we exclusively substitute the 2D-Selective-Scan (SS2D) block in VM-UNet with our proposed module, and we train our models from scratch without using any pre-trained weights. The results indicate a significant improvement in performance while reducing the parameters of the original VM-UNet. The code for this study is publicly available at https://github.com/PixDeep/MHS-VM.


title: Discovering Multiple Solutions from a Single Task in Offline Reinforcement Learning

abstract: Recent studies on online reinforcement learning (RL) have demonstrated the advantages of learning multiple behaviors from a single task, as in the case of few-shot adaptation to a new environment. Although this approach is expected to yield similar benefits in offline RL, appropriate methods for learning multiple solutions have not been fully investigated in previous studies. In this study, we therefore addressed the problem of finding multiple solutions from a single task in offline RL. We propose algorithms that can learn multiple solutions in offline RL, and empirically investigate their performance. Our experimental results show that the proposed algorithm learns multiple qualitatively and quantitatively distinctive solutions in offline RL.


title: Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

abstract: For nonlinear operators of fractional $p$-Laplace type, we consider two types of solutions to the nonlocal Dirichlet problem: Sobolev solutions based on fractional Sobolev spaces and Perron solutions based on superharmonic functions. These solutions give rise to two different concepts of regularity for boundary points, namely Sobolev and Perron regularity. We show that these two notions are equivalent and we also provide several characterizations of regular boundary points. Along the way, we give a new definition of Perron solutions, which is applicable to arbitrary exterior Dirichlet data $g: \Omega^c \to [-\infty,\infty]$. We obtain resolutivity and invariance results for these Perron solutions, and show that the Sobolev and Perron solutions coincide for a large class of exterior Dirichlet data. A uniqueness result for the Dirichlet problem is also obtained for the class of bounded solutions taking prescribed continuous exterior data quasieverywhere on the boundary.


title: A Dual-View Approach to Classifying Radiology Reports by Co-Training

abstract: Radiology report analysis provides valuable information that can aid with public health initiatives, and has been attracting increasing attention from the research community. In this work, we present a novel insight that the structure of a radiology report (namely, the Findings and Impression sections) offers different views of a radiology scan. Based on this intuition, we further propose a co-training approach, where two machine learning models are built upon the Findings and Impression sections, respectively, and use each other's information to boost performance with massive unlabeled data in a semi-supervised manner. We conducted experiments in a public health surveillance study, and results show that our co-training approach is able to improve performance using the dual views and surpass competing supervised and semi-supervised methods.


title: Operator Theory on the Pentablock

abstract: The pentablock, denoted as $\cP,$ is defined as follows: $$\cP= \left\{ (a_{21}, {\rm tr}(A), {\rm det}(A)) : A = [a_{ij}]_{2 \times 2} \text{ with } \|A\|<1 \right\}.$$ It originated from the work of Agler--Lykova--Young in connection with a particular case of the $\mu$-synthesis problem. It is a non-convex, polynomially convex, $\mathbb{C}$-convex, star-like about the origin, and inhomogeneous domain. This paper deals with operator theory on the pentablock. We study pentablock unitaries and isometries, providing an algebraic characterization of pentablock isometries. En route, we provide the Wold-type decomposition for pentablock isometries, which consists of three parts: the unitary part, the pure part, and a new component. We define this novel component as the quasi-pentablock unitary and provide a functional model for it. Additionally, a model for a class of pure pentablock isometries has been found, along with some examples. Furthermore, a representation resembling the Beurling-Lax-Halmos paradigm has been presented for the invariant subspaces of pentablock pure isometries.


title: Symmetries in the linear theory of the deformation of thin shells

abstract: In this paper, we show that symmetries, which are known in the theory of integrable systems, naturally appeared in the classical linear theory of deformations of thin shells. Our result shows that if the middle surface of a shell becomes `integrable', infinitely many deformations exist that have no shear strains and twisting of the coordinate lines.


title: Stability and Finiteness of Wasserstein Spaces

abstract: Under Gromov--Hausdorff convergence, and equivariant Gromov--Hausdorff convergence, we prove stability results of Wasserstein spaces over certain classes of singular and non-singular spaces. For example, we obtain an analogue of Perelman's stability theorem on Wasserstein spaces.


title: fSEAD: a Composable FPGA-based Streaming Ensemble Anomaly Detection Library

abstract: Machine learning ensembles combine multiple base models to produce a more accurate output. They can be applied to a range of machine learning problems, including anomaly detection. In this paper, we investigate how to maximize the composability and scalability of an FPGA-based streaming ensemble anomaly detector (fSEAD). To achieve this, we propose a flexible computing architecture consisting of multiple partially reconfigurable regions, pblocks, which each implement anomaly detectors. Our proof-of-concept design supports three state-of-the-art anomaly detection algorithms: Loda, RS-Hash and xStream. Each algorithm is scalable, meaning multiple instances can be placed within a pblock to improve performance. Moreover, fSEAD is implemented using High-level synthesis (HLS), meaning further custom anomaly detectors can be supported. Pblocks are interconnected via an AXI-switch, enabling them to be composed in an arbitrary fashion before combining and merging results at run-time to create an ensemble that maximizes the use of FPGA resources and accuracy. Through utilizing reconfigurable Dynamic Function eXchange (DFX), the detector can be modified at run-time to adapt to changing environmental conditions. We compare fSEAD to an equivalent central processing unit (CPU) implementation using four standard datasets, with speed-ups ranging from $3\times$ to $8\times$.


title: ThaiCoref: Thai Coreference Resolution Dataset

abstract: While coreference resolution is a well-established research area in Natural Language Processing (NLP), research focusing on Thai language remains limited due to the lack of large annotated corpora. In this work, we introduce ThaiCoref, a dataset for Thai coreference resolution. Our dataset comprises 777,271 tokens, 44,082 mentions and 10,429 entities across four text genres: university essays, newspapers, speeches, and Wikipedia. Our annotation scheme is built upon the OntoNotes benchmark with adjustments to address Thai-specific phenomena. Utilizing ThaiCoref, we train models employing a multilingual encoder and cross-lingual transfer techniques, achieving a best F1 score of 67.88\% on the test set. Error analysis reveals challenges posed by Thai's unique linguistic features. To benefit the NLP community, we make the dataset and the model publicly available at http://www.github.com/nlp-chula/thai-coref .


title: From yield stress to elastic instabilities: Tuning the extensional behavior of elastoviscoplastic fluid

abstract: In this study, we delve into the intricacies of elastoviscoplastic (EVP) fluids, particularly focusing on how polymer additives influence their extensional behavior. Our findings reveal that polymer additives significantly alter the extensional properties of the EVP fluids, such as relaxation time and extensional stresses, while having negligible impact on the shear rheology. Interestingly, the modified fluids exhibit a transition from yield stress-like behavior to viscoelastic-like behavior under high extensional rates, ultimately leading to destabilization under extreme deformation. This research enhances the fundamental understanding of EVP fluids and highlights potential advancements in applications, especially in precision-demanding fields like 3D printing.


title: Computational and Statistical Guarantees for Tensor-on-Tensor Regression with Tensor Train Decomposition

abstract: Recently, a tensor-on-tensor (ToT) regression model has been proposed to generalize tensor recovery, encompassing scenarios like scalar-on-tensor regression and tensor-on-vector regression. However, the exponential growth in tensor complexity poses challenges for storage and computation in ToT regression. To overcome this hurdle, tensor decompositions have been introduced, with the tensor train (TT)-based ToT model proving efficient in practice due to reduced memory requirements, enhanced computational efficiency, and decreased sampling complexity. Despite these practical benefits, a disparity exists between theoretical analysis and real-world performance. In this paper, we delve into the theoretical and algorithmic aspects of the TT-based ToT regression model. Assuming the regression operator satisfies the restricted isometry property (RIP), we conduct an error analysis for the solution to a constrained least-squares optimization problem. This analysis includes upper error bound and minimax lower bound, revealing that such error bounds polynomially depend on the order $N+M$. To efficiently find solutions meeting such error bounds, we propose two optimization algorithms: the iterative hard thresholding (IHT) algorithm (employing gradient descent with TT-singular value decomposition (TT-SVD)) and the factorization approach using the Riemannian gradient descent (RGD) algorithm. When RIP is satisfied, spectral initialization facilitates proper initialization, and we establish the linear convergence rate of both IHT and RGD.


title: Validation of the estimated Effect of Ankle Foot Orthoses on Spinal Cord Injury Gait Using Subject-Adjusted Musculoskeletal Models

abstract: Simulation of assistive devices on pathological gait through musculoskeletal models offers the potential and advantages of estimating the effect of the device in several biomechanical variables and the device characteristics ahead of manufacturing. In this study, we introduce a novel musculoskeletal modelling approach to simulate the biomechanical impact of ankle foot orthoses (AFO) on gait in individuals with spinal cord injury (SCI). Leveraging data from the Swiss Paraplegic Center, we constructed anatomically and muscularly scaled models for SCI-AFO users, aiming to predict changes in gait kinematics and kinetics. The importance of this work lies in its potential to enhance rehabilitation strategies and improve quality of life by enabling the pre-manufacturing assessment of assistive devices. Despite the application of musculoskeletal models in simulating walking aids effects in other conditions, no predictive model currently exists for SCI gait. Evaluation through RMSE showed similar results compared with other pathologies, simulation errors ranged between 0.23 to 2.3 degrees in kinematics. Moreover, the model was able to capture ankle joint muscular asymmetries and predict symmetry improvements with AFO use. However, the simulation did not reveal all the AFO effects, indicating a need for more personalized model parameters and optimized muscle activation to fully replicate orthosis effects on SCI gait.


title: FLEUR: An Explainable Reference-Free Evaluation Metric for Image Captioning Using a Large Multimodal Model

abstract: Most existing image captioning evaluation metrics focus on assigning a single numerical score to a caption by comparing it with reference captions. However, these methods do not provide an explanation for the assigned score. Moreover, reference captions are expensive to acquire. In this paper, we propose FLEUR, an explainable reference-free metric to introduce explainability into image captioning evaluation metrics. By leveraging a large multimodal model, FLEUR can evaluate the caption against the image without the need for reference captions, and provide the explanation for the assigned score. We introduce score smoothing to align as closely as possible with human judgment and to be robust to user-defined grading criteria. FLEUR achieves high correlations with human judgment across various image captioning evaluation benchmarks and reaches state-of-the-art results on Flickr8k-CF, COMPOSITE, and Pascal-50S within the domain of reference-free evaluation metrics. Our source code and results are publicly available at: https://github.com/Yebin46/FLEUR.


title: WoCoCo: Learning Whole-Body Humanoid Control with Sequential Contacts

abstract: Humanoid activities involving sequential contacts are crucial for complex robotic interactions and operations in the real world and are traditionally solved by model-based motion planning, which is time-consuming and often relies on simplified dynamics models. Although model-free reinforcement learning (RL) has become a powerful tool for versatile and robust whole-body humanoid control, it still requires tedious task-specific tuning and state machine design and suffers from long-horizon exploration issues in tasks involving contact sequences. In this work, we propose WoCoCo (Whole-Body Control with Sequential Contacts), a unified framework to learn whole-body humanoid control with sequential contacts by naturally decomposing the tasks into separate contact stages. Such decomposition facilitates simple and general policy learning pipelines through task-agnostic reward and sim-to-real designs, requiring only one or two task-related terms to be specified for each task. We demonstrated that end-to-end RL-based controllers trained with WoCoCo enable four challenging whole-body humanoid tasks involving diverse contact sequences in the real world without any motion priors: 1) versatile parkour jumping, 2) box loco-manipulation, 3) dynamic clap-and-tap dancing, and 4) cliffside climbing. We further show that WoCoCo is a general framework beyond humanoid by applying it in 22-DoF dinosaur robot loco-manipulation tasks.


title: Thanking the World: Exploring Gender-Based Differences in Acknowledgment Patterns and Support Systems in Theses

abstract: Research on acknowledgment sections of scientific papers has gained significant attention, but there remains a dearth of studies examining acknowledgments in the context of Electronic Theses and Dissertations. This paper addresses this gap by investigating the sources of support for male and female researchers in completing their master's or doctoral theses, focusing on the discipline of Library and Information Science. We utilize a novel method of extracting the various types of support systems that are acknowledged in 1252 ETDs using RoBERTa-based models. The most prominent forms of support acknowledged by researchers are academic, moral, financial, and religious support. While there are no significant gender-based differences in religious and financial support, the ratio of academic to moral support acknowledged by researchers shows strong gender-based variation. Additionally, advisors display a preference for supervising same-gender researchers. By comprehending the nuances of support systems and the unique challenges faced by researchers of different genders, we can foster a more inclusive and supportive academic environment. The insights gained from this research have implications for improving mentoring practices and promoting gender equality in academia.


title: CARES: A Comprehensive Benchmark of Trustworthiness in Medical Vision Language Models

abstract: Artificial intelligence has significantly impacted medical applications, particularly with the advent of Medical Large Vision Language Models (Med-LVLMs), sparking optimism for the future of automated and personalized healthcare. However, the trustworthiness of Med-LVLMs remains unverified, posing significant risks for future model deployment. In this paper, we introduce CARES and aim to comprehensively evaluate the Trustworthiness of Med-LVLMs across the medical domain. We assess the trustworthiness of Med-LVLMs across five dimensions, including trustfulness, fairness, safety, privacy, and robustness. CARES comprises about 41K question-answer pairs in both closed and open-ended formats, covering 16 medical image modalities and 27 anatomical regions. Our analysis reveals that the models consistently exhibit concerns regarding trustworthiness, often displaying factual inaccuracies and failing to maintain fairness across different demographic groups. Furthermore, they are vulnerable to attacks and demonstrate a lack of privacy awareness. We publicly release our benchmark and code in https://github.com/richard-peng-xia/CARES.


title: Efficient algorithm for the oscillatory matrix functions

abstract: This paper introduces an efficient algorithm for computing the general oscillatory matrix functions. These computations are crucial for solving second-order semi-linear initial value problems. The method is exploited using the scaling and restoring technique based on a quadruple angle formula in conjunction with a truncated Taylor series. The choice of the scaling parameter and the degree of the Taylor polynomial relies on a forward error analysis. Numerical experiments show that the new algorithm behaves in a stable fashion and performs well in both accuracy and efficiency.


title: The Impact of AI on Academic Research and Publishing

abstract: Generative artificial intelligence (AI) technologies like ChatGPT, have significantly impacted academic writing and publishing through their ability to generate content at levels comparable to or surpassing human writers. Through a review of recent interdisciplinary literature, this paper examines ethical considerations surrounding the integration of AI into academia, focusing on the potential for this technology to be used for scholarly misconduct and necessary oversight when using it for writing, editing, and reviewing of scholarly papers. The findings highlight the need for collaborative approaches to AI usage among publishers, editors, reviewers, and authors to ensure that this technology is used ethically and productively.


title: Turbulent spectra of 2D inertial gravity waves

abstract: We find the turbulent energy spectrum of weakly interacting 2D internal gravity waves without relying on the hydrostatic approximation. This spectrum is an exact solution of the kinetic equation after the shear modes are removed, and it agrees with the oceanic Garrett-Munk spectrum for frequencies large compared to the Coriolis frequency and vertical scales small compared to the depth of the ocean. Among a continuous family of solutions to the kinetic equation, we show that the turbulent solution is the special solution with non zero angular dependent radial flux. Our solution provides an interesting insight of how turbulent energy cascade proceeds in anisotropic systems - similarly to isotropic turbulence it is self-similar in scale, but its angular part is peaked along the curve of vanishing frequency.


title: On various classes of supercyclic operators on Banach spaces

abstract: In this paper, we characterize supercyclic weighted composition operators on various function spaces. Moreover, we also characterize supercyclic adjoint of the weighted composition operator and supercyclic left multipliers acting on the space of compact operators. Finally, we illustrate our results with concrete examples.


title: Quantum Sparse Coding and Decoding Based on Quantum Network

abstract: Sparse coding provides a versatile framework for efficiently capturing and representing crucial data (information) concisely, which plays an essential role in various computer science fields, including data compression, feature extraction, and general signal processing. In this study, we propose a symmetric quantum neural network for realizing sparse coding and decoding algorithms. Our networks consist of multi-layer, two-level unitary transformations that are naturally suited for optical circuits. Each gate is described by two real parameters, corresponding to reflectivity and phase shift. Specifically, the two networks can be efficiently trained together or separately using a quantum natural gradient descent algorithm, either simultaneously or independently. Utilizing the trained model, we achieve sparse coding and decoding of binary and grayscale images in classical problems, as well as that of complex quantum states in quantum problems separately. The results demonstrate an accuracy of 98.77\% for image reconstruction and a fidelity of 97.68\% for quantum state revivification. Our quantum sparse coding and decoding model offers improved generalization and robustness compared to the classical model, laying the groundwork for widespread practical applications in the emerging quantum era.


title: Nanoparticle uptake by a semi-permeable, spherical cell from an external planar diffusive field. II. Numerical study of temporal and spatial development validated using FEM

abstract: In this paper we present a mathematical study of particle diffusion inside and outside a spherical biological cell that has been exposed on one side to a propagating planar diffusive front. The media inside and outside the spherical cell are differentiated by their respective diffusion constants. A closed form, large-time, asymptotic solution is derived by the combined means of Laplace transform, separation of variables and asymptotic series development. The solution process is assisted by means of an effective far-field boundary condition, which is instrumental in resolving the conflict of planar and spherical geometries. The focus of the paper is on a numerical comparison to determine the accuracy of the asymptotic solution relative to a fully numerical solution obtained using the finite element method. The asymptotic solution is shown to be highly effective in capturing the dynamic behaviour of the system, both internal and external to the cell, under a range of diffusive conditions.


title: Network two-sample test for block models

abstract: We consider the two-sample testing problem for networks, where the goal is to determine whether two sets of networks originated from the same stochastic model. Assuming no vertex correspondence and allowing for different numbers of nodes, we address a fundamental network testing problem that goes beyond simple adjacency matrix comparisons. We adopt the stochastic block model (SBM) for network distributions, due to their interpretability and the potential to approximate more general models. The lack of meaningful node labels and vertex correspondence translate to a graph matching challenge when developing a test for SBMs. We introduce an efficient algorithm to match estimated network parameters, allowing us to properly combine and contrast information within and across samples, leading to a powerful test. We show that the matching algorithm, and the overall test are consistent, under mild conditions on the sparsity of the networks and the sample sizes, and derive a chi-squared asymptotic null distribution for the test. Through a mixture of theoretical insights and empirical validations, including experiments with both synthetic and real-world data, this study advances robust statistical inference for complex network data.


title: Fault-tolerant resource estimation using graph-state compilation on a modular superconducting architecture

abstract: The development of fault-tolerant quantum computers (FTQCs) is gaining increased attention within the quantum computing community. Like their digital counterparts, FTQCs, equipped with error correction and large qubit numbers, promise to solve some of humanity's grand challenges. Estimates of the resource requirements for future FTQC systems are essential to making design choices and prioritizing R&D efforts to develop critical technologies. Here, we present a resource estimation framework and software tool that estimates the physical resources required to execute specific quantum algorithms, compiled into their graph-state form, and laid out onto a modular superconducting hardware architecture. This tool can predict the size, power consumption, and execution time of these algorithms at as they approach utility-scale according to explicit assumptions about the system's physical layout, thermal load, and modular connectivity. We use this tool to study the total resources on a proposed modular architecture and the impact of tradeoffs between and inter-module connectivity, latency and resource requirements.