Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Upper bounds on the odd graceful chromatic number of graphs
We obtain several new upper bounds of the odd graceful chromatic number of a graph $G$, which must be bipartite. Some of our bounds depend only on the number of the vertices of $G$ or the chromatic number of some graphs related to the bipartition of $G$.
On nut graphs with two vertex and three edge orbits
Nut graphs are graphs whose adjacency matrix is singular with one-dimensional null space spanned by a vector with no zero entries. In a recent paper, Bašić, Fowler and Pisanski proved that the automorphism group of a nut graph has more orbits on the edge set than on the vertex set. They classified all orders for which a vertex-transitive nut graph with precisely two edge orbits exists, and conjectured that a nut graph with two vertex and three edge orbits exists for each non-prime order $n \ge 9$. Motivated by this conjecture, we introduce a very general construction that provides graphs with the desired symmetry properties, and we determine some sufficient spectral and structural conditions under which they are nut graphs. The construction yields infinite families of examples and confirms the above conjecture for all odd non-prime orders up to $2\,500$ and for at least $99.8$ percent of all odd non-prime orders up to a million. Finally, we present some additional interesting examples of nut graphs with two vertex and three edge orbits that do not arise from this construction.
Characterisations and Structural Properties of Pure n-Simplicial Trees
This paper extends the concept of trees in graphs to the context of pure n-simplicial complexes by generalising the notion of paths and cycles (in graphs). We introduce and study these higher-dimensional analogues of trees known as pure n-simplicial trees. Our main result is to establish the equivalence between pure n-simplicial trees and the (m, n)-trees introduced by Dewdney in 1974 when m = n - 1, thereby extending and improving his original characterisation. We also disprove two conjectures proposed by Dewdney in 1974 by providing counterexamples, and we present a refined version of the conjecture with an added condition, along with a rigorous proof. Our results contribute to the theoretical knowledge of higher-dimensional trees and their structural properties.
A note on the recursive computation of the bracket polynomial for closed 4-tangles
Given a 4-tangle shadow, we concatenate it with itself n times and form a knot by applying a closure operation that connects each top endpoint to the corresponding bottom endpoint on the same side without introducing any crossings. We then compute the Kauffman bracket polynomial for the resulting knot using a states matrix defined with respect to the basis of the Kauffman 4-strand diagram monoid.
Hilbert-Kunz multiplicity of quadrics via Ehrhart theory
We show that the Hilbert-Kunz multiplicity of the d-dimensional non-degenerate quadric hypersurface of characteristic p > 2 is a rational function of p composed from the Ehrhart polynomials of integer polytopes. In consequence, we prove that the Hilbert-Kunz multiplicity of quadrics of fixed characteristic is a decreasing function of dimension and recover results of Trivedi and Gessel-Monsky on the behaviour of said Hilbert-Kunz multiplicity as a function of characteristic.
Arithmetic properties of $t$-Schur overpartitions
In a recent work, Nadji and Ahmia introduced the $t$-Schur overpartitions as an overpartition analogue for $t$-Schur partitions, which generalizes the classical Schur's partitions into parts congruent to $1$ or $5$ modulo $6$. We continue the study of this new class of overpartitions and prove several arithmetic results for the cases $t=3,9$ and $t$ being a power of $2$ or a power of $3$.
Perturbation of dense graphs
In the past two decades, various properties of randomly perturbed/augmented (hyper)graphs have been intensively studied, since the model was introduced by Bohman, Frieze and Martin in 2003. The model usually considers a deterministic graph $G$ with minimum degree condition, perturbed/augmented by a binomial random graph $G(n,p)$ on the same vertex set. In this paper, we show that for many problems of finding spanning subgraphs, one can indeed relax the minimum degree condition to a density condition. This includes the embedding problem for $F$-factors when $F$ is not a forest, graphs with bounded maximum degree, $r$-th power of $k$-uniform tight Hamilton cycles for $r,k\ge 2$, and $k$-uniform Hamilton $\ell$-cycles for $\ell\in[2,k-1]$. These results strengthen the results of Balogh, Treglown, and Wagner, of Böttcher, Montgomery, Parczyk, and Person, and of Chang, Han and Thoma.
State Transfer on Unitary Cayley Graphs and Quadratic Unitary Cayley Graphs
The unitary Cayley graph, denoted $X_n$, is the graph with vertex set ${\mathbb{Z}}_n$ such that two distinct vertices $a$ and $b$ are adjacent if $a-b=u$ for some $u$ with $1 \leq u \leq n-1$ and $\gcd(u,n) = 1$. The quadratic unitary Cayley graph, denoted $G_n$, is the graph with vertex set ${\mathbb{Z}}_n$ such that two distinct vertices $a$ and $b$ are adjacent if $a-b=u^2$ or $a-b=-u^2$ for some $u$ with $1 \leq u \leq n-1$ and $\gcd(u,n) = 1$. In this paper, we classify all $X_n$ admitting pretty good fractional. We also classify all $X_n$ that admit fractional revival. It turns out that $X_n$ admits fractional revival if and only if it admits pretty good fractional revival. Further, we classify all $G_n$ admitting periodicity. As a consequence, we obtain all $G_n$ admitting perfect state transfer. We also classify $G_n$ admitting pretty good state transfer, pretty good fractional revival and fractional revival.
On the Parameterized Complexity of Grundy Domination and Zero Forcing Problems
We consider two different problem families that deal with domination in graphs. On the one hand, we focus on dominating sequences. In such a sequence, every vertex dominates some vertex of the graph that was not dominated by any earlier vertex in the sequence. The problem of finding the longest dominating sequence is known as $\mathsf{Grundy~Domination}$. Depending on whether the closed or the open neighborhoods are used for domination, there are three other versions of this problem: $\mathsf{Grundy~Total~Domination}$, $\mathsf{L\text{-}Grundy~Domination}$, and $\mathsf{Z\text{-}Grundy~Domination}$. We show that all four problem variants are $\mathsf{W[1]}$-complete when parameterized by the solution size.
On the other hand, we consider the family of zero forcing problems which form the parametric duals of the Grundy domination problems. In these problems, one looks for the smallest set of vertices initially colored blue such that certain color change rules are able to color all other vertices blue. Bhyravarapu et al. [IWOCA 2025] showed that the dual of $\mathsf{Z\text{-}Grundy~Domination}$, known as $\mathsf{Zero~Forcing~Set}$, is in $\mathsf{FPT}$ when parameterized by the treewidth or the solution size. We extend their treewidth result to the other three variants of zero forcing and their respective Grundy domination problems. Our algorithm also implies an $\mathsf{FPT}$ algorithm for $\mathsf{Grundy~Domination}$ when parameterized by the number of vertices that are not in the dominating sequence. In contrast, we show that $\mathsf{L\text{-}Grundy~Domination}$ is $\mathsf{W[1]}$-hard for that parameter.
Estimates on the number of rational solutions of Markoff-Hurwitz equations over finite fields
Let $N$ denote the number of solutions to the generalized Markoff-Hurwitz-type equation \[(a_1X_1^m+\cdots + a_nX_n^m+a)^k=bX_1\cdots X_n \] over the finite field $\mathbb{F}_q$, where $m,k$ are positive integers, and $a,b,a_i\in \mathbb{F}_q^*$ for $i=1,\dots, n$, with $k,m\ge 2$ and $n\ge 3$. Using techniques from algebraic geometry, we provide an estimate for $N$ and establish conditions under which the equation admits solutions where all $X_i$ are nonzero.
Symbolic Constraints in Polyhedral Enclosure and Tetrahedral Decomposition in Genus-0 Polyhedra
I present a coordinate-free, symbolic framework for determining whether a given set of polygonal faces can form a closed, genus-zero polyhedral surface and for predicting admissible internal tetrahedral decompositions consistent with incidence constraints. The method uses only discrete combinatorial variables, such as the number of tetrahedra T, internal gluing triangles Ni, and internal triangulation segments Si, and applies feasibility checks prior to any geometric embedding. For polyhedra in normal form, I record exact incidence identities linking V, E, and F to a flatness parameter S defined as the sum over faces of (degree minus three), and identify parity-sensitive extremal behavior in E, F, and S arising from minimal vertex-degree constraints. These external identities and parity-dependent bounds hold for genus-zero polyhedral graphs under standard simplicity and connectivity assumptions. For internal quantities, I prove exact relations Ni = 2T - V + 2 and T - Ni + Si = 1, and derive restricted linear ranges for tetrahedral decompositions in normal form with no interior vertices. Together, these results yield a symbolic workflow for rapid pre-screening of combinatorially impossible configurations, reducing reliance on costly geometric validation in computational geometry, graphics, and automated modeling.
On Graham's rearrangement conjecture over $\mathbb{F}_2^n$
A sequence $s_1,s_2,\ldots, s_k$ of elements of a group $G$ is called a valid ordering if the partial products $s_1, s_1 s_2, \ldots, s_1\cdots s_k$ are all distinct. A long-standing problem in combinatorial group theory asks whether, for a given group $G$, every subset $S \subseteq G\setminus \{\mathrm{id}\}$ admits a valid ordering; the instance of the additive group $\mathbb{F}_p$ is the content of a well-known 1971 conjecture of Graham. Most partial progress to date has concerned the edge cases where either $S$ or $G \setminus S$ is quite small. Our main result is an essentially complete resolution of the problem for $G=\mathbb{F}_2^n$: we show that there is an absolute constant $C>0$ such that every subset $S\subseteq \mathbb{F}_2^n \setminus \{0\}$ of size at least $C$ admits a valid ordering. Our proof combines techniques from additive and probabilistic combinatorics, including the Freiman--Ruzsa theorem and the absorption method.
Along the way, we also solve the general problem for moderately large subsets: there is a constant $c>0$ such that for every group $G$ (not necessarily abelian), every subset $S \subseteq G\setminus \{\mathrm{id}\}$ of size at least $|G|^{1-c}$ admits a valid ordering. Previous work in this direction concerned only sets of size at least $(1-o(1))|G|$. A main ingredient in our proof is a structural result, similar in spirit to the Arithmetic Regularity Lemma, showing that every Cayley graph can be efficiently decomposed into mildly quasirandom components.
Proving it is impossible; on Erdős problem $\# 278$
Erdős asked many mathematical questions. Some lead to exciting research, others turned out to be easily solved. In this article, we provide evidence that one of his questions, Erdős problem \#278 , has no general answer. We do so by relating it with a hard knapsack problem instance,and by demonstrating that different, non-equivalent formulas arise depending on the structure of the moduli.
Flipping odd matchings in geometric and combinatorial settings
We study the problem of reconfiguring odd matchings, that is, matchings that cover all but a single vertex. Our reconfiguration operation is a so-called flip where the unmatched vertex of the first matching gets matched, while consequently another vertex becomes unmatched. We consider two distinct settings: the geometric setting, in which the vertices are points embedded in the plane and all occurring odd matchings are crossing-free, and a combinatorial setting, in which we consider odd matchings in general graphs.
For the latter setting, we provide a complete polynomial time checkable characterization of graphs in which any two odd matchings can be reconfigured into each another. This complements the previously known result that the flip graph is always connected in the geometric setting [Aichholzer, Brötzner, Perz, and Schnider. Flips in odd matchings]. In the combinatorial setting, we prove that the diameter of the flip graph, if connected, is linear in the number of vertices. Furthermore, we establish that deciding whether there exists a flip sequence of length $k$ transforming one given matching into another is NP-complete in both the combinatorial and the geometric settings. To prove the latter, we introduce a framework that allows us to transform partial order types into general position with only polynomial overhead. Finally, we demonstrate that when parameterized by the flip distance $k$, the problem is fixed-parameter tractable (FPT) in the geometric setting when restricted to convex point sets.
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.
A convex polyhedron without Rupert's property
A three-dimensional convex body is said to have Rupert's property if its copy can be passed through a straight hole inside that body. In this work we construct a polyhedron which is provably not Rupert, thus we disprove a conjecture from 2017. We also find a polyhedron that is Rupert but not locally Rupert.
Zero-free sector of the Wronski map on the totally nonnegative Grassmannian
A classical result states that if $f(z)$ is a polynomial of degree at most $n$ with nonnegative coefficients, then $f(z)$ has no zeros in the sector $|\arg(z)| < \fracπ{n}$ of the complex plane, and the bound $\fracπ{n}$ is tight. Motivated by the Shapiro--Shapiro conjecture and related problems in real Schubert calculus, we generalize this result to Wronskians of polynomials. Namely, let $f_1(z), \dots, f_k(z)$ be linearly independent polynomials of degree at most $n$ whose coefficient matrix has all nonnegative $k\times k$ minors (that is, the polynomials span an element of the totally nonnegative Grassmannian in the sense of Lusztig and Postnikov). We show that the Wronskian polynomial $\operatorname{Wr}(f_1, \dots, f_k)$ has no complex zeros in the sector $|\arg(z)| < \fracπ{n}$ (independent of $k$), and the bound $\fracπ{n}$ is tight. Our proof uses classical results of Gantmakher and Krein (1950) and Obreschkoff (1923) on sign variation.
Alternating odd cycles and orientations of Kneser-like graphs
We call an oriented odd cycle alternating if it has exactly one vertex whose in-degree and out-degree are both positive. In this paper, we investigate whether certain graphs admit an orientation that avoids alternating odd cycles as subgraphs, or one in which all their shortest odd cycles become alternating. Our focus is on topologically $χ$-chromatic graphs, that is, graphs for which the topological method yields a sharp lower bound on the chromatic number. We present results for several graph families, including Kneser graphs, Schrijver graphs, and generalized Mycielski graphs.
Cycles of Length 4 or 8 in Graphs with Diameter 2 and Minimum Degree at Least 3
In this short note it is shown that every graph of diameter 2 and minimum degree at least 3 contains a cycle of length 4 or 8. This result contributes to the study of the Erdős-Gyárfás Conjecture by confirming it for the class of diameter-2 graphs.
Strong binding numbers and factors
Let $G$ be a simple graph. The $k$-th neighborhood of a vertex subset $S \subseteq V(G)$, denoted $Λ^k(S)$, is the set of vertices that are adjacent to at least $k$ vertices in $S$. The $k$-th binding number $β^k(G)$ is defined as the minimum ratio $|Λ^k(S)|/|S|$ over all subsets $S \subseteq V(G)$ with $|S| \ge k$ and $Λ^k(S) \ne V(G)$. This parameter generalizes the classical binding number introduced by Woodall. Andersen showed that the condition $β^1(G) \ge 1$ does not guarantee the existence of a $1$-factor in $G$, while Barát et al. proved that $β^2(G) \ge 1$ suffices for the existence of a $2$-factor. In this paper, we extend this result to general $k \ge 2$ by showing that any graph $G$ with even $k|V(G)|$ and $β^k(G) \ge 1$ contains a $k$-factor. Moreover, if $G$ is additionally a split graph of even order, then it admits a $(k+1)$-factor. We also prove that any graph $G$ with $β^k(G) \ge 1$ contains at least $k-1$ disjoint perfect or near-perfect matchings. Finally, for any bipartite graph $G$ with bipartition $(X, Y)$, we introduce an analogue of the $k$-th binding number and show that, under the condition $β^k(G, X) \ge 1$, the graph admits $k$ disjoint matchings, each covering $X$.