Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Patterns In The Coefficients Of Powers Of Polynomials Over A Finite Field
We examine the behavior of the coefficients of powers of polynomials over a finite field of prime order. Extending the work of Allouche-Berthe, 1997, we study a(n), the number of occurring strings of length n among coefficients of any power of a polynomial f reduced modulo a prime p. The sequence of line complexity a(n) is p-regular in the sense of Allouche-Shalit. For f=1+x and general p, we derive a recursion relation for a(n) then find a new formula for the generating function for a(n). We use the generating function to compute the asymptotics of a(n)/n^2 as n approaches infinity, which is an explicitly computable piecewise quadratic in x with n= [p^m/x] and x is a real number between 1/p and 1. Analyzing other cases, we form a conjecture about the generating function for general a(n). We examine the matrix B associated with f and p used to compute the count of a coefficient, which applies to the theory of linear cellular automata and fractals. For p=2 and polynomials of small degree we compute the largest positive eigenvalue, λ, of B, related to the fractal dimension d of the corresponding fractal by d= \log_2(λ). We find proofs and make a number of conjectures for some bounds on λ, and upper bounds on its degree.
Blocks of the truncated $q$-Schur algebras of type A
Published
• View Publication
• BIB
This paper classifies the blocks of the truncated $q$-Schur algebras of type $A$ which have as weight poset an arbitrary cosaturated set of partitions.
Building spanning trees quickly in Maker-Breaker games
Published
• View Publication
• BIB
For a tree T on n vertices, we study the Maker-Breaker game, played on the edge set of the complete graph on n vertices, which Maker wins as soon as the graph she builds contains a copy of T. We prove that if T has bounded maximum degree, then Maker can win this game within n+1 moves. Moreover, we prove that Maker can build almost every tree on n vertices in n-1 moves and provide non-trivial examples of families of trees which Maker cannot build in n-1 moves.
Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees
Published
• View Publication
• BIB
We prove that there exist infinite families of regular bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.
We also establish the existence of infinite families of `irregular Ramanujan' graphs, whose eigenvalues are bounded by the spectral radius of their universal cover. Such families were conjectured to exist by Linial and others. In particular, we prove the existence of infinite families of (c,d)-biregular bipartite graphs with all non-trivial eigenvalues bounded by sqrt{c-1}+sqrt{d-1}, for all c, d \geq 3.
Our proof exploits a new technique for demonstrating the existence of useful combinatorial objects that we call the "method of interlacing polynomials'".
Simplifying Multiple Sums in Difference Fields
Published
• View Publication
• BIB
In this survey article we present difference field algorithms for symbolic summation. Special emphasize is put on new aspects in how the summation problems are rephrased in terms of difference fields, how the problems are solved there, and how the derived results in the given difference field can be reinterpreted as solutions of the input problem. The algorithms are illustrated with the Mathematica package \SigmaP\ by discovering and proving new harmonic number identities extending those from (Paule and Schneider, 2003). In addition, the newly developed package \texttt{EvaluateMultiSums} is introduced that combines the presented tools. In this way, large scale summation problems for the evaluation of Feynman diagrams in QCD (Quantum ChromoDynamics) can be solved completely automatically.
The lumpability property for a family of Markov chains on poset block structures
Published in Advances in Applied Mathematics, Volume 51 (2013), Issue 3, 367-391
• View Publication
• BIB
We construct different classes of lumpings for a family of Markov chain products which reflect the structure of a given finite poset. We use essentially combinatorial methods. We prove that, for such a product, every lumping can be obtained from the action of a suitable subgroup of the generalized wreath product of symmetric groups, acting on the underlying poset block structure, if and only if the poset defining the Markov process is totally ordered, and one takes the uniform Markov operator in each factor state space. Finally we show that, when the state space is a homogeneous space associated with a Gelfand pair, the spectral analysis of the corresponding lumped Markov chain is completely determined by the decomposition of the group action into irreducible submodules.
The planar directed k-Vertex-Disjoint Paths problem is fixed-parameter tractable
Published
• View Publication
• BIB
Given a graph G and k pairs of vertices (s_1,t_1), ..., (s_k,t_k), the k-Vertex-Disjoint Paths problem asks for pairwise vertex-disjoint paths P_1, ..., P_k such that P_i goes from s_i to t_i. Schrijver [SICOMP'94] proved that the k-Vertex-Disjoint Paths problem on planar directed graphs can be solved in time n^{O(k)}. We give an algorithm with running time 2^{2^{O(k^2)}} n^{O(1)} for the problem, that is, we show the fixed-parameter tractability of the problem.
Graphs with two trivial critical ideals
Published in Discrete Applied Mathematics 167 (2014) 33-44
• View Publication
• BIB
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. A basic property of the critical ideals of graphs asserts that the graphs with at most k trivial critical ideals, $Γ_{\leq k}$, are closed under induced subgraphs. In this article we find the set of minimal forbidden subgraphs for $Γ_{\leq 2}$, and we use this forbidden subgraphs to get a classification of the graphs in $Γ_{\leq 2}$. As a consequence we give a classification of the simple graphs whose critical group has two invariant factors equal to one. At the end of this article we give two infinite families of forbidden subgraphs.
Canonical representatives for divisor classes on tropical curves and the Matrix-Tree Theorem
Published in Forum Math. Sigma 2 (2014), 25
• View Publication
• BIB
Let $Γ$ be a compact tropical curve (or metric graph) of genus $g$. Using the theory of tropical theta functions, Mikhalkin and Zharkov proved that there is a canonical effective representative (called a break divisor) for each linear equivalence class of divisors of degree $g$ on $Γ$. We present a new combinatorial proof of the fact that there is a unique break divisor in each equivalence class, establishing in the process an "integral" version of this result which is of independent interest. As an application, we provide a "geometric proof" of (a dual version of) Kirchhoff's celebrated Matrix-Tree Theorem. Indeed, we show that each weighted graph model $G$ for $Γ$ gives rise to a canonical polyhedral decomposition of the $g$-dimensional real torus ${\rm Pic}^g(Γ)$ into parallelotopes $C_T$, one for each spanning tree $T$ of $G$, and the dual Kirchhoff theorem becomes the statement that the volume of ${\rm Pic}^g(Γ)$ is the sum of the volumes of the cells in the decomposition.
(a,b)-rectangle patterns in permutations and words
In this paper, we introduce the notion of a $(a,b)$-rectangle pattern on permutations that not only generalizes the notion of successive elements (bonds) in permutations, but is also related to mesh patterns introduced recently by Brändén and Claesson. We call the $(k,k)$-rectangle pattern the $k$-box pattern. To provide an enumeration result on the maximum number of occurrences of the 1-box pattern, we establish an enumerative result on pattern-avoiding signed permutations.
Further, we extend the notion of $(k,\ell)$-rectangle patterns to words and binary matrices, and provide distribution of $(1,\ell)$-rectangle patterns on words; explicit formulas are given for up to 7 letter alphabets where $\ell \in \{1,2\}$, while obtaining distributions for larger alphabets depends on inverting a matrix we provide. We also provide similar results for the distribution of bonds over words. As a corollary to our studies we confirm a conjecture of Mathar on the number of "stable LEGO walls" of width 7 as well as prove three conjectures due to Hardin and a conjecture due to Barker. We also enumerate two sequences published by Hardin in the On-Line Encyclopedia of Integer Sequences.
Faces of Birkhoff Polytopes
Published
• View Publication
• BIB
The Birkhoff polytope B(n) is the convex hull of all (n x n) permutation matrices, i.e., matrices where precisely one entry in each row and column is one, and zeros at all other places. This is a widely studied polytope with various applications throughout mathematics.
In this paper we study combinatorial types L of faces of a Birkhoff polytope. The Birkhoff dimension bd(L) of L is the smallest n such that B(n) has a face with combinatorial type L.
By a result of Billera and Sarangarajan, a combinatorial type L of a d-dimensional face appears in some B(k) for k less or equal to 2d, so bd(L) is at most d. We will characterize those types whose Birkhoff dimension is at least 2d-3, and we prove that any type whose Birkhoff dimension is at least d is either a product or a wedge over some lower dimensional face. Further, we computationally classify all d-dimensional combinatorial types for d between 2 and 8.
Minimum Vector Rank and Complement Critical Graphs
Published
• View Publication
• BIB
Given a graph G, a real orthogonal representation of G is a function from its set of vertices to R^d such that two vertices are mapped to orthogonal vectors if and only if they are not neighbors. The minimum vector rank of a graph is the smallest dimension d for which such a representation exists. This quantity is closely related to the minimum semidefinite rank of G, which has been widely studied. Considering the minimum vector rank as an analogue of the chromatic number, this work defines critical graphs as those for which the removal of any vertex decreases the minimum vector rank; and complement critical graphs as those for which the removal of any vertex decreases the minimum vector rank of either the graph or its complement. It establishes necessary and sufficient conditions for certain classes of graphs to be complement critical, in the process calculating their minimum vector rank. In addition, this work demonstrates that complement critical graphs form a sufficient set to prove the Graph Complement Conjecture, which remains open.
On extremal graphs with at most $\ell$ internally disjoint Steiner trees connecting any n-1 vertices
Published
• View Publication
• BIB
The concept of maximum local connectivity $\bar κ$ of a graph was introduced by Bollobás. One of the problems about it is to determine the largest number of edges $f(n;\barκ\leq \ell)$ for graphs of order $n$ that have local connectivity at most $\ell$. We consider a generalization of the above concept and problem. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{generalized local connectivity} $κ(S)$ is the maximum number of internally disjoint trees connecting $S$ in $G$. The parameter $\barκ_k(G)=max\{κ(S)|S\subseteq V(G),|S|=k\}$ is called the \emph{maximum generalized local connectivity} of $G$. This paper it to consider the problem of determining the largest number $f(n;\barκ_k\leq \ell)$ of edges for graphs of order $n$ that have maximum generalized local connectivity at most $\ell$. The exact value of $f(n;\barκ_k\leq \ell)$ for $k=n,n-1$ is determined. For a general $k$, we construct a graph to obtain a sharp lower bound.
Vertex maps between simplices, cubes, and crosspolytopes
Published
• View Publication
• BIB
We study the vertices of the polytopes of all affine maps (a.k.a. hom-polytopes) between higher dimensional simplices, cubes, and crosspolytopes. Systematic study of general hom-polytopes was initiated in [3]. The study of such vertices is the classical aspect of a conjectural homological theory of convex polytopes. One quickly runs into open problems even for simple source and target polytopes. The vertices of Hom(simplex_m,-) and Hom(-,cube_n) are easily understood. In this work we describe the vertex sets of Hom(box_m,simplex_n), Hom(diamond_m,simplex_n), and Hom(diamond_m,diamond_n). The emergent pattern in our arguments is reminiscent of diagram chasing in homological algebra.
Solving the Tower of Hanoi with Random Moves
Published in In: The Mathematics of Various Entertaining Subjects: Research in Recreational Math, Princeton University Press, 2016, pp. 65-79. ISBN 978-0-691-16403-8
• View Publication
• BIB
We prove the exact formulae for the expected number of moves to solve several variants of the Tower of Hanoi puzzle with 3 pegs and n disks, when each move is chosen uniformly randomly from the set of all valid moves. We further present an alternative proof for one of the formulae that couples a theorem about expected commute times of random walks on graphs with the delta-to-wye transformation used in the analysis of three-phase AC systems for electrical power distribution.
Face numbers of Engström representations of matroids
Published
• View Publication
• BIB
A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these representations (in terms of the face numbers of the indexing complexes) and give upper bounds on the total number of faces in these objects. In particular, we show that, for a fixed rank, the total number of faces in the Engström representation corresponding to a codimension one homotopy sphere arrangement is bounded above by a polynomial in the number of elements of the matroid with degree one less than its rank.
A determinacy approach to Borel combinatorics
Published in J. Amer. Math. Soc. 29 (2016), 579-600
• View Publication
• BIB
We introduce a new method, involving infinite games and Borel determinacy, which we use to answer several well-known questions in Borel combinatorics.
Characterization of tricyclic graphs with exactly two $Q$-main eigenvalues
The signless Laplacian matrix of a graph $G$ is defined to be the sum of its adjacency matrix and degree diagonal matrix, and its eigenvalues are called $Q$-eigenvalues of $G$. A $Q$-eigenvalue of a graph $G$ is called a $Q$-main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. Chen and Huang [L. Chen, Q.X. Huang, Trees, unicyclic graphs and bicyclic graphs with exactly two $Q$-main eigenvalues, submitted for publication] characterized all trees, unicylic graphs and bicyclic graphs with exactly two main $Q$-eigenvalues, respectively. As a continuance of it, in this paper, all tricyclic graphs with exactly two $Q$-main eigenvalues are characterized.
Collapse of random triangular groups: a closer look
Published
• View Publication
• BIB
The random triangular group Γ(n,t) is a group given by a presentation P=<S|R>, where S is a set of n generators and R is a random set of t cyclically reduced words of length three. The asymptotic behavior of Γ(n,t) is in some respects similar to that of widely studied density random group introduced by Gromov. In particular, it is known that if t <= n^{3/2-ε} for some ε> 0, then with probability 1-o(1) Γ(n,t) is infinite and hyperbolic, while for t >= n^{3/2+ε}, with probability 1-o(1) it is trivial. In this note we show that Γ(n,t) collapses provided only that t <= C n^{3/2} for some constant C>0.
A notion of graph likelihood and an infinite monkey theorem
Published
• View Publication
• BIB
We play with a graph-theoretic analogue of the folklore infinite monkey theorem. We define a notion of graph likelihood as the probability that a given graph is constructed by a monkey in a number of time steps equal to the number of vertices. We present an algorithm to compute this graph invariant and closed formulas for some infinite classes. We have to leave the computational complexity of the likelihood as an open problem.