Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The generalized Zagreb index for non-plane and plane recursive trees
Published
• View Publication
• BIB
The Zagreb index, which is defined as the sum of squares of degrees of the nodes of a tree, was studied in previous works by martingale techniques for random non-plane recursive trees and classes of random trees which are close to random plane recursive trees. These techniques are not easily amended to the generalized Zagreb index, which is defined similar but with squares replaced by higher powers. In this paper, we use the moment transfer approach to (i) obtain the first-order asymptotics of moments and to (ii) prove limit laws for the (suitable normalized) generalized Zagreb index for random non-plane and plane recursive trees; for the former, we show that for all higher powers the limit law is normal, for the latter, we show for cubes and fourth powers that its a non-normal law.
Odd hypergraph Mantel theorems
A classical result of Sidorenko (1989) shows that the Turán density of every $r$-uniform hypergraph with three edges is bounded from above by $1/2$. For even $r$, this bound is tight, as demonstrated by Mantel's theorem on triangles and Frankl's theorem on expanded triangles. In this note, we prove that for odd $r$, the bound $1/2$ is never attained, thereby answering a question of Keevash and revealing a fundamental difference between hypergraphs of odd and even uniformity. Moreover, our result implies that the expanded triangles form the unique class of three-edge hypergraphs whose Turán density attains $1/2$.
The Tournament Theorem of Rédei revisited
In 1934 L. Rédei published his famous theorem that the number of Hamiltonian paths in a tournament is odd. In fact it is a corollary of a stronger theorem in his paper. Stronger theorems were also obtained in the early 1970s by G.A. Dirac in his lectures at Aarhus University and by C. Berge in his monographs on graphs and hypergraphs. We exhibit the stronger theorems of Rédei, Dirac and Berge and explain connections between them. The stronger theorem of Dirac has two corollaries, one equivalent to Rédei's stronger theorem and the other related to Berge's stronger theorem.
On covering properties of end and ray spaces
We provide new results on combinatorial characterizations of covering properties in end spaces and ray spaces. In particular, we characterize the Lindelöf degree, the extent, the Rothberger property, $σ$-compactness and the Menger property for ray, end and edge-end spaces. We show that $σ$-compactness and the Menger property are equivalent for these spaces, and that they are all $D$-spaces. As an application of some of these characterizations, we are able to provide combinatorial characterizations of graphs with countably many ends and edge-ends.
The Graded Betti Numbers of the Skeletons of Simplicial Complexes
Published
• View Publication
• BIB
In this paper, we study a class $\mathcal{C}$ of squarefree monomial ideals $I\subseteq R=\mathbb{K}[x_1,\dots,x_n]$ over a field $\mathbb{K}$, defined by the condition that $\dim R/I$ equals the maximum degree of the minimal generators of $I$ minus one. We show that the Stanley-Reisner ideal of every $i$-skeleton of a simplicial complex $Δ$ belongs to $\mathcal{C}$ for all $-1\le i<\dimΔ$. To investigate their homological properties, we introduce the notion of a degree resolution and prove that every ideal in $\mathcal{C}$ possesses this property. Moreover, we show that every squarefree monomial ideal admits a truncation whose regularity coincides with that of the original ideal, thereby reducing the study of degree resolutions to that of linear resolutions. Finally, we provide an explicit formula describing the relationship between the graded Betti numbers of a simplicial complex and those of its skeletons.
On recent Partition function of Kaur and Rana
Published
• View Publication
• BIB
Recently, Kaur and Rana introduced the partition function denoted by $ρ(n)$, where the largest part $λ$ appears exactly once, and the remaining parts constitute a partition of $λ$. In this paper, we establish new generating functions for certain variants of $ρ(n)$. Further, we obtain a linear recurrence relation for our new generating function.
The Spectral Edges Conjecture via Corners
The Spectral Edges Conjecture is a well-known and widely believed conjecture in the theory of discrete periodic operators. It states that the extrema of the dispersion relation are isolated, non-degenerate, and occur in a single band. We present two infinite families of periodic graphs which satisfy the Spectral Edges Conjecture. For each, every extremum of the dispersion relation is a corner point (point of symmetry). In fact, each spectral band function is a perfect Morse function. We also give a construction that increases dimension, while preserving that each spectral band function is a perfect Morse function.
Markov's equation is not partition regular
Published
• View Publication
• BIB
Markov's equation x^2 + y^2 + z^2 = 3xyz is a widely studied topic in number theory, and the structure of its solutions has profound connections with mathematical fields such as combinatorics, hyperbolic geometry, approximation theory, and cluster algebras. In this paper, we prove that Markov's equation is not partition regular, which also confirms a necessary condition for the Uniqueness Conjecture.
Pairs of tree dessins, their Shabat polynomials, and monodromy groups
Coverings of the Riemann sphere by itself, ramified over two points, are given by so-called Shabat polynomials. The correspondence between Grothendieck's dessins d'enfants and Belyi maps then implies a bijection between Shabat polynomials and tree dessins (bicolored plane trees). Dessins can be assigned a combinatorial invariant known as their passport, which records the degrees of their vertices. We consider all possible passports determining a pair of tree dessins, determining the associated Shabat polynomials and monodromy groups.
The $α$-representation for Tait coloring and sums over spanning trees
Published in EuroComb'25, Booklet of extended abstracts. HUN-REN Alfred Renyi Institute of Mathematics, Budapest, 2025, pp. 724-730 (https://nextcloud.renyi.hu/index.php/s/TdjSmNjDjrQEH2X, electronic version only)
• Search Publication
Consider a connected pseudograph $H$ such that each edge is associated with weight $x_e$, $x_e \in \mathbb{F}_3$; $\mathcal{T}(H)$ is the set of spanning trees of graph $H$. Assume that $s(H;{\mathbf x})=\sum_{T\in\mathcal{T}(H)} \prod_{e\in E(T)} x_e$. Let $G$ be a maximal planar graph (arbitrary planar triangulation) such that each face $F$ is assigned the value $α(F)=\pm 1 \in \mathbb{F}_3$. Then we can associate each edge with $x_e=α(F'_e)+α(F''_e)$, where $F'_e$ and $F''_e$ are the faces containing edge $e$. Let us define the value $w_G({\mathbf x})$ as $\left(\frac{s(G/W^*({\mathbf x});{\mathbf x})}3\right)/(-3)^{\left(|V(G/W^*({\mathbf x}))| - 1\right)/2}$; here $\left(\frac{x}3\right)$ is the Legendre symbol, $G/W$ is the graph with the contracted set of vertices $W$, while $W^*({\mathbf x})$ is a set of vertices $W$, $W \subseteq V(G)$, with minimal cardinality such that $s(G/W;{\mathbf x})$ differs from zero. In the following, we prove that the number of Tait colorings for graph $G$ equals the tripled sum $w_G({\mathbf x}(α))$ with respect to all possible vectors $α\in \{-1, 1\}^{\mathcal F(G)}$ such that $G/W^*({\mathbf x}(α))$ has an odd number of vertices, where $\mathcal F(G)$ is the set of faces of graph $G$. Keywords: maximal planar graph, Tait coloring, Laplace-Kirchhoff matrix, spanning tree.
Distance mutual-visibility coloring: relations with (total) domination, exact distance graphs and graph products
Published
• View Publication
• BIB
The concept of mutual-visibility (MV) has been extended in several directions. A vertex subset $S$ of a graph $G$ is a $k$-distance mutual-visibility ($k$DMV) set if for any two vertices in $S$, there is a geodesic between them of length at most $k$ whose internal vertices are not in $S$. In this paper, we combine this with the MV coloring as follows. For any integer $k\geq1$, a $k$DMV coloring of $G$ is a partition of $V(G)$ into $k$DMV sets, and the $k$DMV chromatic number $χ_{μ_k}(G)$ is the minimum cardinality of such a partition. When $k=1$ or $k\ge {\rm diam}(G)$, it equals the clique cover number $θ(G)$ or the MV chromatic number $χ_μ(G)$, respectively. So, our attention is given to $1<k<{\rm diam}(G)$ with $k=2$ producing the most interesting results. We prove that $χ_{μ_2}(G)\le|V(G)|/2$ and present large families of graphs that attain the bound. In addition, $χ_{μ_2}(G)$ is bounded from above by the total domination number $γ_t(G)$ if $G$ is isolate-free, while in graphs $G$ with girth $g(G)\geq7$, $χ_{μ_2}(G)$ is bounded from below by the domination number $γ(G)$. A surprising relation with the exact distance-2 graphs is found, which results in $θ(G^{[\natural2]})=γ_{t}(G)$ for any isolate-free graph $G$ with $g(G)\geq7$. The relation is explored further in lexicographic product graphs, where we prove the sharp inequalities $χ_{μ_{2}}(G\circ H)\leq θ(G^{[\natural2]})\leq θ\big{(}(G\circ H)^{[\natural2]}\big{)}$. We also prove a sharp lower (resp. upper) bound on $χ_{μ_2}$ (resp. $χ_{μ_k}$) for the Cartesian (resp. strong) product of two connected graphs and show that they are widely sharp. Finally, we characterize the block graphs $G$ with $χ_{μ_k}(G)=χ_μ(G)$, where $k={\rm diam}(G)-1$.
Sparse graphs and their Benjamini-Schramm limits: a spectral tour
Published
• View Publication
• BIB
Sparse graphs with bounded average degree form a rich class of discrete structures where local geometry strongly influences global behavior. The Benjamini-Schramm (BS) convergence offers a natural framework to describe their asymptotic local structure. In this note, we survey spectral aspects of BS convergence and their applications, with a focus on random Schreier graphs and covering graphs. We review some recent progress on the spectral decomposition of the local operators on graphs. We discuss the behavior of extreme eigenvalues and the growing role of strong convergence in distribution, which rules out spectral outliers. We also give a new application of strong convergence to the typical graph distance between vertices in Schreier graphs
Graph Powers of Groups II: The RA Matrix
For a graph $Γ$ and group $G$, $G^Γ$ is the subgroup of $G^{|Γ|}$ generated by elements with $g$ in the coordinates corresponding to $v$ and its neighbors in $Γ$. There is a natural epimorphism $G^Γ\to (G/[G,G])^Γ$ with kernel $[G,G]^n \cap G^Γ$. When $[G,G]^n \leq G^Γ$, the structure of $G^Γ$ is easily described from $(G/[G,G])^Γ$. Fixing $Γ$, if $[G,G]^{|Γ|} \leq G^Γ$ for all $G$, we say that $Γ$ is RA (reducible to abelian). We showed in [2] that wide classes of graphs are RA, including graphs of girth 5 or more. The key tool is the RA matrix $C_Γ$, and we showed that $Γ$ is RA if and only if the row space $Row(C_Γ) = \mathbb Z^{|Γ|}$.
Here, we study the possibilities for the elementary divisors of $C_Γ$; the more nontrivial elementary divisors we get, the further $Γ$ is from being RA (and the harder $G^Γ$ is to describe). We show that while many graphs, including those of girth 4, cartesian products, and most tensor products have at most one nontrivial elementary divisor, one can construct a graph of girth 3 with any prescribed set of elementary divisors and $\mathbb Z$-nullity.
Approximating the coefficients of the Bessel functions
For the type A, BC, and D root systems, we determine equivalent conditions between the coefficients of an exponential holomorphic function and the asymptotic values taken by the Dunkl bilinear form when one of its entries is the function. We establish these conditions over the $|θN| \rightarrow\infty$ regime for the type A and D root systems and over the $|θ_0 N|\rightarrow \infty, \frac{θ_1}{θ_0 N}\rightarrow c\in\mathbb{C}$ regime for the type BC root system. We also generalize existing equivalent conditions over the $θN \rightarrow c\in\mathbb{C}$ regime for the type A root system and over the $θ_0 N\rightarrow c_0\in\mathbb{C}, \frac{θ_1}{θ_0 N}\rightarrow c_1\in\mathbb{C}$ regime for the type BC root system and prove new equivalent conditions over the $θN \rightarrow c\in\mathbb{C}$ regime for the type D root system. Furthermore, we determine the asymptotics of the coefficients of the Bessel functions over the regimes that we have mentioned.
Graphs Excluding a Minor in Blowups of Treewidth 3 Graphs
Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] famously showed that every $n$-vertex $K_h$-minor-free graph has treewidth $O_h(\sqrt{n})$. Recently, Distel, Dujmović, Eppstein, Hickingbotham, Joret, Micek, Morin, Seweryn, and Wood [SIAM J. Discrete Math. 2024] refined this by showing that these graphs are $O_h(\sqrt{n})$-blowups of treewidth $4$ graphs. We improve this by showing that these graphs are $O_h(\sqrt{n})$-blowups of treewidth $3$ graphs.
Improved bounds for the minimum degree of minimal multicolor Ramsey graphs
We provide two novel constructions of $r$ edge-disjoint $K_{k+1}$-free graphs on the same vertex set, each of which has the property that every small induced subgraph contains a complete graph on $k$ vertices. The main novelty of our argument is the combination of an algebraic and a probabilistic coloring scheme, which utilizes the beneficial algebraic and combinatorial properties of the Hermitian unital. These constructions improve on a number of upper bounds on the smallest possible minimum degree of minimal $r$-color Ramsey graphs for the clique $K_{k+1}$ when $r\geq c\frac{k}{\log^2 k}$ and $k$ is large enough.
An algebraic approach to Latin squares of prime power order by local permutation polynomials
Every Latin square of prime power order $q$ is uniquely described by a local permutation polynomial (LPP) in the polynomial ring $\mathbb{F}_q[x,y]$. Despite this equivalence, one may find in the literature only some preliminary results on the relationship among Latin squares and LPPs. This paper delves into this topic by showing how the coefficients of any LPP are identified with the zeros of an algebraic set over $\mathbb{F}_q$. This allows for an algebraic description of all Latin squares of order $q$ by means of a unique polynomial in $\mathbb{F}_q[x,y]$, whose coefficients satisfy the constraints defined by the algebraic set under consideration. In order to make much easier the construction of this polynomial, we also deal with the natural translation to LPPs of both notions of reduced and isotopic Latin squares. Our algebraic approach is readily adapted to identify both types of Latin squares. All of the above is constructively illustrated for $q\in\{4,5\}$. We finish our study with the natural translation to LPPs of both notions of complete mappings and orthomorphisms of quasigroups, showing their relationship with transversals and isotopisms of Latin squares.
A CSP approach to Graph Sandwich Problems
Published
• View Publication
• BIB
The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$ where $E_1\subseteq E \subseteq E_2$ such that the graph $(V,E)$ belongs to $\calC$. In this paper we show that many SPs correspond to the constraint satisfaction problem (CSP) of an infinite $2$-edge-coloured graph $H$. We then notice that several known complexity results for SPs also follow from general complexity classifications of infinite-domain CSPs, suggesting a fruitful application of the theory of CSPs to complexity classifications of SPs. We strengthen this evidence by using basic tools from constraint satisfaction theory to propose new complexity results of the SP for several graph classes including line graphs of multigraphs, line graphs of bipartite multigraphs, $K_k$-free perfect graphs, and classes described by forbidding finitely many induced subgraphs, such as $\{I_4,P_4\}$-free graphs, settling an open problem of Alvarado, Dantas, and Rautenbach (2019). We also construct a graph sandwich problem which is in coNP, but neither in P nor coNP-complete (unless P = coNP).
A classification algorithm for reflexive simplices
We present a general classification algorithm for reflexive simplices, which allows us to determine all reflexive simplices in dimensions five and six. In terms of algebraic geometry this means that we classify the Gorenstein fake weighted projective spaces in dimensions five and six. As a byproduct of our methods, we obtain explicit formulae for the Picard group and the Gorenstein index of any fake weighted projective space.
Multiparty equality in the local broadcast model
Published
• View Publication
• BIB
In this paper we consider the multiparty equality problem in graphs, where every vertex of a graph $G$ is given an input, and the goal of the vertices is to decide whether all inputs are equal. We study this problem in the local broadcast model, where a message sent by a vertex is received by all its neighbors and the total cost of a protocol is the sum of the lengths of the messages sent by the vertices. This setting was studied by Khan and Vaidya, who gave in 2021 a protocol achieving a 4-approximation in the general case.
We study this multiparty communication problem through the lens of network topology. We design a new protocol for 2-connected graphs, whose efficiency relies on the notion of total vertex cover in graph theory. This protocol outperforms the aforementioned 4-approximation in a number of cases. To demonstrate its applicability, we apply it to obtain optimal or asymptotically optimal protocols for several natural network topologies such as cycles, hypercubes, and grids. On the way we also provide new bounds of independent interest on the size of total vertex covers in regular graphs.