arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81680 papers, 47334 authors in database)
2007-12-14 v8
General runner removal and the Mullineux map
Published in J. Algebra 322 (2009) 4331-4367 • View PublicationBIB
We prove a new `runner removal theorem' for $q$-decomposition numbers of the level 1 Fock space of type $A^{(1)}_{e-1}$, generalising earlier theorems of James--Mathas and the author. By combining this with another theorem relating to the Mullineux map, we show that the problem of finding all $q$-decomposition numbers indexed by partitions of a given weight is a finite computation.
2007-12-14
Multigraded regularity and the Koszul property
Published • View PublicationBIB
We give a criterion for the section ring of an ample line bundle to be Koszul in terms of multigraded regularity. We discuss an application to polytopal semigroup rings.
Positivity results on ribbon Schur function differences
Published in European Journal of Combinatorics, 30 (5) (2009), 1352-1369 • View PublicationBIB
There is considerable current interest in determining when the difference of two skew Schur functions is Schur positive. We consider the posets that result from ordering skew diagrams according to Schur positivity, before focussing on the convex subposets corresponding to ribbons. While the general solution for ribbon Schur functions seems out of reach at present, we determine necessary and sufficient conditions for multiplicity-free ribbons, i.e. those whose expansion as a linear combination of Schur functions has all coefficients either zero or one. In particular, we show that the poset that results from ordering such ribbons according to Schur-positivity is essentially a product of two chains.
2007-12-13 v3
($\ell,0)$-Carter partitions, a generating function, and their crystal theoretic interpretation
Published in Electronic Journal of Combinatorics, Volume 15 (1), 2008 • View PublicationBIB
In this paper we give an alternate combinatorial description of the "$(\ell,0)$-JM partitions" (see \cite{F}) that are also $\ell$-regular. Our main theorem is the equivalence of our combinatoric and the one introduced by James and Mathas (\cite{JM}). The condition of being an $(\ell,0)$-JM partition is fundamentally related to the hook lengths of the partition. The representation-theoretic significance of their combinatoric on an $\ell$-regular partition is that it indicates the irreducibility of the corresponding specialized Specht module over the finite Hecke algebra (see \cite{JM}). We use our result to find a generating series which counts the number of such partitions, with respect to the statistic of a partition's first part. We then apply our description of these partitions to the crystal graph $B(Λ_0)$ of the basic representation of $\hat{\mathfrak{sl}_{\ell}}$, whose nodes are labeled by $\ell$-regular partitions. Here we give a fairly simple crystal-theoretic rule which generates all $\ell$-regular $(\ell,0)$-JM partitions in the graph $B(Λ_0)$. Finally, we mention how our construction can be generalized to recent results of M. Fayers (see \cite{F}) and S. Lyle (see \cite{L}) to count the total number of (not necessarily $\ell$-regular) Specht modules which stay irreducible at a primitive $\ell$th root of unity (for $\ell >2$).
2007-12-13
Distances in random Apollonian network structures
Published • View PublicationBIB
In this paper, we study the distribution of distances in random Apollonian network structures (RANS), a family of graphs which has a one-to-one correspondence with planar ternary trees. Using multivariate generating functions that express all information on distances, and singularity analysis for evaluating the coefficients of these functions, we describe the distribution of distances to an outermost vertex, and show that the average value of the distance between any pair of vertices in a RANS of order n is asymptotically square root of n.
2007-12-13
Complexes of Injective Words and Their Commutation Classes
Published • View PublicationBIB
Let $S$ be a finite alphabet. An injective word over $S$ is a word over $S$ such that each letter in $S$ appears at most once in the word. We study Boolean cell complexes of injective words over $S$ and their commutation classes. This generalizes work by Farmer and by Björner and Wachs on the complex of all injective words.
2007-12-13 v2
Statistics of geodesics in large quadrangulations
Published in J. Phys. A: Math. Theor. 41 (2008) 145001 • View PublicationBIB
We study the statistical properties of geodesics, i.e. paths of minimal length, in large random planar quadrangulations. We extend Schaeffer's well-labeled tree bijection to the case of quadrangulations with a marked geodesic, leading to the notion of "spine trees", amenable to a direct enumeration. We obtain the generating functions for quadrangulations with a marked geodesic of fixed length, as well as with a set of "confluent geodesics", i.e. a collection of non-intersecting minimal paths connecting two given points. In the limit of quadrangulations with a large area n, we find in particular an average number 3*2^i of geodesics between two fixed points at distance i>>1 from each other. We show that, for generic endpoints, two confluent geodesics remain close to each other and have an extensive number of contacts. This property fails for a few "exceptional" endpoints which can be linked by truly distinct geodesics. Results are presented both in the case of finite length i and in the scaling limit i ~ n^(1/4). In particular, we give the scaling distribution of the exceptional points.
2007-12-13
Noncommutative Analogs of Monomial Symmetric Functions, Cauchy Identity, and Hall Scalar Product
This paper introduces noncommutative analogs of monomial symmetric functions and fundamental noncommutative symmetric functions. The expansion of ribbon Schur functions in both of these basis is nonnegative. With these functions at hand, one can derive a noncommutative Cauchy identity as well as study a noncommutative scalar product implied by Cauchy identity. This scalar product seems be the noncommutative analog of Hall scalar product in the commutative theory.
2007-12-13
How to Create a New Integer Sequence
There are several standard procedures used to create new sequences from a given sequence or from a given pair of sequences. In this paper I discuss the most popular of these procedures. For each procedure, I give a definition and provide examples based on three famous sequences: the natural numbers, the prime numbers and the Fibonacci numbers. I also add my thoughts on what makes a sequence interesting. My goal is to help my readers invent new sequences, differentiate interesting sequences from boring ones, and better understand sequences they encounter.
2007-12-13
Large Deviations for Random Trees
Published • View PublicationBIB
We consider large random trees under Gibbs distributions and prove a Large Deviation Principle (LDP) for the distribution of degrees of vertices of the tree. The LDP rate function is given explicitly. An immediate consequence is a Law of Large Numbers for the distribution of vertex degrees in a large random tree. Our motivation for this study comes from the analysis of RNA secondary structures.
Two-connected graphs with prescribed three-connected components
Published in Adv. in Appl. Math. 43 (2009), no. 1, pp. 46-74 • View PublicationBIB
We adapt the classical 3-decomposition of any 2-connected graph to the case of simple graphs (no loops or multiple edges). By analogy with the block-cutpoint tree of a connected graph, we deduce from this decomposition a bicolored tree tc(g) associated with any 2-connected graph g, whose white vertices are the 3-components of g (3-connected components or polygons) and whose black vertices are bonds linking together these 3-components, arising from separating pairs of vertices of g. Two fundamental relationships on graphs and networks follow from this construction. The first one is a dissymmetry theorem which leads to the expression of the class B=B(F) of 2-connected graphs, all of whose 3-connected components belong to a given class F of 3-connected graphs, in terms of various rootings of B. The second one is a functional equation which characterizes the corresponding class R=R(F) of two-pole networks all of whose 3-connected components are in F. All the rootings of B are then expressed in terms of F and R. There follow corresponding identities for all the associated series, in particular the edge index series. Numerous enumerative consequences are discussed.
2007-12-12
A Criterion for Vertex Colorability of a Graph Stated in Terms of Edge Orientations
Published in Diskretnyi Analiz, issue 26, 65-71 (1974), Novosibirsk, Institute of Mathematics of Siberian Branch of Academy of Sciences of the USSR; http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0298.05114&format=complete • Search Publication
L.M.Vitaver [1962] and G.I.Minty [1962] suggested criteria for vertex colorability of a graph in at most a given number of colors; these criteria are stated in terms of the orientation of the edges. One additional criterion of this kind is given here.
2007-12-12 v3
Hypergeometric D-modules and twisted Gauss-Manin systems
Published in J. Algebra 322,9 (2009), 3392-3409 • View PublicationBIB
The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits in the corresponding toric variety. Our approach generalizes a result by Gel'fand et al. and yields a simpler, more algebraic proof. In the process we extend the Euler-Koszul functor a category of infinite toric modules and describe multigraded localizations of Euler-Koszul homology.
2007-12-11
Unique Tournaments and Radar Tracking
The sequence counting the number of unique tournaments with n people is the same as the sequence counting non-tracking binary strings corresponding to n-2 radar observations with the tracking rule "3 out of 5 with loss 2." This fact allows us to build a bijection between unique tournaments and non-tracking binary strings.
Primitive decompositions of Johnson graphs
Published • View PublicationBIB
A transitive decomposition of a graph is a partition of the edge set together with a group of automorphisms which transitively permutes the parts. In this paper we determine all transitive decompositions of the Johnson graphs such that the group preserving the partition is arc-transitive and acts primitively on the parts.
2007-12-11 v2
Extension Theorems for Spheres in the Finite Field Setting
Published • View PublicationBIB
In this paper we study the boundedness of extension operators associated with spheres in vector spaces over finite fields.In even dimensions, we estimate the number of incidences between spheres and points in the translated set from a subset of spheres. As a result, we improve the Tomas-Stein exponents, our previous results. The analytic approach and the explicit formula for Fourier transform of the characteristic function on spheres play an important role to get good bounds for exponential sums.
2007-12-11 v2
Cayley sum graphs and eigenvalues of $(3,6)$-fullerenes
We determine the spectra of cubic plane graphs whose faces have sizes 3 and 6. Such graphs, "(3,6)-fullerenes", have been studied by chemists who are interested in their energy spectra. In particular we prove a conjecture of Fowler, which asserts that all their eigenvalues come in pairs of the form $\{λ,-λ\}$ except for the four eigenvalues $\{3,-1,-1,-1\}$. We exhibit other families of graphs which are "spectrally nearly bipartite" in this sense. Our proof utilizes a geometric representation to recognize the algebraic structure of these graphs, which turn out to be examples of Cayley sum graphs.
2007-12-11 v2
Evaluations of multiple Dirichlet $L$-values via symmetric functions
Published in J. Number Theory, 129 (2009) 2369-2386 • View PublicationBIB
We explicitly evaluate a special type of multiple Dirichlet $L$-values at positive integers in two different ways: One approach involves using symmetric functions, while the other involves using a generating function of the values. Equating these two expressions, we derive several summation formulae involving the Bernoulli and Euler numbers. Moreover, values at non-positive integers, called central limit values, are also studied.
2007-12-11
Explicit construction of manifolds realizing the prescribed homology classes
Published in Uspekhi Mat. Nauk, 62:6(378) (2007), 167-168 (in Russian); English transl. in: Russian Math. Surveys, 62:6 (2007), 1199-1201 • View PublicationBIB
We consider a classical N. Steenrod's problem on realization of homology classes by images of the fundamental classes of manifolds. It is well-known that each integral homology class can be realized with some multiplicity as an image of the fundamental class of a manifold. Our main result is an explicit purely combinatorial construction that for a given integral cycle provides a combinatorial manifold realizing a multiple of the homology class of this cycle. The construction is based on a local procedure for resolving singularities of a pseudo-manifold. We give an application of our result to the problem of constructing a combinatorial manifold with the prescribed set of links of vertices.
2007-12-11 v2
Generalizations of Swierczkowski's lemma and the arity gap of finite functions
Published in Discrete Math. 309 (2009) 5905-5912 • View PublicationBIB
Swierczkowski's Lemma - as it is usually formulated - asserts that if f is an at least quaternary operation on a finite set A and every operation obtained from f by identifying a pair of variables is a projection, then f is a semiprojection. We generalize this lemma in various ways. First, it is extended to B-valued functions on A instead of operations on A and to essentially at most unary functions instead of projections. Then we characterize the arity gap of functions of small arities in terms of quasi-arity, which in turn provides a further generalization of Swierczkowski's Lemma. Moreover, we explicitly classify all pseudo-Boolean functions according to their arity gap. Finally, we present a general characterization of the arity gaps of B-valued functions on arbitrary finite sets A.