arXiv subjects

Junnosuke Koizumi

Publications and source records attributed to Junnosuke Koizumi.

18 recordsLinked to original sources

arXiv2026

Magnitude and motivic zeta functions of matroids

We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.

math.CO↗

arXiv2026

Ap\'ery-type approximations and irrationality measures for certain $q$-series

We construct a three-parameter family of rational approximations to values of $q$-hypergeometric series. Using these approximations, we prove that, for every integer $x$ with $|x|\geq2$, the values at $r=x^{-1}$ of Ramanujan's theta function $\psi(r)=\sum_{n\geq0}r^{n(n+1)/2}$, the generating function $\Delta(r)=\sum_{m\geq0}d(2m+1)r^m$ of the divisor function restricted to odd integers, and the generating function $B_4(r)=\sum_{n\geq0}b_4(n)r^n$ for $4$-regular partitions are irrational. We further obtain the upper bounds $18/7$, $18\pi^2/(7\pi^2-24)$, and $3$, respectively, for their irrationality measures. We also show that one of the constructed approximations coincides with the Pad\'e approximation to a Lambert series due to Coussement--Smet.

math.NT↗

arXiv2026

Magnitude homology of tope graphs

We completely determine the magnitude homology of tope graphs of real hyperplane arrangements. Their ranks can be described as the Hilbert functions of the Stanley--Reisner rings of certain simplicial complexes naturally associated with the arrangements. For Coxeter arrangements, this gives a computation of the magnitude homology of the Cayley graph of the corresponding Coxeter group. We also prove the homological reciprocity for central arrangements conjectured by Koizumi--Liu. The proof combines poset combinatorics, the Edelman--Walker theorem, and Alexander duality.

math.CO↗

arXiv2026

Magnitude homology of real hyperplane arrangements

We define and study the magnitude and magnitude homology of a real hyperplane arrangement by regarding its tope graph as a metric space. We prove several structural results for the magnitude of arrangements, including a symmetry formula, palindromicity of the numerator and denominator, a face decomposition formula, and results on the sign pattern of the magnitude power series. For the magnitude homology of arrangements, we obtain combinatorial formulas for small lengths and show that it detects Boolean arrangements. We also lift the face decomposition formula to a homological decomposition and derive explicit formulas for the diagonal magnitude Betti numbers. Another notable feature is that the magnitude Euler characteristic satisfies a reciprocity theorem analogous to Ehrhart--Macdonald reciprocity. We conclude by presenting several conjectures. In particular, we conjecture that the magnitude homology of an arrangement is torsion-free and is determined by the intersection lattice.

math.CO↗

arXiv2025

At most 10 cylinders mutually touch: a Ramsey-theoretic approach

Littlewood asked for the maximum number $N$ of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair touches. We improve upon the proof of the second author that $N \leq 18$ to show that $N \leq 10$. Together with the lower bound established by Boz\'oki, Lee, and R\'onyai, this shows that $N \in \{7,8,9,10\}$. Our method is based on linear algebra and Ramsey theory, and makes partial use of computer verification. We also provide a completely computer-free proof that $N \leq 12$.

math.CO↗

arXiv2025

A new upper bound for mutually touching infinite cylinders

Let $N$ denote the maximum number of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair of cylinders touches each other. Littlewood posed the question of whether $N=7$, which remains unsolved. In this paper, we prove that $N\leq 18$, improving the previously known upper bound of $24$ established by A. Bezdek.

math.MG↗

arXiv2025

Irrationality of the reciprocal sum of doubly exponential sequences

We show that sequences of positive integers whose ratios $a_n^2/a_{n+1}$ lie within a specific range are almost uniquely determined by their reciprocal sums. For instance, the Sylvester sequence is uniquely characterized as the only sequence with $a_n^2/a_{n+1}\in [2/3,4/3]$ whose reciprocal sum is equal to $1$. This result has applications to irrationality problems. We prove that for almost every real number $\alpha > 1$, sequences asymptotic to $\alpha^{2^n}$ have irrational reciprocal sums. Furthermore, our observations provide heuristic insight into an open problem by Erd\H{o}s and Graham.

math.NT↗

arXiv2025

Motivic homotopy theory with ramification filtrations

We construct a generalization of Morel--Voevodsky's motivic homotopy theory that captures non-$\mathbb{A}^1$-homotopy-invariant phenomena, such as wild ramification and irregular singularity. In the first part, we develop our motivic homotopy theory over quasi-compact and quasi-separated schemes, which satisfies the fundamental properties such as the projective bundle formula, the blow-up sequence, the Gysin sequence, and the Thom isomorphism when the base is normal. Moreover, we compare our theory with existing frameworks. In particular, we recover Morel--Voevodsky's motivic homotopy category and Binda--Park--{\O}stv{\ae}r's logarithmic motivic homotopy category as reflective localizations of our category over normal bases. Furthermore, we construct adjoint functors connecting Annala--Iwasa's category of motivic spectra with ours. In the second part, we equip several non-$\mathbb{A}^1$-homotopy invariant cohomology theories, such as Hodge cohomology, Hodge--Witt cohomology, rank $1$ integrable connections, and unramified cohomology, with canonical filtrations that encode arithmetic and geometric information such as irregular singularities and wild ramification, and prove that these cohomology theories with filtrations are representable in our motivic homotopy category. We also compute some of those filtrations explicitly, and show that they recover known constructions, including a ramification filtration on the Pontryagin dual of the abelian \'etale fundamental group, and an irregularity filtration on the sheaf of rank $1$ connections.

math.AG↗

arXiv2025

Isosceles trapezoids of unit area with vertices in sets of infinite planar measure

Paul Erd\H{o}s posed the question of whether every measurable planar set of infinite Lebesgue measure contains the four vertices of an isosceles trapezoid of unit area. In this paper, we provide an affirmative answer to this question. Additionally, we present affirmative solutions to similar questions by Erd\H{o}s concerning isosceles triangles and right-angled triangles.

math.CA↗

arXiv2024

A note on the Erd\H{o}s conjecture about square packing

Let $f(n)$ denote the maximum total length of the sides of $n$ squares packed inside a unit square. Erd\H{o}s conjectured that $f(k^2+1)=k$. We show that the conjecture is true if we assume that the sides of the squares are parallel to the sides of the unit square.

math.CO↗

arXiv2024

Irreducibility of polynomials defining parabolic parameters of period 3

Morton and Vivaldi defined the polynomials whose roots are parabolic parameters for a one-parameter family of polynomial maps. We call these polynomials delta factors. They conjectured that delta factors are irreducible for the family $z\mapsto z^2+c$. One can easily show the irreducibility for periods $1$ and $2$ by reducing it to the irreducibility of cyclotomic polynomials. However, for periods $3$ and beyond, this becomes a challenging problem. This paper proves the irreducibility of delta factors for the period $3$ and demonstrates the existence of infinitely many irreducible delta factors for periods greater than $3$.

math.NT↗

arXiv2024

On iterated circumcenter sequences

An iterated circumcenter sequence (ICS) in dimension $d$ is a sequence of points in $\mathbb{R}^d$ where each point is the circumcenter of the preceding $d+1$ points. The purpose of this paper is to completely determine the parameter space of ICSs and its subspace consisting of periodic ICSs. In particular, we prove Goddyn's conjecture on periodic ICSs, which was independently proven recently by Ardanuy. We also prove the existence of a periodic ICS in any dimension.

math.CO↗

arXiv2023

Quadratic residues and domino tilings

The formula for the number of domino tilings due to Kasteleyn and Temperley-Fisher is strikingly similar to Eisenstein's formula for the Legendre symbol. We study the connection between these two concepts and prove a formula which expresses the Jacobi symbol in terms of domino tilings.

math.NT↗

arXiv2023

Blow-up invariance of cohomology theories with modulus

In this paper, we study cohomology theories of $\mathbb{Q}$-modulus pairs, which are pairs $(X, D)$ consisting of a scheme $X$ and a $\mathbb{Q}$-divisor $D$. Our main theorem provides a sufficient condition for such a cohomology theory to be invariant under blow-ups with centers contained in the divisor. This yields a short proof of the blow-up invariance of the Hodge cohomology with modulus proved by Kelly-Miyazaki. We also define the Witt vector cohomology with modulus using the Brylinski-Kato filtration and prove its blow-up invariance.

math.AG↗

arXiv2023

A motivic construction of the de Rham-Witt complex

The theory of reciprocity sheaves due to Kahn-Saito-Yamazaki is a powerful framework to study invariants of smooth varieties via invariants of pairs $(X,D)$ of a variety $X$ and a divisor $D$. We develop a generalization of this theory where $D$ can be a $\mathbb{Q}$-divisor. As an application, we provide a motivic construction of the de Rham-Witt complex, which is analogous to the motivic construction of the Milnor $K$-theory due to Suslin-Voevodsky.

math.AG↗

arXiv2021

Transfers on commutative group schemes

We prove that any commutative group scheme separated over a noetherian normal scheme admits a canonical structure of a presheaf with transfers, which is characterized by a simple condition on radicial transfers.

math.AG↗

arXiv2021

Steinberg symbols and reciprocity sheaves

We study multilinear symbols on fields taking values in reciprocity sheaves. We prove that any such symbol satisfying natural axioms automatically has Steinberg-type relations, which is a manifestation of the geometry of modulus pairs lying behind.

math.AG↗

arXiv2021

Zeroth $\mathbb{A}^1$-homology of smooth proper varieties

We give an explicit formula for the zeroth $\mathbb{A}^1$-homology sheaf of a smooth proper variety. We also provide a simple proof of a theorem of Kahn-Sujatha which describes hom sets in the birational localization of the category of smooth varieties.

math.AG↗