Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Posets, Tensor Products and Schur positivity
Published in Algebra Number Theory 8 (2014) 933-961
• View Publication
• BIB
Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset.
Given an element of $P(λ, k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order.
We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.
The (Δ,D) and (Δ,N) problems for New Amsterdam and Manhattan digraphs
We give a quasi-complete solution of the (Δ,N) problem for two well-known families of digraphs used as good models for large interconnection networks. In our study we also relate both families, the New Amsterdam and Manhattan digraphs, with the double-step graphs (or circulant graphs with degree two).
Reflection group relations arising from cluster algebras
Published
• View Publication
• BIB
In this paper, we obtain relations in the Weyl groups of Kac-Moody algebras that come from mutation classes of skew-symmetrizable matrices. These relations generalize those obtained by Barot and Marsh for finite type. As an application, we obtain some combinatorial properties of the mutation classes of skew-symmetrizable matrices.
Connectivity of inhomogeneous random graphs
Published
• View Publication
• BIB
We find conditions for the connectivity of inhomogeneous random graphs with intermediate density. Our results generalize the classical result for G(n, p), when p = c log n/n. We draw n independent points X_i from a general distribution on a separable metric space, and let their indices form the vertex set of a graph. An edge (i,j) is added with probability min(1, \K(X_i,X_j) log n/n), where \K \ge 0 is a fixed kernel. We show that, under reasonably weak assumptions, the connectivity threshold of the model can be determined.
Bounds on connective constants of regular graphs
Published
• View Publication
• BIB
Bounds are proved for the connective constant μ of an infinite, connected, Δ-regular graph G. The main result is that μ \ge \sqrt{Δ-1} if G is vertex-transitive and simple. This inequality is proved subject to weaker conditions under which it is sharp.
On the convergence of the affine hull of the Chvátal-Gomory closures
Published
• View Publication
• BIB
Given an integral polyhedron P and a rational polyhedron Q living in the same n-dimensional space and containing the same integer points as P, we investigate how many iterations of the Chvátal-Gomory closure operator have to be performed on Q to obtain a polyhedron contained in the affine hull of P. We show that if P contains an integer point in its relative interior, then such a number of iterations can be bounded by a function depending only on n. On the other hand, we prove that if P is not full-dimensional and does not contain any integer point in its relative interior, then no finite bound on the number of iterations exists.
Diagrammatic description of c-vectors and d-vectors of cluster algebras of finite type
Published in The Electronic Journal of Combinatorics, Volume 21, Issue 1 (2014), P1.3
• View Publication
• BIB
We provide an explicit Dynkin diagrammatic description of the c-vectors and the d-vectors (the denominator vectors) of any cluster algebra of finite type with principal coefficients and any initial exchange matrix. We use the surface realization of cluster algebras for types A_n and D_n, then we apply the folding method to D_{n+1} and A_{2n-1} to obtain types B_n and C_n. Exceptional types are done by direct inspection with the help of a computer algebra software. We also propose a conjecture on the root property of c-vectors for a general cluster algebra.
Compatibly split subvarieties of the Hilbert scheme of points in the plane
Let k be an algebraically closed field of characteristic p>2. By a result of Kumar and Thomsen, the standard Frobenius splitting of the affine plane induces a Frobenius splitting of the Hilbert scheme of n points in the plane. In this thesis, we investigate the question, "what is the stratification of the Hilbert scheme of points in the plane by all compatibly Frobenius split subvarieties?"
We provide the answer to this question when n is at most 4 and we give a conjectural answer when n=5. We prove that this conjectural answer is correct up to the possible inclusion of one particular one-dimensional subvariety of the Hilbert scheme of 5 points, and we show that this particular one-dimensional subvariety is not compatibly split for at least those primes p between 3 and 23.
Next, we restrict the splitting of the Hilbert scheme of n points in the plane (now for arbitrary n) to the affine open patch U_<x,y^n> and describe all compatibly split subvarieties of this patch and their defining ideals. We find degenerations of these subvarieties to Stanley-Reisner schemes, explicitly describe the associated simplicial complexes, and use these complexes to prove that certain compatibly split subvarieties of U_<x,y^n> are Cohen-Macaulay.
Euler's idoneal numbers and an inequality concerning minimal graphs with a prescribed number of spanning trees
Published
• View Publication
• BIB
Let $α(n)$ be the least number $k$ for which there exists a simple graph with $k$ vertices having precisely $n \geq 3$ spanning trees. Similarly, define $β(n)$ as the least number $k$ for which there exists a simple graph with $k$ edges having precisely $n \geq 3$ spanning trees. As an $n$-cycle has exactly $n$ spanning trees, it follows that $α(n),β(n) \leq n$. In this paper, we show that $α(n) \leq \frac{n+4}{3}$ and $β(n) \leq \frac{n+7}{3} $ if and only if $n \notin {3,4,5,6,7,9,10,13,18,22}$, which is a subset of Euler's idoneal numbers. Moreover, if $n \not \equiv 2 \pmod{3}$ and $n \not = 25$ we show that $α(n) \leq \frac{n+9}{4}$ and $β(n) \leq \frac{n+13}{4}.$ This improves some previously known bounds.
Sharp upper and lower bounds on the number of spanning trees in Cartesian product of graphs
Published
• View Publication
• BIB
Let $G_1$ and $G_2$ be simple graphs and let $n_1 = |V(G_1)|$, $m_1 = |E(G_1)|$, $n_2 = |V(G_2)|$ and $m_2 = |E(G_2)|.$ In this paper we derive sharp upper and lower bounds for the number of spanning trees $τ$ in the Cartesian product $G_1 \square G_2$ of $G_1$ and $G_2$. We show that: $$ τ(G_1 \square G_2) \geq \frac{2^{(n_1-1)(n_2-1)}}{n_1n_2} (τ(G_1) n_1)^{\frac{n_2+1}{2}} (τ(G_2)n_2)^{\frac{n_1+1}{2}}$$ and $$τ(G_1 \square G_2) \leq τ(G_1)τ(G_2) [\frac{2m_1}{n_1-1} + \frac{2m_2}{n_2-1}]^{(n_1-1)(n_2-1)}.$$ We also characterize the graphs for which equality holds. As a by-product we derive a formula for the number of spanning trees in $K_{n_1} \square K_{n_2}$ which turns out to be $n_{1}^{n_1-2}n_2^{n_2-2}(n_1+n_2)^{(n_1-1)(n_2-1)}.$
Moore graphs and cycles are extremal graphs for convex cycles
Published
• View Publication
• BIB
Let $ρ(G)$ denote the number of convex cycles of a simple graph G of order n, size m, and girth 3 <= g <=n. It is proved that $ρ(G) \leq \frac{n}{g}(m-n+1)$ and that equality holds if and only if G is an even cycle or a Moore graph. The equality also holds for a possible Moore graph of diameter 2 and degree 57 thus giving a new characterization of Moore graphs.
A Necessary Solution Condition for Sudoku
We develop a new discrete mathematical model which includes the classical Sudoku puzzle, Latin Squares and gerechte designs. This problem is described by integer equations and a special type of inequality constraint. We consider solutions of this generalized problem and derive a necessary condition on these solutions. The results are illustrated with examples.
On the Summability of Bivariate Rational Functions
Published
• View Publication
• BIB
We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated, first, in terms of single sums and, finally, in terms of values of special functions.
Matroid and Tutte-connectivity in infinite graphs
Published
• View Publication
• BIB
We relate matroid connectivity to Tutte-connectivity in an infinite graph. Moreover, we show that the two cycle matroids, the finite-cycle matroid and the cycle matroid, in which also infinite cycles are taken into account, have the same connectivity function. As an application we re-prove that, also for infinite graphs, Tutte-connectivity is invariant under taking dual graphs.
Quantum Matrices by Paths
Published in Algebra Number Theory 8 (2014) 1857-1912
• View Publication
• BIB
We study, from a combinatorial viewpoint, the quantized coordinate ring of mxn matrices over an infinite field K (also called quantum matrices) and its torus-invariant prime ideals. The first part of this paper shows that this algebra, traditionally defined by generators and relations, can be seen as subalgebra of a quantum torus by using paths in a certain directed graph. Roughly speaking, we view each generator of quantum matrices as a sum over paths in the graph, each path being assigned an element of the quantum torus. The quantum matrices relations then arise naturally by considering intersecting paths. This viewpoint is closely related to Cauchon's deleting-derivations algorithm.
The second part of this paper is to apply the paths viewpoint to the theory of torus-invariant prime ideals of quantum matrices. We prove a conjecture of Goodearl and Lenagan that all such prime ideals, when the quantum parameter q is a non-root of unity, have generating sets consisting of quantum minors. Previously, this result was known to hold only for char(K)=0 and q transcendental over Q. Our strategy is to show that the quantum minors in a given torus-invariant ideal form a Grobner basis.
New Computational Upper Bounds for Ramsey Numbers R(3,k)
Published in Electron. J. Comb. 20(1) (2013)
• View Publication
• BIB
Using computational techniques we derive six new upper bounds on the classical two-color Ramsey numbers: R(3,10) <= 42, R(3,11) <= 50, R(3,13) <= 68, R(3,14) <= 77, R(3,15) <= 87, and R(3,16) <= 98. All of them are improvements by one over the previously best known bounds.
Let e(3,k,n) denote the minimum number of edges in any triangle-free graph on n vertices without independent sets of order k. The new upper bounds on R(3,k) are obtained by completing the computation of the exact values of e(3,k,n) for all n with k <= 9 and for all n <= 33 for k = 10, and by establishing new lower bounds on e(3,k,n) for most of the open cases for 10 <= k <= 15. The enumeration of all graphs witnessing the values of e(3,k,n) is completed for all cases with k <= 9. We prove that the known critical graph for R(3,9) on 35 vertices is unique up to isomorphism. For the case of R(3,10), first we establish that R(3,10) = 43 if and only if e(3,10,42) = 189, or equivalently, that if R(3,10) = 43 then every critical graph is regular of degree 9. Then, using computations, we disprove the existence of the latter, and thus show that R(3,10) <= 42.
A Generalization of Lee Codes
Published
• View Publication
• BIB
Motivated by a problem in computer architecture we introduce a notion of the perfect distance-dominating set, PDDS, in a graph. PDDSs constitute a generalization of perfect Lee codes, diameter perfect codes, as well as other codes and dominating sets. In this paper we initiate a systematic study of PDDSs. PDDSs related to the application will be constructed and the non-existence of some PDDSs will be shown. In addition, an extension of the long-standing Golomb-Welch conjecture, in terms of PDDS, will be stated. We note that all constructed PDDSs are lattice-like which is a very important feature from the practical point of view as in this case decoding algorithms tend to be much simpler.
The most frequent peak set of a random permutation
Given a subset $S\subseteq\mathbb{P}$, let $\Pa(S;n)$ be the number of permutations in the symmetric group of ${1,2,...,n}$ that have peak set $S$. We prove a recent conjecture due to Billey, Burdzy and Sagan, which determines the sets that maximize $\Pa(S;n)$, where $S$ ranges over all subsets of ${1,2,...,n}$.
Properties of perfect transitive binary codes of length 15 and extended perfect transitive binary codes of length 16
Some properties of perfect transitive binary codes of length 15 and extended perfect transitive binary codes of length 16 are presented for reference purposes.
Refined enumeration of permutations sorted with two stacks and a D_8-symmetry
Published
• View Publication
• BIB
We study permutations that are sorted by operators of the form $\mathbf{S} \circ α\circ \mathbf{S}$, where $\mathbf{S}$ is the usual stack sorting operator introduced by D. Knuth and $α$ is any $D_8$-symmetry obtained combining the classical reverse, complement and inverse operations. Such permutations can be characterized by excluded (generalized) patterns. Some conjectures about the enumeration of these permutations, refined with numerous classical statistics, have been proposed by A. Claesson, M. Dukes and E. Steingrímsson. We prove these conjectures, and enrich one of them with a few more statistics. The proofs mostly rely on generating trees techniques, and on a recent bijection of S. Giraudo between Baxter and twisted Baxter permutations.