title: The DECam Ecliptic Exploration Project (DEEP) IV: Constraints on the shape distribution of bright TNOs

abstract: We present the methods and results from the discovery and photometric measurement of 26 bright (VR $>$ 24 trans-Neptunian objects (TNOs) during the first year (2019-20) of the DECam Ecliptic Exploration Project (DEEP). The DEEP survey is an observational TNO survey with wide sky coverage, high sensitivity, and a fast photometric cadence. We apply a computer vision technique known as a progressive probabilistic Hough transform to identify linearly-moving transient sources within DEEP photometric catalogs. After subsequent visual vetting, we provide a photometric and astrometric catalog of our TNOs. By modeling the partial lightcurve amplitude distribution of the DEEP TNOs using Monte Carlo techniques, we find our data to be most consistent with an average TNO axis ratio b/a $<$ 0.5, implying a population dominated by non-spherical objects. Based on ellipsoidal gravitational stability arguments, we find our data to be consistent with a TNO population containing a high fraction of contact binaries or other extremely non-spherical objects. We also discuss our data as evidence that the expected binarity fraction of TNOs may be size-dependent.


title: Generalized moving least squares vs. radial basis function finite difference methods for approximating surface derivatives

abstract: Approximating differential operators defined on two-dimensional surfaces is an important problem that arises in many areas of science and engineering. Over the past ten years, localized meshfree methods based on generalized moving least squares (GMLS) and radial basis function finite differences (RBF-FD) have been shown to be effective for this task as they can give high orders of accuracy at low computational cost, and they can be applied to surfaces defined only by point clouds. However, there have yet to be any studies that perform a direct comparison of these methods for approximating surface differential operators (SDOs). The first purpose of this work is to fill that gap. For this comparison, we focus on an RBF-FD method based on polyharmonic spline kernels and polynomials (PHS+Poly) since they are most closely related to the GMLS method. Additionally, we use a relatively new technique for approximating SDOs with RBF-FD called the tangent plane method since it is simpler than previous techniques and natural to use with PHS+Poly RBF-FD. The second purpose of this work is to relate the tangent plane formulation of SDOs to the local coordinate formulation used in GMLS and to show that they are equivalent when the tangent space to the surface is known exactly. The final purpose is to use ideas from the GMLS SDO formulation to derive a new RBF-FD method for approximating the tangent space for a point cloud surface when it is unknown. For the numerical comparisons of the methods, we examine their convergence rates for approximating the surface gradient, divergence, and Laplacian as the point clouds are refined for various parameter choices. We also compare their efficiency in terms of accuracy per computational cost, both when including and excluding setup costs.


title: One-to-Multiple Clean-Label Image Camouflage (OmClic) based Backdoor Attack on Deep Learning

abstract: Image camouflage has been utilized to create clean-label poisoned images for implanting backdoor into a DL model. But there exists a crucial limitation that one attack/poisoned image can only fit a single input size of the DL model, which greatly increases its attack budget when attacking multiple commonly adopted input sizes of DL models. This work proposes to constructively craft an attack image through camouflaging but can fit multiple DL models' input sizes simultaneously, namely OmClic. Thus, through OmClic, we are able to always implant a backdoor regardless of which common input size is chosen by the user to train the DL model given the same attack budget (i.e., a fraction of the poisoning rate). With our camouflaging algorithm formulated as a multi-objective optimization, M=5 input sizes can be concurrently targeted with one attack image, which artifact is retained to be almost visually imperceptible at the same time. Extensive evaluations validate the proposed OmClic can reliably succeed in various settings using diverse types of images. Further experiments on OmClic based backdoor insertion to DL models show that high backdoor performances (i.e., attack success rate and clean data accuracy) are achievable no matter which common input size is randomly chosen by the user to train the model. So that the OmClic based backdoor attack budget is reduced by M$\times$ compared to the state-of-the-art camouflage based backdoor attack as a baseline. Significantly, the same set of OmClic based poisonous attack images is transferable to different model architectures for backdoor implant.


title: SRN-SZ: Deep Leaning-Based Scientific Error-bounded Lossy Compression with Super-resolution Neural Networks

abstract: The fast growth of computational power and scales of modern super-computing systems have raised great challenges for the management of exascale scientific data. To maintain the usability of scientific data, error-bound lossy compression is proposed and developed as an essential technique for the size reduction of scientific data with constrained data distortion. Among the diverse datasets generated by various scientific simulations, certain datasets cannot be effectively compressed by existing error-bounded lossy compressors with traditional techniques. The recent success of Artificial Intelligence has inspired several researchers to integrate neural networks into error-bounded lossy compressors. However, those works still suffer from limited compression ratios and/or extremely low efficiencies. To address those issues and improve the compression on the hard-to-compress datasets, in this paper, we propose SRN-SZ, which is a deep learning-based scientific error-bounded lossy compressor leveraging the hierarchical data grid expansion paradigm implemented by super-resolution neural networks. SRN-SZ applies the most advanced super-resolution network HAT for its compression, which is free of time-costing per-data training. In experiments compared with various state-of-the-art compressors, SRN-SZ achieves up to 75% compression ratio improvements under the same error bound and up to 80% compression ratio improvements under the same PSNR than the second-best compressor.


title: S-Adapter: Generalizing Vision Transformer for Face Anti-Spoofing with Statistical Tokens

abstract: Face Anti-Spoofing (FAS) aims to detect malicious attempts to invade a face recognition system by presenting spoofed faces. State-of-the-art FAS techniques predominantly rely on deep learning models but their cross-domain generalization capabilities are often hindered by the domain shift problem, which arises due to different distributions between training and testing data. In this study, we develop a generalized FAS method under the Efficient Parameter Transfer Learning (EPTL) paradigm, where we adapt the pre-trained Vision Transformer models for the FAS task. During training, the adapter modules are inserted into the pre-trained ViT model, and the adapters are updated while other pre-trained parameters remain fixed. We find the limitations of previous vanilla adapters in that they are based on linear layers, which lack a spoofing-aware inductive bias and thus restrict the cross-domain generalization. To address this limitation and achieve cross-domain generalized FAS, we propose a novel Statistical Adapter (S-Adapter) that gathers local discriminative and statistical information from localized token histograms. To further improve the generalization of the statistical tokens, we propose a novel Token Style Regularization (TSR), which aims to reduce domain style variance by regularizing Gram matrices extracted from tokens across different domains. Our experimental results demonstrate that our proposed S-Adapter and TSR provide significant benefits in both zero-shot and few-shot cross-domain testing, outperforming state-of-the-art methods on several benchmark tests. We will release the source code upon acceptance.


title: Use of Interactive Simulations in Fundamentals of Biochemistry, a LibreText Online Educational Resource, to Promote Understanding of Dynamic Reactions

abstract: Biology is perhaps the most complex of the sciences, given the incredible variety of chemical species that are interconnected in spatial and temporal pathways that are daunting to understand. Their interconnections lead to emergent properties such as memory, consciousness, and recognition of self and non-self. To understand how these interconnected reactions lead to cellular life characterized by activation, inhibition, regulation, homeostasis, and adaptation, computational analyses and simulations are essential, a fact recognized by the biological communities. At the same time, students struggle to understand and apply binding and kinetic analyses for the simplest reactions such as the irreversible first-order conversion of a single reactant to a product. This likely results from cognitive difficulties in combining structural, chemical, mathematical, and textual descriptions of binding and catalytic reactions. To help students better understand dynamic reactions and their analyses, we have introduced two kinds of interactive graphs and simulations into the online educational resource, Fundamentals of Biochemistry, a multivolume biochemistry textbook that is part of the LibreText collection. One type is available for simple binding and kinetic reactions. The other displays progress curves (concentrations vs time) for both simple reactions and more complex metabolic and signal transduction pathways, including those available through databases using systems biology markup language (SBML) files. Users can move sliders to change dissociation and kinetic constants as well as initial concentrations and see instantaneous changes in the graphs. They can also export data into a spreadsheet for further processing, such as producing derivative Lineweaver-Burk and traditional Michaelis-Menten graphs of initial velocity (v0) vs substrate concentration.


title: Current Methods for Hyperpolarized [1-13C]pyruvate MRI Human Studies

abstract: MRI with hyperpolarized (HP) 13C agents, also known as HP 13C MRI, can measure processes such as localized metabolism that is altered in numerous cancers, liver, heart, kidney diseases, and more. It has been translated into human studies during the past 10 years, with recent rapid growth in studies largely based on increasing availability of hyperpolarized agent preparation methods suitable for use in humans. This paper aims to capture the current successful practices for HP MRI human studies with [1-13C]pyruvate - by far the most commonly used agent, which sits at a key metabolic junction in glycolysis. The paper is divided into four major topic areas: (1) HP 13C-pyruvate preparation, (2) MRI system setup and calibrations, (3) data acquisition and image reconstruction, and (4) data analysis and quantification. In each area, we identified the key components for a successful study, summarized both published studies and current practices, and discuss evidence gaps, strengths, and limitations. This paper is the output of the HP 13C MRI Consensus Group as well as the ISMRM Hyperpolarized Media MR and Hyperpolarized Methods & Equipment study groups. It further aims to provide a comprehensive reference for future consensus building as the field continues to advance human studies with this metabolic imaging modality.


title: Evaluation and Enhancement of Semantic Grounding in Large Vision-Language Models

abstract: Large Vision-Language Models (LVLMs) offer remarkable benefits for a variety of vision-language tasks. However, a challenge hindering their application in real-world scenarios, particularly regarding safety, robustness, and reliability, is their constrained semantic grounding ability, which pertains to connecting language to the physical-world entities or concepts referenced in images. Therefore, a crucial need arises for a comprehensive study to assess the semantic grounding ability of widely used LVLMs. Despite the significance, sufficient investigation in this direction is currently lacking. Our work bridges this gap by designing a pipeline for generating large-scale evaluation datasets covering fine-grained semantic information, such as color, number, material, etc., along with a thorough assessment of seven popular LVLMs' semantic grounding ability. Results highlight prevalent misgrounding across various aspects and degrees. To address this issue, we propose a data-centric enhancement method that aims to improve LVLMs' semantic grounding ability through multimodal instruction tuning on fine-grained conversations. Experiments on enhanced LVLMs demonstrate notable improvements in addressing misgrounding issues.


title: Methane Throughout the Atmosphere of the Warm Exoplanet WASP-80b

abstract: The abundances of major carbon and oxygen bearing gases in the atmospheres of giant exoplanets provide insights into atmospheric chemistry and planet formation processes. Thermochemistry suggests that methane should be the dominant carbon-bearing species below $\sim$1000 K over a range of plausible atmospheric compositions; this is the case for the Solar System planets and has been confirmed in the atmospheres of brown dwarfs and self-luminous directly imaged exoplanets. However, methane has not yet been definitively detected with space-based spectroscopy in the atmosphere of a transiting exoplanet, but a few detections have been made with ground-based, high-resolution transit spectroscopy including a tentative detection for WASP-80b. Here we report transmission and emission spectra spanning 2.4-4.0 micrometers of the 825 K warm Jupiter WASP-80b taken with JWST's NIRCam instrument, both of which show strong evidence for methane at greater than 6-sigma significance. The derived methane abundances from both viewing geometries are consistent with each other and with solar to sub-solar C/O and ~5$\times$ solar metallicity, which is consistent with theoretical predictions.


title: Mean-field Coherent Ising Machines with artificial Zeeman terms

abstract: Coherent Ising Machine (CIM) is a network of optical parametric oscillators that solves combinatorial optimization problems by finding the ground state of an Ising Hamiltonian. In CIMs, a problem arises when attempting to realize the Zeeman term because of the mismatch in size between interaction and Zeeman terms due to the variable amplitude of the optical parametric oscillator pulses corresponding to spins. There have been three approaches proposed so far to address this problem for CIM, including the absolute mean amplitude method, the auxiliary spin method, and the chaotic amplitude control (CAC) method. This paper focuses on the efficient implementation of Zeeman terms within the mean-field CIM model, which is a physics-inspired heuristic solver without quantum noise. With the mean-field model, computation is easier than with more physically accurate models, which makes it suitable for implementation in field programmable gate arrays (FPGAs) and large-scale simulations. Firstly, we examined the performance of the mean-field CIM model for realizing the Zeeman term with the CAC method, as well as their performance when compared to a more physically accurate model. Next, we compared the CAC method to other Zeeman term realization techniques on the mean-field model and a more physically accurate model. In both models, the CAC method outperformed the other methods while retaining similar performance.


title: Capturing continuous, long timescale behavioral changes in $\textit{Drosophila melanogaster}$ postural data

abstract: Animal behavior spans many timescales, from short, seconds-scale actions to circadian rhythms over many hours to life-long changes during aging. Most quantitative behavior studies have focused on short-timescale behaviors such as locomotion and grooming. Analysis of these data suggests there exists a hierarchy of timescales; however, the limited duration of these experiments prevents the investigation of the full temporal structure. To access longer timescales of behavior, we continuously recorded individual $\textit{Drosophila melanogaster}$ at 100 frames per second for up to 7 days at a time in featureless arenas on sucrose-agarose media. We use the deep learning framework SLEAP to produce a full-body postural data set for 47 individuals resulting in nearly 2 billion pose instances. We identify stereotyped behaviors such as grooming, proboscis extension, and locomotion and use the resulting ethograms to explore how the flies' behavior varies across time of day and days in the experiment. We find distinct circadian patterns in all of our stereotyped behavior and also see changes in behavior over the course of the experiment as the flies weaken and die.


title: Low-rank Matrix Sensing With Dithered One-Bit Quantization

abstract: We explore the impact of coarse quantization on low-rank matrix sensing in the extreme scenario of dithered one-bit sampling, where the high-resolution measurements are compared with random time-varying threshold levels. To recover the low-rank matrix of interest from the highly-quantized collected data, we offer an enhanced randomized Kaczmarz algorithm that efficiently solves the emerging highly-overdetermined feasibility problem. Additionally, we provide theoretical guarantees in terms of the convergence and sample size requirements. Our numerical results demonstrate the effectiveness of the proposed methodology.


title: The mean-field Limit of sparse networks of integrate and fire neurons

abstract: We study the mean-field limit of a model of biological neuron networks based on the so-called stochastic integrate-and-fire (IF) dynamics. Our approach allows to derive a continuous limit for the macroscopic behavior of the system, the 1-particle distribution, for a large number of neurons with no structural assumptions on the connection map outside of a generalized mean-field scaling. We propose a novel notion of observables that naturally extends the notion of marginals to systems with non-identical or non-exchangeable agents. Our new observables satisfy a complex approximate hierarchy, essentially a tree-indexed extension of the classical BBGKY hierarchy. We are able to pass to the limit in this hierarchy as the number of neurons increases through novel quantitative stability estimates in some adapted weak norm. While we require non-vanishing diffusion, this approach notably addresses the challenges of sparse interacting graphs/matrices and singular interactions from Poisson jumps, and requires no additional regularity on the initial distribution.


title: Fully Latent Principal Stratification With Measurement Models

abstract: There is wide agreement on the importance of implementation data from randomized effectiveness studies in behavioral science; however, there are few methods available to incorporate these data into causal models, especially when they are multivariate or longitudinal, and interest is in low-dimensional summaries. We introduce a framework for studying how treatment effects vary between subjects who implement an intervention differently, combining principal stratification with latent variable measurement models; since principal strata are latent in both treatment arms, we call it "fully-latent principal stratification" or FLPS. We describe FLPS models including item-response-theory measurement, show that they are feasible in a simulation study, and illustrate them in an analysis of hint usage from a randomized study of computerized mathematics tutors.


title: Ab initio calculations of low-energy quasiparticle lifetimes in bilayer graphene

abstract: Motivated by recent experimental results we calculate from first-principles the lifetime of low-energy quasiparticles in bilayer graphene (BLG). We take into account the scattering rate arising from electron-electron interactions within the $GW$ approximation for the electron self-energy and consider several p-type doping levels ranging from $0$ to $\rho \approx 2.4\times 10^{12}$ holes/cm$^2$. In the undoped case we find that the average inverse lifetime scales linearly with energy away from the charge neutrality point, with values in good agreement with experiments. The decay rate is approximately three times larger than in monolayer graphene, a consequence of the enhanced screening in BLG. In the doped case, the dependence of the inverse lifetime on quasiparticle energy acquires a non-linear component due to the opening of an additional decay channel mediated by acoustic plasmons.


title: On the measurability of a numerical function with respect to a family of sets

abstract: The following document is a translation (from French to English) of: Gabriele H. Greco, Sur la mesurabilit\'e d'une fonction num\'erique par rapport \`a une famille d'ensembles, Rendiconti del Seminario Matematico della Universit\`a di Padova}, tome 65 (1981), pp. 163--176. Translated by: Jonathan M. Keith, School of Mathematics, Monash University, jonathan.keith@monash.edu. With thanks to: Prof. Andrea D'Agnolo, Editor-in-Chief of the above journal, for permission to publish this translation.


title: Microwave spectroscopy of Majorana vortex modes

abstract: The observation of zero-bias conductance peaks in vortex cores of certain Fe-based superconductors has sparked renewed interest in vortex-bound Majorana states. These materials are believed to be intrinsically topological in their bulk phase, thus avoiding potentially problematic interface physics encountered in superconductor-semiconductor heterostructures. However, progress toward a vortex-based topological qubit is hindered by our inability to measure the topological quantum state of a non-local vortex Majorana state, i.e., the charge of a vortex pair. In this paper, we theoretically propose a microwave-based charge parity readout of the Majorana vortex pair charge. A microwave resonator above the vortices can couple to the charge allowing for a dispersive readout of the Majorana parity. Our technique may also be used in vortices in conventional superconductors and allows one to probe the lifetime of vortex-bound quasiparticles, which is currently beyond existing scanning tunneling microscopy capabilities.


title: Observation of Hybrid-Order Topological Pump in a Kekule-Textured Graphene Lattice

abstract: Thouless charge pumping protocol provides an effective route for realizing topological particle transport. To date, the first-order and higher-order topological pumps, exhibiting transitions of edge-bulk-edge and corner-bulk-corner states, respectively, are observed in a variety of experimental platforms. Here, we propose a concept of hybrid-order topological pump, which involves a transition of bulk, edge, and corner states simultaneously. More specifically, we consider a Kekul\'e-textured graphene lattice that features a tunable phase parameter. The finite sample of zigzag boundaries, where the corner configuration is abnormal and inaccessible by repeating unit cells, hosts topological responses at both the edges and corners. The former is protected by a nonzero winding number, while the latter can be explained by a nontrivial vector Chern number. Using our skillful acoustic experiments, we verify those nontrivial boundary landmarks and visualize the consequent hybrid-order topological pump process directly. This work deepens our understanding to higher-order topological phases and broadens the scope of topological pumps.


title: Riemannian Adaptive Regularized Newton Methods with H\"older Continuous Hessians

abstract: This paper presents strong worst-case iteration and operation complexity guarantees for Riemannian adaptive regularized Newton methods, a unified framework encompassing both Riemannian adaptive regularization (RAR) methods and Riemannian trust region (RTR) methods. We comprehensively characterize the sources of approximation in second-order manifold optimization methods: the objective function's smoothness, retraction's smoothness, and subproblem solver's inexactness. Specifically, for a function with a $\mu$-H\"older continuous Hessian, when equipped with a retraction featuring a $\nu$-H\"older continuous differential and a $\theta$-inexact subproblem solver, both RTR and RAR with $2+\alpha$ regularization (where $\alpha=\min\{\mu,\nu,\theta\}$) locate an $(\epsilon,\epsilon^{\alpha/(1+\alpha)})$-approximate second-order stationary point within at most $O(\epsilon^{-(2+\alpha)/(1+\alpha)})$ iterations and at most $\tilde{O}(\epsilon^{-(4+3\alpha)/(2(1+\alpha))})$ Hessian-vector products. These complexity results are novel and sharp, and reduce to an iteration complexity of $O(\epsilon^{-3/2})$ and an operation complexity of $\tilde{O}(\epsilon^{-7/4})$ when $\alpha=1$.


title: Materials Design for Hypersonics

abstract: Hypersonic vehicles must withstand extreme conditions during flights that exceed five times the speed of sound. These systems have the potential to facilitate rapid access to space, bolster defense capabilities, and create a new paradigm for transcontinental earth-to-earth travel. However, extreme aerothermal environments create significant challenges for vehicle materials and structures. This work addresses the critical need to develop resilient refractory alloys, composites, and ceramics. We will highlight key design principles for critical vehicle areas such as primary structures, thermal protection, and propulsion systems; the role of theory and computation; and strategies for advancing laboratory-scale materials to flight-ready components.


title: Can we "effectivize'' spacetime?

abstract: According to \textit{effective realism}, scientific theories give us knowledge about the unobservable world, but not at the fundamental level. This view is justified by the well-received \textit{effective-field-theory} (EFT) approach to physics, according to which our best physical theories are only applicable up to a certain energy scale and expected to break down beyond that. In this paper, I explain the motivations for the EFT approach and effective realism and their benefits. I also raise new challenges for this approach. Applying effective realism to \textit{effective quantum gravity} (EQG) reveals its shortcomings: EQG does not give us a realistic theory of spacetime even within its scope of validity. It also exposes a general interpretative dilemma faced by all EFTs concerning their indispensable references to classical spacetime beyond their scope of validity.


title: Artificial first-order phase transition in a magnetized Nambu--Jona-Lasinio model with a quark anomalous magnetic moment

abstract: Recently, first-order phase transitions have been predicted as an effect of the inclusion of quark anomalous magnetic moment (AMM) in the hot and magnetized Nambu--Jona-Lasinio model (NJL). These transitions appear in the chiral condensate for different combinations of AMM and magnetic fields and could lead to inverse magnetic catalysis. However, in this work, we show that the predicted first-order phase transitions are related to regularization-dependent issues. To show this, we explore, in the context of the vacuum magnetic regularization (VMR) scheme, two different scenarios: when mass-dependent (MD) and mass-independent (MI) terms are present in the subtraction of the divergences. In the MD case, as we increase the AMM value, it is observed the appearance of a nonmassive minimum in the thermodynamical potential, which induces a first-order phase transition from the massive minimum. We argue that the MD terms must be avoided in order to satisfy the predictions of Lattice QCD, and we propose a MI solution that is valid in the limit which the magnetic fields are smaller than the squared of vacuum effective quark mass.


title: Multi-discontinuous Functional based Sliding Mode Cascade Observer for Estimation and Closed-loop Compensation Controller

abstract: The sliding mode observer is a useful method for estimating the system state and the unknown disturbance. However, the traditional single-layer observer might still suffer from high pulse when the output measurement is mixed with noise. To improve the estimation quality, a new cascade sliding mode observer containing multiple discontinuous functions is proposed in this letter. The proposed observer consists of two layers: the first layer is a traditional sliding mode observer, and the second layer is a cascade observer. The measurement noise issue is considered in the source system model. An alternative method how to design the observer gains of the two layers, together with how to examine the effectiveness of the compensator based closed-loop system, are offered. A numerical example is provided to demonstrate the effectiveness of the proposed method. The observation structure proposed in this letter not only smooths the estimated state but also reduces the control consumption.


title: Efficient Uncertainty Quantification in a Multiscale Model of Pulmonary Arterial and Venous Hemodynamics

abstract: Computational hemodynamics models are becoming increasingly useful in the management and prognosis of complex, multiscale pathologies, including those attributed to the development of pulmonary vascular disease. However, diseases like pulmonary hypertension are heterogeneous, and affect both the proximal arteries and veins as well as the microcirculation. Simulation tools and the data used for model calibration are also inherently uncertain, requiring a full analysis of the sensitivity and uncertainty attributed to model inputs and outputs. Thus, this study quantifies model sensitivity and output uncertainty in a multiscale, pulse-wave propagation model of pulmonary hemodynamics. Our pulmonary circuit model consists of fifteen proximal arteries and twelve proximal veins, connected by a two-sided, structured tree model of the distal vasculature. We use polynomial chaos expansions to expedite the sensitivity and uncertainty quantification analyses and provide results for both the proximal and distal vasculature. Our analyses provide uncertainty in blood pressure, flow, and wave propagation phenomenon, as well as wall shear stress and cyclic stretch, both of which are important stimuli for endothelial cell mechanotransduction. We conclude that, while nearly all the parameters in our system have some influence on model predictions, the parameters describing the density of the microvascular beds have the largest effects on all simulated quantities in both the proximal and distal circulation.


title: Intralayer Negative Poisson's Ratio in Two-Dimensional Black Arsenic by Strain Engineering

abstract: Negative Poisson's ratio as the anomalous characteristic generally exists in artificial architectures, such as re-entrant and honeycomb structures. The structures with negative Poisson's ratio have attracted intensive attention due to their unique auxetic effect and many promising applications in shear resistant and energy absorption fields. However, experimental observation of negative Poisson's ratio in natural materials barely happened, although various two-dimensional layered materials are predicted in theory. Herein, we report the anisotropic Raman response and the intrinsic intralayer negative Poisson's ratio of two-dimensional natural black arsenic (b-As) via strain engineering strategy. The results were evident by the detailed Raman spectrum of b-As under uniaxial strain together with density functional theory calculations. It is found that b-As was softer along the armchair than zigzag direction. The anisotropic mechanical features and van der Waals interactions play essential roles in strain-dependent Raman shifts and negative Poisson's ratio in the natural b-As along zigzag direction. This work may shed a light on the mechanical properties and potential applications of two-dimensional puckered materials.


title: Quantum interference in superposed lattices

abstract: Charge transport in solids at low temperature reveals a material's mesoscopic properties and structure. Under a magnetic field, Shubnikov-de Haas (SdH) oscillations inform complex quantum transport phenomena that are not limited by the ground state characteristics. Here, in elemental metal Cr with two incommensurately superposed lattices of ions and a spin-density-wave ground state, we reveal that the phases of several low-frequency SdH oscillations in sigma_xx (rho_xx) and sigma_yy (rho_yy) are opposite, contrast with oscillations from normal cyclotron orbits that maintain identical phases. We trace the origin of the low frequency SdH oscillations to quantum interference effects arising from the incommensurate orbits of Cr's superposed reciprocal lattices, and explain the observed pi-phase shift by the reconnection of anisotropic joint open and closed orbits.


title: Searching for new physics effects in future $W$ mass and $\sin^2\theta_W (Q^2)$ determinations

abstract: We investigate the phenomenology of the dark $Z$ boson, $Z_d$, which is associated with a new Abelian gauge symmetry and couples to the standard model particles via kinetic mixing $\varepsilon$ and mass mixing $\varepsilon_Z^{}$. We examine two cases: (i) $Z_d$ is lighter than the $Z$ boson, and (ii) $Z_d$ is heavier than that. In the first case, it is known that $Z_d$ causes a deviation in the weak mixing angle at low energies from the standard model prediction. We study the prediction in the model and compare it with the latest experimental data. In the second case, the $Z$-$Z_d$ mixing enhances the $W$ boson mass. We investigate the effect of $Z_d$ on various electroweak observables including the $W$ boson mass using the $S$, $T$, and $U$ parameters. We point out an interesting feature: in the limit $\varepsilon \to 0$, the equation $S = - U$ holds independently of the mass of $Z_d$ and the size of $\varepsilon_Z^{}$, while $|S|\gg |U|$ in many new physics models. We find that the dark $Z$ boson with a mass of $O(100)~\mathrm{GeV}$ with a relatively large mass mixing can reproduce the CDF result within $2\sigma$ while avoiding all other experimental constraints. Such dark $Z$ bosons are expected to be tested at future high-energy colliders.


title: Post-processing CHARIS integral field spectrograph data with PyKLIP

abstract: We present the pyKLIP-CHARIS post-processing pipeline, a Python library that reduces high contrast imaging data for the CHARIS integral field spectrograph used with the SCExAO project on the Subaru Telescope. The pipeline is a part of the pyKLIP package, a Python library dedicated to the reduction of direct imaging data of exoplanets, brown dwarfs, and discs. For PSF subtraction, the pyKLIP-CHARIS post-processing pipeline relies on the core algorithms implemented in pyKLIP but uses image registration and calibrations that are unique to CHARIS. We describe the pipeline procedures, calibration results, and capabilities in processing imaging data acquired via the angular differential imaging and spectral differential imaging observing techniques. We showcase its performance on extracting spectra of injected synthetic point sources as well as compare the extracted spectra from real data sets on HD 33632 and HR 8799 to results in the literature. The pipeline is a python-based complement to the SCExAO project supported, widely used (and currently IDL-based) CHARIS data post-processing pipeline (CHARIS DPP) and provides an additional approach to reducing CHARIS data and extracting calibrated planet spectra.


title: 3D Denoisers are Good 2D Teachers: Molecular Pretraining via Denoising and Cross-Modal Distillation

abstract: Pretraining molecular representations from large unlabeled data is essential for molecular property prediction due to the high cost of obtaining ground-truth labels. While there exist various 2D graph-based molecular pretraining approaches, these methods struggle to show statistically significant gains in predictive performance. Recent work have thus instead proposed 3D conformer-based pretraining under the task of denoising, which led to promising results. During downstream finetuning, however, models trained with 3D conformers require accurate atom-coordinates of previously unseen molecules, which are computationally expensive to acquire at scale. In light of this limitation, we propose D&D, a self-supervised molecular representation learning framework that pretrains a 2D graph encoder by distilling representations from a 3D denoiser. With denoising followed by cross-modal knowledge distillation, our approach enjoys use of knowledge obtained from denoising as well as painless application to downstream tasks with no access to accurate conformers. Experiments on real-world molecular property prediction datasets show that the graph encoder trained via D&D can infer 3D information based on the 2D graph and shows superior performance and label-efficiency against other baselines.


title: INSURE: An Information Theory Inspired Disentanglement and Purification Model for Domain Generalization

abstract: Domain Generalization (DG) aims to learn a generalizable model on the unseen target domain by only training on the multiple observed source domains. Although a variety of DG methods have focused on extracting domain-invariant features, the domain-specific class-relevant features have attracted attention and been argued to benefit generalization to the unseen target domain. To take into account the class-relevant domain-specific information, in this paper we propose an Information theory iNspired diSentanglement and pURification modEl (INSURE) to explicitly disentangle the latent features to obtain sufficient and compact (necessary) class-relevant feature for generalization to the unseen domain. Specifically, we first propose an information theory inspired loss function to ensure the disentangled class-relevant features contain sufficient class label information and the other disentangled auxiliary feature has sufficient domain information. We further propose a paired purification loss function to let the auxiliary feature discard all the class-relevant information and thus the class-relevant feature will contain sufficient and compact (necessary) class-relevant information. Moreover, instead of using multiple encoders, we propose to use a learnable binary mask as our disentangler to make the disentanglement more efficient and make the disentangled features complementary to each other. We conduct extensive experiments on four widely used DG benchmark datasets including PACS, OfficeHome, TerraIncognita, and DomainNet. The proposed INSURE outperforms the state-of-art methods. We also empirically show that domain-specific class-relevant features are beneficial for domain generalization.


title: Chiral phonons induced from spin dynamics via magnetoelastic anisotropy

abstract: We propose a mechanism to obtain chiral phonon-like excitations from the bond-dependent magnetoelastic couplings in the absence of out-of-plane magnetization and magnetic fields. By mapping the hybrid excitation to its phononic analog, we reveal the impact of the lattice symmetry on the origin of the chirality. In the example of a triangular lattice ferromagnet, we recognize that the system is equivalent to the class D of topological phonons, and show the tunable chirality and topology by an in-plane magnetic field. As a possible experimental probe, we evaluate the phonon magnetization and planar thermal Hall conductivity. Our study gives a new perspective on tunable topological and chiral excitations beyond the Raman spin-lattice coupling, suggesting possible applications of spintronics and phononics in various anisotropic magnets and/or Kitaev materials.


title: Thermodynamic Origins of Structural Metastability in Two-Dimensional Black Arsenic

abstract: Two-dimensional (2D) materials have aroused considerable research interests owing to their potential applications in nanoelectronics and optoelectronics. Thermodynamic stability of 2D structures inevitably affects the performance and power consumption of the fabricated nanodevices. Black arsenic (b-As), as a cousin of black phosphorus, has presented the extremely high anisotropy in physical properties. However, the systematic research on structural stability of b-As is still lack. Herein, we demonstrated the detailed analysis on structural metastability of the natural b-As, and determined its existence conditions in terms of two essential thermodynamic variables as hydrostatic pressure and temperature. Our results confirmed that b-As can only survive below 0.7 GPa, and then irreversibly transform to gray arsenic, in consistent with our theoretical calculations. Furthermore, thermal annealing strategy was developed to precisely control the thickness of b-As flake, and it sublimates at 300 oC. These results could pave the way for 2D b-As in many promising applications.


title: Class Number Formulas for Certain Biquadratic Fields

abstract: We consider the class numbers of imaginary quadratic extensions $F(\sqrt{-p})$, for certain primes $p$, of totally real quadratic fields $F$ which have class number one. Using seminal work of Shintani, we obtain two elementary class number formulas for many such fields. The first expresses the class number as an alternating sum of terms that we generate from the coefficients of the power series expansions of two simple rational functions that depend on the arithmetic of $F$ and $p$. The second makes use of expansions of $1/p$, where $p$ is a prime such that $p \equiv 3 \pmod{4}$ and $p$ remains inert in $F$. More precisely, for a generator $\varepsilon_F$ of the totally positive unit group of $\mathcal{O}_F$, the base-$\varepsilon_{F}$ expansion of $1/p$ has period length $\ell_{F,p}$, and our second class number formula expresses the class number as a finite sum over disjoint cosets of size $\ell_{F,p}$.


title: Prediction of the Cu Oxidation State from EELS and XAS Spectra Using Supervised Machine Learning

abstract: Electron energy loss spectroscopy (EELS) and X-ray absorption spectroscopy (XAS) provide detailed information about bonding, distributions and locations of atoms, and their coordination numbers and oxidation states. However, analysis of XAS/EELS data often relies on matching an unknown experimental sample to a series of simulated or experimental standard samples. This limits analysis throughput and the ability to extract quantitative information from a sample. In this work, we have trained a random forest model capable of predicting the oxidation state of copper based on its L-edge spectrum. Our model attains an $R^2$ score of 0.89 and a root mean square valence error of 0.21 on simulated data. It has also successfully predicted experimental L-edge EELS spectra taken in this work and XAS spectra extracted from the literature. We further demonstrate the utility of this model by predicting simulated and experimental spectra of mixed valence samples generated by this work. This model can be integrated into a real time EELS/XAS analysis pipeline on mixtures of copper containing materials of unknown composition and oxidation state. By expanding the training data, this methodology can be extended to data-driven spectral analysis of a broad range of materials.


title: Two classes of reducible cyclic codes with large minimum symbol-pair distances

abstract: The high-density data storage technology aims to design high-capacity storage at a relatively low cost. In order to achieve this goal, symbol-pair codes were proposed by Cassuto and Blaum \cite{CB10,CB11} to handle channels that output pairs of overlapping symbols. Such a channel is called symbol-pair read channel, which introduce new concept called symbol-pair weight and minimum symbol-pair distance. In this paper, we consider the parameters of two classes of reducible cyclic codes under the symbol-pair metric. Based on the theory of cyclotomic numbers and Gaussian period over finite fields, we show the possible symbol-pair weights of these codes. Their minimum symbol-pair distances are twice the minimum Hamming distances under some conditions. Moreover, we obtain some three symbol-pair weight codes and determine their symbol-pair weight distribution. A class of MDS symbol-pair codes is also established. Among other results, we determine the values of some generalized cyclotomic numbers.


title: Inferring physical laws by artificial intelligence based causal models

abstract: The advances in Artificial Intelligence (AI) and Machine Learning (ML) have opened up many avenues for scientific research, and are adding new dimensions to the process of knowledge creation. However, even the most powerful and versatile of ML applications till date are primarily in the domain of analysis of associations and boil down to complex data fitting. Judea Pearl has pointed out that Artificial General Intelligence must involve interventions involving the acts of doing and imagining. Any machine assisted scientific discovery thus must include casual analysis and interventions. In this context, we propose a causal learning model of physical principles, which not only recognizes correlations but also brings out casual relationships. We use the principles of causal inference and interventions to study the cause-and-effect relationships in the context of some well-known physical phenomena. We show that this technique can not only figure out associations among data, but is also able to correctly ascertain the cause-and-effect relations amongst the variables, thereby strengthening (or weakening) our confidence in the proposed model of the underlying physical process.


title: Anneal-free ultra-low loss silicon nitride integrated photonics

abstract: Heterogeneous and monolithic integration of the versatile low loss silicon nitride platform with low temperature materials such as silicon electronics and photonics, III-V compound semiconductors, lithium niobate, organics, and glasses, has been inhibited by the need for high temperature annealing as well as the need for different process flows for thin and thick waveguides. New techniques are needed to maintain the state-of-the-art losses, nonlinear properties, and CMOS compatible processes while enabling this next generation of 3D silicon nitride integration. We report a significant advance in silicon nitride integrated photonics, demonstrating the lowest losses to date for an anneal-free process at a maximum temperature of 250 C, with the same deuterated silane based fabrication flow, for nitride and oxide, for an order of magnitude range in nitride thickness without requiring stress mitigation or polishing. We report record low losses for anneal-free nitride core and oxide cladding, enabling 1.77 dB/m loss and 14.9 million Q for 80 nm nitride core waveguides, more than half an order magnitude lower loss than previously reported 270 C processes, and 8.66 dB/m loss and 4.03 million Q for 800 nm thick nitride. We demonstrate laser stabilization with over 4 orders of magnitude frequency noise reduction using a thin nitride reference cavity. And using a thick nitride micro-resonator, we demonstrate parametric gain and Optical Parametric Oscillation (OPO) with the lowest reported OPO threshold per unit resonator length for low temperature fabricated nitride, and supercontinuum generation over two octaves. These results represent a significant step towards a uniform ultra-low loss silicon nitride homogeneous and heterogeneous platform for both thin and thick waveguides capable of linear and nonlinear photonic circuits and integration with low temperature materials and processes.


title: Enhancing Hierarchical Transformers for Whole Brain Segmentation with Intracranial Measurements Integration

abstract: Whole brain segmentation with magnetic resonance imaging (MRI) enables the non-invasive measurement of brain regions, including total intracranial volume (TICV) and posterior fossa volume (PFV). Enhancing the existing whole brain segmentation methodology to incorporate intracranial measurements offers a heightened level of comprehensiveness in the analysis of brain structures. Despite its potential, the task of generalizing deep learning techniques for intracranial measurements faces data availability constraints due to limited manually annotated atlases encompassing whole brain and TICV/PFV labels. In this paper, we enhancing the hierarchical transformer UNesT for whole brain segmentation to achieve segmenting whole brain with 133 classes and TICV/PFV simultaneously. To address the problem of data scarcity, the model is first pretrained on 4859 T1-weighted (T1w) 3D volumes sourced from 8 different sites. These volumes are processed through a multi-atlas segmentation pipeline for label generation, while TICV/PFV labels are unavailable. Subsequently, the model is finetuned with 45 T1w 3D volumes from Open Access Series Imaging Studies (OASIS) where both 133 whole brain classes and TICV/PFV labels are available. We evaluate our method with Dice similarity coefficients(DSC). We show that our model is able to conduct precise TICV/PFV estimation while maintaining the 132 brain regions performance at a comparable level. Code and trained model are available at: https://github.com/MASILab/UNesT/tree/main/wholebrainSeg.


title: Riemannian Langevin Monte Carlo schemes for sampling PSD matrices with fixed rank

abstract: This paper introduces two explicit schemes to sample matrices from Gibbs distributions on $\mathcal S^{n,p}_+$, the manifold of real positive semi-definite (PSD) matrices of size $n\times n$ and rank $p$. Given an energy function $\mathcal E:\mathcal S^{n,p}_+\to \mathbb{R}$ and certain Riemannian metrics $g$ on $\mathcal S^{n,p}_+$, these schemes rely on an Euler-Maruyama discretization of the Riemannian Langevin equation (RLE) with Brownian motion on the manifold. We present numerical schemes for RLE under two fundamental metrics on $\mathcal S^{n,p}_+$: (a) the metric obtained from the embedding of $\mathcal S^{n,p}_+ \subset \mathbb{R}^{n\times n} $; and (b) the Bures-Wasserstein metric corresponding to quotient geometry. We also provide examples of energy functions with explicit Gibbs distributions that allow numerical validation of these schemes.


title: Generalized Panofsky-Wenzel theorem in curvilinear coordinate systems applicable to non-ultrarelativistic beams

abstract: This note gives an introduction to the theories of impedances and wakes in particle accelerators. The standard formulation assumes that the beam is traveling along a straight orbit with constant velocity $\vec{v}=v\vec{e}_z$. On this note, we show the possibility of extending the formulation for beams traveling along a curved orbit but assuming $|\vec{v}|=v$ to be constant.


title: Computationally Efficient Data-Driven Discovery and Linear Representation of Nonlinear Systems For Control

abstract: This work focuses on developing a data-driven framework using Koopman operator theory for system identification and linearization of nonlinear systems for control. Our proposed method presents a deep learning framework with recursive learning. The resulting linear system is controlled using a linear quadratic control. An illustrative example using a pendulum system is presented with simulations on noisy data. We show that our proposed method is trained more efficiently and is more accurate than an autoencoder baseline.


title: Semi-abelian categories arising from pseudo cluster tilting subcategories

abstract: The notion of a pseudo cluster tilting subcategory $\mathcal X$ in an extriangulated category $\mathcal C$ is defined in this article. We prove that the quotient category $\mathcal C/\mathcal X$, obtained by factoring an extriangulated category by a pseudo cluster tilting subcategory, is a semi-abelian category. Furthermore, we also show that the quotient category $\mathcal C/\mathcal X$ is an abelian category if and only if certain self-orthogonal conditions are satisfied. As an application, these results generalize the work of Xu and Zheng in the exact category.


title: Greening Large Language Models of Code

abstract: Large language models of code have shown remarkable effectiveness across various software engineering tasks. Despite the availability of many cloud services built upon these powerful models, there remain several scenarios where developers cannot take full advantage of them, stemming from factors such as restricted or unreliable internet access, institutional privacy policies that prohibit external transmission of code to third-party vendors, and more. Therefore, developing a compact, efficient, and yet energy-saving model for deployment on developers' devices becomes essential. To this aim, we propose Avatar, a novel approach that crafts a deployable model from a large language model of code by optimizing it in terms of model size, inference latency, energy consumption, and carbon footprint while maintaining a comparable level of effectiveness. The key idea of Avatar is to formulate the optimization of language models as a multi-objective configuration tuning problem and solve it with the help of a Satisfiability Modulo Theories (SMT) solver and a tailored optimization algorithm. The SMT solver is used to form an appropriate configuration space, while the optimization algorithm identifies the Pareto-optimal set of configurations for training the optimized models using knowledge distillation. We evaluate Avatar with two popular language models of code, i.e., CodeBERT and GraphCodeBERT, on two popular tasks, i.e., vulnerability prediction and clone detection. We use Avatar to produce optimized models with a small size (3 MB), which is 160$\times$ smaller than the original large models. On the two tasks, the optimized models significantly reduce the energy consumption (up to 184$\times$ less), carbon footprint (up to 157$\times$ less), and inference latency (up to 76$\times$ faster), with only a negligible loss in effectiveness (1.67\% on average).


title: SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments

abstract: Semantic reasoning and dynamic planning capabilities are crucial for an autonomous agent to perform complex navigation tasks in unknown environments. It requires a large amount of common-sense knowledge, that humans possess, to succeed in these tasks. We present SayNav, a new approach that leverages human knowledge from Large Language Models (LLMs) for efficient generalization to complex navigation tasks in unknown large-scale environments. SayNav uses a novel grounding mechanism, that incrementally builds a 3D scene graph of the explored environment as inputs to LLMs, for generating feasible and contextually appropriate high-level plans for navigation. The LLM-generated plan is then executed by a pre-trained low-level planner, that treats each planned step as a short-distance point-goal navigation sub-task. SayNav dynamically generates step-by-step instructions during navigation and continuously refines future steps based on newly perceived information. We evaluate SayNav on multi-object navigation (MultiON) task, that requires the agent to utilize a massive amount of human knowledge to efficiently search multiple different objects in an unknown environment. We also introduce a benchmark dataset for MultiON task employing ProcTHOR framework that provides large photo-realistic indoor environments with variety of objects. SayNav achieves state-of-the-art results and even outperforms an oracle based baseline with strong ground-truth assumptions by more than 8% in terms of success rate, highlighting its ability to generate dynamic plans for successfully locating objects in large-scale new environments. The code, benchmark dataset and demonstration videos are accessible at https://www.sri.com/ics/computer-vision/saynav.


title: Enabling the Evaluation of Driver Physiology Via Vehicle Dynamics

abstract: Driving is a daily routine for many individuals across the globe. This paper presents the configuration and methodologies used to transform a vehicle into a connected ecosystem capable of assessing driver physiology. We integrated an array of commercial sensors from the automotive and digital health sectors along with driver inputs from the vehicle itself. This amalgamation of sensors allows for meticulous recording of the external conditions and driving maneuvers. These data streams are processed to extract key parameters, providing insights into driver behavior in relation to their external environment and illuminating vital physiological responses. This innovative driver evaluation system holds the potential to amplify road safety. Moreover, when paired with data from conventional health settings, it may enhance early detection of health-related complications.


title: HAWC Study of Very-High-Energy $\gamma$-ray Spectrum of HAWC J1844-034

abstract: Recently, the region surrounding eHWC J1842-035 has been studied extensively by gamma-ray observatories due to its extended emission reaching up to a few hundred TeV and potential as a hadronic accelerator. In this work, we use 1,910 days of cumulative data from the High Altitude Water Cherenkov (HAWC) observatory to carry out a dedicated systematic source search of the eHWC J1842-035 region. During the search we have found three sources in the region, namely, HAWC J1844-034, HAWC J1843-032, and HAWC J1846-025. We have identified HAWC J1844-034 as the extended source that emits photons with energies up to 175 TeV. We compute the spectrum for HAWC J1844-034 and by comparing with the observational results from other experiments, we have identified HESS J1843-033, LHAASO J1843-0338, and TASG J1844-038 as very-high-energy gamma-ray sources with a matching origin. Also, we present and use the multi-wavelength data to fit the hadronic and leptonic particle spectra. We have identified four pulsar candidates in the nearby region from which PSR J1844-0346 is found to be the most likely candidate due to its proximity to HAWC J1844-034 and the computed energy budget. We have also found SNR G28.6-0.1 as a potential counterpart source of HAWC J1844-034 for which both leptonic and hadronic scenarios are feasible.


title: On finite categories of algebraic varieties

abstract: We prove that the finiteness of a finitely generated category of irreducible algebraic varieties over a field of characteristic zero is decidable. We also obtain a Burnside finiteness criterion for such a category, with applications to algebraic dynamical systems of several maps.


title: UER: A Heuristic Bias Addressing Approach for Online Continual Learning

abstract: Online continual learning aims to continuously train neural networks from a continuous data stream with a single pass-through data. As the most effective approach, the rehearsal-based methods replay part of previous data. Commonly used predictors in existing methods tend to generate biased dot-product logits that prefer to the classes of current data, which is known as a bias issue and a phenomenon of forgetting. Many approaches have been proposed to overcome the forgetting problem by correcting the bias; however, they still need to be improved in online fashion. In this paper, we try to address the bias issue by a more straightforward and more efficient method. By decomposing the dot-product logits into an angle factor and a norm factor, we empirically find that the bias problem mainly occurs in the angle factor, which can be used to learn novel knowledge as cosine logits. On the contrary, the norm factor abandoned by existing methods helps remember historical knowledge. Based on this observation, we intuitively propose to leverage the norm factor to balance the new and old knowledge for addressing the bias. To this end, we develop a heuristic approach called unbias experience replay (UER). UER learns current samples only by the angle factor and further replays previous samples by both the norm and angle factors. Extensive experiments on three datasets show that UER achieves superior performance over various state-of-the-art methods. The code is in https://github.com/FelixHuiweiLin/UER.


title: Curve Your Attention: Mixed-Curvature Transformers for Graph Representation Learning

abstract: Real-world graphs naturally exhibit hierarchical or cyclical structures that are unfit for the typical Euclidean space. While there exist graph neural networks that leverage hyperbolic or spherical spaces to learn representations that embed such structures more accurately, these methods are confined under the message-passing paradigm, making the models vulnerable against side-effects such as oversmoothing and oversquashing. More recent work have proposed global attention-based graph Transformers that can easily model long-range interactions, but their extensions towards non-Euclidean geometry are yet unexplored. To bridge this gap, we propose Fully Product-Stereographic Transformer, a generalization of Transformers towards operating entirely on the product of constant curvature spaces. When combined with tokenized graph Transformers, our model can learn the curvature appropriate for the input graph in an end-to-end fashion, without the need of additional tuning on different curvature initializations. We also provide a kernelized approach to non-Euclidean attention, which enables our model to run in time and memory cost linear to the number of nodes and edges while respecting the underlying geometry. Experiments on graph reconstruction and node classification demonstrate the benefits of generalizing Transformers to the non-Euclidean domain.


title: Short words of infinite order

abstract: Given an infinite linear group with a finite set of generators, we show that the shortest word length of an element of infinite order has an upper bound that depends only on the number of generators and the degree. This provides a quantification of the Burnside problem for linear groups. In degree two, an explicit bound is computed using an exceptional connection to reflection groups.


title: Towards Efficient SDRTV-to-HDRTV by Learning from Image Formation

abstract: Modern displays are capable of rendering video content with high dynamic range (HDR) and wide color gamut (WCG). However, the majority of available resources are still in standard dynamic range (SDR). As a result, there is significant value in transforming existing SDR content into the HDRTV standard. In this paper, we define and analyze the SDRTV-to-HDRTV task by modeling the formation of SDRTV/HDRTV content. Our analysis and observations indicate that a naive end-to-end supervised training pipeline suffers from severe gamut transition errors. To address this issue, we propose a novel three-step solution pipeline called HDRTVNet++, which includes adaptive global color mapping, local enhancement, and highlight refinement. The adaptive global color mapping step uses global statistics as guidance to perform image-adaptive color mapping. A local enhancement network is then deployed to enhance local details. Finally, we combine the two sub-networks above as a generator and achieve highlight consistency through GAN-based joint training. Our method is primarily designed for ultra-high-definition TV content and is therefore effective and lightweight for processing 4K resolution images. We also construct a dataset using HDR videos in the HDR10 standard, named HDRTV1K that contains 1235 and 117 training images and 117 testing images, all in 4K resolution. Besides, we select five metrics to evaluate the results of SDRTV-to-HDRTV algorithms. Our final results demonstrate state-of-the-art performance both quantitatively and visually. The code, model and dataset are available at https://github.com/xiaom233/HDRTVNet-plus.


title: Sample-Efficient Co-Design of Robotic Agents Using Multi-fidelity Training on Universal Policy Network

abstract: Co-design involves simultaneously optimizing the controller and agents physical design. Its inherent bi-level optimization formulation necessitates an outer loop design optimization driven by an inner loop control optimization. This can be challenging when the design space is large and each design evaluation involves data-intensive reinforcement learning process for control optimization. To improve the sample-efficiency we propose a multi-fidelity-based design exploration strategy based on Hyperband where we tie the controllers learnt across the design spaces through a universal policy learner for warm-starting the subsequent controller learning problems. Further, we recommend a particular way of traversing the Hyperband generated design matrix that ensures that the stochasticity of the Hyperband is reduced the most with the increasing warm starting effect of the universal policy learner as it is strengthened with each new design evaluation. Experiments performed on a wide range of agent design problems demonstrate the superiority of our method compared to the baselines. Additionally, analysis of the optimized designs shows interesting design alterations including design simplifications and non-intuitive alterations that have emerged in the biological world.


title: Asymmetric Quantum Illumination with three-mode Gaussian State

abstract: Quantum illumination with asymmetric strategy is examined by making use of the three-mode maximally entangled Gaussian state, which involves one signal and two idler beams. It is shown that this scenario gives less-error probability compared to that with the two-mode squeezed vacuum state when $N_S$, average photon number per signal, is less than $0.46$.


title: Unsupervised Multi-document Summarization with Holistic Inference

abstract: Multi-document summarization aims to obtain core information from a collection of documents written on the same topic. This paper proposes a new holistic framework for unsupervised multi-document extractive summarization. Our method incorporates the holistic beam search inference method associated with the holistic measurements, named Subset Representative Index (SRI). SRI balances the importance and diversity of a subset of sentences from the source documents and can be calculated in unsupervised and adaptive manners. To demonstrate the effectiveness of our method, we conduct extensive experiments on both small and large-scale multi-document summarization datasets under both unsupervised and adaptive settings. The proposed method outperforms strong baselines by a significant margin, as indicated by the resulting ROUGE scores and diversity measures. Our findings also suggest that diversity is essential for improving multi-document summary performance.


title: Data-driven classification of low-power communication signals by an unauthenticated user using a software-defined radio

abstract: Many large-scale distributed multi-agent systems exchange information over low-power communication networks. In particular, agents intermittently communicate state and control signals in robotic network applications, often with limited power over an unlicensed spectrum, prone to eavesdropping and denial-of-service attacks. In this paper, we argue that a widely popular low-power communication protocol known as LoRa is vulnerable to denial-of-service attacks by an unauthenticated attacker if it can successfully identify a target signal's bandwidth and spreading factor. Leveraging a structural pattern in the LoRa signal's instantaneous frequency representation, we relate the problem of jointly inferring the two unknown parameters to a classification problem, which can be efficiently implemented using neural networks.


title: Toward Sufficient Spatial-Frequency Interaction for Gradient-aware Underwater Image Enhancement

abstract: Underwater images suffer from complex and diverse degradation, which inevitably affects the performance of underwater visual tasks. However, most existing learning-based Underwater image enhancement (UIE) methods mainly restore such degradations in the spatial domain, and rarely pay attention to the fourier frequency information. In this paper, we develop a novel UIE framework based on spatial-frequency interaction and gradient maps, namely SFGNet, which consists of two stages. Specifically, in the first stage, we propose a dense spatial-frequency fusion network (DSFFNet), mainly including our designed dense fourier fusion block and dense spatial fusion block, achieving sufficient spatial-frequency interaction by cross connections between these two blocks. In the second stage, we propose a gradient-aware corrector (GAC) to further enhance perceptual details and geometric structures of images by gradient map. Experimental results on two real-world underwater image datasets show that our approach can successfully enhance underwater images, and achieves competitive performance in visual quality improvement. The code is available at https://github.com/zhihefang/SFGNet.


title: Search for the semileptonic decays $D^+_s \to K_1(1270)^0 e^+\nu_e$ and $D^+_s \to b_1(1235)^0 e^+\nu_e$

abstract: By analyzing 7.33\,fb$^{-1}$ of $e^+e^-$ collision data collected at center-of-mass energies between 4.128 and 4.226 GeV with the BESIII detector, we search for the semileptonic decays $D^+_s \to K_1(1270)^0 e^+\nu_e$ and $D^+_s \to b_1(1235)^0 e^+\nu_e$ for the first time. No significant signals are observed for either decay mode. The upper limits on the (product) branching fractions are determined to be ${\mathcal B}[D^+_s \to K_1(1270)^0 e^+\nu_e] < 4.1\times 10^{-4}$ and ${\mathcal B}[D^+_s \to b_1(1235)^0 e^+\nu_e]\cdot {\mathcal B}[b_1(1235)^0\to \omega\pi^0] < 6.4\times 10^{-4}$ at 90\% confidence level.


title: Riemannian Anderson Mixing Methods for Minimizing $C^2$-Functions on Riemannian Manifolds

abstract: The Anderson Mixing (AM) method is a popular approach for accelerating fixed-point iterations by leveraging historical information from previous steps. In this paper, we introduce the Riemannian Anderson Mixing (RAM) method, an extension of AM to Riemannian manifolds, and analyze its local linear convergence under reasonable assumptions. Unlike other extrapolation-based algorithms on Riemannian manifolds, RAM does not require computing the inverse retraction or inverse exponential mapping and has a lower per-iteration cost. Furthermore, we propose a variant of RAM called Regularized RAM (RRAM), which establishes global convergence and exhibits similar local convergence properties as RAM. Our proof relies on careful error estimations based on the local geometry of Riemannian manifolds. Finally, we present experimental results on various manifold optimization problems that demonstrate the superior performance of our proposed methods over existing Riemannian gradient descent and LBFGS approaches.


title: Magnetized Accretion Disks with Outflows for Changing-look AGNs

abstract: Changing-look active galactic nuclei (CL-AGNs) challenges the standard accretion theory owing to its rapid variability. Recent numerical simulations have shown that, for the sub-Eddington accretion case, the disk is magnetic pressure-dominated, thermally stable, and geometrically thicker than the standard disk. In addition, outflows were found in the simulations. Observationally, high blueshifted velocities absorption lines indicate that outflows exist in AGNs. In this work, based on the simulation results, we investigate the magnetic pressure-dominated disk, and find that the accretion timescale is significantly shorter than that of the standard thin disk. However, such a timescale is still longer than that of the CL-AGNs. Moreover, if the role of outflows is taken into account, then the accretion timescale can be even shortened. By the detailed comparison of the theoretical accretion timescale with the observations, we propose that the magnetic pressure-dominated disk incorporating outflows can be responsible for the rapid variability of CL-AGNs.


title: Diamond quantum magnetometer with dc sensitivity of < 10 pT Hz$^{-1/2}$ toward measurement of biomagnetic field

abstract: We present a sensitive diamond quantum sensor with a magnetic field sensitivity of $9.4 \pm 0.1~\mathrm{pT/\sqrt{Hz}}$ in a near-dc frequency range of 5 to 100~Hz. This sensor is based on the continuous-wave optically detected magnetic resonance of an ensemble of nitrogen-vacancy centers along the [111] direction in a diamond (111) single crystal. The long $T_{2}^{\ast} \sim 2~\mathrm{\mu s}$ in our diamond and the reduced intensity noise in laser-induced fluorescence result in remarkable sensitivity among diamond quantum sensors. Based on an Allan deviation analysis, we demonstrate that a sub-picotesla field of 0.3~pT is detectable by interrogating the magnetic field for a few thousand seconds. The sensor head is compatible with various practical applications and allows a minimum measurement distance of about 1~mm from the sensing region. The proposed sensor facilitates the practical application of diamond quantum sensors.


title: Gabor frames and higher dimensional boundaries in signal analysis on manifolds

abstract: We provide a construction of Gabor frames that encode local linearizations of a signal detected on a curved smooth manifold of arbitrary dimension, with Gabor filters that can detect the presence of higher-dimensional boundaries in the manifold signal. We describe an application in configuration spaces in robotics with sharp constrains. The construction is a higher-dimensional generalization of the geometric setting developed for the study of signal analysis in the visual cortex.


title: Unitary time evolution in quantum mechanics is a stronger physical postulate than linear time evolution

abstract: Discussions of quantum mechanics often loosely claim that time evolution logically must be unitary, in order for the probabilistic interpretation of the amplitudes of the state vector to make sense at all times. We discuss from first principles whether this claim is true: if we assume only that the time-evolution operator is *linear*, then does the stronger requirement that it be *unitary* follow from the other axioms of quantum mechanics? The answer is subtle. We discuss two mathematically distinct but physically equivalent formulations of the axioms of quantum mechanics, and consider generalizing each to postulate only that time evolution is linear. Within one formulation, the unitarity of time evolution follows logically from the other axioms -- but within the other formulation, it does not. Allowing the time-evolution operator be (a priori) arbitrarily linear does not change the physical observables in one formulation of quantum mechanics, but changes the other formulation to a *distinct* (internally consistent) physical theory that allows new phenomonology like (e.g.) faster-than-light communication. Therefore, the unitarity of time evolution is arguably better thought of as a logically independent and experimentally falsifiable axiom of quantum mechanics, not as a tautological consequence of the other axioms.


title: Kinetic description of scalar conservation laws with Markovian data

abstract: We derive a kinetic equation to describe the statistical structure of solutions $\rho$ to scalar conservation laws $\rho_t=H(x,t,\rho )_x$, with certain Markov initial conditions. When the Hamiltonian function is convex and increasing in $\rho$, we show that the solution $\rho(x,t)$ is a Markov process in $x$ (respectively $t$) with $t$ (respectively $x$) fixed. Two classes of Markov conditions are considered in this article. In the first class, the initial data is characterize by a drift $b$ which satisfies a linear PDE, and a jump density $f$ which satisfies a kinetic equation as time varies. In the second class, the initial data is a concatenation of fundamental solutions that are characterized by a parameter $y$, which is a Markov jump process with a jump density $g$ satisfying a kinetic equation. When $H$ is not increasing in $\rho$, the restriction of $\rho$ to a line in $(x,t)$ plane is a Markov process of the same type, provided that the slope of the line satisfies an inequality.


title: Discretized Radial Projections in $\mathbb{R}^d$

abstract: We generalize a Furstenberg-type result of Orponen-Shmerkin to higher dimensions, leading to an $\epsilon$-improvement in Kaufman's projection theorem for hyperplanes and an unconditional discretized radial projection theorem in the spirit of Orponen-Shmerkin-Wang. Our proof relies on a new incidence estimate for $\delta$-tubes and a quasi-product set of $\delta$-balls in $\mathbb{R}^d$.


title: A competition model with impulsive interventions and environmental perturbations in moving environments

abstract: In order to understand how impulsive interventions and environmental perturbations affect dynamics of competitors, we focus on a diffusive competition model with free boundaries and periodic pulses in a temporally heterogeneous environment with upward or downward advection. The dependence of the principal eigenvalue of corresponding periodic impulsive eigenvalue problem on advection rates, habitat sizes and pulses is investigated, which gives precise conditions that classify the dynamics into four types of competition outcomes including coexistence, co-extinction, two different competition exclusions for small or negative advection rates. Some sufficient conditions on pulses or initial habitats for species spreading or vanishing, and spreading speeds are then established. Our results not only extend the existing ones to the case with pulses, but also reveal the effects of human and natural factors, that is, impulsive interventions factors including positive or negative impulsive effect, pulse intensity and timing can significantly affect and alter the competition outcomes. The different performances of the superior and inferior affected by environmental perturbations are also reflected in the simulations.


title: Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs

abstract: We consider the question of approximating Max 2-CSP where each variable appears in at most $d$ constraints (but with possibly arbitrarily large alphabet). There is a simple $(\frac{d+1}{2})$-approximation algorithm for the problem. We prove the following results for any sufficiently large $d$: - Assuming the Unique Games Conjecture (UGC), it is NP-hard (under randomized reduction) to approximate this problem to within a factor of $\left(\frac{d}{2} - o(d)\right)$. - It is NP-hard (under randomized reduction) to approximate the problem to within a factor of $\left(\frac{d}{3} - o(d)\right)$. Thanks to a known connection [Dvorak et al., Algorithmica 2023], we establish the following hardness results for approximating Maximum Independent Set on $k$-claw-free graphs: - Assuming the Unique Games Conjecture (UGC), it is NP-hard (under randomized reduction) to approximate this problem to within a factor of $\left(\frac{k}{4} - o(k)\right)$. - It is NP-hard (under randomized reduction) to approximate the problem to within a factor of $\left(\frac{k}{3 + 2\sqrt{2}} - o(k)\right) \geq \left(\frac{k}{5.829} - o(k)\right)$. In comparison, known approximation algorithms achieve $\left(\frac{k}{2} - o(k)\right)$-approximation in polynomial time [Neuwohner, STACS 2021; Thiery and Ward, SODA 2023] and $(\frac{k}{3} + o(k))$-approximation in quasi-polynomial time [Cygan et al., SODA 2013].


title: Preserved Edge Convolutional Neural Network for Sensitivity Enhancement of Deuterium Metabolic Imaging (DMI)

abstract: Purpose: Common to most MRSI techniques, the spatial resolution and the minimal scan duration of Deuterium Metabolic Imaging (DMI) are limited by the achievable SNR. This work presents a deep learning method for sensitivity enhancement of DMI. Methods: A convolutional neural network (CNN) was designed to estimate the 2H-labeled metabolite concentrations from low SNR and distorted DMI FIDs. The CNN was trained with synthetic data that represent a range of SNR levels typically encountered in vivo. The estimation precision was further improved by fine-tuning the CNN with MRI-based edge-preserving regularization for each DMI dataset. The proposed processing method, PReserved Edge ConvolutIonal neural network for Sensitivity Enhanced DMI (PRECISE-DMI), was applied to simulation studies and in vivo experiments to evaluate the anticipated improvements in SNR and investigate the potential for inaccuracies. Results: PRECISE-DMI visually improved the metabolic maps of low SNR datasets, and quantitatively provided higher precision than the standard Fourier reconstruction. Processing of DMI data acquired in rat brain tumor models resulted in more precise determination of 2H-labeled lactate and glutamate + glutamine levels, at increased spatial resolution (from >8 to 2 $\mu$L) or shortened scan time (from 32 to 4 min) compared to standard acquisitions. However, rigorous SD-bias analyses showed that overuse of the edge-preserving regularization can compromise the accuracy of the results. Conclusion: PRECISE-DMI allows a flexible trade-off between enhancing the sensitivity of DMI and minimizing the inaccuracies. With typical settings, the DMI sensitivity can be improved by 3-fold while retaining the capability to detect local signal variations.


title: The largest eigenvalue of $\mathcal{C}_4^{-}$-free signed graphs

abstract: Let $\mathcal{C}_{k}^{-}$ be the set of all negative $C_k$. For odd cycle, Wang, Hou and Li [29] gave a spectral condition for the existence of negative $C_3$ in unbalanced signed graphs. For even cycle, we determine the maximum index among all $\mathcal{C}_4^{-}$-free unbalanced signed graphs and completely characterize the extremal signed graph in this paper. This could be regarded as a signed graph version of the results by Nikiforov [23] and Zhai and Wang [37].


title: Bounds on tower mass scales in the presence of throats of different warping

abstract: In Type IIB flux compactification realizing the metastable de Sitter (dS) vacuum, the uplift potential can be generated by $\overline{\rm D3}$-branes at the tip of Klebanov-Strassler throat. Then the uplift potential obeys the scaling law with respect to the tower mass scale $m_{\rm sc}$, which can be the Kaluza-Klein (KK) mass scale associated with the throat containing $\overline{\rm D3}$-branes or the bulk tower mass scales, depending on the warping of the throat. On the other hand, in the presence of another throat of stronger warping, the KK mass scale associated with this throat is lower than $m_{\rm sc}$. Nevertheless, the Higuchi bound and the condition that the tower mass scale is higher than the gravitino mass provide the upper bound on $m_{\rm sc}$ determined by the lowest tower mass scale (or gravitino mass). This bound also can be interpreted as the lower bound on the lowest tower mass scale determined by $m_{\rm sc}$. We investigate this bound in detail when the throat containing $\overline{\rm D3}$-branes is strongly and weakly warped, respectively.


title: New improvement to Falconer distance set problem in higher dimensions

abstract: We show that if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 3$, then there is a point $x\in E$ such that the pinned distance set $\Delta_x(E)$ has positive Lebesgue measure. This improves upon bounds of Du-Zhang and Du-Iosevich-Ou-Wang-Zhang in all dimensions $d \ge 3$. We also prove lower bounds for Hausdorff dimension of pinned distance sets when $\dim_H (E) \in (\frac{d}{2} - \frac{1}{4} - \frac{3}{8d+4}, \frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4})$, which improves upon bounds of Harris and Wang-Zheng in dimensions $d \ge 3$.


title: Design of multifunctional color routers with Kerker switching using generative adversarial networks

abstract: To achieve optoelectronic devices with high resolution and efficiency, there is a pressing need for optical structural units that possess an ultrasmall footprint yet exhibit strong controllability in both the frequency and spatial domains. For dielectric nanoparticles, the overlap of electric and magnetic dipole moments can scatter light completely forward or backward, which is called Kerker theory. This effect can expand to any multipoles and any directions, re-named as generalized Kerker effect, and realize controllable light manipulation at full space and full spectrum using well-designed dielectric structures. However, the complex situations of multipole couplings make it difficult to achieve structural design. Here, generative artificial intelligence (AI) is utilized to facilitate multi-objective-oriented structural design, wherein we leverage the concept of "combined spectra" that consider both spectra and direction ratios as labels. The proposed generative adversarial network (GAN) is named as DDGAN (double-discriminator GAN) which discriminates both images and spectral labels. Using trained networks, we achieve the simultaneous design for scattering color and directivities, RGB color routers, as well as narrowband light routers. Notably, all generated structures possess a footprint less than 600x600 nm indicating their potential applications in optoelectronic devices with ultrahigh resolution.


title: Weakly Supervised Point Clouds Transformer for 3D Object Detection

abstract: The annotation of 3D datasets is required for semantic-segmentation and object detection in scene understanding. In this paper we present a framework for the weakly supervision of a point clouds transformer that is used for 3D object detection. The aim is to decrease the required amount of supervision needed for training, as a result of the high cost of annotating a 3D datasets. We propose an Unsupervised Voting Proposal Module, which learns randomly preset anchor points and uses voting network to select prepared anchor points of high quality. Then it distills information into student and teacher network. In terms of student network, we apply ResNet network to efficiently extract local characteristics. However, it also can lose much global information. To provide the input which incorporates the global and local information as the input of student networks, we adopt the self-attention mechanism of transformer to extract global features, and the ResNet layers to extract region proposals. The teacher network supervises the classification and regression of the student network using the pre-trained model on ImageNet. On the challenging KITTI datasets, the experimental results have achieved the highest level of average precision compared with the most recent weakly supervised 3D object detectors.


title: Meta predictive learning model of languages in neural circuits

abstract: Large language models based on self-attention mechanisms have achieved astonishing performances not only in natural language itself, but also in a variety of tasks of different nature. However, regarding processing language, our human brain may not operate using the same principle. Then, a debate is established on the connection between brain computation and artificial self-supervision adopted in large language models. One of most influential hypothesis in brain computation is the predictive coding framework, which proposes to minimize the prediction error by local learning. However, the role of predictive coding and the associated credit assignment in language processing remains unknown. Here, we propose a mean-field learning model within the predictive coding framework, assuming that the synaptic weight of each connection follows a spike and slab distribution, and only the distribution, rather than specific weights, is trained. This meta predictive learning is successfully validated on classifying handwritten digits where pixels are input to the network in sequence, and moreover on the toy and real language corpus. Our model reveals that most of the connections become deterministic after learning, while the output connections have a higher level of variability. The performance of the resulting network ensemble changes continuously with data load, further improving with more training data, in analogy with the emergent behavior of large language models. Therefore, our model provides a starting point to investigate the connection among brain computation, next-token prediction and general intelligence.


title: Investigation of temperature stress tolerance in Arabidopsis STTM165/166 using electrophysiology and RNA-Seq

abstract: Plant electrical signals have been shown to be generated in response to various environmental stresses, but the relationship between these signals and stress tolerance is not well understood. In this study, we used the Arabidopsis STTM165/166 mutant, which exhibits enhanced temperature tolerance, to examine this relationship. Surface recording techniques were utilized to compare the generation ratio and duration characteristics of electrical signals in the STTM165/166 mutant and wild type (WT). Patch-clamp recording was employed to assess ion channel currents, specifically those of calcium ions. The current intensity of the mutant was found to be lower than that of the WT. As calcium ions are involved in the generation of plant electrical signals, we hypothesized that the reduced calcium channel activity in the mutant increased its electrical signal threshold. RNA-Seq analysis revealed differential expression of AHA genes in the STTM165/166 mutant, which may contribute to the prolonged depolarization phenotype. Gene Ontology enrichment of differentially expressed genes (DEGs) identified associations between these DEGs and various stresses, including temperature, salt, and those related to the jasmonic acid and abscisic acid pathways. These findings provide experimental evidence for the use of plant electrical signals in characterizing stress tolerance and explore potential ion mechanisms through patch-clamp recording and DEG Gene Ontology analysis. They also emphasize the need for further research on the relationship between plant electrical signals and stress tolerance.


title: Convergence of multiple Dirichlet L-series

abstract: In this paper we study the convergence of multiple Dirichlet L-series. In particular we give an integral representation of the series in the region of convergence by using Abel's summation formula. A certain generalized result is also mentioned.


title: From Text to Mask: Localizing Entities Using the Attention of Text-to-Image Diffusion Models

abstract: Diffusion models have revolted the field of text-to-image generation recently. The unique way of fusing text and image information contributes to their remarkable capability of generating highly text-related images. From another perspective, these generative models imply clues about the precise correlation between words and pixels. In this work, a simple but effective method is proposed to utilize the attention mechanism in the denoising network of text-to-image diffusion models. Without re-training nor inference-time optimization, the semantic grounding of phrases can be attained directly. We evaluate our method on Pascal VOC 2012 and Microsoft COCO 2014 under weakly-supervised semantic segmentation setting and our method achieves superior performance to prior methods. In addition, the acquired word-pixel correlation is found to be generalizable for the learned text embedding of customized generation methods, requiring only a few modifications. To validate our discovery, we introduce a new practical task called "personalized referring image segmentation" with a new dataset. Experiments in various situations demonstrate the advantages of our method compared to strong baselines on this task. In summary, our work reveals a novel way to extract the rich multi-modal knowledge hidden in diffusion models for segmentation.


title: A Maximum Force Perspective on Black Hole Thermodynamics, Quantum Pressure, and Near-Extremality

abstract: I re-examined the notion of the thermodynamic force constructed from the first law of black hole thermodynamics. In general relativity, the value of the charge (or angular momentum) at which the thermodynamic force equals the conjectured maximum force $F=1/4$ is found to correspond to $Q^2/M^2=8/9$ (respectively, $a^2/M^2=8/9$), which is known in the literature to exhibit some special properties. This provides a possible characterization of near-extremality. In addition, taking the maximum force conjecture seriously amounts to introducing a pressure term in the first law of black hole thermodynamics. This resolves the factor of two problem between the proposed maximum value $F=1/4$ and the thermodynamic force of Schwarzschild spacetime $F=1/2$. Surprisingly it also provides another indication for the instability of the inner horizon. For a Schwarzschild black hole, under some reasonable assumptions, this pressure can be interpreted as being induced by the quantum fluctuation of the horizon position, effectively giving rise to a diffused "shell" of characteristic width $\sqrt{M}$. The maximum force can therefore, in some contexts, be associated with inherently quantum phenomena. Some implications are discussed as more questions are raised.


title: Weak approximation versus the Hasse principle for subvarieties of abelian varieties

abstract: For varieties over global fields, weak approximation in the space of adelic points can fail. For a subvariety of an abelian variety one expects this failure is always explained by a finite descent obstruction, in the sense that the rational points should be dense in the set of (modified) adelic points surviving finite descent. We show that this follows from the a priori weaker assumption that finite descent is the only obstruction to the existence of rational points. We also prove a similar statement for the obstruction coming from the Mordell-Weil sieve.


title: Pseudo R\'enyi Entanglement Entropies For an Excited State and Its Time Evolution in a 2D CFT

abstract: In this paper, we investigate the second and third pseudo R\'enyi entanglement entropies (PREE) for a locally excited state $| \psi \rangle $ and its time evolution $| \phi \rangle = e^{- i H t} | \psi \rangle$ in a two-dimensional conformal field theory whose field content is a free massless scalar field. We consider excited states which are constructed by applying primary operators at time $t=0$, on the vacuum state. We study the time evolution of the PREE for an entangling region in the shape of finite and semi-infinite intervals at zero temperature. It is observed that the PREE is always a complex number for $t \neq 0$ and is a pure real number at $t=0$. Moreover, we discuss on its dependence on the location $x_m$ of the center of the entangling region.


title: A Rv map of the Milky Way revealed by LAMOST

abstract: The total-to-selective extinction ratio, Rv, is a key parameter for tracing the properties of interstellar dust, as it directly determines the variation of the extinction curve with wavelength. By utilizing accurate color excess measurements from the optical to the mid-infrared range, we have derived Rv values for approximately 3 million stars from the LAMOST data release 7 (DR7) using a forward modeling technique. This extensive dataset enables us to construct a comprehensive two-dimensional Rv map of the Milky Way within the LAMOST footprint at a spatial resolution of ~27.5arcmin. Based on reliable sightlines of E(B-V) > 0.1, we find that Rv exhibits a Gaussian distribution centered around 3.25 with a standard deviation of 0.25. The spatial variability of Rv in the Galactic disk exhibits a wide range, spanning from small scales within individual molecular clouds to large scales up to kiloparsecs. A striking correlation is observed between the distribution of Rv and molecular clouds. Notably, we observe lower Rv values within the regions of nearby molecular clouds compared to their surrounding areas. Furthermore, we have investigated the relationships between Rv and various parameters, including dust temperature, dust emissivity spectral index, column density of atomic and molecular hydrogen, as well as their ratios and the gas-to-dust ratio. We find that these relationships vary with the level of extinction. These analyses provide new insights into the properties and evolution of dust grains in diverse interstellar environments and also hold significant importance for achieving accurate extinction corrections.


title: New Consistency Relations between Averages and Variances of Weakly Lensed Signals of Gravitational Waves

abstract: The lensing of gravitational waves (GWs) occurs when GWs experience local gravitational potential. In the weak lensing regime, it has been reported that a simple consistency relation holds between the variances of the magnification and phase modulation. In this paper, we present two additional consistency relations between the averages and variances of the weakly lensed GW signals in wave optics. We demonstrate that these consistency relations are derived as the weak lensing limit of the full-order relations for the averages of the amplification factor and its absolute square. These full-order relations appear to originate from energy conservation and the Shapiro time delay, and they are demonstrated to hold irrespective of the matter distribution.


title: Two-sorted Modal Logic for Formal and Rough Concepts

abstract: In this paper, we propose two-sorted modal logics for the representation and reasoning of concepts arising from rough set theory (RST) and formal concept analysis (FCA). These logics are interpreted in two-sorted bidirectional frames, which are essentially formal contexts with converse relations. On one hand, the logic $\textbf{KB}$ contains ordinary necessity and possibility modalities and can represent rough set-based concepts. On the other hand, the logic $\textbf{KF}$ has window modality that can represent formal concepts. We study the relationship between \textbf{KB} and \textbf{KF} by proving a correspondence theorem. It is then shown that, using the formulae with modal operators in \textbf{KB} and \textbf{KF}, we can capture formal concepts based on RST and FCA and their lattice structures.


title: Aggregation of financial markets

abstract: We present a formal framework for the aggregation of financial markets mediated by arbitrage. Our main tool is to characterize markets via utility functions and to employ a one-to-one correspondence to limit order book states. Inspired by the theory of thermodynamics we argue that the arbitrage-mediated aggregation mechanism gives rise to a market-dynamical entropy, which quantifies the loss of liquidity caused by aggregation. We also discuss future directions of research in this emerging theory of market dynamics.