sequence
6845 papers tagged with this keyword
Counting Keith numbers
A Keith number is a positive integer N with the decimal representation a_1a_2...a_n such that n>=2 and N appears in the sequence (K_m) given by the recurrence K_1=a_1,...,K_n=a_n and K_m=K_{m-1}+K_{m-2}+...+K_{m-n} for m>n. We prove that there are only finitely many Keith numbers using only one decimal digit (i.e., a_1=a_2=...=a_n), and that the set of Keith numbers is of asymptotic density zero.
Kempf collapsing and quiver loci
Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, we can use the desingularization to give also a formula for the G-equivariant K-class of the image, whose leading term is the multidegree.
Our application is to quiver loci and quiver polynomials. Let Q be a quiver of finite type (A, D, or E, in arbitrary orientation), and assign a vector space to each vertex. Let \Hom denote the (linear) space of representations of Q with these vector spaces. This carries an action of GL, the product of the general linear groups of the individual vector spaces. A_quiver locus_ Ωis the closure in \Hom of a GL-orbit, and its multidegree is the corresponding _quiver polynomial_. Reineke [2004] proved that every ADE quiver locus is the image of a birational Kempf collapsing (giving a desingularization directly).
Using Reineke's collapsings, we give formulae for ADE quiver polynomials, previously only computed in type A (though in this case, our formulae are new). In the A and D cases quiver loci are known to have rational singularities [Bobiński-Zwara 2002], so we also get formulae for their K-classes, which had previously only been computed in equioriented type A (and again our formulae are new).
The Combinatorics of Quiver Representations
Published
• View Publication
• BIB
We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.
The smallest degree sum that yields potentially K_{r+1}-Z-graphical Sequences
Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). We use the symbol $Z_4$ to denote $K_4-P_2.$ A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $σ(K_{r+1}-Z, n)$ for $n\geq 5r+19, r+1 \geq k \geq 5,$ $j \geq 5$ where $Z$ is a graph on $k$ vertices and $j$ edges which contains a graph $Z_4$ but not contains a cycle on 4 vertices. We also determine the values of $σ(K_{r+1}-Z_4, n)$, $σ(K_{r+1}-(K_4-e), n)$, $σ(K_{r+1}-K_4, n)$ for $n\geq 5r+16, r\geq 4$. There are a number of graphs on $k$ vertices and $j$ edges which contains a graph $Z_4$ but not contains a cycle on 4 vertices.
Ihara's zeta function for periodic graphs and its approximation in the amenable case
Published in Journal of Functional Analysis 255 (2008) no. 6, 1339-1361
• View Publication
• BIB
In this paper, we give a more direct proof of the results by Clair and Mokhtari-Sharghi on the zeta functions of periodic graphs. In particular, using appropriate operator-algebraic techniques, we establish a determinant formula in this context and examine its consequences for the Ihara zeta function. Moreover, we answer in the affirmative one of the questions raised by Grigorchuk and Zuk. Accordingly, we show that the zeta function of a periodic graph with an amenable group action is the limit of the zeta functions of a suitable sequence of finite subgraphs.
Multiple recurence and convergence for sequences related to the prime numbers
Published
• View Publication
• BIB
For any measure preserving system $(X,\mathcal{X},μ,T)$ and $A\in\mathcal{X}$ with $μ(A)>0$, we show that there exist infinitely many primes $p$ such that $μ\bigl(A\cap T^{-(p-1)}A\cap T^{-2(p-1)}A\bigr) > 0$ (the same holds with $p-1$ replaced by $p+1$). Furthermore, we show the existence of the limit in $L^2(μ)$ of the associated ergodic average over the primes. A key ingredient is a recent result of Green and Tao on the von Mangoldt function. A combinatorial consequence is that every subset of the integers with positive upper density contains an arithmetic progression of length three and common difference of the form $p-1$ (or $p+1$) for some prime $p$.
Multiparking Functions, Graph Searching, and the Tutte Polynomial
A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.
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.
Discrete differential geometry of triangle tiles and algebra of closed trajectories
This paper proposes a new mathematical framework that can be applied to biological problems such as analysis of the structures of proteins and protein complexes. In particular, it gives a new method for encoding the three-dimensional structure of a protein into a binary sequence, where proteins are approximated by a folded tetrahedron sequence. It also gives a new algebraic framework for describing molecular complexes and their interactions.
For simplicity, we shall explain the framework in the case of two-dimensional objects. Then, the binary code of a plane curve is obtained as the ``second derivative'' of the curve and ``fusion and fission'' of closed trajectories is described algebraically.
On a conjecture of Deutsch, Sagan, and Wilson
We prove a recent conjecture due to Deutsch, Sagan, and Wilson stating that the finite sequence obtained from the first p central trinomial coefficients modulo p by replacing nonzero terms by 1's is palindromic, for any prime number p > 3.
Addendum: the result was proved before almost in the same way by Tony D. Noe:
On the Divisibility of Generalized Central Trinomial Coefficients,
Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.7 http://www.cs.uwaterloo.ca/journals/JIS/VOL9/Noe/noe35.html
Unavoidable Parallel Minors of 4-Connected Graphs
Published
• View Publication
• BIB
A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.
Let's Expand Rota's Twelvefold Way For Counting Partitions!
Rota's Twelvefold Way gave formulas for the numbers of partitions which could be formed in twelve scenarios. This proposed AMM article expands Rota's 4 x 3 table. The resulting 6 x 5 table considers a broader collection of splitting-distributing-grouping-arranging scenarios, each of which can be visualized with the distribution of m items into certain kinds of bins. The additional counts or scenarios include: the Bell numbers B(m), the partition numbers p(m), arrangements of m books on b shelves, standings of m teams in a league, arrangements of m books into b scattered stacks, and pairings of 2m items. Teaching remarks are included. The two additional rows (due to K. Bogart) consider ordering the items within the bins. One additional column distributes the items into an unspecified number of bins, each receiving at least one item. The other (due to T. Brylawski) distributes the items into bins such that the number of bins containing a given number of items is specified. The quotient and summation relationships amongst the thirty counts are stated. A closely related table formed by the same six rows and seven certain columns is used to complete and to organize a 6 x 7 family of counting sequences in the On-Line Encyclopedia of Integer Sequences.
Simplicial cycles and the computation of simplicial trees
Published
• View Publication
• BIB
We generalize the concept of a cycle from graphs to simplicial
complexes. We show that a simplicial cycle is either a sequence of
facets connected in the shape of a circle, or is a cone over such a
structure. We show that a simplicial tree is a connected cycle-free
simplicial complex, and use this characterization to produce an
algorithm that checks in polynomial time whether a simplicial
complex is a tree. We also present an efficient algorithm for
checking whether a simplicial complex is grafted, and therefore
Cohen-Macaulay.
Face ring multiplicity via CM-connectivity sequences
Published
• View Publication
• BIB
The multiplicity conjecture of Herzog, Huneke, and Srinivasan is verified for the face rings of the following classes of simplicial complexes: matroid complexes, complexes of dimension one and two, and Gorenstein complexes of dimension at most four. The lower bound part of this conjecture is also established for the face rings of all doubly Cohen-Macaulay complexes whose 1-skeleton's connectivity does not exceed the codimension plus one as well as for all (d-1)-dimensional d-Cohen-Macaulay complexes. The main ingredient of the proofs is a new interpretation of the minimal shifts in the resolution of the face ring via the Cohen-Macaulay connectivity of the skeletons of the complex.
Integer sequences and matrices over finite fields
Published in Journal of Integer Sequences, 9, 2006, Article 06.2.1
• Search Publication
In this expository article we collect the integer sequences that count several different types of matrices over finite fields and provide references to the Online Encyclopedia of Integer Sequences (OEIS). Section 1 contains the sequences, their generating functions, and examples. Section 2 contains the proofs of the formulas for the coefficients and the generating functions of those sequences if the proofs are not easily available in the literature. The cycle index for matrices is an essential ingredient in most of the derivations.
Statistics on Ordered Partitions of Sets and q-Stirling Numbers
An ordered partition of [n]:={1,2,..., n} is a sequence of its disjoint subsets whose union is [n]. The number of ordered partitions of [n] with k blocks is k!S(n,k), where S(n,k) is the Stirling number of second kind. In this paper we prove some refinements of this formula by showing that the generating function of some statistics on the set of ordered partitions of [n] with k blocks is a natural $q$-analogue of k!S(n,k). In particular, we prove several conjectures of Steingrímsson. To this end, we construct a mapping from ordered partitions to walks in some digraphs and then, thanks to transfer-matrix method, we determine the corresponding generating functions by determinantal computations.
Complete Padovan sequences in finite fields
Published in Fibonacci Quart. 45 (2007), no. 1, 64-75
• View Publication
• BIB
Given a prime $p\ge 5$, and given $1<κ<p-1$, we call a sequence $(a_n)_{n}$ in $\mathbb{F}_p$ a $Φ_κ$-sequence if it is periodic with period $p-1$, and if it satisfies the linear recurrence $a_n+a_{n+1}=a_{n+κ}$ with $a_0=1$. Such a sequence is said to be a complete $Φ_κ$-sequence if in addition $\{a_0,a_1,...,a_{p-2}\}=\{1,...,p-1\}$. For instance, every primitive root $b$ mod $p$ generates a complete $Φ_κ$-sequence $a_n=b^n$ for some (unique) $κ$. A natural question is whether every complete $Φ_κ$-sequence is necessarily defined by a primitive root. For $κ=2$ the answer is known to be positive. In this paper we reexamine that case and investigate the case $κ=3$ together with the associated cases $κ=p-2$ and $κ=p-3$.
Graphs with Given Degree Sequence and Maximal Spectral Radius
Published in Electr. J. Comb. 15(1), R119, 2008
• Search Publication
We describe the structure of those graphs that have largest spectral radius in the class of all connected graphs with a given degree sequence. We show that in such a graph the degree sequence is non-increasing with respect to an ordering of the vertices induced by breadth-first search. For trees the resulting structure is uniquely determined up to isomorphism. We also show that the largest spectral radius in such classes of trees is strictly monotone with respect to majorization.
The enumeration of planar graphs via Wick's theorem
Published
• View Publication
• BIB
A seminal technique of theoretical physics called Wick's theorem interprets the Gaussian matrix integral of the products of the trace of powers of Hermitian matrices as the number of labelled maps with a given degree sequence, sorted by their Euler characteristics. This leads to the map enumeration results analogous to those obtained by combinatorial methods. In this paper we show that the enumeration of the graphs embeddable on a given 2-dimensional surface (a main research topic of contemporary enumerative combinatorics) can also be formulated as the Gaussian matrix integral of an ice-type partition function. Some of the most puzzling conjectures of discrete mathematics are related to the notion of the cycle double cover. We express the number of the graphs with a fixed directed cycle double cover as the Gaussian matrix integral of an Ihara-Selberg-type function.