Research works

On a Modified Mathematical Model Arising from a Trojan Y Chromosome Strategy

In this paper, we investigate a modified Trojan Y chromosome (TYC) strategy aimed at eradicating invasive species from natural habitats. The proposed mathematical model enhances the original TYC framework by ensuring the nonnegativity of population densities and preventing potent...

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking

Rigorous quantitative evaluation of microarchitectural side channels is challenging for two reasons. First, the processors, attacks, and defenses often exhibit probabilistic behaviors. These probabilistic behaviors arise due to natural noise in systems (e.g., from co-running proc...

Characteristics of monotonic sheaths near a wall with grazing magnetic incidence

Abstract We consider a magnetised plasma in contact with an absorbing planar wall, where the angle α between the magnetic field and the wall is small, α ≪ 1 (in radians), and the plasma is uniform in the directions tangential to the wall. The finite ratio γ of the characteristic...

USF-Net: a Unified Spatiotemporal Fusion Network for ground-based remote sensing cloud image sequence extrapolation

Ground-based remote sensing cloud image sequence extrapolation is a key research area in the development of photovoltaic power systems. However, existing approaches exhibit several limitations:(1)they primarily rely on static kernels to augment feature information, lacking adapti...

Sample-Based Consistency in Infinite-Dimensional Conic-Constrained Stochastic Optimization

Abstract. This paper is concerned with a class of stochastic optimization problems defined on a Banach space with almost sure conic-type constraints. For this class of problems, we investigate the consistency of optimal values and solutions corresponding to sample average approxi...

Reward function compression facilitates goal-dependent reinforcement learning

Abstract Humans can uniquely assign value to novel, abstract outcomes to support reinforcement learning. However, this flexibility is cognitively costly and reduces learning efficiency. We propose that goal-dependent learning initially relies on capacity-limited working memory. W...

Neo Balcobalancing Numbers

In this paper we defined neo balcobalancing numbers, neo balcobalancers, neo Lucas-bal\-co\-ba\-lan\-cing numbers and neo Lucas-balcobalancers and determined the general terms of them in terms of balancing and also balancing and Lucas-balancing numbers. Conversely, we deduced the...

Concentration of the hypergraph's weak independence number

In this note we generalize the results of the recent work by Tom Bohman and Jacob Hofstad on the independence number in G(n, p) to the case of the random k-uniform hypergraph. Concentration in two values occurs in the regime $p>n^{-(k-1)k/(k+1)+\varepsilon}$.

Quantum Spacetime from Constraints: Wave Equations and Fields

Abstract In previous works, we showed that both time and space can emerge from entanglement within a globally constrained quantum Universe, with no background coordinates. By extending the Page and Wootters quantum time formalism to include both quantum clocks and rods, and impos...

Efficient enumeration of at most k-out polygons

Let $S$ be a set of $n$ points in the Euclidean plane and general position i.e., no three points are collinear. An \emph{at most $k$-out polygon of $S$} is a simple polygon such that each vertex is a point in $S$ and there are at most $k$ points outside the polygon. In this paper...

Natural, Artificial, and Human Intelligences

Human achievement, whether in culture, science, or technology, is unparalleled in the known existence. This achievement is tied to the enormous communities of knowledge, made possible by language. We trace how the principle ‘᾿Eν ἀρχῇ ἦν ὁ λόγος’ (in the beginning was the word) wa...

Second quantization of the nonlinear Vlasov–Poisson system for quantum computation

Abstract Current quantum algorithms for plasma physics require linearized systems, and quantum algorithms for nonlinear systems are highly system-specific. Second quantization, which is system-agnostic, has the exceptional capacity to render many systems suitable for quantum comp...

Optimizing Input Data Collection for Ranking and Selection

We study a ranking and selection (R&S) problem when all solutions share common parametric Bayesian input models updated with the data collected from multiple independent data-generating sources. Our objective is to identify the best system by designing a sequential sampling algor...

Bayesian Greedy Receiver for Pulse Position Modulation without an Error Floor under Thermal Noise

We investigate quantum receiver architectures for demodulation $M$-ary Pulse Position Modulation under thermal noise and photon-starved conditions. Building on the greed receiver framework, we analyze it using jointly optimized displacement-squeezing and the Dolinar receiver. We...

Technical note: How well do evapotranspiration partitioning approaches perform in moss-covered wetlands?

Abstract. Evapotranspiration (ET) is the dominant hydrologic flux in wetlands, and partitioning into transpiration (T) and evaporation (E) is essential for understanding water and carbon dynamics, guiding sustainable water management practices, and predicting responses to climate...

A Formalization of the Ionescu-Tulcea Theorem in Mathlib

Schröer et al. [Philipp Schröer et al., 2023] developed a verification infrastructure for rapid prototyping of automated verification techniques for probabilistic programs (PPs), which is based on the quantitative intermediate verification language HeyVL. In a nutshell, users enc...

Bistability and Noise-Induced Evasion in Tumor-Immune Dynamics with Antigen Accumulation and Immune Escape

Abstract. Tumor-immune interactions are shaped by both antigenic heterogeneity and stochastic perturbations in the tumor microenvironment, yet the mathematical mechanisms underlying immune phase transitions remain poorly understood. We propose a four-compartment dynamical model t...

Faithful Global Convergence for the Rescaled Consensus–Based Optimization

Abstract. We analyze the consensus-based optimization algorithm with a consensus point rescaled by a fixed parameter [Formula: see text]. Under minimal assumptions on the objective function and the initial data, we establish its unconditional convergence to the global minimizer....

D3MI: an efficient and powerful federated imputation method for bias reduction in the analysis of distributed incomplete data by accounting for within-site correlation and between-site heterogeneity

BACKGROUND: Electronic health records (EHRs) collected from diverse healthcare institutions offer a rich and representative data source for clinical research. Federated learning enables analysis of these distributed data without sharing sensitive patient-level information, preser...

Integrating smartrock and seismic monitoring to investigate bedload transport dynamics during rapid increase of stages in ephemeral streams

Abstract. Bedload transport dynamics during rapid increases of stage remain poorly constrained, particularly in ephemeral streams where such conditions are common. We combined two cutting-edge monitoring techniques – smartrocks and seismic measurements – to investigate bedload tr...