Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Spanning trees and Khovanov homology
Published in Proc. Amer. Math. Soc., 137 (2009), 2157-2167.
• View Publication
• BIB
The Jones polynomial can be expressed in terms of spanning trees of the graph obtained by checkerboard coloring a knot diagram. We show there exists a complex generated by these spanning trees whose homology is the reduced Khovanov homology. The spanning trees provide a filtration on the reduced Khovanov complex and a spectral sequence that converges to its homology. For alternating links, all differentials on the spanning tree complex are zero and the reduced Khovanov homology is determined by the Jones polynomial and signature. We prove some analogous theorems for (unreduced) Khovanov homology.
Counterexamples to the Cubic Graph Domination Conjecture
Let v(G) and dom(G) denote the number of vertices and the domination number of a graph G, and let r (G) = dom(G)/v(G)$. Let [x] and ]x[ be the floor and the ceiling of a number x. In 1996 B. Reed conjectured that if G is a cubic graph, then dom(G) is at most ]v(G)/3[. In 2005 A. Kostochka and B. Stodolsky disproved this conjecture for cubic graphs of connectivity one and maintained that the conjecture may still be true for 2-connected cubic graphs. Their minimum counterexample C has 4 bridges, v(C) = 60, anddom (C) = 21. In this paper we disprove Reed's conjecture for 2-connected cubic graphs by providing a sequence (R(k): k > 2) of cubic graphs of connectivity two with r(R_k) = 1/3 + 1/60, where v(R(k+1)) > v(R(k)) > v(R(3)) = 60 for k > 3, and so dom(R(3)) = 21$ and dom(R(k)) - ]v(R(k))/3[ tends to infinity when k tends to infinity. We also provide a sequence of (L_s: s > 0) of cubic graphs of connectivity one with r(L(s)) > 1/3 + 1/60. The minimum counterexample L = L(1) in this sequence is `better' than C in the sense that L has 2 bridges while C has 4 bridges, v(L) = 54 < 60 = v(C), and r(L) = 1/3 + 1/54} > 1/3 + 1/60 = r(C). We also give a construction providing for every t in {0,1,2} infinitely many cubic cyclically 4-connected Hamiltonian graphs G(t) such that v(G(t)) = t mod 3, t in {0,2} implies dom(G(t)) = ]v(G(r))/3[, and t = 1 implies dom(G(t)) = [v(G(r))/3]. At last we suggest a stronger conjecture on domination in cubic 3-connected graphs.
On asymptotics, Stirling numbers, Gamma function and polylogs
We apply the Euler--Maclaurin formula to find the asymptotic expansion of the sums $\sum_{k=1}^n (\log k)^p / k^q$, ~$\sum k^q (\log k)^p$, ~$\sum (\log k)^p /(n-k)^q$, ~$\sum 1/k^q (\log k)^p $ in closed form to arbitrary order ($p,q \in\N$). The expressions often simplify considerably and the coefficients are recognizable constants. The constant terms of the asymptotics are either $ζ^{(p)}(\pm q)$ (first two sums), 0 (third sum) or yield novel mathematical constants (fourth sum). This allows numerical computation of $ζ^{(p)}(\pm q)$ faster than any current software. One of the constants also appears in the expansion of the function $\sum_{n\geq 2} (n\log n)^{-s}$ around the singularity at $s=1$; this requires the asymptotics of the incomplete gamma function. The manipulations involve polylogs for which we find a representation in terms of Nielsen integrals, as well as mysterious conjectures for Bernoulli numbers. Applications include the determination of the asymptotic growth of the Taylor coefficients of $(-z/\log(1-z))^k$. We also give the asymptotics of Stirling numbers of first kind and their formula in terms of harmonic numbers.
Generating loop graphs via Hopf algebra in quantum field theory
Published in J.Math.Phys.47:122302,2006
• View Publication
• BIB
We use the Hopf algebra structure of the time-ordered algebra of field operators to generate all connected weighted Feynman graphs in a recursive and efficient manner. The algebraic representation of the graphs is such that they can be evaluated directly as contributions to the connected n-point functions. The recursion proceeds by loop order and vertex number.
Blocks of cyclotomic Hecke algebras
Published in Adv. Math, Volume 216, Issue 2, 20 December 2007, Pages 854-878
• View Publication
• BIB
This paper classifies the blocks of the cyclotomic Hecke algebras of type G(r,1,n) over an arbitrary field. Rather than working with the Hecke algebras directly we work instead with the cyclotomic Schur algebras. The advantage of these algebras is that the cyclotomic Jantzen sum formula gives an easy combinatorial characterization of the blocks of the cyclotomic Schur algebras. We obtain an explicit description of the blocks by analyzing the combinatorics of `Jantzen equivalence'.
We remark that a proof of the classification of the blocks of the cyclotomic Hecke algebras was announced in 1999. Unfortunately, Cox has discovered that this previous proof is incomplete.
A cohomological interpretation of Brion's formula
Published in Homology, Homotopy and Applications 9 (2007), No. 2, pp. 321-336
• View Publication
• BIB
A subset K of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in K. Under suitable hypotheses, this series represents a rational function R(K). Michel Brion has discovered a surprising formula relating the rational function R(P) of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The result is re-phrased and generalised in the language of cohomology of line bundles on complete toric varieties. Brion's formula is the special case of an ample line bundle on a projective toric variety. - The paper also contains some general remarks on the cohomology of torus-equivariant line bundles on complete toric varieties, valid over noetherian ground rings.
Distinguishing colorings of Cartesian products of complete graphs
Published
• View Publication
• BIB
We determine the values of s and t for which there is a coloring of the edges of the complete bipartite graph K_{s,t} which admits only the identity automorphism. In particular this allows us to determine the distinguishing number of the Cartesian product of complete graphs.
Angle sums on polytopes and polytopal complexes
We will study the angle sums of polytopes, listed in the $α$-vector, working to exploit the analogy between the f-vector of faces in each dimension and the alpha-vector of angle sums. The Gram and Perles relations on the $α$-vector are analogous to the Euler and Dehn-Sommerville relations on the f-vector. First we describe the spaces spanned by the the alpha-vector and the $α$-f-vectors of certain classes of polytopes. Families of polytopes are constructed whose angle sums span the spaces of polytopes defined by the Gram and Perles equations. This shows that the dimension of the affine span of the space of angle sums of simplices is floor[(d-1)/2], and that of the combined angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3, respectively. Next we consider angle sums of polytopal complexes. We define the angle characteristic on the alpha-vector in analogy to the Euler characteristic. We show that the changes in the two correspond and that, in the case of certain odd-dimensional polytopal complexes, the angle characteristic is half the Euler characteristic. Finally, we consider spherical and hyperbolic polytopes and polytopal complexes. Spherical and hyperbolic analogs of the Gram relation and a spherical analog of the Perles relation are known, and we show the hyperbolic analog of the Perles relations in a number of cases. Proving this relation for simplices of dimension greater than 3 would finish the proof of this result. Also, we show how constructions on spherical and hyperbolic polytopes lead to corresponding changes in the angle characteristic and Euler characteristic.
Totally Symmetric Self-Complementary Plane Partitions and Quantum Knizhnik-Zamolodchikov equation: a conjecture
Published in J. Stat. Mech. (2006) P09008
• View Publication
• BIB
We present a new conjecture relating the minimal polynomial solution of the level-one $U_q(\frak{sl}(2))$ quantum Knizhnik-Zamolodchikov equation for generic values of $q$ in the link pattern basis and some $q$-enumeration of Totally Symmetric Self-Complementary Plane Partitions.
Hyperdeterminantal calculations of Selberg's and Aomoto's integrals
Published in Molecular Physics 102 n11-12 Special Issue: In Memory of Brian Garner Wybourne (2004) 1351-1359
• View Publication
• BIB
The hyperdeteminants considered here are the simplest analogues of determinants for higher rank tensors which have been defined by Cayley, and apply only to tensors with an even number of indices. We have shown in a previous article that the calculation of certain multidimensional integrals could be reduced to the evaluation of hyperdeterminants of Hankel type. Here, we carry out this computation by purely algebraic means in the cases of Selberg's and Aomoto's integrals.
Extending the scalars of minimizations
Published in SCI, États-Unis d'Amérique (2001)
• Search Publication
In the classical theory of formal languages, finite state automata allow to recognize the words of a rational subset of $Σ^*$ where $Σ$ is a set of symbols (or the alphabet). Now, given a semiring $(\K,+,.)$, one can construct $\K$-subsets of $Σ^*$ in the sense of Eilenberg, that are alternatively called noncommutative formal power series for which a framework very similar to language theory has been constructed Particular noncommutative formal power series, which are called rational series, are the behaviour of a family of weighted automata (or $\K$-automata). In order to get an efficient encoding, it may be interesting to point out one of them with the smallest number of states. Minimization processes of $\K$-automata already exist for $\K$ being: {\bf a)} a field, {\bf b)} a noncommutative field, {\bf c)} a PID . When $\K$ is the bolean semiring, such a minimization process (with isomorphisms of minimal objects) is known within the category of deterministic automata. Minimal automata have been proved to be isomorphic in cases {\bf (a)} and {\bf (b)}. But the proof given for (b) is not constructive. In fact, it lays on the existence of a basis for a submodule of $\K^n$. Here we give an independent algorithm which reproves this fact and an example of a pair of nonisomorphic minimal automata. Moreover, we examine the possibility of extending {\bf (c)}. To this end, we provide an {\em Effective Minimization Process} (or {\em EMP}) which can be used for more general sets of coefficients.
Direct and dual laws for automata with multiplicities
Published in Theoretical Computer Science 267 (2001) 105-120
• View Publication
• BIB
We present here theoretical results coming from the implementation of the package called AMULT (automata with multiplicities in several noncommutative variables). We show that classical formulas are ``almost every time'' optimal, characterize the dual laws preserving rationality and also relators that are compatible with these laws.
Buchsbaum homogeneous algebras with minimal multiplicity
Published
• View Publication
• BIB
In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous $k$-algebras $A$ in terms of the dimension $d$, the codimension $c$, the initial degree $q$, and the length of the local cohomology modules of $A$. Next, we introduce the notion of Buchsbaum $k$-algebras with minimal multiplicity of degree $q$, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras.
Congruences Compatible with the Shuffle Product
Published in Formal Power Series and Algebraic Combinatorics (2000) 422-431
• View Publication
• BIB
This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/\_\equiv=< A; R>$ admits a shuffle product. This decomposition involves only addition of primitive elements to the successive quotients. To end with, we study the compatibility with Magnus transformation and examine the case of congruences which are homogeneous for some weight function. The existence of such a weight function is also showed for congruences of depth one.
Transitive factorizations of free partially commutative monoids and Lie algebras
Published in Discrete Mathematics 246, Issue 1-3 (2002) 83 - 97
• View Publication
• BIB
Let $\M(A,θ)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,θ)=\M(B,θ\_B).T$ be also partially commutative free. This extends strictly the (classical) elimination theory on partial commutations and allows to construct new factorizations of $\M(A,θ)$ and associated bases of $L\_K(A,θ)$.
Superregular Matrices and the Construction of Convolutional Codes having a Maximum Distance Profile
Superregular matrices are a class of lower triangular Toeplitz matrices that arise in the context of constructing convolutional codes having a maximum distance profile. These matrices are characterized by the property that no submatrix has a zero determinant unless it is trivially zero due to the lower triangular structure. In this paper, we discuss how superregular matrices may be used to construct codes having a maximum distance profile. We also introduce group actions that preserve the superregularity property and present an upper bound on the minimum size a finite field must have in order that a superregular matrix of a given size can exist over that field.
Convex cones and SAGBI bases of permutation invariants
Published in Invariant theory in all characteristics, volume 35 of CRM Proc. Lecture Notes, pages 259-263, Amer. Math. Soc., Providence, RI, 2004
• Search Publication
Let G be a permutation group acting on {1,...,n}, and < be any admissible term order on the polynomial ring K[x_1,...,x_n]. We prove that the invariant ring K[x_1,...,x_n]^G of G has a finite SAGBI basis if, and only if, G is generated by reflections.
Groups of Intermediate Growth: an Introduction for Beginners
We present an accessible introduction to basic results on groups of intermediate growth.
The Probability of Choosing Primitive Sets
Published in Journal of Number Theory 125 (2007), 39-49
• View Publication
• BIB
We generalize a theorem of Nymann that the density of points in Z^d that are visible from the origin is 1/zeta(d), where zeta(a) is the Riemann zeta function 1/1^a + 1/2^a + 1/3^a + ...
A subset S of Z^d is called primitive if it is a Z-basis for the lattice composed of the integer points in the R-span of S, or, equivalently, if S can be completed to a Z-basis of Z^d. We prove that if m points in Z^d are chosen uniformly and independently at random from a large box, then as the size of the box goes to infinity, the probability that the points form a primitive set approaches 1/[ζ(d)ζ(d-1)...zeta(d-m+1)].
Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras
We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.