title: Moir\'e polar vortex, flat bands and Lieb lattice in twisted bilayer BaTiO$_3$

abstract: Advances in material fabrication techniques and growth methods have opened up a new chapter for twistronics, in the form of twisted freestanding three-dimensional material membranes. Through first-principles calculations based on density functional theory, we investigate the crystal and electronic structures of twisted bilayer BaTiO$_3$. Our findings reveal that large stacking fault energy leads to chiral in-plane vortex pattern that was recently observed in experiments. Moreover, we also found non-zero out-of-plane local dipole moments, indicating that the strong interlayer interaction might offer promising strategy to stabilize ferroelectric order in the two-dimensional limit. Remarkably, the vortex pattern in the twisted BaTiO$_3$ bilayer support localized electronic states with quasi-flat bands, associated with the interlayer hybridization of oxygen $p_z$ orbitals. We found that the associated band width reaches a minimum at $\sim$19$^{\circ}$ twisting, configuring the largest magic angle in moir\'e systems reported so far. Further, the moir\'e vortex pattern bears a striking resemblance to two interpenetrating Lieb lattices and corresponding tight-binding model provides a comprehensive description of the evolution the moir\'e bands with twist angle and reveals the topological nature of these states.


title: Advancing Anomaly Detection in Computational Workflows with Active Learning

abstract: A computational workflow, also known as workflow, consists of tasks that are executed in a certain order to attain a specific computational campaign. Computational workflows are commonly employed in science domains, such as physics, chemistry, genomics, to complete large-scale experiments in distributed and heterogeneous computing environments. However, running computations at such a large scale makes the workflow applications prone to failures and performance degradation, which can slowdown, stall, and ultimately lead to workflow failure. Learning how these workflows behave under normal and anomalous conditions can help us identify the causes of degraded performance and subsequently trigger appropriate actions to resolve them. However, learning in such circumstances is a challenging task because of the large volume of high-quality historical data needed to train accurate and reliable models. Generating such datasets not only takes a lot of time and effort but it also requires a lot of resources to be devoted to data generation for training purposes. Active learning is a promising approach to this problem. It is an approach where the data is generated as required by the machine learning model and thus it can potentially reduce the training data needed to derive accurate models. In this work, we present an active learning approach that is supported by an experimental framework, Poseidon-X, that utilizes a modern workflow management system and two cloud testbeds. We evaluate our approach using three computational workflows. For one workflow we run an end-to-end live active learning experiment, for the other two we evaluate our active learning algorithms using pre-captured data traces provided by the Flow-Bench benchmark. Our findings indicate that active learning not only saves resources, but it also improves the accuracy of the detection of anomalies.


title: Muting Whisper: A Universal Acoustic Adversarial Attack on Speech Foundation Models

abstract: Recent developments in large speech foundation models like Whisper have led to their widespread use in many automatic speech recognition (ASR) applications. These systems incorporate `special tokens' in their vocabulary, such as $\texttt{<endoftext>}$, to guide their language generation process. However, we demonstrate that these tokens can be exploited by adversarial attacks to manipulate the model's behavior. We propose a simple yet effective method to learn a universal acoustic realization of Whisper's $\texttt{<endoftext>}$ token, which, when prepended to any speech signal, encourages the model to ignore the speech and only transcribe the special token, effectively `muting' the model. Our experiments demonstrate that the same, universal 0.64-second adversarial audio segment can successfully mute a target Whisper ASR model for over 97\% of speech samples. Moreover, we find that this universal adversarial audio segment often transfers to new datasets and tasks. Overall this work demonstrates the vulnerability of Whisper models to `muting' adversarial attacks, where such attacks can pose both risks and potential benefits in real-world settings: for example the attack can be used to bypass speech moderation systems, or conversely the attack can also be used to protect private speech data.


title: Local Longitudinal Modified Treatment Policies

abstract: Longitudinal Modified Treatment Policies (LMTPs) provide a framework for defining a broad class of causal target parameters for continuous and categorical exposures. We propose Local LMTPs, a generalization of LMTPs to settings where the target parameter is conditional on subsets of units defined by the treatment or exposure. Such parameters have wide scientific relevance, with well-known parameters such as the Average Treatment Effect on the Treated (ATT) falling within the class. We provide a formal causal identification result that expresses the Local LMTP parameter in terms of sequential regressions, and derive the efficient influence function of the parameter which defines its semi-parametric and local asymptotic minimax efficiency bound. Efficient semi-parametric inference of Local LMTP parameters requires estimating the ratios of functions of complex conditional probabilities (or densities). We propose an estimator for Local LMTP parameters that directly estimates these required ratios via empirical loss minimization, drawing on the theory of Riesz representers. The estimator is implemented using a combination of ensemble machine learning algorithms and deep neural networks, and evaluated via simulation studies. We illustrate in simulation that estimation of the density ratios using Riesz representation might provide more stable estimators in finite samples in the presence of empirical violations of the overlap/positivity assumption.


title: Skewness of a randomized quasi-Monte Carlo estimate

abstract: Some recent work on confidence intervals for randomized quasi-Monte Carlo (RQMC) sampling found a surprising result: ordinary Student $t$ 95\% confidence intervals based on a modest number of replicates were seen to be very effective and even more reliable than some bootstrap $t$ intervals that were expected to be best. One potential explanation is that those RQMC estimates have small skewness. In this paper we give conditions under which the skewness is $O(n^\epsilon)$ for any $\epsilon>0$, so `almost $O(1)$'. Under a random generator matrix model, we can improve this rate to $O(n^{-1/2+\epsilon})$ with very high probability. We also improve some probabilistic bounds on the distribution of the quality parameter $t$ for a digital net in a prime base under random sampling of generator matrices.


title: Asymptotics of unitary matrix elements in canonical bases

abstract: We compute the asymptotics of matrix elements in canonical bases of irreducible representations of the unitary group as the highest weight goes to infinity, in terms of the symplectic geometry of the associated coadjoint orbit. This uses tools of Berezin-Toeplitz quantization, and recovers as a special case the asymptotics of Wigner's d-matrix elements for the spin representations in quantum mechanics.


title: Seasonality Patterns in 311-Reported Foodborne Illness Cases and Machine Learning-Identified Indications of Foodborne Illnesses from Yelp Reviews, New York City, 2022-2023

abstract: Restaurants are critical venues at which to investigate foodborne illness outbreaks due to shared sourcing, preparation, and distribution of foods. Formal channels to report illness after food consumption, such as 311, New York City's non-emergency municipal service platform, are underutilized. Given this, online social media platforms serve as abundant sources of user-generated content that provide critical insights into the needs of individuals and populations. We extracted restaurant reviews and metadata from Yelp to identify potential outbreaks of foodborne illness in connection with consuming food from restaurants. Because the prevalence of foodborne illnesses may increase in warmer months as higher temperatures breed more favorable conditions for bacterial growth, we aimed to identify seasonal patterns in foodborne illness reports from 311 and identify seasonal patterns of foodborne illness from Yelp reviews for New York City restaurants using a Hierarchical Sigmoid Attention Network (HSAN). We found no evidence of significant bivariate associations between any variables of interest. Given the inherent limitations of relying solely on user-generated data for public health insights, it is imperative to complement these sources with other data streams and insights from subject matter experts. Future investigations should involve conducting these analyses at more granular spatial and temporal scales to explore the presence of such differences or associations.


title: Proof of the Complete Presence of a Modulo 4 Bias for the Semiprimes

abstract: Dummit, Granville and Kisilevsky have recently shown that the proportion of semiprimes (products of two primes) not exceeding a given $x$, whose factors are congruent to $3$ modulo $4$, is more than a quarter when $x$ is sufficiently large. They have also conjectured that this holds from the very beginning, that is, for all $x \geq 9$. We give a proof for $x\geq 10^{21}$ via an explicit approach based on their work. Together with their data for the remaining $x$, this results in a full proof of the conjecture. Our method consists of techniques with cancellations of sums over primes with different remainders. We also rely on classical estimates for prime counting functions, as well as on very recent explicit improvements by Bennet, Martin, O'Bryant and Rechnitzer, which have wide applications in essentially any setting involving estimations of sums over primes.


title: Uniform local weak o-minimality and $*$-local weak o-minimality

abstract: We propose the notions of uniform local weak o-minimality and $*$-local weak o-minimality. Local monotonicity theorems hold in definably complete locally o-minimal structures and uniformly locally o-minimal structures of the second kind. In this paper, we demonstrate new local monotonicity theorems for uniformly locally weakly o-minimal structures of the second kind and for locally o-minimal structures under the assumption called the univariate $*$-continuity property. We also prove that several formulas for dimension of definable sets which hold in definably complete locally o-minimal structures also hold in $*$-locally weakly o-minimal structures possessing the univariate $*$-continuity property.


title: Recycling failed photoelectrons via tertiary photoemission

abstract: A key insight of Einstein's theory of the photoelectric effect is that a minimum energy is required for photoexcited electrons to escape from a material. For the past century it has been assumed that photoexcited electrons of lower energies make no contribution to the photoemission spectrum. Here we demonstrate the conceptual possibility that the energy of these 'failed' photoelectrons-primary or secondary-can be partially recycled to generate new 'tertiary' electrons of energy sufficient to escape. Such a 'recycling' step goes beyond the traditional three steps of the photoemission process (excitation, transport, and escape), and, as we illustrate, it can be realized through a novel Auger mechanism that involves three distinct minority electronic states in the material. We develop a phenomenological three-band model to treat this mechanism within a revised four-step framework for photoemission, which contains robust features of linewidth narrowing and population inversion under strong excitation, reminiscent of the lasing phenomena. We show that the conditions for this recycling mechanism are likely satisfied in many quantum materials with multiple flat bands properly located away from the Fermi level, and elaborate on the representative case of SrTiO3 among other promising candidates. We further discuss how this mechanism can explain the recent observation of anomalous intense coherent photoemission from a SrTiO3 surface, and predict its manifestations in related experiments, including the 'forbidden' case of photoemission with photon energies lower than the work function. Our study calls for paradigm shifts across a range of fundamental and applied research fields, especially in the areas of photoemission, photocathodes, and flat-band materials.


title: Sequentially Encodable Codeword Stabilized Codes

abstract: An m-uniform quantum state on n qubits is an entangled state in which every m-qubit subsystem is maximally mixed. Such a state spans a pure [[n,0,m+1]] quantum error correcting code (QECC). Starting with an m-uniform state realized as the graph state associated with an m-regular graph, and a classical [n,k,d \ge m+1] binary linear code with certain additional properties, we construct codeword stabilized (CWS) codes that are pure [[n,k,m+1]] QECCs. We propose measurement-based protocols for encoding into code states and recovery of logical qubits from code states. Our proposed protocols support sequential encoding and partial recovery of logical qubits, which can be useful for quantum memory applications.


title: Perceptual Crack Detection for Rendered 3D Textured Meshes

abstract: Recent years have witnessed many advancements in the applications of 3D textured meshes. As the demand continues to rise, evaluating the perceptual quality of this new type of media content becomes crucial for quality assurance and optimization purposes. Different from traditional image quality assessment, crack is an annoying artifact specific to rendered 3D meshes that severely affects their perceptual quality. In this work, we make one of the first attempts to propose a novel Perceptual Crack Detection (PCD) method for detecting and localizing crack artifacts in rendered meshes. Specifically, motivated by the characteristics of the human visual system (HVS), we adopt contrast and Laplacian measurement modules to characterize crack artifacts and differentiate them from other undesired artifacts. Extensive experiments on large-scale public datasets of 3D textured meshes demonstrate effectiveness and efficiency of the proposed PCD method in correct localization and detection of crack artifacts. %Specifically, We propose a full-reference crack artifact localization method that operates on a pair of input snapshots of distorted and reference 3D objects to generate a final crack map. Moreover, to quantify the performance of the proposed detection method and validate its effectiveness, we propose a simple yet effective weighting mechanism to incorporate the resulting crack map into classical quality assessment (QA) models, which creates significant performance improvement in predicting the perceptual image quality when tested on public datasets of static 3D textured meshes. A software release of the proposed method is publicly available at: https://github.com/arshafiee/crack-detection-VVM


title: Pathwise non-uniqueness for Brownian motion in a quadrant with oblique reflection

abstract: Consider the Skorokhod equation in the closed first quadrant: \[ X_t=x_0+ B_t+\int_0^t{\bf v}(X_s)\, dL_s,\] where $B_t$ is standard 2-dimensional Brownian motion, $X_t$ takes values in the quadrant for all $t$, and $L_t$ is a process that starts at 0, is non-decreasing and continuous, and increases only at those times when $X_t$ is on the boundary of the quadrant. Suppose ${\bf v}$ equals $(-a_1,1)$ on the positive $x$ axis, equals $(1,-a_2)$ on the positive $y$ axis, and ${\bf v}(0)$ points into the closed first quadrant. Let $\theta_i=\arctan a_i$, $i=1,2$. It is known that there exists a solution to the Skorokhod equation for all $t\geq 0$ if and only if $\theta_1+\theta_2<\pi/2$ and moreover the solution is unique if $|a_1a_2|<1$. Suppose now that $\theta_1+\theta_2<\pi/2$, $\theta_2<0$, $\theta_1>-\theta_2>0$ and $|a_1a_2|>1$. We prove that for a large class of $(a_1,a_2)$, namely those for which \[\frac{\log|a_1|+\log|a_2|}{a_1+a_2}>\pi/2,\] pathwise uniqueness for the Skorokhod equation fails to hold.


title: Reddit-Impacts: A Named Entity Recognition Dataset for Analyzing Clinical and Social Effects of Substance Use Derived from Social Media

abstract: Substance use disorders (SUDs) are a growing concern globally, necessitating enhanced understanding of the problem and its trends through data-driven research. Social media are unique and important sources of information about SUDs, particularly since the data in such sources are often generated by people with lived experiences. In this paper, we introduce Reddit-Impacts, a challenging Named Entity Recognition (NER) dataset curated from subreddits dedicated to discussions on prescription and illicit opioids, as well as medications for opioid use disorder. The dataset specifically concentrates on the lesser-studied, yet critically important, aspects of substance use--its clinical and social impacts. We collected data from chosen subreddits using the publicly available Application Programming Interface for Reddit. We manually annotated text spans representing clinical and social impacts reported by people who also reported personal nonmedical use of substances including but not limited to opioids, stimulants and benzodiazepines. Our objective is to create a resource that can enable the development of systems that can automatically detect clinical and social impacts of substance use from text-based social media data. The successful development of such systems may enable us to better understand how nonmedical use of substances affects individual health and societal dynamics, aiding the development of effective public health strategies. In addition to creating the annotated data set, we applied several machine learning models to establish baseline performances. Specifically, we experimented with transformer models like BERT, and RoBERTa, one few-shot learning model DANN by leveraging the full training dataset, and GPT-3.5 by using one-shot learning, for automatic NER of clinical and social impacts. The dataset has been made available through the 2024 SMM4H shared tasks.


title: Detecting the spread of valence band Wannier functions by optical sum rules

abstract: The spread of valence band Wannier functions in semiconductors and insulators is a characteristic property that gives a rough estimation of how insulating is the material. We elaborate that the gauge-invariant part of the spread can be extracted experimentally from optical conductivity and absorbance, owing to their equivalence to the quantum metric of the valence band states integrated over momentum. Because the quantum metric enters the matrix element of optical conductivity, the spread of valence band Wannier functions in the gapped 3D materials can be obtained from the frequency-integration of the imaginary part of the dielectric function. We demonstrate this practically for typical semiconductors like Si and Ge, and for topological insulators like Bi$_{2}$Te$_{3}$. In 2D materials, the spread of Wannier functions in the valence bands can be obtained from the absorbance divided by frequency and then integrated over frequency. Applying this method to graphene reveals a finite spread caused by intrinsic spin-orbit coupling, which may be detected by absorbance in the microwave range. The absorbance of twisted bilayer graphene in the millimeter wave range can be used to detect the formation of the flat bands and quantify their quantum metric. Finally, we apply our method to hexagonal transition metal dichalcogenides MX$_{2}$ (M = Mo, W; X = S, Se, Te) and demonstrate how other effects like substrate, excitons, and higher energy bands can affect the spread of Wannier function.


title: State-Free Inference of State-Space Models: The Transfer Function Approach

abstract: We approach designing a state-space model for deep learning applications through its dual representation, the transfer function, and uncover a highly efficient sequence parallel inference algorithm that is state-free: unlike other proposed algorithms, state-free inference does not incur any significant memory or computational cost with an increase in state size. We achieve this using properties of the proposed frequency domain transfer function parametrization, which enables direct computation of its corresponding convolutional kernel's spectrum via a single Fast Fourier Transform. Our experimental results across multiple sequence lengths and state sizes illustrates, on average, a 35% training speed improvement over S4 layers -- parametrized in time-domain -- on the Long Range Arena benchmark, while delivering state-of-the-art downstream performances over other attention-free approaches. Moreover, we report improved perplexity in language modeling over a long convolutional Hyena baseline, by simply introducing our transfer function parametrization. Our code is available at https://github.com/ruke1ire/RTF.


title: Detecting Moving Objects With Machine Learning

abstract: The scientific study of the Solar System's minor bodies ultimately starts with a search for those bodies. This chapter presents a review of the use of machine learning techniques to find moving objects, both natural and artificial, in astronomical imagery. After a short review of the classical non-machine learning techniques that are historically used, I review the relatively nascent machine learning literature, which can broadly be summarized into three categories: streak detection, detection of moving point sources in image sequences, and detection of moving sources in shift and stack searches. In most cases, convolutional neural networks are utilized, which is the obvious choice given the imagery nature of the inputs. In this chapter I present two example networks: a Residual Network I designed which is in use in various shift and stack searches, and a convolutional neural network that was designed for prediction of source brightnesses and their uncertainties in those same shift-stacks. In discussion of the literature and example networks, I discuss various pitfalls with the use of machine learning techniques, including a discussion on the important issue of overfitting. I discuss various pitfall associated with the use of machine learning techniques, and what I consider best practices to follow in the application of machine learning to a new problem, including methods for the creation of robust training sets, validation, and training to avoid overfitting.


title: DisBeaNet: A Deep Neural Network to augment Unmanned Surface Vessels for maritime situational awareness

abstract: Intelligent detection and tracking of the vessels on the sea play a significant role in conducting traffic avoidance in unmanned surface vessels(USV). Current traffic avoidance software relies mainly on Automated Identification System (AIS) and radar to track other vessels to avoid collisions and acts as a typical perception system to detect targets. However, in a contested environment, emitting radar energy also presents the vulnerability to detection by adversaries. Deactivating these Radiofrequency transmitting sources will increase the threat of detection and degrade the USV's ability to monitor shipping traffic in the vicinity. Therefore, an intelligent visual perception system based on an onboard camera with passive sensing capabilities that aims to assist USV in addressing this problem is presented in this paper. This paper will present a novel low-cost vision perception system for detecting and tracking vessels in the maritime environment. This novel low-cost vision perception system is introduced using the deep learning framework. A neural network, DisBeaNet, can detect vessels, track, and estimate the vessel's distance and bearing from the monocular camera. The outputs obtained from this neural network are used to determine the latitude and longitude of the identified vessel.


title: Lost in Transcription: Identifying and Quantifying the Accuracy Biases of Automatic Speech Recognition Systems Against Disfluent Speech

abstract: Automatic speech recognition (ASR) systems, increasingly prevalent in education, healthcare, employment, and mobile technology, face significant challenges in inclusivity, particularly for the 80 million-strong global community of people who stutter. These systems often fail to accurately interpret speech patterns deviating from typical fluency, leading to critical usability issues and misinterpretations. This study evaluates six leading ASRs, analyzing their performance on both a real-world dataset of speech samples from individuals who stutter and a synthetic dataset derived from the widely-used LibriSpeech benchmark. The synthetic dataset, uniquely designed to incorporate various stuttering events, enables an in-depth analysis of each ASR's handling of disfluent speech. Our comprehensive assessment includes metrics such as word error rate (WER), character error rate (CER), and semantic accuracy of the transcripts. The results reveal a consistent and statistically significant accuracy bias across all ASRs against disfluent speech, manifesting in significant syntactical and semantic inaccuracies in transcriptions. These findings highlight a critical gap in current ASR technologies, underscoring the need for effective bias mitigation strategies. Addressing this bias is imperative not only to improve the technology's usability for people who stutter but also to ensure their equitable and inclusive participation in the rapidly evolving digital landscape.


title: Ultra-high precision comb-locked terahertz frequency-domain spectroscopy of whispering-gallery modes

abstract: We demonstrate the capabilities of a novel frequency-domain terahertz spectrometer based on a comb-locked frequency synthesizer, which provides absolute frequency calibration. The inherent stability and repeatability of the scans allow for the combination of fast data acquisition with an average time-limited signal-to-noise ratio. We demonstrate kilohertz level frequency resolution in terahertz precision spectroscopy of ultrahigh quality whispering-gallery-mode resonators. Spectra covering multiple free spectral ranges (>36GHz) with sub-20kHz resolution are acquired in 5s. We analyse the coupling behaviour and temperature tuning of single resonances and, for the first time, observe minute red and blue shifts of different mode families. The experimental results are supported with finite element simulations.


title: Updates on inclusive charmed and bottomed meson decays from the lattice

abstract: With the development of lattice QCD in recent years, a determination of decay rates for inclusive semileptonic decays from lattice correlators now seems viable. We report on the calculation of the inclusive semileptonic decay of the $D_s$ meson on the lattice. We simulate the $D_s \rightarrow X_s\ell\nu_\ell$ process with M\"obius domain-wall charm and strange quarks, whose masses were approximately tuned to the physical values. We cover the whole kinematical region. We present a general overview on how the inclusive decays are treated on the lattice and discuss ongoing challenges, such as the estimation of systematic errors and future prospects of the project.


title: Abundances in eight bulge stars from the optical and near-infrared

abstract: Context: The abundances of the $\alpha$-elements are key for understanding the early chemical enrichment of the Galactic bulge. The elements of interest present lines in different wavelength regions, and some of them show lines only in part of the spectra. In the present work, the CNO trio, the alpha-elements Mg, Si, Ca, and Ti, and odd-Z Na and Al are examined as measured from optical and H-band lines. Aims: The aim of this work is to carry out a detailed comparison of stellar parameters and abundances derived in the optical and near-infrared (H-band). We also inspect the best available lines for a list of bulge stars previously analyzed by the Apache Point Observatory Galactic Evolution Experiment (APOGEE) team in the H-band and by our group in the optical. This work is mainly of interest to spectroscopists. Methods: In the present work, we compared the stellar parameters and abundance results derived from APOGEE H-band spectra with optical analyses based on Ultraviolet and Visual Echelle Spectrograph at the Very Large Telescope (VLT/UVES) data for eight bulge stars. Results:We point out the most suitable wavelength region for each of the studied elements, and highlight difficulties in the derivation of stellar parameters both in the optical and H-band. The near-infrared will allow observations of a large number of stars in the near future given new instruments soon to be available. The identification of spectral lines in this spectral region and the investigation of their reliability are ongoing efforts worldwide. New instruments will also allow simultaneous observation of H-band and optical.


title: A lower bound for the Balan--Jiang matrix problem

abstract: We prove the existence of a positive semidefinite matrix $A \in \mathbb{R}^{n \times n}$ such that any decomposition into rank-1 matrices has to have factors with a large $\ell^1-$norm, more precisely $$ \sum_{k} x_k x_k^*=A \quad \implies \quad \sum_k \|x_k\|^2_{1} \geq c \sqrt{n} \|A\|_{1},$$ where $c$ is independent of $n$. This provides a lower bound for the Balan--Jiang matrix problem. The construction is probabilistic.


title: Dispersivity calculation in digital twins of multiscale porous materials using the micro-continuum approach

abstract: The micro-continuum method is a novel approach to simulate flow and transport in multiscale porous materials. For such materials, the domain can be divided into three sub-domains depending on the local porosity {\epsilon}: fully resolved solid phase, for which {\epsilon}=0, fully resolved pores, for which {\epsilon}=1.0, and unresolved pores, for which 0<{\epsilon}<1.0. For such domains, the flow can be solved using the Darcy-Brinkman-Stokes (DBS) equation, which offers a seamless transition between unresolved pores, where flow is described by Darcy's law, and resolved pores, where flow is described by the Navier-Stokes equations. Species transport can then be modelled using a volume-averaged equation. In this work, we present a derivation of the closure problem for the micro-continuum approach. Effective dispersivity tensors can then be calculated through a multi-stage process. First, high resolution images are chosen for characterizing the structure of the unresolved pores. Porosity, permeability and effective dispersivity for the unresolved part are calculated by solving a closure problem based on Direct Numerical Simulation (DNS) in the high-resolution images. The effective dispersivity is then expressed as a function of the P\'eclet number, which describes the ratio of advective to diffusive transport. This relationship, along with porosity and permeability, is then integrated into the multiscale domain and the effective dispersivity tensor for the full image is calculated. Our novel method is validated by comparison with the numerical solution obtained for a fully-resolved simulation in a multiscale 2D micromodel. It is then applied to obtain an effective dispersivity model in digital twins for two multiscale materials: hierarchical ceramic foams and microporous carbonate rocks.


title: A Sharp Test for the Judge Leniency Design

abstract: We propose a new specification test to assess the validity of the judge leniency design. We characterize a set of sharp testable implications, which exploit all the relevant information in the observed data distribution to detect violations of the judge leniency design assumptions. The proposed sharp test is asymptotically valid and consistent and will not make discordant recommendations. When the judge's leniency design assumptions are rejected, we propose a way to salvage the model using partial monotonicity and exclusion assumptions, under which a variant of the Local Instrumental Variable (LIV) estimand can recover the Marginal Treatment Effect. Simulation studies show our test outperforms existing non-sharp tests by significant margins. We apply our test to assess the validity of the judge leniency design using data from Stevenson (2018), and it rejects the validity for three crime categories: robbery, drug selling, and drug possession.


title: Leptophilic Portals to New Physics at Colliders

abstract: Observed neutrino oscillations imply that the global lepton flavor symmetry of the Standard Model must be broken. Therefore, searches for lepton flavor violation (LFV) are promising probes of new physics beyond the Standard Model. High-energy colliders provide a powerful tool to study LFV effects, which are complementary to the low-energy charged LFV searches. Here we discuss the possibility of LFV signals at colliders arising from exotic Higgs decays, and from leptophilic scalar and vector portal scenarios.


title: An example of the Jantzen filtration of a D-module

abstract: We compute the Jantzen filtration of a D-module on the flag variety of $\mathrm{SL}_2(\mathbb{C})$. At each step in the computation, we illustrate the $\mathfrak{sl}_2(\mathbb{C})$-module structure on global sections to give an algebraic picture of this geometric computation. We conclude by showing that the Jantzen filtration on the D-module agrees with the algebraic Jantzen filtration on its global sections, demonstrating a famous theorem of Beilinson--Bernstein.


title: Near-Field Channel Characterization for Mid-band ELAA Systems: Sounding, Parameter Estimation, and Modeling

abstract: 6G communication will greatly benefit from using extremely large-scale antenna arrays (ELAAs) and new mid-band spectrums (7-24 GHz). These techniques require a thorough exploration of the challenges and potentials of the associated near-field (NF) phenomena. It is crucial to develop accurate NF channel models that include spherical wave propagation and spatial non-stationarity (SnS). However, channel measurement campaigns for mid-band ELAA systems have rarely been reported in the state-of-the-art. To this end, this work develops a channel sounder dedicated to mid-band ELAA systems based on a distributed modular vector network analyzer incorporating radio-over-fiber (RoF), phase compensation, and virtual antenna array schemes. This novel channel-sounding testbed based on off-the-shelf VNA has the potential to enable large-scale experimentation due to its generic and easy-accessible nature. The main challenges and solutions for developing NF channel models for mid-band ELAA systems are discussed, including channel sounders, multipath parameter estimation algorithms, and channel modeling frameworks. Besides, the study reports a measurement campaign in an indoor scenario using a 720-element virtual uniform circular array ELAA operating at {16-20} GHz, highlighting the presence of spherical wavefronts and spatial non-stationary effects. The effectiveness of the proposed near-field channel parameter estimator and channel modeling framework is also demonstrated using the measurement data.


title: A classification of pseudo-Anosov homeomorphisms via geometric Markov partitions

abstract: We continue with the ideas of Bonatti-Langevin-Jeandenans towards a constructive and algorithmic classification of pseudo-Anosov homeomorphisms (possibly with spines), up to topological conjugacy. We begin by indicating how to assign to every pseudo-Anosov homeomorphism an abstract geometric type through a Markov partition whose rectangles have been endowed with a vertical direction; these are known as geometric Markov partitions. Such assignment is not unique, as it depends on the specific geometric Markov partition, and not every abstract geometric type is realized by a pseudo-Anosov homeomorphism. This poses interesting problems related to the algorithmic computability of the classification. The article contains three main results: $i)$ the geometric type is a total invariant of conjugacy, $(ii)$ a pictorial and combinatorial criterion for determining when a given geometric type is realizable by a pseudo-Anosov homeomorphism is provided, and $(iii)$ we describe an algorithmic procedure for determining when two geometric types correspond to topologically conjugate pseudo-Anosov homeomorphisms.


title: (A Partial Survey of) Decentralized, Cooperative Multi-Agent Reinforcement Learning

abstract: Multi-agent reinforcement learning (MARL) has exploded in popularity in recent years. Many approaches have been developed but they can be divided into three main types: centralized training and execution (CTE), centralized training for decentralized execution (CTDE), and Decentralized training and execution (DTE).Decentralized training and execution methods make the fewest assumptions and are often simple to implement. In fact, as I'll discuss, any single-agent RL method can be used for DTE by just letting each agent learn separately. Of course, there are pros and cons to such approaches as I discuss below. It is worth noting that DTE is required if no offline coordination is available. That is, if all agents must learn during online interactions without prior coordination, learning and execution must both be decentralized. DTE methods can be applied in cooperative, competitive, or mixed cases but this text will focus on the cooperative MARL case. In this text, I will first give a brief description of the cooperative MARL problem in the form of the Dec-POMDP. Then, I will discuss value-based DTE methods starting with independent Q-learning and its extensions and then discuss the extension to the deep case with DQN, the additional complications this causes, and methods that have been developed to (attempt to) address these issues. Next, I will discuss policy gradient DTE methods starting with independent REINFORCE (i.e., vanilla policy gradient), and then extending to the actor-critic case and deep variants (such as independent PPO). Finally, I will discuss some general topics related to DTE and future directions.


title: On the Convergence Analysis of Yau-Yau Nonlinear Filtering Algorithm: from a Probabilistic Perspective

abstract: At the beginning of this century, a real time solution of the nonlinear filtering problem without memory was proposed in [1, 2] by the third author and his collaborator, and it is later on referred to as Yau-Yau algorithm. During the last two decades, a great many nonlinear filtering algorithms have been put forward and studied based on this framework. In this paper, we will generalize the results in the original works and conduct a novel convergence analysis of Yau-Yau algorithm from a probabilistic perspective. Instead of considering a particular trajectory, we estimate the expectation of the approximation error, and show that commonly-used statistics of the conditional distribution (such as conditional mean and covariance matrix) can be accurately approximated with arbitrary precision by Yau-Yau algorithm, for general nonlinear filtering systems with very liberal assumptions. This novel probabilistic version of convergence analysis is more compatible with the development of modern stochastic control theory, and will provide a more valuable theoretical guidance for practical implementations of Yau-Yau algorithm.


title: Semi-stable and splitting models for unitary Shimura varieties over ramified places. II

abstract: We consider Shimura varieties associated to a unitary group of signature $(n-1, 1)$. For these varieties, we construct $p$-adic integral models over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a vertex lattice in the hermitian space. Our models are given by a variation of the construction of the splitting models of Pappas-Rapoport and they have a simple moduli theoretic description. By an explicit calculation, we show that these splitting models are normal, flat, Cohen-Macaulay and with reduced special fiber. In fact, they have relatively simple singularities: we show that a single blow-up along a smooth codimension one subvariety of the special fiber produces a semi-stable model. This also implies the existence of semi-stable models of the corresponding Shimura varieties.


title: Skeet: Towards a Lightweight Serverless Framework Supporting Modern AI-Driven App Development

abstract: The field of web and mobile software frameworks is relatively mature, with a large variety of tools in different languages that facilitate traditional app development where data in a relational database is displayed and modified. Our position is that many current frameworks became popular during single server deployment of MVC architecture apps, and do not facilitate modern aspects of app development such as cloud computing and the incorporation of emerging technologies such as AI. We present a novel framework which accomplishes these purposes, Skeet, which was recently released to general use, alongside an initial evaluation. Skeet provides an app structure that reflects current trends in architecture, and tool suites that allow developers with minimal knowledge of AI internals to easily incorporate such technologies into their apps and deploy them.


title: Resilient control of networked switched systems subject to deception attack and DoS attack

abstract: In this paper, the resilient control for switched systems in the presence of deception attack and denial-of-service (DoS) attack is addressed. Due to the interaction of two kinds of attacks and the asynchronous phenomenon of controller mode and subsystem mode, the system dynamics becomes much more complex. A criterion is derived to ensure the mean square security level of the closed-loop system. This in turn reveals the balance of system resilience and control performance. Furthermore, a mixed-switching control strategy is put forward to make the system globally asymptotically stable. It is shown that the system will still converge to the equilibrium even if the deception attack occurs. Finally, simulations are carried out to verify the effectiveness of the theoretical results.


title: MDNet: Multi-Decoder Network for Abdominal CT Organs Segmentation

abstract: Accurate segmentation of organs from abdominal CT scans is essential for clinical applications such as diagnosis, treatment planning, and patient monitoring. To handle challenges of heterogeneity in organ shapes, sizes, and complex anatomical relationships, we propose a \textbf{\textit{\ac{MDNet}}}, an encoder-decoder network that uses the pre-trained \textit{MiT-B2} as the encoder and multiple different decoder networks. Each decoder network is connected to a different part of the encoder via a multi-scale feature enhancement dilated block. With each decoder, we increase the depth of the network iteratively and refine segmentation masks, enriching feature maps by integrating previous decoders' feature maps. To refine the feature map further, we also utilize the predicted masks from the previous decoder to the current decoder to provide spatial attention across foreground and background regions. MDNet effectively refines the segmentation mask with a high dice similarity coefficient (DSC) of 0.9013 and 0.9169 on the Liver Tumor segmentation (LiTS) and MSD Spleen datasets. Additionally, it reduces Hausdorff distance (HD) to 3.79 for the LiTS dataset and 2.26 for the spleen segmentation dataset, underscoring the precision of MDNet in capturing the complex contours. Moreover, \textit{\ac{MDNet}} is more interpretable and robust compared to the other baseline models.


title: Integrability-preserving regularizations of Laplacian Growth

abstract: The Laplacian Growth (LG) model is known as a universality class of scale-free aggregation models in two dimensions, characterized by classical integrability and featuring finite-time boundary singularity formation. A discrete counterpart, Diffusion-Limited Aggregation (or DLA), has a similar local growth law, but significantly different global behavior. For both LG and DLA, a proper description for the scaling properties of long-time solutions is not available yet. In this note, we outline a possible approach towards finding the correct theory yielding a regularized LG and its relation to DLA.


title: Strong Dipole-Dipole Interactions via Enhanced Light-Matter Coupling in Composite Nanofiber Waveguides

abstract: We study the interaction of emitters with a composite waveguide formed from two parallel optical nanofibers in currently unexplored regimes of experimental importance for atomic gases or solid-state emitters. Using the exact dyadic Green's function we comprehensively investigate the coupling efficiency and the fiber-induced Lamb shift accounting for variations in emitter positions and fiber configurations. This reveals coupling efficiencies and Purcell factors that are enhanced considerably beyond those using a single fiber waveguide, and robustness in the figures of merit. We finally investigate resonant dipole-dipole interactions and the generation of entanglement between two emitters mediated through the composite waveguide under excitation. We show that the concurrence can be enhanced for two fiber systems, such that entanglement may be present even in cases where it is zero for a single fiber. All-fiber systems are simple in construction and benefit from a wealth of existing telecommunications technologies, whilst enjoying strong couplings to emitters and offering novel light-matter functionalities specific to slot waveguides.


title: Left-orderability of Groups Acting on Bifoliated Planes

abstract: We prove that any group acting faithfully on a bifoliated plane while preserving the orientations of both foliations is left-orderable. The proof utilizes a construction of a linear order on the set of ends of the leaf spaces, which takes advantage of the additional structure coming with a bifoliation. Moreover, we build an identification between ends of leaf spaces of the bifoliation and subsets of the boundary circle at infinity, and use it to give a condition for the equivalence between a faithful group action on a bifoliated plane and a faithful group action on the set of ends of the leaf spaces.


title: Non-Hermitian topological phases and skin effects in kagome lattices

abstract: Non-Hermitian physics has added new ingredients to topological physics, leading to the rising frontier of non-Hermitian topological phases. In this study, we investigate Chern insulator phases emerging from non-Hermitian kagome models with non-reciprocal and pure imaginary next-nearest neighbor hoppings. In the presence or absence of $C_3$ rotation symmetry, hybrid topological-skin effects are explored through the identification of distinct corner skin modes in different energy regions within two band gaps. By employing the dynamical analysis, the underlying physics is revealed from the non-Hermitian skin effects associated with the chiral edge states, leading to diverse non-Hermitian bulk-boundary responses. The simplicity of these kagome models and their rich emergent topological phenomena suggest that they are appealing candidates for studying non-Hermitian topological phases. We further discuss the possible realizations of these models in non-Hermitian metamaterials.


title: Projective connections and extremal domains for analytic content

abstract: This note expands on the recent proof \cite{ABKT} that the extremal domains for analytic content in two dimensions can only be disks and annuli. This result's unexpected implication for theoretical physics is that, for extremal domains, the analytic content is a measure of non-commutativity of the (multiplicative) adjoint operators $T, T^{\dag}$, where $T^{\dag} = \bar z$, and therefore of the quantum deformation parameter (``Planck's constant"). The annular solution (which includes the disk as a special case) is, in fact, a continuous family of solutions, corresponding to all possible positive values of the deformation parameter, consistent with the physical requirement that conformal invariance in two dimensions forbids the existence of a special length scale.

categories: math-ph math.GR math.MP math.OA quant-ph


title: Anomaly Detection in Graph Structured Data: A Survey

abstract: Real-world graphs are complex to process for performing effective analysis, such as anomaly detection. However, recently, there have been several research efforts addressing the issues surrounding graph-based anomaly detection. In this paper, we discuss a comprehensive overview of anomaly detection techniques on graph data. We also discuss the various application domains which use those anomaly detection techniques. We present a new taxonomy that categorizes the different state-of-the-art anomaly detection methods based on assumptions and techniques. Within each category, we discuss the fundamental research ideas that have been done to improve anomaly detection. We further discuss the advantages and disadvantages of current anomaly detection techniques. Finally, we present potential future research directions in anomaly detection on graph-structured data.


title: Nonequilibrium transport and the fluctuation theorem in the thermodynamic behaviors of nonlinear photonic systems

abstract: Nonlinear multimode optical systems have attracted substantial attention due to their rich physical properties. Complex interplay between the nonlinear effects and mode couplings makes it difficult to understand the collective dynamics of photons. Recent studies show that such collective phenomena can be effectively described by a Rayleigh-Jeans thermodynamics theory which is a powerful tool for the study of nonlinear multimode photonic systems. These systems, in turn, offer a compelling platform for investigating fundamental issues in statistical physics, attributed to their tunability and the ability to access negative temperature regimes. However, to date, a theory for the nonequilibrium transport and fluctuations is yet to be established. Here, we employ the full counting statistics theory to study the nonequilibrium transport of particle and energy in nonlinear multimode photonic systems in both positive and negative temperature regimes. Furthermore, we discover that in situations involving two reservoirs of opposite temperatures and chemical potentials, an intriguing phenomenon known as the loop current effect can arise, wherein the current in the positive energy sector runs counter to that in the negative energy sector. In addition, we numerically confirm that the fluctuation theorem remains applicable in optical thermodynamics systems across all regimes, from positive temperature to negative ones. Our findings closely align with numerical simulations based on first-principles nonlinear wave equations. Our work seeks to deepen the understanding of irreversible non-equilibrium processes and statistical fluctuations in nonlinear many-body photonic systems which will enhance our grasp of collective phenomena of photons and foster a fruitful intersection between optics and statistical physics.


title: Observation of a $p$-orbital higher-order topological insulator phase in puckered lattice acoustic metamaterials

abstract: The puckered lattice geometry, along with $p$-orbitals is often overlooked in the study of topological physics. Here, we investigate the higher-order topology of the $p_{x,y}$-orbital bands in acoustic metamaterials using a simplified two-dimensional phosphorene lattice which possesses a puckered structure. Notably, unlike the $s$-orbital bands in planar lattices, the unique higher-order topology observed here is specific to $p$-orbitals and the puckered geometry due to the unusual hopping patterns induced by them. {Using acoustic pump-probe measurements in metamaterials}, we confirm the emergence of the edge and corner states arising due to the unconventional higher-order topology. We reveal the uniqueness of the higher-order topological physics here via complimentary tight-binding calculations, finite-element simulations, and acoustic experiments. We analyze the underlying physics of the special properties of the edge and corner states in the puckered lattice acoustic metamaterials from the picture of Wannier orbitals. Our work sheds light on the intriguing physics of $p$-orbital topological physics in puckered lattices and acoustic metamaterials which lead to unconventional topological boundary states. \end{abstract}


title: Prior-guided Diffusion Model for Cell Segmentation in Quantitative Phase Imaging

abstract: Purpose: Quantitative phase imaging (QPI) is a label-free technique that provides high-contrast images of tissues and cells without the use of chemicals or dyes. Accurate semantic segmentation of cells in QPI is essential for various biomedical applications. While DM-based segmentation has demonstrated promising results, the requirement for multiple sampling steps reduces efficiency. This study aims to enhance DM-based segmentation by introducing prior-guided content information into the starting noise, thereby minimizing inefficiencies associated with multiple sampling. Approach: A prior-guided mechanism is introduced into DM-based segmentation, replacing randomly sampled starting noise with noise informed by content information. This mechanism utilizes another trained DM and DDIM inversion to incorporate content information from the to-be-segmented images into the starting noise. An evaluation method is also proposed to assess the quality of the starting noise, considering both content and distribution information. Results: Extensive experiments on various QPI datasets for cell segmentation showed that the proposed method achieved superior performance in DM-based segmentation with only a single sampling. Ablation studies and visual analysis further highlighted the significance of content priors in DM-based segmentation. Conclusion: The proposed method effectively leverages prior content information to improve DM-based segmentation, providing accurate results while reducing the need for multiple samplings. The findings emphasize the importance of integrating content priors into DM-based segmentation methods for optimal performance.


title: Lowering Barriers to Entry for Fully-Integrated Custom Payloads on a DJI Matrice

abstract: Consumer-grade drones have become effective multimedia collection tools, spring-boarded by rapid development in embedded CPUs, GPUs, and cameras. They are best known for their ability to cheaply collect high-quality aerial video, 3D terrain scans, infrared imagery, etc., with respect to manned aircraft. However, users can also create and attach custom sensors, actuators, or computers, so the drone can collect different data, generate composite data, or interact intelligently with its environment, e.g., autonomously changing behavior to land in a safe way, or choosing further data collection sites. Unfortunately, developing custom payloads is prohibitively difficult for many researchers outside of engineering. We provide guidelines for how to create a sophisticated computational payload that integrates a Raspberry Pi 5 into a DJI Matrice 350. The payload fits into the Matrice's case like a typical DJI payload (but is much cheaper), is easy to build and expand (3D-printed), uses the drone's power and telemetry, can control the drone and its other payloads, can access the drone's sensors and camera feeds, and can process video and stream it to the operator via the controller in real time. We describe the difficulties and proprietary quirks we encountered, how we worked through them, and provide setup scripts and a known-working configuration for others to use.


title: Metrics on permutations with the same descent set

abstract: Let $S_n$ be the symmetric group on the set $[n]:=\{1,2,\ldots,n\}$. Given a permutation $\sigma=\sigma_1\sigma_2 \cdots \sigma_n \in S_n$, we say it has a descent at index $i$ if $\sigma_i>\sigma_{i+1}$. Let $\mathcal{D}(\sigma)$ be the set of all descents of $\sigma$ and define $\mathcal{D}(S;n)=\{\sigma\in S_n\, | \,\mathcal{D}(\sigma)=S\}$. We study the Hamming metric and $\ell_\infty$-metric on the sets $\mathcal{D}(S;n)$ for all possible nonempty $S\subset[n-1]$ to determine the maximum possible value that these metrics can achieve when restricted to these subsets.


title: ACTION: Augmentation and Computation Toolbox for Brain Network Analysis with Functional MRI

abstract: Functional magnetic resonance imaging (fMRI) has been increasingly employed to investigate functional brain activity. Many fMRI-related software/toolboxes have been developed, providing specialized algorithms for fMRI analysis. However, existing toolboxes seldom consider fMRI data augmentation, which is quite useful, especially in studies with limited or imbalanced data. Moreover, current studies usually focus on analyzing fMRI using conventional machine learning models that rely on human-engineered fMRI features, without investigating deep learning models that can automatically learn data-driven fMRI representations. In this work, we develop an open-source toolbox, called Augmentation and Computation Toolbox for braIn netwOrk aNalysis (ACTION), offering comprehensive functions to streamline fMRI analysis. The ACTION is a Python-based and cross-platform toolbox with graphical user-friendly interfaces. It enables automatic fMRI augmentation, covering blood-oxygen-level-dependent (BOLD) signal augmentation and brain network augmentation. Many popular methods for brain network construction and network feature extraction are included. In particular, it supports constructing deep learning models, which leverage large-scale auxiliary unlabeled data (3,800+ resting-state fMRI scans) for model pretraining to enhance model performance for downstream tasks. To facilitate multi-site fMRI studies, it is also equipped with several popular federated learning strategies. Furthermore, it enables users to design and test custom algorithms through scripting, greatly improving its utility and extensibility. We demonstrate the effectiveness and user-friendliness of ACTION on real fMRI data and present the experimental results. The software, along with its source code and manual, can be accessed online.


title: Flavor dependent Critical endpoint from holographic QCD through machine learning

abstract: QCD phase diagram in the $T - \mu$ plane and the equation of state for pure gluon, 2-flavor, 2+1-flavor systems, and 2+1+1-flavor systems have been investigated using the Einstein-Maxwell-Dilaton (EMD) framework at finite temperature and chemical potential. By inputting lattice QCD data for the equation of state and baryon susceptibility at zero chemical potential into holographic model, all the parameters can be determined with the aid of machine learning algorithms. Our findings indicate that the deconfinement phase transition is of first order for the pure gluon system with critical temperature $T_c = 0.265 \rm GeV$ at vanishing chemical potential. The phase transition for the 2-flavor, 2+1-flavor systems, and 2+1+1-flavor systems are crossover at vanishing chemical potential and first-order at high chemical potential, and the critical endpoint(CEP) in the $T - \mu$ plane locates at ($\mu_B^c$=0.46 GeV, $T^c$=0.147 GeV), ($\mu_B^c$ = 0.74 GeV, $T^c$ = 0.094 GeV), and ($\mu_B^c$= 0.87 GeV,$T^c$ = 0.108 GeV), respectively. Additionally, the thermodynamic quantities of the system for different flavors at finite chemical potential are presented in this paper. It is observed that the difference between the 2+1 flavor and 2+1+1 flavor systems is invisible at vanishing chemical potential and low temperature. The location of CEP for 2+1+1 flavor system deviates explicitly from that of the 2+1 flavor system with the increase of chemical potential. Both 2+1 flavor and 2+1+1 flavor systems differ significantly from the 2-flavor system.


title: On Certain Bounds for Multiset Dimensions of Zero-Divisor Graphs Associated with Rings

abstract: This article investigates multiset dimensions in zero divisor graphs (ZD-graphs) associated with rings. Through rigorous analysis, we establish general bounds for the multiset dimension (Mdim) in ZD-graphs, exploring various commutative rings including the ring Z_n of integers modulo n, Gaussian integers and quotient polynomial rings. Additionally, we examine the behavior of Mdim under algebraic operations and discuss bounds in terms of diameter and maximum degree. This study enhances our understanding of algebraic structures and their graphical representations.


title: Residual-NeRF: Learning Residual NeRFs for Transparent Object Manipulation

abstract: Transparent objects are ubiquitous in industry, pharmaceuticals, and households. Grasping and manipulating these objects is a significant challenge for robots. Existing methods have difficulty reconstructing complete depth maps for challenging transparent objects, leaving holes in the depth reconstruction. Recent work has shown neural radiance fields (NeRFs) work well for depth perception in scenes with transparent objects, and these depth maps can be used to grasp transparent objects with high accuracy. NeRF-based depth reconstruction can still struggle with especially challenging transparent objects and lighting conditions. In this work, we propose Residual-NeRF, a method to improve depth perception and training speed for transparent objects. Robots often operate in the same area, such as a kitchen. By first learning a background NeRF of the scene without transparent objects to be manipulated, we reduce the ambiguity faced by learning the changes with the new object. We propose training two additional networks: a residual NeRF learns to infer residual RGB values and densities, and a Mixnet learns how to combine background and residual NeRFs. We contribute synthetic and real experiments that suggest Residual-NeRF improves depth perception of transparent objects. The results on synthetic data suggest Residual-NeRF outperforms the baselines with a 46.1% lower RMSE and a 29.5% lower MAE. Real-world qualitative experiments suggest Residual-NeRF leads to more robust depth maps with less noise and fewer holes. Website: https://residual-nerf.github.io


title: Multi-wavelength Emission of Gamma-ray Burst Prompt Phase. I. Time-resolved and Time-integrated Polarizations

abstract: The time-integrated polarization degree (PD) at prompt optical band of gamma-ray burst (GRB) was predicted to be less than $20\%$, while the time-resolved one can reach as high as $75\%$ in photosphere model. Polarizations in optical band during GRB prompt phase had not been studied under framework of the magnetic reconnection model. Here, a three-segment power laws of the energy spectrum is used to reconstruct the Stokes parameters of the magnetic reconnection model. The multi-wavelength light curves and polarization curves from the optical band to MeV gamma-rays in GRB prompt phase are studied. We found depending mainly on the jet dynamics there is a long lasting high PD phase at all calculated energy bands for the typical parameter sets. The time-resolved PD could be as high as $50\%$, while the time-integrated one is roughly $17\%$) in optical band. It can reach $60\%$ for the time-resolved PD in X-rays and the time-integrated one is around $(30-40)\%$. The polarization angle (PA) evolution is random in both optical and gamma-ray bands for the photosphere model, while it is roughly a constant in the synchrotron models. Therefore, future time-resolved PA observations in the prompt optical or gamma-ray band could distinguish between the photosphere and the synchrotron models.


title: Arctic: A Field Programmable Quantum Array Scheduling Technique

abstract: Advancements in neutral atom quantum computers have positioned them as a valuable framework for quantum computing, largely due to their prolonged coherence times and capacity for high-fidelity gate operations. Recently, neutral atom computers have enabled coherent atom shuttling to facilitate long-range connectivity as a high-fidelity alternative to traditional gate-based methods. However, these inherent advantages are accompanied by novel constraints, making it challenging to create optimal movement schedules. In this study I present, to the best of my knowledge, the first compiler pass designed to optimize reconfigurable coupling in zoned neutral atom architectures, while adhering to the reconfigurability constraints of these systems. I approach qubit mapping and movement scheduling as a max-cut and layered cross-minimization problem while enhancing support for spatially complex algorithms through a novel "stacking" feature that balances the qubit array's spatial dimensions with algorithmic parallelism. I compare the method across various algorithms sourced from Supermarq and Qasmbench where the compiler pass represents the first exclusively movement-based technique to achieve compilation times consistently within seconds. Results also demonstrate that the approach reduces pulse counts by up to 5x and increases fidelity by up to 7x compared to existing methods on currently available technology.


title: RT-utils: A Minimal Python Library for RT-struct Manipulation

abstract: Towards the need for automated and precise AI-based analysis of medical images, we present RT-utils, a specialized Python library tuned for the manipulation of radiotherapy (RT) structures stored in DICOM format. RT-utils excels in converting the polygon contours into binary masks, ensuring accuracy and efficiency. By converting DICOM RT structures into standardized formats such as NumPy arrays and SimpleITK Images, RT-utils optimizes inputs for computational solutions such as AI-based automated segmentation techniques or radiomics analysis. Since its inception in 2020, RT-utils has been used extensively with a focus on simplifying complex data processing tasks. RT-utils offers researchers a powerful solution to enhance workflows and drive significant advancements in medical imaging.


title: Zero-shot Degree of Ill-posedness Estimation for Active Small Object Change Detection

abstract: In everyday indoor navigation, robots often needto detect non-distinctive small-change objects (e.g., stationery,lost items, and junk, etc.) to maintain domain knowledge. Thisis most relevant to ground-view change detection (GVCD), a recently emerging research area in the field of computer vision.However, these existing techniques rely on high-quality class-specific object priors to regularize a change detector modelthat cannot be applied to semantically nondistinctive smallobjects. To address ill-posedness, in this study, we explorethe concept of degree-of-ill-posedness (DoI) from the newperspective of GVCD, aiming to improve both passive and activevision. This novel DoI problem is highly domain-dependent,and manually collecting fine-grained annotated training datais expensive. To regularize this problem, we apply the conceptof self-supervised learning to achieve efficient DoI estimationscheme and investigate its generalization to diverse datasets.Specifically, we tackle the challenging issue of obtaining self-supervision cues for semantically non-distinctive unseen smallobjects and show that novel "oversegmentation cues" from openvocabulary semantic segmentation can be effectively exploited.When applied to diverse real datasets, the proposed DoI modelcan boost state-of-the-art change detection models, and it showsstable and consistent improvements when evaluated on real-world datasets.


title: Sensing-Assisted Adaptive Channel Contention for Mobile Delay-Sensitive Communications

abstract: This paper proposes an adaptive channel contention mechanism to optimize the queuing performance of a distributed millimeter wave (mmWave) uplink system with the capability of environment and mobility sensing. The mobile agents determine their back-off timer parameters according to their local knowledge of the uplink queue lengths, channel quality, and future channel statistics, where the channel prediction relies on the environment and mobility sensing. The optimization of queuing performance with this adaptive channel contention mechanism is formulated as a decentralized multi-agent Markov decision process (MDP). Although the channel contention actions are determined locally at the mobile agents, the optimization of local channel contention policies of all mobile agents is conducted in a centralized manner according to the system statistics before the scheduling. In the solution, the local policies are approximated by analytical models, and the optimization of their parameters becomes a stochastic optimization problem along an adaptive Markov chain. An unbiased gradient estimation is proposed so that the local policies can be optimized efficiently via the stochastic gradient descent method. It is demonstrated by simulation that the proposed gradient estimation is significantly more efficient in optimization than the existing methods, e.g., simultaneous perturbation stochastic approximation (SPSA).


title: Exploring Ring Structures: Multiset Dimension Analysis in Compressed Zero-Divisor Graphs

abstract: This paper explores the concept of multiset dimensions (Mdim) of compressed zero-divisor graphs (CZDG) associated with rings. The authors investigate the interplay between the ring-theoretic properties of a ring $R$ and the associated compressed zero-divisor graph. An undirected graph consisting of a vertex set $ Z(R_E)\backslash\{[0]\} = R_E\backslash\{[0],[1]\}$, where $R_E=\{[x] : x\in R\} $ and $[x]=\{y\in R : \text{ann}(x)=\text{ann}(y)\}$ is called a compressed zero-divisor graph, denoted by $\Gamma_E (R)$. An edge is formed between two vertices $[x]$ and $[y]$ of $Z(R_E)$ if and only if $[x][y]=[xy]=[0]$, that is, iff $xy=0$. For a ring $R$, graph $G$ is said to be realizable as $\Gamma_E (R) $ if $G$ is isomorphic to $\Gamma_E (R)$. We classify the rings based on Mdim of their associated CZDG and obtain the bounds for the Mdim of the compressed zero-divisor graphs. We also study the Mdim of realizable graphs of rings. Moreover, some examples are provided to support our results. Lately, we have discussed the interconnection between Mdim, girth, and diameter of CZDG.


title: Multidimensional empirical wavelet transform

abstract: The empirical wavelet transform is a data-driven time-scale representation consisting of adaptive filters. Its robustness to data has made it the subject of intense developments and an increasing number of applications in the last decade. However, it has been mostly studied theoretically for signals so far and its extension to images is limited to a particular mother wavelet. This work presents a general framework for multidimensional empirical wavelet transform from any mother wavelet. In addition, it provides conditions to build wavelet frames for both continuous and discrete transforms.


title: Holonomic swap and controlled-swap gates of neutral atoms via selective Rydberg pumping

abstract: Holonomic quantum computing offers a promising paradigm for quantum computation due to its error resistance and the ability to perform universal quantum computations. Here, we propose a scheme for the rapid implementation of a holonomic swap gate in neutral atomic systems, based on the selective Rydberg pumping mechanism. By employing time-dependent soft control, we effectively mitigate the impact of off-resonant terms even at higher driving intensities compared to time-independent driving. This approach accelerates the synthesis of logic gates and passively reduces the decoherence effects. Furthermore, by introducing an additional atom and applying the appropriate driving field, our scheme can be directly extended to implement a three-qubit controlled-swap gate. This advancement makes it a valuable tool for quantum state preparation, quantum switches, and a variational quantum algorithm in neutral atom systems.


title: Geometric Approaches to Matrix Normalization and Graph Balancing

abstract: Normal matrices, or matrices which commute with their adjoints, are of fundamental importance in pure and applied mathematics. In this paper, we study a natural functional on the space of square complex matrices whose global minimizers are normal matrices. We show that this functional, which we refer to as the non-normal energy, has incredibly well-behaved gradient descent dynamics: despite it being non-convex, we show that the only critical points of the non-normal energy are the normal matrices, and that its gradient descent trajectories fix matrix spectra and preserve the subset of real matrices. We also show that, even when restricted to the subset of unit Frobenius norm matrices, the gradient flow of the non-normal energy retains many of these useful properties. This is applied to prove that low-dimensional homotopy groups of spaces of unit norm normal matrices vanish; for example, we show that the space of $d \times d$ complex unit norm normal matrices is simply connected for all $d \geq 2$. Finally, we consider the related problem of balancing a weighted directed graph -- that is, readjusting its edge weights so that the weighted in-degree and out-degree is the same at each node. We adapt the non-normal energy to define another natural functional whose global minima are balanced graphs and show that gradient descent of this functional always converges to a balanced graph, while preserving graph spectra and realness of the weights. Our results were inspired by concepts from symplectic geometry and Geometric Invariant Theory, but we mostly avoid invoking this machinery and our proofs are generally self-contained.


title: ODC-SA Net: Orthogonal Direction Enhancement and Scale Aware Network for Polyp Segmentation

abstract: Accurate polyp segmentation is crucial for the early detection and prevention of colorectal cancer. However, the existing polyp detection methods sometimes ignore multi-directional features and drastic changes in scale. To address these challenges, we design an Orthogonal Direction Enhancement and Scale Aware Network (ODC-SA Net) for polyp segmentation. The Orthogonal Direction Convolutional (ODC) block can extract multi-directional features using transposed rectangular convolution kernels through forming an orthogonal feature vector basis, which solves the issue of random feature direction changes and reduces computational load. Additionally, the Multi-scale Fusion Attention (MSFA) mechanism is proposed to emphasize scale changes in both spatial and channel dimensions, enhancing the segmentation accuracy for polyps of varying sizes. Extraction with Re-attention Module (ERA) is used to re-combinane effective features, and Structures of Shallow Reverse Attention Mechanism (SRA) is used to enhance polyp edge with low level information. A large number of experiments conducted on public datasets have demonstrated that the performance of this model is superior to state-of-the-art methods.


title: Contrastive Representation for Data Filtering in Cross-Domain Offline Reinforcement Learning

abstract: Cross-domain offline reinforcement learning leverages source domain data with diverse transition dynamics to alleviate the data requirement for the target domain. However, simply merging the data of two domains leads to performance degradation due to the dynamics mismatch. Existing methods address this problem by measuring the dynamics gap via domain classifiers while relying on the assumptions of the transferability of paired domains. In this paper, we propose a novel representation-based approach to measure the domain gap, where the representation is learned through a contrastive objective by sampling transitions from different domains. We show that such an objective recovers the mutual-information gap of transition functions in two domains without suffering from the unbounded issue of the dynamics gap in handling significantly different domains. Based on the representations, we introduce a data filtering algorithm that selectively shares transitions from the source domain according to the contrastive score functions. Empirical results on various tasks demonstrate that our method achieves superior performance, using only 10% of the target data to achieve 89.2% of the performance on 100% target dataset with state-of-the-art methods.


title: New Business Model for Sustainable Retail Company Using Design Thinking Concept

abstract: The waste problem is still becoming a big concern in Indonesia. Waste, especially plastic waste comes from single-use packaging of daily necessities such as personal care and home care. PT. Siklus Refil Indonesia or Siklus, a retail company, comes to offer a sustainable solution of buying daily necessities by refill method. Since April 2020, Siklus has operated in the Greater Jakarta area and already impacted 20,000 customers. However, Siklus must change its new business model due to regulation from the Food and Drug Supervisory Agency (BPOM) that warned the company not to sell personal care who come in direct contact with skin. The warning impacted the decreasing customers, sales, and profit of Siklus. This research has the purpose of determining the new business model of Siklus using the design thinking concept. By this concept, this research empathizes with customers, defines customer needs, and ideates a business model. This research continues to decide the new business model by creating a matrix of stepwise selection. Then this research does a prototype business model and tests the new business model. After doing the process, Return from Home is selected as the new business model for Siklus.


title: New comprehensive description of the scaling evolution of the cosmological magneto-hydrodynamic system

abstract: We study the evolution of primordial magnetic fields until the recombination epoch, which is constrained by the conservation of magnetic helicity density if they are maximally helical and by the Hosking integral if they are non-helical. We combine these constraints with conditions obtained by estimating time scales of energy dissipation processes to describe the evolution of magnetic field strength and magnetic coherence length analytically. The dissipation processes depend on whether magnetic or kinetic energy is dominant, whether the decay dynamics is linear or not, and whether the dominant dissipation term is shear viscosity or drag force. We apply the description to compare constraints on primordial magnetic fields at different epochs in the early universe and argue that magnetogenesis before the electroweak symmetry breaking is not feasible.


title: Disruptive Atomic Jumps Induce Grain Boundary Stagnation

abstract: Grain growth in polycrystalline materials can be impeded by grain boundary (GB) stagnation. Using atomistic simulations, we unveil a novel mechanism in this study that explains GB stagnation in the absence of solutes and other impurities: disruptive atomic jumps in the GB area. These disruptive atomic jumps can be activated by both high driving forces and high temperatures, with even jumps of a few atoms capable of causing the stagnation of an entire GB. This mechanism also explains the non-Arrhenius behavior observed in some GBs. Additionally, a large model size could increase the rate of disruptive atomic jumps, and a clear transition in thermal behavior is observed with the increase of the GB size in GBs exhibiting clear thermally activated stagnation. Our further investigation shows that the disruptive atoms involved in these jumps do not differ from other GB atoms in terms of atomic energy, volume, density, local entropy, or Voronoi tessellation, and no "jam transition" was observed in the energy barrier spectra. This fact makes those disruptive jumps challenging to detect. To address this issue, we propose a displacement vector analysis method that effectively identifies these subtle disruptive jumps.


title: VLSM-Adapter: Finetuning Vision-Language Segmentation Efficiently with Lightweight Blocks

abstract: Foundation Vision-Language Models (VLMs) trained using large-scale open-domain images and text pairs have recently been adapted to develop Vision-Language Segmentation Models (VLSMs) that allow providing text prompts during inference to guide image segmentation. If robust and powerful VLSMs can be built for medical images, it could aid medical professionals in many clinical tasks where they must spend substantial time delineating the target structure of interest. VLSMs for medical images resort to fine-tuning base VLM or VLSM pretrained on open-domain natural image datasets due to fewer annotated medical image datasets; this fine-tuning is resource-consuming and expensive as it usually requires updating all or a significant fraction of the pretrained parameters. Recently, lightweight blocks called adapters have been proposed in VLMs that keep the pretrained model frozen and only train adapters during fine-tuning, substantially reducing the computing resources required. We introduce a novel adapter, VLSM-Adapter, that can fine-tune pretrained vision-language segmentation models using transformer encoders. Our experiments in widely used CLIP-based segmentation models show that with only 3 million trainable parameters, the VLSM-Adapter outperforms state-of-the-art and is comparable to the upper bound end-to-end fine-tuning. The source code is available at: https://github.com/naamiinepal/vlsm-adapter.


title: Improved frequency spectra of gravitational waves with memory in a binary-black-hole simulation

abstract: Numerical relativists can now produce gravitational waveforms with memory effects routinely and accurately. The gravitational-wave memory effect contains very low-frequency components, including a persistent offset. The presence of these components violates basic assumptions about time-shift behavior underpinning standard data-analysis techniques in gravitational-wave astronomy. This poses a challenge to the analysis of waveform spectra: How to preserve the low-frequency characteristics when transforming a time-domain waveform to the frequency domain. To tackle this challenge, we revisit the preprocessing procedures applied to the waveforms that contain memory effects. We find inconsistency between the zero-frequency limit of displacement memory and the low- frequency spectrum of the same memory preprocessed using the common scheme in literature. To resolve the inconsistency, we propose a new robust preprocessing scheme that produces the spectra of memory waveforms more faithfully. Using this new scheme, we inspect several characteristics of the spectrum of a memory waveform. In particular, we find a discernible beating pattern formed by the dominant oscillatory mode and the displacement memory. This pattern is absent in the spectrum of a waveform without memory. The difference between the memory and no-memory waveforms is too small to be observed by current-generation detectors in a single binary-black-hole event. Detecting the memory in a single event is likely to occur in the era of next-generation detectors.


title: MAPL: Memory Augmentation and Pseudo-Labeling for Semi-Supervised Anomaly Detection

abstract: Large unlabeled data and difficult-to-identify anomalies are the urgent issues need to overcome in most industrial scene. In order to address this issue, a new meth-odology for detecting surface defects in in-dustrial settings is introduced, referred to as Memory Augmentation and Pseudo-Labeling(MAPL). The methodology first in-troduces an anomaly simulation strategy, which significantly improves the model's ability to recognize rare or unknown anom-aly types by generating simulated anomaly samples. To cope with the problem of the lack of labeling of anomalous simulated samples, a pseudo-labeler method based on a one-classifier ensemble was employed in this study, which enhances the robustness of the model in the case of limited labeling data by automatically selecting key pseudo-labeling hyperparameters. Meanwhile, a memory-enhanced learning mechanism is introduced to effectively predict abnormal regions by analyzing the difference be-tween the input samples and the normal samples in the memory pool. An end-to-end learning framework is employed by MAPL to identify the abnormal regions directly from the input data, which optimizes the ef-ficiency and real-time performance of de-tection. By conducting extensive trials on the recently developed BHAD dataset (in-cluding MVTec AD [1], Visa [2], and MDPP [3]), MAPL achieves an average im-age-level AUROC score of 86.2%, demon-strating a 5.1% enhancement compared to the original MemSeg [4] model. The source code is available at https://github.com/jzc777/MAPL.


title: Learning PDEs from data on closed surfaces with sparse optimization

abstract: The discovery of underlying surface partial differential equation (PDE) from observational data has significant implications across various fields, bridging the gap between theory and observation, enhancing our understanding of complex systems, and providing valuable tools and insights for applications. In this paper, we propose a novel approach, termed physical-informed sparse optimization (PIS), for learning surface PDEs. Our approach incorporates both $L_2$ physical-informed model loss and $L_1$ regularization penalty terms in the loss function, enabling the identification of specific physical terms within the surface PDEs. The unknown function and the differential operators on surfaces are approximated by some extrinsic meshless methods. We provide practical demonstrations of the algorithms including linear and nonlinear systems. The numerical experiments on spheres and various other surfaces demonstrate the effectiveness of the proposed approach in simultaneously achieving precise solution prediction and identification of unknown PDEs.


title: Restricted isometric compression of sparse datasets into low-dimensional varieties

abstract: This article extends the known restricted isometric projection of sparse datasets in Euclidean spaces $\mathbb{R}^N$ down into low-dimensional subspaces $\mathbb{R}^k, k \ll N,$ to the case of low-dimensional varieties $\mathcal{M} \subset \mathbb{R}^N,$ of codimension $N - k = \omega(N)$. Applications to structured/hierarchical datasets are considered.

categories: math-ph math.FA math.MP math.OC math.RT math.ST stat.TH


title: PhysMLE: Generalizable and Priors-Inclusive Multi-task Remote Physiological Measurement

abstract: Remote photoplethysmography (rPPG) has been widely applied to measure heart rate from face videos. To increase the generalizability of the algorithms, domain generalization (DG) attracted increasing attention in rPPG. However, when rPPG is extended to simultaneously measure more vital signs (e.g., respiration and blood oxygen saturation), achieving generalizability brings new challenges. Although partial features shared among different physiological signals can benefit multi-task learning, the sparse and imbalanced target label space brings the seesaw effect over task-specific feature learning. To resolve this problem, we designed an end-to-end Mixture of Low-rank Experts for multi-task remote Physiological measurement (PhysMLE), which is based on multiple low-rank experts with a novel router mechanism, thereby enabling the model to adeptly handle both specifications and correlations within tasks. Additionally, we introduced prior knowledge from physiology among tasks to overcome the imbalance of label space under real-world multi-task physiological measurement. For fair and comprehensive evaluations, this paper proposed a large-scale multi-task generalization benchmark, named Multi-Source Synsemantic Domain Generalization (MSSDG) protocol. Extensive experiments with MSSDG and intra-dataset have shown the effectiveness and efficiency of PhysMLE. In addition, a new dataset was collected and made publicly available to meet the needs of the MSSDG.


title: Sequence saturation

abstract: In this paper, we introduce saturation and semisaturation functions of sequences, and we prove a number of fundamental results about these functions. Given any forbidden sequence $u$ with $r$ distinct letters, we say that a sequence $s$ on a given alphabet is $u$-saturated if $s$ is $r$-sparse, $u$-free, and adding any letter from the alphabet to $s$ violates $r$-sparsity or induces a copy of $u$. We say that $s$ is $u$-semisaturated if $s$ is $r$-sparse and adding any letter from the alphabet to $s$ violates $r$-sparsity or induces a new copy of $u$. Let the saturation function $\operatorname{Sat}(u, n)$ denote the minimum possible length of a $u$-saturated sequence on an alphabet of size $n$, and let the semisaturation function $\operatorname{Ssat}(u, n)$ denote the minimum possible length of a $u$-semisaturated sequence on an alphabet of size $n$. For alternating sequences of the form $a b a b \dots$, we determine the saturation functions up to a multiplicative factor of $2$, and we determine the semisaturation functions up to the leading term. We demonstrate a dichotomy for the semisaturation functions of sequences: for any sequence $u$, we have $\operatorname{Ssat}(u, n) = O(1)$ if and only if the first letter and the last letter of $u$ each occur exactly once, and otherwise we have $\operatorname{Ssat}(u, n) = \Theta(n)$. For the saturation function, we show that every sequence $u$ has either $\operatorname{Sat}(u, n) \ge n$ for every positive integer $n$ or $\operatorname{Sat}(u, n) = O(1)$. We prove that every sequence $u$ in which every letter occurs at least twice has $\operatorname{Sat}(u, n) \ge n$, and we show that $\operatorname{Sat}(u, n) = \Theta(n)$ or $\operatorname{Sat}(u, n) = O(1)$ for every sequence $u$ with $2$ distinct letters.


title: A First Step in Using Machine Learning Methods to Enhance Interaction Analysis for Embodied Learning Environments

abstract: Investigating children's embodied learning in mixed-reality environments, where they collaboratively simulate scientific processes, requires analyzing complex multimodal data to interpret their learning and coordination behaviors. Learning scientists have developed Interaction Analysis (IA) methodologies for analyzing such data, but this requires researchers to watch hours of videos to extract and interpret students' learning patterns. Our study aims to simplify researchers' tasks, using Machine Learning and Multimodal Learning Analytics to support the IA processes. Our study combines machine learning algorithms and multimodal analyses to support and streamline researcher efforts in developing a comprehensive understanding of students' scientific engagement through their movements, gaze, and affective responses in a simulated scenario. To facilitate an effective researcher-AI partnership, we present an initial case study to determine the feasibility of visually representing students' states, actions, gaze, affect, and movement on a timeline. Our case study focuses on a specific science scenario where students learn about photosynthesis. The timeline allows us to investigate the alignment of critical learning moments identified by multimodal and interaction analysis, and uncover insights into students' temporal learning progressions.


title: HC$^2$L: Hybrid and Cooperative Contrastive Learning for Cross-lingual Spoken Language Understanding

abstract: State-of-the-art model for zero-shot cross-lingual spoken language understanding performs cross-lingual unsupervised contrastive learning to achieve the label-agnostic semantic alignment between each utterance and its code-switched data. However, it ignores the precious intent/slot labels, whose label information is promising to help capture the label-aware semantics structure and then leverage supervised contrastive learning to improve both source and target languages' semantics. In this paper, we propose Hybrid and Cooperative Contrastive Learning to address this problem. Apart from cross-lingual unsupervised contrastive learning, we design a holistic approach that exploits source language supervised contrastive learning, cross-lingual supervised contrastive learning and multilingual supervised contrastive learning to perform label-aware semantics alignments in a comprehensive manner. Each kind of supervised contrastive learning mechanism includes both single-task and joint-task scenarios. In our model, one contrastive learning mechanism's input is enhanced by others. Thus the total four contrastive learning mechanisms are cooperative to learn more consistent and discriminative representations in the virtuous cycle during the training process. Experiments show that our model obtains consistent improvements over 9 languages, achieving new state-of-the-art performance.


title: Simulation of the abstract Tile Assembly Model Using Crisscross Slats

abstract: Tile assembly systems in the abstract Tile Assembly Model (aTAM) are computationally universal and capable of building complex shapes, but DNA-based implementations encounter formidable error rates that stifle this theoretical potential. Slat-based self-assembly is a recent development wherein DNA forms long slats that combine together in 2 layers, rather than the aTAM's square tiles in a plane. While tiles tend to bind to 2 neighboring tiles at a time, slats may bind to dozens of other slats. Large slat-based DNA constructions have been implemented in the lab with incredible resilience to many of the errors that plague tile-based constructions, but these come at a cost as slat-based systems are often more difficult to design and simulate. Also, it has not been clear if slats, with their larger sizes and different geometries, have the same theoretical capabilities as tiles. Here we show that slats do, at least at scale. We give constructions showing that any aTAM system may be simulated by a system of slats and that these can be made more efficiently, using shorter slats and a smaller scale factor, when simulating simpler classes of systems. We consider 5 classes of aTAM systems with increasing complexity, from zig-zag systems to the full class of all aTAM systems, and show how they can be converted to equivalent slat systems. Zig-zag systems can be simulated by slats at only a $2c \times 2c$ scale (where $c$ is the freely chosen cooperativity of the slats), the full class of aTAM systems at only a $5c \times 5c$ scale, and intermediate classes using scales between these. Together, these results prove that slats have the full theoretical power of aTAM tiles while providing constructions compact enough to potentially provide designs for DNA-based implementations of slat systems that are both capable of powerful algorithmic self-assembly and possessing the strong error resilience of slats.


title: Concealing Backdoor Model Updates in Federated Learning by Trigger-Optimized Data Poisoning

abstract: Federated Learning (FL) is a decentralized machine learning method that enables participants to collaboratively train a model without sharing their private data. Despite its privacy and scalability benefits, FL is susceptible to backdoor attacks, where adversaries poison the local training data of a subset of clients using a backdoor trigger, aiming to make the aggregated model produce malicious results when the same backdoor condition is met by an inference-time input. Existing backdoor attacks in FL suffer from common deficiencies: fixed trigger patterns and reliance on the assistance of model poisoning. State-of-the-art defenses based on Byzantine-robust aggregation exhibit a good defense performance on these attacks because of the significant divergence between malicious and benign model updates. To effectively conceal malicious model updates among benign ones, we propose DPOT, a backdoor attack strategy in FL that dynamically constructs backdoor objectives by optimizing a backdoor trigger, making backdoor data have minimal effect on model updates. We provide theoretical justifications for DPOT's attacking principle and display experimental results showing that DPOT, via only a data-poisoning attack, effectively undermines state-of-the-art defenses and outperforms existing backdoor attack techniques on various datasets.


title: Nuclear Quantum Effects on the Electronic Structure of Water and Ice

abstract: The electronic properties and optical response of ice and water are intricately shaped by their molecular structure, including the quantum mechanical nature of hydrogen atoms. In spite of numerous studies appeared over decades, a comprehensive understanding of the effect of the nuclear quantum motion on the electronic structure of water and ice at finite temperatures remains elusive. Here, we utilize molecular simulations that harness the efficiency of machine-learning potentials and many-body perturbation theory to assess the impact of nuclear quantum effects on the electronic structure of water and hexagonal ice. By comparing the results of path-integral and classical simulations, we find that including nuclear quantum effects leads to a larger renormalization of the fundamental gap of ice, compared to that of water, eventually leading to a comparable gap in the two systems, consistent with experimental estimates. Our calculations suggest that the quantum fluctuations responsible for an increased delocalization of protons in ice, relative to water, are a key factor leading to the enhancement of nuclear quantum effects on the electronic structure of ice.


title: A Lock-free Binary Trie

abstract: A binary trie is a sequential data structure for a dynamic set on the universe $\{0,\dots,u-1\}$ supporting Search with $O(1)$ worst-case step complexity, and Insert, Delete, and Predecessor operations with $O(\log u)$ worst-case step complexity. We give a wait-free implementation of a relaxed binary trie, using read, write, CAS, and ($\log u$)-bit AND operations. It supports all operations with the same worst-case step complexity as the sequential binary trie. However, Predecessor operations may not return a key when there are concurrent update operations. We use this as a component of a lock-free, linearizable implementation of a binary trie. It supports Search with $O(1)$ worst-case step complexity and Insert, Delete and Predecessor with $O(c^2 + \log u)$ amortized step complexity, where $c$ is a measure of the contention. A lock-free binary trie is challenging to implement as compared to many other lock-free data structures because Insert and Delete operations perform a non-constant number of modifications to the binary trie in the worst-case to ensure the correctness of Predecessor operations.