title: On the evaluation of grid and grid-to-grid rainfall-runoff models and their differences with physical benchmarks

abstract: In the first part of our study, we demonstrated how a simple physical benchmark model can be used to assess assumptions of the conceptual models, based on a lumped Probability Distributed Model (PDM) formulated by Lamb (1999). In this second part, we extend the scope of our study to distributed models, which aim to represent the spatial variability of model's elements (e.g. input precipitation, soil moisture levels, flow components etc.). For demonstration purposes, we assess the assumptions of the Grid and Grid-to-Grid models, commonly used for flood real-time forecasting in the UK. While the distributed character of these models is conceptually closer to the physical model, we demonstrate that its exact implementation leads to many qualitative and quantitative differences in the model behaviour. For example, we show that the main assumption, namely that the speed of surface and subsurface flow is constant, causes the Grid-to-Grid model to significantly misrepresent scenarios with no rainfall, leading to too fast river flow decay, and scenarios with upstream rainfall, failing to capture characteristic flash flood formation. We argue that this analytical approach of finding fundamental differences between models may help us to develop more theoretically-justified rainfall-runoff models, e.g. models that can better handle the two aforementioned scenarios and other scenarios in which the spatial dependence is crucial to properly represent the catchment dynamics.


title: Approximate N$^5$LO Higgs boson decay width $\Gamma(H\to\gamma\gamma)$

abstract: The precision and predictive power of perturbative QCD (pQCD) prediction depends on both a precise, convergent fixed-order series and a reliable way of estimating the contributions of unknown higher-order (UHO) terms. It has been shown that by applying the Principal of Maximum Conformality (PMC), which applies the renormalization group equation recursively to set the effective magnitude of $\alpha_s$ of the process, the remaining conformal coefficients will be well matched with the corresponding $\alpha_s$ at each orders, leading to a scheme-and-scale invariant and convergent perturbative series. Thus different from conventional scheme-and-scale dependent fixed-order series, the PMC series will provide a more reliable platform for estimating UHO contributions. In this paper, by using the total decay width $\Gamma(H\to\gamma\gamma)$ which has been calculated up to N$^4$LO QCD corrections, we derive its PMC series by using the PMC single-scale setting approach and estimate its unknown N$^5$LO contributions by using the Bayesian analysis. The Bayesian-based approach estimates the magnitude of the UHO contributions based on an optimized analysis of probability density distribution, and the predicted UHO contribution becomes more accurate when more loop terms have been known to tame the probability density function. Using the top-quark pole mass $M_t$=172.69 GeV and the Higgs mass $M_H$=125.25 GeV as inputs, we obtain $\Gamma(H\to\gamma\gamma) =9.56504~{\rm keV}$ and the estimated N$^5$LO contribution to the total decay width is $\Delta\Gamma_H=\pm1.65\times10^{-4}~{\rm keV}$ for the smallest credible interval of $95.5\%$ degree-of-belief.


title: Effects of linking topology on the shear response of connected ring polymers: Catenanes and bonded rings flow differently

abstract: We perform computer simulations of mechanically linked (poly[2]catenanes, PC) and chemically bonded (bonded rings, BR) pairs of self-avoiding ring polymers in steady shear. We find that BR's develop a novel motif, termed gradient tumbling, rotating around the gradient axis. For the PC's the rings are stretched and display another new pattern, termed slip-tumbling. The dynamics of BR's is continuous and oscillatory, whereas that of PC's is intermittent between slip-tumbling attempts. Our findings demonstrate the interplay between topology and hydrodynamics in dilute solutions of connected polymers.


title: Experimental apparatus for non-contact resistivity measurements of the rock core plug based on magnetic induction

abstract: A new apparatus has been developed to measure the conductivity of rock samples. The probe, which consists of multi-coil transmitters and receivers doesn't require physical contact with the samples. The measurement is based on the induction principle. The measurement system is validated by using saline solutions and water-saturated sands of known conductivity. This work presents details of the development of a system of magnetic resistivity measurements by magnetic induction for petrophysical applications. The first application consists of measuring the resistivity of the core plug which is 0.038 m in diameter. Currently the system is operating properly at a frequency of 50 kHz with a current of up to 500 mA at 20 {\deg}C. During the study two types of samples were investigated: aqueous solutions with conductivities between 1 to 100 mS/cm and rocks. Several tests were carried out with the objective of investigating the performance of the instrument, such as the experiment to obtain sensitivity for the measurement system as a function of the current applied to the transmitter coil.


title: An application of functional analysis to the Riemann zeta function

abstract: Lindel\"of conjectured that the Riemann zeta function $\zeta(\sigma+it)$ grows more slowly than any fixed positive power of $t$ as $t\rightarrow\infty$ when $\sigma\geq 1/2$. Hardy and Littlewood showed that this is equivalent to the existence of the $2k$th moments for all fixed $k\in\mathbb{N}$ and $\sigma>1/2$. In this paper we show that the completeness of the Hilbert space $B^2$ of Besicovitch almost-periodic functions implies that if the $2k$th moment exists for $\sigma>\sigma_k>1/2$ then it also exists on the line $\sigma=\sigma_k$.


title: Advanced Cd1-xMnxTe:Fe2+ semiconductor crystals with linear sin-band redshift of absorption and emission spectra

abstract: Doped semiconductor crystals of solid solution $Cd_{1-x}Mn_{x}Te:Fe^{2+}$ were grown by the high-pressure Bridgman method covering the range of its existence as a zinc blende crystal structure. The concentration of Fe-impurities was approximately 0.001 wt.% in all studied samples. The correlations between the composition of solid solution crystals of $Cd_{1-x}Mn_{x}Te:Fe^{2+}$, band gap, lattice period and the maxima positions of the $Fe^{2+}$ active ion absorption and emission spectra were found. A new theoretical model based on the principle of additivity for solid solution semiconductor materials has been used for explaining the long-wavelength ''redshift'' of absorption and luminescence bands in the spectra of $Cd_{1-x}Mn_{x}Te:Fe^{2+}$ crystals with increasing solid solution concentration. The obtained results can be used to predict the lasing range for $Cd_{1-x}Mn_{x}Te:Fe^{2+}$ crystal media (in all possible $Mn$ concentrations), which is potentially the longest wavelength active material for mid-IR lasing.

categories: cond-mat.mtrl-sci physics.app-ph physics.ins-det physics.optics


title: The reachability homology of a directed graph

abstract: The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.


title: Relation between PLS and OLS regression in terms of the eigenvalue distribution of the regressor covariance matrix

abstract: Partial least squares (PLS) is a dimensionality reduction technique introduced in the field of chemometrics and successfully employed in many other areas. The PLS components are obtained by maximizing the covariance between linear combinations of the regressors and of the target variables. In this work, we focus on its application to scalar regression problems. PLS regression consists in finding the least squares predictor that is a linear combination of a subset of the PLS components. Alternatively, PLS regression can be formulated as a least squares problem restricted to a Krylov subspace. This equivalent formulation is employed to analyze the distance between ${\hat{\boldsymbol\beta}\;}_{\mathrm{PLS}}^{\scriptscriptstyle {(L)}}$, the PLS estimator of the vector of coefficients of the linear regression model based on $L$ PLS components, and $\hat{\boldsymbol \beta}_{\mathrm{OLS}}$, the one obtained by ordinary least squares (OLS), as a function of $L$. Specifically, ${\hat{\boldsymbol\beta}\;}_{\mathrm{PLS}}^{\scriptscriptstyle {(L)}}$ is the vector of coefficients in the aforementioned Krylov subspace that is closest to $\hat{\boldsymbol \beta}_{\mathrm{OLS}}$ in terms of the Mahalanobis distance with respect to the covariance matrix of the OLS estimate. We provide a bound on this distance that depends only on the distribution of the eigenvalues of the regressor covariance matrix. Numerical examples on synthetic and real-world data are used to illustrate how the distance between ${\hat{\boldsymbol\beta}\;}_{\mathrm{PLS}}^{\scriptscriptstyle {(L)}}$ and $\hat{\boldsymbol \beta}_{\mathrm{OLS}}$ depends on the number of clusters in which the eigenvalues of the regressor covariance matrix are grouped.


title: Flavor symmetries in the leptonic Yukawa sector of the 3HDM

abstract: As an extension of the Standard Model (SM), the 3HDM (Three-Higgs-Doublet Model) defines additional relationships among the fermions. In the visible leptonic Yukawa sector of a minimal 3HDM, we determine and classify the existing flavor symmetries under discrete non-abelian groups up to order 1032. The three Higgs doublets form a flavor triplet, and the admission of unfaithful representations enriches the set of candidate flavor transformations greatly. The many existing symmetries give rise (after EWSB) to a large number of inequivalent mass matrices that imply lepton properties, which in turn are evaluated against experimental data. In the 3HDM the mass hierarchy of the charged leptons leads to a too small $\Delta m^2_{21} / \Delta m^2_{32}$ ratio of the neutrinos. More generally, it is proven that the lepton mass matrices implied by discrete flavor symmetries are in disagreement with the observed data for all groups investigated, both when it is assumed that the neutrinos have the Dirac or Majorana nature.


title: Language-driven All-in-one Adverse Weather Removal

abstract: All-in-one (AiO) frameworks restore various adverse weather degradations with a single set of networks jointly. To handle various weather conditions, an AiO framework is expected to adaptively learn weather-specific knowledge for different degradations and shared knowledge for common patterns. However, existing methods: 1) rely on extra supervision signals, which are usually unknown in real-world applications; 2) employ fixed network structures, which restrict the diversity of weather-specific knowledge. In this paper, we propose a Language-driven Restoration framework (LDR) to alleviate the aforementioned issues. First, we leverage the power of pre-trained vision-language (PVL) models to enrich the diversity of weather-specific knowledge by reasoning about the occurrence, type, and severity of degradation, generating description-based degradation priors. Then, with the guidance of degradation prior, we sparsely select restoration experts from a candidate list dynamically based on a Mixture-of-Experts (MoE) structure. This enables us to adaptively learn the weather-specific and shared knowledge to handle various weather conditions (e.g., unknown or mixed weather). Experiments on extensive restoration scenarios show our superior performance (see Fig. 1). The source code will be made available.


title: Coherent state representations of the holomorphic automorphism group of a quasi-symmetric Siegel domain of type III

abstract: The aim of this paper is to study the classification of generic coherent state representations of a Lie group and its connection to the structure theory of K\"{a}hler algebras. The group we deal with is the holomorphic automorphism group of a quasi-symmetric Siegel domain of type III. A method using the generalized Iwasawa decomposition is provided.


title: Some further construction methods for uninorms via uninorms

abstract: In this paper, we further investigate new construction methods for uninorms on bounded lattices via given uninorms. More specifically, we first construct new uninorms on arbitrary bounded lattices by extending a given uninorm on a subinterval of the lattices under necessary and sufficient conditions on the given uninorm. Moreover, based on the new uninorms, we can give another sufficient and necessary condition under which $S_{1}^{*}$ is a $t$-conorm ($T_{1}^{*}$ is a $t$-norm) in \cite{SS06}. Furthermore, using closure operators (interior operators), we also provide new construction methods for uninorms by extending the given uninorm on a subinterval of a bounded lattice under some additional constraints and simultaneously investigate the additional constraints carefully and systematically. Meanwhile, some illustrative examples for the above construction methods of uninorms on bounded lattices are provided.


title: A Tight Lower Bound for 3-Coloring Grids in the Online-LOCAL Model

abstract: Recently, \citeauthor*{akbari2021locality}~(ICALP 2023) studied the locality of graph problems in distributed, sequential, dynamic, and online settings from a {unified} point of view. They designed a novel $O(\log n)$-locality deterministic algorithm for proper 3-coloring bipartite graphs in the $\mathsf{Online}$-$\mathsf{LOCAL}$ model. In this work, we establish the optimality of the algorithm by showing a \textit{tight} deterministic $\Omega(\log n)$ locality lower bound, which holds even on grids. To complement this result, we have the following additional results: \begin{enumerate} \item We show a higher and {tight} $\Omega(\sqrt{n})$ lower bound for 3-coloring toroidal and cylindrical grids. \item Considering the generalization of $3$-coloring bipartite graphs to $(k+1)$-coloring $k$-partite graphs, %where $k \geq 2$ is a constant, we show that the problem also has $O(\log n)$ locality when the input is a $k$-partite graph that admits a \emph{locally inferable unique coloring}. This special class of $k$-partite graphs covers several fundamental graph classes such as $k$-trees and triangular grids. Moreover, for this special class of graphs, we show a {tight} $\Omega(\log n)$ locality lower bound. \item For general $k$-partite graphs with $k \geq 3$, we prove that the problem of $(2k-2)$-coloring $k$-partite graphs exhibits a locality of $\Omega(n)$ in the $\onlineLOCAL$ model, matching the round complexity of the same problem in the $\LOCAL$ model recently shown by \citeauthor*{coiteux2023no}~(STOC 2024). Consequently, the problem of $(k+1)$-coloring $k$-partite graphs admits a locality lower bound of $\Omega(n)$ when $k\geq 3$, contrasting sharply with the $\Theta(\log n)$ locality for the case of $k=2$. \end{enumerate}


title: Optimization Strategies for Beam Direction and Dose Distribution Selection in Radiotherapy Planning

abstract: Radiotherapy planning is a critical aspect of cancer treatment, where the optimal selection of beam directions and dose distributions significantly impacts treatment efficacy and patient outcomes. Traditionally, this process involves time-consuming manual trial-and-error methods, leading to suboptimal treatment plans. To address this challenge, optimization strategies based on advanced artificial intelligence (AI) techniques have been explored. This paper presents an investigation into the application of AI-driven optimization methods for beam direction and dose distribution selection in radiotherapy planning. The study proposes an approach utilizing Convolutional Neural Networks (CNN) to learn the relationship between patient anatomy and optimal beam orientations. The CNN model is trained on a dataset comprising anatomical features and corresponding beam orientations, derived from a column generation (CG) algorithm. Additionally, Particle Swarm Optimization (PSO) and Grey Wolf Optimization (GWO) algorithms are employed to optimize the CNN's weights and biases to attain the Fluence Map Optimization (FMO) objective function. Experiments are conducted using data from 70 clinical prostate cancer patients. The results demonstrate the effectiveness of the CNN-PSO and CNN-GWO approaches in generating beam orientations that yield treatment plans with dose distributions comparable to those obtained through traditional CG. DVH analysis of the resulting plans for different anatomical structures validates the accuracy and feasibility of the CNN-GWO model in radiotherapy planning. The findings of this study highlight the potential of AI-driven optimization strategies to revolutionize radiotherapy planning by significantly reducing planning time and enhancing treatment plan quality.


title: Regret Optimality of GP-UCB

abstract: Gaussian Process Upper Confidence Bound (GP-UCB) is one of the most popular methods for optimizing black-box functions with noisy observations, due to its simple structure and superior performance. Its empirical successes lead to a natural, yet unresolved question: Is GP-UCB regret optimal? In this paper, we offer the first generally affirmative answer to this important open question in the Bayesian optimization literature. We establish new upper bounds on both the simple and cumulative regret of GP-UCB when the objective function to optimize admits certain smoothness property. These upper bounds match the known minimax lower bounds (up to logarithmic factors independent of the feasible region's dimensionality) for optimizing functions with the same smoothness. Intriguingly, our findings indicate that, with the same level of exploration, GP-UCB can simultaneously achieve optimality in both simple and cumulative regret. The crux of our analysis hinges on a refined uniform error bound for online estimation of functions in reproducing kernel Hilbert spaces. This error bound, which we derive from empirical process theory, is of independent interest, and its potential applications may reach beyond the scope of this study.


title: On ideals related to Laver and Miller trees

abstract: In this work we consider the ideals $m^0(\mathcal{I})$ and $\ell^0(\mathcal{I})$, ideals generated by the $\mathcal{I}$-positive Miller trees and $\mathcal{I}$-positive Laver trees, respectively. We investigate in which cases these ideals have cofinality larger than $\mathfrak{c}$ and we calculate some cardinal invariants closely related to these ideals.


title: Two long-period giant planets around two giant stars: HD 112570 and HD 154391

abstract: We present the discoveries of two giant planets orbiting the red giant branch (RGB) star HD 112570 and the red clump (RC) star HD 154391, based on the radial velocity (RV) measurements from Xinglong station and Okayama Astrophysical Observatory (OAO). Spectroscopic and asteroseismic analyses suggest that HD 112570 has a mass of $1.15\pm0.12\,M_{\odot}$, a radius of $9.85\pm0.23\,R_{\odot}$, a metallicity [Fe/H] of $-0.46\pm0.1$ and a ${\rm log}\,g$ of $2.47\pm0.1$. With the joint analysis of RV and Hipparcos-Gaia astrometry, we obtain a dynamical mass of $M_{\rm p}={3.42}_{-0.84}^{+1.4}\ M_{\rm Jup}$, a period of $P={2615}_{-77}^{+85}$ days and a moderate eccentricity of $e={0.20}_{-0.14}^{+0.16}$ for the Jovian planet HD 112570 b. For HD 154391, it has a mass of $2.07\pm0.03\,M_{\odot}$, a radius of $8.56\pm0.05\,R_{\odot}$, a metallicity [Fe/H] of $0.07\pm0.1$ and a ${\rm log}\,g$ of $2.86\pm0.1$. The super-Jupiter HD 154391 b has a mass of $M_{\rm p}={9.1}_{-1.9}^{+2.8}\ M_{\rm Jup}$, a period of $P={5163}_{-57}^{+60}$ days and an eccentricity of $e={0.20}_{-0.04}^{+0.04}$. We found HD 154391 b has one of the longest orbital period among those ever discovered orbiting evolved stars, which may provide a valuable case in our understanding of planetary formation at wider orbits. Moreover, while a mass gap at $4\,M_{\rm Jup}$ seems to be present in the population of giant stars, there appears to be no significant differences in the distribution of metallicity among giant planets with masses above or below this threshold. Finally, The origin of the abnormal accumulation near 2 au for planets around large evolved stars ($R_{\star}>21\,R_{\odot}$), remains unclear.


title: Deep Learning Assisted Raman Spectroscopy for Rapid Identification of 2D Materials

abstract: Two-dimensional (2D) materials have attracted extensive attention due to their unique characteristics and application potentials. Raman spectroscopy, as a rapid and non-destructive probe, exhibits distinct features and holds notable advantages in the structural characterization of 2D materials. However, traditional data analysis of Raman spectra relies on manual interpretation and feature extraction, which are both time-consuming and subjective. In this work, we employ deep learning techniques, including classificatory and generative deep learning, to assist the analysis of Raman spectra of typical 2D materials. For the limited and unevenly distributed Raman spectral data, we propose a data augmentation approach based on Denoising Diffusion Probabilistic Models (DDPM) to augment the training dataset and construct a four-layer Convolutional Neural Network (CNN) for 2D material classification. Experimental results illustrate the effectiveness of DDPM in addressing data limitations and significantly improved classification model performance. The proposed DDPM-CNN method shows high reliability, with 100%classification accuracy. Our work demonstrates the practicality of deep learning-assisted Raman spectroscopy for high-precision recognition and classification of 2D materials, offering a promising avenue for rapid and automated spectral analysis.


title: A Chung-Fuchs type theorem for skew product dynamical systems

abstract: We prove a Chung-Fuchs type theorem for skew product dynamical systems such that for a measurable function on such a system, if its Birkhoff average converges to zero almost surely, and on typical fibres its Birkhoff sums have a non-trivial independent structure, then its associated generalised random walk oscillates, that is the supremum of the random walk equals to $+\infty$ and the infimum equals to $-\infty$.


title: Moderate Dimension Reduction for $k$-Center Clustering

abstract: The Johnson-Lindenstrauss (JL) Lemma introduced the concept of dimension reduction via a random linear map, which has become a fundamental technique in many computational settings. For a set of $n$ points in $\mathbb{R}^d$ and any fixed $\epsilon>0$, it reduces the dimension $d$ to $O(\log n)$ while preserving, with high probability, all the pairwise Euclidean distances within factor $1+\epsilon$. Perhaps surprisingly, the target dimension can be lower if one only wishes to preserve the optimal value of a certain problem on the pointset, e.g., Euclidean max-cut or $k$-means. However, for some notorious problems, like diameter (aka furthest pair), dimension reduction via the JL map to below $O(\log n)$ does not preserve the optimal value within factor $1+\epsilon$. We propose to focus on another regime, of \emph{moderate dimension reduction}, where a problem's value is preserved within factor $\alpha>1$ using target dimension $\tfrac{\log n}{poly(\alpha)}$. We establish the viability of this approach and show that the famous $k$-center problem is $\alpha$-approximated when reducing to dimension $O(\tfrac{\log n}{\alpha^2}+\log k)$. Along the way, we address the diameter problem via the special case $k=1$. Our result extends to several important variants of $k$-center (with outliers, capacities, or fairness constraints), and the bound improves further with the input's doubling dimension. While our $poly(\alpha)$-factor improvement in the dimension may seem small, it actually has significant implications for streaming algorithms, and easily yields an algorithm for $k$-center in dynamic geometric streams, that achieves $O(\alpha)$-approximation using space $poly(kdn^{1/\alpha^2})$. This is the first algorithm to beat $O(n)$ space in high dimension $d$, as all previous algorithms require space at least $\exp(d)$. Furthermore, it extends to the $k$-center variants mentioned above.


title: Neural Network Characterization and Entropy Regulated Data Balancing through Principal Component Analysis

abstract: This paper examines the relationship between the behavior of a neural network and the distribution formed from the projections of the data records into the space spanned by the low-order principal components of the training data. For example, in a benchmark calculation involving rotated and unrotated MNIST digits, classes (digits) that are mapped far from the origin in a low-dimensional principal component space and that overlap minimally with other digits converge rapidly and exhibit high degrees of accuracy in neural network calculations that employ the associated components of each data record as inputs. Further, if the space spanned by these low-order principal components is divided into bins and the input data records that are mapped into a given bin averaged, the resulting pattern can be distinguished by its geometric features which interpolate between those of adjacent bins in an analogous manner to variational autoencoders. Based on this observation, a simply realized data balancing procedure can be realized by evaluating the entropy associated with each histogram bin and subsequently repeating the original image data associated with the bin by a number of times that is determined from this entropy.


title: Exploring the Influence of Cosmic Curvature on Large-Scale Structure Formation: Part I -- Homogeneous Dark Energy Presence

abstract: This study explores the impact of cosmic curvature on structure formation through general relativistic first-order perturbation theory. We analyze continuity and Euler equations, incorporating cosmic curvature into Einstein equations. Emphasizing late-time dynamics, we investigate matter density contrast evolution in the presence of cosmic curvature, with a specific focus on sub-hubble scales. Solving the evolution equation, we conduct data analysis using cosmic chronometers, baryon acoustic oscillations, type Ia supernova observations and $f\sigma_8$ data. While constraints on some parameters remain consistent, excluding cosmic curvature tightens constraints on $\Omega_{\rm m0}$ and $\sigma_{\rm 80}$ in $\Lambda$CDM and $w$CDM models. Intriguingly, the non-phantom behavior of dark energy proves more favorable in both $w$CDM and CPL models across diverse data combinations.


title: Hiders' Game

abstract: Consider spies infiltrating a network or dissidents secretly organising under a dictatorship. Such scenarios can be cast as adversarial social network analysis problems involving nodes connecting while evading network analysis tools, e.g., centrality measures or community detection algorithms. While most works consider unilateral actions of an evader, we define a network formation game. Here, several newcomers attempt to rewire the existing social network, to become directly tied with the high centrality players, while keeping their own centrality small. This extends the network formation literature, including the Jackson and Wolinsky model, by considering additional strategies and new utility functions. We algorithmically demonstrate that the pairwise Nash stable networks (\PANS) constitute a lattice, where the stronger \PANS{} lattice is nested in the weaker \PANS. We also prove that inclusion in \PANS{} implies less utility for everyone. Furthermore, we bound the social efficiency of \PANS{} and directly connect efficiency to the strength of \PANS. Finally, we characterise the \PANS{} in practically important settings, deriving tight efficiency bounds. Our results suggest the hiders how to interconnect stably and efficiently. Additionally, the results let us detect infiltrated networks, enhancing the social network analysis tools. Besides the theoretical development, this is applicable to fighting terrorism and espionage.


title: Structural transitions in interacting lattice systems

abstract: We consider two-dimensional systems of point particles located on rectangular lattices and interacting via pairwise potentials. The goal of this paper is to investigate the phase transitions (and their nature) at fixed density for the minimal energy of such systems. The 2D rectangle lattices we consider have an elementary cell of sides $a$ and $b$, the aspect ratio is defined as $\Delta=b/a$ and the inverse particle density $A = a b$; therefore, the "symmetric'' state with $\Delta=1$ corresponds to the square lattice and the "non-symmetric'' state to the rectangular lattice with $\Delta\ne 1$. For certain types of the interaction potential, by changing continuously the particle density, such lattice systems undertake at a specific value of the (inverse) particle density $A^*$ a structural transition from the symmetric to the non-symmetric state. The structural transition can be either of first order ($\Delta$ unstick from its symmetric value $\Delta=1$ discontinuously) or of second order ($\Delta$ unstick from $\Delta=1$ continuously); the first and second-order phase transitions are separated by the so-called tricritical point. We develop a general theory on how to determine the exact values of the transition densities and the location of the tricritical point. The general theory is applied to the double Yukawa and Yukawa-Coulomb potentials.


title: Quantum dense coding with gravitational cat states

abstract: A protocol of quantum dense coding with gravitational cat states is proposed. We explore the effects of temperature and system parameters on the dense coding capacity and provide an efficient strategy to preserve the quantum advantage of dense coding for these states. Our results might open new opportunities for secure communication and possibly insights into the fundamental nature of gravity in the context of quantum information processing.


title: Visual Prompting Upgrades Neural Network Sparsification: A Data-Model Perspective

abstract: The rapid development of large-scale deep learning models questions the affordability of hardware platforms, which necessitates the pruning to reduce their computational and memory footprints. Sparse neural networks as the product, have demonstrated numerous favorable benefits like low complexity, undamaged generalization, etc. Most of the prominent pruning strategies are invented from a model-centric perspective, focusing on searching and preserving crucial weights by analyzing network topologies. However, the role of data and its interplay with model-centric pruning has remained relatively unexplored. In this research, we introduce a novel data-model co-design perspective: to promote superior weight sparsity by learning important model topology and adequate input data in a synergetic manner. Specifically, customized Visual Prompts are mounted to upgrade neural Network sparsification in our proposed VPNs framework. As a pioneering effort, this paper conducts systematic investigations about the impact of different visual prompts on model pruning and suggests an effective joint optimization approach. Extensive experiments with 3 network architectures and 8 datasets evidence the substantial performance improvements from VPNs over existing start-of-the-art pruning algorithms. Furthermore, we find that subnetworks discovered by VPNs from pre-trained models enjoy better transferability across diverse downstream scenarios. These insights shed light on new promising possibilities of data-model co-designs for vision model sparsification.


title: Towards Mitigating Perceived Unfairness in Contracts from a Non-Legal Stakeholder's Perspective

abstract: Commercial contracts are known to be a valuable source for deriving project-specific requirements. However, contract negotiations mainly occur among the legal counsel of the parties involved. The participation of non-legal stakeholders, including requirement analysts, engineers, and solution architects, whose primary responsibility lies in ensuring the seamless implementation of contractual terms, is often indirect and inadequate. Consequently, a significant number of sentences in contractual clauses, though legally accurate, can appear unfair from an implementation perspective to non-legal stakeholders. This perception poses a problem since requirements indicated in the clauses are obligatory and can involve punitive measures and penalties if not implemented as committed in the contract. Therefore, the identification of potentially unfair clauses in contracts becomes crucial. In this work, we conduct an empirical study to analyze the perspectives of different stakeholders regarding contractual fairness. We then investigate the ability of Pre-trained Language Models (PLMs) to identify unfairness in contractual sentences by comparing chain of thought prompting and semi-supervised fine-tuning approaches. Using BERT-based fine-tuning, we achieved an accuracy of 84% on a dataset consisting of proprietary contracts. It outperformed chain of thought prompting using Vicuna-13B by a margin of 9%.


title: Principal bundles with holomorphic connections over a Kaehler Calabi-Yau manifold

abstract: We prove that any holomorphic vector bundle admitting a holomorphic connection, over a compact K\"ahler Calabi-Yau manifold, also admits a flat holomorphic connection. This addresses a particular case of a question asked by Atiyah and generalizes a result previously obtained in \cite{BD} for simply connected compact K\"ahler Calabi-Yau manifolds. We give some applications of it in the framework of Cartan geometries and foliated Cartan geometries on K\"ahler Calabi-Yau manifolds.


title: The Horizontal Tensor Complementarity Problem

abstract: This article explores a new type of nonlinear complementarity problem, namely the horizontal tensor complementarity problem (HTCP), which is a natural extension of the horizontal linear complementarity problem studied in [12]. We extend the concepts of R_0, R, and P pairs from a pair of linear transformations given in [9] to a pair of tensors. When a given pair of tensors has these properties, we use degree-theoretic tools to discuss the existence and boundedness of solutions to the HTCP. Finally, we study an uniqueness result of the solution of the HTCP.


title: Quantum Simulation of Dissipative Energy Transfer via Noisy Quantum Computer

abstract: In recent years, due to its formidable potential in computational theory, quantum computing has become a very popular research topic. However, the implementation of practical quantum algorithms, which hold the potential to solve real-world problems, is often hindered by the significant error rates associated with quantum gates and the limited availability of qubits. In this study, we propose a practical approach to simulate the dynamics of an open quantum system on a noisy computer, which encompasses general and valuable characteristics. Notably, our method leverages gate noises on the IBM-Q real device, enabling us to perform calculations using only two qubits. The results generated by our method performed on IBM-Q Jakarta aligned with the those calculated by hierarchical equations of motion (HEOM), which is a classical numerically-exact method, while our simulation method runs with a much better computing complexity. In the last, to deal with the increasing depth of quantum circuits when doing Trotter expansion, we introduced the transfer tensor method(TTM) to extend our short-term dynamics simulation. Based on quantum simulator, we show the extending ability of TTM, which allows us to get a longer simulation using a relatively short quantum circuits.


title: More Quantum Speedups for Multiproposal MCMC

abstract: Multiproposal Markov chain Monte Carlo (MCMC) algorithms choose from multiple proposals at each iteration in order to sample from challenging target distributions more efficiently. Recent work demonstrates the possibility of quadratic quantum speedups for one such multiproposal MCMC algorithm. Using $P$ proposals, this quantum parallel MCMC QPMCMC algorithm requires only $\mathcal{O}(\sqrt{P})$ target evaluations at each step. Here, we present a fast new quantum multiproposal MCMC strategy, QPMCMC2, that only requires $\mathcal{O}(1)$ target evaluations and $\mathcal{O}(\log P)$ qubits. Unlike its slower predecessor, the QPMCMC2 Markov kernel (1) maintains detailed balance exactly and (2) is fully explicit for a large class of graphical models. We demonstrate this flexibility by applying QPMCMC2 to novel Ising-type models built on bacterial evolutionary networks and obtain significant speedups for Bayesian ancestral trait reconstruction for 248 observed salmonella bacteria.


title: OplixNet: Towards Area-Efficient Optical Split-Complex Networks with Real-to-Complex Data Assignment and Knowledge Distillation

abstract: Having the potential for high speed, high throughput, and low energy cost, optical neural networks (ONNs) have emerged as a promising candidate for accelerating deep learning tasks. In conventional ONNs, light amplitudes are modulated at the input and detected at the output. However, the light phases are still ignored in conventional structures, although they can also carry information for computing. To address this issue, in this paper, we propose a framework called OplixNet to compress the areas of ONNs by modulating input image data into the amplitudes and phase parts of light signals. The input and output parts of the ONNs are redesigned to make full use of both amplitude and phase information. Moreover, mutual learning across different ONN structures is introduced to maintain the accuracy. Experimental results demonstrate that the proposed framework significantly reduces the areas of ONNs with the accuracy within an acceptable range. For instance, 75.03% area is reduced with a 0.33% accuracy decrease on fully connected neural network (FCNN) and 74.88% area is reduced with a 2.38% accuracy decrease on ResNet-32.


title: Decision Diagrams in Space!

abstract: The Asteroid Routing Problem is like the Traveling Salesman Problem, but in space. The European Space Agency is interested in visiting asteroids to extract minerals, however, the asteroids are moving, and calculating trajectories between asteroids can be computationally expensive. The goal of the Asteroid Routing Problem is to find the optimal path that visits a set of asteroids while taking the movement of the asteroids into account. Existing methods of solving this problem do not yield exact solutions. We provide the first exact solution to the Asteroid Routing Problem by using a method of solving optimization problems with decision diagrams called peel-and-bound. We also discuss how this methodology can be used to generate new heuristic search techniques for global trajectory optimization problems.


title: The Monge-Amp\`ere equation in cones and polygonal domains

abstract: We study asymptotic behaviors of solutions to the Monge-Amp\`ere equation in cones and use the expansion as a tool to study the regularity of solutions in polygonal domains.


title: Can a star be smaller than a black hole of the same mass?

abstract: It is commonly believed that black holes are the smallest self-gravitating objects of the same mass in the Universe. Here, we demonstrate, in a subclass of higher-order pure gravities known as quasi-topological gravity, that by modifying general relativity (GR) to reduce the strength of gravity in strong-field regimes while keeping GR unchanged in weak-field regimes, it is possible for stars to collapse to radii less than $2M$ while still maintaining equilibrium between gravity and pressure gradients, leading to physically-reasonable neutron stars smaller in size than a black hole of the same mass. We present concrete solutions for such objects and discuss some of their observational consequences. These objects may furnish new avenues for understanding the nature of gravity in strong-field regimes and leave imprints on gravitational wave echoes from compact binary mergers. An observation of these imprints may constitute evidence for new physics beyond GR when effects of gravity in strong-field regimes are concerned.


title: VideoRF: Rendering Dynamic Radiance Fields as 2D Feature Video Streams

abstract: Neural Radiance Fields (NeRFs) excel in photorealistically rendering static scenes. However, rendering dynamic, long-duration radiance fields on ubiquitous devices remains challenging, due to data storage and computational constraints. In this paper, we introduce VideoRF, the first approach to enable real-time streaming and rendering of dynamic radiance fields on mobile platforms. At the core is a serialized 2D feature image stream representing the 4D radiance field all in one. We introduce a tailored training scheme directly applied to this 2D domain to impose the temporal and spatial redundancy of the feature image stream. By leveraging the redundancy, we show that the feature image stream can be efficiently compressed by 2D video codecs, which allows us to exploit video hardware accelerators to achieve real-time decoding. On the other hand, based on the feature image stream, we propose a novel rendering pipeline for VideoRF, which has specialized space mappings to query radiance properties efficiently. Paired with a deferred shading model, VideoRF has the capability of real-time rendering on mobile devices thanks to its efficiency. We have developed a real-time interactive player that enables online streaming and rendering of dynamic scenes, offering a seamless and immersive free-viewpoint experience across a range of devices, from desktops to mobile phones.


title: Improving In-Context Learning in Diffusion Models with Visual Context-Modulated Prompts

abstract: In light of the remarkable success of in-context learning in large language models, its potential extension to the vision domain, particularly with visual foundation models like Stable Diffusion, has sparked considerable interest. Existing approaches in visual in-context learning frequently face hurdles such as expensive pretraining, limiting frameworks, inadequate visual comprehension, and limited adaptability to new tasks. In response to these challenges, we introduce improved Prompt Diffusion (iPromptDiff) in this study. iPromptDiff integrates an end-to-end trained vision encoder that converts visual context into an embedding vector. This vector is subsequently used to modulate the token embeddings of text prompts. We show that a diffusion-based vision foundation model, when equipped with this visual context-modulated text guidance and a standard ControlNet structure, exhibits versatility and robustness across a variety of training tasks and excels in in-context learning for novel vision tasks, such as normal-to-image or image-to-line transformations. The effectiveness of these capabilities relies heavily on a deep visual understanding, which is achieved through relevant visual demonstrations processed by our proposed in-context learning architecture.


title: Generative Rendering: Controllable 4D-Guided Video Generation with 2D Diffusion Models

abstract: Traditional 3D content creation tools empower users to bring their imagination to life by giving them direct control over a scene's geometry, appearance, motion, and camera path. Creating computer-generated videos, however, is a tedious manual process, which can be automated by emerging text-to-video diffusion models. Despite great promise, video diffusion models are difficult to control, hindering a user to apply their own creativity rather than amplifying it. To address this challenge, we present a novel approach that combines the controllability of dynamic 3D meshes with the expressivity and editability of emerging diffusion models. For this purpose, our approach takes an animated, low-fidelity rendered mesh as input and injects the ground truth correspondence information obtained from the dynamic mesh into various stages of a pre-trained text-to-image generation model to output high-quality and temporally consistent frames. We demonstrate our approach on various examples where motion can be obtained by animating rigged assets or changing the camera path.


title: Coupled Dark Sector Models and Cosmological Tensions

abstract: In this paper, we introduce two coupling models of early dark energy (EDE) and cold dark matter aimed at alleviating cosmological tensions. We utilize the EDE component in the coupling models to relieve the Hubble tension, while leveraging the interaction between dark matter and dark energy to alleviate the large-scale structure tension. The interaction is implemented in the form of pure momentum coupling and Yukawa coupling. We employed various cosmological datasets, including cosmic microwave background radiation, baryon acoustic oscillations, Type Ia supernovae, the local distance-ladder data (SH0ES), and the Dark Energy Survey Year-3 data, to analyze our models. We first exclude SH0ES data from the entire dataset to constrain the parameters of novel models. We observe that the constraints on $H_0$ from two coupling models are slightly higher than that from the $\Lambda$CDM model, but they exhibit a significant inconsistency with the SH0ES data, consistent with prior research findings in the EDE model. Subsequently, we incorporate SH0ES data to re-constrain the parameters of various models, our findings reveal that both coupling models yield best-fit values for $H_0$ approximately around $72.23$ km/s/Mpc, effectively mitigating the Hubble tension. Similar to the EDE model, the coupling models yield the $S_8$ values that still surpasses the result of the $\Lambda$CDM model. Nevertheless, the best-fit values for $S_8$ obtained with the two new models are 0.8192 and 0.8177, respectively, which are lower than the 0.8316 achieved by the EDE model. Consequently, although our coupling models fail to fully resolve the large-scale structure tension, they partially mitigate the adverse effect of the original EDE model.


title: Bayesian inference on Cox regression models using catalytic prior distributions

abstract: The Cox proportional hazards model (Cox model) is a popular model for survival data analysis. When the sample size is small relative to the dimension of the model, the standard maximum partial likelihood inference is often problematic. In this work, we propose the Cox catalytic prior distributions for Bayesian inference on Cox models, which is an extension of a general class of prior distributions originally designed for stabilizing complex parametric models. The Cox catalytic prior is formulated as a weighted likelihood of the regression coefficients based on synthetic data and a surrogate baseline hazard constant. This surrogate hazard can be either provided by the user or estimated from the data, and the synthetic data are generated from the predictive distribution of a fitted simpler model. For point estimation, we derive an approximation of the marginal posterior mode, which can be computed conveniently as a regularized log partial likelihood estimator. We prove that our prior distribution is proper and the resulting estimator is consistent under mild conditions. In simulation studies, our proposed method outperforms standard maximum partial likelihood inference and is on par with existing shrinkage methods. We further illustrate the application of our method to a real dataset.


title: Inevitable Si surface passivation prior to III-V/Si epitaxy: A strong impact on wetting properties

abstract: Here, we quantitatively estimate the impact of the inevitable Si surface passivation prior to III-V/Si hetero-epitaxy on the surface energy of the Si initial substrate, and explore its consequences for the description of wetting properties. Density Functional Theory is used to determine absolute surface energies of P- and Ga-passivated Si surfaces and their dependencies with the chemical potential. Especially, we show that, while a ~90 meV/$\r{A}^2$ surface energy is usually considered for the nude Si surface, surface passivation by Ga- or P- atoms leads to a strong stabilization of the surface, with a surface energy in the [50-75 meV/$\r{A}^2$] range. The all-ab initio analysis of the wetting properties indicate that a complete wetting situation would become possible only if the initial passivated Si surface could be destabilized by at least 15 meV/$\r{A}^2$ or if the III-V (001) surface could be stabilized by the same amount.

categories: cond-mat.mtrl-sci physics.app-ph physics.chem-ph physics.comp-ph


title: Integrality of genus zero Gopakumar-Vafa type invariants of semi-positive varieties

abstract: We give an alternate proof of the integrality conjecture of genus zero Gopakumar-Vafa type invariants on semi-positive varieties using algebraic geometry. The main technique is to relate Gopakumar-Vafa type invariants to quantum $K$-invariants and to utilize the integrality of the latter.


title: Predicting Properties of Periodic Systems from Cluster Data: A Case Study of Liquid Water

abstract: The accuracy of the training data limits the accuracy of bulk properties from machine-learned potentials. For example, hybrid functionals or wave-function-based quantum chemical methods are readily available for cluster data but effectively out-of-scope for periodic structures. We show that local, atom-centred descriptors for machine-learned potentials enable the prediction of bulk properties from cluster model training data, agreeing reasonably well with predictions from bulk training data. We demonstrate such transferability by studying structural and dynamical properties of bulk liquid water with density functional theory and have found an excellent agreement with experimental as well as theoretical counterparts.


title: Thermally Averaged Magnetic Anisotropy Tensors via Machine Learning Based on Gaussian Moments

abstract: We propose a machine learning method to model molecular tensorial quantities, namely the magnetic anisotropy tensor, based on the Gaussian-moment neural-network approach. We demonstrate that the proposed methodology can achieve an accuracy of 0.3--0.4 cm$^{-1}$ and has excellent generalization capability for out-of-sample configurations. Moreover, in combination with machine-learned interatomic potential energies based on Gaussian moments, our approach can be applied to study the dynamic behavior of magnetic anisotropy tensors and provide a unique insight into spin-phonon relaxation.


title: Uncertainty-biased molecular dynamics for learning uniformly accurate interatomic potentials

abstract: Efficiently creating a concise but comprehensive data set for training machine-learned interatomic potentials (MLIPs) is an under-explored problem. Active learning (AL), which uses either biased or unbiased molecular dynamics (MD) simulations to generate candidate pools, aims to address this objective. Existing biased and unbiased MD simulations, however, are prone to miss either rare events or extrapolative regions -- areas of the configurational space where unreliable predictions are made. Simultaneously exploring both regions is necessary for developing uniformly accurate MLIPs. In this work, we demonstrate that MD simulations, when biased by the MLIP's energy uncertainty, effectively capture extrapolative regions and rare events without the need to know \textit{a priori} the system's transition temperatures and pressures. Exploiting automatic differentiation, we enhance bias-forces-driven MD simulations by introducing the concept of bias stress. We also employ calibrated ensemble-free uncertainties derived from sketched gradient features to yield MLIPs with similar or better accuracy than ensemble-based uncertainty methods at a lower computational cost. We use the proposed uncertainty-driven AL approach to develop MLIPs for two benchmark systems: alanine dipeptide and MIL-53(Al). Compared to MLIPs trained with conventional MD simulations, MLIPs trained with the proposed data-generation method more accurately represent the relevant configurational space for both atomic systems.


title: Lascoux polynomials and subdivisions of Gelfand-Zetlin polytopes

abstract: We give a new combinatorial description for stable Grothendieck polynomials in terms of subdivisions of Gelfand-Zetlin polytopes. Moreover, these subdivisions also provide a description of Lascoux polynomials. This generalizes a similar result on key polynomials by Kiritchenko, Smirnov, and Timorin.


title: New Kolmogorov bounds in the CLT for random ratios and applications

abstract: We develop techniques for determining an explicit Berry-Esseen bound in the Kolmogorov distance for the normal approximation of a ratio of Gaussian functionals. We provide an upper bound in terms of the third and fourth cumulants, using some novel techniques and sharp estimates for cumulants. As applications, we study the rate of convergence of the distribution of discretized versions of minimum contrast and maximum likelihood estimators of the drift parameter of the Ornstein-Uhlenbeck process. Moreover, we derive upper bounds that are strictly sharper than those available in the literature.


title: Finding and counting small tournaments in large tournaments

abstract: We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, it is proved that every tournament on four vertices (there are four) can be detected in $O(n^2)$ time and counted in $O(n^\omega)$ time where $\omega < 2.373$ is the matrix multiplication exponent. It is also proved that any tournament on five vertices (there are $12$) can be counted in $O(n^{\omega+1})$ time. As for lower-bounds, we prove that for almost all $k$-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for {\em undirected cliques} of order $k-O(\log k)$.


title: Measuring distances to galaxies with globular cluster velocity dispersions

abstract: Accurate distances are key to obtaining intrinsic properties of astronomical objects such as luminosity or size. Globular clusters (GCs) follow a well-defined relation between their absolute magnitudes and internal stellar velocity dispersions ($\sigma$), offering an independent way to measure distances to their host galaxies via high-resolution spectroscopy. This is reminiscent of the "Faber-Jackson" for elliptical galaxies. However, unlike galaxies, GCs have a very narrow range of mass-to-light ratios and simple star formation histories. Here we show that the GC $M_V - \text{log}_{10}(\sigma)$ relation is linear, whose slope is identical for the Milky Way and M31 GC systems. Based on this, we use 94 Milky Way GCs which have distances from Gaia parallaxes, or proper-motion dispersion profiles to derive a "GC velocity dispersion" distance (GCVD) to M31, obtaining $(m-M)_0=24.51\pm0.08$ ($d=798\pm28$ kpc), in excellent agreement with independent measurements. Combining data for these two galaxies to create a fiducial relation using 296 GCs with high-quality measurements, we obtain a zeropoint uncertainty ($\pm 0.06$ mag) corresponding to a distance uncertainty of $\sim3\%$. We then use GCVD to obtain a distance to the giant elliptical galaxy NGC\,5128 (Centaurus A), finding $(m-M)_0= 27.95\pm0.09$ ($d=3.89\pm0.16$ Mpc). This is in excellent agreement with, and in some cases more precise than, literature estimates from the tip of the red giant branch or surface brightness fluctuations. We apply GCVD to Local Group galaxies with appropriate data and find good agreement with literature values even in cases with only one GC velocity dispersion measurement.


title: RobotGPT: Robot Manipulation Learning from ChatGPT

abstract: We present RobotGPT, an innovative decision framework for robotic manipulation that prioritizes stability and safety. The execution code generated by ChatGPT cannot guarantee the stability and safety of the system. ChatGPT may provide different answers for the same task, leading to unpredictability. This instability prevents the direct integration of ChatGPT into the robot manipulation loop. Although setting the temperature to 0 can generate more consistent outputs, it may cause ChatGPT to lose diversity and creativity. Our objective is to leverage ChatGPT's problem-solving capabilities in robot manipulation and train a reliable agent. The framework includes an effective prompt structure and a robust learning model. Additionally, we introduce a metric for measuring task difficulty to evaluate ChatGPT's performance in robot manipulation. Furthermore, we evaluate RobotGPT in both simulation and real-world environments. Compared to directly using ChatGPT to generate code, our framework significantly improves task success rates, with an average increase from 38.5% to 91.5%. Therefore, training a RobotGPT by utilizing ChatGPT as an expert is a more stable approach compared to directly using ChatGPT as a task planner.


title: Testing Gravity and Predictions Beyond the Standard Model at Short Distances: The Casimir Effect

abstract: The Standard Model of elementary particles and their interactions does not include the gravitational interaction and faces problems in understanding of the dark matter, dark energy, strong CP violation etc. In continuing attempts to solve these problems, many predictions of new light elementary particles and hypothetical interactions beyond the Standard Model have been made. These predictions can be constrained by many means and, specifically, by measuring the Casimir force arising between two closely spaced bodies due to the zero-point and thermal fluctuations of the electromagnetic field. After a brief survey in the theory of the Casimir effect, the strongest constraints on the power-type and Yukawa-type corrections to Newtonian gravity, following from measuring the Casimir force at short distances, are considered. Next,the problems of dark matter, dark energy and their probable constituents are discussed. This is followed by an analysis of constraints on the dark matter particles, and, specifically, on axions and axionlike particles, obtained from the Casimir effect. The question of whether the Casimir effect can be used for constraining the spin-dependent interactions is also considered. Then the constraints on the dark energy particles, like chameleons and symmetrons, are examined. In all cases the subject of our treatment is not only measurements of the Casimir force but some other relevant table-top experiments as well. In conclusion, the prospects of the Casimir effect for constraining theoretical predictions beyond the Standard Model at short distances are summarized.


title: Self-Critical Alternate Learning based Semantic Broadcast Communication

abstract: Semantic communication (SemCom) has been deemed as a promising communication paradigm to break through the bottleneck of traditional communications. Nonetheless, most of the existing works focus more on point-to-point communication scenarios and its extension to multi-user scenarios is not that straightforward due to its cost-inefficiencies to directly scale the JSCC framework to the multi-user communication system. Meanwhile, previous methods optimize the system by differentiable bit-level supervision, easily leading to a "semantic gap". Therefore, we delve into multi-user broadcast communication (BC) based on the universal transformer (UT) and propose a reinforcement learning (RL) based self-critical alternate learning (SCAL) algorithm, named SemanticBC-SCAL, to capably adapt to the different BC channels from one transmitter (TX) to multiple receivers (RXs) for sentence generation task. In particular, to enable stable optimization via a nondifferentiable semantic metric, we regard sentence similarity as a reward and formulate this learning process as an RL problem. Considering the huge decision space, we adopt a lightweight but efficient self-critical supervision to guide the learning process. Meanwhile, an alternate learning mechanism is developed to provide cost-effective learning, in which the encoder and decoders are updated asynchronously with different iterations. Notably, the incorporation of RL makes SemanticBC-SCAL compliant with any user-defined semantic similarity metric and simultaneously addresses the channel non-differentiability issue by alternate learning. Besides, the convergence of SemanticBC-SCAL is also theoretically established. Extensive simulation results have been conducted to verify the effectiveness and superiorness of our approach, especially in low SNRs.


title: Batch Hop-Constrained s-t Simple Path Query Processing in Large Graphs

abstract: Hop-constrained s-t simple path (HC-s-t path) enumeration is a fundamental problem in graph analysis. Existing solutions for this problem focus on optimizing the processing performance of a single query. However, in practice, it is more often that multiple HC-s-t path queries are issued simultaneously and processed as a batch. Therefore, we study the problem of batch HC-s-t path query processing in this paper and aim to compute the results of all queries concurrently and efficiently as a batch. To achieve this goal, we first propose the concept of HC-s path query which can precisely characterize the common computation among different queries.We then devise a two-phase HC-s path query detection algorithm to identify the common HC-s path queries for the given HC-s-t path queries. Based on the detected HC-s path queries, we further devise an efficient HC-s-t path enumeration algorithm in which the common computation represented by HC-s path queries are effectively shared. We conduct extensive experiments on real-world graphs and the experimental results demonstrate that our proposed algorithm is efficient and scalable regarding processing multiple HC-s-t path queries in large graphs at billion-scale.


title: Conserved cosmological perturbations in USR inflation and bouncing scenarios

abstract: Inflationary and bouncing scenarios are two frameworks that provide the mechanism to overcome the horizon problem as well as generate the primordial perturbations. In this work, we investigate the conservation of perturbations in single-field models of both inflationary and bouncing scenarios, where the quantity, $z = a \, \rm d \phi/{\rm d}\log a$, with $a$ representing the scale factor and $\phi$ denoting the scalar field, decreases with time. We observe that this behaviour occurs during the ultra-slow-roll phase in the context of inflation and the contracting phase in the context of bounce. We show that the conjugate momentum associated with the comoving curvature perturbation during both the ultra-slow-roll phase and the contracting phase of bouncing scenarios is conserved in the super-Hubble limit. We illustrate that, within the framework of inflation, this conservation of momentum allows for the evolution of perturbations across the ultra-slow-roll phase, enabling the calculation of the power spectrum for modes that exit the Hubble radius before the ultra-slow-roll phase begins. Similarly, in the context of a bounce, we can determine the power spectrum after the bounce using this method. We support our approach with both numerical and analytical arguments.


title: Rough volatility: evidence from range volatility estimators

abstract: In Gatheral et al. 2018, first posted in 2014, volatility is characterized by fractional behavior with a Hurst exponent $H < 0.5$, challenging traditional views of volatility dynamics. Gatheral et al. demonstrated this using realized volatility measurements. Our study extends this analysis by employing range-based proxies to confirm their findings across a broader dataset and non-standard assets. Notably, we address the concern that rough volatility might be an artifact of microstructure noise in high-frequency return data. Our results reveal that log-volatility, estimated via range-based methods, behaves akin to fractional Brownian motion with an even lower $H$, below $0.1$. We also affirm the efficacy of the rough fractional stochastic volatility model (RFSV), finding that its predictive capability surpasses that of AR, HAR, and GARCH models in most scenarios. This work substantiates the intrinsic nature of rough volatility, independent of the microstructure noise often present in high-frequency financial data.


title: Novel KLD-based Resource Allocation for Integrated Sensing and Communication

abstract: In this paper, we introduce a novel resource allocation approach for integrated sensing-communication (ISAC) using the Kullback-Leibler divergence (KLD) metric. Specifically, we consider a base-station with limited power and antenna resources serving a number of communication users and detecting multiple targets simultaneously. First, we analyze the KLD for two possible antenna deployments, which are the separated and shared deployments, then use the results to optimize the resources of the base-station through minimising the average KLD for the network while satisfying a minimum predefined KLD requirement for each user equipment (UE) and target. To this end, the optimisation is formulated and presented as a mixed integer nonlinear programming (MINLP) problem and then solved using two approaches. In the first approach, we employ a genetic algorithm, which offers remarkable performance but demands substantial computational resources; and in the second approach, we propose a rounding-based interior-point method (RIPM) that provides a more computationally-efficient alternative solution at a negligible performance loss. The results demonstrate that the KLD metric can be an effective means for optimising ISAC networks, and that both optimisation solutions presented offer superior performance compared to uniform power and antenna allocation.


title: Approximate Proper Efficiency in Vector Optimization via Benson's Approach

abstract: We present two criteria for checking approximate proper efficiency in vector optimization problems with the ordering cone being a nonnegative orthant. Although the criteria can be established by Benson's approach [H.P. Benson, \textit{An improved definition of proper efficiency for vector maximization with respect to cones}, J. Math. Anal. Appl. \textbf{71} (1979), 232--241], detailed proofs are given for the first time here. The two criteria are strong motivations to introduce the concept of $e$-properly efficient solution, where $e$ is any nonzero vector taken from the closed pointed convex ordering cone. For an arbitrary linear vector optimization problem, we show that either the $e$-properly efficient solution set is empty or it coincides with the $e$-efficient solution set. This new result has no analogue in the literature.


title: Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammars

abstract: Interpretability methods aim to understand the algorithm implemented by a trained model (e.g., a Transofmer) by examining various aspects of the model, such as the weight matrices or the attention patterns. In this work, through a combination of theoretical results and carefully controlled experiments on synthetic data, we take a critical view of methods that exclusively focus on individual parts of the model, rather than consider the network as a whole. We consider a simple synthetic setup of learning a (bounded) Dyck language. Theoretically, we show that the set of models that (exactly or approximately) solve this task satisfy a structural characterization derived from ideas in formal languages (the pumping lemma). We use this characterization to show that the set of optima is qualitatively rich; in particular, the attention pattern of a single layer can be ``nearly randomized'', while preserving the functionality of the network. We also show via extensive experiments that these constructions are not merely a theoretical artifact: even after severely constraining the architecture of the model, vastly different solutions can be reached via standard training. Thus, interpretability claims based on inspecting individual heads or weight matrices in the Transformer can be misleading.


title: Thermodynamics of the Fredrickson-Andersen Model on the Bethe Lattice

abstract: The statics of the Fredrickson-Andersen model (FAM) of the liquid-glass transition is solved on the Bethe lattice (BL). The kinetic constraints of the FAM imply on the BL an ergodicity-breaking transition to a (glassy) phase where a fraction of spins of the system is permanently blocked, and the remaining "free" spins become non-trivially correlated. We compute several observables of the ergodicity-broken phase, such as the self-overlap, the configurational entropy and the spin-glass susceptibility, and we compare the analytical predictions with numerical experiments. The cavity equations that we obtain allow to define algorithms for fast equilibration and accelerated dynamics. We find that at variance with spin-glass models, the correlations inside a state do not exhibit a critical behavior.


title: D$^2$ST-Adapter: Disentangled-and-Deformable Spatio-Temporal Adapter for Few-shot Action Recognition

abstract: Adapting large pre-trained image models to few-shot action recognition has proven to be an effective and efficient strategy for learning robust feature extractors, which is essential for few-shot learning. Typical fine-tuning based adaptation paradigm is prone to overfitting in the few-shot learning scenarios and offers little modeling flexibility for learning temporal features in video data. In this work we present the Disentangled-and-Deformable Spatio-Temporal Adapter (D$^2$ST-Adapter), which is a novel adapter tuning framework well-suited for few-shot action recognition due to lightweight design and low parameter-learning overhead. It is designed in a dual-pathway architecture to encode spatial and temporal features in a disentangled manner. In particular, we devise the anisotropic Deformable Spatio-Temporal Attention module as the core component of D$^2$ST-Adapter, which can be tailored with anisotropic sampling densities along spatial and temporal domains to learn spatial and temporal features specifically in corresponding pathways, allowing our D$^2$ST-Adapter to encode features in a global view in 3D spatio-temporal space while maintaining a lightweight design. Extensive experiments with instantiations of our method on both pre-trained ResNet and ViT demonstrate the superiority of our method over state-of-the-art methods for few-shot action recognition. Our method is particularly well-suited to challenging scenarios where temporal dynamics are critical for action recognition.


title: Fast Dual Subgradient Optimization of the Integrated Transportation Distance Between Stochastic Kernels

abstract: A generalization of the Wasserstein metric, the integrated transportation distance, establishes a novel distance between probability kernels of Markov systems. This metric serves as the foundation for an efficient approximation technique, enabling the replacement of the original system's kernel with a kernel with a discrete support of limited cardinality. To facilitate practical implementation, we present a specialized dual algorithm capable of constructing these approximate kernels quickly and efficiently, without requiring computationally expensive matrix operations. Finally, we demonstrate the efficacy of our method through several illustrative examples, showcasing its utility in practical scenarios. This advancement offers new possibilities for the streamlined analysis and manipulation of stochastic systems represented by kernels.


title: Productions of $D^*_{s0}(2317)$ and $D_{s1}(2460)$ in $B_{(s)}$ and $\Lambda_b(\Xi_b)$ decays

abstract: Recent studies show that $D_{s0}^{\ast}(2317)$ and $D_{s1}(2460)$ contain large molecular components. In this work, we employ the naive factorization approach to calculate the production rates of $D_{s0}^{\ast}(2317)$ and $D_{s1}(2460)$ as hadronic molecules in $B_{(s)}$ and $\Lambda_b(\Xi_b)$ decays, where their decay constants are estimated in the effective Lagrangian approach. With the so-obtained decay constants $f_{D_{s0}^{\ast}(2317)}$ and $f_{D_{s1}(2460)}$, we calculate the branching fractions of the $b$-meson decays $B_{(s)}\to \bar{D}_{(s)}^{(*)}D_{s0}^*$ and $B_{(s)}\to \bar{D}_{(s)}^{(*)}D_{s1}$ and the $b$-baryon decays $\Lambda_b(\Xi_{b}) \to \Lambda_c(\Xi_{c}) D_{s0}^*$ and $\Lambda_b(\Xi_{b}) \to \Lambda_c(\Xi_c) D_{s1}$. Our results show that the production rates of $D_{s0}^{\ast}(2317)$ and $D_{s1}(2460)$ in the $B_s$, $\Lambda_b$ and $\Xi_b$ decays are rather large that future experiments could observe them. In particular, we demonstrate that one can extract the decay constants of hadronic molecules via the triangle mechanism because of the equivalence of the triangle mechanism to the tree diagram established in calculating the decays $B \to \bar{D}^{(*)}D_{s0}^{\ast}(2317)$ and $B \to \bar{D}^{(*)}D_{s1}(2460)$.


title: A connection between the boomerang uniformity and the extended differential in odd characteristic and applications

abstract: This paper makes the first bridge between the classical differential/boomerang uniformity and the newly introduced $c$-differential uniformity. We show that the boomerang uniformity of an odd APN function is given by the maximum of the entries (except for the first row/column) of the function's $(-1)$-Difference Distribution Table. In fact, the boomerang uniformity of an odd permutation APN function equals its $(-1)$-differential uniformity. We next apply this result to easily compute the boomerang uniformity of several odd APN functions. In the second part we give two classes of differentially low-uniform functions obtained by modifying the inverse function. The first class of permutations (CCZ-inequivalent to the inverse) over a finite field $\mathbb{F}_{p^n}$ ($p$, an odd prime) is obtained from the composition of the inverse function with an order-$3$ cycle permutation, with differential uniformity $3$ if $p=3$ and $n$ is odd; $5$ if $p=13$ and $n$ is even; and $4$ otherwise. The second class is a family of binomials and we show that their differential uniformity equals~$4$. We next complete the open case of $p=3$ in the investigation started by G\" olo\u glu and McGuire (2014), for $p\geq 5$, and continued by K\"olsch (2021), for $p=2$, $n\geq 5$, on the characterization of $L_1(X^{p^n-2})+L_2(X)$ (with linearized $L_1,L_2$) being a permutation polynomial. Finally, we extend to odd characteristic a result of Charpin and Kyureghyan (2010) providing an upper bound for the differential uniformity of the function and its switched version via a trace function.


title: Automatic Report Generation for Histopathology images using pre-trained Vision Transformers and BERT

abstract: Deep learning for histopathology has been successfully used for disease classification, image segmentation and more. However, combining image and text modalities using current state-of-the-art (SOTA) methods has been a challenge due to the high resolution of histopathology images. Automatic report generation for histopathology images is one such challenge. In this work, we show that using an existing pre-trained Vision Transformer (ViT) to encode 4096x4096 sized patches of the Whole Slide Image (WSI) and a pre-trained Bidirectional Encoder Representations from Transformers (BERT) model for language modeling-based decoder for report generation, we can build a performant and portable report generation mechanism that takes into account the whole high resolution image. Our method allows us to not only generate and evaluate captions that describe the image, but also helps us classify the image into tissue types and the gender of the patient as well. Our best performing model achieves a 89.52% accuracy in Tissue Type classification with a BLEU-4 score of 0.12 in our caption generation task.


title: Robust Resource Partitioning Approach for ARINC 653 RTOS

abstract: Modern airborne operating systems implement the concept of robust time and resource partitioning imposed by the standards for aerospace and airborne-embedded software systems, such as ARINC 653. While these standards do provide a considerable amount of design choices in regards to resource partitioning on the architectural and API levels, such as isolated memory spaces between the application partitions, predefined resource configuration, and unidirectional ports with limited queue and message sizes for inter-partition communication, they do not specify how an operating system should implement them in software. Furthermore, they often tend to set the minimal level of the required guarantees, for example, in terms of memory permissions, and disregard the hardware state of the art, which presently can provide considerably stronger guarantees at no extra cost. In the paper we present an architecture of robust resource partitioning for ARINC 653 real-time operating systems based on completely static MMU configuration. The architecture was implemented on different types of airborne hardware, including platforms with TLB-based and page table-based MMU. Key benefits of the proposed approach include minimised run-time overhead and simpler verification of the memory subsystem.


title: On the Bessel solution of Kepler's equation

abstract: Since its introduction in 1650, Kepler's equation has never ceased to fascinate mathematicians, scientists, and engineers. Over the course of five centuries, a large number of different solution strategies have been devised and implemented. Among them, the one originally proposed by J. L. Lagrange and later by F. W. Bessel still continues to be a source of mathematical treasures. Here, the Bessel solution of the elliptic Kepler equation is explored from a new perspective offered by the theory of the Stieltjes series. In particular, it has been proven that a complex Kapteyn series obtained directly by the Bessel expansion is a Stieltjes series. This mathematical result, to the best of our knowledge, is a new integral representation of the KE solution. Some considerations on possible extensions of our results to more general classes of the Kapteyn series are also presented.


title: Integral representations and asymptotic expansions for the second type Neumann series of Bessel functions of the first kind

abstract: In this paper we study the following Bessel series $\sum _{l=1}^{\infty } {J_{l+m'}(r)J_{l+m}(r)}{(l+\beta)^\alpha}$ for any $m,m'\in\mathbb{Z}$, $\alpha\in\mathbb{R}$ and $\beta>-1$. They are a particular case of the second type Neumann series of Bessel functions of the first kind. More specifically, we derive fully explicit integral representations and study the asymptotic behavior with explicit terms. As a corollary, the asymptotic behavior of series of the derivatives of Bessel functions can be understood.


title: Absence of Fermi surface reconstruction in pressure-driven overdoped YBCO

abstract: The evolution of the critical superconducting temperature and field, quantum oscillation frequencies and effective mass $m^{*}$ in underdoped YBa$_2$Cu$_3$O$_{7-\delta}$ (YBCO) crystals ($p$ = 0.11, with $p$ the hole concentration per Cu atom) points to a partial suppression of the charge orders with increasing pressure up to 7 GPa, mimicking doping. Application of pressures up to 25 GPa pushes the sample to the overdoped side of the superconducting dome. Contrary to other cuprates, or to doping studies on YBCO, the frequency of the quantum oscillations measured in that pressure range do not support the picture of a Fermi-surface reconstruction in the overdoped regime, but possibly point to the existence of a new charge order.


title: Spherically symmetric Einstein-scalar-field equations with potential for wave-like decaying null infinity

abstract: We show that the spherically symmetric Einstein-scalar-field equations with potential for small wave-like decaying initial data at null infinity have unique global solutions when potential is dominated by four powers of scalar fields essentially.


title: Koopman-based feedback design with stability guarantees

abstract: We present a method to design a state-feedback controller ensuring exponential stability for nonlinear systems using only measurement data. Our approach relies on Koopman-operator theory and uses robust control to explicitly account for approximation errors due to finitely many data samples. To simplify practical usage across various applications, we provide a tutorial-style exposition of the feedback design and its stability guarantees for single-input systems. Moreover, we extend this controller design to multi-input systems and more flexible nonlinear state-feedback controllers using gain-scheduling techniques to increase the guaranteed region of attraction. As the proposed controller design is framed as a semidefinite program, it allows for an efficient solution. Further, we enhance the geometry of the region of attraction through a heuristic algorithm that establishes a connection between the employed Koopman lifting and the dynamics of the system. Finally, we validate the proposed feedback design procedure by means of numerical examples.


title: New Facts and Data about Professors and their Research

abstract: We introduce a new survey of professors at roughly 150 of the most research-intensive institutions of higher education in the US. We document seven new features of how research-active professors are compensated, how they spend their time, and how they perceive their research pursuits: (1) there is more inequality in earnings within fields than there is across fields; (2) institutions, ranks, tasks, and sources of earnings can account for roughly half of the total variation in earnings; (3) there is significant variation across fields in the correlations between earnings and different kinds of research output, but these account for a small amount of earnings variation; (4) measuring professors' productivity in terms of output-per-year versus output-per-research-hour can yield substantial differences; (5) professors' beliefs about the riskiness of their research are best predicted by their fundraising intensity, their risk-aversion in their personal lives, and the degree to which their research involves generating new hypotheses; (6) older and younger professors have very different research outputs and time allocations, but their intended audiences are quite similar; (7) personal risk-taking is highly predictive of professors' orientation towards applied, commercially-relevant research.


title: Modular forms for the Weil representation induced from isotropic subgroups

abstract: For an isotropic subgroup $H$ of a discriminant form $D$ there exists a lift from modular forms for the Weil representation of the discriminant form $H^\bot/H$ to modular forms for the Weil representation of $D$. We determine a set of discriminant forms such that all modular forms for any discriminant form are induced from the discriminant forms in this set. Furthermore for any discriminant form in this set there exist modular forms that are not induced from smaller discriminant forms.


title: Looking Inside Out: Anticipating Driver Intent From Videos

abstract: Anticipating driver intention is an important task when vehicles of mixed and varying levels of human/machine autonomy share roadways. Driver intention can be leveraged to improve road safety, such as warning surrounding vehicles in the event the driver is attempting a dangerous maneuver. In this work, we propose a novel method of utilizing in-cabin and external camera data to improve state-of-the-art (SOTA) performance in predicting future driver actions. Compared to existing methods, our approach explicitly extracts object and road-level features from external camera data, which we demonstrate are important features for predicting driver intention. Using our handcrafted features as inputs for both a transformer and an LSTM-based architecture, we empirically show that jointly utilizing in-cabin and external features improves performance compared to using in-cabin features alone. Furthermore, our models predict driver maneuvers more accurately and earlier than existing approaches, with an accuracy of 87.5% and an average prediction time of 4.35 seconds before the maneuver takes place. We release our model configurations and training scripts on https://github.com/ykung83/Driver-Intent-Prediction


title: Classification of Home Network Problems with Transformers

abstract: We propose a classifier that can identify ten common home network problems based on the raw textual output of networking tools such as ping, dig, and ip. Our deep learning model uses an encoder-only transformer architecture with a particular pre-tokenizer that we propose for splitting the tool output into token sequences. The use of transformers distinguishes our approach from related work on network problem classification, which still primarily relies on non-deep-learning methods. Our model achieves high accuracy in our experiments, demonstrating the high potential of transformer-based problem classification for the home network.


title: Ultrafast polarization switching in BaTiO$_3$ by photoactivation of its ferroelectric and central modes

abstract: We use molecular dynamics simulations with machine-learned atomistic force fields to simulate photoexcitation of BaTiO3 by a femtosecond laser pulse whose photon energy exceeds the optical gap. We demonstrate selective displacive excitation of coherent zone-center ferroelectric mode phonons and of the strongly anharmonic central mode. We show that the direction of P can either be reversed by a pulse in hundreds of femtoseconds or, on a longer time scale and when combined with a weak field, switched to any one of its symmetry-equivalent directions.


title: The contemporaneous phase of GRB Afterglows -- Application to GRB~221009A

abstract: The TeV observations of GRB~221009A provided us with a unique opportunity to analyze the contemporaneous phase in which both prompt and afterglow emissions are seen simultaneously. To describe this initial phase of Gamma-Ray Burst afterglows, we suggest a model for a blast wave with an intermittent energy supply. We treat the blast wave as a two-element structure. The central engine supplies energy to the inner part (shocked ejecta material) via the reverse shock. As the shocked ejecta material expands, its internal energy is transferred to the shocked external matter. We take into account the inertia of the shocked external material so that the pressure difference across this region determines the derivative of the blast wave's Lorentz factor. Applied to GRB~221009A, the model yields a very good fit to the observations of the entire TeV lightcurve except for three regions where there are excesses in the data with respect to the model. Those are well correlated with the three largest episodes of the prompt activity, and thus, we interpret them as the reverse shock emission. Our best-fit solution for GRB~221009A is an extremely narrow jet with an opening angle theta_j approx 0.07^o (500/\Gamma_0) propagating into a wind-like external medium. This extremely narrow angle is consistent with the huge isotropic equivalent energy of this burst, and its inverse jet break explains the very rapid rise of the afterglow. Interestingly, photon-photon annihilation doesn't play a decisive role in the best-fit model.


title: Driven transparent quantum graphs

abstract: In this paper, we discuss the concept of quantum graphs with transparent vertices by considering the case where the graph interacts with an external time-independent field. In particular, we address the problem of transparent boundary conditions for quantum graphs, building on previous work on transparent boundary conditions for the stationary Schrodinger equation on a line. Physically relevant constraints making the vertex transparent under boundary conditions in the form of (weight) continuity and Kirchhoff rules are derived using two methods, the scattering approach and transparent boundary conditions for the time-independent Schrodinger equation. The latter is derived by extending the transparent boundary condition concept to the time-independent Schrodinger equation on driven quantum graphs. We also discuss how the eigenvalues and eigenfunctions of a quantum graph are influenced not only by its topology, but also by the shape(type) of a potential when an external field is involved.


title: Discovery of an extended GeV counterpart to the TeV source 1LHAASO J1945+2424 in Fermi-LAT data

abstract: With almost 15 years of data taken by the Large Area Telescope (LAT) onboard the Fermi satellite we discovered an extended source of GeV emission in the region of the very-high-energy (TeV) source 1LHAASO J1945+2424. This TeV source is more extended than the LAT source. The spectrum of the GeV emission is hard (with a photon spectral index ~1.5) and connects smoothly with that of the TeV source, indicating a likely common origin. In order to explain the origin of the gamma rays we explore scenarios which are typically used for supernova remnants (SNRs) and pulsar wind nebulae (PWN). For an SNR with a single particle population, a leptonic particle distribution in the form of a broken power-law with a break energy of ~3.7 TeV explains the spectrum well, while in the hadronic scenario a simple power-law with a hard spectral index of ~1.64 is necessary. In the PWN scenario, reasonable parameters are obtained for a source age of 10 kyr and current pulsar spin-down luminosity of 1e34 erg/s.


title: Foveation in the Era of Deep Learning

abstract: In this paper, we tackle the challenge of actively attending to visual scenes using a foveated sensor. We introduce an end-to-end differentiable foveated active vision architecture that leverages a graph convolutional network to process foveated images, and a simple yet effective formulation for foveated image sampling. Our model learns to iteratively attend to regions of the image relevant for classification. We conduct detailed experiments on a variety of image datasets, comparing the performance of our method with previous approaches to foveated vision while measuring how the impact of different choices, such as the degree of foveation, and the number of fixations the network performs, affect object recognition performance. We find that our model outperforms a state-of-the-art CNN and foveated vision architectures of comparable parameters and a given pixel or computation budget


title: Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

abstract: In his 1934 paper, G.Birkhoff poses the problem of classifying pairs $(G,U)$, where $G$ is an abelian group and $U\subset G$ a subgroup, up to automorphisms of $G$. In general, Birkhoff's Problem is not considered feasible. In this note, we fix a prime number $p$ and assume that $G$ is a direct sum of cyclic $p$-groups and $U\subset G$ is a subgroup. Under the assumption that the factor group $G/U$ is $p$-bounded, we show that each such pair $(G,U)$ has a unique direct sum decomposition into pairs of type $(\mathbb Z/(p^n),\mathbb Z/(p^n))$ or $(\mathbb Z/(p^n), (p))$. On the other hand, if we assume $U$ is a $p$-bounded subgroup of $G$ and in addition that $G/U$ is a direct sum of cyclic $p$-groups, we show that each such pair $(G,U)$ has a unique direct sum decomposition into pairs of type $(\mathbb Z/(p^n),0)$ or $(\mathbb Z/(p^n), (p^{n-1}))$. We generalize the above results to modules over commutative discrete valuation rings.


title: On the number of limit cycles for piecewise polynomial holomorphic systems

abstract: In this paper we are concerned with determining lower bounds of the number of limit cycles for piecewise polynomial holomorphic systems with a straight line of discontinuity. We approach this problem with different points of view: study of the number of zeros of the first and second order averaging functions, or with the control of the limit cycles appearing from a monodromic equilibrium point via a degenerated Andronov-Hoph type bifurcation, adding at the very end the sliding effects. We also use the Poincar\'e-Miranda theorem for obtaining an explicit piecewise linear holomorphic systems with 3 limit cycles, result that improves the known examples in the literature that had a single limit cycle.


title: Prospect of Plate Archive Photometric Calibration by GAIA SED Fluxes

abstract: This study aims to improve the photometric calibration of astronomical photo plates. The Sonneberg Observatory's sky patrol was selected, comprising about 300,000 plates, and the digitization workflow is implemented using PyPlate. The challenge is to remove zero point offsets resulting from differences in color sensitivity in the photo plates' emulsion response. By utilizing the Gaia DR3 dataset and the GaiaXPy tool, we are able to obtain a consistent astrometric and photometric calibration of the Sonneberg plates and those of other archives such as APPLAUSE.


title: D-Bot: Database Diagnosis System using Large Language Models

abstract: Database administrators (DBAs) play an important role in managing, maintaining and optimizing database systems. However, it is hard and tedious for DBAs to manage a large number of databases and give timely response (waiting for hours is intolerable in many online cases). In addition, existing empirical methods only support limited diagnosis scenarios, which are also labor-intensive to update the diagnosis rules for database version updates. Recently large language models (LLMs) have shown great potential in various fields. Thus, we propose D-Bot, an LLM-based database diagnosis system that can automatically acquire knowledge from diagnosis documents, and generate reasonable and well-founded diagnosis report (i.e., identifying the root causes and solutions) within acceptable time (e.g., under 10 minutes compared to hours by a DBA). The techniques in D-Bot include (i) offline knowledge extraction from documents, (ii) automatic prompt generation (e.g., knowledge matching, tool retrieval), (iii) root cause analysis using tree search algorithm, and (iv) collaborative mechanism for complex anomalies with multiple root causes. We verify D-Bot on real benchmarks (including 539 anomalies of six typical applications), and the results show that D-Bot can effectively analyze the root causes of unseen anomalies and significantly outperforms traditional methods and vanilla models like GPT-4.


title: 32-Bit RISC-V CPU Core on Logisim

abstract: This project focuses on making a RISC-V CPU Core using the Logisim software. RISC-V is significant because it will allow smaller device manufacturers to build hardware without paying royalties and allow developers and researchers to design and experiment with a proven and freely available instruction set architecture. RISC-V is ideal for a variety of applications from IOTs to Embedded systems such as disks, CPUs, Calculators, SOCs, etc. RISC-V(Reduced Instruction Set Architecture) is an open standard instruction set architecture (ISA) based on established reduced instruction set computer (RISC) principles. Unlike most other ISA designs, the RISC-V ISA is provided under open source licenses that do not require fees to use.


title: Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

abstract: Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a specification over the policy's behavior is satisfied with the desired probability. Unlike prior work on verifiable RL, our approach leverages the compositional nature of logical specifications provided in SpectRL, to learn over graphs of probabilistic reach-avoid specifications. The formal guarantees are provided by learning neural network policies together with reach-avoid supermartingales (RASM) for the graph's sub-tasks and then composing them into a global policy. We also derive a tighter lower bound compared to previous work on the probability of reach-avoidance implied by a RASM, which is required to find a compositional policy with an acceptable probabilistic threshold for complex tasks with multiple edge policies. We implement a prototype of our approach and evaluate it on a Stochastic Nine Rooms environment.


title: Marginal Density Ratio for Off-Policy Evaluation in Contextual Bandits

abstract: Off-Policy Evaluation (OPE) in contextual bandits is crucial for assessing new policies using existing data without costly experimentation. However, current OPE methods, such as Inverse Probability Weighting (IPW) and Doubly Robust (DR) estimators, suffer from high variance, particularly in cases of low overlap between target and behavior policies or large action and context spaces. In this paper, we introduce a new OPE estimator for contextual bandits, the Marginal Ratio (MR) estimator, which focuses on the shift in the marginal distribution of outcomes $Y$ instead of the policies themselves. Through rigorous theoretical analysis, we demonstrate the benefits of the MR estimator compared to conventional methods like IPW and DR in terms of variance reduction. Additionally, we establish a connection between the MR estimator and the state-of-the-art Marginalized Inverse Propensity Score (MIPS) estimator, proving that MR achieves lower variance among a generalized family of MIPS estimators. We further illustrate the utility of the MR estimator in causal inference settings, where it exhibits enhanced performance in estimating Average Treatment Effects (ATE). Our experiments on synthetic and real-world datasets corroborate our theoretical findings and highlight the practical advantages of the MR estimator in OPE for contextual bandits.


title: Differential $e\mu bb $ Cross-Sections and New Higgses at the Electroweak Scale

abstract: ATLAS found that none of their Standard Model simulations can describe the measured differential lepton distributions in their $t \bar{t}$ analysis reasonably well. Therefore, we study the possibility that this measurement has a new physics contamination. We consider a benchmark model motivated by the indications for di-photon resonances: A heavy scalar decays into two lighter Higgs bosons with masses of 152\,GeV and 95\,GeV, with subsequent decay to $WW$ and $bb$, respectively. In this setup, the description of data is improved by at least $5.6 \sigma$.