Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Categorification of a frieze pattern determinant
Published in Journal of Combinatorial Theory, Series A 119 (5) (2012), 1110-1122
• View Publication
• BIB
Broline, Crowe and Isaacs have computed the determinant of a matrix associated to a Conway-Coxeter frieze pattern. We generalise their result to the corresponding frieze pattern of cluster variables arising from the Fomin-Zelevinsky cluster algebra of type A. We give a representation-theoretic interpretation of this result in terms of certain configurations of indecomposable objects in the root category of type A.
Discrete series representations and K multiplicities for U(p,q). User's guide
This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via multidimensional residues, and we outline our algorithm. We also point out some properties of the piecewise polynomial functions describing multiplicities based on Paradan's results.
The maximum degree of planar graphs I. Series-parallel graphs
Published
• View Publication
• BIB
We prove that the maximum degree $Δ_n$ of a random series-parallel graph with $n$ vertices satisfies $Δ_n/\log n \to c$ in probability, and $\mathbb{E}\, Δ_n \sim c \log n$ for a computable constant $c>0$. The same result holds for outerplanar graphs.
Pattern characterization of rationally smooth affine Schubert varieties of type A
Published
• View Publication
• BIB
Schubert varieties in finite dimensional flag manifolds G/P are a well-studied family of projective varieties indexed by elements of the corresponding Weyl group W. In particular, there are many tests for smoothness and rational smoothness of these varieties. One key result due to Lakshmibai-Sandhya is that in type A the smooth Schubert varieties are precisely those that are indexed by permutations that avoid the patterns 4231 and 3412. Recently, there has been a flurry of research related to the infinite dimensional analogs of flag manifolds corresponding with G being a Kac-Moody group and W being an affine Weyl group or parabolic quotient. In this paper we study the case when W is the affine Weyl group of type A or the affine permutations. We develop the notion of pattern avoidance for affine permutations. Our main result is a characterization of the rationally smooth Schubert varieties corresponding to affine permutations in terms of the patterns 4231 and 3412 and the twisted spiral permutations.
Bounds on $s$-distance sets with strength $t$
Published
• View Publication
• BIB
A finite set $X$ in the Euclidean unit sphere is called an $s$-distance set if the set of distances between any distinct two elements of $X$ has size $s$. We say that $t$ is the strength of $X$ if $X$ is a spherical $t$-design but not a spherical $(t+1)$-design. Delsarte-Goethals-Seidel gave an absolute bound for the cardinality of an $s$-distance set. The results of Neumaier and Cameron-Goethals-Seidel imply that if $X$ is a spherical 2-distance set with strength 2, then the known absolute bound for 2-distance sets is improved. This bound are also regarded as that for a strongly regular graph with the certain condition of the Krein parameters.
In this paper, we give two generalizations of this bound to spherical $s$-distance sets with strength $t$ (more generally, to $s$-distance sets with strength $t$ in a two-point-homogeneous space), and to $Q$-polynomial association schemes.
First, for any $s$ and $s-1 \leq t \leq 2s-2$, we improve the known absolute bound for the size of a spherical $s$-distance set with strength $t$. Secondly, for any $d$, we give an absolute bound for the size of a $Q$-polynomial association scheme of class $d$ with the certain conditions of the Krein parameters.
The Wronski map and shifted tableau theory
Published
• View Publication
• BIB
The Mukhin-Tarasov-Varchenko Theorem, conjectured by B. and M. Shapiro, has a number of interesting consequences. Among them is a well-behaved correspondence between certain points on a Grassmannian - those sent by the Wronski map to polynomials with only real roots - and (dual equivalence classes of) Young tableaux.
In this paper, we restrict this correspondence to the orthogonal Grassmannian OG(n,2n+1) inside Gr(n,2n+1). We prove that a point lies on OG(n,2n+1) if and only if the corresponding tableau has a certain type of symmetry. From this we recover much of the theory of shifted tableaux for Schubert calculus on OG(n,2n+1), including a new, geometric proof of the Littlewood-Richardson rule for OG(n,2n+1).
Product and puzzle formulae for GL_n Belkale-Kumar coefficients
Published
• View Publication
• BIB
The Belkale-Kumar product on H*(G/P) is a degeneration of the usual cup product on the cohomology ring of a generalized flag manifold. In the case G=GL_n, it was used by N. Ressayre to determine the regular faces of the Littlewood-Richardson cone.
We show that for G/P a (d-1)-step flag manifold, each Belkale-Kumar structure constant is a product of d(d-1)/2 Littlewood-Richardson numbers, for which there are many formulae available, e.g. the puzzles of [Knutson-Tao '03]. This refines previously known factorizations into d-1 factors. We define a new family of puzzles to assemble these to give a direct combinatorial formula for Belkale-Kumar structure constants.
These "BK-puzzles" are related to extremal honeycombs, as in [Knutson-Tao-Woodward~'04]; using this relation we give another proof of Ressayre's result.
Finally, we describe the regular faces of the Littlewood-Richardson cone on which the Littlewood-Richardson number is always 1; they correspond to nonzero Belkale-Kumar coefficients on partial flag manifolds where every subquotient has dimension 1 or 2.
Structural properties of 1-planar graphs and an application to acyclic edge coloring
Published in Scientia Sinica Mathematica, 2010, 40, 1025--1032
• View Publication
• BIB
A graph is called 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. In this paper, we establish a local property of 1-planar graphs which describes the structure in the neighborhood of small vertices (i.e. vertices of degree no more than seven). Meanwhile, some new classes of light graphs in 1-planar graphs with the bounded degree are found. Therefore, two open problems presented by Fabrici and Madaras [The structure of 1-planar graphs, Discrete Mathematics, 307, (2007), 854-865] are solved. Furthermore, we prove that each 1-planar graph $G$ with maximum degree $Δ(G)$ is acyclically edge $L$-choosable where $L=\max\{2Δ(G)-2,Δ(G)+83\}$.
On some lattice computations related to moduli problems
We show how to solve computationally a combinatorial problem about the possible number of roots orthogonal to a vector of given length in $E_8$. We show that the moduli space of K3 surfaces with polarisation of degree 2d is also of general type for d=52. This case was omitted from the earlier work of Gritsenko, Hulek and the second author. We also apply this method to some related problems. In Appendix A, V. Gritsenko shows how to arrive at the case d=52 and some others directly.
A Note on the Hodge Structure of the Intersection of Coloring Complexes
Let $G$ be a simple graph with $n$ vertices. The coloring complex $Δ(G)$ was defined by Steingrímsson, and the homology of $Δ(G)$ was shown to be nonzero only in dimension $n-3$ by Jonsson. Hanlon recently showed that the Eulerian idempotents provide a decomposition of the homology group $H_{n-3}(Δ(G))$ where the dimension of the $j^{th}$ component in the decomposition, $H_{n-3}^{(j)}(Δ(G))$, equals the absolute value of the coefficient of $λ^{j}$ in the chromatic polynomial of $G$, $χ_{G}(λ)$.
Jonsson recently studied the topology of intersections of coloring complexes. In this note, we show that the coefficient of the ${j}^{th}$ term in the chromatic polynomial of the intersection of coloring complexes gives the Euler Characteristic of the $j^{th}$ Hodge subcomplex of the Hodge decomposition of the intersection of coloring complexes.
The classification problem for graphs and lattices is wild
Published
• View Publication
• BIB
We prove that the classification problem for graphs and several types of algebraic lattices (distributive, congruence and modular) up to isomorphism contains the classification problem for pairs of matrices up to simultaneous similarity.
On the Modes of Polynomials Derived from Nondecreasing Sequences
Published
• View Publication
• BIB
Wang and Yeh proved that if $P(x)$ is a polynomial with nonnegative and nondecreasing coefficients, then $P(x+d)$ is unimodal for any $d>0$. A mode of a unimodal polynomial $f(x)=a_0+a_1x+\cdots + a_mx^m$ is an index $k$ such that $a_k$ is the maximum coefficient. Suppose that $M_*(P,d)$ is the smallest mode of $P(x+d)$, and $M^*(P,d)$ the greatest mode. Wang and Yeh conjectured that if $d_2>d_1>0$, then $M_*(P,d_1)\geq M_*(P,d_2)$ and $M^*(P,d_1)\geq M^*(P,d_2)$. We give a proof of this conjecture.
Bounds on generalized Frobenius numbers
Published in European Journal of Combinatorics, vol. 32 no. 3 (2011) pg. 361--368
• View Publication
• BIB
Let $N \geq 2$ and let $1 < a_1 < ... < a_N$ be relatively prime integers. The Frobenius number of this $N$-tuple is defined to be the largest positive integer that has no representation as $\sum_{i=1}^N a_i x_i$ where $x_1,...,x_N$ are non-negative integers. More generally, the $s$-Frobenius number is defined to be the largest positive integer that has precisely $s$ distinct representations like this. We use techniques from the Geometry of Numbers to give upper and lower bounds on the $s$-Frobenius number for any nonnegative integer $s$.
Embeddings into the plane of graphs with vertices of degree 4
Published in Mat. Prosveschenie, 21 (2017) 197-204
• Search Publication
In this expository note we present a proof of the V.A. Vassiliev conjecture on the planarity of graphs with vertices of degree 4 and certain additional structure. Both statement and proof are accessible to high-school students familiar with basic notions of graph theory. The conjecture was first proved by V.O. Manturov (such a proof was one of the main results of his habilitation thesis). In this note the exposition is made clearer and some comments for beginners are added.
Path ideals of rooted trees and their graded Betti numbers
Published
• View Publication
• BIB
Let $Γ$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $Γ$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has a linear resolution.
Vertex identifying codes for the n-dimensional lattice
An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and different. Here, we provide an overview on codes for the $n$-dimensional lattice, discussing the case of 1-identifying codes, constructing a sparse code for the 4-dimensional lattice as well as showing that for fixed $n$, the minimum density of an $r$-identifying code is $Θ(1/r^{n-1})$.
Multivalued generalizations of the Frankl--Pach Theorem
P. Frankl and J. Pach proved the following uniform version of Sauer's Lemma. Let $n,d,s$ be natural numbers such that $d\leq n$, $s+1\leq n/2$. Let $\cF \subseteq {[n] \choose d}$ be an arbitrary $d$-uniform set system such that $\cF$ does not shatter an $s+1$-element set, then $$ |\cF|\leq {n \choose s}.$$ We prove here two generalizations of the above theorem to $n$-tuple systems. To obtain these results, we use Gröbner basis methods, and describe the standard monomials of Hamming spheres.
Combinatorial Route to Algebra: The Art of Composition & Decomposition
Published in Discrete Math. Theor. 12(2), 381-400 (2010)
• View Publication
• BIB
We consider a general concept of composition and decomposition of objects, and discuss a few natural properties one may expect from a reasonable choice thereof. It will be demonstrated how this leads to multiplication and co- multiplication laws, thereby providing a generic scheme furnishing combinatorial classes with an algebraic structure. The paper is meant as a gentle introduction to the concepts of composition and decomposition with the emphasis on combinatorial origin of the ensuing algebraic constructions.
On the Fon-der-Flaass Interpretation of Extremal Examples for Turan's (3,4)-problem
Published
• View Publication
• BIB
In 1941, Turan conjectured that the edge density of any 3-graph without independent sets on 4 vertices (Turan (3,4)-graph) is >= 4/9(1-o(1)), and he gave the first example witnessing this bound. Brown (1983) and Kostochka (1982) found many other examples of this density. Fon-der-Flaass (1988) presented a general construction that converts an arbitrary $\vec C_4$-free orgraph $Γ$ into a Turan (3,4)-graph. He observed that all Turan-Brown-Kostochka examples result from his construction, and proved the bound >= 3/7(1-o(1)) on the edge density of any Turan (3,4)-graph obtainable in this way.
In this paper we establish the optimal bound 4/9(1-o(1)) on the edge density of any Turan (3,4)-graph resulting from the Fon-der-Flaass construction under any of the following assumptions on the undirected graph $G$ underlying the orgraph $Γ$:
1. $G$ is complete multipartite;
2. The edge density of $G$ is >= (2/3-epsilon) for some absolute constant epsilon>0.
We are also able to improve Fon-der-Flaass's bound to 7/16(1-o(1)) without any extra assumptions on $Γ$.
Partially 2-Colored Permutations and the Boros-Moll Polynomials
Published
• View Publication
• BIB
We find a combinatorial setting for the coefficients of the Boros-Moll polynomials $P_m(a)$ in terms of partially 2-colored permutations. Using this model, we give a combinatorial proof of a recurrence relation on the coefficients of $P_m(a)$. This approach enables us to give a combinatorial interpretation of the log-concavity of $P_m(a)$ which was conjectured by Moll and confirmed by Kauers and Paule.