Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A remark on some bases in the Hecke algebra
We consider some bases in the Hecke algebra and exhibit certain dualities between them.
On Rainbow-$k$-Connectivity of Random Graphs
Published
• View Publication
• BIB
A path in an edge-colored graph is called a \emph{rainbow path} if all edges on it have pairwise distinct colors. For $k\geq 1$, the \emph{rainbow-$k$-connectivity} of a graph $G$, denoted $rc_k(G)$, is the minimum number of colors required to color the edges of $G$ in such a way that every two distinct vertices are connected by at least $k$ internally disjoint rainbow paths. In this paper, we study rainbow-$k$-connectivity in the setting of random graphs. We show that for every fixed integer $d\geq 2$ and every $k\leq O(\log n)$, $p=\frac{(\log n)^{1/d}}{n^{(d-1)/d}}$ is a sharp threshold function for the property $rc_k(G(n,p))\leq d$. This substantially generalizes a result due to Caro et al., stating that $p=\sqrt{\frac{\log n}{n}}$ is a sharp threshold function for the property $rc_1(G(n,p))\leq 2$. As a by-product, we obtain a polynomial-time algorithm that makes $G(n,p)$ rainbow-$k$-connected using at most one more than the optimal number of colors with probability $1-o(1)$, for all $k\leq O(\log n)$ and $p=n^{-ε(1\pm o(1))}$ for some constant $ε\in[0,1)$.
On tight Euclidean $6$-designs: an experimental result
Published in ITB Journal of Science, Vol. 43 A, No. 1, 2011, 19-42
• View Publication
• BIB
A finite set $X \seq \RR^n$ with a weight function $w : X \longrightarrow \RR_{>0}$ is called \emph{Euclidean $t$-design} in $\RR^n$ (supported by $p$ concentric spheres) if the following condition holds: \[ \sum_{i=1}^p \frac{w(X_i)}{|S_i|}\int_{S_i} f(\boldsymbol x)dσ_i(\boldsymbol x) =\sum_{\boldsymbol x \in X}w(\boldsymbol x) f(\boldsymbol x), \] for any polynomial $f(\boldsymbol x) \in \mbox{Pol}(\RR^n)$ of degree at most $t$. Here $S_i \seq \RR^n$ is a sphere of radius $r_i \geq 0,$ $X_i=X \cap S_i,$ and $σ_i(\boldsymbol x)$ is an $O(n)$-invariant measure on $S_i$ such that $|S_i|=r_i^{n-1}|S^{n-1}|$, with $|S_i|$ is the surface area of $S_i$ and $|S^{n-1}|$ is a surface area of the unit sphere in $\RR^n$.
Recently, Bajnok (2006) constructed tight Euclidean $t$-designs in the plane ($n=2$) for arbitrary $t$ and $p.$ In this paper we show that for case $t=6$ and $p=2,$ tight Euclidean $6$-designs constructed by Bajnok is the unique configuration in $\RR^n$, for $2 \leq n \leq 8.$
The Graph Isomorphism Problem and approximate categories
Published
• View Publication
• BIB
It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many pairs of graphs, but the pairs of non-isomorphic graphs constructed by Cai, Furer and Immerman it cannot distinguish. If d is fixed, then the WL-algorithm runs in polynomial time. We will formulate the Graph Isomorphism Problem as an Orbit Problem: Given a representation V of an algebraic group G and two elements v_1,v_2 in V, decide whether v_1 and v_2 lie in the same G-orbit. Then we attack the Orbit Problem by constructing certain approximate categories C_d(V), d=1,2,3,... whose objects include the elements of V. We show that v_1 and v_2 are not in the same orbit by showing that they are not isomorphic in the category C_d(V) for some d. For every d this gives us an algorithm for isomorphism testing. We will show that the WL-algorithms reduce to our algorithms, but that our algorithms cannot be reduced to the WL-algorithms. Unlike the Weisfeiler-Lehman algorithm, our algorithm can distinguish the Cai-Furer-Immerman graphs in polynomial time.
Minimum k-path vertex cover
Published in Discrete Applied Mathematics Volume 159, Issue 12, 28 July 2011, Pages 1189-1195
• View Publication
• BIB
A subset S of vertices of a graph G is called a k-path vertex cover if every path of order k in G contains at least one vertex from S. Denote by ψ_k(G) the minimum cardinality of a k-path vertex cover in G. It is shown that the problem of determining ψ_k(G) is NP-hard for each k \geq 2, while for trees the problem can be solved in linear time. We investigate upper bounds on the value of ψ_k(G) and provide several estimations and exact values of ψ_k(G). We also prove that ψ_3(G) \leq (2n + m)/6, for every graph G with n vertices and m edges.
On Skew Hadamard difference sets
In this paper we construct exponentionally many non-isomorphic skew Hadamard difference sets over an elementary abelian group of order $q^3$.
Littlewood-Richardson coefficients for reflection groups
Published in Advances in Math. vol 284, 22 (2015), 54-111
• View Publication
• BIB
In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given in terms of the Cartan matrix and the Weyl group of G. However, if some off-diagonal entries of the Cartan matrix are 0 or -1, the formula may contain negative summands. On the other hand, if the Cartan matrix satisfies $a_{ij}a_{ji}\ge 4$ for all $i,j$, then each summand in our formula is nonnegative that implies nonnegativity of all Littlewood-Richardson coefficients. We extend this and other results to the structure coefficients of the T-equivariant cohomology of flag varieties G/P and Bott-Samelson varieties Gamma_\ii(G).
The odd Catalan numbers modulo 2^k
Published
• View Publication
• BIB
We study the properties of the odd Catalan numbers, C_n, modulo 2^k for k >= 2. We show that there exist only k - 1 different congruences of the odd Catalan numbers modulo 2^k. Moreover, these congruences can be obtained by C_{2^m - 1} (mod 2^k) for m = 1, 2, ..., k - 1.
A New Algorithm for Evaluating Determinants -- The Reduction Method
We present here a new method for evaluating determinants -- the reduction method. Firstly, in the section 2, we apply it to third-order determinants and after, in the section 3, we generalize it to higher-order determinants. In the section 4 an alternative formulation of the reduction method is presented and, in the section 5, we give the respective mathematical proofs.
Spans of Preference Functions for De Bruijn Sequences
Published
• View Publication
• BIB
A nonbinary Ford sequence is a de Bruijn sequence generated by simple rules that determine the priorities of what symbols are to be tried first, given an initial word of size $n$ which is the order of the sequence being generated. This set of rules is generalized by the concept of a preference function of span $n-1$, which gives the priorities of what symbols to appear after a substring of size $n-1$ is encountered. In this paper we characterize preference functions that generate full de Bruijn sequences. More significantly, We establish that any preference function that generates a de Bruijn sequence of order $n$ also generates de Bruijn sequences of all orders higher than $n$, thus making the Ford sequence no special case. Consequently, we define the preference function complexity of a de Bruijn sequence to be the least possible span of a preference function that generates this de Bruijn sequence.
Generalization of the Bollobás-Riordan polynomial for tensor graphs
Published in J. Math. Phys. 52, 073514 (2011)
• View Publication
• BIB
Tensor models are used nowadays for implementing a fundamental theory of quantum gravity. We define here a polynomial $\mathcal T$ encoding the supplementary topological information. This polynomial is a natural generalization of the Bollobás-Riordan polynomial (used to characterize matrix graphs) and is different of the Gur\uau polynomial, (R. Gur\uau, "Topological Graph Polynomials in Colored Group Field Theory", Annales Henri Poincare {\bf 11}, 565-584 (2010)) defined for a particular class of tensor graphs, the colorable ones. The polynomial $\mathcal T$ is defined for both colorable and non-colorable graphs and it is proved to satisfy the contraction/deletion relation. A non-trivial example of a non-colorable graphs is analyzed.
On the Lipschitz Constant of the RSK Correspondence
Published in Journal of Combinatorial Theory, Series A, 119(1):63-82, 2012
• View Publication
• BIB
We view the RSK correspondence as associating to each permutation $π\in S_n$ a Young diagram $λ=λ(π)$, i.e. a partition of $n$. Suppose now that $π$ is left-multiplied by $t$ transpositions, what is the largest number of cells in $λ$ that can change as a result? It is natural refer to this question as the search for the Lipschitz constant of the RSK correspondence.
We show upper bounds on this Lipschitz constant as a function of $t$. For $t=1$, we give a construction of permutations that achieve this bound exactly. For larger $t$ we construct permutations which come close to matching the upper bound that we prove.
The cyclotomic polynomial topologically
Published
• View Publication
• BIB
We interpret the coefficients of the cyclotomic polynomial in terms of simplicial homology.
Some remarks on structural matrix rings and matrices with ideal entries
Published in Miskolc Mathematical Notes 12 (2011) 25-29
• View Publication
• BIB
Associating to each pre-order on the indices 1,...,n the corresponding structural matrix ring, or incidence algebra, embeds the lattice of n-element pre-orders into the lattice of n x n matrix rings. Rings within the order-convex hull of the embedding, i.e. matrix rings that contain the ring of diagonal matrices, can be viewed as incidence algebras of ideal-valued, generalized pre-order relations. Certain conjugates of the upper or lower triangular matrix rings correspond to the various linear orderings of the indices, and the incidence algebras of partial orderings arise as intersections of such conjugate matrix rings.
On the flag f-vector of a graded lattice with nontrivial homology
Published
• View Publication
• BIB
It is proved that the Boolean algebra of rank n minimizes the flag f-vector among all graded lattices of rank n, whose proper part has nontrivial top-dimensional homology. The analogous statement for the flag h-vector is conjectured in the Cohen-Macaulay case.
Geometry of free cyclic submodules over ternions
Published in Abh. Math. Sem. Univ. Hamburg 81 (2011), 237-249
• View Publication
• BIB
Given the algebra $T$ of ternions (upper triangular $2\times 2$ matrices) over a commutative field $F$ we consider as set of points of a projective line over $T$ the set of all free cyclic submodules of $T^2$. This set of points can be represented as a set of planes in the projective space over $F^6$. We exhibit this model, its adjacency relation, and its automorphic collineations. Despite the fact that $T$ admits an $F$-linear antiautomorphism, the plane model of our projective line does not admit any duality.
On the approximability and exact algorithms for vector domination and related problems in graphs
Published in Discrete Applied Mathematics 2012 (online)
• View Publication
• BIB
We consider two graph optimization problems called vector domination and total vector domination. In vector domination one seeks a small subset S of vertices of a graph such that any vertex outside S has a prescribed number of neighbors in S. In total vector domination, the requirement is extended to all vertices of the graph. We prove that these problems (and several variants thereof) cannot be approximated to within a factor of clnn, where c is a suitable constant and n is the number of the vertices, unless P = NP. We also show that two natural greedy strategies have approximation factors ln D+O(1), where D is the maximum degree of the input graph. We also provide exact polynomial time algorithms for several classes of graphs. Our results extend, improve, and unify several results previously known in the literature.
Fibonacci Designs
A Metis design is one for which v=r+k+1. This paper deals with Metis designs that are quasi-residual. The parameters of such designs and the corresponding symmetric designs can be expressed by Fibonacci numbers. Although the question of existence seems intractable because of the size of the designs, the nonexistence of corresponding difference sets can be dealt with in a substantive way. We also recall some inequalities for the number of fixed points of an automorphism of a symmetric design and suggest possible connections to the designs that would be the symmetric extensions of Metis designs.
Counting Unique-Sink Orientations
Published in Discrete Appl. Math., 163/2, pp. 155-164, 2014
• View Publication
• BIB
Unique-sink orientations (USOs) are an abstract class of orientations of the n-cube graph. We consider some classes of USOs that are of interest in connection with the linear complementarity problem. We summarise old and show new lower and upper bounds on the sizes of some such classes. Furthermore, we provide a characterisation of K-matrices in terms of their corresponding USOs.
Generalizing Tanisaki's ideal via ideals of truncated symmetric functions
Published in Journal of Algebraic Combinatorics, Volume 37 (2013), 167--199
• View Publication
• BIB
We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.