math.CO ↗ arXiv
5220 papers in this category
On some classes of binary matrices
Published in Notes on Number Theory and Discrete Mathematics, 31(4), 728-735 (2025)
• View Publication
• BIB
The work considers the set $Λ_n^k$ of all $n\times n$ binary matrices having the same number of $k$ units in each row and each column. The article specifically focuses on the matrices whose rows and columns are sorted lexicographically. We examine some particular cases and special properties of this matrices. Finally, we demonstrate the relationship between the Fibonacci numbers and the cardinality of two classes of $Λ_n^k$-matrices with lexicographically sorted rows and columns.
Cosigning Crossing Families and Outer-Planar Gadgets
Let $F$ be a crossing family over ground set $V$, that is, for any two sets $U,W\in{F}$ with nonempty intersection and proper union, both sets $U\cap{W},U\cup{W}$ are in $F$. Let $σ:V\to \{+,-\}$ be a signing. We call $σ$ a "cosigning" if every set includes a positive element and excludes a negative element. It is "$\cap\cup$-closed" if every pairwise nonempty intersection and co-intersection include positive and negative elements, respectively.
We characterize the existence of ($\cap\cup$-closed) cosignings $σ$ through necessary and sufficient conditions. Our proofs are algorithmic and lead to elegant `forcing' algorithms for finding $σ$, reminiscent of the Cameron-Edmonds algorithm for bicoloring balanced hypergraphs. We prove that the algorithms run in polynomial time, and further, the cosigning algorithm can be run in oracle polynomial time through an application of submodular function minimization.
Cosigned crossing families arise naturally in digraphs with vertex set $V$ comprised of sources and sinks, where every set in $F$ is "covered" by an incoming arc. Under mild and necessary conditions, we build an outer-planar arc covering of $F$ when the vertices are placed around a circle. These gadgets are then used to find disjoint dijoins in $0,1$-weighted planar digraphs when the weight-$1$ arcs form a connected component that is not necessarily spanning.
A Bivariate $B$-Restricted Clique Polynomial: From Local Neighborhoods to Global Expansion
Let $G$ be a finite simple graph and $B \subseteq V(G)$. We introduce the \emph{bivariate $B$-restricted clique polynomial} \[ C_B(G;x,y) = \sum_{\substack{K \subseteq V \\ K \text{ is a clique}}} x^{|K|} y^{|K \cap B|}, \] where the coefficient of $x^i y^j$ counts cliques of size $i$ with exactly $j$ vertices in $B$. This polynomial simultaneously captures combinatorial structure, local extremal properties, and spectral constraints associated with the subset $B$. \\ First, we develop vertex and edge deletion recurrences, generalizing classical clique polynomial results. These recurrences imply monotonicity for the largest negative root $ζ_G(B;y)$ (viewed as a polynomial in $x$ for fixed $y \in [0,1]$) under induced and spanning subgraphs.
From this, we derive bounds on $B$-independence numbers, $B$-girth, and clique densities restricted to $B$. \\ Next, we prove that for any integer $r \ge 1$, any $r$-connected $K_{r+3}$-free chordal graph $G$, and any subset $B \subseteq V(G)$, the bivariate clique polynomial $C_B(G;x,y)$ is real-stable. \\ Then, we connect $C_B(G;x,y)$ with spectral graph theory. For $(n,d,λ)$-graphs, expansion constraints via Tanner's inequality limit clique growth within $B$, yielding explicit bounds on coefficients and $ζ_G(B;y)$. \\ Finally, we analyze weighted vertices and homomorphism obstructions in this framework, giving a general no-homomorphism criterion. We also conclude the paper with a couple of interesting open problems for young and motivated researchers.
On the Guy-Kelly Conjecture for the No-Three-In-Line Problem
We provide details of the error Gabor Ellmann found in 2004 in a heuristic argument of Guy and Kelly on this problem. This led to a correction of their conjectured upper bound for the no-three-in-line problem. However, details of the issue and its correction, including the actual location of the issue, while simple, do not seem to have appeared in the literature previously. That said, very recent work of Prellberg [5] does contain a derivation of the corrected conjectured upper bound.
Inversion diameter and 2-edge-colored homomorphisms
In an oriented graph, the inversion of a subset of vertices X is the operation reversing the direction of every arc with both endpoints in X. Given a graph G, the inversion distance between two orientations G is the minimum number of inversions transforming one into the other. The inversion diameter diam(G) is the maximum such distance over all pairs of orientations of G. Through an equivalent formulation of inversions over 2-edge-colorings of G, we introduce the use of homomorphism-universal 2-edge-colored graphs to obtain bounds on the inversion diameter of various classes of graphs.
Our first result upper bounds the inversion diameter by a linear function of the acyclic chromatic number, improving on the previous quadratic dependency. We then consider the inversion diameter of planar graphs, exhibiting a lower bound of 6, as well as new lower and upper bounds for those of a given girth, in particular settling the girth 7 case. We then show that any triangle-free graph G with maximum degree D satisfies diam(G) <= D + log D, making progress on the conjecture of Havet et al. that diam(G) <= D. Finally, we prove a general result about subdivisions: if a graph has inversion diameter k, any of its subdivisions has inversion diameter at most k + log k + 5.
Tree decompositions whose trees are subgraphs: An application of Simon's factorization
We show that every connected graph $G$ has a tree decomposition indexed by a tree $T$ such that $T$ is a subgraph of $G$ and the width of the tree decomposition is bounded from above by a function of the pathwidth of $G$. This answers a question of Blanco, Cook, Hatzel, Hilaire, Illingworth, and McCarty (2024), who proved that it is not possible to have such a tree decomposition whose width is bounded by a function of the treewidth of $G$.
The proof relies on Simon's Factorization Theorem for finite semigroups, a tool that has already been applied successfully in various areas of graph theory and combinatorics in recent years. Our application is particularly simple and can serve as a good introduction to this technique.
On the singularity and the inverse of 3-colored digraphs
This article considers the class of connected 3-colored digraphs. Let $G$ be a 3-colored digraph and $A(G)$ be its adjacency matrix. $G$ is said to be non-singular (resp. singular) if $A(G)$ is a non-singular (resp. singular) matrix. A connected digraph is k-cyclic if it has $n$ vertices and $n+k-1$ edges. The main objective of this article is to provide a characterization of non-singular 3-colored unicyclic and bicyclic digraphs. If $A(G)$ is non-singular and $A(G)^{-1}$ has a $zero$ diagonal, then $A(G)^{-1}$ can be realized as the adjacency matrix of a digraph with complex weights. Therefore, we also identify all 3-colored bicyclic digraphs such that the diagonal of $A(G)^{-1}$ is zero. Furthermore, we study the invertibility of these digraphs and identify all those bicyclic 3-colored digraphs whose inverse is also a 3-colored digraph. We conduct the same study for the class of unicyclic 3-colored digraphs.
Untranscendable order types
We introduce and study a multiplicative analogue of additive indecomposability for linear order types that we call untranscendability, as well as a strengthening that we call $s$-untranscendability. We show that, with the unique exception of the two-point type, every untranscendable type is additively indecomposable, and every $σ$-scattered untranscendable type is strongly indecomposable. Under the Proper Forcing Axiom, every untranscendable Aronszajn type is strongly indecomposable. We also show that a theorem of Hagendorf and Jullien, that every strictly additively indecomposable type must be strictly indecomposable to either the left or right, has a natural analogue for $s$-untranscendable types.
Zolotarev's Magical Proof of Quadratic Reciprocity
Published in Notices of the American Mathematical Society 73 (March 2026), 238-240
• View Publication
• BIB
We present a creative reimagining of Zolotarev's classical proof of the Law of Quadratic Reciprocity.
Surface topology and incidence theorems over division rings
Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such as Desargues' theorem, and those that hold only over fields, such as Pappus' theorem. In this paper, we explain the topological origin of this distinction. To this end, we extend to the noncommutative setting the surface-graph approach to incidence theorems developed by Richter-Gebert, Fomin, and Pylyavskyy. We then show that theorems associated with graphs embedded on the sphere, such as Desargues' theorem, hold over any division ring, whereas theorems corresponding to graphs embedded on surfaces of positive genus, such as Pappus' theorem, typically hold if and only if the ground ring is a field.
Generalized Edmonds-Sterboul-Deming configurations Part 3: Determinantal multiplicativity of the SD-KE decomposition of matchable graphs
In this work it is shown that the SD-KE decomposition is multiplicative under determinantal-type functions for graphs with perfect matchings, providing a new tool for the study of unimodular and singular matchable graphs.
Burning rooted graph products
The burning number $b(G)$ of a graph $G$ is the minimum number of rounds required to burn all vertices when, at each discrete step, existing fires spread to neighboring vertices and one new fire may be ignited at an unburned vertex. This parameter measures the speed of influence propagation in a network and has been studied as a model for information diffusion and resource allocation in distributed systems. A central open problem, the Burning Number Conjecture (BNC), asserts that every graph on $n$ vertices can be burned in at most $\lceil \sqrt n\rceil$ rounds, a bound known to be sharp for paths and verified for several structured families of trees. We investigate rooted graph products, focusing on comb graphs obtained by attaching a path (a ``tooth'') to each vertex of a path (the ``spine''). Unlike classical symmetric graph products, rooted products introduce hierarchical bottlenecks: communication between local subnetworks must pass through designated root vertices, providing a natural model for hub-and-spoke or chain-of-command architectures. We prove that the BNC holds for all comb graphs and determine the precise asymptotic order of their burning number in every parameter regime, including exact formulas in the spine-dominant case that generalize the known formula for paths. Our approach is constructive, based on an explicit greedy algorithm that is optimal or near-optimal depending on the regime.
Lower Bounds for the Pfaffian Number of Graphs
The number of perfect matchings of a $k$-pfaffian graph can be counted by computing a linear combination of the pfaffians of $k$ matrices. The pfaffian number of a graph $G$ is the smallest integer $k$ such that $G$ is $k$-pfaffian. We present the first known lower bounds for the pfaffian number of graphs. As an intermediate step, we prove an upper bound for the rank of two matrices related to their Khatri-Rao product, a result of independent relevance. One of the consequences of these results is the existence of graphs whose pfaffian numbers are arbitrarily large.
Aldous-type Spectral Gaps in Unitary Groups
Aldous' spectral gap conjecture, proven by Caputo, Liggett and Richthammer, states the following: for any set of transpositions in the symmetric group $\mathrm{Sym}(n)$, the spectral gap of the corresponding random walk on the group -- an $n!$-state process -- coincides with that of the corresponding random walk of a single element -- an $n$-state process.
This paper presents an analog of this conjecture in the unitary group $\mathrm{U}(n)$, and proves it in several non-trivial cases. The phenomenon we discover is that for some natural families of probability distributions on $\mathrm{U}(n)$, the spectral gap of the corresponding random walk, which has a continuous state space, is identical to that of a discrete KMP process (also known as the uniform reshuffling process) with two indistinguishable particles on a hypergraph on $n$ vertices -- a discrete Markov chain with $\binom{n+1}{2}$ states.
Subdivision and Runner Removal Theorems
We develop a combinatorial framework for the subdivision map -- introduced by Maksimau, Mathas and Tubbenhauer -- between the KLR(W) algebras of type $A^{(1)}_{e-1}$ and type $A^{(1)}_{e}$, which provides a partial categorification of the runner removal theorems.
On Arithmetic Cordial Labeling of Some Graphs
Let $η$ be a fixed positive integer. Let $S$ be a subset of $\mathbb{Z}$, $\star:S\times S\to \mathbb{Z}$ be a binary function, and $ζ_η:\{ξ\in \mathbb{Z}:\gcd(ξ,η)=1\}\to \{0,1\}$ be a function. For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to S$ (where $|S|=n$) is called an arithmetic cordial labeling modulo $η$ under $\langle S,ζ_η,\star\rangle$ if the induced function $f_η^*:E(G)\to \{0,1\}$, defined by $f_η^*(uv)=0$ whenever $ζ_η(f(a)\star f(b))=0$ or $\gcd(f(a)\star f(b),η)\neq 1$, and $f_η^*(uv)=1$ whenever $ζ_η(f(a)\star f(b))=1$, satisfies the condition $|e_{f_η^*}(0)-e_{f_η^*}(1)|\leq 1$, where $e_{f_η^*}(i)$ is the number of edges with label $i$ ($i=0,1$). In this paper, we explore the arithmetic cordial labeling of some graphs under conditions imposed on the function $ζ_η$. The graphs included are star graphs, ladder graphs, alternate cycle snake graphs, join graphs, corona graphs, and tensor product graphs.
Are sparse graphs typically determined by their spectrum?
We investigate whether it is typical for a sparse graph to be uniquely characterized by its adjacency spectrum up to isomorphism. Our first result shows that the giant component of an Erdős-Rényi graph is cospectral when the average degree is sufficiently small. The proof relies on the existence of a specific pendant tree, combined with a method by Schwenk that swaps trees to construct a cospectral mate.
It seems possible that pendant trees are essentially the only obstruction, meaning that the giant should become characterized by spectrum with high probability if one prunes these by considering the 2-core. The majority of the paper is devoted to theoretical and numerical evidence supporting this concept. Our main theorem in this direction establishes that local switching methods can not cause the 2-core to be cospectral. We also discuss R-cospectrality and rational cospectrality at fixed level.
Ordered trees with distinguished children
A new tree model is introduced based on ordered trees, by distinguishing exactly one child of each node that \emph{has} children. The basic enumeration leads to a cubic equation of the generating function. The extraction of its coefficients can be done using the Lagrange inversion formula. Various parameters that are commonly studied for ordered trees can also be addressed here, like degree of the root, number of leaves, number of old leaves, height, height of leftmost leaf, and pathlength. We go through these instances and leave further parameters to later research, by either the author or some readers. Dealing with cubic equations in a meaningful way requires some skills with Maple.
In a last section, ordered trees are replaced by marked ordered trees; they are then combined with the concept of distinguished children. Only the basic enumeration is provided, leaving further analysis to the future.
Most probably trangle-free graphs
The celebrated Mantel's theorem states that any triangle-free graph on $n$ vertices contains at most $\left\lfloor n^2/4\right\rfloor$ edges. It is natural to ask how many triangles must exist in a graph with more than $\left\lfloor n^2/4\right\rfloor$ edges--a problem known as the Erdős-Rademacher problem. In this paper, we propose a probabilistic variant of this classic problem. Specifically, given an $n$-vertex graph $G$ with $\left\lfloor n^2/4\right\rfloor+i$ ($i>0$) edges, we choose the edges of $G$ independently with probability $p$, and the resulting new graph is triangle-free with a certain probability. Our goal is to maximize this probability by choosing $G$ appropriately. For the case where $G$ has $ \left\lfloor n^2/4\right\rfloor +1$ edges, we determine the exact maximum probability.
Results on three problems on isolation of graphs
The graph isolation problem was introduced by Caro and Hansberg in 2015. It is a vast generalization of the classical graph domination problem and its study is expanding rapidly. In this paper, we address a number of questions that arise naturally. Let $F$ be a graph. We show that the $F$-isolating set problem is NP-complete if $F$ is connected. We investigate how the $F$-isolation number $ι(G,F)$ of a graph $G$ is affected by the minimum degree $d$ of $G$, establishing a bounded range, in terms of $d$ and the orders of $F$ and $G$, for the largest possible value of $ι(G,F)$ with $d$ sufficiently large. We also investigate how close $ι(G,tF)$ is to $ι(G,F)$, using domination and, in suitable cases, the Erdos-Posa property.