Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Algebraic Combinatorics in Mathematical Chemistry. Methods and Algorithms. II. Program Implementation of the Weisfeiler-Leman Algorithm
The stabilization algorithm of Weisfeiler and Leman has as an input any square matrix A of order n and returns the minimal cellular (coherent) algebra W(A) which includes A.
In case when A=A(G) is the adjacency matrix of a graph G the algorithm examines all configurations in G having three vertices and, according to this information, partitions vertices and ordered pairs of vertices into equivalence classes. The resulting construction allows to associate to each graph G a matrix algebra W(G):= W(A(G))$ which is an invariant of the graph G. For many classes of graphs, in particular for most of the molecular graphs, the algebra W(G) coincides with the centralizer algebra of the automorphism group aut(G). In such a case the partition returned by the stabilization algorithm is equal to the partition into orbits of aut(G).
We give algebraic and combinatorial descriptions of the Weisfeiler--Leman algorithm and present an efficient computer implementation of the algorithm written in C. The results obtained by testing the program on a considerable number of examples of graphs, in particular on some chemical molecular graphs, are also included.
Almost all triple systems with independent neighborhoods are semi-bipartite
Published
• View Publication
• BIB
The neighborhood of a pair of vertices $u,v$ in a triple system is the set of vertices $w$ such that $uvw$ is an edge.
A triple system
$\HH$ is semi-bipartite if its vertex set contains a vertex subset $X$ such that every edge of $\HH$ intersects $X$ in exactly two points. It is easy to see that if $\HH$ is semi-bipartite, then the neighborhood of every pair of vertices in $\HH$ is an independent set. We show a partial converse of this statement by proving that almost all triple systems with vertex sets $[n]$ and independent neighborhoods are semi-bipartite. Our result can be viewed as an extension of the Erd\H os-Kleitman-Rothschild theorem to triple systems. The proof uses the Frankl-Rödl hypergraph regularity lemma, and stability theorems. Similar results have recently been proved for hypergraphs with various other local constraints.
Enumerating pattern avoidance for affine permutations
Published in Electron. J. Combin., 17 (2010), pp. Research Paper 127, 13 pp. (electronic)
• View Publication
• BIB
In this paper we study pattern avoidance for affine permutations. In particular, we show that for a given pattern p, there are only finitely many affine permutations in $\widetilde{S}_n$ that avoid p if and only if p avoids the pattern 321. We then count the number of affine permutations that avoid a given pattern p for each p in S_3, as well as give some conjectures for the patterns in S_4.
From the Coxeter graph to the Klein graph
Published
• View Publication
• BIB
We show that the 56-vertex Klein cubic graph $\G'$ can be obtained from the 28-vertex Coxeter cubic graph $\G$ by 'zipping' adequately the squares of the 24 7-cycles of $\G$ endowed with an orientation obtained by considering $\G$ as a $\mathcal C$-ultrahomogeneous digraph, where $\mathcal C$ is the collection formed by both the oriented 7-cycles $\vec{C}_7$ and the 2-arcs $\vec{P}_3$ that tightly fasten those $\vec{C}_7$ in $\G$. In the process, it is seen that $\G'$ is a ${\mathcal C}'$-ultrahomogeneous (undirected) graph, where ${\mathcal C}'$ is the collection formed by both the 7-cycles $C_7$ and the 1-paths $P_2$ that tightly fasten those $C_7$ in $\G'$. This yields an embedding of $\G'$ into a 3-torus $T_3$ which forms the Klein map of Coxeter notation $(7,3)_8$. The dual graph of $\G'$ in $T_3$ is the distance-regular Klein quartic graph, with corresponding dual map of Coxeter notation $(3,7)_8$.
A remark on asymptotic enumeration of highest weights in tensor powers of a representation
Published in Bulletin of the Iranian Mathematical Society. Vol. 41, No. 3 (2015), p. 639-646
• Search Publication
We consider the semigroup S of highest weights appearing in tensor powers V^k of a finite dimensional representation V of a connected reductive group. We describe the cone generated by S as the cone over the weight polytope of V intersected with the positive Weyl chamber. From this we get a description for the asymptotic of the number of highest weights appearing in V^k in terms of the volume of this polytope.
Crystal bases of modified quantized enveloping algebras and a double RSK correspondence
Published in J. Combin. Theory Ser. A 118 (2011), no. 7, 2131-2156
• View Publication
• BIB
The crystal base of the modified quantized enveloping algebras of type $A_{+\infty}$ or $A_\infty$ is realized as a set of integral bimatrices. It is obtained by describing the decomposition of the tensor product of a highest weight crystal and a lowest weight crystal into extremal weight crystals, and taking its limit using a tableaux model of extremal weight crystals. This realization induces in a purely combinatorial way a bicrystal structure of the crystal base of the modified quantized enveloping algebras and hence its Peter-Weyl type decomposition generalizing the classical RSK correspondence.
From Parking Functions to Gelfand Pairs
Published
• View Publication
• BIB
A pair $(G,K)$ of a group and its subgroup is called a Gelfand pair if the induced trivial representation of $K$ on $G$ is multiplicity free. Let $(a_j)$ be a sequence of positive integers of length $n$, and let $(b_i)$ be its non-decreasing rearrangement. The sequence $(a_i)$ is called a parking function of length $n$ if $b_i \leq i$ for all $i=1,\...,n$.
In this paper we study certain Gelfand pairs in relation with parking functions. In particular, we find explicit descriptions of the decomposition of the associated induced trivial representations into irreducibles. We obtain and study a new $q$ analogue of the Catalan numbers $\frac{1}{n+1}{2n \choose n}$, $n\geq 1$.
Structure in sets with logarithmic doubling
Published in Canad. Math. Bull. 56 (2013), no. 2, 412-423
• View Publication
• BIB
Suppose that G is an abelian group, A is a finite subset of G with |A+A|< K|A| and eta in (0,1] is a parameter. Our main result is that there is a set L such that |A cap Span(L)| > K^{-O_eta(1)}|A| and |L| = O(K^eta log |A|). We include an application of this result to a generalisation of the Roth-Meshulam theorem due to Liu and Spencer.
Finite trees are Ramsey under topological embeddings
We show that the class of finite rooted binary plane trees is a Ramsey class (with respect to topological embeddings that map leaves to leaves). That is, for all such trees P,H and every natural number k there exists a tree T such that for every k-coloring of the (topological) copies of P in T there exists a (topological) copy H' of H in T such that all copies of P in H' have the same color. When the trees are represented by the so-called rooted triple relation, the result gives rise to a Ramsey class of relational structures with respect to induced substructures.
Skew characters which contain only few components
Wrong assumptions were made in the proof of Theorem 3.12 and Lemma 3.6. A preprint containing a correct proof for Lemma 3.6 is in preparation and will be uploaded later this month. So the results of section 3 are correct, apart from Theorem 3.12 and the remarks following Theorem 3.12.
Some examples of universal and generic partial orders
Published
• View Publication
• BIB
We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order for various combinatorial objects.
Growth of small generating sets in SL_n(Z/pZ)
Published
• View Publication
• BIB
Let G=SL_n. Let K=Z/pZ, p a prime. Let A\subset G(K) generate G(K). Suppose that |A|<p^{n+1-δ}, delta>0. Then |A A A|>>|A|^{1+ε}, where epsilon>0 and the implied constant depend only on n and delta.
The direct sum map on Grassmannians and jeu de taquin for increasing tableaux
Published in Int Math Res Notices (2011) Vol. 2011 2766-2793
• View Publication
• BIB
The direct sum map Gr(a,n) x Gr(b,m) -> Gr(a+b,m+n) on Grassmannians induces a K-theory pullback that defines the splitting coefficients. We geometrically explain an identity from [Buch '02] between the splitting coefficients and the Schubert structure constants for products of Schubert structure sheaves. This is related to the topic of product and splitting coefficients for Schubert boundary ideal sheaves. Our main results extend jeu de taquin for increasing tableaux [Thomas-Yong '09] by proving transparent analogues of [Schützenberger '77]'s fundamental theorems on well-definedness of rectification. We then establish that jeu de taquin gives rules for each of these four kinds of coefficients.
K-theoretic Schubert calculus for OG(n,2n+1) and jeu de taquin for shifted increasing tableaux
Published in J. Reine Angew. Math. 690 (2014), 51-63
• View Publication
• BIB
We present a proof of a Littlewood-Richardson rule for the K-theory of odd orthogonal Grassmannians OG(n,2n+1), as conjectured in [Thomas-Yong '09]. Specifically, we prove that rectification using the jeu de taquin for increasing shifted tableaux introduced there, is well-defined and gives rise to an associative product. Recently, [Buch-Ravikumar '09] proved a Pieri rule for OG(n,2n+1) that [Feigenbaum-Sergel '09] showed confirms a special case of the conjecture. Together, these results imply the aforementioned conjecture.
Deformations of bordered Riemann surfaces and associahedral polytopes
Published in Notices of the AMS 58 (2011) 530-541
• Search Publication
We consider the moduli space of bordered Riemann surfaces with boundary and marked points. Such spaces appear in open-closed string theory, particularly with respect to holomorphic curves with Lagrangian submanifolds. We consider a combinatorial framework to view the compactification of this space based on the pair-of-pants decomposition of the surface, relating it to the well-known phenomenon of bubbling. Our main result classifies all such spaces that can be realized as convex polytopes. A new polytope is introduced based on truncations of cubes, and its combinatorial and algebraic structures are related to generalizations of associahedra and multiplihedra.
The strong thirteen spheres problem
Published in Discrete & Computational Geometry, 48:1 (2012), 128-141
• View Publication
• BIB
The thirteen spheres problem is asking if 13 equal size nonoverlapping spheres in three dimensions can touch another sphere of the same size. This problem was the subject of the famous discussion between Isaac Newton and David Gregory in 1694. The problem was solved by Schutte and van der Waerden only in 1953.
A natural extension of this problem is the strong thirteen spheres problem (or the Tammes problem for 13 points) which asks to find an arrangement and the maximum radius of 13 equal size nonoverlapping spheres touching the unit sphere. In the paper we give a solution of this long-standing open problem in geometry. Our computer-assisted proof is based on a enumeration of the so-called irreducible graphs.
The large-parts formula for p(n)
A new formula for the partition function $p(n)$ is developed. We show that the number of partitions of $n$ can be expressed as the sum of a simple function of the two largest parts of all partitions. Specifically, if $a_1 + >... + a_k = n$ is a partition of $n$ with $a_1 \leq ... \leq a_k$ and $a_0 = 0$, then the sum of $\lfloor(a_k + a_{k-1}) / (a_{k-1} + 1)\rfloor$ over all partitions of $n$ is equal to $2p(n) - 1$.
Books vs Triangles
Published
• View Publication
• BIB
A book of size b in a graph is an edge that lies in b triangles. Consider a graph G with n vertices and \lfloor n^2/4\rfloor +1 edges. Rademacher proved that G contains at least \lfloor n/2\rfloor triangles, and Erdos conjectured and Edwards proved that G contains a book of size at least n/6.
We prove the following "linear combination" of these two results. Suppose that α\in (1/2, 1) and the maximum size of a book in G is less than αn/2. Then G contains at least α(1-α) n^2/4 - o(n^2) triangles as n approaches infinity. This is asymptotically sharp. On the other hand, for every α\in (1/3, 1/2), there exists β>0 such that G contains at least βn^3 triangles. It remains an open problem to determine the largest possible βin terms of α. Our proof uses the Ruzsa-Szemeredi theorem.
On vertex operator realizations of Jack functions
Published in J. of Alg. Combin. 32 (2010), 579-595
• View Publication
• BIB
On the vertex operator algebra associated with rank one lattice we derive a general formula for products of vertex operators in terms of generalized homogeneous symmetric functions. As an application we realize Jack symmetric functions of rectangular shapes as well as marked rectangular shapes.
Tiling by rectangles and alternating current
Published in J. Combinatorial Theory, Series A 118:3 (2011) 920-937
• View Publication
• BIB
This paper is on tilings of polygons by rectangles. A celebrated physical interpretation of such tilings due to R.L. Brooks, C.A.B. Smith, A.H. Stone and W.T. Tutte uses direct-current circuits. The new approach of the paper is an application of alternating-current circuits.
The following results are obtained:
- a necessary condition for a rectangle to be tilable by rectangles of given shapes;
- a criterion for a rectangle to be tilable by rectangles similar to it but not all homothetic to it;
- a criterion for a generic polygon to be tilable by squares.
These results generalize the ones of C. Freiling, R. Kenyon, M. Laczkovich, D. Rinne and G. Szekeres.