Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Combinatorial analysis of growth models for series-parallel networks
We give combinatorial descriptions of two stochastic growth models for series-parallel networks introduced by Hosam Mahmoud by encoding the growth process via recursive tree structures. Using decompositions of the tree structures and applying analytic combinatorics methods allows a study of quantities in the corresponding series-parallel networks. For both models we obtain limiting distribution results for the degree of the poles and the length of a random source-to-sink path, and furthermore we get asymptotic results for the expected number of source-to-sink paths.
Information Recovery in Shuffled Graphs via Graph Matching
Published
• View Publication
• BIB
While many multiple graph inference methodologies operate under the implicit assumption that an explicit vertex correspondence is known across the vertex sets of the graphs, in practice these correspondences may only be partially or errorfully known. Herein, we provide an information theoretic foundation for understanding the practical impact that errorfully observed vertex correspondences can have on subsequent inference, and the capacity of graph matching methods to recover the lost vertex alignment and inferential performance. Working in the correlated stochastic blockmodel setting, we establish a duality between the loss of mutual information due to an errorfully observed vertex correspondence and the ability of graph matching algorithms to recover the true correspondence across graphs. In the process, we establish a phase transition for graph matchability in terms of the correlation across graphs, and we conjecture the analogous phase transition for the relative information loss due to shuffling vertex labels. We demonstrate the practical effect that graph shuffling---and matching---can have on subsequent inference, with examples from two sample graph hypothesis testing and joint spectral graph clustering.
Some Explicit Formulas for Sums Involving the Binomial Coefficients with the Falling Factorial
Spivey presented a new approach to evaluate combinatorial sums by using finite differences. We present some closed forms for sums involving the binomial coefficients, Fibonacci and Lucas numbers in terms of the falling factorial.
On the subword complexity of the fixed point of $a \rightarrow aab$, $b \rightarrow b$, and generalizations
We find an explicit closed form for the subword complexity of the infinite fixed point of the morphism sending $a \rightarrow aab$ and $b \rightarrow b$. This morphism is then generalized in three different ways, and we find similar explicit expressions for the subword complexity of the generalizations.
A zonotope and a product of two simplices with disconnected flip graphs
Published
• View Publication
• BIB
We give an example of a three-dimensional zonotope whose set of tight zonotopal tilings is not connected by flips. Using this, we show that the set of triangulations of $Δ^4 \times Δ^n$ is not connected by flips for large $n$. Our proof makes use of a non-explicit probabilistic construction.
Bounds on the connected forcing number of a graph
Published
• View Publication
• BIB
In this paper, we study (zero) forcing sets which induce connected subgraphs of a graph. The minimum cardinality of such a set is called the connected forcing number of the graph. We provide sharp upper and lower bounds on the connected forcing number in terms of the minimum degree, maximum degree, girth, and order of the graph.
Partial Covering Arrays: Algorithms and Asymptotics
Published
• View Publication
• BIB
A covering array $\mathsf{CA}(N;t,k,v)$ is an $N\times k$ array with entries in $\{1, 2, \ldots , v\}$, for which every $N\times t$ subarray contains each $t$-tuple of $\{1, 2, \ldots , v\}^t$ among its rows. Covering arrays find application in interaction testing, including software and hardware testing, advanced materials development, and biological systems. A central question is to determine or bound $\mathsf{CAN}(t,k,v)$, the minimum number $N$ of rows of a $\mathsf{CA}(N;t,k,v)$. The well known bound $\mathsf{CAN}(t,k,v)=O((t-1)v^t\log k)$ is not too far from being asymptotically optimal. Sensible relaxations of the covering requirement arise when (1) the set $\{1, 2, \ldots , v\}^t$ need only be contained among the rows of at least $(1-ε)\binom{k}{t}$ of the $N\times t$ subarrays and (2) the rows of every $N\times t$ subarray need only contain a (large) subset of $\{1, 2, \ldots , v\}^t$. In this paper, using probabilistic methods, significant improvements on the covering array upper bound are established for both relaxations, and for the conjunction of the two. In each case, a randomized algorithm constructs such arrays in expected polynomial time.
On the roots of total domination polynomial of graphs
Published
• View Publication
• BIB
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. In this paper, we study roots of total domination polynomial of some graphs. We show that all roots of $D_t(G, x)$ lie in the circle with center $(-1, 0)$ and the radius $\sqrt[δ]{2^n-1}$, where $δ$ is the minimum degree of $G$. As a consequence we prove that if $δ\geq \frac{2n}{3}$, then every integer root of $D_t(G, x)$ lies in the set $\{-3,-2,-1,0\}$.
Nesting statistics in the O(n) loop model on random planar maps
Published in Commun. Math. Phys. 404, 1125-1229 (2023)
• View Publication
• BIB
In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the general O(n) loop model, we show that these generating series satisfy functional relations obtained by a modification of those satisfied by the unrefined generating series. In a more specific O(n) model where loops cross only triangles and have a bending energy, we explicitly compute the refined generating series. We analyse their non generic critical behavior in the dense and dilute phases, and obtain the large deviations function of the nesting distribution, which is expected to be universal. Using the framework of Liouville quantum gravity (LQG), we show that a rigorous functional KPZ relation can be applied to the multifractal spectrum of extreme nesting in the conformal loop ensemble (CLE) in the Euclidean unit disk, as obtained by Miller, Watson and Wilson, or to its natural generalisation to the Riemann sphere. It allows us to recover the large deviations results obtained for the critical O(n) random planar map models. This offers, at the refined level of large deviations theory, a rigorous check of the fundamental fact that the universal scaling limits of random planar map models as weighted by partition functions of critical statistical models are given by LQG random surfaces decorated by independent CLEs.
Edge Cut Domination, Irredundance, and Independence in Graphs
An edge dominating set $F$ of a graph $G=(V,E)$ is an \textit{edge cut dominating set} if the subgraph $\langle V,G-F \rangle$ is disconnected. The \textit{edge cut domination number} $γ_{ct}(G)$ of $G$ is the minimum cardinality of an edge cut dominating set of $G.$ In this paper we study the edge cut domination number and investigate its relationships with other parameters of graphs. We also introduce the properties edge cut irredundance and edge cut independence.
Split Domination, Independence, and Irredundance in Graphs
In 1978, Kulli and Janakiram \citep{KulliJanakiramSplit} defined the split dominating set: a dominating set $S$ of vertices in a graph $G = (V, E)$ is called {\em split dominating} if the induced subgraph $\langle V \setminus S\rangle$ is either disconnected or a $K_1$. In this paper we introduce the properties split independence and split irredundance. A set $S$ of vertices in a graph $G =(V,E)$ is called a {\em split independent set} if $S$ is independent and the induced subgraph $\langle V \setminus S \rangle$ is either disconnected or a $K_1$. A set $S$ of vertices in a graph $G = (V,E)$ is called a {\em split irredundant set} if for $u \in S$, $u$ has a private neighbor with respect to $V(S)$ and the induced subgraph $\langle V \setminus S\rangle$ is either disconnected or a $K_1$.
Sufficient Conditions for Tuza's Conjecture on Packing and Covering Triangles
Published
• View Publication
• BIB
Given a simple graph $G=(V,E)$, a subset of $E$ is called a triangle cover if it intersects each triangle of $G$. Let $ν_t(G)$ and $τ_t(G)$ denote the maximum number of pairwise edge-disjoint triangles in $G$ and the minimum cardinality of a triangle cover of $G$, respectively. Tuza conjectured in 1981 that $τ_t(G)/ν_t(G)\le2$ holds for every graph $G$. In this paper, using a hypergraph approach, we design polynomial-time combinatorial algorithms for finding small triangle covers. These algorithms imply new sufficient conditions for Tuza's conjecture on covering and packing triangles. More precisely, suppose that the set $\mathscr T_G$ of triangles covers all edges in $G$. We show that a triangle cover of $G$ with cardinality at most $2ν_t(G)$ can be found in polynomial time if one of the following conditions is satisfied: (i) $ν_t(G)/|\mathscr T_G|\ge\frac13$, (ii) $ν_t(G)/|E|\ge\frac14$, (iii) $|E|/|\mathscr T_G|\ge2$.
Keywords: Triangle cover, Triangle packing, Linear 3-uniform hypergraphs, Combinatorial algorithms
Algorithm on rainbow connection for maximal outerplanar graphs
Published
• View Publication
• BIB
In this paper, we consider rainbow connection number of maximal outerplanar graphs(MOPs) on algorithmic aspect. For the (MOP) $G$, we give sufficient conditions to guarantee that $rc(G) = diam(G).$ Moreover, we produce the graph with given diameter $d$ and give their rainbow coloring in linear time. X.Deng et al. $\cite{XD}$ give a polynomial time algorithm to compute the rainbow connection number of MOPs by the Maximal fan partition method, but only obtain a compact upper bound. J. Lauri $\cite{JL}$ proved that, for chordal outerplanar graphs given an edge-coloring, to verify whether it is rainbow connected is NP-complete under the coloring, it is so for MOPs. Therefore we construct Central-cut-spine of MOP $G,$ by which we design an algorithm to give a rainbow edge coloring with at most $2rad(G)+2+c,0\leq c\leq rad(G)-2$ colors in polynomial time.
A note on the augmented Zagreb index of cacti with fixed number of vertices and cycles
Published in Kuwait J. Sci. 43(4), (2016) 11-17
• Search Publication
Let $\mathcal{C}_{n,k}$ be the family of all cacti with $k$ cycles and $n\geq4$ vertices. In the present note, the element of the class $\mathcal{C}_{n,k}$ having minimum augmented Zagreb index ($AZI$) is characterized. Moreover, some structural properties of the graph(s) having maximum $AZI$ value over the collection $\mathcal{C}_{n,0}$, are also reported.
Edge-covers in d-interval hypergraphs
Published
• View Publication
• BIB
A d-interval hypergraph has d disjoint copies of the unit interval as its vertex set, and each edge is the union of d subintervals, one on each copy. Extending a classical result of Gallai on the case d = 1, Tardos and Kaiser used topological tools to bound the ratio between the transversal number and the matching number in such hypergraphs. We take a dual point of view, and bound the edge-covering number (namely the minimal number of edges covering the entire vertex set) in terms of a parameter expressing independence of systems of partitions of the d unit intervals. The main tool we use is an extension of the KKM theorem to products of simplices, due to Peleg. Our approach also yields a new proof of the Tardos-Kaiser result.
An inertial lower bound for the chromatic number of a graph
Published
• View Publication
• BIB
Let $χ(G$) and $χ_f(G)$ denote the chromatic and fractional chromatic numbers of a graph $G$, and let $(n^+ , n^0 , n^-)$ denote the inertia of $G$. We prove that:
\[ 1 + \max\left(\frac{n^+}{n^-} , \frac{n^-}{n^+}\right) \le χ(G) \mbox{ and conjecture that } 1 + \max\left(\frac{n^+}{n^-} , \frac{n^-}{n^+}\right) \le χ_f(G) \]
We investigate extremal graphs for these bounds and demonstrate that this inertial bound is not a lower bound for the vector chromatic number. We conclude with a discussion of asymmetry between $n^+$ and $n^-$, including some Nordhaus-Gaddum bounds for inertia.
On a conjecture of Stein
Published
• View Publication
• BIB
Stein proposed the following conjecture: if the edge set of $K_{n,n}$ is partitioned into $n$ sets, each of size $n$, then there is a partial rainbow matching of size $n-1$. He proved that there is a partial rainbow matching of size $n(1-\frac{D_n}{n!})$, where $D_n$ is the number of derangements of $[n]$. This means that there is a partial rainbow matching of size about $(1- \frac{1}{e})n$. Using a topological version of Hall's theorem we improve this bound to $\frac{2}{3}n$.
CW-resolutions of monomial ideals that are supported on face posets
Published
• View Publication
• BIB
Given a monomial ideal $I$ with minimal free resolution $\mathcal{F}$ supported in characteristic $p>0$ on a CW-complex $X$ with regular $2$-skeleton, we construct a CW-complex $Y$ that also supports~$\mathcal{F}$ and such that the face poset $P(Y)$ also supports $\mathcal{F}$ in the sense of Clark and Tchernev.
Veldkamp Spaces: From (Dynkin) Diagrams to (Pauli) Groups
Published in International Journal of Geometric Methods in Modern Physics 14 (2017) 1750080
• View Publication
• BIB
Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the diagram (for $4 \leq n \leq 7$) by particular elements of the two-qubit Pauli group establishes a bijection between the 15 elements of the group and the 15 points of the PG$(3,2)$. The bijection is such that the product of three elements lying on the same line is the identity and one also readily singles out that particular copy of the symplectic polar space $W(3,2)$ of the PG$(3,2)$ whose lines correspond to triples of mutually commuting elements of the group; in the latter case, in addition, we arrive at a unique copy of the Mermin-Peres magic square. In the case of $n=8$, a more natural labeling is that in terms of elements of the three-qubit Pauli group, furnishing a bijection between the 63 elements of the group and the 63 points of PG$(5,2)$, the latter being the maximum projective subspace of the corresponding Veldkamp space; here, the points of the distinguished PG$(3,2)$ are in a bijection with the elements of a two-qubit subgroup of the three-qubit Pauli group, yielding a three-qubit version of the Mermin-Peres square. Moreover, save for $n=4$, each Veldkamp space is also endowed with some `exceptional' point(s). Interestingly, two such points in the $n=8$ case define a unique Fano plane whose inherited three-qubit labels feature solely the Pauli matrix $Y$.
A Classification of Isomorphism-Invariant Random Digraphs
We classify isomorphism-invariant random digraphs according to where randomness resides, namely, arcs, vertices, and vertices and arcs together which in turn yield arc random digraphs (ARD), vertex random digraphs (VRD) and vertex-arc random digraphs (VARD), respectively. This digraph classification can be viewed as an extension of the classification of isomorphism-invariant random graphs. We introduce randomness in the direction of the edges of a given graph and obtain direction random digraphs (DRD) as well. We classify DRDs according to which component is random in addition to the direction and study the relations of DRDs with VARDs, VRDs and ARDs. We also consider random nearest neighbor digraphs and determine their membership with respect to these digraph families.