arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.04725

Numerical experiments on the Hardy conjecture for the Gauss circle problem

Satoshi Yamaguchi·Shoichi Fujima·Shigehiko Kuratsubo·Eiichi Nakai·Tsuyoshi Yoneda
View original source ↗Read source document ↗Export metadata ↓

Abstract

The classical unsolved Gauss circle problem concerns estimating the error between the number of lattice points inside a circle and the area of the circle as its radius tends to infinity. About a century ago, Hardy proposed a conjecture concerning this problem. In this paper, we attempt to provide numerical evidence in support of the Hardy conjecture through large-scale numerical computations.

Explore related subjects

math.NTcs.NAmath.NA

Keep this discovery

BibTeXRIS

Satoshi Yamaguchi, Shoichi Fujima, Shigehiko Kuratsubo, Eiichi Nakai, Tsuyoshi Yoneda. 2026-09-04. Numerical experiments on the Hardy conjecture for the Gauss circle problem. https://arxiv.org/abs/2609.04725

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

cs.NA subjectmath.NA subjectmath.NT subject

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

arXiv2026

Semi-Implicit Central scheme for Hyperbolic Systems of Balance Laws with Relaxed Source Term

Quasi-linear hyperbolic systems with source terms introduce significant computational challenges due to the presence of a stiff source term. To address this, a finite volume Nessyahu-Tadmor (NT) central numerical scheme is explored and applied to benchmark models such as the Jin-Xin relaxation model, the shallow-water model, the Broadwell model, the Euler equations with heat transfer, and the Euler system with stiff friction to assess their effectiveness. The core part of this numerical scheme lies in developing a new implicit-explicit (IMEX) scheme, where the stiff source term is handled in a semi-implicit manner constructed by combining the midpoint rule in space, the trapezoidal rule in time with a backward semi-implicit Taylor expansion. The advantage of the proposed method lies in its stability region and maintains robustness near stiffness and discontinuities, while asymptotically preserving second-order accuracy. The numerical validation further extends to two-dimensional configurations of the Jin-Xin relaxation model and a Jin-Xin-type relaxation system of 2D Euler equation. Theoretical analysis and numerical validation confirm the stability and accuracy of the method, highlighting its potential for efficiently solving the stiff hyperbolic systems of balance laws of 1D and 2D.

math.NA↗
arXiv2026

Geometric integrators for adiabatically closed simple thermodynamic systems

A variational formulation for non-equilibrium thermodynamics was developed by Gay-Balmaz and Yoshimura. In a recent article, the first two authors of the present paper introduced partially cosymplectic structures as a geometric framework for thermodynamic systems, recovering the evolution equations obtained variationally. In this paper, we develop a discrete variational principle for adiabatically closed simple thermodynamic systems, which can be utilised to construct numerical integrators for the dynamics of such systems. The effectiveness of our method is illustrated with several examples.

math-ph↗
arXiv2026

A counterexample to Kusner's conjecture on equilateral sets

We disprove Kusner's 1983 conjecture that every equilateral set in $\ell_p^n$ with $2 57$. This is the first equilateral set of more than $n+1$ points in $\ell_p^n$ for any finite $p\ge2$. The construction persists on an open interval of exponents around $5$; since Ge, Xu and Zhou recently proved the conjecture for $2\le p\le4$, the infimum of exponents at which it fails lies in $[4,5)$. The configuration is the unique solution of an explicit polynomial system with rational coefficients in a rational box, established in exact arithmetic.

math.MG↗