Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Non-crossing trees, quadrangular dissections, ternary trees, and duality preserving bijections
Published in Annals of Combinatorics, 2021 https://rdcu.be/ciQEG
• View Publication
• BIB
Using the theory of Properly Embedded Graphs developed in an earlier work we define an involutory duality on the set labeled non-crossing trees that lifts the obvious duality in the set of unlabeled non-crossing trees. The set of non-crossing trees is a free ternary magma with one generator and this duality is an instance of a duality that is defined in any such magma. Any two free ternary magmas with one generator are isomorphic via a unique isomorphism that we call the structural bijection. Besides the set of non-crossing trees we also consider as free ternary magmas with one generator the set of ternary trees, the set of quadrangular dissections, and the set of flagged Perfectly Chain Decomposed Ditrees, and we give topological and/or combinatorial interpretations of the structural bijections between them. In particular the bijection from the set of quadrangular dissections to the set of non-crossing trees seems to be new. Further we give explicit formulas for the number of self-dual labeled and unlabeled non-crossing trees and the set of quadrangular dissections up to rotations and up to rotations and reflections.
Naji's characterization of circle graphs
Published
• View Publication
• BIB
We present a simpler proof of Naji's characterization of circle graphs.
A new sum-product estimate in prime fields
Published
• View Publication
• BIB
In this paper we obtain a new sum-product estimate in prime fields. In particular, we show that if $A\subseteq \mathbb{F}_p$ satisfies $|A|\le p^{64/117}$ then $$ \max\{|A\pm A|, |AA|\} \gtrsim |A|^{39/32}. $$ Our argument builds on and improves some recent results of Shakan and Shkredov which use the eigenvalue method to reduce to estimating a fourth moment energy and the additive energy $E^+(P)$ of some subset $P\subseteq A+A$. Our main novelty comes from reducing the estimation of $E^+(P)$ to a point-plane incidence bound of Rudnev rather than a point line incidence bound of Stevens and de Zeeuw as done by Shakan and Shkredov.
Decomposable clutters and a generalization of Simon's conjectutre
Published
• View Publication
• BIB
Each (equigenerated) squarefree monomial ideal in the polynomial ring $S=\mathbb{K}[x_1, \ldots, x_n]$ represents a family of subsets of $[n]$, called a (uniform) clutter. In this paper, we introduce a class of uniform clutters, called decomposable clutters, whose associated ideal has linear quotients and hence linear resolution over all fields. We show that chordality of these clutters guarantees the correctness of a conjecture raised by R. S. Simon on extendable shellability of $d$-skeletons of a simplex $\langle [n] \rangle$, for all $d$. We then prove this conjecture for $d \geq n-3$.
Spectra, hitting times, and resistance distances of $q$-subdivision graphs
Published
• View Publication
• BIB
Graph operations or products play an important role in complex networks. In this paper, we study the properties of $q$-subdivision graphs, which have been applied to model complex networks. For a simple connected graph $G$, its $q$-subdivision graph $S_q(G)$ is obtained from $G$ through replacing every edge $uv$ in $G$ by $q$ disjoint paths of length 2, with each path having $u$ and $v$ as its ends. We derive explicit formulas for many quantities of $S_q(G)$ in terms of those corresponding to $G$, including the eigenvalues and eigenvectors of normalized adjacency matrix, two-node hitting time, Kemeny constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. We also study the properties of the iterated $q$-subdivision graphs, based on which we obtain the closed-form expressions for a family of hierarchical lattices, which has been used to describe scale-free fractal networks.
The Linking-Unlinking Game
Published in Involve 12 (2019) 1109-1141
• View Publication
• BIB
Combinatorial two-player games have recently been applied to knot theory. Examples of this include the Knotting-Unknotting Game and the Region Unknotting Game, both of which are played on knot shadows. These are turn-based games played by two players, where each player has a separate goal to achieve in order to win the game. In this paper, we introduce the Linking-Unlinking Game which is played on two-component link shadows. We then present winning strategies for the Linking-Unlinking Game played on all shadows of two-component rational tangle closures and played on a large family of general two-component link shadows.
On L-shaped point set embeddings of trees: first non-embeddable examples
An L-shaped embedding of a tree in a point set is a planar drawing of the tree where the vertices are mapped to distinct points and every edge is drawn as a sequence of two axis-aligned line segments. There has been considerable work on establishing upper bounds on the minimum cardinality of a point set to guarantee that any tree of the same size with maximum degree 4 admits an L-shaped embedding on the point set. However, no non-trivial lower bound is known to this date, i.e., no known $n$-vertex tree requires more than $n$ points to be embedded. In this paper, we present the first examples of $n$-vertex trees for $n\in\{13,14,16,17,18,19,20\}$ that require strictly more points than vertices to admit an L-shaped embedding. Moreover, using computer help, we show that every tree on $n\leq 12$ vertices admits an L-shaped embedding in every set of $n$ points. We also consider embedding ordered trees, where the cyclic order of the neighbors of each vertex in the embedding is prescribed. For this setting, we determine the smallest non-embeddable ordered tree on $n=10$ vertices, and we show that every ordered tree on $n\leq 9$ or $n=11$ vertices admits an L-shaped embedding in every set of $n$ points. We also construct an infinite family of ordered trees which do not always admit an L-shaped embedding, answering a question raised by Biedl, Chan, Derka, Jain, and Lubiw.
Hitting times and resistance distances of $q$-triangulation graphs: Accurate results and applications
Graph operations or products, such as triangulation and Kronecker product have been extensively applied to model complex networks with striking properties observed in real-world complex systems. In this paper, we study hitting times and resistance distances of $q$-triangulation graphs. For a simple connected graph $G$, its $q$-triangulation graph $R_q(G)$ is obtained from $G$ by performing the $q$-triangulation operation on $G$. That is, for every edge $uv$ in $G$, we add $q$ disjoint paths of length $2$, each having $u$ and $v$ as its ends. We first derive the eigenvalues and eigenvectors of normalized adjacency matrix of $R_q(G)$, expressing them in terms of those associated with $G$. Based on these results, we further obtain some interesting quantities about random walks and resistance distances for $R_q(G)$, including two-node hitting time, Kemeny's constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. Finally, we provide exact formulas for the aforementioned quantities of iterated $q$-triangulation graphs, using which we provide closed-form expressions for those quantities corresponding to a class of scale-free small-world graphs, which has been applied to mimic complex networks.
Waiter-Client Maximum Degree Game
For integers $n, D, q$ we define a two player perfect information game with no chance moves called the Waiter-Client Maximum Degree game. In this game, two players (Waiter and Client) play on the edges of $K_n$ as follows: in each round, Waiter offers $q+1$ edges which have not been previously offered. Client then claims one of these edges, and Waiter claims the rest. When less than $q+1$ edges which have not been offered remain, Waiter claims them all and the game ends. After the game ends, Client wins if in the graph of his edges, there is no vertex with degree at least $D$, and Waiter wins otherwise. For various values of $q = q(n)$, we study the maximum degree of Client's graph obtained by perfect play. We determine the asymptotic value of Client's maximum degree for the cases $q = o\left( \frac{n}{\ln n} \right)$ and $q = ω\left( \frac{n}{\ln n} \right)$. For the unbiased case $q=1$, we prove that when both players play perfectly the maximum degree $D$ Client achieves satisfies: $D = \frac{n}{2} + Θ(\sqrt{n \ln n})$.
On the combinatorics of exclusion in Haldane fractional statistics
This paper is a revision of the combinatorics of fractional exclusion statistics (FES). More specifically, the following exact statement of the generalized Pauli principle is derived: for an $N$-particles system exhibiting FES of extended parameter $g=q/r$ ($q$ and $r$ are co-prime integers such that $0 < q \leq r$), we found that the allowed occupation number of a state is smaller than or equal to $r-q+1$ and \emph{not} to $1/g$ whenever $q\neq 1$ and, moreover, the global occupancy shape (merely represented by a partition of $N$) is admissible if the number of states occupied by at least two particles is less than or equal to $(N-1)/r$ ($N \equiv 1 \pmod r$). These counting rules allow distinguishing infinitely many families of FES systems depending on the parameter $g$ and the size $N$. As an application of the main result, we study the probability distributions of occupancy configurations. For instance, the number of occupied states is found to be a hypergeometric random variable. Closed-form expressions for the expectation values and variances in the thermodynamic limit are presented. By way of comparison, we obtain parallel results regarding the Gentile intermediate statistics and demonstrate subtle similarities and contrasts with respect to FES.
Eigenvalues of the Laplacian on the Goldberg-Coxeter constructions for $3$- and $4$-valent graphs
Published in The Electronic Journal of Combinatorics, 26(3) (2019), #P3.7
• View Publication
• BIB
We are concerned with spectral problems of the Goldberg-Coxeter construction for $3$- and $4$-valent finite graphs. The Goldberg-Coxeter constructions $\mathrm{GC}_{k,l}(X)$ of a finite $3$- or $4$-valent graph $X$ are considered as "subdivisions" of $X$, whose number of vertices are increasing at order $O(k^2+l^2)$, nevertheless which have bounded girth. It is shown that the first (resp. the last) $o(k^2)$ eigenvalues of the combinatorial Laplacian on $\mathrm{GC}_{k,0}(X)$ tend to $0$ (resp. tend to $6$ or $8$ in the $3$- or $4$-valent case, respectively) as $k$ goes to infinity. A concrete estimate for the first several eigenvalues of $\mathrm{GC}_{k,l}(X)$ by those of $X$ is also obtained for general $k$ and $l$. It is also shown that the specific values always appear as eigenvalues of $\mathrm{GC}_{2k,0}(X)$ with large multiplicities almost independently to the structure of the initial $X$. In contrast, some dependency of the graph structure of $X$ on the multiplicity of the specific values is also studied.
Domination Mappings into the Hamming Ball: Existence, Constructions, and Algorithms
Published
• View Publication
• BIB
The Hamming ball of radius $w$ in $\{0,1\}^n$ is the set ${\cal B}(n,w)$ of all binary words of length $n$ and Hamming weight at most $w$. We consider injective mappings $\varphi: \{0,1\}^m \to {\cal B}(n,w)$ with the following domination property: every position $j \in [n]$ is dominated by some position $i \in [m]$, in the sense that "switching off" position $i$ in $x \in \{0,1\}^m$ necessarily switches off position $j$ in its image $\varphi(x)$. This property may be described more precisely in terms of a bipartite \emph{domination graph} $G = ([m] \cup [n], E)$ with no isolated vertices, for all $(i,j) \in E$ and all $x \in \{0,1\}^m$, we require that $x_i = 0$ implies $y_j = 0$, where $y = \varphi(x)$. Although such domination mappings recently found applications in the context of coding for high-performance interconnects, to the best of our knowledge, they were not previously studied.
In this paper, we begin with simple necessary conditions for the existence of an $(m,n,w)$-domination mapping $\varphi: \{0,1\}^m \to {\cal B}(n,w)$. We then provide several explicit constructions of such mappings, which show that the necessary conditions are also sufficient when $w=1$, when $w=2$ and $m$ is odd, or when $m \le 3w$. One of our main results herein is a proof that the trivial necessary condition $|{\cal B}(n,w)| \ge 2^m$ for the existence of an injection is, in fact, sufficient for the existence of an $(m,n,w)$-domination mapping whenever $m$ is sufficiently large. We also present a polynomial-time algorithm that, given any $m$, $n$, and $w$, determines whether an $(m,n,w)$-domination mapping exists for a domination graph with an equitable degree distribution.
On roots of Wiener polynomials of trees
Published
• View Publication
• BIB
The \emph{Wiener polynomial} of a connected graph $G$ is the polynomial $W(G;x) = \sum_{i=1}^{D(G)} d_i(G)x^i$ where $D(G)$ is the diameter of $G$, and $d_i(G)$ is the number of pairs of vertices at distance $i$ from each other. We examine the roots of Wiener polynomials of trees. We prove that the collection of real Wiener roots of trees is dense in $(-\infty, 0]$, and the collection of complex Wiener roots of trees is dense in $\mathbb C$. We also prove that the maximum modulus among all Wiener roots of trees of order $n \ge 31$ is between $2n-15$ and $2n-16$, and we determine the unique tree that achieves the maximum for $n \ge 31$. Finally, we find trees of arbitrarily large diameter whose Wiener roots are all real.
Polynomial Identities Implying Capparelli's Partition Theorems
Published
• View Publication
• BIB
We propose and recursively prove polynomial identities which imply Capparelli's partition theorems. We also find perfect companions to the results of Andrews, and Alladi, Andrews and Gordon involving $q$-trinomial coefficients. We follow Kurşungöz's ideas to provide direct combinatorial interpretations of some of our expressions. We use of the trinomial analogue of Bailey's lemma to derive new identities. These identities relate triple sums and products. A couple of new Slater type identities are also noted.
A combinatorial proof of the extension property for partial isometries
Published in Commentationes Mathematicae Universitatis Carolinae, vol. 60 (2019), issue 1, pp. 39-47
• View Publication
• BIB
We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.
Permutations with orders coprime to a given integer
Published
• View Publication
• BIB
Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1} \leqslant ρ(n,m) \leqslant \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1}\] where $φ$ is Euler's totient function.
On the feedback number of 3-uniform hypergraph
Let $H=(V,E)$ be a hypergraph with vertex set $V$ and edge set $E$. $S\subseteq V$ is a feedback vertex set (FVS) of $H$ if $H\setminus S$ has no cycle and $τ_c(H)$ denote the minimum cardinality of a FVS of $H$. In this paper, we prove $(i)$ if $H$ is a linear $3$-uniform hypergraph with $m$ edges, then $τ_c(H)\le m/3$. $(ii)$ if $H$ is a $3$-uniform hypergraph with $m$ edges, then $τ_c(H)\le m/2$ and furthermore, the equality holds on if and only if every component of $H$ is a $2-$cycle. Let $H=(V,E)$ be a hypergraph with vertex set $V$ and edge set $E$. $A\subseteq E$ is a feedback edge set (FES) of $H$ if $H\setminus A$ has no cycle and $τ_c'(H)$ denote the minimum cardinality of a FES of $H$. In this paper, we prove if $H$ is a $3$-uniform hypergraph with $p$ components, then $τ_c'(H)\le 2m-n+p$.
Connected Subtraction Games on Subdivided Stars
The present paper deals with connected subtraction games in graphs, which are generalization of takeaway games. In a connected subtraction game, two players alternate removing a connected sub-graph from a given connected game-graph, provided the resulting graph is connected, and provided the number of vertices of the removed subgraph belongs to a prescribed set of integers. We derive general periodicity results on such games, as well as specific results when played on subdivided stars.
Hom complexes of graphs of diameter $1$
Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by taking the $1$-skeleton of the first barycentric subdivision of $X$ and adding a loop at each vertex. This was proved by Dochtermann and Schultz in \cite{ds12}.
In this article, we give an alternate proof of this result by understanding the structure of the cells of Hom$(K_n,G_{1,X})$, where $K_n$ is the complete graph on $n$ vertices. We prove that the neighborhood complex of $G_{1,X}$ is homotopy equivalent to $X$ and Hom$(K_n,G_{1,X})\simeq $ Hom$(K_{n-1},G_{1,X})$, for each $n\geq 3$.
On a family of highly regular graphs by Brouwer, Ivanov, and Klin
Published
• View Publication
• BIB
Highly regular graphs for which not all regularities are explainable by symmetries are fascinating creatures. Some of them like, e.g., the line graph of W.~Kantor's non-classical $\mathrm{GQ}(5^2,5)$, are stumbling stones for existing implementations of graph isomorphism tests. They appear to be extremely rare and even once constructed it is difficult to prove their high regularity. Yet some of them, like the McLaughlin graph on $275$ vertices and Ivanov's graph on $256$ vertices are of profound beauty. This alone makes it an attractive goal to strive for their complete classification or, failing this, at least to get a deep understanding of them. Recently, one of the authors discovered new methods for proving high regularity of graphs. Using these techniques, in this paper we study a classical family of strongly regular graphs, originally discovered by A.E.~Brouwer, A.V.~Ivanov, and M.H.~Klin in the late 80th. We analyze their symmetries and show that they are $(3,5)$-regular but not $2$-homogeneous. Thus we promote these graphs to the distinguished club of highly regular graphs with few symmetries.