Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On the Möbius Function of Permutations With One Descent
Published
• View Publication
• BIB
The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the Möbius function of intervals $[1,π]$ in this poset, for any permutation $π$ with at most one descent. We compute the Möbius function as a function of the number and positions of pairs of consecutive letters in $π$ that are consecutive in value. As a result of this we show that the Möbius function is unbounded on the poset of all permutations. We show that the Möbius function is zero on any interval $[1,π]$ where $π$ has a triple of consecutive letters whose values are consecutive and monotone. We also conjecture values of the Möbius function on some other intervals of permutations with at most one descent.
Perfect powers in Catalan and Narayana numbers
When a Catalan number or a Narayana number is a (non-trivial) perfect power? For Catalan numbers, we show that the answer is "never". However, we prove that for every b, the Narayana number N(a,b) is a (non-trivial) perfect square for infinitely many values of a, and we show how to compute all of them. We also conjecture that N(a,b) is never a (non-trivial) perfect k-th power for k greater than 2 and we prove some cases of this conjecture.
The Gale-Berlekamp game for Hadamard matrices
Given an Hadamard matrix $H\in M_N(\pm1)$ we consider the function $\varphi:\mathbb Z_2^N\times\mathbb Z_2^N\to\mathbb Z$ given by $\varphi(a,b)=\sum_{ij}a_ib_jH_{ij}$, which sums the entries of the various conjugates of $H$, obtained by switching signs on rows and columns. Our claim is that $\varphi$, or just its probabilistic distribution $μ\in\mathcal P(\mathbb Z)$, that we call "glow" of the matrix, should encode important information about $H$. We present here a number of results and conjectures in this direction, notably with a general decomposition result for $μ$.
Koroljuk's formula for counting lattice paths revisited
Koroljuk gave a summation formula for counting the number of lattice paths from $(0,0)$ to $(m,n)$ with $(1,0), (0,1)$-steps in the plane that stay strictly above the line $y=k(x-d)$, where $k$ and $d$ are positive integers. In this paper we obtain an explicit formula for the number of lattice paths from $(a,b)$ to $(m,n)$ above the diagonal $y=kx-r$, where $r$ is a rational number. Our result slightly generalizes Koroljuk's formula, while the former can be essentially derived from the latter. However, our proof uses a recurrence with respect to the starting points, and hereby presents a new approach to Koroljuk's formula.
Iterated Chvatal-Gomory Cuts and the Geometry of Numbers
Published
• View Publication
• BIB
Chvatal-Gomory cutting planes (CG-cuts for short) are a fundamental tool in Integer Programming. Given any single CG-cut, one can derive an entire family of CG-cuts, by `iterating' its multiplier vector modulo one. This leads naturally to two questions: first, which iterates correspond to the strongest cuts, and, second, can we find such strong cuts efficiently? We answer the first question empirically, by showing that one specific approach for selecting the iterate tends to perform much better than several others. The approach essentially consists in solving a nonlinear optimization problem over a special lattice associated with the CG-cut. We then provide a partial answer to the second question, by presenting a polynomial-time algorithm that yields an iterate that is strong in a certain well-defined sense. The algorithm is based on results from the algorithmic geometry of numbers.
An improvement of the Beck-Fiala theorem
Published
• View Publication
• BIB
In 1981 Beck and Fiala proved an upper bound for the discrepancy of a set system of degree d that is independent of the size of the ground set. In the intervening years the bound has been decreased from 2d-2 to 2d-4. We improve the bound to 2d-log* d.
Moduli spaces of ten-line arrangements with double and triple points
Two arrangements with the same combinatorial intersection lattice but whose complements have different fundamental groups are called a Zariski pair. This work finds that there are at most nine such pairs amongst all ten line arrangements whose intersection points are doubles or triples. This result is obtained by considering the moduli space of a given configuration table which describes the intersection lattice. A complete combinatorial classification is given of all arrangements of this type under a suitable assumption, producing a list of seventy-one described in a table, most of which do not explicitly appear in the literature. This list also includes other important counterexamples: nine combinatorial arrangements that are not geometrically realizable.
Huffman coding as an algorithm to construct chains in partition lattices
Published
• View Publication
• BIB
The Huffman coding algorithm is interpreted in the lattice of partitions of the source alphabet. Maximal chains in the partition lattice correspond to linear extensions of tree orders, and those among the chains that exhibit a simple greedy property correspond precisely to executions of the Huffman algorithm.
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.