title: Quaternion-Aligned Electroanatomical Models of the Murine Atria from Standard-Output Functional and Structural Imaging

abstract: Our evolving understanding of the heterocellular cardiac environment demands innovative tools for its study. While murine models are lauded for their versatility and accessibility, they are constrained by scale; tools designed for larger subjects are unsuitable in mice. Advanced techniques, such as optical trans-membrane potential mapping and three-dimensional microscopy may fill this void. To enhance the utility of these methods, we developed a novel cross-correlation technique grounded in quaternion mathematics. The successful integration of multimodal observations represents a significant advancement in our ability to study cardiac electrophysiology in murine models, providing insight into mechanisms previously unexplored due to technical constraints.


title: MoSA: Mixture of Sparse Adapters for Visual Efficient Tuning

abstract: With the rapid growth in the scale of pre-trained foundation models, parameter-efficient fine-tuning techniques have gained significant attention, among which Adapter Tuning is the most widely used. Despite achieving efficiency, it still underperforms full fine-tuning, and the performance improves at the cost of an increase in parameters. Recent efforts have either focused on training multiple adapter experts to increase model capacity or on pruning adapters to achieve parameter efficiency. However, both approaches introduce more parameters compared to the original adapter, hence are not computationally efficient. Motivated by this, we propose Mixture of Sparse Adapters, or MoSA, as a novel Adapter Tuning method to fully unleash the potential of each parameter in the adapter. We first split the standard adapter into multiple non-overlapping modules, then stochastically activate them for sparse training, and finally merge them to form a complete adapter after tuning. In this way, MoSA can achieve significantly better performance than standard adapters without any additional computational or storage overhead. Furthermore, we propose a hierarchical sparse strategy to better leverage limited training data. Extensive experiments on a series of 27 visual tasks demonstrate that MoSA consistently outperforms other Adapter Tuning methods as well as other baselines by a large margin. Furthermore, MoSA brings consistent improvements across various model scales, architectures, and different PEFT methods. Code will be released.


title: High-rate electron detectors to study Compton scattering in non-perturbative QED

abstract: Research in non-perturbative QED in strong-field backgrounds has gained interest in recent years, due to advances in high-intensity laser technologies that make extreme fields accessible in the laboratory. One key signature of strong-field QED is non-linear Compton scattering in collisions between a relativistic electron beam and a high-intensity laser pulse. In the vicinity of strong fields, the electron gains a larger effective mass, which leads to a laser-intensity-dependent shift of the kinematic Compton edge and the appearance of higher-order harmonics in the energy spectrum. One of the challenges of measuring the Compton energy spectrum in laser-electron-beam collisions is the enormous flux of outgoing Compton-scattered electrons and photons, ranging from $10^3$ to $10^9$ particles per collision. We present a combined detector system for high-rate Compton electron detection in the context of the planned LUXE experiment, consisting of a spatially segmented gas-filled Cherenkov detector and a scintillator screen imaged by an optical camera system. The detectors are placed in a forward dipole spectrometer to resolve the electron energy spectrum. Finally, we discuss techniques to reconstruct the non-linear Compton electron energy spectrum from the high-rate electron detection system and to extract the features of non-perturbative QED from the spectrum.


title: Shallow Bound States and Hints for Broad Resonances with Quark Content $\bar{b}\bar{c}ud$ in $B$-$\bar{D}$ and $B^*$-$\bar{D}$ Scattering from Lattice QCD

abstract: We present the first determination of the energy dependence of the $B$-$\bar{D}$ and $B^*$-$\bar{D}$ isospin-0, $S$-wave scattering amplitudes both below and above the thresholds using lattice QCD, which allows us to investigate rigorously whether mixed bottom-charm $\bar{b}\bar{c}ud$ tetraquarks exist as bound states or resonances. The scattering phase shifts are obtained using L\"uscher's method from the energy spectra in two different volumes. To ensure that no relevant energy level is missed, we use large, symmetric $7 \times 7$ and $8 \times 8$ correlation matrices that include, at both source and sink, $B^{(*)}$-$\bar{D}$ scattering operators with the lowest three or four possible back-to-back momenta in addition to local $\bar{b}\bar{c}ud$ operators. We fit the energy dependence of the extracted scattering phase shifts using effective-range expansions. We observe sharp peaks in the $B^{(*)}$-$\bar{D}$ scattering rates close to the thresholds, which are associated with shallow bound states, either genuine or virtual, a few MeV or less below the $B^{(*)}$-$\bar{D}$ thresholds. In addition, we find hints for resonances with masses of order $100$ MeV above the thresholds and decay widths of order $200$ MeV.


title: Symmetry resolution of the computable cross-norm negativity of two disjoint intervals in the massless Dirac field theory

abstract: We investigate how entanglement in the mixed state of a quantum field theory can be described using the cross-computable norm or realignment (CCNR) criterion, employing a recently introduced negativity. We study its symmetry resolution for two disjoint intervals in the ground state of the massless Dirac fermion field theory, extending previous results for the case of adjacent intervals. By applying the replica trick, this problem boils down to computing the charged moments of the realignment matrix. We show that, for two disjoint intervals, they correspond to the partition function of the theory on a torus with a non-contractible charged loop. This confers a great advantage compared to the negativity based on the partial transposition, for which the Riemann surfaces generated by the replica trick have higher genus. This result empowers us to carry out the replica limit, yielding analytic expressions for the symmetry-resolved CCNR negativity. Furthermore, these expressions provide also the symmetry decomposition of other related quantities such as the operator entanglement of the reduced density matrix or the reflected entropy.


title: A Diffusion Model of Dynamic Participant Inflow Management

abstract: This paper studies a diffusion control problem motivated by challenges faced by public health agencies who run clinics to serve the public. A key challenge for these agencies is to motivate individuals to participate in the services provided. They must manage the flow of (voluntary) participants so that the clinic capacity is highly utilized, but not overwhelmed. The organization can deploy costly promotion activities to increase the inflow of participants. Ideally, the system manager would like to have enough participants waiting in a queue to serve as many individuals as possible and efficiently use clinic capacity. However, if too many participants sign up, resulting in a long wait, participants may become irritated and hesitate to participate again in the future. We develop a diffusion model of managing participant inflow mechanisms. Each mechanism corresponds to choosing a particular drift rate parameter for the diffusion model. The system manager seeks to balance three different costs optimally: i) a linear holding cost that captures the congestion concerns; ii) an idleness penalty corresponding to wasted clinic capacity and negative impact on public health, and iii) costs of promotion activities. We show that a nested-threshold policy for deployment of participant inflow mechanisms is optimal under the long-run average cost criterion. In this policy, the system manager progressively deploys mechanisms in increasing order of cost, as the number of participants in the queue decreases. We derive explicit formulas for the queue length thresholds that trigger each promotion activity, providing the system manager with guidance on when to use each mechanism.


title: LivePhoto: Real Image Animation with Text-guided Motion Control

abstract: Despite the recent progress in text-to-video generation, existing studies usually overlook the issue that only spatial contents but not temporal motions in synthesized videos are under the control of text. Towards such a challenge, this work presents a practical system, named LivePhoto, which allows users to animate an image of their interest with text descriptions. We first establish a strong baseline that helps a well-learned text-to-image generator (i.e., Stable Diffusion) take an image as a further input. We then equip the improved generator with a motion module for temporal modeling and propose a carefully designed training pipeline to better link texts and motions. In particular, considering the facts that (1) text can only describe motions roughly (e.g., regardless of the moving speed) and (2) text may include both content and motion descriptions, we introduce a motion intensity estimation module as well as a text re-weighting module to reduce the ambiguity of text-to-motion mapping. Empirical evidence suggests that our approach is capable of well decoding motion-related textual instructions into videos, such as actions, camera movements, or even conjuring new contents from thin air (e.g., pouring water into an empty glass). Interestingly, thanks to the proposed intensity learning mechanism, our system offers users an additional control signal (i.e., the motion intensity) besides text for video customization.


title: Full Counting Statistics of Charge in Quenched Quantum Gases

abstract: Unless constrained by symmetry, measurement of an observable on an ensemble of identical quantum systems returns a distribution of values which are encoded in the full counting statistics. While the mean value of this distribution is important for determining certain properties of a system, the full distribution can also exhibit universal behavior. In this paper we study the full counting statistics of particle number in one dimensional interacting Bose and Fermi gases which have been quenched far from equilibrium. In particular we consider the time evolution of the Lieb-Liniger and Gaudin-Yang models quenched from a Bose-Einstein condensate initial state and calculate the full counting statistics of the particle number within a subsystem. We show that the scaled cumulants of the charge in the initial state and at long times are simply related and in particular the latter are independent of the model parameters. Using the quasi-particle picture we obtain the full time evolution of the cumulants and find that although their endpoints are fixed, the finite time dynamics depends strongly on the model parameters. We go on to construct the scaled cumulant generating functions and from this determine the limiting charge probability distributions at long time which are shown to exhibit distinct non-trivial and non-Gaussian fluctuations and large deviations.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el quant-ph


title: Assessing Nonlinear Diffusion Acceleration for Boltzmann Fokker Planck Equation in Slab Geometry

abstract: The convergence of Boltzmann Fokker Planck solution can become arbitrarily slow with iterative procedures like source iteration. This paper derives and investigates a nonlinear diffusion acceleration scheme for the solution of the Boltzmann Fokker Planck equation in slab geometry. This method is a conventional high order low order scheme with a traditional diffusion-plus-drift low-order system. The method, however, differs from the earlier variants as the definition of the low order equation, which is adjusted according to the zeroth and first moments of the Boltzmann Fokker Planck equation. For the problems considered, we observe that the NDA-accelerated solution follows the unaccelerated well and provides roughly an order of magnitude savings in iteration count and runtime compared to source iteration.


title: WhisBERT: Multimodal Text-Audio Language Modeling on 100M Words

abstract: Training on multiple modalities of input can augment the capabilities of a language model. Here, we ask whether such a training regime can improve the quality and efficiency of these systems as well. We focus on text--audio and introduce Whisbert, which is inspired by the text--image approach of FLAVA (Singh et al., 2022). In accordance with Babylm guidelines (Warstadt et al., 2023), we pretrain Whisbert on a dataset comprising only 100 million words plus their corresponding speech from the word-aligned version of the People's Speech dataset (Galvez et al., 2021). To assess the impact of multimodality, we compare versions of the model that are trained on text only and on both audio and text simultaneously. We find that while Whisbert is able to perform well on multimodal masked modeling and surpasses the Babylm baselines in most benchmark tasks, it struggles to optimize its complex objective and outperform its text-only Whisbert baseline.


title: Higher regularity of solutions to fully nonlinear elliptic equations

abstract: We establish higher regularity properties of solutions to fully nonlinear elliptic equations at interior critical points. The key novelty of our estimates lies in the fact that they yield smoothness properties that go beyond the inherent regularity limitations dictated by the heterogeneity of the problem. We explore various scenarios, revealing a plethora of improved regularity estimates. Notably, depending on the model's parameters, we establish estimates that transcend the natural regularity regime of the model, from $C^{0,\alpha_0}$ to $C^{1,\alpha_1}$ and further to $C^{2,\alpha_2}$, with the potential for even higher estimates.


title: Hook lengths in self-conjugate partitions

abstract: In 2010, G.-N. Han obtained the generating function for the number of size $t$ hooks among integer partitions. Here we obtain these generating functions for self-conjugate partitions, which are particularly elegant for even $t$. If $n_t(\lambda)$ is the number of size $t$ hooks in a partition $\lambda,$ then for even $t$ we have $$\sum_{\lambda\in \mathcal{SC}} x^{n_t(\lambda)} q^{\vert\lambda\vert} = (-q;q^2)_{\infty} \cdot ((1-x^2)q^{2t};q^{2t})_{\infty}^{\frac{t}2}. $$ As a consequence, if $a_t^*(n)$ is the number of such hooks among the self-conjugate partitions of $n,$ then for even $t$ we obtain the simple formula $$ a_t^*(n)=t\sum_{j\geq 1} q^*(n-2tj), $$ where $q^*(m)$ is the number of partitions of $m$ into distinct odd parts. As a corollary, we find that $t\mid a_t^*(n),$ which confirms a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.


title: WoVoGen: World Volume-aware Diffusion for Controllable Multi-camera Driving Scene Generation

abstract: Generating multi-camera street-view videos is critical for augmenting autonomous driving datasets, addressing the urgent demand for extensive and varied data. Due to the limitations in diversity and challenges in handling lighting conditions, traditional rendering-based methods are increasingly being supplanted by diffusion-based methods. However, a significant challenge in diffusion-based methods is ensuring that the generated sensor data preserve both intra-world consistency and inter-sensor coherence. To address these challenges, we combine an additional explicit world volume and propose the World Volume-aware Multi-camera Driving Scene Generator (WoVoGen). This system is specifically designed to leverage 4D world volume as a foundational element for video generation. Our model operates in two distinct phases: (i) envisioning the future 4D temporal world volume based on vehicle control sequences, and (ii) generating multi-camera videos, informed by this envisioned 4D temporal world volume and sensor interconnectivity. The incorporation of the 4D world volume empowers WoVoGen not only to generate high-quality street-view videos in response to vehicle control inputs but also to facilitate scene editing tasks.


title: From Augmentation to Decomposition: A New Look at CUPED in 2023

abstract: Ten years ago, CUPED (Controlled Experiments Utilizing Pre-Experiment Data) mainstreamed the idea of variance reduction leveraging pre-experiment covariates. Since its introduction, it has been implemented, extended, and modernized by major online experimentation platforms. Many researchers and practitioners often interpret CUPED as a regression adjustment. In this article, we clarify its similarities and differences to regression adjustment and present CUPED as a more general augmentation framework which is closer to the spirit of the 2013 paper. We show that the augmentation view naturally leads to cleaner developments of variance reduction beyond simple average metrics, including ratio metrics and percentile metrics. Moreover, the augmentation view can go beyond using pre-experiment data and leverage in-experiment data, leading to significantly larger variance reduction. We further introduce metric decomposition using approximate null augmentation (ANA) as a mental model for in-experiment variance reduction. We study it under both a Bayesian framework and a frequentist optimal proxy metric framework. Metric decomposition arises naturally in conversion funnels, so this work has broad applicability.


title: Drag-A-Video: Non-rigid Video Editing with Point-based Interaction

abstract: Video editing is a challenging task that requires manipulating videos on both the spatial and temporal dimensions. Existing methods for video editing mainly focus on changing the appearance or style of the objects in the video, while keeping their structures unchanged. However, there is no existing method that allows users to interactively ``drag'' any points of instances on the first frame to precisely reach the target points with other frames consistently deformed. In this paper, we propose a new diffusion-based method for interactive point-based video manipulation, called Drag-A-Video. Our method allows users to click pairs of handle points and target points as well as masks on the first frame of an input video. Then, our method transforms the inputs into point sets and propagates these sets across frames. To precisely modify the contents of the video, we employ a new video-level motion supervision to update the features of the video and introduce the latent offsets to achieve this update at multiple denoising timesteps. We propose a temporal-consistent point tracking module to coordinate the movement of the points in the handle point sets. We demonstrate the effectiveness and flexibility of our method on various videos. The website of our work is available here: https://drag-a-video.github.io/.


title: Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing

abstract: Perception, Planning, and Control form the essential components of autonomy in advanced air mobility. This work advances the holistic integration of these components to enhance the performance and robustness of the complete cyber-physical system. We adapt Perception Simplex, a system for verifiable collision avoidance amidst obstacle detection faults, to the vertical landing maneuver for autonomous air mobility vehicles. We improve upon this system by replacing static assumptions of control capabilities with dynamic confirmation, i.e., real-time confirmation of control limitations of the system, ensuring reliable fulfillment of safety maneuvers and overrides, without dependence on overly pessimistic assumptions. Parameters defining control system capabilities and limitations, e.g., maximum deceleration, are continuously tracked within the system and used to make safety-critical decisions. We apply these techniques to propose a verifiable collision avoidance solution for autonomous aerial mobility vehicles operating in cluttered and potentially unsafe environments.


title: Gravitational Radiation from an Accelerating Massive Particle in General Relativity

abstract: A comprehensive description is given of a space--time model of an accelerating massive particle. The particle radiates gravitational waves with optical shear. The wave fronts are smoothly deformed spheres and the particle experiences radiation reaction, similar to an accelerating charged particle, and a loss of mass described by a Bondi mass--loss formula. The space--time is one of the Bondi--Sachs forms but presented in a form here which is particularly suited to the construction of the model particle. All details of the calculations are given. A detailed examination of the gravitational field of the particle is provided which illustrates the presence of gravitational radiation and also exhibits, in the form of a type of singularity found in some Robinson--Trautman space--times, the absence of an external field to supply energy to the particle.


title: Switching LPV Approach for Analysis and Control of TCP-based Cyber-Physical Systems under DoS Attack

abstract: Cyberphysical systems (CPSs) integrate controllers, sensors, actuators, and communication networks. Tight integration with communication networks makes CPSs vulnerable to cyberattacks. In this paper, we investigate the impact of denial of service (DoS) attack on the stability of cyber physical systems by considering the transmission control protocol (TCP) and extract a sufficient stability condition in linear matrix inequality (LMI) form. To this end, we model the TCP-CPS under DoS attack as a switching LPV time delay system by using the Markov jump model. Then, we design parameter dependent stabilizing controller for CPS under DoS attack, by considering the network parameters.


title: Quantum information spreading in generalised dual-unitary circuits

abstract: We study the spreading of quantum information in a recently introduced family of brickwork quantum circuits that generalises the dual-unitary class. These circuits are unitary in time, while their spatial dynamics is unitary only in a restricted subspace. First, we show that local operators spread at the speed of light as in dual-unitary circuits, i.e., the butterfly velocity takes the maximal value allowed by the geometry of the circuit. Then, we prove that the entanglement spreading can still be characterised exactly for a family of compatible initial states (in fact, for an extension of the compatible family of dual-unitary circuits) and that the asymptotic entanglement slope is again independent on the R\'enyi index. Remarkably, however, we find that the entanglement velocity is generically smaller than one. We use these properties to find a closed-form expression for the entanglement membrane in these circuits.

categories: cond-mat.stat-mech hep-th math-ph math.MP quant-ph


title: Fast CT anatomic localization algorithm

abstract: Automatically determining the position of every slice in a CT scan is a basic yet powerful capability allowing fast retrieval of region of interest for visual inspection and automated analysis. Unlike conventional localization approaches which work at the slice level, we directly localize only a fraction of the slices and and then fit a linear model which maps slice index to its estimated axial anatomical position based on those slices. The model is then used to assign axial position to every slices of the scan. This approach proves to be both computationally efficient, with a typical processing time of less than a second per scan (regardless of its size), accurate, with a typical median localization error of 1 cm, and robust to different noise sources, imaging protocols, metal induced artifacts, anatomical deformations etc. Another key element of our approach is the introduction of a mapping confidence score. This score acts as a fail safe mechanism which allows a rejection of unreliable localization results in rare cases of anomalous scans. Our algorithm sets new State Of The Art results in terms of localization accuracy. It also offers a decrease of two orders of magnitude in processing time with respect to all published processing times. It was designed to be invariant to various scan resolutions, scan protocols, patient orientations, strong artifacts and various deformations and abnormalities. Additionally, our algorithm is the first one to the best of our knowledge which supports the entire body from head to feet and is not confined to specific anatomical region. This algorithm was tested on thousands of scans and proves to be very reliable and useful as a preprocessing stage for many applications.


title: Zero and extremely low metallicity rotating massive stars: evolution, explosion, and nucleosynthesis up to the heaviest nuclei

abstract: We present the evolution and the explosion of two massive stars, 15 and 25 M$_{\odot}$, spanning a wide range of initial rotation velocities (from 0 to 800 km/s) and three initial metallicities: Z=0 ([Fe/H]=$-\infty$), $3.236\times10^{-7}$ ([Fe/H]=-5), and $3.236\times10^{-6}$ ([Fe/H]=-4). A very large nuclear network of 524 nuclear species extending up to Bi has been adopted. Our main findings may be summarized as follows: a) rotating models above Z=0 are able to produce nuclei up to the neutron closure shell at N=50, and in a few cases up to N=82; b) rotation drastically inhibits the penetration of the He convective shell in the H rich mantle, phenomenon often found in zero metallicity non rotating massive stars; c) vice versa rotation favors the penetration of the O convective shell in the C rich layers with the consequence of altering significantly the yields of the products of the C, Ne, and O burning; d) none of the models that reach the critical velocity while in H burning, loses more the 1 M$_{\odot}$ in this phase; e) conversely, almost all models able to reach their Hayashi track exceed the Eddington luminosity and lose dynamically almost all their H rich mantle. These models suggest that rotating massive stars may have contributed significantly to the synthesis of the heavy nuclei in the first phase of enrichment of the interstellar medium, i.e., at early times.


title: Striking the Balance: Life Insurance Timing and Asset Allocation in Financial Planning

abstract: This paper investigates the consumption and investment decisions of an individual facing uncertain lifespan and stochastic labor income within a Black-Scholes market framework. A key aspect of our study involves the agent's option to choose when to acquire life insurance for bequest purposes. We examine two scenarios: one with a fixed bequest amount and another with a controlled bequest amount. Applying duality theory and addressing free-boundary problems, we analytically solve both cases, and provide explicit expressions for value functions and optimal strategies in both cases. In the first scenario, where the bequest amount is fixed, distinct outcomes emerge based on different levels of risk aversion parameter $\gamma$: (i) the optimal time for life insurance purchase occurs when the agent's wealth surpasses a critical threshold if $\gamma \in (0,1)$, or (ii) life insurance should be acquired immediately if $\gamma>1$. In contrast, in the second scenario with a controlled bequest amount, regardless of $\gamma$ values, immediate life insurance purchase proves to be optimal.


title: An alternating peak-optimization method for optimal trajectory generation of quadrotor drones

abstract: In this paper, we propose an alternating optimization method to address a time-optimal trajectory generation problem. Different from the existing solutions, our approach introduces a new formulation that minimizes the overall trajectory running time while maintaining the polynomial smoothness constraints and incorporating hard limits on motion derivatives to ensure feasibility. To address this problem, an alternating peak-optimization method is developed, which splits the optimization process into two sub-optimizations: the first sub-optimization optimizes polynomial coefficients for smoothness, and the second sub-optimization adjusts the time allocated to each trajectory segment. These are alternated until a feasible minimum-time solution is found. We offer a comprehensive set of simulations and experiments to showcase the superior performance of our approach in comparison to existing methods. A collection of demonstration videos with real drone flying experiments can be accessed at https://www.youtube.com/playlist?list=PLQGtPFK17zUYkwFT-fr0a8E49R8Uq712l .


title: The Chiral Separation Effect from lattice QCD at the physical point

abstract: In this paper we study the Chiral Separation Effect by means of first-principles lattice QCD simulations. For the first time in the literature, we determine the continuum limit of the associated conductivity using 2+1 flavors of dynamical staggered quarks at physical masses. The results reveal a suppression of the conductivity in the confined phase and a gradual enhancement toward the perturbative value for high temperatures. In addition to our dynamical setup, we also investigate the impact of the quenched approximation on the conductivity, using both staggered and Wilson quarks. Finally, we highlight the relevance of employing conserved vector and anomalous axial currents in the lattice simulations.


title: Calibrating dimension reduction hyperparameters in the presence of noise

abstract: The goal of dimension reduction tools is to construct a low-dimensional representation of high-dimensional data. These tools are employed for a variety of reasons such as noise reduction, visualization, and to lower computational costs. However, there is a fundamental issue that is discussed in other modeling problems that is often overlooked in dimension reduction -- overfitting. In the context of other modeling problems, techniques such as feature-selection, cross-validation, and regularization are employed to combat overfitting, but rarely are such precautions taken when applying dimension reduction. Prior applications of the two most popular non-linear dimension reduction methods, t-SNE and UMAP, fail to acknowledge data as a combination of signal and noise when assessing performance. These methods are typically calibrated to capture the entirety of the data, not just the signal. In this paper, we demonstrate the importance of acknowledging noise when calibrating hyperparameters and present a framework that enables users to do so. We use this framework to explore the role hyperparameter calibration plays in overfitting the data when applying t-SNE and UMAP. More specifically, we show previously recommended values for perplexity and n_neighbors are too small and overfit the noise. We also provide a workflow others may use to calibrate hyperparameters in the presence of noise.


title: Remarks on the spectra of minimal hypersurfaces in the hyperbolic space

abstract: We compute the Laplacian spectra of singular area-minimising hypersurfaces in the hyperbolic space with prescribed asymptotic data. We also obtain similar results in higher codimension, and explore related extremal properties of the bottom of the spectrum.


title: Geometric realisation over aspherical groups

abstract: We prove that the direct sums of extensions of scalars of relation modules are geometrically realisable as the second homotopy group of a finite 2-complex. We use this to exhibit a finite 2-complex with fundamental group the $(10,15)$ torus knot group and non-free $\pi_2$, yielding exotic presentations of a group for which no such examples had previously been known. We conclude by constructing stably free non-free modules over an infinite family of Baumslag-Solitar groups; it remains to determine whether these modules are geometrically realisable by finite 2-complexes.


title: LLaVA-Grounding: Grounded Visual Chat with Large Multimodal Models

abstract: With the recent significant advancements in large multi-modal models (LMMs), the importance of their grounding capability in visual chat is increasingly recognized. Despite recent efforts to enable LMMs to support grounding, their capabilities for grounding and chat are usually separate, and their chat performance drops dramatically when asked to ground. The problem is the lack of a dataset for grounded visual chat (GVC). Existing grounding datasets only contain short captions. To address this issue, we have created GVC data that allows for the combination of grounding and chat capabilities. To better evaluate the GVC capabilities, we have introduced a benchmark called Grounding-Bench. Additionally, we have proposed a model design that can support GVC and various types of visual prompts by connecting segmentation models with language models. Experimental results demonstrate that our model outperforms other LMMs on Grounding-Bench. Furthermore, our model achieves competitive performance on classic grounding benchmarks like RefCOCO/+/g and Flickr30K Entities. Our code will be released at https://github.com/UX-Decoder/LLaVA-Grounding .


title: Minkowski content estimates for generic area minimizing hypersurfaces

abstract: Let $\Gamma$ be a smooth, closed, oriented, $(n-1)$-dimensional submanifold of $\mathbb{R}^{n+1}$. It was shown by Chodosh-Mantoulidis-Schulze that one can perturb $\Gamma$ to a nearby $\Gamma'$ such that all minimizing currents with boundary $\Gamma'$ are smooth away from a set with Hausdorff dimension less than $n-9$. We prove that the perturbation can be made such that the singular set of the minimizing current with boundary $\Gamma'$ has Minkowski dimension less than $n-9$.


title: Experimental and Numerical Investigation of Porous Bleed Control for Supersonic/Subsonic Flows, and Shock-Wave/Boundary-Layer Interactions

abstract: This paper presents a comprehensive experimental and numerical investigation into the control of boundary layers using porous bleed systems. The study focuses on both supersonic and subsonic flow regimes, as well as on the control of shock-wave/boundary-layer interactions. By simplifying this complex problem into two separate scenarios, the research establishes the necessity of individually characterizing bleed systems for both supersonic and subsonic flow regimes due to variations in the flow topology within the bleed holes. In supersonic conditions, a strong agreement between experimental and numerical results validates the effectiveness of porous bleed in controlling boundary layers. Notably, three-dimensional effects are experimentally demonstrated, and variations of the boundary-layer profiles along the span are the first time experimentally proven. The study extends its scope to subsonic flows, revealing that while boundary-layer bleeding enhances flow momentum near the wall, mass removal induces a decrease in momentum in the outer boundary layer and external flow. The research also explores shock-wave/boundary-layer interaction control, achieving a remarkable alignment between simulations and experiments. The findings endorse the use of Reynolds-Averaged Navier-Stokes simulations for studying porous bleed systems in various flow conditions, providing valuable insights to enhance bleed models, especially in the context of shock-wave/boundary-layer interaction control.


title: Simple evolving random graphs

abstract: We study the evolution of graphs densifying by adding edges: Two vertices are chosen randomly, and an edge is (i) established if each vertex belongs to a tree; (ii) established with probability $p$ if only one vertex belongs to a tree; (iii) an attempt fails if both vertices belong to unicyclic components. Emerging simple random graphs contain only trees and unicycles. In the thermodynamic limit of an infinite number of vertices, the fraction of vertices in unicycles undergoes a phase transition resembling a percolation transition in classical random graphs. In classical random graphs, a complex giant component born at the transition eventually engulfs all finite components and densifies forever. The evolution of simple random graphs freezes when trees disappear. We quantify simple random graphs in the supercritical phase and the properties of the frozen state.

categories: math.PR cond-mat.dis-nn cond-mat.stat-mech physics.soc-ph


title: Longitudinal Assessment of Seasonal Impacts and Depression Associations on Circadian Rhythm Using Multimodal Wearable Sensing

abstract: Objective: This study aimed to explore the associations between depression severity and wearable-measured circadian rhythms, accounting for seasonal impacts and quantifying seasonal changes in circadian rhythms.Materials and Methods: Data used in this study came from a large longitudinal mobile health study. Depression severity (measured biweekly using the 8-item Patient Health Questionnaire [PHQ-8]) and behaviors (monitored by Fitbit) were tracked for up to two years. Twelve features were extracted from Fitbit recordings to approximate circadian rhythms. Three nested linear mixed-effects models were employed for each feature: (1) incorporating the PHQ-8 score as an independent variable; (2) adding the season variable; and (3) adding an interaction term between season and the PHQ-8 score. Results: This study analyzed 10,018 PHQ-8 records with Fitbit data from 543 participants. Upon adjusting for seasonal effects, higher PHQ-8 scores were associated with reduced activity, irregular behaviors, and delayed rhythms. Notably, the negative association with daily step counts was stronger in summer and spring than in winter, and the positive association with the onset of the most active continuous 10-hour period was significant only during summer. Furthermore, participants had shorter and later sleep, more activity, and delayed circadian rhythms in summer compared to winter. Discussion and Conclusions: Our findings underscore the significant seasonal impacts on human circadian rhythms and their associations with depression and indicate that wearable-measured circadian rhythms have the potential to be the digital biomarkers of depression.


title: Improving Constraints on Inflation with CMB Delensing

abstract: The delensing of cosmic microwave background (CMB) maps will be increasingly valuable for extracting as much information as possible from future CMB surveys. Delensing provides many general benefits, including sharpening of the acoustic peaks, more accurate recovery of the damping tail, and reduction of lensing-induced $B$-mode power. In this paper we present several applications of delensing focused on testing theories of early-universe inflation with observations of the CMB. We find that delensing the CMB results in improved parameter constraints for reconstructing the spectrum of primordial curvature fluctuations, probing oscillatory features in the primordial curvature spectrum, measuring the spatial curvature of the universe, and constraining several different models of isocurvature perturbations. In some cases we find that delensing can recover almost all of the constraining power contained in unlensed spectra, and it will be a particularly valuable analysis technique to achieve further improvements in constraints for model parameters whose measurements are not expected to improve significantly when utilizing only lensed CMB maps from next-generation CMB surveys. We also quantify the prospects of testing the single-field inflation tensor consistency condition using delensed CMB data; we find it to be out of reach of current and proposed experimental technology and advocate for alternative detection methods.


title: Switch Points of Bi-Persistence Matching Distance

abstract: In multi-parameter persistence, the matching distance is defined as the supremum of weighted bottleneck distances on the barcodes given by the restriction of persistence modules to lines with a positive slope. In the case of finitely presented bi-persistence modules, all the available methods to compute the matching distance are based on restricting the computation to lines through pairs from a finite set of points in the plane. Some of these points are determined by the filtration data as they are entrance values of critical simplices. However, these critical values alone are not sufficient for the matching distance computation and it is necessary to add so-called switch points, i.e. points such that on a line through any of them, the bottleneck matching switches the matched pair. This paper is devoted to the algorithmic computation of the set of switch points given a set of critical values. We find conditions under which a candidate switch point is erroneous or superfluous. The obtained conditions are turned into algorithms that have been implemented. With this, we analyze how the size of the set of switch points increases as the number of critical values increases, and how it varies depending on the distribution of critical values. Experiments are carried out on various types of bi-persistence modules.


title: Choroidalyzer: An open-source, end-to-end pipeline for choroidal analysis in optical coherence tomography

abstract: Purpose: To develop Choroidalyzer, an open-source, end-to-end pipeline for segmenting the choroid region, vessels, and fovea, and deriving choroidal thickness, area, and vascular index. Methods: We used 5,600 OCT B-scans (233 subjects, 6 systemic disease cohorts, 3 device types, 2 manufacturers). To generate region and vessel ground-truths, we used state-of-the-art automatic methods following manual correction of inaccurate segmentations, with foveal positions manually annotated. We trained a U-Net deep-learning model to detect the region, vessels, and fovea to calculate choroid thickness, area, and vascular index in a fovea-centred region of interest. We analysed segmentation agreement (AUC, Dice) and choroid metrics agreement (Pearson, Spearman, mean absolute error (MAE)) in internal and external test sets. We compared Choroidalyzer to two manual graders on a small subset of external test images and examined cases of high error. Results: Choroidalyzer took 0.299 seconds per image on a standard laptop and achieved excellent region (Dice: internal 0.9789, external 0.9749), very good vessel segmentation performance (Dice: internal 0.8817, external 0.8703) and excellent fovea location prediction (MAE: internal 3.9 pixels, external 3.4 pixels). For thickness, area, and vascular index, Pearson correlations were 0.9754, 0.9815, and 0.8285 (internal) / 0.9831, 0.9779, 0.7948 (external), respectively (all p<0.0001). Choroidalyzer's agreement with graders was comparable to the inter-grader agreement across all metrics. Conclusions: Choroidalyzer is an open-source, end-to-end pipeline that accurately segments the choroid and reliably extracts thickness, area, and vascular index. Especially choroidal vessel segmentation is a difficult and subjective task, and fully-automatic methods like Choroidalyzer could provide objectivity and standardisation.


title: Classification for everyone : Building geography agnostic models for fairer recognition

abstract: In this paper, we analyze different methods to mitigate inherent geographical biases present in state of the art image classification models. We first quantitatively present this bias in two datasets - The Dollar Street Dataset and ImageNet, using images with location information. We then present different methods which can be employed to reduce this bias. Finally, we analyze the effectiveness of the different techniques on making these models more robust to geographical locations of the images.


title: Proof of the plethystic Murnaghan-Nakayama rule using Loehr's labelled abacus

abstract: The plethystic Murnaghan-Nakayama rule describes how to decompose the product of a Schur function and a plethysm of the form $p_r\circ h_m$ as a sum of Schur functions. We provide a short, entirely combinatorial proof of this rule using the labelled abaci introduced in Nicholas A. Loehr. Abacus proofs of Schur function identities. In: SIAM J. Discrete Math. 24.4 (2010), pp. 1356-1370.


title: Detecting algorithmic bias in medical-AI models using trees

abstract: With the growing prevalence of machine learning and artificial intelligence-based medical decision support systems, it is equally important to ensure that these systems provide patient outcomes in a fair and equitable fashion. This paper presents an innovative framework for detecting areas of algorithmic bias in medical-AI decision support systems. Our approach efficiently identifies potential biases in medical-AI models, specifically in the context of sepsis prediction, by employing the Classification and Regression Trees (CART) algorithm with conformity scores. We verify our methodology by conducting a series of synthetic data experiments, showcasing its ability to estimate areas of bias in controlled settings precisely. The effectiveness of the concept is further validated by experiments using electronic medical records from Grady Memorial Hospital in Atlanta, Georgia. These tests demonstrate the practical implementation of our strategy in a clinical environment, where it can function as a vital instrument for guaranteeing fairness and equity in AI-based medical decisions.


title: Bosonization of primary fields for the critical Ising model on multiply connected planar domains

abstract: We prove bosonization identities for the scaling limits of the critical Ising correlations in finitely-connected planar domains, expressing those in terms of correlations of the compactified Gaussian free field. This, in particular, yields explicit expressions for the Ising correlations in terms of domain's period matrix, Green's function, harmonic measures of boundary components and arcs, or alternatively, Abelian differentials on the Schottky double. Our proof is based on a limiting version of a classical identity due to D.~Hejhal and J.~Fay relating Szeg\H{o} kernels and Abelian differentials on Riemann surfaces, and a systematic use of operator product expansions both for the Ising and the bosonic correlations.


title: Surface induced odd-frequency spin-triplet superconductivity as a veritable signature of Majorana bound states

abstract: We predict surface-induced odd-frequency (odd-$\nu$) spin-triplet superconducting pairing can be a veritable signature of Majorana bound states (MBS) in a Josephson nodal $p$-wave superconductor ($p_{x}$)-spin flipper (SF)-nodal $p$-wave superconductor ($p_{x}$) junction. Remarkably, in a $p_{x}$-SF-$p_{x}$ Josephson junction, three distinct phases emerge: the topological phase featuring MBS, the topological phase without MBS, and the trivial phase devoid of MBS. When MBS appear, surface odd-$\nu$ spin-triplet pairing is induced only in the topological regime. In contrast, surface-induced even-frequency (even-$\nu$) spin-triplet pairing is finite regardless of the existence of MBS. Our study offers a potential means for distinguishing the topological phase featuring MBS from both the trivial phase as well as the topological phase devoid of MBS, primarily through the observation of induced surface odd-$\nu$ spin triplet superconductivity.

categories: cond-mat.mes-hall cond-mat.supr-con physics.app-ph quant-ph


title: Predicting Horizontal Gene Transfers with Perfect Transfer Networks

abstract: Horizontal gene transfer inference approaches are usually based on gene sequences: parametric methods search for patterns that deviate from a particular genomic signature, while phylogenetic methods use sequences to reconstruct the gene and species trees. However, it is well-known that sequences have difficulty identifying ancient transfers since mutations have enough time to erase all evidence of such events. In this work, we ask whether character-based methods can predict gene transfers. Their advantage over sequences is that homologous genes can have low DNA similarity, but still have retained enough important common motifs that allow them to have common character traits, for instance the same functional or expression profile. A phylogeny that has two separate clades that acquired the same character independently might indicate the presence of a transfer even in the absence of sequence similarity. We introduce perfect transfer networks, which are phylogenetic networks that can explain the character diversity of a set of taxa under the assumption that characters have unique births, and that once a character is gained it is rarely lost. Examples of such traits include transposable elements, biochemical markers and emergence of organelles, just to name a few. We study the differences between our model and two similar models: perfect phylogenetic networks and ancestral recombination networks. Our goals are to initiate a study on the structural and algorithmic properties of perfect transfer networks. We then show that in polynomial time, one can decide whether a given network is a valid explanation for a set of taxa, and show how, for a given tree, one can add transfer edges to it so that it explains a set of taxa. We finally provide lower and upper bounds on the number of transfers required to explain a set of taxa, in the worst case.


title: MVHumanNet: A Large-scale Dataset of Multi-view Daily Dressing Human Captures

abstract: In this era, the success of large language models and text-to-image models can be attributed to the driving force of large-scale datasets. However, in the realm of 3D vision, while remarkable progress has been made with models trained on large-scale synthetic and real-captured object data like Objaverse and MVImgNet, a similar level of progress has not been observed in the domain of human-centric tasks partially due to the lack of a large-scale human dataset. Existing datasets of high-fidelity 3D human capture continue to be mid-sized due to the significant challenges in acquiring large-scale high-quality 3D human data. To bridge this gap, we present MVHumanNet, a dataset that comprises multi-view human action sequences of 4,500 human identities. The primary focus of our work is on collecting human data that features a large number of diverse identities and everyday clothing using a multi-view human capture system, which facilitates easily scalable data collection. Our dataset contains 9,000 daily outfits, 60,000 motion sequences and 645 million frames with extensive annotations, including human masks, camera parameters, 2D and 3D keypoints, SMPL/SMPLX parameters, and corresponding textual descriptions. To explore the potential of MVHumanNet in various 2D and 3D visual tasks, we conducted pilot studies on view-consistent action recognition, human NeRF reconstruction, text-driven view-unconstrained human image generation, as well as 2D view-unconstrained human image and 3D avatar generation. Extensive experiments demonstrate the performance improvements and effective applications enabled by the scale provided by MVHumanNet. As the current largest-scale 3D human dataset, we hope that the release of MVHumanNet data with annotations will foster further innovations in the domain of 3D human-centric tasks at scale.


title: Some locally Kneser graphs

abstract: The Kneser graph $K(n,d)$ is the graph on the $d$-subsets of an $n$-set, adjacent when disjoint. Clearly, $K(n+d,d)$ is locally $K(n,d)$. Hall showed for $n \ge 3d+1$ that there are no further examples. Here we give other examples of locally $K(n,d)$ graphs for $n = 3d$, and some further sporadic examples. It follows that Hall's bound is best possible.


title: Conditional constrained and unconstrained quantization for probability distributions

abstract: In this paper, we present the idea of conditional quantization for a Borel probability measure $P$ on a normed space $\mathbb R^k$. We introduce the concept of conditional quantization in both constrained and unconstrained scenarios, along with defining the conditional quantization errors, dimensions, and coefficients in each case. We then calculate these values for specific probability distributions. Additionally, we demonstrate that for a Borel probability measure, the lower and upper quantization dimensions and coefficients do not depend on the conditional set of the conditional quantization in both constrained and unconstrained quantization.


title: Diffusion-SS3D: Diffusion Model for Semi-supervised 3D Object Detection

abstract: Semi-supervised object detection is crucial for 3D scene understanding, efficiently addressing the limitation of acquiring large-scale 3D bounding box annotations. Existing methods typically employ a teacher-student framework with pseudo-labeling to leverage unlabeled point clouds. However, producing reliable pseudo-labels in a diverse 3D space still remains challenging. In this work, we propose Diffusion-SS3D, a new perspective of enhancing the quality of pseudo-labels via the diffusion model for semi-supervised 3D object detection. Specifically, we include noises to produce corrupted 3D object size and class label distributions, and then utilize the diffusion model as a denoising process to obtain bounding box outputs. Moreover, we integrate the diffusion model into the teacher-student framework, so that the denoised bounding boxes can be used to improve pseudo-label generation, as well as the entire semi-supervised learning process. We conduct experiments on the ScanNet and SUN RGB-D benchmark datasets to demonstrate that our approach achieves state-of-the-art performance against existing methods. We also present extensive analysis to understand how our diffusion model design affects performance in semi-supervised learning.


title: AmbiGen: Generating Ambigrams from Pre-trained Diffusion Model

abstract: Ambigrams are calligraphic designs that have different meanings depending on the viewing orientation. Creating ambigrams is a challenging task even for skilled artists, as it requires maintaining the meaning under two different viewpoints at the same time. In this work, we propose to generate ambigrams by distilling a large-scale vision and language diffusion model, namely DeepFloyd IF, to optimize the letters' outline for legibility in the two viewing orientations. Empirically, we demonstrate that our approach outperforms existing ambigram generation methods. On the 500 most common words in English, our method achieves more than an 11.6% increase in word accuracy and at least a 41.9% reduction in edit distance.


title: Fast particle-mesh code for Milgromian dynamics

abstract: Modified Newtonian dynamics (MOND) is a promising alternative to dark matter. To further test the theory, there is a need for fluid- and particle-dynamics simulations. The force in MOND is not a direct particle-particle interaction, but derives from a potential for which a nonlinear partial differential equation (PDE) needs to be solved. Normally, this makes the problem of simulating dynamical evolution computationally expensive. We intend to develop a fast particle-mesh (PM) code for MOND (the AQUAL formalism). We transformed the nonlinear equation for MOND into a system of linear PDEs plus one algebraic equation. An iterative scheme with the fast Fourier transform (FFT) produces successively better numerical approximations. The algorithm was tested for dynamical systems in MOND where analytical solutions are known: the two-body problem, a body with a circular ring, and a spherical distribution of particles in thermal equilibrium in the self-consistent potential. The PM code can accurately calculate the forces at subpixel scale and reproduces the analytical solutions. Four iterations are required for the potential, but when the spatial steps are small compared to the kernel width, one iteration is suffices. The use of a smoothing kernel for the accelerations is inevitable in order to eliminate the self-gravity of the point particles. Our PDE solver is $15$ to $42$ times as slow as a standard Poisson solver. However, the smoothing and particle propagation takes up most of the time above one particle per $10^3$ pixels. The FFTs, the smoothing, and the propagation part in the code can all be parallelized.


title: Rank-without-GPT: Building GPT-Independent Listwise Rerankers on Open-Source Large Language Models

abstract: Listwise rerankers based on large language models (LLM) are the zero-shot state-of-the-art. However, current works in this direction all depend on the GPT models, making it a single point of failure in scientific reproducibility. Moreover, it raises the concern that the current research findings only hold for GPT models but not LLM in general. In this work, we lift this pre-condition and build for the first time effective listwise rerankers without any form of dependency on GPT. Our passage retrieval experiments show that our best list se reranker surpasses the listwise rerankers based on GPT-3.5 by 13% and achieves 97% effectiveness of the ones built on GPT-4. Our results also show that the existing training datasets, which were expressly constructed for pointwise ranking, are insufficient for building such listwise rerankers. Instead, high-quality listwise ranking data is required and crucial, calling for further work on building human-annotated listwise data resources.


title: Alchemist: Parametric Control of Material Properties with Diffusion Models

abstract: We propose a method to control material attributes of objects like roughness, metallic, albedo, and transparency in real images. Our method capitalizes on the generative prior of text-to-image models known for photorealism, employing a scalar value and instructions to alter low-level material properties. Addressing the lack of datasets with controlled material attributes, we generated an object-centric synthetic dataset with physically-based materials. Fine-tuning a modified pre-trained text-to-image model on this synthetic dataset enables us to edit material properties in real-world images while preserving all other attributes. We show the potential application of our model to material edited NeRFs.


title: Resolving Multiphoton Coincidences in Single-Photon Detector Arrays with Row-Column Readouts

abstract: Row-column multiplexing has proven to be an effective strategy in scaling single-photon detector arrays to kilopixel and megapixel spatial resolutions. However, with this readout mechanism, multiphoton coincidences on the array cannot be easily resolved due to ambiguities concerning their spatial locations of incidence. In this work, we propose a method to resolve up to 4-photon coincidences in single-photon detector arrays with row-column readouts. By utilizing unambiguous single-photon measurements to estimate probabilities of detection at each pixel, we redistribute the ambiguous multiphoton counts among candidate pixel locations such that the peak signal-to-noise-ratio of the reconstruction is increased between 3 and 4 dB compared to conventional methods at optimal operating conditions. We also show that our method allows the operation of these arrays at higher incident photon fluxes as compared to previous methods. The application of this technique to imaging natural scenes is demonstrated using Monte Carlo experiments.


title: PROSPECT: A profile likelihood code for frequentist cosmological parameter inference

abstract: Cosmological parameter inference has been dominated by the Bayesian approach for the past two decades, primarily due to its computational efficiency. However, the Bayesian approach involves integration of the posterior probability and therefore depends on both the choice of model parametrisation and the choice of prior on the model parameter space. In some cases, this can lead to conclusions which are driven by choice of parametrisation and priors rather than by data. The profile likelihood method provides a complementary frequentist tool which can be used to investigate this effect. In this paper, we present the code PROSPECT for computing profile likelihoods in cosmology. We showcase the code using a phenomenological model for converting dark matter into dark radiation that suffers from large volume effects and prior dependence. PROSPECT is compatible with both cobaya and MontePython, and is publicly available at https://github.com/AarhusCosmology/prospect_public.


title: GauHuman: Articulated Gaussian Splatting from Monocular Human Videos

abstract: We present, GauHuman, a 3D human model with Gaussian Splatting for both fast training (1 ~ 2 minutes) and real-time rendering (up to 189 FPS), compared with existing NeRF-based implicit representation modelling frameworks demanding hours of training and seconds of rendering per frame. Specifically, GauHuman encodes Gaussian Splatting in the canonical space and transforms 3D Gaussians from canonical space to posed space with linear blend skinning (LBS), in which effective pose and LBS refinement modules are designed to learn fine details of 3D humans under negligible computational cost. Moreover, to enable fast optimization of GauHuman, we initialize and prune 3D Gaussians with 3D human prior, while splitting/cloning via KL divergence guidance, along with a novel merge operation for further speeding up. Extensive experiments on ZJU_Mocap and MonoCap datasets demonstrate that GauHuman achieves state-of-the-art performance quantitatively and qualitatively with fast training and real-time rendering speed. Notably, without sacrificing rendering quality, GauHuman can fast model the 3D human performer with ~13k 3D Gaussians.


title: Describing Differences in Image Sets with Natural Language

abstract: How do two sets of images differ? Discerning set-level differences is crucial for understanding model behaviors and analyzing datasets, yet manually sifting through thousands of images is impractical. To aid in this discovery process, we explore the task of automatically describing the differences between two $\textbf{sets}$ of images, which we term Set Difference Captioning. This task takes in image sets $D_A$ and $D_B$, and outputs a description that is more often true on $D_A$ than $D_B$. We outline a two-stage approach that first proposes candidate difference descriptions from image sets and then re-ranks the candidates by checking how well they can differentiate the two sets. We introduce VisDiff, which first captions the images and prompts a language model to propose candidate descriptions, then re-ranks these descriptions using CLIP. To evaluate VisDiff, we collect VisDiffBench, a dataset with 187 paired image sets with ground truth difference descriptions. We apply VisDiff to various domains, such as comparing datasets (e.g., ImageNet vs. ImageNetV2), comparing classification models (e.g., zero-shot CLIP vs. supervised ResNet), summarizing model failure modes (supervised ResNet), characterizing differences between generative models (e.g., StableDiffusionV1 and V2), and discovering what makes images memorable. Using VisDiff, we are able to find interesting and previously unknown differences in datasets and models, demonstrating its utility in revealing nuanced insights.


title: Dexterous Functional Grasping

abstract: While there have been significant strides in dexterous manipulation, most of it is limited to benchmark tasks like in-hand reorientation which are of limited utility in the real world. The main benefit of dexterous hands over two-fingered ones is their ability to pickup tools and other objects (including thin ones) and grasp them firmly to apply force. However, this task requires both a complex understanding of functional affordances as well as precise low-level control. While prior work obtains affordances from human data this approach doesn't scale to low-level control. Similarly, simulation training cannot give the robot an understanding of real-world semantics. In this paper, we aim to combine the best of both worlds to accomplish functional grasping for in-the-wild objects. We use a modular approach. First, affordances are obtained by matching corresponding regions of different objects and then a low-level policy trained in sim is run to grasp it. We propose a novel application of eigengrasps to reduce the search space of RL using a small amount of human data and find that it leads to more stable and physically realistic motion. We find that eigengrasp action space beats baselines in simulation and outperforms hardcoded grasping in real and matches or outperforms a trained human teleoperator. Results visualizations and videos at https://dexfunc.github.io/


title: Imitating Shortest Paths in Simulation Enables Effective Navigation and Manipulation in the Real World

abstract: Reinforcement learning (RL) with dense rewards and imitation learning (IL) with human-generated trajectories are the most widely used approaches for training modern embodied agents. RL requires extensive reward shaping and auxiliary losses and is often too slow and ineffective for long-horizon tasks. While IL with human supervision is effective, collecting human trajectories at scale is extremely expensive. In this work, we show that imitating shortest-path planners in simulation produces agents that, given a language instruction, can proficiently navigate, explore, and manipulate objects in both simulation and in the real world using only RGB sensors (no depth map or GPS coordinates). This surprising result is enabled by our end-to-end, transformer-based, SPOC architecture, powerful visual encoders paired with extensive image augmentation, and the dramatic scale and diversity of our training data: millions of frames of shortest-path-expert trajectories collected inside approximately 200,000 procedurally generated houses containing 40,000 unique 3D assets. Our models, data, training code, and newly proposed 10-task benchmarking suite CHORES will be open-sourced.


title: Exploring the nonclassical dynamics of the "classical" Schr\"odinger equation

abstract: The introduction of nonlinearities in the Schr\"odinger equation has been considered in the literature as an effective manner to describe the action of external environments or mean fields. Here, in particular, we explore the nonlinear effects induced by subtracting a term proportional to Bohm's quantum potential to the usual (linear) Schr\"odinger equation, which generates the so-called "classical" Schr\"odinger equation. Although a simple nonlinear transformation allows us to recover the well-known classical Hamilton-Jacobi equation, by combining a series of analytical results (in the limiting cases) and simulations (whenever the analytical treatment is unaffordable), we find an analytical explanation to why the dynamics in the nonlinear "classical" regime is still strongly nonclassical. This is even more evident by establishing a one-to-one comparison between the Bohmian trajectories associated with the corresponding wave function and the classical trajectories that one should obtain. Based on these observations, it is clear that the transition to a fully classical regime requires extra conditions in order to remove any trace of coherence, which is the truly distinctive trait of quantum mechanics. This behavior is investigated in three paradigmatic cases, namely, the dispersion of a free propagating localized particle, the harmonic oscillator, and a simplified version of Young's two-slit experiment.


title: Scattering theory of mesons in doped antiferromagnetic Mott insulators: Multichannel perspective and Feshbach resonance

abstract: Modeling the underlying pairing mechanism of charge carriers in strongly correlated electrons, starting from a microscopic theory, is among the central challenges of condensed-matter physics. Hereby, the key task is to understand what causes the appearance of superconductivity at comparatively high temperatures upon hole doping an antiferromagnetic (AFM) Mott insulator. Recently, it has been proposed that at strong coupling and low doping, the fundamental one- and two-hole meson-type constituents -- magnetic polarons and bipolaronic pairs -- likely realize an emergent Feshbach resonance producing near-resonant $d_{x^2-y^2}$ interactions between charge carriers. Here, we provide detailed calculations of the proposed scenario by describing the open and closed meson scattering channels in the $t$-$t'$-$J$ model using a truncated basis method. After integrating out the closed channel constituted by bipolaronic pairs, we find $d_{x^2-y^2}$ attractive interactions between open channel magnetic polarons. The closed form of the derived interactions allows us analyze the resonant pairing interactions and we find enhanced (suppressed) attraction for hole (electron) doping in our model. The formalism we introduce provides a framework to analyze the implications of a possible Feshbach scenario, e.g. in the context of BEC-BCS crossover, and establishes a foundation to test quantitative aspects of the proposed Feshbach pairing mechanisms in doped antiferromagnets.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.supr-con quant-ph


title: Floquet Chiral Quantum Walk in Quantum Computer

abstract: Chiral edge states in quantum Hall effect are the paradigmatic example of the quasi-particle with chirality. In even space-time dimensions, the Nielsen-Ninomiya theorem strictly forbids the chiral states in physical isolation. The exceptions to this theorem only occur in the presence of non-locality, non-Hermiticity, or by embedding the system at the boundary of the higher-dimensional bulk. In this work, using the IBM quantum computer platform, we realize the floquet chiral quantum walk enabled by non-locality. The unitary time evolution operator is described by the effective floquet Hamiltonian with infinitely long-ranged coupling. We find that the chiral wave packets lack the common features of the conventional wave phenomena such as Anderson localization. The absence of localization is witnessed by the robustness against the external perturbations. However, the intrinsic quantum errors of the current quantum device give rise to the finite lifetime where the chiral wave packet eventually disperses in the long-time limit. Nevertheless, we observe the stability of the chiral wave by comparing it with the conventional non-chiral model.


title: GPT4Point: A Unified Framework for Point-Language Understanding and Generation

abstract: Multimodal Large Language Models (MLLMs) have excelled in 2D image-text comprehension and image generation, but their understanding of the 3D world is notably deficient, limiting progress in 3D language understanding and generation. To solve this problem, we introduce GPT4Point, an innovative groundbreaking point-language multimodal model designed specifically for unified 3D object understanding and generation within the MLLM framework. GPT4Point as a powerful 3D MLLM seamlessly can execute a variety of point-text reference tasks such as point-cloud captioning and Q&A. Additionally, GPT4Point is equipped with advanced capabilities for controllable 3D generation, it can get high-quality results through a low-quality point-text feature maintaining the geometric shapes and colors. To support the expansive needs of 3D object-text pairs, we develop Pyramid-XL, a point-language dataset annotation engine. It constructs a large-scale database over 1M objects of varied text granularity levels from the Objaverse-XL dataset, essential for training GPT4Point. A comprehensive benchmark has been proposed to evaluate 3D point-language understanding capabilities. In extensive evaluations, GPT4Point has demonstrated superior performance in understanding and generation.


title: ReconFusion: 3D Reconstruction with Diffusion Priors

abstract: 3D reconstruction methods such as Neural Radiance Fields (NeRFs) excel at rendering photorealistic novel views of complex scenes. However, recovering a high-quality NeRF typically requires tens to hundreds of input images, resulting in a time-consuming capture process. We present ReconFusion to reconstruct real-world scenes using only a few photos. Our approach leverages a diffusion prior for novel view synthesis, trained on synthetic and multiview datasets, which regularizes a NeRF-based 3D reconstruction pipeline at novel camera poses beyond those captured by the set of input images. Our method synthesizes realistic geometry and texture in underconstrained regions while preserving the appearance of observed regions. We perform an extensive evaluation across various real-world datasets, including forward-facing and 360-degree scenes, demonstrating significant performance improvements over previous few-view NeRF reconstruction approaches.


title: Feshbach hypothesis of high-Tc superconductivity in cuprates

abstract: Resonant interactions associated with the emergence of a bound state constitute one of the cornerstones of modern many-body physics, ranging from Kondo physics, BEC-BCS crossover, to tunable interactions at Feshbach resonances in ultracold atoms or 2D semiconductors. Here we present a Feshbach perspective on the origin of strong pairing in Fermi-Hubbard type models. We perform a theoretical analysis of interactions between charge carriers in doped Mott insulators, modeled by a near-resonant two-channel scattering problem, and find strong evidence for Feshbach-type interactions in the $d_{x^2-y^2}$ channel that can support strong pairing, consistent with the established phenomenology of cuprates. Existing experimental and numerical results on hole-doped cuprates lead us to conjecture the existence of a light, long-lived, low-energy excited state of two holes with bipolaron character in these systems, which enables near-resonant interactions and can thus provide a microscopic foundation for theories of high-temperature superconductivity involving strong attraction, as assumed e.g. in BEC-BCS crossover scenarios. To put our theory to a direct test we suggest to use coincidence angle-resolved photoemission spectroscopy (cARPES), pair-tunneling measurements or less direct pump-probe experiments. The emergent Feshbach resonance we propose could also underlie superconductivity in other doped antiferromagnetic Mott insulators, as recently proposed for bilayer nickelates, highlighting its potential as a unifying strong-coupling pairing mechanism rooted in quantum magnetism.


title: Probing supermassive black hole seed scenarios with gravitational wave measurements

abstract: The process whereby the supermassive black holes populating the centers of galaxies have been assembled remains to be established, with the relative importance of seeds provided by collapsed Population-III stars, black holes formed in nuclear star clusters via repeated mergers, or direct collapses of protogalactic disks yet to be determined. In this paper we study the prospects for casting light on this issue by future measurements of gravitational waves emitted during the inspirals and mergers of pairs of intermediate-mass black holes, discussing in particular the roles of prospective measurements by LISA and the proposed atom interferometers AION and AEDGE. We find that, the expected number of detectable IMBH binaries is $O(100)$ for LISA and AEDGE and $O(10)$ for AION in low-mass seeds scenarios and goes down to $O(10)$ for LISA and below one for AEDGE and AION in high-mass seed scenarios. This allows all of these observatories to probe the parameters of the seed model, in particular if at least a fraction of the SMBHs arise from a low-mass seed population. We also show that the measurement accuracy of the binary parameters is, in general, best for AEDGE that sees very precisely the merger of the binary.


title: Diff-GO: Diffusion Goal-Oriented Communications to Achieve Ultra-High Spectrum Efficiency

abstract: The latest advances in artificial intelligence (AI) present many unprecedented opportunities to achieve much improved bandwidth saving in communications. Unlike conventional communication systems focusing on packet transport, rich datasets and AI makes it possible to efficiently transfer only the information most critical to the goals of message recipients. One of the most exciting advances in generative AI known as diffusion model presents a unique opportunity for designing ultra-fast communication systems well beyond language-based messages. This work presents an ultra-efficient communication design by utilizing generative AI-based on diffusion models as a specific example of the general goal-oriented communication framework. To better control the regenerated message at the receiver output, our diffusion system design includes a local regeneration module with finite dimensional noise latent. The critical significance of noise latent control and sharing residing on our Diff-GO is the ability to introduce the concept of "local generative feedback" (Local-GF), which enables the transmitter to monitor the quality and gauge the quality or accuracy of the message recovery at the semantic system receiver. To this end, we propose a new low-dimensional noise space for the training of diffusion models, which significantly reduces the communication overhead and achieves satisfactory message recovery performance. Our experimental results demonstrate that the proposed noise space and the diffusion-based generative model achieve ultra-high spectrum efficiency and accurate recovery of transmitted image signals. By trading off computation for bandwidth efficiency (C4BE), this new framework provides an important avenue to achieve exceptional computation-bandwidth tradeoff.


title: FocalPose++: Focal Length and Object Pose Estimation via Render and Compare

abstract: We introduce FocalPose++, a neural render-and-compare method for jointly estimating the camera-object 6D pose and camera focal length given a single RGB input image depicting a known object. The contributions of this work are threefold. First, we derive a focal length update rule that extends an existing state-of-the-art render-and-compare 6D pose estimator to address the joint estimation task. Second, we investigate several different loss functions for jointly estimating the object pose and focal length. We find that a combination of direct focal length regression with a reprojection loss disentangling the contribution of translation, rotation, and focal length leads to improved results. Third, we explore the effect of different synthetic training data on the performance of our method. Specifically, we investigate different distributions used for sampling object's 6D pose and camera's focal length when rendering the synthetic images, and show that parametric distribution fitted on real training data works the best. We show results on three challenging benchmark datasets that depict known 3D models in uncontrolled settings. We demonstrate that our focal length and 6D pose estimates have lower error than the existing state-of-the-art methods.


title: 2023 Update of $\varepsilon_K$ with lattice QCD inputs

abstract: We report recent progress on $\varepsilon_K$ evaluated directly from the standard model (SM) with lattice QCD inputs such as $\hat{B}_K$, $|V_{cb}|$, $|V_{us}|$, $|V_{ud}|$, $\xi_0$, $\xi_2$, $\xi_\text{LD}$, $f_K$, and $m_c$. We find that the standard model with exclusive $|V_{cb}|$ and lattice QCD inputs describes only 66\% of the experimental value of $|\varepsilon_K|$ and does not explain its remaining 34\%, which corresponds to a strong tension in $|\varepsilon_K|$ at the $4.9\sigma \sim 3.9\sigma$ level between the SM theory and experiment. We also find that this tension disappears when we use the inclusive value of $|V_{cb}|$ obtained using the heavy quark expansion based on the QCD sum rule approach.


title: Flux ratios for effects of permanent charges on ionic flows with three ion species: Case study (II)

abstract: In this paper, we study effects of permanent charges on ion flows through membrane channels via a quasi-one-dimensional classical Poisson-Nernst-Planck system. This system includes three ion species, two cations with different valences and one anion, and permanent charges with a simple structure, zeros at the two end regions and a constant over the middle region. For small permanent charges, our main goal is to analyze the effects of permanent charges on ionic flows, interacting with the boundary conditions and channel structure. Continuing from a previous work, we investigate the problem for a new case toward a more comprehensive understanding about effects of permanent charges on ionic fluxes.


title: Efficient Subgraph Isomorphism Finding in Large Graphs using Eccentricity and Limiting Recursive Calls

abstract: The subgraph isomorphism finding problem is a well-studied problem in the field of computer science and graph theory, and it aims to enumerate all instances of a query graph in the respective data graph. In this paper, we propose an efficient method, SubISO, to find subgraph isomorphisms using an objective function, which exploits some isomorphic invariants and eccentricity of the query graph's vertices. The proposed objective function is used to determine pivot vertex, which minimizes both number and size of the candidate regions in the data graph. SubISO also limits the maximum recursive calls of the generic SubgraphSearch function to deal with straggler queries for which most of the existing algorithms show exponential behaviour. The proposed approach is evaluated over three benchmark datasets. It is also compared with three well known subgraph isomorphism finding algorithms in terms of execution time, number of identified embeddings, and ability to deal with the straggler queries, and it performs significantly better.


title: Morphological Control of Bundled Actin Networks Subject to Fixed-Mass Depletion

abstract: Depletion interactions are thought to significantly contribute to the organization of intracellular structures in the crowded cytosol. The strength of depletion interactions depends on physical parameters like the depletant number density and the depletant size ratio. Cells are known to dynamically regulate these two parameters by varying the copy number of proteins of a wide distribution of sizes. However, mammalian cells are also known to keep the total protein mass density remarkably constant, to within 0.5% throughout the cell cycle. We thus ask how the strength of depletion interactions varies when the total depletant mass is held fixed, a.k.a. fixed-mass depletion. We answer this question via scaling arguments, as well as by studying depletion effects on networks of reconstituted semiflexible actin $\textit{in silico}$ and $\textit{in vitro}$. We examine the maximum strength of the depletion interaction potential $U^*$ as a function of $q$, the size ratio between the depletant and the matter being depleted. We uncover a scaling relation $U^* \sim q^{-\zeta}$ for two cases: fixed volume fraction $\phi$ and fixed mass density $\rho$. For fixed volume fraction, we report $\zeta < 0$. For the fixed mass density case, we report $\zeta > 0$, which suggests the depletion interaction strength increases as the depletant size ratio is increased. To test this prediction, we prepared our filament networks at fixed mass concentrations with varying sizes of the depletant molecule poly(ethylene glycol) (PEG). We characterize the depletion interaction strength in our simulations via the mesh size. In experiments, we observe two distinct actin network morphologies, which we call weakly bundled and strongly bundled. We identify a mass concentration where different PEG depletant sizes leads to weakly bundled or strongly bundled morphologies...[more in main text].


title: TTCF4LAMMPS: A toolkit for simulation of the non-equilibrium behaviour of molecular fluids at experimentally accessible shear rates

abstract: We present TTCF4LAMMPS, a toolkit for performing non-equilibrium molecular dynamics (NEMD) simulations to study fluid behaviour at low shear rates using the LAMMPS software. By combining direct NEMD simulations and the transient-time correlation function (TTCF) technique, we study the behaviour of fluids over shear rates spanning $15$ orders of magnitude. We present two example systems consisting of simple monatomic systems: one containing a bulk liquid and another with a liquid layer confined between two solid walls. The small bulk system is suitable for testing on personal computers, while the larger confined system requires high-performance computing (HPC) resources. We demonstrate that the TTCF formalism can successfully detect the system response for arbitrarily weak external fields. We provide a brief mathematical explanation for this feature. Although we showcase the method for simple monatomic systems, TTCF can be readily extended to study more complex molecular fluids. Moreover, in addition to shear flows, the method can be extended to investigate elongational or mixed flows as well as thermal or electric fields. The reasonably high computational cost needed for the method is offset by the two following benefits: i) the cost is independent of the magnitude of the external field, and ii) the simulations can be made highly efficient on HPC architectures by exploiting the parallel design of LAMMPS. We expect the toolkit to be useful for computational researchers striving to study the nonequilibrium behaviour of fluids under experimentally-accessible conditions.


title: REFRESH FPGAs: Sustainable FPGA Chiplet Architectures

abstract: There is a growing call for greater amounts of increasingly agile computational power for edge and cloud infrastructure to serve the computationally complex needs of ubiquitous computing devices. Thus, an important challenge is addressing the holistic environmental impacts of these next-generation computing systems. To accomplish this, a life-cycle view of sustainability for computing advancements is necessary to reduce environmental impacts such as greenhouse warming gas emissions from these computing choices. Unfortunately, decadal efforts to address operational energy efficiency in computing devices have ignored and in some cases exacerbated embodied impacts from manufacturing these edge and cloud systems, particularly their integrated circuits. During this time FPGA architectures have not changed dramatically except to increase in size. Given this context, we propose REFRESH FPGAs to build new FPGA devices and architectures from recently retired FPGA dies using 2.5D integration. To build REFRESH FPGAs requires creative architectures that leverage existing chiplet pins with an inexpensive to-manufacture interposer coupled with creative design automation. In this paper, we discuss how REFRESH FPGAs can leverage industry trends for renewable energy integration into data centers while providing an overall improvement for sustainability and amortizing their significant embodied cost investment over a much longer ``first'' lifetime.


title: Advancing Web Accessibility -- A guide to transitioning Design Systems from WCAG 2.0 to WCAG 2.1

abstract: This research focuses on the critical process of upgrading a Design System from Web Content Accessibility Guidelines (WCAG) 2.0 to WCAG 2.1, which is an essential step in enhancing web accessibility. It emphasizes the importance of staying up to date on increasing accessibility requirements, as well as the critical function of Design Systems in supporting inclusion in digital environments. The article lays out a complete strategy for meeting WCAG 2.1 compliance. Assessment, strategic planning, implementation, and testing are all part of this strategy. The need for collaboration and user involvement is emphasized as critical strategies and best practices for a successful migration journey. In addition, the article digs into migration barriers and discusses significant lessons acquired, offering a realistic view of the intricacies of this transforming road. Finally, it is a practical guide and a necessary resource for organizations committed to accessible and user-centered design. The document provides them with the knowledge and resources they need to navigate the changing world of web accessibility properly.


title: ZTCloudGuard: Zero Trust Context-Aware Access Management Framework to Avoid Misuse Cases in the Era of Generative AI and Cloud-based Health Information Ecosystem

abstract: Managing access between large numbers of distributed medical devices has become a crucial aspect of modern healthcare systems, enabling the establishment of smart hospitals and telehealth infrastructure. However, as telehealth technology continues to evolve and Internet of Things (IoT) devices become more widely used, they are also becoming increasingly exposed to various types of vulnerabilities and medical errors. In healthcare information systems, about 90\% of vulnerabilities emerged from misuse cases and human errors. As a result, there is a need for additional research and development of security tools to prevent such attacks. This article proposes a zero-trust-based context-aware framework for managing access to the main components of the cloud ecosystem, including users, devices and output data. The main goal and benefit of the proposed framework is to build a scoring system to prevent or alleviate misuse cases while using distributed medical devices in cloud-based healthcare information systems. The framework has two main scoring schemas to maintain the chain of trust. First, it proposes a critical trust score based on cloud-native micro-services of authentication, encryption, logging, and authorizations. Second, creating a bond trust scoring to assess the real-time semantic and syntactic analysis of attributes stored in a healthcare information system. The analysis is based on a pre-trained machine learning model to generate the semantic and syntactic scores. The framework also takes into account regulatory compliance and user consent to create a scoring system. The advantage of this method is that it is applicable to any language and adapts to all attributes as it relies on a language model, not just a set of predefined and limited attributes. The results show a high F1 score of 93.5%, which proves that it is valid for detecting misuse cases.


title: High Performance Multiple Sequence Alignment Algorithms for Comparison of Microbial Genomes

abstract: Advances in gene sequencing have enabled in silico analyses of microbial genomes and have led to the revision of concepts of microbial taxonomy and evolution. We explore deficiencies in existing multiple sequence global alignment algorithms and introduce a new indexing scheme to partition the dynamic programming algorithm hypercube scoring tensor over processors based on the dependency between partitions to be scored in parallel. The performance of algorithms is compared in the study of rpoB gene sequences of Mycoplasma species.


title: Literature Review of Mixed Reality Research

abstract: In the global context, while mixed reality has been an emerging concept for years, recent technological and scientific advancements have now made it poised to revolutionize industries and daily life by offering enhanced functionalities and improved services. Besides reviewing the highly cited papers in the last 20 years among over a thousand research papers on mixed reality, this systematic review provides the state-of-the-art applications and utilities of the mixed reality by primarily scrutinizing the associated papers in 2022 and 2023. Focusing on the potentials that this technology have in providing digitally supported simulations and other utilities in the era of large language models, highlighting the potential and limitations of the innovative solutions and also bringing focus to emerging research directions, such as telemedicine, remote control and optimization of direct volume rendering. The paper's associated repository is publicly accessible at https://aizierjiang.github.io/mr.


title: A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)

abstract: Recently, Gavazzo has developed a relational theory of symbolic manipulation, that allows to study syntax-based rewriting systems without relying on specific notions of syntax. This theory was obtained by extending the algebra of relations with syntax-inspired operators. Within the algebras thus obtained, it is possible to encode notions of parallel and full reduction for first-order rewriting systems, as well as to prove nontrivial properties about them in an algebraic and syntax-independent fashion. Sequential reduction, however, was not explored, but it was conjectured that it could be studied through a differential relational theory of rewriting. This manuscript proves the above conjecture by defining differential algebras of term relations, viz. algebras of term relations extended with novel operators inspired by the theory of functor derivatives. We give a set of axioms and rules for such operators and show that the resulting theory is expressive enough to define notions of parallel, full, and sequential reduction. We prove fundamental results relating all these notions in a purely algebraic and syntax-independent way, and showcase the effectiveness of our theory by proving the soundness of a proof technique for weak confluence akin to the so-called Critical Pair Lemma.


title: Simulation-Based Inference of Surface Accumulation and Basal Melt Rates of an Antarctic Ice Shelf from Isochronal Layers

abstract: The ice shelves buttressing the Antarctic ice sheet determine the rate of ice-discharge into the surrounding oceans. The geometry of ice shelves, and hence their buttressing strength, is determined by ice flow as well as by the local surface accumulation and basal melt rates, governed by atmospheric and oceanic conditions. Contemporary methods resolve one of these rates, but typically not both. Moreover, there is little information of how they changed in time. We present a new method to simultaneously infer the surface accumulation and basal melt rates averaged over decadal and centennial timescales. We infer the spatial dependence of these rates along flow line transects using internal stratigraphy observed by radars, using a kinematic forward model of internal stratigraphy. We solve the inverse problem using simulation-based inference (SBI). SBI performs Bayesian inference by training neural networks on simulations of the forward model to approximate the posterior distribution, allowing us to also quantify uncertainties over the inferred parameters. We demonstrate the validity of our method on a synthetic example, and apply it to Ekstr\"om Ice Shelf, Antarctica, for which newly acquired radar measurements are available. We obtain posterior distributions of surface accumulation and basal melt averaging over 42, 84, 146, and 188 years before 2022. Our results suggest stable atmospheric and oceanographic conditions over this period in this catchment of Antarctica. Use of observed internal stratigraphy can separate the effects of surface accumulation and basal melt, allowing them to be interpreted in a historical context of the last centuries and beyond.


title: Personality of AI

abstract: This research paper delves into the evolving landscape of fine-tuning large language models (LLMs) to align with human users, extending beyond basic alignment to propose "personality alignment" for language models in organizational settings. Acknowledging the impact of training methods on the formation of undefined personality traits in AI models, the study draws parallels with human fitting processes using personality tests. Through an original case study, we demonstrate the necessity of personality fine-tuning for AIs and raise intriguing questions about applying human-designed tests to AIs, engineering specialized AI personality tests, and shaping AI personalities to suit organizational roles. The paper serves as a starting point for discussions and developments in the burgeoning field of AI personality alignment, offering a foundational anchor for future exploration in human-machine teaming and co-existence.


title: Efficient Incremental Potential Contact for Actuated Face Simulation

abstract: We present a quasi-static finite element simulator for human face animation. We model the face as an actuated soft body, which can be efficiently simulated using Projective Dynamics (PD). We adopt Incremental Potential Contact (IPC) to handle self-intersection. However, directly integrating IPC into the simulation would impede the high efficiency of the PD solver, since the stiffness matrix in the global step is no longer constant and cannot be pre-factorized. We notice that the actual number of vertices affected by the collision is only a small fraction of the whole model, and by utilizing this fact we effectively decrease the scale of the linear system to be solved. With the proposed optimization method for collision, we achieve high visual fidelity at a relatively low performance overhead.


title: VidereX: A Navigational Application inspired by ants

abstract: Navigation is a crucial element in any person's life, whether for work, education, social living or any other miscellaneous reason; naturally, the importance of it is universally recognised and valued. One of the critical components of navigation is vision, which facilitates movement from one place to another. Navigating unfamiliar settings, especially for the blind or visually impaired, can pose significant challenges, impacting their independence and quality of life. Current assistive travel solutions have shortcomings, including GPS limitations and a demand for an efficient, user-friendly, and portable model. Addressing these concerns, this paper presents VidereX: a smartphone-based solution using an ant-inspired navigation algorithm. Emulating ants' ability to learn a route between nest and feeding grounds after a single traversal, VidereX enables users to rapidly acquire navigational data using a one/few-shot learning strategy. A key component of VidereX is its emphasis on active user engagement. Like ants with a scanning behaviour to actively investigate their environment, users wield the camera, actively exploring the visual landscape. Far from the passive reception of data, this process constitutes a dynamic exploration, echoing nature's navigational mechanisms.