title: On correlation distribution of Niho-type decimation $d=3(p^m-1)+1$

abstract: The cross-correlation problem is a classic problem in sequence design. In this paper we compute the cross-correlation distribution of the Niho-type decimation $d=3(p^m-1)+1$ over $\mathrm{GF}(p^{2m})$ for any prime $p \ge 5$. Previously this problem was solved by Xia et al. only for $p=2$ and $p=3$ in a series of papers. The main difficulty of this problem for $p \ge 5$, as pointed out by Xia et al., is to count the number of codewords of "pure weight" 5 in $p$-ary Zetterberg codes. It turns out this counting problem can be transformed by the MacWilliams identity into counting codewords of weight at most 5 in $p$-ary Melas codes, the most difficult of which is related to a K3 surface well studied in the literature and can be computed. When $p \ge 7$, the theory of elliptic curves over finite fields also plays an important role in the resolution of this problem.


title: Random Matrix Statistics in Propagating Correlation Fronts of Fermions

abstract: We theoretically study propagating correlation fronts in non-interacting fermions on a one-dimensional lattice starting from an alternating state, where the fermions occupy every other site. We find that, in the long-time asymptotic regime, all the moments of dynamical fluctuations around the correlation fronts are described by the universal correlation functions of Gaussian orthogonal and symplectic random matrices at the soft edge. Our finding here sheds light on a hitherto unknown connection between random matrix theory and correlation propagation in quantum dynamics.


title: Bias Amplification Enhances Minority Group Performance

abstract: Neural networks produced by standard training are known to suffer from poor accuracy on rare subgroups despite achieving high accuracy on average, due to the correlations between certain spurious features and labels. Previous approaches based on worst-group loss minimization (e.g. Group-DRO) are effective in improving worse-group accuracy but require expensive group annotations for all the training samples. In this paper, we focus on the more challenging and realistic setting where group annotations are only available on a small validation set or are not available at all. We propose BAM, a novel two-stage training algorithm: in the first stage, the model is trained using a bias amplification scheme via introducing a learnable auxiliary variable for each training sample; in the second stage, we upweight the samples that the bias-amplified model misclassifies, and then continue training the same model on the reweighted dataset. Empirically, BAM achieves competitive performance compared with existing methods evaluated on spurious correlation benchmarks in computer vision and natural language processing. Moreover, we find a simple stopping criterion based on minimum class accuracy difference that can remove the need for group annotations, with little or no loss in worst-group accuracy. We perform extensive analyses and ablations to verify the effectiveness and robustness of our algorithm in varying class and group imbalance ratios.


title: Immersion and Invariance-based Disturbance Observer and Its Application to Safe Control

abstract: When the disturbance input matrix is nonlinear, existing disturbance observer design methods rely on the solvability of a partial differential equation or the existence of an output function with a uniformly well-defined disturbance relative degree, which can pose significant limitations. This note introduces a systematic approach for designing an Immersion and Invariance-based Disturbance Observer (IIDOB) that circumvents these strong assumptions. The proposed IIDOB ensures the disturbance estimation error is globally uniformly ultimately bounded by approximately solving a partial differential equation while compensating for the approximation error. Furthermore, by integrating IIDOB into the framework of control barrier functions, a filter-based safe control design method for control-affine systems with disturbances is established where the filter is used to generate an alternative disturbance estimation signal with a known derivative. Sufficient conditions are established to guarantee the safety of the disturbed systems. Simulation results demonstrate the effectiveness of the proposed method.


title: TrafficGPT: Viewing, Processing and Interacting with Traffic Foundation Models

abstract: With the promotion of chatgpt to the public, Large language models indeed showcase remarkable common sense, reasoning, and planning skills, frequently providing insightful guidance. These capabilities hold significant promise for their application in urban traffic management and control. However, LLMs struggle with addressing traffic issues, especially processing numerical data and interacting with simulations, limiting their potential in solving traffic-related challenges. In parallel, specialized traffic foundation models exist but are typically designed for specific tasks with limited input-output interactions. Combining these models with LLMs presents an opportunity to enhance their capacity for tackling complex traffic-related problems and providing insightful suggestions. To bridge this gap, we present TrafficGPT, a fusion of ChatGPT and traffic foundation models. This integration yields the following key enhancements: 1) empowering ChatGPT with the capacity to view, analyze, process traffic data, and provide insightful decision support for urban transportation system management; 2) facilitating the intelligent deconstruction of broad and complex tasks and sequential utilization of traffic foundation models for their gradual completion; 3) aiding human decision-making in traffic control through natural language dialogues; and 4) enabling interactive feedback and solicitation of revised outcomes. By seamlessly intertwining large language model and traffic expertise, TrafficGPT not only advances traffic management but also offers a novel approach to leveraging AI capabilities in this domain. The TrafficGPT demo can be found in https://github.com/lijlansg/TrafficGPT.git.


title: Deep Attentive Time Warping

abstract: Similarity measures for time series are important problems for time series classification. To handle the nonlinear time distortions, Dynamic Time Warping (DTW) has been widely used. However, DTW is not learnable and suffers from a trade-off between robustness against time distortion and discriminative power. In this paper, we propose a neural network model for task-adaptive time warping. Specifically, we use the attention model, called the bipartite attention model, to develop an explicit time warping mechanism with greater distortion invariance. Unlike other learnable models using DTW for warping, our model predicts all local correspondences between two time series and is trained based on metric learning, which enables it to learn the optimal data-dependent warping for the target task. We also propose to induce pre-training of our model by DTW to improve the discriminative power. Extensive experiments demonstrate the superior effectiveness of our model over DTW and its state-of-the-art performance in online signature verification.


title: Dynamic Spectrum Mixer for Visual Recognition

abstract: Recently, MLP-based vision backbones have achieved promising performance in several visual recognition tasks. However, the existing MLP-based methods directly aggregate tokens with static weights, leaving the adaptability to different images untouched. Moreover, Recent research demonstrates that MLP-Transformer is great at creating long-range dependencies but ineffective at catching high frequencies that primarily transmit local information, which prevents it from applying to the downstream dense prediction tasks, such as semantic segmentation. To address these challenges, we propose a content-adaptive yet computationally efficient structure, dubbed Dynamic Spectrum Mixer (DSM). The DSM represents token interactions in the frequency domain by employing the Discrete Cosine Transform, which can learn long-term spatial dependencies with log-linear complexity. Furthermore, a dynamic spectrum weight generation layer is proposed as the spectrum bands selector, which could emphasize the informative frequency bands while diminishing others. To this end, the technique can efficiently learn detailed features from visual input that contains both high- and low-frequency information. Extensive experiments show that DSM is a powerful and adaptable backbone for a range of visual recognition tasks. Particularly, DSM outperforms previous transformer-based and MLP-based models, on image classification, object detection, and semantic segmentation tasks, such as 83.8 \% top-1 accuracy on ImageNet, and 49.9 \% mIoU on ADE20K.


title: On higher regularity of Stokes systems with piecewise H\"{o}lder continuous coefficients

abstract: In this paper, we consider higher regularity of a weak solution $({\bf u},p)$ to stationary Stokes systems with variable coefficients. Under the assumptions that coefficients and data are piecewise $C^{s,\delta}$ in a bounded domain consisting of a finite number of subdomains with interfacial boundaries in $C^{s+1,\mu}$, where $s$ is a positive integer, $\delta\in (0,1)$, and $\mu\in (0,1]$, we show that $D{\bf u}$ and $p$ are piecewise $C^{s,\delta_{\mu}}$, where $\delta_{\mu}=\min\big\{\frac{1}{2},\mu,\delta\big\}$. Our result is new even in the 2D case with piecewise constant coefficients.


title: PIAVE: A Pose-Invariant Audio-Visual Speaker Extraction Network

abstract: It is common in everyday spoken communication that we look at the turning head of a talker to listen to his/her voice. Humans see the talker to listen better, so do machines. However, previous studies on audio-visual speaker extraction have not effectively handled the varying talking face. This paper studies how to take full advantage of the varying talking face. We propose a Pose-Invariant Audio-Visual Speaker Extraction Network (PIAVE) that incorporates an additional pose-invariant view to improve audio-visual speaker extraction. Specifically, we generate the pose-invariant view from each original pose orientation, which enables the model to receive a consistent frontal view of the talker regardless of his/her head pose, therefore, forming a multi-view visual input for the speaker. Experiments on the multi-view MEAD and in-the-wild LRS3 dataset demonstrate that PIAVE outperforms the state-of-the-art and is more robust to pose variations.


title: Deep Nonparametric Convexified Filtering for Computational Photography, Image Synthesis and Adversarial Defense

abstract: We aim to provide a general framework of for computational photography that recovers the real scene from imperfect images, via the Deep Nonparametric Convexified Filtering (DNCF). It is consists of a nonparametric deep network to resemble the physical equations behind the image formation, such as denoising, super-resolution, inpainting, and flash. DNCF has no parameterization dependent on training data, therefore has a strong generalization and robustness to adversarial image manipulation. During inference, we also encourage the network parameters to be nonnegative and create a bi-convex function on the input and parameters, and this adapts to second-order optimization algorithms with insufficient running time, having 10X acceleration over Deep Image Prior. With these tools, we empirically verify its capability to defend image classification deep networks against adversary attack algorithms in real-time.


title: Solar-powered shape-changing origami microfliers

abstract: Using wind to disperse microfliers that fall like seeds and leaves can help automate large-scale sensor deployments. Here, we present battery-free microfliers that can change shape in mid-air to vary their dispersal distance. We design origami microfliers using bi-stable leaf-out structures and uncover an important property: a simple change in the shape of these origami structures causes two dramatically different falling behaviors. When unfolded and flat, the microfliers exhibit a tumbling behavior that increases lateral displacement in the wind. When folded inward, their orientation is stabilized, resulting in a downward descent that is less influenced by wind. To electronically transition between these two shapes, we designed a low-power electromagnetic actuator that produces peak forces of up to 200 millinewtons within 25 milliseconds while powered by solar cells. We fabricated a circuit directly on the folded origami structure that includes a programmable microcontroller, Bluetooth radio, solar power harvesting circuit, a pressure sensor to estimate altitude and a temperature sensor. Outdoor evaluations show that our 414 milligram origami microfliers are able to electronically change their shape mid-air, travel up to 98 meters in a light breeze, and wirelessly transmit data via Bluetooth up to 60 meters away, using only power collected from the sun.


title: Enhancing Keyphrase Generation by BART Finetuning with Splitting and Shuffling

abstract: Keyphrase generation is a task of identifying a set of phrases that best repre-sent the main topics or themes of a given text. Keyphrases are dividend int pre-sent and absent keyphrases. Recent approaches utilizing sequence-to-sequence models show effectiveness on absent keyphrase generation. However, the per-formance is still limited due to the hardness of finding absent keyphrases. In this paper, we propose Keyphrase-Focused BART, which exploits the differ-ences between present and absent keyphrase generations, and performs fine-tuning of two separate BART models for present and absent keyphrases. We further show effective approaches of shuffling keyphrases and candidate keyphrase ranking. For absent keyphrases, our Keyphrase-Focused BART achieved new state-of-the-art score on F1@5 in two out of five keyphrase gen-eration benchmark datasets.


title: Empirical Bayes Double Shrinkage for Combining Biased and Unbiased Causal Estimates

abstract: Motivated by the proliferation of observational datasets and the need to integrate non-randomized evidence with randomized controlled trials, causal inference researchers have recently proposed several new methodologies for combining biased and unbiased estimators. We contribute to this growing literature by developing a new class of estimators for the data-combination problem: double-shrinkage estimators. Double-shrinkers first compute a data-driven convex combination of the the biased and unbiased estimators, and then apply a final, Stein-like shrinkage toward zero. Such estimators do not require hyperparameter tuning, and are targeted at multidimensional causal estimands, such as vectors of conditional average treatment effects (CATEs). We derive several workable versions of double-shrinkage estimators and propose a method for constructing valid Empirical Bayes confidence intervals. We also demonstrate the utility of our estimators using simulations on data from the Women's Health Initiative.


title: Leveraging Foundation models for Unsupervised Audio-Visual Segmentation

abstract: Audio-Visual Segmentation (AVS) aims to precisely outline audible objects in a visual scene at the pixel level. Existing AVS methods require fine-grained annotations of audio-mask pairs in supervised learning fashion. This limits their scalability since it is time consuming and tedious to acquire such cross-modality pixel level labels. To overcome this obstacle, in this work we introduce unsupervised audio-visual segmentation with no need for task-specific data annotations and model training. For tackling this newly proposed problem, we formulate a novel Cross-Modality Semantic Filtering (CMSF) approach to accurately associate the underlying audio-mask pairs by leveraging the off-the-shelf multi-modal foundation models (e.g., detection [1], open-world segmentation [2] and multi-modal alignment [3]). Guiding the proposal generation by either audio or visual cues, we design two training-free variants: AT-GDINO-SAM and OWOD-BIND. Extensive experiments on the AVS-Bench dataset show that our unsupervised approach can perform well in comparison to prior art supervised counterparts across complex scenarios with multiple auditory objects. Particularly, in situations where existing supervised AVS methods struggle with overlapping foreground objects, our models still excel in accurately segmenting overlapped auditory objects. Our code will be publicly released.


title: From one to infinity: symmetries of integrable systems

abstract: Integrable systems constitute an essential part of modern physics. Traditionally, to approve a model is integrable one has to find its infinitely many symmetries or conserved quantities. In this letter, taking the well known Korteweg-de Vries and Boussinesq equations as examples, we show that it is enough to find only one nonlocal key-symmetry to guarantee the integrability. Starting from the nonlocal key-symmetry, recursion operator(s) and then infinitely many symmetries and Lax pairs can be successfully found.


title: Partial differential equation models for invasive species spread in the presence of spatial heterogeneity

abstract: Models of invasive species spread often assume that landscapes are spatially homogeneous; thus simplifying analysis but potentially reducing accuracy. We extend a recently developed partial differential equation model for invasive conifer spread to account for spatial heterogeneity in parameter values and introduce a method to obtain key outputs (e.g. spread rates) from computational simulations. Simulations produce patterns of spatial spread remarkably similar to observed patterns in grassland ecosystems invaded by exotic conifers, validating our spatially explicit strategy. We find that incorporating spatial variation in different parameters does not significantly affect the evolution of invasions (which are characterised by a long quiescent period followed by rapid evolution towards to a constant rate of invasion) but that distributional assumptions can have a significant impact on the spread rate of invasions. Our work demonstrates that spatial variation in site-suitability or other parameters can have a significant impact on invasions


title: Improving Deep Learning-based Defect Detection on Window Frames with Image Processing Strategies

abstract: Detecting subtle defects in window frames, including dents and scratches, is vital for upholding product integrity and sustaining a positive brand perception. Conventional machine vision systems often struggle to identify these defects in challenging environments like construction sites. In contrast, modern vision systems leveraging machine and deep learning (DL) are emerging as potent tools, particularly for cosmetic inspections. However, the promise of DL is yet to be fully realized. A few manufacturers have established a clear strategy for AI integration in quality inspection, hindered mainly by issues like scarce clean datasets and environmental changes that compromise model accuracy. Addressing these challenges, our study presents an innovative approach that amplifies defect detection in DL models, even with constrained data resources. The paper proposes a new defect detection pipeline called InspectNet (IPT-enhanced UNET) that includes the best combination of image enhancement and augmentation techniques for pre-processing the dataset and a Unet model tuned for window frame defect detection and segmentation. Experiments were carried out using a Spot Robot doing window frame inspections . 16 variations of the dataset were constructed using different image augmentation settings. Results of the experiments revealed that, on average, across all proposed evaluation measures, Unet outperformed all other algorithms when IPT-enhanced augmentations were applied. In particular, when using the best dataset, the average Intersection over Union (IoU) values achieved were IPT-enhanced Unet, reaching 0.91 of mIoU.


title: Fermi Surface Nesting with Heavy Quasiparticles in the Locally Noncentrosymmetric Superconductor CeRh$_2$As$_2$

abstract: The locally noncentrosymmetric heavy fermion superconductor CeRh$_2$As$_2$ has attracted considerable interests due to its rich superconducting phases, accompanied by a quadrupole density wave and pronounced antiferromagnetic excitations. To understand the underlying physics, we here report measurements from high-resolution angle-resolved photoemission. Our results reveal fine splittings of the conduction bands related to the locally noncentrosymmetric structure, as well as a quasi-two-dimensional Fermi surface (FS) with strong $4f$ contributions. The FS exhibits nesting with an in-plane vector $({\pi}/a, {\pi}/a)$, which is facilitated by the van Hove singularity near $\bar X$ that arises from the characteristic conduction-$f$ hybridization. The FS nesting provides a natural explanation for the observed antiferromagnetic excitations at $({\pi}/a, {\pi}/a)$, which could be intimately connected to its unconventional superconductivity. Our experimental results are well supported by density functional theory plus dynamical mean field theory calculations, which can capture the strong correlation effects. Our study not only provides spectroscopic proof of the key factors underlying the field-induced superconducting transition, but also uncovers the critical role of FS nesting and lattice Kondo effect in the intertwined spin and charge fluctuations.


title: Asymptotic expansion of the hard-to-soft edge transition

abstract: By showing that the symmetrically transformed Bessel kernel admits a full asymptotic expansion for the large parameter, we establish a hard-to-soft edge transition expansion. This resolves a conjecture recently proposed by Bornemann.


title: Widely tunable solid-state source of single-photons matching an atomic transition

abstract: Hybrid quantum technologies aim to harness the best characteristics of multiple quantum systems, in a similar fashion that classical computers combine electronic, photonic, magnetic, and mechanical components. For example, quantum dots embedded in semiconductor nanowires can produce highly pure, deterministic, and indistinguishable single-photons with high repetition, while atomic ensembles offer robust photon storage capabilities and strong optical nonlinearities that can be controlled with single-photons. However, to successfully integrate quantum dots with atomic ensembles, one needs to carefully match the optical frequencies of these two platforms. Here, we propose and experimentally demonstrate simple, precise, reversible, broad-range, and local method for controlling the emission frequency of individual quantum dots embedded in tapered semiconductor nanowires and use it to interface with an atomic ensemble via single-photons matched to hyperfine transitions and slow-light regions of the cesium D1-line. Our approach allows linking together atomic and solid-state quantum systems and can potentially also be applied to other types of nanowire-embedded solid-state emitters, as well as to creating devices based on multiple solid-state emitters tuned to produce indistinguishable photons.


title: GelFlow: Self-supervised Learning of Optical Flow for Vision-Based Tactile Sensor Displacement Measurement

abstract: High-resolution multi-modality information acquired by vision-based tactile sensors can support more dexterous manipulations for robot fingers. Optical flow is low-level information directly obtained by vision-based tactile sensors, which can be transformed into other modalities like force, geometry and depth. Current vision-tactile sensors employ optical flow methods from OpenCV to estimate the deformation of markers in gels. However, these methods need to be more precise for accurately measuring the displacement of markers during large elastic deformation of the gel, as this can significantly impact the accuracy of downstream tasks. This study proposes a self-supervised optical flow method based on deep learning to achieve high accuracy in displacement measurement for vision-based tactile sensors. The proposed method employs a coarse-to-fine strategy to handle large deformations by constructing a multi-scale feature pyramid from the input image. To better deal with the elastic deformation caused by the gel, the Helmholtz velocity decomposition constraint combined with the elastic deformation constraint are adopted to address the distortion rate and area change rate, respectively. A local flow fusion module is designed to smooth the optical flow, taking into account the prior knowledge of the blurred effect of gel deformation. We trained the proposed self-supervised network using an open-source dataset and compared it with traditional and deep learning-based optical flow methods. The results show that the proposed method achieved the highest displacement measurement accuracy, thereby demonstrating its potential for enabling more precise measurement of downstream tasks using vision-based tactile sensors.


title: Maximum Principle for Mean Field Type Control Problems with General Volatility Functions

abstract: In this paper, we study the maximum principle of mean field type control problems when the volatility function depends on the state and its measure and also the control, by using our recently developed method. Our method is to embed the mean field type control problem into a Hilbert space to bypass the evolution in the Wasserstein space. We here give a necessary condition and a sufficient condition for these control problems in Hilbert spaces, and we also derive a system of forward-backward stochastic differential equations.


title: QCD phase transitions in the light quark chiral limit

abstract: We investigate the order of the QCD chiral transition in the limit of vanishing bare up/down quark masses and variations of the bare strange-quark mass $0 \le m_{\mathrm{s}} \le \infty$. In this limit and due to universality long range correlations with the quantum numbers of pseudoscalar and scalar mesons may dominate the physics. In order to study the interplay between the microscopic quark and gluon degrees of freedom and the long range correlations we extend a combination of lattice Yang--Mills theory and a (truncated) version of Dyson--Schwinger equations by also taking back-reactions of mesonic degrees of freedom into account. Both this system and the meson backcoupling approach have been studied extensively in the past but this is the first work in a full $(2 + 1)$-flavor setup. Starting from the physical point, we determine the chiral susceptibilities for decreasing up/down quark masses and find good agreement with both lattice and functional renormalization group results. We then proceed to determine the order of the chiral transition along the left-hand side of the Columbia plot, for chemical potentials in the range $-(30 \,\textrm{MeV})^2 \le \mu_q^2 \le (30 \,\textrm{MeV})^2$. We find a second-order phase transition throughout and no trace of a first-order region in the $N_{f} = 3$ corner of the Columbia plot. This result remains unchanged when an additional Goldstone boson due to a restored axial $\mathrm{U_A}(1)$ is taken into account.


title: Effective Field Theories and Finite-temperature Properties of Zero-dimensional Superradiant Quantum Phase Transitions

abstract: The existence of zero-dimensional superradiant quantum phase transitions seems inconsistent with conventional statistical physics. This work clarifies this apparent inconsistency. We demonstrate the corresponding effective field theories and finite-temperature properties of light-matter interacting systems, and show how this zero-dimensional quantum phase transition occurs. We first focus on the Rabi model, which is a minimum model that hosts a superradiant quantum phase transition. With the path integral method, we derive the imaginary-time action of the photon degrees of freedom. We also define a dynamical critical exponent as the rescaling between the temperature and the photon frequency, and perform dimensional analysis to the effective action. The dynamical critical exponent shows that the effective theory of the Rabi model is a free scalar field, where a true second-order quantum phase transition emerges. These results are also verified by numerical simulations of imaginary-time correlation functions of the order parameter. Furthermore, we also generalize this method to the Dicke model. Our results make the zero-dimensional superradiant quantum phase transition compatible with conventional statistical physics, and pave the way to understand it in the perspective of effective field theories.


title: MCNS: Mining Causal Natural Structures Inside Time Series via A Novel Internal Causality Scheme

abstract: Causal inference permits us to discover covert relationships of various variables in time series. However, in most existing works, the variables mentioned above are the dimensions. The causality between dimensions could be cursory, which hinders the comprehension of the internal relationship and the benefit of the causal graph to the neural networks (NNs). In this paper, we find that causality exists not only outside but also inside the time series because it reflects a succession of events in the real world. It inspires us to seek the relationship between internal subsequences. However, the challenges are the hardship of discovering causality from subsequences and utilizing the causal natural structures to improve NNs. To address these challenges, we propose a novel framework called Mining Causal Natural Structure (MCNS), which is automatic and domain-agnostic and helps to find the causal natural structures inside time series via the internal causality scheme. We evaluate the MCNS framework and impregnation NN with MCNS on time series classification tasks. Experimental results illustrate that our impregnation, by refining attention, shape selection classification, and pruning datasets, drives NN, even the data itself preferable accuracy and interpretability. Besides, MCNS provides an in-depth, solid summary of the time series and datasets.


title: Fourier coefficient of parameterized quantum circuits and barren plateau problem

abstract: We show the relationship between the Fourier coefficients and the barren plateau problem emerging in parameterized quantum circuits. In particular, the sum of squares of the Fourier coefficients is exponentially restricted concerning the qubits under the barren plateau condition. Throughout theory and numerical experiments, we introduce that this property leads to the vanishing of a probability and an expectation formed by parameterized quantum circuits. The traditional barren plateau problem requires the variance of gradient, whereas our idea does not explicitly need a statistic. Therefore, it is not required to specify the kind of initial probability distribution.


title: A Multi-task Learning Framework for Drone State Identification and Trajectory Prediction

abstract: The rise of unmanned aerial vehicle (UAV) operations, as well as the vulnerability of the UAVs' sensors, has led to the need for proper monitoring systems for detecting any abnormal behavior of the UAV. This work addresses this problem by proposing an innovative multi-task learning framework (MLF-ST) for UAV state identification and trajectory prediction, that aims to optimize the performance of both tasks simultaneously. A deep neural network with shared layers to extract features from the input data is employed, utilizing drone sensor measurements and historical trajectory information. Moreover, a novel loss function is proposed that combines the two objectives, encouraging the network to jointly learn the features that are most useful for both tasks. The proposed MLF-ST framework is evaluated on a large dataset of UAV flights, illustrating that it is able to outperform various state-of-the-art baseline techniques in terms of both state identification and trajectory prediction. The evaluation of the proposed framework, using real-world data, demonstrates that it can enable applications such as UAV-based surveillance and monitoring, while also improving the safety and efficiency of UAV operations.


title: MTD: Multi-Timestep Detector for Delayed Streaming Perception

abstract: Autonomous driving systems require real-time environmental perception to ensure user safety and experience. Streaming perception is a task of reporting the current state of the world, which is used to evaluate the delay and accuracy of autonomous driving systems. In real-world applications, factors such as hardware limitations and high temperatures inevitably cause delays in autonomous driving systems, resulting in the offset between the model output and the world state. In order to solve this problem, this paper propose the Multi- Timestep Detector (MTD), an end-to-end detector which uses dynamic routing for multi-branch future prediction, giving model the ability to resist delay fluctuations. A Delay Analysis Module (DAM) is proposed to optimize the existing delay sensing method, continuously monitoring the model inference stack and calculating the delay trend. Moreover, a novel Timestep Branch Module (TBM) is constructed, which includes static flow and adaptive flow to adaptively predict specific timesteps according to the delay trend. The proposed method has been evaluated on the Argoverse-HD dataset, and the experimental results show that it has achieved state-of-the-art performance across various delay settings.


title: Exploring the Effects of Japanese Font Designs on Impression Formation and Decision-Making in Text-Based Communication

abstract: Text-based communication, such as text chat, is commonly employed in various contexts, both professional and personal. However, it lacks the rich emotional cues present in verbal and visual forms of communication, such as facial expressions and tone of voice, making it more challenging to convey emotions and increasing the likelihood of misunderstandings. In this study, we focused on typefaces as emotional cues employed in text-based communication and investigated the influence of font design on impression formation and decision-making through two experiments. The results of the experiments revealed the relationship between Japanese typeface design and impression formation, and indicated that advice presented in a font evoking an impression of high confidence was more likely to be accepted than advice presented in a font evoking an impression of low confidence.


title: General concept for autoignitive reaction wave covering from subsonic to supersonic regimes

abstract: We consider a one-dimensional (1D) autoignitive reaction wave in reactive flow system comprising unburned premixed gas entering from the inlet boundary and burned gas exiting from the outlet boundary. In such a 1D system at given initial temperature, it is generally accepted that steady-state solutions can only exist if the inlet velocity matches either the velocity of deflagration wave, as determined by the burning rate eigenvalue in the subsonic regime or the velocity of detonation wave as dictated by the Chapman-Jouguet (CJ) condition in the supersonic regime. In this study, we developed the general concept of "autoignitive reaction wave" and theoretically demonstrate that two distinct regimes that can maintain steady-state solutions both in subsonic and supersonic conditions. Based on this theory, we selected inlet velocities that are predicted to yield either steady-state or flashback solutions, and conducted numerical simulations. This novel approach revealed that steady-state solutions are possible not only at the velocity of the deflagration wave in the subsonic regime and the velocity of the detonation wave in the supersonic regime, but also across a broad range of inlet velocities. Furthermore, we identify a highly stable "autoignitive reaction wave" that emerges when the inlet velocity surpasses the velocity of detonation wave, devoid of the typical shock wave commonly seen in detonation waves. This "supersonic autoignitive reaction wave" lacks the instability-inducing detonation cell structure, suggesting the potential for the development of novel combustor concepts.


title: VEATIC: Video-based Emotion and Affect Tracking in Context Dataset

abstract: Human affect recognition has been a significant topic in psychophysics and computer vision. However, the currently published datasets have many limitations. For example, most datasets contain frames that contain only information about facial expressions. Due to the limitations of previous datasets, it is very hard to either understand the mechanisms for affect recognition of humans or generalize well on common cases for computer vision models trained on those datasets. In this work, we introduce a brand new large dataset, the Video-based Emotion and Affect Tracking in Context Dataset (VEATIC), that can conquer the limitations of the previous datasets. VEATIC has 124 video clips from Hollywood movies, documentaries, and home videos with continuous valence and arousal ratings of each frame via real-time annotation. Along with the dataset, we propose a new computer vision task to infer the affect of the selected character via both context and character information in each video frame. Additionally, we propose a simple model to benchmark this new computer vision task. We also compare the performance of the pretrained model using our dataset with other similar datasets. Experiments show the competing results of our pretrained model via VEATIC, indicating the generalizability of VEATIC. Our dataset is available at https://veatic.github.io.


title: DP-Forward: Fine-tuning and Inference on Language Models with Differential Privacy in Forward Pass

abstract: Differentially private stochastic gradient descent (DP-SGD) adds noise to gradients in back-propagation, safeguarding training data from privacy leakage, particularly membership inference. It fails to cover (inference-time) threats like embedding inversion and sensitive attribute inference. It is also costly in storage and computation when used to fine-tune large pre-trained language models (LMs). We propose DP-Forward, which directly perturbs embedding matrices in the forward pass of LMs. It satisfies stringent local DP requirements for training and inference data. To instantiate it using the smallest matrix-valued noise, we devise an analytic matrix Gaussian~mechanism (aMGM) by drawing possibly non-i.i.d. noise from a matrix Gaussian distribution. We then investigate perturbing outputs from different hidden (sub-)layers of LMs with aMGM noises. Its utility on three typical tasks almost hits the non-private baseline and outperforms DP-SGD by up to 7.7pp at a moderate privacy level. It saves 3$\times$ time and memory costs compared to DP-SGD with the latest high-speed library. It also reduces the average success rates of embedding inversion and sensitive attribute inference by up to 88pp and 41pp, respectively, whereas DP-SGD fails.


title: Integrating GAN and Texture Synthesis for Enhanced Road Damage Detection

abstract: In the domain of traffic safety and road maintenance, precise detection of road damage is crucial for ensuring safe driving and prolonging road durability. However, current methods often fall short due to limited data. Prior attempts have used Generative Adversarial Networks to generate damage with diverse shapes and manually integrate it into appropriate positions. However, the problem has not been well explored and is faced with two challenges. First, they only enrich the location and shape of damage while neglect the diversity of severity levels, and the realism still needs further improvement. Second, they require a significant amount of manual effort. To address these challenges, we propose an innovative approach. In addition to using GAN to generate damage with various shapes, we further employ texture synthesis techniques to extract road textures. These two elements are then mixed with different weights, allowing us to control the severity of the synthesized damage, which are then embedded back into the original images via Poisson blending. Our method ensures both richness of damage severity and a better alignment with the background. To save labor costs, we leverage structural similarity for automated sample selection during embedding. Each augmented data of an original image contains versions with varying severity levels. We implement a straightforward screening strategy to mitigate distribution drift. Experiments are conducted on a public road damage dataset. The proposed method not only eliminates the need for manual labor but also achieves remarkable enhancements, improving the mAP by 4.1% and the F1-score by 4.5%.


title: CONVERSER: Few-Shot Conversational Dense Retrieval with Synthetic Data Generation

abstract: Conversational search provides a natural interface for information retrieval (IR). Recent approaches have demonstrated promising results in applying dense retrieval to conversational IR. However, training dense retrievers requires large amounts of in-domain paired data. This hinders the development of conversational dense retrievers, as abundant in-domain conversations are expensive to collect. In this paper, we propose CONVERSER, a framework for training conversational dense retrievers with at most 6 examples of in-domain dialogues. Specifically, we utilize the in-context learning capability of large language models to generate conversational queries given a passage in the retrieval corpus. Experimental results on conversational retrieval benchmarks OR-QuAC and TREC CAsT 19 show that the proposed CONVERSER achieves comparable performance to fully-supervised models, demonstrating the effectiveness of our proposed framework in few-shot conversational dense retrieval. All source code and generated datasets are available at https://github.com/MiuLab/CONVERSER


title: A quorum sensing active matter in a confined geometry

abstract: Inspired by the problem of biofilm growth, we numerically investigate clustering in a two-dimensional suspension of active (Janus) particles of finite size confined in a circular cavity. Their dynamics is regulated by a non-reciprocal mechanism that causes them to switch from active to passive above a certain threshold of the perceived near-neighbor density (quorum sensing).A variety of cluster phases -- glassy, solid (hexatic) and liquid -- is observed depending on the particle dynamics at the boundary, the quorum sensing range, and the level of noise


title: MFL-YOLO: An Object Detection Model for Damaged Traffic Signs

abstract: Traffic signs are important facilities to ensure traffic safety and smooth flow, but may be damaged due to many reasons, which poses a great safety hazard. Therefore, it is important to study a method to detect damaged traffic signs. Existing object detection techniques for damaged traffic signs are still absent. Since damaged traffic signs are closer in appearance to normal ones, it is difficult to capture the detailed local damage features of damaged traffic signs using traditional object detection methods. In this paper, we propose an improved object detection method based on YOLOv5s, namely MFL-YOLO (Mutual Feature Levels Loss enhanced YOLO). We designed a simple cross-level loss function so that each level of the model has its own role, which is beneficial for the model to be able to learn more diverse features and improve the fine granularity. The method can be applied as a plug-and-play module and it does not increase the structural complexity or the computational complexity while improving the accuracy. We also replaced the traditional convolution and CSP with the GSConv and VoVGSCSP in the neck of YOLOv5s to reduce the scale and computational complexity. Compared with YOLOv5s, our MFL-YOLO improves 4.3 and 5.1 in F1 scores and mAP, while reducing the FLOPs by 8.9%. The Grad-CAM heat map visualization shows that our model can better focus on the local details of the damaged traffic signs. In addition, we also conducted experiments on CCTSDB2021 and TT100K to further validate the generalization of our model.


title: Remote Sensing Object Detection Meets Deep Learning: A Meta-review of Challenges and Advances

abstract: Remote sensing object detection (RSOD), one of the most fundamental and challenging tasks in the remote sensing field, has received longstanding attention. In recent years, deep learning techniques have demonstrated robust feature representation capabilities and led to a big leap in the development of RSOD techniques. In this era of rapid technical evolution, this review aims to present a comprehensive review of the recent achievements in deep learning based RSOD methods. More than 300 papers are covered in this review. We identify five main challenges in RSOD, including multi-scale object detection, rotated object detection, weak object detection, tiny object detection, and object detection with limited supervision, and systematically review the corresponding methods developed in a hierarchical division manner. We also review the widely used benchmark datasets and evaluation metrics within the field of RSOD, as well as the application scenarios for RSOD. Future research directions are provided for further promoting the research in RSOD.


title: Multiscaling in the 3D critical site-diluted Ising ferromagnet

abstract: We have studied numerically the appearance of multiscaling behavior in the three-dimensional ferromagnetic Ising site diluted model, in the form of a multifractal distribution of the decay exponents for the spatial correlation functions at the critical temperature. We have computed the exponents of the long-distance decay of higher moments of the correlation function, up to the 10th power, by studying three different quantities: global susceptibilities, local susceptibilities and correlation functions. We have found very clear evidences for multiscaling behavior.


title: A Reexamination of Proof Approaches for the Impossibility Theorem

abstract: The decisive-set and pivotal-voter approaches have been used to prove Arrow's impossibility theorem. This study presents a proof using a proof calculus in logic. A valid deductive inference between the premises, the axioms and conditions of the theorem, and the conclusion, dictatorship, guarantees that every profile of all possible social welfare functions is examined, thereby establishing the theorem.


title: Explicit Riemann-Roch spaces in the Hilbert class field

abstract: Let $\mathbf K$ be a finite field, $X$ and $Y$ two curves over $\mathbf K$, and $Y\rightarrow X$ an unramified abelian cover with Galois group $G$. Let $D$ be a divisor on $X$ and $E$ its pullback on $Y$. Under mild conditions the linear space associated with $E$ is a free ${\mathbf K}[G]$-module. We study the algorithmic aspects and applications of these modules.


title: Atmospheric retrievals with petitRADTRANS

abstract: petitRADTRANS (pRT) is a fast radiative transfer code used for computing emission and transmission spectra of exoplanet atmospheres, combining a FORTRAN back end with a Python based user interface. It is widely used in the exoplanet community with 222 references in the literature to date, and has been benchmarked against numerous similar tools. The spectra calculated with pRT can be used as a forward model for fitting spectroscopic data using Monte Carlo techniques, commonly referred to as an atmospheric retrieval. The new retrieval module combines fast forward modelling with nested sampling codes, allowing for atmospheric retrievals on a large range of different types of exoplanet data. Thus it is now possible to use pRT to easily and quickly infer the atmospheric properties of exoplanets in both transmission and thermal emission.


title: Kostant's problem for Whittaker modules

abstract: We study the classical problem of Kostant for Whittaker modules over Lie algebras and Lie superalgebras. We give a sufficient condition for a positive answer to Kostant's problem for the standard Whittaker modules over reductive Lie algebras. Under the same condition, the positivity of the answer for simple Whittaker modules is reduced to that for simple highest weight modules. We develop several reduction results to reduce the Kostant's problem for standard and simple Whittaker modules over a type I Lie superalgebra to that for the corresponding Whittaker modules over the even part of this Lie superalgebra.


title: Novel relations for twist-3 tensor-polarized fragmentation functions in spin-1 hadrons

abstract: There are three types of fragmentation functions (FFs) which are used to describe the twist-3 cross sections of the hard semi-inclusive processes under QCD collinear factorization, and they are called intrinsic, kinematical, and dynamical FFs. In this work, we investigate the theoretical relations among these FFs for a tensor-polarized spin-1 hadron. Three Lorentz-invariance relations are derived by using the identities between the nonlocal quark-quark and quark-gluon-quark operators, which guarantee the frame independence of the twist-3 spin observables. The QCD equation of motion relations are also presented for the tensor-polarized FFs. In addition, we show that the intrinsic and kinematical twist-3 FFs can be decomposed into the contributions of twist-2 FFs and twist-3 three-parton FFs, and the latter are also called dynamical FFs. If one neglects the dynamical FFs, we can obtain relations which are analogous to the Wandzura-Wilczek relation. Then, the intrinsic and kinematical twist-3 FFs are expressed in terms of the leading-twist ones. Since the FFs of a spin-1 hadron can be measured at various experimental facilities in the near future, these theoretical relations will play an important role in the analysis of the collinear tensor-polarized FFs.


title: Unravelling the Nuclear Dust Morphology of NGC 1365: A Two Phase Polar - RAT Model for the Ultraviolet to Infrared Spectral Energy Distribution

abstract: We present a 3D radiative transfer model for the Spectral Energy Distribution (SED) of NGC 1365, which is a "changing look" Seyfert 1.8 type AGN. The SED from the ultraviolet (UV) to the infrared (IR) is constructed using archival data from the UVIT on-board $AstroSat$, along with IR data from the literature. The SKIRT radiative transfer code is used to model the SED and derive the geometry and composition of dust in this AGN. Similar to our earlier SED model of NGC 4151, the nuclear region of NGC 1365 is assumed to contain a ring or disk-like structure concentric to the accretion disk, composed of large (0.1$\mu$m - 1$\mu$m) graphite grains in addition to the two-phase dusty torus made up of ISM-type grains (Ring And Torus or RAT model). We also include, for the first time, an additional component of dusty wind in the form of a bipolar cone. We carry out a detailed analysis and derive the best-fit parameters from a $\chi^2 $ test to be $R_{\rm in,r}$ = 0.03 pc, $\sigma$ = 26$^\circ$ and $\tau$ = 20 for the assumed ring-torus-polar wind geometry. Our results suggest the presence of hot dust at a temperature T $\sim$ 1216 K at the location of the ring which absorbs and scatters the incident UV radiation and emits in the near-IR (NIR). In the mid-IR (MIR) the major contributors are the polar cone and warm dust with T $\sim$ 916 K at $R_{\rm in,t}$ = 0.1 pc. Not only are our model radii in agreement with IR interferometric observations, our study also reiterates the role of high resolution UV observations in constraining the dust grain size distribution in the nuclear regions of AGN.


title: Scaled Prompt-Tuning for Few-Shot Natural Language Generation

abstract: The increasingly Large Language Models (LLMs) demonstrate stronger language understanding and generation capabilities, while the memory demand and computation cost of fine-tuning LLMs on downstream tasks are non-negligible. Besides, fine-tuning generally requires a certain amount of data from individual tasks whilst data collection cost is another issue to consider in real-world applications. In this work, we focus on Parameter-Efficient Fine-Tuning (PEFT) methods for few-shot Natural Language Generation (NLG), which freeze most parameters in LLMs and tune a small subset of parameters in few-shot cases so that memory footprint, training cost, and labeling cost are reduced while maintaining or even improving the performance. We propose a Scaled Prompt-Tuning (SPT) method which surpasses conventional PT with better performance and generalization ability but without an obvious increase in training cost. Further study on intermediate SPT suggests the superior transferability of SPT in few-shot scenarios, providing a recipe for data-deficient and computation-limited circumstances. Moreover, a comprehensive comparison of existing PEFT methods reveals that certain approaches exhibiting decent performance with modest training cost such as Prefix-Tuning in prior study could struggle in few-shot NLG tasks, especially on challenging datasets.


title: Symmetry transformation of nonlinear optical current of tilted Weyl nodes and application to ferromagnetic MnBi2Te4

abstract: A Weyl node is characterized by its chirality and tilt. We develop a theory of how $n$th-order nonlinear optical conductivity behaves under transformations of anisotropic tensor and tilt, which clarify how chirality-dependent and -independent parts of optical conductivity transform under the reversal of tilt and chirality. Built on this theory, we propose ferromagnetic $\rm MnBi_{2}Te_{4}$ as a magnetoelectrically regulated, terahertz optical device, by magnetoelectrically switching the chirality-dependent and -independent dc photocurrents. These results are useful for creating nonlinear optical devices based on topological Weyl semimetals.


title: Derivation of CPT resonance signals from density-matrix equations with all relevant sublevels of Cs atoms and confirmation of experimental results

abstract: Coherent-population-trapping resonance is a quantum interference effect that appears in the two-photon transitions between the ground-state hyperfine levels of alkali atoms and is often utilized in miniature clock devices. To quantitatively understand and predict the performance of this phenomenon, it is necessary to consider the transitions and relaxations between all hyperfine Zeeman sublevels involved in the different excitation processes of the atom. In this study, we constructed a computational multi-level atomic model of the Liouville density-matrix equation for 32 Zeeman sublevels involved in the $D_1$ line of $^{133}$Cs irradiated by two frequencies with circularly polarized components and then simulated the amplitude and shape of the transmitted light through a Cs vapor cell. We show that the numerical solutions of the equation and analytical investigations adequately explain a variety of the characteristics observed in the experiment.


title: Dark age consistency in the 21cm global signal

abstract: We propose a new observable for the 21cm global signal during the dark ages, the dark-age consistency ratio, which is motivated from the fact that the shape of the functional form of the brightness temperature against the frequency is cosmological-parameter independent in the standard $\Lambda$CDM model. The dark-age consistency ratio takes a certain definite value in the $\Lambda$CDM case, which can serve as a critical test of the model and probe those beyond the standard one. The new observable just needs measurements of the brightness temperature at a few frequency bands during the dark ages, and thus it allows us to test cosmological scenarios even with limited information on the global signal.


title: Solving rescheduling problems in heterogeneous urban railway networks using hybrid quantum-classical approach

abstract: We address the applicability of hybrid quantum-classical solvers for practical railway rescheduling management problems. We build an integer linear model for the given problem and solve it with D-Wave's quantum-classical hybrid solver as well as with CPLEX for comparison. The proposed approach is demonstrated on a real-life heterogeneous urban network in Poland, including both single- and double segments and covers all the requirements posed by the operator of the network. The computational results demonstrate the readiness for application and benefits of quantum-classical hybrid solvers in the a realistic railway scenario: they yield acceptable solutions on time, which is a critical requirement in a rescheduling situation. At the same time, the obtained solutions are feasible and in sometimes suboptimal. Moreover, though they are heuristics they offer a valid alternative and most importantly, outperform classical solvers in some cases.


title: Adding an Implication to Logics of Perfect Paradefinite Algebras

abstract: Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras. Their associated multiple-conclusion (Set-Set) and single-conclusion (Set-Fmla) order-preserving logics are non-algebraizable self-extensional logics of formal inconsistency and undeterminedness determined by a six-valued matrix, studied in depth by Gomes et al. (2022) from both the algebraic and the proof-theoretical perspectives. In the present paper, we continue that study by investigating directions for conservatively expanding these logics with an implication connective (essentially, one that admits the deduction-detachment theorem). We first consider logics given by very simple and manageable non-deterministic semantics whose implication (in isolation) is classical. These, nevertheless, fail to be self-extensional. We then consider the implication realized by the relative pseudo-complement over the six-valued perfect paradefinite algebra. Our strategy is to expand the language of the latter algebra with this connective and study the (self-extensional) Set-Set and Set-Fmla order-preserving and top-assertional logics of the variety induced by the resulting algebra. We provide axiomatizations for such new variety and for such logics, drawing parallels with the class of symmetric Heyting algebras and with Moisil's 'symmetric modal logic'. For the Set-Set logic, in particular, the axiomatization we obtain is analytic. We close by studying interpolation properties for these logics and concluding that the new variety has the Maehara amalgamation property.


title: Single-photon induced instabilities in a cavity electromechanical device

abstract: Cavity-electromechanical systems are extensively used for sensing and controlling the vibrations of mechanical resonators down to their quantum limit. The nonlinear radiation-pressure interaction in these systems could result in an unstable response of the mechanical resonator showing features such as frequency-combs, period-doubling bifurcations and chaos. However, due to weak light-matter interaction, typically these effects appear at very high driving strengths. By using polariton modes formed by a strongly coupled flux-tunable transmon and a microwave cavity, here we demonstrate an electromechanical device and achieve a single-photon coupling rate $g_0/2\pi$ of $160~$kHz, which is nearly 4\% of the mechanical frequency $\omega_m$. Due to large $g_0/\omega_m$ ratio, the device shows an unstable mechanical response resulting in frequency combs in sub-single photon limit. We systematically investigate the boundary of the unstable response and identify two important regimes governed by the optomechanical backaction and the nonlinearity of the electromagnetic mode. Such an improvement in the single-photon coupling rate and the observations of microwave frequency combs at single-photon levels may have applications in the quantum control of the motional states and critical parametric sensing. Our experiments strongly suggest the requirement of newer approaches to understand instabilities.


title: Harmonically trapped fermions in one dimension: A finite temperature lattice Monte Carlo study

abstract: We study a one-dimensional two-component Fermi gas in a harmonic trapping potential using finite temperature lattice quantum Monte Carlo methods. We are able to compute observables in the canonical ensemble via an efficient projective approach. Results for density profiles, correlations, as well as energy-related observables are presented for systems with up to 80 particles and various temperatures. Our simulations reproduce known numerical results and compare well against available experimental data close to the ground state, while at higher temperature they are benchmarked against the exact solution of the two particle system. This provides an indication that a standard lattice discretization is sufficient to capture the physics of the trapped system. In the special case of a spin-imbalanced gas, we find no sign problem in the parameter ranges studied, allowing access without the need of specialized methods. This includes simulations close to the ground state and at large population imbalance, where we present results for density correlations, indicating pairing at finite total momentum.


title: Well-posedness for an hyperbolic-hyperbolic-elliptic system describing cold plasmas

abstract: In this short note, we provide the well-posedness for an hyperbolic-hyperbolic-elliptic system of PDEs describing the motion of collision free-plasma in magnetic fields. The proof combines a pointwise estimate together with a bootstrap type of argument for the elliptic part of the system.


title: Hierarchical Time-Optimal Planning for Multi-Vehicle Racing

abstract: This paper presents a hierarchical planning algorithm for racing with multiple opponents. The two-stage approach consists of a high-level behavioral planning step and a low-level optimization step. By combining discrete and continuous planning methods, our algorithm encourages global time optimality without being limited by coarse discretization. In the behavioral planning step, the fastest behavior is determined with a low-resolution spatio-temporal visibility graph. Based on the selected behavior, we calculate maneuver envelopes that are subsequently applied as constraints in a time-optimal control problem. The performance of our method is comparable to a parallel approach that selects the fastest trajectory from multiple optimizations with different behavior classes. However, our algorithm can be executed on a single core. This significantly reduces computational requirements, especially when multiple opponents are involved. Therefore, the proposed method is an efficient and practical solution for real-time multi-vehicle racing scenarios.


title: Reliability-Latency-Rate Tradeoff in Low-Latency Communications with Finite-Blocklength Coding

abstract: Low-latency communication plays an increasingly important role in delay-sensitive applications by ensuring the real-time exchange of information. However, due to the constraints on the maximum instantaneous power, bounded latency is hard to be guaranteed. In this paper, we investigate the reliability-latency-rate tradeoff in low-latency communications with finite-blocklength coding (FBC). More specifically, we are interested in the fundamental tradeoff between error probability, delay-violation probability (DVP), and service rate. Based on the effective capacity (EC), we present the gain-conservation equations to characterize the reliability-latency-rate tradeoffs in low-latency systems. In particular, we investigate the low-latency transmissions over an additive white Gaussian noise (AWGN) channel and a Nakagami-$m$ fading channel. By defining the service rate gain, reliability gain, and real-time gain respectively, we further adopt the asymptotic analysis approach to reveal the fundamental reliability-latency-rate tradeoff of ultra-reliable and low-latency communications in the high signal-to-noise-ratio (SNR) regime. To analytically evaluate the quality-of-service-constrained throughput of low-latency communications with FBC, an EC-approximation method is further conceived to derive the closed-form expression of quality-of-service-constrained throughput. Our results may provide some insights into the efficient scheduling of low-latency wireless communications in which statistical latency and reliability metrics are adopted.


title: Deep Learning-based Synthetic High-Resolution In-Depth Imaging Using an Attachable Dual-element Endoscopic Ultrasound Probe

abstract: Endoscopic ultrasound (EUS) imaging has a trade-off between resolution and penetration depth. By considering the in-vivo characteristics of human organs, it is necessary to provide clinicians with appropriate hardware specifications for precise diagnosis. Recently, super-resolution (SR) ultrasound imaging studies, including the SR task in deep learning fields, have been reported for enhancing ultrasound images. However, most of those studies did not consider ultrasound imaging natures, but rather they were conventional SR techniques based on downsampling of ultrasound images. In this study, we propose a novel deep learning-based high-resolution in-depth imaging probe capable of offering low- and high-frequency ultrasound image pairs. We developed an attachable dual-element EUS probe with customized low- and high-frequency ultrasound transducers under small hardware constraints. We also designed a special geared structure to enable the same image plane. The proposed system was evaluated with a wire phantom and a tissue-mimicking phantom. After the evaluation, 442 ultrasound image pairs from the tissue-mimicking phantom were acquired. We then applied several deep learning models to obtain synthetic high-resolution in-depth images, thus demonstrating the feasibility of our approach for clinical unmet needs. Furthermore, we quantitatively and qualitatively analyzed the results to find a suitable deep-learning model for our task. The obtained results demonstrate that our proposed dual-element EUS probe with an image-to-image translation network has the potential to provide synthetic high-frequency ultrasound images deep inside tissues.


title: OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability

abstract: The development of correct and efficient software can be hindered by compilation errors, which must be fixed to ensure the code's syntactic correctness and program language constraints. Neural network-based approaches have been used to tackle this problem, but they lack guarantees of output correctness and can require an unlimited number of modifications. Fixing compilation errors within a given number of modifications is a challenging task. We demonstrate that finding the minimum number of modifications to fix a compilation error is NP-hard. To address compilation error fixing problem, we propose OrdinalFix, a complete algorithm based on shortest-path CFL (context-free language) reachability with attribute checking that is guaranteed to output a program with the minimum number of modifications required. Specifically, OrdinalFix searches possible fixes from the smallest to the largest number of modifications. By incorporating merged attribute checking to enhance efficiency, the time complexity of OrdinalFix is acceptable for application. We evaluate OrdinalFix on two datasets and demonstrate its ability to fix compilation errors within reasonable time limit. Comparing with existing approaches, OrdinalFix achieves a success rate of 83.5%, surpassing all existing approaches (71.7%).


title: Schizophrenia research under the framework of predictive coding: body, language, and others

abstract: Although there have been so many studies on schizophrenia under the framework of predictive coding, works focusing on treatment are very preliminary. A model-oriented, operationalist, and comprehensive understanding of schizophrenia would promote the therapy turn of further research. We summarize predictive coding models of embodiment, co-occurrence of over- and under-weighting priors, subjective time processing, language production or comprehension, self-or-other inference, and social interaction. Corresponding impairments and clinical manifestations of schizophrenia are reviewed under these models at the same time. Finally, we discuss why and how to inaugurate a therapy turn of further research under the framework of predictive coding.


title: Laser-induced heating for the experimental study of critical Casimir forces with optical trapping

abstract: Critical Casimir interactions represent a perfect example of bath-induced forces at mesoscales. These forces may have a relevant role in the living systems as well as a role in the design of nanomachines fueled by environmental fluctuations. Since the thermal fluctuations are enhanced in the vicinity of a demixing point of a second-order phase transition, we can modulate the magnitude and range of these Casimir-like forces by slight changes in the temperature. Here, we consider two optical trapped colloidal beads inside a binary mixture. The Casimir interaction is controlled by warming the mixture by laser-induced heating, whose local application ensures high reproducibility. Once this two-particle system is warmed, the critical behavior of different observables allows the system to become its self-thermometer. We use this experimental scheme for analyzing the energetics of a critical colloidal system under a non-equilibrium-driven protocol. We quantify how the injected work can be dissipated to the environment as heat or stored as free energy. Indeed, our system allows us to use the fluctuation theorems framework for analyzing the performance of this critically driven toy model. Our work paves the way for future experimental studies on the non-equilibrium features of bath-induced forces and the design of critically driven nanosystems.


title: Fundamental Limits of Deep Learning-Based Binary Classifiers Trained with Hinge Loss

abstract: Although deep learning (DL) has led to several breakthroughs in many disciplines as diverse as chemistry, computer science, electrical engineering, mathematics, medicine, neuroscience, and physics, a comprehensive understanding of why and how DL is empirically successful remains fundamentally elusive. To attack this fundamental problem and unravel the mysteries behind DL's empirical successes, significant innovations toward a unified theory of DL have been made. These innovations encompass nearly fundamental advances in optimization, generalization, and approximation. Despite these advances, however, no work to date has offered a way to quantify the testing performance of a DL-based algorithm employed to solve a pattern classification problem. To overcome this fundamental challenge in part, this paper exposes the fundamental testing performance limits of DL-based binary classifiers trained with hinge loss. For binary classifiers that are based on deep rectified linear unit (ReLU) feedforward neural networks (FNNs) and ones that are based on deep FNNs with ReLU and Tanh activation, we derive their respective novel asymptotic testing performance limits. The derived testing performance limits are validated by extensive computer experiments.


title: Long-time instability of planar Poiseuille-type flow in compressible fluid

abstract: It is well-known that at the high Reynolds number, the linearized Navier-Stokes equations around the inviscid stable shear profile admit growing mode solutions due to the destabilizing effect of the viscosity. This phenomenon, called Tollmien-Schlichting instability, has been rigorously justified by Grenier-Guo-Nguyen [Adv. Math. 292 (2016); Duke J. Math. 165 (2016)] for Poiseuille flows and boundary layers in the incompressible fluid. To reveal this intrinsic instability mechanism in the compressible setting, in this paper, we study the long-time instability of the Poiseuille flow in a channel. Note that this instability arises in a low-frequency regime instead of a high-frequency regime for the Prandtl boundary layer. The proof is based on the quasi-compressible-Stokes iteration introduced by Yang-Zhang in [50] and subtle analysis of the dispersion relation for the instability. Note that we do not require symmetric conditions on the background shear flow or perturbations.


title: Fast adiabatic transport of single laser-cooled $^9$Be$^+$ ions in a cryogenic Penning trap stack

abstract: High precision mass and $g$-factor measurements in Penning traps have enabled groundbreaking tests of fundamental physics. The most advanced setups use multi-trap methods, which employ transport of particles between specialized trap zones. Present developments focused on the implementation of sympathetic laser cooling will enable significantly shorter duty cycles and better accuracies in many of these scenarios. To take full advantage of these increased capabilities, we implement fast adiabatic transport concepts developed in the context of trapped-ion quantum information processing in a cryogenic Penning trap system. We show adiabatic transport of a single $^9\mathrm{Be}^+$ ion initially cooled to 2 mK over a 2.2 cm distance within 15 ms and with less than 10\,mK energy gain at a peak velocity of 3 m/s. These results represent an important step towards the implementation of quantum logic spectroscopy in the \ppbar system. Applying these developments to other multi-trap systems has the potential to considerably increase the data-sampling rate in these experiments.


title: Quantum Optical Induced-Coherence Tomography by a Hybrid Interferometer

abstract: Quantum interferometry based on induced-coherence phenomena has demonstrated the possibility of undetected-photon measurements. Perturbation in the optical path of probe photons can be detected by interference signals generated by quantum mechanically correlated twin photons propagating through a different path, possibly at a different wavelength. To the best of our knowledge, this work demonstrates for the first time a hybrid-type induced-coherence interferometer that incorporates a Mach-Zehnder-type interferometer for visible photons and a Michelson-type interferometer for infrared photons, based on double-pass pumped spontaneous parametric down-conversion. This configuration enables infrared optical measurements via the detection of near-visible photons and provides methods for characterizing the quality of measurements by identifying photon pairs of different origins. The results verify that the induced-coherence interference visibility is approximately the same as the heralding efficiencies between twin photons along the relevant spatial modes. Applications to both time-domain and frequency-domain quantum-optical induced-coherence tomography for three-dimensional test structures are demonstrated. The results prove the feasibility of practical undetected-photon sensing and imaging techniques based on the presented structure.


title: Infinitely many standard trisection diagrams for Gluck twisting

abstract: Gay and Meier asked if a trisection diagram for the Gluck twist on a spun or twist-spun 2-knot in $S^4$ obtained by a certain method is standard. In this paper, we show that the trisection diagram for the Gluck twist on the spun $(p+1,p)$-torus knot is standard, where $p$ is any integer greater than or equal to 2.


title: ZKROWNN: Zero Knowledge Right of Ownership for Neural Networks

abstract: Training contemporary AI models requires investment in procuring learning data and computing resources, making the models intellectual property of the owners. Popular model watermarking solutions rely on key input triggers for detection; the keys have to be kept private to prevent discovery, forging, and removal of the hidden signatures. We present ZKROWNN, the first automated end-to-end framework utilizing Zero-Knowledge Proofs (ZKP) that enable an entity to validate their ownership of a model, while preserving the privacy of the watermarks. ZKROWNN permits a third party client to verify model ownership in less than a second, requiring as little as a few KBs of communication.


title: Distinguishing Neural Speech Synthesis Models Through Fingerprints in Speech Waveforms

abstract: Recent strides in neural speech synthesis technologies, while enjoying widespread applications, have nonetheless introduced a series of challenges, spurring interest in the defence against the threat of misuse and abuse. Notably, source attribution of synthesized speech has value in forensics and intellectual property protection, but prior work in this area has certain limitations in scope. To address the gaps, we present our findings concerning the identification of the sources of synthesized speech in this paper. We investigate the existence of speech synthesis model fingerprints in the generated speech waveforms, with a focus on the acoustic model and the vocoder, and study the influence of each component on the fingerprint in the overall speech waveforms. Our research, conducted using the multi-speaker LibriTTS dataset, demonstrates two key insights: (1) vocoders and acoustic models impart distinct, model-specific fingerprints on the waveforms they generate, and (2) vocoder fingerprints are the more dominant of the two, and may mask the fingerprints from the acoustic model. These findings strongly suggest the existence of model-specific fingerprints for both the acoustic model and the vocoder, highlighting their potential utility in source identification applications.


title: Bayesian jackknife empirical likelihood with complex surveys

abstract: We introduce a novel approach called the Bayesian Jackknife empirical likelihood method for analyzing survey data obtained from various unequal probability sampling designs. This method is particularly applicable to parameters described by U-statistics. Theoretical proofs establish that under a non-informative prior, the Bayesian Jackknife pseudo-empirical likelihood ratio statistic converges asymptotically to a normal distribution. This statistic can be effectively employed to construct confidence intervals for complex survey samples. In this paper, we investigate various scenarios, including the presence or absence of auxiliary information and the use of design weights or calibration weights. We conduct numerical studies to assess the performance of the Bayesian Jackknife pseudo-empirical likelihood ratio confidence intervals, focusing on coverage probability and tail error rates. Our findings demonstrate that the proposed methods outperform those based solely on the jackknife pseudo-empirical likelihood, addressing its limitations.


title: Improved particle-flow event reconstruction with scalable neural networks for current and future particle detectors

abstract: Efficient and accurate algorithms are necessary to reconstruct particles in the highly granular detectors anticipated at the High-Luminosity Large Hadron Collider and the Future Circular Collider. We study scalable machine learning models for event reconstruction in electron-positron collisions based on a full detector simulation. Particle-flow reconstruction can be formulated as a supervised learning task using tracks and calorimeter clusters. We compare a graph neural network and kernel-based transformer and demonstrate that we can avoid quadratic operations while achieving realistic reconstruction. We show that hyperparameter tuning significantly improves the performance of the models. The best graph neural network model shows improvement in the jet transverse momentum resolution by up to 50% compared to the rule-based algorithm. The resulting model is portable across Nvidia, AMD and Habana hardware. Accurate and fast machine-learning based reconstruction can significantly improve future measurements at colliders.

categories: physics.data-an cs.LG hep-ex physics.ins-det stat.ML


title: Ungar $\unicode{x2013}$ A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming

abstract: We present Ungar, an open-source library to aid the implementation of high-dimensional optimal control problems (OCPs). We adopt modern template metaprogramming techniques to enable the compile-time modeling of complex systems while retaining maximum runtime efficiency. Our framework provides syntactic sugar to allow for expressive formulations of a rich set of structured dynamical systems. While the core modules depend only on the header-only Eigen and Boost.Hana libraries, we bundle our codebase with optional packages and custom wrappers for automatic differentiation, code generation, and nonlinear programming. Finally, we demonstrate the versatility of Ungar in various model predictive control applications, namely, four-legged locomotion and collaborative loco-manipulation with multiple one-armed quadruped robots. Ungar is available under the Apache License 2.0 at https://github.com/fdevinc/ungar.


title: Understanding Molecular Abundances in Star-Forming Regions Using Interpretable Machine Learning

abstract: Astrochemical modelling of the interstellar medium typically makes use of complex computational codes with parameters whose values can be varied. It is not always clear what the exact nature of the relationship is between these input parameters and the output molecular abundances. In this work, a feature importance analysis is conducted using SHapley Additive exPlanations (SHAP), an interpretable machine learning technique, to identify the most important physical parameters as well as their relationship with each output. The outputs are the abundances of species and ratios of abundances. In order to reduce the time taken for this process, a neural network emulator is trained to model each species' output abundance and this emulator is used to perform the interpretable machine learning. SHAP is then used to further explore the relationship between the physical features and the abundances for the various species and ratios we considered. \ce{H2O} and CO's gas phase abundances are found to strongly depend on the metallicity. \ce{NH3} has a strong temperature dependence, with there being two temperature regimes (< 100 K and > 100K). By analysing the chemical network, we relate this to the chemical reactions in our network and find the increased temperature results in increased efficiency of destruction pathways. We investigate the HCN/HNC ratio and show that it can be used as a cosmic thermometer, agreeing with the literature. This ratio is also found to be correlated with the metallicity. The HCN/CS ratio serves as a density tracer, but also has three separate temperature-dependence regimes, which are linked to the chemistry of the two molecules.


title: Key subgroups and co-minimality in topological groups

abstract: We introduce a minimality property for subgroups of topological groups. A subgroup $H$ is a key subgroup of a topological group $G$ if there is no strictly coarser Hausdorff group topology on $G$ which induces on $H$ the original topology. In fact, this concept appears implicitly in some earlier publications [10,4,12]. Every co-minimal subgroup is a key subgroup while the converse is not true even for discrete groups. In this paper, we continue the study of minimality in topological matrix groups from [12]. Extending some results from [10,4] concerning the generalized Heisenberg group, we prove that the center of the upper unitriangular group $\operatorname{UT}(n,K)$, defined over a commutative topological unital ring $K$, is a key subgroup. If the multiplication map $m \colon K\times K\to K$ is strongly minimal, then this center is even co-minimal in $\operatorname{UT}(n,K)$. We show that this holds, for example, when $K$ is an archimedean absolute valued field or a local field.


title: Lattice Thermal Conductivity from First Principles and Active Learning with Gaussian Process Regression

abstract: The lattice thermal conductivity ($\kappa_{\ell}$) is a key materials property in power electronics, thermal barriers, and thermoelectric devices. Identifying a wide pool of compounds with low $\kappa_{\ell}$ is particularly important in the development of materials with high thermoelectric efficiency. The present study contributed to this with a reliable machine learning (ML) model based on a training set consisting of 268 cubic compounds. For those, $\kappa_{\ell}$ was calculated from first principles using the temperature-dependent effective potential (TDEP) method based on forces and phonons calculated by density functional theory (DFT). 238 of these were preselected and used to train an initial ML model employing Gaussian process regression (GPR). The model was then improved with active learning (AL) by selecting the 30 compounds with the highest GPR uncertainty as new members of an expanded training set. This was used to predict $\kappa_{\ell}$ of the 1574 cubic compounds in the \textsc{Materials Project} (MP) database with a validation R2-score of 0.81 and Spearman correlation of 0.93. Out of these, 27 compounds were predicted to have very low values of $\kappa_{\ell}$ ($\leq 1.3$ at 300~K), which was verified by DFT calculations. Some of these have not previously been reported in the literature, suggesting further investigations of their electronic thermoelectric properties.


title: DCTTS: Discrete Diffusion Model with Contrastive Learning for Text-to-speech Generation

abstract: In the Text-to-speech(TTS) task, the latent diffusion model has excellent fidelity and generalization, but its expensive resource consumption and slow inference speed have always been a challenging. This paper proposes Discrete Diffusion Model with Contrastive Learning for Text-to-Speech Generation(DCTTS). The following contributions are made by DCTTS: 1) The TTS diffusion model based on discrete space significantly lowers the computational consumption of the diffusion model and improves sampling speed; 2) The contrastive learning method based on discrete space is used to enhance the alignment connection between speech and text and improve sampling quality; and 3) It uses an efficient text encoder to simplify the model's parameters and increase computational efficiency. The experimental results demonstrate that the approach proposed in this paper has outstanding speech synthesis quality and sampling speed while significantly reducing the resource consumption of diffusion model. The synthesized samples are available at https://github.com/lawtherWu/DCTTS.


title: Resolution of the Diagonal on the Root Stacks

abstract: In this paper, we give a new constructive proof of the semi-orthogonal decomposition of the derived category of (quasi)-coherent sheaves of root stacks, through an explicit resolution of the diagonal.


title: An Image Dataset for Benchmarking Recommender Systems with Raw Pixels

abstract: Recommender systems (RS) have achieved significant success by leveraging explicit identification (ID) features. However, the full potential of content features, especially the pure image pixel features, remains relatively unexplored. The limited availability of large, diverse, and content-driven image recommendation datasets has hindered the use of raw images as item representations. In this regard, we present PixelRec, a massive image-centric recommendation dataset that includes approximately 200 million user-image interactions, 30 million users, and 400,000 high-quality cover images. By providing direct access to raw image pixels, PixelRec enables recommendation models to learn item representation directly from them. To demonstrate its utility, we begin by presenting the results of several classical pure ID-based baseline models, termed IDNet, trained on PixelRec. Then, to show the effectiveness of the dataset's image features, we substitute the itemID embeddings (from IDNet) with a powerful vision encoder that represents items using their raw image pixels. This new model is dubbed PixelNet.Our findings indicate that even in standard, non-cold start recommendation settings where IDNet is recognized as highly effective, PixelNet can already perform equally well or even better than IDNet. Moreover, PixelNet has several other notable advantages over IDNet, such as being more effective in cold-start and cross-domain recommendation scenarios. These results underscore the importance of visual features in PixelRec. We believe that PixelRec can serve as a critical resource and testing ground for research on recommendation models that emphasize image pixel content. The dataset, code, and leaderboard will be available at https://github.com/westlake-repl/PixelRec.


title: Conic singularities and immediate transversality

abstract: I introduced the notion of immediate transversality in a recent paper on $A_\infty$-structures on Morse complexes. I the present chapter, I prove that immediate transversality holds for every compact submanifold with $C^1$ conic singularities, not only in the setup of Morse Theory. This is an occasion of speaking of this type of singularities.


title: Mild Solution of Semilinear SPDEs with Young Drifts

abstract: In this paper, we study a semilinear SPDE with a linear Young drift $du_{t}=Lu_{t}dt+f\left(t, u_{t}\right)dt+\left(G_{t}u_{t}+g_{t}\right)d\eta_{t}+h\left(t, u_{t}\right)dW_{t}$, where $L$ is the generator of an analytical semigroup, $\eta$ is an $\alpha$-H\"older continuous path with $\alpha \in \left(1/2, 1\right)$ and $W$ is a Brownian motion. After establishing through two different approaches the Young convolution integrals for stochastic integrands, we introduce the corresponding definition of mild solutions and continuous mild solutions, and give via a fixed-point argument the existence and uniqueness of the (continuous) mild solution under suitable conditions.


title: Motion-Bias-Free Feature-Based SLAM

abstract: For SLAM to be safely deployed in unstructured real world environments, it must possess several key properties that are not encompassed by conventional benchmarks. In this paper we show that SLAM commutativity, that is, consistency in trajectory estimates on forward and reverse traverses of the same route, is a significant issue for the state of the art. Current pipelines show a significant bias between forward and reverse directions of travel, that is in addition inconsistent regarding which direction of travel exhibits better performance. In this paper we propose several contributions to feature-based SLAM pipelines that remedies the motion bias problem. In a comprehensive evaluation across four datasets, we show that our contributions implemented in ORB-SLAM2 substantially reduce the bias between forward and backward motion and additionally improve the aggregated trajectory error. Removing the SLAM motion bias has significant relevance for the wide range of robotics and computer vision applications where performance consistency is important.


title: Electricity Demand Forecasting through Natural Language Processing with Long Short-Term Memory Networks

abstract: Electricity demand forecasting is a well established research field. Usually this task is performed considering historical loads, weather forecasts, calendar information and known major events. Recently attention has been given on the possible use of new sources of information from textual news in order to improve the performance of these predictions. This paper proposes a Long and Short-Term Memory (LSTM) network incorporating textual news features that successfully predicts the deterministic and probabilistic tasks of the UK national electricity demand. The study finds that public sentiment and word vector representations related to transport and geopolitics have time-continuity effects on electricity demand. The experimental results show that the LSTM with textual features improves by more than 3% compared to the pure LSTM benchmark and by close to 10% over the official benchmark. Furthermore, the proposed model effectively reduces forecasting uncertainty by narrowing the confidence interval and bringing the forecast distribution closer to the truth.


title: Cognitive Mirage: A Review of Hallucinations in Large Language Models

abstract: As large language models continue to develop in the field of AI, text generation systems are susceptible to a worrisome phenomenon known as hallucination. In this study, we summarize recent compelling insights into hallucinations in LLMs. We present a novel taxonomy of hallucinations from various text generation tasks, thus provide theoretical insights, detection methods and improvement approaches. Based on this, future research directions are proposed. Our contribution are threefold: (1) We provide a detailed and complete taxonomy for hallucinations appearing in text generation tasks; (2) We provide theoretical analyses of hallucinations in LLMs and provide existing detection and improvement methods; (3) We propose several research directions that can be developed in the future. As hallucinations garner significant attention from the community, we will maintain updates on relevant research progress.


title: Resolving the Hubble tension at late times with Dark Energy

abstract: Within the standard cosmological model, the presence of Dark Energy (DE) is the only structural difference between the early and late times Universe. While its presence is in full display at late times, it is irrelevant at early times, especially when all other physical ingredients of the standard model are contributing to the formation of CMB anisotropies. This makes DE a natural candidate to try to solve cosmological tensions between measurements from these two different epochs. We will analyze how DE presence affects relevant cosmological observables and how it could change them. This will allow us to discuss how late-time measurements constrain DE models that aim to resolve the Hubble constant tension and the achievable performances of these models.


title: Computing solubility and thermodynamics properties of H2O2 in water

abstract: Hydrogen peroxide plays a key role in many environmental and industrial chemical processes. We performed classical Molecular Dynamics and Continuous Fractional Component Monte Carlo simulations to calculate thermodynamic properties of H2O2 in aqueous solutions. The quality of the available force fields for H2O2 developed by Orabi & English, and by Cordeiro was systematically evaluated. To assess which water force field is suitable for predicting properties of H2O2 in aqueous solutions, four water force fields were used, namely the TIP3P, TIP4P/2005, TIP5P-E, and a modified TIP3P force field. While the computed densities of pure H2O2 in the temperature range of 253-353 K using the force field by Orabi & English are in excellent agreement with experimental results, the densities using the force field by Cordeiro are underestimated by 3%. The TIP4P/2005 force field in combination with the H2O2 force field developed by Orabi & English can predict the densities of H2O2 aqueous solution for the whole range of H2O2 mole fractions in very good agreement with experimental results. The TIP4P/2005 force field in combination with either of the H2O2 force fields can predict the viscosities of H2O2 aqueous solutions for the whole range of H2O2 mole fractions in good agreement with experimental results. The diffusion coefficients for H2O2 and water molecules using the TIP4P/2005 force field with either of the H2O2 force fields are almost constant for the whole range of H2O2 mole fractions. The Cordeiro force field for H2O2 in combination with either of the water force fields can predict the Henry coefficients of H2O2 in water in better agreement with experimental values than the force field by Orabi & English.


title: Reduced Lagrange multiplier approach for non-matching coupled problems in multiscale elasticity

abstract: This paper presents a numerical method for the simulation of elastic solid materials coupled to fluid inclusions. The application is motivated by the modeling of vascularized tissues and by problems in medical imaging which target the estimation of effective (i.e., macroscale) material properties, taking into account the influence of microscale dynamics, such as fluid flow in the microvasculature. The method is based on the recently proposed Reduced Lagrange Multipliers framework. In particular, the interface between solid and fluid domains is not resolved within the computational mesh for the elastic material but discretized independently, imposing the coupling condition via non-matching Lagrange multipliers. Exploiting the multiscale properties of the problem, the resulting Lagrange multipliers space is reduced to a lower-dimensional characteristic set. We present the details of the stability analysis of the resulting method considering a non-standard boundary condition that enforces a local deformation on the solid-fluid boundary. The method is validated with several numerical examples.


title: Artificial boundary conditions for random ellitpic systems with correlated coefficient field

abstract: We are interested in numerical algorithms for computing the electrical field generated by a charge distribution localized on scale $l$ in an infinite heterogeneous correlated random medium, in a situation where the medium is only known in a box of diameter $L\gg l$ around the support of the charge. We show that the algorithm of Lu, Otto and Wang, suggesting optimal Dirichlet boundary conditions motivated by the multipole expansion of Bella, Giunti and Otto, still performs well in correlated media. With overwhelming probability, we obtain a convergence rate in terms of $l$, $L$ and the size of the correlations for which optimality is supported with numerical simulations. These estimates are provided for ensembles which satisfy a multi-scale logarithmic Sobolev inequality, where our main tool is an extension of the semi-group estimates established by the first author. As part of our strategy, we construct sub-linear second-order correctors in this correlated setting which is of independent interest.