Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Pattern Avoidance in Poset Permutations
Published in Order, 33(2), 2016
• View Publication
• BIB
We extend the concept of pattern avoidance in permutations on a totally ordered set to pattern avoidance in permutations on partially ordered sets. The number of permutations on $P$ that avoid the pattern $π$ is denoted $Av_P(π)$. We extend a proof of Simion and Schmidt to show that $Av_P(132) \leq Av_P(123)$ for any poset $P$, and we exactly classify the posets for which equality holds.
A three shuffle case of the compositional parking function conjecture
Published
• View Publication
• BIB
We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cases all previous results connected with this conjecture such as the q, t-Catalan [3] and the Schroder and h, h results of Haglund in [12] as well as their compositional refinements recently obtained in [9] and [10]. It also confirms the possibility that the approach adopted in [9] and [10] has the potential to yield a resolution of the shuffle parking function conjecture as well as its compositional refinement more recently proposed by Haglund, Morse and Zabrocki in [15].
The inertia set of a signed graph
Published
• View Publication
• BIB
A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges are permitted, but loops are not) with $V={1,...,n}$ and $Σ\subseteq E$. By $S(G,Σ)$ we denote the set of all symmetric $V\times V$ matrices $A=[a_{i,j}]$ with $a_{i,j}<0$ if $i$ and $j$ are connected by only even edges, $a_{i,j}>0$ if $i$ and $j$ are connected by only odd edges, $a_{i,j}\in \mathbb{R}$ if $i$ and $j$ are connected by both even and odd edges, $a_{i,j}=0$ if $i\not=j$ and $i$ and $j$ are non-adjacent, and $a_{i,i} \in \mathbb{R}$ for all vertices $i$. The stable inertia set of a signed graph $(G,Σ)$ is the set of all pairs $(p,q)$ for which there exists a matrix $A\in S(G,Σ)$ with $p$ positive and $q$ negative eigenvalues which has the Strong Arnold Property. In this paper, we study the stable inertia set of (signed) graphs.
On the general position subset selection problem
Published in SIAM J. Discrete Math. 27:1727-1733, 2013
• View Publication
• BIB
Let $f(n,\ell)$ be the maximum integer such that every set of $n$ points in the plane with at most $\ell$ collinear contains a subset of $f(n,\ell)$ points with no three collinear. First we prove that if $\ell \leq O(\sqrt{n})$ then $f(n,\ell)\geq Ω(\sqrt{\frac{n}{\ln \ell}})$. Second we prove that if $\ell \leq O(n^{(1-ε)/2})$ then $f(n,\ell) \geq Ω(\sqrt{n\log_\ell n})$, which implies all previously known lower bounds on $f(n,\ell)$ and improves them when $\ell$ is not fixed. A more general problem is to consider subsets with at most $k$ collinear points in a point set with at most $\ell$ collinear. We also prove analogous results in this setting.
Generating All Minimal Edge Dominating Sets with Incremental-Polynomial Delay
Published
• View Publication
• BIB
For an arbitrary undirected simple graph G with m edges, we give an algorithm with running time O(m^4 |L|^2) to generate the set L of all minimal edge dominating sets of G. For bipartite graphs we obtain a better result; we show that their minimal edge dominating sets can be enumerated in time O(m^4 |L|). In fact our results are stronger; both algorithms generate the next minimal edge dominating set with incremental-polynomial delay O(m^5 |L|) and O(m^4 |L|) respectively, when L is the set of already generated minimal edge dominating sets. Our algorithms are tailored for and solve the equivalent problems of enumerating minimal (vertex) dominating sets of line graphs and line graphs of bipartite graphs, with incremental-polynomial delay, and consequently in output-polynomial time. Enumeration of minimal dominating sets in graphs has very recently been shown to be equivalent to enumeration of minimal transversals in hypergraphs. The question whether the minimal transversals of a hypergraph can be enumerated in output-polynomial time is a fundamental and challenging question in Output-Sensitive Enumeration; it has been open for several decades and has triggered extensive research in the field.
A probabilistic approach to consecutive pattern avoiding in permutations
Published
• View Publication
• BIB
We present a new approach to the problem of enumerating permutations of length n that avoid a fixed consecutive pattern of length m. We use this idea to give explicit upper and lower bounds on the number of permutations avoiding a pattern of length m. As a corollary, we obtain a simple proof of the CMP conjecture, regarding the most avoided pattern, recently shown by Elizalde. Finally, we also show that most of the patterns behave similar to the least avoided one.
Union-Closed vs Upward-Closed Families of Finite Sets
A finite family $\mathrsfs{F}$ of subsets of a finite set $X$ is union-closed whenever $f,g\in\mathrsfs{F}$ implies $f\cup g\in\mathrsfs{F}$. These families are well known because of Frankl's conjecture. In this paper we developed further the connection between union-closed families and upward-closed families started in Reimer (2003) using rising operators. With these techniques we are able to obtain tight lower bounds to the average of the length of the elements of $\mathrsfs{F}$ and to prove that the number of joint-irreducible elements of $\mathrsfs{F}$ can not exceed $2{n\choose \lfloor n/2\rfloor}+{n\choose \lfloor n/2\rfloor+1}$ where $|X| = n$.
Bessel polynomials, double factorials and context-free grammars
The purpose of this paper is to show that Bessel polynomials, double factorials and Catalan triangle can be generated by using context-free grammars.
Generalization of the Menger's Theorem to Simplicial Complexes and Certain Invariants of the Underlying Topological Spaces
We extend the edge version of the classical Menger's Theorem for undirected graphs to $n$-dimensional simplicial complexes with chains over the field $\mathbb{F}_2$. The classical Menger's Theorem states that two different vertices in an undirected graph can be connected by $k$ pairwise edge-disjoint paths if, and only if, after a deletion of any $k-1$ edges from the graph, there will still will exist a path connecting these two vertices. We introduce the notion of $k$-boundance of $(n-1)$-dimensional cycles in an $n$-dimensional simplicial complex over $\mathbb{F}_2$, which is a generalization of the classical notion of $k$-edge-connectivity in an undirected graph. For the case $n=1$, $k$-boundance of $0$-dimensional cycles in an undirected graph is just an extension of the classical notion of $k$-edge-connectivity of pairs of vertices, stated in the language of cycles and boundaries. Using the notion of $k$-boundance, we prove that a non-trivial $(n-1)$-dimensional cycle in an $n$-dimensional simplicial complex over $\mathbb{F}_2$ is a boundary of $k$ pairwise disjoint $n$-dimensional chains if, and only if, after a deletion of any $k-1$ $n$-dimensional simplices from that complex, there still remains some $n$-dimensional chain in it, for which this $(n-1)$-dimensional cycle is a boundary.
In our last section we restate both the original Menger's Theorem and our generalization to $k$-boundance in $n$ dimensions, in terms of the underlying topological space. Thus, $k$-edge-connectivity of a pair of points in an undirected graph is really a topological property of the corresponding pair of points in the topological space, underlying that graph. Similarly, $k$-boundance of an $(n-1)$-dimensional cycle is a topological property of the topological subspace, underlying that $(n-1)$-dimensional cycle, in the topological space, underlying the $n$-dimensional simplicial complex.
Nonhamiltonian Graphs with Given Toughness
In 1973, Chvátal introduced the concept of toughness $τ$ of a graph and constructed an infinite class of nonhamiltonian graphs with $τ=3/2$. Later Thomassen found nonhamiltonian graphs with $τ>3/2$, and Enomoto et al. constructed nonhamiltonian graphs with $τ=2-ε$ for each positive $ε$. The last result in this direction is due to Bauer, Broersma and Veldman, which states that for each positive $ε$, there exists a nonhamiltonian graph with $τ\ge 9/4-ε$. In this paper we prove that for each rational number $t$ with $0<t<9/4$, there exists a nonhamiltonian graph with $τ=t$.
Nim on hypercubes
The ordinary game of Nim has a long history and is well-known in the area of combinatorial game theory. The solution to the ordinary game of Nim has been known for many years and lends itself to numerous other solutions to combinatorial games. Nim was extended to graphs by taking a fixed graph with a playing piece on a given vertex and assigning positive integer weight to the edges that correspond to a pile of stones in the ordinary game of Nim. Players move alternately from the playing piece across incident edges, removing weight from edges as they move. This paper solves Nim on hypercubes in the unit weight case completely. We briefly discuss the arbitrary weight case and its ties to known results.
A superlocal version of Reed's Conjecture
Published
• View Publication
• BIB
Reed's well-known $ω$, $Δ$, $χ$ conjecture proposes that every graph satisfies $χ\leq \lceil \frac 12(Δ+1+ω)\rceil$. The second author formulated a {\em local strengthening} of this conjecture that considers a bound supplied by the neighbourhood of a single vertex. Following the idea that the chromatic number cannot be greatly affected by any particular stable set of vertices, we propose a further strengthening that considers a bound supplied by the neighbourhoods of two adjacent vertices. We provide some fundamental evidence in support, namely that the stronger bound holds in the fractional relaxation and holds for both quasi-line graphs and graphs with stability number two. We also conjecture that in the fractional version, we can push the locality even further.
A lift of the Schur and Hall-Littlewood bases to non-commutative symmetric functions
Published in Canadian Journal of Mathematics, 66(2014), 525-565
• View Publication
• BIB
We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to their commutative counterparts.
On the Eigenvalues of Certain Matrices Over $\mathbb{Z}_m$
Published
• View Publication
• BIB
Let $m,n>1$ be integers and $\mathbb{P}_{n,m}$ be the point set of the projective $(n-1)$-space (defined by [2]) over the ring $\mathbb{Z}_m$of integers modulo $m$. Let $A_{n,m}=(a_{uv})$ be the matrix with rows and columns being labeled by elements of $\mathbb{P}_{n,m}$, where $a_{uv}=1$ if the inner product $< u,v >=0$ and $a_{uv}=0$ otherwise. Let $B_{n,m}=A_{n,m}A_{n,m}^t$. The eigenvalues of $B_{n,m}$ have been studied by [1, 2, 3], where their applications in the study of expanders and locally decodable codes were described. In this paper, we completely determine the eigenvalues of $B_{n,m}$ for general integers $m$ and $n$.
On the minimum order of a quadrangulation on a given closed 2-manifold
A partial formula is provided to calculate the smallest number of vertices possible in a quadrangulation on the closed orientable 2-manifold of given genus. This extends the previously known partial formula due to N. Hartsfield and G. Ringel [J. Comb. Theory, Ser. B, 1989, 46, 84-95].
Zeta Functions and the Log-behavior of Combinatorial Sequences
Published
• View Publication
• BIB
In this paper, we use the Riemann zeta function $ζ(x)$ and the Bessel zeta function $ζ_μ(x)$ to study the log-behavior of combinatorial sequences. We prove that $ζ(x)$ is log-convex for $x>1$. As a consequence, we deduce that the sequence $\{|B_{2n}|/(2n)!\}_{n\geq 1}$ is log-convex, where $B_n$ is the $n$-th Bernoulli number. We introduce the function $θ(x)=(2ζ(x)Γ(x+1))^{\frac{1}{x}}$, where $Γ(x)$ is the gamma function, and we show that $\log θ(x)$ is strictly increasing for $x\geq 6$. This confirms a conjecture of Sun stating that the sequence $\{\sqrt[n] {|B_{2n}}|\}_{n\geq 1}$ is strictly increasing. Amdeberhan, Moll and Vignat defined the numbers $a_n(μ)=2^{2n+1}(n+1)!(μ+1)_nζ_μ(2n)$ and conjectured that the sequence $\{a_n(μ)\}_{n\geq 1}$ is log-convex for $μ=0$ and $μ=1$. By proving that $ζ_μ(x)$ is log-convex for $x>1$ and $μ>-1$, we show that the sequence $\{a_n(μ)\}_{n\geq 1}$ is log-convex for any $μ>-1$. We introduce another function $θ_μ(x)$ involving $ζ_μ(x)$ and the gamma function $Γ(x)$ and we show that $\log θ_μ(x)$ is strictly increasing for $x>8e(μ+2)^2$. This implies that $\sqrt[n]{a_n(μ)}<\sqrt[n+1]{a_{n+1}(μ)}$ for $n> 4e(μ+2)^2$. Based on Dobinski's formula, we prove that $\sqrt[n]{B_n}<\sqrt[n+1]{B_{n+1}}$ for $n\geq 1$, where $B_n$ is the $n$-th Bell number. This confirms another conjecture of Sun. We also establish a connection between the increasing property of $\{\sqrt[n]{B_n}\}_{n\geq 1}$ and Hölder's inequality in probability theory.
High-rate self-synchronizing codes
Published in IEEE Transactions on Information Theory 59 (2013) 2328-2335
• View Publication
• BIB
Self-synchronization under the presence of additive noise can be achieved by allocating a certain number of bits of each codeword as markers for synchronization. Difference systems of sets are combinatorial designs which specify the positions of synchronization markers in codewords in such a way that the resulting error-tolerant self-synchronizing codes may be realized as cosets of linear codes. Ideally, difference systems of sets should sacrifice as few bits as possible for a given code length, alphabet size, and error-tolerance capability. However, it seems difficult to attain optimality with respect to known bounds when the noise level is relatively low. In fact, the majority of known optimal difference systems of sets are for exceptionally noisy channels, requiring a substantial amount of bits for synchronization. To address this problem, we present constructions for difference systems of sets that allow for higher information rates while sacrificing optimality to only a small extent. Our constructions utilize optimal difference systems of sets as ingredients and, when applied carefully, generate asymptotically optimal ones with higher information rates. We also give direct constructions for optimal difference systems of sets with high information rates and error-tolerance that generate binary and ternary self-synchronizing codes.
Mixed Schur-Weyl-Sergeev duality for queer Lie superalgebras
Published
• View Publication
• BIB
We introduce a new family of superalgebras $\overrightarrow{B}_{r,s}$ for $r, s \ge 0$ such that $r+s>0$, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let $\mathfrak{q}(n)$ be the queer Lie superalgebra, ${\mathbf V} =\mathbb{C}^{n|n}$ the natural representation of $\mathfrak{q}(n)$ and ${\mathbf W}$ the dual of ${\mathbf V}$. We prove that, if $n \ge r+s$, the superalgebra $\overrightarrow{B}_{r,s}$ is isomorphic to the supercentralizer algebra $_{\mathfrak{q}(n)}({\mathbf V}^{\otimes r} \otimes {\mathbf W}^{\otimes s})^{\op}$ of the $\mathfrak{q}(n)$-action on the mixed tensor space ${\mathbf V}^{\otimes r} \otimes {\mathbf W}^{\otimes s}$. As an ingredient for the proof of our main result, we construct a new diagrammatic realization $\overrightarrow{D}_{k}$ of the Sergeev superalgebra $Ser_{k}$. Finally, we give a presentation of $\overrightarrow{B}_{r,s}$ in terms of generators and relations.
On some monotonic combinatorial sequences conjectures
Here we prove some conjectures on the monotony of combinatorial sequences from the recent preprint of Zhi--Wei Sun.
On the length of a random minimum spanning tree
Published in Combinator. Probab. Comp. 25 (2016) 89-107
• View Publication
• BIB
We study the expected value of the length $L_n$ of the minimum spanning tree of the complete graph $K_n$ when each edge $e$ is given an independent uniform $[0,1]$ edge weight. We sharpen the result of Frieze \cite{F1} that $\lim_{n\to\infty}\E(L_n)=\z(3)$ and show that $\E(L_n)=\z(3)+\frac{c_1}{n}+\frac{c_2+o(1)}{n^{4/3}}$ where $c_1,c_2$ are explicitly defined constants.