Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Divisible Designs, Laguerre Geometry, and Beyond
Published in J. Math. Sci. (N. Y.) 186 (2012), 882-926
• View Publication
• BIB
In these notes we aim at bringing together design theory and projective geometry over a ring. Both disciplines are well established, but the results on the interaction between them seem to be rare and scattered over the literature. Thus our main goal is to present the basics from either side, to develop, or at least sketch, the principal connections between them, and to make recommendations for further reading. There is no attempt to provide encyclopedic coverage with expansive notes and references.
Graver basis for an undirected graph and its application to testing the beta model of random graphs
Published in Annals of the Institute of Statistical Mathematics 65 (2013) 191-212
• View Publication
• BIB
In this paper we give an explicit and algorithmic description of Graver basis for the toric ideal associated with a simple undirected graph and apply the basis for testing the beta model of random graphs by Markov chain Monte Carlo method.
On Vertex Identifying Codes For Infinite Lattices
Published in PhD Thesis, Iowa State University, 2011
• View Publication
• BIB
PhD Thesis--A compilation of the papers: "Lower Bounds for Identifying Codes in Some Infinite Grids", "Improved Bounds for r-identifying Codes of the Hex Grid", and "Vertex Identifying Codes for the n-dimensional Lattics" along with some other results
Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids
Published
• View Publication
• BIB
A prismatoid is a polytope with all its vertices contained in two parallel facets, called its bases. Its width is the number of steps needed to go from one base to the other in the dual graph. The author recently showed in arXiv:1006.2814 that the existence of counter-examples to the Hirsch conjecture is equivalent to that of $d$-prismatoids of width larger than $d$, and constructed such prismatoids in dimension five. Here we show that the same is impossible in dimension four. This is proved by looking at the pair of graph embeddings on a 2-sphere that arise from the normal fans of the two bases of $Q$.
Computational Approaches to Consecutive Pattern Avoidance in Permutations
In recent years, there has been increasing interest in consecutive pattern avoidance in permutations. In this paper, we introduce two approaches to counting permutations that avoid a set of prescribed patterns consecutively. These algoritms have been implemented in the accompanying Maple package CAV, which can be downloaded from the author's website. As a byproduct of the first algorithm, we have a theorem giving a sufficient condition for when two pattern sets are strongly (consecutively) Wilf-Equivalent. For the implementation of the second algorithm, we define the cluster tail generating function and show that it always satisfies a certain functional equation. We also explain how the CAV package can be used to approximate asymptotic constants for single pattern avoidance.
The total path length of split trees
Published in Annals of Applied Probability 2012, Vol. 22, No. 5, 1745-1777
• View Publication
• BIB
We consider the model of random trees introduced by Devroye [SIAM J. Comput. 28 (1999) 409-432]. The model encompasses many important randomized algorithms and data structures. The pieces of data (items) are stored in a randomized fashion in the nodes of a tree. The total path length (sum of depths of the items) is a natural measure of the efficiency of the algorithm/data structure. Using renewal theory, we prove convergence in distribution of the total path length toward a distribution characterized uniquely by a fixed point equation. Our result covers, using a unified approach, many data structures such as binary search trees, m-ary search trees, quad trees, median-of-(2k+1) trees, and simplex trees.
Analogs of the van der Waerden and Tverberg conjectures for haffnians
We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal.
The Kirchhoff's Matrix-Tree Theorem revisited: counting spanning trees with the quantum relative entropy
Published
• View Publication
• BIB
By revisiting the Kirchhoff's Matrix-Tree Theorem, we give an exact formula for the number of spanning trees of a graph in terms of the quantum relative entropy between the maximally mixed state and another state specifically obtained from the graph. We use properties of the quantum relative entropy to prove tight bounds for the number of spanning trees in terms of basic parameters like degrees and number of vertices.
Spectra of Symmetrized Shuffling Operators
(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic.
We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement.
We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1.
We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W.
We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum.
For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.
Semi-algebraic partition and basis of Borel-Moore homology of hyperplane arrangements
Published
• View Publication
• BIB
We describe an explicit semi-algebraic partition for the complement of a real hyperplane arrangement such that each piece is contractible and so that the pieces form a basis of Borel-Moore homology. We also give an explicit correspondence between the de Rham cohomology and the Borel-Moore homology.
On the problem of Molluzzo for the modulus 4
Published
• View Publication
• BIB
We solve the currently smallest open case in the 1976 problem of Molluzzo on $\mathbb{Z}/m\mathbb{Z}$, namely the case $m=4$. This amounts to constructing, for all positive integer $n$ congruent to $0$ or $7 \bmod{8}$, a sequence of integers modulo $4$ of length $n$ generating, by Pascal's rule, a Steinhaus triangle containing $0,1,2,3$ with equal multiplicities.
The planar cubic Cayley graphs of connectivity 2
Published
• View Publication
• BIB
We classify the planar cubic Cayley graphs of connectivity 2, providing an explicit presentation and embedding for each of them. Combined with [9] this yields a complete description of all planar cubic Cayley graphs.
The planar cubic Cayley graphs
Published
• View Publication
• BIB
We obtain a complete description of the planar cubic Cayley graphs, providing an explicit presentation and embedding for each of them. This turns out to be a rich class, comprising several infinite families. We obtain counterexamples to conjectures of Mohar, Bonnington and Watkins. Our analysis makes the involved graphs accessible to computation, corroborating a conjecture of Droms.
Well-Quasi-Ordering of Matrices under Schur Complement and Applications to Directed Graphs
Published in European Journal of Combinatorics 33(8):1820--1841(2012)
• View Publication
• BIB
In [Rank-Width and Well-Quasi-Ordering of Skew-Symmetric or Symmetric Matrices, arXiv:1007.3807v1] Oum proved that, for a fixed finite field $\mathbf{F}$, any infinite sequence $M_1,M_2,...$ of (skew) symmetric matrices over $\mathbf{F}$ of bounded $\mathbf{F}$-rank-width has a pair $i< j$, such that $M_i$ is isomorphic to a principal submatrix of a principal pivot transform of $M_j$. We generalise this result to $σ$-symmetric matrices introduced by Rao and myself in [The Rank-Width of Edge-Coloured Graphs, arXiv:0709.1433v4]. (Skew) symmetric matrices are special cases of $σ$-symmetric matrices. As a by-product, we obtain that for every infinite sequence $G_1,G_2,...$ of directed graphs of bounded rank-width there exist a pair $i<j$ such that $G_i$ is a pivot-minor of $G_j$. Another consequence is that non-singular principal submatrices of a $σ$-symmetric matrix form a delta-matroid. We extend in this way the notion of representability of delta-matroids by Bouchet.
The Turán number of $F_{3,3}$
Published
• View Publication
• BIB
Let $F_{3,3}$ be the 3-graph on 6 vertices, labelled abcxyz, and 10 edges, one of which is abc, and the other 9 of which are all triples that contain 1 vertex from abc and 2 vertices from xyz. We show that for all $n \ge 6$, the maximum number of edges in an $F_{3,3}$-free 3-graph on $n$ vertices is $\binom{n}{3} - \binom{\lfloor n/2 \rfloor}{3} - \binom{\lceil n/2 \rceil}{3}$. This sharpens results of Zhou and of the second author and Rödl.
Modeling the pairwise key distribution scheme in the presence of unreliable links
Published in IEEE Transactions on Information Theory, Volume: 59, Issue: 3, Pages: 1740-1760, March 2013
• View Publication
• BIB
We investigate the secure connectivity of wireless sensor networks under the pairwise key distribution scheme of Chan et al.. Unlike recent work which was carried out under the assumption of full visibility, here we assume a (simplified) communication model where unreliable wireless links are represented as on/off channels. We present conditions on how to scale the model parameters so that the network i) has no secure node which is isolated and ii) is securely connected, both with high probability when the number of sensor nodes becomes large. The results are given in the form of zero-one laws, and exhibit significant differences with corresponding results in the full visibility case. Through simulations these zero-one laws are shown to be valid also under a more realistic communication model, i.e., the disk model.
Triangle-intersecting families on eight vertices
Simonovits and Sós conjectured that the maximal size of a triangle-intersecting family of graphs on $n$ vertices is $2^{\binom{n}{2}-3}$. Their conjecture has recently been proved using spectral methods. We provide an elementary proof of the special case of $8$ vertices using a partition argument.
From indexed grammars to generating functions
Published in RAIRO - Theor. Inf. and Applic. 47(4): 325-350 (2013)
• View Publication
• BIB
We extend the Chomsky/Schützenberger method of computing the growth series of an unambiguous context-free language to the larger class of indexed languages. We illustrate the technique with numerous examples.
Local matching indicators for transport problems with concave costs
Published in SIAM J. Discrete Math. vol. 26 (2012) 801-827
• View Publication
• BIB
In this paper, we introduce a class of indicators that enable to compute efficiently optimal transport plans associated to arbitrary distributions of N demands and M supplies in R in the case where the cost function is concave. The computational cost of these indicators is small and independent of N. A hierarchical use of them enables to obtain an efficient algorithm.
Inequalities for full rank differences of 2-marked Durfee symbols
Published
• View Publication
• BIB
In this paper, we obtain infinitely many non-trivial identities and inequalities between full rank differences for 2-marked Durfee symbols, a generalization of partitions introduced by Andrews. A certain strict inequality, which almost always holds, shows that identities for Dyson's rank, similar to those proven by Atkin and Swinnerton-Dyer, are quite rare. By showing an analogous strict inequality, we show that such non-trivial identities are also rare for the full rank, but on the other hand we obtain an infinite family of non-trivial identities, contrasting the partition theoretic case.