title: Scalable Multipartite Entanglement of Remote Rare-earth Ion Qubits

abstract: Single photon emitters with internal spin are leading contenders for developing quantum repeater networks, enabling long-range entanglement distribution for transformational technologies in communications and sensing. However, scaling beyond current few-node networks will require radical improvements to quantum link efficiencies and fidelities. Solid-state emitters are particularly promising due to their crystalline environment, enabling nanophotonic integration and providing spins for memory and processing. However, inherent spatial and temporal variations in host crystals give rise to static shifts and dynamic fluctuations in optical transition frequencies, posing formidable challenges in establishing large-scale, multipartite entanglement. Here, we introduce a scalable approach to quantum networking that utilizes frequency erasing photon detection in conjunction with adaptive, real-time quantum control. This enables frequency multiplexed entanglement distribution that is also insensitive to deleterious optical frequency fluctuations. Single rare-earth ions are an ideal platform for implementing this protocol due to their long spin coherence, narrow optical inhomogeneous distributions, and long photon lifetimes. Using two 171Yb:YVO4 ions in remote nanophotonic cavities we herald bipartite entanglement and probabilistically teleport quantum states. Then, we extend this protocol to include a third ion and prepare a tripartite W state: a useful input for advanced quantum networking applications. Our results provide a practical route to overcoming universal limitations imposed by non-uniformity and instability in solid-state emitters, whilst also showcasing single rare-earth ions as a scalable platform for the future quantum internet.


title: Discrete Fourier Transform Approximations Based on the Cooley-Tukey Radix-2 Algorithm

abstract: This report elaborates on approximations for the discrete Fourier transform by means of replacing the exact Cooley-Tukey algorithm twiddle-factors by low-complexity integers, such as $0, \pm \frac{1}{2}, \pm 1$.


title: Entropic Cohesion in Vitrimers

abstract: Vitrimers are polymer networks that can undergo bond exchange reactions. They dynamically rearrange their structures while maintaining their overall integrity, thus resulting in unique properties such as self-healing, reprocessability, shape memory and adaptability. Here, we show that the introduction of dynamic bonds directly impacts the polymer density. For a limiting case, where the dynamic bonds are the same size as the polymer chain bonds, simulations and theory show an enhancement in the density, because these bonds induce an increased cohesive force in the liquid, which is entropic in origin. The crosslinks are well mixed in the bulk but are depleted from the air and polymer interface. These findings implicate density as a key variable in polymers with dynamic crosslinkers, one that can be used to facilely tune their properties.


title: Scaling Robust Optimization for Multi-Agent Robotic Systems: A Distributed Perspective

abstract: This paper presents a novel distributed robust optimization scheme for steering distributions of multi-agent systems under stochastic and deterministic uncertainty. Robust optimization is a subfield of optimization which aims in discovering an optimal solution that remains robustly feasible for all possible realizations of the problem parameters within a given uncertainty set. Such approaches would naturally constitute an ideal candidate for multi-robot control, where in addition to stochastic noise, there might be exogenous deterministic disturbances. Nevertheless, as these methods are usually associated with significantly high computational demands, their application to multi-agent robotics has remained limited. The scope of this work is to propose a scalable robust optimization framework that effectively addresses both types of uncertainties, while retaining computational efficiency and scalability. In this direction, we provide tractable approximations for robust constraints that are relevant in multi-robot settings. Subsequently, we demonstrate how computations can be distributed through an Alternating Direction Method of Multipliers (ADMM) approach towards achieving scalability and communication efficiency. Simulation results highlight the performance of the proposed algorithm in effectively handling both stochastic and deterministic uncertainty in multi-robot systems. The scalability of the method is also emphasized by showcasing tasks with up to 100 agents. The results of this work indicate the promise of blending robust optimization, distribution steering and distributed optimization towards achieving scalable, safe and robust multi-robot control.


title: Oppenheim-Schur's inequality and RKHS

abstract: In 2012, we obtained Oppenheim's inequality for positive semidefinite matrices and its equality condition by the reproducing kernel method. In this paper, as a continuation, we give a reproducing kernel proof of the block matrix version of the Oppenheim-Schur's inequality and its equality condition in the positive definite case.


title: Chip-scale high-performance photonic microwave oscillator

abstract: Optical frequency division based on bulk or fiber optics provides unprecedented spectral purity for microwave oscillators. To extend the applications of this approach, the big challenges are to develop miniaturized optical frequency division oscillators without trading off phase noise performance. In this paper, we report a chip-scale electro-optical frequency division microwave oscillator with ultra-low phase noise performance. Dual laser sources are co-self-injection-locked to a single silicon nitride spiral resonator to provide a record high-stability, fully on-chip optical reference. An integrated electro-optical frequency comb based on a novel thin-film lithium niobate phase modulator chip is incorporated for the first time to perform optical-to-microwave frequency division. The resulting chip-scale photonic microwave oscillator achieves a phase noise level of -129 dBc/Hz at 10 kHz offset for 37.7 GHz carrier. The results represent a major advance in high performance, integrated photonic microwave oscillators for applications including signal processing, radar, timing, and coherent communications.


title: GARNN: An Interpretable Graph Attentive Recurrent Neural Network for Predicting Blood Glucose Levels via Multivariate Time Series

abstract: Accurate prediction of future blood glucose (BG) levels can effectively improve BG management for people living with diabetes, thereby reducing complications and improving quality of life. The state of the art of BG prediction has been achieved by leveraging advanced deep learning methods to model multi-modal data, i.e., sensor data and self-reported event data, organised as multi-variate time series (MTS). However, these methods are mostly regarded as ``black boxes'' and not entirely trusted by clinicians and patients. In this paper, we propose interpretable graph attentive recurrent neural networks (GARNNs) to model MTS, explaining variable contributions via summarizing variable importance and generating feature maps by graph attention mechanisms instead of post-hoc analysis. We evaluate GARNNs on four datasets, representing diverse clinical scenarios. Upon comparison with twelve well-established baseline methods, GARNNs not only achieve the best prediction accuracy but also provide high-quality temporal interpretability, in particular for postprandial glucose levels as a result of corresponding meal intake and insulin injection. These findings underline the potential of GARNN as a robust tool for improving diabetes care, bridging the gap between deep learning technology and real-world healthcare solutions.


title: Exercices ad\'eliques

abstract: We study the cohomology of the group of rational points of a linear algebraic group on adelic functional spaces, and we explore the relation with Emerton's completed cohomology.


title: Finiteness Principles for Smooth Convex Functions

abstract: Let $E \subset \mathbb{R}^n$ be a compact set, and $f:E \to \mathbb{R}$. How can we tell if there exists a convex extension $F \in C^{1,1}(\mathbb{R}^n)$ of $f$, i.e. satisfying $F|_E = f|_E$? Assuming such an extension exists, how small can one take the Lipschitz constant $\text{Lip}(\nabla F): = \sup_{x,y \in \mathbb{R}^n, x \neq y} \frac{|\nabla F(x) - \nabla F(y)|}{|x-y|}$? We provide an answer to these questions for the class of strongly convex functions by proving that there exist constants $k^\# \in \mathbb{N}$ and $C>0$ depending only on the dimension $n$, such that if for every subset $S \subset E$, $\#S \leq k^\#$, there exists an $\eta$-strongly convex function $F^S \in C^{1,1}(\mathbb{R}^n)$ satisfying $F^S|_S=f|_S$ and $\text{Lip}(\nabla F^S) \leq M$, then there exists an ${\frac{\eta}{C}}$-strongly convex function $F \in C^{1,1}_c(\mathbb{R}^n)$ satisfying $F|_E = f|_E$, and $\text{Lip}(\nabla F) \leq C M^2/\eta$. Further, we prove a Finiteness Principle for the space of convex functions in $C^{1,1}(\mathbb{R})$ and that the sharp finiteness constant for this space is $k^\#=5$.


title: Onsager Relations between Spin Currents and Charge Currents

abstract: We consider the macroscopic dynamics of systems with charge and spin currents, using the methods of Onsager's irreversible thermodynamics. Applied to systems with spin-orbit interaction (SOI), we derive Onsager relations showing that, if electrical disequilibrium leads to spin currents, then magnetic disequilibrium leads to charge currents. We consider three examples of such SOI. Two of these predicted charge currents have not previously appeared. By measuring these charge currents one can infer the corresponding spin currents.


title: Phase-Space Delaunay Tessellation Field Estimator

abstract: The reconstruction of density and velocity fields is of central importance to the interpretation of $N$-body simulations. We propose a phase-space extension of the Delaunay tessellation field estimator (DTFE) that tracks the dark matter fluid in phase-space. The new reconstruction scheme removes several artifacts from the conventional DTFE in multi-stream regions, while preserving the adaptive resolution in high-density regions and yielding continuous fields. The estimator also removes tessellation artifacts of a previously proposed phase-space reconstruction scheme.


title: Human-AI Co-Creation of Worked Examples for Programming Classes

abstract: Worked examples (solutions to typical programming problems presented as a source code in a certain language and are used to explain the topics from a programming class) are among the most popular types of learning content in programming classes. Most approaches and tools for presenting these examples to students are based on line-by-line explanations of the example code. However, instructors rarely have time to provide line-by-line explanations for a large number of examples typically used in a programming class. In this paper, we explore and assess a human-AI collaboration approach to authoring worked examples for Java programming. We introduce an authoring system for creating Java worked examples that generates a starting version of code explanations and presents it to the instructor to edit if necessary.We also present a study that assesses the quality of explanations created with this approach


title: Modelando el espectro de potencia de la encuesta espectrosc\'opica de galaxias eBOSS

abstract: We live in the golden era of cosmology due to next redshift surveys will map a significant volume of the Universe across a wide range of redshifts. We analyze the clustering of the eBOSS luminous red galaxy sample (eBOSS LRG). We measure the multipole power spectra inferred from the NGC sample (107500 galaxies) and SGC sample (67316 galaxies) between redshifts 0.6 and 1.0, with effective redshift zeff=0.695 and zeff=0.704 for NGC and SGC samples, respectively. We use the non-linear perturbation theory to model the the redshift space multipoles of the galaxy power spectrum.


title: Active Level Set Estimation for Continuous Search Space with Theoretical Guarantee

abstract: A common problem encountered in many real-world applications is level set estimation where the goal is to determine the region in the function domain where the function is above or below a given threshold. When the function is black-box and expensive to evaluate, the level sets need to be found in a minimum set of function evaluations. Existing methods often assume a discrete search space with a finite set of data points for function evaluations and estimating the level sets. When applied to a continuous search space, these methods often need to first discretize the space which leads to poor results while needing high computational time. While some methods cater for the continuous setting, they still lack a proper guarantee for theoretical convergence. To address this problem, we propose a novel algorithm that does not need any discretization and can directly work in continuous search spaces. Our method suggests points by constructing an acquisition function that is defined as a measure of confidence of the function being higher or lower than the given threshold. A theoretical analysis for the convergence of the algorithm to an accurate solution is provided. On multiple synthetic and real-world datasets, our algorithm successfully outperforms state-of-the-art methods.


title: Growth of groups with incompressible elements, I

abstract: We define the class of groups of bounded type with finite cycles from tile inflations. These tile inflations also determine some automata describing the groups. In the case when the automata are finite-state, we show that if the set of incompressible elements of a group in this class is finite, then this group has subexponential growth with a bounded power in the exponent. Then we discuss some special cases with certain special structures of orbital graphs and give explicit ways to find the upper bounds for the growth functions of these groups.


title: Estudiando las estructuras a gran escala del Universo con la teor\'ia de perturbaciones no lineal

abstract: The Large-Scale Structure (LSS) of the Universe provides valuable information for modern cosmology. The future redshift surveys, as DESI (Dark Energy Spectroscopic Instrument), will measure millions of galaxies and quasars, which allows to measure the history expansion and the growth factor. In this work, we present the theoretical model of the matter power spectrum and the redshift space multipoles of the galaxy power spectrum. We compute the spectrum using different methods as 1-loop Standard Perturbation Theory, Effective Field Theory and the Infrarred resummations.


title: High-Frequency-aware Hierarchical Contrastive Selective Coding for Representation Learning on Text-attributed Graphs

abstract: We investigate node representation learning on text-attributed graphs (TAGs), where nodes are associated with text information. Although recent studies on graph neural networks (GNNs) and pretrained language models (PLMs) have exhibited their power in encoding network and text signals, respectively, less attention has been paid to delicately coupling these two types of models on TAGs. Specifically, existing GNNs rarely model text in each node in a contextualized way; existing PLMs can hardly be applied to characterize graph structures due to their sequence architecture. To address these challenges, we propose HASH-CODE, a High-frequency Aware Spectral Hierarchical Contrastive Selective Coding method that integrates GNNs and PLMs into a unified model. Different from previous "cascaded architectures" that directly add GNN layers upon a PLM, our HASH-CODE relies on five self-supervised optimization objectives to facilitate thorough mutual enhancement between network and text signals in diverse granularities. Moreover, we show that existing contrastive objective learns the low-frequency component of the augmentation graph and propose a high-frequency component (HFC)-aware contrastive learning objective that makes the learned embeddings more distinctive. Extensive experiments on six real-world benchmarks substantiate the efficacy of our proposed approach. In addition, theoretical analysis and item embedding visualization provide insights into our model interoperability.


title: Green functions of mixed boundary value problems for stationary Stokes systems in two dimensions

abstract: We establish the existence, uniqueness, and various estimates for Green functions of mixed Dirichlet-conormal derivative problems for the stationary Stokes system with measurable coefficients in a two-dimensional Reifenberg flat domain with a rough separation.


title: HSONet:A Siamese foreground association-driven hard case sample optimization network for high-resolution remote sensing image change detection

abstract: In the later training stages, further improvement of the models ability to determine changes relies on how well the change detection (CD) model learns hard cases; however, there are two additional challenges to learning hard case samples: (1) change labels are limited and tend to pointer only to foreground targets, yet hard case samples are prevalent in the background, which leads to optimizing the loss function focusing on the foreground targets and ignoring the background hard cases, which we call imbalance. (2) Complex situations, such as light shadows, target occlusion, and seasonal changes, induce hard case samples, and in the absence of both supervisory and scene information, it is difficult for the model to learn hard case samples directly to accurately obtain the feature representations of the change information, which we call missingness. We propose a Siamese foreground association-driven hard case sample optimization network (HSONet). To deal with this imbalance, we propose an equilibrium optimization loss function to regulate the optimization focus of the foreground and background, determine the hard case samples through the distribution of the loss values, and introduce dynamic weights in the loss term to gradually shift the optimization focus of the loss from the foreground to the background hard cases as the training progresses. To address this missingness, we understand hard case samples with the help of the scene context, propose the scene-foreground association module, use potential remote sensing spatial scene information to model the association between the target of interest in the foreground and the related context to obtain scene embedding, and apply this information to the feature reinforcement of hard cases. Experiments on four public datasets show that HSONet outperforms current state-of-the-art CD methods, particularly in detecting hard case samples.


title: The Cosmic Neutrino Background

abstract: The cosmic neutrino background is like the cosmic microwave background, but less photon-y and more neutrino-ey. The CNB is also less talked about than the CMB, mostly because it's nearly impossible to detect directly. But if it could be detected, it would be interesting in several ways that are discussed.


title: Two mass-imbalanced atoms in a hard-wall trap: Deep learning integrability of many-body systems

abstract: The study of integrable systems has led to significant advancements in our understanding of many-body physics. We design a series of numerical experiments to analyze the integrability of a mass-imbalanced two-body system through energy level statistics and deep learning of wavefunctions. The level spacing distributions are fitted by a Brody distribution and the fitting parameter $\omega$ is found to separate the integrable and non-integrable mass ratios by a critical line $\omega=0$. The convolutional neural network built from the probability density images could identify the transition points between integrable and non-integrable systems with high accuracy, yet in a much shorter computation time. A brilliant example of the network's ability is to identify a new integrable mass ratio $1/3$ by learning from the known integrable case of equal mass, with a remarkable network confidence of $98.78\%$. The robustness of our neural networks is further enhanced by adversarial learning, where samples are generated by standard and quantum perturbations mixed in the probability density images and the wavefunctions, respectively.


title: Random Staircase Generator Matrix Codes

abstract: In this paper, we propose a class of codes, referred to as random staircase generator matrix codes (SGMCs), which have staircase-like generator matrices. In the infinite-length region, we prove that the random SGMC is capacity-achieving over binary-input output-symmetric (BIOS) channels. In the finite-length region, we present the representative ordered statistics decoding with local constraints (LC-ROSD) algorithm for the SGMCs. The most distinguished feature of the SGMCs with LC-ROSD is that the staircase-like matrices enable parallel implementation of the Gaussian elimination (GE), avoiding the serial GE of conventional OSD and supporting a potential low decoding latency, as implied from simulations. To analyze the performance of random SGMCs in the finite-length region, we derive the ensemble weight spectrum and invoke the conventional union bound. We also derive a partially random coding union (RCU) bound, which is tighter than the conventional one and is used as a criterion to design the SGMCs. Staircase-like generator matrices allow us to derive a series of (tighter and tighter) lower bounds based on the second-order Bonferroni inequality with the incremental number of codewords. The numerical results show that the decoding performance can match well with the proposed partially RCU bound for different code rates and different profiles. The numerical results also show that the tailored SGMCs with the LC-ROSD algorithm can approach the finite-length performance bound, outperforming the 5G low-density parity-check (LDPC) codes, 5G polar codes, and Reed-Muller (RM) codes.


title: Real-Time Vehicle Detection and Urban Traffic Behavior Analysis Based on UAV Traffic Videos on Mobile Devices

abstract: This paper focuses on a real-time vehicle detection and urban traffic behavior analysis system based on Unmanned Aerial Vehicle (UAV) traffic video. By using UAV to collect traffic data and combining the YOLOv8 model and SORT tracking algorithm, the object detection and tracking functions are implemented on the iOS mobile platform. For the problem of traffic data acquisition and analysis, the dynamic computing method is used to process the performance in real time and calculate the micro and macro traffic parameters of the vehicles, and real-time traffic behavior analysis is conducted and visualized. The experiment results reveals that the vehicle object detection can reach 98.27% precision rate and 87.93% recall rate, and the real-time processing capacity is stable at 30 frames per seconds. This work integrates drone technology, iOS development, and deep learning techniques to integrate traffic video acquisition, object detection, object tracking, and traffic behavior analysis functions on mobile devices. It provides new possibilities for lightweight traffic information collection and data analysis, and offers innovative solutions to improve the efficiency of analyzing road traffic conditions and addressing transportation issues for transportation authorities.


title: Learning Translations: Emergent Communication Pretraining for Cooperative Language Acquisition

abstract: In Emergent Communication (EC) agents learn to communicate with one another, but the protocols that they develop are specialised to their training community. This observation led to research into Zero-Shot Coordination (ZSC) for learning communication strategies that are robust to agents not encountered during training. However, ZSC typically assumes that no prior data is available about the agents that will be encountered in the zero-shot setting. In many cases, this presents an unnecessarily hard problem and rules out communication via preestablished conventions. We propose a novel AI challenge called a Cooperative Language Acquisition Problem (CLAP) in which the ZSC assumptions are relaxed by allowing a 'joiner' agent to learn from a dataset of interactions between agents in a target community. We propose and compare two methods for solving CLAPs: Imitation Learning (IL), and Emergent Communication pretraining and Translation Learning (ECTL), in which an agent is trained in self-play with EC and then learns from the data to translate between the emergent protocol and the target community's protocol.


title: Topic-to-essay generation with knowledge-based content selection

abstract: The topic-to-essay generation task is a challenging natural language generation task that aims to generate paragraph-level text with high semantic coherence based on a given set of topic words. Previous work has focused on the introduction of external knowledge, ignoring the insufficient generated text diversity. In order to improve the generation diversity, we propose a novel copy mechanism model with a content selection module that integrates rich semantic knowledge from the language model into the decoder. Furthermore, we introduce the improved prefix tuning method to train the model, enabling it to adapt to varying input complexities. In addition, we have contributed a new Chinese dataset for TEG tasks. Experimental results demonstrate that the proposed model can improve the generated text diversity by 35\% to 59\% compared to the state-of-the-art method, while maintaining a high level of topic consistency.


title: SeqTrack3D: Exploring Sequence Information for Robust 3D Point Cloud Tracking

abstract: 3D single object tracking (SOT) is an important and challenging task for the autonomous driving and mobile robotics. Most existing methods perform tracking between two consecutive frames while ignoring the motion patterns of the target over a series of frames, which would cause performance degradation in the scenes with sparse points. To break through this limitation, we introduce Sequence-to-Sequence tracking paradigm and a tracker named SeqTrack3D to capture target motion across continuous frames. Unlike previous methods that primarily adopted three strategies: matching two consecutive point clouds, predicting relative motion, or utilizing sequential point clouds to address feature degradation, our SeqTrack3D combines both historical point clouds and bounding box sequences. This novel method ensures robust tracking by leveraging location priors from historical boxes, even in scenes with sparse points. Extensive experiments conducted on large-scale datasets show that SeqTrack3D achieves new state-of-the-art performances, improving by 6.00% on NuScenes and 14.13% on Waymo dataset. The code will be made public at https://github.com/aron-lin/seqtrack3d.


title: A Proof of Weak Cosmic Censorship Conjecture for the Spherically Symmetric Einstein-Maxwell-Charged Scalar Field System

abstract: Under spherical symmetry, we show that the weak cosmic censorship holds for the gravitational collapse of the Einstein-Maxwell-charged scalar field system. Namely, for this system, with generic initial data, the formed spacetime singularities are concealed inside black-hole regions. This generalizes Christodoulou's celebrated results to the charged case. Due to the presence of charge $Q$ and the complexification of the scalar field $\phi$, multiple delicate features and miraculous monotonic properties of the Einstein-(real) scalar field system are not present. We develop a systematical approach to incorporate $Q$ and the complex-valued $\phi$ into the integrated arguments. For instance, we discover a new path, employing the reduced mass ratio, to establish the sharp trapped surface formation criterion for the charged case. Due to the complex structure and the absence of translational symmetry of $\phi$, we also carry out detailed modified scale-critical BV area estimates with renormalized quantities to deal with $Q$ and $\phi$. We present a new $C^1$ extension criterion by utilizing the Doppler exponent to elucidate the blueshift effect, analogous to the role of integrating vorticity in the Beale-Kato-Madja breakdown criterion for incompressible fluids. Furthermore, by utilizing only double-null foliations, we establish the desired first and second instability theorems for the charged scenarios and identify generic initial conditions for the non-appearance of naked singularities. Our instability argument requires intricate generalizations of the treatment for the uncharged case via analyzing the precise contribution of the charged terms and its connection to the reduced mass ratio.


title: Cyclic sieving on permutations -- an analysis of maps and statistics in the FindStat database

abstract: We perform a systematic study of permutation statistics and bijective maps on permutations using SageMath to search the FindStat combinatorial statistics database to identify apparent instances of the cyclic sieving phenomenon (CSP). Cyclic sieving occurs on a set of objects, a statistic, and a map of order $n$ when the evaluation of the statistic generating function at the $d$th power of the primitive $n$th root of unity equals the number of fixed points under the $d$th power of the map. Of the apparent instances found in our experiment, we prove 34 new instances of the CSP, and conjecture three more. Furthermore, we prove the equidistribution of some statistics and show that some maps have the same orbit structure, thus cyclic sieving holds for more even more pairs of a map and a statistic. The maps which exhibit the CSP include reverse/complement, rotation, Lehmer code rotation, toric promotion, and conjugation by the long cycle, as well as a map constructed by Corteel to swap the number of nestings and crossings, the invert Laguerre heap map, and a map of Alexandersson and Kebede designed to preserve right-to-left minima. Our results show that, contrary to common expectations, actions that exhibit homomesy are not necessarily the best candidates for the CSP, and vice versa.


title: Linear operator theory of phase mixing

abstract: We study solutions of the collisionless Boltzmann equation (CBE) in a functional Koopman representation. This facilitates the use of linear spectral techniques characteristic of the analysis of Schrodinger-type equations. For illustrative purposes, we consider the classical phase mixing of a non-interacting distribution function in a quartic potential. Solutions are determined perturbatively relative to a harmonic oscillator. We impose a form of coarse-graining by choosing a finite dimensional basis to represent the distribution function and time evolution operators, which sets a minimum length scale on phase space structure. We observe a relationship between the dimension of the representation and the multiplicity of the harmonic oscillator eigenvalues. System dynamics are understood in terms of degenerate subspaces of the linear operator spectra. Each subspace is associated with a mode of the harmonic oscillator, the first two being bending and breathing structures. The quartic potential splits the degenerate eigenvalues within each subspace. This facilitates the formation of spiral structure as deformations from the harmonic oscillator modes. We ultimately argue that this construction provides a promising avenue for study of self-interacting systems experiencing phase mixing, which is an outstanding problem in the context of the Gaia DR2 vertical phase space spirals.


title: To be, or not to be, that is the Question: Exploring the pseudorandom generation of texts to write Hamlet from the perspective of the Infinite Monkey Theorem

abstract: This article explores the theoretical and computational aspects of the Infinite Monkey Theorem, investigating the number of attempts and the time required for a set of pseudorandom characters to assemble and recite Hamlets iconic phrase, To be, or not to be, that is the Question. Drawing inspiration from Emile Borels original concept (1913), the study delves into the practical implications of pseudorandomness using Python. Employing Python simulations to generate excerpts from Hamlet, the research navigates historical perspectives and bridges early theoretical foundations with contemporary computational approaches. A set of tests reveals the attempts and time required to generate incremental parts of the target phrase. Utilizing these results, growth factors are calculated, projecting estimated attempts and time for each text part. The findings indicate an astronomical challenge to generate the entire phrase, requiring approximately 2.68x10e69 attempts and 2.95x10e66 seconds - equivalent to 8.18x10e62 hours or 9.32x10e55 years. This temporal scale, exceeding the age of the universe by 6.75x10e45 times, underscores the immense complexity and improbability of random literary creation. The article concludes with reflections on the mathematical intricacies and statistical feasibility within the context of the Infinite Monkey Theorem, emphasizing the theoretical musings surrounding infinite time and the profound limitations inherent in such endeavors. And that only infinity could write Hamlet randomly.


title: Evidence of a Four-Body Force in an Interaction-Tunable Trapped Cold-Atom System

abstract: A two-body interaction or force between quantum particles is ubiquitous in nature, and the microscopic description in terms of the bare two-body interaction is the basis for quantitatively describing interacting few- and many-body systems. Alternatively, the effective description in terms of an effective two-body interaction successfully captures the essence of the systems. However, for several important observations, the explanation in terms of an effective two-body interaction is not satisfactory, and the effective three-body interaction has played an essential role in understanding the systems. In this study, we investigate a few-body system comprising of ultracold bosons tightly confined in a deep optical lattice site, which is effectively described as zero-dimensional bosons. By combining an occupancy-resolving high-resolution laser spectroscopy with an inter-orbital Feshbach resonance controlling the bare two-body interaction over a wide range, we obtain a clear evidence of an effective four-body force, which has never been observed in any few-body quantum system so far. This will open the door for the study of multi-body forces in various few-body systems.

categories: cond-mat.quant-gas hep-ex hep-ph quant-ph


title: Watch Your Head: Assembling Projection Heads to Save the Reliability of Federated Models

abstract: Federated learning encounters substantial challenges with heterogeneous data, leading to performance degradation and convergence issues. While considerable progress has been achieved in mitigating such an impact, the reliability aspect of federated models has been largely disregarded. In this study, we conduct extensive experiments to investigate the reliability of both generic and personalized federated models. Our exploration uncovers a significant finding: \textbf{federated models exhibit unreliability when faced with heterogeneous data}, demonstrating poor calibration on in-distribution test data and low uncertainty levels on out-of-distribution data. This unreliability is primarily attributed to the presence of biased projection heads, which introduce miscalibration into the federated models. Inspired by this observation, we propose the "Assembled Projection Heads" (APH) method for enhancing the reliability of federated models. By treating the existing projection head parameters as priors, APH randomly samples multiple initialized parameters of projection heads from the prior and further performs targeted fine-tuning on locally available data under varying learning rates. Such a head ensemble introduces parameter diversity into the deterministic model, eliminating the bias and producing reliable predictions via head averaging. We evaluate the effectiveness of the proposed APH method across three prominent federated benchmarks. Experimental results validate the efficacy of APH in model calibration and uncertainty estimation. Notably, APH can be seamlessly integrated into various federated approaches but only requires less than 30\% additional computation cost for 100$\times$ inferences within large models.


title: Exploring the Spin Structure of the Nucleon at STAR

abstract: Understanding the internal spin structure of the nucleon remains a challenge in strong interaction physics. The unique capability of RHIC opened new avenues in studying the internal structure of the proton with unprecedented depth and precision. Significant progress has been made in the last few years through various measurements at STAR. The longitudinal spin measurements have contributed significantly to our understanding of the quark and gluon helicity distributions inside the proton. The longitudinal double-spin asymmetry, $A_{LL}$, from STAR inclusive jet and dijet measurements provides the first evidence of a positive gluon polarization with partonic momentum fraction $x > 0.05$. The reconstruction of $W^{\pm}/Z$ in longitudinally polarized proton-proton collisions indicates that there is a flavor separation of the light sea quark helicity distributions. In transversely polarized proton collisions, $W^{\pm}/Z$-bosons provide the first constraint on the sea-quark Sivers function and contributes to the tests of the predicted sign change. The tilt of the dijet opening angle provides a direct access to the first Mellin momentum of the Sivers function and avoids the spin-correlated fragmentation contributions. The novel measurements of the azimuthal distributions of identified hadrons in jets and spin-dependent dihadron correlations directly probe the collinear quark transversity in the proton, with the former coupled to the transverse momentum dependent (TMD) Collins fragmentation function and the latter to the dihadron interference fragmentation function. These measurements shed lights on Sivers function, quark transversity and spin-dependent fragmentation functions in both collinear and TMD formalism. In this proceeding, recent jet results on both the longitudinal and transverse spin structure of the proton from STAR are presented.


title: A novel method for determining the resistivity of compressed superconducting materials

abstract: The resistivity of a superconductor in its normal state plays a critical role in determining its superconducting ground state. However, measuring the resistivity of a material under high pressure has long presented a significant technical challenge due to pressure-induced changes in the crystallographic directions, especially for samples with anisotropic layered structures like high-Tc superconductors and other intriguing quantum materials. Here, we are the first to propose a novel and effective method for determining high-pressure resistivity, which relies on the ambient-pressure resistivity, initial sample sizes, lattice parameters, high-pressure resistance, and lattice parameters measured from the same sample. Its validity has been confirmed through our investigations of pressurized copper-oxide superconductors, which demonstrates that this method provides new possibilities for researchers conducting high-pressure studies related to resistivity of these materials.


title: Reinforcement of superconductivity by quantum critical fluctuations of metamagnetism in UTe$_2$

abstract: The normal-conducting state of the superconductor UTe$_2$ is studied by entropy analysis for magnetic fields along the $b$-axis, obtained from magnetization using the relation $(\partial M/\partial T)_B=(\partial S/\partial B)_T$. We observe a strong increase in entropy with magnetic field due to metamagnetic fluctuations (spatially uniform, $Q=0$). The field dependence is well described by the Hertz-Millis-Moriya theory for quantum criticality of itinerant metamagnetism. Notably, the lower bound of the quantum-critical region coincides well with the position of the minimum in the superconducting transition temperature $T_c(B)$. Hence, our results suggest that $Q=0$ fluctuations reinforce the superconductivity.


title: Problems on Group-labeled Matroid Bases

abstract: Consider a matroid equipped with a labeling of its ground set to an abelian group. We define the label of a subset of the ground set as the sum of the labels of its elements. We study a collection of problems on finding bases and common bases of matroids with restrictions on their labels. For zero bases and zero common bases, the results are mostly negative. While finding a non-zero basis of a matroid is not difficult, it turns out that the complexity of finding a non-zero common basis depends on the group. Namely, we show that the problem is hard for a fixed group if it contains an element of order two, otherwise it is polynomially solvable. As a generalization of both zero and non-zero constraints, we further study $F$-avoiding constraints where we seek a basis or common basis whose label is not in a given set $F$ of forbidden labels. Using algebraic techniques, we give a randomized algorithm for finding an $F$-avoiding common basis of two matroids represented over the same field for finite groups given as operation tables. The study of $F$-avoiding bases with groups given as oracles leads to a conjecture stating that whenever an $F$-avoiding basis exists, an $F$-avoiding basis can be obtained from an arbitrary basis by exchanging at most $|F|$ elements. We prove the conjecture for the special cases when $|F|\le 2$ or the group is ordered. By relying on structural observations on matroids representable over fixed, finite fields, we verify a relaxed version of the conjecture for these matroids. As a consequence, we obtain a polynomial-time algorithm in these special cases for finding an $F$-avoiding basis when $|F|$ is fixed.


title: Distributed Finite-time Differentiator for Multi-agent Systems Under Directed Graph

abstract: This paper proposes a new distributed finite-time differentiator (DFD) for multi-agent systems (MAS) under directed graph, which extends the differentiator algorithm from the centralized case to the distributed case by only using relative/absolute position information. By skillfully constructing a Lyapunov function, the finite-time stability of the closed-loop system under DFD is proved. Inspired by the duality principle of control theory, a distributed continuous finite-time output consensus algorithm extended from DFD for a class of leader-follower MAS is provided, which not only completely suppresses disturbance, but also avoids chattering. Finally, several simulation examples are given to verify the effectiveness of the DFD.


title: UniRetriever: Multi-task Candidates Selection for Various Context-Adaptive Conversational Retrieval

abstract: Conversational retrieval refers to an information retrieval system that operates in an iterative and interactive manner, requiring the retrieval of various external resources, such as persona, knowledge, and even response, to effectively engage with the user and successfully complete the dialogue. However, most previous work trained independent retrievers for each specific resource, resulting in sub-optimal performance and low efficiency. Thus, we propose a multi-task framework function as a universal retriever for three dominant retrieval tasks during the conversation: persona selection, knowledge selection, and response selection. To this end, we design a dual-encoder architecture consisting of a context-adaptive dialogue encoder and a candidate encoder, aiming to attention to the relevant context from the long dialogue and retrieve suitable candidates by simply a dot product. Furthermore, we introduce two loss constraints to capture the subtle relationship between dialogue context and different candidates by regarding historically selected candidates as hard negatives. Extensive experiments and analysis establish state-of-the-art retrieval quality both within and outside its training domain, revealing the promising potential and generalization capability of our model to serve as a universal retriever for different candidate selection tasks simultaneously.


title: CoGenT: A Content-oriented Generative-hit Framework for Content Delivery Networks

abstract: The service provided by content delivery networks (CDNs) may overlook content locality, leaving room for potential performance improvement. In this study, we explore the feasibility of leveraging generated data as a replacement for fetching data in missing scenarios based on content locality. Due to sufficient local computing resources and reliable generation efficiency, we propose a content-oriented generative-hit framework (CoGenT) for CDNs. CoGenT utilizes idle computing resources on edge nodes to generate requested data based on similar or related cached data to achieve hits. Our implementation in a real-world system demonstrates that CoGenT reduces the average access latency by half. Additionally, experiments conducted on a simulator also confirm that CoGenT can enhance existing caching algorithms, resulting in reduced latency and bandwidth usage.


title: Giant resonant skew scattering of plasma waves in graphene off a micromagnet

abstract: Electron skew scattering by impurities is one of the major mechanisms behind the anomalous Hall effect in ferromagnetic nanostructures. It is particularly strong at the surface of topological insulators where the Dirac equation governs electron dynamics. Motivated by recently discovered mappings between hydrodynamics and spin-1 Dirac equations, we consider the scattering of plasma waves -- propagating charge density oscillations -- excited in graphene off a non-uniform magnetic field created by an adjacent circular micromagnet. The calculated scattering amplitude not only exhibits a giant asymmetry, or skewness, but is resonantly enhanced if the frequency of the incoming wave matches the frequency of the trapped mode circulating the micromagnet in only one direction. Furthermore, if the frequency of incoming waves exceeds the Larmor frequency, the angular distribution of scattered plasma waves is indistinguishable from the one of Dirac electrons at the surface of a topological insulator scattering off a magnetic impurity. The micrometer scale of the proposed setup enables direct investigations of individual skew scattering events previously inaccessible in electronic systems.


title: Intrinsic supercurrent diode effect in NbSe2 nanobridge

abstract: The significance of the superconducting diode effect lies in its potential application as a fundamental component in the development of next-generation superconducting circuit technology. The stringent operating conditions at low temperatures have posed challenges for the conventional semiconductor diode, primarily due to its exceptionally high resistivity. In response to this limitation, various approaches have emerged to achieve the superconducting diode effect, primarily involving the disruption of inversion symmetry in a two-dimensional superconductor through heterostructure fabrication. In this study, we present a direct observation of the supercurrent diode effect in a NbSe2 nanobridge with a length of approximately 15 nm, created using focused helium ion beam fabrication. Nonreciprocal supercurrents were identified, reaching a peak value of approximately 380 $\mu$A for each bias polarity at $B_{z}^{max} =\pm 0.2$ mT. Notably, the nonreciprocal supercurrent can be toggled by altering the bias polarity. This discovery of the superconducting diode effect introduces a novel avenue and mechanism through nanofabrication on a superconducting flake, offering fresh perspectives for the development of superconducting devices and potential circuits.


title: Engineering Quantum Light Sources with Flat Optics

abstract: Quantum light sources are essential building blocks for many quantum technologies, enabling secure communication, powerful computing, precise sensing and imaging. Recent advancements have witnessed a significant shift towards the utilization of ``flat" optics with thickness at subwavelength scales for the development of quantum light sources. This approach offers notable advantages over conventional bulky counterparts, including compactness, scalability, and improved efficiency, along with added functionalities. This review focuses on the recent advances in leveraging flat optics to generate quantum light sources. Specifically, we explore the generation of entangled photon pairs through spontaneous parametric down-conversion in nonlinear metasurfaces, as well as single photon emission from quantum emitters including quantum dots and color centers in 3D and 2D materials. The review covers theoretical principles, fabrication techniques, and properties of these sources, with particular emphasis on the enhanced generation and engineering of quantum light sources using optical resonances supported by nanostructures. We discuss the diverse application range of these sources and highlight the current challenges and perspectives in the field.


title: Mean values of multiplicative functions and applications to residue-class distribution

abstract: We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of $n \le x$ for which the Alladi-Erd\H{o}s function $A(n) = \sum_{p^k \parallel n} k p$ takes values in a given residue class modulo $q$, where $q$ varies uniformly up to a fixed power of $\log x$. We establish a similar result for the equidistribution of the Euler totient function $\phi(n)$ among the coprime residues to the "correct" moduli $q$ that vary uniformly in a similar range, and also quantify the failure of equidistribution of the values of $\phi(n)$ among the coprime residue classes to the "incorrect" moduli.


title: Infrared and visible Image Fusion with Language-driven Loss in CLIP Embedding Space

abstract: Infrared-visible image fusion (IVIF) has attracted much attention owing to the highly-complementary properties of the two image modalities. Due to the lack of ground-truth fused images, the fusion output of current deep-learning based methods heavily depends on the loss functions defined mathematically. As it is hard to well mathematically define the fused image without ground truth, the performance of existing fusion methods is limited. In this paper, we first propose to use natural language to express the objective of IVIF, which can avoid the explicit mathematical modeling of fusion output in current losses, and make full use of the advantage of language expression to improve the fusion performance. For this purpose, we present a comprehensive language-expressed fusion objective, and encode relevant texts into the multi-modal embedding space using CLIP. A language-driven fusion model is then constructed in the embedding space, by establishing the relationship among the embedded vectors to represent the fusion objective and input image modalities. Finally, a language-driven loss is derived to make the actual IVIF aligned with the embedded language-driven fusion model via supervised training. Experiments show that our method can obtain much better fusion results than existing techniques.


title: Foundation Model Transparency Reports

abstract: Foundation models are critical digital technologies with sweeping societal impact that necessitates transparency. To codify how foundation model developers should provide transparency about the development and deployment of their models, we propose Foundation Model Transparency Reports, drawing upon the transparency reporting practices in social media. While external documentation of societal harms prompted social media transparency reports, our objective is to institutionalize transparency reporting for foundation models while the industry is still nascent. To design our reports, we identify 6 design principles given the successes and shortcomings of social media transparency reporting. To further schematize our reports, we draw upon the 100 transparency indicators from the Foundation Model Transparency Index. Given these indicators, we measure the extent to which they overlap with the transparency requirements included in six prominent government policies (e.g., the EU AI Act, the US Executive Order on Safe, Secure, and Trustworthy AI). Well-designed transparency reports could reduce compliance costs, in part due to overlapping regulatory requirements across different jurisdictions. We encourage foundation model developers to regularly publish transparency reports, building upon recommendations from the G7 and the White House.


title: From Large Language Models and Optimization to Decision Optimization CoPilot: A Research Manifesto

abstract: Significantly simplifying the creation of optimization models for real-world business problems has long been a major goal in applying mathematical optimization more widely to important business and societal decisions. The recent capabilities of Large Language Models (LLMs) present a timely opportunity to achieve this goal. Therefore, we propose research at the intersection of LLMs and optimization to create a Decision Optimization CoPilot (DOCP) - an AI tool designed to assist any decision maker, interacting in natural language to grasp the business problem, subsequently formulating and solving the corresponding optimization model. This paper outlines our DOCP vision and identifies several fundamental requirements for its implementation. We describe the state of the art through a literature survey and experiments using ChatGPT. We show that a) LLMs already provide substantial novel capabilities relevant to a DOCP, and b) major research challenges remain to be addressed. We also propose possible research directions to overcome these gaps. We also see this work as a call to action to bring together the LLM and optimization communities to pursue our vision, thereby enabling much more widespread improved decision-making.


title: Peak finding algorithm for cluster counting with domain adaptation

abstract: Cluster counting in drift chamber is the most promising breakthrough in particle identification (PID) technique in particle physics experiment. Reconstruction algorithm is one of the key challenges in cluster counting. In this paper, a semi-supervised domain adaptation (DA) algorithm is developed and applied on the peak finding problem in cluster counting. The algorithm uses optimal transport (OT), which provides geometric metric between distributions, to align the samples between the source (simulation) and target (data) samples, and performs semi-supervised learning with the samples in target domain that are partially labeled with the continuous wavelet transform (CWT) algorithm. The model is validated by the pseudo data with labels, which achieves performance close to the fully supervised model. When applying the algorithm on real experimental data, taken at CERN with a 180 GeV/c muon beam, it shows better classification power than the traditional derivative-based algorithm, and the performance is stable for experimental data samples across varying track lengths.


title: Rebuildable biochronometer: inferences and hypothesis on eukaryotic timing system

abstract: The biochronometers used to keep time in eukaryotes include short-period biochronometer (SPB) and long-period biochronometer (LPB). Because the circadian clock reflects the biological time rhythm of a day, it is considered as SPB. Telomere shortening, which reflects the decreasing of telomere DNA length of chromosomes with the increase of cell division times, can be used to time the lifespan of organisms, so it is regarded as LPB. It is confirmed that SPB and LPB exist in most eukaryotes, and it is speculated that SPB and LPB are closely related. In this paper, based on existing studies, it is speculated that SPB and LPB of most eukaryotes can be co-attenuated with cell division in the process of aging. Due to the attenuated phenomenon of key components in the biochronometers during the growth and development of organisms, the biochronometers attenuate with the aging. Based on existing research results, it is preliminarily determined that the biochronometers can be rebuilt in the co-attenuated process. When the key components of biochronometers are reversed and increased in the organism, it can lead to the reversal of biochronometers, which further leads to the phenomenon of biological rejuvenation and makes the organism younger. In addition, the rebuilding of biochronometers can also lead to the acceleration of biochronometers and the shortening of the original timing time of biochronometers, thus shortening the life span of organisms. The rebuilding of biochronometers includes the reversal of biochronometers, the truncation of biochronometers timing and Uncoordinated co-attenuation of biochronometer and so on. The reversal of the biochronometers, which leads to rejuvenation, can give us a whole new understanding of life expectancy to be different from anti-aging.


title: Mass production and performance study on the 20-inch PMT acrylic protection covers in JUNO

abstract: The Jiangmen Underground Neutrino Observatory is a neutrino experiment that incorporates 20,012 20-inch photomultiplier tubes (PMTs) and 25,600 3-inch PMTs. A dedicated system was designed to protect the PMTs from an implosion chain reaction underwater. As a crucial element of the protection system, over 20,000 acrylic covers were manufactured through injection molding, ensuring high dimensional precision, mechanical strength, and transparency. This paper presents the manufacturing technology, mass production process, and performance characteristics of the acrylic covers.


title: Topological transitions by magnetization rotation in kagome monolayers of ferromagnetic Weyl semimetal Co-based shandite

abstract: Co-based shandite Co$_3$Sn$_2$S$_2$ is a ferromagnet hosting Weyl fermions in the layered Co kagome structure. The band topology as well as the magnetism is predicted to vary drastically in the atomically thin films depending on the thickness and surface termination, and as an extreme case, the quantum anomalous Hall state is expected in a monolayer of the Co kagome lattice. Given that the bulk Weyl gap depends on the magnetization direction, here we theoretically study how the topological nature and transport properties vary with the magnetization direction in the systems with kagome monolayer with both Sn and S surface terminations. By using $ab \ initio$ calculations, we find that in the Sn-end monolayer the anomalous Hall conductivity shows successive discrete changes between different quantized values by rotating the magnetization, indicating several topological transitions between the anomalous quantum Hall insulators with different Chern numbers. Notably, when the magnetization is oriented in-plane and perpendicular to the Co-Co bond, the system exhibits a planar quantized anomalous Hall effect. We clarify that these peculiar behaviors are due to topological changes in the band structures associated with gap closing of the Weyl nodes. In contrast, the S-end monolayer shows rather continuous changes in the transport properties since the system is metallic, although the band structure contains many Weyl nodes. Our results pave the way for controlling Weyl fermions in atomically thin films of Co-based shandite, where the topological nature associated with the Weyl nodes appears more clearly than the bulk.


title: Radar Anti-jamming Strategy Learning via Domain-knowledge Enhanced Online Convex Optimization

abstract: The dynamic competition between radar and jammer systems presents a significant challenge for modern Electronic Warfare (EW), as current active learning approaches still lack sample efficiency and fail to exploit jammer's characteristics. In this paper, the competition between a frequency agile radar and a Digital Radio Frequency Memory (DRFM)-based intelligent jammer is considered. We introduce an Online Convex Optimization (OCO) framework designed to illustrate this adversarial interaction. Notably, traditional OCO algorithms exhibit suboptimal sample efficiency due to the limited information obtained per round. To address the limitations, two refined algorithms are proposed, utilizing unbiased gradient estimators that leverage the unique attributes of the jammer system. Sub-linear theoretical results on both static regret and universal regret are provided, marking a significant improvement in OCO performance. Furthermore, simulation results reveal that the proposed algorithms outperform common OCO baselines, suggesting the potential for effective deployment in real-world scenarios.


title: Baryon asymmetry constraints on Extended Symmetric Teleparallel Gravity

abstract: In this paper, we have explored the observed matter-antimatter asymmetry in the Universe to constrain the model parameters in extended symmetric teleparallel gravity (STG) or $f(Q,T)$ gravity, where $Q$ be the nonmetricity and $T$ be the trace of energy momentum tensor. We have considered two functional forms of $f(Q,T)$ to find the baryon asymmetry to entropy ratio calculated at a decoupling temperature. Two different data sets namely Hubble data set and the Hubble+BAO+Pantheon data sets are used to constrain the scale factor and the constrained model is used to obtain the baryon asymmetry to entropy ratio. It is observed that, model constrained from the Hubble data set favour a narrow range of the $f(Q,T)$ gravity parameters to reproduce the observed baryon asymmetry.


title: A Panoramic Study of $K$-Factors for 111 Processes at the 14 TeV LHC

abstract: In this comprehensive study, we investigate $K$-factors ($K=\sigma_{\text{NLO}}/\sigma_{\text{LO}}\equiv 1+\delta K$) for a broad array of Standard Model processes at the 14 TeV LHC, which are pivotal for background assessments in Beyond the Standard Model (BSM) searches. Using MadGraph5_aMC@NLO, we calculate the leading-order and next-to-leading order (NLO) cross-sections and compute the corresponding $K$-factors for 111 processes. Our analysis reveals $K$-factors ranging from 1.005 for $pp \to jjj$ to 4.221 for $pp\to W^\pm \gamma\gamma\gamma$. Key findings include: (i) processes involving photons display significantly high $K$-factors, attributed to gluon-initiated processes at NLO; (ii) processes with multiple particle productions, particularly those involving vector bosons, exhibit elevated $K$-factors due to multiple real emission processes; (iii) there exists an inverse correlation between the number of jets and $\delta K$, indicating that the addition of jets generally leads to a decrease in $\delta K$. Additionally, our investigation into differential $K$-factors relative to transverse momentum and invariant mass shows notable increases with higher $p_T$, but minimal changes with invariant mass. This study highlights the indispensable role of precise $K$-factor evaluations for accurate interpretations of BSM search outcomes.


title: On the positivity of the Q-curvatures of the conformal metrics

abstract: We mainly show that for a conformal metric $g=u^{\frac{4}{n-2m}}|dx|^2$ on $\mathbb{R}^n$ with $n\geq 2m+1$, if the higher order Q-curvature $Q^{(2m)}_g$ is positive and has slow decay near infinity, the lower order Q-curvature $Q^{(2)}_g$ and $Q^{(4)}_g$ are both positive if $m$ is at least two.


title: A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction

abstract: Recently, ontology embeddings representing entities in a low-dimensional space have been proposed for ontology completion. However, the ontology embeddings for concept subsumption prediction do not address the difficulties of similar and isolated entities and fail to extract the global information of annotation axioms from an ontology. In this paper, we propose a self-matching training method for the two ontology embedding models: Inverted-index Matrix Embedding (InME) and Co-occurrence Matrix Embedding (CoME). The two embeddings capture the global and local information in annotation axioms by means of the occurring locations of each word in a set of axioms and the co-occurrences of words in each axiom. The self-matching training method increases the robustness of the concept subsumption prediction when predicted superclasses are similar to subclasses and are isolated to other entities in an ontology. Our evaluation experiments show that the self-matching training method with InME outperforms the existing ontology embeddings for the GO and FoodOn ontologies and that the method with the concatenation of CoME and OWL2Vec* outperforms them for the HeLiS ontology.


title: Quadratic Message Passing for Generalized Quadratic Equations Model

abstract: For approximate inference in the generalized quadratic equations model, many state-of-the-art algorithms lack any prior knowledge of the target signal structure, exhibits slow convergence, and can not handle any analytic prior knowledge of the target signal structure. So, this paper proposes a new algorithm, Quadratic Message passing (QMP). QMP has a complexity as low as $O(N^{3})$. The SE derived for QMP can capture precisely the per-iteration behavior of the simulated algorithm. Simulation results confirm QMP outperforms many state-of-the-art algorithms.


title: Few-Shot Learning for Annotation-Efficient Nucleus Instance Segmentation

abstract: Nucleus instance segmentation from histopathology images suffers from the extremely laborious and expert-dependent annotation of nucleus instances. As a promising solution to this task, annotation-efficient deep learning paradigms have recently attracted much research interest, such as weakly-/semi-supervised learning, generative adversarial learning, etc. In this paper, we propose to formulate annotation-efficient nucleus instance segmentation from the perspective of few-shot learning (FSL). Our work was motivated by that, with the prosperity of computational pathology, an increasing number of fully-annotated datasets are publicly accessible, and we hope to leverage these external datasets to assist nucleus instance segmentation on the target dataset which only has very limited annotation. To achieve this goal, we adopt the meta-learning based FSL paradigm, which however has to be tailored in two substantial aspects before adapting to our task. First, since the novel classes may be inconsistent with those of the external dataset, we extend the basic definition of few-shot instance segmentation (FSIS) to generalized few-shot instance segmentation (GFSIS). Second, to cope with the intrinsic challenges of nucleus segmentation, including touching between adjacent cells, cellular heterogeneity, etc., we further introduce a structural guidance mechanism into the GFSIS network, finally leading to a unified Structurally-Guided Generalized Few-Shot Instance Segmentation (SGFSIS) framework. Extensive experiments on a couple of publicly accessible datasets demonstrate that, SGFSIS can outperform other annotation-efficient learning baselines, including semi-supervised learning, simple transfer learning, etc., with comparable performance to fully supervised learning with less than 5% annotations.


title: Towards Agile Robots: Intuitive Robot Position Speculation with Neural Networks

abstract: The robot position speculation, which determines where the chassis should move, is one key step to control the mobile manipulators. The target position must ensure the feasibility of chassis movement and manipulability, which is guaranteed by randomized sampling and kinematic checking in traditional methods. Addressing the demands of agile robotics, this paper proposes a robot position speculation network(RPSN), a learning-based approach to enhance the agility of mobile manipulators. The RPSN incorporates a differentiable inverse kinematic algorithm and a neural network. Through end-to-end training, the RPSN can speculate positions with a high success rate. We apply the RPSN to mobile manipulators disassembling end-of-life electric vehicle batteries (EOL-EVBs). Extensive experiments on various simulated environments and physical mobile manipulators demonstrate that the probability of the initial position provided by RPSN being the ideal position is 96.67%. From the kinematic constraint perspective, it achieves 100% generation of the ideal position on average within 1.28 attempts. Much lower than that of random sampling, 31.04. Moreover, the proposed method demonstrates superior data efficiency over pure neural network approaches. The proposed RPSN enables the robot to quickly infer feasible target positions by intuition. This work moves towards building agile robots that can act swiftly like humans.


title: Premerger detection of massive black hole binaries using deep learning

abstract: Coalescing massive black hole binaries (MBHBs) are one of primary sources for space-based gravitational wave (GW) observations. The mergers of these binaries are expected to give rise to detectable electromagnetic (EM) emissions with a narrow time window. The premerger detection of GW signals is vital for follow-up EM observations. The conventional approach for searching GW signals involves high computational costs. In this study, we present a deep learning model to search for GW signals from MBHBs. Our model is able to process 4.7 days of simulated data within 0.01 seconds and detect GW signals several hours to days before the final merger. The model provides the possibility of the coincident GW and EM detection of MBHBs.


title: Large-Enhancement Nanoscale Dynamic Nuclear Polarization Near a Silicon Nanowire Surface

abstract: Dynamic nuclear polarization (DNP) has revolutionized the field of NMR spectroscopy, expanding its reach and capabilities to investigate diverse materials, biomolecules, and complex dynamic processes. Bringing high-efficiency DNP to the nanometer scale would open new avenues for studying nanoscale nuclear spin ensembles, such as single biomolecules, virus particles, and condensed matter systems. Combining pulsed DNP with nanoscale force-detected magnetic resonance measurements, we demonstrated a 100-fold enhancement in the Boltzmann polarization of proton spins in nanoscale sugar droplets at 6 K and 0.33 T. Crucially, this enhancement corresponds to a factor of 200 reduction in the averaging time compared to measurements that rely on the detection of statistical fluctuations in nanoscale nuclear spin ensembles. These results significantly advance the capabilities of force-detected magnetic resonance detection as a practical tool for nanoscale imaging.


title: Self-Assembly of Patterns in the abstract Tile Assembly Model

abstract: In the abstract Tile Assembly Model, self-assembling systems consisting of tiles of different colors can form structures on which colored patterns are ``painted.'' We explore the complexity, in terms of the numbers of unique tile types required, of assembling various patterns. We first demonstrate how to efficiently self-assemble a set of simple patterns, then show tight bounds on the tile type complexity of self-assembling 2-colored patterns on the surfaces of square assemblies. Finally, we demonstrate an exponential gap in tile type complexity of self-assembling an infinite series of patterns between systems restricted to one plane versus those allowed two planes.


title: A Comparison of Deep Learning Models for Proton Background Rejection with the AMS Electromagnetic Calorimeter

abstract: The Alpha Magnetic Spectrometer (AMS) is a high-precision particle detector onboard the International Space Station containing six different subdetectors. The Transition Radiation Detector and Electromagnetic Calorimeter (ECAL) are used to separate electrons/positrons from the abundant cosmic-ray proton background. The positron flux measured in space by AMS falls with a power law which unexpectedly softens above 25 GeV and then hardens above 280 GeV. Several theoretical models try to explain these phenomena, and a purer measurement of positrons at higher energies is needed to help test them. The currently used methods to reject the proton background at high energies involve extrapolating shower features from the ECAL to use as inputs for boosted decision tree and likelihood classifiers. We present a new approach for particle identification with the AMS ECAL using deep learning (DL). By taking the energy deposition within all the ECAL cells as an input and treating them as pixels in an image-like format, we train an MLP, a CNN, and multiple ResNets and Convolutional vision Transformers (CvTs) as shower classifiers. Proton rejection performance is evaluated using Monte Carlo (MC) events and ISS data separately. For MC, using events with a reconstructed energy between 0.2 - 2 TeV, at 90% electron accuracy, the proton rejection power of our CvT model is more than 5 times that of the other DL models. Similarly, for ISS data with a reconstructed energy between 50 - 70 GeV, the proton rejection power of our CvT model is more than 2.5 times that of the other DL models.


title: Characterization and enumeration on Lam\'e equations with finite monodromy

abstract: We give a complete characterization of the classical Lam\'e equations $y'' = (n(n + 1)\wp(z) + B)y$, $n \in \Bbb R$, $B \in \Bbb C$ on flat tori $E_\tau = \Bbb C/(\Bbb Z + \Bbb Z\,\tau)$ with finite monodromy groups $M$. Beuker--Waall had shown that such $n$ must lie in a finite number of arithmetic progressions $n_i + \Bbb N \subset \Bbb Q$ and they determined all corresponding $M$. By combining the theory of dessin d'enfants with the geometry of spherical tori, we prove the existence of $(B, \tau)$ for each such $n$ and provide a description of all such $(n, B, \tau, M)$. In particular, for a given $(n, M)$ with $n \not\in \tfrac{1}{2} + \Bbb Z$, we prove the finiteness of $(B, \tau)$ and derive an explicit counting formula of them. (The case $n \in \tfrac{1}{2} + \Bbb Z$ is a classical result due to Brioschi--Halphen--Crawford.) The main ingredients in this work are (1) the definition and classification of basic spherical triangles with finite monodromy and (2) the process of attaching cells corresponding to $n \mapsto n + 1$ which reduces the problem to the basic case.


title: Highly Accurate Description of Long-Range Interactions through the Combination of Neural Networks and Physical Models

abstract: We present a simple and general way to accurately describe long-range interactions between atoms and molecules through combining neural networks with physical models. Demonstrations on the H$_3$, Li$_3$ and 2KRb systems illustrate the exceptional extrapolation capabilities of the trained model, supported by underlying physical models. More importantly, the model exhibits high accuracy at energy scales below a few hundred millikelvin, where the reliability of $ab~initio$ methods diminishes.


title: PerLTQA: A Personal Long-Term Memory Dataset for Memory Classification, Retrieval, and Synthesis in Question Answering

abstract: Long-term memory plays a critical role in personal interaction, considering long-term memory can better leverage world knowledge, historical information, and preferences in dialogues. Our research introduces PerLTQA, an innovative QA dataset that combines semantic and episodic memories, including world knowledge, profiles, social relationships, events, and dialogues. This dataset is collected to investigate the use of personalized memories, focusing on social interactions and events in the QA task. PerLTQA features two types of memory and a comprehensive benchmark of 8,593 questions for 30 characters, facilitating the exploration and application of personalized memories in Large Language Models (LLMs). Based on PerLTQA, we propose a novel framework for memory integration and generation, consisting of three main components: Memory Classification, Memory Retrieval, and Memory Synthesis. We evaluate this framework using five LLMs and three retrievers. Experimental results demonstrate that BERT-based classification models significantly outperform LLMs such as ChatGLM3 and ChatGPT in the memory classification task. Furthermore, our study highlights the importance of effective memory integration in the QA task.


title: Multi-qubit gates and 'Schr\"odinger cat' states in an optical clock

abstract: Many-particle entanglement is a key resource for achieving the fundamental precision limits of a quantum sensor. Optical atomic clocks, the current state-of-the-art in frequency precision, are a rapidly emerging area of focus for entanglement-enhanced metrology. Augmenting tweezer-based clocks featuring microscopic control and detection with the high-fidelity entangling gates developed for atom-array information processing offers a promising route towards leveraging highly entangled quantum states for improved optical clocks. Here we develop and employ a family of multi-qubit Rydberg gates to generate 'Schr\"odinger cat' states of the Greenberger-Horne-Zeilinger (GHZ) type with up to 9 optical clock qubits in a programmable atom array. In an atom-laser comparison at sufficiently short dark times, we demonstrate a fractional frequency instability below the standard quantum limit using GHZ states of up to 4 qubits. A key challenge to improving the optimal achievable clock precision with GHZ states is their reduced dynamic range. Towards overcoming this hurdle, we simultaneously prepare a cascade of varying-size GHZ states to perform unambiguous phase estimation over an extended interval. These results demonstrate key building blocks for approaching Heisenberg-limited scaling of optical atomic clock precision.


title: Card-Based Overwriting Protocol for Equality Function and Applications

abstract: Research in the area of secure multi-party computation with an unconventional method of using a physical deck of playing cards began in 1989 when den Boar proposed a protocol to compute the logical AND function using five cards. Since then, the area has gained interest from many researchers and several card-based protocols to compute various functions have been developed. In this paper, we propose a card-based protocol called the overwriting protocol that can securely compute the $k$-candidate $n$-variable equality function $f: \{0,1,\ldots ,k-1\}^n \rightarrow \{0,1\}$. We also apply the technique used in this protocol to compute other similar functions.


title: mAPm: multi-scale Attention Pyramid module for Enhanced scale-variation in RLD detection

abstract: Detecting objects across various scales remains a significant challenge in computer vision, particularly in tasks such as Rice Leaf Disease (RLD) detection, where objects exhibit considerable scale variations. Traditional object detection methods often struggle to address these variations, resulting in missed detections or reduced accuracy. In this study, we propose the multi-scale Attention Pyramid module (mAPm), a novel approach that integrates dilated convolutions into the Feature Pyramid Network (FPN) to enhance multi-scale information ex-traction. Additionally, we incorporate a global Multi-Head Self-Attention (MHSA) mechanism and a deconvolutional layer to refine the up-sampling process. We evaluate mAPm on YOLOv7 using the MRLD and COCO datasets. Compared to vanilla FPN, BiFPN, NAS-FPN, PANET, and ACFPN, mAPm achieved a significant improvement in Average Precision (AP), with a +2.61% increase on the MRLD dataset compared to the baseline FPN method in YOLOv7. This demonstrates its effectiveness in handling scale variations. Furthermore, the versatility of mAPm allows its integration into various FPN-based object detection models, showcasing its potential to advance object detection techniques.


title: Marginal Independence and Partial Set Partitions

abstract: We establish a bijection between marginal independence models on $n$ random variables and split closed order ideals in the poset of partial set partitions. We also establish that every discrete marginal independence model is toric in cdf coordinates. This generalizes results of Boege, Petrovic, and Sturmfels and Drton and Richardson, and provides a unified framework for discussing marginal independence models.


title: Images and flares of geodesic hotspots around a Kerr black hole

abstract: In this study, we develop a numerical method to generate images on an observer's screen, formed by radiation from hotspots on any timelike orbits outside a black hole. This method uses the calculation of fractional numbers, enabling us not only to produce the overall image but also to distinguish between primary, secondary, and higher-order images. Building upon this, we compute the images of hotspots from eight potential types of geodesic timelike orbits outside a Kerr black hole, summarizing the properties of both the overall and individual order images. Furthermore, we calculate the centroid motion and lightcurve. Notably, we observe flare phenomena across all orbit types and classify these flares into three categories based on the Doppler and gravitational redshift effects.


title: Decentralized Federated Unlearning on Blockchain

abstract: Blockchained Federated Learning (FL) has been gaining traction for ensuring the integrity and traceability of FL processes. Blockchained FL involves participants training models locally with their data and subsequently publishing the models on the blockchain, forming a Directed Acyclic Graph (DAG)-like inheritance structure that represents the model relationship. However, this particular DAG-based structure presents challenges in updating models with sensitive data, due to the complexity and overhead involved. To address this, we propose Blockchained Federated Unlearning (BlockFUL), a generic framework that redesigns the blockchain structure using Chameleon Hash (CH) technology to mitigate the complexity of model updating, thereby reducing the computational and consensus costs of unlearning tasks.Furthermore, BlockFUL supports various federated unlearning methods, ensuring the integrity and traceability of model updates, whether conducted in parallel or serial. We conduct a comprehensive study of two typical unlearning methods, gradient ascent and re-training, demonstrating the efficient unlearning workflow in these two categories with minimal CH and block update operations. Additionally, we compare the computation and communication costs of these methods.


title: Mean field analysis of interacting network model with jumps

abstract: This paper considers an $n$-particle jump-diffusion system with mean filed interaction, where the coefficients are locally Lipschitz continuous. We address the convergence as $n\to\infty$ of the empirical measure of the jump-diffusions to the solution of a deterministic McKean-Vlasov equation. The strong well-posedness of the associated McKean-Vlasov equation and a corresponding propagation of chaos result are proven. In particular, we provide also precise estimates of the convergence speed with respect to a Wasserstein-like metric.


title: Length of fully faithful framed bicategories

abstract: The length of a double category is a numerical invariant measuring the 'work' it takes to reconstruct the double category from its globular data. The smallest possible length of a double category is 1. It is conjectured that framed bicategories are of length 1. In this paper we prove this conjecture for a particular class of framed bicategories, namely for those double categories for which all their unit squares are cartesian/opcartesian. We call these framed bicategories fully faithful/absolutely dense.


title: A Poisson-Gamma Dynamic Factor Model with Time-Varying Transition Dynamics

abstract: Probabilistic approaches for handling count-valued time sequences have attracted amounts of research attentions because their ability to infer explainable latent structures and to estimate uncertainties, and thus are especially suitable for dealing with \emph{noisy} and \emph{incomplete} count data. Among these models, Poisson-Gamma Dynamical Systems (PGDSs) are proven to be effective in capturing the evolving dynamics underlying observed count sequences. However, the state-of-the-art PGDS still fails to capture the \emph{time-varying} transition dynamics that are commonly observed in real-world count time sequences. To mitigate this gap, a non-stationary PGDS is proposed to allow the underlying transition matrices to evolve over time, and the evolving transition matrices are modeled by sophisticatedly-designed Dirichlet Markov chains. Leveraging Dirichlet-Multinomial-Beta data augmentation techniques, a fully-conjugate and efficient Gibbs sampler is developed to perform posterior simulation. Experiments show that, in comparison with related models, the proposed non-stationary PGDS achieves improved predictive performance due to its capacity to learn non-stationary dependency structure captured by the time-evolving transition matrices.


title: MV-Swin-T: Mammogram Classification with Multi-view Swin Transformer

abstract: Traditional deep learning approaches for breast cancer classification has predominantly concentrated on single-view analysis. In clinical practice, however, radiologists concurrently examine all views within a mammography exam, leveraging the inherent correlations in these views to effectively detect tumors. Acknowledging the significance of multi-view analysis, some studies have introduced methods that independently process mammogram views, either through distinct convolutional branches or simple fusion strategies, inadvertently leading to a loss of crucial inter-view correlations. In this paper, we propose an innovative multi-view network exclusively based on transformers to address challenges in mammographic image classification. Our approach introduces a novel shifted window-based dynamic attention block, facilitating the effective integration of multi-view information and promoting the coherent transfer of this information between views at the spatial feature map level. Furthermore, we conduct a comprehensive comparative analysis of the performance and effectiveness of transformer-based models under diverse settings, employing the CBIS-DDSM and Vin-Dr Mammo datasets. Our code is publicly available at https://github.com/prithuls/MV-Swin-T


title: Against Filter Bubbles: Diversified Music Recommendation via Weighted Hypergraph Embedding Learning

abstract: Recommender systems serve a dual purpose for users: sifting out inappropriate or mismatched information while accurately identifying items that align with their preferences. Numerous recommendation algorithms are designed to provide users with a personalized array of information tailored to their preferences. Nevertheless, excessive personalization can confine users within a "filter bubble". Consequently, achieving the right balance between accuracy and diversity in recommendations is a pressing concern. To address this challenge, exemplified by music recommendation, we introduce the Diversified Weighted Hypergraph music Recommendation algorithm (DWHRec). In the DWHRec algorithm, the initial connections between users and listened tracks are represented by a weighted hypergraph. Simultaneously, associations between artists, albums and tags with tracks are also appended to the hypergraph. To explore users' latent preferences, a hypergraph-based random walk embedding method is applied to the constructed hypergraph. In our investigation, accuracy is gauged by the alignment between the user and the track, whereas the array of recommended track types measures diversity. We rigorously compared DWHRec against seven state-of-the-art recommendation algorithms using two real-world music datasets. The experimental results validate DWHRec as a solution that adeptly harmonizes accuracy and diversity, delivering a more enriched musical experience. Beyond music recommendation, DWHRec can be extended to cater to other scenarios with similar data structures.


title: Conformalized Selective Regression

abstract: Should prediction models always deliver a prediction? In the pursuit of maximum predictive performance, critical considerations of reliability and fairness are often overshadowed, particularly when it comes to the role of uncertainty. Selective regression, also known as the "reject option," allows models to abstain from predictions in cases of considerable uncertainty. Initially proposed seven decades ago, approaches to selective regression have mostly focused on distribution-based proxies for measuring uncertainty, particularly conditional variance. However, this focus neglects the significant influence of model-specific biases on a model's performance. In this paper, we propose a novel approach to selective regression by leveraging conformal prediction, which provides grounded confidence measures for individual predictions based on model-specific biases. In addition, we propose a standardized evaluation framework to allow proper comparison of selective regression approaches. Via an extensive experimental approach, we demonstrate how our proposed approach, conformalized selective regression, demonstrates an advantage over multiple state-of-the-art baselines.


title: Stokes Law at Molecular Length Scales: Effects of Intermolecular Interactions and Linear Response Theory

abstract: The celebrated Stokes Law (SL) of hydrodynamics predicts that the velocity of a particle pulled through a liquid by an external force, Fex, is directly proportional to the force and inversely proportional to the friction {\zeta} acted by the medium on the particle. We investigate the range of validity of Stokes Law at molecular length scales by employing computer simulations to calculate friction by pulling a tagged particle with a constant force. We thus calculate friction for two model interaction potentials, Lennard-Jones, and soft sphere, for several particle sizes, ranging from radius (a) smaller than the solvent particles to three times larger. We next obtain friction from diffusion (D) by using Einstein's relation between diffusion and friction {\zeta} in an unperturbed liquid. We find, to our surprise, a quantitative agreement between the two at a small-to-intermediate pulling force regime for all the sizes studied. The Law does break down at a large pulling force beyond a threshold value. Importantly, the range of validity of Stokes' scheme to obtain friction increases substantially if we turn off the attractive part of the interaction potential. Additionally, we calculate the viscosity ({\eta}) of the unperturbed liquid and find a good agreement with the Stokes-Einstein relation {\zeta}=C{\eta}a for the viscosity dependence with a value of C close to 5 {\pi}, that is intermediate between the slip and stick boundary condition.


title: Graph Diffusion Policy Optimization

abstract: Recent research has made significant progress in optimizing diffusion models for specific downstream objectives, which is an important pursuit in fields such as graph generation for drug design. However, directly applying these models to graph diffusion presents challenges, resulting in suboptimal performance. This paper introduces graph diffusion policy optimization (GDPO), a novel approach to optimize graph diffusion models for arbitrary (e.g., non-differentiable) objectives using reinforcement learning. GDPO is based on an eager policy gradient tailored for graph diffusion models, developed through meticulous analysis and promising improved performance. Experimental results show that GDPO achieves state-of-the-art performance in various graph generation tasks with complex and diverse objectives. Code is available at https://github.com/sail-sg/GDPO.


title: A Note on Explicit Convergence Rates of Nonlocal Peridynamic Operators in $L^q$-Norm

abstract: This note investigates the explicit convergence rates of nonlocal peridynamic operators to their classical (local) counterparts in $L^q$-norm. Previous results used Fourier series and hence were restricted to showing convergence in $L^2$. Moreover, convergence rates were not explicit due to the use of the Lebesgue Dominated Convergence Theorem. Some previous results have also used the Taylor Remainder Theorem in differential form, but this often required an assumption of bounded fifth-order derivatives. We do not use these tools, but instead use the Hardy-Littlewood Maximal function, and combine it with the integral form of the Taylor Remainder Theorem. This approach allows us to establish convergence in the $L^q$-norm ($1 \leq q \leq \infty$) for nonlocal peridynamic partial derivatives, which immediately yields convergence rates for the corresponding nonlocal peridynamic divergence, gradient, and curl operators to their local counterparts as the radius (a.k.a., ``horizon'') of the nonlocal interaction $\delta \to 0$. Moreover, we obtain an explicit rate of order $\mathcal{O}(\delta^2)$. This result contributes to the understanding of the relationship between nonlocal and local models, which is essential for applications in multiscale modeling and simulations.


title: Top-Personalized-K Recommendation

abstract: The conventional top-K recommendation, which presents the top-K items with the highest ranking scores, is a common practice for generating personalized ranking lists. However, is this fixed-size top-K recommendation the optimal approach for every user's satisfaction? Not necessarily. We point out that providing fixed-size recommendations without taking into account user utility can be suboptimal, as it may unavoidably include irrelevant items or limit the exposure to relevant ones. To address this issue, we introduce Top-Personalized-K Recommendation, a new recommendation task aimed at generating a personalized-sized ranking list to maximize individual user satisfaction. As a solution to the proposed task, we develop a model-agnostic framework named PerK. PerK estimates the expected user utility by leveraging calibrated interaction probabilities, subsequently selecting the recommendation size that maximizes this expected utility. Through extensive experiments on real-world datasets, we demonstrate the superiority of PerK in Top-Personalized-K recommendation task. We expect that Top-Personalized-K recommendation has the potential to offer enhanced solutions for various real-world recommendation scenarios, based on its great compatibility with existing models.


title: Referee Can Play: An Alternative Approach to Conditional Generation via Model Inversion

abstract: As a dominant force in text-to-image generation tasks, Diffusion Probabilistic Models (DPMs) face a critical challenge in controllability, struggling to adhere strictly to complex, multi-faceted instructions. In this work, we aim to address this alignment challenge for conditional generation tasks. First, we provide an alternative view of state-of-the-art DPMs as a way of inverting advanced Vision-Language Models (VLMs). With this formulation, we naturally propose a training-free approach that bypasses the conventional sampling process associated with DPMs. By directly optimizing images with the supervision of discriminative VLMs, the proposed method can potentially achieve a better text-image alignment. As proof of concept, we demonstrate the pipeline with the pre-trained BLIP-2 model and identify several key designs for improved image generation. To further enhance the image fidelity, a Score Distillation Sampling module of Stable Diffusion is incorporated. By carefully balancing the two components during optimization, our method can produce high-quality images with near state-of-the-art performance on T2I-Compbench.


title: Transition in the ancestral reproduction rate and its implications for the site frequency spectrum

abstract: Consider a supercritical birth and death process where the children acquire mutations. We study the mutation rates along the ancestral lineages in a sample of size $n$ from the population at time $T$. The mutation rate is time-inhomogenous and has a natural probabilistic interpretation. We use these results to obtain asymptotic results for the site frequency spectrum associated with the sample.


title: Analyzing Downlink Coverage in Clustered Low Earth Orbit Satellite Constellations: A Stochastic Geometry Approach

abstract: Satellite networks are emerging as vital solutions for global connectivity beyond 5G. As companies such as SpaceX, OneWeb, and Amazon are poised to launch a large number of satellites in low Earth orbit, the heightened inter-satellite interference caused by mega-constellations has become a significant concern. To address this challenge, recent works have introduced the concept of satellite cluster networks where multiple satellites in a cluster collaborate to enhance the network performance. In order to investigate the performance of these networks, we propose mathematical analyses by modeling the locations of satellites and users using Poisson point processes, building on the success of stochastic geometry-based analyses for satellite networks. In particular, we suggest the lower and upper bounds of the coverage probability as functions of the system parameters, including satellite density, satellite altitude, satellite cluster area, path loss exponent, and Nakagami parameter $m$. We validate the analytical expressions by comparing them with simulation results. Our analyses can be used to design reliable satellite cluster networks by effectively estimating the impact of system parameters on the coverage performance.


title: DreamUp3D: Object-Centric Generative Models for Single-View 3D Scene Understanding and Real-to-Sim Transfer

abstract: 3D scene understanding for robotic applications exhibits a unique set of requirements including real-time inference, object-centric latent representation learning, accurate 6D pose estimation and 3D reconstruction of objects. Current methods for scene understanding typically rely on a combination of trained models paired with either an explicit or learnt volumetric representation, all of which have their own drawbacks and limitations. We introduce DreamUp3D, a novel Object-Centric Generative Model (OCGM) designed explicitly to perform inference on a 3D scene informed only by a single RGB-D image. DreamUp3D is a self-supervised model, trained end-to-end, and is capable of segmenting objects, providing 3D object reconstructions, generating object-centric latent representations and accurate per-object 6D pose estimates. We compare DreamUp3D to baselines including NeRFs, pre-trained CLIP-features, ObSurf, and ObPose, in a range of tasks including 3D scene reconstruction, object matching and object pose estimation. Our experiments show that our model outperforms all baselines by a significant margin in real-world scenarios displaying its applicability for 3D scene understanding tasks while meeting the strict demands exhibited in robotics applications.