arXiv Science⌕ Search

arXiv subjects

Matthew Baker

Publications and source records attributed to Matthew Baker.

At least 19 recordsLinked to original sources
arXiv2026

Elliptic matroids and modular curves

For $n\geq 4$, let $T_n$ be the rank-3 matroid on $\mathbb{Z}/n\mathbb{Z}$ whose bases are the three-element non-zero-sum subsets. Let $X_1(n)^\circ$ denote the open subscheme of the modular curve $X_1(n)$ obtained by removing the cusps corresponding to reducible N\'eron polygons. For $n \geq 10$, we give a purely algebraic and incidence-theoretic proof that, for every field $k$ with $\mathrm{char}(k)$ not dividing $n$, there is a natural bijection between $X_1(n)^\circ(k)$ and rescaling classes of $k$-realizations of $T_n$. For $k = \mathbb{C}$, this recovers a theorem of Borisov and Roulleau. We then upgrade the field-valued correspondence to an isomorphism of schemes over $\mathbb{Z}[1/n]$. The main new ingredient is a deformation-theoretic argument which allows us to verify the isomorphism on points valued in Artinian local rings. As consequences, the modular curve $X_1(n)^\circ$ acquires a natural model over $\mathbb{Z}[1/n]$ as a matroid realization space, and, for primes $p \geq 11$, the non-representability of $T_p$ over $\mathbb{Q}$ is equivalent to the prime-order case of Mazur's celebrated theorem on rational torsion points of elliptic curves. In an appendix, we explain how to upgrade the realization space of a matroid from an affine scheme over $\mathbb{Z}$ to an affine band scheme (in the sense of Baker-Jin-Lorscheid) over $\mathbb{F}_1^{\pm}$.

math.AG↗
arXiv2026

The sesquicentennial of the prime number $2^{127} - 1$

The year 2026 marks the 150th anniversary of a remarkable achievement in mathematics: in 1876, the French mathematician \'Edouard Lucas showed that the 39-digit number $M_{127} := 2^{127} -1$ is prime. This stood for 75 years as the largest known prime, and it remains the largest prime number discovered and certified without the aid of a mechanical device. We review the history behind this discovery and give a modern proof of the closely related Lucas-Lehmer test, which is still the main engine behind the certification of large prime numbers.

math.NT↗
arXiv2026

Lorentzian polynomials and matroids over triangular hyperfields 2: Analytic aspects

Br\"and\'en and Huh showed that Lorentzian polynomials unify Hodge-Riemann relations in combinatorics: their supports are M-convex, and every M-convex set supports a Lorentzian polynomial. Baker, Huh, Kummer, and Lorscheid later proved that, for every $q>0$, the projectivized space $\mathbf{P}\operatorname{L}_J$ of Lorentzian polynomials with support $J$ is homeomorphic to the thin Schubert cell $\operatorname{Gr}^{\mathrm{w}}_J(\mathbb{T}_q)$ of weak representations of $J$ over the generalized triangular hyperfield $\mathbb{T}_q$. We study the quantitative relation between Lorentzian polynomials and representations over triangular hyperfields. For every matroid $M$, we prove that some $q>0$ depending on $M$ satisfies $\operatorname{Gr}^{\mathrm{w}}_M(\mathbb{T}_q)\subseteq\mathbf{P}\operatorname{L}_M\subseteq\operatorname{Gr}^{\mathrm{w}}_M(\mathbb{T}_2)$. Thus $\mathbf{P}\operatorname{L}_M$ lies between two thin Schubert cells, each homeomorphic to it. More generally, for every M-convex set $J$, some $q>0$ depending on $J$ satisfies $\operatorname{N}\operatorname{Gr}^{\mathrm{w}}_J(\mathbb{T}_q)\subseteq\mathbf{P}\operatorname{L}_J\subseteq\operatorname{N}\operatorname{Gr}^{\mathrm{w}}_J(\mathbb{T}_2)$, where $\operatorname{N}$ denotes normalization. We also study $q(M):=\sup\{q>0:\operatorname{Gr}^{\mathrm{w}}_M(\mathbb{T}_q)\subseteq\mathbf{P}\operatorname{L}_M\}$. For $q(n):=q(U_{2,n})$, we prove $q(4)=2$ and $q(5)=\log_2 3$, with matching upper and lower bounds of order $1/n$; hence $q(n)=\Theta(1/n)$, so in particular no universal positive lower bound for $q(n)$ exists.

math.CO↗
arXiv2026

Contrastive Predictive Coding with Compression for Enhanced Channel State Feedback in Wireless Networks

Accurate and timely channel state information (CSI) is essential for next-generation wireless systems, yet existing works treat CSI compression and CSI prediction as separate problems, both in academia and in current 3GPP studies. Consequently, channel aging remains insufficiently addressed within standardized CSI feedback pipelines. In this article, we propose a unified compression-prediction framework that integrates Contrastive Predictive Coding (CPC) directly into the 3GPP-compliant CSI compression architecture. Instead of predicting high-dimensional CSI matrices, our approach forecasts future latent representations and jointly optimizes reconstruction fidelity and temporal predictive coherence via a combined 1-SGCS and InfoNCE objective. This design enables temporal representation learning without increasing feedback overhead. We present two variants: CPC-before-Compression, which performs autoregressive modeling on encoded features prior to quantization, and CPC-after-Compression, which shifts temporal modeling to the base-station to reduce the complexity of users' devices. Evaluations on 3GPP-compliant datasets from Nokia, Oppo, and CATT show that CPC-before-Compression achieves over 90% reconstruction accuracy with 32x lower decoder GFLOPs than the 3GPP baseline, while CPC-after-Compression preserves an identical encoder footprint and the same 64-bit feedback overhead. By unifying compression and prediction within a standardized pipeline, the proposed framework provides an age-aware, computationally efficient CSI feedback solution. The source code is publicly available at: https://github.com/AhmedRadwan02/cpc-3gpp

cs.IT↗
arXiv2026

On Channel Model to Bridge the Gap between MIMO Design and Performance Requirements in 3GPP

Accurate channel modeling has become critical for evaluating multiple-input multiple-output (MIMO) performance, especially as 5G standardization matures and efforts toward 6G begin. Recent studies within the 3rd Generation Partnership Project (3GPP) have shown that the tapped delay line (TDL) model, currently used for performance testing, fails to capture the spatial propagation characteristics required for realistic MIMO evaluation. To address this limitation, the reduced clustered delay line (rCDL) model has been introduced as a more accurate alternative with manageable computational complexity, thereby enabling practical implementation in test equipment. This work investigates the rCDL through a comparative analysis with the legacy TDL. First, the angular characteristics of both models are examined. Then, their spatial profiles are compared with real-world measurements from a typical commercial deployment. The results reveal clear deficiencies in the TDL and show that the rCDL better matches measured propagation behavior. As a case study, channel state information (CSI) reporting performance is evaluated in single-user MIMO scenarios. The results show that, with appropriate simulation parameter settings, the rCDL enables clear discrimination between low- and high-resolution CSI reporting schemes, unlike the TDL. These findings confirm the relevance of the rCDL model for MIMO performance evaluation and support its use in current and future standardization efforts.

cs.IT↗
arXiv2026

A modern perspective on Tutte's homotopy theorem

We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.

math.CO↗
arXiv2025

The Reproducible Research Platform establishes a unified open science environment bridging data and software lifecycles across disciplines, from proposal to publication

Many research groups aspire to make data and code FAIR and reproducible, yet struggle because the data and code life cycles are disconnected, executable environments are often missing from published work, and technical skill requirements hinder adoption. Existing approaches rarely enable researchers to keep using their preferred tools or support seamless execution across domains. To close this gap, we developed the open-source Reproducible Research Platform (RRP), which unifies research data management with version-controlled, containerized computational environments in modular, shareable projects. RRP enables anyone to execute, reuse, and publish fully documented, FAIR research workflows without manual retrieval or platform-specific setup. We demonstrate RRP's impact by reproducing results from diverse published studies, including work over a decade old, showing sustained reproducibility and usability. With a minimal graphical interface focused on core tasks, modular tool installation, and compatibility with institutional servers or local computers, RRP makes reproducible science broadly accessible across scientific domains.

cs.DL↗
arXiv2025

Matroid bingo

We investigate some natural probability distributions associated with the game of matroid bingo.

math.CO↗
arXiv2025

Necklaces, permutations, and periodic critical orbits for quadratic polynomials

Let $G_n$ denote the $n^{\rm th}$ Gleason polynomial, whose roots correspond to parameters $c$ such that the critical point $0$ is periodic of exact period $n$ under iteration of $z^2 + c$, and let $\bar{G}_n$ denote the reduction of $G_n$ modulo $2$. Buff, Floyd, Koch, and Parry made the surprising observation that the number of real roots of $G_n$ is equal to the number of irreducible factors of $\bar{G}_n$ for all $n$. We provide a bijective proof for this result by first providing explicit bijections between (a) the set of real roots of $G_n$ and the set $\bar{N}(n)$ of equivalence classes of primitive binary necklaces of length $n$ under the inversion map swapping $0$ and $1$; and (b) the set of irreducible factors of $G_n$ modulo 2 and the set $\tilde{N}^+(n)$ of binary necklaces which are either primitive of length $n$ with an even number of $1$'s or primitive of length $n/2$ with an odd number of $1$'s. We then provide an explicit bijection, closely related to Milnor and Thurston's kneading theory, between $\bar{N}(n)$ and $\tilde{N}^+(n)$. In addition, we provide explicit bijections between $\bar{N}(n)$, the set ${\rm CUP}(n)$ of cyclic unimodal permutations of $\{ 1,\ldots,n \}$, and the set $N^-(n)$ of primitive binary necklaces of length $n$ with an odd number of $1$'s.

math.CO↗
arXiv2025

Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects

Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of Br\"and\'en in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.

math.CO↗
arXiv2025

Representation theory for polymatroids

We develop a theory of representations of (discrete) polymatroids over tracts in terms of Pl\"ucker coordinates and suitable Pl\"ucker relations. As special cases, we recover polymatroids themselves as polymatroid representations over the Krasner hyperfield K and M-convex functions as polymatroid representations over the tropical hyperfield. We introduce and study several useful operations for polymatroid representations, such as translation and refined notions of minors and duality which have better properties than the existing definitions; for example, deletion and contraction become dual operations (up to translation) in our setting. We also prove an idempotency principle which asserts that polymatroids which are not translates of matroids are representable only over tracts that are idempotent in a certain specific sense (in particular -1 = 1). The space of all representations of a polymatroid J, which we call the thin Schubert cell of J, is represented by an algebraic object called {universal tract of J. When we restrict to just the 3-term Pl\"ucker relations, we obtain the weak thin Schubert cell, and passing to torus orbits yields the realization space. These are represented by the universal pasture and the foundation of J, respectively. We exhibit a canonical bijection between the universal tract and the universal pasture, which is new even in the case of matroids, and we show that the foundation of a polymatroid is generated by cross ratios. We also describe a (possibly incomplete) list of multiplicative relations between cross ratios. Thin Schubert cells and realization spaces are canonically embedded in certain tori. Over idempotent tracts, we show that thin Schubert cells contain a canonical torus orbit and split naturally as a product of the realization space with this distinguished torus.

math.CO↗
arXiv2025

The Jacobian of a regular orthogonal matroid and torsor structures on spanning quasi-trees of ribbon graphs

Previous work of Chan--Church--Grochow and Baker--Wang shows that the set of spanning trees in a plane graph $G$ is naturally a torsor for the Jacobian group of $G$. Informally, this means that the set of spanning trees of $G$ naturally forms a group, except that there is no distinguished identity element. We generalize this fact to graphs embedded on orientable surfaces of arbitrary genus, which can be identified with ribbon graphs. In this generalization, the set of spanning trees of $G$ is replaced by the set of spanning quasi-trees of the ribbon graph, and the Jacobian group of $G$ is replaced by the Jacobian group of the associated regular orthogonal matroid $M$ (along with an associated regular representation of $M$). Our proof shows, more generally, that the family of "BBY torsors" constructed by Backman--Baker--Yuen and later generalized by Ding admit natural generalizations to (regular representations of) regular orthogonal matroids. In addition to shedding light on the role of planarity in the earlier work mentioned above, our results represent one of the first substantial applications of orthogonal matroids (also called "even delta-matroids" or "Lagrangian orthogonal matroids") to a natural combinatorial problem about graphs.

math.CO↗
arXiv2024

New building blocks for $\mathbb{F}_1$-geometry: bands and band schemes

We develop and study a generalization of commutative rings called bands, along with the corresponding geometric theory of band schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle. They from a ring-like counterpart to the field-like category of idylls introduced by the first and third author. The first part of the paper is dedicated to establishing fundamental properties of bands analogous to basic facts in commutative algebra. In particular, we introduce various kinds of ideals in a band and explore their properties, and we study localization, quotients, limits, and colimits. The second part of the paper studies band schemes. After giving the definition, we present some examples of band schemes, along with basic properties of band schemes and morphisms thereof, and we describe functors into some other scheme theories. In the third part, we discuss some ``visualizations'' of band schemes, which are different topological spaces that one can functorially associate to a band scheme $X$.

math.AG↗
arXiv2024

5G NR Positioning Enhancements in 3GPP Release-18

New radio (NR) positioning in the Third Generation Partnership Project (3GPP) Release 18 (Rel-18) enables 5G-advanced networks to achieve ultra-high accuracy positioning without dependence on global navigation satellite systems (GNSS) with key enablers such as the carrier phase positioning technique, standardized for the first time in a cellular communications standard and setting a new baseline for future generations. In addition, Rel-18 NR supports positioning functionalities for reduced capability (RedCap) user equipment and bandwidth aggregation for positioning measurements. Moreover, the low power solutions are designed for low power high accuracy positioning use cases. Lastly, sidelink-based positioning is introduced in Rel-18. This article constitutes a comprehensive treatment of the Rel-18 NR positioning enhancements crucial for the development of next-generation networks.

cs.IT↗
arXiv2023

Foundations of matroids -- Part 2: Further theory, examples, and computational methods

In this sequel to "Foundations of matroids - Part 1", we establish several presentations of the foundation of a matroid in terms of small building blocks. For example, we show that the foundation of a matroid M is the colimit of the foundations of all embedded minors of M isomorphic to one of the matroids $U^2_4$, $U^2_5$, $U^3_5$, $C_5$, $C_5^\ast$, $U^2_4\oplus U^1_2$, $F_7$, $F_7^\ast$, and we show that this list is minimal. We establish similar minimal lists of building blocks for the classes of 2-connected and 3-connected matroids. We also establish a presentation for the foundation of a matroid in terms of its lattice of flats. Each of these presentations provides a useful method to compute the foundation of certain matroids, as we illustrate with a number of concrete examples. Combining these techniques with other results in the literature, we are able to compute the foundations of several interesting classes of matroids, including whirls, rank-2 uniform matroids, and projective geometries. In an appendix, we catalogue various 'small' pastures which occur as foundations of matroids, most of which were found with the assistance of a computer, and we discuss some of their interesting properties.

math.CO↗
arXiv2023

Reciprocity via Reciprocants

The determinant of a skew-symmetric matrix has a canonical square root given by the Pfaffian. Similarly, the resultant of two reciprocal polynomials of even degree has a canonical square root given by their reciprocant. Computing the reciprocant of two cyclotomic polynomials yields a short and elegant proof of the Law of Quadratic Reciprocity.

math.NT↗