title: Provably Efficient CVaR RL in Low-rank MDPs

abstract: We study risk-sensitive Reinforcement Learning (RL), where we aim to maximize the Conditional Value at Risk (CVaR) with a fixed risk tolerance $\tau$. Prior theoretical work studying risk-sensitive RL focuses on the tabular Markov Decision Processes (MDPs) setting. To extend CVaR RL to settings where state space is large, function approximation must be deployed. We study CVaR RL in low-rank MDPs with nonlinear function approximation. Low-rank MDPs assume the underlying transition kernel admits a low-rank decomposition, but unlike prior linear models, low-rank MDPs do not assume the feature or state-action representation is known. We propose a novel Upper Confidence Bound (UCB) bonus-driven algorithm to carefully balance the interplay between exploration, exploitation, and representation learning in CVaR RL. We prove that our algorithm achieves a sample complexity of $\tilde{O}\left(\frac{H^7 A^2 d^4}{\tau^2 \epsilon^2}\right)$ to yield an $\epsilon$-optimal CVaR, where $H$ is the length of each episode, $A$ is the capacity of action space, and $d$ is the dimension of representations. Computational-wise, we design a novel discretized Least-Squares Value Iteration (LSVI) algorithm for the CVaR objective as the planning oracle and show that we can find the near-optimal policy in a polynomial running time with a Maximum Likelihood Estimation oracle. To our knowledge, this is the first provably efficient CVaR RL algorithm in low-rank MDPs.


title: Conjectures in number theory

abstract: Prime numbers, whose properties are important subjects in mathematics, are also fundamental in computer science notably in IT security, Cryptocurrencies as Bitcoin and Blockchain, cryptography, Code theory notably Error detection codes, integer factorization, and random number generation. Finding prime numbers is too an active area of research in mathematics. There are many methods for identifying and generating them and many primality tests which are often complex and expensive in terms of calculation time, and many conjectures and theorems related to prime numbers, such as the prime number theorem, Goldbach's conjecture, and the Riemann hypothesis. My objective in this work is to propose two conjectures : $1)$ the integer $1+3.2^{20n}$ is not a prime number for all $n=0$ or $1$ mod $3$, and $2)$ the integer $1+3.2^{4+20n}$ is not a prime number for all $n=2$ mod $3$. Keywords : Prime numbers; IT security; Cryptography.


title: Automatic Analysis of Substantiation in Scientific Peer Reviews

abstract: With the increasing amount of problematic peer reviews in top AI conferences, the community is urgently in need of automatic quality control measures. In this paper, we restrict our attention to substantiation -- one popular quality aspect indicating whether the claims in a review are sufficiently supported by evidence -- and provide a solution automatizing this evaluation process. To achieve this goal, we first formulate the problem as claim-evidence pair extraction in scientific peer reviews, and collect SubstanReview, the first annotated dataset for this task. SubstanReview consists of 550 reviews from NLP conferences annotated by domain experts. On the basis of this dataset, we train an argument mining system to automatically analyze the level of substantiation in peer reviews. We also perform data analysis on the SubstanReview dataset to obtain meaningful insights on peer reviewing quality in NLP conferences over recent years.


title: Neutrino fast flavor oscillations with moments: linear stability analysis and application to neutron star mergers

abstract: Providing an accurate modeling of neutrino physics in dense astrophysical environments such as binary neutron star mergers presents a challenge for hydrodynamic simulations. Nevertheless, understanding how flavor transformation can occur and affect the dynamics, the mass ejection, and the nucleosynthesis will need to be achieved in the future. Computationally expensive, large-scale simulations frequently evolve the first classical angular moments of the neutrino distributions. By promoting these quantities to matrices in flavor space, we develop a linear stability analysis of fast flavor oscillations using only the first two "quantum" moments, which notably requires generalizing the classical closure relations that appropriately truncate the hierarchy of moment equations in order to treat quantum flavor coherence. After showing the efficiency of this method on a well-understood test situation, we perform a systematic search of the occurrence of fast flavor instabilities in a neutron star merger simulation. We discuss the successes and shortcomings of moment linear stability analysis, as this framework provides a time-efficient way to design and study better closure prescriptions in the future.


title: SA-Med2D-20M Dataset: Segment Anything in 2D Medical Imaging with 20 Million masks

abstract: Segment Anything Model (SAM) has achieved impressive results for natural image segmentation with input prompts such as points and bounding boxes. Its success largely owes to massive labeled training data. However, directly applying SAM to medical image segmentation cannot perform well because SAM lacks medical knowledge -- it does not use medical images for training. To incorporate medical knowledge into SAM, we introduce SA-Med2D-20M, a large-scale segmentation dataset of 2D medical images built upon numerous public and private datasets. It consists of 4.6 million 2D medical images and 19.7 million corresponding masks, covering almost the whole body and showing significant diversity. This paper describes all the datasets collected in SA-Med2D-20M and details how to process these datasets. Furthermore, comprehensive statistics of SA-Med2D-20M are presented to facilitate the better use of our dataset, which can help the researchers build medical vision foundation models or apply their models to downstream medical applications. We hope that the large scale and diversity of SA-Med2D-20M can be leveraged to develop medical artificial intelligence for enhancing diagnosis, medical image analysis, knowledge sharing, and education. The data with the redistribution license is publicly available at https://github.com/OpenGVLab/SAM-Med2D.


title: Distribution in homology classes and discrete fractal dimension

abstract: In this note we examine the proportion of periodic orbits of Anosov flows that lie in an infinite zero density subset of the first homology group. We show that on a logarithmic scale we get convergence to a discrete fractal dimension.


title: LiDAR-HMR: 3D Human Mesh Recovery from LiDAR

abstract: In recent years, point cloud perception tasks have been garnering increasing attention. This paper presents the first attempt to estimate 3D human body mesh from sparse LiDAR point clouds. We found that the major challenge in estimating human pose and mesh from point clouds lies in the sparsity, noise, and incompletion of LiDAR point clouds. Facing these challenges, we propose an effective sparse-to-dense reconstruction scheme to reconstruct 3D human mesh. This involves estimating a sparse representation of a human (3D human pose) and gradually reconstructing the body mesh. To better leverage the 3D structural information of point clouds, we employ a cascaded graph transformer (graphormer) to introduce point cloud features during sparse-to-dense reconstruction. Experimental results on three publicly available databases demonstrate the effectiveness of the proposed approach. Code: https://github.com/soullessrobot/LiDAR-HMR/


title: The non-minimally coupled symmetric teleparallel gravity with electromagnetic field

abstract: We construct a symmetric teleparallel gravity model which is non-minimally coupled with electromagnetic field in four dimensions inspired by its Riemannian equivalent. We derive the field equations by taking the variation of this model, which is written here for the first time. Then, we find some classes of spherically symmetric static solutions by the coincident gauge of symmetric teleparallel spacetime.


title: Adaptive Training Distributions with Scalable Online Bilevel Optimization

abstract: Large neural networks pretrained on web-scale corpora are central to modern machine learning. In this paradigm, the distribution of the large, heterogeneous pretraining data rarely matches that of the application domain. This work considers modifying the pretraining distribution in the case where one has a small sample of data reflecting the targeted test conditions. We propose an algorithm motivated by a recent formulation of this setting as an online, bilevel optimization problem. With scalability in mind, our algorithm prioritizes computing gradients at training points which are likely to most improve the loss on the targeted distribution. Empirically, we show that in some cases this approach is beneficial over existing strategies from the domain adaptation literature but may not succeed in other cases. We propose a simple test to evaluate when our approach can be expected to work well and point towards further research to address current limitations.


title: Evaluating Supervision Levels Trade-Offs for Infrared-Based People Counting

abstract: Object detection models are commonly used for people counting (and localization) in many applications but require a dataset with costly bounding box annotations for training. Given the importance of privacy in people counting, these models rely more and more on infrared images, making the task even harder. In this paper, we explore how weaker levels of supervision can affect the performance of deep person counting architectures for image classification and point-level localization. Our experiments indicate that counting people using a CNN Image-Level model achieves competitive results with YOLO detectors and point-level models, yet provides a higher frame rate and a similar amount of model parameters.


title: Black Hole Phenomenology and Dark Matter Searches

abstract: Motivated by recent detections of black hole binary systems through gravitational waves, in this thesis we discuss two complementary channels for the observation of Primordial Black Holes (PBHs) with masses between a few and a hundred solar masses. First, we consider the possibility of detecting black holes in the Milky Way through the electromagnetic radiation emitted in the process of gas accretion, separately examining the astrophysical black hole population and an hypothetical primordial one. We employ a state-of-the-art accretion model, able to account for radiative feedback. Our findings suggest that the detection of astrophysical isolated black holes in the vicinity of the galactic center is around the corner. We perform a complete parametric study of the uncertainty associated with this prediction. We then turn to constraining PBH abundance through the same channel, finding that existing bounds can be significantly relaxed when modelling uncertainties are taken into account. The PBH mass function motivated by the Universe's thermal history is considered. In the second part, we turn to gravitational wave observations. The possibility of disentangling the astrophysical background form a possible primordial signal in present data is hampered by large theoretical uncertainties on the properties of both populations. However, third-generation gravitational wave detectors will be able to detect mergers up to the dark ages, where the astrophysical background is expected to be absent. Through mock data generation and analysis, we assess the ability of the Einstein Telescope (ET) to identify a subdominant population of PBHs, disentangling it from the astrophysical one based exclusively on event distance measurements. We find that the ET should be able to detect and constrain the PBH abundance if these constitute at least approximately one part in $10^5$ of the dark matter.


title: Context-aware Neural Machine Translation for English-Japanese Business Scene Dialogues

abstract: Despite the remarkable advancements in machine translation, the current sentence-level paradigm faces challenges when dealing with highly-contextual languages like Japanese. In this paper, we explore how context-awareness can improve the performance of the current Neural Machine Translation (NMT) models for English-Japanese business dialogues translation, and what kind of context provides meaningful information to improve translation. As business dialogue involves complex discourse phenomena but offers scarce training resources, we adapted a pretrained mBART model, finetuning on multi-sentence dialogue data, which allows us to experiment with different contexts. We investigate the impact of larger context sizes and propose novel context tokens encoding extra-sentential information, such as speaker turn and scene type. We make use of Conditional Cross-Mutual Information (CXMI) to explore how much of the context the model uses and generalise CXMI to study the impact of the extra-sentential context. Overall, we find that models leverage both preceding sentences and extra-sentential context (with CXMI increasing with context size) and we provide a more focused analysis on honorifics translation. Regarding translation quality, increased source-side context paired with scene and speaker information improves the model performance compared to previous work and our context-agnostic baselines, measured in BLEU and COMET metrics.


title: Stable bouncing solutions in Teleparallel Horndeski gravity: violations of the no-go theorem

abstract: In order to have singularity-free solutions at the beginning of the Universe, we need to violate the null energy condition. In the general class of Horndeski gravity, there are healthy NEC-violating solutions, which however are plagued with instabilities or some kind of pathologies in the history of the Universe; this is known as the no-go theorem. In this paper, we study the possibility of stable bouncing solutions in the Teleparallel analog of Horndeski gravity and we show explicitly that there exist healthy violations of the no-go theorem.


title: Algebras of graph functions

abstract: Differential operators acting on functions defined on graphs by different studies do not form a consistent framework for the analysis of real or complex functions in the sense that they do not satisfy the Leibniz rule of any order. In this paper we propose a new family of operators that satisfy the Leibniz rule, and as special cases, produce the specific operators defined in the literature, such as the graph difference and the graph Laplacian. We propose a framework to define the order of a differential operator consistently using the Leibniz rule in Lie algebraic setting. Furthermore by identifying the space of functions defined on graph edges with the tensor product of node functions we construct a Lie bialgebra of graph functions and reinterpret the difference operator as a co-bracket. As an application, some explicit solutions of Schr\"odinger and Fokker-Planck equations are given.


title: On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

abstract: Due to the ever-increasing complexity of income tax laws in the United States, the number of US taxpayers filing their taxes using tax preparation software (henceforth, tax software) continues to increase. According to the U.S. Internal Revenue Service (IRS), in FY22, nearly 50% of taxpayers filed their individual income taxes using tax software. Given the legal consequences of incorrectly filing taxes for the taxpayer, ensuring the correctness of tax software is of paramount importance. Metamorphic testing has emerged as a leading solution to test and debug legal-critical tax software due to the absence of correctness requirements and trustworthy datasets. The key idea behind metamorphic testing is to express the properties of a system in terms of the relationship between one input and its slightly metamorphosed twinned input. Extracting metamorphic properties from IRS tax publications is a tedious and time-consuming process. As a response, this paper formulates the task of generating metamorphic specifications as a translation task between properties extracted from tax documents - expressed in natural language - to a contrastive first-order logic form. We perform a systematic analysis on the potential and limitations of in-context learning with Large Language Models(LLMs) for this task, and outline a research agenda towards automating the generation of metamorphic specifications for tax preparation software.


title: Leveraging Previous Facial Action Units Knowledge for Emotion Recognition on Faces

abstract: People naturally understand emotions, thus permitting a machine to do the same could open new paths for human-computer interaction. Facial expressions can be very useful for emotion recognition techniques, as these are the biggest transmitters of non-verbal cues capable of being correlated with emotions. Several techniques are based on Convolutional Neural Networks (CNNs) to extract information in a machine learning process. However, simple CNNs are not always sufficient to locate points of interest on the face that can be correlated with emotions. In this work, we intend to expand the capacity of emotion recognition techniques by proposing the usage of Facial Action Units (AUs) recognition techniques to recognize emotions. This recognition will be based on the Facial Action Coding System (FACS) and computed by a machine learning system. In particular, our method expands over EmotiRAM, an approach for multi-cue emotion recognition, in which we improve over their facial encoding module.


title: H-COAL: Human Correction of AI-Generated Labels for Biomedical Named Entity Recognition

abstract: With the rapid advancement of machine learning models for NLP tasks, collecting high-fidelity labels from AI models is a realistic possibility. Firms now make AI available to customers via predictions as a service (PaaS). This includes PaaS products for healthcare. It is unclear whether these labels can be used for training a local model without expensive annotation checking by in-house experts. In this work, we propose a new framework for Human Correction of AI-Generated Labels (H-COAL). By ranking AI-generated outputs, one can selectively correct labels and approach gold standard performance (100% human labeling) with significantly less human effort. We show that correcting 5% of labels can close the AI-human performance gap by up to 64% relative improvement, and correcting 20% of labels can close the performance gap by up to 86% relative improvement.


title: Unbiased Random Number Generation using Injection-Locked Spin-Torque Nano-Oscillators

abstract: Unbiased sources of true randomness are critical for the successful deployment of stochastic unconventional computing schemes and encryption applications in hardware. Leveraging nanoscale thermal magnetization fluctuations provides an efficient and almost cost-free means of generating truly random bitstreams, distinguishing them from predictable pseudo-random sequences. However, existing approaches that aim to achieve randomness often suffer from bias, leading to significant deviations from equal fractions of 0 and 1 in the bitstreams and compromising their inherent unpredictability. This study presents a hardware approach that capitalizes on the intrinsic balance of phase noise in an oscillator injection locked at twice its natural frequency, leveraging the stability of this naturally balanced physical system. We demonstrate the successful generation of unbiased and truly random bitstreams through extensive experimentation. Our numerical simulations exhibit excellent agreement with the experimental results, confirming the robustness and viability of our approach.


title: Homotopy Bicategories of Complete 2-fold Segal Spaces

abstract: In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by complete 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of Reedy fibrant complete $2$-fold Segal spaces (each decorated with chosen sections of the Segal maps) to the category of unbiased bicategories and pseudofunctors between them. Though our construction depends on the choice of sections, we show that for a given complete $2$-fold Segal space, all possible choices yield the same unbiased bicategory up to an equivalence that acts as the identity on objects, morphisms and $2$-morphisms. We illustrate our results with the example of the fundamental bigroupoid of a topological space.


title: The impact of Rashba spin-orbit coupling in charge-ordered systems

abstract: We study the impact of the Rashba spin-orbit coupling (RSOC) on the stability of charge-density wave (CDW) in systems with large electron-phonon coupling (EPC). Here, the EPC is considered in the framework of the Holstein model at the half-filled square lattice. We start obtaining the phase diagram of the Rashba-Holstein model using the Hartree-Fock mean-field theory, and identifying the boundaries of the CDW and Rashba metal phases. As our main result, we notice that the RSOC disfavors the CDW phase, driving the system to a correlated Rashba metal. Proceeding, we employ a cluster perturbation theory (CPT) approach to investigate the phase diagram beyond the Hartree-Fock approximation. The quantum correlations captured by CPT indicate that the RSOC is even more detrimental to CDW than previously anticipated. That is, the Rashba metal region is observed to be expanded in comparison to the mean-field case. Additionally, we investigate pairing correlations, and the results further strengthen the identification of critical points.


title: How to derive skill from the Fractions Skill Score

abstract: The Fractions Skill Score (FSS) is a widely used metric for assessing forecast skill, with applications ranging from precipitation to volcanic ash forecasts. By evaluating the fraction of grid squares exceeding a threshold in a neighbourhood, the intuition is that it can avoid the pitfalls of pixel-wise comparisons and identify length scales at which a forecast has skill. The FSS is typically interpreted relative to a `useful' criterion, which provides a measure of whether a forecast is considered skilful enough. However, this useful criterion is problematic, as there can be considerable skill for forecasts that do not meet it, and it is not derived in a way that provides obvious meaning. We therefore provide a new derivation of a useful criterion, as the score that a random forecast achieves, which provides a more robust and meaningful way to assess the FSS. Through illustrative examples we show that this new criterion considerably changes the length scales at which a forecast would be regarded as skilful, and reveals subtleties in how the FSS should be interpreted.


title: A robust numerical strategy for finding surface waves in flows of non-Newtonian liquids

abstract: Gravity-driven flows of liquid films are frequent in nature and industry, such as in landslides, lava flow, cooling of nuclear reactors, and coating processes. In many of these cases, the liquid is non-Newtonian and has particular characteristics. In this paper, we analyze numerically the temporal stability of films of non-Newtonian liquids falling by gravity, on the onset of instability. The liquid flows over an incline, where surface waves appear under certain conditions, and we do not fix a priori its rheological behavior. For that, we made used of the Carreau-Yasuda model without assigning specific values to its constants, and we compute general stability solutions. The numerical strategy is based on expansions of Chebyshev polynomials for discretizing the Orr-Sommerfeld equation and boundary conditions, and a Galerkin method for solving the generalized eigenvalue problem. In addition, an Inverse Iteration method was implemented to increase accuracy and improve computational time. The result is a robust and light numerical tool capable of finding the critical conditions for different types of fluids, which we use to analyze some key fluids. We show that the outputs of the general code match previous solutions obtained for specific computations. Besides increasing our knowledge on surface-wave instabilities in non-Newtonian liquids, our findings provide a new tool for obtaining comprehensive solutions on the onset of instability.


title: On minimal symplectic alternating algebras

abstract: The structure of nilpotent symplectic algebras of maximal class has been studied in [4, 5]. In this paper, we study the dual subclass of algebras of minimal class. In particular, we show that symplectic alternating algebras of dimension up to $16$ that are minimal, in the sense that they are of rank $2$ with minimum nilpotency class, have a class that confirm a conjecture that has been raised in [3].


title: Categorizing the Visual Environment and Analyzing the Visual Attention of Dogs

abstract: Dogs have a unique evolutionary relationship with humans and serve many important roles e.g. search and rescue, blind assistance, emotional support. However, few datasets exist to categorize visual features and objects available to dogs, as well as how dogs direct their visual attention within their environment. We collect and study a dataset with over 11,698 gazes to categorize the objects available to be gazed at by 11 dogs in everyday outdoor environments i.e. a walk around a college campus and urban area. We explore the availability of these object categories and the visual attention of dogs over these categories using a head mounted eye tracking apparatus. A small portion (approx. 600 images or < 20% of total dataset) of the collected data is used to fine tune a MaskRCNN for the novel image domain to segment objects present in the scene, enabling further statistical analysis on the visual gaze tendencies of dogs. The MaskRCNN, with eye tracking apparatus, serves as an end to end model for automatically classifying the visual fixations of dogs. The fine tuned MaskRCNN performs far better than chance. There are few individual differences between the 11 dogs and we observe greater visual fixations on buses, plants, pavement, and construction equipment. This work takes a step towards understanding visual behavior of dogs and their interaction with the physical world.


title: Irreducibility of some crystalline loci with irregular Hodge--Tate weights

abstract: We show that loci of crystalline representations of $G_K$ for $K/\mathbb{Q}_p$ an unramified extension are irreducible when the Hodge--Tate weights are fixed and sufficiently small. This was previously known for weights in the interval $[-p,0]$ and in this paper we show how that this bound can be relaxed provided the Hodge--Tate weights are sufficiently irregular at certain embeddings. This is motivated by the desire to extend the conjectures of Breuil--M\'ezard on loci of potentially crystalline representations to irregular weights.


title: Machine-Learned Atomic Cluster Expansion Potentials for Fast and Quantum-Accurate Thermal Simulations of Wurtzite AlN

abstract: Using the atomic cluster expansion (ACE) framework, we develop a machine learning interatomic potential for fast and accurately modelling the phonon transport properties of wurtzite aluminum nitride. The predictive power of the ACE potential against density functional theory (DFT) is demonstrated across a broad range of properties of w-AlN, including ground-state lattice parameters, specific heat capacity, coefficients of thermal expansion, bulk modulus, and harmonic phonon dispersions. Validation of lattice thermal conductivity is further carried out by comparing the ACE-predicted values to the DFT calculations and experiments, exhibiting the overall capability of our ACE potential in sufficiently describing anharmonic phonon interactions. As a practical application, we perform a lattice dynamics analysis using the potential to unravel the effects of biaxial strains on thermal conductivity and phonon properties of w-AlN, which is identified as a significant tuning factor for near-junction thermal design of w-AlN-based electronics.


title: Sweetwater: An interpretable and adaptive autoencoder for efficient tissue deconvolution

abstract: Single-cell RNA-sequencing (scRNA-seq) stands as a powerful tool for deciphering cellular heterogeneity and exploring gene expression profiles at high resolution. However, its high cost renders it impractical for extensive sample cohorts within routine clinical care, hindering its broader applicability. Hence, many methodologies have recently arised to estimate cell type proportions from bulk RNA-seq samples (known as deconvolution methods). However, they have several limitations: Many depend on selecting a robust scRNA-seq reference dataset, which is often challenging. Secondly, building reliable pseudobulk samples requires determining the optimal number of genes or cells involved in the simulated data generation process, which has not been studied in depth. Moreover, pseudobulk and bulk RNA-seq samples often exhibit distribution shifts. Finally, most modern deconvolution approaches behave as a black box, and the underlying mechanisms of the deconvolution task are still unknown, which can compromise the reliability of the results. In this work, we present Sweetwater, an adaptive and interpretable autoencoder able to efficiently deconvolve bulk RNA-seq and microarray samples leveraging multiple classes of reference data, such as scRNA-seq and single-nuclei RNA-seq. Moreover, it can be trained on a mixture of FACS-sorted FASTQ files, which we newly propose to use as this reduces platform-specific biases and may potentially outperform single-cell-based references. Also, we demonstrate that Sweetwater effectively uncovers biologically meaningful patterns during the training process, increasing the reliability of the results. Sweetwater is available at https://github.com/ubioinformat/Sweetwater, and we anticipate will facilitate and expedite the accurate examination of high-throughput clinical data across diverse applications.


title: Exploring Lip Segmentation Techniques in Computer Vision: A Comparative Analysis

abstract: Lip segmentation is crucial in computer vision, especially for lip reading. Despite extensive face segmentation research, lip segmentation has received limited attention. The aim of this study is to compare state-of-the-art lip segmentation models using a standardized setting and a publicly available dataset. Five techniques, namely EHANet, Mask2Former, BiSeNet V2, PIDNet, and STDC1, are qualitatively selected based on their reported performance, inference time, code availability, recency, and popularity. The CelebAMask-HQ dataset, comprising manually annotated face images, is used to fairly assess the lip segmentation performance of the selected models. Inference experiments are conducted on a Raspberry Pi4 to emulate limited computational resources. The results show that Mask2Former and EHANet have the best performances in terms of mIoU score. BiSeNet V2 demonstrate competitive performance, while PIDNet excels in recall but has lower precision. Most models present inference time ranging from 1000 to around 3000 milliseconds on a Raspberry Pi4, with PIDNet having the lowest mean inference time. This study provides a comprehensive evaluation of lip segmentation models, highlighting their performance and inference times. The findings contribute to the development of lightweight techniques and establish benchmarks for future advances in lip segmentation, especially in IoT and edge computing scenarios.


title: Scaling limit of critical percolation clusters on hyperbolic random half-planar triangulations and the associated random walks

abstract: We show that the Gromov-Hausdorff-Prohorov scaling limit of a critical percolation cluster on a random hyperbolic triangulation of the half-plane is the Brownian continuum random tree. As a corollary, we obtain that a simple random walk on the critical cluster rescales to Brownian motion on the continuum random tree.


title: Geometric Properties of Real Gromov-Witten Invariants

abstract: We collect geometric properties of the all-genus real Gromov-Witten theory and provide updates on its development since its introduction in 2015. We bring attention to a modification of the original construction of this theory which is applicable in a broader setting, obtain properties of the orientations of the moduli spaces of real maps under this modification which had previously been obtained for the original construction, and compare such orientations obtained via the two constructions when both constructions are applicable. In particular, the orientation of the moduli space of real maps from a disjoint union of domains may not be the product orientation of the moduli spaces of real maps from its components, a possibility overlooked in our past work.


title: BrainWash: A Poisoning Attack to Forget in Continual Learning

abstract: Continual learning has gained substantial attention within the deep learning community, offering promising solutions to the challenging problem of sequential learning. Yet, a largely unexplored facet of this paradigm is its susceptibility to adversarial attacks, especially with the aim of inducing forgetting. In this paper, we introduce "BrainWash," a novel data poisoning method tailored to impose forgetting on a continual learner. By adding the BrainWash noise to a variety of baselines, we demonstrate how a trained continual learner can be induced to forget its previously learned tasks catastrophically, even when using these continual learning baselines. An important feature of our approach is that the attacker requires no access to previous tasks' data and is armed merely with the model's current parameters and the data belonging to the most recent task. Our extensive experiments highlight the efficacy of BrainWash, showcasing degradation in performance across various regularization-based continual learning methods.


title: K-theoretic positivity for matroids

abstract: Hilbert polynomials have positivity properties under favorable conditions. We establish a similar "K-theoretic positivity" for matroids. As an application, for a multiplicity-free subvariety of a product of projective spaces such that the projection onto one of the factors has birational image, we show that a transformation of its K-polynomial is Lorentzian. This partially answers a conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another application, we show that the h*-vector of a simplicially positive divisor on a matroid is a Macaulay vector, affirmatively answering a question of Speyer for a new infinite family of matroids.


title: Smart Energy Network Digital Twins: Findings from a UK-Based Demonstrator Project

abstract: Digital Twins promise to deliver a step-change in distribution system operations and planning, but there are few real-world examples that explore the challenges of combining imperfect model and measurement data, and then use these as the basis for subsequent analysis. In this work we propose a Digital Twin framework for electrical distribution systems and implement that framework on the Smart Energy Network Demonstrator microgrid in the UK. The data and software implementation are made available open-source, and consist of a network model, power meter measurements, and unbalanced power flow-based algorithms. Measurement and network uncertainties are shown to have a substantial impact on the quality of Digital Twin outputs. The potential benefits of a dynamic export limit and voltage control are estimated using the Digital Twin, using simulated measurements to address data quality challenges, with results showing curtailment for an exemplar day could be reduced by 56%. Power meter data and a network model are shown to be necessary for developing algorithms that enable decision-making that is robust to real-world uncertainties, with possibilities and challenges of Digital Twin development clearly demonstrated.


title: The stellar bar - dark matter halo connection in the TNG50 simulations

abstract: Stellar bars in disk galaxies grow by losing angular momentum to their environments, including the Dark Matter (DM) halo, stellar and gas disks, and interacting satellite galaxies. This exchange of angular momentum during galaxy evolution hints at a connection between bar properties and the DM halo spin $\lambda$ -- the dimensionless form of DM angular momentum. We investigate the connection of halo spin $\lambda$ and galaxy properties in the presence/absence of stellar bars, using the cosmological magneto-hydrodynamic TNG50 simulations at three redshifts $z_r=0, 0.1$ and 1. We estimate the halo spin for barred and unbarred galaxies (bar strength: $0<A_2/A_0<0.7$) at the central regions of the DM halo close to the galaxy disk and far from the disk, close to halo virial radius. At $z_r=0$, strongly barred galaxies ($A_2/A_0>0.4$) reside in DM halos having low spin and low specific angular momentum, while unbarred and weakly barred galaxies ($A_2/A_0<0.2$) are hosted in high spin and high specific angular momentum halos. The inverse correlation between bar strength and halo spin is surprising since previous studies show that bars transfer angular momentum to DM halos. However, the bar strength-halo spin connection is more complex at higher redshift ($z_r=1$) with higher halo spin for all galaxies than that at $z_r=0$. Using galaxy samples across various DM halo mass ranges, we highlight the importance of sample selection in obtaining meaningful results. Investigating the bar--halo connection in further detail is crucial for understanding the impact of bars on galaxy evolution models.


title: Algebraic Properties of Real Gromov-Witten Invariants

abstract: We describe properties of the previously constructed all-genus real Gromov-Witten theory in the style of Kontsevich-Manin's axioms and other classical equations and reconstruction results of complex Gromov-Witten theory.


title: Multiwavelength properties of the low-redshift isolated galaxies with active nuclei modelled with CIGALE

abstract: Using the CIGALE software, we present the preliminary results of a multiwavelength analysis of eighteen low-redshift isolated galaxies with active nuclei (isolated AGNs). This sample was formed by cross-matching the 2MIG isolated AGNs sample with the SDSS DR9 catalog. The host galaxies of this sample have not undergone a merger for at least three billion years, making them a unique laboratory for studying interactions between various astrophysical processes without the complicating factors of merging with other galaxies or the effects of a denser environment. In addition, the study of isolated AGNs can provide valuable information about the evolution and activity of galaxies in the broader context of the distribution of large-scale structures of the Universe. First, we seek to understand how the environment affects the physical processes involved in the accretion of matter onto supermassive black holes in these galaxies. Secondly, to what extent do processes of star formation or degeneration of nuclei activity continue the evolution of these galaxies? Third, how does the localization of isolated AGNs in voids or filaments of a large-scale structure determine the properties of this environment at the low redshifts? Using observable fluxes from UV to the radio ranges from archival databases of space-born and ground-based observatories (GALEX, SDSS, 2MASS, Spitzer, Hershel, IRAS, WISE, VLA), we estimated the contribution from the emission of an active nucleus to the galaxy`s total emission, the stellar mass, and the star formation rate. The mass of the stellar component falls from $10^{10}$ $M_{Sun}$ and $10^{10}$ $M_{Sun}$. The star formation rate for most galaxies (except UGC10120) does not exceed 3 $M_{Sun}$ per year. The best SED fittings (with ${\chi}^2$ < 5) are obtained for the galaxies CGCG248-019, CGCG179-005, CGCG243-024, IC0009, MCG+09-25-022, UGC10244.


title: C^0-stability of topological entropy for Reeb flows in dimension 3

abstract: We study stability properties of the topological entropy of Reeb flows on contact 3-manifolds with respect to the C^0-distance on the space of contact forms. Our main results show that a C^\infty-generic contact form on a closed co-oriented contact 3-manifold (Y,\xi) is a lower semi-continuity point for the topological entropy, seen as a functional on the space of contact forms of (Y,\xi) endowed with the C^0-distance. We also study the stability of the topological entropy of geodesic flows of Riemannian metrics on closed surfaces. In this setting, we show that a non-degenerate Riemannian metric on a closed surface S is a lower semi-continuity point of the topological entropy, seen as a functional on the space of Riemannian metrics on S endowed with the C^0-distance.


title: Inclusive Semileptonic $b \to c \ell \bar{\nu}$ Decays to Order $1/m_b^5$

abstract: Inclusive semileptonic $B\to X_c \ell\bar{\nu}$ decays can be described in the Heavy Quark Expansion (HQE) and allow for a precision determination of the CKM element $|V_{cb}|$. We calculate the terms of $1/m_b^5$ and derive a ``trace formula'' which allows for the computation of the decay rate and kinematic moments of the spectrum up to this order in the HQE. We focus specifically on the reparametrization invariant (RPI) dilepton invariant mass $q^2$ moments of the spectrum, which depend on a reduced set of HQE parameters. At this order, ``intrinsic charm'' (IC) contributions proportional to $1/(m_b^3m_c^2)$ enter, which are numerically expected to be sizeable. Using the ``lowest-lying state saturation ansatz'' (LLSA), we estimate the size of these contributions. Within this approximation, we observe a partial cancellation between the IC and the ``genuine'' $1/m_b^5$ contributions, resulting in a small overall contribution.


title: Realization of quantum algorithms with qudits

abstract: The paradigm behind digital quantum computing inherits the idea of using binary information processing. The nature in fact gives much more rich structures of physical objects that can be used for encoding information, which is especially interesting in the quantum mechanical domain. In this Colloquium, we review several ideas indicating how multilevel quantum systems, also known as qudits, can be used for efficient realization of quantum algorithms, which are represented via standard qubit circuits. We focus on techniques of leveraging qudits for simplifying decomposition of multiqubit gates, and for compressing quantum information by encoding multiple qubits in a single qudit. As we discuss, these approaches can be efficiently combined. This allows reducing in the number of entangling (two-body) operations and the number of the used quantum information carriers compared to straightforward qubit realizations. These theoretical schemes can be implemented with quantum computing platforms of various nature, such as trapped ions, neutral atoms, superconducting junctions, and quantum light. We conclude with summarizing a set of open problems, whose resolving is an important further step towards employing universal qudit-based processors for running qubit algorithms.


abstract: Designing a perfect reward function that depicts all the aspects of the intended behavior is almost impossible, especially generalizing it outside of the training environments. Active Inverse Reward Design (AIRD) proposed the use of a series of queries, comparing possible reward functions in a single training environment. This allows the human to give information to the agent about suboptimal behaviors, in order to compute a probability distribution over the intended reward function. However, it ignores the possibility of unknown features appearing in real-world environments, and the safety measures needed until the agent completely learns the reward function. I improved this method and created Risk-averse Batch Active Inverse Reward Design (RBAIRD), which constructs batches, sets of environments the agent encounters when being used in the real world, processes them sequentially, and, for a predetermined number of iterations, asks queries that the human needs to answer for each environment of the batch. After this process is completed in one batch, the probabilities have been improved and are transferred to the next batch. This makes it capable of adapting to real-world scenarios and learning how to treat unknown features it encounters for the first time. I also integrated a risk-averse planner, similar to that of Inverse Reward Design (IRD), which samples a set of reward functions from the probability distribution and computes a trajectory that takes the most certain rewards possible. This ensures safety while the agent is still learning the reward function, and enables the use of this approach in situations where cautiousness is vital. RBAIRD outperformed the previous approaches in terms of efficiency, accuracy, and action certainty, demonstrated quick adaptability to new, unknown features, and can be more widely used for the alignment of crucial, powerful AI models.


title: A gamma ray study of Galactic PeVatron candidates LHAASO J1825-1236 and LHAASO J1839-0545

abstract: Recent studies by LHAASO have shown the presence of high-luminosity PeVatrons in our Galaxy. We examine two notable sources, each consisting of two pulsars, detected by LHAASO. We study gamma and cosmic-ray emissions from the surroundings of these pulsars. We used the Gammapy software to perform gamma-ray measurements from these sources in anticipation of future analyses to be carried out with the CTA observatory, which is now under development. Furthermore, the particle propagation throughout the Galaxy was simulated using the GALPROP software, accounting for emission from energy losses due to spin-down. As a result, we present the particle spectra generated during this propagation phase along with the corresponding gamma-ray emission. The findings suggest that CTA may have the capability to detect these sources and show that the data can be explained by gamma rays coming from a leptonic model.


title: A Novel Secure NFC-based Approach for BMS Monitoring and Diagnostic Readout

abstract: In modern systems that rely on the use of Battery Management Systems (BMS), longevity and the re-use of battery packs have always been important topics of discussion. These battery packs would be stored inside warehouses where they would need to be properly monitored and configured before their re-integration into the new systems. Traditional use of wired connections can be very cumbersome, and sometimes even impossible, due to the outer layers and packaging. To circumvent these issues, we propose an extension to the conventional BMS design that incorporates the use of Near Field Communication (NFC) for the purpose of wireless battery pack status readout. Additionally, to ensure that these packs are only managed by authenticated devices and that the data that is communicated with is protected against outside eavesdropping and tampering, we present a solution in the form of a lightweight security layer on top of the NFC protocol. To show the feasibility of our design, an accompanying prototype has been implemented and evaluated.


title: UV to near-IR observations of the DART-Dimorphos collision

abstract: The impact of the Double Asteroid Redirection Test (DART) spacecraft with Dimorphos allows us to study asteroid collision physics, including momentum transfer, the ejecta properties, and the visibility of such events in the Solar System. We report observations of the DART impact in the ultraviolet (UV), visible light, and near-infrared (IR) wavelengths. The observations support the existence of at least two separate components of the ejecta: a fast and a slow component. The fast-ejecta component is composed of a gaseous phase, moving at about 1.6 km/s with a mass of <10^4 kg. The fast ejecta is detected in the UV and visible light, but not in the near-IR $z$-band observations. Fitting a simplified optical thickness model to these observations allows us to constrain some of the properties of the fast ejecta, including its scattering efficiency and the opacity of the gas. The slow ejecta component is moving at typical velocities of up to about 10 m/s. It is composed of micrometer-size particles, that have a scattering efficiency, at the direction of the observer, of the order of 10^-3 and a total mass of about 10^6 kg. The larger particles in the slow ejecta, whose size is bound to be in the range between ~1 mm to ~1 m, likely have a scattering efficiency larger than that of the pre-impact Didymos system.


title: Exponential stability of the flow for a generalised Burgers equation on a circle

abstract: The paper deals with the problem of stability for the flow of the 1D Burgers equation on a circle. Using some ideas from the theory of positivity preserving semigroups, we establish the strong contraction in the $L^1$ norm. As a consequence, it is proved that the equation with a bounded external force possesses a unique bounded solution on $\mathbb R$, which is exponentially stable in $H^1$ as $t\to+\infty$. In the case of a random external force, we show that the difference between two trajectories goes to zero with probability $1$.


title: Brownian bridge limit of path measures in the upper tail of KPZ models

abstract: For models in the KPZ universality class, such as the zero temperature model of planar last passage-percolation (LPP) and the positive temperature model of directed polymers, its upper tail behavior has been a topic of recent interest, with particular focus on the associated path measures (i.e., geodesics or polymers). For Exponential LPP, diffusive fluctuation had been established in Basu-Ganguly. In the directed landscape, the continuum limit of LPP, the limiting Gaussianity at one point, as well as of related finite-dimensional distributions of the KPZ fixed point, were established, using exact formulas in Liu and Wang-Liu. It was further conjectured in these works that the limit of the corresponding geodesic should be a Brownian bridge. We prove it in both zero and positive temperatures; for the latter, neither the one-point limit nor the scale of fluctuations was previously known. Instead of relying on formulas (which are still missing in the positive temperature literature), our arguments are geometric and probabilistic, using the results on the shape of the weight and free energy profiles under the upper tail from Ganguly-Hegde as a starting point. Another key ingredient involves novel coalescence estimates, developed using the recently discovered shift-invariance Borodin-Gorin-Wheeler in these models. Finally, our proof also yields insight into the structure of the polymer measure under the upper tail conditioning, establishing a quenched localization exponent around a random backbone.


title: Steering Responsible AI: A Case for Algorithmic Pluralism

abstract: In this paper, I examine questions surrounding AI neutrality through the prism of existing literature and scholarship about mediation and media pluralism. Such traditions, I argue, provide a valuable theoretical framework for how we should approach the (likely) impending era of AI mediation. In particular, I suggest examining further the notion of algorithmic pluralism. Contrasting this notion to the dominant idea of algorithmic transparency, I seek to describe what algorithmic pluralism may be, and present both its opportunities and challenges. Implemented thoughtfully and responsibly, I argue, Algorithmic or AI pluralism has the potential to sustain the diversity, multiplicity, and inclusiveness that are so vital to democracy.


title: Multimodal fission from self-consistent calculations

abstract: When multiple fission modes coexist in a given nucleus, distinct fragment yield distributions appear. Multimodal fission has been observed in a number of fissioning nuclei spanning the nuclear chart, and this phenomenon is expected to affect the nuclear abundances synthesized during the rapid neutron-capture process (r-process). In this study, we generalize the previously proposed hybrid model for fission-fragment yield distributions to predict competing fission modes and estimate the resulting yield distributions. Our framework allows for a comprehensive large-scale calculation of fission fragment yields suited for r-process nuclear network studies. Nuclear density functional theory is employed to obtain the potential energy and collective inertia tensor on a multidimensional collective space defined by mass multipole moments. Fission pathways and their relative probabilities are determined using the nudged elastic band method. Based on this information, mass and charge fission yields are predicted using the recently developed hybrid model. Fission properties of fermium isotopes are calculated in the axial quadrupole-octupole collective space for three energy density functionals (EDFs). Disagreement between the EDFs appears when multiple fission modes are present. Within our framework, the UNEDF1$_{\textrm{HFB}}$ EDF agrees best with experimental data. Calculations in the axial quadrupole-octupole-hexadecapole collective space improve the agreement with the experiment for SkM$^{*}$. We also discuss the sensitivity of fission predictions on the choice of EDF for several superheavy nuclei. Fission fragment yield predictions for nuclei with multiple fission modes are sensitive to the underlying EDF. For large-scale calculations in which a minimal number of collective coordinates is considered, UNEDF1$_{\textrm{HFB}}$ provides the best description of experimental data.


title: Efficient Algorithms for All Port-Based Teleportation Protocols

abstract: Port-based teleportation (PBT) is a form of quantum teleportation in which no corrective unitary is required on the part of the receiver. Two primary regimes exist - deterministic PBT in which teleportation is always successful, but is imperfect, and probabilistic PBT, in which teleportation succeeds with probability less than one, but teleportation is perfect upon a success. Two further regimes exist within each of these in which the resource state used for the teleportation is fixed to a maximally entangled state, or free to be optimised. Recently, works resolved the long-standing problem of efficiently implementing port-based teleportation, tackling the two deterministic cases for qudits. Here, we provide algorithms in all four regimes for qubits. Emphasis is placed on the practicality of these algorithms, where we give polynomial improvements in the known gate complexity for PBT, as well as an exponential improvement in the required number of ancillas (albeit in separate protocols). Our approach to the implementation of the square-root measurement in PBT can be directly generalised to other highly symmetric state ensembles. For certain families of states, such a framework yields efficient algorithms in the case that the Petz recovery algorithm for the square-root measurement runs in exponential time.


title: Weak existence for SDEs with singular drifts and fractional Brownian or Levy noise beyond the subcritical regime

abstract: We study a multidimensional stochastic differential equation with additive noise: $$ d X_t=b(t, X_t) dt +d \xi_t, $$ where the drift $b$ is integrable in space and time, and $\xi$ is either a fractional Brownian motion or an $\alpha$-stable process. We show weak existence of solutions to this equation under the optimal condition on integrability indices of $b$, going beyond the subcritical Krylov-R\"ockner (Prodi-Serrin-Ladyzhenskaya) regime. This extends the recent results of Krylov (2020) to the fractional Brownian and L\'evy cases. We also construct a counterexample to demonstrate the optimality of this condition. Our methods are built upon a version of the stochastic sewing lemma of L\^e and the John--Nirenberg inequality.


title: MMC Array to Study X-ray Transitions in Muonic Atoms

abstract: The QUARTET collaboration aims to significantly improve the precision of the absolute nuclear charge radii of light nuclei from Li to Ne by using an array of metallic magnetic calorimeters to perform high-precision X-ray spectroscopy of low-lying states in muonic atoms. A proof-of-principle measurement with lithium, beryllium and boron is planned for fall 2023 at the Paul Scherrer Institute. We discuss the performance achieved with the maXs-30 detector module to be used. To place the detector close to the target chamber where the muon beam will impact the material under study, we have developed a new dilution refrigerator sidearm. We further discuss the expected efficiency given the transparency of the X-ray windows and the quantum efficiency of the detector. The expected muonic X-ray rate combined with the high resolving power and detection efficiency of the detector suggest that QUARTET will be able to study the de-excitation of light muonic atoms at an unprecedented level, increasing the relative energy resolution by up to a factor of 20 compared to conventional detector techniques.


title: GPT-4V(ision) for Robotics: Multimodal Task Planning from Human Demonstration

abstract: We introduce a pipeline that enhances a general-purpose Vision Language Model, GPT-4V(ision), to facilitate one-shot visual teaching for robotic manipulation. This system analyzes videos of humans performing tasks and outputs executable robot programs that incorporate insights into affordances. The process begins with GPT-4V analyzing the videos to obtain textual explanations of environmental and action details. A GPT-4-based task planner then encodes these details into a symbolic task plan. Subsequently, vision systems spatially and temporally ground the task plan in the videos. Object are identified using an open-vocabulary object detector, and hand-object interactions are analyzed to pinpoint moments of grasping and releasing. This spatiotemporal grounding allows for the gathering of affordance information (e.g., grasp types, waypoints, and body postures) critical for robot execution. Experiments across various scenarios demonstrate the method's efficacy in achieving real robots' operations from human demonstrations in a one-shot manner. Meanwhile, quantitative tests have revealed instances of hallucination in GPT-4V, highlighting the importance of incorporating human supervision within the pipeline. The prompts of GPT-4V/GPT-4 are available at this project page:


title: Estimating Heterogeneous Exposure Effects in the Case-Crossover Design using BART

abstract: Epidemiological approaches for examining human health responses to environmental exposures in observational studies often control for confounding by implementing clever matching schemes and using statistical methods based on conditional likelihood. Nonparametric regression models have surged in popularity in recent years as a tool for estimating individual-level heterogeneous effects, which provide a more detailed picture of the exposure-response relationship but can also be aggregated to obtain improved marginal estimates at the population level. In this work we incorporate Bayesian additive regression trees (BART) into the conditional logistic regression model to identify heterogeneous exposure effects in a case-crossover design. Conditional logistic BART (CL-BART) utilizes reversible jump Markov chain Monte Carlo to bypass the conditional conjugacy requirement of the original BART algorithm. Our work is motivated by the growing interest in identifying subpopulations more vulnerable to environmental exposures. We apply CL-BART to a study of the impact of heat waves on people with Alzheimer's disease in California and effect modification by other chronic conditions. Through this application, we also describe strategies to examine heterogeneous odds ratios through variable importance, partial dependence, and lower-dimensional summaries.


title: Public-key pseudoentanglement and the hardness of learning ground state entanglement structure

abstract: Given a local Hamiltonian, how difficult is it to determine the entanglement structure of its ground state? We show that this problem is computationally intractable even if one is only trying to decide if the ground state is volume-law vs near area-law entangled. We prove this by constructing strong forms of pseudoentanglement in a public-key setting, where the circuits used to prepare the states are public knowledge. In particular, we construct two families of quantum circuits which produce volume-law vs near area-law entangled states, but nonetheless the classical descriptions of the circuits are indistinguishable under the Learning with Errors (LWE) assumption. Indistinguishability of the circuits then allows us to translate our construction to Hamiltonians. Our work opens new directions in Hamiltonian complexity, for example whether it is difficult to learn certain phases of matter.


title: Gravitomagnetic Clock Effect: Using GALILEO to explore General Relativity

abstract: All experiments to date are in remarkable agreement with the predictions of Einstein's theory of gravity, General Relativity. Besides the classical tests, involving light deflection, orbit precession, signal delay, and the gravitational redshift, modern technology has pushed the limits even further. Gravitational waves have been observed multiple times as have been black holes, arguably amongst the most fascinating objects populating our universe. Moreover, geodetic satellite missions have enabled the verification of yet another prediction: gravitomagnetism. This phenomenon arises due to the rotation of a central body, e.g., the Earth, which is dragging spacetime along. One resulting effect on satellite orbits is the observed Lense-Thirring effect. Another predicted, yet unverified, effect is the so-called gravitomagnetic clock effect, which was first described by Cohen and Mashhoon as the proper time difference of two counter-revolving clocks in an orbit around a rotating mass. A theoretical framework is introduced that describes a gravitomagnetic clock effect based on a stationary spacetime model. An incremental definition of a suitable observable follows, which can be accessed via orbit data obtained from the European satellite navigation system Galileo, and an implementation of the framework for use with real satellite and clock data is presented. The technical requirements on a satellite mission are studied to measure the gravitomagnetic clock effect at the state-of-the-art in satellite laser ranging and modelling of gravitational and non-gravitational perturbations. Based on the analysis within this work, a measurement of the gravitomagnetic clock effect is highly demanding, but might just be within reach in the very near future based on current and upcoming technology.


title: An Empirical Study of Self-Admitted Technical Debt in Machine Learning Software

abstract: The emergence of open-source ML libraries such as TensorFlow and Google Auto ML has enabled developers to harness state-of-the-art ML algorithms with minimal overhead. However, during this accelerated ML development process, said developers may often make sub-optimal design and implementation decisions, leading to the introduction of technical debt that, if not addressed promptly, can have a significant impact on the quality of the ML-based software. Developers frequently acknowledge these sub-optimal design and development choices through code comments during software development. These comments, which often highlight areas requiring additional work or refinement in the future, are known as self-admitted technical debt (SATD). This paper aims to investigate SATD in ML code by analyzing 318 open-source ML projects across five domains, along with 318 non-ML projects. We detected SATD in source code comments throughout the different project snapshots, conducted a manual analysis of the identified SATD sample to comprehend the nature of technical debt in the ML code, and performed a survival analysis of the SATD to understand the evolution of such debts. We observed: i) Machine learning projects have a median percentage of SATD that is twice the median percentage of SATD in non-machine learning projects. ii) ML pipeline components for data preprocessing and model generation logic are more susceptible to debt than model validation and deployment components. iii) SATDs appear in ML projects earlier in the development process compared to non-ML projects. iv) Long-lasting SATDs are typically introduced during extensive code changes that span multiple files exhibiting low complexity.


title: A Heterogeneous Spatial Model for Soil Carbon Mapping of the Contiguous United States Using VNIR Spectra

abstract: The Rapid Carbon Assessment, conducted by the U.S. Department of Agriculture, was implemented in order to obtain a representative sample of soil organic carbon across the contiguous United States. In conjunction with a statistical model, the dataset allows for mapping of soil carbon prediction across the U.S., however there are two primary challenges to such an effort. First, there exists a large degree of heterogeneity in the data, whereby both the first and second moments of the data generating process seem to vary both spatially and for different land-use categories. Second, the majority of the sampled locations do not actually have lab measured values for soil organic carbon. Rather, visible and near-infrared (VNIR) spectra were measured at most locations, which act as a proxy to help predict carbon content. Thus, we develop a heterogeneous model to analyze this data that allows both the mean and the variance to vary as a function of space as well as land-use category, while incorporating VNIR spectra as covariates. After a cross-validation study that establishes the effectiveness of the model, we construct a complete map of soil organic carbon for the contiguous U.S. along with uncertainty quantification.


title: Macroscopic description of a heavy particle immersed within a flow of light particles

abstract: A micro-hydrodynamics model based on elastic collisions of light point solvent particles with a heavy solute particle is investigated in the setting where the light particles have velocity distribution corresponding to a background flow. Considering a range of stationary background flows and distributions for the solvent particle velocities, the macroscopic Langevin-type description of the behaviour of the heavy particle is derived in the form of a generalized Ornstein-Uhlenbeck process. At leading order, the drift term in this process depends upon both the geometric structure of the background flow and the size of the heavy particle, while both drift and diffusion terms scale with moments of the light particle velocity distribution. Computational methods for simulating the micro-hydrodynamics model are then designed to confirm the theoretical results. To enable long-time stochastic simulations, simulations are performed in a frame co-moving with the heavy particle. Efficient methods for sampling the position and velocity distributions of incoming solvent particles at the boundaries of the co-moving frame are derived for a range of distributions of solvent particles. The simulations show good agreement with the theoretical results.


title: GPQA: A Graduate-Level Google-Proof Q&A Benchmark

abstract: We present GPQA, a challenging dataset of 448 multiple-choice questions written by domain experts in biology, physics, and chemistry. We ensure that the questions are high-quality and extremely difficult: experts who have or are pursuing PhDs in the corresponding domains reach 65% accuracy (74% when discounting clear mistakes the experts identified in retrospect), while highly skilled non-expert validators only reach 34% accuracy, despite spending on average over 30 minutes with unrestricted access to the web (i.e., the questions are "Google-proof"). The questions are also difficult for state-of-the-art AI systems, with our strongest GPT-4 based baseline achieving 39% accuracy. If we are to use future AI systems to help us answer very hard questions, for example, when developing new scientific knowledge, we need to develop scalable oversight methods that enable humans to supervise their outputs, which may be difficult even if the supervisors are themselves skilled and knowledgeable. The difficulty of GPQA both for skilled non-experts and frontier AI systems should enable realistic scalable oversight experiments, which we hope can help devise ways for human experts to reliably get truthful information from AI systems that surpass human capabilities.


title: LQ-LoRA: Low-rank Plus Quantized Matrix Decomposition for Efficient Language Model Finetuning

abstract: We propose a simple approach for memory-efficient adaptation of pretrained language models. Our approach uses an iterative algorithm to decompose each pretrained matrix into a high-precision low-rank component and a memory-efficient quantized component. During finetuning, the quantized component remains fixed and only the low-rank component is updated. We present an integer linear programming formulation of the quantization component which enables dynamic configuration of quantization parameters (e.g., bit-width, block size) for each matrix given an overall target memory budget. We further explore a data-aware version of the algorithm which uses an approximation of the Fisher information matrix to weight the reconstruction objective during matrix decomposition. Experiments on finetuning RoBERTa and LLaMA-2 (7B and 70B) demonstrate that our low-rank plus quantized matrix decomposition approach (LQ-LoRA) outperforms strong QLoRA and GPTQ-LoRA baselines and enables aggressive quantization to sub-3 bits with only minor performance degradations. When finetuned on a language modeling calibration dataset, LQ-LoRA can also be used for model compression; in this setting our 2.75-bit LLaMA-2-70B model (which has 2.85 bits on average when including the low-rank components and requires 27GB of GPU memory) performs respectably compared to the 16-bit baseline.


title: PF-LRM: Pose-Free Large Reconstruction Model for Joint Pose and Shape Prediction

abstract: We propose a Pose-Free Large Reconstruction Model (PF-LRM) for reconstructing a 3D object from a few unposed images even with little visual overlap, while simultaneously estimating the relative camera poses in ~1.3 seconds on a single A100 GPU. PF-LRM is a highly scalable method utilizing the self-attention blocks to exchange information between 3D object tokens and 2D image tokens; we predict a coarse point cloud for each view, and then use a differentiable Perspective-n-Point (PnP) solver to obtain camera poses. When trained on a huge amount of multi-view posed data of ~1M objects, PF-LRM shows strong cross-dataset generalization ability, and outperforms baseline methods by a large margin in terms of pose prediction accuracy and 3D reconstruction quality on various unseen evaluation datasets. We also demonstrate our model's applicability in downstream text/image-to-3D task with fast feed-forward inference. Our project website is at: https://totoro97.github.io/pf-lrm .


title: The allosteric lever: towards a principle of specific allosteric response

abstract: Allostery, the phenomenon by which the perturbation of a molecule at one site alters its behavior at a remote functional site, enables control over biomolecular function. Allosteric modulation is a promising avenue for drug discovery and is employed in the design of mechanical metamaterials. However, a general principle of allostery, i.e. a set of quantitative and transferable "ground rules", remained elusive. It is neither a set of structural motifs nor intrinsic motions. Focusing on elastic network models, we here show that an allosteric lever--a mode-coupling pattern induced by the perturbation--governs the directional, source-to-target, allosteric communication: a structural perturbation of an allosteric site couples the excitation of localized hard elastic modes with concerted long range soft-mode relaxation. Perturbations of non-allosteric sites instead couple hard and soft modes uniformly. The allosteric response is shown to be generally non-linear and non-reciprocal, and allows for minimal structural distortions to be efficiently transmitted to specific changes at distant sites. Allosteric levers exist in proteins and "pseudoproteins"--networks designed to display an allosteric response. Interestingly, protein sequences that constitute allosteric transmission channels are shown to be evolutionarily conserved. To illustrate how the results may be applied in drug design, we use them to successfully predict known allosteric sites in proteins.

categories: physics.bio-ph cond-mat.soft physics.chem-ph q-bio.BM


title: Rate-Independent Gradient Crystal Plasticity Theory -- Robust Algorithmic Formulations based on Incremental Energy Minimization

abstract: Numerically robust algorithmic formulations suitable for rate-independent crystal plasticity are presented. They cover classic local models as well as gradient-enhanced theories in which the gradients of the plastic slips are incorporated by means of the micromorphic approach. The elaborated algorithmic formulations rely on the underlying variational structure of (associative) crystal plasticity. To be more precise and in line with so-called variational constitutive updates or incremental energy minimization principles, an incrementally defined energy derived from the underlying time-continuous constitutive model represents the starting point of the novel numerically robust algorithmic formulations. This incrementally defined potential allows to compute all variables jointly as minimizers of this energy. While such discrete variational constitutive updates are not new in general, they are considered here in order to employ powerful techniques from non-linear constrained optimization theory in order to compute robustly the aforementioned minimizers. The analyzed prototype models are based on (1) nonlinear complementarity problem (NCP) functions as well as on (2) the augmented Lagrangian formulation. Numerical experiments show the numerical robustness of the resulting algorithmic formulations. Furthermore, it is shown that the novel algorithmic ideas can also be integrated into classic, non-variational, return-mapping schemes.


title: Series over fat partitions: matrix models and discrete ensembles

abstract: We consider series over Young diagrams of products of Schur functions $s_{\lambda\cup\lambda}$, marked with ``fat partitions'' $\lambda\cup\lambda$, which appear in matrix models associated with ensembles of symplectic and orthogonal matrices and quaternion ensemble Ginibre. We consider mixed matrix models that also contain complex Ginibre ensembles labeled by graphs and the three ensembles mentioned above. Cases are identified when the series of perturbations in coupling constants turn out to be tau functions of the DKP hierarchy introduced by the Kyoto school. This topic relates matrix models to random partitions - discrete symplectic ensemble and its modifications.


title: Hourglass Tokenizer for Efficient Transformer-Based 3D Human Pose Estimation

abstract: Transformers have been successfully applied in the field of video-based 3D human pose estimation. However, the high computational costs of these video pose transformers (VPTs) make them impractical on resource-constrained devices. In this paper, we present a plug-and-play pruning-and-recovering framework, called Hourglass Tokenizer (HoT), for efficient transformer-based 3D human pose estimation from videos. Our HoT begins with pruning pose tokens of redundant frames and ends with recovering full-length tokens, resulting in a few pose tokens in the intermediate transformer blocks and thus improving the model efficiency. To effectively achieve this, we propose a token pruning cluster (TPC) that dynamically selects a few representative tokens with high semantic diversity while eliminating the redundancy of video frames. In addition, we develop a token recovering attention (TRA) to restore the detailed spatio-temporal information based on the selected tokens, thereby expanding the network output to the original full-length temporal resolution for fast inference. Extensive experiments on two benchmark datasets (i.e., Human3.6M and MPI-INF-3DHP) demonstrate that our method can achieve both high efficiency and estimation accuracy compared to the original VPT models. For instance, applying to MotionBERT and MixSTE on Human3.6M, our HoT can save nearly 50% FLOPs without sacrificing accuracy and nearly 40% FLOPs with only 0.2% accuracy drop, respectively. Code and models are available at https://github.com/NationalGAILab/HoT.


title: Three Dimensional Reconfigurable Optical Singularities in Bilayer Photonic Crystals

abstract: Metasurfaces and photonic crystals have revolutionized classical and quantum manipulation of light, and opened the door to studying various optical singularities related to phases and polarization states. However, traditional nanophotonic devices lack reconfigurability, hindering the dynamic switching and optimization of optical singularities. This paper delves into the underexplored concept of tunable bilayer photonic crystals (BPhCs), which offer rich interlayer coupling effects. Utilizing silicon nitride-based BPhCs, we demonstrate tunable bidirectional and unidirectional polarization singularities, along with spatiotemporal phase singularities. Leveraging these tunable singularities, we achieve dynamic modulation of bound-state-in-continuum states, unidirectional guided resonances, and both longitudinal and transverse orbital angular momentum. Our work paves the way for multidimensional control over polarization and phase, inspiring new directions in ultrafast optics, optoelectronics, and quantum optics.


title: On-chip multi-degree-of-freedom control of two-dimensional quantum and nonlinear materials

abstract: Two-dimensional materials (2DM) and their derived heterostructures have electrical and optical properties that are widely tunable via several approaches, most notably electrostatic gating and interfacial engineering such as twisting. While electrostatic gating is simple and has been ubiquitously employed on 2DM, being able to tailor the interfacial properties in a similar real-time manner represents the next leap in our ability to modulate the underlying physics and build exotic devices with 2DM. However, all existing approaches rely on external machinery such as scanning microscopes, which often limit their scope of applications, and there is currently no means of tuning a 2D interface that has the same accessibility and scalability as electrostatic gating. Here, we demonstrate the first on-chip platform designed for 2D materials with in situ tunable interfacial properties, utilizing a microelectromechanical system (MEMS). Each compact, cost-effective, and versatile device is a standalone micromachine that allows voltage-controlled approaching, twisting, and pressurizing of 2DM with high accuracy. As a demonstration, we engineer synthetic topological singularities, known as merons, in the nonlinear optical susceptibility of twisted hexagonal boron nitride (h-BN), via simultaneous control of twist angle and interlayer separation. The chirality of the resulting moire pattern further induces a strong circular dichroism in the second-harmonic generation. A potential application of this topological nonlinear susceptibility is to create integrated classical and quantum light sources that have widely and real-time tunable polarization. Our invention pushes the boundary of available technologies for manipulating low-dimensional quantum materials, which in turn opens up the gateway for designing future hybrid 2D-3D devices for condensed-matter physics, quantum optics, and beyond.

categories: cond-mat.mes-hall physics.app-ph physics.ins-det physics.optics


title: Topological Diagnosis of Strongly Correlated Electron Systems

abstract: The intersection of electronic topology and strong correlations offers a rich platform to discover exotic quantum phases of matter and unusual materials. An overarching challenge that impedes the discovery is how to diagnose topology in strongly correlated settings, as exemplified by Mott insulators. Here, we develop a general framework to address this outstanding question and illustrate its power in the case of Mott insulators. The concept of Green's function Berry curvature -- which is frequency dependent -- is introduced. We apply this notion in a system that contains symmetry-protected nodes in its noninteracting bandstructure; strong correlations drive the system into a Mott insulating state, creating contours in frequency-momentum space where the Green's function vanishes. The Green's function Berry flux of such zeros is found to be quantized, and is as such direct probe of the system's topology. Our framework allows for a comprehensive search of strongly correlated topological materials with Green's function topology.


title: Effect of some plant extracts on hardwood cuttings of Bottlebrush (Callistemon viminalis)

abstract: The study was conducted at the Collage of Agricultural Engineering Sciences, University of Sulaimani, Kurdistan Region-Iraq so as to investigate response hardwood cuttings of Callistemon viminalis to some plant extracts. The hardwood cuttings were taken on 11 March 2021 and soaked separately in 3 and 6 g/L aqueous extracts of moringa leaf, licorice root, willow shoot, fenugreek seed and cinnamon bark for 1 hour. They were compared to the cuttings dipped in 3000 ppm IBA for 10s and control cuttings which were soaked in distilled water for 1 hour. The experiment laid out in CRD with three replications in a greenhouse, and each replication included six cuttings which planted in a mixture of sand and rice husk medium. The results showed that the highest (86.66%) rooting was achieved in the cuttings treated with 6 g/L licorice extract and they were significantly different with control cuttings (53.33%), but they were not significantly different with 3000 ppm IBA (66.66%). Cinnamon 3g/L and fenugreek 3g/L extracts gave the lowest (6.66% and 33.33%, respectively) rooting and other studied parameters. The cuttings dipped in 3000 ppm IBA gave the highest (18.91) root number and the highest (66.66%) survival cuttings after transplanting. The longest root (15.54 cm) was found in cuttings were treated with 6 g/L moringa extract. The longest (5.83 cm) shoot was observed in treated cuttings with 3 g/L willow extract. The highest chlorophyll a and b (10.08 and 4.62 mg/L, respectively) were observed in cuttings treated with 6 g/L willow extract. Moreover, 3000 ppm IBA gave the highest (20.23%) total carbohydrate and (1.77 mg/g) IAA content along with 6 g/L licorice, moringa and fenugreek extracts, after 30 days from planting of the cuttings. Licorice root extract at 6 g/L fairly improved the measurements similar to 3000 ppm IBA throughout the study.


title: An improved two-threshold quantum segmentation algorithm for NEQR image

abstract: The quantum image segmentation algorithm is to divide a quantum image into several parts, but most of the existing algorithms use more quantum resource(qubit) or cannot process the complex image. In this paper, an improved two-threshold quantum segmentation algorithm for NEQR image is proposed, which can segment the complex gray-scale image into a clear ternary image by using fewer qubits and can be scaled to use n thresholds for n + 1 segmentations. In addition, a feasible quantum comparator is designed to distinguish the gray-scale values with two thresholds, and then a scalable quantum circuit is designed to segment the NEQR image. For a 2^(n)*2^(n) image with q gray-scale levels, the quantum cost of our algorithm can be reduced to 60q-6, which is lower than other existing quantum algorithms and does not increase with the image's size increases. The experiment on IBM Q demonstrates that our algorithm can effectively segment the image.


title: A High-Frequency Flexible Ultrasonic Cuff Implant for High-Precision Vagus Nerve Ultrasound Neuromodulation

abstract: In the emerging research field of bioelectronic medicine, it has been indicated that neuromodulation of the Vagus Nerve (VN) has the potential to treat various conditions such as epilepsy, depression, and autoimmune diseases. In order to reduce side effects, as well as to increase the effectiveness of the delivered therapy, subfascicle stimulation specificity is required. In the electrical domain, increasing spatial selectivity can only be achieved using invasive and potentially damaging approaches like compressive forces or nerve penetration. To avoid these invasive methods, while obtaining a high spatial selectivity, a 2 mm diameter extraneural cuff-shaped proof-of-concept design with integrated Lead Zirconate Titanate (PZT) based ultrasound (US) transducers is proposed in this paper. For the development of the proposed concept, wafer-level microfabrication techniques are employed. Moreover, acoustic measurements are performed on the device, in order to characterize the ultrasonic beam profiles of the integrated PZT-based US transducers. A focal spot size of around 200 {\mu}m by 200 {\mu}m is measured for the proposed cuff. Moreover, the curvature of the device leads to constructive interference of the US waves originating from multiple PZT-based US transducers, which in turn leads to an increase of 45% in focal pressure compared to the focal pressure of a single PZT-based US transducer. Integrating PZT-based US transducers in an extraneural cuff-shaped design has the potential to achieve high-precision US neuromodulation of the Vagus Nerve without requiring intraneural implantation.


title: Delta Score: Improving the Binding Assessment of Structure-Based Drug Design Methods

abstract: Structure-based drug design (SBDD) stands at the forefront of drug discovery, emphasizing the creation of molecules that target specific binding pockets. Recent advances in this area have witnessed the adoption of deep generative models and geometric deep learning techniques, modeling SBDD as a conditional generation task where the target structure serves as context. Historically, evaluation of these models centered on docking scores, which quantitatively depict the predicted binding affinity between a molecule and its target pocket. Though state-of-the-art models purport that a majority of their generated ligands exceed the docking score of ground truth ligands in test sets, it begs the question: Do these scores align with real-world biological needs? In this paper, we introduce the delta score, a novel evaluation metric grounded in tangible pharmaceutical requisites. Our experiments reveal that molecules produced by current deep generative models significantly lag behind ground truth reference ligands when assessed with the delta score. This novel metric not only complements existing benchmarks but also provides a pivotal direction for subsequent research in the domain.


title: 32x100 GHz WDM filter based on ultra-compact silicon rings with a high thermal tuning efficiency of 5.85 mW/pi

abstract: To the best of our knowledge, this paper has achieved the lowest thermal tuning power (5.85 mW/pi) for silicon rings with FSR>=3.2 THz, and the first silicon ring-based WDM-32x100 GHz filter.


title: The ImmersaDesk3 -- Experiences With A Flat Panel Display for Virtual Reality

abstract: In this paper we discuss the design and implementation of a plasma display panel for a wide field of view desktop virtual reality environment. Present commercial plasma displays are not designed with virtual reality in mind, leading to several problems in generating stereo imagery and obtaining good tracking information. Although we developed solutions for a number of these problems, the limitations of the system preclude its current use in practical applications, and point to issues that must be resolved for flat panel displays to be useful for VR.


title: Modular Arithmetic Study on Ascending and Descending Operations Related with Collatz Conjecture

abstract: Sequence of numbers generated by the recurrence relation based on the Collatz conjecture is investigated. An arithmetic operation on the Collatz conjecture is called descending operation, and ascending operation is carried out reversely to the descending operation. Study on the 3x+1 problem against every integer is relevant to that of descending operation against every odd. Any odds can be generated by ascending operations against odds not multiple of 3, and vise versa. Ascending operations against an odd not a multiple of 3 can generate infinite number of odds in the next generation. The odds multiple of 3 are terminal numbers of sequences that no further ascending operations are possible. Descending operations against the odds 1,5,21,.. reach 1, and otherwise reach the odds greater than or equal to 5. No two odds except 1 in each sequence are the same, and the each descending sequence is unique. Every descending sequence can start from terminal numbers, and reaches ultimately the origin of 1 as indicated by the Collatz conjecture. Sequences of odds in the same pattern ignoring the sizes of the odds are generated by ascending operations with the same number of doubling operations against the odds in modular arithmetic.


title: Asymptotic properties of vortex-pair solutions for incompressible Euler equations in $\mathbb{R}^2$

abstract: A {\em vortex pair} solution of the incompressible $2d$ Euler equation in vorticity form $$ \omega_t + \nabla^\perp \Psi\cdot \nabla \omega = 0 , \quad \Psi = (-\Delta)^{-1} \omega, \quad \hbox{in } \mathbb{R}^2 \times (0,\infty)$$ is a travelling wave solution of the form $\omega(x,t) = W(x_1-ct,x_2 )$ where $W(x)$ is compactly supported and odd in $x_2$. We revisit the problem of constructing solutions which are highly $\varepsilon$-concentrated around points $ (0, \pm q)$, more precisely with approximately radially symmetric, compactly supported bumps with radius $\varepsilon$ and masses $\pm m$. Fine asymptotic expressions are obtained, and the smooth dependence on the parameters $q$ and $\varepsilon$ for the solution and its propagation speed $c$ are established. These results improve constructions through variational methods in [14] and in [5] for the case of a bounded domain.


title: TransCDR: a deep learning model for enhancing the generalizability of cancer drug response prediction through transfer learning and multimodal data fusion for drug representation

abstract: Accurate and robust drug response prediction is of utmost importance in precision medicine. Although many models have been developed to utilize the representations of drugs and cancer cell lines for predicting cancer drug responses (CDR), their performances can be improved by addressing issues such as insufficient data modality, suboptimal fusion algorithms, and poor generalizability for novel drugs or cell lines. We introduce TransCDR, which uses transfer learning to learn drug representations and fuses multi-modality features of drugs and cell lines by a self-attention mechanism, to predict the IC50 values or sensitive states of drugs on cell lines. We are the first to systematically evaluate the generalization of the CDR prediction model to novel (i.e., never-before-seen) compound scaffolds and cell line clusters. TransCDR shows better generalizability than 8 state-of-the-art models. TransCDR outperforms its 5 variants that train drug encoders (i.e., RNN and AttentiveFP) from scratch under various scenarios. The most critical contributors among multiple drug notations and omics profiles are Extended Connectivity Fingerprint and genetic mutation. Additionally, the attention-based fusion module further enhances the predictive performance of TransCDR. TransCDR, trained on the GDSC dataset, demonstrates strong predictive performance on the external testing set CCLE. It is also utilized to predict missing CDRs on GDSC. Moreover, we investigate the biological mechanisms underlying drug response by classifying 7,675 patients from TCGA into drug-sensitive or drug-resistant groups, followed by a Gene Set Enrichment Analysis. TransCDR emerges as a potent tool with significant potential in drug response prediction. The source code and data can be accessed at https://github.com/XiaoqiongXia/TransCDR.


title: Automated Detection of hidden Damages and Impurities in Aluminum Die Casting Materials and Fibre-Metal Laminates using Low-quality X-ray Radiography, Synthetic X-ray Data Augmentation by Simulation, and Machine Learning

abstract: Detection and characterization of hidden defects, impurities, and damages in layered composites like Fibre laminates, e.g., Fibre Metal Laminates (FML), as well as in monolithic materials, e.g., aluminum die casting materials, is still a challenge. This work discusses methods and challenges in data-driven modeling of automated damage and defect detectors using X-ray single- and multi-projection (CT) images. Three main issues are identified: Data and feature variance, data feature labeling (for supervised machine learning), and the missing ground truth. It will be shown that only simulation of data can deliver a ground truth data set and accurate labeling. Noise has significant impact on the feature detection and will be discussed. Data-driven feature detectors are implemented with semantic pixel- or z-profile Convolutional Neural Networks and LSTM Auto-encoders. Data is measured with three different devices: A low-quality and low-cost (Low-Q), a mid- and a high-quality (micro-CT, Mid-/High-Q) device. The goals of this work are the training of robust and generalized feature detectors with synthetic data and the transition from High- and Mid-Q laboratory measuring technologies towards in-field usable technologies and methods.


title: Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface

abstract: Although fabrication capabilities of Silicon Dangling Bonds have rapidly advanced from manual labor-driven laboratory work to automated manufacturing in just recent years, sub-nanometer substrate defects still pose a hindrance to production due to the need for atomic precision. In essence, unpassivated or missing surface atoms, contaminants, and structural deformations disturb the fabricated logic or prevent its realization altogether. Moreover, design automation techniques in this domain have not yet adopted any defect-aware behavior to circumvent the present obstacles. In this paper, we derive a surface defect model for design automation from experimentally verified defect types that we apply to identify sensitivities in an established gate library in an effort to generate more robust designs. Furthermore, we present an automatic placement and routing algorithm that considers scanning tunneling microscope data obtained from physical experiments to lay out dot-accurate circuitry that is resilient against the presence of atomic surface defects. This culminates in a holistic evaluation on surface data of varying defect rates that enables us to quantify the severity of such defects. We project that fabrication capabilities must achieve defect rates of around 0.1 %, if charged defects can be completely eliminated, or < 0.1 %, otherwise. This realization sets the pace for future efforts to scale up this promising circuit technology.

categories: physics.app-ph cond-mat.mes-hall cs.ET quant-ph


title: Efficient Domain Adaptation via Generative Prior for 3D Infant Pose Estimation

abstract: Although 3D human pose estimation has gained impressive development in recent years, only a few works focus on infants, that have different bone lengths and also have limited data. Directly applying adult pose estimation models typically achieves low performance in the infant domain and suffers from out-of-distribution issues. Moreover, the limitation of infant pose data collection also heavily constrains the efficiency of learning-based models to lift 2D poses to 3D. To deal with the issues of small datasets, domain adaptation and data augmentation are commonly used techniques. Following this paradigm, we take advantage of an optimization-based method that utilizes generative priors to predict 3D infant keypoints from 2D keypoints without the need of large training data. We further apply a guided diffusion model to domain adapt 3D adult pose to infant pose to supplement small datasets. Besides, we also prove that our method, ZeDO-i, could attain efficient domain adaptation, even if only a small number of data is given. Quantitatively, we claim that our model attains state-of-the-art MPJPE performance of 43.6 mm on the SyRIP dataset and 21.2 mm on the MINI-RGBD dataset.


title: On Modular Approach to Diophantine Equation $x^4-y^4=nz^p$ over Number Fields

abstract: Recent results of Freitas, Kraus, Sengun and Siksek give sufficient criteria for the asymptotic Fermat's Last Theorem to hold over various number fields. In this paper, we prove asymptotic results about the solutions of the Diophantine equation $x^4-y^4=nz^p$ over various number fields using the modular method. For instance, we prove that the asymptotic generalised Fermat Theorem for the equation $x^4-y^4=2^\alpha z^p$ holds for infinitely many quadratic number fields.