Showing 20 papers (Total: 82901 papers, 47900 authors in database)
The annihilation number does not bound the 2-domination number from the above
The $2$-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $S\subseteq V(G)$ such that every vertex from $V(G)\setminus S$ is adjacent to at least two vertices in $S$. The annihilation number $a(G)$ is the largest integer $k$ such that the sum of the first $k$ terms of the non-decreasing degree sequence of $G$ is at most the number of its edges. It was conjectured that $γ_2(G) \leq a(G) +1$ holds for every connected graph $G$. The conjecture was earlier confirmed, in particular, for graphs of minimum degree $3$, for trees, and for block graphs. In this paper, we disprove the conjecture by proving that the $2$-domination number can be arbitrarily larger than the annihilation number. On the positive side we prove the conjectured bound for a large subclass of bipartite, connected cacti, thus generalizing a result of Jakovac from [Discrete Appl.\ Math.\ 260 (2019) 178--187].
Relation between the number of leaves of a tree and its diameter
Let $L(n,d)$ denote the minimum possible number of leaves in a tree of order $n$ and diameter $d.$ In 1975 Lesniak gave the lower bound
$B(n,d)=\lceil 2(n-1)/d\rceil$ for $L(n,d).$ When $d$ is even, $B(n,d)=L(n,d).$ But when $d$ is odd, $B(n,d)$ is smaller than $L(n,d)$ in general.
For example, $B(21,3)=14$ while $L(21,3)=19.$ We prove that for $d\ge 2,$
$ L(n,d)=\left\lceil \frac{2(n-1)}{d}\right\rceil$ if $d$ is even and $L(n,d)=\left\lceil \frac{2(n-2)}{d-1}\right\rceil$ if $d$ is odd.
The converse problem is also considered. Let $D(n,f)$ be the minimum possible diameter of a tree of order $n$ with exactly $f$ leaves.
We prove that $D(n,f)=2$ if $n=f+1,$ $D(n,f)=2k+1$ if $n=kf+2,$ and $D(n,f)=2k+2$ if $kf+3\le n\le (k+1)f+1.$
Random generation with cycle type restrictions
Published
• View Publication
• BIB
We study random generation in the symmetric group when cycle type restrictions are imposed. Given $π, π' \in S_n$, we prove that $π$ and a random conjugate of $π'$ are likely to generate at least $A_n$ provided only that $π$ and $π'$ have not too many fixed points and not too many $2$-cycles. As an application, we investigate the following question: For which positive integers $m$ should we expect two random elements of order $m$ to generate $A_n$? Among other things, we give a positive answer for any $m$ having any divisor $d$ in the range $3 \leq d \leq o(n^{1/2})$.
On the topology of bi-cyclopermutohedra
Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.
Combinatorics and structure of Hecke-Kiselman algebras
Published
• View Publication
• BIB
Hecke-Kiselman monoids $\textrm{HK}_Θ$ and their algebras $K[\textrm{HK}_Θ]$, over a field $K$, associated to finite oriented graphs $Θ$ are studied. In the case $Θ$ is a cycle of length $n\geqslant 3$, a hierarchy of certain unexpected structures of matrix type is discovered within the monoid $C_n=\textrm{HK}_Θ$ and it is used to describe the structure and the properties of the algebra $K[C_n]$. In particular, it is shown that $K[C_n]$ is a right and left Noetherian algebra, while it has been known that it is a PI-algebra of Gelfand-Kirillov dimension one. This is used to characterize all Noetherian algebras $K[\textrm{HK}_Θ]$ in terms of the graphs $Θ$. The strategy of our approach is based on the crucial role played by submonoids of the form $C_n$ in combinatorics and structure of arbitrary Hecke-Kiselman monoids $\textrm{HK}_Θ$.
An elementary proof of a matrix tree theorem for directed graphs
We present an elementary proof of a generalization of Kirchoff's matrix tree theorem to directed, weighted graphs. The proof is based on a specific factorization of the Laplacian matrices associated to the graphs, which only involves the two incidence matrices that capture the graph's topology. We also point out how this result can be used to calculate principal eigenvectors of the Laplacian matrices.
On the Geometry of Holmsen's Combinatorial Version of the Colorful Carathéodory
Carathéodorys Theorem of convex hulls plays an important role in convex geometry. In 1982, Bárány formulated and proved a more general version, called the Colorful Carathéodory. This colorful version was even more generalized by Holmsen in 2016. He formulated a combinatorial extension and found a topological proof. Taking a dual point of view we gain an equivalent formulation of Holmsen's result that has a more geometric meaning.
Products of stabilizing representations
We study representation stability in the sense of Church and Farb. We show that products of stabilizing Sn -representations fulfill certain recursive relations which can be described by a new class of difference operators.
On embedding degree sequences
Assume that we are given two graphic sequences, $π_1$ and $π_2$. We consider conditions for $π_1$ and $π_2$ which guarantee that there exists a simple graph $G_2$ realizing $π_2$ such that $G_2$ is the subgraph of any simple graph $G_1$ that realizes $π_1$.
Preferential attachment without vertex growth: emergence of the giant component
Published in Annals of Applied Probability 31 (2021), 1523-1547
• View Publication
• BIB
We study the following preferential attachment variant of the classical Erdos-Renyi random graph process. Starting with an empty graph on n vertices, new edges are added one-by-one, and each time an edge is chosen with probability roughly proportional to the product of the current degrees of its endpoints (note that the vertex set is fixed). We determine the asymptotic size of the giant component in the supercritical phase, confirming a conjecture of Pittel from 2010. Our proof uses a simple method: we condition on the vertex degrees (of a multigraph variant), and use known results for the configuration model.
A note on unitary Cayley graphs of matrix algebras
Dariush Kiani et al.\cite{kiani2015unitary} claim to have found the unitary Cayley graph $Cay(M_{n}(F),GL_{n}(F))$ of matrix algebras over finite field $F$ is strongly regular only when $n=2$, but they have only considered two special cases, namely when $n = 2$ and $3$ and have failed to cover the general cases. In this paper, we prove that the unitary Cayley graph of matrix algebras over finite field $F$ is strongly regular if and only if $n=2$.
Classifying SL$_2$-tilings
Published
• View Publication
• BIB
Recently there has been significant progress in classifying integer friezes and $\text{SL}_2$-tilings. Typically, combinatorial methods are employed, involving triangulations of regions and inventive counting techniques. Here we develop a unified approach to such classifications using the tessellation of the hyperbolic plane by ideal triangles induced by the Farey graph. We demonstrate that the geometric, numeric and combinatorial properties of the Farey graph are perfectly suited to classifying tame $\text{SL}_2$-tilings, positive integer $\text{SL}_2$-tilings, and tame integer friezes -- both finite and infinite. In so doing, we obtain geometric analogues of certain known combinatorial models for tilings involving triangulations, and we prove several new results of a similar type too. For instance, we determine those bi-infinite sequences of positive integers that are the quiddity sequence of some positive infinite frieze, and we give a simple combinatorial model for classifying tame integer friezes, which generalises the classical construction of Conway and Coxeter for positive integer friezes.
Degree lists and connectedness are $3$-reconstructible for graphs with at least seven vertices
The $k$-deck of a graph is the multiset of its subgraphs induced by $k$ vertices. A graph or graph property is $l$-reconstructible if it is determined by the deck of subgraphs obtained by deleting $l$ vertices. We show that the degree list of an $n$-vertex graph is $3$-reconstructible when $n\ge7$, and the threshold on $n$ is sharp. Using this result, we show that when $n\ge7$ the $(n-3)$-deck also determines whether an $n$-vertex graph is connected; this is also sharp. These results extend the results of Chernyak and Manvel, respectively, that the degree list and connectedness are $2$-reconstructible when $n\ge6$, which are also sharp.
Every planar graph with $Δ\geqslant 8$ is totally $(Δ+2)$-choosable
Total coloring is a variant of edge coloring where both vertices and edges are to be colored. A graph is totally $k$-choosable if for any list assignment of $k$ colors to each vertex and each edge, we can extract a proper total coloring. In this setting, a graph of maximum degree $Δ$ needs at least $Δ+1$ colors. In the planar case, Borodin proved in 1989 that $Δ+2$ colors suffice when $Δ$ is at least 9. We show that this bound also holds when $Δ$ is $8$.
The Lifting Properties of A-Homotopy Theory
In classical homotopy theory, two spaces are homotopy equivalent if one space can be continuously deformed into the other. This theory, however, does not respect the discrete nature of graphs. For this reason, a discrete homotopy theory that recognizes the difference between the vertices and edges of a graph was invented, called A-homotopy theory [1-5]. In classical homotopy theory, covering spaces and lifting properties are often used to compute the fundamental group of the circle. In this paper, we develop the lifting properties for A-homotopy theory. Using a covering graph and these lifting properties, we compute the fundamental group of the 5-cycle, giving an alternate approach to [4].
Mutation of type $D$ friezes
In this article we study mutation of friezes of type $D$. We provide a combinatorial formula for the entries in a frieze after mutation. The two main ingredients in the proof include a certain transformation of a type $D$ frieze into a sub pattern of a frieze of type $A$ and the mutation formula for type $A$ friezes recently found by Baur et al.
The strong circular law: a combinatorial view
Let $N_n$ be an $n\times n$ complex random matrix, each of whose entries is an independent copy of a centered complex random variable $z$ with finite non-zero variance $σ^{2}$. The strong circular law, proved by Tao and Vu, states that almost surely, as $n\to \infty$, the empirical spectral distribution of $N_n/(σ\sqrt{n})$ converges to the uniform distribution on the unit disc in $\mathbb{C}$.
A crucial ingredient in the proof of Tao and Vu, which uses deep ideas from additive combinatorics, is controlling the lower tail of the least singular value of the random matrix $xI - N_{n}/(σ\sqrt{n})$ (where $x\in \mathbb{C}$ is fixed) with failure probability that is inverse polynomial. In this paper, using a simple and novel approach (in particular, not using tools from additive combinatorics or any net arguments), we show that for any fixed matrix $M$ with operator norm at most $n^{0.51}$ and for all $η\geq 0$, $$\Pr\left(s_n(M+N_n) \leq η\right) \lesssim n^{C}η+ \exp(-n^{c}),$$ where $s_n(M+N_n)$ is the least singular value of $M+N_n$ and $C,c$ are absolute constants. Our result is optimal up to the constants $C,c$ and the inverse exponential-type error rate improves upon the inverse polynomial error rate due to Tao and Vu.
During the course of our proof, we extend the solution of the counting problem in inverse Littlewood-Offord theory, recently isolated by the author along with Ferber, Luh, and Samotij, from Rademacher variables to general complex random variables. This significantly improves on estimates for this problem obtained using the optimal inverse Littlewood-Offord theorem of Nguyen and Vu, and may be of independent interest.
Polynomial Roth theorems on sets of fractional dimensions
Let $E\subset \mathbb{R}$ be a closed set of Hausdorff dimension $α\in (0, 1)$. Let $P: \mathbb{R}\to \mathbb{R}$ be a polynomial without a constant term whose degree is bigger than one. We prove that if $E$ supports a probability measure satisfying certain dimension condition and Fourier decay condition, then $E$ contains three points $x, x+t, x+P(t)$ for some $t>0$. Our result extends the one of Laba and the third author to the polynomial setting, under the same assumption. It also gives an affirmative answer to a question in Henriot, Laba and the third author.
Self-avoiding walk on the complete graph
There is an extensive literature concerning self-avoiding walk on infinite graphs, but the subject is relatively undeveloped on finite graphs. The purpose of this paper is to elucidate the phase transition for self-avoiding walk on the simplest finite graph: the complete graph. We make the elementary observation that the susceptibility of the self-avoiding walk on the complete graph is given exactly in terms of the incomplete gamma function. The known asymptotic behaviour of the incomplete gamma function then yields a complete description of the finite-size scaling of the self-avoiding walk on the complete graph. As a basic example, we compute the limiting distribution of the length of a self-avoiding walk on the complete graph, in subcritical, critical, and supercritical regimes. This provides a prototype for more complex unsolved problems such as the self-avoiding walk on the hypercube or on a high-dimensional torus.
A survey of recent developments on Hessenberg varieties
This article surveys recent developments on Hessenberg varieties, emphasizing some of the rich connections of their cohomology and combinatorics. In particular, we will see how hyperplane arrangements, representations of symmetric groups, and Stanley's chromatic symmetric functions are related to the cohomology rings of Hessenberg varieties. We also include several other topics on Hessenberg varieties to cover recent developments.