Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Nowhere-Harmonic Colorings of Graphs
Published
• View Publication
• BIB
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further, we discuss some examples demonstrating that nowhere-harmonic colorings are more complicated from an enumerative perspective than proper colorings.
Almost simple groups with socle $L_n(q)$ acting on Steiner quadruple systems
Published
• View Publication
• BIB
Let $N=L_n(q)$, {$n \geq 2$}, $q$ a prime power, be a projective linear simple group. We classify all Steiner quadruple systems admitting a group $G$ with $N \leq G \leq \Aut(N)$. In particular, we show that $G$ cannot act as a group of automorphisms on any Steiner quadruple system for $n>2$.
Approximate groups, II: the solvable linear case
Published
• View Publication
• BIB
We describe the structure of "K-approximate subgroups'' of solvable subgroups of GL_n(C), showing that they have a large nilpotent piece. By combining this with the main result of our recent paper on approximate subgroups of torsion-free nilpotent groups, we show that such approximate subgroups are efficiently controlled by nilpotent progressions.
Criteria for rational smoothness of some symmetric orbit closures
Published
• View Publication
• BIB
Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $θ$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities $\iot = \{θ(w^{-1})w\mid w\in W\}$ in the Weyl group $W$. Under this assumption, we establish a criterion for rational smoothness of orbit closures which generalises classical results of Carrell and Peterson for Schubert varieties. That is, whether an orbit closure is rationally smooth at a given point can be determined by examining the degrees in a ``Bruhat graph'' whose vertices form a subset of $\iot$. Moreover, an orbit closure is rationally smooth everywhere if and only if its corresponding interval in the Bruhat order on $\iot$ is rank symmetric.
In the special case $K=\Sp_{2n}(\C)$, $G=\SL_{2n}(\C)$, we strengthen our criterion by showing that only the degree of a single vertex, the ``bottom one'', needs to be examined. This generalises a result of Deodhar for type $A$ Schubert varieties.
On the number of perfect matchings in random lifts
Published
• View Publication
• BIB
Let G be a fixed connected multigraph with no loops. A random n-lift of G is obtained by replacing each vertex of G by a set of n vertices (where these sets are pairwise disjoint) and replacing each edge by a randomly chosen perfect matching between the n-sets corresponding to the endpoints of the edge. Let X_G be the number of perfect matchings in a random lift of G. We study the distribution of X_G in the limit as n tends to infinity, using the small subgraph conditioning method.
We present several results including an asymptotic formula for the expectation of X_G when G is d-regular, d\geq 3. The interaction of perfect matchings with short cycles in random lifts of regular multigraphs is also analysed. Partial calculations are performed for the second moment of X_G, with full details given for two example multigraphs, including the complete graph K_4.
To assist in our calculations we provide a theorem for estimating a summation over multiple dimensions using Laplace's method. This result is phrased as a summation over lattice points, and may prove useful in future applications.
A q-enumeration of alternating permutations
Published in European Journal of Combinatorics 31(7) (2010), 1892--1906
• View Publication
• BIB
A classical result of Euler states that the tangent numbers are an alternating sum of Eulerian numbers. A dual result of Roselle states that the secant numbers can be obtained by a signed enumeration of derangements. We show that both identities can be refined with the following statistics: the number of crossings in permutations and derangements, and the number of patterns 31-2 in alternating permutations.
Using previous results of Corteel, Rubey, Prellberg, and the author, we derive closed formulas for both q-tangent and q-secant numbers. There are two different methods to obtain these formulas: one with permutation tableaux and one with weighted Motzkin paths (Laguerre histories).
Words and polynomial invariants of finite groups in non-commutative variables
Published
• View Publication
• BIB
Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words.
The kth Upper Bases of Primitive Non-powerful Signed Digraphs
Published in Yanling Shao, Jian Shen, and Yubin Gao, The k-th upper bases of primitive non-powerful signed digraphs, Discrete Mathematics 309:2682-2686 (2009)
• View Publication
• BIB
In this paper, we study the kth upper bases of primitive non-powerful signed digraphs. A bound on the kth upper bases of all primitive non-powerful signed digraphs is obtained, and the equality case of the bound is characterized. We also show that there exists "gap" in the kth upper base set of primitive non-powerful signed digraphs.
Ehrhart theory, Modular flow reciprocity, and the Tutte polynomial
Published in Math. Z. 270 (2012), no. 1-2, 1-18
• View Publication
• BIB
Given an oriented graph G, the modular flow polynomial counts the number of nowhere-zero Z_k-flows of G. We give a description of the modular flow polynomial in terms of (open) Ehrhart polynomials of lattice polytopes. Using Ehrhart-Macdonald reciprocity we give a combinatorial interpretation for the values of the modular flow polynomial at negative arguments which answers a question of Beck and Zaslavsky (2006). Our construction extends to Z_l-tensions and we recover Stanley's reciprocity theorem for the chromatic polynomial. Combining the combinatorial reciprocity statements for flows and tensions, we give an enumerative interpretation for positive evaluations of the Tutte polynomial of G.
On the group of rational spectral units with finite order
The problem of phase retrieval is a difficult one which remains far from solved. Two homometric sets are always connected by way of a convolution product by some spectral unit, though not necessarily in a unique way. Here we elucidate one small aspect, the subgroup of spectral units with finite order. Its elements are completely characterized by relations between their eigenvalues. This sheds some light on the beltway problem.
Critical points and resonance of hyperplane arrangements
Published in Can. J. Math.-J. Can. Math. 63 (2011) 1038-1057
• View Publication
• BIB
If F is a master function corresponding to a hyperplane arrangement A and a collection of weights y, we investigate the relationship between the critical set of F, the variety defined by the vanishing of the one-form w = d log F, and the resonance of y. For arrangements satisfying certain conditions, we show that if y is resonant in dimension p, then the critical set of F has codimension at most p. These include all free arrangements and all rank 3 arrangements.
Some Exact Results on the Potts Model Partition Function in a Magnetic Field
Published in J. Phys. A 42, 385004 (2009)
• View Publication
• BIB
We consider the Potts model in a magnetic field on an arbitrary graph $G$. Using a formula of F. Y. Wu for the partition function $Z$ of this model as a sum over spanning subgraphs of $G$, we prove some properties of $Z$ concerning factorization, monotonicity, and zeros. A generalization of the Tutte polynomial is presented that corresponds to this partition function. In this context we formulate and discuss two weighted graph-coloring problems. We also give a general structural result for $Z$ for cyclic strip graphs.
The structure of bivariate rational hypergeometric functions
Published
• View Publication
• BIB
We describe the structure of all codimension-two lattice configurations $A$ which admit a stable rational $A$-hypergeometric function, that is a rational function $F$ all whose partial derivatives are non zero, and which is a solution of the $A$-hypergeometric system of partial differential equations defined by Gel'fand, Kapranov and Zelevinsky. We show, moreover, that all stable rational $A$-hypergeometric functions may be described by toric residues and apply our results to study the rationality of bivariate series whose coefficients are quotients of factorials of linear forms.
The Gift Exchange Problem
The aim of this paper is to solve the "gift exchange" problem: you are one of n players, and there are n wrapped gifts on display; when your turn comes, you can either choose any of the remaining wrapped gifts, or you can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of S times. The problem is to determine the number of ways that the game can be played out, for given values of S and n. Several recurrences and explicit formulas are given for these numbers, although some open questions remain.
MPLS = Mutually Projective Latin Squares
We will see that every finite projective plane of order k > 1 gives rise to a complete set of (k-1) MPLS (= mutually projective latin squares) of order k and by reversing the process we can construct a finite projective plane of order k when a complete set of (k-1) MPLS of order k is given.
The enumeration of fully commutative affine permutations
Published
• View Publication
• BIB
We give a generating function for the fully commutative affine permutations enumerated by rank and Coxeter length, extending formulas due to Stembridge and Barcucci--Del Lungo--Pergola--Pinzani. For fixed rank, the length generating functions have coefficients that are periodic with period dividing the rank. In the course of proving these formulas, we obtain results that elucidate the structure of the fully commutative affine permutations.
Lines, Circles, Planes and Spheres
Published in Discrete & Computational Geometry, May 2011, Volume 44, Number 4, pp. 860-882
• View Publication
• BIB
Let $S$ be a set of $n$ points in $\mathbb{R}^3$, no three collinear and not all coplanar. If at most $n-k$ are coplanar and $n$ is sufficiently large, the total number of planes determined is at least $1 + k \binom{n-k}{2}-\binom{k}{2}(\frac{n-k}{2})$. For similar conditions and sufficiently large $n$, (inspired by the work of P. D. T. A. Elliott in \cite{Ell67}) we also show that the number of spheres determined by $n$ points is at least $1+\binom{n-1}{3}-t_3^{orchard}(n-1)$, and this bound is best possible under its hypothesis. (By $t_3^{orchard}(n)$, we are denoting the maximum number of three-point lines attainable by a configuration of $n$ points, no four collinear, in the plane, i.e., the classic Orchard Problem.) New lower bounds are also given for both lines and circles.
An improved bound for the stepping-up lemma
Published
• View Publication
• BIB
The partition relation N \to (n)_{\ell}^k means that whenever the k-tuples of an N-element set are \ell-colored, there is a monochromatic set of size n, where a set is called monochromatic if all its k-tuples have the same color. The logical negation of N \to (n)_{\ell}^k is written as N \not \to (n)_{\ell}^k. An ingenious construction of Erdős and Hajnal known as the stepping-up lemma gives a negative partition relation for higher uniformity from one of lower uniformity, effectively gaining an exponential in each application. Namely, if \ell \geq 2, k \geq 3, and N \not \to (n)_{\ell}^k, then 2^N \not \to (2n+k-4)_{\ell}^{k+1}. In this note we give an improved construction for k \geq 4. We introduce a general class of colorings which extends the framework of Erdős and Hajnal and can be used to establish negative partition relations. We show that if \ell \geq 2, k \geq 4 and N \not \to (n)_{\ell}^k, then 2^N \not \to (n+3)_{\ell}^{k+1}. If also k is odd or \ell \geq 3, then we get the better bound 2^N \not \to (n+2)_{\ell}^{k+1}. This improved bound gives a coloring of the k-tuples whose largest monochromatic set is a factor Ω(2^{k}) smaller than given by the original version of the stepping-up lemma. We give several applications of our result to lower bounds on hypergraph Ramsey numbers. In particular, for fixed \ell \geq 4 we determine up to an absolute constant factor (which is independent of k) the size of the largest guaranteed monochromatic set in an \ell-coloring of the k-tuples of an N-set.
Connectivity of chamber graphs of buildings and related complexes
Published in European J. Combin. 31 (2010), no. 8, 2149--2160
• Search Publication
Let Δbe a finite building (or, more generally, a thick spherical and locally finite building). The chamber graph G(Δ), whose edges are the pairs of adjacent chambers in Δ, is known to be q-regular for a certain number q=q(Δ). Our main result is that G(Δ) is q-connected in the sense of graph theory.
Similar results are proved for the chamber graphs of Coxeter complexes and for order complexes of geometric lattices.
Integer symmetric matrices of small spectral radius and small Mahler measure
Published
• View Publication
• BIB
In a previous paper we completely described cyclotomic matrices--integer symmetric matrices of spectral radius at most 2. In this paper we find all minimal noncyclotomic matrices. As a consequence, we are able to determine all integer symmetric matrices of spectral radius at most 2.019, and to determine all integer symmetric matrices whose Mahler measure is at most 1.3. In particular we solve the strong version of Lehmer's problem for integer symmetric matrices: all noncyclotomic matrices have Mahler measure at least "Lehmer's number" 1.17628... .