Eric Li

works on

analytic number theory 1 asymptotic analysis 1 divisor conditions 1 erdos problems 1 formal verification 1 proof assistants 1

From the 1 of 13 linked papers with an AI index.

collaborators

Showing math.COShow all

5 papers · 1 filter

math.CO2026

The Godsil--McKay Asymptotic for Latin Rectangles in the Sublinear Range of ErdÅs Problem 725

Eric Li

ErdÅs Problem 725 asks for an asymptotic formula for the number $L_{k, n}$ of ordered, labelled $k \times n$ Latin rectangles. Godsil and McKay proved that $L_{k,n}\sim (n!)^k((n)_k…

math.CO2026

A Resolution of ErdÅs Problems 593 and 1177: Obligatory Triple Systems and Exact Spectra

Eric Li

We resolve ErdÅs Problems #593 and #1177. Problem #593 asks which finite triple systems occur in every uncountably chromatic triple system; the answer is exactly the class generat…

math.CO2026

A Resolution of ErdÅs Problem 550 on Tree versus Complete Multipartite Ramsey Numbers

Eric Li

We resolve ErdÅs Problem 550, originally asked as question (2) of ErdÅs, Faudree, Rousseau, and Schelp. Precisely, for fixed integers $k \geq 2$ and $1\leq m_1\leq \cdots \leq m_k…

math.CO2026

The ErdÅs-Hajnal High-Girth Subgraph Conjecture Holds in the Polynomial Chromatic-Sparsity Regime

Eric Li

For a graph $G$ put $h_{r} (G) = max I ¨ (H) : H \subseteq G, girth (H) \geq r .$ ErdÅs and Hajnal asked whether $h_{r} (G) \to \infty$ as $I ¨ (G) \to \infty$ , for every fixed $r \geq 4$ .…

math.CO2026

On the Duke--ErdÅs--RÃ¶dl Problem at the One-Third Threshold

Eric Li

Let $G$ be an $n$ -vertex graph with $e (G) \geq n^{2} / k$ . We prove a self-contained internal short-cycle core theorem at the threshold $k \leq n^{1/3}$ : the graph $G$ contains a subgraph…

The Godsil--McKay Asymptotic for Latin Rectangles in the Sublinear Range of ErdÅs Problem 725

A Resolution of ErdÅs Problems 593 and 1177: Obligatory Triple Systems and Exact Spectra

A Resolution of ErdÅs Problem 550 on Tree versus Complete Multipartite Ramsey Numbers

The ErdÅs-Hajnal High-Girth Subgraph Conjecture Holds in the Polynomial Chromatic-Sparsity Regime

On the Duke--ErdÅs--RÃ¶dl Problem at the One-Third Threshold

The Godsil--McKay Asymptotic for Latin Rectangles in the Sublinear Range of ErdÅs Problem 725

A Resolution of ErdÅs Problems 593 and 1177: Obligatory Triple Systems and Exact Spectra

A Resolution of ErdÅs Problem 550 on Tree versus Complete Multipartite Ramsey Numbers

The ErdÅs-Hajnal High-Girth Subgraph Conjecture Holds in the Polynomial Chromatic-Sparsity Regime

On the Duke--ErdÅs--RÃ¶dl Problem at the One-Third Threshold