Showing 20 papers (Total: 83502 papers, 48219 authors in database)
The motif problem
Fix a choice and ordering of four pairwise non-adjacent vertices of a parallelepiped, and call a motif a sequence of four points in R^3 that coincide with these vertices for some, possibly degenerate, parallelepiped whose edges are parallel to the axes. We show that a set of r points can contain at most r^2 motifs. Generalizing the notion of motif to a sequence of L points in R^p, we show that the maximum number of motifs that can occur in a point set of a given size is related to a linear programming problem arising from hypergraph theory, and discuss some related questions.
Derivations and identities for Kravchuk polynomials
Published in Ukrainian Mathematical Journal, 2014, Vol.65, No.12, p.1-19
• View Publication
• BIB
We introduce the notion of Kravchuk derivations of the polynomial algebra. We prove that any element of the kernel of the derivation gives a polynomial identity satisfied by the Kravchuk polynomials. Also, we prove that any kernel element of the basic Weitzenbök derivations yields a polynomial identity satisfied by the Kravchuk polynomials. We describe the corresponding intertwining maps.
Full automorphism groups of association schemes based on attenuated spaces
Published
• View Publication
• BIB
The set of subspaces with a given dimension in an attenuated space has a structure of a symmetric association scheme, which is a generalization of both Grassmann schemes and bilinear forms schemes. In [K. Wang, J. Guo, F. Li, Association schemes based on attenuated space, European J. Combin. 31 (2010) 297--305], its intersection numbers were computed. In this paper, we determine its full automorphism group.
An upper bound for the crossing number of augmented cubes
Published
• View Publication
• BIB
A {\it good drawing} of a graph $G$ is a drawing where the edges are non-self-intersecting and each two edges have at most one point in common, which is either a common end vertex or a crossing. The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a good drawing of $G$ in the plane. The {\it $n$-dimensional augmented cube} $AQ_n$, proposed by S.A. Choudum and V. Sunitha, is an important interconnection network with good topological properties and applications. In this paper, we obtain an upper bound on the crossing number of $AQ_n$ less than $26/324^{n}-(2n^2+7/2n-6)2^{n-2}$.
On minimal factorizations of words as products of palindromes
Given a finite word u, we define its palindromic length |u|_{pal} to be the least number n such that u=v_1v_2... v_n with each v_i a palindrome. We address the following open question: Does there exist an infinite non ultimately periodic word w and a positive integer P such that |u|_{pal}<P for each factor u of w? We give a partial answer to this question by proving that if an infinite word w satisfies the so-called (k,l)-condition for some k and l, then for each positive integer P there exists a factor u of w whose palindromic length |u|_{pal}>P. In particular, the result holds for all the k-power-free words and for the Sierpinski word.
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.