Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Interval decomposition lattices are balanced
Published in Demonstratio Mathematica, Volume 49 (2016) Issue 3, Pages 271-281
• View Publication
• BIB
Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in a linearly ordered set. Join-irreducible partitions into intervals are characterized in the lattice of all interval decompositions of a set, in a general sense of intervals defined axiomatically. This characterization is used to show that the lattice of interval decompositions is balanced.
A new proof of Vassiliev's conjecture
Published
• View Publication
• BIB
We give a new proof of Vassiliev's planarity criterion for framed four-valent graphs (and more generally, *-graphs), which is based on Pontryagin-Kuratowski theorem.
Hypomorphic Sperner systems and nonreconstructible functions
Published in Order 32 (2015) 255-292
• View Publication
• BIB
A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of nonreconstructible functions are thus obtained. The clones of Boolean functions are completely classified in regard to reconstructibility.
Stable Sets and Graphs with no Even Holes
Published
• View Publication
• BIB
We develop decomposition/composition tools for efficiently solving maximum weight stable sets problems as well as for describing them as polynomially sized linear programs (using "compact systems"). Some of these are well-known but need some extra work to yield polynomial "decomposition schemes".
We apply the tools to graphs with no even hole and no cap. A hole is a chordless cycle of length greater than three and a cap is a hole together with an additional node that is adjacent to two adjacent nodes of the hole and that has no other neighbors on the hole.
Modular Schur numbers
Published
• View Publication
• BIB
For any positive integers l and m, a set of integers is said to be (weakly) l-sum-free modulo m if it contains no (pairwise distinct) elements $x_1,x_2,...,x_l,y$ satisfying the congruence $x_1+\...+x_l\equiv y\bmod{m}$. It is proved that, for any positive integers k and l, there exists a largest integer $n$ for which the set of the first $n$ positive integers $\{1,2,\...,n\}$ admits a partition into k (weakly) l-sum-free sets modulo m. This number is called the generalized (weak) Schur number modulo $m$, associated with k and l. In this paper, for all positive integers k and l, the exact value of these modular Schur numbers are determined for m=1, 2 and 3.
Connected covering numbers
Published
• View Publication
• BIB
A connected covering is a design system in which the corresponding {\em block graph} is connected. The minimum size of such coverings are called {\em connected coverings numbers}. In this paper, we present various formulas and bounds for several parameter settings for these numbers. We also investigate results in connection with {\em Turán systems}. Finally, a new general upper bound, improving an earlier result, is given. The latter is used to improve upper bounds on a question concerning oriented matroid due to Las Vergnas.
Triply Existentially Complete Triangle-Free Graphs
Published in Journal of Graph Theory 78, 305-317, 2015
• View Publication
• BIB
A triangle-free graph G is called k-existentially complete if for every induced k-vertex subgraph H of G, every extension of H to a (k+1)-vertex triangle-free graph can be realized by adding another vertex of G to H. Cherlin asked whether k-existentially complete triangle-free graphs exist for every k. Here we present known and new constructions of 3-existentially complete triangle-free graphs.
Intersecting 1-factors and nowhere-zero 5-flows
Published in Combinatorica 35 (2015) 633-640
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph, and $μ_2(G)$ the minimum number $k$ such that two 1-factors of $G$ intersect in $k$ edges. A cyclically $n$-edge-connected cubic graph $G$ has a nowhere-zero 5-flow if (1) $n \geq 6$ and $μ_2(G) \leq 2$ or (2) if $n \geq 5 μ_2(G)-3$
Sets of integers avoiding congruent subsets
Published
• View Publication
• BIB
Consider the sets of integers $A$ that avoid any arrangement of $g$ congruent $h$-subsets. Our findings refine and improve upon some results by Erdős and Harzheim about these sets.
Blocks in cycles and k-commuting permutations
Published in SpringerPlus, 5(1949) (2016), pp. 18
• View Publication
• BIB
Let $k$ be a nonnegative integer, and let $α$ and $β$ be two permutations of $n$ symbols. We say that $α$ and $β$ $k$-commute if $H(αβ, βα)=k$, where $H$ denotes the Hamming metric between permutations. In this paper, we consider the problem of finding the permutations that $k$-commute with a given permutation. Our main result is a characterization of permutations that $k$-commute with a given permutation $β$ in terms of blocks in cycles in the decomposition of $β$ as a product of disjoint cycles. Using this characterization, we provide formulas for the number of permutations that $k$-commute with a transposition, a fixed-point free involution and an $n$-cycle, for any $k$. Also, we determine the number of permutations that $k$-commute with any given permutation, for $k \leq 4$.
Enumeration of octagonal tilings
Published in Theoretical Computer Science (2015), pp. 40-50
• View Publication
• BIB
Random tilings are interesting as idealizations of atomistic models of quasicrystals and for their connection to problems in combinatorics and algorithms. Of particular interest is the tiling entropy density, which measures the relation of the number of distinct tilings to the number of constituent tiles. Tilings by squares and 45 degree rhombi receive special attention as presumably the simplest model that has not yet been solved exactly in the thermodynamic limit. However, an exact enumeration formula can be evaluated for tilings in finite regions with fixed boundaries. We implement this algorithm in an efficient manner, enabling the investigation of larger regions of parameter space than previously were possible. Our new results appear to yield monotone increasing and decreasing lower and upper bounds on the fixed boundary entropy density that converge toward S = 0.36021(3).
The Homomorphism Poset of $K_{3,3}$
A geometric graph \G is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call \G a geometric realization of the underlying abstract graph G. A geometric homomorphism from \G to \H is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). Geometric homomorphisms can be used to define a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. In this paper, the homomorphism poset of K_{3,3} is determined.
A partition inequality involving products of two $q$-Pochhammer symbols
Published
• View Publication
• BIB
We use an injection method to prove a new class of partition inequalities involving certain $q$-products with two to four finitization parameters. Our new theorems are a substantial generalization of work by Andrews and of previous work by Berkovich and Grizzell. We also briefly discuss how our products might relate to lecture hall partitions.
On Rystov's generalization of the Černý Conjecture
We resolve a conjecture of Rystov concerning products of matrices, that generalizes the Černý Conjecture.
K-theory of minuscule varieties
Published
• View Publication
• BIB
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.
On Permutations with Bounded Drop Size
Published
• View Publication
• BIB
The maximum drop size of a permutation $π$ of $[n]=\{1,2,\ldots, n\}$ is defined to be the maximum value of $i-π(i)$. Chung, Claesson, Dukes and Graham obtained polynomials $P_k(x)$ that can be used to determine the number of permutations of $[n]$ with $d$ descents and maximum drop size not larger than $k$. Furthermore, Chung and Graham gave combinatorial interpretations of the coefficients of $Q_k(x)=x^k P_k(x)$ and $R_{n,k}(x)=Q_k(x)(1+x+\cdots+x^k)^{n-k}$, and raised the question of finding a bijective proof of the symmetry property of $R_{n,k}(x)$. In this paper, we establish a bijection $\varphi$ on $A_{n,k}$, where $A_{n,k}$ is the set of permutations of $[n]$ and maximum drop size not larger than $k$. The map $\varphi$ remains to be a bijection between certain subsets of $A_{n,k}$. %related to the symmetry property. This provides an answer to the question of Chung and Graham. The second result of this paper is a proof of a conjecture of Hyatt concerning the unimodality of polynomials in connection with the number of signed permutations of $[n]$ with $d$ type $B$ descents and the type $B$ maximum drop size not greater than $k$.
Expanders with respect to Hadamard spaces and random graphs
Published in Duke Math. J. 164, no. 8 (2015), 1471-1548
• View Publication
• BIB
It is shown that there exists a sequence of 3-regular graphs $\{G_n\}_{n=1}^\infty$ and a Hadamard space $X$ such that $\{G_n\}_{n=1}^\infty$ forms an expander sequence with respect to $X$, yet random regular graphs are not expanders with respect to $X$. This answers a question of \cite{NS11}. $\{G_n\}_{n=1}^\infty$ are also shown to be expanders with respect to random regular graphs, yielding a deterministic sublinear time constant factor approximation algorithm for computing the average squared distance in subsets of a random graph. The proof uses the Euclidean cone over a random graph, an auxiliary continuous geometric object that allows for the implementation of martingale methods.
On Cayley digraphs that do not have hamiltonian paths
Published
• View Publication
• BIB
We construct an infinite family of connected, 2-generated Cayley digraphs Cay(G;a,b) that do not have hamiltonian paths, such that the orders of the generators a and b are arbitrarily large. We also prove that if G is any finite group with |[G,G]| < 4, then every connected Cayley digraph on G has a hamiltonian path (but the conclusion does not always hold when |[G,G]| = 4 or 5).
The Ihara zeta function of the infinite grid
Published
• View Publication
• BIB
The infinite grid is the Cayley graph of $\mathbb{Z} \times \mathbb{Z}$ with the usual generators. In this paper, the Ihara zeta function for the infinite grid is computed using elliptic integrals and theta functions. The zeta function of the grid extends to an analytic, multivalued function which satisfies a functional equation. The set of singularities in its domain is finite.
The grid zeta function is the first computed example which is non-elementary, and which takes infinitely many values at each point of its domain. It is also the limiting value of the normalized sequence of Ihara zeta functions for square grid graphs and torus graphs.
Two Reflected Gray Code based orders on some restricted growth sequences
Published
• View Publication
• BIB
We consider two order relations: that induced by the m-ary reflected Gray code and a suffix partitioned variation of it. We show that both of them when applied to some sets of restricted growth sequences still yield Gray codes. These sets of sequences are: subexcedant or ascent sequences, restricted growth functions, and staircase words. In each case we give efficient exhaustive generating algorithms and compare the obtained results.