Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A Bijection Between the Recurrent Configurations of a Hereditary Chip-Firing Model and Spanning Trees
Hereditary chip-firing models generalize the Abelian sandpile model and the cluster firing model to an exponential family of games induced by covers of the vertex set. This generalization retains some desirable properties, e.g. stabilization is independent of firings chosen and each chip-firing equivalence class contains a unique recurrent configuration. In this paper we present an explicit bijection between the recurrent configurations of a hereditary chip-firing model on a graph and its spanning trees.
Tight triangulations of some 4-manifolds
Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex links are stacked $(d-1)$-spheres. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - 15/2 χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly members of ${\cal K}(4)$. For $n = 6, 11$ and 15, there are triangulated 4-manifolds with $f_0=n$ and $f_0(f_0 - 11) = -15χ$. In this article, we present triangulated 4-manifolds with $f_0 = 21, 26$ and 41 which satisfy $f_0(f_0 - 11) = -15χ$. All these triangulated manifolds are tight and strongly minimal.
A simple branching process approach to the phase transition in $G_{n,p}$
Published in Electronic Journal of Combinatorics 19 (2012) P21
• Search Publication
It is well known that the branching process approach to the study of the random graph $G_{n,p}$ gives a very simple way of understanding the size of the giant component when it is fairly large (of order $Θ(n)$). Here we show that a variant of this approach works all the way down to the phase transition: we use branching process arguments to give a simple new derivation of the asymptotic size of the largest component whenever $(np-1)^3n\to\infty$.
Regularity of edge ideal of a graph
Published in J. Pure and Applied Algebra, 216, 2714-2719, (2012)
• View Publication
• BIB
In this paper, we introduce some reduction processes on graphs which preserve the regularity of related edge ideals. As a consequence, an alternative proof for the theorem of R. Fröberg on linearity of resolution of edge ideal of graphs is given.
Monomial algebras defined by Lyndon words
Published
• View Publication
• BIB
Assume that $X= {x_1,...,x_g}$ is a finite alphabet and $K$ is a field. We study monomial algebras $A= K <X> /(W)$, where $W$ is an antichain of Lyndon words in $X$ of arbitrary cardinality. We find a Poincaré-Birkhoff-Witt type basis of $A$ in terms of its \emph{Lyndon atoms} $N$, but, in general, $N$ may be infinite. We prove that if $A$ has polynomial growth of degree $d$ then $A$ has global dimension $d$ and is standard finitely presented, with $d-1 \leq |W| \leq d(d-1)/2$. Furthermore, $A$ has polynomial growth iff the set of Lyndon atoms $N$ is finite. In this case $A$ has a $K$-basis $\mathfrak{N} = {l_1^{α_{1}}l_2^{α_{2}}... l_d^{α_{d}} \mid α_{i} \geq 0, 1 \leq i \leq d}$, where $N = {l_1, ...,l_d}$. We give an extremal class of monomial algebras, the Fibonacci-Lyndon algebras, $F_n$, with global dimension $n$ and polynomial growth, and show that the algebra $F_6$ of global dimension 6 cannot be deformed, keeping the multigrading, to an Artin-Schelter regular algebra.
Maximal green sequences of skew-symmetrizable 3x3 matrices
Maximal green sequences are particular sequences of mutations which were introduced by Keller in the context of quantum dilogarithm identities and independently by Cecotti-Cordova-Vafa in the context of supersymmetric gauge theory. In this paper, we show that skew-symmetrizable 3x3 matrices with a mutation-cyclic diagram do not have any maximal green sequences. We also obtain some properties of maximal green sequences of skew-symmetrizable 3x3 matrices with mutation-acyclic diagrams.
A large family of indecomposable projective modules for the Khovanov-Kuperberg algebra of $sl_3$-webs
Published
• View Publication
• BIB
We recall a construction of Mackaay, Pan and Tubbenhauer of the algebras $K^ε$ which allow to understand the $sl_3$ homology for links in a local way (i.e. for tangles). Then, by studying the combinatorics of the Kuperberg bracket, we give a large family of non-elliptic webs whose associated projective $K^ε$-modules are indecomposable.
The diameter of associahedra
Published in Adv. Math. 259, 13-42 (2014)
• View Publication
• BIB
It is proven here that the diameter of the d-dimensional associahedron is 2d-4 when d is greater than 9. Two maximally distant vertices of this polytope are explicitly described as triangulations of a convex polygon, and their distance is obtained using combinatorial arguments. This settles two problems posed about twenty-five years ago by Daniel Sleator, Robert Tarjan, and William Thurston.
The Entropy Power Inequality and Mrs. Gerber's Lemma for Abelian Groups of Order 2^n
Published
• View Publication
• BIB
Shannon's Entropy Power Inequality can be viewed as characterizing the minimum differential entropy achievable by the sum of two independent random variables with fixed differential entropies. The entropy power inequality has played a key role in resolving a number of problems in information theory. It is therefore interesting to examine the existence of a similar inequality for discrete random variables. In this paper we obtain an entropy power inequality for random variables taking values in an abelian group of order 2^n, i.e. for such a group G we explicitly characterize the function f_G(x,y) giving the minimum entropy of the sum of two independent G-valued random variables with respective entropies x and y. Random variables achieving the extremum in this inequality are thus the analogs of Gaussians in this case, and these are also determined. It turns out that f_G(x,y) is convex in x for fixed y and, by symmetry, convex in y for fixed x. This is a generalization to abelian groups of order 2^n of the result known as Mrs. Gerber's Lemma.
Sum of squares representation for the Böttcher-Wenzel biquadratic form
Published in Acta Universitatis Sapientiae, Informatica, 4, 1 (2012) 17-32
• Search Publication
We find the minimum scale factor, for which the nonnegative Böttcher-Wenzel biquadratic form becomes a sum of squares (sos). To this we give the primal and dual solutions for the underlying semide finite program. Moreover, for special matrix classes (tridiagonal, backward tridiagonal and cyclic Hankel matrices) we show that the above form is sos. Finally, we conjecture sos representability for Toeplitz matrices.
Analysis of the picture cube puzzle
Published in Acta Universitatis Sapientiae, Informatica, 4, 1 (2012) 119-129
• Search Publication
In this paper we give a mathematical model for a game that we call picture cube puzzle and investigate its properties. The central question is the number of moves required to solve the puzzle. A mathematical discussion is followed by the description of computational results. We also give a generalization of the problem for finite groups.
Hunter, Cauchy Rabbit, and Optimal Kakeya Sets
Published
• View Publication
• BIB
A planar set that contains a unit segment in every direction is called a Kakeya set. We relate these sets to a game of pursuit on a cycle $\Z_n$. A hunter and a rabbit move on the nodes of $\Z_n$ without seeing each other. At each step, the hunter moves to a neighbouring vertex or stays in place, while the rabbit is free to jump to any node. Adler et al (2003) provide strategies for hunter and rabbit that are optimal up to constant factors and achieve probability of capture in the first $n$ steps of order $1/\log n$. We show these strategies yield a Kakeya set consisting of $4n$ triangles with minimal area, (up to constant), namely $Θ(1/\log n)$. As far as we know, this is the first non-iterative construction of a boundary-optimal Kakeya set. Considering the continuum analog of the game yields a construction of a random Kakeya set from two independent standard Brownian motions $\{B(s): s \ge 0\}$ and $\{W(s): s \ge 0\}$. Let $τ_t:=\min\{s \ge 0: B(s)=t\}$. Then $X_t=W(τ_t)$ is a Cauchy process, and $K:=\{(a,X_t+at) : a,t \in [0,1]\}$ is a Kakeya set of zero area. The area of the $ε$-neighborhood of $K$ is as small as possible, i.e., almost surely of order $Θ(1/|\log ε|)$.
Derivations and identities for Fibonacci and Lucas polynomials
Published in Fibonacci Quarterly, 2013, 51, No. 4, p. 351-366
• View Publication
• BIB
We introduce the notion of Fibonacci and Lucas derivations of the polynomial algebras and prove that any element of kernel of the derivations defines a polynomial identity for the Fibonacci and Lucas polynomials. Also, we prove that any polynomial identity for Appel polynomial yields a polynomial identity for the Fibonacci and Lucas polynomials and describe the corresponding intertwining maps.
Exact integration of height probabilities in the Abelian Sandpile Model
Published in J. Stat. Mech. (2012) P09013
• View Publication
• BIB
The height probabilities for the recurrent configurations in the Abelian Sandpile Model on the square lattice have analytic expressions, in terms of multidimensional quadratures. At first, these quantities have been evaluated numerically with high accuracy, and conjectured to be certain cubic rational-coefficient polynomials in 1/pi. Later their values have been determined by different methods.
We revert to the direct derivation of these probabilities, by computing analytically the corresponding integrals. Yet another time, we confirm the predictions on the probabilities, and thus, as a corollary, the conjecture on the average height.
A simple fixed parameter tractable algorithm for computing the hybridization number of two (not necessarily binary) trees
Published
• View Publication
• BIB
Here we present a new fixed parameter tractable algorithm to compute the hybridization number r of two rooted, not necessarily binary phylogenetic trees on taxon set X in time (6^r.r!).poly(n)$, where n=|X|. The novelty of this approach is its use of terminals, which are maximal elements of a natural partial order on X, and several insights from the softwired clusters literature. This yields a surprisingly simple and practical bounded-search algorithm and offers an alternative perspective on the underlying combinatorial structure of the hybridization number problem.
Obstructions of Connectivity 2 for Embedding Graphs into the Torus
Published
• View Publication
• BIB
The complete set of minimal obstructions for embedding graphs into the torus is still not determined. In this paper, we present all obstructions for the torus of connectivity 2. Furthermore, we describe the building blocks of obstructions of connectivity 2 for any orientable surface.
Metric Dimension and Zero Forcing Number of Two Families of Line Graphs
Published in Math. Bohem. Vol. 139, No.3 (2014) pp. 467-483
• View Publication
• BIB
Zero forcing number has recently become an interesting graph parameter studied in its own right since its introduction by the "AIM Minimum Rank -- Special Graphs Work Group", whereas metric dimension is a well-known graph parameter. We investigate the metric dimension and the zero forcing number of some line graphs by first determining the metric dimension and the zero forcing number of the line graphs of wheel graphs and the bouquet of circles. We prove that $Z(G) \le 2Z(L(G))$ for a simple and connected graph $G$. Further, we show that $Z(G) \le Z(L(G))$ when $G$ is a tree or when $G$ contains a Hamiltonian path and has a certain number of edges. We compare the metric dimension with the zero forcing number of a line graph by demonstrating a couple of inequalities between the two parameters. We end by stating some open problems.
Finding minors in graphs with a given path structure
Given graphs G and H with V(G) containing V(H), suppose that we have a u,v-path P_{uv} in G for each edge uv in H. There are obvious additional conditions that ensure that G contains H as a rooted subgraph, subdivision, or immersion; we seek conditions that ensure that G contains H as a rooted minor or minor. This naturally leads to studying sets of paths that form an H-immersion, with the additional property that paths that contain the same vertex must have a common endpoint. We say that $H$ is contractible if, whenever G contains such an H-immersion, G must also contain a rooted H-minor. We show, for example, that forests, cycles, K_4, and K_{1,1,3} are contractible, but that graphs that are not 6-colorable and graphs that contain certain subdivisions of K_{2,3} are not contractible.
On the order of arc-stabilisers in arc-transitive graphs with prescribed local group
Let $Γ$ be a connected $G$-arc-transitive graph, let $uv$ be an arc of $Γ$ and let $L$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. We study the problem of bounding $|G_{uv}|$ in terms of $L$ and the order of $Γ$.
On stellated spheres and a tightness criterion for combinatorial manifolds
Published
• View Publication
• BIB
We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of ${\cal W}_k(d)$. We introduce the mu-vector of any simplicial complex and show that, in the case of 2-neighbourly simplicial complexes, the mu-vector dominates the vector of its Betti numbers componentwise; the two vectors are equal precisely for tight simplicial complexes. We are able to estimate/compute certain alternating sums of the components of the mu-vector of any 2-neighbourly member of ${\cal W}_k(d)$ for $d\geq 2k$. As one consequence of this theory, we prove a lower bound theorem for such triangulated manifolds, as well as determine the integral homology type of members of ${\cal W}^{\ast}_k(d)$ for $d \geq 2k+2$. As another application, we prove that, when $d \neq 2k+1$, all members of ${\cal W}^{\ast}_k(d)$ are tight. We also characterize the tight members of ${\cal W}^{\ast}_k(2k + 1)$ in terms of their $k^{\rm th}$ Betti numbers. These results more or less answer a recent question of Effenberger, and also provide a uniform and conceptual tightness proof for all except two of the known tight triangulated manifolds.
We also prove a lower bound theorem for triangulated manifolds in which the members of ${\cal W}_1(d)$ provide the equality case. This generalises a result (the $d=4$ case) due to Walkup and Kuehnel. As a consequence, it is shown that every tight member of ${\cal W}_1(d)$ is strongly minimal, thus providing substantial evidence in favour of a conjecture of Kuehnel and Lutz asserting that tight triangulated manifolds should be strongly minimal.