title: The context-specificity of virulence evolution revealed through evolutionary invasion analysis

abstract: Models are often employed to integrate knowledge about epidemics across scales and simulate disease dynamics. While these approaches have played a central role in studying the mechanics underlying epidemics, we lack ways to reliably predict how the relationship between virulence (the harm to hosts caused by an infection) and transmission will evolve in certain virus-host contexts. In this study, we invoke evolutionary invasion analysis -- a method used to identify the evolution of uninvadable strategies in dynamical systems -- to examine how the virulence-transmission dichotomy can evolve in models of virus infections defined by different natural histories. We reveal that peculiar ecologies drive different evolved relationships between virulence and transmission. Specifically, we discover patterns of virulence evolution between epidemics of various kinds (SARS-CoV-2 and hepatitis C virus) and that varying definitions of virulence alter our predictions for how viruses will evolve. We discuss the findings in light of contemporary conversations in the public health sector around the possibility of predicting virus evolution and in more extensive theoretical discussions involving virulence evolution in emerging infectious diseases.


title: Normalization properties of $\lambda\mu$-calculus using realizability semantics

abstract: In this paper, we present a general realizability semantics for the simply typed $\lambda\mu$-calculus. Then, based on this semantics, we derive both weak and strong normalization results for two versions of the $\lambda\mu$-calculus equipped with specific simplification rules. The novelty in our method, in addition to its more systematic approach, lies in its applicability to a broader set of reduction rules. Furthermore, we have obtained a surprising characterization of the typed $\lambda\mu$-terms with the help of our saturation properties.


title: How Charles Babbage invented the Computer

abstract: This paper provides an overview of the successive stages in the development of Charles Babbage's Analytical Engine, based on the blueprints held in the Babbage Papers Archive, accessible online through the Science Museum in London. The first person to decipher these schematics was Allan Bromley, whose contributions in the 1980s and 1990s significantly advanced our understanding of Babbage's pioneering work. The Science Museum's digitization of the Babbage Papers enables a chronological exploration of the evolution of Babbage's machines. The focus is on the Analytical Engine, shedding light on its lesser known but crucial transitional phases.


title: Enhancing Malware Detection by Integrating Machine Learning with Cuckoo Sandbox

abstract: In the modern era, malware is experiencing a significant increase in both its variety and quantity, aligning with the widespread adoption of the digital world. This surge in malware has emerged as a critical challenge in the realm of cybersecurity, prompting numerous research endeavors and contributions to address the issue. Machine learning algorithms have been leveraged for malware detection due to their ability to uncover concealed patterns within vast datasets. However, deep learning algorithms, characterized by their multi-layered structure, surpass the limitations of traditional machine learning approaches. By employing deep learning techniques such as CNN (Convolutional Neural Network) and RNN (Recurrent Neural Network), this study aims to classify and identify malware extracted from a dataset containing API call sequences. The performance of these algorithms is compared with that of conventional machine learning methods, including SVM (Support Vector Machine), RF (Random Forest), KNN (K-Nearest Neighbors), XGB (Extreme Gradient Boosting), and GBC (Gradient Boosting Classifier), all using the same dataset. The outcomes of this research demonstrate that both deep learning and machine learning algorithms achieve remarkably high levels of accuracy, reaching up to 99% in certain cases.


title: A Comprehensive Review of Leap Motion Controller-based Hand Gesture Datasets

abstract: This paper comprehensively reviews hand gesture datasets based on Ultraleap's leap motion controller, a popular device for capturing and tracking hand gestures in real-time. The aim is to offer researchers and practitioners a valuable resource for developing and evaluating gesture recognition algorithms. The review compares various datasets found in the literature, considering factors such as target domain, dataset size, gesture diversity, subject numbers, and data modality. The strengths and limitations of each dataset are discussed, along with the applications and research areas in which they have been utilized. An experimental evaluation of the leap motion controller 2 device is conducted to assess its capabilities in generating gesture data for various applications, specifically focusing on touchless interactive systems and virtual reality. This review serves as a roadmap for researchers, aiding them in selecting appropriate datasets for their specific gesture recognition tasks and advancing the field of hand gesture recognition using leap motion controller technology.


title: Common Knowledge, Regained

abstract: For common knowledge to arise in dynamic settings, all players must simultaneously come to know it has arisen. Consequently, common knowledge cannot arise in many realistic settings with timing frictions. This counterintuitive observation of Halpern and Moses (1990) was discussed by Arrow et al. (1987) and Aumann (1989), was called a paradox by Morris (2014), and has evaded satisfactory resolution for four decades. We resolve this paradox by proposing a new definition for common knowledge, which coincides with the traditional one in static settings but is more permissive in dynamic settings. Under our definition, common knowledge can arise without simultaneity, particularly in canonical examples of the Haplern-Moses paradox. We demonstrate its usefulness by deriving for it an agreement theorem \`a la Aumann (1976), showing it arises in the setting of Geanakoplos and Polemarchakis (1982) with timing frictions added, and applying it to characterize equilibrium behavior in a dynamic coordination game.


title: Federated Experiment Design under Distributed Differential Privacy

abstract: Experiment design has a rich history dating back over a century and has found many critical applications across various fields since then. The use and collection of users' data in experiments often involve sensitive personal information, so additional measures to protect individual privacy are required during data collection, storage, and usage. In this work, we focus on the rigorous protection of users' privacy (under the notion of differential privacy (DP)) while minimizing the trust toward service providers. Specifically, we consider the estimation of the average treatment effect (ATE) under DP, while only allowing the analyst to collect population-level statistics via secure aggregation, a distributed protocol enabling a service provider to aggregate information without accessing individual data. Although a vital component in modern A/B testing workflows, private distributed experimentation has not previously been studied. To achieve DP, we design local privatization mechanisms that are compatible with secure aggregation and analyze the utility, in terms of the width of confidence intervals, both asymptotically and non-asymptotically. We show how these mechanisms can be scaled up to handle the very large number of participants commonly found in practice. In addition, when introducing DP noise, it is imperative to cleverly split privacy budgets to estimate both the mean and variance of the outcomes and carefully calibrate the confidence intervals according to the DP noise. Last, we present comprehensive experimental evaluations of our proposed schemes and show the privacy-utility trade-offs in experiment design.


title: Planetary Radio Interferometry and Doppler Experiment (PRIDE) of the JUICE mission

abstract: Planetary Radio Interferometry and Doppler Experiment (PRIDE) is a multi-purpose experimental technique aimed at enhancing the science return of planetary missions. The technique exploits the science payload and spacecraft service systems without requiring a dedicated onboard instrumentation or imposing on the existing instrumentation any special for PRIDE requirements. PRIDE is based on the near-field phase-referencing Very Long Baseline Interferometry (VLBI) and evaluation of the Doppler shift of the radio signal transmitted by spacecraft by observing it with multiple Earth-based radio telescopes. The methodology of PRIDE has been developed initially at the Joint Institute for VLBI ERIC (JIVE) for tracking the ESA's Huygens Probe during its descent in the atmosphere of Titan in 2005. From that point on, the technique has been demonstrated for various planetary and other space science missions. The estimates of lateral position of the target spacecraft are done using the phase-referencing VLBI technique. Together with radial Doppler estimates, these observables can be used for a variety of applications, including improving the knowledge of the spacecraft state vector. The PRIDE measurements can be applied to a broad scope of research fields including studies of atmospheres through the use of radio occultations, the improvement of planetary and satellite ephemerides, as well as gravity field parameters and other geodetic properties of interest, and estimations of interplanetary plasma properties. This paper presents the implementation of PRIDE as a component of the ESA's Jupiter Icy Moons Explorer (JUICE) mission.


title: Scalar QED Model for Polarizable Particles in Thermal Equilibrium or in Hyperbolic Motion in Vacuum

abstract: We consider a scalar QED model for the frictional force and the momentum fluctuations of a polarizable particle in thermal equilibrium with radiation or in hyperbolic motion in a vacuum. In the former case the loss of particle kinetic energy due to the frictional force is compensated by the increase in kinetic energy associated with the momentum diffusion, resulting in the Planck distribution when it is assumed that the average kinetic energy satisfies the equipartition theorem. For hyperbolic motion in vacuum the frictional force and the momentum diffusion are similarly consistent with a thermal equilibrium at the Davies-Unruh temperature. The quantum fluctuations of the momentum imply that it is only the average acceleration that is constant when the particle is subject to a constant applied force.


title: Watermarks in the Sand: Impossibility of Strong Watermarking for Generative Models

abstract: Watermarking generative models consists of planting a statistical signal (watermark) in a model's output so that it can be later verified that the output was generated by the given model. A strong watermarking scheme satisfies the property that a computationally bounded attacker cannot erase the watermark without causing significant quality degradation. In this paper, we study the (im)possibility of strong watermarking schemes. We prove that, under well-specified and natural assumptions, strong watermarking is impossible to achieve. This holds even in the private detection algorithm setting, where the watermark insertion and detection algorithms share a secret key, unknown to the attacker. To prove this result, we introduce a generic efficient watermark attack; the attacker is not required to know the private key of the scheme or even which scheme is used. Our attack is based on two assumptions: (1) The attacker has access to a "quality oracle" that can evaluate whether a candidate output is a high-quality response to a prompt, and (2) The attacker has access to a "perturbation oracle" which can modify an output with a nontrivial probability of maintaining quality, and which induces an efficiently mixing random walk on high-quality outputs. We argue that both assumptions can be satisfied in practice by an attacker with weaker computational capabilities than the watermarked model itself, to which the attacker has only black-box access. Furthermore, our assumptions will likely only be easier to satisfy over time as models grow in capabilities and modalities. We demonstrate the feasibility of our attack by instantiating it to attack three existing watermarking schemes for large language models: Kirchenbauer et al. (2023), Kuditipudi et al. (2023), and Zhao et al. (2023). The same attack successfully removes the watermarks planted by all three schemes, with only minor quality degradation.


title: A square-root speedup for finding the smallest eigenvalue

abstract: We describe a quantum algorithm for finding the smallest eigenvalue of a Hermitian matrix. This algorithm combines Quantum Phase Estimation and Quantum Amplitude Estimation to achieve a quadratic speedup with respect to the best classical algorithm in terms of matrix dimensionality, i.e., $\widetilde{\mathcal{O}}(\sqrt{N}/\epsilon)$ black-box queries to an oracle encoding the matrix, where $N$ is the matrix dimension and $\epsilon$ is the desired precision. In contrast, the best classical algorithm for the same task requires $\Omega(N)\text{polylog}(1/\epsilon)$ queries. In addition, this algorithm allows the user to select any constant success probability. We also provide a similar algorithm with the same runtime that allows us to prepare a quantum state lying mostly in the matrix's low-energy subspace. We implement simulations of both algorithms and demonstrate their application to problems in quantum chemistry and materials science.


title: Open RAN xApps Design and Evaluation: Lessons Learnt and Identified Challenges

abstract: Open Radio Access Networks (RAN) offer diverse economic opportunities. A transition to a flexible, modular approach within the disaggregated RAN framework is crucial, involving careful planning of RAN architecture and the deployment of specialized software applications. Collaboration across sectors is essential for efficiency and reliability, with the open-source community driving innovation. This paper explores challenges for third-party application developers in Open RAN. It provides a comparative analysis of solutions, focusing on xApp development and implementation. Challenges arise in two areas: the complexities of xApp development, particularly for advanced use cases like beam management, and issues in low-level software implementation within open platforms. In conclusion, key challenges must promote academia-industry collaboration in Open RAN. This paper shares early lessons from xApp development, guiding the field's evolution.


title: Positivity of oscillatory integrals and Hankel transforms

abstract: In consideration of the integral transform whose kernel arises as an oscillatory solution of certain second-order linear differential equation, its positivity is investigated on the basis of Sturm's theory. As applications, positivity criteria are obtained for Hankel transforms as well as trigonometric integrals defined on the positive real line.


title: Basis restricted elastic shape analysis on the space of unregistered surfaces

abstract: This paper introduces a new mathematical and numerical framework for surface analysis derived from the general setting of elastic Riemannian metrics on shape spaces. Traditionally, those metrics are defined over the infinite dimensional manifold of immersed surfaces and satisfy specific invariance properties enabling the comparison of surfaces modulo shape preserving transformations such as reparametrizations. The specificity of the approach we develop is to restrict the space of allowable transformations to predefined finite dimensional bases of deformation fields. These are estimated in a data-driven way so as to emulate specific types of surface transformations observed in a training set. The use of such bases allows to simplify the representation of the corresponding shape space to a finite dimensional latent space. However, in sharp contrast with methods involving e.g. mesh autoencoders, the latent space is here equipped with a non-Euclidean Riemannian metric precisely inherited from the family of aforementioned elastic metrics. We demonstrate how this basis restricted model can be then effectively implemented to perform a variety of tasks on surface meshes which, importantly, does not assume these to be pre-registered (i.e. with given point correspondences) or to even have a consistent mesh structure. We specifically validate our approach on human body shape and pose data as well as human face scans, and show how it generally outperforms state-of-the-art methods on problems such as shape registration, interpolation, motion transfer or random pose generation.


title: Active Collision Avoidance System for E-Scooters in Pedestrian Environment

abstract: In the dense fabric of urban areas, electric scooters have rapidly become a preferred mode of transportation. As they cater to modern mobility demands, they present significant safety challenges, especially when interacting with pedestrians. In general, e-scooters are suggested to be ridden in bike lanes/sidewalks or share the road with cars at the maximum speed of about 15-20 mph, which is more flexible and much faster than pedestrians and bicyclists. Accurate prediction of pedestrian movement, coupled with assistant motion control of scooters, is essential in minimizing collision risks and seamlessly integrating scooters in areas dense with pedestrians. Addressing these safety concerns, our research introduces a novel e-Scooter collision avoidance system (eCAS) with a method for predicting pedestrian trajectories, employing an advanced LSTM network integrated with a state refinement module. This proactive model is designed to ensure unobstructed movement in areas with substantial pedestrian traffic without collisions. Results are validated on two public datasets, ETH and UCY, providing encouraging outcomes. Our model demonstrated proficiency in anticipating pedestrian paths and augmented scooter path planning, allowing for heightened adaptability in densely populated locales. This study shows the potential of melding pedestrian trajectory prediction with scooter motion planning. With the ubiquity of electric scooters in urban environments, such advancements have become crucial to safeguard all participants in urban transit.


title: Chandra's insights into SN 2023ixf

abstract: We report Chandra-ACIS observations of SN 2023ixf in M101 on day 13 and 86 since the explosion. The X-rays in both epochs are characterized by high temperature plasma from the forward shocked region as a result of circumstellar interaction. We are able to constrain the absorption column density at both Chandra epochs, which is much larger than that due to the Galactic and host absorption column, and we attribute it to absorption by the circumstellar matter in the immediate vicinity of SN 2023ixf. Combining our column density measurements with the published measurement on day 4, we show that the column density declines as $t^{-2}$ between day 4 to day 13 and then evolves as $t^{-1}$. The unabsorbed $0.3-10$ keV luminosity evolves as $t^{-1}$ during the Chandra epochs. On day 13 Chandra observation we detect the Fe K$\alpha$ fluorescent line at 6.4 keV indicating presence of cold material in the vicinity of the SN. The line is absent on day 86, consistent with the decreased column density by a factor of 7 between the two epochs. Our analysis indicates that during 10 years to 1.5 years before explosion, the progenitor was evolving with a constant mass-loss rate of $5.6\times 10^{-4}$ M$_\odot$ yr$^{-1}$.


title: Partial fraction expansions and zeros of Hankel transforms

abstract: It is proved by the method of partial fraction expansions and Sturm's oscillation theory that the zeros of certain Hankel transforms are all real and distributed regularly between consecutive zeros of Bessel functions. As an application, the sufficient or necessary conditions on parameters for which ${}_1F_2$ hypergeometric functions belong to the Laguerre-P\'olya class are investigated in a constructive manner.


title: Harnessing Manycore Processors with Distributed Memory for Accelerated Training of Sparse and Recurrent Models

abstract: Current AI training infrastructure is dominated by single instruction multiple data (SIMD) and systolic array architectures, such as Graphics Processing Units (GPUs) and Tensor Processing Units (TPUs), that excel at accelerating parallel workloads and dense vector matrix multiplications. Potentially more efficient neural network models utilizing sparsity and recurrence cannot leverage the full power of SIMD processor and are thus at a severe disadvantage compared to today's prominent parallel architectures like Transformers and CNNs, thereby hindering the path towards more sustainable AI. To overcome this limitation, we explore sparse and recurrent model training on a massively parallel multiple instruction multiple data (MIMD) architecture with distributed local memory. We implement a training routine based on backpropagation through time (BPTT) for the brain-inspired class of Spiking Neural Networks (SNNs) that feature binary sparse activations. We observe a massive advantage in using sparse activation tensors with a MIMD processor, the Intelligence Processing Unit (IPU) compared to GPUs. On training workloads, our results demonstrate 5-10x throughput gains compared to A100 GPUs and up to 38x gains for higher levels of activation sparsity, without a significant slowdown in training convergence or reduction in final model performance. Furthermore, our results show highly promising trends for both single and multi IPU configurations as we scale up to larger model sizes. Our work paves the way towards more efficient, non-standard models via AI training hardware beyond GPUs, and competitive large scale SNN models.


title: The Maximum Overlap Time in the M/M/1 Queue

abstract: In this paper, we analyze the steady state maximum overlap time in the M/M/1 queue. We derive the maximum overlap time tail distribution, its moments and the moment generating function. We also analyze the steady state minimum overlap time of the adjacent customers and compute its moments and moment generating function. Our results provide new insight on how customers become infected in the M/M/1 queue.


title: The $230$ GHz Variability of Numerical Models of Sagittarius~A* I. Parameter Surveys on Varying Ion-electron Temperature Ratios Under Strongly Magnetized Conditions

abstract: The $230$ GHz lightcurves of Sagittarius~A* (Sgr~A*) predicted by general relativistic magnetohydrodynamics (GRMHD) and ray-tracing (GRRT) models in Event Horizon Telescope Collaboration et al. (2022) have higher variability $M_{\Delta T}$ compared to observations. In this series of papers, we explore the origin of such large brightness variability. In this first paper, we performed large GRRT parameter surveys that span from the optically thin to the optically thick regimes, covering the ion-electron temperature ratio under strongly magnetized conditions, $R_{\rm Low}$, from $1$ to $60$. We find that increasing $R_{\rm Low}$ can lead to either an increase or a reduction in $M_{\Delta T}$ depending on other model parameters, making it consistent with the observed variability of Sgr~A* in some cases. Our analysis of GRRT image snapshots finds that the major contribution to the large $M_{\Delta T}$ for the $R_{\rm Low} = 1$ models comes from the photon rings. However, secondary contributions from the accretion flow are also visible depending on the spin parameter. Our work demonstrates the importance of the electron temperature used for modelling radiatively inefficient accretion flows and places new constraints on the ion-electron temperature ratio. A more in-depth analysis for understanding the dependencies of $M_{\Delta T}$ on $R_{\rm Low}$ will be performed in subsequent papers.

categories: astro-ph.HE gr-qc hep-th physics.flu-dyn physics.plasm-ph


title: Structural Balance of Complex Weighted Graphs and Multi-partite Consensus

abstract: The structural balance of a signed graph is known to be necessary and sufficient to obtain a bipartite consensus among agents with friend-foe relationships. In the real world, relationships are multifarious, and the coexistence of different opinions is ubiquitous. We are therefore motivated to study the multi-partite consensus problem of multi-agent systems, for which we extend the concept of structural balance to graphs with complex edge weights. It is shown that the generalized structural balance property is necessary and sufficient for achieving multi-partite consensus.


title: Force-Constrained Visual Policy: Safe Robot-Assisted Dressing via Multi-Modal Sensing

abstract: Robot-assisted dressing could profoundly enhance the quality of life of adults with physical disabilities. To achieve this, a robot can benefit from both visual and force sensing. The former enables the robot to ascertain human body pose and garment deformations, while the latter helps maintain safety and comfort during the dressing process. In this paper, we introduce a new technique that leverages both vision and force modalities for this assistive task. Our approach first trains a vision-based dressing policy using reinforcement learning in simulation with varying body sizes, poses, and types of garments. We then learn a force dynamics model for action planning to ensure safety. Due to limitations of simulating accurate force data when deformable garments interact with the human body, we learn a force dynamics model directly from real-world data. Our proposed method combines the vision-based policy, trained in simulation, with the force dynamics model, learned in the real world, by solving a constrained optimization problem to infer actions that facilitate the dressing process without applying excessive force on the person. We evaluate our system in simulation and in a real-world human study with 10 participants across 240 dressing trials, showing it greatly outperforms prior baselines. Video demonstrations are available on our project website (https://sites.google.com/view/dressing-fcvp).


title: 3DiffTection: 3D Object Detection with Geometry-Aware Diffusion Features

abstract: We present 3DiffTection, a state-of-the-art method for 3D object detection from single images, leveraging features from a 3D-aware diffusion model. Annotating large-scale image data for 3D detection is resource-intensive and time-consuming. Recently, pretrained large image diffusion models have become prominent as effective feature extractors for 2D perception tasks. However, these features are initially trained on paired text and image data, which are not optimized for 3D tasks, and often exhibit a domain gap when applied to the target data. Our approach bridges these gaps through two specialized tuning strategies: geometric and semantic. For geometric tuning, we fine-tune a diffusion model to perform novel view synthesis conditioned on a single image, by introducing a novel epipolar warp operator. This task meets two essential criteria: the necessity for 3D awareness and reliance solely on posed image data, which are readily available (e.g., from videos) and does not require manual annotation. For semantic refinement, we further train the model on target data with detection supervision. Both tuning phases employ ControlNet to preserve the integrity of the original feature capabilities. In the final step, we harness these enhanced capabilities to conduct a test-time prediction ensemble across multiple virtual viewpoints. Through our methodology, we obtain 3D-aware features that are tailored for 3D detection and excel in identifying cross-view point correspondences. Consequently, our model emerges as a powerful 3D detector, substantially surpassing previous benchmarks, e.g., Cube-RCNN, a precedent in single-view 3D detection by 9.43\% in AP3D on the Omni3D-ARkitscene dataset. Furthermore, 3DiffTection showcases robust data efficiency and generalization to cross-domain data.


title: Global Vulnerability Assessment of Mobile Telecommunications Infrastructure to Climate Hazards using Crowdsourced Open Data

abstract: The ongoing change in Earth`s climate is causing an increase in the frequency and severity of climate-related hazards, for example, from coastal flooding, riverine flooding, and tropical cyclones. There is currently an urgent need to quantify the potential impacts of these events on infrastructure and users, especially for hitherto neglected infrastructure sectors, such as telecommunications, particularly given our increasing dependence on digital technologies. In this analysis a global assessment is undertaken, quantifying the number of mobile cells vulnerable to climate hazards using open crowdsourced data equating to 7.6 million 2G, 3G, 4G and 5G assets. For a 0.01% annual probability event under a high emissions scenario (RCP8.5), the number of affected cells is estimated at 2.26 million for tropical cyclones, equating to USD 1.01 billion in direct damage (an increase against the historical baseline of 14% and 44%, respectively). Equally, for coastal flooding the number of potentially affected cells for an event with a 0.01% annual probability under RCP8.5 is 109.9 thousand, equating to direct damage costs of USD 2.69 billion (an increase against the baseline of 70% and 78%, respectively). The findings demonstrate the need for risk analysts to include mobile communications (and telecommunications more broadly) in future critical national infrastructure assessments. Indeed, this paper contributes a proven assessment methodology to the literature for use in future research for assessing this critical infrastructure sector.


title: Quark confinement in an equiparticle quark model: application to stellar matter

abstract: We perform an improvement in a thermodynamical consistent model with density dependent quark masses ($m'_{u,d,s}$) by introducing effects of quark confinement/deconfinement phase transition, at high density regime and zero temperature, by means of the traced Polyakov loop ($\Phi$). We use realistic values for the current quark masses, provided by the Particle Data Group, and replace the constants of the interacting part of $m'_{u,d,s}$ by functions of $\Phi$, leading to a first order phase transition structure, for symmetric and stellar quark matter, with $\Phi$ being the order parameter. We show that the improved model points out the direction of the chiral symmetry restoration due to the emergence of a deconfined phase. In another application, we construct quark stars mass-radius profiles, obtained from this new model, and show to be possible to satisfy recent astrophysical observational data coming from the LIGO and Virgo Collaboration, and the NICER mission concerning the millisecond pulsars PSR J0030+0451, and PSR J0740+6620.


title: $K$-Theorie adischer R\"aume

abstract: The present work is the author's doctoral thesis, written during his studies at the University of Bonn. Its goal is to establish the foundations of $K$-theory in the context of adic geometry using the formalism of condensed mathematics and Efimov's results on localizing invariants of dualizable categories. In particular, we study the descent properties of our version of $K$-theory and prove that it satisfies Nisnevich descent on analytic adic spaces. Furthermore, we show that $K$-theory forms a sheaf with respect to the \'etale topology after chromatic localization. Finally, we use this result to prove an analog of the Grothendieck-Riemann-Roch theorem for analytic adic spaces.


title: The $L_q$ norm of the Rudin-Shapiro polynomials on subarcs of the unit circle

abstract: Littlewood polynomials are polynomials with each of their coefficients in $\{-1,1\}$. A sequence of Littlewood polynomials that satisfies a remarkable flatness property on the unit circle of the complex plane is given by the Rudin-Shapiro polynomials. Let $P_k$ and $Q_k$ denote the Rudin-Shapiro polynomials of degree $n-1$ with $n:=2^k$. For polynomials $S$ we define $$M_q(S,[\alpha,\beta]) := \left( \frac{1}{\beta-\alpha} \int_{\alpha}^{\beta} {\left| S(e^{it}) \right|^q\,dt} \right)^{1/q}\,, \qquad q > 0\,.$$ Let $\gamma := \sin^2(\pi/8)$. We prove that $$\frac{\gamma}{4\pi}(\gamma n)^{q/2} \leq M_q(P_k,[\alpha,\beta])^q \leq (2n)^{q/2}$$ for every $q > 0$ and $32\pi/n \leq \beta-\alpha$. The same estimates hold for $P_k$ replaced by $Q_k$.


title: Viscosity of non equilibrium hot $\&$ dense QCD drop formed at LHC

abstract: We compute the bulk, $\zeta$, and shear, $\eta$, viscosity over entropy density, $s$, for the QCD matter formed in small collision systems at LHC. We consider a scenario of the String Percolation Model by proposing a global form of the color reduction factor that describes both the thermodynamic limit and its maximum deviation due to small-bounded effects. Our method involves estimations at vanishing baryon-chemical potential, assuming local equilibrium for string clusters in the initial state. To compute $\eta/s$, we employed a kinetic approach that accounts QCD states as an ideal gas of partons, while $\zeta/s$ is computed by using two different approaches: a simple kinetic formula and the causal dissipative relativistic fluid dynamics formulation. Our results align with Lattice QCD computations and Bayesian methods and are consistent with holographic conjecture bounds. Furthermore, our findings support the notion of a strongly interacting medium, similar to that observed in nuclear collisions, albeit with a phase transition occurring outside the thermodynamic limit.


title: ToP-ToM: Trust-aware Robot Policy with Theory of Mind

abstract: Theory of Mind (ToM) is a fundamental cognitive architecture that endows humans with the ability to attribute mental states to others. Humans infer the desires, beliefs, and intentions of others by observing their behavior and, in turn, adjust their actions to facilitate better interpersonal communication and team collaboration. In this paper, we investigated trust-aware robot policy with the theory of mind in a multiagent setting where a human collaborates with a robot against another human opponent. We show that by only focusing on team performance, the robot may resort to the reverse psychology trick, which poses a significant threat to trust maintenance. The human's trust in the robot will collapse when they discover deceptive behavior by the robot. To mitigate this problem, we adopt the robot theory of mind model to infer the human's trust beliefs, including true belief and false belief (an essential element of ToM). We designed a dynamic trust-aware reward function based on different trust beliefs to guide the robot policy learning, which aims to balance between avoiding human trust collapse due to robot reverse psychology. The experimental results demonstrate the importance of the ToM-based robot policy for human-robot trust and the effectiveness of our robot ToM-based robot policy in multiagent interaction settings.


title: Understanding the Role and Design Space of Demand Sinks in Low-carbon Power Systems

abstract: As the availability of weather-dependent, zero marginal cost resources such as wind and solar power increases, a variety of flexible electricity loads, or `demand sinks', could be deployed to use intermittently available low-cost electricity to produce valuable outputs. This study provides a general framework to evaluate any potential demand sink technology and understand its viability to be deployed cost-effectively in low-carbon power systems. We use an electricity system optimization model to assess 98 discrete combinations of capital costs and output values that collectively span the range of feasible characteristics of potential demand sink technologies. We find that candidates like hydrogen electrolysis, direct air capture, and flexible electric heating can all achieve significant installed capacity (>10% of system peak load) if lower capital costs are reached in the future. Demand sink technologies significantly increase installed wind and solar capacity while not significantly affecting battery storage, firm generating capacity, or the average cost of electricity.


title: Second order $L_p$ estimates for subsolutions of fully nonlinear equations

abstract: We obtain new $L_p$ estimates for subsolutions to fully nonlinear equations. Based on our $L_p$ estimates, we further study several topics such as the third and fourth order derivative estimates for concave fully nonlinear equations, critical exponents of $L_p$ estimates and maximum principles, and the uniqueness and existence of solutions to fully nonlinear equations with free terms in the $L_p$ spaces or in the space of Radon measures.


title: LRM: Large Reconstruction Model for Single Image to 3D

abstract: We propose the first Large Reconstruction Model (LRM) that predicts the 3D model of an object from a single input image within just 5 seconds. In contrast to many previous methods that are trained on small-scale datasets such as ShapeNet in a category-specific fashion, LRM adopts a highly scalable transformer-based architecture with 500 million learnable parameters to directly predict a neural radiance field (NeRF) from the input image. We train our model in an end-to-end manner on massive multi-view data containing around 1 million objects, including both synthetic renderings from Objaverse and real captures from MVImgNet. This combination of a high-capacity model and large-scale training data empowers our model to be highly generalizable and produce high-quality 3D reconstructions from various testing inputs, including real-world in-the-wild captures and images created by generative models. Video demos and interactable 3D meshes can be found on our LRM project webpage: https://yiconghong.me/LRM.


title: The edge-girth-regularity of Wenger graphs

abstract: Let $n\ge 1$ be an integer and $\mathbb{F}_q$ be a finite field of characteristic $p$ with $q$ elements. In this paper, it is proved that the Wenger graph $W_n(q)$ and linearized Wenger graph $L_m(q)$ are edge-girth-regular $(v,k,g,\lambda)$-graphs, and the parameter $\lambda$ of graphs $W_n(q)$ and $L_m(q)$ is completely determined. Here, an edge-girth-regular graph $egr(v,k,g,\lambda)$ means a $k$-regular graph of order $v$ and girth $g$ satisfying that any edge is contained in $\lambda$ distinct $g$-cycles. As a direct corollary, we obtain the number of girth cycles of graph $W_n(q)$, and the lower bounds on the generalized Tur\'an numbers $ex(n, C_{6}, \mathscr{C}_{5})$ and $ex(n, C_{8}, \mathscr{C}_{7})$, where $C_k$ is the cycle of length $k$ and $\mathscr{C}_k = \{C_3, C_4, \dots , C_k\}$.Moreover, there exist a family of $egr(2q^3,q,8,(q-1)^3(q-2))$-graphs for $q$ odd, and the order of graph $W_2(q)$ and extremal $egr(v,q,8,(q-1)^3(q-2))$-graph have same asymptotic order for $q$ odd.


title: Likelihood Ratio Confidence Sets for Sequential Decision Making

abstract: Certifiable, adaptive uncertainty estimates for unknown quantities are an essential ingredient of sequential decision-making algorithms. Standard approaches rely on problem-dependent concentration results and are limited to a specific combination of parameterization, noise family, and estimator. In this paper, we revisit the likelihood-based inference principle and propose to use likelihood ratios to construct any-time valid confidence sequences without requiring specialized treatment in each application scenario. Our method is especially suitable for problems with well-specified likelihoods, and the resulting sets always maintain the prescribed coverage in a model-agnostic manner. The size of the sets depends on a choice of estimator sequence in the likelihood ratio. We discuss how to provably choose the best sequence of estimators and shed light on connections to online convex optimization with algorithms such as Follow-the-Regularized-Leader. To counteract the initially large bias of the estimators, we propose a reweighting scheme that also opens up deployment in non-parametric settings such as RKHS function classes. We provide a non-asymptotic analysis of the likelihood ratio confidence sets size for generalized linear models, using insights from convex duality and online learning. We showcase the practical strength of our method on generalized linear bandit problems, survival analysis, and bandits with various additive noise distributions.


title: Human-Centered Planning

abstract: LLMs have recently made impressive inroads on tasks whose output is structured, such as coding, robotic planning and querying databases. The vision of creating AI-powered personal assistants also involves creating structured outputs, such as a plan for one's day, or for an overseas trip. Here, since the plan is executed by a human, the output doesn't have to satisfy strict syntactic constraints. A useful assistant should also be able to incorporate vague constraints specified by the user in natural language. This makes LLMs an attractive option for planning. We consider the problem of planning one's day. We develop an LLM-based planner (LLMPlan) extended with the ability to self-reflect on its output and a symbolic planner (SymPlan) with the ability to translate text constraints into a symbolic representation. Despite no formal specification of constraints, we find that LLMPlan performs explicit constraint satisfaction akin to the traditional symbolic planners on average (2% performance difference), while retaining the reasoning of implicit requirements. Consequently, LLM-based planners outperform their symbolic counterparts in user satisfaction (70.5% vs. 40.4%) during interactive evaluation with 40 users.


title: 4d Crystal Melting, Toric Calabi-Yau 4-Folds and Brane Brick Models

abstract: We introduce a class of 4-dimensional crystal melting models that count the BPS bound state of branes on toric Calabi-Yau 4-folds. The crystalline structure is determined by the brane brick model associated to the Calabi-Yau 4-fold under consideration or, equivalently, its dual periodic quiver. The crystals provide a discretized version of the underlying toric geometries. We introduce various techniques to visualize crystals and their melting configurations, including 3-dimensional slicing and Hasse diagrams. We illustrate the construction with the D0-D8 system on $\mathbb{C}^4$. Finally, we outline how our proposal generalizes to arbitrary toric CY 4-folds and general brane configurations.


title: Toward Computing Bounds for Ramsey Numbers Using Quantum Annealing

abstract: Quantum annealing is a powerful tool for solving and approximating combinatorial optimization problems such as graph partitioning, community detection, centrality, routing problems, and more. In this paper we explore the use of quantum annealing as a tool for use in exploring combinatorial mathematics research problems. We consider the monochromatic triangle problem and the Ramsey number problem, both examples of graph coloring. Conversion to quadratic unconstrained binary optimization (QUBO) form is required to run on quantum hardware. While the monochromatic triangle problem is quadratic by nature, the Ramsey number problem requires the use of order reduction methods for a quadratic formulation. We discuss implementations, limitations, and results when running on the D-Wave Advantage quantum annealer.


title: CompactTag: Minimizing Computation Overheads in Actively-Secure MPC for Deep Neural Networks

abstract: Secure Multiparty Computation (MPC) protocols enable secure evaluation of a circuit by several parties, even in the presence of an adversary who maliciously corrupts all but one of the parties. These MPC protocols are constructed using the well-known secret-sharing-based paradigm (SPDZ and SPDZ2k), where the protocols ensure security against a malicious adversary by computing Message Authentication Code (MAC) tags on the input shares and then evaluating the circuit with these input shares and tags. However, this tag computation adds a significant runtime overhead, particularly for machine learning (ML) applications with numerous linear computation layers such as convolutions and fully connected layers. To alleviate the tag computation overhead, we introduce CompactTag, a lightweight algorithm for generating MAC tags specifically tailored for linear layers in ML. Linear layer operations in ML, including convolutions, can be transformed into Toeplitz matrix multiplications. For the multiplication of two matrices with dimensions T1 x T2 and T2 x T3 respectively, SPDZ2k required O(T1 x T2 x T3) local multiplications for the tag computation. In contrast, CompactTag only requires O(T1 x T2 + T1 x T3 + T2 x T3) local multiplications, resulting in a substantial performance boost for various ML models. We empirically compared our protocol to the SPDZ2k protocol for various ML circuits, including ResNet Training-Inference, Transformer Training-Inference, and VGG16 Training-Inference. SPDZ2k dedicated around 30% of its online runtime for tag computation. CompactTag speeds up this tag computation bottleneck by up to 23x, resulting in up to 1.47x total online phase runtime speedups for various ML workloads.


title: Boundary Control for Suppressing Chaotic Response to Dynamic Hydrogen Blending in a Gas Pipeline

abstract: It is known that periodic forcing of nonlinear flows can result in a chaotic response under certain conditions. Such non-periodic and chaotic solutions have been observed in simulations of heterogeneous gas flow in a pipeline with periodic, time-varying boundary conditions. In this paper, we examine a proportional feedback law for boundary control of a parabolic partial differential equation system that represents the flow of two gases through a pipe. We demonstrate that periodic variation of the mass fraction of the lighter gas at the pipe inlet can result in the chaotic propagation of gas pressure waves, and show that appropriate flow control can suppress this response. We examine phase space solutions for the single pipe system subject to boundary control, and use numerical experiments to characterize conditions for the controller gain to suppress chaos.


title: Bayesian modelling of response to therapy and drug-sensitivity in acute lymphoblastic leukemia

abstract: Acute lymphoblastic leukemia (ALL) is a heterogeneous hematologic malignancy involving the abnormal proliferation of immature lymphocytes, accounting for most pediatric cancer cases. ALL management in children has seen great improvement in the last decades thanks to better understanding of the disease leading to improved treatment strategies evidenced through clinical trials. Commonly a first course of chemotherapy (induction phase) is administered, followed by treatment with a combination of anti-leukemia drugs. A measure of the efficacy early in the course of therapy is minimal residual disease (MRD). MRD quantifies residual tumor cells and indicates the effectiveness of the treatment over the course of therapy. MRD positivity is defined for values of MRD greater than 0.01%, yielding left-censored observations. We propose a Bayesian model to study the relationship between patient features and MRD observed at two time points during the induction phase. Specifically, we model the observed MRD values via an auto-regressive model, accounting for left-censoring of the data and for the fact that some patients are already in remission after the induction phase. Patient characteristics are included in the model via linear regression terms. In particular, patient-specific drug sensitivity based on ex-vivo assays of patient samples is exploited to identify groups of subjects with similar profiles. We include this information as a covariate in the model for MRD. We adopt horseshoe priors for the regression coefficients to perform variable selection to identify important covariates. We fit the proposed approach to data from three prospective pediatric ALL clinical trials carried out at the St. Jude Children's Research Hospital. Our results highlight that drug sensitivity profiles and leukemic subtypes play an important role in the response to induction therapy as measured by serial MRD measures.


title: Signed Poset Polytopes

abstract: Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.


title: An Efficient Probabilistic Solution to Mapping Errors in LiDAR-Camera Fusion for Autonomous Vehicles

abstract: LiDAR-camera fusion is one of the core processes for the perception system of current automated driving systems. The typical sensor fusion process includes a list of coordinate transformation operations following system calibration. Although a significant amount of research has been done to improve the fusion accuracy, there are still inherent data mapping errors in practice related to system synchronization offsets, vehicle vibrations, the small size of the target, and fast relative moving speeds. Moreover, more and more complicated algorithms to improve fusion accuracy can overwhelm the onboard computational resources, limiting the actual implementation. This study proposes a novel and low-cost probabilistic LiDAR-Camera fusion method to alleviate these inherent mapping errors in scene reconstruction. By calculating shape similarity using KL-divergence and applying RANSAC-regression-based trajectory smoother, the effects of LiDAR-camera mapping errors are minimized in object localization and distance estimation. Designed experiments are conducted to prove the robustness and effectiveness of the proposed strategy.


title: Validation of tight-binding model in system of two semiconductor single-electron lines coupled capacitively by Schroedinger formalism

abstract: Validation of tight-binding model is given basing on two single-electron lines coupled perturbatively electrostatically in Schroedinger formalism. Scheme for conversion of quantum information from eigenenergy qubits to position based qubits is given. The procedure for determination of system ground is presented. Additional extension schemes of two coupled single-electron lines in case of Rabi oscillations occurring in each position based qubits are given.


title: Human Conditional Reasoning in Answer Set Programming

abstract: Given a conditional sentence "P=>Q" (if P then Q) and respective facts, four different types of inferences are observed in human reasoning. Affirming the antecedent (AA) (or modus ponens) reasons Q from P; affirming the consequent (AC) reasons P from Q; denying the antecedent (DA) reasons -Q from -P; and denying the consequent (DC) (or modus tollens) reasons -P from -Q. Among them, AA and DC are logically valid, while AC and DA are logically invalid and often called logical fallacies. Nevertheless, humans often perform AC or DA as pragmatic inference in daily life. In this paper, we realize AC, DA and DC inferences in answer set programming. Eight different types of completion are introduced and their semantics are given by answer sets. We investigate formal properties and characterize human reasoning tasks in cognitive psychology. Those completions are also applied to commonsense reasoning in AI.


title: Patterning edge-like defects and tuning defective areas on the basal plane of ultra-large MoS$_{2}$ monolayers toward hydrogen evolution reaction

abstract: The catalytic sites of MoS$_{2}$ monolayers towards hydrogen evolution are well known to be vacancies and edge-like defects. However, it is still very challenging to control the position, size, and defective areas on the basal plane of Mo$S_{2}$ monolayers by most of defect-engineering routes. In this work, the fabrication of etched arrays on ultra-large supported and free-standing MoS$_{2}$ monolayers using focused ion beam (FIB) is reported for the first time. By tuning the Ga+ ion dose, it is possible to confine defects near the etched edges or spread them over ultra-large areas on the basal plane. The electrocatalytic activity of the arrays toward hydrogen evolution reaction (HER) was measured by fabricating microelectrodes using a new method that preserves the catalytic sites. We demonstrate that the overpotential can be decreased up to 290 mV by assessing electrochemical activity only at the basal plane. High-resolution transmission electron microscopy images obtained on FIB patterned freestanding MoS$_{2}$ monolayers reveal the presence of amorphous regions and X-ray photoelectron spectroscopy indicates sulfur excess in these regions. Density-functional theory calculations provide identification of catalytic defect sites. Our results demonstrate a new rational control of amorphous-crystalline surface boundaries and future insight for defect optimization in MoS$_{2}$ monolayers.


title: Learning the What and How of Annotation in Video Object Segmentation

abstract: Video Object Segmentation (VOS) is crucial for several applications, from video editing to video data generation. Training a VOS model requires an abundance of manually labeled training videos. The de-facto traditional way of annotating objects requires humans to draw detailed segmentation masks on the target objects at each video frame. This annotation process, however, is tedious and time-consuming. To reduce this annotation cost, in this paper, we propose EVA-VOS, a human-in-the-loop annotation framework for video object segmentation. Unlike the traditional approach, we introduce an agent that predicts iteratively both which frame ("What") to annotate and which annotation type ("How") to use. Then, the annotator annotates only the selected frame that is used to update a VOS module, leading to significant gains in annotation time. We conduct experiments on the MOSE and the DAVIS datasets and we show that: (a) EVA-VOS leads to masks with accuracy close to the human agreement 3.5x faster than the standard way of annotating videos; (b) our frame selection achieves state-of-the-art performance; (c) EVA-VOS yields significant performance gains in terms of annotation time compared to all other methods and baselines.


title: Test the weak cosmic censorship conjecture via cold dark matter-black hole and ultralight dark matter-black hole

abstract: The weak cosmic censorship conjecture states that the black hole singularity is hidden inside the event horizon of the black hole, making it impossible for an external observer to measure. In this study, we investigate the weak cosmic censorship conjecture test of dark matter halo-black hole systems in both the cold dark matter model and ultralight dark matter model scenarios, with the aim of gaining insights into the influence of dark matter particles on the weak cosmic censorship conjecture. By examining the particle incident on an extremely or nearly extremal dark matter- black hole, as well as the scattering of a scalar field by an extreme or near-extreme dark matter- black hole. We find that the weak cosmic censorship conjecture does not violate the extreme and near-extreme dark matter-black hole systems for incident particles. When a scalar field is incident on an extreme dark matter-black hole system, the weak cosmic censorship conjecture can be violated by a scalar field pattern that satisfies $\dfrac{1}{2M\omega_{0}}<\dfrac{\omega}{m}<\dfrac{M\omega_{0}}{2M^{2}\omega_{0}^{2}+k_{i}}$ ($k_{i}<0$; where $k_{1}$ corresponds to the cold dark matter model and $k_{2}$ corresponds to the ultralight dark matter model). The weak cosmic censorship conjecture remains unviolated in the presence of a scalar field incident upon a nearly extreme dark matter-black hole system. This research will contribute to furthering our comprehension of the intricate interplay between dark matter and black holes.


title: The local-global principle for the artinianness dimensions

abstract: Let $R$ be a commutative noetherian ring and $\mathfrak{a}$ an ideal of $R$. The goal of this paper is to establish the local-global principle for the artinianness dimension $r_{\mathfrak{a}}(M)$, where $r_{\mathfrak{a}}(M)$ is the smallest integer such that the local homology module of $M$ is not artinian. For an artinian $R$-module $M$ with the set $\mathrm{Coass}_{R}\mathrm{H}_{r_{\mathfrak{a}}(M)}^{\mathfrak{a}}(M)$ finite, we show that $r_{\mathfrak{a}}(M)=\mathrm{inf}\{r_{\mathfrak{a}R_{\mathfrak{p}}}(\mathrm{Hom}_{R}(R_{\mathfrak{p}},M)) \hspace{0.03cm}|\hspace{0.03cm}\mathfrak{p}\in \mathrm{Spec}R\}$. And the class of all modules $N$ such that $\mathrm{Coass}_{R}N$ is finite is studied.


title: Evaluating Emerging AI/ML Accelerators: IPU, RDU, and NVIDIA/AMD GPUs

abstract: The relentless advancement of artificial intelligence (AI) and machine learning (ML) applications necessitates the development of specialized hardware accelerators capable of handling the increasing complexity and computational demands. Traditional computing architectures, based on the von Neumann model, are being outstripped by the requirements of contemporary AI/ML algorithms, leading to a surge in the creation of accelerators like the Graphcore Intelligence Processing Unit (IPU), Sambanova Reconfigurable Dataflow Unit (RDU), and enhanced GPU platforms. These hardware accelerators are characterized by their innovative data-flow architectures and other design optimizations that promise to deliver superior performance and energy efficiency for AI/ML tasks. This research provides a preliminary evaluation and comparison of these commercial AI/ML accelerators, delving into their hardware and software design features to discern their strengths and unique capabilities. By conducting a series of benchmark evaluations on common DNN operators and other AI/ML workloads, we aim to illuminate the advantages of data-flow architectures over conventional processor designs and offer insights into the performance trade-offs of each platform. The findings from our study will serve as a valuable reference for the design and performance expectations of research prototypes, thereby facilitating the development of next-generation hardware accelerators tailored for the ever-evolving landscape of AI/ML applications. Through this analysis, we aspire to contribute to the broader understanding of current accelerator technologies and to provide guidance for future innovations in the field.


title: AI-accelerated Discovery of Altermagnetic Materials

abstract: Altermagnetism, a new magnetic phase, has been theoretically proposed and experimentally verified to be distinct from ferromagnetism and antiferromagnetism. Although altermagnets have been found to possess many exotic physical properties, the very limited availability of known altermagnetic materials (e.g., 14 confirmed materials) hinders the study of such properties. Hence, discovering more types of altermagnetic materials is crucial for a comprehensive understanding of altermagnetism and thus facilitating new applications in the next-generation information technologies, e.g., storage devices and high-sensitivity sensors. Here, we report 25 new altermagnetic materials that cover metals, semiconductors, and insulators, discovered by an AI search engine unifying symmetry analysis, graph neural network pre-training, optimal transport theory, and first-principles electronic structure calculation. The wide range of electronic structural characteristics reveals that various novel physical properties manifest in these newly discovered altermagnetic materials, e.g., anomalous Hall effect, anomalous Kerr effect, and topological property. Noteworthy, we discovered 8 i-wave altermagnetic materials for the first time. Overall, the AI search engine performs much better than human experts and suggests a set of new altermagnetic materials with unique properties, outlining its potential for accelerated discovery of the materials with targeting properties.


title: PepLand: a large-scale pre-trained peptide representation model for a comprehensive landscape of both canonical and non-canonical amino acids

abstract: In recent years, the scientific community has become increasingly interested on peptides with non-canonical amino acids due to their superior stability and resistance to proteolytic degradation. These peptides present promising modifications to biological, pharmacological, and physiochemical attributes in both endogenous and engineered peptides. Notwithstanding their considerable advantages, the scientific community exhibits a conspicuous absence of an effective pre-trained model adept at distilling feature representations from such complex peptide sequences. We herein propose PepLand, a novel pre-training architecture for representation and property analysis of peptides spanning both canonical and non-canonical amino acids. In essence, PepLand leverages a comprehensive multi-view heterogeneous graph neural network tailored to unveil the subtle structural representations of peptides. Empirical validations underscore PepLand's effectiveness across an array of peptide property predictions, encompassing protein-protein interactions, permeability, solubility, and synthesizability. The rigorous evaluation confirms PepLand's unparalleled capability in capturing salient synthetic peptide features, thereby laying a robust foundation for transformative advances in peptide-centric research domains. We have made all the source code utilized in this study publicly accessible via GitHub at https://github.com/zhangruochi/pepland


title: Data Factors for Better Compositional Generalization

abstract: Recent diagnostic datasets on compositional generalization, such as SCAN (Lake and Baroni, 2018) and COGS (Kim and Linzen, 2020), expose severe problems in models trained from scratch on these datasets. However, in contrast to this poor performance, state-of-the-art models trained on larger and more general datasets show better generalization ability. In this work, to reconcile this inconsistency, we conduct an empirical analysis by training Transformer models on a variety of training sets with different data factors, including dataset scale, pattern complexity, example difficulty, etc. First, we show that increased dataset complexity can lead to better generalization behavior on multiple different generalization challenges. To further understand this improvement, we show two axes of the benefit from more complex datasets: they provide more diverse examples so compositional understanding becomes more effective, and they also prevent ungeneralizable memorization of the examples due to reduced example repetition frequency. Finally, we explore how training examples of different difficulty levels influence generalization differently. On synthetic datasets, simple examples invoke stronger compositionality than hard examples do. On larger-scale real language datasets, while hard examples become more important potentially to ensure decent data coverage, a balanced mixture of simple and hard examples manages to induce the strongest generalizability. The code and data for this work are available at https://github.com/owenzx/data4comp


title: Overcomplete Reproducing Pairs

abstract: The Gaussian Gabor system at the critical density has the property that it is overcomplete in $L^2(\mathbf{R})$ by exactly one element, and if any single element is removed then the resulting system is complete but is not a Schauder basis. This paper characterizes systems that are overcomplete by finitely many elements. Among other results, it is shown that if such a system has a reproducing partner, then it contains a Schauder basis. While a Schauder basis provides a strong reproducing property for elements of a space, the existence of a reproducing partner only requires a weak type of representation of elements. Thus for these systems weak representations imply strong representations. The results are applied to systems of weighted exponentials and to Gabor systems at the critical density. In particular, it is shown that the Gaussian Gabor system does not possess a reproducing partner.


title: Structural and Dynamical Changes in a Gd-Co Metallic Glass by Cryogenic Rejuvenation

abstract: To experimentally clarify the changes in structural and dynamic heterogeneities in a metallic glass (MG), Gd65Co35, by rejuvenation with a temperature cycling (cryogenic rejuvenation), high-energy x-ray diffraction (HEXRD), anomalous x-ray scattering (AXS), and inelastic x-ray scattering (IXS) experiments were carried out. By a repeated temperature change between liquid N2 and room temperatures 40 times, tiny but clear structural changes are observed by HEXRD even in the first neighboring range. Partial structural information obtained by AXS reveals that slight movements of the Gd and Co atoms occur in the first- and second-neighboring shells around the central Gd atom. The concentration inhomogeneity in the nm size drastically increases for the Gd atoms by the temperature cycling, while the other heterogeneities are negligible. A distinct change was detected in a microscopic elastic property by IXS: The width of longitudinal acoustic excitation broadens by about 20%, indicating an increase of the elastic heterogeneity of this MG by the thermal treatments. These static and dynamic results explicitly clarify the features of the cryogenic rejuvenation effect experimentally.


title: Erasure detection of a dual-rail qubit encoded in a double-post superconducting cavity

abstract: Qubits with predominantly erasure errors present distinctive advantages for quantum error correction(QEC) and fault tolerant quantum computing. Logical qubits based on dual-rail encoding that exploit erasure detection have been recently proposed in superconducting circuit architectures, either with coupled transmons or cavities. Here, we implement a dual-rail qubit encoded in a compact, double-post superconducting cavity. Using an auxiliary transmon, we perform erasure detection on the dual-rail subspace. We characterize the behaviour of the codespace by a novel method to perform joint-Wigner tomography. This is based on modifying the cross-Kerr interaction between the cavity modes and the transmon. We measure an erasure rate of 3.981 +/- 0.003 (ms)-1 and a residual dephasing error rate up to 0.17 (ms)-1 within the codespace. This strong hierarchy of error rates, together with the compact and hardware-efficient nature of this novel architecture, hold promise in realising QEC schemes with enhanced thresholds and improved scaling.


title: End-to-End Modeling of the TDM Readout System for CMB-S4

abstract: The CMB-S4 experiment is developing next-generation ground-based microwave telescopes to observe the Cosmic Microwave Background with unprecedented sensitivity. This will require an order of magnitude increase in the 100 mK detector count, which in turn increases the demands on the readout system. The CMB-S4 readout will use time division multiplexing (TDM), taking advantage of faster switches and amplifiers in order to achieve an increased multiplexing factor. To facilitate the design of the new readout system, we have developed a model that predicts the bandwidth and noise performance of this circuity and its interconnections. This is then used to set requirements on individual components in order to meet the performance necessary for the full system. We present an overview of this model and compare the model results to the performance of both legacy and prototype readout hardware.


title: A labeled Clinical-MRI dataset of Nigerian brains

abstract: We describe a Magnetic Resonance Imaging (MRI) dataset from individuals from the African nation of Nigeria. The dataset contains pseudonymized structural MRI (T1w, T2w, FLAIR) data of clinical quality. The dataset contains data from 36 images from healthy control subjects, 32 images from individuals diagnosed with age-related dementia and 20 from individuals with Parkinson's disease. There is currently a paucity of data from the African continent. Given the potential for Africa to contribute to the global neuroscience community, this first MRI dataset represents both an opportunity and benchmark for future studies to share data from the African continent.


title: Covariance-based method for eigenstate factorization and generalized singlets

abstract: We derive a general method for determining the necessary and sufficient conditions for exact factorization $|\Psi\rangle=\otimes_p |\psi_p\rangle$ of an eigenstate of a many-body Hamiltonian $H$, based on the quantum covariance matrix of the relevant local operators building the Hamiltonian. The "site" $p$ can be either a single component or a group of subsystems. The formalism is then used to derive exact dimerization and clusterization conditions in spin systems, covering from spin-$s$ singlets and clusters coupled to $0$ total spin to general nonmaximally entangled spin-$s$ dimers (generalized singlets). New results for field induced dimerization in anisotropic $XYZ$ arrays under a magnetic field are obtained.


title: Clonemator: Composing Spatiotemporal Clones to Create Interactive Automators in Virtual Reality

abstract: Clonemator is a virtual reality (VR) system allowing users to create their avatar clones and configure them spatially and temporally, forming automators to accomplish complex tasks. In particular, clones can (1) freeze at a user's body pose as static objects, (2) synchronously mimic the user's movement, and (3) replay a sequence of the user's actions in a period of time later. Combined with traditional techniques such as scaling, positional rearrangement, group selection, and duplication, Clonemator enables users to iteratively develop customized and reusable solutions by breaking down complex tasks into a sequence of collaborations with clones. This bypasses implementing dedicated interaction techniques or scripts while allowing flexible interactions in VR applications. We demonstrate the flexibility of Clonemator with several examples and validate its usability and effectiveness through a preliminary user study. Finally, we discuss the potential of Clonemator in VR applications such as gaming mechanisms, spatial interaction techniques, and multi-robot control and provide our insights for future research.


title: Exploring the Robustness of stabilizing controls for stochastic quantum evolutions

abstract: In this work we analyze and bound the effect of modeling errors on the stabilization of pure states or subspaces for quantum stochastic evolutions. Different approaches are used for open-loop and feedback control protocols. For both, we highlight the key role of dynamical invariance of the target: if the perturbation preserves invariance, it is possible to prove that it also preserves its attractivity, under some additional assumptions. In addition, we prove boundedness in mean of the solutions of perturbed systems under open-loop protocols. For the feedback strategies, in the general case without assumptions on invariance, we provide bounds on the perturbation effect in expectation and in probability, as well as specific bounds for non-demolition nominal systems.


title: Quasi-Transitive Mixed Graphs and Undirected Squares of Oriented Graphs

abstract: We consider the problem of classifying those graphs that arise as an undirected square of an oriented graph by generalising the notion of quasi-transitive directed graphs to mixed graphs. We fully classify those graphs of maximum degree three and those graphs of girth at least four that arise an undirected square of an oriented graph. In contrast to the recognition problem for graphs that admit a quasi-transitive orientation, we find it is NP-complete to decide if a graph admits a partial orientation as a quasi-transitive mixed graph. We prove the problem is Polynomial when restricted to inputs of maximum degree three, but remains NP-complete when restricted to inputs with maximum degree at least five. Our proof further implies that for fixed $k \geq 3$, it is NP-complete to decide if a graph arises as an undirected square of an orientation of a graph with $\Delta = k$.


title: Blurry Video Compression: A Trade-off between Visual Enhancement and Data Compression

abstract: Existing video compression (VC) methods primarily aim to reduce the spatial and temporal redundancies between consecutive frames in a video while preserving its quality. In this regard, previous works have achieved remarkable results on videos acquired under specific settings such as instant (known) exposure time and shutter speed which often result in sharp videos. However, when these methods are evaluated on videos captured under different temporal priors, which lead to degradations like motion blur and low frame rate, they fail to maintain the quality of the contents. In this work, we tackle the VC problem in a general scenario where a given video can be blurry due to predefined camera settings or dynamics in the scene. By exploiting the natural trade-off between visual enhancement and data compression, we formulate VC as a min-max optimization problem and propose an effective framework and training strategy to tackle the problem. Extensive experimental results on several benchmark datasets confirm the effectiveness of our method compared to several state-of-the-art VC approaches.


title: Semileptonic and nonleptonic weak decays of $\psi(1S,2S)$ and $\eta_{c}(1S,2S)$ to $D_{(s)}$ in the covariant light-front approach

abstract: In addition to the strong and electromagnetic decay modes, the $\psi(1S,2S)$ and $\eta_{c}(1S,2S)$ can also decay via the weak interaction. Such weak decays can be detected by the high-luminosity heavy-flavor experiments. At present, some of the semileptonic and nonleptonic $J/\Psi$ weak decays have been measured at BESIII. Researching for these charmonium weak decays to $D_{(s)}$ meson can provide a platform to check of the standard model (SM) and probe new physics (NP). So we investigate the semileptonic and nonleptonic weak decays of $\psi(1S,2S)$ and $\eta_{c}(1S,2S)$ to $D_{(s)}$ within the covariant light-front quark model (CLFQM). With form factors of the transitions $\psi(1S,2S)\to D_{(s)}$ and $\eta_{c}(1S,2S)\to D_{(s)}$ calculated under the CLFQM, we predict and discuss some physical observables, such as the branching ratios, the longitudinal polarizations $f_{L}$ and the forward-backward asymmetries $A_{FB}$. One can find that the Cabibbo-favored semi-leptonic decay channels $\psi(1S,2S)\to D_{s}^{-}\ell^{+}\nu_{\ell}$ with $\ell=e,\mu$ and the nonleptonic decay modes $\psi(1S,2S)\to D_{s}^{-}\rho^{+}$ have relatively large branching ratios of the order $\mathcal{O}(10^{-9})$, which are most likely to be accessible at the future high-luminosity experiments.


title: Emphasizing Cherenkov photons from bismuth germanate by single photon deconvolution

abstract: Bismuth germanate (BGO) has been receiving attention again because it is a potential scintillator for future time-of-flight positron emission tomography. Owing to its optical properties, BGO emits a relatively large number of Cherenkov photons after 511 keV gamma-ray interactions, which pushes the timing resolution of a detector. Nonetheless, efficiently detecting Cherenkov photons among scintillation photons is similar to looking for a needle in a haystack. Thus, we propose a method that can efficiently emphasize Cherenkov photon from a detector waveform by deconvolving a single photon response of photodetector. As a proof-of-concept, we perform the deconvolution, and a probability density function (PDF) of bismuth germanate was obtained, which is compared to a conventional time correlated single photon counting method. Furthermore, we investigate if the proposed deconvolution can emphasize a faint Cherenkov photon. Consequently, the PDF obtained by the proposed deconvolution shows a good agreement with that obtained using a conventional method. A coincidence time resolution obtained using the proposed deconvolution is improved by 43% in full width at half maximum, compared to a voltage-based leading edge discriminator. It can be concluded that the proposed deconvolution method can efficiently emphasize Cherenkov photon and improve the timing performance of BGO-based detectors.


title: SyncBleed: A Realistic Threat Model and Mitigation Strategy for Zero-Involvement Pairing and Authentication (ZIPA)

abstract: Zero Involvement Pairing and Authentication (ZIPA) is a promising technique for auto-provisioning large networks of Internet-of-Things (IoT) devices. Presently, these networks use password-based authentication, which is difficult to scale to more than a handful of devices. To deal with this challenge, ZIPA enabled devices autonomously extract identical authentication or encryption keys from ambient environmental signals. However, during the key negotiation process, existing ZIPA systems leak information on a public wireless channel which can allow adversaries to learn the key. We demonstrate a passive attack called SyncBleed, which uses leaked information to reconstruct keys generated by ZIPA systems. To mitigate SyncBleed, we present TREVOR, an improved key generation technique that produces nearly identical bit sequences from environmental signals without leaking information. We demonstrate that TREVOR can generate keys from a variety of environmental signal types under 4 seconds, consistently achieving a 90-95% bit agreement rate across devices within various environmental sources.


title: A Hierarchical Spatial Transformer for Massive Point Samples in Continuous Space

abstract: Transformers are widely used deep learning architectures. Existing transformers are mostly designed for sequences (texts or time series), images or videos, and graphs. This paper proposes a novel transformer model for massive (up to a million) point samples in continuous space. Such data are ubiquitous in environment sciences (e.g., sensor observations), numerical simulations (e.g., particle-laden flow, astrophysics), and location-based services (e.g., POIs and trajectories). However, designing a transformer for massive spatial points is non-trivial due to several challenges, including implicit long-range and multi-scale dependency on irregular points in continuous space, a non-uniform point distribution, the potential high computational costs of calculating all-pair attention across massive points, and the risks of over-confident predictions due to varying point density. To address these challenges, we propose a new hierarchical spatial transformer model, which includes multi-resolution representation learning within a quad-tree hierarchy and efficient spatial attention via coarse approximation. We also design an uncertainty quantification branch to estimate prediction confidence related to input feature noise and point sparsity. We provide a theoretical analysis of computational time complexity and memory costs. Extensive experiments on both real-world and synthetic datasets show that our method outperforms multiple baselines in prediction accuracy and our model can scale up to one million points on one NVIDIA A100 GPU. The code is available at \url{https://github.com/spatialdatasciencegroup/HST}.


title: Hubbard model on Semiclassical approximation in combination with an optimizer based on GPU technology

abstract: We developed a semiclassical approximation method in combination with an adaptive moment estimation optimizer (SCA + ADAM) approach based on the PyTorch plus CUDA library on a the graphics processing unit (GPU). This method was employed to evaluate one-particle properties of the Hubbard model with long-range spatial correlations within an appropriate computing duration. The method was applied to the ionic Hubbard model on a two-dimensional square lattice with long-range spatial correlations. The computation time was evaluated as a function of the lattice size on the central processing unit and GPU. Herein, we also discuss the density of states and antiferromagnetic (AF) order parameter in the Hubbard model without the ionic potential and compare the results with those of the Hartree-Fock approximation. Finally, we present the one-particle properties and order parameter in charge density wave, AF metal and AF insulator of the ionic Hubbard model.


title: Refined symmetry-resolved Page curve and charged black holes

abstract: The Page curve plotted by the typical random state approximation is not applicable to a system with conserved quantities, such as the evaporation process of a charged black hole during which the electric charge does not radiate out with a uniform rate macroscopically. In this context the symmetry-resolved entanglement entropy may play a significant role in describing the entanglement structure of such a system. We attempt to impose constraints on microscopic quantum states to match with the macroscopic phenomenon of the charge radiation during black hole evaporation. Specifically, we consider a simple qubit system with conserved spin/charge serving as a toy model for the evaporation of charged black holes. We propose refined rules for selecting a random state with conserved quantities to simulate the distribution of charges during the different stages of evaporation, and obtain refined Page curves that exhibit distinct features in contrast to the original Page curve. We find the refined Page curve may have a different Page time and exhibit asymmetric behavior on both sides of the Page time. Such refined Page curves may provide more realistic description for the entanglement between the charged black hole and radiation during the process of evaporation.


title: Cryogenic resonant amplifier for electron-on-helium image charge readout

abstract: An electron-on-helium qubit is a promising physical platform for quantum information technologies. Among all the "blueprints" for the qubit realization, a hybrid Rydberg-spin qubit seems to be a promising one towards quantum computing using electron spins. The main technological challenge on the way to such qubits is a detection of fA range image current induced by Rydberg transition of a single electron. To address this problem we aim to use a tank LC-circuit in conjunction with a high impedance and low power dissipation cryogenic amplifier. Here, we report our progress towards realization of a resonant image current detector with a home-made cryogenic amplifier based on FHX13LG HEMT. We present a detailed characterization of the transistor at room and cryogenic temperatures, as well as details of the amplifier design and performance. At the power dissipation level of amplifier well below 100~${\mu}$W the measured voltage and current noise level is 0.6~nV/$\sqrt{Hz}$ and below 1.5~fA/$\sqrt{Hz}$, respectively. Based on the actual image current measurements of the Rydberg transition in a many-electron system on liquid helium, we estimate SNR=8 with the measurement bandwidth 1 Hz for the detection of a single-electron transition, providing the noise level at the output is solely determined by the noise of the amplifier.


title: Reusing Convolutional Neural Network Models through Modularization and Composition

abstract: With the widespread success of deep learning technologies, many trained deep neural network (DNN) models are now publicly available. However, directly reusing the public DNN models for new tasks often fails due to mismatching functionality or performance. Inspired by the notion of modularization and composition in software reuse, we investigate the possibility of improving the reusability of DNN models in a more fine-grained manner. Specifically, we propose two modularization approaches named CNNSplitter and GradSplitter, which can decompose a trained convolutional neural network (CNN) model for $N$-class classification into $N$ small reusable modules. Each module recognizes one of the $N$ classes and contains a part of the convolution kernels of the trained CNN model. Then, the resulting modules can be reused to patch existing CNN models or build new CNN models through composition. The main difference between CNNSplitter and GradSplitter lies in their search methods: the former relies on a genetic algorithm to explore search space, while the latter utilizes a gradient-based search method. Our experiments with three representative CNNs on three widely-used public datasets demonstrate the effectiveness of the proposed approaches. Compared with CNNSplitter, GradSplitter incurs less accuracy loss, produces much smaller modules (19.88% fewer kernels), and achieves better results on patching weak models. In particular, experiments on GradSplitter show that (1) by patching weak models, the average improvement in terms of precision, recall, and F1-score is 17.13%, 4.95%, and 11.47%, respectively, and (2) for a new task, compared with the models trained from scratch, reusing modules achieves similar accuracy (the average loss of accuracy is only 2.46%) without a costly training process. Our approaches provide a viable solution to the rapid development and improvement of CNN models.


title: A Geometric Extension of the It\^o-Wentzell and Kunita's Formulas

abstract: We extend the It\^o-Wentzell formula for the evolution along a continuous semimartingale of a time-dependent stochastic field driven by a continuous semimartingale to tensor field-valued stochastic processes on manifolds. More concretely, we investigate how the pull-back (respectively, the push-forward) by a stochastic flow of diffeomorphisms of a time-dependent stochastic tensor field driven by a continuous semimartingale evolves with time, deriving it under suitable regularity conditions. We call this result the Kunita-It\^o-Wentzell (KIW) formula for the advection of tensor-valued stochastic processes. Equations of this nature bear significance in stochastic fluid dynamics and well-posedness by noise problems, facilitating the development of certain geometric extensions within existing theories.


title: Algebraic de Rham theorem and Baker-Akhiezer function

abstract: For the case of algebraic curves - compact Riemann surfaces - it is shown that de Rham cohomology group $H^{1}_{\mathrm{dR}}(X,\mathbb{C})$ of a genus $g$ Riemann surface $X$ has a natural structure of a symplectic vector space. Every choice of a non-special effective divisor $D$ of degree $g$ on $X$ defines a symplectic basis of $H^{1}_{\mathrm{dR}}(X,\mathbb{C})$, consisting of holomorphic differentials and differentials of the second kind with poles on $D$. This result, the algebraic de Rham theorem, is used to describe the tangent space to Picard and Jacobian varieties of $X$ in terms of differentials of the second kind, and to define a natural vector fields on the Jacobian of $X$ that move points of the divisor $D$. In terms of the Lax formalism on algebraic curves, these vector fields correspond to the Dubrovin equations in the theory of integrable systems, and the Baker-Akhierzer function is naturally obtained by the integration along the integral curves.


title: MixTEA: Semi-supervised Entity Alignment with Mixture Teaching

abstract: Semi-supervised entity alignment (EA) is a practical and challenging task because of the lack of adequate labeled mappings as training data. Most works address this problem by generating pseudo mappings for unlabeled entities. However, they either suffer from the erroneous (noisy) pseudo mappings or largely ignore the uncertainty of pseudo mappings. In this paper, we propose a novel semi-supervised EA method, termed as MixTEA, which guides the model learning with an end-to-end mixture teaching of manually labeled mappings and probabilistic pseudo mappings. We firstly train a student model using few labeled mappings as standard. More importantly, in pseudo mapping learning, we propose a bi-directional voting (BDV) strategy that fuses the alignment decisions in different directions to estimate the uncertainty via the joint matching confidence score. Meanwhile, we also design a matching diversity-based rectification (MDR) module to adjust the pseudo mapping learning, thus reducing the negative influence of noisy mappings. Extensive results on benchmark datasets as well as further analyses demonstrate the superiority and the effectiveness of our proposed method.


title: SS-MAE: Spatial-Spectral Masked Auto-Encoder for Multi-Source Remote Sensing Image Classification

abstract: Masked image modeling (MIM) is a highly popular and effective self-supervised learning method for image understanding. Existing MIM-based methods mostly focus on spatial feature modeling, neglecting spectral feature modeling. Meanwhile, existing MIM-based methods use Transformer for feature extraction, some local or high-frequency information may get lost. To this end, we propose a spatial-spectral masked auto-encoder (SS-MAE) for HSI and LiDAR/SAR data joint classification. Specifically, SS-MAE consists of a spatial-wise branch and a spectral-wise branch. The spatial-wise branch masks random patches and reconstructs missing pixels, while the spectral-wise branch masks random spectral channels and reconstructs missing channels. Our SS-MAE fully exploits the spatial and spectral representations of the input data. Furthermore, to complement local features in the training stage, we add two lightweight CNNs for feature extraction. Both global and local features are taken into account for feature modeling. To demonstrate the effectiveness of the proposed SS-MAE, we conduct extensive experiments on three publicly available datasets. Extensive experiments on three multi-source datasets verify the superiority of our SS-MAE compared with several state-of-the-art baselines. The source codes are available at \url{https://github.com/summitgao/SS-MAE}.


title: Collapse dynamics for two-dimensional space-time nonlocal nonlinear Schrodinger equations

abstract: The question of collapse (blow-up) in finite time is investigated for the two-dimensional (non-integrable) space-time nonlocal nonlinear Schrodinger equations. Starting from the two-dimensional extension of the well known AKNS q,r system, three different cases are considered: (i) partial and full parity-time (PT) symmetric, (ii) reverse-time (RT) symmetric, and (iii) general q,r system. Through extensive numerical experiments, it is shown that collapse of Gaussian initial conditions depends on the value of its quasi-power. The collapse dynamics (or lack thereof) strongly depends on whether the nonlocality is in space or time. A so-called quasi-variance identity is derived and its relationship to blow-up is discussed. Numerical simulations reveal that this quantity reaching zero in finite time does not (in general) guarantee collapse. An alternative approach to the study of wave collapse is presented via the study of transverse instability of line soliton solutions. In particular, the linear stability problem for perturbed solitons is formulated for the nonlocal RT and PT symmetric nonlinear Schrodinger (NLS) equations. Through a combination of numerical and analytical approaches, the stability spectrum for some stationary one soliton solutions is found. Direct numerical simulations agree with the linear stability analysis which predicts filamentation and subsequent blow-up.


title: Maximal $L_1$-regularity of the Navier-Stokes equations with free boundary conditions via a generalized semigroup theory

abstract: This paper develops a unified approach to show the maximal regularity theorem of the Stokes equations with free boundary conditions in the half-space $\mathbb R^d_+$, $d \ge 2$, within the $L_1$-in-time and $\mathcal B^s_{q, 1}$-in-space framework with $(q, s)$ satisfying $1 < q < \infty$ and $- 1 + 1 / q < s < 1 / q$, where $\mathcal B^s_{q, 1}$ stands for either homogeneous or inhomogeneous Besov spaces. In particular, we establish a generalized semigroup theory within an $L_1$-in-time and $\mathcal B^s_{q,1}$-in-space framework, which extends a classical $C_0$-analytic semigroup theory to the case of inhomogeneous boundary conditions. The maximal $L_1$-regularity theorem is proved by estimating the Fourier-Laplace inverse transform of the solution to the generalized Stokes resolvent problem with inhomogeneous boundary conditions, where density and interpolation arguments are used. The maximal $L_1$-regularity theorem is applied to show the unique existence of a local strong solution to the Navier-Stokes equations with free boundary conditions for arbitrary initial data $\boldsymbol a$ in $B^s_{q, 1} (\mathbb R^d_+)^d$, where $q$ and $s$ satisfy $d-1 < q \le d$ and $-1+d/q < s < 1/q$, respectively. If we assume that the initial data $\boldsymbol a$ are small in $\dot{B}^{- 1 + d / q}_{q, 1} (\mathbb R^d_+)^d$, $d - 1 < q < 2 d$, then the unique existence of a global strong solution to the system is proved.


title: Fano-Andreev effect in a T-shaped Double Quantum Dot in the Coulomb blockade regime

abstract: We studied the effects of superconducting quantum correlations in a system consisting of two quantum dots, two normal leads, and a superconductor. Using the non-equilibrium Green's functions method, we analyzed the transmission, density of states, and differential conductance of electrons between the normal leads. We found that the superconducting correlations resulted in Fano-Andreev interference, which is characterized by two anti-resonance line shapes in all of these quantities. This behavior was observed in both equilibrium and non-equilibrium regimes and persisted even when Coulomb correlations were taken into account using the Hubbard-I approximation. It is worth noting that the robustness of this behavior against these conditions has not been studied previously in the literature.

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


title: Advantages of non-Hookean coupling in a measurement-fueled two-oscillator engine

abstract: A quantum engine composed of two oscillators with a non-Hookean coupling is proposed. Unlike the more common quantum heat engines, the setup introduced here does not require heat baths as the energy for the operation originates from measurements. The engine follows the coupling $\rightarrow$ measurement $\rightarrow$ decoupling $\rightarrow$ extraction cycle. Using a Gaussian term as a prototypical non-harmonic interaction, it is shown that the fueling process facilitates the decoupling step. Numerical simulations are used to demonstrate the measurement-driven fueling, as well as the reduced decoupling energy.


title: In vitro evaluation of solution-based pressurised metered dose inhaler sprays with low GWP propellants

abstract: BACKGROUND: The impending transition from high Global Warming Potential (GWP) propellants such as HFA134a to low-GWP alternatives such as HFA152a and HFO1234ze(E) in pressurised metered dose inhalers (pMDIs) poses a number of challenges. Changes in chemicophysical properties will alter spray performance; this study investigates those differences using matched hardware and formulations. METHODS AND MATERIALS: Aerodynamic particle size distribution (APSD) measurements, laser diffraction and high-speed imaging experiments were used to compare the performance of HFA134a, HFA152a and HFO1234ze(E) solution formulations of becamethasone dipropionate (BDP). Propellant-only placebos, cosolvent-free solutions (0.05 mg/mL), 8\% and 15\% w/w ethanol solution formulations (2.0 mg/mL) were investigated. RESULTS: HFA152a formulations were found to have increased actuator and throat deposition while HFO1234ze(E) showed comparable APSD performance to HFA134a. Droplet and particle size increased for both low-GWP propellants. High-speed imaging revealed that HFA152a formulations spread more rapidly and were less stable and repeatable than HFA134a. HFO1234ze(E) formulations were found to spread more slowly than HFA134a, but converged with HFA134a ex-mouthpiece. Propellant effects were moderated by the addition of ethanol. CONCLUSIONS: Stability changes were found to be dominant in the near-orifice region, depending on formulation properties and ex-orifice flashing behaviour. Shot-to-shot repeatability effects were more pronounced in the ex-mouthpiece region where mixing with the ambient air is dominant. As such, modifications to orifice and mouthpiece geometry may provide a route to improved in vitro bioequivalence for low-GWP PMDIs.


title: LLM-based Resource-Oriented Intention Inference for Static Resource Leak Detection

abstract: Resource leaks, caused by resources not being released after acquisition, often lead to performance issues and system crashes. Existing static detection techniques rely on mechanical matching of predefined resource acquisition/release APIs, posing challenges to their effectiveness, including completeness of predefined APIs, identification of reachability validation, and analysis complexity. To overcome these challenges, we propose InferROI, a novel approach that leverages large language models (LLMs) to directly infer resource-oriented intentions (acquisition, release, and reachability validation) in code, based on resource management knowledge and code context understanding, rather than mechanical API matching. InferROI uses a prompt to instruct the LLM in inferring involved intentions from a given code snippet, which are then translated into formal expressions. By aggregating these inferred intentions, InferROI utilizes a lightweight static-analysis based algorithm to analyze control-flow paths extracted from the code, thereby detecting resource leaks. We evaluate InferROI on Java program and investigate its effectiveness in both resource-oriented intention inference and resource leak detection. Experimental results demonstrate that InferROI achieves a precision of 74.6% and a recall of 81.8% in intention inference on 172 code snippets from the DroidLeaks dataset. Additionally, InferROI covers a significant portion of concerned Android resources listed in the dataset. When applied to 86 bugs from the DroidLeaks dataset, InferROI exhibits a high bug detection rate (53.5%) and a low false alarm rate (8.1%) compared to eight baseline detectors. Moreover, we apply InferROI to resource leak detection in 100 methods from real-world open-source projects, where it identifies 12 unknown resource leak bugs, with 7 of them being confirmed by developers.