3691 papers
This paper provides a complete proof for the previously proposed upper bound of on the double domination number of maximal outerplanar graphs, correcting an earlier incomplete proof by Abd Aziz, Rad, and Kamarulhaili.
This paper solves an intertemporal utility maximization problem with a no-borrowing constraint and stochastic excess returns in the Kim-Omberg framework by employing Lagrange duality to transform the primal problem into a dual singular control problem, which is then characterized via an auxiliary two-dimensional optimal stopping problem to derive optimal consumption and portfolio strategies.
This paper investigates the existence of invariant transversals for normal subgroups and provides counterexamples to a conjecture in the specific case where the subgroup is abelian and the group is finite.
This paper presents a geometrically convergent exact solution and a highly parallelizable algorithm for spatial hypercube queueing models with heterogeneous service rates, demonstrating significant computational speedups over traditional solvers and simulations for large-scale emergency service applications.
This paper investigates the distributional and asymptotic properties of the supremum and infimum of Brownian motion with drift and exponential resetting, deriving explicit renewal formulas, survival function approximations, and new expressions for the finite-dimensional distributions in the stationary case.
This paper extends the known concentration of the largest induced tree size in random graphs to all vanishing edge probabilities and demonstrates that for sparser graphs where , this size fails to concentrate around the standard expectation threshold.
This paper proposes the Wright-Euler Mersenne Exponent Hypothesis, which utilizes Euler's quadratic polynomial combined with nearest-integer rounding to identify candidate exponents for Mersenne primes, demonstrating a significantly higher accuracy and lower error rate compared to exponential regression models while effectively narrowing the search space for GIMPS testing.
This paper introduces a two-time scale neurodynamic duplex approach utilizing projection equations to solve distributionally robust geometric joint chance-constrained optimization problems with unknown distributions, demonstrating convergence to the global optimum through neural networks in applications such as shape optimization and telecommunications.
This paper provides a comprehensive review of the Partial Information Decomposition (PID) framework by integrating diverse formalisms into a unified language, systematically evaluating their adherence to known properties, mapping theorems that reveal relationships and incompatibilities between these properties, and charting a path for future theoretical and empirical advancements.
This paper investigates the analytic continuation and prime-restricted theory of arctanh sums , establishing their meromorphic extension with specific poles and zeros, deriving Laurent expansions and Mittag-Leffler decompositions, and proving the unconditional transcendence of their prime-restricted analogues via a -cancellation mechanism.
This paper employs the AlphaEvolve computational engine to explore three combinatorial problems—graph reconstruction, the Alon-Tarsi parity problem, and Rota's Basis Conjecture—by iteratively refining local correcting steps to generate explicit algorithms and structural patterns that serve as foundations for future traditional mathematical proofs.
This paper utilizes Markov models and Monte Carlo simulations to analyze how the average duration of Chutes and Ladders changes as die roll probabilities approach certainty and to evaluate the impact of six distinct strategies involving optional coin-flip moves on game length.
This paper introduces a unified recursive framework that constructs elliptic extensions of Clausen-type functions by replacing trigonometric seeds with Jacobi theta functions, thereby establishing a structural correspondence between circular and elliptic settings while organizing the hierarchy into a single analytic object.
This numerically driven study establishes a robust multi-scale framework demonstrating that the inverse eigenvalue loci of generalized Lucas sequences exhibit a striking low-distortion geometric and potential-theoretic correspondence with the boundary of the Mandelbrot set, revealing shared structural organization across geometric, harmonic, and statistical levels.
This paper reformulates Constructal evolution as a nonsmooth dynamical system governed by Filippov differential inclusions, proving that irreversible transport constraints and resistance dissipation guarantee the existence, uniqueness, and global exponential stability of optimal flow architectures without relying on static optimization.
This paper establishes a framework for defining self-adjoint realizations of 2d-dimensional canonical systems through symplectic geometry and Lagrangian boundary conditions, demonstrating their critical application in analyzing the spectral stability of traveling waves and solitons in nonlinear partial differential equations.
This paper serves as a corrigendum and addendum to the authors' 2024 work on categoricity-like properties in first-order logic, providing necessary corrections and supplementary insights to the original study.
This paper investigates linear preserver problems on the space of Toeplitz matrices over real or complex fields, providing characterizations for preservers of rank-one matrices and determinants while also discussing related results for other structured matrices.
This paper analyzes a normalized two-dimensional competitive Lotka-Volterra model of state-society interaction, demonstrating that as parameters approach a critical coexistence threshold, the system exhibits slow convergence and prolonged transient dynamics organized within a narrow corridor around a balance manifold, even in the absence of bistability.
This paper compares three fixed-dimension satisfiability semantics for quantum logic—standard Hilbert-lattice, global commuting-projector, and local partial-Boolean—proving a strict hierarchy where the standard semantics is strictly more expressive than the others, as demonstrated by an explicit formula that is satisfiable in the standard semantics but unsatisfiable under the other two for all dimensions .