Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On graph equivalences preserved under extensions
Published
• View Publication
• BIB
Let R be an equivalence relation on graphs. By the strengthening of R we mean the relation R' such that graphs G and H are in the relation R' if for every graph F, the union of the graphs G and F is in the relation R with the union of the graphs H and F. We study strengthenings of equivalence relations on graphs. The most important case that we consider concerns equivalence relations defined by graph properties. We obtain results on the strengthening of equivalence relations determined by the properties such as being a k-connected graph, k-colorable, hamiltonian and planar.
How to lose as little as possible
Published
• View Publication
• BIB
Suppose Alice has a coin with heads probability $q$ and Bob has one with heads probability $p>q$.
Now each of them will toss their coin $n$ times, and Alice will win iff she gets more heads than Bob does. Evidently the game favors Bob, but for the given $p,q$, what is the choice of $n$ that maximizes Alice's chances of winning? The problem of determining the optimal $N$ first appeared in \cite{wa}. We show that there is an essentially unique value $N(q,p)$ of $n$ that maximizes the probability $f(n)$ that the weak coin will win, and it satisfies $\frac{1}{2(p-q)}-\frac12\le N(q,p)\le \frac{\max{(1-p,q)}}{p-q}$. The analysis uses the multivariate form of Zeilberger's algorithm to find an indicator function $J_n(q,p)$ such that $J>0$ iff $n<N(q,p)$ followed by a close study of this function, which is a linear combination of two Legendre polynomials. An integration-based algorithm is given for computing $N(q,p)$.
Some applications of W. Rudin's inequality to problems of combinatorial number theory
In the paper we obtain some new applications of well--known W. Rudin's theorem concerning lacunary series to problems of combinatorial number theory. We generalize a result of M.-C. Chang on L_2 (L)-norm of Fourier coefficients of a set (here L is a dissociated set), and prove a dual version of the theorem. Our main instrument is computing of eigenvalues of some operators.
Irreducible pseudo 2-factor isomorphic cubic bipartite graphs
Published in Des. Codes Cryptogr. 64 1--2 (2012) 153--160
• View Publication
• BIB
A bipartite graph is {\em pseudo 2--factor isomorphic} if all its 2--factors have the same parity of number of circuits. In \cite{ADJLS} we proved that the only essentially 4--edge-connected pseudo 2--factor isomorphic cubic bipartite graph of girth 4 is $K_{3,3}$, and conjectured \cite[Conjecture 3.6]{ADJLS} that the only essentially 4--edge-connected cubic bipartite graphs are $K_{3,3}$, the Heawood graph and the Pappus graph.
There exists a characterization of symmetric configurations $n_3$ %{\bf decide notation and how to use it in the rest of the paper} due to Martinetti (1886) in which all symmetric configurations $n_3$ can be obtained from an infinite set of so called {\em irreducible} configurations \cite{VM}. The list of irreducible configurations has been completed by Boben \cite{B} in terms of their {\em irreducible Levi graphs}.
In this paper we characterize irreducible pseudo 2--factor isomorphic cubic bipartite graphs proving that the only pseudo 2--factor isomorphic irreducible Levi graphs are the Heawood and Pappus graphs. Moreover, the obtained characterization allows us to partially prove the above Conjecture.
The surface of a lattice polytope
My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory.
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.