math.CO ↗ arXiv
5274 papers in this category
Monadic dependence from reducts, and applications to twin-width of oriented graphs
We study monadic dependence of binary relational structures including at least one antisymmetric relation.
Our cornerstone result gives sufficient conditions for proving that a structure is monadically dependent by only considering some of its reducts, assuming they are structurally well-behaved and compatible enough. As an application, we consider some reorientation rules preserving monadic dependence of binary structures, as well as replacement of one antisymmetric relation with bounded independence number by another. Then, we apply our main (technical) result to the study of twin-width in two ways.
First, generalizing the fact that twin-width boundedness is equivalent to being expandable by a linear order into a monadically dependent class, we prove that it is also equivalent to being expandable by an oriented graph with bounded independence number (for instance by a poset with bounded width or by a tournament), and that FO-model checking is fixed-parameter tractable on such an expansion.
Second, we show delineation by twin-width for some new classes of oriented graphs, including oriented split graphs and local tournaments. In all these cases, we also obtain fixed-parameter tractability of FO-model checking.
A Combinatorial Generalization of a Random-Player Game
In a previous note, a two-player game between a random player and a deterministic player was introduced, and it was shown analytically that the winning probability of the deterministic player is the derangement probability dn/n!. The natural question left open was to explain this coincidence combinatorially. This paper gives such an explanation and extends it to a larger family of games. In the generalized game, the deterministic player removes q elements per turn, or all remaining elements if fewer than q remain. We couple the game exactly to the cycle decomposition of a uniformly random permutation. Under this coupling, the random player wins precisely when the first cycle of length at most q, read in canonical cycle order, is a fixed point. The case q = 1 recovers derangements, while the general case is governed by the first short cycle of the permutation.
On monomial resonance
This note addresses the resonance of monomial subspaces. In the first part, we completely characterize the cases where the Fitting scheme structure of the resonance associated with a monomial subspace is reduced, and we further investigate the primary decomposition of the corresponding Fitting ideal. The second part focuses on non-monomial subspaces having the resonance of a monomial subspace.
Peripheral \texorpdfstring{$Θ$}{Theta}-classes and forbidden partial cube-minors of daisy cubes
Daisy cubes are partial cubes whose vertices can be represented by a down-set of a Boolean lattice. This paper gives a label-free characterization: a finite partial cube is a daisy cube if and only if every Djoković--Winkler $Θ$-class is peripheral. The proof orients each $Θ$-class toward a peripheral halfspace and shows that the resulting $Θ$-coordinate labels are closed downward. The characterization turns recognition into a condition on the halfspace structure and gives an exact obstruction formulation: the minimal forbidden pc-minors for daisy cubes are precisely the pc-minor-minimal partial cubes containing a non-peripheral $Θ$-class. We also give an infinite product family of such obstructions. For all $r\ge 2$ and $s\ge 1$, the graph obtained from $P_3^{\square r}\sq Q_s$ by deleting the two opposite corners is a minimal forbidden partial cube-minor for the class of daisy cubes.
Brave new categorical spectral positive Schubert geometry and the categorical Dual Amplituhedron
This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.
Schur rings over cyclic groups having Almost Commutative Terwilliger algebras
Terwilliger algebras are subalgebras of a matrix algebra constructed from an association scheme. Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions in the case where the association scheme is commutative. A sixth condition for a Terwilliger algebra coming from a commutative Schur ring to be almost commutative has since been discovered. In this paper we first provide a classification of orbit Schur rings that produce an almost commutative Terwilliger algebra for a finite cyclic group. In particular, we show that the subgroup of automorphisms used to form the orbit Schur ring is either trivial, or the whole automorphism group when the cyclic group has prime power order. If the cyclic group has order $2^n$, these are the only options. If the cyclic group has order $p^n$, for an odd prime $p$, then the automorphism subgroup of order $p^{n-1}$ also works. If the group has a non-prime power order then the only orbit Schur ring that produces an almost commutative Terwilliger algebra comes from the trivial subgroup of the automorphism group. We then give a condition for when a wedge product of Schur rings produces an almost commutative Terwilliger algebra. This allows us to determine exactly when a Schur ring over a cyclic group produces an almost commutative Terwilliger algebra.
Explicit thresholds in a generalized Turán problem for \(K_{3,t}\)-free graphs
For graphs $F$ and $H$, let $\ex(n,F,H)$ denote the maximum number of copies of $F$ in an $n$-vertex $H$-free graph. Janzer, Longbrake and Yepremyan recently proved that, for fixed $3<a\le b$ and sufficiently large $t$, \[
\ex(n,K_{a,b},K_{3,t})=Θ(n^3). \] We make their threshold explicit, showing that this conclusion holds for all $t\ge τ(b):=2\max\{3,\lceil b/2\rceil\}+1.$ In particular, for every even $b\ge 6$, this matches the necessary threshold $t=b+1$. The main new ingredient is an explicit finite-field point set whose plane sections are controlled directly, rather than through a general bounded-complexity algebraic lemma. This direct line-and-conic section analysis gives the required \(K_{3,t}\)-freeness while preserving many coplanar \(b\)-element subsets.
Classical freeness of $\widehat{\mathfrak{sl}}_n$ at level $1$ via combinatorics
We use a family of Rogers--Ramanujan-type combinatorial identities of Dousse--Konan involving coloured partitions to prove classical freeness of the simple vertex operator algebras based on $\widehat{\mathfrak{sl}}_n$ at level $1$. These identities are used to produce Gröbner bases for the relevant arc algebras.
A combinatorial large sieve for Sidon sets, distances, and norm forms
We develop a new combinatorial large sieve method for sets with bounded algebraic multiplicities. The method exploits algebraic splitting modulo many small primes: local congruence branching produces many modular collisions, while global bounded-multiplicity hypotheses force these collisions to be rare.
As a first application, we prove that every Sidon subset $A\subset\{1^2,\ldots,N^2\}$ satisfies \[
|A|
\le
N\exp\left(
-c\frac{\log N}{\log\log N}
\right) \] for some absolute constant $c>0$. This gives the first super-polylogarithmic saving for a classical problem of Alon and Erdős.
As a second application, we establish new upper bounds for two grid-distance problems. We show that the largest subset of $[N]^2$ with no repeated distance has size at most $N\exp\left(-c\log N/\log\log N\right)$, giving the first progress in over thirty years on a problem of Erdős and Guy. The same method also gives a similar saving for subsets of $[N]^2$ with no isosceles triangles, a problem recently popularized by Ellenberg and by the PatternBoost work of Charton, Ellenberg, Wagner, and Williamson.
We then develop an entropic version of the method. This gives bounds for $B_2[g]$-sets in the squares and for analogous bounded-multiplicity problems associated with norm forms over arbitrary number fields. More importantly, this new method also allows us to establish the first nontrivial bounds for $B_3[g]$-sets in the cubes and $B_4[g]$-sets in the fourth powers.
A Non-Multiplicable Upho Poset Constructed from the Petersen Graph
An upper homogeneous (upho) poset is a poset whose every principal filter is isomorphic to the whole poset. Fu--Peng--Zhang conjectured that every finitary upho poset admits a compatible left-cancellative, invertible-free monoid structure whose left-divisibility order coincides with the given order. We disprove this conjecture. For every vertex-transitive graph $G$, we construct a finitary upho poset $P(G,v_0)$ from walks starting at a fixed vertex $v_0$. Applying this construction to the Petersen graph, we show that multiplicability of $P(G,v_0)$ would force the automorphism group of $G$ to contain a regular subgroup. This would imply that $G$ is a Cayley graph, contradicting the fact that the Petersen graph is not Cayley. Hence $P(G,v_0)$ is a non-multiplicable finitary upho poset. We also show that the analogous poset associated with the line graph of the Petersen graph is multiplicable, demonstrating that non-Cayleyness of the underlying graph alone does not determine multiplicability.
A coarse Menger theorem for hyperbolic graphs, finitely presented groups, and more
Menger's theorem is one of the most fundamental results in graph theory. It states that if a graph $G$ does not contain $k$ disjoint paths between two given sets $X$ and $Y$ of vertices in $G$, then there is a set of at most $k-1$ vertices that intersects every path between $X$ and $Y$. Nguyen, Scott, and Seymour gave a counterexample to the conjectured natural coarse variant in which the paths are required to be pairwise at distance at least $d$, and, conversely, there is a set of at most $k-1$ bounded-radius balls intersecting every path between $X$ and $Y$. In other words, the coarse Menger property does not hold in general.
We prove that graphs whose cycles space is generated by cycles of bounded length do have the coarse Menger property. As a corollary, we show that many natural graphs and geodesic metric spaces have the coarse Menger property. These include hyperbolic graphs, Cayley graphs of finitely presented groups, planar graphs with bounded face size, and complete Riemannian planes.
Principal minors of effective-resistance matrices and local resistance radii
Let $G$ be a finite connected weighted graph and let $R$ be its effective-resistance matrix. For every nonempty vertex set $S$, we factor the cofactor sum and determinant of the principal resistance submatrix $R[S]$ into an enumerative term and a boundary potential-theoretic term. If $τ(G)$ is the weighted spanning tree enumerator and $κ_G(S)$ is the weighted enumerator of $S$-rooted spanning forests, then \[
\cof R[S]=(-2)^{|S|-1}κ_G(S)/τ(G). \] After Kron reduction to $S$, with reduced Laplacian $K=L^S$, $Q=K^+$, and $q=\diag(Q)$, the remaining normalized factor is \[
\det R[S]/\cof R[S]
=\frac{2}{|S|}\tr Q+\frac12 q^{\mathsf T}Kq. \] The cofactor factor is a principal specialization of known resistance-minor identities; the contribution here is the boundary/Kron-reduction factorization and local radius calculus. Equivalently, the normalized factor is the maximum of $u^{\mathsf T}R[S]u$ over all $u\in\R^S$ satisfying $\one^{\mathsf T}u=1$. This optimization viewpoint yields monotonicity under enlargement of $S$, an exact one-point update formula, and a support criterion for equality. Small star examples show that the resulting set function is neither submodular nor supermodular in general.
Universal probability bounds for partial Latin squares
This paper studies the probability of substructures occurring in random Latin squares. Our main result states that if $α,β>0$ are such that $2α+β<1$, then there are positive constants $δ= δ(α, β)$ and $Δ= Δ(α, β)$ such that if $P$ is a partial Latin square of order $n$ with $k = k(n)$ non-empty cells occupying at most $αn$ rows and $βn$ columns, the probability that a random Latin square of order $n$ contains $P$ lies between $(δ/n)^k$ and $(Δ/n)^k$. We apply this result to subsquares in random Latin squares to obtain the first proof of the fact that the expected number of subsquares of order $3$ in a random Latin square of order $n$ is non-vanishing as $n \to \infty$. We are also able to provide the best known asymptotics for the expected number of subsquares of order $a$ in a random Latin square of order $n$ when $2<a=o(n^{1/2})$. Finally, we discuss the implications of our result on other configurations in random Latin squares as well as on completions of partial Latin squares.
On zero-sum problems of new types
In this paper, we investigate zero-sum problems of new types. For example, given $2n-1$ integers $a_1,\ldots,a_{2n-1}$ not divisible by an integer $n>1$, we prove that for some nonempty $I\subseteq\{1,\ldots,2n-1\}$ with $|I|\leqslant n$, the sum $\sum_{i\in I}a_i$ is divisible by $n$ but not divisible by $n^2$. We also pose several conjectures for further research.
An alternative way of defining finite graphs
Published in Prikl. Diskr. Mat., 2015, no. 3(29), 83-94
• View Publication
• BIB
In this paper we introduce "graph linear notation" -- a complete graph invariant -- which is positioned as an alternative definition for the finite graphs. This invariant is constructed using an algorithm similar to the algorithm of finding canonical forms of graphs. Storing graph linear notation instead of a regular graph allows us to greatly simplify two major problems: the construction of illustrations for graphs with regards to possible graph symmetries, and the comparison of two graphs for isomorphism. We also demonstrate the transferability to the graph linear notations such classical graph theory concepts as colourings and graph paths.
Proof of a conjecture on permutations
Given a positive integer $n$, define a function on the symmetric group $S_n$ by $$F(τ) = \sum_{k=1}^{n}k^2τ(k)^2.$$ Motivated by a conjecture of Zhi-Wei Sun, we investigate the residue classes attained by $F(τ)$ modulo $2n+1$. We prove that for every integer $n>4$, the set $\{F(τ):τ\in S_n\}$ contains a complete residue system modulo $2n+1$. The proof is based on a family of involutions whose values are controlled by subset sums of squares.
Proofs of Two Conjectures of Alon on Subgraph Counts
All graphs considered are finite with no isolated vertices. Let $N(m,H)$ be the maximum number of subgraphs of a graph $G$ isomorphic to $H$, taken over all graphs $G$ with $m$ edges. Alon proved that $N(m,H)=Θ_H(m^{γ(H)})$, where $γ(H)=(|V(H)|+D(H))/2$ and $D(H)=\max_{S\subseteq V(H)}(|S|-|N_H(S)|)$, and conjectured [Conjecture 1, Isr. J. Math., 1986] that limit of $N(m,H)/m^{γ(H)}$ exists as $m\to\infty$. We prove this conjecture and identify the limit as $λ(H)=Λ(H)/|\operatorname{Aut}(H)|$, where $Λ(H)$ is characterized by a variational problem over finite cores. We also resolve another conjecture of Alon [Conjecture 2, Isr. J. Math., 1986], which stated that if $H$ is a disjoint union of stars, then for every $m$ an extremal graph attaining $N(m,H)$ may be chosen to be a disjoint union of stars.
Interval hypergraphic polytopes (or deformed associahedra), Tamari interval posets, and weeping willows
For a hypergraph $\mathbb{H}$ on $[n]$, the hypergraphic polytope $\triangle_{\mathbb{H}}$ is the Minkowski sum of the standard simplices $\triangle_H$ for all $H \in \mathbb{H}$. We focus here on interval hypergraphs, where all hyperedges are intervals of $[n]$. They are precisely the deformations of Loday's associahedron. Their vertex posets are Tamari interval posets, and we describe which Tamari interval poset appears as a vertex poset in which interval hypergraphic polytope. We also characterize the interval hypergraphs $\mathbb{I}$ for which the hypergraphic polytope $\triangle_\mathbb{I}$ is simple, and we study their vertex posets, which we call weeping willows.
Exact 6-cut rigidity and small-order superconnectivity for the 6-regular case of Dirac's k=4 problem
Dirac asked in 1970 whether for every k >= 4 there is a k-vertex-critical graph without critical edges; Jensen settled all k >= 5, and only k=4 remains open. Following Skottova and Steiner, call a graph G a (4,1)-graph if chi(G)=4, chi(G-v)=3 for every vertex v, and chi(G-e)=4 for every edge e; they proved delta(G) >= 6 and lambda(G) >= 6 for every (4,1)-graph and asked whether a 6-regular (4,1)-graph exists. We prove three results about this 6-regular case. Theorem A (computational): there is no 6-regular 4-vertex-critical graph on n <= 15 vertices, except for a unique graph (up to isomorphism) on n=13, whose 13 critical edges form a Hamilton cycle; hence any 6-regular (4,1)-graph has at least 16 vertices. Theorem B: in a 6-regular (4,1)-graph every 6-edge-cut is either the edge star of a vertex or has both shores of size at least 15; consequently every 6-regular (4,1)-graph on at most 29 vertices is super-6-edge-connected. Theorem C (all sizes): no shore of a nontrivial 6-edge-cut in a 6-regular (4,1)-graph induces a bipartite graph; more generally, a shore whose deficiency is concentrated on two vertices forces them to receive equal colours in every proper 3-colouring. The proof of Theorem B rests on an exact classification of the 3x3 cut matrices of 6-edge-cuts in (4,1)-graphs (exactly 21 matrices, five types up to row/column permutations) together with a boundary-shortfall lemma; the unique near-miss is K_{3,3,3} minus a rainbow 3-matching. Several supporting lemmas are machine-checked in Lean 4/Mathlib.
Tuples as sets
In 1921, Kuratowski gave the now-standard definition of ordered pair in the context of set theory. This paper studies the problem of defining ordered tuples as sets in the hierarchy of simple types, of which Kuratowski's construction is a special case.