Asymptotic dimension and Assouad–Nagata dimension are measures of the large-scale shape of a class of graphs. Bonamy, Bousquet, Esperet, Groenland, Liu, Pirot, and Scott [J. Eur. Math. Society] showed that any proper minor-closed class has asymptotic dimension 2, dropping to 1 only if the treewidth is bounded. We improve this result by showing it also holds for the stricter Assouad–Nagata dimension. We also characterise when subdivision-closed classes of graphs have bounded Assouad–Nagata dimension.

We prove a ‘Whitney’ presentation, and a ‘Coulomb branch’ presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm {Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation is obtained by quantum deforming the product of the Hirzebruch $\lambda _y$ classes of the tautological bundles. In physics, the $\lambda _y$ classes arise as certain Wilson line operators. The second presentation is obtained from the Coulomb branch equations involving the partial derivatives of a twisted superpotential from supersymmetric gauge theory. This is closest to a presentation obtained by Gorbounov and Korff, utilizing integrable systems techniques. Algebraically, we relate the Coulomb and Whitney presentations utilizing transition matrices from the (equivariant) Grothendieck polynomials to the (equivariant) complete homogeneous symmetric polynomials. Along the way, we calculate K-theoretic Gromov-Witten invariants of wedge powers of the tautological bundles on $\mathrm {Gr}(k;n)$, using the ‘quantum=classical’ statement.

Given two graphs G and H, the Ramsey number $R(G,H)$ is the smallest positive integer N such that every graph of order N contains G or its complement contains H as a subgraph. Let $C_n$ denote the cycle on n vertices and let $tW_{2m+1}$ denote the disjoint union of t copies of the $(2m+2)$-vertex wheel $W_{2m+1}$. We show that for integers $m\ge 1$, $t\ge 2$ and $n\ge (6m+3)t-6m+999$,

$$ \begin{align*} R(C_n, tW_{2m+1})=3n+t-3. \end{align*} $$

This result extends several previous results and settles a conjecture posed by Sudarsana [‘A note on the Ramsey number for cycle with respect to multiple copies of wheels’, Electron. J. Graph Theory Appl. 9(2) (2021), 561–566].

The Chan–Robbins–Yuen polytope ($CRY_n$) of order n is a face of the Birkhoff polytope of doubly stochastic matrices that is also a flow polytope of the directed complete graph $K_{n+1}$ with netflow $(1,0,0, \ldots , 0, -1)$. The volume and lattice points of this polytope have been actively studied; however, its face structure has received less attention. We give generating functions and explicit formulas for computing the f-vector by using Hille’s (2003) result bijecting faces of a flow polytope to certain graphs, as well as Andresen–Kjeldsen’s (1976) result that enumerates certain subgraphs of the directed complete graph. We extend our results to flow polytopes of the complete graph having arbitrary (non-negative) netflow vectors and recover the f-vector of the Tesler polytope of Mészáros–Morales–Rhoades (2017).

We give combinatorially controlled series solutions to Dyson–Schwinger equations with multiple insertion places using tubings of rooted trees and investigate the algebraic relation between such solutions and the renormalization group equation.

We show that for every non-spherical set X in $\mathbb {E}^d$, there exists a natural number m and a red/blue-coloring of $\mathbb {E}^n$ for every n such that there is no red copy of X and no blue progression of length m with each consecutive point at distance $1$. This verifies a conjecture of Wu and the first author.

Asymptotic properties of random graph sequences, like the occurrence of a giant component or full connectivity in Erdös–Rényi graphs, are usually derived with very specific choices for the defining parameters. The question arises as to what extent those parameter choices may be perturbed without losing the asymptotic property. For two sequences of graph distributions, asymptotic equivalence (convergence in total variation) and contiguity have been considered by Janson (2010) and others; here we use so-called remote contiguity to show that connectivity properties are preserved in more heavily perturbed Erdös–Rényi graphs. The techniques we demonstrate here with random graphs also extend to general asymptotic properties, e.g. in more complex large-graph limits, scaling limits, large-sample limits, etc.

La façon la plus simple de faire d’un graphe fini connexe G un système dynamique est de lui donner une polarisation, c’est-à-dire un ordre cyclique des arêtes incidentes à chaque sommet. L’espace de phase $\mathcal {P}(G)$ d’un graphe consiste en toutes les paires $(v,e)$ où v est un sommet et e une arête incidente à v. Elle donne donc la position et le vecteur initiaux. Une telle condition est équivalente à une arête que l’on munit d’une orientation $e_{\mathcal O}$. Avec la polarisation, chaque donnée initiale mène à une marche à gauche en tournant à gauche à chaque sommet rencontré, ou en rebondissant s’il n’y a en ce sommet aucune autre arête. Une marche à gauche est appelée complète si elle couvre toutes les arêtes de G (pas nécessairement dans les deux sens). Nous définissons la valence d’un sommet comme le nombre d’arêtes adjacentes à ce sommet, et la valence d’un graphe comme étant la moyenne des valences de ses sommets. Dans cet article, nous démontrons que si un graphe plongé dans une surface orientée fermée de genre g possède une marche à gauche complète, alors sa valence est d’au plus $1 + \sqrt {6g+1}$. Nous prouvons de plus que ce résultat est optimal pour une infinité de genres g et qu’il est asymptotiquement optimal lorsque $g \to + \infty $. Cela mène à des obstructions pour les plongements de graphes sur une surface. Puisque vérifier si un graphe polarisé possède ou non une marche à gauche complète s’opère en temps au plus $4N$, où N est le nombre d’arêtes (il suffit de le vérifier sur les deux orientations d’une seule arête donnée), cette obstruction est particulièrement efficace. Ce problème trouve sa motivation dans ses conséquences intéressantes sur ce que nous appellerons ici l’ergodicité topologique d’un système conservatif, par exemple un système hamiltonien H en dimension deux où l’existence d’une marche complète à gauche correspond à une orbite du système topologiquement ergodique, donc une orbite qui visite toute la topologie de la surface. Nous nous limitons ici à la dimension $2$, mais une généralisation de cette théorie devrait tenir pour des systèmes hamiltoniens autonomes sur une variété symplectique de dimension arbitraire.

Minimal kinematics identifies likelihood degenerations where the critical points are given by rational formulas. These rest on the Horn uniformization of Kapranov–Huh. We characterize all choices of minimal kinematics on the moduli space $\mathcal{M}_{0,n}$. These choices are motivated by the CHY model in physics and they are represented combinatorially by 2-trees. We compute 2-tree amplitudes, and we explore extensions to non-planar on-shell diagrams, here identified with the hypertrees of Castravet–Tevelev.

The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $\delta \gt 0$ and $k_0\in \mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+\delta )|V(T)|$.

The Erdős–Simonovits stability theorem is one of the most widely used theorems in extremal graph theory. We obtain an Erdős–Simonovits type stability theorem in multi-partite graphs. Different from the Erdős–Simonovits stability theorem, our stability theorem in multi-partite graphs says that if the number of edges of an $H$-free graph $G$ is close to the extremal graphs for $H$, then $G$ has a well-defined structure but may be far away from the extremal graphs for $H$. As applications, we strengthen a theorem of Bollobás, Erdős, and Straus and solve a conjecture in a stronger form posed by Han and Zhao concerning the maximum number of edges in multi-partite graphs which does not contain vertex-disjoint copies of a clique.

We consider the hypergraph Turán problem of determining $ex(n, S^d)$, the maximum number of facets in a $d$-dimensional simplicial complex on $n$ vertices that does not contain a simplicial $d$-sphere (a homeomorph of $S^d$) as a subcomplex. We show that if there is an affirmative answer to a question of Gromov about sphere enumeration in high dimensions, then $ex(n, S^d) \geq \Omega (n^{d + 1 - (d + 1)/(2^{d + 1} - 2)})$. Furthermore, this lower bound holds unconditionally for 2-LC (locally constructible) spheres, which includes all shellable spheres and therefore all polytopes. We also prove an upper bound on $ex(n, S^d)$ of $O(n^{d + 1 - 1/2^{d - 1}})$ using a simple induction argument. We conjecture that the upper bound can be improved to match the conditional lower bound.

The Kruskal–Friedman theorem asserts: in any infinite sequence of finite trees with ordinal labels, some tree can be embedded into a later one, by an embedding that respects a certain gap condition. This strengthening of the original Kruskal theorem has been proved by I. Kříž (Ann. Math. 1989), in confirmation of a conjecture due to H. Friedman, who had established the result for finitely many labels. It provides one of the strongest mathematical examples for the independence phenomenon from Gödel’s theorems. The gap condition is particularly relevant due to its connection with the graph minor theorem of N. Robertson and P. Seymour. In the present article, we consider a uniform version of the Kruskal–Friedman theorem, which extends the result from trees to general recursive data types. Our main theorem shows that this uniform version is equivalent both to $\Pi ^1_1$-transfinite recursion and to a minimal bad sequence principle of Kříž, over the base theory $\mathsf {RCA_0}$ from reverse mathematics. This sheds new light on the role of infinity in finite combinatorics.

In this article, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo–Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.

Modified ascent sequences, initially defined as the bijective images of ascent sequences under a certain hat map, have also been characterized as Cayley permutations where each entry is a leftmost copy if and only if it is an ascent top. These sequences play a significant role in the study of Fishburn structures. In this paper, we investigate (primitive) modified ascent sequences avoiding a pattern of length 4 by combining combinatorial and algebraic techniques, including the application of the kernel method. Our results confirm several conjectures posed by Cerbai.

Let $\Gamma $ be a compact Polish group of finite topological dimension. For a countably infinite subset $S\subseteq \Gamma $, a domatic $\aleph _0$-partition (for its Schreier graph on $\Gamma $) is a partial function $f:\Gamma \rightharpoonup \mathbb {N}$ such that for every $x\in \Gamma $, one has $f[S\cdot x]=\mathbb {N}$. We show that a continuous domatic $\aleph _0$-partition exists, if and only if a Baire measurable domatic $\aleph _0$-partition exists, if and only if the topological closure of S is uncountable. A Haar measurable domatic $\aleph _0$-partition exists for all choices of S. We also investigate domatic partitions in the general descriptive graph combinatorial setting.

We generalize Baker–Bowler’s theory of matroids over tracts to orthogonal matroids, define orthogonal matroids with coefficients in tracts in terms of Wick functions, orthogonal signatures, circuit sets and orthogonal vector sets, and establish basic properties on functoriality, duality and minors. Our cryptomorphic definitions of orthogonal matroids over tracts provide proofs of several representation theorems for orthogonal matroids. In particular, we give a new proof that an orthogonal matroid is regular if and only if it is representable over ${\mathbb F}_2$ and ${\mathbb F}_3$, which was originally shown by Geelen [16], and we prove that an orthogonal matroid is representable over the sixth-root-of-unity partial field if and only if it is representable over ${\mathbb F}_3$ and ${\mathbb F}_4$.

Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the known colored particle systems on the ring and the line, including (1) the Asymmetric Simple Exclusion Process (multi-species ASEP, or mASEP); (2) the $q$-deformed Totally Asymmetric Zero Range Process (TAZRP) also known as the $q$-Boson particle system; (3) the $q$-deformed Pushing Totally Asymmetric Simple Exclusion Process ($q$-PushTASEP). Our method is based on integrable stochastic vertex models and the Yang–Baxter equation. We express the stationary measures as partition functions of new ‘queue vertex models’ on the cylinder. The stationarity property is a direct consequence of the Yang–Baxter equation. For the mASEP on the ring, a particular case of our vertex model is equivalent to the multiline queues of Martin (Stationary distributions of the multi-type ASEP, Electron. J. Probab. 25 (2020), 1–41). For the colored $q$-Boson process and the $q$-PushTASEP on the ring, we recover and generalize known stationary measures constructed using multiline queues or other methods by Ayyer, Mandelshtam and Martin (Modified Macdonald polynomials and the multispecies zero range process: II, Algebr. Comb. 6 (2022), 243–284; Modified Macdonald polynomials and the multispecies zero-range process: I, Algebr. Comb. 6 (2023), 243–284) and Bukh and Cox (Periodic words, common subsequences and frogs, Ann. Appl. Probab. 32 (2022), 1295–1332). Our proofs of stationarity use the Yang–Baxter equation and bypass the Matrix Product Ansatz (used for the mASEP by Prolhac, Evans and Mallick (The matrix product solution of the multispecies partially asymmetric exclusion process, J. Phys. A. 42 (2009), 165004)). On the line and in a quadrant, we use the Yang–Baxter equation to establish a general colored Burke’s theorem, which implies that suitable specializations of our queue vertex models produce stationary measures for particle systems on the line. We also compute the colored particle currents in stationarity.

For an ideal I in a Noetherian ring R, the Fitting ideals $\mathrm{Fitt}_j(I)$ are studied. We discuss the question of when $\mathrm{Fitt}_j(I)=I$ or $\sqrt{\mathrm{Fitt}_j(I)}=\sqrt{I}$ for some j. A classical case is the Hilbert–Burch theorem when $j=1$ and I is a perfect ideal of grade 2 in a local ring.

The lattice walks in the plane starting at the origin $\mathbf {0}$ with steps in $\{-1,0,1\}^{2}\setminus \{\mathbf {0}\}$ are called king walks. We investigate enumeration and divisibility for higher dimensional king walks confined to certain regions. Specifically, we establish an explicit formula for the number of $(r+s)$-dimensional king walks of length n ending at $(a_1,\ldots ,a_r,b_1,\ldots ,b_s)$ which never dip below $x_i=0$ for $i=1,\ldots ,r$. We also derive divisibility properties for the number of $(r+s)$-dimensional king walks of length p (an odd prime) through group actions.