title: SMPLitex: A Generative Model and Dataset for 3D Human Texture Estimation from Single Image

abstract: We propose SMPLitex, a method for estimating and manipulating the complete 3D appearance of humans captured from a single image. SMPLitex builds upon the recently proposed generative models for 2D images, and extends their use to the 3D domain through pixel-to-surface correspondences computed on the input image. To this end, we first train a generative model for complete 3D human appearance, and then fit it into the input image by conditioning the generative model to the visible parts of the subject. Furthermore, we propose a new dataset of high-quality human textures built by sampling SMPLitex conditioned on subject descriptions and images. We quantitatively and qualitatively evaluate our method in 3 publicly available datasets, demonstrating that SMPLitex significantly outperforms existing methods for human texture estimation while allowing for a wider variety of tasks such as editing, synthesis, and manipulation


title: Andreev reflection of quantum Hall states through a quantum point contact

abstract: We investigate the interplay between the quantum Hall (QH) effect and superconductivity in InAs surface quantum well (SQW)/NbTiN heterostructures using a quantum point contact (QPC). We use QPC to control the proximity of the edge states to the superconductor. By measuring the upstream and downstream resistances of the device, we investigate the efficiency of Andreev conversion at the InAs/NbTiN interface. Our experimental data is analyzed using the Landauer-Buttiker formalism, generalized to allow for Andreev reflection processes. We show that by varying the voltage of the QPC, $V_{QPC}$, the average Andreev reflection, $A$, at the QH-SC interface can be tuned from 50% to 10%. The evolution of $A$ with $V_{QPC}$ extracted from the measurements exhibits plateaus separated by regions for which $A$ varies continuously with $V_{QPC}$. The presence of plateaus suggests that for some ranges of $V_{QPC}$ the QPC might be pinching off almost completely from the QH-SC interface some of the edge modes. Our work shows a new experimental setup to control and advance the understanding of the complex interplay between superconductivity and QH effect in two-dimensional electron gas systems.


title: On non-degenerate Tur\'an problems for expansion

abstract: The $r$-uniform expansion $F^{(r)+}$ of a graph $F$ is obtained by enlarging each edge with $r-2$ new vertices such that altogether we use $(r-2)|E(F)|$ new vertices. Two simple lower bounds on the largest number $\mathrm{ex}_r(n,F^{(r)+})$ of $r$-edges in $F^{(r)+}$-free $r$-graphs are $\Omega(n^{r-1})$ (in the case $F$ is not a star) and $\mathrm{ex}(n,K_r,F)$, which is the largest number of $r$-cliques in $n$-vertex $F$-free graphs. We prove that $\mathrm{ex}_r(n,F^{(r)+})=\mathrm{ex}(n,K_r,F)+O(n^{r-1})$. The proof comes with a structure theorem that we use to determine $\ex_r(n,F^{(r)+})$ exactly for some graphs $F$, every $r\chi(F)$ and sufficiently large $n$.


title: Towards Universal Image Embeddings: A Large-Scale Dataset and Challenge for Generic Image Representations

abstract: Fine-grained and instance-level recognition methods are commonly trained and evaluated on specific domains, in a model per domain scenario. Such an approach, however, is impractical in real large-scale applications. In this work, we address the problem of universal image embedding, where a single universal model is trained and used in multiple domains. First, we leverage existing domain-specific datasets to carefully construct a new large-scale public benchmark for the evaluation of universal image embeddings, with 241k query images, 1.4M index images and 2.8M training images across 8 different domains and 349k classes. We define suitable metrics, training and evaluation protocols to foster future research in this area. Second, we provide a comprehensive experimental evaluation on the new dataset, demonstrating that existing approaches and simplistic extensions lead to worse performance than an assembly of models trained for each domain separately. Finally, we conducted a public research competition on this topic, leveraging industrial datasets, which attracted the participation of more than 1k teams worldwide. This exercise generated many interesting research ideas and findings which we present in detail. Project webpage: https://cmp.felk.cvut.cz/univ_emb/


title: NLLB-CLIP -- train performant multilingual image retrieval model on a budget

abstract: Today, the exponential rise of large models developed by academic and industrial institutions with the help of massive computing resources raises the question of whether someone without access to such resources can make a valuable scientific contribution. To explore this, we tried to solve the challenging task of multilingual image retrieval having a limited budget of $1,000. As a result, we present NLLB-CLIP - CLIP model with a text encoder from the NLLB model. To train the model, we used an automatically created dataset of 106,246 good-quality images with captions in 201 languages derived from the LAION COCO dataset. We trained multiple models using image and text encoders of various sizes and kept different parts of the model frozen during the training. We thoroughly analyzed the trained models using existing evaluation datasets and newly created XTD200 and Flickr30k-200 datasets. We show that NLLB-CLIP is comparable in quality to state-of-the-art models and significantly outperforms them on low-resource languages.


title: Attention-Driven Multi-Modal Fusion: Enhancing Sign Language Recognition and Translation

abstract: In this paper, we devise a mechanism for the addition of multi-modal information with an existing pipeline for continuous sign language recognition and translation. In our procedure, we have incorporated optical flow information with RGB images to enrich the features with movement-related information. This work studies the feasibility of such modality inclusion using a cross-modal encoder. The plugin we have used is very lightweight and doesn't need to include a separate feature extractor for the new modality in an end-to-end manner. We have applied the changes in both sign language recognition and translation, improving the result in each case. We have evaluated the performance on the RWTH-PHOENIX-2014 dataset for sign language recognition and the RWTH-PHOENIX-2014T dataset for translation. On the recognition task, our approach reduced the WER by 0.9, and on the translation task, our approach increased most of the BLEU scores by ~0.6 on the test set.


title: FlexRDZ: Autonomous Mobility Management for Radio Dynamic Zones

abstract: FlexRDZ is an online, autonomous manager for radio dynamic zones (RDZ) that seeks to enable the safe operation of RDZs through real-time control of deployed test transmitters. FlexRDZ leverages Hierarchical Task Networks and digital twin modeling to plan and resolve RDZ violations in near real-time. We prototype FlexRDZ with GTPyhop and the Terrain Integrated Rough Earth Model (TIREM). We deploy and evaluate FlexRDZ within a simulated version of the Salt Lake City POWDER testbed, a potential urban RDZ environment. Our simulations show that FlexRDZ enables up to a 20 dBm reduction in mobile interference and a significant reduction in the total power of leaked transmissions while preserving the overall communication capabilities and uptime of test transmitters. To our knowledge, FlexRDZ is the first autonomous system for RDZ management.


title: A new First-Order mixture integer-valued threshold autoregressive process based on binomial thinning and negative binomial thinning

abstract: In this paper, we introduce a new first-order mixture integer-valued threshold autoregressive process, based on the binomial and negative binomial thinning operators. Basic probabilistic and statistical properties of this model are discussed. Conditional least squares (CLS) and conditional maximum likelihood (CML) estimators are derived and the asymptotic properties of the estimators are established. The inference for the threshold parameter is obtained based on the CLS and CML score functions. Moreover, the Wald test is applied to detect the existence of the piecewise structure. Simulation studies are considered, along with an application: the number of criminal mischief incidents in the Pittsburgh dataset.


title: Global Topology of 3D Symmetric Tensor Fields

abstract: There have been recent advances in the analysis and visualization of 3D symmetric tensor fields, with a focus on the robust extraction of tensor field topology. However, topological features such as degenerate curves and neutral surfaces do not live in isolation. Instead, they intriguingly interact with each other. In this paper, we introduce the notion of {\em topological graph} for 3D symmetric tensor fields to facilitate global topological analysis of such fields. The nodes of the graph include degenerate curves and regions bounded by neutral surfaces in the domain. The edges in the graph denote the adjacency information between the regions and degenerate curves. In addition, we observe that a degenerate curve can be a loop and even a knot and that two degenerate curves (whether in the same region or not) can form a link. We provide a definition and theoretical analysis of individual degenerate curves in order to help understand why knots and links may occur. Moreover, we differentiate between wedges and trisectors, thus making the analysis more detailed about degenerate curves. We incorporate this information into the topological graph. Such a graph can not only reveal the global structure in a 3D symmetric tensor field but also allow two symmetric tensor fields to be compared. We demonstrate our approach by applying it to solid mechanics and material science data sets.


title: Far-from-equilibrium bulk-viscous transport coefficients in neutron star mergers

abstract: We investigate the weak-interaction-driven bulk-viscous transport properties of $npe$ matter in the neutrino transparent regime. Previous works assumed that the induced bulk viscosity correction to pressure, near beta equilibrium, is linear in deviations from the equilibrium charge fraction. We show that this is not always true for (some) realistic equations of state at densities between one and three times saturation density. This nonlinear nature of the perturbation around equilibrium motivates a far-from-beta-equilibrium description of bulk-viscous transport in neutron star mergers, which can be precisely achieved using a new Israel-Stewart formulation with resummed bulk and relaxation time transport coefficients. The computation of these transport coefficients depends on out-of-beta-equilibrium pressure corrections, which can be computed for a given equation of state. We calculate these coefficients for equations of state that satisfy the latest constraints from multi-messenger observations from LIGO/VIRGO and NICER. We show that varying the nuclear symmetry energy $J$ and its slope $L$ can significantly affect the transport coefficients and the nonlinear behavior of the out-of-equilibrium pressure corrections. Therefore, having better constraints on $J$ and $L$ will directly impact our understanding of bulk-viscous processes in neutron star mergers.


title: BigFUSE: Global Context-Aware Image Fusion in Dual-View Light-Sheet Fluorescence Microscopy with Image Formation Prior

abstract: Light-sheet fluorescence microscopy (LSFM), a planar illumination technique that enables high-resolution imaging of samples, experiences defocused image quality caused by light scattering when photons propagate through thick tissues. To circumvent this issue, dualview imaging is helpful. It allows various sections of the specimen to be scanned ideally by viewing the sample from opposing orientations. Recent image fusion approaches can then be applied to determine in-focus pixels by comparing image qualities of two views locally and thus yield spatially inconsistent focus measures due to their limited field-of-view. Here, we propose BigFUSE, a global context-aware image fuser that stabilizes image fusion in LSFM by considering the global impact of photon propagation in the specimen while determining focus-defocus based on local image qualities. Inspired by the image formation prior in dual-view LSFM, image fusion is considered as estimating a focus-defocus boundary using Bayes Theorem, where (i) the effect of light scattering onto focus measures is included within Likelihood; and (ii) the spatial consistency regarding focus-defocus is imposed in Prior. The expectation-maximum algorithm is then adopted to estimate the focus-defocus boundary. Competitive experimental results show that BigFUSE is the first dual-view LSFM fuser that is able to exclude structured artifacts when fusing information, highlighting its abilities of automatic image fusion.


title: Efficient Query-Based Attack against ML-Based Android Malware Detection under Zero Knowledge Setting

abstract: The widespread adoption of the Android operating system has made malicious Android applications an appealing target for attackers. Machine learning-based (ML-based) Android malware detection (AMD) methods are crucial in addressing this problem; however, their vulnerability to adversarial examples raises concerns. Current attacks against ML-based AMD methods demonstrate remarkable performance but rely on strong assumptions that may not be realistic in real-world scenarios, e.g., the knowledge requirements about feature space, model parameters, and training dataset. To address this limitation, we introduce AdvDroidZero, an efficient query-based attack framework against ML-based AMD methods that operates under the zero knowledge setting. Our extensive evaluation shows that AdvDroidZero is effective against various mainstream ML-based AMD methods, in particular, state-of-the-art such methods and real-world antivirus solutions.


title: Variable Time Step Method of DAHLQUIST, LINIGER and NEVANLINNA (DLN) for a Corrected Smagorinsky Model

abstract: Turbulent flows strain resources, both memory and CPU speed. The DLN method has greater accuracy and allows larger time steps, requiring less memory and fewer FLOPS. The DLN method can also be implemented adaptively. The classical Smagorinsky model, as an effective way to approximate a (resolved) mean velocity, has recently been corrected to represent a flow of energy from unresolved fluctuations to the (resolved) mean velocity. In this paper, we apply a family of second-order, G-stable time-stepping methods proposed by Dahlquist, Liniger, and Nevanlinna (the DLN method) to one corrected Smagorinsky model and provide the detailed numerical analysis of the stability and consistency. We prove that the numerical solutions under any arbitrary time step sequences are unconditionally stable in the long term and converge at second order. We also provide error estimate under certain time step condition. Numerical tests are given to confirm the rate of convergence and also to show that the adaptive DLN algorithm helps to control numerical dissipation so that backscatter is visible.


title: On the Planning, Search, and Memorization Capabilities of Large Language Models

abstract: The rapid advancement of large language models, such as the Generative Pre-trained Transformer (GPT) series, has had significant implications across various disciplines. In this study, we investigate the potential of the state-of-the-art large language model (GPT-4) for planning tasks. We explore its effectiveness in multiple planning subfields, highlighting both its strengths and limitations. Through a comprehensive examination, we identify areas where large language models excel in solving planning problems and reveal the constraints that limit their applicability. Our empirical analysis focuses on GPT-4's performance in planning domain extraction, graph search path planning, and adversarial planning. We then propose a way of fine-tuning a domain-specific large language model to improve its Chain of Thought (CoT) capabilities for the above-mentioned tasks. The results provide valuable insights into the potential applications of large language models in the planning domain and pave the way for future research to overcome their limitations and expand their capabilities.


title: The Three Tree Theorem

abstract: We prove that every 2-sphere graph different from a prism can be vertex 4-colored in such a way that all Kempe chains are forests. This implies the following three tree theorem: the arboricity of a discrete 2-sphere is 3. Moreover, the three trees can be chosen so that each hits every triangle. A consequence is a result of an exercise in the book of Bondy and Murty based on work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar graph is less or equal than 3.


title: Coupling Diffusion and Finite Deformation in Phase Transformation Materials

abstract: We present a multiscale theoretical framework to investigate the interplay between diffusion and finite lattice deformation in phase transformation materials. In this framework, we use the Cauchy-Born Rule and the Principle of Virtual Power to derive a thermodynamically consistent theory coupling the diffusion of a guest species (Cahn-Hilliard type) with the finite deformation of host lattices (nonlinear gradient elasticity). We adapt this theory to intercalation materials--specifically Li$_{1-2}$Mn$_2$O$_4$--to investigate the delicate interplay between Li-diffusion and the cubic-to-tetragonal deformation of lattices. Our computations reveal fundamental insights into the microstructural evolution pathways under dynamic discharge conditions, and provide quantitative insights into the nucleation and growth of twinned microstructures during intercalation. Additionally, our results identify regions of stress concentrations (e.g., at phase boundaries, particle surfaces) that arise from lattice misfit and accumulate in the electrode with repeated cycling. These findings suggest a potential mechanism for structural decay in Li$_2$Mn$_2$O$_4$. More generally, we establish a theoretical framework that can be used to investigate microstructural evolution pathways, across multiple length scales, in first-order phase transformation materials.


title: Existence of $p$-adic representations and flatness of even deformation rings in balanced global settings of rank one

abstract: The main goal of this paper is to prove existence of $p$-adic lifts of even Galois representations in balanced global settings with dual Selmer groups of rank one, and to construct examples of even residual representations in characteristic $p=3$ for which the theorem yields existence of $3$-adic lifts. In the proof of the main theorem, we show that if the global deformation rings are not flat over $\mathbb{Z}_p$ at the minimal level, then after allowing ramification at one auxiliary prime, the new parts of the global rings enjoy the flatness property. The proof is independent of the parity of the representations. Previously, flatness was only known in established cases of Langlands reciprocity in the odd parity, while it is new for even deformation rings in balanced global settings of rank one. As a corollary, we show that by choosing the auxiliary prime appropriately, we can control the rank mod $p$ of the new part of the flat ring. The examples of $3$-adic representations and flat, even deformation rings are built by applying techniques from global class field theory to a family of totally real fields studied by D. Shanks. In the process of constructing the even residual representations, we show that there exist cuspidal automorphic representations $\pi$ and $\pi'$ of $\operatorname{GL}(2,\mathbb{A}_{\mathbb{Q}})$ attached to classical Maass wave forms of level $\ell=20887$ whose mod 3 reductions are distinct. The proof applies a theorem of R. P. Langlands from his theory of base change.


title: Line identification of extreme ultraviolet spectra from aluminum ions in EAST Tokamak plasmas

abstract: Extreme ultraviolet (EUV) spectra emitted from aluminum in the 5-340 A wavelength range were observed in Experimental Advanced Superconducting Tokamak (EAST) discharges. Several spectral lines from aluminum ions with different degrees of ionization were successfully observed with sufficient spectral intensities and resolutions using three fast-time-response EUV spectrometers. The line identification uses three independent state-of-art computational codes for the atomic structure calculations, which provide the wavelengths and radiative transition probabilities rate coefficients. These programs are HULLAC (Hebrew University - Lawrence Livermore Atomic Code), AUTOSTRUCTURE, and FAC (Flexible Atomic Code). Using three different codes allows us to resolve some ambiguities in identifying certain spectral lines and assess the validity of the theoretical predictions.


title: Tunable Magnetism and Valleys in VSiZ$_3$ monolayers

abstract: Two-dimensional magnetism and valleys have recently emerged as two significant research areas, with intriguing properties and practical uses in advanced information technology. Considering the importance of these two areas and their couplings, controllable creations of both the magnetism and valley polarization are highly sought after. Based on first-principles calculations, we propose a new class of two-dimensional monolayers with a chemical formula of MAZ$_3$, which is viewed as a 2H-MZ$_2$ trilayer passivated by the A-Z bilayer on its one side. Taking VSiN$_3$ as an example, the MAZ$_3$ monolayers are found to exhibit tunable magnetism and valleys. For the intrinsic VSiN$_3$ monolayer, it is a non-magnetic semiconductor, with multiple degenerate valleys and trigonal warping near $K_\pm$ points in the band structure. Besides, the bands have spin splittings owing to the spin-orbit coupling. Under a moderate carrier doping, the monolayer becomes a Stoner ferromagnet, which enhances the spin splittings of the valence band and generates valley splittings. Moreover, the Berry curvature is valley contrasting, leading to distinct valley-spin related anomalous Hall currents as the doping concentration increases. Our work opens up new way to modulate the spin splittings and valley splittings via electric means, and provides opportunities for exploring advanced spintronic and valleytronic devices.


title: Exact Results for the Distribution of the Partial Busy Period for a Multi-Server Queue

abstract: Exact explicit results are derived for the distribution of the partial busy period of the M/M/c multi-server queue for a general number of servers. A rudimentary spectral method leads to a representation that is amenable to efficient numerical computation across the entire ergodic region. An alternative algebraic approach yields a representation as a finite sum of Marcum Q-functions depending on the roots of certain polynomials that are explicitly determined for an arbitrary number of servers. Asymptotic forms are derived in the limit of a large number of servers under two scaling regimes, and also for the large-time limit. Connections are made with previous work. The present work is the first to offer tangible exact results for the distribution when the number of servers is greater than two.


title: Gradient Domain Diffusion Models for Image Synthesis

abstract: Diffusion models are getting popular in generative image and video synthesis. However, due to the diffusion process, they require a large number of steps to converge. To tackle this issue, in this paper, we propose to perform the diffusion process in the gradient domain, where the convergence becomes faster. There are two reasons. First, thanks to the Poisson equation, the gradient domain is mathematically equivalent to the original image domain. Therefore, each diffusion step in the image domain has a unique corresponding gradient domain representation. Second, the gradient domain is much sparser than the image domain. As a result, gradient domain diffusion models converge faster. Several numerical experiments confirm that the gradient domain diffusion models are more efficient than the original diffusion models. The proposed method can be applied in a wide range of applications such as image processing, computer vision and machine learning tasks.


title: A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders

abstract: A long-standing conjecture of Sacks states that it is provable in ZFC that every locally countable partial order of size continuum embeds into the Turing degrees. We show that this holds for partial orders of height two, but provide evidence that it is hard to extend this result even to partial orders of height three. In particular, we show that the result for height two partial orders holds both in certain extensions of ZF with only limited forms of choice and in the Borel setting (where the partial orders and embeddings are required to be Borel measurable), but that the analogous result for height three partial orders fails in both of these settings. We also formulate a general obstacle to embedding partial orders into the Turing degrees, which explains why our particular proof for height two partial orders cannot be extended to height three partial orders, even in ZFC. We finish by discussing how our results connect to the theory of countable Borel equivalence relations.


title: Stability of Translating States for Self-propelled Swarms with Quadratic Potential

abstract: The main result of this paper is proving the stability of translating states (flocking states) for the system of $n$-coupled self-propelled agents governed by $\ddot r_k = (1-|\dot r_k|^2)\dot r_k - \frac{1}{n}\sum_{j=1}^n(r_k-r_j)$, $r_k\in \mathbb R^2$. A translating state is a solution where all agents move with identical velocity, at unit speed. Numerical explorations have shown that for a large set of initial conditions, after some drift, the particles' velocities synchronize directions and magnitudes, with the distance between agents going to zero. We prove that every solution that starts near a translating state asymptotically approaches (possibly another) translating state nearby, an asymptotic behavior exclusive to swarms in the plane. We quantify the rate of convergence as being as slow as $1/ \sqrt t$, and give rates of convergence for the directional drift and the mean field speed. We overcome the technical difficulties associated with having non-isolated equilibrium states and a $2n+1$ dimensional central manifold by employing state-depended projections that decouple the slowest three variables from the other $2n-2$ of the central manifold. We show that in average the magnitudes of the oscillations in the direction normal to the motion decrease.


title: A data-driven approach to guide supersonic impinging jet control

abstract: A data-driven framework using snapshots of an uncontrolled flow is proposed to identify, and subsequently demonstrate, effective control strategies for different objectives in supersonic impinging jets. The approach, based on a dynamic mode decomposition reduced order model (DMD-ROM), determines forcing receptivity in an economical manner by projecting flow and actuator-specific forcing snapshots onto a reduced subspace and then evolving the results forward in time. Since it effectively determines a linear response around the unsteady flow in the time-domain, the method differs materially from typical techniques that use steady basic states, such as stability or input-output approaches that employ linearized Navier-Stokes operators in the frequency-domain. The method naturally accounts for factors inherent to the snapshot basis, including configuration complexity and flow parameters such as Reynolds number. Furthermore, gain metrics calculated in the reduced subspace facilitate rapid assessments of flow sensitivities to a wide range of forcing parameters, from which optimal actuator inputs may be selected and results confirmed in scale-resolved simulations or experiments. The DMD-ROM approach is demonstrated from two different perspectives. The first concerns asymptotic feedback resonance, where the effects of harmonic pressure forcing are estimated and verified with nonlinear simulations using a blowing-suction actuator. The second examines time-local behavior within critical feedback events, where the phase of actuation becomes important. For this, a conditional space-time mode is used to identify the optimal forcing phase that minimizes convective instability initiation within the resonance cycle.


title: Magnetic structures and turbulence in SN 1006 revealed with imaging X-ray polarimetry

abstract: Young supernova remnants (SNRs) strongly modify surrounding magnetic fields, which in turn play an essential role in accelerating cosmic rays (CRs). X-ray polarization measurements probe magnetic field morphology and turbulence at the immediate acceleration site. We report the X-ray polarization distribution in the northeastern shell of SN1006 from a 1 Ms observation with the Imaging X-ray Polarimetry Explorer (IXPE). We found an average polarization degree of $22.4\pm 3.5\%$ and an average polarization angle of $-45.4\pm 4.5^\circ$ (measured on the plane of the sky from north to east). The X-ray polarization angle distribution reveals that the magnetic fields immediately behind the shock in the northeastern shell of SN 1006 are nearly parallel to the shock normal or radially distributed, similar to that in the radio observations, and consistent with the quasi-parallel CR acceleration scenario. The X-ray emission is marginally more polarized than that in the radio band. The X-ray polarization degree of SN 1006 is much larger than that in Cas A and Tycho, together with the relatively tenuous and smooth ambient medium of the remnant, favoring that CR-induced instabilities set the turbulence in SN 1006 and CR acceleration is environment-dependent.


title: Trajectory design and optimization of a solar sail sun probe

abstract: There is a desire to observe the sun's poles to further deepen our understanding of solar activity. However, because of the large speeds needed to perform out-of-ecliptic plane maneuvers, chemical and electric rocket propulsion mechanisms have been proven to be costly and impractical, leaving alternative space technology systems like solar sails to be considered for these applications. In this paper, we study the possibility of using a solar sail as a probe observing the sun. We design and optimize the trajectories of the solar sail probe through the surface constraint approach, with the assumption that the sail moves on a displaced spherical surface. We first review the surface constraint approach, focusing on its important assumptions and limitations. Then, we solve and obtain a family of radial and azimuthal trajectory equations by choosing the correct constraint equation. We characterize the trajectories based on the functional dependence of the sail's orientation with the polar angle. Finally, we determine the trajectories of the probe that will give us the minimum flight time. Results show that increasing the number of mission stages decreases the total flight time, with minimal changes in the sail's radial and polar velocities. Furthermore, changing the functional dependence of the clock angle resets the azimuthal velocity, making the sail not reverse its direction and directly approach the sun along the spherical surface.


title: In-depth analysis of S-boxes over binary finite fields concerning their differential and Feistel boomerang differential uniformities

abstract: Substitution boxes (S-boxes) play a significant role in ensuring the resistance of block ciphers against various attacks. The Difference Distribution Table (DDT), the Feistel Boomerang Connectivity Table (FBCT), the Feistel Boomerang Difference Table (FBDT) and the Feistel Boomerang Extended Table (FBET) of a given S-box are crucial tools to analyze its security concerning specific attacks. However, the results on them are rare. In this paper, we investigate the properties of the power function $F(x):=x^{2^{m+1}-1}$ over the finite field $\gf_{2^n}$ of order $2^n$ where $n=2m$ or $n=2m+1$ ($m$ stands for a positive integer). As a consequence, by carrying out certain finer manipulations of solving specific equations over $\gf_{2^n}$, we give explicit values of all entries of the DDT, the FBCT, the FBDT and the FBET of the investigated power functions. From the theoretical point of view, our study pushes further former investigations on differential and Feistel boomerang differential uniformities for a novel power function $F$. From a cryptographic point of view, when considering Feistel block cipher involving $F$, our in-depth analysis helps select $F$ resistant to differential attacks, Feistel differential attacks and Feistel boomerang attacks, respectively.


title: Non-asymptotic approximations for Pearson's chi-square statistic and its application to confidence intervals for strictly convex functions of the probability weights of discrete distributions

abstract: In this paper, we develop a non-asymptotic local normal approximation for multinomial probabilities. First, we use it to find non-asymptotic total variation bounds between the measures induced by uniformly jittered multinomials and the multivariate normals with the same means and covariances. From the total variation bounds, we also derive a comparison of the cumulative distribution functions and quantile coupling inequalities between Pearson's chi-square statistic (written as the normalized quadratic form of a multinomial vector) and its multivariate normal analogue. We apply our results to find confidence intervals for the negative entropy of discrete distributions. Our method can be applied more generally to find confidence intervals for strictly convex functions of the weights of discrete distributions.


title: Constraining scotogenic dark matter and primordial black holes using gravitational waves

abstract: The lightest $Z_2$ odd particle in the scotogenic model, referred to as scotogenic dark matter (DM), is a widely studied candidate for DM. This scotogenic DM is generated through well-known thermal processes as well as via the evaporation of primordial black holes (PBHs). Recent reports suggested that the curvature fluctuations of PBHs during an epoch dominated by these entities in the early universe can serve as the source of so-called induced gravitational waves (GWs). In this study, we demonstrate that stringent constraints on the mass of scotogenic DM and PBHs can be obtained through the detection of induced GWs using future detectors.


title: Task Generalization with Stability Guarantees via Elastic Dynamical System Motion Policies

abstract: Dynamical System (DS) based Learning from Demonstration (LfD) allows learning of reactive motion policies with stability and convergence guarantees from a few trajectories. Yet, current DS learning techniques lack the flexibility to generalize to new task instances as they ignore explicit task parameters that inherently change the underlying trajectories. In this work, we propose Elastic-DS, a novel DS learning, and generalization approach that embeds task parameters into the Gaussian Mixture Model (GMM) based Linear Parameter Varying (LPV) DS formulation. Central to our approach is the Elastic-GMM, a GMM constrained to SE(3) task-relevant frames. Given a new task instance/context, the Elastic-GMM is transformed with Laplacian Editing and used to re-estimate the LPV-DS policy. Elastic-DS is compositional in nature and can be used to construct flexible multi-step tasks. We showcase its strength on a myriad of simulated and real-robot experiments while preserving desirable control-theoretic guarantees. Supplementary videos can be found at https://sites.google.com/view/elastic-ds


title: QuantEase: Optimization-based Quantization for Language Models

abstract: With the rising popularity of Large Language Models (LLMs), there has been an increasing interest in compression techniques that enable their efficient deployment. This study focuses on the Post-Training Quantization (PTQ) of LLMs. Drawing from recent advances, our work introduces QuantEase, a layer-wise quantization framework where individual layers undergo separate quantization. The problem is framed as a discrete-structured non-convex optimization, prompting the development of algorithms rooted in Coordinate Descent (CD) techniques. These CD-based methods provide high-quality solutions to the complex non-convex layer-wise quantization problems. Notably, our CD-based approach features straightforward updates, relying solely on matrix and vector operations, circumventing the need for matrix inversion or decomposition. We also explore an outlier-aware variant of our approach, allowing for retaining significant weights (outliers) with complete precision. Our proposal attains state-of-the-art performance in terms of perplexity and zero-shot accuracy in empirical evaluations across various LLMs and datasets, with relative improvements up to 15% over methods such as GPTQ. Leveraging careful linear algebra optimizations, QuantEase can quantize models like Falcon-180B on a single NVIDIA A100 GPU in $\sim$3 hours. Particularly noteworthy is our outlier-aware algorithm's capability to achieve near or sub-3-bit quantization of LLMs with an acceptable drop in accuracy, obviating the need for non-uniform quantization or grouping techniques, improving upon methods such as SpQR by up to two times in terms of perplexity.


title: Reconstruction of Unstable Heavy Particles Using Deep Symmetry-Preserving Attention Networks

abstract: Reconstructing unstable heavy particles requires sophisticated techniques to sift through the large number of possible permutations for assignment of detector objects to the underlying partons. Anapproach based on a generalized attention mechanism, symmetry preserving attention networks (SPA-NET), has been previously applied to top quark pair decays at the Large Hadron Collider which produce only hadronic jets. Here we extend the SPA-NET architecture to consider multiple input object types, such as leptons, as well as global event features, such as the missing transverse momentum. Inaddition, we provide regression and classification outputs to supplement the parton assignment. We explore the performance of the extended capability of SPA-NET in the context of semi-leptonic decays of top quark pairs as well as top quark pairs produced in association with a Higgs boson. We find significant improvements in the power of three representative studies: a search for ttH, a measurement of the top quark mass, and a search for a heavy Z' decaying to top quark pairs. We present ablation studies to provide insight on what the network has learned in each case.


title: The acrylic vessel for JSNS$^{2}$-II neutrino target

abstract: The JSNS$^{2}$ (J-PARC Sterile Neutrino Search at J-PARC Spallation Neutron Source) is an experiment designed for the search for sterile neutrinos. The experiment is currently at the stage of the second phase named JSNS$^{2}$-II with two detectors at near and far locations from the neutrino source. One of the key components of the experiment is an acrylic vessel, that is used for the target volume for the detection of the anti-neutrinos. The specifications, design, and measured properties of the acrylic vessel are described.


title: Control of Mechanical and Fracture Properties in Two-phase Materials Reinforced by Continuous, Irregular Networks

abstract: Composites with high strength and high fracture resistance are desirable for structural and protective applications. Most composites, however, suffer from poor damage tolerance and are prone to unpredictable fractures. Understanding the behavior of materials with an irregular reinforcement phase offers fundamental guidelines for tailoring their performance. Here, we study the fracture nucleation and propagation in two phase composites, as a function of the topology of their irregular microstructures. We use a stochastic algorithm to design the polymeric reinforcing network, achieving independent control of topology and geometry of the microstructure. By tuning the local connectivity of isodense tiles and their assembly into larger structures, we tailor the mechanical and fracture properties of the architected composites, at the local and global scale. Finally, combining different reinforcing networks into a spatially determined meso-scale assembly, we demonstrate how the spatial propagation of fractures in architected composite materials can be designed and controlled a priori.


title: The Local Projection Residual Bootstrap for AR(1) Models

abstract: This paper proposes a local projection residual bootstrap method to construct confidence intervals for impulse response coefficients of AR(1) models. Our bootstrap method is based on the local projection (LP) approach and involves a residual bootstrap procedure applied to AR(1) models. We present theoretical results for our bootstrap method and proposed confidence intervals. First, we prove the uniform consistency of the LP-residual bootstrap over a large class of AR(1) models that allow for a unit root. Then, we prove the asymptotic validity of our confidence intervals over the same class of AR(1) models. Finally, we show that the LP-residual bootstrap provides asymptotic refinements for confidence intervals on a restricted class of AR(1) models relative to those required for the uniform consistency of our bootstrap.


title: FAST discovery of a fast neutral hydrogen outflow

abstract: In this letter, we report the discovery of a fast neutral hydrogen outflow in SDSS J145239.38+062738.0, a merging radio galaxy containing an optical type I active galactic nuclei (AGN). This discovery was made through observations conducted by the Five-hundred-meter Aperture Spherical radio Telescope (FAST) using redshifted 21-cm absorption. The outflow exhibits a blueshifted velocity likely up to $\sim-1000\,\rm km\,s^{-1}$ with respect to the systemic velocity of the host galaxy with an absorption strength of $\sim -0.6\,\rm mJy\,beam^{-1}$ corresponding to an optical depth of 0.002 at $v=-500\,\rm km\,s^{-1}$. The mass outflow rate ranges between $2.8\times10^{-2}$ and $3.6\, \rm M_\odot \, yr^{-1}$, implying an energy outflow rate ranging between $4.2\times10^{39}$ and $9.7\times10^{40}\rm\,erg\,s^{-1}$, assuming 100 K $<T_{\rm s}<$ 1000 K. Plausible drivers of the outflow include the star bursts, the AGN radiation, and the radio jet, the last of which is considered the most likely culprit according to the kinematics. By analysing the properties of the outflow, the AGN, and the jet, we find that if the HI outflow is driven by the AGN radiation, the AGN radiation seems not powerful enough to provide negative feedback whereas the radio jet shows the potential to provide negative feedback. Our observations contribute another example of a fast outflow detected in neutral hydrogen, as well as demonstrate the capability of FAST in detecting such outflows.


title: Early Planet Formation in Embedded Disks (eDisk) VI: Kinematic Structures around the Very Low Mass Protostar IRAS 16253-2429

abstract: Precise estimates of protostellar masses are crucial to characterize the formation of stars of low masses down to brown-dwarfs (BDs; M* < 0.08 Msun). The most accurate estimation of protostellar mass uses the Keplerian rotation in the circumstellar disk around the protostar. To apply the Keplerian rotation method to a protostar at the low-mass end, we have observed the Class 0 protostar IRAS 16253-2429 using the Atacama Large Millimeter/submillimeter Array (ALMA) in the 1.3 mm continuum at an angular resolution of 0.07" (10 au), and in the 12CO, C18O, 13CO (J=2-1), and SO (J_N = 6_5-5_4) molecular lines, as part of the ALMA Large Program Early Planet Formation in Embedded Disks (eDisk). The continuum emission traces a non-axisymmetric, disk-like structure perpendicular to the associated 12CO outflow. The position-velocity (PV) diagrams in the C18O and 13CO lines can be interpreted as infalling and rotating motions. In contrast, the PV diagram along the major axis of the disk-like structure in the 12CO line allows us to identify Keplerian rotation. The central stellar mass and the disk radius are estimated to be ~0.12-0.17 Msun and ~13-19 au, respectively. The SO line suggests the existence of an accretion shock at a ring (r~28 au) surrounding the disk and a streamer from the eastern side of the envelope. IRAS 16253-2429 is not a proto-BD but has a central stellar mass close to the BD mass regime, and our results provide a typical picture of such very low-mass protostars.


title: Global well-posedness for a family of regularized Benjamin-type equations

abstract: In this work we prove local and global well-posedness results for the Cauchy problem of a family of regularized nonlinear Benjamin-type equations in both periodic and nonperiodic Sobolev spaces.


title: Synchronization in the quaternionic Kuramoto model

abstract: In this paper, we propose an $N$ oscillators Kuramoto model with quaternions $\mathbb{H}$. In case the coupling strength is strong, a sufficient condition of synchronization is established for general $N\geqslant 2$. On the other hand, we analyze the case when the coupling strength is weak. For $N=2$, when coupling strength is weak (below the critical coupling strength $\lambda_c$), we show that new periodic orbits emerge near each equilibrium point, and hence phase-locking state exists. This phenomenon is different from the real Kuramoto system since it is impossible to arrive at any synchronization when $\lambda<\lambda_c$. We prove a theorem that states a set of closed and dense contour forms near each equilibrium point, resembling a tree's growth rings. In other words, the trajectory of phase difference lies on a $4D$-torus surface. Therefore, this implies that the phase-locking state is Lyapunov stable but not asymptotically stable. The proof uses a new infinite buffer method (``$\delta/n$ criterion") and a Lyapunov function argument. This has been studied both analytically and numerically. For $N=3$, we consider the ``Lion Dance flow", the analog of Cherry flow for our model, to demonstrate that the quaternionic synchronization exists even when the coupling strength is ``super weak" (when $\lambda/\omega <0.85218915...$). Also, numerical evaluation reveals that when $N>3$, the stable manifold of Lion Dance flow exists, and the number of these equilibria is $\lfloor \frac{N-1}{2}\rfloor$. Therefore, we conjecture that Lyapunov stable quaternionic synchronization always exists.


title: Searching for gravitational wave echoes from black hole binary events in the third observing run of LIGO, Virgo, and KAGRA collaborations

abstract: Gravitational wave echo signals have been proposed as evidence for the modification of the spacetime structure near the classical event horizon. These signals are expected to occur after the mergers of compact binaries as a sequence of weak pulse-like signals. Some studies have shown evidence of the echo signals from several binary black hole merger events. On the other hand, the other studies have shown the low significance of such signals from various events in the first, second and third observing runs (O1, O2 and O3). Our previous study also shows the low significance of echo signals from events in O1 and O2, though, we observe that more than half of the events have p-value smaller than 0.1 when the simply modeled waveform is used for the analysis. Since there are only nine events appropriate for this analysis in O1 and O2, it is necessary to analyze more events to evaluate the significance statistically. In this study, we search for echo signals from binary black hole events observed during O3 operated by LIGO, Virgo and KAGRA collaborations. We perform the template-based search by using two different models for echo signal templates: simply modeled one and physically motivated one. Our results show that the distributions of p-values for all events analyzed in this study are consistent with the noise distribution. This means that no significant echo signals are found for both models from O3 events.


title: A compact, all-optical positron production and collection scheme

abstract: In this paper we discuss a compact, laser-plasma-based scheme for the generation of positron beams suitable to be implemented in an all-optical setup. A laser-plasma-accelerated electron beam hits a solid target producing electron-positron pairs via bremsstrahlung. The back of the target serves as a plasma mirror to in-couple a laser pulse into a plasma stage located right after the mirror where the laser drives a plasma wave (or wakefield). By properly choosing the delay between the laser and the electron beam the positrons produced in the target can be trapped in the wakefield, where they are focused and accelerated during the transport, resulting in a collimated beam. This approach minimizes the ballistic propagation time and enhances the trapping efficiency. The system can be used as an injector of positron beams and has potential applications in the development of a future, compact, plasma-based electron-positron linear collider.

categories: physics.acc-ph physics.app-ph physics.comp-ph physics.plasm-ph


title: Isometries of Almost-Riemannian structures on nonnilpotent, solvable 3D Lie groups

abstract: In this paper we prove that automorphisms are the only isometries between rank two Almost-Riemannian Structures on the class of nonnilpotent, solvable, connected 3D Lie groups. As a consequence, a classification result for rank two ARSs on the groups in question is obtained.


title: Inferring Actual Treatment Pathways from Patient Records

abstract: Treatment pathways are step-by-step plans outlining the recommended medical care for specific diseases; they get revised when different treatments are found to improve patient outcomes. Examining health records is an important part of this revision process, but inferring patients' actual treatments from health data is challenging due to complex event-coding schemes and the absence of pathway-related annotations. This study aims to infer the actual treatment steps for a particular patient group from administrative health records (AHR) - a common form of tabular healthcare data - and address several technique- and methodology-based gaps in treatment pathway-inference research. We introduce Defrag, a method for examining AHRs to infer the real-world treatment steps for a particular patient group. Defrag learns the semantic and temporal meaning of healthcare event sequences, allowing it to reliably infer treatment steps from complex healthcare data. To our knowledge, Defrag is the first pathway-inference method to utilise a neural network (NN), an approach made possible by a novel, self-supervised learning objective. We also developed a testing and validation framework for pathway inference, which we use to characterise and evaluate Defrag's pathway inference ability and compare against baselines. We demonstrate Defrag's effectiveness by identifying best-practice pathway fragments for breast cancer, lung cancer, and melanoma in public healthcare records. Additionally, we use synthetic data experiments to demonstrate the characteristics of the Defrag method, and to compare Defrag to several baselines where it significantly outperforms non-NN-based methods. Defrag significantly outperforms several existing pathway-inference methods and offers an innovative and effective approach for inferring treatment pathways from AHRs. Open-source code is provided to encourage further research in this area.


title: Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs)

abstract: Legged robots exhibit significant potential across diverse applications, including but not limited to hazardous environment search and rescue missions and the exploration of unexplored regions both on Earth and in outer space. However, the successful navigation of these robots in dynamic environments heavily hinges on the implementation of efficient collision avoidance techniques. In this research paper, we employ Collision Cone Control Barrier Functions (C3BF) to ensure the secure movement of legged robots within environments featuring a wide array of static and dynamic obstacles. We introduce the Quadratic Program (QP) formulation of C3BF, referred to as C3BF-QP, which serves as a protective filter layer atop a reference controller to ensure the robots' safety during operation. The effectiveness of this approach is illustrated through simulations conducted on PyBullet.


title: Unsupervised Skin Lesion Segmentation via Structural Entropy Minimization on Multi-Scale Superpixel Graphs

abstract: Skin lesion segmentation is a fundamental task in dermoscopic image analysis. The complex features of pixels in the lesion region impede the lesion segmentation accuracy, and existing deep learning-based methods often lack interpretability to this problem. In this work, we propose a novel unsupervised Skin Lesion sEgmentation framework based on structural entropy and isolation forest outlier Detection, namely SLED. Specifically, skin lesions are segmented by minimizing the structural entropy of a superpixel graph constructed from the dermoscopic image. Then, we characterize the consistency of healthy skin features and devise a novel multi-scale segmentation mechanism by outlier detection, which enhances the segmentation accuracy by leveraging the superpixel features from multiple scales. We conduct experiments on four skin lesion benchmarks and compare SLED with nine representative unsupervised segmentation methods. Experimental results demonstrate the superiority of the proposed framework. Additionally, some case studies are analyzed to demonstrate the effectiveness of SLED.


title: Non-$\ell$-distance-balanced generalized Petersen graphs $GP(n,3)$ and $GP(n,4)$

abstract: A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,3)$ where $n>16$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,3))$, and $GP(n,4)$ where $n>24$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,4))$. This partially solves a conjecture posed by \v{S}. Miklavi\v{c} and P. \v{S}parl (Discrete Appl. Math. 244:143-154, 2018).


title: Towards General and Efficient Online Tuning for Spark

abstract: The distributed data analytic system -- Spark is a common choice for processing massive volumes of heterogeneous data, while it is challenging to tune its parameters to achieve high performance. Recent studies try to employ auto-tuning techniques to solve this problem but suffer from three issues: limited functionality, high overhead, and inefficient search. In this paper, we present a general and efficient Spark tuning framework that can deal with the three issues simultaneously. First, we introduce a generalized tuning formulation, which can support multiple tuning goals and constraints conveniently, and a Bayesian optimization (BO) based solution to solve this generalized optimization problem. Second, to avoid high overhead from additional offline evaluations in existing methods, we propose to tune parameters along with the actual periodic executions of each job (i.e., online evaluations). To ensure safety during online job executions, we design a safe configuration acquisition method that models the safe region. Finally, three innovative techniques are leveraged to further accelerate the search process: adaptive sub-space generation, approximate gradient descent, and meta-learning method. We have implemented this framework as an independent cloud service, and applied it to the data platform in Tencent. The empirical results on both public benchmarks and large-scale production tasks demonstrate its superiority in terms of practicality, generality, and efficiency. Notably, this service saves an average of 57.00% memory cost and 34.93% CPU cost on 25K in-production tasks within 20 iterations, respectively.


title: A $5$-approximation Algorithm for the Traveling Tournament Problem

abstract: The Traveling Tournament Problem (TTP-$k$) is a well-known benchmark problem in tournament timetabling, which asks us to design a double round-robin schedule such that the total traveling distance of all $n$ teams is minimized under the constraints that each pair of teams plays one game in each other's home venue, and each team plays at most $k$-consecutive home games or away games. Westphal and Noparlik (Ann. Oper. Res. 218(1):347-360, 2014) claimed a $5.875$-approximation algorithm for all $k\geq 4$ and $n\geq 6$. However, there were both flaws in the construction of the schedule and in the analysis. In this paper, we show that there is a $5$-approximation algorithm for all $k$ and $n$. Furthermore, if $k \geq n/2$, the approximation ratio can be improved to $4$.


title: Towards Robust Plant Disease Diagnosis with Hard-sample Re-mining Strategy

abstract: With rich annotation information, object detection-based automated plant disease diagnosis systems (e.g., YOLO-based systems) often provide advantages over classification-based systems (e.g., EfficientNet-based), such as the ability to detect disease locations and superior classification performance. One drawback of these detection systems is dealing with unannotated healthy data with no real symptoms present. In practice, healthy plant data appear to be very similar to many disease data. Thus, those models often produce mis-detected boxes on healthy images. In addition, labeling new data for detection models is typically time-consuming. Hard-sample mining (HSM) is a common technique for re-training a model by using the mis-detected boxes as new training samples. However, blindly selecting an arbitrary amount of hard-sample for re-training will result in the degradation of diagnostic performance for other diseases due to the high similarity between disease and healthy data. In this paper, we propose a simple but effective training strategy called hard-sample re-mining (HSReM), which is designed to enhance the diagnostic performance of healthy data and simultaneously improve the performance of disease data by strategically selecting hard-sample training images at an appropriate level. Experiments based on two practical in-field eight-class cucumber and ten-class tomato datasets (42.7K and 35.6K images) show that our HSReM training strategy leads to a substantial improvement in the overall diagnostic performance on large-scale unseen data. Specifically, the object detection model trained using the HSReM strategy not only achieved superior results as compared to the classification-based state-of-the-art EfficientNetV2-Large model and the original object detection model, but also outperformed the model using the HSM strategy in multiple evaluation metrics.


title: Improving Drone Imagery For Computer Vision/Machine Learning in Wilderness Search and Rescue

abstract: This paper describes gaps in acquisition of drone imagery that impair the use with computer vision/machine learning (CV/ML) models and makes five recommendations to maximize image suitability for CV/ML post-processing. It describes a notional work process for the use of drones in wilderness search and rescue incidents. The large volume of data from the wide area search phase offers the greatest opportunity for CV/ML techniques because of the large number of images that would otherwise have to be manually inspected. The 2023 Wu-Murad search in Japan, one of the largest missing person searches conducted in that area, serves as a case study. Although drone teams conducting wide area searches may not know in advance if the data they collect is going to be used for CV/ML post-processing, there are data collection procedures that can improve the search in general with automated collection software. If the drone teams do expect to use CV/ML, then they can exploit knowledge about the model to further optimize flights.


title: Tetris: A Compilation Framework for VQA Applications in Quantum Computing

abstract: Quantum computing has shown promise in solving complex problems by leveraging the principles of superposition and entanglement. Variational quantum algorithms (VQA) are a class of algorithms suited for near term quantum computers due to their modest requirements of qubits and depths of computation. This paper introduces Tetris, a compilation framework for VQA applications on near term quantum devices. Tetris focuses on reducing two qubit gates in the compilation process since a two qubit gate has an order of magnitude more significant error and execution time than a single qubit gate. Tetris exploits unique opportunities in the circuit synthesis stage often overlooked by the state of the art VQA compilers for reducing the number of two qubit gates. Tetris comes with a refined IR of Pauli string to express such a two qubit gate optimization opportunity. Moreover, Tetris is equipped with a fast bridging approach that mitigates the hardware mapping cost. Overall, Tetris demonstrates a reduction of up to 41.3 percent in CNOT gate counts, 37.9 percent in circuit depth, and 42.6 percent in circuit duration for various molecules of different sizes and structures compared with the state-of-the-art approaches. Tetris is open-sourced at this link.


title: Generalizing Hierarchical Parallelism

abstract: Since the days of OpenMP 1.0 computer hardware has become more complex, typically by specializing compute units for coarse- and fine-grained parallelism in incrementally deeper hierarchies of parallelism. Newer versions of OpenMP reacted by introducing new mechanisms for querying or controlling its individual levels, each time adding another concept such as places, teams, and progress groups. In this paper we propose going back to the roots of OpenMP in the form of nested parallelism for a simpler model and more flexible handling of arbitrary deep hardware hierarchies.


title: SyntheWorld: A Large-Scale Synthetic Dataset for Land Cover Mapping and Building Change Detection

abstract: Synthetic datasets, recognized for their cost effectiveness, play a pivotal role in advancing computer vision tasks and techniques. However, when it comes to remote sensing image processing, the creation of synthetic datasets becomes challenging due to the demand for larger-scale and more diverse 3D models. This complexity is compounded by the difficulties associated with real remote sensing datasets, including limited data acquisition and high annotation costs, which amplifies the need for high-quality synthetic alternatives. To address this, we present SyntheWorld, a synthetic dataset unparalleled in quality, diversity, and scale. It includes 40,000 images with submeter-level pixels and fine-grained land cover annotations of eight categories, and it also provides 40,000 pairs of bitemporal image pairs with building change annotations for building change detection task. We conduct experiments on multiple benchmark remote sensing datasets to verify the effectiveness of SyntheWorld and to investigate the conditions under which our synthetic data yield advantages. We will release SyntheWorld to facilitate remote sensing image processing research.


title: Bound-preserving discontinuous Galerkin methods for compressible two-phase flows in porous media

abstract: This paper presents a numerical study of immiscible, compressible two-phase flows in porous media, that takes into account heterogeneity, gravity, anisotropy, and injection/production wells. We formulate a fully implicit stable discontinuous Galerkin solver for this system that is accurate, that respects the maximum principle for the approximation of saturation, and that is locally mass conservative. To completely eliminate the overshoot and undershoot phenomena, we construct a flux limiter that produces bound-preserving elementwise average of the saturation. The addition of a slope limiter allows to recover a pointwise bound-preserving discrete saturation. Numerical results show that both maximum principle and monotonicity of the solution are satisfied. The proposed flux limiter does not impact the local mass error and the number of nonlinear solver iterations.


title: A Survey on Physics Informed Reinforcement Learning: Review and Open Problems

abstract: The inclusion of physical information in machine learning frameworks has revolutionized many application areas. This involves enhancing the learning process by incorporating physical constraints and adhering to physical laws. In this work we explore their utility for reinforcement learning applications. We present a thorough review of the literature on incorporating physics information, as known as physics priors, in reinforcement learning approaches, commonly referred to as physics-informed reinforcement learning (PIRL). We introduce a novel taxonomy with the reinforcement learning pipeline as the backbone to classify existing works, compare and contrast them, and derive crucial insights. Existing works are analyzed with regard to the representation/ form of the governing physics modeled for integration, their specific contribution to the typical reinforcement learning architecture, and their connection to the underlying reinforcement learning pipeline stages. We also identify core learning architectures and physics incorporation biases (i.e., observational, inductive and learning) of existing PIRL approaches and use them to further categorize the works for better understanding and adaptation. By providing a comprehensive perspective on the implementation of the physics-informed capability, the taxonomy presents a cohesive approach to PIRL. It identifies the areas where this approach has been applied, as well as the gaps and opportunities that exist. Additionally, the taxonomy sheds light on unresolved issues and challenges, which can guide future research. This nascent field holds great potential for enhancing reinforcement learning algorithms by increasing their physical plausibility, precision, data efficiency, and applicability in real-world scenarios.


title: Regular charged black holes, energy conditions and quasinormal modes

abstract: We discuss energy conditions and quasinormal modes for scalar perturbations of regular charged black holes within the framework of General Relativity coupled to non-linear electrodynamics. The frequencies are computed numerically adopting the WKB method, while in the eikonal limit an analytic expression for the spectra is obtained. The impact of the electric charge, the angular degree, and the overtone number on the spectra is investigated in detail. We find that all frequencies are characterized by a negative imaginary part, and that each type of energy conditions imply a different quasinormal spectrum.


title: Quantum Circuit Distillation and Compression

abstract: Quantum coherence in a qubit is vulnerable to environmental noise. When long quantum calculation is run on a quantum processor without error correction, the noise often causes fatal errors and messes up the calculation. Here, we propose quantum-circuit distillation to generate quantum circuits that are short but have enough functions to produce an output almost identical to that of the original circuits. The distilled circuits are less sensitive to the noise and can complete calculation before the quantum coherence is broken in the qubits. We created a quantum-circuit distillator by building a reinforcement learning model, and applied it to the inverse quantum Fourier transform (IQFT) and Shor's quantum prime factorization. The obtained distilled circuit allows correct calculation on IBM-Quantum processors. By working with the quantum-circuit distillator, we also found a general rule to generate quantum circuits approximating the general $n$-qubit IQFTs. The quantum-circuit distillator offers a new approach to improve performance of noisy quantum processors.


title: Ehrenfest Modeling of Cavity Vacuum Fluctuations and How to Achieve Emission from a Three-Level Atom

abstract: A much-needed solution for the efficient modeling of strong coupling between matter and optical cavity modes is offered by mean-field mixed quantum--classical dynamics, where a classical cavity field interacts self-consistently with quantum states of matter through Ehrenfest's theorem. We previously introduced a modified mean-field approach, referred to as decoupled mean-field (DC-MF) dynamics, wherein vacuum fluctuations of the cavity field are decoupled from the quantum-mechanical ground state as a means to resolve an unphysical drawing of energy from the vacuum fluctuations by a two-level atom. Here, we generalize DC-MF dynamics for an arbitrary number of (nondegenerate) atomic levels, and show that it resolves an unphysical lack of emission from a three-level atom predicted by conventional mean-field dynamics. We furthermore show DC-MF to provide an improved description of reabsorption and (resonant) two-photon emission processes.


title: $\mathbb{Z}_N$ Duality and Parafermions Revisited

abstract: Given a two-dimensional bosonic theory with a non-anomalous $\mathbb{Z}_2$ symmetry, the orbifolding and fermionization can be understood holographically using three-dimensional BF theory with level $2$. From a Hamiltonian perspective, the information of dualities is encoded in a topological boundary state which is defined as an eigenstate of certain Wilson loop operators (anyons) in the bulk. We generalize this story to two-dimensional theories with non-anomalous $\mathbb{Z}_N$ symmetry, focusing on parafermionization. We find the generic operators defining different topological boundary states including orbifolding and parafermionization with $\mathbb{Z}_N$ or subgroups of $\mathbb{Z}_N$, and discuss their algebraic properties as well as the $\mathbb{Z}_N$ duality web.


title: Para-fusion Category and Topological Defect Lines in $\mathbb Z_N$-parafermionic CFTs

abstract: We study topological defect lines (TDLs) in two-dimensional $\mathbb Z_N$-parafermoinic CFTs. Different from the bosonic case, in the 2d parafermionic CFTs, there exist parafermionic defect operators that can live on the TDLs and satisfy interesting fractional statistics. We propose a categorical description for these TDLs, dubbed as ``para-fusion category", which contains various novel features, including $\mathbb Z_M$ $q$-type objects for $M\vert N$, and parafermoinic defect operators as a type of specialized 1-morphisms of the TDLs. The para-fusion category in parafermionic CFTs can be regarded as a natural generalization of the super-fusion category for the description of TDLs in 2d fermionic CFTs. We investigate these distinguishing features in para-fusion category from both a 2d pure CFT perspective, and also a 3d anyon condensation viewpoint. In the latter approach, we introduce a generalized parafermionic anyon condensation, and use it to establish a functor from the parent fusion category for TDLs in bosonic CFTs to the para-fusion category for TDLs in the parafermionized ones. At last, we provide many examples to illustrate the properties of the proposed para-fusion category, and also give a full classification for a universal para-fusion category obtained from parafermionic condensation of Tambara-Yamagami $\mathbb Z_N$ fusion category.

categories: hep-th cond-mat.str-el math-ph math.MP math.QA


title: Charged Anisotropic Tolman IV Solution in Matter-Geometry Coupled Theory

abstract: This paper discusses the interior distribution of several anisotropic star models coupled with an electromagnetic field in the context of $f(\mathcal{R},\mathcal{T},\mathcal{Q})$ gravity, where $\mathcal{Q}=\mathcal{R}_{\beta\xi}\mathcal{T}^{\beta\xi}$. In this regard, a standard model of this modified gravity is taken as $\mathcal{R}+\nu_{3}\mathcal{R}_{\beta\xi}\mathcal{T}^{\beta\xi}$, where $\nu_{3}$ symbolizes an arbitrary coupling constant. We assume a charged spherically symmetric metric that represents the interior geometry of compact quark stars and develop the corresponding modified field equations. These equations are then solved with the help of metric potentials of Tolman IV spacetime and a linear bag model equation of state. We consider the experimental data (i.e., radii and masses) of different quark models such as SMC X-4, SAX J 1808.4-3658, Her X-I and 4U 1820-30 to analyze how the charge and modified corrections affect their physical characteristics. The viability and stability of the resulting model is also checked for the considered star candidates with two different values of $\nu_{3}$. We conclude that only two models, Her X-I and 4U 1820-30 show stable behavior in this modified framework for both values of the coupling constant.


title: Realistic Volume Rendering with Environment-Synced Illumination in Mixed Reality

abstract: Interactive volume visualization using a mixed reality (MR) system helps provide users with an intuitive spatial perception of volumetric data. Due to sophisticated requirements of user interaction and vision when using MR head-mounted display (HMD) devices, the conflict between the realisticness and efficiency of direct volume rendering (DVR) is yet to be resolved. In this paper, a new MR visualization framework that supports interactive realistic DVR is proposed. An efficient illumination estimation method is used to identify the high dynamic range (HDR) environment illumination captured using a panorama camera. To improve the visual quality of Monte Carlo-based DVR, a new spatio-temporal denoising algorithm is designed. Based on a reprojection strategy, it makes full use of temporal coherence between adjacent frames and spatial coherence between the two screens of an HMD to optimize MR rendering quality. Several MR development modules are also developed for related devices to efficiently and stably display the DVR results in an MR HMD. Experimental results demonstrate that our framework can better support immersive and intuitive user perception during MR viewing than existing MR solutions.


title: Page Time as a Transition of Information Channels: High-fidelity Information Retrieval for Radiating Black Holes

abstract: The effective field theory description of a radiating black hole introduces redundant degrees of freedom that necessitate annihilation of those modes at late stages to conserve entropy. The prevailing view is that such effective process can result in information loss unless the redundant states are annihilated in maximally entangled pairs, resembling quantum teleportation. In this Letter, we demonstrate that this view can be relaxed in a new postselection model. We investigate information recoverability in a radiating black hole through the non-unitary dynamics that projects the randomly-selected modes from a scrambling unitary. We show that the model has the merit of producing the von Neumann entropy of black holes consistent with the island formula calculation and that information in the black hole interior can be decoded from the Hawking radiation without loss after the Page time. Moreover, in this model the Page time gains a new interpretation as the transition point between two channels of information transmission when sufficient amounts of effective modes are annihilated inside the horizon. We present two decoding strategies along with their quantum circuit realizations. The experimental verification of the strategies employs 7-qubit IBM quantum processors, demonstrating the viability of these strategies and the potential for quantum processors to probe the black hole interior.


title: RoboAgent: Generalization and Efficiency in Robot Manipulation via Semantic Augmentations and Action Chunking

abstract: The grand aim of having a single robot that can manipulate arbitrary objects in diverse settings is at odds with the paucity of robotics datasets. Acquiring and growing such datasets is strenuous due to manual efforts, operational costs, and safety challenges. A path toward such an universal agent would require a structured framework capable of wide generalization but trained within a reasonable data budget. In this paper, we develop an efficient system (RoboAgent) for training universal agents capable of multi-task manipulation skills using (a) semantic augmentations that can rapidly multiply existing datasets and (b) action representations that can extract performant policies with small yet diverse multi-modal datasets without overfitting. In addition, reliable task conditioning and an expressive policy architecture enable our agent to exhibit a diverse repertoire of skills in novel situations specified using language commands. Using merely 7500 demonstrations, we are able to train a single agent capable of 12 unique skills, and demonstrate its generalization over 38 tasks spread across common daily activities in diverse kitchen scenes. On average, RoboAgent outperforms prior methods by over 40% in unseen situations while being more sample efficient and being amenable to capability improvements and extensions through fine-tuning. Videos at https://robopen.github.io/


title: Towards Understanding of Deepfake Videos in the Wild

abstract: Deepfakes have become a growing concern in recent years, prompting researchers to develop benchmark datasets and detection algorithms to tackle the issue. However, existing datasets suffer from significant drawbacks that hamper their effectiveness. Notably, these datasets fail to encompass the latest deepfake videos produced by state-of-the-art methods that are being shared across various platforms. This limitation impedes the ability to keep pace with the rapid evolution of generative AI techniques employed in real-world deepfake production. Our contributions in this IRB-approved study are to bridge this knowledge gap from current real-world deepfakes by providing in-depth analysis. We first present the largest and most diverse and recent deepfake dataset (RWDF-23) collected from the wild to date, consisting of 2,000 deepfake videos collected from 4 platforms targeting 4 different languages span created from 21 countries: Reddit, YouTube, TikTok, and Bilibili. By expanding the dataset's scope beyond the previous research, we capture a broader range of real-world deepfake content, reflecting the ever-evolving landscape of online platforms. Also, we conduct a comprehensive analysis encompassing various aspects of deepfakes, including creators, manipulation strategies, purposes, and real-world content production methods. This allows us to gain valuable insights into the nuances and characteristics of deepfakes in different contexts. Lastly, in addition to the video content, we also collect viewer comments and interactions, enabling us to explore the engagements of internet users with deepfake content. By considering this rich contextual information, we aim to provide a holistic understanding of the {evolving} deepfake phenomenon and its impact on online platforms.


title: Dual Auction Mechanism for Transaction Relay and Validation in Complex Wireless Blockchain Network

abstract: In traditional public blockchain networks, transaction fees are only allocated to full nodes (i.e., miners). However, the lack of relay rewards reduces the willingness of light nodes to relay transactions, especially in the energy-constrained complex wireless network. This paper proposes a novel dual auction mechanism to allocate transaction fees for relay and validation behaviors in the wireless blockchain network. The dual auction mechanism consists of two sub-auction stages: the relay sub-auction and the validation sub-auction. In the relay sub-auction, relay nodes choose transactions based rewards to forward. Besides, relay nodes adjust the relaying probability through a no-regret algorithm to improve efficiency. In the validation sub-auction, full nodes select transactions using Vickrey-Clarke-Grove (VCG) mechanism to construct the block. We prove that the designed dual auction mechanism is Incentive Compatibility (IC), Individual Rationality (IR), and Computational Efficiency (CE). We also derive the upper bound of the social welfare difference between the social optimal auction and our proposed one. Extensive simulation results demonstrate that the proposed dual auction mechanism decreases energy and bandwidth resource consumption and effectively improves social welfare without sacrificing the throughput and the security of the wireless blockchain network.


title: Causal Scoring Medical Image Explanations: A Case Study On Ex-vivo Kidney Stone Images

abstract: On the promise that if human users know the cause of an output, it would enable them to grasp the process responsible for the output, and hence provide understanding, many explainable methods have been proposed to indicate the cause for the output of a model based on its input. Nonetheless, little has been reported on quantitative measurements of such causal relationships between the inputs, the explanations, and the outputs of a model, leaving the assessment to the user, independent of his level of expertise in the subject. To address this situation, we explore a technique for measuring the causal relationship between the features from the area of the object of interest in the images of a class and the output of a classifier. Our experiments indicate improvement in the causal relationships measured when the area of the object of interest per class is indicated by a mask from an explainable method than when it is indicated by human annotators. Hence the chosen name of Causal Explanation Score (CaES)


title: Regret Analysis of Policy Gradient Algorithm for Infinite Horizon Average Reward Markov Decision Processes

abstract: In this paper, we consider an infinite horizon average reward Markov Decision Process (MDP). Distinguishing itself from existing works within this context, our approach harnesses the power of the general policy gradient-based algorithm, liberating it from the constraints of assuming a linear MDP structure. We propose a policy gradient-based algorithm and show its global convergence property. We then prove that the proposed algorithm has $\tilde{\mathcal{O}}({T}^{3/4})$ regret. Remarkably, this paper marks a pioneering effort by presenting the first exploration into regret-bound computation for the general parameterized policy gradient algorithm in the context of average reward scenarios.


title: The Odd Comet 157P/Tritton and Its Misunderstood Fragmentation

abstract: Comet 157P is a faint object with a history of being prone to unfortunate situations, circumstances, and/or coincidences. Several weeks after its 1978 discovery the comet disappeared and remained lost nonstop for twenty five years. Rediscovered in 2003 as a new comet, it was about 500 times brighter than in 1978, caught apparently in one of its outbursts. The comet was not detected 200 days after its 2016 perihelion, being fainter than mag 20, but 80 days later it was mag 16 and gradually fading back to mag 20 over a period of four months. The comet did not miss the opportunity to have a close encounter with Jupiter, having approached it to less than 0.3 AU on 2020 February 10. The 2017 outburst or surge of activity appears to have accompanied an event of nuclear fragmentation. The birth of a second companion is dated to the months following the Jupiter encounter. The series of weird episodes culminated near the 2022 perihelion, when one companion brightened to become observable for two weeks and after another two weeks the other flared up to be seen for the next two weeks. Unnoticed, this incredible coincidence fooled some experts into believing that a single object, designated 157P-B, was involved, even though its orbit left large residuals. I now offer representative fragmentation solutions for the two companions, the mean residuals amounting to +/-0".4 and +/-1".0, respectively.


title: Information Transmission via Molecular Communication in Astrobiological Environments

abstract: The ubiquity of information transmission via molecular communication between cells is comprehensively documented on Earth; this phenomenon might even have played a vital role in the origin(s) and early evolution of life. Motivated by these considerations, a simple model for molecular communication entailing the diffusion of signaling molecules from transmitter to receiver is elucidated. The channel capacity $C$ (maximal rate of information transmission) and an optimistic heuristic estimate of the actual information transmission rate $\mathcal{I}$ are derived for this communication system; the two quantities, especially the latter, are demonstrated to be broadly consistent with laboratory experiments and more sophisticated theoretical models. The channel capacity exhibits a potentially weak dependence on environmental parameters, whereas the actual information transmission rate may scale with the intercellular distance $d$ as $\mathcal{I} \propto d^{-4}$ and could vary substantially across settings. These two variables are roughly calculated for diverse astrobiological environments, ranging from Earth's upper oceans ($C \sim 3.1 \times 10^3$ bits/s; $\mathcal{I} \sim 4.7 \times 10^{-2}$ bits/s) and deep sea hydrothermal vents ($C \sim 4.2 \times 10^3$ bits/s; $\mathcal{I} \sim 1.2 \times 10^{-1}$ bits/s) to the hydrocarbon lakes and seas of Titan ($C \sim 3.8 \times 10^3$ bits/s; $\mathcal{I} \sim 2.6 \times 10^{-1}$ bits/s).

categories: astro-ph.EP physics.bio-ph physics.flu-dyn q-bio.MN q-bio.PE


title: DR-Pose: A Two-stage Deformation-and-Registration Pipeline for Category-level 6D Object Pose Estimation

abstract: Category-level object pose estimation involves estimating the 6D pose and the 3D metric size of objects from predetermined categories. While recent approaches take categorical shape prior information as reference to improve pose estimation accuracy, the single-stage network design and training manner lead to sub-optimal performance since there are two distinct tasks in the pipeline. In this paper, the advantage of two-stage pipeline over single-stage design is discussed. To this end, we propose a two-stage deformation-and registration pipeline called DR-Pose, which consists of completion-aided deformation stage and scaled registration stage. The first stage uses a point cloud completion method to generate unseen parts of target object, guiding subsequent deformation on the shape prior. In the second stage, a novel registration network is designed to extract pose-sensitive features and predict the representation of object partial point cloud in canonical space based on the deformation results from the first stage. DR-Pose produces superior results to the state-of-the-art shape prior-based methods on both CAMERA25 and REAL275 benchmarks. Codes are available at https://github.com/Zray26/DR-Pose.git.


title: AGN number fraction in galaxy groups and clusters at z < 1.4 from the Subaru Hyper Suprime-Cam survey

abstract: One of the key questions on active galactic nuclei (AGN) in galaxy clusters is how AGN could affect the formation and evolution of member galaxies and galaxy clusters in the history of the Universe. To address this issue, we investigate the dependence of AGN number fraction ($f_{\rm AGN}$) on cluster redshift ($z_{\rm cl}$) and distance from the cluster center ($R/R_{\rm 200}$). We focus on more than 27,000 galaxy groups and clusters at $0.1 < z_{\rm cl} < 1.4$ with more than 1 million member galaxies selected from the Subaru Hyper Suprime-Cam. By combining various AGN selection methods based on infrared (IR), radio, and X-ray data, we identify 2,688 AGN. We find that (i) $f_{\rm AGN}$ increases with $z_{\rm cl}$ and (ii) $f_{\rm AGN}$ decreases with $R/R_{\rm 200}$. The main contributors to the rapid increase of $f_{\rm AGN}$ towards high-$z$ and cluster center are IR- and radio-selected AGN, respectively. Those results indicate that the emergence of the AGN population depends on the environment and redshift, and galaxy groups and clusters at high-$z$ play an important role in AGN evolution. We also find that cluster-cluster mergers may not drive AGN activity in at least the cluster center, while we have tentative evidence that cluster-cluster mergers would enhance AGN activity in the outskirts of (particularly massive) galaxy clusters.


title: Cavity-induced topological edge and corner states

abstract: We investigate a two-level system with alternating XX coupling in a photon cavity. It is mapped to a free boson model equally coupled to a photon, whose interaction is highly nonlocal. Some intriguing topological phenomena emerge as a function of the photon coupling. The photon energy level anticrosses the zero-energy topological edges at a certain photon coupling, around which the symmetric edge state acquires nonzero energy due to the mixing with the photon. Furthermore, the photon state is transformed into the topological zero-energy edge or corner state when the photon coupling is strong enough. It is a cavity-induced topological edge or corner state. On the other hand, the other topological edge or corner states do not couple with the photon and remains at zero energy even in the presence of the cavity. We analyze a cavity-induced topological edge state in the Su-Schrieffer-Heeger model and a cavity-induced topological corner state in the breathing Kagome model.


title: Questionable and Unquestionable in Quantum Mechanics

abstract: We derive the basic postulates of quantum physics from a few very simple operational assumptions based exclusively on the relative frequencies of observable events (measurement operations and measurement outcomes). We isolate a notion which can be identified with the system's own state, in the sense that it characterizes the system's probabilistic behavior against all possible measurement operations. We investigate some important features of the possible states of the system. All those investigations remain within the framework of classical Kolmogorovian probability theory, meaning that any physical system (traditionally categorized as classical or quantum) that can be described in operational terms can be described within classical Kolmogorovian probability theory. In the second part of the paper we show that anything that can be described in operational terms can, if we wish, be represented in the Hilbert space quantum mechanical formalism. The outcomes of each measurement can be represented by a system of pairwise orthogonal closed subspaces spanning the entire Hilbert space; the states of the system can be represented by pure state operators, and the probabilities of the outcomes can be reproduced by the usual trace formula. Each real valued quantity can be associated with a suitable self-adjoint operator, such that the possible measurement results are the eigenvalues and the outcome events are represented by the eigenspaces, according to the spectral decomposition of the operator in question. This suggests that the basic postulates of quantum theory are in fact analytic statements: they do not tell us anything about a physical system beyond the fact that the system can be described in operational terms. This is almost true. At the end of the paper we discuss a few subtle points where the representation we obtained is not completely identical with standard quantum mechanics.

categories: quant-ph math-ph math.MP physics.hist-ph


title: Clustering effects in the $^6$Li(p,$^3$He)$^4$He reaction at astrophysical energies

abstract: Background: The understanding of nuclear reactions between light nuclei at energies below the Coulomb barrier is important for several astrophysical processes, but their study poses experimental and theoretical challenges. At sufficiently low energies, the electrons surrounding the interacting ions affect the scattering process. Moreover, the clustered structure of some of these nuclei may play a relevant role on the reaction observables. Purpose: In this article, we focus on a theoretical investigation of the role of clustered configurations of $^6$Li in reactions of astrophysical interest. Methods: The $^6$Li(p,$^3$He)$^4$He reaction cross section is described considering both the direct transfer of a deuteron as a single point-like particle in Distorted Wave Born Approximation (DWBA), and the transfer of a neutron and a proton in second-order DWBA. A number of two- and three-cluster structure models for $^6$Li are compared. Results: Within the two-cluster structure model, we explore the impact of the deformed components in the $^6$Li wave-function on the reaction of interest. Within the three-cluster structure model, we gauge the degree of $\alpha$-d clustering and explicitly probe its role on specific features of the reaction cross section. We compare the energy trend of the astrophysical $S$ factor deduced in each case. Conclusions: Clustered $^6$Li configurations lead in general to a significant enhancement of the astrophysical factor in the energy region under study. This effect only originates from clustering, whereas static deformations of the ground-state configuration play a negligible role at very low energies.


title: Superconvergence of a nonconforming brick element for the quad-curl problem

abstract: This short note shows the superconvergence of an $H(\mathrm{grad}\,\mathrm{curl})$-nonconforming brick element very recently introduced in [17] for the quad-curl problem. The supercloseness is based on proper modifications for both the interpolation and the discrete formulation, leading to an $O(h^2)$ superclose order in the discrete $H(\mathrm{grad}\,\mathrm{curl})$ norm. Moreover, we propose a suitable postprocessing method to ensure the global superconvergence. Numerical results verify our theory.


title: Separating cardinal characteristics of the strong measure zero ideal

abstract: Let $\mathcal{SN}$ be the $\sigma$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied to force that the four cardinal characteristics associated with $\mathcal{SN}$ are pairwise different: \[\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN}).\] Furthermore, we construct a forcing extension satisfying the above and Cicho\'n's maximum (i.e. that the non-dependent values in Cicho\'n's diagram are pairwise different).


title: Origin of meter fluctuations in weak measurement interactions

abstract: Measurements map the value of a target observable onto a meter shift, resulting in a meter readout that combines the initial statistics of the meter state with the quantum statistics of the target observable. Even in the limit of weak measurement interactions, some information about the fluctuations of the target observable can be extracted from the change in the readout fluctuations caused by the measurement interaction. Here, we apply the Heisenberg picture to analyze the changes in the meter readout statistics caused by sufficiently weak measurement interactions, including the effects of non-linearities in the meter response. When additional information is obtained in a subsequent measurement of the system, the meter fluctuations are modified based on the post-selected statistics of the target observable. In addition, our analysis reveals a direct modification of the meter fluctuations due to the dependence of the post-selection probability on the dynamics induced by the meter in the measurement interaction. We point out that the quantum formalism makes it difficult to distinguish this dynamic term from the physical fluctuations of the target observable and stress the importance of distinguishing between genuine conditional fluctuations of the target observable and the dynamic pseudovariance associated with the measurement back-action.


title: Provably safe systems: the only path to controllable AGI

abstract: We describe a path to humanity safely thriving with powerful Artificial General Intelligences (AGIs) by building them to provably satisfy human-specified requirements. We argue that this will soon be technically feasible using advanced AI for formal verification and mechanistic interpretability. We further argue that it is the only path which guarantees safe controlled AGI. We end with a list of challenge problems whose solution would contribute to this positive outcome and invite readers to join in this work.


title: Exponential stabilization of infinite-dimensional systems by finite-dimensional controllers

abstract: This paper studies the feedback stabilization of abstract Cauchy problems with unbounded output operators by finite-dimensional controllers. Both necessary conditions and sufficient conditions for feedback stabilizability are presented. The proof of closed-loop stability is based on a novel input-output gain introduced in this paper. For systems satisfying a property we call quasi-finite, an equivalent characterization of feedback stabilizability is obtained. Quasi-finiteness is verified for classes of parabolic and hyperbolic equations.


title: The impact of electronic health records (EHR) data continuity on prediction model fairness and racial-ethnic disparities

abstract: Electronic health records (EHR) data have considerable variability in data completeness across sites and patients. Lack of "EHR data-continuity" or "EHR data-discontinuity", defined as "having medical information recorded outside the reach of an EHR system" can lead to a substantial amount of information bias. The objective of this study was to comprehensively evaluate (1) how EHR data-discontinuity introduces data bias, (2) case finding algorithms affect downstream prediction models, and (3) how algorithmic fairness is associated with racial-ethnic disparities. We leveraged our EHRs linked with Medicaid and Medicare claims data in the OneFlorida+ network and used a validated measure (i.e., Mean Proportions of Encounters Captured [MPEC]) to estimate patients' EHR data continuity. We developed a machine learning model for predicting type 2 diabetes (T2D) diagnosis as the use case for this work. We found that using cohorts selected by different levels of EHR data-continuity affects utilities in disease prediction tasks. The prediction models trained on high continuity data will have a worse fit on low continuity data. We also found variations in racial and ethnic disparities in model performances and model fairness in models developed using different degrees of data continuity. Our results suggest that careful evaluation of data continuity is critical to improving the validity of real-world evidence generated by EHR data and health equity.