title: On the c-k constrained KP and BKP hierarchies: the Fermionic pictures, solutions and additional symmetries

abstract: In this paper, we study two generalized constrained integrable hierarchies, which are called the $c$-$k$ constrained KP and BKP hierarchies. The Fermionic picture of the $c$-$k$ constrained KP hierarchy is given. We give some solutions for the $c$-$k$ constrained KP hierarchy by using the free Fermion operators and define its additional symmetries. Its additional flows form a subalgebra of the Virasoro algebra. Furthermore, the additional flows acting on eigenfunctions $q_{i}(t)$ and adjoint eigenfunctions $r_{i}(t)$ of the $c$-$k$ constrained KP hierarchy are presented. Next, we define the $c$-$k$ constrained BKP hierarchy and obtain its bilinear identity and solutions. The algebra formed by the additional symmetric flow of the $c$-$k$ constrained BKP hierarchy that we defined is still a subalgebra of the Virasoro algebra and it is a subalgebra of the algebra formed by the additional flows of the $c$-$k$ constrained KP hierarchy.


title: Real-Time Estimation of Relative Pose for UAVs Using a Dual-Channel Feature Association

abstract: Leveraging multiple cameras on Unmanned Aerial Vehicles (UAVs) to form a variable-baseline stereo camera for collaborative perception is highly promising. The critical steps include high-rate cross-camera feature association and frame-rate relative pose estimation of multiple UAVs. To accelerate the feature association rate to match the frame rate, we propose a dual-channel structure to decouple the time-consuming feature detection and match from the high-rate image stream. The novel design of periodic guidance and fast prediction effectively utilizes each image frame to achieve a frame-rate feature association. Real-world experiments are executed using SuperPoint and SuperGlue on the NVIDIA NX 8G platform with a 30 Hz image stream. Using single-channel SuperPoint and SuperGlue can only achieve 13 Hz feature association. The proposed dual-channel method can improve the rate of feature association from 13 Hz to 30 Hz, supporting the frame-rate requirement. To accommodate the proposed feature association, we develop a Multi-State Constrained Kalman Filter (MSCKF)-based relative pose estimator in the back-end by fusing the local odometry from two UAVs together with the measurements of common features. Experiments show that the dual-channel feature association improves the rate of visual observation and enhances the real-time performance of back-end estimator compared to the existing methods. Video - https://youtu.be/UBAR1iP0GPk Supplementary video - https://youtu.be/nPq8EpVzJZM


title: BASES: Large-scale Web Search User Simulation with Large Language Model based Agents

abstract: Due to the excellent capacities of large language models (LLMs), it becomes feasible to develop LLM-based agents for reliable user simulation. Considering the scarcity and limit (e.g., privacy issues) of real user data, in this paper, we conduct large-scale user simulation for web search, to improve the analysis and modeling of user search behavior. Specially, we propose BASES, a novel user simulation framework with LLM-based agents, designed to facilitate comprehensive simulations of web search user behaviors. Our simulation framework can generate unique user profiles at scale, which subsequently leads to diverse search behaviors. To demonstrate the effectiveness of BASES, we conduct evaluation experiments based on two human benchmarks in both Chinese and English, demonstrating that BASES can effectively simulate large-scale human-like search behaviors. To further accommodate the research on web search, we develop WARRIORS, a new large-scale dataset encompassing web search user behaviors, including both Chinese and English versions, which can greatly bolster research in the field of information retrieval. Our code and data will be publicly released soon.


title: Thermodynamics-informed super-resolution of scarce temporal dynamics data

abstract: We present a method to increase the resolution of measurements of a physical system and subsequently predict its time evolution using thermodynamics-aware neural networks. Our method uses adversarial autoencoders, which reduce the dimensionality of the full order model to a set of latent variables that are enforced to match a prior, for example a normal distribution. Adversarial autoencoders are seen as generative models, and they can be trained to generate high-resolution samples from low-resoution inputs, meaning they can address the so-called super-resolution problem. Then, a second neural network is trained to learn the physical structure of the latent variables and predict their temporal evolution. This neural network is known as an structure-preserving neural network. It learns the metriplectic-structure of the system and applies a physical bias to ensure that the first and second principles of thermodynamics are fulfilled. The integrated trajectories are decoded to their original dimensionality, as well as to the higher dimensionality space produced by the adversarial autoencoder and they are compared to the ground truth solution. The method is tested with two examples of flow over a cylinder, where the fluid properties are varied between both examples.


title: Interactive Multi-Head Self-Attention with Linear Complexity

abstract: We propose an efficient interactive method for multi-head self-attention via decomposition. For existing methods using multi-head self-attention, the attention operation of each head is computed independently. However, we show that the interactions between cross-heads of the attention matrix enhance the information flow of the attention operation. Considering that the attention matrix of each head can be seen as a feature of networks, it is beneficial to establish connectivity between them to capture interactions better. However, a straightforward approach to capture the interactions between the cross-heads is computationally prohibitive as the complexity grows substantially with the high dimension of an attention matrix. In this work, we propose an effective method to decompose the attention operation into query- and key-less components. This will result in a more manageable size for the attention matrix, specifically for the cross-head interactions. Expensive experimental results show that the proposed cross-head interaction approach performs favorably against existing efficient attention methods and state-of-the-art backbone models.


title: Comparative study of photo-induced electronic transport along ferroelectric domain walls in lithium niobate single crystals

abstract: Ferroelectric domain wall conductivity (DWC) is an intriguing functional property, that can be controlled through external stimuli such as electric and mechanical fields. Optical-field control, as a non-invasive flexible handle, has rarely been applied so far, but significantly expands the possibility for both tuning and probing DWC. On the one hand, as known from Second-Harmonic, Raman, and CARS micro-spectroscopy, the optical in-and-out approach delivers parameters on the DW distribution, the DW inclination, and probes the DW vibrational modes; on the other hand, photons might be applied also to directly generate charge carriers within the DW, hence acting as a functional and spectrally tunable probe to deduce the integral or local absorption properties and bandgaps of conductive DWs. Here, we report on such an optoelectronic approach by investigating the photo-induced DWC (PI-DWC) in DWs of the model system lithium niobate, a material that is well known for hosting conductive DWs. We compare three different crystals containing different numbers of domain walls: (A) none, (B) one, and (C) many conductive DWs. All samples are inspected for their current-voltage (I-V) behavior (i) in darkness, and (ii) for different illumination wavelengths swept from 500 nm down to 310 nm. All samples show their maximum PI-DWC at 310 nm, i.e., at the optical bandgap of lithium niobate; moreover, sample (C) reaches PI-DWCs of several $\mu$A. Interestingly, a noticeable PI-DWC is also observed for sub-bandgap illumination, i.e., wavelengths as high as 500 nm, hinting towards the existence and decisive role of electronic in-gap states that contribute to the electronic transport along DWs. Finally, conductive atomic force microscopy (c-AFM) investigations under illumination proved that the PI-DWC is confined to the DW area, and does not originate from photo-induced bulk conductivity.


title: Extreme Miscalibration and the Illusion of Adversarial Robustness

abstract: Deep learning-based Natural Language Processing (NLP) models are vulnerable to adversarial attacks, where small perturbations can cause a model to misclassify. Adversarial Training (AT) is often used to increase model robustness. However, we have discovered an intriguing phenomenon: deliberately or accidentally miscalibrating models masks gradients in a way that interferes with adversarial attack search methods, giving rise to an apparent increase in robustness. We show that this observed gain in robustness is an illusion of robustness (IOR), and demonstrate how an adversary can perform various forms of test-time temperature calibration to nullify the aforementioned interference and allow the adversarial attack to find adversarial examples. Hence, we urge the NLP community to incorporate test-time temperature scaling into their robustness evaluations to ensure that any observed gains are genuine. Finally, we show how the temperature can be scaled during \textit{training} to improve genuine robustness.


title: Demonstrating and Reducing Shortcuts in Vision-Language Representation Learning

abstract: Vision-language models (VLMs) mainly rely on contrastive training to learn general-purpose representations of images and captions. We focus on the situation when one image is associated with several captions, each caption containing both information shared among all captions and unique information per caption about the scene depicted in the image. In such cases, it is unclear whether contrastive losses are sufficient for learning task-optimal representations that contain all the information provided by the captions or whether the contrastive learning setup encourages the learning of a simple shortcut that minimizes contrastive loss. We introduce synthetic shortcuts for vision-language: a training and evaluation framework where we inject synthetic shortcuts into image-text data. We show that contrastive VLMs trained from scratch or fine-tuned with data containing these synthetic shortcuts mainly learn features that represent the shortcut. Hence, contrastive losses are not sufficient to learn task-optimal representations, i.e., representations that contain all task-relevant information shared between the image and associated captions. We examine two methods to reduce shortcut learning in our training and evaluation framework: (i) latent target decoding and (ii) implicit feature modification. We show empirically that both methods improve performance on the evaluation task, but only partly reduce shortcut learning when training and evaluating with our shortcut learning framework. Hence, we show the difficulty and challenge of our shortcut learning framework for contrastive vision-language representation learning.


title: Rethinking Mutual Information for Language Conditioned Skill Discovery on Imitation Learning

abstract: Language-conditioned robot behavior plays a vital role in executing complex tasks by associating human commands or instructions with perception and actions. The ability to compose long-horizon tasks based on unconstrained language instructions necessitates the acquisition of a diverse set of general-purpose skills. However, acquiring inherent primitive skills in a coupled and long-horizon environment without external rewards or human supervision presents significant challenges. In this paper, we evaluate the relationship between skills and language instructions from a mathematical perspective, employing two forms of mutual information within the framework of language-conditioned policy learning. To maximize the mutual information between language and skills in an unsupervised manner, we propose an end-to-end imitation learning approach known as Language Conditioned Skill Discovery (LCSD). Specifically, we utilize vector quantization to learn discrete latent skills and leverage skill sequences of trajectories to reconstruct high-level semantic instructions. Through extensive experiments on language-conditioned robotic navigation and manipulation tasks, encompassing BabyAI, LORel, and CALVIN, we demonstrate the superiority of our method over prior works. Our approach exhibits enhanced generalization capabilities towards unseen tasks, improved skill interpretability, and notably higher rates of task completion success.


title: Latent Attention for Linear Time Transformers

abstract: The time complexity of the standard attention mechanism in a transformer scales quadratically with the length of the sequence. We introduce a method to reduce this to linear scaling with time, based on defining attention via latent vectors. The method is readily usable as a drop-in replacement for the standard attention mechanism. Our "Latte Transformer" model can be implemented for both bidirectional and unidirectional tasks, with the causal version allowing a recurrent implementation which is memory and time-efficient during inference of language generation tasks. Whilst next token prediction scales linearly with the sequence length for a standard transformer, a Latte Transformer requires constant time to compute the next token. The empirical performance of our method is comparable to standard attention, yet allows scaling to context windows much larger than practical in standard attention.


title: Study of quantum non-locality by CHSH function and its extension in disordered fermions

abstract: Quantum non-locality is an important concept in quantum physics. In this work, we study the quantum non-locality in a fermion many-body system under quasi-periodic disorders. The Clauser-Horne-Shimony-Holt (CHSH) inequality is systematically investigated, which quantifies quantum non-locality between two sites. We find that the quantum non-locality explicitly characterize the extended and critical phase transitions, and further that in the globally averaged picture of maximum value of the quantum non-locality the CHSH inequality is not broken, but for a local pair in the internal of the system the violation probability of the CHSH inequality becomes sufficiently finite. Further we investigate an extension of the CHSH inequality, Mermin-Klyshko-Svetlichny (MKS) polynomials, which can characterize multipartite quantum non-locality. We also find a similar behavior to the case of CHSH inequality. In particular, in the critical regime and on a transition point, the adjacent three qubit MKS polynomial in a portion of the system exhibits a quantum non-local violation regime with a finite probability.


title: Robust Unsupervised Crowd Counting and Localization with Adaptive Resolution SAM

abstract: The existing crowd counting models require extensive training data, which is time-consuming to annotate. To tackle this issue, we propose a simple yet effective crowd counting method by utilizing the Segment-Everything-Everywhere Model (SEEM), an adaptation of the Segmentation Anything Model (SAM), to generate pseudo-labels for training crowd counting models. However, our initial investigation reveals that SEEM's performance in dense crowd scenes is limited, primarily due to the omission of many persons in high-density areas. To overcome this limitation, we propose an adaptive resolution SEEM to handle the scale variations, occlusions, and overlapping of people within crowd scenes. Alongside this, we introduce a robust localization method, based on Gaussian Mixture Models, for predicting the head positions in the predicted people masks. Given the mask and point pseudo-labels, we propose a robust loss function, which is designed to exclude uncertain regions based on SEEM's predictions, thereby enhancing the training process of the counting networks. Finally, we propose an iterative method for generating pseudo-labels. This method aims at improving the quality of the segmentation masks by identifying more tiny persons in high-density regions, which are often missed in the first pseudo-labeling stage. Overall, our proposed method achieves the best unsupervised performance in crowd counting, while also being comparable results to some supervised methods. This makes it a highly effective and versatile tool for crowd counting, especially in situations where labeled data is not available.


title: Integrated, bright, broadband parametric down-conversion source for quantum metrology and spectroscopy

abstract: Broadband quantum light is a vital resource for quantum metrology and spectroscopy applications such as quantum optical coherence tomography or entangled two photon absorption. For entangled two photon absorption in particular, very high photon flux combined with high time-frequency entanglement is crucial for observing a signal. So far these conditions could be met by using high power lasers driving degenerate, type 0 bulk-crystal spontaneous parametric down conversion (SPDC) sources. This naturally limits the available wavelength ranges and precludes deterministic splitting of the generated output photons. In this work we demonstrate an integrated two-colour SPDC source utilising a group-velocity matched lithium niobate waveguide, reaching both exceptional brightness $1.52\cdot10^6\frac{\mathrm{pairs}}{\mathrm{s\,mW\,GHz}}$ and large bandwidth ($7.8\,$THz FWHM) while pumped with a few mW of continuous wave (CW) laser light. By converting a narrow band pump to broadband pulses the created photon pairs show correlation times of $\Delta \tau \approx 120\,\text{fs}$ while maintaining the narrow bandwidth $\Delta \omega_p \ll 1\,\text{MHz}$ of the CW pump light, yielding strong time-frequency entanglement. Furthermore our process can be adapted to a wide range of central wavelengths.


title: QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations

abstract: Deep Neural Networks (DNNs) stand out as one of the most prominent approaches within the Machine Learning (ML) domain. The efficacy of DNNs has surged alongside recent increases in computational capacity, allowing these approaches to scale to significant complexities for addressing predictive challenges in big data. However, as the complexity of DNN models rises, interpretability diminishes. In response to this challenge, explainable models such as Adversarial Gradient Integration (AGI) leverage path-based gradients provided by DNNs to elucidate their decisions. Yet the performance of path-based explainers can be compromised when gradients exhibit irregularities during out-of-distribution path traversal. In this context, we introduce Quantified Uncertainty Counterfactual Explanations (QUCE), a method designed to mitigate out-of-distribution traversal by minimizing path uncertainty. QUCE not only quantifies uncertainty when presenting explanations but also generates more certain counterfactual examples. We showcase the performance of the QUCE method by comparing it with competing methods for both path-based explanations and generative counterfactual examples.


title: Label-Noise Robust Diffusion Models

abstract: Conditional diffusion models have shown remarkable performance in various generative tasks, but training them requires large-scale datasets that often contain noise in conditional inputs, a.k.a. noisy labels. This noise leads to condition mismatch and quality degradation of generated data. This paper proposes Transition-aware weighted Denoising Score Matching (TDSM) for training conditional diffusion models with noisy labels, which is the first study in the line of diffusion models. The TDSM objective contains a weighted sum of score networks, incorporating instance-wise and time-dependent label transition probabilities. We introduce a transition-aware weight estimator, which leverages a time-dependent noisy-label classifier distinctively customized to the diffusion process. Through experiments across various datasets and noisy label settings, TDSM improves the quality of generated samples aligned with given conditions. Furthermore, our method improves generation performance even on prevalent benchmark datasets, which implies the potential noisy labels and their risk of generative model learning. Finally, we show the improved performance of TDSM on top of conventional noisy label corrections, which empirically proving its contribution as a part of label-noise robust generative models. Our code is available at: https://github.com/byeonghu-na/tdsm.


title: The Strong CP Problem in the Quantum Rotor

abstract: Recent studies have claimed that the strong CP problem does not occur in QCD, proposing a new order of limits in volume and topological sectors when studying observables on the lattice. In order to shed light on this issue, we study the effect of the topological $\theta$-term on a simple quantum mechanical rotor that allows a lattice description. The topological susceptibility and the $\theta$-dependence of the energy spectrum are both computed using local lattice correlation functions. The sign problem is overcome by considering Taylor expansions in $\theta$ exploiting automatic differentiation methods for Monte Carlo processes. Our findings confirm the conventional wisdom on the strong CP problem.


title: Chromatic defect, Wood's theorem, and higher real $K$-theories

abstract: Let $\mathrm{X(n)}$ be Ravenel's Thom spectrum over $\Omega \mathrm{SU}(n)$. We say a spectrum $E$ has chromatic defect $n$ if $n$ is the smallest positive integer such that $E\otimes \mathrm{X(n)}$ is complex orientable. We compute the chromatic defect of various examples of interest: finite spectra, the Real Johnson--Wilson theories $\mathrm{ER(n)}$, the fixed points $\mathrm{EO}_n(G)$ of Morava $E$-theories with respect to a finite subgroup $G$ of the Morava stabilizer group, and the connective image of $J$ spectrum j. Having finite chromatic defect is closely related to the existence of analogues of the classical Wood splitting $\mathrm{ko}\otimes C(\eta)\simeq \mathrm{ku}$. We show that such splittings exist in quite a wide generality for fp spectra $E$. When $E$ participates in such a splitting, $E$ admits a $\mathbb Z$-indexed Adams--Novikov tower, which may be used to deduce differentials in the Adams--Novikov spectral sequence of $E$.


title: Quantum Computing in Logistics and Supply Chain Management an Overview

abstract: The work explores the integration of quantum computing into logistics and supply chain management, emphasising its potential for use in complex optimisation problems. The discussion introduces quantum computing principles, focusing on quantum annealing and gate-based quantum computing, with the Quantum Approximate Optimisation Algorithm and Quantum Annealing as key algorithmic approaches. The paper provides an overview of quantum approaches to routing, logistic network design, fleet maintenance, cargo loading, prediction, and scheduling problems. Notably, most solutions in the literature are hybrid, combining quantum and classical computing. The conclusion highlights the early stage of quantum computing, emphasising its potential impact on logistics and supply chain optimisation. In the final overview, the literature is categorised, identifying quantum annealing dominance and a need for more research in prediction and machine learning is highlighted. The consensus is that quantum computing has great potential but faces current hardware limitations, necessitating further advancements for practical implementation.


title: AVS-Net: Point Sampling with Adaptive Voxel Size for 3D Scene Understanding

abstract: The recent advancements in point cloud learning have enabled intelligent vehicles and robots to comprehend 3D environments better. However, processing large-scale 3D scenes remains a challenging problem, such that efficient downsampling methods play a crucial role in point cloud learning. Existing downsampling methods either require a huge computational burden or sacrifice fine-grained geometric information. For such purpose, this paper presents an advanced sampler that achieves both high accuracy and efficiency. The proposed method utilizes voxel centroid sampling as a foundation but effectively addresses the challenges regarding voxel size determination and the preservation of critical geometric cues. Specifically, we propose a Voxel Adaptation Module that adaptively adjusts voxel sizes with the reference of point-based downsampling ratio. This ensures that the sampling results exhibit a favorable distribution for comprehending various 3D objects or scenes. Meanwhile, we introduce a network compatible with arbitrary voxel sizes for sampling and feature extraction while maintaining high efficiency. The proposed approach is demonstrated with 3D object detection and 3D semantic segmentation. Compared to existing state-of-the-art methods, our approach achieves better accuracy on outdoor and indoor large-scale datasets, e.g. Waymo and ScanNet, with promising efficiency.


title: Digital Quantum Simulations of Hong-Ou-Mandel Interference

abstract: Digital quantum simulation is the process of simulating the dynamics of a physical system by a programmable quantum computer. The universality of quantum computers makes it possible to simulate any quantum system, whether fermionic or bosonic. In this work, we discuss the application of digital quantum simulations to simulate a ubiquitous bosonic system, a beam splitter. To perform the boson-to-qubit mapping, we used the gray code, whose superiority over other encoding schemes has been shown recently. We validated our quantum circuit that mimics the action of a beam splitter by simulating the Hong-Ou-Mandel interference experiment. We simulated the experiment in both quantum simulators and actual quantum backends and were able to observe the HOM interference.


title: Navigating Complexity: Constrained Portfolio Analysis in High Dimensions with Tracking Error and Weight Constraints

abstract: This paper analyzes the statistical properties of constrained portfolio formation in a high dimensional portfolio with a large number of assets. Namely, we consider portfolios with tracking error constraints, portfolios with tracking error jointly with weight (equality or inequality) restrictions, and portfolios with only weight restrictions. Tracking error is the portfolio's performance measured against a benchmark (an index usually), {\color{black}{and weight constraints refers to specific allocation of assets within the portfolio, which often come in the form of regulatory requirement or fund prospectus.}} We show how these portfolios can be estimated consistently in large dimensions, even when the number of assets is larger than the time span of the portfolio. We also provide rate of convergence results for weights of the constrained portfolio, risk of the constrained portfolio and the Sharpe Ratio of the constrained portfolio. To achieve those results we use a new machine learning technique that merges factor models with nodewise regression in statistics. Simulation results and empirics show very good performance of our method.


title: Highway Discretionary Lane-change Decision and Control Using Model Predictive Control

abstract: To enable autonomous vehicles to perform discretionary lane change amidst the random traffic flow on highways, this paper introduces a decision-making and control method for vehicle lane change based on Model Predictive Control (MPC). This approach divides the driving control of vehicles on highways into two parts: lane-change decision and lane-change control, both of which are solved using the MPC method. In the lanechange decision module, the minimum driving costs for each lane are computed and compared by solving the MPC problem to make lane-change decisions. In the lane-change control module, a dynamic bicycle model is incorporated, and a multi-objective cost function is designed to obtain the optimal control inputs for the lane-change process. Additionally, A long-short term memory (LSTM) model is used to predict the trajectories of surrounding vehicles for both the MPC decision and control modules. The proposed lane-change decision and control method is simulated and validated in a driving simulator under random highway traffic conditions.


title: Diffusion Model-Based Image Editing: A Survey

abstract: Denoising diffusion models have emerged as a powerful tool for various image generation and editing tasks, facilitating the synthesis of visual content in an unconditional or input-conditional manner. The core idea behind them is learning to reverse the process of gradually adding noise to images, allowing them to generate high-quality samples from a complex distribution. In this survey, we provide an exhaustive overview of existing methods using diffusion models for image editing, covering both theoretical and practical aspects in the field. We delve into a thorough analysis and categorization of these works from multiple perspectives, including learning strategies, user-input conditions, and the array of specific editing tasks that can be accomplished. In addition, we pay special attention to image inpainting and outpainting, and explore both earlier traditional context-driven and current multimodal conditional methods, offering a comprehensive analysis of their methodologies. To further evaluate the performance of text-guided image editing algorithms, we propose a systematic benchmark, EditEval, featuring an innovative metric, LMM Score. Finally, we address current limitations and envision some potential directions for future research. The accompanying repository is released at https://github.com/SiatMMLab/Awesome-Diffusion-Model-Based-Image-Editing-Methods.


title: The Unelected Hand? Bureaucratic Influence and Electoral Accountability

abstract: What role do non-elected bureaucrats play when elections provide imperfect accountability and create incentives for pandering? We develop a model where politicians and bureaucrats interact to implement policy. Both can either be good, sharing the voters' preferences over policies, or bad, intent on enacting policies that favor private interests. Our analysis identifies the conditions under which good bureaucrats choose to support or oppose political pandering. When bureaucrats wield significant influence over policy decisions, good politicians lose their incentives to pander, a shift that ultimately benefits voters. An intermediate level of bureaucratic influence over policymaking can be voter-optimal: large enough to prevent pandering but small enough to avoid granting excessive influence to potentially bad bureaucrats.


title: Predict the Next Word: Humans exhibit uncertainty in this task and language models _____

abstract: Language models (LMs) are statistical models trained to assign probability to human-generated text. As such, it is reasonable to question whether they approximate linguistic variability exhibited by humans well. This form of statistical assessment is difficult to perform at the passage level, for it requires acceptability judgements (i.e., human evaluation) or a robust automated proxy (which is non-trivial). At the word level, however, given some context, samples from an LM can be assessed via exact matching against a prerecorded dataset of alternative single-word continuations of the available context. We exploit this fact and evaluate the LM's ability to reproduce variability that humans (in particular, a population of English speakers) exhibit in the 'next word prediction' task. This can be seen as assessing a form of calibration, which, in the context of text classification, Baan et al. (2022) termed calibration to human uncertainty. We assess GPT2, BLOOM and ChatGPT and find that they exhibit fairly low calibration to human uncertainty. We also verify the failure of expected calibration error (ECE) to reflect this, and as such, advise the community against relying on it in this setting.


title: Constructions of $t$-designs from weighing matrices and walk-regular graphs

abstract: We provide a method to construct $t$-designs from weighing matrices and walk-regular graphs. One instance of our method can produce a $3$-design from any (symmetric or skew-symmetric) conference matrix, thereby providing a partial answer to a question of Gunderson and Semeraro JCTB 2017. We explore variations of our method on some matrices that satisfy certain combinatorial restrictions. In particular, we show that there exist various infinite families of partially balanced incomplete block designs with block size four on the binary Hamming schemes and the $3$-class association schemes attached to symmetric designs, and regular pairwise balanced designs with block sizes three and four.


title: Evaluation of block encoding for sparse matrix inversion using QSVT

abstract: Three block encoding methods are evaluated for solving linear systems of equations using QSVT (Quantum Singular Value Transformation). These are ARCSIN, FABLE and PREPARE-SELECT. The performance of the encoders is evaluated using a suite of 30 test cases including 1D, 2D and 3D Laplacians and 2D CFD matrices. A subset of cases is used to characterise how the degree of the polynomial approximation to $1/x$ influences the performance of QSVT. The results are used to guide the evaluation of QSVT as the linear solver in hybrid non-linear pressure correction and coupled implicit CFD solvers. The performance of QSVT is shown to be resilient to polynomial approximation errors. For both CFD solvers, error tolerances of $10^{-2}$ are more than sufficient in most cases and in some cases $10^{-1}$ is sufficient. The pressure correction solver allows subnormalised condition numbers, $\kappa_s$, as low as half the theoretical values to be used, reducing the number of phase factors needed. PREPARE-SELECT encoding relies on a unitary decomposition, e.g. Pauli strings, that has significant classical preprocessing costs. Both ARCSIN and FABLE have much lower costs, particularly for coupled solvers. However, their subnormalisation factors, which are based on the rank of the matrix, can be many times higher than PREPARE-SELECT leading to more phase factors being needed. For both the pressure correction and coupled CFD calculations, QSVT is more stable than previous HHL results due to the polynomial approximation errors only affecting long wavelength CFD errors. Given that lowering $\kappa_s$ increases the success probability, optimising the performance of QSVT within a CFD code is a function of the number QSVT phase factors, the number of non-linear iterations and the number of shots. Although phase factor files can be reused, the time taken to generate them impedes scaling QSVT to larger test cases.


title: The reverse Burnett conjecture for null dusts

abstract: Given a generic solution $\mathbf{g}_0$ of the Einstein-null dusts system without restriction on the number of dusts, we construct families of solutions $(\mathbf{g}_\lambda)_{\lambda\in(0,1]}$ of the Einstein vacuum equations such that $\mathbf{g}_\lambda-\mathbf{g}_0$ and $\partial(\mathbf{g}_\lambda-\mathbf{g}_0)$ converges respectively strongly and weakly to 0 when $\lambda\to0$. Our construction, based on a multiphase geometric optics ansatz, thus extends the validity of the reverse Burnett conjecture without symmetry to a large class of massless kinetic spacetimes. In order to deal with the finite but arbitrary number of direction of oscillations we work in a generalised wave gauge and control precisely the self-interaction of each wave but also the interaction of waves propagating in different null directions, relying crucially on the non-linear structure of the Einstein vacuum equations. We also provide the construction of oscillating initial data solving the vacuum constraint equations and which are consistent with the spacetime ansatz.


title: Nissist: An Incident Mitigation Copilot based on Troubleshooting Guides

abstract: Effective incident management is pivotal for the smooth operation of enterprises-level cloud services. In order to expedite incident mitigation, service teams compile troubleshooting knowledge into Troubleshooting Guides (TSGs) accessible to on-call engineers (OCEs). While automated pipelines are enabled to resolve the most frequent and easy incidents, there still exist complex incidents that require OCEs' intervention. However, TSGs are often unstructured and incomplete, which requires manual interpretation by OCEs, leading to on-call fatigue and decreased productivity, especially among new-hire OCEs. In this work, we propose Nissist which leverages TSGs and incident mitigation histories to provide proactive suggestions, reducing human intervention. Leveraging Large Language Models (LLM), Nissist extracts insights from unstructured TSGs and historical incident mitigation discussions, forming a comprehensive knowledge base. Its multi-agent system design enhances proficiency in precisely discerning user queries, retrieving relevant information, and delivering systematic plans consecutively. Through our user case and experiment, we demonstrate that Nissist significant reduce Time to Mitigate (TTM) in incident mitigation, alleviating operational burdens on OCEs and improving service reliability. Our demo is available at https://aka.ms/nissist_demo.


title: Retrieval is Accurate Generation

abstract: Standard language models generate text by selecting tokens from a fixed, finite, and standalone vocabulary. We introduce a novel method that selects context-aware phrases from a collection of supporting documents. One of the most significant challenges for this paradigm shift is determining the training oracles, because a string of text can be segmented in various ways and each segment can be retrieved from numerous possible documents. To address this, we propose to initialize the training oracles using linguistic heuristics and, more importantly, bootstrap the oracles through iterative self-reinforcement. Extensive experiments show that our model not only outperforms standard language models on a variety of knowledge-intensive tasks but also demonstrates improved generation quality in open-ended text generation. For instance, compared to the standard language model counterpart, our model raises the accuracy from 23.47% to 36.27% on OpenbookQA, and improves the MAUVE score from 42.61% to 81.58% in open-ended text generation. Remarkably, our model also achieves the best performance and the lowest latency among several retrieval-augmented baselines. In conclusion, we assert that retrieval is more accurate generation and hope that our work will encourage further research on this new paradigm shift.


title: Black-box Adversarial Attacks Against Image Quality Assessment Models

abstract: The goal of No-Reference Image Quality Assessment (NR-IQA) is to predict the perceptual quality of an image in line with its subjective evaluation. To put the NR-IQA models into practice, it is essential to study their potential loopholes for model refinement. This paper makes the first attempt to explore the black-box adversarial attacks on NR-IQA models. Specifically, we first formulate the attack problem as maximizing the deviation between the estimated quality scores of original and perturbed images, while restricting the perturbed image distortions for visual quality preservation. Under such formulation, we then design a Bi-directional loss function to mislead the estimated quality scores of adversarial examples towards an opposite direction with maximum deviation. On this basis, we finally develop an efficient and effective black-box attack method against NR-IQA models. Extensive experiments reveal that all the evaluated NR-IQA models are vulnerable to the proposed attack method. And the generated perturbations are not transferable, enabling them to serve the investigation of specialities of disparate IQA models.


title: Ghost-gluon vertex in the presence of the Gribov horizon: General kinematics

abstract: Correlation functions are important probes for the behavior of quantum field theories. Already at tree-level, the Refined Gribov Zwanziger (RGZ) effective action for Yang-Mills theories provides a good approximation for the gluon propagator, as compared to that calculated by nonperturbative methods such as Lattice Field Theory and Dyson-Schwinger Equations. However, the study of higher correlation functions of the RGZ theory is still at its beginning. In this work we evaluate the ghost-antighost-gluon vertex function in Landau gauge at one-loop level, in $d=4$ space-time dimensions for the gauge groups SU(2) and SU(3). More precisely, we extend the analysis conducted in [1] for the soft-gluon limit to an arbitrary kinematic configuration. We introduce renormalization group effects by means of a toy model for the running coupling and investigate the impact of such a model in the ultraviolet tails of our results. We find that RGZ results match fairly closely those from lattice simulations, Schwinger-Dyson equations and the Curci-Ferrari model for three different kinematic configurations. This is compatible with RGZ being a feasible theory for the strong interaction in the infrared regime.


title: Multimodal Learned Sparse Retrieval with Probabilistic Expansion Control

abstract: Learned sparse retrieval (LSR) is a family of neural methods that encode queries and documents into sparse lexical vectors that can be indexed and retrieved efficiently with an inverted index. We explore the application of LSR to the multi-modal domain, with a focus on text-image retrieval. While LSR has seen success in text retrieval, its application in multimodal retrieval remains underexplored. Current approaches like LexLIP and STAIR require complex multi-step training on massive datasets. Our proposed approach efficiently transforms dense vectors from a frozen dense model into sparse lexical vectors. We address issues of high dimension co-activation and semantic deviation through a new training algorithm, using Bernoulli random variables to control query expansion. Experiments with two dense models (BLIP, ALBEF) and two datasets (MSCOCO, Flickr30k) show that our proposed algorithm effectively reduces co-activation and semantic deviation. Our best-performing sparsified model outperforms state-of-the-art text-image LSR models with a shorter training time and lower GPU memory requirements. Our approach offers an effective solution for training LSR retrieval models in multimodal settings. Our code and model checkpoints are available at github.com/thongnt99/lsr-multimodal


title: Electrically driven cascaded photon-emission in a single molecule

abstract: Controlling electrically-stimulated quantum light sources (QLS) is key for developing integrated and low-scale quantum devices. The mechanisms leading to quantum emission are complex, as a large number of electronic states of the system impacts the emission dynamics. Here, we use a scanning tunneling microscope (STM) to excite a model QLS, namely a single molecule. The luminescence spectra reveal two lines, associated to the emission of the neutral and positively charged molecule, both exhibiting single-photon source behavior. In addition, we find a correlation between the charged and neutral molecule's emission, the signature of a photon cascade. By adjusting the charging/discharging rate, we can control these emission statistics. This generic strategy is further established by a rate equation model revealing the complex internal dynamics of the molecular junction.


title: Forming 1D Periodic J-aggregates by Mechanical Bending of BNNTs: Evidence of Activated Molecular Diffusion

abstract: Driving molecular assembly into micrometer-scale patterns is key for defining advanced materials of interest in various fields, including life sciences, photovoltaics, and quantum photonics. However, the driving process competes with other forces, such as Brownian motion, ripening phenomena, capillary forces, and non-specific adsorption. Here we report on a guided diffusion mechanism of luminescent dye molecules encapsulated inside boron nitride nanotubes (BNNTs). Correlative measurements between BNNT bending and molecular position along the BNNT axis reveal an efficient and long-range migration of dyes from curved to straight regions of the nanotube. This curvature activated diffusion forms clusters of bright J-aggregates in periodic patterns of well-defined spacing and length. A phenomenological model of guided molecular transport in bended BNNTs is used to describe this directed 1D diffusion inside BNNT. It is shown to accurately predict the position and morphologies of a J-aggregate as a function of nanotube length. Coupling topological stimuli to 1D molecular diffusion at the nanoscale is here presented as an interesting tool capable of reconfiguring various emissive patterns of functional molecules at the mesoscopic scale.


title: A TDM-based Analog Front-End for Ear-EEG Recording with 74.5-G{\Omega} Input Impedance, 384-mV DC Tolerance and 0.27-{\mu}Vrms Input-Referred Noise

abstract: This paper presents the design of a time-division multiplexed capacitively-coupled chopper analog front-end (AFE) with a novel impedance boost loop (IBL) and a novel DC servo loop (DSL). The proposed IBL has two impedance booting loops for compensating leakage current due to parasitic capacitance from the ESD pad and external interconnections, and the chopper. By shifting the compensation node from the feedback pathway to the amplifier's inputs, this work realizes a higher-resolution compensation, boosting the input impedance of the AFE to several tens of G{\Omega}. The proposed DSL consists of a coarse DSL driven by DC supply voltages and a fine DSL driven by five phase-interleaving pulse-width modulated waveforms (PI-PWM). Avoiding the usage of delta-sigma CDAC, the energy efficiency is better than conventional DSLs. Designed in a 0.18-{\mu}m CMOS process, the AFE consumes 4.5 {\mu}A from a 1.2-V supply. The simulated input referred noise is 0.27 {\mu}Vrms from 0.5 to 100 Hz in the presence of a 384-mV EDO. With a 10-pF parasitic capacitance, the proposed AFE achieves an input impedance of more than 74.5 G{\Omega} at 1 Hz and 6.4 G{\Omega} at 50 Hz. The simulation results have been robust under 100 Monte-Carlo samples.


title: The optimizing mode classification stabilization of sampled stochastic jump systems via an improved hill-climbing algorithm based on Q-learning

abstract: This paper addresses the stabilization problem of stochastic jump systems (SJSs) closed by a generally sampled controller. Because of the controller's switching and state both sampled, it is challenging to study its stabilization. A new stabilizing method deeply depending on the mode classifications is proposed to deal with the above sampling situation, whose quantity is equal to a Stirling number of the second kind. For the sake of finding the best stabilization effect among all the classifications, a convex optimization problem is developed, whose globally solution is proved to be existent and can be computed by an augmented Lagrangian function. More importantly, in order to further reduce the computation complexity but retaining a better performance as much as possible, a novelly improved hill-climbing algorithm is established by applying the Q-learning technique to provide an optimal attenuation coefficient. A numerical example is offered so as to verify the effectiveness and superiority of the methods proposed in this study.


title: Circular THz ratchets in a 2D-modulated Dirac system

abstract: We report on the observation of the circular ratchet effect excited by terahertz laser radiation in a specially designed two-dimensional metamaterial consisting of a graphene monolayer deposited on a graphite gate patterned with an array of triangular antidots. We show that a periodically driven Dirac fermion system with spatial asymmetry converts the a.c. power into a d.c. current, whose direction reverses when the radiation helicity is switched. The circular ratchet effect is demonstrated for room temperature and a radiation frequency of 2.54 THz. It is shown that the ratchet current magnitude can be controllably tuned by the patterned and uniform back gate voltages. The results are analyzed in the light of the developed microscopic theory considering electronic and plasmonic mechanisms of the ratchet current formation.


title: Optimal Stopping of BSDEs with Constrained Jumps and Related Double Obstacle PDEs

abstract: We consider partial differential equations (PDEs) characterized by an upper barrier that depends on the solution itself and a fixed lower barrier, while accommodating a non-local driver. First, we show a Feynman-Kac representation for the PDE when the driver is local. Specifically, we relate the non-linear Snell envelope for an optimal stopping problem, where the underlying process is the first component in the solution to a stopped backward stochastic differential equation (BSDE) with jumps and a constraint on the jumps process, to a viscosity solution for the PDE. Leveraging this Feynman-Kac representation, we subsequently prove existence and uniqueness of viscosity solutions in the non-local setting by employing a contraction argument. In addition, the contraction argument yields existence of a new type of non-linear Snell envelope and extends the theory of probabilistic representation for PDEs.


title: A heuristic for solving the irregular strip packing problem with quantum optimization

abstract: We introduce a novel quantum computing heuristic for solving the irregular strip packing problem, a significant challenge in optimizing material usage across various industries. This problem involves arranging a set of irregular polygonal pieces within a fixed-height, rectangular container to minimize waste. Traditional methods heavily rely on manual optimization by specialists, highlighting the complexity and computational difficulty of achieving quasi-optimal layouts. The proposed algorithm employs a quantum-inspired heuristic that decomposes the strip packing problem into two sub-problems: ordering pieces via the traveling salesman problem and spatially arranging them in a rectangle packing problem. This strategy facilitates a novel application of quantum computing to industrial optimization, aiming to minimize waste and enhance material efficiency. Experimental evaluations using both classical and quantum computational methods demonstrate the algorithm's efficacy. We evaluate the algorithm's performance using the quantum approximate optimization algorithm and the quantum alternating operator ansatz, through simulations and real quantum computers, and compare it to classical approaches.


title: Computational imaging of small-amplitude biperiodic surfaces with negative index material

abstract: This paper presents an innovative approach to computational acoustic imaging of biperiodic surfaces, exploiting the capabilities of an acoustic superlens to overcome the diffraction limit. We address the challenge of imaging physical entities in complex environments by considering the partial differential equations that govern the physics and solving the corresponding inverse problem. We focus on imaging infinite rough surfaces, specifically 2D diffraction gratings, and propose a method that leverages the transformed field expansion (TFE). We derive a reconstruction formula connecting the Fourier coefficients of the surface and the measured field, demonstrating the potential for unlimited resolution under ideal conditions. We also introduce an approximate discrepancy principle to determine the cut-off frequency for the truncated Fourier series expansion in surface profile reconstruction. Furthermore, we elucidate the resolution enhancement effect of the superlens by deriving the discrete Fourier transform of white Gaussian noise. Our numerical experiments confirm the effectiveness of the proposed method, demonstrating high subwavelength resolution even under slightly non-ideal conditions. This study extends the current understanding of superlens-based imaging and provides a robust framework for future research.


title: Adapting Learned Image Codecs to Screen Content via Adjustable Transformations

abstract: As learned image codecs (LICs) become more prevalent, their low coding efficiency for out-of-distribution data becomes a bottleneck for some applications. To improve the performance of LICs for screen content (SC) images without breaking backwards compatibility, we propose to introduce parameterized and invertible linear transformations into the coding pipeline without changing the underlying baseline codec's operation flow. We design two neural networks to act as prefilters and postfilters in our setup to increase the coding efficiency and help with the recovery from coding artifacts. Our end-to-end trained solution achieves up to 10% bitrate savings on SC compression compared to the baseline LICs while introducing only 1% extra parameters.


title: Accuracy of the Gross-Pitaevskii Equation in a Double-Well Potential

abstract: The Gross-Pitaevskii equation (GPE) in a double well potential produces solutions that break the symmetry of the underlying non-interacting Hamiltonian, i.e., asymmetric solutions. The GPE is derived from the more general second-quantized Fock Schroedinger equation (FSE). We investigate whether such solutions appear in the more general case or are artifacts of the GPE. We use two-mode analyses for a variational treatment of the GPE and to treat the Fock equation. An exact diagonalization of the FSE in dual-condensates yields degenerate ground states that are very accurately fitted by phase-state representations of the degenerate asymmetric states found in the GPE. The superposition of degenerate asymmetrical states forms a cat state. An alternative form of cat state results from a change of the two-mode basis set.


title: COCOA: CBT-based Conversational Counseling Agent using Memory Specialized in Cognitive Distortions and Dynamic Prompt

abstract: The demand for conversational agents that provide mental health care is consistently increasing. In this work, we develop a psychological counseling agent, referred to as CoCoA, that applies Cognitive Behavioral Therapy (CBT) techniques to identify and address cognitive distortions inherent in the client's statements. Specifically, we construct a memory system to efficiently manage information necessary for counseling while extracting high-level insights about the client from their utterances. Additionally, to ensure that the counseling agent generates appropriate responses, we introduce dynamic prompting to flexibly apply CBT techniques and facilitate the appropriate retrieval of information. We conducted dialogues between CoCoA and characters from Character.ai, creating a dataset for evaluation. Then, we asked GPT to evaluate the constructed counseling dataset, and our model demonstrated a statistically significant difference from other models.


title: The Maker-Breaker percolation game on a random board

abstract: The $(m,b)$ Maker-Breaker percolation game on $(\mathbb{Z}^2)_p$, introduced by Day and Falgas-Ravry, is played in the following way. Before the game starts, each edge of $\mathbb{Z}^2$ is removed independently with probability $1-p$. After that, Maker chooses a vertex $v_0$ to protect. Then, in each round Maker and Breaker claim respectively $m$ and $b$ unclaimed edges of $G$. Breaker wins if after the removal of the edges claimed by him the component of $v_0$ becomes finite, and Maker wins if she can indefinitely prevent Breaker from winning. We show that for any $p < 1$, Breaker almost surely has a wining strategy for the $(1,1)$ game on $(\mathbb{Z}^2)_p$. This fully answers a question of Day and Falgas-Ravry, who showed that for $p = 1$ Maker has a winning strategy for the $(1,1)$ game. Further, we show that in the $(2,1)$ game on $(\mathbb{Z}^2)_p$ Maker almost surely has a winning strategy whenever $p > 0.9402$, while Breaker almost surely has a winning strategy whenever $p < 0.5278$. This shows that the threshold value of $p$ above which Maker has a winning strategy for the $(2,1)$ game on $\mathbb{Z}^2$ is non-trivial. In fact, we prove similar results in various settings, including other lattices and biases $(m,b)$. These results extend also to the most general case, which we introduce, where each edge is given to Maker with probability $\alpha$ and to Breaker with probability $\beta$ before the game starts.


title: On geodesic orbit nilmanifolds

abstract: The paper is devoted to the study of geodesic orbit Riemannian metrics on nilpotent Lie groups. The main result is the construction of continuous families of pairwise non-isomorphic connected and simply connected nilpotent Lie groups, every of which admits geodesic orbit metrics. The minimum dimension of groups in the constructed families is $10$.


title: FlipHash: A Constant-Time Consistent Range-Hashing Algorithm

abstract: Consistent range-hashing is a technique used in distributed systems, either directly or as a subroutine for consistent hashing, commonly to realize an even and stable data distribution over a variable number of resources. We introduce FlipHash, a consistent range-hashing algorithm with constant time complexity and low memory requirements. Like Jump Consistent Hash, FlipHash is intended for applications where resources can be indexed sequentially. Under this condition, it ensures that keys are hashed evenly across resources and that changing the number of resources only causes keys to be remapped from a removed resource or to an added one, but never shuffled across persisted ones. FlipHash differentiates itself with its low computational cost, achieving constant-time complexity. We show that FlipHash beats Jump Consistent Hash's cost, which is logarithmic in the number of resources, both theoretically and in experiments over practical settings.


title: Emergency Caching: Coded Caching-based Reliable Map Transmission in Emergency Networks

abstract: Many rescue missions demand effective perception and real-time decision making, which highly rely on effective data collection and processing. In this study, we propose a three-layer architecture of emergency caching networks focusing on data collection and reliable transmission, by leveraging efficient perception and edge caching technologies. Based on this architecture, we propose a disaster map collection framework that integrates coded caching technologies. Our framework strategically caches coded fragments of maps across unmanned aerial vehicles (UAVs), fostering collaborative uploading for augmented transmission reliability. Additionally, we establish a comprehensive probability model to assess the effective recovery area of disaster maps. Towards the goal of utility maximization, we propose a deep reinforcement learning (DRL) based algorithm that jointly makes decisions about cooperative UAVs selection, bandwidth allocation and coded caching parameter adjustment, accommodating the real-time map updates in a dynamic disaster situation. Our proposed scheme is more effective than the non-coding caching scheme, as validated by simulation.


title: Partition-Theoretic Results and Recurrence Relations for the Coefficients of Some Mock Theta Functions

abstract: In the paper, we give partition-theoretic results for the coefficients of some mock theta functions and prove their congruence properties. Some recurrence relations connecting the coefficients of the mock theta functions with certain restricted partition functions are also established.


title: Global solutions of approximation problems in Krein spaces

abstract: Three approximation problems in Krein spaces are studied, namely the indefinite weighted least squares problem and the related problems of indefinite abstract splines and smoothing. In every case, we analyze if the problem has a solution for every point of the Krein space, the existence of a linear and continuous operator that maps each data point to its solution and when the associated operator problem considering the J-trace has a solution.


title: OmniACT: A Dataset and Benchmark for Enabling Multimodal Generalist Autonomous Agents for Desktop and Web

abstract: For decades, human-computer interaction has fundamentally been manual. Even today, almost all productive work done on the computer necessitates human input at every step. Autonomous virtual agents represent an exciting step in automating many of these menial tasks. Virtual agents would empower users with limited technical proficiency to harness the full possibilities of computer systems. They could also enable the efficient streamlining of numerous computer tasks, ranging from calendar management to complex travel bookings, with minimal human intervention. In this paper, we introduce OmniACT, the first-of-a-kind dataset and benchmark for assessing an agent's capability to generate executable programs to accomplish computer tasks. Our scope extends beyond traditional web automation, covering a diverse range of desktop applications. The dataset consists of fundamental tasks such as "Play the next song", as well as longer horizon tasks such as "Send an email to John Doe mentioning the time and place to meet". Specifically, given a pair of screen image and a visually-grounded natural language task, the goal is to generate a script capable of fully executing the task. We run several strong baseline language model agents on our benchmark. The strongest baseline, GPT-4, performs the best on our benchmark However, its performance level still reaches only 15% of the human proficiency in generating executable scripts capable of completing the task, demonstrating the challenge of our task for conventional web agents. Our benchmark provides a platform to measure and evaluate the progress of language model agents in automating computer tasks and motivates future work towards building multimodal models that bridge large language models and the visual grounding of computer screens.


title: Evaluation of Predictive Reliability to Foster Trust in Artificial Intelligence. A case study in Multiple Sclerosis

abstract: Applying Artificial Intelligence (AI) and Machine Learning (ML) in critical contexts, such as medicine, requires the implementation of safety measures to reduce risks of harm in case of prediction errors. Spotting ML failures is of paramount importance when ML predictions are used to drive clinical decisions. ML predictive reliability measures the degree of trust of a ML prediction on a new instance, thus allowing decision-makers to accept or reject it based on its reliability. To assess reliability, we propose a method that implements two principles. First, our approach evaluates whether an instance to be classified is coming from the same distribution of the training set. To do this, we leverage Autoencoders (AEs) ability to reconstruct the training set with low error. An instance is considered Out-of-Distribution (OOD) if the AE reconstructs it with a high error. Second, it is evaluated whether the ML classifier has good performances on samples similar to the newly classified instance by using a proxy model. We show that this approach is able to assess reliability both in a simulated scenario and on a model trained to predict disease progression of Multiple Sclerosis patients. We also developed a Python package, named relAI, to embed reliability measures into ML pipelines. We propose a simple approach that can be used in the deployment phase of any ML model to suggest whether to trust predictions or not. Our method holds the promise to provide effective support to clinicians by spotting potential ML failures during deployment.


title: Scribble Hides Class: Promoting Scribble-Based Weakly-Supervised Semantic Segmentation with Its Class Label

abstract: Scribble-based weakly-supervised semantic segmentation using sparse scribble supervision is gaining traction as it reduces annotation costs when compared to fully annotated alternatives. Existing methods primarily generate pseudo-labels by diffusing labeled pixels to unlabeled ones with local cues for supervision. However, this diffusion process fails to exploit global semantics and class-specific cues, which are important for semantic segmentation. In this study, we propose a class-driven scribble promotion network, which utilizes both scribble annotations and pseudo-labels informed by image-level classes and global semantics for supervision. Directly adopting pseudo-labels might misguide the segmentation model, thus we design a localization rectification module to correct foreground representations in the feature space. To further combine the advantages of both supervisions, we also introduce a distance entropy loss for uncertainty reduction, which adapts per-pixel confidence weights according to the reliable region determined by the scribble and pseudo-label's boundary. Experiments on the ScribbleSup dataset with different qualities of scribble annotations outperform all the previous methods, demonstrating the superiority and robustness of our method.The code is available at https://github.com/Zxl19990529/Class-driven-Scribble-Promotion-Network.


title: T-odd gluon distribution functions in a spectator model

abstract: We present a model calculation of T-odd transverse-momentum-dependent distributions of gluons in the nucleon. The model is based on the assumption that a nucleon can emit a gluon, and what remains after the emission is treated as a single spectator particle. This spectator particle is considered to be on-shell, but its mass is allowed to take a continuous range of values, described by a spectral function. The final-state interaction that is necessary to generate T-odd functions is modeled as the exchange of a single gluon between the spectator and the outgoing parton.


title: Fast Lithium Ion Diffusion in Brownmillerite $\mathrm{Li}_{x}\mathrm{{Sr}_{2}{Co}_{2}{O}_{5}}$

abstract: Ionic conductors have great potential for interesting tunable physical properties via ionic liquid gating and novel energy storage applications such as all-solid-state lithium batteries. In particular, low migration barriers and high hopping attempt frequency are the keys to achieve fast ion diffusion in solids. Taking advantage of the oxygen-vacancy channel in $\mathrm{Li}_{x}\mathrm{{Sr}_{2}{Co}_{2}{O}_{5}}$, we show that migration barriers of lithium ion are as small as 0.28~0.17eV depending on the lithium concentration rates. Our first-principles calculation also investigated hopping attempt frequency and concluded the room temperature ionic diffusivity and ion conductivity is high as ${10}^{-7}\sim{10}^{-6}~\mathrm{{cm}^{2}~s^{-1}}$ and ${10}^{-3}\sim{10}^{-2}~\mathrm{S\cdot{cm}^{-1}}$ respectively, which outperform most of perovskite-type, garnet-type and sulfide Li-ion solid-state electrolytes. This work proves $\mathrm{Li}_{x}\mathrm{{Sr}_{2}{Co}_{2}{O}_{5}}$ as a promising solid-state electrolyte.


title: Ground state energy of the dilute spin-polarized Fermi gas: Lower bound

abstract: We prove a lower bound on the ground state energy of the dilute spin-polarized Fermi gas capturing the leading correction to the kinetic energy resulting from repulsive interactions. This correction depends on the $p$-wave scattering length of the interaction and matches the corresponding upper bound in [J. Funct. Anal. 286.7 (2024), p. 110320].


title: GraphMatch: Subgraph Query Processing on FPGAs

abstract: Efficiently finding subgraph embeddings in large graphs is crucial for many application areas like biology and social network analysis. Set intersections are the predominant and most challenging aspect of current join-based subgraph query processing systems for CPUs. Previous work has shown the viability of utilizing FPGAs for acceleration of graph and join processing. In this work, we propose GraphMatch, the first genearl-purpose stand-alone subgraph query processing accelerator based on worst-case optimal joins (WCOJ) that is fully designed for modern, field programmable gate array (FPGA) hardware. For efficient processing of various graph data sets and query graph patterns, it leverages a novel set intersection approach, called AllCompare, tailor-made for FPGAs. We show that this set intersection approach efficiently solves multi-set intersections in subgraph query processing, superior to CPU-based approaches. Overall, GraphMatch achieves a speedup of over 2.68x and 5.16x, compared to the state-of-the-art systems GraphFlow and RapidMatch, respectively.


title: On the Weierstra{\ss} form of infinite dimensional differential algebraic equations

abstract: The solvability for infinite dimensional differential algebraic equations possessing a resolvent index and a Weierstra{\ss} form is studied. In particular, the concept of integrated semigroups is used to determine a subset on which solutions exist and are unique. This information is later used for a important class of systems, namely, port-Hamiltonian differential algebraic equations.


title: PHNet: Patch-based Normalization for Portrait Harmonization

abstract: A common problem for composite images is the incompatibility of their foreground and background components. Image harmonization aims to solve this problem, making the whole image look more authentic and coherent. Most existing solutions predict lookup tables (LUTs) or reconstruct images, utilizing various attributes of composite images. Recent approaches have primarily focused on employing global transformations like normalization and color curve rendering to achieve visual consistency, and they often overlook the importance of local visual coherence. We present a patch-based harmonization network consisting of novel Patch-based normalization (PN) blocks and a feature extractor based on statistical color transfer. Extensive experiments demonstrate the network's high generalization capability for different domains. Our network achieves state-of-the-art results on the iHarmony4 dataset. Also, we created a new human portrait harmonization dataset based on FFHQ and checked the proposed method to show the generalization ability by achieving the best metrics on it. The benchmark experiments confirm that the suggested patch-based normalization block and feature extractor effectively improve the network's capability to harmonize portraits. Our code and model baselines are publicly available.


title: An Empirical Study of the Generalization Ability of Lidar 3D Object Detectors to Unseen Domains

abstract: 3D Object Detectors (3D-OD) are crucial for understanding the environment in many robotic tasks, especially autonomous driving. Including 3D information via Lidar sensors improves accuracy greatly. However, such detectors perform poorly on domains they were not trained on, i.e. different locations, sensors, weather, etc., limiting their reliability in safety-critical applications. There exist methods to adapt 3D-ODs to these domains; however, these methods treat 3D-ODs as a black box, neglecting underlying architectural decisions and source-domain training strategies. Instead, we dive deep into the details of 3D-ODs, focusing our efforts on fundamental factors that influence robustness prior to domain adaptation. We systematically investigate four design choices (and the interplay between them) often overlooked in 3D-OD robustness and domain adaptation: architecture, voxel encoding, data augmentations, and anchor strategies. We assess their impact on the robustness of nine state-of-the-art 3D-ODs across six benchmarks encompassing three types of domain gaps - sensor type, weather, and location. Our main findings are: (1) transformer backbones with local point features are more robust than 3D CNNs, (2) test-time anchor size adjustment is crucial for adaptation across geographical locations, significantly boosting scores without retraining, (3) source-domain augmentations allow the model to generalize to low-resolution sensors, and (4) surprisingly, robustness to bad weather is improved when training directly on more clean weather data than on training with bad weather data. We outline our main conclusions and findings to provide practical guidance on developing more robust 3D-ODs.


title: Structure-Guided Adversarial Training of Diffusion Models

abstract: Diffusion models have demonstrated exceptional efficacy in various generative applications. While existing models focus on minimizing a weighted sum of denoising score matching losses for data distribution modeling, their training primarily emphasizes instance-level optimization, overlooking valuable structural information within each mini-batch, indicative of pair-wise relationships among samples. To address this limitation, we introduce Structure-guided Adversarial training of Diffusion Models (SADM). In this pioneering approach, we compel the model to learn manifold structures between samples in each training batch. To ensure the model captures authentic manifold structures in the data distribution, we advocate adversarial training of the diffusion generator against a novel structure discriminator in a minimax game, distinguishing real manifold structures from the generated ones. SADM substantially improves existing diffusion transformers (DiT) and outperforms existing methods in image generation and cross-domain fine-tuning tasks across 12 datasets, establishing a new state-of-the-art FID of 1.58 and 2.11 on ImageNet for class-conditional image generation at resolutions of 256x256 and 512x512, respectively.


title: Unleashing the Potential of Large Language Models as Prompt Optimizers: An Analogical Analysis with Gradient-based Model Optimizers

abstract: Automatic prompt optimization is an important approach to improving the performance of large language models (LLMs). Recent research demonstrates the potential of using LLMs as prompt optimizers, which can generate improved task prompts via iterative refinement. In this paper, we propose a novel perspective to investigate the design of LLM-based prompt optimizers, by drawing an analogy with gradient-based model optimizers. To connect these two approaches, we identify two pivotal factors in model parameter learning: update direction and update method. Focused on the two aspects, we borrow the theoretical framework and learning methods from gradient-based optimization to design improved strategies for LLM-based prompt optimizers. By systematically analyzing a rich set of improvement strategies, we further develop a capable Gradient-inspired LLM-based Prompt Optimizer called GPO. At each step, it first retrieves relevant prompts from the optimization trajectory as the update direction. Then, it utilizes the generation-based refinement strategy to perform the update, while controlling the edit distance through a cosine-based decay strategy. Extensive experiments demonstrate the effectiveness and efficiency of GPO. In particular, GPO brings an additional improvement of up to 56.8% on Big-Bench Hard and 55.3% on MMLU compared to baseline methods.


title: Willmore-type variational problem for foliated hypersurfaces

abstract: We study new Willmore-type variational problem for a hypersurface $M$ in $\mathbb{R}^{n+1}$ equipped with an $s$-dimensional foliation ${\cal F}$. Its general version is the Reilly-type functional $WF_{n,s}=\int_M F(\sigma^{\cal F}_1,\ldots,\sigma^{\cal F}_s)\,{\rm d}V$, where $\sigma^{\cal F}_i$ are elementary symmetric functions of the eigenvalues of the second fundamental form restricted on the leaves of $\cal F$. The first and second variations of such functionals are calculated, conformal invariance of some of $WF_{n,s}$ is also shown. The Euler-Lagrange equation for a critical hypersurface with a transversally harmonic (e.g., Riemannian) foliation $\cal F$ is found and examples with $s\le2$ and $s=n$ are considered. Critical hypersurfaces of revolution are found, and it is shown that they are a local minimum for special variations.


title: Third order estimates and the regularity of the stress field for solutions to $p$-Laplace equations

abstract: We consider solutions to $$ - \Delta_{p} u = f(x) \quad \text{in } \Omega\, ,$$ when $p$ approaches the semilinear limiting case $p=2$ and we get third order estimates. As a consequence we deduce improved regularity properties of the stress field.


title: Coherence generation with Hamiltonians

abstract: We explore methods to generate quantum coherence through unitary evolutions, by introducing and studying the coherence generating capacity of Hamiltonians. This quantity is defined as the maximum derivative of coherence that can be achieved by a Hamiltonian. By adopting the relative entropy of coherence as our figure of merit, we evaluate the maximal coherence generating capacity with the constraint of a bounded Hilbert-Schmidt norm for the Hamiltonian. Our investigation yields closed-form expressions for both Hamiltonians and quantum states that induce the maximal derivative of coherence under these conditions. Specifically, for qubit systems, we solve this problem comprehensively for any given Hamiltonian, identifying the quantum states that lead to the largest coherence derivative induced by the Hamiltonian. Our investigation enables a precise identification of conditions under which quantum coherence is optimally enhanced, offering valuable insights for the manipulation and control of quantum coherence in quantum systems.


title: Quasi-Classical Gluon Fields and Low's Soft Theorem at Small $x$

abstract: In the high energy limit, soft gluons can be approximately described by quasi-classical gluon fields. It is well-known that the gluon field is a pure gauge field on the transverse plane at eikonal order. We derived the complete next-to-eikonal order solutions of the classical Yang-Mills equations for soft gluons in the dense nuclear regime. Utilizing these solutions, it is shown that Low's soft theorem at small $x$ can be obtained by considering off-diagonal matrix elements of quasi-classical chromoelectric field between single gluon states in the dilute regime. Furthermore, we extend Low's soft theorem at small $x$ to incorporate the effects of gluon saturation in the dense regime.


title: Backpropagation-Based Analytical Derivatives of EKF Covariance for Active Sensing

abstract: To enhance accuracy of robot state estimation, active sensing (or perception-aware) methods seek trajectories that maximize the information gathered by the sensors. To this aim, one possibility is to seek trajectories that minimize the (estimation error) covariance matrix output by an extended Kalman filter (EKF), w.r.t. its control inputs over a given horizon. However, this is computationally demanding. In this article, we derive novel backpropagation analytical formulas for the derivatives of the covariance matrices of an EKF w.r.t. all its inputs. We then leverage the obtained analytical gradients as an enabling technology to derive perception-aware optimal motion plans. Simulations validate the approach, showcasing improvements in execution time, notably over PyTorch's automatic differentiation. Experimental results on a real vehicle also support the method.


title: Sparse Variational Contaminated Noise Gaussian Process Regression for Forecasting Geomagnetic Perturbations

abstract: Gaussian Processes (GP) have become popular machine learning methods for kernel based learning on datasets with complicated covariance structures. In this paper, we present a novel extension to the GP framework using a contaminated normal likelihood function to better account for heteroscedastic variance and outlier noise. We propose a scalable inference algorithm based on the Sparse Variational Gaussian Process (SVGP) method for fitting sparse Gaussian process regression models with contaminated normal noise on large datasets. We examine an application to geomagnetic ground perturbations, where the state-of-art prediction model is based on neural networks. We show that our approach yields shorter predictions intervals for similar coverage and accuracy when compared to an artificial dense neural network baseline.


title: Onset of Air Entrainment by a smooth plunging jet under atmospheric pressure

abstract: The onset of air entrainment by a smooth vertical liquid jet impacting a pool of the same liquid has been experimentally determined. The ranges of parameters covered complement those considered by Lin & Donnelly (1969). The influence of the jet curvature is clarified. A model based on the viscous stress acting on the interface proves to be in good agreement with the experiments in the limit of very viscous liquids. For less viscous liquids, the critical capillary number happens to be mainly controlled by the ratio of the dynamic viscosity of the air and of the liquid. Besides, the observed evolution of the critical capillary number agrees with the mechanism suggested by Eggers (2001) that is based on the cusp dynamic.


title: Hyperdimensional computing: a fast, robust and interpretable paradigm for biological data

abstract: Advances in bioinformatics are primarily due to new algorithms for processing diverse biological data sources. While sophisticated alignment algorithms have been pivotal in analyzing biological sequences, deep learning has substantially transformed bioinformatics, addressing sequence, structure, and functional analyses. However, these methods are incredibly data-hungry, compute-intensive and hard to interpret. Hyperdimensional computing (HDC) has recently emerged as an intriguing alternative. The key idea is that random vectors of high dimensionality can represent concepts such as sequence identity or phylogeny. These vectors can then be combined using simple operators for learning, reasoning or querying by exploiting the peculiar properties of high-dimensional spaces. Our work reviews and explores the potential of HDC for bioinformatics, emphasizing its efficiency, interpretability, and adeptness in handling multimodal and structured data. HDC holds a lot of potential for various omics data searching, biosignal analysis and health applications.


title: HBF MU-MIMO with Interference-Aware Beam Pair Link Allocation for Beyond-5G mm-Wave Networks

abstract: Hybrid beamforming (HBF) multi-user multiple-input multiple-output (MU-MIMO) is a key technology for unlocking the directional millimeter-wave (mm-wave) nature for spatial multiplexing beyond current codebook-based 5G-NR networks. In order to suppress co-scheduled users' interference, HBF MU-MIMO is predicated on having sufficient radio frequency chains and accurate channel state information (CSI), which can otherwise lead to performance losses due to imperfect interference cancellation. In this work, we propose IABA, a 5G-NR standard-compliant beam pair link (BPL) allocation scheme for mitigating spatial interference in practical HBF MU-MIMO networks. IABA solves the network sum throughput optimization via either a distributed or a centralized BPL allocation using dedicated CSI reference signals for candidate BPL monitoring. We present a comprehensive study of practical multi-cell mm-wave networks and demonstrate that HBF MU-MIMO without interference-aware BPL allocation experiences strong residual interference which limits the achievable network performance. Our results show that IABA offers significant performance gains over the default interference-agnostic 5G-NR BPL allocation, and even allows HBF MU-MIMO to outperform the fully digital MU-MIMO baseline, by facilitating allocation of secondary BPLs other than the strongest BPL found during initial access. We further demonstrate the scalability of IABA with increased gNB antennas and densification for beyond-5G mm-wave networks.


title: Agent-Pro: Learning to Evolve via Policy-Level Reflection and Optimization

abstract: Large Language Models (LLMs) exhibit robust problem-solving capabilities for diverse tasks. However, most LLM-based agents are designed as specific task solvers with sophisticated prompt engineering, rather than agents capable of learning and evolving through interactions. These task solvers necessitate manually crafted prompts to inform task rules and regulate LLM behaviors, inherently incapacitating to address complex dynamic scenarios e.g., large interactive games. In light of this, we propose Agent-Pro: an LLM-based Agent with Policy-level Reflection and Optimization that can learn a wealth of expertise from interactive experiences and progressively elevate its behavioral policy. Specifically, it involves a dynamic belief generation and reflection process for policy evolution. Rather than action-level reflection, Agent-Pro iteratively reflects on past trajectories and beliefs, fine-tuning its irrational beliefs for a better policy. Moreover, a depth-first search is employed for policy optimization, ensuring continual enhancement in policy payoffs. Agent-Pro is evaluated across two games: Blackjack and Texas Hold'em, outperforming vanilla LLM and specialized models. Our results show Agent-Pro can learn and evolve in complex and dynamic scenes, which also benefits numerous LLM-based applications.


title: Models of hot star decretion disks

abstract: Massive stars can during their evolution reach the phase of critical (or very rapid, near-critical) rotation when further increase in rotation rate is no longer kinematically allowed. The mass ejection and angular momentum outward transport from such rapidly rotating star's equatorial surface may lead to formation and supports further existence of a circumstellar outflowing (stellar decretion) disk. The efficient mechanism for the outward transport of the mass and angular momentum is provided by the anomalous viscosity. The outer supersonic regions of the disks can extend up to a significantly large distance from the parent star, the exact radial extension is however basically unknown, partly due to the uncertainties in radial variations of temperature and viscosity. We study in detail the behavior of hydrodynamic quantities, i.e., the evolution of density, radial and azimuthal velocity, and angular momentum loss rate in stellar decretion disks out to extremely distant regions. We investigate the dependence of these physical characteristics on the distribution of temperature and viscosity. We also study the magnetorotational instability, which we regard to be the source of anomalous viscosity in such outflowing disks and to some extent we provide the preliminary models of the two-dimensional radially-vertically correlated distribution of the disk density and temperature. We developed our own two-dimensional hydrodynamic and magnetohydrodynamic numerical code based on an explicit Eulerian finite difference scheme on staggered grid, including full Navier-Stokes viscosity. We use semianalytic approach to investigate the radial profile of magnetorotational instability, where on the base of the numerical time-dependent hydrodynamic model we analytically study the stability of outflowing disks submerged to the magnetic field of central star.


title: On the Kaup-Broer-Kupershmidt systems

abstract: The aim of this paper is to survey and complete, mostly by numerical simulations, results on a remarkable Boussinesq system describing weakly nonlinear, long surface water waves. It is the only member of the so-called (abcd) family of Boussinesq systems known to be completely integrable.


title: In-plane ordering and tunable magnetism in Cr-based MXenes

abstract: MXene, the two-dimensional derivatives of MAX compounds, due to their structural and compositional flexibility, is an ideal family of compounds to study a number of structure-property relations. In this work, we have investigated the tunability of magnetic properties in Cr-based MXenes that have an in-plane ordering arising out of alloying Cr with another non-magnetic transition metal atom. Using Density Functional Theory based calculations we have explored the effects of composition and surface functionalisations on the electronic and magnetic properties of these in-plane ordered MXenes known as i-MXenes. We found that the electronic and magnetic ground states are quite sensitive to the structure and composition. This provides enough tunability in these compounds so that they can be used for practical applications. Our calculated results of magnetic transition temperatures and magnetic anisotropy energies are comparable to many a established two-dimensional magnets. These put together widen the prospect of these i-MXenes for multiple usage as magnetic devices making them attractive for further investigation.


title: Mutual estimates of time-frequency representations and uncertainty principles

abstract: In this paper we give different estimates between Lebesgue norms of quadratic time-frequency representations. We show that, in some cases, it is not possible to have such bounds in classical $L^p$ spaces, but the Lebesgue norm needs to be suitably weighted. This leads to consider weights of polynomial type, and, more generally, of ultradifferentiable type, and this, in turn, gives rise to use as functional setting the ultradifferentiable classes. As applications of such estimates we deduce uncertainty principles both of Donoho-Stark type and of local type for representations.


title: Optimization of foreground moment deprojection for semi-blind CMB polarization reconstruction

abstract: Upcoming Cosmic Microwave Background (CMB) experiments, aimed at measuring primordial CMB B-modes, require exquisite control of Galactic foreground contamination. Minimum-variance techniques, like the Needlet Internal Linear Combination (NILC), have proven effective in reconstructing the CMB polarization signal and mitigating foregrounds across diverse sky models without suffering from mismodelling errors. Still, residual contamination may bias the recovered CMB polarization at large angular scales when confronted with the most complex foreground scenarios. By adding constraints to NILC to deproject moments of the Galactic emission, the Constrained Moment ILC (cMILC) method has proven to enhance foreground subtraction, albeit with an associated increase in overall noise variance. Faced with this trade-off between foreground bias reduction and overall variance minimization, there is still no recipe on which moments to deproject and which are better suited for blind variance minimization. To address this, we introduce the optimized cMILC (ocMILC) pipeline, which performs full optimization of the required number and set of foreground moments to deproject, pivot parameter values, and deprojection coefficients across the sky and angular scales, depending on the actual sky complexity, available frequency coverage, and experiment sensitivity. The optimal number of deprojected moments, before paying significant noise penalty, is determined through a data diagnosis inspired by the Generalized NILC (GNILC) method. Validated on B-mode simulations of the PICO space mission concept with four challenging foreground models, ocMILC exhibits lower foreground contamination compared to NILC and cMILC at all angular scales, with limited noise penalty. This multi-layer optimization enables the ocMILC pipeline to achieve unbiased posteriors of the tensor-to-scalar ratio, regardless of foreground complexity.


title: A highly efficient computational approach for part-scale microstructure predictions in Ti-6Al-4V additive manufacturing

abstract: Fast and efficient simulations of metal additive manufacturing (AM) processes are highly relevant to exploring the full potential of this promising manufacturing technique. The microstructure composition plays an important role in characterizing the part quality and deriving mechanical properties. When complete parts are simulated, one often needs to resort to strong simplifications such as layer-wise heating due to the large number of simulated time steps compared to the small time step sizes. This article proposes a scan-resolved approach to the coupled thermo-microstructural problem. Building on a highly efficient thermal model, we discuss the implementation of a phenomenological microstructure model for the evolution of the three main constituents of Ti-6Al-4V: stable $\alpha_s$-phase, martensite $\alpha_m$-phase and $\beta$-phase. The implementation is tailored to modern hardware features using vectorization and fast approximations of transcendental functions. A performance model and numerical examples verify the high degree of optimization. We demonstrate the applicability and predictive power of the approach and the influence of scan strategy and geometry. Depending on the specific example, results can be obtained with moderate computational resources in a few hours to days. The numerical examples include a prediction of the microstructure on the full NIST AM Benchmark cantilever specimen.


title: CosmoMIA: Cosmic Web-based redshift space halo distribution

abstract: Modern galaxy surveys demand extensive survey volumes and resolutions surpassing current dark matter-only simulations' capabilities. To address this, many methods employ effective bias models on the dark matter field to approximate object counts on a grid. However, realistic catalogs necessitate specific coordinates and velocities for a comprehensive understanding of the Universe. In this research, we explore sub-grid modeling to create accurate catalogs, beginning with coarse grid number counts at resolutions of approximately $5.5\,h^{-1}\rm Mpc$ per side. These resolutions strike a balance between modeling nonlinear damping of baryon acoustic oscillations and facilitating large-volume simulations. Augmented Lagrangian Perturbation Theory (ALPT) is utilized to model the dark matter field and motions, replicating the clustering of a halo catalog derived from a massive simulation at $z=1.1$. Our approach involves four key stages: Tracer Assignment: Allocating dark matter particles to tracers based on grid cell counts, generating additional particles to address discrepancies. Attractor Identification: Defining attractors based on particle cosmic web environments, acting as gravitational focal points. Tracer Collapse: Guiding tracers towards attractors, simulating structure collapse. Redshift Space Distortions: Introducing redshift space distortions to simulated catalogs using ALPT and a random dispersion term. Results demonstrate accurate reproduction of monopoles and quadrupoles up to wave numbers of approximately $k=0.6\,h$ Mpc$^{-1}$. This method holds significant promise for galaxy surveys like DESI, EUCLID, and LSST, enhancing our understanding of the cosmos across scales.


title: Polymatroids are to finite groups as matroids are to finite fields

abstract: Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G} = \displaystyle\prod^n_{i=1} \Gamma_i$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b).$ If all of the $\Gamma_i$ are isomorphic to $\mathbb{Z}/p\mathbb{Z},$ $p$ a prime, and $b=p,$ then $P(\mathcal{H},b)$ is the usual matroid associated to any $\mathbb{Z}/p\mathbb{Z}$-matrix whose row space equals $\mathcal{H}.$ In general, there are many ways in which the relationship between $P(\mathcal{H},b)$ and $\mathcal{H}$ mirrors that of the relationship between a matroid and a subspace of a finite vector space. These include representability by excluded minors, the Crapo-Rota critical theorem, the existence of a concrete algebraic object representing the polymatroid dual of $P(\mathcal{H},b),$ analogs of Greene's theorem and the MacWilliams identities when $\mathcal{H}$ is a group code over a nonabelian group, and a connection to the combinatorial Laplacian of a quotient space determined by $\mathcal{G}$ and $\mathcal{H}.$ We use the group Crapo-Rota critical theorem to demonstrate an extension to hypergraphs of the classical duality between proper colorings and nowhere-zero flows on graphs.


title: FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large-scale Cloud Systems

abstract: Postmortem analysis is essential in the management of incidents within cloud systems, which provides valuable insights to improve system's reliability and robustness. At CloudA, fault pattern profiling is performed during the postmortem phase, which involves the classification of incidents' faults into unique categories, referred to as fault pattern. By aggregating and analyzing these fault patterns, engineers can discern common faults, vulnerable components and emerging fault trends. However, this process is currently conducted by manual labeling, which has inherent drawbacks. On the one hand, the sheer volume of incidents means only the most severe ones are analyzed, causing a skewed overview of fault patterns. On the other hand, the complexity of the task demands extensive domain knowledge, which leads to errors and inconsistencies. To address these limitations, we propose an automated approach, named FaultProfIT, for Fault pattern Profiling of Incident Tickets. It leverages hierarchy-guided contrastive learning to train a hierarchy-aware incident encoder and predicts fault patterns with enhanced incident representations. We evaluate FaultProfIT using the production incidents from CloudA. The results demonstrate that FaultProfIT outperforms state-of-the-art methods. Our ablation study and analysis also verify the effectiveness of hierarchy-guided contrastive learning. Additionally, we have deployed FaultProfIT at CloudA for six months. To date, FaultProfIT has analyzed 10,000+ incidents from 30+ cloud services, successfully revealing several fault trends that have informed system improvements.


title: Triangle singularity in the $J/\psi \to \phi \pi^+ a_0^-(\pi^- \eta),\; \phi \pi^- a_0^+(\pi^+ \eta)$ decays

abstract: We study the $J/\psi \to \phi \pi^+ a_0(980)^- (a_0^- \to \pi^- \eta)$ decay, evaluating the double mass distribution in terms of the $\pi^- \eta$ and $\pi^+ a^-_0$ invariant masses. We show that the $\pi^- \eta$ mass distribution exhibits the typical cusp structure of the $a_0(980)$ seen in recent high statistics experiments, and the $\pi^+ a^-_0$ spectrum shows clearly a peak around $M_{\rm inv}(\pi^+ a^-_0)=1420 \,{\rm MeV}$, corresponding to a triangle singularity. When integrating over the two invariant masses we find a branching ratio for this decay of the order of $10^{-5}$, which is easily accessible in present laboratories. We also call attention to the fact that the signal obtained is compatible with a bump experimentally observed in the $\eta \pi^+\pi^-$ mass distribution in the $J/\psi \to \phi \eta \pi^+\pi^-$ decay and encourage further analysis to extract from there the $\phi \pi^+ a_0^-$ and $\phi \pi^- a_0^+$ decay modes.