contain ↗ reference
7689 papers tagged with this keyword
Young classes of permutations
We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an increasing and a decreasing sequence of length k.
Some New Bounds For Cover-Free Families Through Biclique Cover
Published
• View Publication
• BIB
An $(r,w;d)$ cover-free family $(CFF)$ is a family of subsets of a finite set such that the intersection of any $r$ members of the family contains at least $d$ elements that are not in the union of any other $w$ members. The minimum number of elements for which there exists an $(r,w;d)-CFF$ with $t$ blocks is denoted by $N((r,w;d),t)$.
In this paper, we show that the value of $N((r,w;d),t)$ is equal to the $d$-biclique covering number of the bipartite graph $I_t(r,w)$ whose vertices are all $w$- and $r$-subsets of a $t$-element set, where a $w$-subset is adjacent to an $r$-subset if their intersection is empty. Next, we introduce some new bounds for $N((r,w;d),t)$. For instance, we show that for $r\geq w$ and $r\geq 2$
$$ N((r,w;1),t) \geq c{{r+w\choose w+1}+{r+w-1 \choose w+1}+ 3 {r+w-4 \choose w-2} \over \log r} \log (t-w+1),$$ where $c$ is a constant satisfies the well-known bound $N((r,1;1),t)\geq c\frac{r^2}{\log r}\log t$. Also, we determine the exact value of $N((r,w;d),t)$ for some values of $d$. Finally, we show that $N((1,1;d),4d-1)=4d-1$ whenever there exists a Hadamard matrix of order 4d.
Cluster algebras arising from cluster tubes
Published
• View Publication
• BIB
We study the cluster algebras arising from cluster tubes with rank bigger than $1$. Cluster tubes are $2-$Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object $T$ in the cluster tube $\mathcal{C}_n$ of rank $n$. For any indecomposable rigid object $M$ in $\mathcal{C}_n$, we define an analogous $X_M$ of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of $M$. We show that $X_M, X_{M'}$ satisfy the mutation formula when $M,M'$ form an exchange pair, and that $X_{?}: M\mapsto X_M$ gives a bijection from the set of indecomposable rigid objects in $\mathcal{C}_n$ to the set of cluster variables of cluster algebra of type $C_{n-1}$, which induces a bijection between the set of basic maximal rigid objects in $\mathcal{C}_n$ and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube $\mathcal{C}_n$ encode the combinatorics of the cluster algebra of type $B_{n-1}$ since the combinatorics of cluster algebras of type $B_{n-1}$ or of type $C_{n-1}$ are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type $C$.
A Dirac type condition for properly coloured paths and cycles
Published
• View Publication
• BIB
Let $c$ be an edge-colouring of a graph $G$ such that for every vertex $v$ there are at least $d \ge 2$ different colours on edges incident to $v$. We prove that $G$ contains a properly coloured path of length 2d or a properly coloured cycle of length at least $d+1$. Moreover, if $G$ does not contain any properly coloured cycle, then there exists a properly coloured path of length $3 \times 2^{d-1}-2$.
The Big-Line-Big-Clique Conjecture is False for Infinite Point Sets
The big-line-big-clique conjecture states that for all $k,\ell\geq2$ there is an integer $n$ such that every finite set of at least $n$ points in the plane contains $\ell$ collinear points or $k$ pairwise visible points. We show that this conjecture is false for infinite point sets, by constructing a countably infinite point set with no 4 collinear points and no 3 pairwise visible points.
On Universal Cycles for new Classes of Combinatorial Structures
Published
• View Publication
• BIB
A universal cycle (u-cycle) is a compact listing of a collection of combinatorial objects. In this paper, we use natural encodings of these objects to show the existence of u-cycles for collections of subsets, matroids, restricted multisets, chains of subsets, multichains, and lattice paths. For subsets, we show that a u-cycle exists for the $k$-subsets of an $n$-set if we let $k$ vary in a non zero length interval. We use this result to construct a "covering" of length $(1+o(1))$$n \choose k$ for all subsets of $[n]$ of size exactly $k$ with a specific formula for the $o(1)$ term. We also show that u-cycles exist for all $n$-length words over some alphabet $Σ,$ which contain all characters from $R \subset Σ.$ Using this result we provide u-cycles for encodings of Sperner families of size 2 and proper chains of subsets.
A bijection to count (1-23-4)-avoiding permutations
A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the previously known 4-variable recurrence. At the heart of the proof is a bijection from (1-23-4)-avoiding permutations to increasing ordered trees whose leaves, taken in preorder, are also increasing.
Small covers and the equivariant bordism classification of 2-torus manifolds
Published in International Mathematics Research Notices, Vol. 2014, No. 24, pp. 6756--6797
• View Publication
• BIB
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented bordism classification of $n$-dimensional 2-torus manifolds. We show that the $G_n$-equivariant unoriented bordism class of each $n$-dimensional 2-torus manifold contains an $n$-dimensional small cover as its representative, solving the conjecture posed in [19]. In addition, we also obtain that the graded noncommutative ring formed by the equivariant unoriented bordism classes of 2-torus manifolds of all possible dimensions is generated by the classes of all generalized real Bott manifolds (as special small covers over the products of simplices). This gives a strong connection between the computation of $G_n$-equivariant bordism groups or ring and the Davis-Januszkiewicz theory of small covers. As a computational application, with the help of computer, we completely determine the structure of the group formed by equivariant bordism classes of all 4-dimensional 2-torus manifolds. Finally, we give some essential relationships among 2-torus manifolds, coloring polynomials, colored simple convex polytopes, colored graphs.
Hamilton cycles in dense vertex-transitive graphs
Published in J. Combin. Theory Ser. B 109 (2014), 34-72
• View Publication
• BIB
A famous conjecture of Lovász states that every connected vertex-transitive graph contains a Hamilton path. In this article we confirm the conjecture in the case that the graph is dense and sufficiently large. In fact, we show that such graphs contain a Hamilton cycle and moreover we provide a polynomial time algorithm for finding such a cycle.
Complete and almost complete minors in double-critical 8-chromatic graphs
Published
• View Publication
• BIB
A connected $k$-chromatic graph $G$ is said to be {\it double-critical} if for all edges $uv$ of $G$ the graph $G - u - v$ is $(k-2)$-colourable. A longstanding conjecture of Erdős and Lovász states that the complete graphs are the only double-critical graphs. Kawarabayashi, Pedersen and Toft [\it{Electron. J. Combin.}, 17(1): Research Paper 87, 2010] proved that every double-critical $k$-chromatic graph with $k \leq 7$ contains a $K_k$ minor. It remains unknown whether an arbitrary double-critical $8$-chromatic graph contains a $K_8$ minor, but in this paper we prove that any double-critical $8$-chromatic contains a $K_8^-$ minor; here $K_8^-$ denotes the complete $8$-graph with one edge missing. In addition, we observe that any double-critical $8$-chromatic graph with minimum degree different from $10$ and $11$ contains a $K_8$ minor.
A sharp upper bound for the independence number
An $r$-graph $G$ is a pair $(V,E)$ such that $V$ is a set and $E$ is a family of $r$-element subsets of $V$. The \emph{independence number} $α(G)$ of $G$ is the size of a largest subset $I$ of $V$ such that no member of $E$ is a subset of $I$. The \emph{transversal number} $τ(G)$ of $G$ is the size of a smallest subset $T$ of $V$ that intersects each member of $E$. $G$ is said to be \emph{connected} if for every distinct $v$ and $w$ in $V$ there exists a \emph{path} from $v$ to $w$ (that is, a sequence $e_1, \dots, e_p$ of members of $E$ such that $v \in e_1$, $w \in e_p$, and if $p \geq 2$, then for each $i \in \{1, \dots, p-1\}$, $e_i$ intersects $e_{i+1}$). The \emph{degree} of a member $v$ of $V$ is the number of members of $E$ that contain $v$. The maximum of the degrees of the members of $V$ is denoted by $Δ(G)$. We show that for any $1 \leq k < n$, if $G = (V,E)$ is a connected $r$-graph, $|V| = n$, and $Δ(G) = k$, then \[α(G) \leq n - \left \lceil \frac{n-1}{k(r-1)} \right \rceil, \quad τ(G) \geq \left \lceil \frac{n-1}{k(r-1)} \right \rceil,\] and these bounds are sharp. The two bounds are equivalent.
Vertex-deleted subgraphs and regular factors from regular graph
Published
• View Publication
• BIB
Let $k$, $m$ and $r$ be three integers such that $2\leq k\leq m\leq r$.
Let $G$ be a $2r$-regular, $2m$-edge-connected graph of odd order.
We obtain some sufficient conditions, which guarantee $G-v$ contains a $k$-factor for all $v\in V(G)$.
Degenerate two-boundary centralizer algebras
Published
• View Publication
• BIB
Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the action of a complex reductive Lie algebra $\mathfrak{g}$ on tensor space of the form $M \otimes N \otimes V^{\otimes k}$. We define the degenerate two-boundary braid algebra $\mathcal{G}_k$ and show that centralizer algebras contain quotients of this algebra in a general setting. As an example, we study in detail the combinatorics of special cases corresponding to Lie algebras $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ and modules $M$ and $N$ indexed by rectangular partitions. For this setting, we define the degenerate extended two-boundary Hecke algebra $\mathcal{H}_k^{\mathrm{ext}}$ as a quotient of $\mathcal{G}_k$, and show that a quotient of $\mathcal{H}_k^{\mathrm{ext}}$ is isomorphic to a large subalgebra of the centralizer. We further study the representation theory of $\mathcal{H}_k^{\mathrm{ext}}$ to find that the seminormal representations are indexed by a known family of partitions. The bases for the resulting modules are given by paths in a lattice of partitions, and the action of $\mathcal{H}_k^{\mathrm{ext}}$ is given by combinatorial formulas.
Stanley symmetric functions and Peterson algebras
Published
• View Publication
• BIB
These are (mostly) expository notes for lectures on affine Stanley symmetric functions given at the Fields Institute in 2010. We focus on the algebraic and combinatorial parts of the theory. The notes contain a number of exercises and open problems.
Subdivision by bisectors is dense in the space of all triangles
Published
• View Publication
• BIB
Starting with any nondegenerate triangle we can use a well defined interior point of the triangle to subdivide it into six smaller triangles. We can repeat this process with each new triangle, and continue doing so over and over. We show that starting with any arbitrary triangle, the resulting set of triangles formed by this process contains triangles arbitrarily close (up to similarity) any given triangle when the point that we use to subdivide is the incenter. We also show that the smallest angle in a "typical" triangle after repeated subdivision for many generations does not have the smallest angle going to zero.
Embedding spanning trees in random graphs
Published
• View Publication
• BIB
We prove that if T is a tree on n vertices wih maximum degree D and the edge probability p(n) satisfies: np>c*max{D*logn,n^ε} for some constant ε>0, then with high probability the random graph G(n,p) contains a copy of T. The obtained bound on the edge probability is shown to be essentially tight for D=n^{Θ(1)}.
On the number of a SDRs of a valued (t,n)-family
A system of distinct representatives (SDR) of a family $F = (A_1, \cdots, A_n)$ is a sequence $(x_1, \cdots, x_n)$ of $n$ distinct elements with $x_i \in A_i$ for $1 \le i \le n$. Let $N(F)$ denote the number of SDRs of a family $F$; two SDRs are considered distinct if they are different in at least one component. For a nonnegative integer $t$, a family $F=(A_1,\cdots,A_n)$ is called a $(t,n)$-family if the union of any $k\ge 1$ sets in the family contains at least $k+t$ elements. The famous Hall's Theorem says that $N(F)\ge 1$ if and only if $F$ is a $(0,n)$-family. Denote by $M(t,n)$ the minimum number of SDRs in a $(t,n)$-family. The problem of determining $M(t,n)$ and those families containing exactly $M(t,n)$ SDRs was first raised by Chang [European J. Combin.{\bf 10}(1989), 231-234]. He solved the cases when $0\le t\le 2$ and gave a conjecture for $t\ge 3$. In this paper, we solve the conjecture. In fact, we get a more general result for so-called valued $(t,n)$-family.
The largest singletons of set partitions
Published
• View Publication
• BIB
Recently, Deutsch and Elizalde studied the largest and the smallest fixed points of permutations. Motivated by their work, we consider the analogous problems in set partitions. Let $A_{n,k}$ denote the number of partitions of $\{1,2,\dots, n+1\}$ with the largest singleton $\{k+1\}$ for $0\leq k\leq n$. In this paper, several explicit formulas for $A_{n,k}$, involving a Dobinski-type analog, are obtained by algebraic and combinatorial methods, many combinatorial identities involving $A_{n,k}$ and Bell numbers are presented by operator methods, and congruence properties of $A_{n,k}$ are also investigated. It will been showed that the sequences $(A_{n+k,k})_{n\geq 0}$ and $(A_{n+k,k})_{k\geq 0}$ (mod $p$) are periodic for any prime $p$, and contain a string of $p-1$ consecutive zeroes. Moreover their minimum periods are conjectured to be $N_p=\frac{p^p-1}{p-1}$ for any prime $p$.
Simple wedge points
Published in Geombinatorics Quarterly, 20, 4, 2011, pp. 141-150
• Search Publication
Let V be a finite set of points in the plane, not contained in a line. Assume |V| = n is an odd number, and |L \cap V| \leq 3 for every line L which is spanned by V. We prove that every simple line L_{a,b} in V creates a simple wedge (i.e., a triple {a, b, c} \subseteq V such that L_{a,b} and L_{a,c} are simple lines). We also show that both restrictions on V (namely |V| is odd and |L \cap V| \leq 3) are needed.
We conjecture, further, that if |V | = n is an odd number then V contains a simple wedge, even if V is not 3-bounded. We introduce a method for proving this, which gives (in this paper) partial results.
Weighted Automata and Recurrence Equations for Regular Languages
Let $\mathcal{P}(Σ^*)$ be the semiring of languages, and consider its subset $\mathcal{P}(Σ)$. In this paper we define the language recognized by a weighted automaton over $\mathcal{P}(Σ)$ and a one-letter alphabet. Similarly, we introduce the notion of language recognition by linear recurrence equations with coefficients in $\mathcal{P}(Σ)$. As we will see, these two definitions coincide. We prove that the languages recognized by linear recurrence equations with coefficients in $\mathcal{P}(Σ)$ are precisely the regular languages, thus providing an alternative way to present these languages. A remarkable consequence of this kind of recognition is that it induces a partition of the language into its cross-sections, where the $n$th cross-section contains all the words of length $n$ in the language. Finally, we show how to use linear recurrence equations to calculate the density function of a regular language, which assigns to every $n$ the number of words of length $n$ in the language. We also show how to count the number of successful paths of a weighted automaton.