title: Tracking Meets LoRA: Faster Training, Larger Model, Stronger Performance

abstract: Motivated by the Parameter-Efficient Fine-Tuning (PEFT) in large language models, we propose LoRAT, a method that unveils the power of larger Vision Transformers (ViT) for tracking within laboratory-level resources. The essence of our work lies in adapting LoRA, a technique that fine-tunes a small subset of model parameters without adding inference latency, to the domain of visual tracking. However, unique challenges and potential domain gaps make this transfer not as easy as the first intuition. Firstly, a transformer-based tracker constructs unshared position embedding for template and search image. This poses a challenge for the transfer of LoRA, usually requiring consistency in the design when applied to the pre-trained backbone, to downstream tasks. Secondly, the inductive bias inherent in convolutional heads diminishes the effectiveness of parameter-efficient fine-tuning in tracking models. To overcome these limitations, we first decouple the position embeddings in transformer-based trackers into shared spatial ones and independent type ones. The shared embeddings, which describe the absolute coordinates of multi-resolution images (namely, the template and search images), are inherited from the pre-trained backbones. In contrast, the independent embeddings indicate the sources of each token and are learned from scratch. Furthermore, we design an anchor-free head solely based on a multilayer perceptron (MLP) to adapt PETR, enabling better performance with less computational overhead. With our design, 1) it becomes practical to train trackers with the ViT-g backbone on GPUs with only memory of 25.8GB (batch size of 16); 2) we reduce the training time of the L-224 variant from 35.0 to 10.8 GPU hours; 3) we improve the LaSOT SUC score from 0.703 to 0.743 with the L-224 variant; 4) we fast the inference speed of the L-224 variant from 52 to 119 FPS. Code and models will be released.


title: Chains of model structures arising from modules of finite Gorenstein dimension

abstract: For any integer $n\ge 0$ and any ring $R$, \ $(\mathcal {PGF}_n, \ \mathcal P_n^\perp \cap \mathcal {PGF}^{\perp})$ proves to be a complete hereditary cotorsion pair in $R$-Mod, where $\mathcal {PGF}$ is the class of PGF modules, introduced by J. \v{S}aroch and J. \v{S}\'{t}ov\'{i}\v{c}ek, and \ $\mathcal {PGF}_n$ is the class of $R$-modules of PGF dimension $\le n$. For any Artin algebra $R$, \ $(\mathcal {GP}_n, \ \mathcal P_n^\perp \cap \mathcal {GP}^{\perp})$ proves to be a complete and hereditary cotorsion pair in $R$-Mod, where $\mathcal {GP}_n$ is the class of modules of Gorenstein projective dimension $\le n$. These cotorsion pairs induce two chains of hereditary Hovey triples \ $(\mathcal {PGF}_n, \ \mathcal P_n^\perp, \ \mathcal {PGF}^{\perp})$ and \ $(\mathcal {GP}_n, \ \mathcal P_n^\perp, \ \mathcal {GP}^{\perp})$, and the corresponding homotopy categories in the same chain are the same. It is observed that some complete cotorsion pairs in $R$-Mod can induce complete cotorsion pairs in some special extension closed subcategories of $R$-Mod. Then corresponding results in exact categories $\mathcal {PGF}_n$, \ $\mathcal {GP}_n$, \ $\mathcal {GF}_n$, \ $\mathcal {PGF}^{<\infty}$, \ $\mathcal {GP}^{<\infty}$ and $\mathcal {GF}^{<\infty}$, are also obtained. As a byproduct, $\mathcal{PGF} = \mathcal {GP}$ for a ring $R$ if and only if $\mathcal{PGF}^\perp\cap\mathcal{GP}_n=\mathcal P_n$ for some $n$.


title: Evolving efficiency of the BRICS markets

abstract: This paper investigates a time-varying version of weak-form market efficiency in the BRICS countries. A moving window test for sample autocorrelations is applied alongside a Kalman filter approach to recover the hidden dynamics of the market efficiency process through appropriate time-varying autoregressive models with both homoscedastic and heteroscedastic conditional variance. Monthly data covers the period from January 1995 to December 2020, which includes the 2008-2009 global financial crisis and the recent COVID-19 recession. The results reveal that all the BRICS stock markets were affected during both periods, but generally remained weak-form efficient, with the exception of China.


title: Benchmarking Micro-action Recognition: Dataset, Methods, and Applications

abstract: Micro-action is an imperceptible non-verbal behaviour characterised by low-intensity movement. It offers insights into the feelings and intentions of individuals and is important for human-oriented applications such as emotion recognition and psychological assessment. However, the identification, differentiation, and understanding of micro-actions pose challenges due to the imperceptible and inaccessible nature of these subtle human behaviors in everyday life. In this study, we innovatively collect a new micro-action dataset designated as Micro-action-52 (MA-52), and propose a benchmark named micro-action network (MANet) for micro-action recognition (MAR) task. Uniquely, MA-52 provides the whole-body perspective including gestures, upper- and lower-limb movements, attempting to reveal comprehensive micro-action cues. In detail, MA-52 contains 52 micro-action categories along with seven body part labels, and encompasses a full array of realistic and natural micro-actions, accounting for 205 participants and 22,422 video instances collated from the psychological interviews. Based on the proposed dataset, we assess MANet and other nine prevalent action recognition methods. MANet incorporates squeeze-and excitation (SE) and temporal shift module (TSM) into the ResNet architecture for modeling the spatiotemporal characteristics of micro-actions. Then a joint-embedding loss is designed for semantic matching between video and action labels; the loss is used to better distinguish between visually similar yet distinct micro-action categories. The extended application in emotion recognition has demonstrated one of the important values of our proposed dataset and method. In the future, further exploration of human behaviour, emotion, and psychological assessment will be conducted in depth. The dataset and source code are released at https://github.com/VUT-HFUT/Micro-Action.


title: Fairness-Aware Interpretable Modeling (FAIM) for Trustworthy Machine Learning in Healthcare

abstract: The escalating integration of machine learning in high-stakes fields such as healthcare raises substantial concerns about model fairness. We propose an interpretable framework - Fairness-Aware Interpretable Modeling (FAIM), to improve model fairness without compromising performance, featuring an interactive interface to identify a "fairer" model from a set of high-performing models and promoting the integration of data-driven evidence and clinical expertise to enhance contextualized fairness. We demonstrated FAIM's value in reducing sex and race biases by predicting hospital admission with two real-world databases, MIMIC-IV-ED and SGH-ED. We show that for both datasets, FAIM models not only exhibited satisfactory discriminatory performance but also significantly mitigated biases as measured by well-established fairness metrics, outperforming commonly used bias-mitigation methods. Our approach demonstrates the feasibility of improving fairness without sacrificing performance and provides an a modeling mode that invites domain experts to engage, fostering a multidisciplinary effort toward tailored AI fairness.


title: Fault Recovery and Transient Stability of Grid-Forming Converters Equipped with Current Saturation

abstract: When grid-forming (GFM) inverter-based resources (IBRs) experience large grid disturbances (e.g., short-circuit faults), the current limiter may be triggered and GFM IBRs enter the current saturation mode, inducing nonlinear dynamical behaviors and imposing great challenges to the post-disturbance transient angle stability. This paper presents a systematic study to reveal the fault recovery behaviors of a GFM IBR and identify the risk of instability. The impact of the angle of the magnitude-saturated current on the post-fault recovery and transient stability is also investigated. The selection of the angle of magnitude-saturated current significantly influences the post-fault behaviors while a few additional dynamical conditions that have a substantial impact are also identified. It is found that the system may follow multiple post-fault recovery trajectories depending on those conditions: 1) Convergence to the normal stable equilibrium point (SEP), 2) convergence to the saturated stable equilibrium point (SSEP), and 3) divergence (instability). To examine the models' accuracy, several cases are simulated.


title: Complex organic molecules uncover deeply embedded precursors of hot cores

abstract: During the process of star formation, the dense gas undergoes significant chemical evolution leading to the emergence of a rich variety of molecules associated with hot cores and hot corinos. However, the physical and chemical conditions involved in this evolution are poorly constrained. We provide here a full inventory of the emission from complex organic molecules (COMs) to investigate the physical structure and chemical composition of six high-mass protostellar envelopes. We aim to investigate the conditions for the emergence of COMs in hot cores. We performed an unbiased spectral survey towards six infrared-quiet massive clumps between 159 GHz and 374 GHz with the APEX 12 m telescope. We detect up to 11 COMs, of which at least five COMs are detected towards all sources. Towards all the objects, most of the COM emission is found to be cold, with respect to the typical temperatures at which COMs are found, with a temperature of 30 K and extended with a size of ~0.3 pc. Although for our sample of young massive clumps the bulk of the gas has a cold temperature, we also detect emission from COMs originating from the immediate vicinity of the protostar revealing a compact and hot component of the envelope. Only three out of the six sources exhibit a hot gas component. We find a gradual emergence of the warm component in terms of size and temperature, together with an increasing molecular complexity, allowing us to establish an evolutionary sequence for our sample based on COMs. Our findings confirm that our sample of infrared-quiet massive clumps are in an early evolutionary stage during which the bulk of the gas is cold. The presence of COMs is found to be characteristic of these early evolutionary stages. We suggest that the emergence of hot cores is preceded by a phase in which mostly O-bearing COMs appear first with similar abundances to hot corinos albeit with larger source sizes.


title: Spin-1/2 string correlations and singlet-triplet gaps of frustrated ladders with ferromagnetic (F) legs and alternate F and AF rungs

abstract: The frustrated ladder with alternate ferromagnetic(F) exchange $-J_F$ and AF exchange $J_A$ to first neighbors and F exchange $-J_L$ to second neighbors is studied by exact diagonalization (ED) and density matrix renormalization group (DMRG) calculations in systems of $2N$ spins-1/2 with periodic boundary conditions. The ground state is a singlet $(S = 0)$ and the singlet-triplet gap $\varepsilon_T$ is finite for the exchanges considered. Spin-1/2 string correlation functions $g_1(N)$ and $g_2(N)$ are defined for an even number $N$ of consecutive spins in systems with two spins per unit cell; the ladder has string order $g_2(\infty)> 0$ and $g_1(\infty) = 0$. The minimum $N^*$ of $g_2(N)$ is related to the range of ground-state spin correlations. Convergence to $g_2(\infty)$ is from below, and $g_1(N)$ decreases exponentially for $N \geq N^*$. Singlet valence bond (VB) diagrams account for the size dependencies. The frustrated ladder at special values of $J_F$, $J_L$ and $J_A$ reduces to well-known models such as the spin-1 Heisenberg antiferromagnet and the $J_1-J_2$ model, among others. Numerical analysis of ladders matches previous results for spin-1 gaps or string correlation functions and extends them to spin-1/2 systems. The nondegenerate singlet ground state of ladder is a bond-order wave, a Kekul\'e VB diagrams at $J_L = J_F/2 \leq J_A$, that is reversed on interchanging $-J_F$ and $J_A$. Inversion symmetry is spontaneously broken in the dimer phase of the $J_1-J_2$ model where the Kekul\'e diagrams are the doubly degenerate ground states at $J_2/J_1 = 1/2$.


title: Towards Effective Usage of Human-Centric Priors in Diffusion Models for Text-based Human Image Generation

abstract: Vanilla text-to-image diffusion models struggle with generating accurate human images, commonly resulting in imperfect anatomies such as unnatural postures or disproportionate limbs.Existing methods address this issue mostly by fine-tuning the model with extra images or adding additional controls -- human-centric priors such as pose or depth maps -- during the image generation phase. This paper explores the integration of these human-centric priors directly into the model fine-tuning stage, essentially eliminating the need for extra conditions at the inference stage. We realize this idea by proposing a human-centric alignment loss to strengthen human-related information from the textual prompts within the cross-attention maps. To ensure semantic detail richness and human structural accuracy during fine-tuning, we introduce scale-aware and step-wise constraints within the diffusion process, according to an in-depth analysis of the cross-attention layer. Extensive experiments show that our method largely improves over state-of-the-art text-to-image models to synthesize high-quality human images based on user-written prompts. Project page: \url{https://hcplayercvpr2024.github.io}.


title: Seiberg-like duality for resolutions of determinantal varieties

abstract: We study the genus-zero Gromov-Witten theory of two natural resolutions of determinantal varieties, termed the PAX and PAXY models. We realize each resolution as lying in a quiver bundle, and show that the respective quiver bundles are related by a quiver mutation. We prove that generating functions of genus-zero Gromov-Witten invariants for the two resolutions are related by a specific cluster change of variables. Along the way, we obtain a quantum Thom-Porteous formula for determinantal varieties and prove a Seiberg-like duality statement for certain quiver bundles.


title: Black Holes and Marchenko-Pastur Distribution

abstract: The universal eigenvalue distribution characterizing the Gram matrix of semiclassical ensembles of black hole microstates is recognized as the Marchenko-Pastur distribution, which plays a prominent role as the universal limit distribution in a large class of random matrix and vector models. It is proposed that this distribution also universally determines the energy spectral density of black holes, which allows to construct a Krylov space for the time evolution of typical black hole states and calculate their state complexity. It is checked that the state complexity growth at late times saturates Lloyd's bound. Some implications of the proposed spectral density for the generation of Hawking radiation and black hole evaporation are discussed.


title: The Simons Observatory: impact of bandpass, polarization angle and calibration uncertainties on small-scale power spectrum analysis

abstract: We study the effects due to mismatches in passbands, polarization angles, and temperature and polarization calibrations in the context of the upcoming cosmic microwave background experiment Simons Observatory (SO). Using the SO multi-frequency likelihood, we estimate the bias and the degradation of constraining power in cosmological and astrophysical foreground parameters assuming different levels of knowledge of the instrumental effects. We find that incorrect but reasonable assumptions on the values of all the systematics examined here can have important effects in cosmological analyses, hence requiring marginalization approaches at likelihood level. When doing so, we find that the most relevant effect is due to bandpass shifts. When marginalizing over them, the posteriors of parameters describing astrophysical microwave foregrounds (such as radio point sources or dust) get degraded, while cosmological parameters constraints are not significantly affected. Marginalization over polarization angles with up to 0.25$^\circ$ uncertainty causes an irrelevant bias $\lesssim 0.05 \sigma$ in all parameters. Marginalization over calibration factors in polarization broadens the constraints on the effective number of relativistic degrees of freedom $N_\mathrm{eff}$ by a factor 1.2, interpreted here as a proxy parameter for non standard model physics targeted by high-resolution CMB measurements.


title: Inversion and Integral Identities in dCFTs

abstract: This work derives an application from the identities of arXiv:hep-th/0602028 in order to invert four point functions in defect conformal field theories. For this, a recursion relation is established and the O(N) model with a line defect is considered as a testing ground of this application. Specifically, the CFT data are calculated from inversion of tilt and displacement four point functions. The recursion relation enables efficient computation of hypergeometrics at order $\epsilon$ in the $\epsilon$-expansion, leading to the inversion of four point functions and the derivation of CFT data. The inversion method presented offers a faster alternative to traditional approaches using arXiv:hep-ph/0507094v2, arXiv:0708.2443v2. The study also explores a general ansatz approach, assessing the algorithm's restrictiveness, and concludes by examining implications for the integral identity constraint of arXiv:2203.17157v2, predicting corrections to OPE coefficients.


title: Multipartite entanglement in the diagonal symmetric subspace

abstract: We investigate the entanglement properties in the symmetric subspace of $N$-partite $d$-dimensional systems (qudits). For diagonal symmetric states, we show that there is no bound entanglement for $d = 3,4 $ and $N = 3$. Further, we present a constructive algorithm to map multipartite diagonal symmetric states of qudits onto bipartite symmetric states of larger local dimension. This technique greatly simplifies the analysis of multipartite states and allows to infer entanglement properties for any even $N \geq 4 $ due to the fact that the PPT conditions that arise from the bipartite symmetric state correspond to the same PPT conditions that appear in the multipartite diagonal symmetric state.


title: Noise Level Adaptive Diffusion Model for Robust Reconstruction of Accelerated MRI

abstract: In general, diffusion model-based MRI reconstruction methods incrementally remove artificially added noise while imposing data consistency to reconstruct the underlying images. However, real-world MRI acquisitions already contain inherent noise due to thermal fluctuations. This phenomenon is particularly notable when using ultra-fast, high-resolution imaging sequences for advanced research, or using low-field systems favored by low- and middle-income countries. These common scenarios can lead to sub-optimal performance or complete failure of existing diffusion model-based reconstruction techniques. Specifically, as the artificially added noise is gradually removed, the inherent MRI noise becomes increasingly pronounced, making the actual noise level inconsistent with the predefined denoising schedule and consequently inaccurate image reconstruction. To tackle this problem, we propose a posterior sampling strategy with a novel NoIse Level Adaptive Data Consistency (Nila-DC) operation. Extensive experiments are conducted on two public datasets and an in-house clinical dataset with field strength ranging from 0.3T to 3T, showing that our method surpasses the state-of-the-art MRI reconstruction methods, and is highly robust against various noise levels. The code will be released after review.


title: LightM-UNet: Mamba Assists in Lightweight UNet for Medical Image Segmentation

abstract: UNet and its variants have been widely used in medical image segmentation. However, these models, especially those based on Transformer architectures, pose challenges due to their large number of parameters and computational loads, making them unsuitable for mobile health applications. Recently, State Space Models (SSMs), exemplified by Mamba, have emerged as competitive alternatives to CNN and Transformer architectures. Building upon this, we employ Mamba as a lightweight substitute for CNN and Transformer within UNet, aiming at tackling challenges stemming from computational resource limitations in real medical settings. To this end, we introduce the Lightweight Mamba UNet (LightM-UNet) that integrates Mamba and UNet in a lightweight framework. Specifically, LightM-UNet leverages the Residual Vision Mamba Layer in a pure Mamba fashion to extract deep semantic features and model long-range spatial dependencies, with linear computational complexity. Extensive experiments conducted on two real-world 2D/3D datasets demonstrate that LightM-UNet surpasses existing state-of-the-art literature. Notably, when compared to the renowned nnU-Net, LightM-UNet achieves superior segmentation performance while drastically reducing parameter and computation costs by 116x and 21x, respectively. This highlights the potential of Mamba in facilitating model lightweighting. Our code implementation is publicly available at https://github.com/MrBlankness/LightM-UNet.


title: Hide in Thicket: Generating Imperceptible and Rational Adversarial Perturbations on 3D Point Clouds

abstract: Adversarial attack methods based on point manipulation for 3D point cloud classification have revealed the fragility of 3D models, yet the adversarial examples they produce are easily perceived or defended against. The trade-off between the imperceptibility and adversarial strength leads most point attack methods to inevitably introduce easily detectable outlier points upon a successful attack. Another promising strategy, shape-based attack, can effectively eliminate outliers, but existing methods often suffer significant reductions in imperceptibility due to irrational deformations. We find that concealing deformation perturbations in areas insensitive to human eyes can achieve a better trade-off between imperceptibility and adversarial strength, specifically in parts of the object surface that are complex and exhibit drastic curvature changes. Therefore, we propose a novel shape-based adversarial attack method, HiT-ADV, which initially conducts a two-stage search for attack regions based on saliency and imperceptibility scores, and then adds deformation perturbations in each attack region using Gaussian kernel functions. Additionally, HiT-ADV is extendable to physical attack. We propose that by employing benign resampling and benign rigid transformations, we can further enhance physical adversarial strength with little sacrifice to imperceptibility. Extensive experiments have validated the superiority of our method in terms of adversarial and imperceptible properties in both digital and physical spaces. Our code is avaliable at: https://github.com/TRLou/HiT-ADV.


title: JWST's first glimpse of a z > 2 forming cluster reveals a top-heavy stellar mass function

abstract: Clusters and their progenitors (protoclusters) at z = 2-4, the peak epoch of star formation, are ideal laboratories to study the formation process of both the clusters themselves and their member galaxies. However, a complete census of their member galaxies has been challenging due to observational difficulties. Here we present new JWST/NIRCam observations targeting the distant cluster CLJ1001 at z = 2.51 from the COSMOS-Web program, which, in combination with previous narrowband imaging targeting H-alpha emitters and deep millimeter surveys of CO emitters, provide a complete view of massive galaxy assembly in CLJ1001. In particular, JWST reveals a population of massive, extremely red cluster members in the long-wavelength bands that were invisible in previous Hubble Space Telescope (HST)/F160W imaging (HST-dark members). Based on this highly complete spectroscopic sample of member galaxies, we show that the spatial distribution of galaxies in CLJ1001 exhibits a strong central concentration, with the central galaxy density already resembling that of low-z clusters. Moreover, we reveal a "top-heavy" stellar mass function for the star-forming galaxies (SFGs), with an overabundance of massive SFGs piled up in the cluster core. These features strongly suggest that CLJ1001 is caught in a rapid transition, with many of its massive SFGs likely soon becoming quiescent. In the context of cluster formation, these findings suggest that the earliest clusters form from the inside out and top to bottom, with the massive galaxies in the core assembling first, followed by the less massive ones in the outskirts.


title: On Representing Electronic Wave Functions with Sign Equivariant Neural Networks

abstract: Recent neural networks demonstrated impressively accurate approximations of electronic ground-state wave functions. Such neural networks typically consist of a permutation-equivariant neural network followed by a permutation-antisymmetric operation to enforce the electronic exchange symmetry. While accurate, such neural networks are computationally expensive. In this work, we explore the flipped approach, where we first compute antisymmetric quantities based on the electronic coordinates and then apply sign equivariant neural networks to preserve the antisymmetry. While this approach promises acceleration thanks to the lower-dimensional representation, we demonstrate that it reduces to a Jastrow factor, a commonly used permutation-invariant multiplicative factor in the wave function. Our empirical results support this further, finding little to no improvements over baselines. We conclude with neither theoretical nor empirical advantages of sign equivariant functions for representing electronic wave functions within the evaluation of this work.

categories: quant-ph cs.LG physics.chem-ph physics.comp-ph


title: Klt degenerations of projective spaces

abstract: We study degenerations of complex projective spaces $\mathbb P^n$ into normal projective klt varieties $X$. If the tangent sheaf of $X$ is semi-stable, we show that $X$ itself is a projective space. If $X$ is a threefold with canonical singularities, we show that there are only three varieties which satisfy all the conditions.


title: Errors due to departure from independence in multivariate Weibull distributions

abstract: We do the error analysis in reliability measures due to the assumption of independence amongst the component lifetimes. In reliability theory, we come across different n-component structures like series, parallel, and k-out-of-n systems. A n component series system works only if all the n components work. While studying the reliability measures of a n-component series system, we mostly assume that all the components have independent lifetimes. Such an assumption eases mathematical complexity while analyzing the data and hence is very common. But in reality, the lifetimes of the components are very much interdependent. Such an assumption of independence hence leads to inaccurate analysis of data. In multiple situations like studying a complex system with many components, we turn to assuming independence keeping some room for error. However, if we have some knowledge of the behaviour of errors or some estimate on the error bound, we could decide if we assume independence and prefer mathematical simplicity (if we know the error is within our allowed limit), or keep the mathematical complexity and get accurate results without assuming independence. We aim to find the relative errors in the reliability measures for a n-component series system.


title: Quantum error cancellation in photonic systems -- undoing photon losses

abstract: Real photonic devices are subject to photon losses that can decohere quantum information encoded in the system. In the absence of full fault tolerance, quantum error mitigation techniques have been introduced to help manage errors in noisy quantum devices. In this work, we introduce an error mitigation protocol inspired by probabilistic error cancellation (a popular error mitigation technique in discrete variable systems) for continuous variable systems. We show that our quantum error cancellation protocol can undo photon losses in expectation value estimation tasks. To do this, we analytically derive the (non-physical) inverse photon loss channel and decompose it into a sum over physically realisable channels with potentially negative coefficients. The bias of our ideal expectation value estimator can be made arbitrarily small at the cost of increasing the sampling overhead. The protocol requires a noiseless amplification followed by a series of photon-subtractions. While these operations can be implemented probabilistically, for certain classes of initial state one can avoid the burden of carrying out the amplification and photon-subtractions by leveraging Monte-Carlo methods to give an unbiased estimate of the ideal expectation value. We validate our proposed mitigation protocol by simulating the scheme on squeezed vacuum states, cat states and entangled coherent states.


title: Non-additivity in many-body interactions between membrane-deforming spheres increases disorder

abstract: Membrane-induced interactions have been predicted to be important for the organization of membrane proteins. Measurements of the interactions between two and three membrane deforming objects have revealed their non-additive nature. They are thought to lead to complex many-body effects, however, experimental evidence is lacking to date. We here present an experimental method to measure many-body effects in membrane-mediated interactions using colloidal spheres placed between a deflated giant unilamellar vesicles and a planar substrate. The thus confined colloidal particles cause a large deformation of the membrane while not being physochemically attached to it and interact through it. Two particles are found to attract with a maximum force of 0.2~pN. For three particles, we observe a preference for forming compact equilateral triangles over a linear arrangement. We use numerical energy minimization to establish that the attraction stems from a reduction in the membrane-deformation energy caused by the particles. Confining up to 36 particles, we find a preference for hexagonally close packed clusters. However, with increasing number of particles the order of the confined particles decreases, while at the same time, diffusivity of the particles increases. Our experiments for the first time show that the non-additive nature of membrane-mediated interactions affects the interactions and arrangements and ultimately leads to spherical aggregates with liquid-like order of potential importance for cellular processes.


title: On the $\Delta$-edge stability number of graphs

abstract: The $\Delta$-edge stability number ${\rm es}_{\Delta}(G)$ of a graph $G$ is the minimum number of edges of $G$ whose removal results in a subgraph $H$ with $\Delta(H) = \Delta(G)-1$. Sets whose removal results in a subgraph with smaller maximum degree are called mitigating sets. It is proved that there always exists a mitigating set which induces a disjoint union of paths of order $2$ or $3$. Minimum mitigating sets which induce matchings are characterized. It is proved that to obtain an upper bound of the form ${\rm es}_{\Delta}(G) \leq c |V(G)|$ for an arbitrary graph $G$ of given maximum degree $\Delta$, where $c$ is a given constant, it suffices to prove the bound for $\Delta$-regular graphs. Sharp upper bounds of this form are derived for regular graphs. It is proved that if $\Delta(G) \geq\frac{|V(G)|-2}{3}$ or the induced subgraph on maximum degree vertices has a $\Delta(G)$-edge coloring, then ${\rm es}_{\Delta}(G) \le |V(G)|/2$.


title: Tautological characteristic classes II: the Witt class

abstract: Let $K$ be an arbitrary infinite field. The cohomology group $H^2(SL(2,K), H_2\,SL(2,K))$ contains the class of the universal central extension. When studying representations of fundamental groups of surfaces in $SL(2,K)$ it is useful to have classes stable under deformations (Fenchel--Nielsen twists) of representations. We identify the maximal quotient of the universal class which is stable under twists as the Witt class of Nekovar. The Milnor--Wood inequality asserts that an $SL(2,{\bf R})$-bundle over a surface of genus $g$ admits a flat structure if and only if its Euler number is $\leq (g-1)$. We establish an analog of this inequality, and a saturation result for the Witt class. The result is sharp for the field of rationals, but not sharp in general.


title: DuDoUniNeXt: Dual-domain unified hybrid model for single and multi-contrast undersampled MRI reconstruction

abstract: Multi-contrast (MC) Magnetic Resonance Imaging (MRI) reconstruction aims to incorporate a reference image of auxiliary modality to guide the reconstruction process of the target modality. Known MC reconstruction methods perform well with a fully sampled reference image, but usually exhibit inferior performance, compared to single-contrast (SC) methods, when the reference image is missing or of low quality. To address this issue, we propose DuDoUniNeXt, a unified dual-domain MRI reconstruction network that can accommodate to scenarios involving absent, low-quality, and high-quality reference images. DuDoUniNeXt adopts a hybrid backbone that combines CNN and ViT, enabling specific adjustment of image domain and k-space reconstruction. Specifically, an adaptive coarse-to-fine feature fusion module (AdaC2F) is devised to dynamically process the information from reference images of varying qualities. Besides, a partially shared shallow feature extractor (PaSS) is proposed, which uses shared and distinct parameters to handle consistent and discrepancy information among contrasts. Experimental results demonstrate that the proposed model surpasses state-of-the-art SC and MC models significantly. Ablation studies show the effectiveness of the proposed hybrid backbone, AdaC2F, PaSS, and the dual-domain unified learning scheme.


title: Cross-lingual Transfer or Machine Translation? On Data Augmentation for Monolingual Semantic Textual Similarity

abstract: Learning better sentence embeddings leads to improved performance for natural language understanding tasks including semantic textual similarity (STS) and natural language inference (NLI). As prior studies leverage large-scale labeled NLI datasets for fine-tuning masked language models to yield sentence embeddings, task performance for languages other than English is often left behind. In this study, we directly compared two data augmentation techniques as potential solutions for monolingual STS: (a) cross-lingual transfer that exploits English resources alone as training data to yield non-English sentence embeddings as zero-shot inference, and (b) machine translation that coverts English data into pseudo non-English training data in advance. In our experiments on monolingual STS in Japanese and Korean, we find that the two data techniques yield performance on par. Rather, we find a superiority of the Wikipedia domain over the NLI domain for these languages, in contrast to prior studies that focused on NLI as training data. Combining our findings, we demonstrate that the cross-lingual transfer of Wikipedia data exhibits improved performance, and that native Wikipedia data can further improve performance for monolingual STS.


title: Some homological properties of category $\mathcal{O}$, VII

abstract: We describe Calabi-Yau objects in the regular block of the (parabolic) BGG category $\mathcal{O}$ associated to a semi-simple finite dimensional complex Lie algebra. Each such object comes with a natural transformation from the Serre functor to a shifted identity whose evaluation at that object is an isomorphism.


title: Theory of Multimode Squeezed Light Generation in Lossy Media

abstract: A unified theoretical approach to describe the properties of multimode squeezed light generated in a lossy medium is presented. This approach is valid for Markovian environments and includes both a model of discrete losses based on the beamsplitter approach and a generalized continuous loss model based on the spatial Langevin equation. For an important class of Gaussian states, we derive master equations for the second-order correlation functions and illustrate their solution for both frequency-independent and frequency-dependent losses. Studying the mode structure, we demonstrate that in a lossy environment no broadband basis without quadrature correlations between the different broadband modes exists. Therefore, various techniques and strategies to introduce broadband modes can be considered. We show that the Mercer expansion and the Williamson decomposition do not provide modes in which the maximal squeezing contained in the system can be measured. In turn, we find a new broadband basis that maximizes squeezing in the lossy system and present an algorithm to construct it.


title: Predicting Single-cell Drug Sensitivity by Adaptive Weighted Feature for Adversarial Multi-source Domain Adaptation

abstract: The development of single-cell sequencing technology had promoted the generation of a large amount of single-cell transcriptional profiles, providing valuable opportunities to explore drug-resistant cell subpopulations in a tumor. However, the drug sensitivity data in single-cell level is still scarce to date, pressing an urgent and highly challenging task for computational prediction of the drug sensitivity to individual cells. This paper proposed scAdaDrug, a multi-source adaptive weighting model to predict single-cell drug sensitivity. We used an autoencoder to extract domain-invariant features related to drug sensitivity from multiple source domains by exploiting adversarial domain adaptation. Especially, we introduced an adaptive weight generator to produce importance-aware and mutual independent weights, which could adaptively modulate the embedding of each sample in dimension-level for both source and target domains. Extensive experimental results showed that our model achieved state-of-the-art performance in predicting drug sensitivity on sinle-cell datasets, as well as on cell line and patient datasets.


title: Cross-Modal and Uni-Modal Soft-Label Alignment for Image-Text Retrieval

abstract: Current image-text retrieval methods have demonstrated impressive performance in recent years. However, they still face two problems: the inter-modal matching missing problem and the intra-modal semantic loss problem. These problems can significantly affect the accuracy of image-text retrieval. To address these challenges, we propose a novel method called Cross-modal and Uni-modal Soft-label Alignment (CUSA). Our method leverages the power of uni-modal pre-trained models to provide soft-label supervision signals for the image-text retrieval model. Additionally, we introduce two alignment techniques, Cross-modal Soft-label Alignment (CSA) and Uni-modal Soft-label Alignment (USA), to overcome false negatives and enhance similarity recognition between uni-modal samples. Our method is designed to be plug-and-play, meaning it can be easily applied to existing image-text retrieval models without changing their original architectures. Extensive experiments on various image-text retrieval models and datasets, we demonstrate that our method can consistently improve the performance of image-text retrieval and achieve new state-of-the-art results. Furthermore, our method can also boost the uni-modal retrieval performance of image-text retrieval models, enabling it to achieve universal retrieval. The code and supplementary files can be found at https://github.com/lerogo/aaai24_itr_cusa.


title: Debiasing Multimodal Large Language Models

abstract: In the realms of computer vision and natural language processing, Large Vision-Language Models (LVLMs) have become indispensable tools, proficient in generating textual descriptions based on visual inputs. Despite their advancements, our investigation reveals a noteworthy bias in the generated content, where the output is primarily influenced by the underlying Large Language Models (LLMs) prior rather than the input image. Our empirical experiments underscore the persistence of this bias, as LVLMs often provide confident answers even in the absence of relevant images or given incongruent visual input. To rectify these biases and redirect the model's focus toward vision information, we introduce two simple, training-free strategies. Firstly, for tasks such as classification or multi-choice question-answering (QA), we propose a ``calibration'' step through affine transformation to adjust the output distribution. This ``Post-Hoc debias'' approach ensures uniform scores for each answer when the image is absent, serving as an effective regularization technique to alleviate the influence of LLM priors. For more intricate open-ended generation tasks, we extend this method to ``Debias sampling'', drawing inspirations from contrastive decoding methods. Furthermore, our investigation sheds light on the instability of LVLMs across various decoding configurations. Through systematic exploration of different settings, we significantly enhance performance, surpassing reported results and raising concerns about the fairness of existing evaluations. Comprehensive experiments substantiate the effectiveness of our proposed strategies in mitigating biases. These strategies not only prove beneficial in minimizing hallucinations but also contribute to the generation of more helpful and precise illustrations.


title: Predicting burst events in a forced 2D flow: A wavelet-based analysis

abstract: Predicting and perhaps mitigating against rare, extreme events in fluid flows is an important challenge. Due to the time-localized nature of these events, Fourier-based methods prove inefficient in capturing them. Instead this paper uses wavelet-based methods to understand the underlying patterns in a forced flow over a 2-torus which has intermittent high-energy burst events interrupting an ambient low energy quiet flow. Three methods are examined to predict burst events: (1) a straightforward energy tracking approach which acts as the benchmark; (2) a wavelet proper orthogonal decomposition (WPOD) which uncovers the key flow patterns seen in the quiet regions and the bursting episodes; and (3) a wavelet resolvent analysis (WRA) that reveals the forcing structures that amplifies the underlying flow patterns. Both the wavelet-based approaches succeed in producing better (earlier) predictions than a simple energy criterion, with the WRA-based technique always bettering WPOD. However, both also produce false positives and the improvement of the WRA approach over WPOD is not as substantial as anticipated. We conjecture that this is because the mechanism for the bursts in the flow studied is found to be largely modal associated with the unstable eigenfunction of the Navier-Stokes operator linearized around the mean flow. The forcing approach should deliver much better improvements over the WPOD approach for generically non-modal bursting mechanisms where there is a lag between the imposed forcing and the final response pattern.


title: To Reach the Unreachable: Exploring the Potential of VR Hand Redirection for Upper Limb Rehabilitation

abstract: Rehabilitation therapies are widely employed to assist people with motor impairments in regaining control over their affected body parts. Nevertheless, factors such as fatigue and low self-efficacy can hinder patient compliance during extensive rehabilitation processes. Utilizing hand redirection in virtual reality (VR) enables patients to accomplish seemingly more challenging tasks, thereby bolstering their motivation and confidence. While previous research has investigated user experience and hand redirection among able-bodied people, its effects on motor-impaired people remain unexplored. In this paper, we present a VR rehabilitation application that harnesses hand redirection. Through a user study and semi-structured interviews, we examine the impact of hand redirection on the rehabilitation experiences of people with motor impairments and its potential to enhance their motivation for upper limb rehabilitation. Our findings suggest that patients are not sensitive to hand movement inconsistency, and the majority express interest in incorporating hand redirection into future long-term VR rehabilitation programs.


title: MMoE: Robust Spoiler Detection with Multi-modal Information and Domain-aware Mixture-of-Experts

abstract: Online movie review websites are valuable for information and discussion about movies. However, the massive spoiler reviews detract from the movie-watching experience, making spoiler detection an important task. Previous methods simply focus on reviews' text content, ignoring the heterogeneity of information in the platform. For instance, the metadata and the corresponding user's information of a review could be helpful. Besides, the spoiler language of movie reviews tends to be genre-specific, thus posing a domain generalization challenge for existing methods. To this end, we propose MMoE, a multi-modal network that utilizes information from multiple modalities to facilitate robust spoiler detection and adopts Mixture-of-Experts to enhance domain generalization. MMoE first extracts graph, text, and meta feature from the user-movie network, the review's textual content, and the review's metadata respectively. To handle genre-specific spoilers, we then adopt Mixture-of-Experts architecture to process information in three modalities to promote robustness. Finally, we use an expert fusion layer to integrate the features from different perspectives and make predictions based on the fused embedding. Experiments demonstrate that MMoE achieves state-of-the-art performance on two widely-used spoiler detection datasets, surpassing previous SOTA methods by 2.56% and 8.41% in terms of accuracy and F1-score. Further experiments also demonstrate MMoE's superiority in robustness and generalization.


title: ERBench: An Entity-Relationship based Automatically Verifiable Hallucination Benchmark for Large Language Models

abstract: Large language models (LLMs) have achieved unprecedented performance in various applications, yet their evaluation remains a critical issue. Existing hallucination benchmarks are either static or lack adjustable complexity for thorough analysis. We contend that utilizing existing relational databases is a promising approach for constructing benchmarks due to their accurate knowledge description via functional dependencies. We propose ERBench to automatically convert any relational database into a benchmark based on the entity-relationship (ER) model. Our key idea is to construct questions using the database schema, records, and functional dependencies such that they can be automatically verified. In addition, we use foreign key constraints to join relations and construct multihop questions, which can be arbitrarily complex and used to debug the intermediate answers of LLMs. Finally, ERBench supports continuous evaluation, multimodal questions, and various prompt engineering techniques. In our experiments, we construct an LLM benchmark using databases of multiple domains and make an extensive comparison of contemporary LLMs. We observe that better LLMs like GPT-4 can handle a larger variety of question types, but are by no means perfect. Also, correct answers do not necessarily imply correct rationales, which is an important evaluation that ERBench does better than other benchmarks for various question types. Code is available at https: //github.com/DILAB-KAIST/ERBench.


title: Integrable systems in magnetic fields: the generalized parabolic cylindrical case

abstract: This article is a contribution to the classification of quadratically integrable systems with vector potentials whose integrals are of the nonstandard, nonseparable type. We focus on generalized parabolic cylindrical case, related to non-subgroup-type coordinates. We find 3 new systems, two with magnetic fields polynomial in Cartesian coordinates and one with unbounded exponential terms. The limit in the parameters of the integrals yields a new parabolic cylindrical system; the limit of vanishing magnetic fields leads to the free motion. This confirms the conjecture that non-subgroup type integrals can be related to separable systems only in a trivial manner.


title: Deep Prompt Multi-task Network for Abuse Language Detection

abstract: The detection of abusive language remains a long-standing challenge with the extensive use of social networks. The detection task of abusive language suffers from limited accuracy. We argue that the existing detection methods utilize the fine-tuning technique of the pre-trained language models (PLMs) to handle downstream tasks. Hence, these methods fail to stimulate the general knowledge of the PLMs. To address the problem, we propose a novel Deep Prompt Multi-task Network (DPMN) for abuse language detection. Specifically, DPMN first attempts to design two forms of deep prompt tuning and light prompt tuning for the PLMs. The effects of different prompt lengths, tuning strategies, and prompt initialization methods on detecting abusive language are studied. In addition, we propose a Task Head based on Bi-LSTM and FFN, which can be used as a short text classifier. Eventually, DPMN utilizes multi-task learning to improve detection metrics further. The multi-task network has the function of transferring effective knowledge. The proposed DPMN is evaluated against eight typical methods on three public datasets: OLID, SOLID, and AbuseAnalyzer. The experimental results show that our DPMN outperforms the state-of-the-art methods.


title: Patricia's Bad Distributions

abstract: The height of a random PATRICIA tree built from independent, identically distributed infinite binary strings with arbitrary diffuse probability distribution $\mu$ on $\{0,1\}^\mathbb{N}$ is studied. We show that the expected height grows asymptotically sublinearly in the number of leaves for any such $\mu$, but can be made to exceed any specific sublinear growth rate by choosing $\mu$ appropriately.


title: A note on lenses in arrangements of pairwise intersecting circles in the plane

abstract: Let $\F$ be a family of $n$ pairwise intersecting circles in the plane. We show that the number of lenses, that is convex digons, in the arrangement induced by $\F$ is at most $2n-2$. This bound is tight. Furthermore, if no two circles in $\F$ touch, then the geometric graph $G$ on the set of centers of the circles in $\F$ whose edges correspond to the lenses generated by $\F$ does not contain pairs of avoiding edges. That is, $G$ does not contain pairs of edges that are opposite edges in a convex quadrilateral. Such graphs are known to have at most $2n-2$ edges.


title: DID:RING: Ring Signatures using Decentralised Identifiers For Privacy-Aware Identity

abstract: Decentralised identifiers have become a standardised element of digital identity architecture, with supra-national organisations such as the European Union adopting them as a key component for a unified European digital identity ledger. This paper delves into enhancing security and privacy features within decentralised identifiers by integrating ring signatures as an alternative verification method. This allows users to identify themselves through digital signatures without revealing which public key they used. To this end, the study proposed a novel decentralised identity method showcased in a decentralised identifier-based architectural framework. Additionally, the investigation assesses the repercussions of employing this new method in the verification process, focusing specifically on privacy and security aspects. Although ring signatures are an established asset of cryptographic protocols, this paper seeks to leverage their capabilities in the evolving domain of digital identities.


title: Engineering consensus in static networks with unknown disruptors

abstract: Distributed control increases system scalability, flexibility, and redundancy. Foundational to such decentralisation is consensus formation, by which decision-making and coordination are achieved. However, decentralised multi-agent systems are inherently vulnerable to disruption. To develop a resilient consensus approach, inspiration is taken from the study of social systems and their dynamics; specifically, the Deffuant Model. A dynamic algorithm is presented enabling efficient consensus to be reached with an unknown number of disruptors present within a multi-agent system. By inverting typical social tolerance, agents filter out extremist non-standard opinions that would drive them away from consensus. This approach allows distributed systems to deal with unknown disruptions, without knowledge of the network topology or the numbers and behaviours of the disruptors. A disruptor-agnostic algorithm is particularly suitable to real-world applications where this information is typically unknown. Faster and tighter convergence can be achieved across a range of scenarios with the social dynamics inspired algorithm, compared with standard Mean-Subsequence-Reduced-type methods.


title: Elections in the Post-Quantum Era: Is the Complexity Shield Strong Enough?

abstract: The election, a cornerstone of democracy, is one of the best-recognizable symbols of democratic governance. Voters' confidence in elections is essential, and these days, we can watch practically in live broadcast what consequences distrust in the fairness of elections may have. From the times of the celebrated Gibbard-Satterthwaite theorem, it is well-known in the social-choice community that most voting systems are vulnerable to the efforts of various players to influence elections. Luckily for us, computing such influence to affect election outcomes is a hard problem from the computational complexity perspective. This intractability is regarded as a ``complexity shield'' that secures voting rules against this malicious behavior. In this work, we consider quantum computers to be a new threat to the complexity shield described above, as they break out of standard computing paradigms and unlock additional computational resources. To this end, we provide an overview of possible attacks on election, discuss the abilities of quantum computing, and chart possible directions for future research in this area.


title: A Goldstone Boson Equivalence for Inflation

abstract: The effective field theory of single-field inflation characterizes the inflationary epoch in terms of a pattern of symmetry breaking. An operator acquires a time-dependent vacuum expectation value, defining a preferred spatial slicing. In the absence of dynamical gravity, the fluctuations around the time-dependent background are described by the Goldstone boson associated with this symmetry breaking process. With gravity, the Goldstone is eaten by the metric, becoming the scalar metric fluctuation. In this paper, we will show that in general single-field inflation, the statistics of scalar metric fluctuations are given by the statistics of this Goldstone boson decoupled from gravity up to corrections that are controlled as an expansion in slow-roll parameters. This even holds in the presence of additional parameters, like the speed of sound, that naively enhance the impact of the gravitational terms. In the process, we derive expressions for leading and sub-leading gravitational corrections to all-orders in the Goldstone boson.


title: vSPACE: Voting in a Scalable, Privacy-Aware and Confidential Election

abstract: The vSPACE experimental proof-of-concept (PoC) on the TrueElect[Anon][Creds] protocol presents a novel approach to secure, private, and scalable elections, extending the TrueElect and ElectAnon protocols with the integration of AnonCreds SSI (Self-Sovereign Identity). Such a protocol PoC is situated within a Zero-Trust Architecture (ZTA) and leverages confidential computing, continuous authentication, multi-party computation (MPC), and well-architected framework (WAF) principles to address the challenges of cybersecurity, privacy, and trust over IP (ToIP) protection. Employing a Kubernetes confidential cluster within an Enterprise-Scale Landing Zone (ESLZ), vSPACE integrates Distributed Ledger Technology (DLT) for immutable and certifiable audit trails. The Infrastructure as Code (IaC) model ensures rapid deployment, consistent management, and adherence to security standards, making vSPACE a future-proof solution for digital voting systems.


title: Role of tissue fluidization and topological defects in epithelial tubulogenesis

abstract: Cellular rearrangements, as primary sources of tissue fluidization, facilitate topological transitions during tissue morphogenesis. We study the role of intrinsic cell properties such as cell polarity and cell-cell adhesion in shaping epithelial tissues using a minimal model of interacting polarized cells. The presence of a vortex in the cell polarization poses the topological constraint that induces an inwards migration with the formation of a conical shape. Local rearrangements at the tip of the cone lead to the onset of tube formation. Switching between collective migration and structural rearrangements is key for balancing the contrasting tendencies, such as the tissue rigidity needed to preserve shape and the tissue fluidity allowing for topological transitions during tissue morphogenesis.


title: ADROIT6G DAI-driven Open and Programmable Architecture for 6G Networks

abstract: In the upcoming 6G era, mobile networks must deal with more challenging applications (e.g., holographic telepresence and immersive communication) and meet far more stringent application requirements stemming along the edge-cloud continuum. These new applications will create an elevated level of expectations on performance, reliability, ubiquity, trustworthiness, security, openness, and sustainability, pushing the boundaries of innovation and driving transformational change across the architecture of future mobile networks. Towards this end, ADROIT6G proposes a set of disruptive innovations with a clear vision on setting a 6G network architecture that can be tailored to the requirements of innovative applications and match the ambitious KPIs set for 6G networks. More specifically, the key transformations that ADROIT6G considers essential to 6G network evolution are: i) AI/ML-powered optimisations across the network, exploring solutions in the "Distributed Artificial Intelligence (DAI)" domain for high performance and automation; ii) Transforming to fully cloud-native network software, which can be implemented across various edge-cloud platforms, with security built integrally into the network user plan; and iii) Software driven, zero-touch operations and ultimately automation of every aspect of the network and the services it delivers.


title: Load Balancing For High Performance Computing Using Quantum Annealing

abstract: With the advent of exascale computing, effective load balancing in massively parallel software applications is critically important for leveraging the full potential of high performance computing systems. Load balancing is the distribution of computational work between available processors. Here, we investigate the application of quantum annealing to load balance two paradigmatic algorithms in high performance computing. Namely, adaptive mesh refinement and smoothed particle hydrodynamics are chosen as representative grid and off-grid target applications. While the methodology for obtaining real simulation data to partition is application specific, the proposed balancing protocol itself remains completely general. In a grid based context, quantum annealing is found to outperform classical methods such as the round robin protocol but lacks a decisive advantage over more advanced methods such as steepest descent or simulated annealing despite remaining competitive. The primary obstacle to scalability is found to be limited coupling on current quantum annealing hardware. However, for the more complex particle formulation, approached as a multi-objective optimization, quantum annealing solutions are demonstrably Pareto dominant to state of the art classical methods across both objectives. This signals a noteworthy advancement in solution quality which can have a large impact on effective CPU usage.


title: Approaching the double-Heisenberg-scaling sensitivity in the Tavis-Cummings model

abstract: The pursuit of quantum-enhanced parameter estimations without the need for nonclassical initial states has long been driven by the goal of achieving experimentally accessible quantum metrology. In this paper, employing a coherent averaging mechanism, we prove that the prototypical cavity-quantum electrodynamics (QED) system, such as the Tavis-Cummings (TC) model, enables us to achieve not only the Heisenberg scaling (HS) precision in terms of the average photon number but also the double-HS sensitivity concerning both the average photon and atom numbers. Such a double sensibility can be experimentally realized by introducing either photon- or atom-number fluctuations through quantum squeezing. Furthermore, we discuss the methodology to achieve this double-HS precision in a realistic experimental circumstance where the squeezing is not perfect. Our results provide insights into understanding the coherent averaging mechanism for evaluating quantum-enhanced precision measurements and also present a usable metrological application of the cavity QED systems.


title: ContrastDiagnosis: Enhancing Interpretability in Lung Nodule Diagnosis Using Contrastive Learning

abstract: With the ongoing development of deep learning, an increasing number of AI models have surpassed the performance levels of human clinical practitioners. However, the prevalence of AI diagnostic products in actual clinical practice remains significantly lower than desired. One crucial reason for this gap is the so-called `black box' nature of AI models. Clinicians' distrust of black box models has directly hindered the clinical deployment of AI products. To address this challenge, we propose ContrastDiagnosis, a straightforward yet effective interpretable diagnosis framework. This framework is designed to introduce inherent transparency and provide extensive post-hoc explainability for deep learning model, making them more suitable for clinical medical diagnosis. ContrastDiagnosis incorporates a contrastive learning mechanism to provide a case-based reasoning diagnostic rationale, enhancing the model's transparency and also offers post-hoc interpretability by highlighting similar areas. High diagnostic accuracy was achieved with AUC of 0.977 while maintain a high transparency and explainability.


title: An Efficient Quasi-Random Sampling for Copulas

abstract: This paper examines an efficient method for quasi-random sampling of copulas in Monte Carlo computations. Traditional methods, like conditional distribution methods (CDM), have limitations when dealing with high-dimensional or implicit copulas, which refer to those that cannot be accurately represented by existing parametric copulas. Instead, this paper proposes the use of generative models, such as Generative Adversarial Networks (GANs), to generate quasi-random samples for any copula. GANs are a type of implicit generative models used to learn the distribution of complex data, thus facilitating easy sampling. In our study, GANs are employed to learn the mapping from a uniform distribution to copulas. Once this mapping is learned, obtaining quasi-random samples from the copula only requires inputting quasi-random samples from the uniform distribution. This approach offers a more flexible method for any copula. Additionally, we provide theoretical analysis of quasi-Monte Carlo estimators based on quasi-random samples of copulas. Through simulated and practical applications, particularly in the field of risk management, we validate the proposed method and demonstrate its superiority over various existing methods.


title: Proton Helicity GPDs from Lattice QCD

abstract: First lattice QCD calculations of $x$-dependent GPD have been performed in the (symmetric) Breit frame, where the momentum transfer is evenly divided between the initial and final hadron states. However, employing the asymmetric frame, we are able to obtain proton GPDs for multiple momentum transfers in a computationally efficient setup. In these proceedings, we focus on the helicity twist-2 GPD at zero skewness that gives access to the $\widetilde{H}$ GPD. We will cover the implementation of the asymmetric frame, its comparison to the Breit frame, and the dependence of the GPD on the squared four-momentum transfer, $-t$. The calculation is performed on an $N_f = 2+1+1$ ensemble of twisted mass fermions with a clover improvement. The mass of the pion for this ensemble is roughly 260 MeV.


title: Closely piling up of multiple adhesive fronts in adhesive friction due to re-attachment

abstract: To understand why the adhesive frictional force was in linear proportion to the real contact area in experiments, we investigate the adhesive friction generated by sliding elastic solids adhered to a rigid surface via multiple adhesive springs. Our results indicate that the shear-off force of the interface increases with the energetically guided re-attachment rate of adhesive springs, reaching saturation at high re-attachment rates. Remarkably, this shear-off force can surpass the predictions made by the fracture theory. By plotting the adhesive forces along the interface, we observe substantial high adhesive forces distributed throughout the interface, based on which we identify multiple adhesive fronts closely piling up along the interface. These regions can exhibit similar force profiles, and their number appears to increase with the size of the interface, leading to a linear increase in the calculated shear-off force with the size of the interface. We then suggest that multiple adhesive fronts closely pile up to back up each other in adhesive friction due to re-attachments, which may provide profound insights into understanding the observed phenomena associated with adhesive friction along an interface.


title: Gravity as a topological gauge theory

abstract: We describe a topological gauge theory with underlying Cartan geometry $G/H$ and principal $H$-bundle. The topological action is constructed as a linear combination of the Euler and Pontrjagin numbers coming from entries of the curvature $\bar{\Omega}$ of a Cartan connection. As an example we show that for $G = SO(4,1)$ (respectively $SO(3,2)$) for $\Lambda_0 > 0$, (respectively $\Lambda_0 < 0$) and $H=SO(3,1)$, a very particular linear combination yields the Holst + Euler and Pontrjagin of the curvature $R$ of the spin connection + Nieh-Yan + bare cosmological constant $\Lambda_0$ terms. Additionally, in this construction, the coupling constants of these different terms are inherently linked together. The other example treated is the one of the M\"obius group $G= SO(4,2) /\{\pm I\}$ and $H = CO(4,2) \ltimes \mathbb{R}^{3,1}$. By considering a constraint on the "pair of frames" $(\alpha,\beta)$ we retrieve an action comprising all terms compatible with diffeomorphism invariance and local Lorentz invariance described in the previous example + kinetic term for a scalar field $+$ an interaction of that scalar field with the Torsion $T$, the scalar field being related to dilation. Finally, in both examples, we study the equations of motion associated to the total (Gauge + Matter) action. It is especially shown that one of the solutions in the M\"obius case consists of Einstein's equations modified by the Holst and Nieh-Yan terms with an additional source term for curvature depending on specific variations of spin density of matter.


title: Provably Time-Optimal Cooling of Markovian Quantum Systems

abstract: We address the problem of cooling a Markovian quantum system to a pure state in the shortest amount of time possible. Here the system drift takes the form of a Lindblad master equation and we assume fast unitary control. This setting allows for a natural reduction of the control system to the eigenvalues of the state density matrix. We give a simple necessary and sufficient characterization of systems which are (asymptotically) coolable and present a powerful result which allows to considerably simplify the search for optimal cooling solutions. With these tools at our disposal we derive explicit provably time-optimal cooling protocols for rank one qubit systems, inverted $\Lambda$-systems on a qutrit, and a certain system consisting of two coupled qubits.


title: LLM4Decompile: Decompiling Binary Code with Large Language Models

abstract: Decompilation aims to convert binary code to high-level source code, but traditional tools like Ghidra often produce results that are difficult to read and execute. Motivated by the advancements in Large Language Models (LLMs), we propose LLM4Decompile, the first and largest open-source LLM series (1.3B to 33B) trained to decompile binary code. We optimize the LLM training process and introduce the LLM4Decompile-End models to decompile binary directly. The resulting models significantly outperform GPT-4o and Ghidra on the HumanEval and ExeBench benchmarks by over 100%. Additionally, we improve the standard refinement approach to fine-tune the LLM4Decompile-Ref models, enabling them to effectively refine the decompiled code from Ghidra and achieve a further 16.2% improvement over the LLM4Decompile-End. LLM4Decompile demonstrates the potential of LLMs to revolutionize binary code decompilation, delivering remarkable improvements in readability and executability while complementing conventional tools for optimal results. Our code, dataset, and models are released at https://github.com/albertan017/LLM4Decompile


title: Shape of 12C

abstract: We have examined the hypothesis by Bijker and Iachello who asserted that 12C has an internal structure with three alpha particles arranged in a triangular shape, leading to the formation of the ground rotational band consisting of 0+, 2+, 3-, 4$^\pm$ and 5- states. Following this idea, we reconstructed the intrinsic shape of 12C using experimental electron scattering data with minimal theoretical assumption. Our sole assumption was that the observed 0+, 2+, 3-, and 4+ states share a common internal structure, forming a rotational spectrum. The reconstructed intrinsic density showed a beautiful triangular shape with three peaks implying alpha cluster formation in the ground band.


title: Neutrino fluxes from different classes of galactic sources

abstract: We estimate the neutrino flux from different kinds of galactic sources and compare it with the recently diffuse neutrino flux detected by IceCube. We find that the flux from these sources may contribute to ~ 20% of the IceCube neutrino flux. Most of the sources selected in this work populate the southern hemisphere, therefore a detector like KM3NeT could help in resolving the sources out of the observed diffused galactic neutrino flux.


title: The density of imaginary multiplicative chaos is positive

abstract: Consider a log-correlated Gaussian field $\Gamma$ and its associated imaginary multiplicative chaos $:e^{i \beta \Gamma}:$ where $\beta$ is a real parameter. In [AJJ22], we showed that for any nonzero test function $f$, the law of $\int f :e^{i \beta \Gamma}:$ possesses a smooth density with respect to Lebesgue measure on $\mathbb{C}$. In this note, we show that this density is strictly positive everywhere on $\mathbb{C}$. Our simple and direct strategy could be useful for studying other functionals on Gaussian spaces.


title: Foundational propositions of hesitant fuzzy soft $\beta$-covering approximation spaces

abstract: Soft set theory serves as a mathematical framework for handling uncertain information, and hesitant fuzzy sets find extensive application in scenarios involving uncertainty and hesitation. Hesitant fuzzy sets exhibit diverse membership degrees, giving rise to various forms of inclusion relationships among them. This article introduces the notions of hesitant fuzzy soft $\beta$-coverings and hesitant fuzzy soft $\beta$-neighborhoods, which are formulated based on distinct forms of inclusion relationships among hesitancy fuzzy sets. Subsequently, several associated properties are investigated. Additionally, specific variations of hesitant fuzzy soft $\beta$-coverings are introduced by incorporating hesitant fuzzy rough sets, followed by an exploration of properties pertaining to hesitant fuzzy soft $\beta$-covering approximation spaces.


title: A discrete formulation for three-dimensional winding number

abstract: For a smooth map $g\colon X \to U(N)$, where $X$ is a three-dimensional, oriented, and closed manifold, the winding number or the map's degree is defined by $W_3 = \frac{1}{24\pi^2} \int_{X} \mathrm{Tr}\left[(g^{-1}dg)^3\right]$. We introduce a method to compute $W_3$ using a discrete approximation of $X$ so that the result is manifestly quantized.

categories: cond-mat.mes-hall hep-lat math-ph math.MP


title: RIS-aided multi-hop backhauling for 5G/6G UAV-assisted access points

abstract: Drones are envisaged as an important part of the future 6G systems. With the possibility of their fast deployment they provide additional connectivity options in form of a hotspot. However, typically in such a use case they require provisioning of a wireless backhaul link to facilitate their proper operation, which might be a challenging task in urban environment. One of the possible ways to connect such nodes is to use the integrate access and backhaul (IAB) approach, where part of the spectrum dedicated for user access at the base station is used for wireless backhauling. Thus, in this work we consider the problem of establishing a multi-hop wireless backhaul link following the IAB concept, with the aid of drone relay stations (DRSs) and reconfigurable intelligent surfaces (RISs). We formulate the problem of coverage improvement with fixed number of relays assuming certain throughput requirements on the backhaul. We show with simulations that the use of RISs allows for improvement of coverage in such a scenario or reduction in the number of involved nodes to provide the required backhaul.


title: Leveraging Continuous Time to Understand Momentum When Training Diagonal Linear Networks

abstract: In this work, we investigate the effect of momentum on the optimisation trajectory of gradient descent. We leverage a continuous-time approach in the analysis of momentum gradient descent with step size $\gamma$ and momentum parameter $\beta$ that allows us to identify an intrinsic quantity $\lambda = \frac{ \gamma }{ (1 - \beta)^2 }$ which uniquely defines the optimisation path and provides a simple acceleration rule. When training a $2$-layer diagonal linear network in an overparametrised regression setting, we characterise the recovered solution through an implicit regularisation problem. We then prove that small values of $\lambda$ help to recover sparse solutions. Finally, we give similar but weaker results for stochastic momentum gradient descent. We provide numerical experiments which support our claims.


title: Bound-extended mode transition in type-II synthetic photonic Weyl heterostructures

abstract: Photonic structures with Weyl points (WPs), including type-I and type-II, promise nontrivial surface modes and intriguing light manipulations for their three-dimensional topological bands. While previous studies mainly focus on exploring WPs in a uniform Weyl structure, here we establish Weyl heterostructures (i.e., a nonuniform Weyl lattice) with different rotational orientations in the synthetic dimension by nanostructured photonic waveguides. In this work, we unveil a transition between bound and extended modes on the interface of type-II Weyl heterostructures by tuning their rotational phases, despite the reversed topological order across the interface. This mode transition is also manifested from the total transmission to total reflection at the interface. All of these unconventional effects are attributed to the tilted dispersion of type-II Weyl band structure that can lead to mismatched bands and gaps across the interface. As a comparison, the type-I Weyl heterostructures lack the phase transition due to the untilted band structure. This work establishes a flexible scheme of artificial Weyl heterostructures that opens a new avenue towards high-dimensional topological effects and significantly enhances our capabilities in on-chip light manipulations.


title: Inverse semigroups of separated graphs and associated algebras

abstract: In this paper we introduce an inverse semigroup $\mathcal{S}(E,C)$ associated to a separated graph $(E,C)$ and describe its internal structure. In particular we show that it is strongly $E^*$-unitary and can be realized as a partial semidirect product of the form $\mathcal{Y}\rtimes\mathbb{F}$ for a certain partial action of the free group $\mathbb{F}=\mathbb{F}(E^1)$ on the edges of $E$ on a semilattice $\mathcal{Y}$ realizing the idempotents of $\mathcal{S}(E,C)$. In addition we also describe the spectrum as well as the tight spectrum of $\mathcal{Y}$. We then use the inverse semigroup $\mathcal{S}(E,C)$ to describe several ''tame'' algebras associated to $(E,C)$, including its Cohn algebra, its Leavitt-path algebra, and analogues in the realm of $C^*$-algebras, like the tame $C^*$-algebra $\mathcal{O}(E,C)$ and its Toeplitz extension $\mathcal{T}(E,C)$, proving that these algebras are canonically isomorphic to certain algebras attached to $\mathcal{S}(E,C)$. Our structural results on $\mathcal{S}(E,C)$ will then imply certain natural structure results for these algebras, like their description as partial crossed products.


title: Cyclic Polygon Plots

abstract: In this paper, we introduce the cyclic polygon plot, a representation based on a novel projection concept for multi-dimensional values. Cyclic polygon plots combine the typically competing requirements of quantitativeness, image-space efficiency, and readability. Our approach is complemented with a placement strategy based on its intrinsic features, resulting in a dimensionality reduction strategy that is consistent with our overall concept. As a result, our approach combines advantages from dimensionality reduction techniques and quantitative plots, supporting a wide range of tasks in multi-dimensional data analysis. We examine and discuss the overall properties of our approach, and demonstrate its utility with a user study and selected examples.


title: PEEB: Part-based Image Classifiers with an Explainable and Editable Language Bottleneck

abstract: CLIP-based classifiers rely on the prompt containing a {class name} that is known to the text encoder. Therefore, they perform poorly on new classes or the classes whose names rarely appear on the Internet (e.g., scientific names of birds). For fine-grained classification, we propose PEEB - an explainable and editable classifier to (1) express the class name into a set of text descriptors that describe the visual parts of that class; and (2) match the embeddings of the detected parts to their textual descriptors in each class to compute a logit score for classification. In a zero-shot setting where the class names are unknown, PEEB outperforms CLIP by a huge margin (~10x in top-1 accuracy). Compared to part-based classifiers, PEEB is not only the state-of-the-art (SOTA) on the supervised-learning setting (88.80% and 92.20% accuracy on CUB-200 and Dogs-120, respectively) but also the first to enable users to edit the text descriptors to form a new classifier without any re-training. Compared to concept bottleneck models, PEEB is also the SOTA in both zero-shot and supervised-learning settings.


title: Disorder-induced instability of a Weyl nodal loop semimetal towards a diffusive topological metal with protected multifractal surface states

abstract: Weyl nodal loop semimetals are gapless topological phases that, unlike their insulator counterparts, may be unstable to small perturbations that respect their topology-protecting symmetries. Here, we analyze a clean system perturbed by chiral off-diagonal disorder using numerically exact methods. We establish that the ballistic semimetallic phase is unstable towards the formation of an unconventional topological diffusive metal hosting topological multifractal surface states. Although, as in the clean case, surface states are exponentially localized along the direction perpendicular to the nodal loop, disorder induces a multifractal structure in the remaining directions. Surprisingly, the number of these states also increases with a small amount of disorder. Eventually, as disorder is further increased, the number of surface states starts decreasing. In the strong disordered regime we predict that some types of disorder induce an Anderson transition into an electrically-polarized insulator whose signature may be detected experimentally.


title: Designing Leidenfrost drops

abstract: Large Leidenfrost drops exhibit erratic bubble bursts to release vapor accumulated beneath the liquid, becoming amorphous and unstable. Here we report an original and remarkably simple method to stabilize and design a Leidenfrost puddle. When a thin hydrophilic layer with a suitable design is placed over the liquid, the puddle adopts the layer shape due to adhesive forces and becomes stable. We show a wide variety of designs obtained using this method. Moreover, we determine the required layer dimensions to stabilize puddles, the wetting and floating conditions, and a model for the evaporation rate of the designed drops. Finally, potential applications are highlighted.


title: Unity by Diversity: Improved Representation Learning in Multimodal VAEs

abstract: Variational Autoencoders for multimodal data hold promise for many tasks in data analysis, such as representation learning, conditional generation, and imputation. Current architectures either share the encoder output, decoder input, or both across modalities to learn a shared representation. Such architectures impose hard constraints on the model. In this work, we show that a better latent representation can be obtained by replacing these hard constraints with a soft constraint. We propose a new mixture-of-experts prior, softly guiding each modality's latent representation towards a shared aggregate posterior. This approach results in a superior latent representation and allows each encoding to preserve information better from its uncompressed original features. In extensive experiments on multiple benchmark datasets and two challenging real-world datasets, we show improved learned latent representations and imputation of missing data modalities compared to existing methods.


title: Wykorzystanie Rekonfigurowalnych Iinteligentnych Matryc Antenowych w {\L}\k{a}czu Dosy{\l}owym Sieci 5G/6G Wykorzystuj\k{a}cej Bezza{\l}ogowe Statki Powietrzne

abstract: Drony, dzi\k{e}ki mo\.zliwo\'sci ich szybkiego rozmieszczenia w trudnym terenie, uwa\.zane s\k{a} za jeden z kluczowych element\'ow system\'ow bezprzewodowych 6G. Jednak w celu wykorzystania ich jako punkty dost\k{e}powe sieci konieczne jest zapewnienie {\l}\k{a}cza dosy{\l}owego o odpowiedniej przepustowo\'sci. Dlatego w niniejszym artykule rozwa\.zane jest zwi\k{e}kszenie zasi\k{e}gu sieci bezprzewodowej przez zapewnienie {\l}\k{a}cza dosy{\l}owego dla ko\'ncowego punktu dost\k{e}powego z wykorzystaniem okre\'slonej liczby dron\'ow-przeka\'znik\'ow oraz rekonfigurowalnych inteligentnych matryc antenowych (RIS). Zaprezentowane wyniki bada\'n symulacyjnych pokazuj\k{a}, \.ze u\.zycie RIS pozwala na znacz\k{a}ce zwi\k{e}kszenie zasi\k{e}gu sieci bez konieczno\'sci stosowania dodatkowych przeka\'znik\'ow. -- Unmanned Aerial Vehicles, due to the possibility of their fast deployment, are considered an essential element of the future wireless 6G communication systems. However, an essential enabler for their use as access points is to provide a sufficient throughput wireless backhaul link. Thus, in this paper we consider the aspect of extension of network coverage with the use of drone-based relaying and reconfigurable intelligent surfaces (RIS) for backhauling. Presented results of simulation experiments indicate that the use of RIS allows for significant improvement of network coverage without the need to use additional relays.


title: Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

abstract: End-to-End Translation Validation is the problem of verifying the executable code generated by a compiler against the corresponding input source code for a single compilation. This becomes particularly hard in the presence of dynamically-allocated local memory where addresses of local memory may be observed by the program. In the context of validating the translation of a C procedure to executable code, a validator needs to tackle constant-length local arrays, address-taken local variables, address-taken formal parameters, variable-length local arrays, procedure-call arguments (including variadic arguments), and the alloca() operator. We provide an execution model, a definition of refinement, and an algorithm to soundly convert a refinement check into first-order logic queries that an off-the-shelf SMT solver can handle efficiently. In our experiments, we perform blackbox translation validation of C procedures (with up to 100+ SLOC), involving these local memory allocation constructs, against their corresponding assembly implementations (with up to 200+ instructions) generated by an optimizing compiler with complex loop and vectorizing transformations.


title: ACLSum: A New Dataset for Aspect-based Summarization of Scientific Publications

abstract: Extensive efforts in the past have been directed toward the development of summarization datasets. However, a predominant number of these resources have been (semi)-automatically generated, typically through web data crawling, resulting in subpar resources for training and evaluating summarization systems, a quality compromise that is arguably due to the substantial costs associated with generating ground-truth summaries, particularly for diverse languages and specialized domains. To address this issue, we present ACLSum, a novel summarization dataset carefully crafted and evaluated by domain experts. In contrast to previous datasets, ACLSum facilitates multi-aspect summarization of scientific papers, covering challenges, approaches, and outcomes in depth. Through extensive experiments, we evaluate the quality of our resource and the performance of models based on pretrained language models and state-of-the-art large language models (LLMs). Additionally, we explore the effectiveness of extractive versus abstractive summarization within the scholarly domain on the basis of automatically discovered aspects. Our results corroborate previous findings in the general domain and indicate the general superiority of end-to-end aspect-based summarization. Our data is released at https://github.com/sobamchan/aclsum.


title: Spatiotemporal Predictive Pre-training for Robotic Motor Control

abstract: Robotic motor control necessitates the ability to predict the dynamics of environments and interaction objects. However, advanced self-supervised pre-trained visual representations (PVRs) in robotic motor control, leveraging large-scale egocentric videos, often focus solely on learning the static content features of sampled image frames. This neglects the crucial temporal motion clues in human video data, which implicitly contain key knowledge about sequential interacting and manipulating with the environments and objects. In this paper, we present a simple yet effective robotic motor control visual pre-training framework that jointly performs spatiotemporal prediction with dual decoders, utilizing large-scale video data, termed as \textbf{STP}. STP adheres to two key designs in a multi-task learning manner. First, we perform spatial prediction on the masked current frame for learning content features. Second, we utilize the future frame with an extremely high masking ratio as a condition, based on the masked current frame, to conduct temporal prediction of future frame for capturing motion features. This asymmetric masking and decoder architecture design is very efficient, ensuring that our representation focusing on motion information while capturing spatial details. We carry out the largest-scale BC evaluation of PVRs for robotic motor control to date, which encompasses 21 tasks within a real-world Franka robot arm and 5 simulated environments. Extensive experiments demonstrate the effectiveness of STP as well as unleash its generality and data efficiency by further post-pre-training and hybrid pre-training. Our code and weights will be released for further applications.


title: On discrete Routh reduction and structures on the reduced space

abstract: In this paper we work, first, with forced discrete mechanical systems on the configuration space $Q$ and construct closed $2$-forms $\omega^+$ and $\omega^-$ on $Q \times Q$, that are symplectic if and only if the system is regular. For a special type of discrete force, we prove that $\omega^+$ and $\omega^-$ are invariant by the flow of the system. We also consider the Lagrangian reduction of a discrete mechanical system by a symmetry group (using an affine discrete connection derived from the discrete momentum) and prove that, under some conditions on the action, the trajectories of the reduced system (with discrete momentum $\mu$) can be seen as trajectories of a forced discrete mechanical system, where the discrete force is of the type analyzed before. Therefore, we prove that there is a symplectic structure that is invariant by the flow of the forced reduced system; the symplectic structure can be seen as a pullback of a canonical cotangent structure plus a magnetic term. This discrete reduction process is the (discrete) Routh reduction and the behavior obtained runs parallel to the well known case for (continuous) Routh reduction.


title: A Collaborative Robot-Assisted Manufacturing Assembly Process

abstract: An effective human-robot collaborative process results in the reduction of the operator's workload, promoting a more efficient, productive, safer and less error-prone working environment. However, the implementation of collaborative robots in industry is still challenging. In this work, we compare manual and robot-assisted assembly processes to evaluate the effectiveness of collaborative robots while featuring different modes of operation (coexistence, cooperation and collaboration). Results indicate an improvement in ergonomic conditions and ease of execution without substantially compromising assembly time. Furthermore, the robot is intuitive to use and guides the user on the proper sequencing of the process.


title: Tapilot-Crossing: Benchmarking and Evolving LLMs Towards Interactive Data Analysis Agents

abstract: Interactive Data Analysis, the collaboration between humans and LLM agents, enables real-time data exploration for informed decision-making. The challenges and costs of collecting realistic interactive logs for data analysis hinder the quantitative evaluation of Large Language Model (LLM) agents in this task. To mitigate this issue, we introduce Tapilot-Crossing, a new benchmark to evaluate LLM agents on interactive data analysis. Tapilot-Crossing contains 1024 interactions, covering 4 practical scenarios: Normal, Action, Private, and Private Action. Notably, Tapilot-Crossing is constructed by an economical multi-agent environment, Decision Company, with few human efforts. We evaluate popular and advanced LLM agents in Tapilot-Crossing, which underscores the challenges of interactive data analysis. Furthermore, we propose Adaptive Interaction Reflection (AIR), a self-generated reflection strategy that guides LLM agents to learn from successful history. Experiments demonstrate that Air can evolve LLMs into effective interactive data analysis agents, achieving a relative performance improvement of up to 44.5%.


title: Sparse Wearable Sonomyography Sensor-based Proprioceptive Proportional Control Across Multiple Gestures

abstract: Sonomyography (SMG) is a non-invasive technique that uses ultrasound imaging to detect the dynamic activity of muscles. Wearable SMG systems have recently gained popularity due to their potential as human-computer interfaces for their superior performance compared to conventional methods. This paper demonstrates real-time positional proportional control of multiple gestures using a multiplexed 8-channel wearable SMG system. The amplitude-mode ultrasound signals from the SMG system were utilized to detect muscle activity from the forearm of 8 healthy individuals. The derived signals were used to control the on-screen movement of the cursor. A target achievement task was performed to analyze the performance of our SMG-based human-machine interface. Our wearable SMG system provided accurate, stable, and intuitive control in real-time by achieving an average success rate greater than 80% with all gestures. Furthermore, the wearable SMG system's abilities to detect volitional movement and decode movement kinematic information from SMG trajectories using standard performance metrics were evaluated. Our results provide insights to validate SMG as an intuitive human-machine interface.


title: An in-Contact Robotic System for the Process of Desoldering PCB Components

abstract: The disposal and recycling of electronic waste (e-waste) is a global challenge. The disassembly of components is a crucial step towards an efficient recycling process, avoiding the destructive methods. Although most disassembly work is still done manually due to the diversity and complexity of components, there is a growing interest in developing automated methods to improve efficiency and reduce labor costs. This study aims to robotize the desoldering process and extracting components from printed circuit boards (PCBs), with the goal of automating the process as much as possible. The proposed strategy consists of several phases, including the controlled contact of the robotic tool with the PCB components. A specific tool was developed to apply a controlled force against the PCB component, removing it from the board. The results demonstrate that it is feasible to remove the PCB components with a high success rate (approximately 100% for the bigger PCB components).


title: Optically-biased Rydberg microwave receiver enabled by hybrid nonlinear interferometry

abstract: The rapid development in Rydberg-atomic detection of microwave fields has paved the way to a new type of intrinsically calibrated RF measurements. The coupling of Rydberg vapors medium both to microwave and optical fields allows harnessing the merits of all-optical detection, e.g.~weak disruption of the measured field and invulnerability to extremely strong fields, owing to the lack of conventional RF antenna in the detector. The trouble with this approach arises, as the greatest sensitivity is exhibited with the use of additional microwave field acting as a local oscillator, and the measurement can no longer be all-optical. Here we propose a different solution, optical-bias detection, that allows truly all-optical operation, while retaining most of the sensitivity. We tackle the issue of uncorrelated laser phase, emerging in this type of detection, by facilitating separate measurement of the phase spectrum in a nonlinear process and using the results in post-processing. We report the sensitivity of $176\ \mathrm{nV/cm/\sqrt{Hz}}$ and reliable operation up to $3.5\ \mathrm{mV/cm}$ of $13.9\ \mathrm{GHz}$ electric field, while comparing with the state of the art (although not all-optical) method realized in the same setup.


title: Search for soft unclustered energy patterns in proton-proton collisions at 13 TeV

abstract: The first search for soft unclustered energy patterns (SUEPs) is performed using an integrated luminosity of 138 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}$ = 13 TeV collected in 2016-2018 by the CMS detector at the LHC. Such SUEPs are predicted by Hidden Valley models with a new, confining force with a large 't Hooft coupling. In events with boosted topologies, selected by high-threshold hadronic triggers, the multiplicity and sphericity of clustered tracks are used to reject the background from standard model quantum chromodynamics. With no observed excess of events over the standard model expectation, limits are set on the cross section for production via gluon fusion of a scalar mediator with SUEP-like decays.


title: Weak property $(\mathrm{T}_{L^p})$ for discrete groups

abstract: We show that, for a countable discrete group $\Gamma$, property $(\mathrm{T}_{L^p})$ of Bader, Furman, Gelander and Monod is equivalent to the property that, whenever an $L^p$-representation of $\Gamma$ admits a net of almost invariant unit vectors, it has a non-zero invariant vector. Central in the proof is to show that the closure of the group of $\mathbb{T}$-valued $1$-coboundaries is a sufficient criteria for strong ergodicity of ergodic p.m.p. actions.


title: RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Horizon Generation

abstract: We explore how iterative revising a chain of thoughts with the help of information retrieval significantly improves large language models' reasoning and generation ability in long-horizon generation tasks, while hugely mitigating hallucination. In particular, the proposed method -- *retrieval-augmented thoughts* (RAT) -- revises each thought step one by one with retrieved information relevant to the task query, the current and the past thought steps, after the initial zero-shot CoT is generated. Applying RAT to GPT-3.5, GPT-4, and CodeLLaMA-7b substantially improves their performances on various long-horizon generation tasks; on average of relatively increasing rating scores by 13.63% on code generation, 16.96% on mathematical reasoning, 19.2% on creative writing, and 42.78% on embodied task planning. The demo page can be found at https://craftjarvis.github.io/RAT