Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A sufficient condition for the existence of plane spanning trees on geometric graphs
Published in Comput. Geom. 46(1) (2013), 1 - 6
• View Publication
• BIB
Let P be a set of n > 2 points in general position in the plane and let G be a geometric graph with vertex set P. If the number of empty triangles uvw in P for which the subgraph of G induced by {u,v,w} is not connected is at most n-3, then G contains a non-self intersecting spanning tree.
Tight complexes in 3-space admit perfect discrete Morse functions
Published
• View Publication
• BIB
In 1967, Chillingworth proved that all convex simplicial 3-balls are collapsible. Using the classical notion of tightness, we generalize this to arbitrary manifolds: We show that all tight simplicial 3-manifolds admit some perfect discrete Morse function. We also strengthen Chillingworth's theorem by proving that all convex simplicial 3-balls are non-evasive. In contrast, we show that many non-evasive 3-balls are not convex.
Matroids with an infinite circuit-cocircuit intersection
Published
• View Publication
• BIB
We construct some matroids that have a circuit and a cocircuit with infinite intersection.
This answers a question of Bruhn, Diestel, Kriesell, Pendavingh and Wollan. It further shows that the axiom system for matroids proposed by Dress does not axiomatize all infinite matroids. We show that one of the matroids we define is a thin sums matroid whose dual isn't a thin sums matroid.
Matroid intersection, base packing and base covering for infinite matroids
Published
• View Publication
• BIB
As part of the recent developments in infinite matroid theory, there have been a number of conjectures about how standard theorems of finite matroid theory might extend to the infinite setting. These include base packing, base covering, and matroid intersection and union. We show that several of these conjectures are equivalent, so that each gives a perspective on the same central problem of infinite matroid theory. For finite matroids, these equivalences give new and simpler proofs for the finite theorems corresponding to these conjectures.
This new point of view also allows us to extend, and simplify the proofs of, some cases where these conjectures were known to be true.
Transition matrices for symmetric and quasisymmetric Hall-Littlewood polynomials
Published
• View Publication
• BIB
We introduce explicit combinatorial interpretations for the coefficients in some of the transition matrices relating to skew Hall-Littlewood polynomials P_lambda/mu(x;t) and Hivert's quasisymmetric Hall-Littlewood polynomials G_gamma(x;t). More specifically, we provide: 1) the G-expansions of the Hall-Littlewood polynomials P_lambda, the monomial quasisymmetric polynomials M_alpha, the quasisymmetric Schur polynomials S_alpha, and the peak quasisymmetric functions K_alpha; 2) an expansion of P_lambda/mu in terms of the F_alpha's. The F-expansion of P_lambda/mu is facilitated by introducing starred tableaux.
On the Connectedness and Diameter of a Geometric Johnson Graph
Published
• View Publication
• BIB
Let $P$ be a set of $n$ points in general position in the plane. A subset $I$ of $P$ is called an \emph{island} if there exists a convex set $C$ such that $I = P \cap C$. In this paper we define the \emph{generalized island Johnson graph} of $P$ as the graph whose vertex consists of all islands of $P$ of cardinality $k$, two of which are adjacent if their intersection consists of exactly $l$ elements. We show that for large enough values of $n$, this graph is connected, and give upper and lower bounds on its diameter.
Revolutionaries and spies: Spy-good and spy-bad graphs
Published in Theoretical Computer Science, Vol. 463, 2012, pp. 35-53
• View Publication
• BIB
We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can avoid this forever.
Let $σ(G,m,r)$ denote the minimum number of spies needed to win. To avoid degenerate cases, assume $|V(G)|\ge r-m+1\ge\floor{r/m}\ge 1$. The easy bounds are then $\floor{r/m}\le σ(G,m,r)\le r-m+1$. We prove that the lower bound is sharp when $G$ has a rooted spanning tree $T$ such that every edge of $G$ not in $T$ joins two vertices having the same parent in $T$. As a consequence, $σ(G,m,r)\leγ(G)\floor{r/m}$, where $γ(G)$ is the domination number; this bound is nearly sharp when $γ(G)\le m$.
For the random graph with constant edge-probability $p$, we obtain constants $c$ and $c'$ (depending on $m$ and $p$) such that $σ(G,m,r)$ is near the trivial upper bound when $r<c\ln n$ and at most $c'$ times the trivial lower bound when $r>c'\ln n$. For the hypercube $Q_d$ with $d\ge r$, we have $σ(G,m,r)=r-m+1$ when $m=2$, and for $m\ge 3$ at least $r-39m$ spies are needed.
For complete $k$-partite graphs with partite sets of size at least $2r$, the leading term in $σ(G,m,r)$ is approximately $\frac{k}{k-1}\frac{r}{m}$ when $k\ge m$. For $k=2$, we have $σ(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil$ and $σ(G,3,r)=\floor{r/2}$, and in general $\frac{3r}{2m}-3\le σ(G,m,r)\le\frac{(1+1/\sqrt3)r}{m}$.
Distance graphs having large chromatic numbers and not containing cliques or cycles of given size
Published
• View Publication
• BIB
In this work, the classical Nelson -- Hadwiger problem is studied which lies on the edge of combinatorial geometry and graph theory. It concerns colorings of distance graphs in $ {\mathbb R}^n $, i.e., graphs such that their vertices are vectors and their edges are pairs of vectors at a distance from a given set of postive numbers apart. A series of new lower bounds are obtained for the chromatic numbers of such graphs with different restrictions on the clique numbers and the girths.
Charting the Real Four-Qubit Pauli Group via Ovoids of a Hyperbolic Quadric of PG(7,2)
Published in J. Phys. A: Math. Theor. 45 (2012) 295304
• View Publication
• BIB
The geometry of the real four-qubit Pauli group, being embodied in the structure of the symplectic polar space W(7,2), is analyzed in terms of ovoids of a hyperbolic quadric of PG(7,2), the seven-dimensional projective space of order two. The quadric is selected in such a way that it contains all 135 symmetric elements of the group. Under such circumstances, the third element on the line defined by any two points of an ovoid is skew-symmetric, as is the nucleus of the conic defined by any three points of an ovoid. Each ovoid thus yields 36/84 elements of the former/latter type, accounting for all 120 skew-symmetric elements of the group. There are a number of notable types of ovoid-associated subgeometries of the group, of which we mention the following: a subset of 12 skew-symmetric elements lying on four mutually skew lines that span the whole ambient space, a subset of 15 symmetric elements that corresponds to two ovoids sharing three points, a subset of 19 symmetric elements generated by two ovoids on a common point, a subset of 27 symmetric elements that can be partitioned into three ovoids in two unique ways, a subset of 27 skew-symmetric elements that exhibits a 15 + 2 x 6 split reminding that exhibited by an elliptic quadric of PG(5,2), and a subset of seven skew-symmetric elements formed by the nuclei of seven conics having two points in common, which is an analogue of a Conwell heptad of PG(5,2).
The strategy we employed is completely novel and unique in its nature, as are the results obtained. Such a detailed dissection of the geometry of the group in question may, for example, be crucial in getting further insights into the still-puzzling black-hole-qubit correspondence/analogy.
On the expansion of three-element subtraction sets
Published
• View Publication
• BIB
We study the periodicity of nim-sequences for subtraction games having subtraction sets with three elements. In particular, we give solutions in several cases, and we describe how these subtraction sets can be augmented by additional numbers without changing the nim-sequences. The paper concludes with a conjecture on ultimately bipartite subtraction games.
On a sum of centered random variables with nonreducing variances
We give a new proof of weak version of R. Holzman and D.J. Kleitman bound on a number of the $n$-dimensional cube vertices strictly separated by a hyperplane, tangent to the inscribed sphere.
Differential posets have strict rank growth: a conjecture of Stanley
Published
• View Publication
• BIB
We establish strict growth for the rank function of an r-differential poset. We do so by exploiting the representation theoretic techniques developed by Reiner and the author for studying related Smith forms.
Graphs whose normalized Laplacian has three eigenvalues
Published in Linear Algebra and its Applications 435 (2011), 2560-2569
• View Publication
• BIB
We give a combinatorial characterization of graphs whose normalized Laplacian has three distinct eigenvalues. Strongly regular graphs and complete bipartite graphs are examples of such graphs, but we also construct more exotic families of examples from conference graphs, projective planes, and certain quasi-symmetric designs.
Spanning trees with many leaves: new lower bounds in terms of number of vertices of degree~3 and at least~4
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 747-767
• View Publication
• BIB
We prove, that every connected graph with $s$ vertices of degree 3 and $t$ vertices of degree at least~4 has a spanning tree with at least ${2\over 5}t +{1\over 5}s+α$ leaves, where $α\ge {8\over 5}$. Moreover, $α\ge 2$ for all graphs besides three exclusions. All exclusion are regular graphs of degree~4, they are explicitly described in the paper.
We present infinite series of graphs, containing only vertices of degrees~3 and~4, for which the maximal number of leaves in a spanning tree is equal for ${2\over 5}t +{1\over 5}s+2$. Therefore we prove that our bound is tight.
Greek letters in random staircase tableaux
Published
• View Publication
• BIB
In this paper we study a relatively new combinatorial object called staircase tableaux. Staircase tableaux were introduced by Corteel and Williams in the connection with Asymmetric Exclusion Process and has since found interesting connections with Askey - Wilson polynomials. We develop a probabilistic approach that allows us to analyze several parameters of a randomly chosen staircase tableaux of a given size. In particular, we obtain limiting distributions for statistics associated with appearances of Greek letters in staircase. tableaux.
Integral Representation and Computation a Multiple Sum in the Theory of Cubature Formulas
In this article we furnish a new simple proof of a hard identity from the theory of cubature formulas via the method of coefficients.
A Pseudoline Counterexample to the Strong Dirac Conjecture
Published
• View Publication
• BIB
We demonstrate an infinite family of pseudoline arrangements, in which an arrangement of n pseudolines has no member incident to more than 4n/9 points of intersection. This shows the "Strong Dirac" conjecture to be false for pseudolines.
We also raise a number of open problems relating to possible differences between the structure of incidences between points and lines versus the structure of incidences between points and pseudolines.
Determinants of weighted path matrices
We find rational expressions for all minors of the weighted path matrix of a directed graph, generalizing the classical Lindstrom/Gessel-Viennot result for acyclic directed graphs. The formulas are given in terms of certain flows in the graph.
Communication-Optimal Parallel Algorithm for Strassen's Matrix Multiplication
Published
• View Publication
• BIB
Parallel matrix multiplication is one of the most studied fundamental problems in distributed and high performance computing. We obtain a new parallel algorithm that is based on Strassen's fast matrix multiplication and minimizes communication. The algorithm outperforms all known parallel matrix multiplication algorithms, classical and Strassen-based, both asymptotically and in practice.
A critical bottleneck in parallelizing Strassen's algorithm is the communication between the processors. Ballard, Demmel, Holtz, and Schwartz (SPAA'11) prove lower bounds on these communication costs, using expansion properties of the underlying computation graph. Our algorithm matches these lower bounds, and so is communication-optimal. It exhibits perfect strong scaling within the maximum possible range.
Benchmarking our implementation on a Cray XT4, we obtain speedups over classical and Strassen-based algorithms ranging from 24% to 184% for a fixed matrix dimension n=94080, where the number of nodes ranges from 49 to 7203.
Our parallelization approach generalizes to other fast matrix multiplication algorithms.
Strong Scaling of Matrix Multiplication Algorithms and Memory-Independent Communication Lower Bounds
A parallel algorithm has perfect strong scaling if its running time on P processors is linear in 1/P, including all communication costs. Distributed-memory parallel algorithms for matrix multiplication with perfect strong scaling have only recently been found. One is based on classical matrix multiplication (Solomonik and Demmel, 2011), and one is based on Strassen's fast matrix multiplication (Ballard, Demmel, Holtz, Lipshitz, and Schwartz, 2012). Both algorithms scale perfectly, but only up to some number of processors where the inter-processor communication no longer scales.
We obtain a memory-independent communication cost lower bound on classical and Strassen-based distributed-memory matrix multiplication algorithms. These bounds imply that no classical or Strassen-based parallel matrix multiplication algorithm can strongly scale perfectly beyond the ranges already attained by the two parallel algorithms mentioned above. The memory-independent bounds and the strong scaling bounds generalize to other algorithms.