title: Quantum electrodynamics of lossy samples in vacuum: modified Langevin noise formalism

abstract: Quantum behavior of the electromagnetic field in unbounded macroscopic media displaying absorption is properly described by the Langevin noise formalism (macroscopic quantum electrodynamics) where the field is assumed to be entirely produced by medium fluctuating sources via the dyadic Green's function. On the other hand, such formalism leads to inconsistencies when applied to finite-size lossy objects placed in vacuum since it does not take into account the scattering modes, whose homomeneous plane wave asymptotic behavior is ruled out in unbounded lossy media. Accordingly a modified Langevin noise formalism has been proposed to encompass the scattering modes and its consistency has been numerically validated in few specific geometries. In this paper we analytically derive the modified Langevin noise formalism from the enstablished canonical quantization of the electromagnetic field in macroscopic media, thus proving that it models any possible scenario involving linear, inhomegeneous and magnetodielectric samples. The derivation starts from quantum Maxwell equations in the Heisenberg picture together with their formal solution as the superposition of the medium assisted field and the scattering modes. We analytically prove that each of the two field parts can be expressed in term of particular bosonic operators, which in turn diagonalize the electromagnetic Hamiltonian and whose associated quasi-particles are medium assisted and scattering polaritons, respectively. The key ingredient underpinning our reasoning is a peculiar integral relation linking the far field amplitude of the dyadic Green's function and the scattering modes, relation we rigorously derive and physically explain by identifying the scattering modes as fields generated by infinitely far dipole point sources.


title: Constant-roll inflation with non-minimally derivative coupling

abstract: We investigate the constant-roll inflation with non-minimally kinetic coupling to the Einstein tensor. With the slow-roll parameter $\eta_\phi = -\ddot{\phi}/(H\dot{\phi})$ being a constant, we calculate the power spectra for scalar and tensor perturbations, and derive the expressions for the scalar spectral tilt $n_s$, the tensor spectral tilt $n_T$, and the tensor-to-scalar ratio $r$. We find that the expressions for $n_s$ are different with different ordering of taking the derivative of the scalar power spectrum with respect to the scale $k$ and the horizon crossing condition $c_sk=aH$ in the constant-roll inflation, the consistency relation $r=-8n_T$ does not hold if $|\eta_\phi|$ is not small, and the duality of the tensor-to-scalar ratio between the slow-roll inflation and ultra-slow-roll inflation does not exist in inflationary models with non-minimally derivative coupling. The result offers a fresh perspective on the understanding of the inflationary models with non-minimally derivative coupling and is helpful for the production of scalar induced gravitational waves in the framework of ultra-slow-roll inflation with non-minimally derivative coupling.


title: CAVIAR: Categorical-Variable Embeddings for Accurate and Robust Inference

abstract: Social science research often hinges on the relationship between categorical variables and outcomes. We introduce CAVIAR, a novel method for embedding categorical variables that assume values in a high-dimensional ambient space but are sampled from an underlying manifold. Our theoretical and numerical analyses outline challenges posed by such categorical variables in causal inference. Specifically, dynamically varying and sparse levels can lead to violations of the Donsker conditions and a failure of the estimation functionals to converge to a tight Gaussian process. Traditional approaches, including the exclusion of rare categorical levels and principled variable selection models like LASSO, fall short. CAVIAR embeds the data into a lower-dimensional global coordinate system. The mapping can be derived from both structured and unstructured data, and ensures stable and robust estimates through dimensionality reduction. In a dataset of direct-to-consumer apparel sales, we illustrate how high-dimensional categorical variables, such as zip codes, can be succinctly represented, facilitating inference and analysis.


title: Element-specific ultrafast lattice dynamics in FePt nanoparticles

abstract: Light-matter interaction at the nanoscale in magnetic alloys and heterostructures is a topic of intense research in view of potential applications in high-density magnetic recording. While the element-specific dynamics of electron spins is directly accessible to resonant x-ray pulses with femtosecond time structure, the possible element-specific atomic motion remains largely unexplored. We use ultrafast electron diffraction to probe the temporal evolution of lattice Bragg peaks of FePt nanoparticles embedded in a carbon matrix following excitation by an optical femtosecond laser pulse. The diffraction interference between Fe and Pt sublattices enables us to demonstrate that the Fe mean-square vibration amplitudes are significantly larger that those of Pt as expected from their different atomic mass. Both are found to increase as energy is transferred from the laser-excited electrons to the lattice. Contrary to this intuitive behavior, we observe a laser-induced lattice expansion that is larger for Pt than for Fe atoms during the first picosecond after laser excitation. This effect points to the strain-wave driven lattice expansion with the longitudinal acoustic Pt motion dominating that of Fe.


title: On Completely multiplicative $\pm1$ sequences that omit many consecutive $+1$ values

abstract: We investigate the construction of $\pm1$-valued completely multiplicative functions that take the value $+1$ at at most $k$ consecutive integers, which we call length-$k$ functions. We introduce a way to extend the length based on the idea of the "rotation trick" and such an extension can be quantified by the number of modified primes. Under the assumption of Elliott's conjecture, this method allows us to construct length-$k$ functions systematically for $k\geq 4$ which generalizes the work of I. Schur for $k = 2$ and R. Hudson for $k =3$.


title: Quasinormal Modes of Analog Rotating Black Holes in 2-Dimensional Photon-Fluid Model

abstract: It was recently found that the optical field fluctuations in self-defocusing media can be described by sound waves propagating in a two-dimensional photon-fluid. This photon-fluid is controlled by the driving beam and serves as the background in which the sound waves can experience an effective curved spacetime, such that it provides a new platform of studying analog black holes. In this paper, we are interested in investigating the quasinormal modes (QNMs) of this analog black hole in the photon-fluid model. Based on the master equation of motion of the optical field fluctuations, we calculate the frequencies of quasinormal modes (QNF) with three different numerical methods to make sure the QNF we get are reliable. Besides fundamental modes, we also try to calculate the overtones up to $n=3$ aiming to uncover more properties of QNF. The effects of angular velocity $\Omega_H$ of the black hole, the overtone number $n$ and the winding number $m$ on the QNF are investigated. Under the $m$ with opposite sign, we find that both the real and imaginary part of the QNF will show strikingly contrasting behaviors when the QNF is plotted against $\Omega_H$, and the similar contrast effects are also found when comparing the influences from winding number and overtone number. We hope that this work may potentially contribute to the future detections of QNMs in experimental settings of photon-fluid.


title: Primary liver cancer classification from routine tumour biopsy using weakly supervised deep learning

abstract: The diagnosis of primary liver cancers (PLCs) can be challenging, especially on biopsies and for combined hepatocellular-cholangiocarcinoma (cHCC-CCA). We automatically classified PLCs on routine-stained biopsies using a weakly supervised learning method. Weak tumour/non-tumour annotations served as labels for training a Resnet18 neural network, and the network's last convolutional layer was used to extract new tumour tile features. Without knowledge of the precise labels of the malignancies, we then applied an unsupervised clustering algorithm. Our model identified specific features of hepatocellular carcinoma (HCC) and intrahepatic cholangiocarcinoma (iCCA). Despite no specific features of cHCC-CCA being recognized, the identification of HCC and iCCA tiles within a slide could facilitate the diagnosis of primary liver cancers, particularly cHCC-CCA. Method and results: 166 PLC biopsies were divided into training, internal and external validation sets: 90, 29 and 47 samples. Two liver pathologists reviewed each whole-slide hematein eosin saffron (HES)-stained image (WSI). After annotating the tumour/non-tumour areas, 256x256 pixel tiles were extracted from the WSIs and used to train a ResNet18. The network was used to extract new tile features. An unsupervised clustering algorithm was then applied to the new tile features. In a two-cluster model, Clusters 0 and 1 contained mainly HCC and iCCA histological features. The diagnostic agreement between the pathological diagnosis and the model predictions in the internal and external validation sets was 100% (11/11) and 96% (25/26) for HCC and 78% (7/9) and 87% (13/15) for iCCA, respectively. For cHCC-CCA, we observed a highly variable proportion of tiles from each cluster (Cluster 0: 5-97%; Cluster 1: 2-94%).


title: Birth-Death processes with two-type catastrophes

abstract: This paper concentrates on the general birth-death processes with two different types of catastrophes. The Laplace transform of transition probability function for birth-death processes with two-type catastrophes are is successfully expressed with the Laplace transform of transition probability function of the birth-death processes without catastrophe. The first effective catastrophe occurrence time is considered. The Laplace transform of its probability density function, expectation and variance are obtained.


title: Towards a generalized accessibility measure for transportation equity and efficiency

abstract: Locational measures of accessibility are widely used in urban and transportation planning to understand the impact of the transportation system on influencing people's access to places. However, there is a considerable lack of measurement standards and publicly available data. We propose a generalized measure of locational accessibility that has a comprehensible form for transportation planning analysis. This metric combines the cumulative opportunities approach with gravity-based measures and is capable of catering to multiple trip purposes, travel modes, cost thresholds, and scales of analysis. Using data from multiple publicly available datasets, this metric is computed by trip purpose and travel time threshold for all block groups in the United States, and the data is made publicly accessible. Further, case studies of three large metropolitan areas reveal substantial inefficiencies in transportation infrastructure, with the most inefficiency observed in sprawling and non-core urban areas, especially for bicycling. Subsequently, it is shown that targeted investment in facilities can contribute to a more equitable distribution of accessibility to essential shopping and service facilities. By assigning greater weights to socioeconomically disadvantaged neighborhoods, the proposed metric formally incorporates equity considerations into transportation planning, contributing to a more equitable distribution of accessibility to essential services and facilities.


title: Dynamic Distinction Learning: Adaptive Pseudo Anomalies for Video Anomaly Detection

abstract: We introduce Dynamic Distinction Learning (DDL) for Video Anomaly Detection, a novel video anomaly detection methodology that combines pseudo-anomalies, dynamic anomaly weighting, and a distinction loss function to improve detection accuracy. By training on pseudo-anomalies, our approach adapts to the variability of normal and anomalous behaviors without fixed anomaly thresholds. Our model showcases superior performance on the Ped2, Avenue and ShanghaiTech datasets, where individual models are tailored for each scene. These achievements highlight DDL's effectiveness in advancing anomaly detection, offering a scalable and adaptable solution for video surveillance challenges.


title: Chromatic number in $1.9999^n$ time? Fast deterministic set partitioning under the asymptotic rank conjecture

abstract: In this paper we further explore the recently discovered connection by Bj\"{o}rklund and Kaski [STOC 2024] and Pratt [STOC 2024] between the asymptotic rank conjecture of Strassen [Progr. Math. 1994] and the three-way partitioning problem. We show that under the asymptotic rank conjecture, the chromatic number of an $n$-vertex graph can be computed deterministically in $O(1.99982^n)$ time, thus giving a conditional answer to a question of Zamir [ICALP 2021], and questioning the optimality of the $2^n\operatorname{poly}(n)$ time algorithm for chromatic number by Bj\"{o}rklund, Husfeldt, and Koivisto [SICOMP 2009]. Our technique is a combination of earlier algorithms for detecting $k$-colorings for small $k$ and enumerating $k$-colorable subgraphs, with an extension and derandomisation of Pratt's tensor-based algorithm for balanced three-way partitioning to the unbalanced case.


abstract: We establish analogs of the Darboux, Moser and Weinstein theorems for prequantum systems. We show that two prequantum systems on a manifold with vanishing first cohomology, with symplectic forms defining the same cohomology class and homotopic to each other within that class, differ only by a symplectomorphism and a gauge transformation. As an application, we show that the Bohr-Sommerfeld quantization of prequantum system on a manifold with trivial first cohomology is independent of the choice of the connection.


title: Towards a representative social cost of carbon

abstract: The majority of estimates of the social cost of carbon use preference parameters calibrated to data for North America and Europe. We here use representative data for attitudes to time and risk across the world. The social cost of carbon is substantially higher in the global north than in the south. The difference is more pronounced if we count people rather than countries.


title: MLaKE: Multilingual Knowledge Editing Benchmark for Large Language Models

abstract: The extensive utilization of large language models (LLMs) underscores the crucial necessity for precise and contemporary knowledge embedded within their intrinsic parameters. Existing research on knowledge editing primarily concentrates on monolingual scenarios, neglecting the complexities presented by multilingual contexts and multi-hop reasoning. To address these challenges, our study introduces MLaKE (Multilingual Language Knowledge Editing), a novel benchmark comprising 4072 multi-hop and 5360 single-hop questions designed to evaluate the adaptability of knowledge editing methods across five languages: English, Chinese, Japanese, French, and German. MLaKE aggregates fact chains from Wikipedia across languages and utilizes LLMs to generate questions in both free-form and multiple-choice. We evaluate the multilingual knowledge editing generalization capabilities of existing methods on MLaKE. Existing knowledge editing methods demonstrate higher success rates in English samples compared to other languages. However, their generalization capabilities are limited in multi-language experiments. Notably, existing knowledge editing methods often show relatively high generalization for languages within the same language family compared to languages from different language families. These results underscore the imperative need for advancements in multilingual knowledge editing and we hope MLaKE can serve as a valuable resource for benchmarking and solution development.


title: OSS Malicious Package Analysis in the Wild

abstract: The open-source software (OSS) ecosystem suffers from various security threats and risks, and malicious packages play a central role in software supply chain (SSC) attacks. Although malware research has a history of over thirty years, less attention has been paid to OSS malware. Its existing research has three limitations: a lack of high-quality datasets, malware diversity, and attack campaign context. In this paper, we first build and curate the largest dataset of 23,425 malicious packages from scattered online sources. We then propose a knowledge graph to represent the OSS malware corpus and conduct malicious package analysis in the wild. Our main findings include (1) it is essential to collect malicious packages from various online sources because there is little data overlap between different sources; (2) despite the sheer volume of SSC attack campaigns, many malicious packages are similar, and unknown/sophisticated attack behaviors have yet to emerge or be detected; (3) OSS malicious package has its distinct life cycle, denoted as {changing->release->detection->removal}, and slightly changing the package (different name) is a widespread attack manner; (4) while malicious packages often lack context about how and who released them, security reports disclose the information about corresponding SSC attack campaigns.


title: Efficient Surgical Tool Recognition via HMM-Stabilized Deep Learning

abstract: Recognizing various surgical tools, actions and phases from surgery videos is an important problem in computer vision with exciting clinical applications. Existing deep-learning-based methods for this problem either process each surgical video as a series of independent images without considering their dependence, or rely on complicated deep learning models to count for dependence of video frames. In this study, we revealed from exploratory data analysis that surgical videos enjoy relatively simple semantic structure, where the presence of surgical phases and tools can be well modeled by a compact hidden Markov model (HMM). Based on this observation, we propose an HMM-stabilized deep learning method for tool presence detection. A wide range of experiments confirm that the proposed approaches achieve better performance with lower training and running costs, and support more flexible ways to construct and utilize training data in scenarios where not all surgery videos of interest are extensively labelled. These results suggest that popular deep learning approaches with over-complicated model structures may suffer from inefficient utilization of data, and integrating ingredients of deep learning and statistical learning wisely may lead to more powerful algorithms that enjoy competitive performance, transparent interpretation and convenient model training simultaneously.


title: On Linear Codes Whose Hermitian Hulls are MD

abstract: Hermitian hulls of linear codes are interesting for theoretical and practical reasons alike. In terms of recent application, linear codes whose hulls meet certain conditions have been utilized as ingredients to construct entanglement-assisted quantum error correcting codes. This family of quantum codes is often seen as a generalization of quantum stabilizer codes. Theoretically, compared with the Euclidean setup, the Hermitian case is much harder to deal with. Hermitian hulls of MDS linear codes with low dimensions have been explored, mostly from generalized Reed-Solomon codes. Characterizing Hermitian hulls which themselves are MDS appears to be more involved and has not been extensively studied. This paper introduces some tools to study linear codes whose Hermitian hulls are MDS. Using the tools, we then propose explicit constructions of such codes. We consider Hermitian hulls of both Reed-Solomon and non Reed-Solomon types of linear MDS codes. We demonstrate that, given the same Hermitian hull dimensions, the codes from our constructions have dimensions which are larger than those in the literature.


title: QArray: a GPU-accelerated constant capacitance model simulator for large quantum dot arrays

abstract: Semiconductor quantum dot arrays are a leading architecture for the development of quantum technologies. Over the years, the constant capacitance model has served as a fundamental framework for simulating, understanding, and navigating the charge stability diagrams of small quantum dot arrays. However, while the size of the arrays keeps growing, solving the constant capacitance model becomes computationally prohibitive. This paper presents an open-source software package able to compute a $100 \times 100$ pixels charge stability diagram of a 16-dot array in less than a second. Smaller arrays can be simulated in milliseconds - faster than they could be measured experimentally, enabling the creation of diverse datasets for training machine learning models and the creation of digital twins that can interface with quantum dot devices in real-time. Our software package implements its core functionalities in the systems programming language Rust and the high-performance numerical computing library JAX. The Rust implementation benefits from advanced optimisations and parallelisation, enabling the users to take full advantage of multi-core processors. The JAX implementation allows for GPU acceleration.


title: Design and Simulation of a III-Nitride Light Emitting Transistor

abstract: This paper describes the design and characteristics of monolithically integrated three-terminal gated III-Nitride light emitting diodes (LEDs) devices. The impact of channel doping and thickness on the voltage penalty of the transistor-LED hybrid device is analyzed, and it is shown that with appropriate design, low voltage drop can be realized across integrated gated LED structures. The impact of device design on the switching charge is investigated, and it is shown that the adoption of an integrated LED/transistor structure can reduce the switching charge necessary for operation of a switched LED display device by an order of magnitude when compared with stand-alone light-emitting diodes.


title: Fantastic Animals and Where to Find Them: Segment Any Marine Animal with Dual SAM

abstract: As an important pillar of underwater intelligence, Marine Animal Segmentation (MAS) involves segmenting animals within marine environments. Previous methods don't excel in extracting long-range contextual features and overlook the connectivity between discrete pixels. Recently, Segment Anything Model (SAM) offers a universal framework for general segmentation tasks. Unfortunately, trained with natural images, SAM does not obtain the prior knowledge from marine images. In addition, the single-position prompt of SAM is very insufficient for prior guidance. To address these issues, we propose a novel feature learning framework, named Dual-SAM for high-performance MAS. To this end, we first introduce a dual structure with SAM's paradigm to enhance feature learning of marine images. Then, we propose a Multi-level Coupled Prompt (MCP) strategy to instruct comprehensive underwater prior information, and enhance the multi-level features of SAM's encoder with adapters. Subsequently, we design a Dilated Fusion Attention Module (DFAM) to progressively integrate multi-level features from SAM's encoder. Finally, instead of directly predicting the masks of marine animals, we propose a Criss-Cross Connectivity Prediction (C$^3$P) paradigm to capture the inter-connectivity between discrete pixels. With dual decoders, it generates pseudo-labels and achieves mutual supervision for complementary feature representations, resulting in considerable improvements over previous techniques. Extensive experiments verify that our proposed method achieves state-of-the-art performances on five widely-used MAS datasets. The code is available at https://github.com/Drchip61/Dual_SAM.


title: Adapting LLMs for Efficient Context Processing through Soft Prompt Compression

abstract: The rapid advancement of Large Language Models (LLMs) has inaugurated a transformative epoch in natural language processing, fostering unprecedented proficiency in text generation, comprehension, and contextual scrutiny. Nevertheless, effectively handling extensive contexts, crucial for myriad applications, poses a formidable obstacle owing to the intrinsic constraints of the models' context window sizes and the computational burdens entailed by their operations. This investigation presents an innovative framework that strategically tailors LLMs for streamlined context processing by harnessing the synergies among natural language summarization, soft prompt compression, and augmented utility preservation mechanisms. Our methodology, dubbed SoftPromptComp, amalgamates natural language prompts extracted from summarization methodologies with dynamically generated soft prompts to forge a concise yet semantically robust depiction of protracted contexts. This depiction undergoes further refinement via a weighting mechanism optimizing information retention and utility for subsequent tasks. We substantiate that our framework markedly diminishes computational overhead and enhances LLMs' efficacy across various benchmarks, while upholding or even augmenting the caliber of the produced content. By amalgamating soft prompt compression with sophisticated summarization, SoftPromptComp confronts the dual challenges of managing lengthy contexts and ensuring model scalability. Our findings point towards a propitious trajectory for augmenting LLMs' applicability and efficiency, rendering them more versatile and pragmatic for real-world applications. This research enriches the ongoing discourse on optimizing language models, providing insights into the potency of soft prompts and summarization techniques as pivotal instruments for the forthcoming generation of NLP solutions.


title: Weakly Supervised Deep Hyperspherical Quantization for Image Retrieval

abstract: Deep quantization methods have shown high efficiency on large-scale image retrieval. However, current models heavily rely on ground-truth information, hindering the application of quantization in label-hungry scenarios. A more realistic demand is to learn from inexhaustible uploaded images that are associated with informal tags provided by amateur users. Though such sketchy tags do not obviously reveal the labels, they actually contain useful semantic information for supervising deep quantization. To this end, we propose Weakly-Supervised Deep Hyperspherical Quantization (WSDHQ), which is the first work to learn deep quantization from weakly tagged images. Specifically, 1) we use word embeddings to represent the tags and enhance their semantic information based on a tag correlation graph. 2) To better preserve semantic information in quantization codes and reduce quantization error, we jointly learn semantics-preserving embeddings and supervised quantizer on hypersphere by employing a well-designed fusion layer and tailor-made loss functions. Extensive experiments show that WSDHQ can achieve state-of-art performance on weakly-supervised compact coding. Code is available at https://github.com/gimpong/AAAI21-WSDHQ.


title: Long-time asymptotics of the Tzitz\'eica equation on the line

abstract: In this paper, the renowned Riemann-Hilbert method is employed to investigate the initial value problem of Tzitz\'eica equation on the line. Initially, our analysis focuses on elucidating the properties of two reflection coefficients, which are determined by the initial values. Subsequently, leveraging these reflection coefficients, we construct a Riemann-Hilbert problem that is a powerful tool to articulate the solution of the Tzitz\'eica equation. Finally, the nonlinear steepest descent method is applied to the oscillatory Riemann-Hilbert problem, which enables us to delineate the long-time asymptotic behaviors of solutions to the Tzitz\'eica equation across various regions. Moreover, it is shown that the leading-order terms of asymptotic formulas match well with direct numerical simulations.


title: Portable diamond maser with reduced magnetic field through orientation

abstract: Masers have the potential to transform medical sensing and boost qubit readout detection due to their superb low-noise amplification. The negatively-charged nitrogen vacancy (NV-) diamond maser is the only continuous-wave solid-state maser discovered at room temperature, however it suffers from requiring large and bulky magnets which prevent its more widespread use. We present a significant reduction in size of the entire diamond maser using a much lighter and small-footprint electromagnet, reducing the weight from an immovable 2000 kilograms to a portable 30 kilograms. We achieve a maximum maser output power near -80 dBm, ten times higher than the first implementation, and have discovered techniques to reduce the magnetic field strength required for masing by precise manipulation of the spin orientation. With the diamond maser now shrunk to a size that can fit on a lab benchtop, we have brought continuous-wave room temperature masers away from the confines of research laboratories and closer to transforming readouts in quantum computing, frequency standards and quantum-limited medical sensing.

categories: quant-ph cond-mat.mtrl-sci physics.app-ph physics.ins-det


title: Dual-Scale Transformer for Large-Scale Single-Pixel Imaging

abstract: Single-pixel imaging (SPI) is a potential computational imaging technique which produces image by solving an illposed reconstruction problem from few measurements captured by a single-pixel detector. Deep learning has achieved impressive success on SPI reconstruction. However, previous poor reconstruction performance and impractical imaging model limit its real-world applications. In this paper, we propose a deep unfolding network with hybrid-attention Transformer on Kronecker SPI model, dubbed HATNet, to improve the imaging quality of real SPI cameras. Specifically, we unfold the computation graph of the iterative shrinkagethresholding algorithm (ISTA) into two alternative modules: efficient tensor gradient descent and hybrid-attention multiscale denoising. By virtue of Kronecker SPI, the gradient descent module can avoid high computational overheads rooted in previous gradient descent modules based on vectorized SPI. The denoising module is an encoder-decoder architecture powered by dual-scale spatial attention for high- and low-frequency aggregation and channel attention for global information recalibration. Moreover, we build a SPI prototype to verify the effectiveness of the proposed method. Extensive experiments on synthetic and real data demonstrate that our method achieves the state-of-the-art performance. The source code and pre-trained models are available at https://github.com/Gang-Qu/HATNet-SPI.


title: Cryogen-free modular scanning tunneling microscope operating at 4-K in high magnetic field on a compact ultra-high vacuum platform

abstract: One of the daunting challenges in modern low temperature scanning tunneling microscopy (STM) is the difficulty of combining atomic resolution with cryogen free cooling. Further functionality needs, such as ultra-high vacuum (UHV), high magnetic field, and compatibility with {\mu}m-sized samples, pose additional challenges to an already ambitious build. We present the design, construction, and performance of a cryogen free, UHV, low temperature, and high magnetic field system for modular STM operation. An internal vibration isolator reduces vibrations in this system allowing atomic resolution STM imaging while maintaining a low base temperature of ~4K and magnetic fields up to 9T. Samples and tips can be conditioned in-situ utilizing a heating stage, an ion sputtering gun, an e-beam evaporator, a tip treater, and sample exfoliation. In-situ sample and tip exchange and alignment are performed in a connected UHV room temperature stage with optical access. Multisite operation without breaking vacuum is enabled by a unique quick-connect STM head design. A novel low-profile vertical transfer mechanism permits transferring the STM between room temperature and the low temperature cryostat.


title: Camera-Based Remote Physiology Sensing for Hundreds of Subjects Across Skin Tones

abstract: Remote photoplethysmography (rPPG) emerges as a promising method for non-invasive, convenient measurement of vital signs, utilizing the widespread presence of cameras. Despite advancements, existing datasets fall short in terms of size and diversity, limiting comprehensive evaluation under diverse conditions. This paper presents an in-depth analysis of the VitalVideo dataset, the largest real-world rPPG dataset to date, encompassing 893 subjects and 6 Fitzpatrick skin tones. Our experimentation with six unsupervised methods and three supervised models demonstrates that datasets comprising a few hundred subjects(i.e., 300 for UBFC-rPPG, 500 for PURE, and 700 for MMPD-Simple) are sufficient for effective rPPG model training. Our findings highlight the importance of diversity and consistency in skin tones for precise performance evaluation across different datasets.


title: An Energy Conserving, Implicit and Higher Order in Time Discretization of Maxwell's Equations

abstract: This is a sequel to our earlier work in which we described an implicit leapfrog scheme in conjunction with a higher order mixed finite element discretization of a system of Maxwell's equations. In our earlier work, we focussed on providing the error analysis for both the semidiscretization of the Maxwell's equations using an implicit leapfrog scheme that we invented as well as providing the error analysis for the full discretization using this time domain scheme in conjunction with higher order mixed finite elements from finite element exterior calculus. In this work, we record our initial results with extending our implicit leapfrog scheme from being a discretization that is second order accurate in time to an arbitrary (even) order accurate in time method. Towards this end, we provide here the complete error analysis for the semidiscretization in time and full discretization of the Maxwell's equations for the fourth order scheme. We leave the completion of our efforts in providing all the necessary proofs for the general scheme to an immediate future update of this work.


title: Near-critical dark opalescence in out-of-equilibrium SF$_6$

abstract: The first-order phase transition between the liquid and gaseous phases ends at a critical point. Critical opalescence occurs at this singularity. Discovered in 1822, it is known to be driven by diverging fluctuations in the density. During the past two decades, boundaries between the gas-like and liquid-like regimes have been theoretically proposed and experimentally explored. Here, we show that fast cooling of near-critical sulfur hexafluoride (SF$_6$), in presence of Earth's gravity, favors dark opalescence, where visible photons are not merely scattered, but also absorbed. When the isochore fluid is quenched across the critical point, its optical transmittance drops by more than three orders of magnitude in the whole visible range, a feature which does not occur during slow cooling. We show that transmittance shows a dip at 2eV near the critical point, and the system can host excitons with binding energies ranging from 0.5 to 4 eV. The spinodal decomposition of the liquid-gas mixture, by inducing a periodical modulation of the fluid density, can provide a scenario to explain the emergence of this platform for coupling between light and matter. The possible formation of excitons and polaritons points to the irruption of quantum effects in a quintessentially classical context.


title: High-dimensional bootstrap and asymptotic expansion

abstract: The recent seminal work of Chernozhukov, Chetverikov and Kato has shown that bootstrap approximation for the maximum of a sum of independent random vectors is justified even when the dimension is much larger than the sample size. In this context, numerical experiments suggest that third-moment match bootstrap approximations would outperform normal approximation even without studentization, but the existing theoretical results cannot explain this phenomenon. In this paper, we first show that Edgeworth expansion, if justified, can give an explanation for this phenomenon. Second, we obtain valid Edgeworth expansions in the high-dimensional setting when the random vectors have Stein kernels. Finally, we prove the second-order accuracy of a double wild bootstrap method in this setting. As a byproduct, we find an interesting blessing of dimensionality phenomenon: The single third-moment match wild bootstrap is already second-order accurate in high-dimensions if the covariance matrix has identical diagonal entries and bounded eigenvalues.


title: Reduction of Forgetting by Contextual Variation During Encoding Using 360-Degree Video-Based Immersive Virtual Environments

abstract: Recall impairment in a different environmental context from learning is called context-dependent forgetting. Two learning methods have been proposed to prevent context-dependent forgetting: reinstatement and decontextualization. Reinstatement matches the environmental context between learning and retrieval, whereas decontextualization involves repeated learning in various environmental contexts and eliminates the context dependency of memory. Conventionally, these methods have been validated by switching between physical rooms. However, in this study, we use immersive virtual environments (IVEs) as the environmental context assisted by virtual reality (VR), which is known for its low cost and high reproducibility compared to traditional manipulation. Whereas most existing studies using VR have failed to reveal the reinstatement effect, we test its occurrence using a 360-degree video-based IVE with improved familiarity and realism instead of a computer graphics-based IVE. Furthermore, we are the first to address decontextualization using VR. Our experiment showed that repeated learning in the same constant IVE as retrieval did not significantly reduce forgetting compared to repeated learning in different constant IVEs. Conversely, repeated learning in various IVEs significantly reduced forgetting than repeated learning in constant IVEs. These findings contribute to the design of IVEs for VR-based applications, particularly in educational settings.


title: Minimax Least-Square Policy Iteration for Cost-Aware Defense of Traffic Routing against Unknown Threats

abstract: Dynamic routing is one of the representative control scheme in transportation, production lines, and data transmission. In the modern context of connectivity and autonomy, routing decisions are potentially vulnerable to malicious attacks. In this paper, we consider the dynamic routing problem over parallel traffic links in the face of such threats. An attacker is capable of increasing or destabilizing traffic queues by strategic manipulating the nominally optimal routing decisions. A defender is capable of securing the correct routing decision. Attacking and defensive actions induce technological costs. The defender has no prior information about the attacker's strategy. We develop an least-square policy iteration algorithm for the defender to compute a cost-aware and threat-adaptive defensive strategy. The policy evaluation step computes a weight vector that minimizes the sampled temporal-difference error. We derive a concrete theoretical upper bound on the evaluation error based on the theory of value function approximation. The policy improvement step solves a minimax problem and thus iteratively computes the Markov perfect equilibrium of the security game. We also discuss the training error of the entire policy iteration process.


title: Generative downscaling of PDE solvers with physics-guided diffusion models

abstract: Solving partial differential equations (PDEs) on fine spatio-temporal scales for high-fidelity solutions is critical for numerous scientific breakthroughs. Yet, this process can be prohibitively expensive, owing to the inherent complexities of the problems, including nonlinearity and multiscale phenomena. To speed up large-scale computations, a process known as downscaling is employed, which generates high-fidelity approximate solutions from their low-fidelity counterparts. In this paper, we propose a novel Physics-Guided Diffusion Model (PGDM) for downscaling. Our model, initially trained on a dataset comprising low-and-high-fidelity paired solutions across coarse and fine scales, generates new high-fidelity approximations from any new low-fidelity inputs. These outputs are subsequently refined through fine-tuning, aimed at minimizing the physical discrepancies as defined by the discretized PDEs at the finer scale. We evaluate and benchmark our model's performance against other downscaling baselines in three categories of nonlinear PDEs. Our numerical experiments demonstrate that our model not only outperforms the baselines but also achieves a computational acceleration exceeding tenfold, while maintaining the same level of accuracy as the conventional fine-scale solvers.


title: Subgroups with a small sum of element orders

abstract: A finite group $G$ is said to be a $\mathcal{B}_{\psi}$-group if $\psi(H)<|G|$ for any proper subgroup $H$ of $G$, where $\psi(H)$ denotes the sum of element orders of $H$. In this paper, we characterize the $\mathcal{B}_{\psi}$-groups up to the class of finite nilpotent groups. We also study the above inequality in the case of finite $P$-groups and Schmidt groups, respectively.


title: A Hybrid Execution Environment for Computer-Interpretable Guidelines in PROforma

abstract: In this paper, we share our experience of developing a hybrid execution environment for computer-interpretable guidelines (CIGs) in PROforma. The proposed environment is part of the CAPABLE system which provides coaching for cancer patients and decision support for physicians. It extends a standard PROforma execution engine - Deontics Engine (DE) - with additional components that act as wrappers around DE, allow handling of non-standard tasks, and facilitate integration with the rest of the CAPABLE system. This yields a hybrid environment in which the standard engine and specialized components must be interfaced together by some intervening layer. In the CAPABLE system this has been achieved by defining a set of specialized meta-properties which are attached to data and tasks in the PROforma CIGs to specify the interface between engine and components.


title: Towards Reliable and Empathetic Depression-Diagnosis-Oriented Chats

abstract: Chatbots can serve as a viable tool for preliminary depression diagnosis via interactive conversations with potential patients. Nevertheless, the blend of task-oriented and chit-chat in diagnosis-related dialogues necessitates professional expertise and empathy. Such unique requirements challenge traditional dialogue frameworks geared towards single optimization goals. To address this, we propose an innovative ontology definition and generation framework tailored explicitly for depression diagnosis dialogues, combining the reliability of task-oriented conversations with the appeal of empathy-related chit-chat. We further apply the framework to D$^4$, the only existing public dialogue dataset on depression diagnosis-oriented chats. Exhaustive experimental results indicate significant improvements in task completion and emotional support generation in depression diagnosis, fostering a more comprehensive approach to task-oriented chat dialogue system development and its applications in digital mental health.


title: Inducing a Metal-Insulator Transition through Systematic Alterations of Local Rewriting Rules in a Quantum Graph

abstract: The Anderson localization transition in quantum graphs has garnered significant recent attention due to its relevance to many-body localization studies. Typically, graphs are constructed using top-down methods. Here, we explore a bottom-up approach, employing a simple local rewriting rule to construct the graph. Through the use of ratio statistics for the energy spectrum and Kullback-Leibler divergence correlations for the eigenstates, numerical analysis demonstrates that slight adjustments to the rewriting rule can induce a transition from a localized to an extended quantum phase. This extended state exhibits non-ergodic behavior, akin to the non-ergodic extended phase observed in the Porter-Rosenzweig model and suggested for many-body localization. Thus, by adapting straightforward local rewriting rules, it becomes feasible to assemble complex graphs from which desired global quantum phases emerge. This approach holds promise for numerical investigations and could be implemented in building optical realizations of complex networks using optical fibers and beam splitters.


title: MagicTime: Time-lapse Video Generation Models as Metamorphic Simulators

abstract: Recent advances in Text-to-Video generation (T2V) have achieved remarkable success in synthesizing high-quality general videos from textual descriptions. A largely overlooked problem in T2V is that existing models have not adequately encoded physical knowledge of the real world, thus generated videos tend to have limited motion and poor variations. In this paper, we propose \textbf{MagicTime}, a metamorphic time-lapse video generation model, which learns real-world physics knowledge from time-lapse videos and implements metamorphic generation. First, we design a MagicAdapter scheme to decouple spatial and temporal training, encode more physical knowledge from metamorphic videos, and transform pre-trained T2V models to generate metamorphic videos. Second, we introduce a Dynamic Frames Extraction strategy to adapt to metamorphic time-lapse videos, which have a wider variation range and cover dramatic object metamorphic processes, thus embodying more physical knowledge than general videos. Finally, we introduce a Magic Text-Encoder to improve the understanding of metamorphic video prompts. Furthermore, we create a time-lapse video-text dataset called \textbf{ChronoMagic}, specifically curated to unlock the metamorphic video generation ability. Extensive experiments demonstrate the superiority and effectiveness of MagicTime for generating high-quality and dynamic metamorphic videos, suggesting time-lapse video generation is a promising path toward building metamorphic simulators of the physical world.


title: Observational-Interventional Bell Inequalities

abstract: Generalizations of Bell's theorem, particularly within quantum networks, are now being analyzed through the causal inference lens. However, the exploration of interventions, a central concept in causality theory, remains significantly unexplored. In this work we give an initial step in this direction, by analyzing the instrumental scenario and proposing novel hybrid Bell inequalities integrating observational and interventional data. Focusing on binary outcomes with any number of inputs, we obtain the complete characterization of the observational-interventional polytope, equivalent to a Hardy-like Bell inequality albeit describing a distinct quantum experiment. To illustrate its applications, we show a significant enhancement regarding threshold detection efficiencies for quantum violations also showing the use of these hybrid approach in quantum steering scenarios.


title: Hyperbolic Learning with Synthetic Captions for Open-World Detection

abstract: Open-world detection poses significant challenges, as it requires the detection of any object using either object class labels or free-form texts. Existing related works often use large-scale manual annotated caption datasets for training, which are extremely expensive to collect. Instead, we propose to transfer knowledge from vision-language models (VLMs) to enrich the open-vocabulary descriptions automatically. Specifically, we bootstrap dense synthetic captions using pre-trained VLMs to provide rich descriptions on different regions in images, and incorporate these captions to train a novel detector that generalizes to novel concepts. To mitigate the noise caused by hallucination in synthetic captions, we also propose a novel hyperbolic vision-language learning approach to impose a hierarchy between visual and caption embeddings. We call our detector ``HyperLearner''. We conduct extensive experiments on a wide variety of open-world detection benchmarks (COCO, LVIS, Object Detection in the Wild, RefCOCO) and our results show that our model consistently outperforms existing state-of-the-art methods, such as GLIP, GLIPv2 and Grounding DINO, when using the same backbone.


title: A variety of co-quasivarieties

abstract: It is shown that the duals of several categories of topological flavour, like the categories of ordered sets, generalised metric spaces, probabilistic metric spaces, topological spaces, approach spaces, are quasivarieties, presenting a common proof for all such results.


title: Arveson's hyperrigidity conjecture is false

abstract: Arveson's hyperrigidity conjecture predicts that if the non-commutative Choquet boundary of a separable operator system $\mathcal{S}$ is the entire spectrum of its generated C*-algebra $\mathcal{B}$ then $\mathcal{S}$ is hyperrigid in $\mathcal{B}$. We provide a counterexample to the conjecture with a C*-algebra $\mathcal{B}$ of type I generated by a single operator.


title: Shortcut-connected Expert Parallelism for Accelerating Mixture-of-Experts

abstract: Expert parallelism has been introduced as a strategy to distribute the computational workload of sparsely-gated mixture-of-experts (MoE) models across multiple computing devices, facilitating the execution of these increasingly large-scale models. However, the All-to-All communication intrinsic to expert parallelism constitutes a significant overhead, diminishing the MoE models' efficiency. Current optimization approaches offer some relief, yet they are constrained by the sequential interdependence of communication and computation operations. To address this limitation, we present a novel shortcut-connected MoE architecture with overlapping parallel strategy, designated as ScMoE, which effectively decouples communication from its conventional sequence, allowing for a substantial overlap of 70% to 100% with computation. When compared with the prevalent top-2 MoE architecture, ScMoE demonstrates training speed improvements of 30% and 11%, and inference improvements of 40% and 15%, in our PCIe and NVLink hardware environments, respectively, where communication constitutes 60% and 15% of the total MoE time consumption. On the other hand, extensive experiments and theoretical analyses indicate that ScMoE not only achieves comparable but in some instances surpasses the model quality of existing approaches in vision and language tasks.


title: Time-resolved magneto-optical Kerr effect in the altermagnet candidate MnTe

abstract: {\alpha}-MnTe is an antiferromagnetic semiconductor with above room temperature TN = 310 K, which is promising for spintronic applications. Recently, it was predicted to be an altermagnet, containing bands with momentum-dependent spin splitting; time-resolved experimental probes of magnetism in MnTe are therefore important both for understanding the magnetic structure and potential device applications. We investigate ultrafast spin dynamics in epitaxial MnTe(001)/InP(111) thin films using the time-resolved magneto-optical Kerr effect. At room temperature, we observe an oscillation mode at 55 GHz that does not appear at zero magnetic field. Combining field, polarization, and temperature dependence, we identify this mode as an acoustic phonon-coupled magnon, likely originating from inverse stimulated Raman scattering. Additionally, we observe two optical phonons at 3.6 THz and 4.2 THz, which broaden and redshift with increasing temperature.


title: Context-dependent Causality (the Non-Nonotonic Case)

abstract: We develop a novel identification strategy as well as a new estimator for context-dependent causal inference in non-parametric triangular models with non-separable disturbances. Departing from the common practice, our analysis does not rely on the strict monotonicity assumption. Our key contribution lies in leveraging on diffusion models to formulate the structural equations as a system evolving from noise accumulation to account for the influence of the latent context (confounder) on the outcome. Our identifiability strategy involves a system of Fredholm integral equations expressing the distributional relationship between a latent context variable and a vector of observables. These integral equations involve an unknown kernel and are governed by a set of structural form functions, inducing a non-monotonic inverse problem. We prove that if the kernel density can be represented as an infinite mixture of Gaussians, then there exists a unique solution for the unknown function. This is a significant result, as it shows that it is possible to solve a non-monotonic inverse problem even when the kernel is unknown. On the methodological front we leverage on a novel and enriched Contaminated Generative Adversarial (Neural) Networks (CONGAN) which we provide as a solution to the non-monotonic inverse problem.


title: DinoBloom: A Foundation Model for Generalizable Cell Embeddings in Hematology

abstract: In hematology, computational models offer significant potential to improve diagnostic accuracy, streamline workflows, and reduce the tedious work of analyzing single cells in peripheral blood or bone marrow smears. However, clinical adoption of computational models has been hampered by the lack of generalization due to large batch effects, small dataset sizes, and poor performance in transfer learning from natural images. To address these challenges, we introduce DinoBloom, the first foundation model for single cell images in hematology, utilizing a tailored DINOv2 pipeline. Our model is built upon an extensive collection of 13 diverse, publicly available datasets of peripheral blood and bone marrow smears, the most substantial open-source cohort in hematology so far, comprising over 380,000 white blood cell images. To assess its generalization capability, we evaluate it on an external dataset with a challenging domain shift. We show that our model outperforms existing medical and non-medical vision models in (i) linear probing and k-nearest neighbor evaluations for cell-type classification on blood and bone marrow smears and (ii) weakly supervised multiple instance learning for acute myeloid leukemia subtyping by a large margin. A family of four DinoBloom models (small, base, large, and giant) can be adapted for a wide range of downstream applications, be a strong baseline for classification problems, and facilitate the assessment of batch effects in new datasets. All models are available at github.com/marrlab/DinoBloom.


title: Scalable and Efficient Hierarchical Visual Topological Mapping

abstract: Hierarchical topological representations can significantly reduce search times within mapping and localization algorithms. Although recent research has shown the potential for such approaches, limited consideration has been given to the suitability and comparative performance of different global feature representations within this context. In this work, we evaluate state-of-the-art hand-crafted and learned global descriptors using a hierarchical topological mapping technique on benchmark datasets and present results of a comprehensive evaluation of the impact of the global descriptor used. Although learned descriptors have been incorporated into place recognition methods to improve retrieval accuracy and enhance overall recall, the problem of scalability and efficiency when applied to longer trajectories has not been adequately addressed in a majority of research studies. Based on our empirical analysis of multiple runs, we identify that continuity and distinctiveness are crucial characteristics for an optimal global descriptor that enable efficient and scalable hierarchical mapping, and present a methodology for quantifying and contrasting these characteristics across different global descriptors. Our study demonstrates that the use of global descriptors based on an unsupervised learned Variational Autoencoder (VAE) excels in these characteristics and achieves significantly lower runtime. It runs on a consumer grade desktop, up to 2.3x faster than the second best global descriptor, NetVLAD, and up to 9.5x faster than the hand-crafted descriptor, PHOG, on the longest track evaluated (St Lucia, 17.6 km), without sacrificing overall recall performance.


title: PathFinder: Attention-Driven Dynamic Non-Line-of-Sight Tracking with a Mobile Robot

abstract: The study of non-line-of-sight (NLOS) imaging is growing due to its many potential applications, including rescue operations and pedestrian detection by self-driving cars. However, implementing NLOS imaging on a moving camera remains an open area of research. Existing NLOS imaging methods rely on time-resolved detectors and laser configurations that require precise optical alignment, making it difficult to deploy them in dynamic environments. This work proposes a data-driven approach to NLOS imaging, PathFinder, that can be used with a standard RGB camera mounted on a small, power-constrained mobile robot, such as an aerial drone. Our experimental pipeline is designed to accurately estimate the 2D trajectory of a person who moves in a Manhattan-world environment while remaining hidden from the camera's field-of-view. We introduce a novel approach to process a sequence of dynamic successive frames in a line-of-sight (LOS) video using an attention-based neural network that performs inference in real-time. The method also includes a preprocessing selection metric that analyzes images from a moving camera which contain multiple vertical planar surfaces, such as walls and building facades, and extracts planes that return maximum NLOS information. We validate the approach on in-the-wild scenes using a drone for video capture, thus demonstrating low-cost NLOS imaging in dynamic capture environments.


title: Effect of nonlocal interlayer hopping on wave function in twisted bilayer graphene

abstract: The conventional low-energy theory employed to describe twisted bilayer graphene (TBG) relies on a local interlayer Hamiltonian. According to this theory, TBG has the same linear-in-momentum dispersion and spinor wave function at the Dirac point as single-layer graphene (SLG), albeit with a renormalized velocity that decreases as the rotation angle between the layers decreases, eventually reaching zero at the magic angle. In this work, I expand upon this low-energy theory by including nonlocal terms in the interlayer part of the Hamiltonian, and explore the consequences at the Dirac point. It is found that the nonlocality predominantly influences the wave function rather than the energy spectrum: despite the persistence of the linear-in-momentum dispersion with a renormalized velocity, the wave functions no longer mirror those of SLG. Instead, an additional contribution to the phase difference between the sublattice components of the spinor emerges. This gives rise to interesting effects in scattering which are demonstrated with a simple example.


title: On two-coloring bipartite uniform hypergraphs

abstract: Of a given bipartite graph $G = (V, E)$, it is elementary to construct a bipartition in time $O(|E|)$. For a given $k$-graph $H = H^{(k)}$ with $k \geq 3$ fixed, Lov\'asz proved that deciding whether $H$ is bipartite is NP-complete. Let $\mathcal{B}_n$ denote the collection of all $[n]$-vertex bipartite $k$-graphs. We construct, of a given $H \in \mathcal{B}_n$, a bipartition in time averaging $O(n^k)$ over the class $\mathcal{B}_n$. (When $k=3$, our result expedites one of Person and Schacht.) We also consider an application to the class of all $[n]$-vertex 3-graphs $H$ forbidding the Fano plane as a subhypergraph.


title: Impact of AGN feedback on the dynamics of gas; A Review across Diverse Environments

abstract: This review examines the relationship between black hole activity and kinematic gas-star misalignment in brightest group galaxies (BGGs) with different merger rates. The formation history of galaxy groups is assessed through "age-dating" as an indicator of distinct major mergers involving the BGG. BGGs within groups characterized by a higher frequency of major mergers are more likely to host active SMBHs. A consistent correlation is identified between the level of black hole activity, as indicated by the 1.4 GHz and 325 MHz radio emissions, and the degree of kinematic misalignment between the gas and stellar components in BGGs. In dynamically fossil groups, where black hole accretion rate is relatively ($\sim 1$ dex) lower due to the lack of recent ( $\leq 1$ Gyr) major mergers, there is reduced ($\sim$ 30\%) misalignment between the gas and stellar components of BGGs compared to non-fossil groups. Additionally, the study reveals that BGGs in non-fossil groups show higher levels of star formation rate and increased occurrence of mergers, contributing to observed color differences. Exploring the properties and dynamics of the gas disc influenced by mechanical AGN feedback through hydrodynamic simulations suggests that AGN wind-induced effects further lead to persistent gas misalignment of the disk around the supermassive black hole.


title: Quantum gravity modifications to the accretion onto a Kerr black hole

abstract: In the framework of the Asymptotic Safety scenario for quantum gravity, we analyze quantum gravity modifications to the thermal characteristics of a thin accretion disk spiraling around a renormalization group improved (RGI-) Kerr black hole in the low energy regime. We focused on the quantum effects on the location of the innermost stable circular orbit (ISCO), the energy flux from the disk, the disk temperature, the observed redshifted luminosity, and the accretion efficiency. The deviations from the classical general relativity due to quantum effects are described for a free parameter that arises in the improved Kerr metric as a consequence of the fact that the Newton constant turns into a running coupling $G(r)$ depending on the energy scale. We find that, both for rapid and slow rotating black holes with accretion disks in prograde and retrograde circulation, increases in the value of this parameter are accompanied by a decreasing of the ISCO, by a lifting of the peaks of the radiation properties of the disk and by an increase of the accretion mass efficiency, as compared with the predictions of general relativity. Our results confirm previously established findings in Ref. \cite{r17} where we showed that these quantum gravity effects also occur for an accretion disk around a RGI-Schwarzschild black hole.


title: LOGO: A Long-Form Video Dataset for Group Action Quality Assessment

abstract: Action quality assessment (AQA) has become an emerging topic since it can be extensively applied in numerous scenarios. However, most existing methods and datasets focus on single-person short-sequence scenes, hindering the application of AQA in more complex situations. To address this issue, we construct a new multi-person long-form video dataset for action quality assessment named LOGO. Distinguished in scenario complexity, our dataset contains 200 videos from 26 artistic swimming events with 8 athletes in each sample along with an average duration of 204.2 seconds. As for richness in annotations, LOGO includes formation labels to depict group information of multiple athletes and detailed annotations on action procedures. Furthermore, we propose a simple yet effective method to model relations among athletes and reason about the potential temporal logic in long-form videos. Specifically, we design a group-aware attention module, which can be easily plugged into existing AQA methods, to enrich the clip-wise representations based on contextual group information. To benchmark LOGO, we systematically conduct investigations on the performance of several popular methods in AQA and action segmentation. The results reveal the challenges our dataset brings. Extensive experiments also show that our approach achieves state-of-the-art on the LOGO dataset. The dataset and code will be released at \url{https://github.com/shiyi-zh0408/LOGO }.


title: Halo asymmetry in the modelling of galaxy clustering

abstract: Conventional studies of galaxy clustering within the framework of halo models typically assume that the density profile of all dark matter haloes can be approximated by the Navarro-Frenk-White (NFW) spherically symmetric profile. However, both modern N-body simulations and observational data suggest that most haloes are either oblate or prolate, and almost never spherical. In this paper we present a modified model of the galaxy correlation function. In addition to the five "classical" HOD parameters proposed by Zheng et al. 2007, it includes an additional free parameter $\phi$ in the modified NFW density profile describing the asymmetry of the host dark matter halo. Using a subhalo abundance matching model (SHAM), we populate galaxies within BolshoiP N-body simulations. We compute the projected two-point correlation function $w_p(r_p)$ for six stellar mass volume limited galaxy samples. We fit our model to the results, and then compare the best-fit asymmetry parameter $\phi$ (and other halo parameters) to the asymmetry of dark matter haloes measured directly from the simulations and find that they agree within 1$\sigma$. We then fit our model to the $w_p(r_p)$ results from Zehavi et al. 2011 and compare halo parameters. We show that our model accurately retrieves the halo asymmetry and other halo parameters. Additionally, we find $2-6\%$ differences between the halo masses ($\log M_{min}$ and $\log M_1$) estimated by our model and "classical" HOD models. The model proposed in this paper can serve as an alternative to multiparameter HOD models, since it can be used for relatively small samples of galaxies.


title: The cosmological collider in $R^2$ inflation

abstract: Starobinsky's $R^2$ inflation manifests a best-fit scenario for the power spectrum of primordial density fluctuations. Observables derived from the slow-roll picture of the $R^2$ model in the Einstein frame relies on the conformal transformation of the metric, which inevitably induces a unique exponential-type couplings of the rolling scalaron with all matter fields during inflation. The "large-field" nature of the $R^2$ model further invokes non-negligible time and scale dependence to the matter sector through such an exponential coupling, modifying not only the dynamics of matter perturbations on superhorizon scales but also their decay rates. In this work, we identify the simplest observable of the cosmological collider physics built in the background of $R^2$ inflation, focusing on the so-called "quantum primordial clock" signals created by the non-local propagation of massive scalar perturbations. Our numerical formalism based on the unique conformal coupling can have extended applications to (quasi-)single-field inflationary models with non-trivial couplings to gravity or models originated from the $f(R)$ modification of gravity.


title: Influence of the chiral magnetic effect on particle-pair elliptic anisotropy

abstract: Chiral Magnetic Effect (CME) is a phenomenon in which electric charge is separated by a strong magnetic field from local domains of chirality imbalance in quantum chromodynamics. The CME-sensitive, azimuthal correlator difference $\Delta\gamma$ between opposite-sign (OS) and same-sign (SS) charged hadron pairs is contaminated by a major physics background proportional to the particle elliptic anisotropy ($v_2$). The CME signal, on the other hand, contributes to the difference in the pair elliptic anisotropies between OS and SS pairs ($\Delta v_{2,\rm pair}$). We investigate $\Delta v_{2,\rm pair}$ and found its sensitivity to CME to be similar to that of the $\Delta\gamma$ observable.


title: Magic Boundaries of 3D Color Codes

abstract: We investigate boundaries of 3D color codes and provide a systematic classification into 101 distinct boundary types. The elementary types of boundaries are codimension-1 (2D) boundaries that condense electric particle ($Z$-type) or magnetic flux ($X$-type) excitations in the 3D color code, including the $Z$-boundary condensing only electric particles, the $X$-boundary condensing only the magnetic flux, and other boundaries condensing both electric and magnetic excitations. Two novel types of boundaries can be generated based on certain elementary types. The first type is generated by applying transversal-$T$ gate on the entire code in the presence of the $X$-boundary, which effectively sweeps the codimension-1 (2D) $T$-domain wall across the system and attaches it to the $X$-boundary. Since the $T$-domain wall cannot condense on the $X$-boundary, a new magic boundary is produced, where the boundary stabilizers contain $XS$-stabilizers going beyond the conventional Pauli stabilizer formalism and hence contains `magic'. Neither electric nor magnetic excitations can condense on such a magic boundary, and only the composite of the magnetic flux and codimension-2 (1D) $S$-domain wall can condense on it, which makes the magic boundary going beyond the classification of the Lagrangian subgroup. The second type is generated by applying transversal-$S$ gate on a codimension-1 (2D) submanifold in the presence of certain codimension-1 (2D) boundaries, which effectively sweeps the $S$-domain wall across this submanifold and attaches it onto the boundary. This generates a codimension-2 (1D) nested boundary at the intersection. We also connect these novel boundaries to their previously discovered counterpart in the $\mathbb{Z}_2^3$ gauge theory equivalent to three copies of 3D toric codes, where the $S$ and $T$ domain walls correspond to gauged symmetry-protected topological (SPT) defects.


title: Tournament design: A review from an operational research perspective

abstract: Every sport needs rules. Tournament design refers to the rules that determine how a tournament, a series of games between a number of competitors, is organized. This study aims to provide an overview of the tournament design literature from the perspective of operational research. Three important design criteria are discussed: efficacy and effectivity, fairness, and attractiveness. Our survey classifies the papers discussing these properties according to the main components of tournament design: format, seeding, draw, scheduling, and ranking. We also outline several open questions and promising directions for future research.


title: Pressure-dependent adhesion between solid-supported PC-lipid bilayers and vesicles under electric fields

abstract: Fusion of lipid bilayers in membranes is important in processes from vesicle-cell interactions (as in drug delivery) to exosome-cell signaling, while transient transmembrane electric fields are known to occur spontaneously. Two contacting phosphatidylcholine (PC) lipid membranes are known to fuse into one under external electric fields, suggesting that the interaction between them is modified by the field as they approach, prior to the fusion event. Here we measure directly the adhesion energy between dimyristoylphosphatidylcholine (DMPC) and between distearoylphosphatidylcholine (DSPC) surface layers attached to solid substrates both without and with a transmembrane electric field. We find a marked pressure-dependent adhesion behavior in the electric field, which we attribute to fusion intermediates that are formed, shedding new light on membrane electro-fusion.


title: The Hyperdrive Protocol: An Automated Market Maker for Fixed and Variable Rates

abstract: Hyperdrive is a protocol designed to facilitate the trading of fixed and variable rate assets. The protocol's unique pricing model consolidates liquidity into a single pool which addresses the challenges of fragmented liquidity across terms, eliminates the need for rollovers, and allows terms to be issued on demand. Its design meaningfully improves trading efficiency, liquidity provisioning, and user experience over existing fixed and variable rate protocol models.


title: Current and future cosmological impact of microwave background temperature measurements

abstract: The redshift dependence of the cosmic microwave background temperature, $T(z)=T_0(1+z)$, is a key prediction of standard cosmology, but this relation is violated in many extensions thereof. Current astrophysical facilities can probe it in the redshift range $0\le z\le6.34$. We extend recent work by Gelo {\it et al.} (2022) showing that for several classes of models (all of which aim to provide alternative mechanisms for the recent acceleration of the universe) the constraining power of these measurements is comparable to that of other background cosmology probes. Specifically, we discuss constraints on two classes of models not considered in the earlier work: a model with torsion and a recently proposed phenomenological dynamical dark energy model which can be thought of as a varying speed of light model. Moreover, for both these models and also for those in the earlier work, we discuss how current constraints may be improved by next-generation ground and space astrophysical facilities. Overall, we conclude that these measurements have a significant cosmological impact, mainly because they often constrain combinations of model parameters that are orthogonal, in the relevant parameter space, to those of other probes.


title: Probing the Anisotropic Fermi Surface in Tetralayer Graphene via Transverse Magnetic Focusing

abstract: Bernal-stacked tetralayer graphene (4LG) exhibits intriguing low-energy properties, featuring two massive subbands and showcasing diverse features of topologically distinct, anisotropic Fermi surfaces, including Lifshitz transitions and trigonal warping. Here, we study the influence of the band structure on electron dynamics within 4LG using transverse magnetic focusing. Our analysis reveals two distinct focusing peaks corresponding to the two subbands. Furthermore, we uncover a pronounced dependence of the focusing spectra on crystal orientations, indicative of an anisotropic Fermi surface. Utilizing the semiclassical model, we attribute this orientation-dependent behavior to the trigonal warping of the band structure. This phenomenon leads to variations in electron trajectories based on crystal orientation. Our findings not only enhance our understanding of the dynamics of electrons in 4LG, but also offer a promising method for probing anisotropic Fermi surfaces in other materials.


title: StaccaToe: A Single-Leg Robot that Mimics the Human Leg and Toe

abstract: We introduce StaccaToe, a human-scale, electric motor-powered single-leg robot designed to rival the agility of human locomotion through two distinctive attributes: an actuated toe and a co-actuation configuration inspired by the human leg. Leveraging the foundational design of HyperLeg's lower leg mechanism, we develop a stand-alone robot by incorporating new link designs, custom-designed power electronics, and a refined control system. Unlike previous jumping robots that rely on either special mechanisms (e.g., springs and clutches) or hydraulic/pneumatic actuators, StaccaToe employs electric motors without energy storage mechanisms. This choice underscores our ultimate goal of developing a practical, high-performance humanoid robot capable of human-like, stable walking as well as explosive dynamic movements. In this paper, we aim to empirically evaluate the balance capability and the exertion of explosive ground reaction forces of our toe and co-actuation mechanisms. Throughout extensive hardware and controller development, StaccaToe showcases its control fidelity by demonstrating a balanced tip-toe stance and dynamic jump. This study is significant for three key reasons: 1) StaccaToe represents the first human-scale, electric motor-driven single-leg robot to execute dynamic maneuvers without relying on specialized mechanisms; 2) our research provides empirical evidence of the benefits of replicating critical human leg attributes in robotic design; and 3) we explain the design process for creating agile legged robots, the details that have been scantily covered in academic literature.


title: Lagrangian operator inference enhanced with structure-preserving machine learning for nonintrusive model reduction of mechanical systems

abstract: Complex mechanical systems often exhibit strongly nonlinear behavior due to the presence of nonlinearities in the energy dissipation mechanisms, material constitutive relationships, or geometric/connectivity mechanics. Numerical modeling of these systems leads to nonlinear full-order models that possess an underlying Lagrangian structure. This work proposes a Lagrangian operator inference method enhanced with structure-preserving machine learning to learn nonlinear reduced-order models (ROMs) of nonlinear mechanical systems. This two-step approach first learns the best-fit linear Lagrangian ROM via Lagrangian operator inference and then presents a structure-preserving machine learning method to learn nonlinearities in the reduced space. The proposed approach can learn a structure-preserving nonlinear ROM purely from data, unlike the existing operator inference approaches that require knowledge about the mathematical form of nonlinear terms. From a machine learning perspective, it accelerates the training of the structure-preserving neural network by providing an informed prior, and it reduces the computational cost of the network training by operating on the reduced space. The method is first demonstrated on two simulated examples: a conservative nonlinear rod model and a two-dimensional nonlinear membrane with nonlinear internal damping. Finally, the method is demonstrated on an experimental dataset consisting of digital image correlation measurements taken from a lap-joint beam structure from which a predictive model is learned that captures amplitude-dependent frequency and damping characteristics accurately. The numerical results demonstrate that the proposed approach yields generalizable nonlinear ROMs that exhibit bounded energy error, capture the nonlinear characteristics reliably, and provide accurate long-time predictions outside the training data regime.


title: How Do OSS Developers Utilize Architectural Solutions from Q&A Sites: An Empirical Study

abstract: Developers utilize programming-related knowledge (e.g., code snippets) on Q&A sites (e.g., Stack Overflow) that functionally matches the programming problems they encounter in their development. Despite extensive research on Q&A sites, being a high-level and important type of development-related knowledge, architectural solutions (e.g., architecture tactics) and their utilization are rarely explored. To fill this gap, we conducted a mixed-methods study that includes a mining study and a survey study. For the mining study, we mined 984 commits and issues (i.e., 821 commits and 163 issues) from 893 Open-Source Software (OSS) projects on GitHub that explicitly referenced architectural solutions from Stack Overflow (SO) and Software Engineering Stack Exchange (SWESE). For the survey study, we identified practitioners involved in the utilization of these architectural solutions and surveyed 227 of them to further understand how practitioners utilize architectural solutions from Q&A sites in their OSS development. Our main findings are that: (1) OSS practitioners use architectural solutions from Q&A sites to solve a large variety (15 categories) of architectural problems, wherein Component design issue, Architectural anti-pattern, and Security issue are dominant; (2) Seven categories of architectural solutions from Q&A sites have been utilized to solve those problems, among which Architectural refactoring, Use of frameworks, and Architectural tactic are the three most utilized architectural solutions; (3) Using architectural solutions from SO comes with a variety of challenges, e.g., OSS practitioners complain that they need to spend significant time to adapt such architectural solutions to address design concerns raised in their OSS development, and it is challenging to use architectural solutions that are not tailored to the design context of their OSS projects.


title: Boundary local integrability of rational functions in two variables

abstract: Motivated by studying boundary singularities of rational functions in two variables that are analytic on a domain, we investigate local integrability on $\mathbb{R}^2$ near $(0,0)$ of rational functions with denominator non-vanishing in the bi-upper half-plane but with an isolated zero (with respect to $\mathbb{R}^2$) at the origin. Building on work of Bickel-Pascoe-Sola, we give a necessary and sufficient test for membership in a local $L^{p}(\mathbb{R}^2)$ space and we give a complete description of all numerators $Q$ such that $Q/P$ is locally in a given $L^{p}$ space. As applications, we prove that every bounded rational function on the bidisk has partial derivatives belonging to $L^1$ on the two-torus. In addition, we give a new proof of a conjecture, started in Bickel-Knese-Pascoe-Sola and completed by Koll\'ar, characterizing the ideal of $Q$ such that $Q/P$ is locally bounded. A larger takeaway from this work is that a local model for stable polynomials we employ is a flexible tool and may be of use for other local questions about stable polynomials.


title: Optimizing Privacy and Utility Tradeoffs for Group Interests Through Harmonization

abstract: We propose a novel problem formulation to address the privacy-utility tradeoff, specifically when dealing with two distinct user groups characterized by unique sets of private and utility attributes. Unlike previous studies that primarily focus on scenarios where all users share identical private and utility attributes and often rely on auxiliary datasets or manual annotations, we introduce a collaborative data-sharing mechanism between two user groups through a trusted third party. This third party uses adversarial privacy techniques with our proposed data-sharing mechanism to internally sanitize data for both groups and eliminates the need for manual annotation or auxiliary datasets. Our methodology ensures that private attributes cannot be accurately inferred while enabling highly accurate predictions of utility features. Importantly, even if analysts or adversaries possess auxiliary datasets containing raw data, they are unable to accurately deduce private features. Additionally, our data-sharing mechanism is compatible with various existing adversarially trained privacy techniques. We empirically demonstrate the effectiveness of our approach using synthetic and real-world datasets, showcasing its ability to balance the conflicting goals of privacy and utility.


title: Clinical Trials Protocol Authoring using LLMs

abstract: This report embarks on a mission to revolutionize clinical trial protocol development through the integration of advanced AI technologies. With a focus on leveraging the capabilities of generative AI, specifically GPT-4, this initiative aimed to streamline and enhance the efficiency and accuracy of clinical trial protocols. The methodology encompassed a detailed analysis and preparation of comprehensive drug and study level metadata, followed by the deployment of GPT-4 for automated protocol section generation. Results demonstrated a significant improvement in protocol authoring, highlighted by increases in efficiency, accuracy, and the customization of protocols to specific trial requirements. Challenges encountered during model selection and prompt engineering were systematically addressed, leading to refined methodologies that capitalized on the advanced text generation capabilities of GPT-4. This project not only showcases the practical applications and benefits of generative AI in clinical trial design but also sets a foundation for future innovations in the field.


title: Spanners in Planar Domains via Steiner Spanners and non-Steiner Tree Covers

abstract: We study spanners in planar domains, including polygonal domains, polyhedral terrain, and planar metrics. Previous work showed that for any constant $\epsilon\in (0,1)$, one could construct a $(2+\epsilon)$-spanner with $O(n\log(n))$ edges (SICOMP 2019), and there is a lower bound of $\Omega(n^2)$ edges for any $(2-\epsilon)$-spanner (SoCG 2015). The main open question is whether a linear number of edges suffices and the stretch can be reduced to $2$. We resolve this problem by showing that for stretch $2$, one needs $\Omega(n\log n)$ edges, and for stretch $2+\epsilon$ for any fixed $\epsilon \in (0,1)$, $O(n)$ edges are sufficient. Our lower bound is the first super-linear lower bound for stretch $2$. En route to achieve our result, we introduce the problem of constructing non-Steiner tree covers for metrics, which is a natural variant of the well-known Steiner point removal problem for trees (SODA 2001). Given a tree and a set of terminals in the tree, our goal is to construct a collection of a small number of dominating trees such that for every two points, at least one tree in the collection preserves their distance within a small stretch factor. Here, we identify an unexpected threshold phenomenon around $2$ where a sharp transition from $n$ trees to $\Theta(\log n)$ trees and then to $O(1)$ trees happens. Specifically, (i) for stretch $ 2-\epsilon$, one needs $\Omega(n)$ trees; (ii) for stretch $2$, $\Theta(\log n)$ tree is necessary and sufficient; and (iii) for stretch $2+\epsilon$, a constant number of trees suffice. Furthermore, our lower bound technique for the non-Steiner tree covers of stretch $2$ has further applications in proving lower bounds for two related constructions in tree metrics: reliable spanners and locality-sensitive orderings. Our lower bound for locality-sensitive orderings matches the best upper bound (STOC 2022).


title: FGAIF: Aligning Large Vision-Language Models with Fine-grained AI Feedback

abstract: Large Vision-Language Models (LVLMs) have demonstrated proficiency in tackling a variety of visual-language tasks. However, current LVLMs suffer from misalignment between text and image modalities which causes three kinds of hallucination problems, i.e., object existence, object attribute, and object relationship. To tackle this issue, existing methods mainly utilize Reinforcement Learning (RL) to align modalities in LVLMs. However, they still suffer from three main limitations: (1) General feedback can not indicate the hallucination type contained in the response; (2) Sparse rewards only give the sequence-level reward for the whole response; and (3)Annotation cost is time-consuming and labor-intensive. To handle these limitations, we propose an innovative method to align modalities in LVLMs through Fine-Grained Artificial Intelligence Feedback (FGAIF), which mainly consists of three steps: AI-based Feedback Collection, Fine-grained Reward Model Training, and Reinforcement Learning with Fine-grained Reward. Specifically, We first utilize AI tools to predict the types of hallucination for each segment in the response and obtain a collection of fine-grained feedback. Then, based on the collected reward data, three specialized reward models are trained to produce dense rewards. Finally, a novel fine-grained feedback module is integrated into the Proximal Policy Optimization (PPO) algorithm. Extensive experiments are conducted on hallucination and general benchmarks, demonstrating the superior performance of our proposed method. Notably, compared with previous models trained with the RL-based aligning method, our proposed method is effective even with fewer parameters.


title: Initial Exploration of Zero-Shot Privacy Utility Tradeoffs in Tabular Data Using GPT-4

abstract: We investigate the application of large language models (LLMs), specifically GPT-4, to scenarios involving the tradeoff between privacy and utility in tabular data. Our approach entails prompting GPT-4 by transforming tabular data points into textual format, followed by the inclusion of precise sanitization instructions in a zero-shot manner. The primary objective is to sanitize the tabular data in such a way that it hinders existing machine learning models from accurately inferring private features while allowing models to accurately infer utility-related attributes. We explore various sanitization instructions. Notably, we discover that this relatively simple approach yields performance comparable to more complex adversarial optimization methods used for managing privacy-utility tradeoffs. Furthermore, while the prompts successfully obscure private features from the detection capabilities of existing machine learning models, we observe that this obscuration alone does not necessarily meet a range of fairness metrics. Nevertheless, our research indicates the potential effectiveness of LLMs in adhering to these fairness metrics, with some of our experimental results aligning with those achieved by well-established adversarial optimization techniques.


title: Seeds and Sequences of Element Abundances in Solar Energetic Particle Events

abstract: Solar energetic particles (SEPs) in the small "impulsive" events, primarily accelerated during magnetic reconnection in solar jets, have strong enhancements of the abundances of increasingly heavy elements. In contrast, the shock acceleration of ambient coronal plasma in most large "gradual" SEP events produces flat or decreasing abundances vs. element mass-to-charge ratios A/Q. However, heavy-ion enhancements in the largest gradual SEP events can occur in two ways: (1) strong streaming of protons away from the shock amplifies Alfven waves that preferentially scatter and retard protons near the shock while increasingly-heavy ions can leak out, and (2) strong shock waves re-accelerate SEPs fed from persistent impulsive SEP events streaming from some active regions, with their pre-enhanced heavy ions becoming dominant. Power-law fits of abundance enhancements vs. A/Q can distinguish the latter events by the presence of both impulsive and coronal-seed components, and the best-fit charges Q define characteristic source temperatures. Intense impulsively-seeded events can occur in sequences fed from a single persistent active-region as it rotates across the disk of the Sun. Three week-long event sequences, each producing two or three very large events, occur early in the strong solar-cycle 23. The weak solar-cycle 24, produces only one impulsively-seeded event sequence - perhaps a dearth of both impulsive seeds and sufficiently strong shocks. Solar cycle 25 has produced an unusual active period of short strong impulsive events In contrast, there are other active regions where large events alternate SEPs with and without impulsively-seeded sources. We also find that events with moderate Alfven-wave trapping near the shock can release ions slowly or rapidly as a function of A/Q. This A/Q-dependent trapping acts almost as a magnetic spectrometer that separates elements in space and time.


title: PlateSegFL: A Privacy-Preserving License Plate Detection Using Federated Segmentation Learning

abstract: Automatic License Plate Recognition (ALPR) is an integral component of an intelligent transport system with extensive applications in secure transportation, vehicle-to-vehicle communication, stolen vehicles detection, traffic violations, and traffic flow management. The existing license plate detection system focuses on one-shot learners or pre-trained models that operate with a geometric bounding box, limiting the model's performance. Furthermore, continuous video data streams uploaded to the central server result in network and complexity issues. To combat this, PlateSegFL was introduced, which implements U-Net-based segmentation along with Federated Learning (FL). U-Net is well-suited for multi-class image segmentation tasks because it can analyze a large number of classes and generate a pixel-level segmentation map for each class. Federated Learning is used to reduce the quantity of data required while safeguarding the user's privacy. Different computing platforms, such as mobile phones, are able to collaborate on the development of a standard prediction model where it makes efficient use of one's time; incorporates more diverse data; delivers projections in real-time; and requires no physical effort from the user; resulting around 95% F1 score.


title: Co-design Accessible Public Robots: Insights from People with Mobility Disability, Robotic Practitioners and Their Collaborations

abstract: Sidewalk robots are increasingly common across the globe. Yet, their operation on public paths poses challenges for people with mobility disabilities (PwMD) who face barriers to accessibility, such as insufficient curb cuts. We interviewed 15 PwMD to understand how they perceive sidewalk robots. Findings indicated that PwMD feel they have to compete for space on the sidewalk when robots are introduced. We next interviewed eight robotics practitioners to learn about their attitudes towards accessibility. Practitioners described how issues often stem from robotic companies addressing accessibility only after problems arise. Both interview groups underscored the importance of integrating accessibility from the outset. Building on this finding, we held four co-design workshops with PwMD and practitioners in pairs. These convenings brought to bear accessibility needs around robots operating in public spaces and in the public interest. Our study aims to set the stage for a more inclusive future around public service robots.


title: Skill Transfer and Discovery for Sim-to-Real Learning: A Representation-Based Viewpoint

abstract: We study sim-to-real skill transfer and discovery in the context of robotics control using representation learning. We draw inspiration from spectral decomposition of Markov decision processes. The spectral decomposition brings about representation that can linearly represent the state-action value function induced by any policies, thus can be regarded as skills. The skill representations are transferable across arbitrary tasks with the same transition dynamics. Moreover, to handle the sim-to-real gap in the dynamics, we propose a skill discovery algorithm that learns new skills caused by the sim-to-real gap from real-world data. We promote the discovery of new skills by enforcing orthogonal constraints between the skills to learn and the skills from simulators, and then synthesize the policy using the enlarged skill sets. We demonstrate our methodology by transferring quadrotor controllers from simulators to Crazyflie 2.1 quadrotors. We show that we can learn the skill representations from a single simulator task and transfer these to multiple different real-world tasks including hovering, taking off, landing and trajectory tracking. Our skill discovery approach helps narrow the sim-to-real gap and improve the real-world controller performance by up to 30.2%.


title: Facial Affective Behavior Analysis with Instruction Tuning

abstract: Facial affective behavior analysis (FABA) is crucial for understanding human mental states from images. However, traditional approaches primarily deploy models to discriminate among discrete emotion categories, and lack the fine granularity and reasoning capability for complex facial behaviors. The advent of Multi-modal Large Language Models (MLLMs) has been proven successful in general visual understanding tasks. However, directly harnessing MLLMs for FABA is challenging due to the scarcity of datasets and benchmarks, neglecting facial prior knowledge, and low training efficiency. To address these challenges, we introduce (i) an instruction-following dataset for two FABA tasks, e.g., emotion and action unit recognition, (ii) a benchmark FABA-Bench with a new metric considering both recognition and generation ability, and (iii) a new MLLM "EmoLA" as a strong baseline to the community. Our initiative on the dataset and benchmarks reveal the nature and rationale of facial affective behaviors, i.e., fine-grained facial movement, interpretability, and reasoning. Moreover, to build an effective and efficient FABA MLLM, we introduce a facial prior expert module with face structure knowledge and a low-rank adaptation module into pre-trained MLLM. We conduct extensive experiments on FABA-Bench and four commonly-used FABA datasets. The results demonstrate that the proposed facial prior expert can boost the performance and EmoLA achieves the best results on our FABA-Bench. On commonly-used FABA datasets, EmoLA is competitive rivaling task-specific state-of-the-art models.


title: Cooking Poisons: Thinking Laterally with Game Theory

abstract: We revive an old lateral-thinking puzzle by Michael Rabin, involving poisons with strange properties. We show that the puzzle admits several unintended solutions that are just as interesting as the intended solution. Analyzing these alternative solutions using game theory yields surprisingly subtle results and several unanswered questions.


title: Mean field equations arising from random vortex dynamics

abstract: We consider Mckean-Vlasov type stochastic differential equations with multiplicative noise arising from the random vortex method. Such an equation can be viewed as the mean-field limit of interacting particle systems with singular interacting kernels such as the Biot-Savart kernel. A new estimate for the transition probability density of diffusion processes will be formulated to handle the singularity of the interacting kernel. The existence and uniqueness of the weak solution of such SDEs will be established as the main result.


title: Percentile Criterion Optimization in Offline Reinforcement Learning

abstract: In reinforcement learning, robust policies for high-stakes decision-making problems with limited data are usually computed by optimizing the \emph{percentile criterion}. The percentile criterion is approximately solved by constructing an \emph{ambiguity set} that contains the true model with high probability and optimizing the policy for the worst model in the set. Since the percentile criterion is non-convex, constructing ambiguity sets is often challenging. Existing work uses \emph{Bayesian credible regions} as ambiguity sets, but they are often unnecessarily large and result in learning overly conservative policies. To overcome these shortcomings, we propose a novel Value-at-Risk based dynamic programming algorithm to optimize the percentile criterion without explicitly constructing any ambiguity sets. Our theoretical and empirical results show that our algorithm implicitly constructs much smaller ambiguity sets and learns less conservative robust policies.