natural ↗ reference
4894 papers tagged with this keyword
Nice vertices in cubic graphs
Published in Discrete Mathematics, 348 (2025) 114553
• View Publication
• BIB
A subgraph $G'$ of a graph $G$ is nice if $G-V(G')$ has a perfect matching. Nice subgraphs play a vital role in the theory of ear decomposition and matching minors of matching covered graphs. A vertex $u$ of a cubic graph is nice if $u$ and its neighbors induce a nice subgraph. D. Král et al. (2010) [9] showed that each vertex of a cubic brick is nice. It is natural to ask how many nice vertices a matching covered cubic graph has. In this paper, using some basic results of matching covered graphs, we prove that if a non-bipartite cubic graph $G$ is 2-connected, then $G$ has at least 4 nice vertices; if $G$ is 3-connected and $G\neq K_4$, then $G$ has at least 6 nice vertices. We also determine all the corresponding extremal graphs.
For a cubic bipartite graph $G$ with bipartition $(A,B)$, a pair of vertices $a\in A$ and $b\in B$ is called a nice pair if $a$ and $b$ together with their neighbors induce a nice subgraph. We show that a connected cubic bipartite graph $G$ is a brace if and only if each pair of vertices in distinct color classes is a nice pair. In general, we prove that $G$ has at least 9 nice pairs of vertices and $K_{3,3}$ is the only extremal graph.
A map between arborifications of multiple zeta values
Published
• View Publication
• BIB
Arborified multiple zeta values are a generalization of multiple zeta values associated with rooted trees. There are two types of decorated rooted trees, corresponding respectively to the series and the integral expressions. Manchon introduces the contracting arborification (resp. the simple arborification), which is maps from the BCK Hopf algebras of the decorated rooted trees corresponding to the series expression (resp. the integral expression) to the non-commutative polynomial algebras of the set $\mathbb{N}$ (resp. the set $\{0,1\}$). There is a natural map between the two non-commutative polynomial algebras. Manchon posed the question of finding a natural map between the two BCK Hopf algebras that would make the diagram commutative. In this paper, we consider planar rooted trees and use a recursive method to construct such a map between the two BCK Hopf algebras, making the diagram commutative.
Lattice path combinatorics in superconformal Yang-Mills theories
We study a class of observables in four-dimensional superconformal Yang--Mills theories which, in the planar limit at finite 't Hooft coupling, can be expressed as determinants of semi-infinite matrices built from Bessel functions. This determinant representation points to an underlying integrable structure, which we make explicit by showing that the observables satisfy a nonlinear differential-difference equation. We argue that the solution to this equation admits an expansion in terms of iterated Chen integrals of uniform transcendental weight. Remarkably, the coefficients in this expansion are universal positive integers, independent of the particular observable, suggesting a hidden combinatorial origin. Building on this observation, we show that the resulting expressions possess a natural interpretation in enumerative combinatorics: they coincide with the partition function (or generating function) of an ensemble of lattice paths constrained to a nontrivial domain. This correspondence extends and generalizes the classical Dyck paths to a richer family of path ensembles relevant in gauge theory.
$k$-fold circuits and coning in rigidity matroids
In 1980 Lovász introduced the concept of a double circuit in a matroid. The 2nd, 3rd and 4th authors recently generalised this notion to $k$-fold circuits (for any natural number $k$) and proved foundational results about these $k$-fold circuits. In this article we use $k$-fold circuits to derive new results on the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. These results include analysing 2-sums, showing sufficient conditions for the $k$-fold circuit property to hold for $k$-fold $\mathcal{R}_d$-circuits, and giving an extension of Whiteley's coning lemma. The last of these allows us to reduce the problem of determining if a graph $G$ with a vertex $v$ of sufficiently high degree is independent in $\mathcal{R}_d$ to that of verifying matroidal properties of $G-v$ in $\mathcal{R}_{d-1}$.
Ehrhart non-positivity and unimodular triangulations for classes of s-lecture hall simplices
Counting lattice points and triangulating polytopes is a prominent subject in discrete geometry, yet proving Ehrhart positivity or existence of unimodular triangulations remain of utmost difficulty in general, even for ``easy'' simplices. We study these questions for classes of s-lecture hall simplices. Inspired by a question of Olsen, we present a new natural class of sequences s for which the s-lecture hall simplices are not Ehrhart positive, by explicitly estimating a negative coefficient. Meanwhile, motivated by a conjecture of Hibi, Olsen and Tsuchiya, we extend the previously known classes of sequences s for which the s-lecture hall simplex admits a flag, regular and unimodular triangulation. The triangulations we construct are explicit.
Power maps on General Linear groups over finite principal ideal local rings of length two
Word maps have been studied for matrix groups over a field. We initiate the study of problems related to word maps in the context of the group $\mathrm{GL}_n(\mathscr O_2)$, where $\mathscr O_2$ is a finite local principal ideal ring of length two (e.g. $\mathbb{Z}/p^2\mathbb{Z}$ and $\mathbb F_q[t]/\langle t^2\rangle$). We study the power map $g\mapsto g^L$, where $L$ is a positive integer. We consider $L$ to be coprime to $p$ (an odd prime), the characteristic of the residue field $k$ of $\mathscr O_2$. We classify all the elements in the image, whose mod-$\mathfrak m$ reduction in $\mathrm{GL}_n(k)$ are either regular semisimple or cyclic, where $\mathfrak m$ is the unique maximal ideal of $\mathscr O_2$. Our main tool is a Hensel lifting for polynomial equations over $\mathrm{M}_n(\mathscr O_2)$, which we establish in this work.
A central contribution of this work is the construction of canonical forms for certain natural classes of matrices over $\mathscr O_2$. As applications, we derive explicit generating functions for the probabilities that a random element of $\mathrm{GL}_n(\mathscr O_2)$ is regular semisimple, $L$-power regular semisimple, compatible cyclic, or $L$-power compatible cyclic.
Short presentations for crystallographic groups
Published
• View Publication
• BIB
A practical approach is proposed to construct short presentations for Euclidean crystallographic groups in terms of generators and relations. For our purposes a short presentation is the one with a small number of short relators for a given generating set. The connection is emphasized between relators of a group presentation and cycles in the associated Cayley graph. It is shown by examples that a short presentation is usually the one where relators correspond to strong rings in the Cayley graph and therefore provide a natural upper bound for their size. Presentations are computed for vertex-transitive groups which act with trivial vertex stabilizers on a number of high-symmetry 2-, 3- and 4-periodic graphs. Higher-dimensional as well as subperiodic examples are also considered. Relations are explored between geodesics in periodic graphs and corresponding cycles in their quotients.
Graded Ehrhart theory and toric geometry
Published
• View Publication
• BIB
We give two new constructions of the harmonic algebra of a lattice polytope $P$, a bigraded algebra whose character is the $q$-Ehrhart series of $P$ defined by Reiner and Rhoades. First, we show that the harmonic algebra is the associated graded algebra of the semigroup algebra of $P$ with respect to a certain natural filtration, clarifying it's relationship with the more classical semigroup algebra. We then give a geometric interpretation of the harmonic algebra as a quotient of the ring of global sections of a certain family of line bundles on the blowup of the toric variety associated to $P$ at a generic point. Using this connection to toric geometry we resolve one the main conjectures of Reiner and Rhoades by showing that the harmonic algebra is not finitely generated in general.
Universal Matrices for Counting Fibonomial and $C$-nomial Coefficients by their $p$-adic Valuations
Rowland found a matrix product formula for generating functions counting binomial coefficients by their $p$-adic valuations. A natural generalization of binomial coefficients was introduced by Knuth and Wilf defined by a sequence $C$. We obtain analogous matrix product formulas counting these $C$-nomial coefficients when $C$ is a strong divisibility sequence. Surprisingly, the matrices are universal in the sense that they are independent of $C$. We further extend this product to $C$-multinomial coefficients.
Additive systems for $\mathbb{Z}$ are undecidable
Published
• View Publication
• BIB
What are the collections of sets ${A}_i\subset\mathbb{Z}$ such that any $n\in\mathbb{Z}$ has exactly one representation as $n=a_0+a_1+\dotsb$ with $a_i\in{A}_i$? The answer for $\mathbb{N}_0$ instead of $\mathbb{Z}$ is given by a theorem of de Bruijn. We describe a family of natural candidate collections for $\mathbb{Z}$, which we call canonical collections. Translating the problem into the language of dynamical systems, we show that the question of whether the sumset of a canonical collection covers the entire $\mathbb{Z}$ is difficult: specifically, there is a collection for which this question is equivalent to the Collatz conjecture, and there is a well-behaved family of collections for which this question is equivalent to the universal halting problem for Fractran and is therefore undecidable.
Milnor fibrations and oriented matroids
We introduce a combinatorial model for the Milnor fibration of a complexified real arrangement using oriented matroids. It is a poset quasi-fibration, a notion recently introduced by the first author, whose domain is a subdivision of the Salvetti complex stemming from a natural subdivision of the dual oriented matroid complex. This yields a concrete finite regular CW complex which is homotopy equivalent to the Milnor fiber of the complexified real arrangement and implies that the homotopy type of the Milnor fiber of a complexified real arrangement only depends on the underlying combinatorial structure given by its oriented matroid. Moreover, our construction works for any oriented matroid, disregarding realizability, so we obtain a notion of a combinatorial Milnor fibration for any oriented matroid.
Asymptotic structure. IV. A counterexample to the weak coarse Menger conjecture
Coarse graph theory concerns finding 'coarse' analogues of graph theory theorems, replacing disjointness with being far apart. One of the most interesting open questions is to find a coarse analogue of Menger's theorem, which characterizes when there are $k$ vertex-disjoint paths between two given sets $S,T$ of vertices of a graph. We showed in an earlier paper that the most natural such analogue is false, but a weaker statement remained as a popular open question. Here we show that the weaker statement is also false.
More exactly, suppose that $S,T$ are sets of vertices of a graph $G$, and there do not exist $k$ paths between $S,T$, pairwise at distance at least $c$. To make an analogue of Menger's theorem, one would like to prove that there must be a small set $X\subseteq V(G)$ such that every $S-T$ path of $G$ passes close to a member of $X$: but how small and how close? In view of Menger's theorem, one would hope for $|X|<k$ and 'close' some function of $k,c$ (and indeed, this was conjectured by Georgakopoulos and Papasoglu, and independently, by Albrechtsen, Huynh, Jacobs, Knappe and Wollan); but we showed that this is false, even if $c=3$ and $k=3$.
Here we upgrade the counterexample: we show that, even if $c=k=3$, no pair of constants (for 'small' and 'close') work. For all $\ell, m$, there is a graph $G$ and $S,T\subseteq V(G)$, such that there do not exist three $S-T$ paths pairwise with distance at least three, and yet there is no $X$ with $|X|\le m$ such that every $S-T$ path passes within distance at most $\ell$ of $X$.
Surface sums in two-dimensional large-$N$ lattice Yang--Mills: Cancellations and explicit computations for general loops
In the context of two-dimensional large-$N$ lattice Yang--Mills theory, we perform a refined study of the surface sums defined in the companion work [BCSK24]. In this setting, the surface sums are a priori expected to exhibit significant simplifications because two-dimensional Yang--Mills theory is a special model that admits many known exact formulas. Thus, a natural problem is to understand these simplifications directly from the perspective of the surface sums. Towards this goal, we develop a key new tool in the form of a surface exploration algorithm (or "peeling process"), which, at each step, carefully selects the next edge to explore. Using this algorithm, we manage to find many cancellations in the surface sums, thereby obtaining a detailed understanding of precisely which surfaces remain after cancellation. As a consequence, we obtain many new explicit formulas for Wilson loop expectations of general loops in the large-$N$ limit of lattice Yang--Mills in two dimensions and prove a convergence result for the empirical spectral measure of any simple loop.
Cactus, Pascal, and Pappus Point-Line Configurations: An Algebraic-Geometric Perspective
We study point-line configurations and their associated matroid and circuit varieties. We aim to find a finite set of defining equations for matroid varieties and an irreducible decomposition for circuit varieties.
To solve the former problem, we use some classical techniques from algebraic geometry, including the Grassmann-Cayley algebra and the liftability technique. From this, we can respectively derive the Grassmann-Cayley ideal, introduced by Sidman, Traves and Wheeler, and the lifting ideal, introduced by Liwski, Mohammadi, Clarke and Masiero. Since the circuit ideal, the Grassmann-Cayley ideal and the lifting ideal are contained in the matroid ideal and explicit generators are known for them, it is a natural question to identify point-line configurations for which a generating set of the matroid ideal is formed by the circuit polynomials, Grassmann-Cayley polynomials and lifting polynomials. For these point-line configurations, we obtain an explicit and finite description of the matroid variety. In this thesis, we prove that the matroid ideal of cactus configurations, the Pascal configuration and the Pappus configuration can be generated by these three types of polynomials.
To find an irreducible decomposition for the circuit varieties of point-line configurations, we use the decomposition strategy developed by Clarke, Grace, Mohammadi and Motwani. If the point-line configuration has some points lying on at most two lines, we develop a shorter alternative as well. We find such a decomposition for cactus configurations, up to irredundancy. Moreover, we find an irreducible decomposition for the Pascal configuration and the third configuration $9_3$, which is a point-line configuration with nine points and nine lines, such that every point is on three lines and every line contains three points.
Non-bipartite graphs without theta subgraphs
Published
• View Publication
• BIB
Fix a color-critical graph $H$ with $χ(H)=r+1\geq 3$. Simonovits' chromatic critical edge theorem and Nikiforov's spectral chromatic critical edge theorem imply that $T_{n,r}$ is the extremal graph with the maximum size and the maximum spectral radius over all $H$-free graphs of order $n$, respectively. Since $T_{n,r}$ is $r$-partite, it is interesting to study the Turán number and the spectral Turán number of a color-critical graph $H$ in non-$r$-partite graphs. Denote by ${\rm EX}_{r+1}(n,H)$ (resp. ${\rm SPEX}_{r+1}(n,H)$) the family of $n$-vertex $H$-free non-$r$-partite graphs with the maximum size (resp. spectral radius). Brouwer showed that any graph in $\mathrm{EX}_{r+1}(n,K_{r+1})$ is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$ for $n\geq 2r+1$. Lin, Ning and Wu [Combin. Probab. Comput. 30 (2) (2021) 258--270], and Li and Peng [SIAM J. Discrete Math. 37 (2023) 2462--2485] characterized the unique graph in $\mathrm{SPEX}_{r+1}(n,K_{r+1})$ for $r\geq 2$. Particularly, the unique graph is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$. Thus $\mathrm{SPEX}_{r+1}(n,K_{r+1})\subseteq \mathrm{EX}_{r+1}(n,K_{r+1})$. It is natural to conjecture that ${\rm SPEX}_{r+1}(n,H)\subseteq {\rm EX}_{r+1}(n,H)$ for arbitrary color-critical graph $H$ with $χ(H)=r+1\geq 3$. Fix $q,r\geq 2$ with even $q$, a theta graph $θ(1,q,r)$ is obtained from internally disjoint paths of lengths $1,q,r$, respectively by sharing a common pair of endpoints. In this paper, we prove that $\mathrm{SPEX}_{3}(n,θ(1,q,r))\subseteq \mathrm{EX}_{3}(n,θ(1,q,r))$ for sufficiently large $n$. Furthermore, we determine all the graphs in $\mathrm{SPEX}_{3}(n,θ(1,q,r))$ and $\mathrm{EX}_{3}(n,θ(1,q,r))$, respectively.
A New Proof of Fine's Identity using Wildberger's Polynomial Formula
In 1959, N. J. Fine showed that the sum of the multinomial coefficients corresponding to the partitions of a natural number $n$ into $r$ parts is a binomial coefficient: $$ \sum_{\substack{k_1 + k_2 + k_3 + {}\ldots = r \\ k_1 + 2k_2 + 3k_3 + {}\ldots = n }} \binom{r}{k_1, k_2, k_3, \ldots } = \binom{n - 1}{r - 1} $$ Fine gives a rather pithy proof, though we're still stuck on the part that says, ``We begin with an important though obvious remark.'' In 2025, Wildberger and Rubine gave the series solution to the general polynomial, derived from a non-associative algebra of roofed, subdivided polygons they call \textit{subdigons}. We generalize subdigons to \textit{tubdigons}, which include 2-gons, and count tubdigons of a given type two ways: through a simple counting argument (backed up by the combinatorics literature) and by using Wildberger's polynomial formula to solve the polynomial implied by the multiset specification of tubdigons. Comparing corresponding terms yields Fine's Identity.
Face-hitting dominating sets in planar graphs: Alternative proof and linear-time algorithm
Published
• View Publication
• BIB
In a recent paper, Francis, Illickan, Jose and Rajendraprasad showed that every $n$-vertex plane graph $G$ has (under some natural restrictions) a vertex-partition into two sets $V_1$ and $V_2$ such that each $V_i$ is \emph{dominating} (every vertex of $G$ contains a vertex of $V_i$ in its closed neighbourhood) and \emph{face-hitting} (every face of $G$ is incident to a vertex of $V_i$). Their proof works by considering a supergraph $G'$ of $G$ that has certain properties, and among all such graphs, taking one that has the fewest edges. As such, their proof is not algorithmic. Their proof also relies on the 4-color theorem, for which a quadratic-time algorithm exists, but it would not be easy to implement.
In this paper, we give a new proof that every $n$-vertex plane graph $G$ has (under the same restrictions) a vertex-partition into two dominating face-hitting sets. Our proof is constructive, and requires nothing more complicated than splitting a graph into 2-connected components, finding an ear decomposition, and computing a perfect matching in a 3-regular plane graph. For all these problems, linear-time algorithms are known and so we can find the vertex-partition in linear time.
Monochromatic Sums and Products with Additive or Multiplicative Shifts in Natural Numbers
Published
• View Publication
• BIB
In this paper we prove that for any finite coloring of N there are lambda,rho in N such that infinitely many pairs (x,y),(u,v) in N^2 satisfy the sets {lambda x, lambda y, x y, lambda(x+y)} and {u+rho, v+rho, u v+rho, u+v} being monochromatic. Using related arguments we also give two different proofs of a special case of the Milliken--Taylor theorem.
Planar graphs embedded in generic ways and realizing them as Reeb graphs of real algebraic functions
This paper is concerned with long-time interest of us, especially, the author, in realizing graphs as Reeb graphs of real algebraic functions of certain nice classes.
The Reeb graph of a differentiable function is the set consisting of all components of preimages of all single points and endowed with the quotient topology canonically. In tame cases, such objects are graphs. The Reeb graph of the natural height of the unit sphere of dimension at least $2$ is a graph with exactly one edge and homeomorphic to a closed interval. These graphs have been fundamental and strong tools in geometry since theory of Morse functions has been established in the former half of the last century.
We present a new answer to the problem, saying that generically embedded planar graphs are homeomorphic to the Reeb graphs of real algebraic functions obtained by elementary polynomials and elementary procedures.
Regularity for hypergraphs with bounded VC$_2$ dimension
While Szemerédi's graph regularity lemma is an indispensable tool for studying extremal problems in graph theory, using it comes with a hefty price, since a worst-case graph may only have regular partitions of tower-type size. It is thus sensible to ask if there is some natural restriction which forces graphs to have much smaller regular partitions. A celebrated result of this type, due to Alon-Fischer-Newman and Lovász-Szegedy, states that for graphs of bounded VC dimension, one can reduce the tower-type bounds to polynomial.
The graph regularity lemma has been extended to the setting of $k$-graphs by Gowers, Nagle-Rödl-Schacht-Skokan, and Tao. Unfortunately, these lemmas come with even larger Ackermann-type bounds. Chernikov-Starchenko and Fox-Pach-Suk considered a strong notion of $k$-graph VC dimension and proved that $k$-graphs of bounded VC dimension have regular partitions of polynomial size. Shelah introduced a weaker and combinatorially natural notion of dimension, called VC$_2$ dimension, which has since been extensively studied. In particular, Chernikov, Towsner, Terry, and Wolf asked if one can improve the worst case bounds for 3-graph regularity when the 3-graph has bounded VC$_2$ dimension. Our main result in this paper answers this question positively in the following strong sense: in the setting of bounded VC$_2$ dimension, one can reduce the bounds for 3-graph regularity by one level in Ackermann hierarchy. Furthermore, our new bound is best possible.
Our proof has two key steps. We first introduce a new method for designing regularity lemmas for graphs of bounded VC dimension, based on the cylinder regularity lemma. We then prove a hypergraph version of the cylinder regularity lemma, which allows us to extend this method to hypergraphs. We also highlight a few other applications of this cylinder regularity lemma, which we expect to find many other uses.