Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Root polytopes, triangulations, and the subdivision algebra, I
The type A_n full root polytope is the convex hull in R^{n+1} of the origin and the points e_i-e_j for 1<= i<j <= n+1. Given a tree T on the vertex set [n+1], the associated root polytope P(T) is the intersection of the full root polytope with the cone generated by the vectors e_i-e_j, where (i, j) is an edge of T, i<j. The reduced forms of a certain monomial m[T] in commuting variables x_{ij} under the reduction x_{ij}x_{jk} --> x_{ik}x_{ij}+x_{jk}x_{ik}+βx_{ik}, can be interpreted as triangulations of P(T). Using these triangulations, the volume and Ehrhart polynomial of P(T) are obtained. If we allow variables x_{ij} and x_{kl} to commute only when i, j, k, l are distinct, then the reduced form of m[T] is unique and yields a canonical triangulation of P(T) in which each simplex corresponds to a noncrossing alternating forest. Most generally, the reduced forms of all monomials in the noncommutative case are unique.
Ramsey Theory for Words over an Infinite Alphabet
A complete partition theory is presented for omega-located words (and omega-words), namely for located words over an infinite alphabet dominated by a fixed increasing sequence. This theory strengthens in an essential way the classical Carlson, Furstenberg-Katznelson, and Bergelson-Blass-Hindman partition theory for words over a finite alphabet. Consequences of this theory are strong simultaneous extensions of the classical Hindman, Milliken-Taylor partition theorem, and of a van der Waerden theorem for general semigroups, extending results of Hindman-Strauss and Beiglbock.
On 3-coloured tournaments
We (re-)prove that in every 3-edge-coloured tournament in which no vertex is incident with all colours there is either a cyclic rainbow triangle or a vertex dominating every other vertex monochromatically.
Isomorphic and Nonisomorphic, Isospectral Circulant Graphs
New criteria for which Cayley graphs of cyclic groups of any order can be completely determined--up to isomorphism--by the eigenvalues of their adjacency matrices is presented. Secondly, a new construction for pairs of nonisomorphic Cayley graphs of cyclic groups with the same list of eigenvalues of their adjacency matrices will be presented.
Answers to two questions posed by Farhi concerning additive bases
Published
• View Publication
• BIB
Let A be an asymptotic basis for N and X a finite subset of A such that A\X is still an asymptotic basis. Farhi recently proved a new batch of upper bounds for the order of A\X in terms of the order of A and a variety of parameters related to the set X. He posed two questions concerning possible improvements to his bounds. In this note, we answer both questions.
Classification of Gorenstein Toric Del Pezzo Varieties in arbitrary dimension
Published
• View Publication
• BIB
A $n$-dimensional Gorenstein toric Fano variety $X$ is called Del Pezzo variety if the anticanonical class $-K_X$ is a $(n-1)$-multiple of a Cartier divisor. Our purpose is to give a complete biregular classfication of Gorenstein toric Del Pezzo varieties in arbitrary dimension $n \geq 2$. We show that up to isomorphism there exist exactly 37 Gorenstein toric Del Pezzo varieties of dimension $n$ which are not cones over $(n-1)$-dimensional Gorenstein toric Del Pezzo varieties. Our results are closely related to the classification of all Minkowski sum decompositions of reflexive polygons due to Emiris and Tsigaridas and to the classification up to deformation of $n$-dimensional almost Del Pezzo manifolds obtained by Jahnke and Peternell.
Cayley graphs on the symmetric group generated by initial reversals have unit spectral gap
Published in Electron. J. Combin. Vol 16, no. 1, N29 (2009)
• View Publication
• BIB
In a recent paper Gunnells, Scott and Walden have determined the complete spectrum of the Schreier graph on the symmetric group corresponding to the Young subgroup $S_{n-2}\times S_2$ and generated by initial reversals. In particular they find that the first nonzero eigenvalue, or spectral gap, of the Laplacian is always 1, and report that "empirical evidence" suggests that this also holds for the corresponding Cayley graph. We provide a simple proof of this last assertion, based on the decomposition of the Laplacian of Cayley graphs, into a direct sum of irreducible representation matrices of the symmetric group.
Semisimple symplectic characters of finite unitary groups
Published
• View Publication
• BIB
Let $G = {\rm U}(2m, {\mathbb F}_{q^2})$ be the finite unitary group, with $q$ the power of an odd prime $p$. We prove that the number of irreducible complex characters of $G$ with degree not divisible by $p$ and with Frobenius-Schur indicator -1 is $q^{m-1}$. We also obtain a combinatorial formula for the value of any character of ${\rm U}(n, {\mathbb F}_{q^2})$ at any central element, using the characteristic map of the finite unitary group.
Random Walks on Strict Partitions
Published in Journal of Mathematical Sciences, vol. 168, no. 3, pp. 437-463, 2010
• View Publication
• BIB
We consider a certain sequence of random walks. The state space of the n-th random walk is the set of all strict partitions of n (that is, partitions without equal parts).
We prove that, as n goes to infinity, these random walks converge to a continuous-time Markov process. The state space of this process is the infinite-dimensional simplex consisting of all nonincreasing infinite sequences of nonnegative numbers with sum less than or equal to one. The main result about the limit process is the expression of its the pre-generator as a formal second order differential operator in a polynomial algebra.
Of separate interest is the generalization of Kerov interlacing coordinates to the case of shifted Young diagrams.
Longest Common Subsequences in Sets of Permutations
The sequence a_1,...,a_m is a common subsequence in the set of permutations S = {p_1,...,p_k} on [n] if it is a subsequence of p_i(1),...,p_i(n) and p_j(1),...,p_j(n) for some distinct p_i, p_j in S. Recently, Beame and Huynh-Ngoc (2008) showed that when k>=3, every set of k permutations on [n] has a common subsequence of length at least n^{1/3}.
We show that, surprisingly, this lower bound is asymptotically optimal for all constant values of k. Specifically, we show that for any k>=3 and n>=k^2 there exists a set of k permutations on [n] in which the longest common subsequence has length at most 32(kn)^{1/3}. The proof of the upper bound is constructive, and uses elementary algebraic techniques.
A graph pebbling algorithm on weighted graphs
Published
• View Publication
• BIB
A pebbling move on a weighted graph removes some pebbles at a vertex and adds one pebble at an adjacent vertex. The number of pebbles removed is the weight of the edge connecting the vertices. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The pebbling number of a weighted graph is the smallest number $m$ needed to guarantee that any vertex is reachable from any pebble distribution of $m$ pebbles. Regular pebbling problems on unweighted graphs are special cases when the weight on every edge is 2. A regular pebbling problem often simplifies to a pebbling problem on a simpler weighted graph. We present an algorithm to find the pebbling number of weighted graphs. We use this algorithm together with graph simplifications to find the regular pebbling number of all connected graphs with at most nine vertices.
Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals
Published in Advances in Mathematics 224 (2010), 2312-2345
• View Publication
• BIB
We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.
Displacing Lagrangian toric fibers via probes
Published
• View Publication
• BIB
This note studies the geometric structure of monotone moment polytopes (the duals of smooth Fano polytopes) using probes. The latter are line segments that enter the polytope at an interior point of a facet and whose direction is integrally transverse to this facet. A point inside the polytope is displaceable by a probe if it lies less than half way along it. Using a construction due to Fukaya-Oh-Ohta-Ono, we show that every rational polytope has a central point that is not displaceable by probes. In the monotone (or more generally, the reflexive) case, this central point is its unique interior integral point. In the monotone case, every other point is displaceable by probes if and only if the polytope satisfies the star Ewald condition. (This is a strong version of the Ewald conjecture concerning the integral symmetric points in the polytope.) Further, in dimensions up to and including three every monotone polytope is star Ewald. These results are closely related to the Fukaya-Oh-Ohta-Ono calculations of the Floer homology of the Lagrangian fibers of a toric symplectic manifold, and have applications to questions introduced by Entov-Polterovich about the displaceability of these fibers.
On the volume conjecture for classical spin networks
Published
• View Publication
• BIB
We prove an upper bound for the evaluation of all classical SU(2) spin networks conjectured by Garoufalidis and van der Veen. This implies one half of the analogue of the volume conjecture which they proposed for classical spin networks. We are also able to obtain the other half, namely, an exact determination of the spectral radius, for the special class of generalized drum graphs. Our proof uses a version of Feynman diagram calculus which we developed as a tool for the interpretation of the symbolic method of classical invariant theory, in a manner which is rigorous yet true to the spirit of the classical literature.
The Hypercube of Resistors, Asymptotic Expansions, and Preferential Arrangements
Published
• View Publication
• BIB
Motivated by the problem of finding resistances among vertices in a hypercube, we derive exact expressions, generating functions, and asymptotic expansions for these resistances, then study the combinatorial interpretations of the coefficients arising in these asymptotic expansions.
Vertex Turán problems in the hypercube
Published
• View Publication
• BIB
Let $\mathcal{Q}_n$ be the $n$-dimensional hypercube: the graph with vertex set $\{0,1\}^n$ and edges between vertices that differ in exactly one coordinate. For $1\leq d\leq n$ and $F\subseteq \{0,1\}^d$ we say that $S\subseteq \{0,1\}^n$ is \emph{$F$-free} if every embedding $i:\{0,1\}^d\to \{0,1\}^n$ satisfies $i(F)\not\subseteq S$. We consider the question of how large $S\subseteq \{0,1\}^n$ can be if it is $F$-free. In particular we generalise the main prior result in this area, for $F=\{0,1\}^2$, due to E.A. Kostochka and prove a local stability result for the structure of near-extremal sets.
We also show that the density required to guarantee an embedded copy of at least one of a family of forbidden configurations may be significantly lower than that required to ensure an embedded copy of any individual member of the family.
Finally we show that any subset of the $n$-dimensional hypercube of positive density will contain exponentially many points from some embedded $d$-dimensional subcube if $n$ is sufficiently large.
Highest coefficients of weighted Ehrhart quasi-polynomials for a rational polytope
We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope.
The critical group of a line graph
Published
• View Publication
• BIB
The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph.
The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph.
The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices.
The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups.
The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.
Multilinear singular operators with fractional rank
Published
• View Publication
• BIB
We prove bounds for multilinear operators on $\R^d$ given by multipliers which are singular along a $k$ dimensional subspace. The new case of interest is when the rank $k/d$ is not an integer. Connections with the concept of {\em true complexity} from Additive Combinatorics are also investigated.
Circular Coloring and Mycielski Construction
Published
• View Publication
• BIB
In this paper, we investigate circular chromatic number of Mycielski construction of graphs. It was shown in \cite{MR2279672} that $t^{\rm th}$ Mycielskian of the Kneser graph $KG(m,n)$ has the same circular chromatic number and chromatic number provided that $m+t$ is an even integer. We prove that if $m$ is large enough, then $χ(M^t(KG(m,n)))=χ_c(M^t(KG(m,n)))$ where $M^t$ is $t^{\rm th}$ Mycielskian. Also, we consider the generalized Kneser graph $KG(m,n,s)$ and show that there exists a threshold $m(n,s,t)$ such that $χ(M^t(KG(m,n,s)))=χ_c(M^t(KG(m,n,s)))$ for $m\geq m(n,s,t)$.