Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A refinement of the formula for $k$-ary trees and the Gould-Vandermonde's convolution
Published in Electronic Journal of Combinatorics 15 (2008), #R52
• View Publication
• BIB
In this paper, we present an involution on some kind of colored $k$-ary trees which provides a combinatorial proof of a combinatorial sum involving the generalized Catalan numbers $C_{k,γ}(n)=\fracγ{k n+γ}{k n+γ\choose n}$. From the combinatorial sum, we refine the formula for $k$-ary trees and obtain an implicit formula for the generating function of the generalized Catalan numbers which obviously implies a Vandermonde type convolution generalized by Gould. Furthermore, we also obtain a combinatorial sum involving a vector generalization of the Catalan numbers by an extension of our involution.
Strongly chordal digraphs and $Γ$-free matrices
We define strongly chordal digraphs, which generalize strongly chordal graphs and chordal bipartite graphs, and are included in the class of chordal digraphs. They correspond to square 0,1 matrices that admit a simultaneous row and column permutation avoiding the Γ matrix. In general, it is not clear if these digraphs can be recognized in polynomial time, and we focus on symmetric digraphs (i.e., graphs with possible loops), tournaments with possible loops, and balanced digraphs. In each of these cases we give a polynomial-time recognition algorithm and a forbidden induced subgraph characterization. We also discuss an algorithm for minimum general dominating set in strongly chordal graphs with possible loops, extending and unifying similar algorithms for strongly chordal graphs and chordal bipartite graphs.
Generating infinite digraphs by derangements
Published
• View Publication
• BIB
A set $\mathcal{S}$ of derangements (fixed-point-free permutations) of a set $V$ generates a digraph with vertex set $V$ and arcs $(x,x^σ)$ for $x\in V$ and $σ\in\mathcal{S}$. We address the problem of characterising those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in earlier work by the second and third authors. A criterion is given for derangement generation which resembles the criterion given by De Bruijn and Erdős for vertex colourings of graphs in that the property for an infinite digraph is determined by properties of its finite sub-digraphs. The derangement generation property for a digraph is linked with the existence of a finite $1$-factor cover for an associated bipartite (undirected) graph.
On a Theorem of Lovász that $\hom(\cdot, H)$ Determines the Isomorphism Type of $H$
Published
• View Publication
• BIB
Graph homomorphism has been an important research topic since its introduction [17]. Stated in the language of binary relational structures in that paper [17], Lovász proved a fundamental theorem that, for a graph $H$ given by its $0$-$1$ valued adjacency matrix, the graph homomorphism function $G \mapsto \hom(G, H)$ determines the isomorphism type of $H$. In the past 50 years various extensions have been proved by many researchers [18, 12, 1, 23, 21]. These extend the basic $0$-$1$ case to admit vertex and edge weights; but these extensions all have some restrictions such as all vertex weights must be positive. In this paper we prove a general form of this theorem where H can have arbitrary vertex and edge weights. A noteworthy aspect is that we prove this by a surprisingly simple and unified argument. This bypasses various technical obstacles and unifies and extends all previous known versions of this theorem on graphs. The constructive proof of our theorem can be used to make various complexity dichotomy theorems for graph homomorphism effective in the following sense: it provides an algorithm that for any $H$ either outputs a P-time algorithm solving $\hom(\cdot, H)$ or a P-time reduction from a canonical #P-hard problem to $\hom(\cdot, H)$.
A graph-theoretic approach to Wilf's conjecture
Published
• View Publication
• BIB
Let S $\subseteq$ N be a numerical semigroup with multiplicity m = min(S \ {0}) and conductor c = max(N \ S) + 1. Let P be the set of primitive elements of S, and let L be the set of elements of S which are smaller than c. A longstand-ing open question by Wilf in 1978 asks whether the inequality |P||L| $\ge$ c always holds. Among many partial results, Wilf's conjecture has been shown to hold in case |P| $\ge$ m/2 by Sammartano in 2012. Using graph theory in an essential way, we extend the verification of Wilf's conjecture to the case |P| $\ge$ m/3. This case covers more than 99.999% of numerical semigroups of genus g $\le$ 45.
On Domination Coloring in Graphs
A domination coloring of a graph $G$ is a proper vertex coloring of $G$ such that each vertex of $G$ dominates at least one color class, and each color class is dominated by at least one vertex. The minimum number of colors among all domination colorings is called the domination chromatic number, denoted by $χ_{dd}(G)$. In this paper, we study the complexity of this problem by proving its NP-Completeness for arbitrary graphs, and give general bounds and characterizations on several classes of graphs. We also show the relation between dominator chromatic number $χ_{d}(G)$, dominated chromatic number $χ_{dom}(G)$, chromatic number $χ(G)$, and domination number $γ(G)$. We present several results on graphs with $χ_{dd}(G)=χ(G)$.
Counting finite-dimensional algebras over finite fields
Published
• View Publication
• BIB
In this paper, we describe an elementary method for counting the number of non-isomorphic algebras of a fixed dimension over a given finite field. We show how this method works for the explicit example of $2$-dimensional algebras over the field $\mathbb{F}_{2}$.
Correlation for permutations
Published
• View Publication
• BIB
In this note we investigate correlation inequalities for `up-sets' of permutations, in the spirit of the Harris--Kleitman inequality. We focus on two well-studied partial orders on $S_n$, giving rise to differing notions of up-sets. Our first result shows that, under the strong Bruhat order on $S_n$, up-sets are positively correlated (in the Harris--Kleitman sense). Thus, for example, for a (uniformly) random permutation $π$, the event that no point is displaced by more than a fixed distance $d$ and the event that $π$ is the product of at most $k$ adjacent transpositions are positively correlated. In contrast, under the weak Bruhat order we show that this completely fails: surprisingly, there are two up-sets each of measure $1/2$ whose intersection has arbitrarily small measure.
We also prove analogous correlation results for a class of non-uniform measures, which includes the Mallows measures. Some applications and open problems are discussed.
On dynamic random graphs with degree homogenization via anti-preferential attachment probabilities
Published in Physica D: Nonlinear Phenomena, Vol. 414, art. 132689, 2020
• View Publication
• BIB
We analyze a dynamic random undirected graph in which newly added vertices are connected to those already present in the graph either using, with probability $p$, an anti-preferential attachment mechanism or, with probability $1-p$, a preferential attachment mechanism. We derive the asymptotic degree distribution in the general case and study the asymptotic behaviour of the expected degree process in the general and that of the degree process in the pure anti-preferential attachment case. Degree homogenization mainly affects convergence rates for the former case and also the limiting degree distribution in the latter.
Coefficients of Wronskian Hermite polynomials
Published in Studies in Applied Mathematics 144 (2020), 245-288
• View Publication
• BIB
We study Wronskians of Hermite polynomials labelled by partitions and use the combinatorial concepts of cores and quotients to derive explicit expressions for their coefficients. These coefficients can be expressed in terms of the characters of irreducible representations of the symmetric group, and also in terms of hook lengths. Further, we derive the asymptotic behaviour of the Wronskian Hermite polynomials when the length of the core tends to infinity, while fixing the quotient. Via this combinatorial setting, we obtain in a natural way the generalization of the correspondence between Hermite and Laguerre polynomials to Wronskian Hermite polynomials and Wronskians involving Laguerre polynomials. Lastly, we generalize most of our results to polynomials that have zeros on the $p$-star.
Maximum Bipartite Subgraph of Geometric Intersection Graphs
Published
• View Publication
• BIB
We study the Maximum Bipartite Subgraph (MBS) problem, which is defined as follows. Given a set $S$ of $n$ geometric objects in the plane, we want to compute a maximum-size subset $S'\subseteq S$ such that the intersection graph of the objects in $S'$ is bipartite. We first give a simple $O(n)$-time algorithm that solves the MBS problem on a set of $n$ intervals. We also give an $O(n^2)$-time algorithm that computes a near-optimal solution for the problem on circular-arc graphs. We show that the MBS problem is NP-hard on geometric graphs for which the maximum independent set is NP-hard (hence, it is NP-hard even on unit squares and unit disks). On the other hand, we give a PTAS for the problem on unit squares and unit disks. Moreover, we show fast approximation algorithms with small-constant factors for the problem on unit squares, unit disks and unit-height rectangles. Finally, we study a closely related geometric problem, called Maximum Triangle-free Subgraph (TFS), where the objective is the same as that of MBS except the intersection graph induced by the set $S'$ needs to be triangle-free only (instead of being bipartite).
Divisibility of the central binomial coefficient $\binom{2n}{n}$
Published in Trans. Amer. Math. Soc. 374 (2021), 923-953
• View Publication
• BIB
We show that for every fixed $\ell\in\mathbb{N}$, the set of $n$ with $n^\ell|\binom{2n}{n}$ has a positive asymptotic density $c_\ell$, and we give an asymptotic formula for $c_\ell$ as $\ell\to \infty$. We also show that $\# \{n\le x, (n,\binom{2n}{n})=1 \} \sim cx/\log x$ for some constant $c$. One novelty is a method to capture the effect of large prime factors of integers in general sequences.
On the Non-Adaptive Zero-Error Capacity of the Discrete Memoryless Two-Way Channel
Published
• View Publication
• BIB
We study the problem of communicating over a discrete memoryless two-way channel using non-adaptive schemes, under a zero probability of error criterion. We derive single-letter inner and outer bounds for the zero-error capacity region, based on random coding, linear programming, linear codes, and the asymptotic spectrum of graphs. Among others, we provide a single-letter outer bound based on a combination of Shannon's vanishing-error capacity region and a two-way analogue of the linear programming bound for point-to-point channels, which in contrast to the one-way case, is generally better than both. Moreover, we establish an outer bound for the zero-error capacity region of a two-way channel via the asymptotic spectrum of graphs and show that this bound could be achieved for certain cases.
Tilings of hexagons with a removed triad of bowties
Published
• View Publication
• BIB
In this paper we consider arbitrary hexagons on the triangular lattice with three arbitrary bowtie-shaped holes, whose centers form an equilateral triangle. The number of lozenge tilings of such general regions is not expected --- and indeed is not --- given by a simple product formula. However, when considering a certain natural normalized counterpart of any such region, we prove that the ratio between the number of tilings of the original and the number of tilings of the normalized region is given by a simple, conceptual product formula. Several seemingly unrelated previous results from the literature --- including Lai's formula for hexagons with three dents and Ciucu and Krattenthaler's formula for hexagons with a removed shamrock --- follow as immediate consequences of our result.
Edge-fault-tolerant strong Menger edge connectivity of bubble-sort star graphs
Published
• View Publication
• BIB
The connectivity and edge connectivity of interconnection network determine the fault tolerance of the network. An interconnection network is usually viewed as a connected graph, where vertex corresponds processor and edge corresponds link between two distinct processors. Given a connected graph $G$ with vertex set $V(G)$ and edge set $E(G)$, if for any two distinct vertices $u,v\in V(G)$, there exist $\min\{d_G(u),d_G(v)\}$ edge-disjoint paths between $u$ and $v$, then $G$ is strongly Menger edge connected. Let $m$ be an integer with $m\geq1$. If $G-F_e$ remains strongly Menger edge connected for any $F_e\subseteq E(G)$ with $|F_e|\leq m$, then $G$ is $m$-edge-fault-tolerant strongly Menger edge connected. If $G-F_e$ is strongly Menger edge connected for any $F_e\subseteq E(G)$ with $|F_e|\leq m$ and $δ(G-F_e)\geq2$, then $G$ is $m$-conditional edge-fault-tolerant strongly Menger edge connected. In this paper, we consider the $n$-dimensional bubble-sort star graph $BS_n$. We show that $BS_n$ is $(2n-5)$-edge-fault-tolerant strongly Menger edge connected for $n\geq3$ and $(6n-17)$-conditional edge-fault-tolerant strongly Menger edge connected for $n\geq4$. Moreover, we give some examples to show that our results are optimal.
Fractional Isomorphism of Graphons
We work out the theory of fractional isomorphism of graphons as a generalization to the classical theory of fractional isomorphism of finite graphs. The generalization is given in terms of homomorphism densities of finite trees and it is characterized in terms of distributions on iterated degree measures, Markov operators, weak isomorphism of a conditional expectation with respect to invariant sub-$σ$-algebras and isomorphism of certain quotients of given graphons.
High symmetric n-polygons
The present article includes the enumeration of $n$-polygons with a certain symmetry property: For an even number $n$ of vertices, we count the $n$-polygons with $\frac{n}{2}$ symmetry axes. In addition, if $n$ is a power of 2, we show the relation to the perfect numbers.
Further Results on the Pseudo-$L_{g}(s)$ Association Scheme with $g\geq 3$, $s\geq g+2$
It is inevitable that the $L_{g}(s)$ association scheme with $g\geq 3, s\geq g+2$ is a pseudo-$L_{g}(s)$ association scheme. On the contrary, although $s^2$ treatments of the pseudo-$L_{g}(s)$ association scheme can form one $L_{g}(s)$ association scheme, it is not always an $L_{g}(s)$ association scheme. Mainly because the set of cardinality $s$, which contains two first-associates treatments of the pseudo-$L_{g}(s)$ association scheme, is non-unique. Whether the order $s$ of a Latin square $\mathbf{L}$ is a prime power or not, the paper proposes two new conditions in order to extend a $POL(s,w)$ containing $\mathbf{L}$. It has been known that a $POL(s,w)$ can be extended to a $POL(s,s-1)$ so long as Bruck's \cite{brh} condition $s\geq \frac{(s-1-w)^4-2(s-1-w)^3+2(s-1-w)^2+(s-1-w)}{2}$ is satisfied, Bruck's condition will be completely improved through utilizing six properties of the $L_{w+2}(s)$ association scheme in this paper. Several examples are given to elucidate the application of our results.
Minimum status, matching and domination of graphs
Published
• View Publication
• BIB
The minimum status of a graph is the minimum of statuses of all vertices of this graph. We give a sharp upper bound for the minimum status of a connected graph with fixed order and matching number (domination number, respectively), and characterize the unique trees achieving the bound. We also determine the unique tree such that its minimum status is as small as possible when order and matching number (domination number, respectively) are fixed.
Counting weighted independent sets beyond the permanent
Published in SIAM Journal on Discrete Mathematics 35-2 (2021), 1503-1524
• View Publication
• BIB
Jerrum, Sinclair and Vigoda (2004) showed that the permanent of any square matrix can be estimated in polynomial time. This computation can be viewed as approximating the partition function of edge-weighted matchings in a bipartite graph. Equivalently, this may be viewed as approximating the partition function of vertex-weighted independent sets in the line graph of a bipartite graph. Line graphs of bipartite graphs are perfect graphs, and are known to be precisely the class of (claw, diamond, odd hole)-free graphs. So how far does the result of Jerrum, Sinclair and Vigoda extend? We first show that it extends to (claw, odd hole)-free graphs, and then show that it extends to the even larger class of (fork, odd hole)-free graphs. Our techniques are based on graph decompositions, which have been the focus of much recent work in structural graph theory, and on structural results of Chvatal and Sbihi (1988), Maffray and Reed (1999) and Lozin and Milanic (2008).