Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Enumeration of idempotents in planar diagram monoids
Published
• View Publication
• BIB
We classify and enumerate the idempotents in several planar diagram monoids: namely, the Motzkin, Jones (a.k.a. Temperley-Lieb) and Kauffman monoids. The classification is in terms of certain vertex- and edge-coloured graphs associated to Motzkin diagrams. The enumeration is necessarily algorithmic in nature, and is based on parameters associated to cycle components of these graphs. We compare our algorithms to existing algorithms for enumerating idempotents in arbitrary (regular *-) semigroups, and give several tables of calculated values.
Distance-regular graphs with valency k having smallest eigenvalue at most -k/2
In this paper, we study the non-bipartite distance-regular graphs with valency k and having a smallest eigenvalue at most -k/2.
Proof of the Wilf-Zeilberger Conjecture for Mixed Hypergeometric Terms
Published in Journal of Symbolic Computation, vol. 93, pages 133-147, 2019
• View Publication
• BIB
In 1992, Wilf and Zeilberger conjectured that a hypergeometric term in several discrete and continuous variables is holonomic if and only if it is proper. Strictly speaking the conjecture does not hold, but it is true when reformulated properly: Payne proved a piecewise interpretation in 1997, and independently, Abramov and Petkovsek in 2002 proved a conjugate interpretation. Both results address the pure discrete case of the conjecture. In this paper we extend their work to hypergeometric terms in several discrete and continuous variables and prove the conjugate interpretation of the Wilf-Zeilberger conjecture in this mixed setting.
Averaging $2$-Rainbow Domination and Roman Domination
Published
• View Publication
• BIB
For a graph $G$, let $γ_{r2}(G)$ and $γ_R(G)$ denote the $2$-rainbow domination number and the Roman domination number, respectively. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) proved $γ_{r2}(G)+γ_R(G)\leq \frac{6}{4}n(G)$ for a connected graph $G$ of order $n(G)$ at least $3$. Furthermore, they conjectured $γ_{r2}(G)+γ_R(G)\leq \frac{4}{3}n(G)$ for a connected graph $G$ of minimum degree at least $2$ that is distinct from $C_5$. We characterize all extremal graphs for their inequality and prove their conjecture.
Relating $2$-rainbow domination to weak Roman domination
Addressing a problem posed by Chellali, Haynes, and Hedetniemi (Discrete Appl. Math. 178 (2014) 27-32) we prove $γ_{r2}(G)\leq 2γ_r(G)$ for every graph $G$, where $γ_{r2}(G)$ and $γ_r(G)$ denote the $2$-rainbow domination number and the weak Roman domination number of $G$, respectively. We characterize the extremal graphs for this inequality that are $\{ K_4,K_4-e\}$-free, and show that the recognition of the $K_5$-free extremal graphs is NP-hard.
Strong Equality of Roman and Weak Roman Domination in Trees
Published
• View Publication
• BIB
We provide a constructive characterization of the trees for which the Roman domination number strongly equals the weak Roman domination number, that is, for which every weak Roman dominating function of minimum weight is a Roman dominating function. Our characterization is based on five simple extension operations, and reveals several structural properties of these trees.
Forbidding induced even cycles in a graph: typical structure and counting
Published
• View Publication
• BIB
We determine, for all $k\geq 6$, the typical structure of graphs that do not contain an induced $2k$-cycle. This verifies a conjecture of Balogh and Butterfield. Surprisingly, the typical structure of such graphs is richer than that encountered in related results. The approach we take also yields an approximate result on the typical structure of graphs without an induced $8$-cycle or without an induced $10$-cycle.
Comments to Symmetrical Smoothing Method and First Step to How to Avoid Irrelevant Extremums
The main issues of the original Symmetrical smoothing method consists of approximation of the extremal volume of the set by the smooth symmetric function (sum of step functions) and then solve the optimization problem. when making optimization, besides symmetric solution, can occur another pretendents for the solution, which depends on $σ$. Next we show simple way how to avoid them.
Infinitely many nonsolvable groups whose Cayley graphs are hamiltonian
Published
• View Publication
• BIB
This note shows there are infinitely many finite groups G, such that every connected Cayley graph on G has a hamiltonian cycle, and G is not solvable. Specifically, for every prime p that is congruent to 1, modulo 30, we show there is a hamiltonian cycle in every connected Cayley graph on the direct product of the cyclic group of order p with the alternating group A_5 on five letters.
On the enumeration of tanglegrams and tangled chains
Published
• View Publication
• BIB
Tanglegrams are a special class of graphs appearing in applications concerning cospeciation and coevolution in biology and computer science. They are formed by identifying the leaves of two rooted binary trees. We give an explicit formula to count the number of distinct binary rooted tanglegrams with $n$ matched vertices, along with a simple asymptotic formula and an algorithm for choosing a tanglegram uniformly at random. The enumeration formula is then extended to count the number of tangled chains of binary trees of any length. This includes a new formula for the number of binary trees with $n$ leaves. We also give a conjecture for the expected number of cherries in a large randomly chosen binary tree and an extension of this conjecture to other types of trees.
Fractional Clique Decompositions of Dense Graphs and Hypergraphs
Published in J. Combin. Theory Ser. B 127 (2017), 148-186
• View Publication
• BIB
Our main result is that every graph $G$ on $n\ge 10^4r^3$ vertices with minimum degree $δ(G) \ge (1 - 1 / 10^4 r^{3/2} ) n$ has a fractional $K_r$-decomposition. Combining this result with recent work of Barber, Kühn, Lo and Osthus leads to the best known minimum degree thresholds for exact (non-fractional) $F$-decompositions for a wide class of graphs~$F$ (including large cliques). For general $k$-uniform hypergraphs, we give a short argument which shows that there exists a constant $c_k>0$ such that every $k$-uniform hypergraph $G$ on $n$ vertices with minimum codegree at least $(1- c_k /r^{2k-1}) n $ has a fractional $K^{(k)}_r$-decomposition, where $K^{(k)}_r$ is the complete $k$-uniform hypergraph on $r$ vertices. (Related fractional decomposition results for triangles have been obtained by Dross and for hypergraph cliques by Dukes as well as Yuster.) All the above new results involve purely combinatorial arguments. In particular, this yields a combinatorial proof of Wilson's theorem that every large $F$-divisible complete graph has an $F$-decomposition.
Equivariant Chow classes of matrix orbit closures
Published in Transformation groups, 2016
• View Publication
• BIB
Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is in the variety.
Identifying Codes in the Complementary Prism of Cycles
Published
• View Publication
• BIB
We show that an identifying code of minimum order in the complementary prism of a cycle of order $n$ has order $7n/9+Θ(1)$. Furthermore, we observe that the clique-width of the complementary prism of a graph of clique-width $k$ is at most $4k$, and discuss some algorithmic consequences.
Deterministic hierarchical networks
Published
• View Publication
• BIB
It has been shown that many networks associated with complex systems are small-world (they have both a large local clustering coefficient and a small diameter) and they are also scale-free (the degrees are distributed according to a power law). Moreover, these networks are very often hierarchical, as they describe the modularity of the systems that are modeled. Most of the studies for complex networks are based on stochastic methods. However, a deterministic method, with an exact determination of the main relevant parameters of the networks, has proven useful. Indeed, this approach complements and enhances the probabilistic and simulation techniques and, therefore, it provides a better understanding of the systems modeled. In this paper we find the radius, diameter, clustering coefficient and degree distribution of a generic family of deterministic hierarchical small-world scale-free networks that has been considered for modeling real-life complex systems.
Probabilistic Polynomials and Hamming Nearest Neighbors
Published
• View Publication
• BIB
We show how to compute any symmetric Boolean function on $n$ variables over any field (as well as the integers) with a probabilistic polynomial of degree $O(\sqrt{n \log(1/ε)})$ and error at most $ε$. The degree dependence on $n$ and $ε$ is optimal, matching a lower bound of Razborov (1987) and Smolensky (1987) for the MAJORITY function. The proof is constructive: a low-degree polynomial can be efficiently sampled from the distribution.
This polynomial construction is combined with other algebraic ideas to give the first subquadratic time algorithm for computing a (worst-case) batch of Hamming distances in superlogarithmic dimensions, exactly. To illustrate, let $c(n) : \mathbb{N} \rightarrow \mathbb{N}$. Suppose we are given a database $D$ of $n$ vectors in $\{0,1\}^{c(n) \log n}$ and a collection of $n$ query vectors $Q$ in the same dimension. For all $u \in Q$, we wish to compute a $v \in D$ with minimum Hamming distance from $u$. We solve this problem in $n^{2-1/O(c(n) \log^2 c(n))}$ randomized time. Hence, the problem is in "truly subquadratic" time for $O(\log n)$ dimensions, and in subquadratic time for $d = o((\log^2 n)/(\log \log n)^2)$. We apply the algorithm to computing pairs with maximum inner product, closest pair in $\ell_1$ for vectors with bounded integer entries, and pairs with maximum Jaccard coefficients.
Regularity in Weighted Graphs: A Symmetric Function Approach
Published
• View Publication
• BIB
In this note we consider $k$-regular multigraphs, where the possible edge multiplicities are controlled. These structures are considered in a question recently posed by Brendan McKay. We express the generating functions using the scalar product of symmetric functions, and consequently give conditions on when the classes are D-finite. We appeal to symmetric species results of Mendez to write the expressions in a systematic way.
Three Results on Making Change (An Exposition)
Assume you an infinite supply of pennies, nickels, dimes, and quarters (or some other finite set of denominations which are relatively prime). Let CH(n) be the number of ways to make change of n cents. We present a simple unified exposition of three know theorems about CH(n). Let M be the LCM of a1,...,aL. Let M' be the LCM of the GCD of all pairs of ai's. (1) If 0\le r\le M-1 then CH(n) restricted to n \equiv r mod M is a poly, (2) If 0\le r\le M'-1 then CH(n) restricted to n\equiv r mod M' is a poly except for the constant term, (3) CH(n) is n^{L-1}/(L-1)!a1a2...aL + O(n^{L-2}). Part (3) is known as Schur's theorem.
Permutations fixing a k-set
Published in IMRN 2016 , no. 21, 6713-6731
• View Publication
• BIB
Let $i(n,k)$ be the proportion of permutations $π\in\mathcal{S}_n$ having an invariant set of size $k$. In this note we adapt arguments of the second author to prove that $i(n,k) \asymp k^{-δ} (1+\log k)^{-3/2}$ uniformly for $1\leq k\leq n/2$, where $δ= 1 - \frac{1 + \log \log 2}{\log 2}$. As an application we show that the proportion of $π\in\mathcal{S}_n$ contained in a transitive subgroup not containing $\mathcal{A}_n$ is at least $n^{-δ+o(1)}$ if $n$ is even.
On the power graphs which are Cayley graphs of some groups
In 2013, Jemal Abawajy, Andrei Kelarev and Morshed Chowdhury [1] proposed a problem to characterize the finite groups whose power graphs are Cayley graphs of some groups. Here we give a complete answer to this question.
Boundaries of Hypertrees, and Hamiltonian Cycles in Simplicial Complexes
A $d$-hypertree on $[n]$ is a maximal acyclic $d$-dimensional simplicial complex with full $(d-1)$-skeleton on the vertex set $[n]$. Alternatively, in the language of algebraic topology, it is a minimal $d$-dimensional simplicial complex $T$ (assuming full $(d-1)$-skeleton) such that $\tilde{H}_{d-1}(T;\mathbb{F})=0$.
The $d$-hypertrees are a basic object in combinatorial theory of simplicial complexes. They have been studied; and yet, many of their structural aspects remain poorly understood.
In this paper we study the boundaries $\partial_d T$ of $d$-hypertrees, and the fundamental $d$-cycles defined by them. Our findings include:
1. A full characterization of $\partial_d T$ over $\mathbb{F}_2$ for $d \leq 2$, and some partial results for $d \geq 3$.
2. Lower bounds on the maximum size of a largest simple $d$-cycle on $[n]$. In particular, for $d=2$, we construct a {\em Hamiltonian $d$-cycle} $H$ on $[n]$, i.e., a simple $d$-cycle of size ${{n-1} \choose d} + 1$. For $d\geq 3$, we construct a simple $d$-cycle of size ${{n-1} \choose d} - O(n^{d-2})$.
3. Observing that the maximum of the expected distance between two vertices chosen uniformly at random in a tree ($1$-hypertree) on $[n]$ is at most $\thicksim n/3$, attained on Hamiltonian paths, we ask a similar question about $d$-hypertrees. "How large can be the {\em average} size of a fundamental cycle of a $d$-hypertree $T$ (i.e., the expected size of the dependency created by adding a $d$-simplex on $[n]$, chosen uniformly at random, to $T$)?" For every $d \in \mathbb{N}$, we construct an infinite family of $d$-hypertrees $\{T\}$ with the average size of a fundamental cycle at least $c_d\, |T| \,=\, c_d\,{n-1 \choose d}$, where $c_d$ is a constant depending on the dimension $d$ alone.