Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.16081

Largest Circle Enclosing Exactly $n$ Interior Lattice Points. II

Jianqiang Zhao
View original source ↗Read source document ↗Export metadata ↓

Abstract

In a previous article doi.org/10.3390/geometry2030012, the author investigated a class of elementary plane geometry problems closely related to the theme of this work. Here, we prove a weaker version of a previous conjecture by demonstrating that there are infinitely many maximally circlable (MAC) numbers -- positive integers $n$ for which there exists a largest circle enclosing exactly $n$ interior lattice points. Furthermore, by extending numerical computations to $n \le 2700$, we identify two counterexamples to a conjecture in loc cit. regarding the symmetry of the largest circle enclosing a strong MAC number (a MAC number $n$ where $n+1$ is non-MAC). We also propose a potential infinite family of strong MAC numbers derived from Pythagorean triples; the existence of this family would imply the infinity of non-MAC numbers, as conjectured by Zhao. Throughout this paper, we provide extensive data characterizing both MAC and strong MAC numbers alongside their corresponding largest enclosing circles.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jianqiang Zhao. 2026-09-13. Largest Circle Enclosing Exactly $n$ Interior Lattice Points. II. https://arxiv.org/abs/2609.16081

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

KEEP EXPLORING

Related papers

arXiv2026

Token Space: A Category Theory Framework for AI Computations

We introduce the Token Space, a categorical framework for AI computations. A Token is a finite tuple whose entries are elements of a carrier set or symbols of a fixed core; a Token class is a set together with a heap of such Tokens, and Token maps are the functions preserving every Token. The Token Space is built from the category of sets by adjoining identity set categories, forming products and taking a subsets extension. We prove that the resulting categories have all finite limits, finite coproducts and exponentials, but, unlike Set, are not topoi. We then introduce algebraic tokenization: the constants, relations and graphs of operations of a structured set are recorded as Tokens headed by a core symbol. This gives a full and faithful embedding of every finitary category of structured objects (pointed sets, orders, graphs, rings, vector spaces) into the Token Space which preserves binary products and equalizers; topological spaces embed faithfully. Tree Tokens capture nested structure, and a calculus of operators acts on Token classes. As applications we describe sequence data and self-attention layers of Transformers: permutation equivariant layers are exactly the Token maps between sequence classes, and layers are points of exponential classes, so that architectures are Token maps while parameters are points of bases. Knowledge distillation becomes structure-preserving compression: a student is faithful to a teacher iff it is a Token map from the teacher-induced class, symmetries of the teacher are inherited by the student, and the smallest compression that neither loses nor invents a structural fact is the quotient by an indiscernibility congruence.

math.GM↗
arXiv2026

New Generalizations of Two Ramanujan Series for $1/π$

By utilizing two known hypergeometric summation identities, we extend two \mbox{well-known} Ramanujan series for $1/π$ by making each of them a member of an infinite family of series. We also find the corresponding families involving harmonic numbers and odd harmonic numbers. To further illustrate our method we derive families of \mbox{Ramanujan-like} series for $1/π$ associated with a hypergeometric series derived by Lavoie, two hypergeometric series from Bailey's book and a recent hypergeometric series found by Campbell. Thus, by leveraging known hypergeometric summation identities, our approach bypasses the more tedious, traditional limits or complex Fourier-Legendre expansions; offering a cleaner, unified template for generating Ramanujan-like series for $1/π$.

math.GM↗