Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Extremal number of arborescences
Published
• View Publication
• BIB
In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices.
In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament.
We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.
On the connection between coordinate and diagonal arrangement complements
Published
• View Publication
• BIB
We study diagonal arrangement complements $D(K)$ in $\mathbb{C}^m$. We consider the class of simplicial complexes $K$ in which any two missing faces have a common vertex, and prove that the coordinate arrangement complement $U(K)$ is the double suspension of the diagonal arrangement complement $D(K)$. In the case of subspace arrangements in $\mathbb{R}^m$ the coordinate arrangement complement $U_{\mathbb{R}}(K)$ is the single suspension of $D_{\mathbb{R}}(K)$.
Number of Eulerian orientations for Benjamini--Schramm convergent graph sequences
For a graph $G$ let $\varepsilon(G)$ denote the number of Eulerian orientations, and $v(G)$ denote the number of vertices of $G$. We show that if $(G_n)_n$ is a sequence of Eulerian graphs that are convergent in Benjamini--Schramm sense, then $\lim\limits_{n\to \infty}\frac{1}{v(G_n)}\ln \varepsilon(G_n)$ is convergent.
Interval edge-colorings of Cartesian products of graphs II
Published
• View Publication
• BIB
An \emph{interval $t$-coloring} of a graph $G$ is a proper edge-coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors. A graph $G$ is called \emph{interval colorable} if it has an interval $t$-coloring for some positive integer $t$. Let $\mathfrak{N}$ be the set of all interval colorable graphs. For a graph $G\in \mathfrak{N}$, we denote by $w(G)$ and $W(G)$ the minimum and maximum number of colors in an interval coloring of a graph $G$, respectively. In this paper we present some new sharp bounds on $W(G\square H)$ for graphs $G$ and $H$ satisfying various conditions. In particular, we show that if $G,H\in \mathfrak{N}$ and $H$ is an $r$-regular graph, then $W(G\square H)\geq W(G)+W(H)+r$. We also derive a new upper bound on $W(G)$ for interval colorable connected graphs with additional distance conditions. Based on these bounds, we improve known lower and upper bounds on $W(C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}})$ for $k$-dimensional tori $C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}}$ and on $W(K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}})$ for Hamming graphs $K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}}$, and these new bounds coincide with each other for hypercubes. Finally, we give several results on interval colorings of Fibonacci cubes $Γ_{n}$.
Canonical labelling of sparse random graphs
We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.
The Distinguishing Index of Mycielskian Graphs
The distinguishing index gives a measure of symmetry in a graph. Given a graph $G$ with no $K_2$ component, a distinguishing edge coloring is a coloring of the edges of $G$ such that no non-trivial automorphism preserves the edge coloring. The distinguishing index, denoted $\operatorname{Dist^{\prime}}(G)$, is the smallest number of colors needed for a distinguishing edge coloring. The Mycielskian of a graph $G$, denoted $μ(G)$, is an extension of $G$ introduced by Mycielski in 1955. In 2020, Alikhani and Soltani conjectured a relationship between $operatorname{Dist^{\prime}}(G)$ and $operatorname{Dist^{\prime}}(μ(G))$. We prove that for all graphs $G$ with at least 3 vertices, no connected $K_2$ component, and at most one isolated vertex, $\operatorname{Dist^{\prime}}(μ(G)) \le \operatorname{Dist^{\prime}}(G)$, exceeding their conjecture. We also prove analogous results about generalized Mycielskian graphs. Together with the work in 2022 of Boutin, Cockburn, Keough, Loeb, Perry, and Rombach this completes the conjecture of Alikhani and Soltani.
A Linear Lower Bound for the Square Energy of Graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ with eigenvalues $λ_1 \geq \cdots \geqλ_n$. Let \[s^+(G)=\sum_{λ_i>0} λ_i^2, \qquad s^-(G)=\sum_{λ_i<0} λ_i^2.\] The smaller value, $s(G)=\min\{s^+(G), s^-(G)\}$ is called the \emph{square energy} of $G$. In 2016, Elphick, Farber, Goldberg and Wocjan conjectured that for every connected graph $G$ of order $n$, $s(G)\geq n-1.$ No linear bound for $s(G)$ in terms of $n$ is known. Let $H_1, \ldots, H_k$ be disjoint vertex-induced subgraphs of $G$. In this note, we prove that \[s^+(G)\geq\sum_{i=1}^{k} s^+(H_i) \quad \text{ and } \quad s^-(G)\geq\sum_{i=1}^{k} s^-(H_i),\] which implies that $s(G)\geq \frac{3n}{4}$ for every connected graph $G$ of order $n\ge 4$.
A bounded diameter strengthening of Kőnig's Theorem
Published
• View Publication
• BIB
K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H onig's theorem is that in every $2$-colouring of the edges of a graph $G$, the number of monochromatic components needed to cover the vertex set of $G$ is at most the independence number of $G$.
We prove the following strengthening of K\H onig's theorem: In every $2$-colouring of the edges of a graph $G$, the number of monochromatic subgraphs of bounded diameter needed to cover the vertex set of $G$ is at most the independence number of $G$.
On Chip-Firing on Undirected Binary Trees
Published
• View Publication
• BIB
Chip-firing is a combinatorial game played on an undirected graph in which we place chips on vertices. We study chip-firing on an infinite binary tree in which we add a self-loop to the root to ensure each vertex has degree 3. A vertex can fire if the number of chips placed on it is at least its degree. In our case, a vertex can fire if it has at least 3 chips, and it fires by dispersing $1$ chip to each neighbor. Motivated by a 2023 paper by Musiker and Nguyen on this setting of chip-firing, we give an upper bound for the number of stable configurations when we place $2^\ell - 1$ labeled chips at the root. When starting with $N$ chips at the root where $N$ is a positive integer, we determine the number of times each vertex fires when $N$ is not necessarily of the form $2^\ell - 1$. We also calculate the total number of fires in this case.
The ring of stable characters over $\text{GL}_\bullet(q)$
For a fixed prime power $q$, let $\text{GL}_\bullet(q)$ denote the family of groups $\text{GL}_N(q)$ for $N \in \mathbb{Z}_{\geq 0}$. In this paper we study the $\mathbb{C}$-algebra of "stable" class functions of $\text{GL}_\bullet(q)$, and show it admits four different linear bases, each arising naturally in different settings. One such basis is that of stable irreducible characters, namely, the class functions spanned by the characters corresponding to finitely generated simple $\mathrm{VI}$-modules in the sense of [arXiv:1408.3694,arXiv:1602.00654]. A second one comes from characters of parabolic representations. The final two, one originally defined in [arXiv:1803.04155] and the other in [arXiv:2110.11099], are more combinatorial in nature. As corollaries, we clarify many properties of these four bases and prove a conjecture from [arXiv:2106.11587].
A new class of magic positive Ehrhart polynomials of reflexive polytopes
The magic positivity of Ehrhart polynomials is a useful tool for proving the real-rootedness of the $h^\ast$-polynomials. In this paper, we provide a new class of reflexive polytopes whose Ehrhart polynomials are magic positive. First, we prove that the Ehrhart polynomials of Stasheff polytopes are magic positive. Second, we provide a partial proof of the magic positivity of the Ehrhart polynomials of the dual polytopes of the symmetric edge polytopes of cycles.
The 2-domination number of cylindrical graphs
Published in Comp. Appl. Math. 41, 424 (2022)
• View Publication
• BIB
A vertex subset S of a graph G is said to 2-dominate the graph if each vertex not in S has at least two neighbors in it. As usual, the associated parameter is the minimum cardinal of a 2-dominating set, which is called the 2-domination number of the graph G. We present both lower and upper bounds of the 2-domination number of cylinders, which are the Cartesian products of a path and a cycle. These bounds allow us to compute the exact value of the 2-domination number of cylinders where the path is arbitrary, and the order of the cycle is n $\equiv$ 0(mod 3) and as large as desired. In the case of the lower bound, we adapt the technique of the wasted domination to this parameter and we use the so-called tropical matrix product to obtain the desired bound. Moreover, we provide a regular patterned construction of a minimum 2-dominating set in the cylinders having the mentioned cycle order.
On generic 3-rigidity of graphs
We give a necessary condition of generic 3 -rigidity of graphs relying on partitioning the edges into 3 subsets; such that each subset-pair gives a generically 2-rigid graph, either by themselves or after an appropriate edge-deletion. Notably, as pointed out by Dewar and Gallet, the condition is still not sufficient.
Flag complex face structures and decompositions
One of the most common and effective methods of obtaining structural information on simplicial complexes is to use tools from algebraic geometry/commutative algebra (often motivated by properties of toric varieties). However, there is no general algebro-geometric description of components of the gamma vector holding for arbitary flag simplicial spheres. This invariant occurs in many different contexts including permutation statistics, signatures of toric varieties, and Euler characteristics of nonpositively curved piecewise Euclidean manifolds. Combinatorial methods resulting from an explicit inverted Chebyshev expansion give rise to new positivity properties and cell complex structures that are of interest in their own right. Note that the focus is on the $f$-vector rather than the $h$-vector in ``algebraic'' settings. For flag simplicial spheres $Δ$, the fact that $h(Δ) = f(Γ)$ and compatibility between Chebyshev expansions and a modification of the $f$-polynomial by work of Hetyei are the key inputs. In the main formula implying new positivity results, local structures of $CAT(0)$ complexes and cubical analogues of barycentric subdivisions give deeper connections with cubical complex structures complementing earlier work related to the top gamma vector component. Afterwards, we return to the motivating example of barycentric subdivisions and consider how $f$-vectors of Cohen--Macaulay and vertex decomposable flag complexes in geometric settings decompose and interact with geometric transformations. This includes subdivisions of simplicial complexes and recursive properties they share with vertex decomposable flag complexes.
A variant of the Erdős-Gyárfás problem for $K_8$
Published
• View Publication
• BIB
Recently, Alon initiated the study of graph codes and their linear variants in analogy to the study of error correcting codes in theoretical computer science. Alon related the maximum density of a linear graph code which avoids images of a small graph $H$ to the following variant of the Erdős-Gyárfás problem on edge-colourings of $K_n$. A copy of $H$ in an edge-colouring of $K_n$ is even-chromatic if each colour occupies an even number of edges in the copy. We seek an edge-colouring of $K_n$ using $n^{o(1)}$ colours such that there are no even-chromatic copies of $H$. Such an edge-colouring is conjectured to exist for all cliques $K_t$ with an even number of edges. To date, edge-colourings satisfying this property have been constructed for $K_4$ and $K_5$.
We construct an edge-colouring using $n^{o(1)}$ colours which avoids even-chromatic copies of $K_8$. This was the smallest open case of the above conjecture, as $K_6, K_7$ each has an odd number of edges. We also study a stronger condition on edge-colourings, where for each copy of $H$, there is a colour occupying exactly one edge in the copy. We conjecture that an edge-colouring using $n^{o(1)}$ colours and satisfying this stronger requirement exists for all cliques $K_t$ regardless of the parity of the number of its edges. We construct edge-colourings satisfying this stronger property for $K_4$ and $K_5$. These constructions also improve upon the number of colours needed for the original problem of avoiding even-chromatic copies of $K_4$ and $K_5$.
Expander estimates for cubes
If $\mathscr A$ is a set of natural numbers of exponential density $δ$, then the exponential density of all numbers of the form $x^3+a$ with $x\in\mathbb N$ and $a\in\mathscr A$ is at least $\min(1, \frac 13+\frac 56 δ)$. This is a considerable improvement on the previous best lower bounds for this problem, obtained by Davenport more than 80 years ago. The result is the best possible for $δ\ge \frac 45$.
Concentration of information on discrete groups
Published
• View Publication
• BIB
Motivated by the Asymptotic Equipartition Property and its recently discovered role in the cutoff phenomenon, we initiate the systematic study of varentropy on discrete groups. Our main result is an approximate tensorization inequality which asserts that the varentropy of any conjugacy-invariant random walk is, up to a universal multiplicative constant, at most that of the free Abelian random walk with the same jump rates. In particular, it is always bounded by the number d of generators, uniformly in time and in the size of the group. This universal estimate is sharp and can be seen as a discrete analogue of a celebrated result of Bobkov and Madiman concerning random d-dimensional vectors with a log-concave density (AOP 2011). A key ingredient in our proof is the fact that conjugacy-invariant random walks have non-negative Bakry-Émery curvature, a result which seems new and of independent interest.
Symmetrizations of quadratic and hermitian forms
Published
• View Publication
• BIB
The paper develops elementary linear algebra methods to compute the determinants of the tensor symmetrizations of quadratic and hermitian forms over fields of good characteristic. Explicit results are given for the partitions $(n)$, $(1^n)$, $(2,1^{n-2})$ and $(3,1^{n-3})$ as well as for all partitions of $n\leq 7$. For orthogonal groups these symmetrizations are not irreducible and we continue to find the determinants of their irreducible constituents, the refined symmetrizations, over fields of characteristic 0.
Enumerating all geodesics
By "geodesic" we mean any sequence of vertices $(v_1,v_2,...,v_k)$ of a graph $G$ that constitute a shortest path from $v_1$ to $v_k$. We propose a novel, natural algorithm to enumerate all geodesics of $G$, and pit it (using Mathematica) against the standard procedure for the task. The distance matrix $D(G)$ plays a crucial role in this. In fact, part of our article is devoted to survey its many uses in related tasks.
Combinatorial interpretation of the Schlesinger-Zudilin stuffle product
Published
• View Publication
• BIB
We derive an explicit formula for the quasi--shuffle product satisfied by Schlesinger--Zudilin Multiple~$q$-Zeta Values, expressed in terms of partition data. To achieve this, we interpret Schlesinger--Zudilin Multiple~$q$-Zeta Values as generating series of distinguished marked partitions, which are partitions whose Young diagrams have certain rows and columns marked. Together with the description of duality using marked partitions in~\cite{Br2}, and Bachmanns conjecture~(\cite{BaTalk}) that all linear relations among Multiple~$q$-Zeta Values are implied by duality and the stuffle product, this paper completes the description of the conjectural structure of Multiple~$q$-Zeta Values using marked partitions.