Showing 20 papers (Total: 84125 papers, 48472 authors in database)
On partitions with fixed number of even-indexed and odd-indexed odd parts
Published
• View Publication
• BIB
This article is an extensive study of partitions with fixed number of odd and even-indexed odd parts. We use these partitions to generalize recent results of C. Savage and A. Sills. Moreover, we derive explicit formulas for generating functions for partitions with bounds on the largest part, the number of parts and with a fixed value of BG-rank or with a fixed value of alternating sum of parts. We extend the work of C. Boulet, and as a result, obtain a four-variable generalization of Gaussian binomial coefficients. In addition we provide combinatorial interpretation of the Berkovich-Warnaar identity for Rogers-Szego polynomials.
Packing densities of layered permutations and the minimum number of monotone sequences in layered permutations
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (June 23, 2016) dmtcs:1313
• View Publication
• BIB
In this paper, we present two new results of layered permutation densities. The first one generalizes theorems from Hästö (2003) and Warren (2004) to compute the permutation packing of permutations whose layer sequence is~$(1^a,\ell_1,\ell_2,\ldots,\ell_k)$ with~$2^a-a-1\geq k$ (and similar permutations). As a second result, we prove that the minimum density of monotone sequences of length~$k+1$ in an arbitrarily large layered permutation is asymptotically~$1/k^k$. This value is compatible with a conjecture from Myers (2003) for the problem without the layered restriction (the same problem where the monotone sequences have different lengths is also studied).
On the maximum running time in graph bootstrap percolation
Published in Electronic Journal of Combinatorics 24 (2017), #P2.16 (electronic, 20 pp.)
• Search Publication
Graph bootstrap percolation is a simple cellular automaton introduced by Bollobás in 1968. Given a graph $H$ and a set $G \subseteq E(K_n)$ we initially "infect" all edges in $G$ and then, in consecutive steps, we infect every $e \in K_n$ that completes a new infected copy of $H$ in $K_n$. We say that $G$ percolates if eventually every edge in $K_n$ is infected. The extremal question about the size of the smallest percolating sets when $H = K_r$ was answered independently by Alon, Kalai and Frankl. Here we consider a different question raised more recently by Bollobás: what is the maximum time the process can run before it stabilizes? It is an easy observation that for $r=3$ this maximum is $\lceil \log_2 (n-1) \rceil $. However, a new phenomenon occurs for $r=4$ when, as we show, the maximum time of the process is $n-3$. For $r \geq 5$ the behaviour of the dynamics is even more complex, which we demonstrate by showing that the $K_r$-bootstrap process can run for at least $n^{2-\varepsilon_r}$ time steps for some $\varepsilon_r$ that tends to $0$ as $r \to \infty$.
Induced minors and well-quasi-ordering
A graph $H$ is an induced minor of a graph $G$ if it can be obtained from an induced subgraph of $G$ by contracting edges. Otherwise, $G$ is said to be $H$-induced minor-free. Robin Thomas showed that $K_4$-induced minor-free graphs are well-quasi-ordered by induced minors [Graphs without $K_4$ and well-quasi-ordering, Journal of Combinatorial Theory, Series B, 38(3):240 -- 247, 1985].
We provide a dichotomy theorem for $H$-induced minor-free graphs and show that the class of $H$-induced minor-free graphs is well-quasi-ordered by the induced minor relation if and only if $H$ is an induced minor of the gem (the path on 4 vertices plus a dominating vertex) or of the graph obtained by adding a vertex of degree 2 to the complete graph on 4 vertices. To this end we proved two decomposition theorems which are of independent interest.
Similar dichotomy results were previously given for subgraphs by Guoli Ding in [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489--502, 1992] and for induced subgraphs by Peter Damaschke in [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427--435, 1990].
$L_p$ regular sparse hypergraphs
Published in Fundamenta Mathematicae 240 (2018), 265-299
• View Publication
• BIB
We study sparse hypergraphs which satisfy a mild pseudorandomness condition known as $L_p$ regularity. We prove appropriate regularity and counting lemmas, and we extend the relative removal lemma of Tao in this setting. This answers a question of Borgs, Chayes, Cohn and Zhao.
$L_p$ regular sparse hypergraphs: box norms
Published in Fundamenta Mathematicae 248 (2020), 49-77
• View Publication
• BIB
We consider some variants of the Gowers box norms, introduced by Hatami, and show their relevance in the context of sparse hypergraphs. Our main results are the following. Firstly, we prove a generalized von Neumann theorem for $L_p$ graphons. Secondly, we give natural examples of pseudorandom families, that is, sparse weighted uniform hypergraphs which satisfy relative versions of the counting and removal lemmas.
Finding Golden Nuggets by Reduction
We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of the canonical forms grows quickly. However, the value of the heap is either a number or, in reduced canonical form, a switch. We find the switches by using properties of the Fibonacci word and standard Fibonacci representations of integers. Moreover, these switches are invariant under shifts by certain Fibonacci numbers. The values that are numbers, however, are distinct, and we find a polynomial time bit characterization for them, via the ternary Fibonacci representation.
On problems of Danzer and Gowers and dynamics on the space of closed subsets of $\mathbb{R}^d$
Published
• View Publication
• BIB
Considering the space of closed subsets of $\mathbb{R}^d$, endowed with the Chabauty-Fell topology, and the affine action of $SL_d(\mathbb{R})\ltimes\mathbb{R}^d$, we prove that the only minimal subsystems are the fixed points $\{\varnothing\}$ and $\{\mathbb{R}^d\}$. As a consequence we resolve a question of Gowers concerning the existence of certain Danzer sets: there is no set $Y \subset \mathbb{R}^d$ such that for every convex set $\mathcal{C} \subset \mathbb{R}^d$ of volume one, the cardinality of $\mathcal{C} \cap Y$ is bounded above and below by nonzero contants independent of $\mathcal{C}$. We also provide a short independent proof of this fact and deduce a quantitative consequence: for every $\varepsilon$-net $N$ for convex sets in $[0,1]^d$ there is a convex set of volume $\varepsilon$ containing at least $Ω(\log\log(1/\varepsilon))$ points of $N$.
Spectral bounds for the $k$-independence number of a graph
Published
• View Publication
• BIB
In this paper, we obtain two spectral upper bounds for the $k$-independence number of a graph which is is the maximum size of a set of vertices at pairwise distance greater than $k$. We construct graphs that attain equality for our first bound and show that our second bound compares favorably to previous bounds on the $k$-independence number.
Descent c-Wilf Equivalence
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (March 2, 2017) dmtcs:1312
• View Publication
• BIB
Let $S_n$ denote the symmetric group. For any $σ\in S_n$, we let $\mathrm{des}(σ)$ denote the number of descents of $σ$, $\mathrm{inv}(σ)$ denote the number of inversions of $σ$, and $\mathrm{LRmin}(σ)$ denote the number of left-to-right minima of $σ$. For any sequence of statistics $\mathrm{stat}_1, \ldots \mathrm{stat}_k$ on permutations, we say two permutations $α$ and $β$ in $S_j$ are $(\mathrm{stat}_1, \ldots \mathrm{stat}_k)$-c-Wilf equivalent if the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $α$ equals the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $β$. We give many examples of pairs of permutations $α$ and $β$ in $S_j$ which are $\mathrm{des}$-c-Wilf equivalent, $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent, and $(\mathrm{des},\mathrm{inv},\mathrm{LRmin})$-c-Wilf equivalent. For example, we will show that if $α$ and $β$ are minimally overlapping permutations in $S_j$ which start with 1 and end with the same element and $\mathrm{des}(α) = \mathrm{des}(β)$ and $\mathrm{inv}(α) = \mathrm{inv}(β)$, then $α$ and $β$ are $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent.
On Generalized Hadamard Matrices and Difference Matrices: $Z_6$
We give some very interesting matrices which are orthogonal over groups and, as far as we know, referenced, but in fact undocumented. This note is not intended to be published but available for archival reasons.
Forbidden Subgraph Characterization of Quasi-line Graphs
Here in particular, we give a characterization of Quasi-line Graphs in terms of forbidden induced subgraphs. In general, we prove a necessary and sufficient condition for a graph to be a union of two cliques.
On Computing the Galois Lattice of Bipartite Distance Hereditary Graphs
Published
• View Publication
• BIB
The class of Bipartite Distance Hereditary (BDH) graphs is the intersection between bipartite domino-free and chordal bipartite graphs.\ Graphs in both the latter classes have linearly many maximal bicliques, implying the existence of polynomial-time algorithms for computing the associated Galois lattice.\ Such a lattice can indeed be built in $O(m\times n)$ worst case-time for a domino-free graph with $m$ edges and $n$ vertices.\ In this paper we give a sharp estimate on the number of the maximal bicliques of BDH graphs and exploit such result to give an $O(m)$ worst case time algorithm for computing the Galois lattice of BDH graphs. By relying on the fact that neighborhoods of vertices of BDH graphs can be realized as directed paths in a arborescence, we give an $O(n)$ worst-case space and time encoding of both the input graph and its Galois lattice, provided that the reverse of a Bandelt and Mulder building sequence is given.
Completely regular codes with different parameters and the same distance-regular coset graphs
A known Kronecker construction of completely regular codes has been investigated taking different alphabets in the component codes. This approach is also connected with lifting constructions of completely regular codes. We obtain several classes of completely regular codes with different parameters, but identical intersection array. Given a prime power $q$ and any two natural numbers $a,b$, we construct completely transitive codes over different fields with covering radius $ρ=\min\{a,b\}$ and identical intersection array, specifically, one code over $\F_{q^r}$ for each divisor $r$ of $a$ or $b$. As a corollary, for any prime power $q$, we show that distance regular bilinear forms graphs can be obtained as coset graphs from several completely regular codes with different parameters. Under the same conditions, an explicit construction of an infinite family of $q$-ary uniformly packed codes (in the wide sense) with covering radius $ρ$, which are not completely regular, is also given.
An example of geometric origami design with benefit of graph enumeration algorithms
This article is concerned with an example of complex planar geometry arising from flat origami challenges. The complexity of solution algorithms is illustrated, depending on the depth of the initial analysis of the problem, starting from brute force enumeration, up to the equivalence to a dedicated problem in graph theory. This leads to algorithms starting from an untractable case on modern computers, up to a run of few seconds on a portable personal computer. This emphasizes the need for a prior analysis by humans before considering the assistance of computers for complex design problems. The graph problem is an enumeration of spanning trees from a grid graph, leading to a coarse scale description of the topology of the paper edge on the flat-folded state.
A Note on Altermatic Number
In view of Tucker's lemma (an equivalent combinatorial version of the Borsuk- Ulam theorem), the present authors (2013) introduced the kth altermatic number of a graph G as a tight lower bound for the chromatic number of G. In this note, we present a purely combinatorial proof for this result.
On a conjecture of Mohar concerning Kempe equivalence of regular graphs
Published
• View Publication
• BIB
Let $G$ be a graph with a vertex colouring $α$. Let $a$ and $b$ be two colours. Then a connected component of the subgraph induced by those vertices coloured either $a$ or $b$ is known as a Kempe chain. A colouring of $G$ obtained from $α$ by swapping the colours on the vertices of a Kempe chain is said to have been obtained by a Kempe change. Two colourings of $G$ are Kempe equivalent if one can be obtained from the other by a sequence of Kempe changes.
A conjecture of Mohar (2007) asserts that, for $k \geq 3$, all $k$-colourings of a $k$-regular graph that is not complete are Kempe equivalent. It was later shown that all $3$-colourings of a cubic graph that is neither $K_4$ nor the triangular prism are Kempe equivalent. In this paper, we prove that the conjecture holds for each $k\geq 4$. We also report the implications of this result on the validity of the Wang-Swendsen-Kotecký algorithm for the antiferromagnetic Potts model at zero-temperature.
Maximal $k$-Edge-Colorable Subgraphs, Vizing's Theorem, and Tuza's Conjecture
Published in Discrete Mathematics 340 (2017) 1573--1580
• View Publication
• BIB
We prove that if $M$ is a maximal $k$-edge-colorable subgraph of a multigraph $G$ and if $F = \{v \in V(G) : d_M(v) \leq k-μ(v)\}$, then $d_F(v) \leq d_M(v)$ for all $v \in F$. (When $G$ is a simple graph, the set $F$ is just the set of vertices having degree less than $k$ in $M$.) This implies Vizing's Theorem as well as a special case of Tuza's Conjecture on packing and covering of triangles. A more detailed version of our result also implies Vizing's Adjacency Lemma for simple graphs.
Surprising Relations Between Sums-Of-Squares of Characters of the Symmetric Group Over Two-Rowed Shapes and Over Hook Shapes
In a recent article (arXiv:1507.03499) (joint with Alon Regev) we studied sums of squares of characters Chi(L,M) of the Symmetric Group over shapes L that are two-rowed, and shapes L that are hook shapes, and M is an arbitrary shape that mostly consists of ones, and designed algorithms for closed-form evaluations of each of these. We noted (and proved) that when M is the shape with n cells consisting of 3 followed by n-3 ones, the former sum equals one half time the analogous sum over hook shapes with n+2 cells and M is the partition consisting of 3,2, followed by n-3 ones.
Here we show that this is just a tip of an iceberg, and prove (alas, by purely human means) that the former sum with M consisting of all odd parts, and (possibly) a consecutive string of powers of 2, starting at 2, equals one half of the latter sum where M is replaced by a partition where all the odd parts are retained but the consecutive string of powers of 2: 2,4, ..., $2^{t-1}$ is replaced by $2^t$.
Using New Approaches to obtain Gibbs Measures of Vannimenus model on a Cayley tree
Published in Chinese Journal of Physics, Volume 54, Issue 4, August 2016, Pages 635-649
• View Publication
• BIB
In this paper, we consider Vannimenus model with competing nearest-neighbors and prolonged next-nearest-neighbors interactions on a Cayley tree. For this model we define Markov random fields with memory of length 2. By using a new approach, we obtain new sets of Gibbs measures of Ising-Vannimenus model on Cayley tree of order 2. We construct the recurrence equations corresponding Ising-Vannimenus model. We prove the Kolmogorov consistency condition. We investigate the translation-invariant and periodic non transition-invariant Gibbs measures for the model. We find new sets of Gibbs measures different from the Gibbs measures given in the references \cite{NHSS,FreeMA}. We show that some of the measures are extreme Gibbs distributions.