Showing 20 papers (Total: 82000 papers, 47479 authors in database)
On Two Bijections from S_n(321) to S_n(132)
Let S_n(321) (respectively, S_n(132)) denote the set of all permutations of {1,2,...,n} that avoid the pattern 321 (respectively, the pattern 132). Elizalde and Pak gave a bijection Theta from S_n(321) to S_n(132) that preserves the numbers of fixed points and excedances for each element of S_n(321), and commutes with the operation of taking inverses. Bloom and Saracino proved that another bijection Gamma from S_n(321) to S_n(132), introduced by Robertson, has the same properties, and they later gave a pictorial reformulation of Gamma that made these results more transparent. Here we give a pictorial reformulation of Theta, from which it follows that, although the original definitions of Theta and Gamma are very different, these two bijections are in fact related to each other in a very simple way, by using inversion, reversal, and complementation.
Simple Euclidean arrangements with one (>=5)-gon
Let L be a simple Euclidean arrangement of n pseudolines. It is shown that if L has exactly one (>=5)=gon P, and k is the number of edges of P that are adjacent to an unbounded cell of the subarrangement of L induced by the pseudolines in P, then L has exactly n-k triangles and k+n(n-5)/2 quadrilaterals. We also prove that if each pseudoline of L is adjacent to P then L is stretchable.
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.
Enumeration of Restricted Partition Pairs and Permutation Pairs via 0-1 Tableaux
We use the 0-1 tableaux as a tool for enumerating permutations and partitions with restricted minima. The method used is extended for permutation pairs and partition pairs generated by a bipartite 0-1 tableaux.
The Orbifold Topological Vertex
Published
• View Publication
• BIB
We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe.
Cops and Robber Game with a Fast Robber on Interval, Chordal, and Planar Graphs
We consider a variant of the Cops and Robber game, introduced by Fomin, Golovach, Kratochvil, in which the robber has unbounded speed, i.e. can take any path from her vertex in her turn, but she is not allowed to pass through a vertex occupied by a cop. We study this game on interval graphs, chordal graphs, planar graphs, and hypercube graphs. Let c_{\infty}(G) denote the number of cops needed to capture the robber in graph G in this variant. We show that if G is an interval graph, then c_{\infty}(G) = O(sqrt(|V(G)|)), and we give a polynomial-time 3-approximation algorithm for finding c_{\infty}(G) in interval graphs. We prove that for every n there exists an n-vertex chordal graph G with c_{\infty}(G) = Omega(n / \log n). Let tw(G) and Delta(G) denote the treewidth and the maximum degree of G, respectively. We prove that for every G, tw(G) + 1 \leq (Delta(G) + 1) c_{\infty}(G). Using this lower bound for c_{\infty}(G), we show two things. The first is that if G is a planar graph (or more generally, if G does not have a fixed apex graph as a minor), then c_{\infty}(G) = Theta(tw(G)). This immediately leads to an O(1)-approximation algorithm for computing c_{\infty} for planar graphs. The second is that if G is the m-hypercube graph, then there exist constants eta1, eta2>0 such that (eta1) 2^m / (m sqrt(m)) \leq c_{\infty}(G) \leq (eta2) 2^m / m.
On perfect k-matchings
Published
• View Publication
• BIB
In this paper, we generalize the notions of perfect matchings, perfect 2-matchings to perfect k-matchings and give a necessary and sufficient condition for existence of perfect k-matchings. For bipartite graphs, we show that this k-matching problem is equivalent to that matching question. Moreover, for regular graphs, we provide a sufficient condition of perfect k-matching in terms of edge connectivity.
Puzzles, positroid varieties, and equivariant K-theory of Grassmannians
Vakil studied the intersection theory of Schubert varieties in the Grassmannian in a very direct way: he degenerated the intersection of a Schubert variety X_mu and opposite Schubert variety X^nu to a union {X^lambda}, with repetition. This degeneration proceeds in stages, and along the way he met a collection of more complicated subvarieties, which he identified as the closures of certain locally closed sets.
We show that Vakil's varieties are _positroid varieties_, which in particular shows they are normal, Cohen-Macaulay, have rational singularities, and are defined by the vanishing of Plücker coordinates [Knutson-Lam-Speyer]. We determine the equations of the Vakil variety associated to a partially filled ``puzzle'' (building on the appendix to [Vakil]), and extend Vakil's proof to give a geometric proof of the puzzle rule from [Knutson-Tao '03] for equivariant Schubert calculus.
The recent paper [Anderson-Griffeth-Miller] establishes (abstractly; without a formula) three positivity results in equivariant K-theory of flag manifolds G/P. We demonstrate one of these concretely, giving a corresponding puzzle rule.
Wada Dessins associated with Finite Projective Spaces and Frobenius Compatibility
Published
• View Publication
• BIB
\textit{Dessins d'enfants} (hypermaps) are useful to describe algebraic properties of the Riemann surfaces they are embedded in. In general, it is not easy to describe algebraic properties of the surface of the embedding starting from the combinatorial properties of an embedded dessin. However, this task becomes easier if the dessin has a large automorphism group.
In this paper we consider a special type of dessins, so-called \textit{Wada dessins}. Their underlying graph illustrates the incidence structure of finite projective spaces $\PR{m}{n}$. Usually, the automorphism group of these dessins is a cyclic \textit{Singer group} $Σ_\ell$ permuting transitively the vertices. However, in some cases, a second group of automorphisms $Φ_f$ exists. It is a cyclic group generated by the \textit{Frobenius automorphism}. We show under what conditions $Φ_f$ is a group of automorphisms acting freely on the edges of the considered dessins.
A sharp lower bound for the Wiener index of a graph
Published in Ars Combinatoria,v.XCVII,Oct. 2010
• Search Publication
Given a simple connected undirected graph G, the Wiener index W(G) of G is defined as half the sum of the distances over all pairs of vertices of G. In practice, G corresponds to what is known as the molecular graph of an organic compound. We obtain a sharp lower bound for W(G) of an arbitrary graph in terms of the order, size and diameter of G.
The K_4-free process
We consider the K_4-free process. In this process, the edges of the complete n-vertex graph are traversed in a uniformly random order, and each traversed edge is added to an initially empty evolving graph, unless the addition of the edge creates a copy of K_4. Let M(n) denote the graph that is produced by that process. We prove that a.a.s., the number of edges in M(n) is O( n^{8/5} (\ln n)^{1/5} ). This matches, up to a constant factor, a lower bound of Bohman. As a by-product, we prove the following Ramsey-type result: for every n there exists a K_4-free n-vertex graph, in which the largest set of vertices that doesn't span a triangle has size O( n^{3/5} (\ln n)^{1/5} ). This improves, by a factor of (\ln n)^{3/10}, an upper bound of Krivelevich.
An Asymptotic Faber-Krahn Inequality for the Combinatorial Laplacian on Z^2
The Faber-Krahn inequality states that among all open domains with a fixed volume in R^n, the ball minimizes the first Dirichlet eigenvalue of the Laplacian. We study an asymptotic discrete analogue of this for the combinatorial Dirichlet Laplacian acting on induced subgraphs of Z^2. Namely, an induced subgraph G with n vertices is called a minimizing subgraph if it minimizes the first eigenvalue of the combinatorial Dirichlet Laplacian among all induced subgraphs with n vertices. Consider an induced subgraph G and take the interior of the union of closed squares of area 1 about each point of G. Let G* denote this domain scaled down to have area 1. Our main theorem states that if {G_n} is a sequence of minimizing subgraphs where each G_n has n vertices, then after translation the measure of the symmetric difference of G_n* and the unit disk converges to 0.
Pattern Recognition on Oriented Matroids: Halfspaces, Convex Sets and Tope Committees
The principle of inclusion-exclusion is applied to subsets of maximal covectors contained in halfspaces of a simple oriented matroid and to convex subsets of its ground set for enumerating tope committees.
Hilbert series and Hilbert depth of squarefree Veronese ideals
Published
• View Publication
• BIB
In this paper, we obtain explicit formulas for the Hilbert series and Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring.
An Investigation of Partizan Misere Games
Combinatorial games are played under two different play conventions: normal play, where the last player to move wins, and \mis play, where the last player to move loses. Combinatorial games are also classified into impartial positions and partizan positions, where a position is impartial if both players have the same available moves and partizan otherwise.
\Mis play games lack many of the useful calculational and theoretical properties of normal play games. Until Plambeck's indistinguishability quotient and \mis monoid theory were developed in 2004, research on \mis play games had stalled. This thesis investigates partizan combinatorial \mis play games, by taking Plambeck's indistinguishability and \mis monoid theory for impartial positions and extending it to partizan ones, as well as examining the difficulties in constructing a category of \mis play games in a similar manner to Joyal's category of normal play games.
This thesis succeeds in finding an infinite set of positions which each have finite \mis monoid, examining conditions on positions for when $* + *$ is equivalent to 0, finding a set of positions which have Tweedledum-Tweedledee type strategy, and the two most important results of this thesis: giving necessary and sufficient conditions on a set of positions $Υ$ such that the \mis monoid of $Υ$ is the same as the \mis monoid of $*$ and giving a construction theorem which builds all positions $ξ$ such that the \mis monoid of $ξ$ is the same as the \mis monoid of $*$.
Permutations and beta-shifts
Published
• View Publication
• BIB
Given a real number beta>1, a permutation pi of length n is realized by the beta-shift if there is some x in [0,1] such that the relative order of the sequence x,f(x),...,f^{n-1}(x), where f(x) is the factional part of beta*x, is the same as that of the entries of pi. Widely studied from such diverse fields as number theory and automata theory, beta-shifts are prototypical examples one-dimensional chaotic dynamical systems. When beta is an integer, permutations realized by shifts where studied in [SIAM J. Discrete Math. 23 (2009), 765-786]. In this paper we generalize some of the results to arbitrary beta-shifts. We describe a method to compute, for any given permutation pi, the smallest beta such that pi is realized by the beta-shift. We also give a way to determine the length of the shortest forbidden (i.e., not realized) pattern of an arbitrary beta-shift.
Geometric construction of voting methods that protect voters' first choices
We consider the possibility of designing an election method that eliminates the incentives for a voter to rank any other candidate equal to or ahead of his or her sincere favorite. We refer to these methods as satisfying the ``Strong Favorite Betrayal Criterion" (SFBC). Methods satisfying our strategic criteria can be classified into four categories, according to their geometrical properties. We prove that two categories of methods are highly restricted and closely related to positional methods (point systems) that give equal points to a voter's first and second choices. The third category is tightly restricted, but if criteria are relaxed slightly a variety of interesting methods can be identified. Finally, we show that methods in the fourth category are largely irrelevant to public elections. Interestingly, most of these methods for satisfying the SFBC do so only ``weakly," in that these methods make no meaningful distinction between the first and second place on the ballot. However, when we relax our conditions and allow (but do not require) equal rankings for first place, a wider range of voting methods are possible, and these methods do indeed make meaningful distinctions between first and second place.
The determinantal ideals of extended Hankel matrices
Published in J. Pure Appl. Algebra. 215, 1502--1515 (2011)
• View Publication
• BIB
In this paper, we use the tools of Gröbner bases and combinatorial secant varieties to study the determinantal ideals $I_t$ of the extended Hankel matrices. Denote by $c$-chain a sequence $a_1,\...,a_k$ with $a_i+c<a_{i+1}$ for all $i=1,\...,k-1$. Using the results of $c$-chain, we solve the membership problem for the symbolic powers $I_t^{(s)}$ and we compute the primary decomposition of the product $I_{t_1}\... I_{t_k}$ of the determinantal ideals. Passing through the initial ideals and algebras we prove that the product $I_{t_1}\... I_{t_k}$ has a linear resolution and the multi-homogeneous Rees algebra $\Rees(I_{t_1},\...,I_{t_k})$ is defined by a Gröbner basis of quadrics.
Asymptotics of the maximal and the typical dimensions of isotypic components of tensor representations of the symmetric group
Published
• View Publication
• BIB
Vershik and Kerov gave asymptotical bounds for the maximal and the typical dimensions of irreducible representations of symmetric groups $S_n$. It was conjectured by G. Olshanski that the maximal and the typical dimensions of the isotypic components of tensor representations of the symmetric group admit similar asymptotical bounds. The main result of this article is the proof of this conjecture. Consider the natural representation of $S_n$ on $(\mathbb{C}^N)^{\otimes n}$. Its isotypic components are parametrized by Young diagrams with $n$ cells and at most $N$ rows. P. Biane found the limit shape of Young diagrams when $n\rightarrow\infty,\ \sqrt{n}/N\rightarrow c$. By showing that this limit shape is the unique solution to a variational problem, it is proven here, that after scaling, the maximal and the typical dimensions of isotypic components lie between positive constants. A new proof of Biane's limit-shape theorem is obtained.
On the dimension growth of groups
Published
• View Publication
• BIB
Dimension growth functions of groups have been introduced by Gromov in 1999. We prove that every solvable finitely generated subgroups of the R. Thompson group $F$ has polynomial dimension growth while the group $F$ itself, and some solvable groups of class 3 have exponential dimension growth with exponential control. We describe connections between dimension growth, expansion properties of finite graphs and the Ramsey theory.