title: Uncertainty and Exploration of Deep Learning-based Atomistic Models for Screening Molten Salt Properties and Compositions

abstract: Due to extreme chemical, thermal, and radiation environments, existing molten salt property databases lack the necessary experimental thermal properties of reactor-relevant salt compositions. Meanwhile, simulating these properties directly is typically either computationally expensive or inaccurate. In recent years, deep learning (DL)-based atomistic simulations have emerged as a method for achieving both efficiency and accuracy. However, there remain significant challenges in assessing model reliability in DL models when simulating properties and screening new systems. In this work, structurally complex LiF-NaF-ZrF$_4$ salt is studied. We show that neural network (NN) uncertainty can be quantified using ensemble learning to provide a 95% confidence interval (CI) for NN-based predictions. We show that DL models can successfully extrapolate to new compositions, temperatures, and timescales, but fail for significant changes in density, which is captured by ensemble-based uncertainty predictions. This enables improved confidence in utilizing simulated data for realistic reactor conditions, and guidelines for training deployable DL models.


title: Giant Linear Dichroism Controlled by Magnetic Field in FePS$_3$

abstract: Magnetic-field control of fundamental optical properties is a crucial challenge in the engineering of multifunctional microdevices. Van der Waals (vdW) magnets retaining a magnetic order even in atomically thin layers, offer a promising platform for hosting exotic magneto-optical functionalities owing to their strong spin-charge coupling. Here, we demonstrate that a giant optical anisotropy can be controlled by magnetic fields in the vdW magnet FePS$_3$. The giant linear dichroism ($\sim$11%), observed below $T_{\text{N}}\!\sim\!120$ K, is nearly fully suppressed in a wide energy range from 1.6 to 2.0 eV, following the collapse of the zigzag magnetic order above 40 T. This remarkable phenomenon can be explained as a result of symmetry changes due to the spin order, enabling minority electrons of Fe$^{2+}$ to hop in a honeycomb lattice. The modification of spin-order symmetry by external fields provides a novel route for controllable anisotropic optical micro-devices.


title: WISER: multimodal variational inference for full-waveform inversion without dimensionality reduction

abstract: We present a semi-amortized variational inference framework designed for computationally feasible uncertainty quantification in 2D full-waveform inversion to explore the multimodal posterior distribution without dimensionality reduction. The framework is called WISER, short for full-Waveform variational Inference via Subsurface Extensions with Refinements. WISER leverages the power of generative artificial intelligence to perform approximate amortized inference that is low-cost albeit showing an amortization gap. This gap is closed through non-amortized refinements that make frugal use of acoustic wave physics. Case studies illustrate that WISER is capable of full-resolution, computationally feasible, and reliable uncertainty estimates of velocity models and imaged reflectivities.


title: Topological analysis of entropy measure using regression models for diamond structure

abstract: A numerical parameter, referred to as a topological index, is used to represent the molecular structure of a compound by analyzing its graph-theoretical characteristics. Topological indices are predictive methods for the physicochemical properties of chemical compounds in the context of quantitative structure-activity relationship (QSAR) and quantitative structure-property relationship (QSPR) analysis. Graph entropies have evolved into information-theoretic tools for exploring the structural information of molecular graphs. In this paper, we compute the Nirmala index, as well as the first and second inverse Nirmala index, for the diamond structure using its M-polynomial. Furthermore, entropy measures based on Nirmala indices are derived for the diamond structure. The comparison of the Nirmala indices and corresponding entropy measures is presented through numerical computation and 2D line plots. A regression model is built to investigate the relationship between the Nirmala indices and corresponding entropy measures.


title: Causal inference approach to appraise long-term effects of maintenance policy on functional performance of asphalt pavements

abstract: Asphalt pavements as the most prevalent transportation infrastructure, are prone to serious traffic safety problems due to functional or structural damage caused by stresses or strains imposed through repeated traffic loads and continuous climatic cycles. The good quality or high serviceability of infrastructure networks is vital to the urbanization and industrial development of nations. In order to maintain good functional pavement performance and extend the service life of asphalt pavements, the long-term performance of pavements under maintenance policies needs to be evaluated and favorable options selected based on the condition of the pavement. A major challenge in evaluating maintenance policies is to produce valid treatments for the outcome assessment under the control of uncertainty of vehicle loads and the disturbance of freeze-thaw cycles in the climatic environment. In this study, a novel causal inference approach combining a classical causal structural model and a potential outcome model framework is proposed to appraise the long-term effects of four preventive maintenance treatments for longitudinal cracking over a 5-year period of upkeep. Three fundamental issues were brought to our attention: 1) detection of causal relationships prior to variables under environmental loading (identification of causal structure); 2) obtaining direct causal effects of treatment on outcomes excluding covariates (identification of causal effects); and 3) sensitivity analysis of causal relationships. The results show that the method can accurately evaluate the effect of preventive maintenance treatments and assess the maintenance time to cater well for the functional performance of different preventive maintenance approaches. This framework could help policymakers to develop appropriate maintenance strategies for pavements.


title: Tropical friezes and cluster-additive functions via Fock-Goncharov duality and a conjecture of Ringel

abstract: We study tropical friezes and cluster-additive functions associated to symmetrizable generalized Cartan matrices in the framework of Fock-Goncharov duality in cluster algebras. In particular, we generalize and prove a conjecture of C. M. Ringel on cluster-additive functions associated to arbitrary Cartan matrices of finite type. For a Fock-Goncharov dual pair of positive spaces of finite type, we use tropical friezes and cluster-additive functions to explicitly express the Fock-Goncharov pairing between their tropical points and the bijections between global monomials on one and tropical points of the other.


title: Detecting 5G Signal Jammers Using Spectrograms with Supervised and Unsupervised Learning

abstract: Cellular networks are potential targets of jamming attacks to disrupt wireless communications. Since the fifth generation (5G) of cellular networks enables mission-critical applications, such as autonomous driving or smart manufacturing, the resulting malfunctions can cause serious damage. This paper proposes to detect broadband jammers by an online classification of spectrograms. These spectrograms are computed from a stream of in-phase and quadrature (IQ) samples of 5G radio signals. We obtain these signals experimentally and describe how to design a suitable dataset for training. Based on this data, we compare two classification methods: a supervised learning model built on a basic convolutional neural network (CNN) and an unsupervised learning model based on a convolutional autoencoder (CAE). After comparing the structure of these models, their performance is assessed in terms of accuracy and computational complexity.


title: A Categorical Development of Right Derived Functors

abstract: Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm of pure abstract category theory in their development of the field, leveraging the Freyd-Mitchell embedding theorem or similar results, or otherwise using set-theoretic language to augment a general categorical discussion. This paper seeks to demonstrate that - while it is not necessary for most mathematicians' purposes - a development of homological concepts can be contrived from purely categorical notions. We begin by outlining the categories we will work within, namely Abelian categories (building off additive categories). We continue to develop cohomology groups of sequences, eventually culminating in a development of right derived functors. This paper is designed to be a minimalist construction, supplying no examples or motivation beyond what is necessary to develop the ideas presented.


title: A holographic global uniqueness in passive imaging

abstract: We consider a radiation solution $\psi$ for the Helmholtz equation in an exterior region in $\mathbb R^3$. We show that the restriction of $\psi$ to any ray $L$ in the exterior region is uniquely determined by its imaginary part $\Im\psi$ on an interval of this ray. As a corollary, the restriction of $\psi$ to any plane $X$ in the exterior region is uniquely determined by $\Im\psi$ on an open domain in this plane. These results have holographic prototypes in the recent work [Novikov, arXiv:2310.11127]. In particular, these and known results imply a holographic type global uniqueness in passive imaging and for the Gelfand-Krein-Levitan inverse problem in the monochromatic case. Some other surfaces for measurements instead of the planes $X$ are also considered.


title: The jet problem for three-dimensional axisymmetric compressible subsonic flows with large vorticity

abstract: In this paper, we establish the existence of three-dimensional axisymmetric compressible jet flows for steady Euler system with large vorticity by using the variational method. More precisely, for given axial velocity of the flow at the upstream, if the mass flux is sufficiently large, we can find a unique outer pressure such that a smooth subsonic three-dimensional axisymmetric jet flow with large vorticity exists and has certain far fields behavior.


title: A heuristic sketch how it could fit all together with time

abstract: On a scientific meta-level, it is discussed how an overall understanding of the physical universe can be built on the basis of well-proven theories and recent experiments and observations. In the light of almost a century of struggle to make (common) sense of Quantum Mechanics and to reconcile it with General Relativity, it is proposed to (for some time) forget about quantizing gravity or striving for one Theory of Everything or 'Weltformel', which would describe the whole of reality seamlessly without any joints or suture marks. Instead of one single monolithic formalism, a three-legged compound approach is argued for. Quantum Mechanics, Relativity and Thermodynamics are proposed as the main pillars of reality, each with its well-defined realm, specific features, and clearly marked interfaces between the three of them. Not only classical reality, which is rather directly accessible to us, is then comprehensively modelled by their encompassing combination. Quantum phenomena are understood as undoubtedly lying at the bottom of classical physics and at the same time, they become 'fully real' only when embedded in classical frames between preparation and measurement in time. It is then where thermodynamics steps in and provides the mediating glue as it does at interfaces towards gravity. The aim of this short contribution is not to deliver novel quantitative results but rather to propose a comprehensive research program and to coarsely lay out a very roughly coherent self-referential sketch starting from the beginning of the one universe, which we inhabit.


title: Conformal theory of central surface density for galactic dark halos

abstract: Numerous dark matter studies of galactic halo gravitation depend on models with core radius $r_0$ and central density $\rho_0$. Central surface density product $\rho_0 r_0$ is found to be nearly a universal constant for a large range of galaxies. Standard variational field theory with Weyl conformal symmetry postulated for gravitation and the Higgs scalar field, without dark matter, implies nonclassical centripetal acceleration $\Delta a$, for $a=a_N+\Delta a$, where Newtonian acceleration $a_N$ is due to observable baryonic matter. Neglecting a halo cutoff at very large galactic radius, conformal $\Delta a$ is constant over the entire halo and $a=a_N+\Delta a$ is a universal function, consistent with a recent study of galaxies that constrains acceleration due to dark matter or to alternative theory. An equivalent dark matter source is a pure cusp distribution with cutoff parameter determined by a halo boundary radius. This is shown here to imply universal central surface density for any dark matter core model.


title: Suppression of blow-up in Patlak-Keller-Segel system coupled with linearized Navier-Stokes equations via the 3D Couette flow

abstract: It is known that finite-time blow-up in the 3D Patlak-Keller-Segel system may occur for arbitrarily small values of the initial mass. It's interesting whether one can prevent the finite-time blow-up via the stabilizing effect of the moving fluid. Consider the three-dimensional Patlak-Keller-Segel system coupled with the linearized Navier-Stokes equations near the Couette flow $(\ Ay, 0, 0 \ )$ in a finite channel $\mathbb{T}\times\mathbb{I}\times\mathbb{T}$ with $ \mathbb{T}=[0,2\pi) $ and $ \mathbb{I}=[-1,1] $, with the non-slip boundary condition, and we show that if the shear flow is sufficiently strong (A is large enough), then the solutions to Patlak-Keller-Segel-Navier-Stokes system are global in time as long as the initial cell mass is sufficiently small (for example, $M<\frac49$) and $ A\left(\|u_{2,0}(0)\|_{L^{2}}+\|u_{3,0}(0)\|_{L^{2}} \right)\leq C_{0} $, which seems to be the first result of considering the suppression effect of Couette flow in the 3D Patlak-Keller-Segel-Navier-Stokes model, and also the first time considering the non-slip boundary condition.


title: Financial Interactions and Capital Accumulation

abstract: In a series of precedent papers, we have presented a comprehensive methodology, termed Field Economics, for translating a standard economic model into a statistical field-formalism framework. This formalism requires a large number of heterogeneous agents, possibly of different types. It reveals the emergence of collective states among these agents or type of agents while preserving the interactions and microeconomic features of the system at the individual level. In two prior papers, we applied this formalism to analyze the dynamics of capital allocation and accumulation in a simple microeconomic framework of investors and firms.Building upon our prior work, the present paper refines the initial model by expanding its scope. Instead of considering financial firms investing solely in real sectors, we now suppose that financial agents may also invest in other financial firms. We also introduce banks in the system that act as investors with a credit multiplier. Two types of interaction are now considered within the financial sector: financial agents can lend capital to, or choose to buy shares of, other financial firms. Capital now flows between financial agents and is only partly invested in real sectors, depending on their relative returns. We translate this framework into our formalism and study the diffusion of capital and possible defaults in the system, both at the macro and micro level.At the macro level, we find that several collective states may emerge, each characterized by a distinct level of average capital and investors per sector. These collective states depend on external parameters such as level of connections between investors or firms' productivity.The multiplicity of possible collective states is the consequence of the nature of the system composed of interconnected heterogeneous agents. Several equivalent patterns of returns and portfolio allocation may emerge. The multiple collective states induce the unstable nature of financial markets, and some of them include defaults may emerge. At the micro level, we study the propagation of returns and defaults within a given collective state. Our findings highlight the significant role of banks, which can either stabilize the system through lending activities or propagate instability through loans to investors.

categories: physics.soc-ph cond-mat.other econ.GN q-fin.EC


title: Noncommutative Number Systems for Quantum Information

abstract: Dirac talked about q-numbers versus c-numbers. Quantum observables are q-number variables that generally do not commute among themselves. He was proposing to have a generalized form of numbers as elements of a noncommutative algebra. That was Dirac's appreciation of the mathematical properties of the physical quantities as presented in Heisenberg's new quantum theory. After all, the familiar real, or complex, number system only came into existence through the history of mathematics. Values of physical quantities having a commutative product is an assumption that is not compatible with quantum physics. The revolutionary idea of Heisenberg and Dirac was pulled back to a much more conservative setting by the work of Schr\"odinger, followed by Born and Bohr. What Bohr missed is that the real number values we obtained from our measurements are only a consequence of the design of the kind of experiments and our using real numbers to calibrate the output scales of our apparatus. It is only our modeling of the information obtained about the physical quantities rather than what Nature dictates. We have proposed an explicit notion of definite noncommutative values of observables that gives a picture of quantum mechanics as realistic as the classical theory. In this article, we illustrate how matrices can be taken as noncommutative (q-)numbers serving as the values of physical quantities, each to be seen as a piece of quantum information. Our main task is to clarify the subtle issues involved in setting up a conventional scheme assigning matrices as values to the physical quantities.


title: On the Raleigh-Ritz variational method. Non-orthogonal basis set

abstract: We overview the main equations of the Rayleigh-Ritz variational method and discuss their connection with the problem of simultaneous diagonalization of two Hermitian matrices.


title: Bounds for asymptotic characters of simple Lie groups

abstract: An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(\lambda,x)$ (where $\lambda,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_\lambda(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $\lambda$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(\lambda,x)$ for fixed $\lambda$ is strictly negative. We quantify this result by providing a lower bound for $c(G)$ in terms of $\dim G$. We also provide upper and lower bounds for $DH_\lambda(0)$ when $|\lambda|=1$. This allows us to show that $|X(\lambda,x)|\le C(G)|\lambda|^{-1}|x|^{-1}$ for some constant $C(G)$ depending only on $G$, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that $c(SL_n)\le (\frac{4}{\pi^2})^{n-2}$. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for $G$.


title: Diffusive Limit of the Vlasov-Maxwell-Boltzmann System without Angular Cutoff

abstract: Diffusive limit of the non-cutoff Vlasov-Maxwell-Boltzmann system in perturbation framework still remains open. By employing a new weight function and making full use of the anisotropic dissipation property of the non-cutoff linearized Boltzmann operator, we solve this problem with some novel treatments for non-cutoff potentials $\gamma > \max\{-3, -\frac{3}{2}-2s\}$, including both strong angular singularity $\frac{1}{2} \leq s <1$ and weak angular singularity $0 < s < \frac{1}{2}$. Uniform estimate with respect to the Knudsen number $\varepsilon\in (0,1]$ is established globally in time, which eventually leads to the global existence of solutions to the non-cutoff Vlasov-Maxwell-Boltzmann system as well as hydrodynamic limit to the two-fluid incompressible Navier-Stokes-Fourier-Maxwell system with Ohm's law. The indicators $\gamma > \max\{-3, -\frac{3}{2}-2s\}$ and $0 < s <1$ in this paper cover all ranges that can be achieved by the previously established global solutions to the non-cutoff Vlasov-Maxwell-Boltzmann system in perturbation framework.


title: UniCorn: A Unified Contrastive Learning Approach for Multi-view Molecular Representation Learning

abstract: Recently, a noticeable trend has emerged in developing pre-trained foundation models in the domains of CV and NLP. However, for molecular pre-training, there lacks a universal model capable of effectively applying to various categories of molecular tasks, since existing prevalent pre-training methods exhibit effectiveness for specific types of downstream tasks. Furthermore, the lack of profound understanding of existing pre-training methods, including 2D graph masking, 2D-3D contrastive learning, and 3D denoising, hampers the advancement of molecular foundation models. In this work, we provide a unified comprehension of existing pre-training methods through the lens of contrastive learning. Thus their distinctions lie in clustering different views of molecules, which is shown beneficial to specific downstream tasks. To achieve a complete and general-purpose molecular representation, we propose a novel pre-training framework, named UniCorn, that inherits the merits of the three methods, depicting molecular views in three different levels. SOTA performance across quantum, physicochemical, and biological tasks, along with comprehensive ablation study, validate the universality and effectiveness of UniCorn.


title: Feasibility of Nash-Moser iteration for Cheng-Yau-type gradient estimates of nonlinear equations on complete Riemannian manifolds

abstract: In this manuscript, we employ the Nash-Moser iteration technique to determine a condition under which the positive solution $u$ of the generalized nonlinear Poisson equation $$\operatorname{div} (\varphi(|\nabla u|^2)\nabla u) + \psi(u^2)u = 0,$$ on a complete Riemannian manifold with Ricci curvature bounded from below can be shown to satisfy a Cheng-Yau-type gradient estimate. We define a class of $\varphi$-Laplacian operators by $\Delta_{\varphi}(u):=\operatorname{div} (\varphi(|\nabla u|^2)\nabla u)$, where $\varphi$ is a $C^2$ function under some certain growth conditions. This can be regarded as a natural generalization of the $p$-Laplacian, the $(p,q)$-Laplacian and the exponential Laplacian, as well as having a close connection to the prescribed mean curvature problem. We illustrate the feasibility of applying the Nash-Moser iteration for such Poisson equation to get the Cheng-Yau-type gradient estimates in different cases with various $\varphi$ and $\psi$. Utilizing these estimates, we proves the related Harnack inequalities and a series of Liouville theorems. Our results can cover a wide range of quasilinear Laplace operator (e.g. $p$-Laplacian for $\varphi(t)=t^{p/2-1}$), and Lichnerowicz-type nonlinear equations (i.e. $\psi(t) = At^{p} + Bt^{q} + Ct\log t + D$).


title: Machine Learning Driven Biomarker Selection for Medical Diagnosis

abstract: Recent advances in experimental methods have enabled researchers to collect data on thousands of analytes simultaneously. This has led to correlational studies that associated molecular measurements with diseases such as Alzheimer's, Liver, and Gastric Cancer. However, the use of thousands of biomarkers selected from the analytes is not practical for real-world medical diagnosis and is likely undesirable due to potentially formed spurious correlations. In this study, we evaluate 4 different methods for biomarker selection and 4 different machine learning (ML) classifiers for identifying correlations, evaluating 16 approaches in all. We found that contemporary methods outperform previously reported logistic regression in cases where 3 and 10 biomarkers are permitted. When specificity is fixed at 0.9, ML approaches produced a sensitivity of 0.240 (3 biomarkers) and 0.520 (10 biomarkers), while standard logistic regression provided a sensitivity of 0.000 (3 biomarkers) and 0.040 (10 biomarkers). We also noted that causal-based methods for biomarker selection proved to be the most performant when fewer biomarkers were permitted, while univariate feature selection was the most performant when a greater number of biomarkers were permitted.


title: AMCEN: An Attention Masking-based Contrastive Event Network for Two-stage Temporal Knowledge Graph Reasoning

abstract: Temporal knowledge graphs (TKGs) can effectively model the ever-evolving nature of real-world knowledge, and their completeness and enhancement can be achieved by reasoning new events from existing ones. However, reasoning accuracy is adversely impacted due to an imbalance between new and recurring events in the datasets. To achieve more accurate TKG reasoning, we propose an attention masking-based contrastive event network (AMCEN) with local-global temporal patterns for the two-stage prediction of future events. In the network, historical and non-historical attention mask vectors are designed to control the attention bias towards historical and non-historical entities, acting as the key to alleviating the imbalance. A local-global message-passing module is proposed to comprehensively consider and capture multi-hop structural dependencies and local-global temporal evolution for the in-depth exploration of latent impact factors of different event types. A contrastive event classifier is used to classify events more accurately by incorporating local-global temporal patterns into contrastive learning. Therefore, AMCEN refines the prediction scope with the results of the contrastive event classification, followed by utilizing attention masking-based decoders to finalize the specific outcomes. The results of our experiments on four benchmark datasets highlight the superiority of AMCEN. Especially, the considerable improvements in Hits@1 prove that AMCEN can make more precise predictions about future occurrences.


title: Networking Systems for Video Anomaly Detection: A Tutorial and Survey

abstract: The increasing prevalence of surveillance cameras in smart cities, coupled with the surge of online video applications, has heightened concerns regarding public security and privacy protection, which propelled automated Video Anomaly Detection (VAD) into a fundamental research task within the Artificial Intelligence (AI) community. With the advancements in deep learning and edge computing, VAD has made significant progress and advances synergized with emerging applications in smart cities and video internet, which has moved beyond the conventional research scope of algorithm engineering to deployable Networking Systems for VAD (NSVAD), a practical hotspot for intersection exploration in the AI, IoVT, and computing fields. In this article, we delineate the foundational assumptions, learning frameworks, and applicable scenarios of various deep learning-driven VAD routes, offering an exhaustive tutorial for novices in NSVAD. This article elucidates core concepts by reviewing recent advances and typical solutions, and aggregating available research resources (e.g., literatures, code, tools, and workshops) accessible at https://github.com/fdjingliu/NSVAD. Additionally, we showcase our latest NSVAD research in industrial IoT and smart cities, along with an end-cloud collaborative architecture for deployable NSVAD to further elucidate its potential scope of research and application. Lastly, this article projects future development trends and discusses how the integration of AI and computing technologies can address existing research challenges and promote open opportunities, serving as an insightful guide for prospective researchers and engineers.


title: Learning to Predict Mutation Effects of Protein-Protein Interactions by Microenvironment-aware Hierarchical Prompt Learning

abstract: Protein-protein bindings play a key role in a variety of fundamental biological processes, and thus predicting the effects of amino acid mutations on protein-protein binding is crucial. To tackle the scarcity of annotated mutation data, pre-training with massive unlabeled data has emerged as a promising solution. However, this process faces a series of challenges: (1) complex higher-order dependencies among multiple (more than paired) structural scales have not yet been fully captured; (2) it is rarely explored how mutations alter the local conformation of the surrounding microenvironment; (3) pre-training is costly, both in data size and computational burden. In this paper, we first construct a hierarchical prompt codebook to record common microenvironmental patterns at different structural scales independently. Then, we develop a novel codebook pre-training task, namely masked microenvironment modeling, to model the joint distribution of each mutation with their residue types, angular statistics, and local conformational changes in the microenvironment. With the constructed prompt codebook, we encode the microenvironment around each mutation into multiple hierarchical prompts and combine them to flexibly provide information to wild-type and mutated protein complexes about their microenvironmental differences. Such a hierarchical prompt learning framework has demonstrated superior performance and training efficiency over state-of-the-art pre-training-based methods in mutation effect prediction and a case study of optimizing human antibodies against SARS-CoV-2.


title: Limiting Korn-Maxwell-Sobolev inequalities for general incompatibilities

abstract: We give sharp conditions for the limiting Korn-Maxwell-Sobolev inequalities \begin{align*} \lVert P\rVert_{{\dot{W}}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}\le c\big(\lVert\mathscr{A}[P]\rVert_{{\dot{W}}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}+\lVert\mathbb{B}P\rVert_{L^{1}(\mathbb{R}^n)}\big) \end{align*} to hold for all $P\in C_{c}^{\infty}(\mathbb{R}^{n};V)$, where $\mathscr{A}$ is a linear map between finite dimensional vector spaces and $\mathbb{B}$ is a $k$-th order, linear and homogeneous constant-coefficient differential operator. By the appearance of the $L^{1}$-norm of the differential expression $\mathbb{B}P$ on the right-hand side, such inequalities generalise previously known estimates to the borderline case $p=1$, and thereby answer an open problem due to M\"{u}ller, Neff and the second author (Calc. Var. PDE, 2021) in the affirmative.


title: Monitizer: Automating Design and Evaluation of Neural Network Monitors

abstract: The behavior of neural networks (NNs) on previously unseen types of data (out-of-distribution or OOD) is typically unpredictable. This can be dangerous if the network's output is used for decision-making in a safety-critical system. Hence, detecting that an input is OOD is crucial for the safe application of the NN. Verification approaches do not scale to practical NNs, making runtime monitoring more appealing for practical use. While various monitors have been suggested recently, their optimization for a given problem, as well as comparison with each other and reproduction of results, remain challenging. We present a tool for users and developers of NN monitors. It allows for (i) application of various types of monitors from the literature to a given input NN, (ii) optimization of the monitor's hyperparameters, and (iii) experimental evaluation and comparison to other approaches. Besides, it facilitates the development of new monitoring approaches. We demonstrate the tool's usability on several use cases of different types of users as well as on a case study comparing different approaches from recent literature.


title: Topological phases of extended Su-Schrieffer-Heeger-Hubbard model

abstract: Despite extensive studies on the one-dimensional Su-Schrieffer-Heeger-Hubbard (SSHH) model, the variant incorporating next-nearest neighbour hopping remains largely unexplored. Here, we investigate the ground-state properties of this extended SSHH model using the constrained-path auxiliary-field quantum Monte Carlo (CP-AFQMC) method. We show that this model exhibits rich topological phases, characterized by robust edge states against interaction. We quantify the properties of these edge states by analyzing spin correlation and second-order R\'enyi entanglement entropy. The system exhibits long-range spin correlation and near-zero R\'enyi entropy at half-filling. Besides, there is a long-range anti-ferromagnetic order at quarter-filling. Interestingly, an external magnetic field disrupts this long-range anti-ferromagnetic order, restoring long-range spin correlation and near-zero R\'enyi entropy. Furthermore, our work provides a paradigm studying topological properties in large interacting systems via the CP-AFQMC algorithm.


title: Sums of binomial coefficients modulo $p$ and groups of exponent $p^n$

abstract: We give a simple matrix-based proof of congruence equations modulo a prime $p$ involving sums of binomial coefficients appearing in Pascal's triangle. These equations can be used to construct some groups of exponent $p^n$. These groups, as well as others of exponent $p^{n+1}$, explain why $p=2$ is not really an exceptional prime in relation to the Heisenberg group over the field with $p$ elements.


title: Neutrino Mixing from a Fresh Perspective

abstract: We propose a new mixing scheme for neutrinos which eventually can be linked to a neutrino mass matrix texture bearing a suitable correlation ($m_{22} + 2\,m_{13} = 0$) among its elements. The texture predicts three mass eigenvalues in the light of normal ordering, in addition to the Majorana phases. The texture is realized from $A_4 \times Z_{10} \times Z_2$ group in the framework of general type-I+II seesaw mechanism.


title: Dynamical System Analysis for Scalar Field Potential in Teleparallel Gravity

abstract: In this paper, we have presented a power law cosmological model and its dynamical system analysis in $f(T,\phi)$ gravity, where $T$ is the torsion scalar and $\phi$ is the canonical scalar field. The two well-motivated forms of the non-minimal coupling function $F(\phi)$, the exponential form and the power law form, with exponential potential function, are investigated. The dynamical system analysis is performed by establishing the dimensionless dynamical variables, and the critical points were obtained. The evolution of standard density parameters is analysed for each case. The behaviour of the equation of state (EoS) and deceleration parameter show agreement with the result of cosmological observations. The model parameters are constrained using the existence and the stability conditions of the critical points describing different epochs of the evolution of the Universe.


title: Assessing the Impact of Case Correction Methods on the Fairness of COVID-19 Predictive Models

abstract: One of the central difficulties of addressing the COVID-19 pandemic has been accurately measuring and predicting the spread of infections. In particular, official COVID-19 case counts in the United States are under counts of actual caseloads due to the absence of universal testing policies. Researchers have proposed a variety of methods for recovering true caseloads, often through the estimation of statistical models on more reliable measures, such as death and hospitalization counts, positivity rates, and demographics. However, given the disproportionate impact of COVID-19 on marginalized racial, ethnic, and socioeconomic groups, it is important to consider potential unintended effects of case correction methods on these groups. Thus, we investigate two of these correction methods for their impact on a downstream COVID-19 case prediction task. For that purpose, we tailor an auditing approach and evaluation protocol to analyze the fairness of the COVID-19 prediction task by measuring the difference in model performance between majority-White counties and majority-minority counties. We find that one of the correction methods improves fairness, decreasing differences in performance between majority-White and majority-minority counties, while the other method increases differences, introducing bias. While these results are mixed, it is evident that correction methods have the potential to exacerbate existing biases in COVID-19 case data and in downstream prediction tasks. Researchers planning to develop or use case correction methods must be careful to consider negative effects on marginalized groups.


title: Sylow subgroups of the Macdonald group on 2 parameters

abstract: Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$ is nilpotent, and find the order and nilpotency class of each Sylow subgroup of $G(\alpha,\beta)$.


title: RGB Guided ToF Imaging System: A Survey of Deep Learning-based Methods

abstract: Integrating an RGB camera into a ToF imaging system has become a significant technique for perceiving the real world. The RGB guided ToF imaging system is crucial to several applications, including face anti-spoofing, saliency detection, and trajectory prediction. Depending on the distance of the working range, the implementation schemes of the RGB guided ToF imaging systems are different. Specifically, ToF sensors with a uniform field of illumination, which can output dense depth but have low resolution, are typically used for close-range measurements. In contrast, LiDARs, which emit laser pulses and can only capture sparse depth, are usually employed for long-range detection. In the two cases, depth quality improvement for RGB guided ToF imaging corresponds to two sub-tasks: guided depth super-resolution and guided depth completion. In light of the recent significant boost to the field provided by deep learning, this paper comprehensively reviews the works related to RGB guided ToF imaging, including network structures, learning strategies, evaluation metrics, benchmark datasets, and objective functions. Besides, we present quantitative comparisons of state-of-the-art methods on widely used benchmark datasets. Finally, we discuss future trends and the challenges in real applications for further research.


title: Varying-constant cosmology from hyperlight, coupled scalars

abstract: The fundamental constants at recombination can differ from their present-day values due to degeneracies in cosmological parameters, raising the possibility of yet-undiscovered physics coupled directly to the Standard Model. We study the cosmology of theories in which a new, hyperlight scalar field modulates the electron mass and fine-structure constant at early times. We find new degeneracies in cosmologies that pair early recombination with a new contribution to the matter density arising at late times, whose predictions can be simultaneously consistent with CMB and low-redshift distance measurements. Such "late dark matter" already exists in the Standard Model in the form of massive neutrinos, but is necessarily realized by the scalar responsible for shifting the early-time fundamental constants. After detailing the physical effects of varying constants and hyperlight scalar fields on cosmology, we find that variations of the electron mass and fine structure constant are constrained at the percent and permille level, respectively, and a hyperlight scalar in the mass range $10^{-32}~\mathrm{eV} \lesssim m_\phi \lesssim 10^{-28}~\mathrm{eV}$ can impact what variations are allowed while composing up to a percent of the present dark matter density. We comment on the potential for models with a varying electron mass to reconcile determinations of the Hubble constant from cosmological observations and distance-ladder methods, and we show that parameter inference varies significantly between recent baryon acoustic oscillation and type Ia supernova datasets.


title: Non-comoving description of adiabatic radial perturbations of relativistic stars

abstract: We study adiabatic, radial perturbations of static, self-gravitating perfect fluids within the theory of general relativity employing a new perturbative formalism. We show that by considering a radially static observer, the description of the perturbations can be greatly simplified with respect to the standard comoving treatment. The new perturbation equations can be solved to derive analytic solutions to the problem for a general class of equilibrium solutions. We discuss the thermodynamic description of the fluid under isotropic frame transformations, showing how, in the radially static, non-inertial frame, the stress-energy tensor of the fluid must contain momentum transfer terms. As illustrative examples of the new approach, we study perturbations of equilibrium spacetimes characterized by the Buchdahl I, Heintzmann IIa, Patwardhan-Vaidya IIa, and Tolman VII solutions, computing the first oscillation eigenfrequencies and the associated eigenfunctions. We also analyze the properties of the perturbations of cold neutron stars composed of a perfect fluid verifying the Bethe-Johnson model I equation of state, computing the oscillation eigenfrequencies and the $e$-folding time.


title: Adversarial Robustness Guarantees for Quantum Classifiers

abstract: Despite their ever more widespread deployment throughout society, machine learning algorithms remain critically vulnerable to being spoofed by subtle adversarial tampering with their input data. The prospect of near-term quantum computers being capable of running {quantum machine learning} (QML) algorithms has therefore generated intense interest in their adversarial vulnerability. Here we show that quantum properties of QML algorithms can confer fundamental protections against such attacks, in certain scenarios guaranteeing robustness against classically-armed adversaries. We leverage tools from many-body physics to identify the quantum sources of this protection. Our results offer a theoretical underpinning of recent evidence which suggest quantum advantages in the search for adversarial robustness. In particular, we prove that quantum classifiers are: (i) protected against weak perturbations of data drawn from the trained distribution, (ii) protected against local attacks if they are insufficiently scrambling, and (iii) protected against universal adversarial attacks if they are sufficiently quantum chaotic. Our analytic results are supported by numerical evidence demonstrating the applicability of our theorems and the resulting robustness of a quantum classifier in practice. This line of inquiry constitutes a concrete pathway to advantage in QML, orthogonal to the usually sought improvements in model speed or accuracy.

categories: quant-ph cond-mat.stat-mech cs.LG nlin.CD


title: Chemistry across dust and gas gaps in protoplanetary disks: modelling the co-spatial molecular rings in the HD 100546 disk

abstract: High-resolution observations show that typically both the dust and the gas in nearby extended protoplanetary disks are structured, possibly related to radial and azimuthal variations in the disk density and/or chemistry. The aim of this work is to identify the expected location and intensity of rings seen in molecular line emission of HCN, CN, C$_2$H, NO, [CI], and HCO$^+$ in gapped disks while exploring a range of physical conditions across the gap. In particular, we model HD 100546 disk where molecular rings are co-spatial with the dust rings at $\sim$20 and $\sim$200 au, in contrast to most other gapped disks. The fiducial model of a gapped disk with a 15 au gas cavity, a 20 au dust cavity, and a shallow (a factor of $\lesssim10$) gas and deep dust gap at 40-175 au provides a good fit to the continuum, CO isotopologues, HCN, and HCO$^+$ in the HD 100546 disk. However, the predictions for [CI], CN, C$_2$H and NO do not match the intensity nor the morphology of the observations. An exploration of the parameter space shows that in general the molecular emission rings are only co-spatial with the dust rings if the gas gap between the dust rings is depleted by at least four orders of magnitude in gas or if the C/O ratio of the gas is varying as a function of radius. For shallower gaps the decrease in the UV field roughly balances the effect of a higher gas density for UV tracers such as CN, C$_2$H, and NO. Therefore, these radicals are not good tracers of the gas gap depth. The C/O ratio primarily effects the intensity of the lines without changing the morphology much. The co-spatial rings observed in the HD 100546 disk could be indicative of a radially varying C/O ratio in the HD 100546 disk with a C/O above 1 in a narrow region across the dust rings, together with a shallow gas gap that is depleted by a factor of $\sim$10 in gas, and a reduced background UV field.


title: Non-Relativistic Limits of Bosonic and Heterotic Double Field Theory

abstract: The known stringy non-relativistic (NR) limit of the universal NS-NS sector of supergravity has a finite Lagrangian due to non-trivial cancellations of divergent parts coming from the metric and the $B$-field. We demonstrate that in Double Field Theory (DFT) and generalised geometry these cancellations already happen at the level of the generalised metric, which is convergent in the limit $c \rightarrow \infty$, implying that the NR limit can be imposed before solving the strong constraint. We present the $c$-expansion of the generalised metric, which reproduces the Non-Riemannian formulation of DFT at the (finite) leading order, and the $c$-expansion of the generalised frame, which contains divergences. We also extend this approach to the non-Abelian gauge field of Heterotic DFT assuming a convergent expansion for the O$(D,D+n)$ generalised metric. From this proposal, we derive a novel $c$-expansion for the bosonic part of the heterotic supergravity which is, by construction, compatible with O$(D,D)$-symmetry.


title: The fate of boundary terms in dimensional reductions

abstract: Gibbons-Hawking-York (GHY) terms are typically neglected when performing dimensional reductions of gravitational theories. We consider the reduction of such terms for both two-derivative and four-derivative theories in general dimensions. We demonstrate a robust consistency wherein the GHY term in the original, higher-dimensional theory translates directly to the appropriate GHY term in the dimensionally reduced theory. In particular, this gives a novel way of generating such terms for higher-derivative corrections. We carry out this procedure for Gauss-Bonnet, Chern-Simons modified, and $f(R)$ gravities to derive novel boundary terms.


title: Inferring the Distribution of the Ionising Photon Escape Fraction

abstract: The escape fraction of ionising photons from galaxies ($f_\mathrm{esc}$) is a key parameter for understanding how intergalactic hydrogen became reionised, but it remains mostly unconstrained. Measurements have been limited to the average value in galaxy ensembles and handfuls of individual detections. To help understand which mechanisms govern ionising photon escape, here we infer the distribution of $f_\mathrm{esc}$. We develop a hierarchical Bayesian inference technique to estimate the population distribution of $f_\mathrm{esc}$ from the ratio of Lyman Continuum to non-ionising UV flux measured from broadband photometry. We apply it to a sample of 148 z ~ 3.5 star-forming galaxies from the VANDELS spectroscopic survey. We explore four physically motivated distributions: constant, log-normal, exponential and bimodal, recovering $\langle f_\mathrm{esc} \rangle \approx5\%$ for most models. We find the observations are best described by an exponential $f_\mathrm{esc}$ distribution with scale factor $\mu=0.05^{+0.01}_{-0.02}$. This indicates most galaxies in our sample exhibit very low escape fractions while predicting substantial ionising photon leakage for only a few galaxies, implying a range of optical depths in the ISM and/or time variability in ionising photon escape. We rule out a bimodal distribution at high significance, indicating that a purely bimodal model of ionising photon escape (due to very strong sightline and/or time variability) is not favoured. We compare our recovered exponential distribution with the SPHINX simulations and find that, while the simulation also predicts an exponential-like distribution, it significantly underpredicts our inferred mean. The distribution of $f_\mathrm{esc}$ can be a vital test for simulations in understanding ionising photon leakage and is important to consider to gain a complete picture of reionisation.


title: Primordial black holes captured by neutron stars: simulations in general relativity

abstract: We present self-consistent numerical simulations in general relativity of putative primordial black holes inside neutron stars. Complementing a companion paper in which we assumed the black hole mass $m$ to be much smaller than the mass $M_*$ of the neutron star, thereby justifying a point-mass treatment, we here consider black holes with masses large enough so that their effect on the neutron star cannot be neglected. We develop and employ several new numerical techniques, including initial data describing boosted black holes in neutron-star spacetimes, a relativistic determination of the escape speed, and a gauge condition that keeps the black hole hole at a fixed coordinate location. We then perform numerical simulations that highlight different aspects of the capture of primordial black holes by neutron stars. In particular, we simulate the initial passage of the black hole through the star, demonstrating that the neutron star remains dynamically stable provided the black-hole mass is sufficiently small, $m \lesssim 0.05 M_*$. We also model the late evolution of a black hole oscillating about the center of an initially stable neutron star while accreting stellar mass and ultimately triggering gravitational collapse.


title: Targeting (Pseudo)-Scalar CP Violation with $B_s \to \mu^+\mu^-$

abstract: The leptonic decay $B_s \to \mu^+\mu^-$ is both rare and theoretically clean, making it an excellent probe for New Physics searches. Due to its helicity suppression in the Standard Model, this decay is particularly sensitive to new (pseudo)-scalar contributions. We present a new strategy for detecting CP-violating New Physics contributions of this kind, exploiting two observables: $\adg$, which is accessible due to the sizeable decay width difference of the $B_s$ system, and the mixing-induced CP asymmetry $\smumu$. We also utilize information from semileptonic $b\to s\mu^+\mu^-$ decays. Using the currently available experimental information, we find remarkably constrained regions in the $\adg$--$\smumu$ plane that serve as promising targets for future measurements.


title: Dark matter in QCD-like theories with a theta vacuum: cosmological and astrophysical implications

abstract: QCD-like theories in which the dark matter (DM) of the Universe is hypothesized to be a thermal relic in the form of a dark pion has been extensively investigated, with most studies neglecting the CP-violating $\theta$-angle associated with the topological vacuum. We point out that a non-vanishing $\theta$ could potentially trigger resonant number-changing processes giving rise to the observed relic density in agreement with perturbative unitarity as well as observations of clusters of galaxies. This constitutes a novel production mechanism of MeV DM and an alternative to those relying on the Wess-Zumino-Witten term. Moreover, for specific meson mass spectra, similar resonant scatterings serve as a realization of velocity-dependent self-interacting DM without a light mediator. Explicit benchmark models are presented together with a discussion of possible signals, including gravitational waves from the chiral phase transition associated with the dark pions.


title: Trapped-Ion Quantum Simulation of Electron Transfer Models with Tunable Dissipation

abstract: Electron transfer is at the heart of many fundamental physical, chemical, and biochemical processes essential for life. Exact simulation of reactions in these systems is often hindered by the large number of degrees of freedom and by the essential role of quantum effects. In this work, we experimentally simulate a paradigmatic model of molecular electron transfer using a multi-species trapped-ion crystal, where the donor-acceptor gap, the electronic and vibronic couplings, and the bath relaxation dynamics can all be controlled independently. We employ the ground-state qubit of one ion to simulate the electronic degree of freedom and the optical qubit of another ion to perform reservoir engineering on a collective mode encoding a reaction coordinate. We observe the real-time dynamics of the spin excitation, measuring the transfer rate in several regimes of adiabaticity and relaxation dynamics. The setup allows access to the electron transfer dynamics in the non-perturbative regime, where there is no clear hierarchy among the energy scales in the model, as has been suggested to be optimal for many rate phenomena, including photosynthesis. Our results provide a testing ground for increasingly rich models of molecular excitation transfer processes that are relevant for molecular electronics and light-harvesting systems.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.chem-ph


title: Reinforcement learning

abstract: Observing celestial objects and advancing our scientific knowledge about them involves tedious planning, scheduling, data collection and data post-processing. Many of these operational aspects of astronomy are guided and executed by expert astronomers. Reinforcement learning is a mechanism where we (as humans and astronomers) can teach agents of artificial intelligence to perform some of these tedious tasks. In this paper, we will present a state of the art overview of reinforcement learning and how it can benefit astronomy.


title: Grounded 3D-LLM with Referent Tokens

abstract: Prior studies on 3D scene understanding have primarily developed specialized models for specific tasks or required task-specific fine-tuning. In this study, we propose Grounded 3D-LLM, which explores the potential of 3D large multi-modal models (3D LMMs) to consolidate various 3D vision tasks within a unified generative framework. The model uses scene referent tokens as special noun phrases to reference 3D scenes, enabling the handling of sequences that interleave 3D and textual data. It offers a natural approach for translating 3D vision tasks into language formats using task-specific instruction templates. To facilitate the use of referent tokens in subsequent language modeling, we have curated large-scale grounded language datasets that offer finer scene-text correspondence at the phrase level by bootstrapping existing object labels. Subsequently, we introduced Contrastive LAnguage-Scene Pre-training (CLASP) to effectively leverage this data, thereby integrating 3D vision with language models. Our comprehensive evaluation covers open-ended tasks like dense captioning and 3D QA, alongside close-ended tasks such as object detection and language grounding. Experiments across multiple 3D benchmarks reveal the leading performance and the broad applicability of Grounded 3D-LLM. Code and datasets will be released on the project page: https://groundedscenellm.github.io/grounded_3d-llm.github.io.


title: Causal Discovery in Multivariate Extremes with a Hydrological Analysis of Swiss River Discharges

abstract: Causal asymmetry is based on the principle that an event is a cause only if its absence would not have been a cause. From there, uncovering causal effects becomes a matter of comparing a well-defined score in both directions. Motivated by studying causal effects at extreme levels of a multivariate random vector, we propose to construct a model-agnostic causal score relying solely on the assumption of the existence of a max-domain of attraction. Based on a representation of a Generalized Pareto random vector, we construct the causal score as the Wasserstein distance between the margins and a well-specified random variable. The proposed methodology is illustrated on a hydrologically simulated dataset of different characteristics of catchments in Switzerland: discharge, precipitation, and snowmelt.


title: Efficient model predictive control for nonlinear systems modelled by deep neural networks

abstract: This paper presents a model predictive control (MPC) for dynamic systems whose nonlinearity and uncertainty are modelled by deep neural networks (NNs), under input and state constraints. Since the NN output contains a high-order complex nonlinearity of the system state and control input, the MPC problem is nonlinear and challenging to solve for real-time control. This paper proposes two types of methods for solving the MPC problem: the mixed integer programming (MIP) method which produces an exact solution to the nonlinear MPC, and linear relaxation (LR) methods which generally give suboptimal solutions but are much computationally cheaper. Extensive numerical simulation for an inverted pendulum system modelled by ReLU NNs of various sizes is used to demonstrate and compare performance of the MIP and LR methods.


title: A Transdisciplinary Approach to Cybersecurity: A Framework for Encouraging Transdisciplinary Thinking

abstract: Classical cybersecurity is often perceived as a rigid science discipline filled with computer scientists and mathematicians. However, due to the rapid pace of technology development and integration, new criminal enterprises, new defense tactics, and the understanding of the human element, cybersecurity is quickly beginning to encompass more than just computers. Cybersecurity experts must broaden their perspectives beyond traditional disciplinary boundaries to provide the best protection possible. They must start to practice transdisciplinary cybersecurity. Taking influence from the Stakeholder Theory in business ethics, this paper presents a framework to encourage transdisciplinary thinking and assist experts in tackling the new challenges of the modern day. The framework uses the simple Think, Plan, Do approach to enable experts to develop their transdisciplinary thinking. The framework is intended to be used as an evaluation tool for existing cybersecurity practices or postures, as a development tool to engage with other disciplines to foster learning and create new methods, and as a guidance tool to encourage new ways of thinking about, perceiving, and executing cybersecurity practices. For each of those intended uses, a use case is presented as an example to showcase how the framework might be used. The ultimate goal of this paper is not the framework but transdisciplinary thinking. By using the tool presented here and developing their own transdisciplinary thinking, cybersecurity experts can be better prepared to face cybersecurity's unique and complex challenges.


title: Bispectrum at 1-loop in the Effective Field Theory of Inflation

abstract: In this paper we compute 1-loop corrections to the bispectrum in the decoupling limit of the Effective Field Theory of Inflation (EFToI). We regulate the divergences by employing dimensional regularization and work in $d=3+\delta$ dimensions. We find that the final results feature analytic structures of the form $\log{\left(k_i/k_T\right)}$ and $\log{\left(H/\mu\right)}$, where $H$ is the Hubble parameter and $\mu$ is the renormalisation scale. An interesting outcome of our calculations is that unlike the 1-loop correction to the power-spectrum computed in arXiv:0912.2734 the unrenormalised answers always produce unphysical logarithms of co-moving momenta. These unphysical logarithms are cancelled only after renormalisation. We expect this to be a generic feature for loop computations unless there is some cancellation as in the previously computed 1-loop result for the power-spectrum.


title: Implementing a GRU Neural Network for Flood Prediction in Ashland City, Tennessee

abstract: Ashland City, Tennessee, located within the Lower Cumberland Sycamore watershed, is highly susceptible to flooding due to increased upstream water levels. This study aimed to develop a robust flood prediction model for the city, utilizing water level data at 30-minute intervals from ten USGS gauge stations within the watershed. A Gated Recurrent Unit (GRU) network, known for its ability to effectively process sequential time-series data, was used. The model was trained, validated, and tested using a year-long dataset (January 2021-January 2022), and its performance was evaluated using statistical metrics including Nash-Sutcliffe Efficiency (NSE), Root Mean Squared Error (RMSE), Percent Bias (PBIAS), Mean Absolute Error (MAE), and Coefficient of Determination (R^2). The results demonstrated a high level of accuracy, with the model explaining 98.2% of the variance in the data. Despite minor discrepancies between predicted and observed values, the GRU model proved to be an effective tool for flood prediction in Ashland City, with potential applications for enhancing disaster preparedness and response efforts in Ashland City.


title: Dealing Doubt: Unveiling Threat Models in Gradient Inversion Attacks under Federated Learning, A Survey and Taxonomy

abstract: Federated Learning (FL) has emerged as a leading paradigm for decentralized, privacy preserving machine learning training. However, recent research on gradient inversion attacks (GIAs) have shown that gradient updates in FL can leak information on private training samples. While existing surveys on GIAs have focused on the honest-but-curious server threat model, there is a dearth of research categorizing attacks under the realistic and far more privacy-infringing cases of malicious servers and clients. In this paper, we present a survey and novel taxonomy of GIAs that emphasize FL threat models, particularly that of malicious servers and clients. We first formally define GIAs and contrast conventional attacks with the malicious attacker. We then summarize existing honest-but-curious attack strategies, corresponding defenses, and evaluation metrics. Critically, we dive into attacks with malicious servers and clients to highlight how they break existing FL defenses, focusing specifically on reconstruction methods, target model architectures, target data, and evaluation metrics. Lastly, we discuss open problems and future research directions.


title: Smart Routing with Precise Link Estimation: DSEE-Based Anypath Routing for Reliable Wireless Networking

abstract: In dynamic and resource-constrained environments, such as multi-hop wireless mesh networks, traditional routing protocols often falter by relying on predetermined paths that prove ineffective in unpredictable link conditions. Shortest Anypath routing offers a solution by adapting routing decisions based on real-time link conditions. However, the effectiveness of such routing is fundamentally dependent on the quality and reliability of the available links, and predicting these variables with certainty is challenging. This paper introduces a novel approach that leverages the Deterministic Sequencing of Exploration and Exploitation (DSEE), a multi-armed bandit algorithm, to address the need for accurate and real-time estimation of link delivery probabilities. This approach augments the reliability and resilience of the Shortest Anypath routing in the face of fluctuating link conditions. By coupling DSEE with Anypath routing, this algorithm continuously learns and ensures accurate delivery probability estimation and selects the most suitable way to efficiently route packets while maintaining a provable near-logarithmic regret bound. We also theoretically prove that our proposed scheme offers better regret scaling with respect to the network size than the previously proposed Thompson Sampling-based Opportunistic Routing (TSOR).


title: A Polynomial-Time Approximation for Pairwise Fair $k$-Median Clustering

abstract: In this work, we study pairwise fair clustering with $\ell \ge 2$ groups, where for every cluster $C$ and every group $i \in [\ell]$, the number of points in $C$ from group $i$ must be at most $t$ times the number of points in $C$ from any other group $j \in [\ell]$, for a given integer $t$. To the best of our knowledge, only bi-criteria approximation and exponential-time algorithms follow for this problem from the prior work on fair clustering problems when $\ell > 2$. In our work, focusing on the $\ell > 2$ case, we design the first polynomial-time $(t^{\ell}\cdot \ell\cdot k)^{O(\ell)}$-approximation for this problem with $k$-median cost that does not violate the fairness constraints. We complement our algorithmic result by providing hardness of approximation results, which show that our problem even when $\ell=2$ is almost as hard as the popular uniform capacitated $k$-median, for which no polynomial-time algorithm with an approximation factor of $o(\log k)$ is known.


title: Wide Binary Orbits are Preferentially Aligned with the Orbits of Small Planets, but Probably Not Hot Jupiters

abstract: Studying the relative orientations of the orbits of exoplanets and wide-orbiting binary companions (semimajor axis greater than 100 AU) can shed light on how planets form and evolve in binary systems. Previous observations by multiple groups discovered a possible alignment between the orbits of visual binaries and the exoplanets that reside in them. In this study, using data from \textit{Gaia} DR3 and TESS, we confirm the existence of an alignment between the orbits of small planets $(R<6 R_\oplus)$ and binary systems with semimajor axes below 700 AU ($p=10^{-6}$). However, we find no statistical evidence for alignment between planet and binary orbits for binary semimajor axes greater than 700 AU, and no evidence for alignment of large, closely-orbiting planets (mostly hot Jupiters) and binaries at any separation. The lack of orbital alignment between our large planet sample and their binary companions appears significantly different from our small planet sample, even taking into account selection effects. Therefore, we conclude that any alignment between wide-binaries and our sample of large planets (predominantly hot Jupiters) is probably not as strong as what we observe for small planets in binaries with semimajor axes less than 700 AU. The difference in the alignment distribution of hot Jupiters and smaller planets may be attributed to the unique evolutionary mechanisms occuring in systems that form hot Jupiters, including potentially destabilizing secular resonances that onset as the protoplanetary disk dissipates and high-eccentricity migration occurring after the disk is gone.


title: Kinematic origin of white dwarfs in the solar neighborhood

abstract: Thanks to the recent space-borne mission Gaia, there is a nearly complete sample of white dwarfs up to about 100 parsecs from the Sun, which may have very diverse origins. We aim to compute the Galactic orbits for white dwarfs observed in our Solar neighborhood, in order to analyze the most probable regions of the Galaxy where they could have formed, the distribution of their orbital parameters, as well as the observational biases introduced when constructing the local sample. We used a detailed Galactic orbit integration package, in conjunction with a detailed population synthesis code specifically designed to replicate the different Galactic components of the white dwarf population. Synthetic stars are generated based on the current observational sample, and subsequently, their orbital integration allows for the reconstruction of the population past history. Our kinematic analysis reveals that the majority of thin disk, thick disk, and halo white dwarfs will have left our 100 pc neighborhood in approximately 3.30, 1.05, and 0.6 Myr, respectively. The spatial distribution of the integrated thin disk orbits suggests that 68 percent of these stars were formed at less than 1 kpc from the Sun, while most of thick disk members suffered from radial disk migration. The local halo white dwarfs typically belong to the "inner halo", being their orbits mostly planar and not extending beyond R = 20-25 kpc. Despite the observational bias, the distribution of orbital parameters is well represented by the observed sample. The Solar neighborhood is a transitory concept, which must be taken into account when analyzing the overall properties of such a population, such as its age distribution, metallicities or formation history. Even so, the kinematic properties observed by recent missions such as Gaia are representative of the total population up to a distance of approximately 500 pc [abridged].


title: Game theory in the case of a geopolitical operation between two persons

abstract: This article explores the interaction of two agents during a geopolitical operation. Collaborative work is considered, rather than being done alone. However, each agent has the goal of maximizing personal net profit. We will have 3 different situations depending on the order of the players moves, in each of which we will present the game in both expanded and normal form. In each of them we find optimal strategies for both players and possible Nash equilibrium.


title: Cartan subalgebras for restrictions of $\mathfrak{g}$-modules

abstract: In this paper, we deal with the $\mathcal{U}(\mathfrak{g})$-action on a $\mathfrak{g}$-module on which a larger algebra $\mathcal{A}$ acts irreducibly. Under a mild condition, we will show that the support of the $\mathcal{Z}(\mathfrak{g})$-action is a union of affine subspaces in the dual of a Cartan subalgebra modulo the Weyl group action. As a consequence, we propose a definition of a Cartan subalgebra for such a $\mathfrak{g}$-module. The support of the $\mathcal{Z}(\mathfrak{g})$-module is an algebraic counterpart of the support of the measure in the irreducible decomposition of a unitary representation. This consideration is motivated by the theory of the discrete decomposability initiated by T. Kobayashi. Defining a Cartan subalgebra for a $\mathfrak{g}$-module is motivated by the study of I. Losev on Poisson $G$-varieties. These are related each other through the associated variety and the nilpotent orbit associated to a $\mathfrak{g}$-module.


title: Colocalizing subcategories on schemes

abstract: A full triangulated subcategory $\mathsf{C} \subset \mathsf{T}$ of triangulated category $\mathsf{T}$ is colocalizing if it is stable for products. If, further, $\mathsf{T}$ is monoidal and closed, i.e. $(\mathsf{T}, \otimes)$ is tensor-triangulated with internal homs (denoted $[-,-]$), we say that $\mathsf{C}$ is an $\mathcal{H}$-coideal if $[F, G] \in \mathsf{C}$ for all $G \in \mathsf{C}$ and all $F \in \mathsf{T}$. We prove, for a noetherian scheme $X$, that all $\mathcal{H}$-coideal colocalizing subcategories of $\mathsf{D}_{\mathrm{qc}}(X)$ are classified by subsets of $X$. Every such colocalizing subcategory $\mathsf{C}$ is of the form $\mathsf{C} = \mathsf{L}^\perp$, where $\mathsf{L}$ is a $\otimes$-ideal localizing subcategory.


title: Residual Stress Development in Lattice Mismatched Epitaxial Thin Films via Atomic and Molecular Layer Depositions

abstract: Atomic and molecular layer deposition (ALD/MLD) coatings are promising solutions for preventing dendrite formation in aqueous and non-aqueous Li/Na/Zn metal batteries. Notably, alumina and alucone coatings have emerged as highly effective against dendrite formation in Zn anodes. Despite their demonstrated efficacy, a comprehensive understanding of their chemo-mechanical impact on anodes remains elusive. In this study, we take a bottom-up framework to these coatings on Zn foils, employing an approach that integrates \textit{ab initio} simulations with continuum theories to elucidate lattice misfit and chemical bonding. We use this insight to develop a macroscopic model to predict the epitaxial residual stresses generated during thin-film deposition. Our findings reveal a robust chemical bonding between the hydroxylated Zn surface and the thin film. This, in turn, generates large misfit strains that result in significant interfacial stresses during deposition. These results are then compared to experiments by measuring the curvature of the coated thin films, finding good agreement between experiments and theory. This novel understanding sheds light on the fundamental mechanisms underpinning the development of chemo-mechanical stresses in thin films, which impact dendrite suppression in anodes, offering valuable insights for the design of new coatings.


title: AmazUtah_NLP at SemEval-2024 Task 9: A MultiChoice Question Answering System for Commonsense Defying Reasoning

abstract: The SemEval 2024 BRAINTEASER task represents a pioneering venture in Natural Language Processing (NLP) by focusing on lateral thinking, a dimension of cognitive reasoning that is often overlooked in traditional linguistic analyses. This challenge comprises of Sentence Puzzle and Word Puzzle subtasks and aims to test language models' capacity for divergent thinking. In this paper, we present our approach to the BRAINTEASER task. We employ a holistic strategy by leveraging cutting-edge pre-trained models in multiple choice architecture, and diversify the training data with Sentence and Word Puzzle datasets. To gain further improvement, we fine-tuned the model with synthetic humor or jokes dataset and the RiddleSense dataset which helped augmenting the model's lateral thinking abilities. Empirical results show that our approach achieve 92.5% accuracy in Sentence Puzzle subtask and 80.2% accuracy in Word Puzzle subtask.


title: Proto-neutron stars with quark cores

abstract: This work investigates the evolution of proto-neutron stars (PNSs) from birth as neutrino-rich objects to maturity as cold-catalyzed neutrino-poor objects with nucleonic and non-nucleonic degrees of freedom. The focus is on the star's core where the nucleons, hyperons, and the $\Delta$-isobars are expected to dissolve into a "soup" of deconfined quarks, at higher baryon densities, to establish a possible hadron-quark phase transition. We separately calculate the nuclear equations of state (EoS) for the hadronic matter (composed of all the baryon octet and $\Delta$-isobars) and the strange quark matter (SQM) under the same thermodynamic conditions characteristic of PNS and proto-strange star (PSS) evolution and construct the hybrid EoS using Maxwell's construction. The study allows us to determine the hadron-quark phase transitions along the evolution lines of the star. We observed a phase transition from hadronic matter to quark matter (QM) phase when the neutrinos have completely escaped from the star's core. The EoSs utilized are constrained to meet the $2\,\rm M_\odot$ threshold in accordance with the observational data.


title: Grothendieck's use of equality

abstract: We discuss how the concept of equality is used by mathematicians (including Grothendieck), and what effect this has when trying to formalise mathematics. We challenge various reasonable-sounding slogans about equality.


title: Partial Model Theory -- Ultraproducts and Compactness

abstract: In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures approach, which is a philosophical conception that emerged in the context of contemporary philosophy of science. Nevertheless, the notions developed within this conception, in particular the two mentioned, have a model-theoretic content that has not been explored so far, so that this paper is part of a project where we intend to analyze their formal properties by means of the development of a partial model theory, which is an extension of traditional model theory to partial structures.


title: Physics-Informed Heterogeneous Graph Neural Networks for DC Blocker Placement

abstract: The threat of geomagnetic disturbances (GMDs) to the reliable operation of the bulk energy system has spurred the development of effective strategies for mitigating their impacts. One such approach involves placing transformer neutral blocking devices, which interrupt the path of geomagnetically induced currents (GICs) to limit their impact. The high cost of these devices and the sparsity of transformers that experience high GICs during GMD events, however, calls for a sparse placement strategy that involves high computational cost. To address this challenge, we developed a physics-informed heterogeneous graph neural network (PIHGNN) for solving the graph-based dc-blocker placement problem. Our approach combines a heterogeneous graph neural network (HGNN) with a physics-informed neural network (PINN) to capture the diverse types of nodes and edges in ac/dc networks and incorporates the physical laws of the power grid. We train the PIHGNN model using a surrogate power flow model and validate it using case studies. Results demonstrate that PIHGNN can effectively and efficiently support the deployment of GIC dc-current blockers, ensuring the continued supply of electricity to meet societal demands. Our approach has the potential to contribute to the development of more reliable and resilient power grids capable of withstanding the growing threat that GMDs pose.


title: Two-point stress approximation: A simple and robust finite volume method for linearized (poro-)mechanics and Stokes flow

abstract: We construct a simple and robust finite volume discretization for linearized mechanics, Stokes and poromechanics, based only on co-located, cell-centered variables. The discretization has a minimal stencil, using only the two neighboring cells to a face to calculate numerical stresses and fluxes. We fully justify the method theoretically in terms of stability and convergence, both of which are robust in terms of the material parameters. Numerical experiments support the theoretical results, and shed light on grid families not explicitly treated by the theoretical results.


title: Vision Transformers for End-to-End Vision-Based Quadrotor Obstacle Avoidance

abstract: We demonstrate the capabilities of an attention-based end-to-end approach for high-speed quadrotor obstacle avoidance in dense, cluttered environments, with comparison to various state-of-the-art architectures. Quadrotor unmanned aerial vehicles (UAVs) have tremendous maneuverability when flown fast; however, as flight speed increases, traditional vision-based navigation via independent mapping, planning, and control modules breaks down due to increased sensor noise, compounding errors, and increased processing latency. Thus, learning-based, end-to-end planning and control networks have shown to be effective for online control of these fast robots through cluttered environments. We train and compare convolutional, U-Net, and recurrent architectures against vision transformer models for depth-based end-to-end control, in a photorealistic, high-physics-fidelity simulator as well as in hardware, and observe that the attention-based models are more effective as quadrotor speeds increase, while recurrent models with many layers provide smoother commands at lower speeds. To the best of our knowledge, this is the first work to utilize vision transformers for end-to-end vision-based quadrotor control.


title: Transport based particle methods for the Fokker-Planck-Landau equation

abstract: We propose a particle method for numerically solving the Landau equation, inspired by the score-based transport modeling (SBTM) method for the Fokker-Planck equation. This method can preserve some important physical properties of the Landau equation, such as the conservation of mass, momentum, and energy, and decay of estimated entropy. We prove that matching the gradient of the logarithm of the approximate solution is enough to recover the true solution to the Landau equation with Maxwellian molecules. Several numerical experiments in low and moderately high dimensions are performed, with particular emphasis on comparing the proposed method with the traditional particle or blob method.


title: Remarks on the uniqueness of weak solutions of the incompressible Navier-Stokes equations

abstract: This article studies the uniqueness of the weak solution of the incompressible Navier-Stokes Equations in the 3-dimensional case. Here, the investigation is provided using two different approaches. The first (the main) result is obtained for given functions possessing a certain smoothness using the new approach. The second result is without the complementary conditions but is, in some sense, the "local" result investigated by another approach. In addition, here the solvability and uniqueness of the weak solutions to auxiliary problems lead out from the main problem are investigated.


title: Charm lifetime measurements at Belle II

abstract: We report precision measurements of lifetimes of charmed mesons and baryons performed by the Belle II experiment. Specifically, we measure $D_s^+$, $D^+$, $D^0$, $\Lambda_c^+$, and $\Omega_c^0$ lifetimes. Our results for $\tau(D_s^+)$, $\tau(D^+)$, $\tau(D^0)$, and $\tau(\Lambda_c^+)$ are the world's most precise; our result for $\tau(\Omega_c^0)$ confirms that the $\Omega_c^0$ lifetime is longer than that of the $\Lambda_c^+$ and the $\Xi_c^0$.


title: Totally real algebraic numbers in generalized Mandelbrot set

abstract: In this article, we study some potential theoretical and topological aspects of the generalized Mandelbrot set introduced by Baker and DeMarco. For $\alpha$ real, we study the set of all totally real algebraic parameters $c$ such that $\alpha$ is preperiodic under the iteration of the one-parameter family $f_c(x) = x^2 + c$. We show that when $|\alpha| < 2$ and rational then the set of totally real algebraic parameters $c$ with this property is finite, whereas if $|\alpha| \geq 2$ and rational then this set is countably infinite. As an unexpected consequence of this study, we also show that when $|\alpha| \geq 2$ then parameters $c$ such that $\alpha$ is $f_c$-periodic are necessarily real. As a special case, we classify all totally real algebraic integers $c$ such that $\alpha = \pm1$ is preperiodic.


title: Uncovering Stealth Bias in LISA observations of Double White Dwarf Binaries due to Tidal Coupling

abstract: Double white dwarfs are important gravitational wave sources for LISA, as they are some of the most numerous compact systems in our universe. Here we consider finite-sized effects due to tidal interactions, as they are expected to have a measurable impact on these systems. Previous studies suggested that tidal effects would allow the individual masses to be measured, but there was a subtle error in those analyses. Using a fully Bayesian analysis we find that while tidal effects do not allow us to constrain the individual masses, they do yield informative lower bounds on the total mass of the system. Including tidal effects is crucial to the accuracy of our estimation of the chirp and total mass. Neglecting tidal effects leads to significant biases towards higher chirp masses, and we see that the lower bound of the total masses is biased towards a higher value as well. For many systems observed by LISA, tidal effects can lead to a "stealth" bias, since only the first derivative of the frequency can be measured. To separate tidal effects from the usual point particle decay we need to be able to measure the change in the second derivative of the frequency cause by the tides. This can only be done for high frequency systems observed with high signal-to-noise. The bias, if not accounted for, can have significant astrophysical implications; for example, it could lead to an incorrect estimation of the population of potential Type IA supernovae progenitors.


title: Essential aspects of the spontaneous exchange bias effect

abstract: Here, we present a review of the phenomenology of the spontaneous exchange bias effect, a phenomenon in which some materials exhibit unidirectional magnetic anisotropy even without the assistance of an external magnetic field applied during its cooling process. We review and discuss the most critical advances in this field of research that flourished more than a decade ago, pointing out its main features as well as its similarities and dissimilarities with the conventional exchange bias effect that has been vastly investigated since the 1950 decade. Finally, we briefly overview the obstacles to advancement in the field and discuss what we believe could be promising roads to overcome them.


title: Drone-type-Set: Drone types detection benchmark for drone detection and tracking

abstract: The Unmanned Aerial Vehicles (UAVs) market has been significantly growing and Considering the availability of drones at low-cost prices the possibility of misusing them, for illegal purposes such as drug trafficking, spying, and terrorist attacks posing high risks to national security, is rising. Therefore, detecting and tracking unauthorized drones to prevent future attacks that threaten lives, facilities, and security, become a necessity. Drone detection can be performed using different sensors, while image-based detection is one of them due to the development of artificial intelligence techniques. However, knowing unauthorized drone types is one of the challenges due to the lack of drone types datasets. For that, in this paper, we provide a dataset of various drones as well as a comparison of recognized object detection models on the proposed dataset including YOLO algorithms with their different versions, like, v3, v4, and v5 along with the Detectronv2. The experimental results of different models are provided along with a description of each method. The collected dataset can be found in https://drive.google.com/drive/folders/1EPOpqlF4vG7hp4MYnfAecVOsdQ2JwBEd?usp=share_link


title: A note on continuous-time online learning

abstract: In online learning, the data is provided in a sequential order, and the goal of the learner is to make online decisions to minimize overall regrets. This note is concerned with continuous-time models and algorithms for several online learning problems: online linear optimization, adversarial bandit, and adversarial linear bandit. For each problem, we extend the discrete-time algorithm to the continuous-time setting and provide a concise proof of the optimal regret bound.


title: Early Results from the HUMDRUM Survey: A Small, Earth-mass Planet Orbits TOI-1450A

abstract: M dwarf stars provide us with an ideal opportunity to study nearby small planets. The HUMDRUM (HUnting for M Dwarf Rocky planets Using MAROON-X) survey uses the MAROON-X spectrograph, which is ideally suited to studying these stars, to measure precise masses of a volume-limited ($<\,30$ pc) sample of transiting M dwarf planets. TOI-1450 is a nearby (22.5 pc) binary system containing a M3 dwarf with a roughly 3000 K companion. Its primary star, TOI-1450A, was identified by $TESS$ to have a 2.04d transit signal, and is included in the HUMDRUM sample. In this paper, we present MAROON-X radial velocities which confirm the planetary nature of this signal and measure its mass at a nearly 10% precision. The 2.04d planet, TOI-1450Ab, has $R_b\,=\,1.13\,\pm\,0.04\,R_\oplus$ and $M_b\,=\,1.26\,\pm\,0.13\,M_\oplus$. It is the second-lowest-mass transiting planet with a high-precision RV mass measurement. With this mass and radius, the planet's mean density is compatible with an Earth-like composition. Given its short orbital period and slightly sub-Earth density, it may be amenable to $JWST$ follow-up to test whether the planet has retained an atmosphere despite extreme heating from the nearby star. We also discover a non-transiting planet in the system with a period of 5.07 days and a $M\mathrm{sin}i_c\,=\,1.53\,\pm\,0.18\,M_\oplus$. We also find a 2.01d signal present in the systems's $TESS$ photometry that likely corresponds to the rotation period of TOI-1450A's binary companion, TOI-1450B. TOI-1450A, meanwhile, appears to have a rotation period of approximately 40 days, which is in-line with our expectations for a mid-M dwarf.


title: Analytical insights into the interplay of momentum, multiplicity and the speed of sound in heavy-ion collisions

abstract: We introduce a minimal model of ultracentral heavy-ion collisions to study the relation between the speed of sound of the produced plasma and the final particles' energy and multiplicity. We discuss how the particles' multiplicity $N_{\textrm{tot}}$ and average energy $E_{\textrm{tot}}/N_{\textrm{tot}}$ is related to the speed of sound $c_s$ by $c_s^2=d \ln (E_{\textrm{tot}}/N_{\textrm{tot}})/d\ln N_{\textrm{tot}}$ if the fluid is inviscid, its speed of sound is constant and all final particles can be measured. We show that finite rapidity cuts on the particles' multiplicity $N$ and energy $E$ introduce corrections between $c_s^2$ and $d \ln (E/N)/d\ln N$ that depend on the system's lifetime. We study analytically these deviations with the Gubser hydrodynamic solution, finding that, for ultrarelativistic bosons, they scale as the ratio of the freezeout temperature $T_{\mathrm{FO}}$ over the maximum initial temperature of the fluid $T_{0}$; the non-thermodynamic aspect of these corrections is highlighted through their dependence on the system's initial conditions.


title: Formulae and transformations for simplicial tensorial finite elements via polytopal templates

abstract: We introduce a unified method for constructing the basis functions of a wide variety of partially continuous tensor-valued finite elements on simplices using polytopal templates. These finite element spaces are essential for achieving well-posed discretisations of mixed formulations of partial differential equations that involve tensor-valued functions, such as the Hellinger-Reissner formulation of linear elasticity. In our proposed polytopal template method, the basis functions are constructed from template tensors associated with the geometric polytopes (vertices, edges, faces etc.) of the reference simplex and any scalar-valued $H^1$-conforming finite element space. From this starting point we can construct the Regge, Hellan-Herrmann-Johnson, Pechstein-Sch\"oberl, Hu-Zhang, Hu-Ma-Sun and Gopalakrishnan-Lederer-Sch\"oberl elements. Because the Hu-Zhang element and the Hu-Ma-Sun element cannot be mapped from the reference simplex to a physical simplex via standard double Piola mappings, we also demonstrate that the polytopal template tensors can be used to define a consistent mapping from a reference simplex even to a non-affine simplex in the physical mesh. Finally, we discuss the implications of element regularity with two numerical examples for the Reissner-Mindlin plate problem.


title: Experimental preparation of multiphoton-added coherent states of light

abstract: Conditional addition of photons represents a crucial tool for optical quantum state engineering and it forms a fundamental building block of advanced quantum photonic devices. Here we report on experimental implementation of the conditional addition of several photons. We demonstrate the addition of one, two, and three photons to input coherent states with various amplitudes. The resulting highly nonclassical photon-added states are completely characterized with time-domain homodyne tomography, and the nonclassicality of the prepared states is witnessed by the negativity of their Wigner functions. We experimentally demonstrate that the conditional addition of photons realizes approximate noiseless quantum amplification of coherent states with sufficiently large amplitude. We also investigate certification of the stellar rank of the generated multiphoton-added coherent states, which quantifies the non-Gaussian resources required for their preparation. Our results pave the way towards the experimental realization of complex optical quantum operations based on combination of multiple photon additions and subtractions.


title: A semi-analytical transient undisturbed velocity correction scheme for wall-bounded two-way coupled Euler-Lagrange simulations

abstract: In the present paper, we model the velocity disturbance generated by a regularized forcing near a planar wall, which, along with the temporal nature of the forcing, provides an estimate of the unsteady velocity disturbance of the particle near a planar wall. We use the analytical solution for a singular in-time transient Stokeslet near a planar wall (Felderhof, 2009) and derive the corresponding time-persistent Stokeslets. The velocity disturbance due to a regularized forcing is then obtained numerically via a discrete convolution with the regularization kernel. The resulting Green's functions for parallel and perpendicular regularized forcing to the wall are stored as pre-computed temporal correction maps. By storing the time-dependent particle force on the fluid as fictitious particles, we estimate the unsteady velocity disturbance generated by the particle as a scalar product between the stored forces and the pre-computed Green's functions. Since the model depends on the analytical Green's function solution of the singular Stokeslet near a planar wall, the obtained velocity disturbance exactly satisfies the no-slip condition and does not require any fitted parameters to account for the rapid decay of the disturbance near the wall. The numerical evaluation of the convolution integral makes the present method suitable for arbitrary regularization kernels. Additionally, the generation of parallel and perpendicular correction maps enables to estimate the velocity disturbance due to particle motion in arbitrary directions relative to the local flow. The convergence of the method is studied on a fixed particle near a planar wall, and verification tests are performed on a settling particle parallel to a wall and a free-falling particle perpendicular to the wall.


title: Measurement of Ionization Produced by 254 eVnr Nuclear Recoils in Germanium

abstract: The ionization or scintillation produced by low-energy nuclear recoils is the primary signature of dark matter. Despite the urgency of dark matter detection and the recent measurements of coherent elastic neutrino-nucleus scattering, detector response is still not well characterized across a variety of materials in the keVnr and sub-keVnr regime. We have re-performed a measurement of the ionization produced by monoenergetic 254 eVnr nuclear recoils in Ge with improved digital electronics and event tagging scheme. Our results indicate an ionization yield of 66 +/- 5 eVee corresponding to a quenching factor of 25 +/- 2 %, greater than the 14 % predicted by Lindhard Model. This quenching enhancement would greatly improve the sensitivity of high-purity Ge detectors for both dark matter detection and measurement of neutrinos via coherent scattering.


title: Development of a plasma simulation tool for accelerating cavities

abstract: Plasma processing of superconducting radio frequency (SRF) cavities has shown an improvement in accelerating gradient by reducing the radiation due to field emission and multipacting. Plasma processing is a common technique where the free oxygen produced by the plasma breaks down and removes hydrocarbons from surfaces. This increases the work function and reduces the secondary emission coefficient. The hydrocarbon fragments of H2, CO, CO2, and H2O are removed from the system with the process gas which is flowing through the system. Here, we present COMSOL for the first time to simulate the plasma processing of an SRF cavity. In this work, we use Jefferson Lab's C75 SRF cavities design as our case study. Using simulation, we predict the condition of plasma ignition inside the SRF cavity. The simulation provides information about the optimal rf coupling to the cavity, mode for plasma ignition, choice of gas concentration, power, and pressure.


title: The $r$-equilibrium Problem

abstract: In this paper we introduce the $r$-equilibrium problem and discuss connections to the map $det^{S^r}$. The case $r=2$ is an application of Newton's third law of motion, while $r=3$ deals with equilibrium of torque-like forces.


title: An upgraded 0.4-meter telescope fleet for Las Cumbres Observatory's Educational and Science Programs

abstract: Las Cumbres Observatory (LCOGT) operates a global network of robotic 0.4, 1.0, and 2.0-meter telescopes to facilitate scientific research and education in time-domain astronomy. LCOGT's flagship educational program, Global Sky Partners (GSP), awards up to 1500 hours per year of telescope time to individuals and organizations that run their own, fully supported, educational programs. The GSP has a presence in 40 countries and 45% of the Partners target under-served, under-represented, and developing world audiences. The degradation and obsolescence of the original 0.4-meter telescope network prompted LCOGT to update the fleet of 10 telescopes to a new system consisting of predominantly off-the-shelf products. New PlaneWave DeltaRho 350 telescopes with Gemini Focuser/Rotators, LCOGT filter wheels, and QHY600 CMOS cameras, complement the original, custom-built mount. The deployment of all ten telescopes was completed in March 2024. We describe the design and performance of this new system and its components. We comment on modifications made to the QHY600 cameras, as well as on the treatment of random telegraph noise of its CMOS detectors within our data processing system BANZAI. The new telescope network supports the GSP program as well as multiple key science projects, including follow-up observations for the TESS satellite mission.