Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Regularity, Depth and Arithmetic Rank of Bipartite Edge Ideals
Published in J. Algebraic Combin. 30 (2009), no. 4, 429-445
• View Publication
• BIB
We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.
On locally constructible spheres and balls
Published in Acta Mat.206:205-243,2011
• View Publication
• BIB
Durhuus and Jonsson (1995) introduced the class of "locally constructible" (LC) 3-spheres and showed that there are only exponentially-many combinatorial types of simplicial LC 3-spheres. Such upper bounds are crucial for the convergence of models for 3D quantum gravity.
We characterize the LC property for d-spheres ("the sphere minus a facet collapses to a (d-2)-complex") and for d-balls. In particular, we link it to the classical notions of collapsibility, shellability and constructibility, and obtain hierarchies of such properties for simplicial balls and spheres. The main corollaries from this study are:
1.) Not all simplicial 3-spheres are locally constructible. (This solves a problem by Durhuus and Jonsson.)
2.) There are only exponentially many shellable simplicial 3-spheres with given number of facets. (This answers a question by Kalai.)
3.) All simplicial constructible 3-balls are collapsible. (This answers a question by Hachimori.)
4.) Not every collapsible 3-ball collapses onto its boundary minus a facet. (This property appears in papers by Chillingworth and Lickorish.)
Graphs where every k-subset of vertices is an identifying set
Published
• View Publication
• BIB
Let $G=(V,E)$ be an undirected graph without loops and multiple edges. A subset $C\subseteq V$ is called \emph{identifying} if for every vertex $x\in V$ the intersection of $C$ and the closed neighbourhood of $x$ is nonempty, and these intersections are different for different vertices $x$.
Let $k$ be a positive integer. We will consider graphs where \emph{every} $k$-subset is identifying. We prove that for every $k>1$ the maximal order of such a graph is at most $2k-2.$ Constructions attaining the maximal order are given for infinitely many values of $k.$
The corresponding problem of $k$-subsets identifying any at most $\ell$ vertices is considered as well.
Free cubic implication algebras
We construct free cubic implication algebras with finitely many generators, and determine the size of these algebras.
Witness sets
Published
• View Publication
• BIB
Given a set C of binary n-tuples and c in C, how many bits of c suffice to distinguish it from the other elements in C? We shed new light on this old combinatorial problem and improve on previously known bounds.
Multigraphs (only) satisfy a weak triangle removal lemma
Published
• View Publication
• BIB
The triangle removal lemma states that a simple graph with o(n^3) triangles can be made triangle-free by removing o(n^2) edges. It is natural to ask if this widely used result can be extended to multi-graphs (or equivalently, weighted graphs). In this short paper we rule out the possibility of such an extension by showing that there are multi-graphs with only n^{2+o(1)} triangles that are still far from being triangle-free. On the other hand, we show that for some g(n)=ω(1), if a multi-graph (or weighted graph) has only g(n)n^2 triangles then it must be close to being triangle-free. The proof relies on variants of the Ruzsa-Szemerédi theorem.
The Möbius Function on Implication sublattices of a Boolean algebra
Let $B$ be a finite Boolean algebra. Let $\mathcal A$ be the partial order of all implication sublattices of $B$. We will compute the Möbius function on $\mathcal A$ in two different ways.
A Note on Symmetries in the Rauzy Graph and Factor Frequencies
Published in Theoret. Comput. Sci. 410 (2009), 2779-2783
• Search Publication
We focus on infinite words with languages closed under reversal. If frequencies of all factors are well defined, we show that the number of different frequencies of factors of length n+1 does not exceed 2C(n+1)-2C(n)+1.
Carries, shuffling, and symmetric functions
Published
• View Publication
• BIB
The "carries" when n random numbers are added base b form a Markov chain with an "amazing" transition matrix determined by Holte. This same Markov chain occurs in following the number of descents or rising sequences when n cards are repeatedly riffle shuffled. We give generating and symmetric function proofs and determine the rate of convergence of this Markov chain to stationarity. Similar results are given for type B shuffles. We also develop connections with Gaussian autoregressive processes and the Veronese mapping of commutative algebra.
Regev's theorem via rectangles
This paper has been withdrawn by the author due to a crucial error in equation (51).
Excluding Kuratowski graphs and their duals from binary matroids
Published
• View Publication
• BIB
We consider some applications of our characterisation of the internally 4-connected binary matroids with no M(K3,3)-minor. We characterise the internally 4-connected binary matroids with no minor in some subset of {M(K3,3),M*(K3,3),M(K5),M*(K5)} that contains either M(K3,3) or M*(K3,3). We also describe a practical algorithm for testing whether a binary matroid has a minor in the subset. In addition we characterise the growth-rate of binary matroids with no M(K3,3)-minor, and we show that a binary matroid with no M(K3,3)-minor has critical exponent over GF(2) at most equal to four.
Counting elements and geodesics in Thompson's group $F$
Published
• View Publication
• BIB
We present two quite different algorithms to compute the number of elements in the sphere of radius $n$ of Thompson's group $F$ with standard generating set. The first of these requires exponential time and polynomial space, but additionally computes the number of geodesics and is generalisable to many other groups.
The second algorithm requires polynomial time and space and allows us to compute the size of the spheres of radius $n$ with $n \leq 1500$. Using the resulting series data we find that the growth rate of the group is bounded above by $2.62167...$. This is very close to Guba's lower bound of $\tfrac{3+\sqrt{5}}{2}$ \cite{Guba2004}. Indeed, numerical analysis of the series data strongly suggests that the growth rate of the group is exactly $\tfrac{3+\sqrt{5}}{2}$.
Critical behavior in inhomogeneous random graphs
We study the critical behavior of inhomogeneous random graphs where edges are present independently but with unequal edge occupation probabilities. The edge probabilities are moderated by vertex weights, and are such that the degree of vertex i is close in distribution to a Poisson random variable with parameter w_i, where w_i denotes the weight of vertex i. We choose the weights such that the weight of a uniformly chosen vertex converges in distribution to a limiting random variable W, in which case the proportion of vertices with degree k is close to the probability that a Poisson random variable with random parameter W takes the value k. We pay special attention to the power-law case, in which P(W\geq k) is proportional to k^{-(τ-1)} for some power-law exponent τ>3, a property which is then inherited by the asymptotic degree distribution.
We show that the critical behavior depends sensitively on the properties of the asymptotic degree distribution moderated by the asymptotic weight distribution W. Indeed, when P(W\geq k) \leq ck^{-(τ-1)} for all k\geq 1 and some τ>4 and c>0, the largest critical connected component in a graph of size n is of order n^{2/3}, as on the Erdős-Rényi random graph. When, instead, P(W\geq k)=ck^{-(τ-1)}(1+o(1)) for k large and some τ\in (3,4) and c>0, the largest critical connected component is of the much smaller order n^{(τ-2)/(τ-1)}.
A Proof of the Molecular Conjecture
Published
• View Publication
• BIB
A $d$-dimensional body-and-hinge framework is a structure consisting of rigid bodies connected by hinges in $d$-dimensional space. The generic infinitesimal rigidity of a body-and-hinge framework has been characterized in terms of the underlying multigraph independently by Tay and Whiteley as follows: A multigraph $G$ can be realized as an infinitesimally rigid body-and-hinge framework by mapping each vertex to a body and each edge to a hinge if and only if ({d+1 \choose 2}-1)G$ contains ${d+1\choose 2}$ edge-disjoint spanning trees, where $({d+1 \choose 2}-1)G$ is the graph obtained from $G$ by replacing each edge by $({d+1\choose 2}-1)$ parallel edges. In 1984 they jointly posed a question about whether their combinatorial characterization can be further applied to a nongeneric case. Specifically, they conjectured that $G$ can be realized as an infinitesimally rigid body-and-hinge framework if and only if $G$ can be realized as that with the additional ``hinge-coplanar'' property, i.e., all the hinges incident to each body are contained in a common hyperplane. This conjecture is called the Molecular Conjecture due to the equivalence between the infinitesimal rigidity of ``hinge-coplanar'' body-and-hinge frameworks and that of bar-and-joint frameworks derived from molecules in 3-dimension. In 2-dimensional case this conjecture has been proved by Jackson and Jord{á}n in 2006. In this paper we prove this long standing conjecture affirmatively for general dimension.
Poset limits and exchangeable random posets
Published
• View Publication
• BIB
We develop a theory of limits of finite posets in close analogy to the recent theory of graph limits. In particular, we study representations of the limits by functions of two variables on a probability space, and connections to exchangeable random infinite posets.
Splicing Matroids
Published
• View Publication
• BIB
We introduce and study a natural variant of matroid amalgams. For matroids M(A) and N(B) such that M/(A-B)=N(B-A), we define a splice of M and N to be a matroid L on the union of A and B with L(B-A)=M and L/(A-B)=N. We show that splices exist for each such pair of matroids M and N; furthermore, there is a freest splice of M and N, which we call the free splice. We characterize when a matroid L(E) is the free splice of L\U and L/V for subsets U and V of E. We study minors of free splices and the interaction between free splice and several other matroid operations. Although free splice is not an associative operation, we prove a weakened counterpart of associativity that holds in general and we characterize the triples for which associativity holds. We also study free splice as it relates to various classes of matroids.
A Distributive Lattice Cover for Semilattices
We consider two constructions of an envelope for a finite locally distributive strong upper semilattice. The first is based on Birkhoff's representation of finite distributive lattices and the second on valuations on lattices. We show that these produce isomorphic envelopes.
Very large graphs
In the last decade it became apparent that a large number of the most interesting structures and phenomena of the world can be described by networks: separable elements, with connections (or interactions) between certain pairs of them.
These huge networks pose exciting challenges for the mathematician. Graph Theory (the mathematical theory of networks) faces novel, unconventional problems: these very large networks (like the Internet) are never completely known, in most cases they are not even well defined. Data about them can be collected only by indirect means like random local sampling.
Dense networks (in which a node is adjacent to a positive percent of others nodes) and sparse networks (in which a node has a bounded number of neighbors) show very different behavior. From a practical point of view, sparse networks are more important, but at present we have more complete theoretical results for dense networks. The paper surveys relations with probability, algebra, extrema graph theory, and analysis.
Towards a Littlewood-Richardson rule for Kac-Moody homogeneous spaces
We prove a general combinatorial formula yielding the intersection number $c_{u,v}^w$ of three particular $Λ$-minuscule Schubert classes in any Kac-Moody homogeneous space, generalising the Littlewood-Richardson rule. The combinatorics are based on jeu de taquin rectification in a poset defined by the heap of $w$.
A Universal Axiomatization of Metropolis-Rota Implication Algebras
We show that the class of Metropolis-Rota implication algebras can be given a universal axiomatization using an operation closely related to composition in oriented matroids. Lastly we describe the role of our new operation in the collapse of an MR-algebra.