Showing 20 papers (Total: 81680 papers, 47334 authors in database)
A Recursive Relation for Bipartition Numbers
We establish a recursive relation for the bipartition number $p_2(n)$ which might be regarded as an analogue of Euler's recursive relation for the partition number $p(n)$. Two proofs of the main result are proved in this article. The first one is using the generating function, and the second one is using combinatoric objects (called ``symbols'') created by Lusztig for studying representation theory of finite classical groups.
A q-analogue of delta-matroids and related concepts
We define and study q-delta-matroids, and q-g-matroids. These objects are analogues, for finite-dimensional vector spaces over finite fields, of delta-matroids and g-matroids arising from finite sets. We compare axiomatic descriptions with definitions by means of strong maps of q-matroids.
Algebraic characterization of dendricity
Published in The Electronic Journal of Combinatorics, vol. 32, no. 1, article no. P1.51 (2025)
• View Publication
• BIB
Dendric shift spaces simultaneously generalize codings of regular interval exchanges and episturmian shift spaces, themselves both generalizations of Sturmian words. One of the key properties enforced by dendricity is the Return Theorem. In this paper, we prove its converse, providing the following natural algebraic perspective on dendricity: A minimal shift space is dendric if and only if every set of return words is a basis of the free group over the alphabet.
The sl(2)-weight system at c = 3/8 for graphs
Published in European Journal of Combinatorics 127 (2025)
• View Publication
• BIB
We construct a 4-invariant that extends a specialization of the $\mathfrak{sl}(2)$-weight system at $c = \frac 38$, and satisfies a simple deletion-contraction relation.
Maker-Breaker resolving game played on corona products of graphs
Published in Aequationes Math. 99 (2025) 1221-1233
• View Publication
• BIB
The Maker-Breaker resolving game is a game played on a graph $G$ by Resolver and Spoiler. The players taking turns alternately in which each player selects a not yet played vertex of $G$. The goal of Resolver is to select all the vertices in a resolving set of $G$, while that of Spoiler is to prevent this from happening. The outcome $o(G)$ of the game played is one of $\mathcal{R}$, $\mathcal{S}$, and $\mathcal{N}$, where $o(G)=\mathcal{R}$ (resp.\ $o(G)=\mathcal{S}$), if Resolver (resp.\ Spoiler) has a winning strategy no matter who starts the game, and $o(G)=\mathcal{N}$, if the first player has a winning strategy. In this paper, the game is investigated on corona products $G\odot H$ of graphs $G$ and $H$. It is proved that if $o(H)\in\{\mathcal{N}, \mathcal{S}\}$, then $o(G\odot H) = \mathcal{S}$. No such result is possible under the assumption $o(H) = \mathcal{R}$. It is proved that $o(G\odot P_k) = \mathcal{S}$ if $k=5$, otherwise $o(G\odot P_k) = \mathcal{R}$, and that $o(G\odot C_k) = \mathcal{S}$ if $k=3$, otherwise $o(G\odot C_k) = \mathcal{R}$. Several results are also given on corona products in which the second factor is of diameter at most $2$.
Some Cases of the Erdős-Lovász Tihany Conjecture for Claw-free Graphs
Published
• View Publication
• BIB
The Erdős-Lovász Tihany Conjecture states that any $G$ with chromatic number $χ(G) = s + t - 1 > ω(G)$, with $s,t \geq 2$ can be split into two vertex-disjoint subgraphs of chromatic number $s, t$ respectively. We prove this conjecture for pairs $(s, t)$ if $t \leq s + 2$, whenever $G$ has a $K_s$, and for pairs $(s, t)$ if $t \leq 4 s - 3$, whenever $G$ contains a $K_s$ and is claw-free. We also prove the Erdős Lovász Tihany Conjecture for the pair $(3, 10)$ for claw-free graphs.
Partition strategies for the Maker-Breaker domination game
Published
• View Publication
• BIB
The Maker-Breaker domination game is a positional game played on a graph by two players called Dominator and Staller. The players alternately select a vertex of the graph that has not yet been chosen. Dominator wins if at some point the vertices she has chosen form a dominating set of the graph. Staller wins if Dominator cannot form a dominating set. Deciding if Dominator has a winning strategy has been shown to be a PSPACE-complete problem even when restricted to chordal or bipartite graphs. In this paper, we consider strategies for Dominator based on partitions of the graph into basic subgraphs where Dominator wins as the second player. Using partitions into cycles and edges (also called perfect [1,2]-factors), we show that Dominator always wins in regular graphs and that deciding whether Dominator has a winning strategy as a second player can be computed in polynomial time for outerplanar and block graphs. We then study partitions into subgraphs with two universal vertices, which is equivalent to considering the existence of pairing dominating sets with adjacent pairs. We show that in interval graphs, Dominator wins if and only if such a partition exists. In particular, this implies that deciding whether Dominator has a winning strategy playing second is in NP for interval graphs. We finally provide an algorithm in $n^{k+3}$ for $k$-nested interval graphs (i.e. interval graphs with at most $k$ intervals included one in each other).
State Transfer and Readout Times for Trees of Diameter 4
Published
• View Publication
• BIB
We consider the state transfer properties of continuous time quantum walks on trees of diameter 4. We characterize all pairs of strongly cospectral vertices in trees of diameter 4, finding that they fall into pairs of three different types. For each type, we construct an infinite family of diameter 4 trees for which there is pretty good state transfer between the pair of strongly cospectral vertices. Moreover, for two of those types, for each tree in the infinite family, we give an explicit sequence of readout times at which the fidelity of state transfer converges to $1$. For strongly cospectral vertices of the remaining type, we identify a sequence of trees and explicit readout times so that the fidelity of state transfer between the strongly cospectral vertices approaches $1.$
We also prove a result of independent interest: for a graph with the property that the fidelity of state transfer between a pair of vertices at time $t_k$ converges to $1$ as $k \rightarrow \infty,$ then the derivative of the fidelity at $t_k$ converges to $0$ as $k \rightarrow \infty. $
Diverse beam search to find densest-known planar unit distance graphs
Published
• View Publication
• BIB
This paper addresses the problem of determining the maximum number of edges in a unit distance graph (UDG) of $n$ vertices using computer search. An unsolved problem of Paul Erdős asks the maximum number of edges $u(n)$ a UDG of $n$ vertices can have. Those UDGs that attain $u(n)$ are called "maximally dense." In this paper, we seek to demonstrate a computer algorithm to generate dense UDGs for vertex counts up to at least 100. Via beam search with an added visitation metric, our algorithm finds all known maximally dense UDGs up to isomorphism at the push of a button. In addition, for $15 < n$, where $u(n)$ is unknown, i) the algorithm finds all previously published densest UDGs up to isomorphism for $15 < n \le 30$, and ii) the rate of growth of $u(n)/n$ remains similar for $30 < n$. The code and database of over 60 million UDGs found by our algorithm can be found at https://codeberg.org/zsamboki/dbs-udg.
On mutually $μ$-intersecting quasi-Hermitian varieties with some applications
Published in Designs, Codes, and Cryptography 2025
• View Publication
• BIB
Let $\mathcal W$ be a non-empty set of points of a finite Desarguesian projective space $\mathrm{PG}(n,q)$. A collection of varieties of $\mathrm{PG}(n,q)$ is \emph{mutually $μ$-intersecting (relatively to $\mathcal W$)} if its elements meet all $\mathcal W$ in the same number of points and pairwise intersect in $\mathcal W$ in exactly $μ$-points. Here we construct a new family of mutually $μ$-intersecting algebraic varieties by using certain quasi-Hermitian varieties of $\mathrm{PG}(n,q^2)$ where $q$ is any prime power. With the help of these quasi-Hermitian varieties we provide a new construction of $5$-dimensional MDS codes over ${\mathbb F}_q$ as well as an infinite family of simple orthogonal arrays $OA(q^{2n-1},q^{2n-2},q,2)$ of index $μ=q^{2n-3}$.
Duplicated Steiner triple systems with self-orthogonal near resolutions
A Steiner triple system, STS$(v)$, is a family of $3$-subsets (blocks) of a set of $v$ elements such that any two elements occur together in precisely one block. A collection of triples consisting of two copies of each block of an STS is called a duplicated Steiner triple system, DSTS. A resolvable (or near resolvable) DSTS is called self-orthogonal if every pair of distinct classes in the resolution has at most one block in common. We provide several methods to construct self-orthogonal near resolvable DSTS and settle the existence of such designs for all values of $v$ with only four possible exceptions. This addresses a recent question of Bryant, Davies and Neubecker.
Signed combinatorial interpretations in algebraic combinatorics
Published
• View Publication
• BIB
We prove the existence of signed combinatorial interpretations for several large families of structure constants. These families include standard bases of symmetric and quasisymmetric polynomials, as well as various bases in Schubert theory. The results are stated in the language of computational complexity, while the proofs are based on the effective Möbius inversion.
A note on the threshold numbers of cycles
Published in J. Combin. Math. Combin. Comput., 126:241-246, 2025
• View Publication
• BIB
A graph $G=(V,E)$ is said to be a \textit{$k$-threshold graph} with \textit{thresholds} $θ_1<θ_2<...<θ_k$ if there is a map $r: V \longrightarrow \mathbb{R}$ such that $uv\in E$ if and only if $θ_i\le r(u)+r(v)$ holds for an odd number of $i\in [k]$. The \textit{threshold number} of $G$, denoted by $Θ(G)$, is the smallest positive integer $k$ such that $G$ is a $k$-threshold graph. In this paper, we determine the exact threshold numbers of cycles by proving
\[ Θ(C_n)=\begin{cases}
1 & if\ n=3,
2 & if\ n=4,
4 & if\ n\ge 5,
\end{cases}
\]
where $C_n$ is the cycle with $n$ vertices.
The Unipotent Tropical Fundamental Group
Published
• View Publication
• BIB
We define the unipotent tropical fundamental group of a polyhedral complex in $\mathbb{R}^n$ as the Tannakian fundamental group of the category of unipotent tropical vector bundles with integrable connection. We show that it is computable in that it satisfies a Seifert--Van Kampen theorem and has a description for fans in terms of a bar complex. We then review an analogous classical object, the unipotent de Rham fundamental group of a schön subvariety of a toric variety. Our main result is a correspondence theorem between classical and tropical unipotent fundamental groups: there is an isomorphism between the unipotent completion of the fundamental group of a generic fiber of a tropically smooth family over a disc and the tropical unipotent fundamental group of the family's tropicalization. This theorem is established using Kato--Nakayama spaces and a descent argument. It requires a slight enlargement of the relevant categories, making use of enriched structures and partial compactifications.
A Combinatorial Decomposition of Knapsack Cones
In this paper, we focus on knapsack cones, a specific type of simplicial cones that arise naturally in the context of the knapsack problem $x_1 a_1 + \cdots + x_n a_n = a_0$. We present a novel combinatorial decomposition for these cones, named \texttt{DecDenu}, which aligns with Barvinok's unimodular cone decomposition within the broader framework of Algebraic Combinatorics. Computer experiments support us to conjecture that our \texttt{DecDenu} algorithm is polynomial when the number of variables $n$ is fixed. If true, \texttt{DecDenu} will provide the first alternative polynomial algorithm for Barvinok's unimodular cone decomposition, at least for denumerant cones.
The \texttt{CTEuclid} algorithm is designed for MacMahon's partition analysis, and is notable for being the first algorithm to solve the counting problem for Magic squares of order 6. We have enhanced the \texttt{CTEuclid} algorithm by incorporating \texttt{DecDenu}, resulting in the \texttt{LLLCTEuclid} algorithm. This enhanced algorithm makes significant use of LLL's algorithm and stands out as an effective elimination-based approach.
Transversal Hamilton paths and cycles
Published
• View Publication
• BIB
Given a collection $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs on the common vertex set $V$ of size $n$, an $m$-edge graph $H$ on the same vertex set $V$ is transversal in $\mathcal{G}$ if there exists a bijection $\varphi :E(H)\rightarrow [m]$ such that $e \in E(G_{\varphi(e)})$ for all $e\in E(H)$. Denote $δ(\mathcal{G}):=\operatorname*{min}\left\{δ(G_i): i\in [m]\right\}$. In this paper, we first establish a minimum degree condition for the existence of transversal Hamilton paths in $\mathcal{G}$: if $n=m+1$ and $δ(\mathcal{G})\geq \frac{n-1}{2}$, then $\mathcal{G}$ contains a transversal Hamilton path. This solves a problem proposed by [Li, Li and Li, J. Graph Theory, 2023]. As a continuation of the transversal version of Dirac's theorem [Joos and Kim, Bull. Lond. Math. Soc., 2020] and the stability result for transversal Hamilton cycles [Cheng and Staden, arXiv:2403.09913v1], our second result characterizes all graph collections with minimum degree at least $\frac{n}{2}-1$ and without transversal Hamilton cycles. We obtain an analogous result for transversal Hamilton paths. The proof is a combination of the stability result for transversal Hamilton paths or cycles, transversal blow-up lemma, along with some structural analysis.
Average edge order of normal $3$-pseudomanifolds
Published
• View Publication
• BIB
In their work [10], Feng Luo and Richard Stong introduced the concept of the average edge order, denoted as $μ_0(K)$. They demonstrated that if $μ_0(K)\leq \frac{9}{2}$ for a closed $3$-manifold $K$, then $K$ must be a sphere. Building upon this foundation, Makoto Tamura extended similar results to $3$-manifolds with non-empty boundaries in [12,13]. In our present study, we extend these findings to normal $3$-pseudomanifolds. Specifically, we establish that for a normal $3$-pseudomanifold $K$ with singularities, $μ_0(K)\geq\frac{30}{7}$. Moreover, equality holds if and only if $K$ is a one-vertex suspension of a triangulation of $\mathbb{RP}^2$ with seven vertices. Furthermore, we establish that when $\frac{30}{7}\leqμ_0(K)\leq\frac{9}{2}$, the $3$-pseudomanifold $K$ can be derived from some boundary complexes of $4$-simplices by a sequence of possible operations, including connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex folding, and edge folding.
Tight bounds for rainbow partial $F$-tiling in edge-colored complete hypergraphs
Published
• View Publication
• BIB
For an $r$-graph $F$ and integers $n,t$ satisfying $t \le n/v(F)$, let $\mathrm{ar}(n,tF)$ denote the minimum integer $N$ such that every edge-coloring of $K_{n}^{r}$ using $N$ colors contains a rainbow copy of $tF$, where $tF$ is the $r$-graphs consisting of $t$ vertex-disjoint copies of $F$. The case $t=1$ is the classical anti-Ramsey problem proposed by Erdős--Simonovits--Sós~\cite{ESS75}. When $F$ is a single edge, this becomes the rainbow matching problem introduced by Schiermeyer~\cite{Sch04} and Özkahya--Young~\cite{OY13}. We conduct a systematic study of $\mathrm{ar}(n,tF)$ for the case where $t$ is much smaller than $\mathrm{ex}(n,F)/n^{r-1}$. Our first main result provides a reduction of $\mathrm{ar}(n,tF)$ to $\mathrm{ar}(n,2F)$ when $F$ is bounded and smooth, two properties satisfied by most previously studied hypergraphs. Complementing the first result, the second main result, which utilizes gaps between Turán numbers, determines $\mathrm{ar}(n,tF)$ for relatively smaller $t$. Together, these two results determine $\mathrm{ar}(n,tF)$ for a large class of hypergraphs. Additionally, the latter result has the advantage of being applicable to hypergraphs with unknown Turán densities, such as the famous tetrahedron $K_{4}^{3}$.
Asymptotic bounds on the numbers of vertices of polytopes of polystochastic matrices
Published in Discrete Mathematics, 349:1 (2026), 114653
• View Publication
• BIB
A multidimensional nonnegative matrix is called polystochastic if the sum of entries in each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$. In the present paper, we compare known bounds on the number of vertices of the polytope $Ω_n^d$ and prove that the number of vertices of $Ω_3^d$ is doubly exponential on $d$.
Chromatic number of randomly augmented graphs
An extension of the Erdős-Renyi random graph model $G_{n,p}$ is the model of perturbed graphs introduced by Bohman, Frieze and Martin (Bohman, Frieze, Martin 2003). This is a special case of the model of randomly augmented graphs studied in this paper. An augmented graph denoted by $pert_{H,p}$ is the union of a deterministic host graph and a random graph $G_{n,p}$. Among the first problems in perturbed graphs has been the question how many random edges are needed to ensure Hamiltonicity of the graph. This question was answered in the paper by Bohman, Frieze and Martin. The host graph is often chosen to be a dense graph. In recent years several papers on combinatorial problems in perturbed graphs were published, e.g. on the emergence of powers of Hamiltonian cycles (Dudek, Reiher, Ruciński, Schacht 2020), some positional games played on perturbed graphs (Clemens, Hamann, Mogge, Parczyk, 2020) and the behavior of multiple invariants e.g. fixed clique size (Bohman, Frieze, Krivelevich, Martin, 2004). In this paper we study the chromatic number of randomly augmented graphs. We concentrate on a host graph $H$ with chromatic number $o(n)$, augmented by a $G_{n,p}$ with $n^{-\frac{1}{3} + δ}\leq p(n) \leq 1-δ$ for some $δ\in (0,1)$. Our main result is an upper bound for the chromatic number: we show that asymptotically almost surely $χ(pert_{H,p}) \leq (1+o(1)) \cdot \frac{n \log(b)}{2 (\log(n) - \log(χ(H))}$ where $b = (1-p)^{-1}$. This result collapses to the famous theorem of Bollobás (1988), when $H$ is the empty host graph, thus our result can be regarded as a generalization of the latter. Our proof is not constructive. Further, we give a constructive coloring algorithm, when the chromatic number of the host graph is at most $\frac{n}{\log(n)^α},$ $α>\frac{1}{2}.$