Showing 20 papers (Total: 83449 papers, 48190 authors in database)
The Nullity of Bicyclic Signed Graphs
Published in Linear and Multilinear Algebra, 2014, 62(2), pp 242-251
• View Publication
• BIB
Let Γbe a signed graph and let A(Γ) be the adjacency matrix of Γ. The nullity of Γis the multiplicity of eigenvalue zero in the spectrum of A(Γ). In this paper we characterize the signed graphs of order n with nullity n-2 or n-3, and introduce a graph transformation which preserves the nullity. As an application we determine the unbalanced bicyclic signed graphs of order n with nullity n-3 or n-4, and signed bicyclic signed graphs (including simple bicyclic graphs) of order n with nullity n-5.
New sum product type estimates
Published
• View Publication
• BIB
New lower bounds involving sum, difference, product, and ratio sets for a set $A\subset \C$ are given. The estimates involving the sum set match, up to constants, the one obtained by Solymosi for the reals and are obtained by generalising his approach to the complex plane. The bounds involving the difference set are slightly weaker. They improve on the best known ones, including the case $A\subset \R$, which also due to Solymosi, by means of combining the use of the Szemerédi-Trotter theorem with an arithmetic combinatorics technique.
An application of Cubical Cohomology to Adinkras and Supersymmetry Representations
Published
• View Publication
• BIB
An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.
Billiards and the Five Distance Theorem II
We consider a billiard table rectangle. If a billiard ball is sent out from position F(1) at the angle of $π/4$, then the ball will rebound against the sides of the rectangle consecutively in points $F(2),F(3),...$. Let $n\geq5$ and $Φ= \{F(j): 1\leq j\leq n \}$ be the set of different points. An open connected subset of the perimeter of the billiard rectangle with different endpoints from the set $Φ$ is called \textit{segment}. \textit{Length} of a segment is a distance along the perimeter between its endpoints. A segment with endpoints $F(k)$, F(l), $1\le k,l\le n$, is called \textit{even} (or \textit{odd}), and has \textit{weight} $|k-l|$ (or $k+l$) if $k$, $l$ are of the same (or different) parity. A segment is called \textit{elementary} if there are no points of the set $Φ$ between its endpoints. Suppose $\emptyset \neq V\subseteq\{F(1),F(n)\}$. A segment $I$ is \textit{associated} with $V$ if $I$ is an elementary segment incident with an element of $V$ or $I\capΦ$ is nonempty set contained in $V$. Let $ω_1<ω_2$ be odd weights and $ω_0$ be an even weight of segments associated with $\{F(1)\}$, and let $ω_3<ω_4$ be other odd weights of segments associated with $\{F(1),F(n)\}$. Suppose that $a_i$ is the length of the segment with the weight $ω_i$, $i = 0,..., 4$. In an earlier paper the author have proved that the weights of elementary segments have at most five different values $ω_0,..., ω_4$. Moreover, elementary segments with equal weights have equal lengths. Let $A_i$ be the set of all elementary segments with weight $ω_i$. In this paper we prove that, if we know weights $ω_0$, $ω_1$, $ω_4$, and $ε, δ\in \{-1, 1\}$ such that $a_2-εa_1 = a_3-δa_4 =a_0$, then we can easily calculate $|A_0|, ..., |A_4|$.
On the triangle space of a random graph
Published
• View Publication
• BIB
Settling a first case of a conjecture of M. Kahle on the homology of the clique complex of the random graph $G=G_{n,p}$, we show, roughly speaking, that (with high probability) the triangles of $G$ span its cycle space whenever each of its edges lies in a triangle (which happens (w.h.p.) when $p$ is at least about $\sqrt{(3/2)\ln n/n}$, and not below this unless $p$ is very small.) We give two related proofs of this statement, together with a relatively simple proof of a fundamental "stability" theorem for triangle-free subgraphs of $G_{n,p}$, originally due to Kohayakawa, Łuczak and Rödl, that underlies the first of our proofs.
Spectral conditions for a graph to be Hamilton-connected
Published in Applied Mechanics and Materials,2013, vol.336-338, 2329-2334
• View Publication
• BIB
In this paper we establish some spectral conditions for a graph to be Hamilton-connected in terms of the spectral radius of the adjacency matrix or the signless Laplacian of the graph or its complement. For the existence of Hamiltonian paths or cycles in a graph, we also give a sufficient condition by the signless Laplacian spectral radius.
A New Rose : The First Simple Symmetric 11-Venn Diagram
Published
• View Publication
• BIB
A symmetric Venn diagram is one that is invariant under rotation, up to a relabeling of curves. A simple Venn diagram is one in which at most two curves intersect at any point. In this paper we introduce a new property of Venn diagrams called crosscut symmetry, which is related to dihedral symmetry. Utilizing a computer search restricted to crosscut symmetry we found many simple symmetric Venn diagrams with 11 curves. This answers an existence question that has been open since the 1960's. The first such diagram that was discovered is shown here.
A word Hopf algebra based on the selection/quotient principle
Published in Seminaire Lotharingien de Combinatoire, B68c (2013)
• Search Publication
In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection/quotient coproduct. We show that this algebra is free on its irreducible packed words. We also construct the Hilbert series of this Hopf algebra and we investigate its primitive elements.
Analysis of an exhaustive search algorithm in random graphs and the n^{c\log n} -asymptotics
Published in SIAM J. Discrete Math., 28(1), 342-371, 2014
• View Publication
• BIB
We analyze the cost used by a naive exhaustive search algorithm for finding a maximum independent set in random graphs under the usual G_{n,p} -model where each possible edge appears independently with the same probability p. The expected cost turns out to be of the less common asymptotic order n^{c\log n}, which we explore from several different perspectives. Also we collect many instances where such an order appears, from algorithmics to analysis, from probability to algebra. The limiting distribution of the cost required by the algorithm under a purely idealized random model is proved to be normal. The approach we develop is of some generality and is amenable for other graph algorithms.
Harnack inequalities for graphs with non-negative Ricci curvature
Published
• View Publication
• BIB
We establish a Harnack inequality for finite connected graphs with non-negative Ricci curvature. As a consequence, we derive an eigenvalue lower bound, extending previous results for Ricci flat graphs.
On a higher level extension of Leclerc-Thibon product theorem in q-deformed Fock spaces
Published
• View Publication
• BIB
The q-deformed Fock spaces of higher levels were introduced by Jimbo-Misra-Miwa-Okado. Uglov defined a canonical bases in q-deformed Fock spaces of higher levels. Leclerc-Thibon showed a product theorem in q-deformed Fock spaces of level one. The product theorem is regarded as a formal $q$-analogue of the tensor product theorem of level one. In this paper, we show a higher level analogue of Leclerc-Thibon product theorem under a suitable multi charge condition.
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.