Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Symmetric Hadamard matrices of order 116 and 172 exist
Published in Spec. Matrices 2015, vol. 3, p. 227-234
• View Publication
• BIB
We construct new symmetric Hadamard matrices of orders $92,116$, and $172$. While the existence of those of order $92$ was known since 1978, the orders $116$ and $172$ are new. Our construction is based on a recent new combinatorial array discovered by N. A. Balonin and J. Seberry. For order $116$ we used an adaptation of an algorithm for parallel collision search. The adaptation pertains to the modification of some aspects of the algorithm to make it suitable to solve a 3-way matching problem. We also point out that a new infinite series of symmetric Hadamard matrices arises by plugging into the GP array the matrices constructed by Xia, Xia, Seberry, and Wu in 2005.
The many faces of modern combinatorics
This is a survey of recent developments in combinatorics. The goal is to give a big picture of its many interactions with other areas of mathematics, such as: group theory, representation theory, commutative algebra, geometry (including algebraic geometry), topology, probability theory, and theoretical computer science.
Bijection: Parking-like structures and Tree-like structures
We recall the occupancy problem introduced by Konheim & Weiss in 1966 and we consider parking functions as hash maps. Each car $c_i$ prefers parking space $p_i$ (the hash map $c_i \mapsto p_i$ with $c_i$ is a key and $p_i$ an index into an array), if $p_i$ is occupied then $c_i$ the next available parking space (the hash table implementation using an open addressing strategy). This paper considers some others hash table implementations like hash tables with linked lists (with parking functions as hash maps). Using the Species Theory, we enumerate by Lagrange inversion those hash tables structures via a bijection with tree-like structures. This bijection provides a generalization of the Foata-Riordan bijection between parking functions and (forests of) rooted trees. Finally we show the number of hash tables with linked lists on a set of keys of cardinality $n$ is $n!C_n$, so the number of labeled binary trees with $n$ nodes.
Odd-Rule Cellular Automata on the Square Grid
An "odd-rule" cellular automaton (CA) is defined by specifying a neighborhood for each cell, with the rule that a cell turns ON if it is in the neighborhood of an odd number of ON cells at the previous generation, and otherwise turns OFF. We classify all the odd-rule CAs defined by neighborhoods which are subsets of a 3 X 3 grid of square cells. There are 86 different CAs modulo trivial symmetries. When we consider only the different sequences giving the number of ON cells after n generations, the number drops to 48, two of which are the Moore and von Neumann CAs. This classification is carried out by using the "meta-algorithm" described in an earlier paper to derive the generating functions for the 86 sequences, and then removing duplicates. The fastest-growing of these CAs is neither the Fredkin nor von Neumann neighborhood, but instead is one defined by "Odd-rule" 365, which turns ON almost 75% of all possible cells.
Coalescent histories for lodgepole species trees
Published
• View Publication
• BIB
Coalescent histories are combinatorial structures that describe for a given gene tree and species tree the possible lists of branches of the species tree on which the gene tree coalescences take place. Properties of the number of coalescent histories for gene trees and species trees affect a variety of probabilistic calculations in mathematical phylogenetics. Exact and asymptotic evaluations of the number of coalescent histories, however, are known only in a limited number of cases. Here we introduce a particular family of species trees, the \emph{lodgepole} species trees $(λ_n)_{n\geq 0}$, in which tree $λ_n$ has $m=2n+1$ taxa. We determine the number of coalescent histories for the lodgepole species trees, in the case that the gene tree matches the species tree, showing that this number grows with $m!!$ in the number of taxa $m$. This computation demonstrates the existence of tree families in which the growth in the number of coalescent histories is faster than exponential. Further, it provides a substantial improvement on the lower bound for the ratio of the largest number of matching coalescent histories to the smallest number of matching coalescent histories for trees with $m$ taxa, increasing a previous bound of $(\sqrtπ / 32)[(5m-12)/(4m-6)] m \sqrt{m}$ to $[ \sqrt{m-1}/(4 \sqrt{e}) ]^{m}$. We discuss the implications of our enumerative results for phylogenetic computations.
Almost all 5-regular graphs have a 3-flow
Tutte conjectured in 1972 that every 4-edge connected graph has a nowhere-zero 3-flow. This has long been known to be equivalent to the conjecture that every 5-regular 4-edge-connected graph has an edge orientation in which every out-degree is either 1 or 4. We show that the assertion of the conjecture holds asymptotically almost surely for random 5-regular graphs. It follows that the conjecture holds for almost all 4-edge connected 5-regular graphs.
Three-coloring graphs with no induced seven-vertex path II : using a triangle
In this paper, we give a polynomial time algorithm which determines if a given graph containing a triangle and no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists. In previous work, we gave a polynomial time algorithm for three-coloring triangle-free graphs with no induced seven-vertex path. Combined, our work shows that three-coloring a graph with no induced seven-vertex path can be done in polynomial time.
Degree Sequence of Random Permutation Graphs
Published in Annals of Applied Probability, Vol. 27 (1), 439-484, 2017
• View Publication
• BIB
In this paper we study the degree sequence of the permutation graph $G_{π_n}$ associated with a sequence $π_n\in S_n$ of random permutations. Joint limiting distributions of the degrees are established using results from graph and permutation limit theories. In particular, for the uniform random permutation, the joint distribution of the degrees of the vertices labelled $\lceil nr_1 \rceil, \lceil nr_2 \rceil, \ldots, \lceil nr_s \rceil$ converges (after scaling by $n$) to independent random variables $D_1, D_2, \ldots, D_s$, where $D_i\sim \text{Unif}(r_i, 1-r_i)$, for $r_i\in [0,1]$ and $i\in \{1, 2, \ldots, s\}$. Moreover, the degree of the mid-vertex (the vertex labelled $n/2$) has a central limit theorem, and the minimum degree converges to a Rayleigh distribution after appropriate scalings. Finally, the limiting degree distribution of the permutation graph associated with a Mallows random permutation is determined, and interesting phase transitions are observed. Our results extend to other exponential measures on permutations.
Some families of graphs with no nonzero real domination roots
Published
• View Publication
• BIB
Let G be a simple graph of order n. The domination polynomial is the generating polynomial for the number of dominating sets of G of each cardinality. A root of this polynomial is called a domination root of G. Obviously 0 is a domination root of every graph G. In the study of the domination roots of graphs, this naturally raises the question: which graphs have no nonzero real domination roots? In this paper we present some families of graphs whose have this property.
The Vietoris-Rips complexes of a circle
Published in Pacific Journal of Mathematics 290-1 (2017), 1-40
• View Publication
• BIB
Given a metric space X and a distance threshold r>0, the Vietoris-Rips simplicial complex has as its simplices the finite subsets of X of diameter less than r. A theorem of Jean-Claude Hausmann states that if X is a Riemannian manifold and r is sufficiently small, then the Vietoris-Rips complex is homotopy equivalent to the original manifold. Little is known about the behavior of Vietoris-Rips complexes for larger values of r, even though these complexes arise naturally in applications using persistent homology. We show that as r increases, the Vietoris-Rips complex of the circle obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. As our main tool we introduce a directed graph invariant, the winding fraction, which in some sense is dual to the circular chromatic number. Using the winding fraction we classify the homotopy types of the Vietoris-Rips complex of an arbitrary (possibly infinite) subset of the circle, and we study the expected homotopy type of the Vietoris-Rips complex of a uniformly random sample from the circle. Moreover, we show that as the distance parameter increases, the ambient Cech complex of the circle also obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible.
Rainbow matchings and algebras of sets
Published in Graphs and Combinatorics 33:473-484, 2017
• View Publication
• BIB
Grinblat (2002) asks the following question in the context of algebras of sets: What is the smallest number $\mathfrak v = \mathfrak v(n)$ such that, if $A_1, \ldots, A_n$ are $n$ equivalence relations on a common finite ground set $X$, such that for each $i$ there are at least $\mathfrak v$ elements of $X$ that belong to $A_i$-equivalence classes of size larger than $1$, then $X$ has a rainbow matching---a set of $2n$ distinct elements $a_1, b_1, \ldots, a_n, b_n$, such that $a_i$ is $A_i$-equivalent to $b_i$ for each $i$?
Grinblat has shown that $\mathfrak v(n) \le 10n/3 + O(\sqrt{n})$. He asks whether $\mathfrak v(n) = 3n-2$ for all $n\ge 4$. In this paper we improve the upper bound (for all large enough $n$) to $\mathfrak v(n) \le 16n/5 + O(1)$.
On the Stanley depth and size of monomial ideals
Published
• View Publication
• BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,...,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. For every monomial ideal $I\subset S$, We provide a recursive formula to determine a lower bound for the Stanley depth of $S/I$. We use this formula to prove the inequality ${\rm sdepth}(S/I)\geq {\rm size}(I)$ for a particular class of monomial ideals.
Convex hulls of superincreasing knapsacks and lexicographic orderings
Published in Discrete Applied Mathematics, vol. 201, pages 150--163, 2016
• View Publication
• BIB
We consider bounded integer knapsacks where the weights and variable upper bounds together form a superincreasing sequence. The elements of this superincreasing knapsack are exactly those vectors that are lexicographically smaller than the greedy solution to optimizing over this knapsack. We describe the convex hull of this $n$-dimensional set with $\mathcal{O}(n)$ facets. We also establish a distributive property by proving that the convex hull of $\le$- and $\ge$-type superincreasing knapsacks can be obtained by intersecting the convex hulls of $\le$- and $\ge$-sets taken individually. Our proofs generalize existing results for the binary case.
Cryptomorphisms for abstract rigidity matroids
Published
• View Publication
• BIB
This note contributes to the structure theory of abstract rigidity matroids in general dimension. In the spirit of classical matroid theory, we prove several cryptomorphic characterizations of abstract rigidity matroids (in terms of circuits, cocircuits, bases, hyperplanes). Moreover, the study of hyperplanes in abstract rigidity matroids leads us to state (and support with significant evidence) a conjecture about characterizing the class of abstract rigidity matroids by means of certain "prescribed substructures". We then prove a recursive version of this conjecture.
A monad measure space for logarithmic density
Published in Monatsh. Math. 181 (2016), no. 3, 577-599
• View Publication
• BIB
We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long intervals whose gaps on $A\cdot B$ are multiplicatively bounded, a multiplicative version Jin's sumset theorem. The main technical tool is the use of a quotient of a Loeb measure space with respect to a multiplicative cut.
The Hopf algebra of finite topologies and mould composition
Published
• View Publication
• BIB
We exhibit an internal coproduct on the Hopf algebra of finite topologies recently defined by the second author, C. Malvenuto and F. Patras, dual to the composition of "quasi-ormoulds", which are the natural version of J. Ecalle's moulds in this setting. All these results are displayed in the linear species formalism.
Computation of the $a$-invariant of ladder determinantal rings
Published in J. Alg. Appl. 14 (2015), Art. 1540014, 24 pages
• View Publication
• BIB
We solve the problem of effectively computing the $a$-invariant of ladder determinantal rings. In the case of a one-sided ladder, we provide a compact formula, while, for a large family of two-sided ladders, we provide an algorithmic solution.
Hypergraph Ramsey numbers: tight cycles versus cliques
Published
• View Publication
• BIB
For $s \ge 4$, the 3-uniform tight cycle $C^3_s$ has vertex set corresponding to $s$ distinct points on a circle and edge set given by the $s$ cyclic intervals of three consecutive points. For fixed $s \ge 4$ and $s \not\equiv 0$ (mod 3) we prove that there are positive constants $a$ and $b$ with $$2^{at}<r(C^3_s, K^3_t)<2^{bt^2\log t}.$$ The lower bound is obtained via a probabilistic construction. The upper bound for $s>5$ is proved by using supersaturation and the known upper bound for $r(K_4^{3}, K_t^3)$, while for $s=5$ it follows from a new upper bound for $r(K_5^{3-}, K_t^3)$ that we develop.
The LP Relaxation Orthogonal Array Polytope and its Permutation Symmetries
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, Vol. 91, November 2014, pp. 165-176
• Search Publication
Symmetry plays a fundamental role in design of experiments. In particular, symmetries of factorial designs that preserve their statistical properties are exploited to find designs with the best statistical properties. By using a result proved by Rosenberg [6], the concept of the LP relaxation orthogonal array polytope is developed and studied. A complete characterization of the permutation symmetry group of this polytope is made. Also, this characterization is verified computationally for many cases. Finally, a proof is provided.
On the reciprocal degree distance of graphs with cut vertices or edges
In this paper, the extremal graph with the maximum RRD-value among all the graphs of order n with given cut vertices or edges is characterized. In addition, an upper bounds on the reciprocal degree distance in terms of the number of cut edges is provided.