Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Semidefinite programming bounds for Lee codes
Published in Discrete Mathematics, 342 (2019), 2579-2589
• View Publication
• BIB
For $q,n,d \in \mathbb{N}$, let $A_q^L(n,d)$ denote the maximum cardinality of a code $C \subseteq \mathbb{Z}_q^n$ with minimum Lee distance at least $d$, where $\mathbb{Z}_q$ denotes the cyclic group of order $q$. We consider a semidefinite programming bound based on triples of codewords, which bound can be computed efficiently using symmetry reductions, resulting in several new upper bounds on $A_q^L(n,d)$. The technique also yields an upper bound on the independent set number of the $n$-th strong product power of the circular graph $C_{d,q}$, which number is related to the Shannon capacity of $C_{d,q}$. Here $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$, in which two vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The new bound does not seem to improve significantly over the bound obtained from Lovász theta-function, except for very small $n$.
Maker-Breaker Percolation Games I: Crossing Grids
Published
• View Publication
• BIB
Motivated by problems in percolation theory, we study the following 2-player positional game. Let $Λ_{m \times n}$ be a rectangular grid-graph with $m$ vertices in each row and $n$ vertices in each column. Two players, Maker and Breaker, play in alternating turns. On each of her turns, Maker claims $p$ (as-yet unclaimed) edges of the board $Λ_{m \times n}$, while on each of his turns Breaker claims $q$ (as-yet unclaimed) edges of the board and destroys them. Maker wins the game if she manages to claim all the edges of a crossing path joining the left-hand side of the board to its right-hand side, otherwise Breaker wins. We call this game the $(p,q)$-crossing game on $Λ_{m \times n}$.
Given $m,n\in \mathbb{N}$, for which pairs $(p,q)$ does Maker have a winning strategy for the $(p,q)$-crossing game on $Λ_{m \times n}$? The $(1,1)$-case corresponds exactly to the popular game of Bridg-it, which is well understood due to it being a special case of the older Shannon switching game. In this paper, we study the general $(p,q)$-case. Our main result is to establish the following transition:
$\bullet$ If $p\geqslant 2q$, then Maker wins the game on arbitrarily long versions of the narrowest board possible, i.e. Maker has a winning strategy for the $(2q, q)$-crossing game on $Λ_{m \times(q+1)}$ for any $m\in \mathbb{N}$;
$\bullet$ if $p\leqslant 2q-1$, then for every width $n$ of the board, Breaker has a winning strategy for the $(p,q)$-crossing game on $Λ_{m \times n}$ for all sufficiently large board-lengths $m$.
Our winning strategies in both cases adapt more generally to other grids and crossing games. In addition we pose many new questions and problems.
Large Genus Asymptotics for Siegel-Veech Constants
Published in Geom. Funct. Anal. 29, 1295-1324, 2019
• View Publication
• BIB
In this paper we consider the large genus asymptotics for two classes of Siegel-Veech constants associated with an arbitrary connected stratum $\mathcal{H} (α)$ of Abelian differentials. The first is the saddle connection Siegel-Veech constant $c_{\text{sc}}^{m_i, m_j} \big( \mathcal{H} (α) \big)$ counting saddle connections between two distinct, fixed zeros of prescribed orders $m_i$ and $m_j$, and the second is the area Siegel-Veech constant $c_{\text{area}} \big( \mathcal{H}(α) \big)$ counting maximal cylinders weighted by area. By combining a combinatorial analysis of explicit formulas of Eskin-Masur-Zorich that express these constants in terms of Masur-Veech strata volumes, with a recent result for the large genus asymptotics of these volumes, we show that $c_{\text{sc}}^{m_i, m_j} \big( \mathcal{H} (α) \big) = (m_i + 1) (m_j + 1) \big( 1 + o(1) \big)$ and $c_{\text{area}} \big( \mathcal{H}(α) \big) = \frac{1}{2} + o(1)$, both as $|α| = 2g - 2$ tends to $\infty$. The former result confirms a prediction of Zorich and the latter confirms one of Eskin-Zorich in the case of connected strata.
Sidon sets and $C_4$-saturated graphs
The problem of determining the Turán number of $C_4$ is a well studied problem that dates back to a paper of Erdös from 1938. It is known that Sidon sets can be used to construct $C_4$-free graphs. If $\A$ is a Sidon set in the abelian group $X$, the sum graph $G_{X, \A}$ with vertex set $X$ and edges set $E=\{\{x, y\}:x\neq y, x+y\in \A\}$ is $C_4$-free. Using the sum graph of a Sidon set of type Singer we verify a conjecture of Erdös and Simonovits concerning the number of copies of $C_4$ in a graph with $ex(q^2+q+1, C_4)+1$ edges. Further, we give a sufficient condition for the sum graph of a Sidon set to be $C_4$-saturated and describe new $C_4$-saturated graphs.
Optimal pebbling number of the square grid
A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $π_{opt}$ is the smallest number m needed to guarantee a pebble distribution of m pebbles from which any vertex is reachable. The optimal pebbling number of the square grid graph $P_n\square P_m$ was investigated in several papers. In this paper, we present a new method using some recent ideas to give a lower bound on $π_{opt}$. We apply this technique to prove that $π_{opt}(P_n\square P_m)\geq \frac{2}{13}nm$. Our method also gives a new proof for $π_{opt}(P_n)=π_{opt}(C_n)=\left\lceil\frac{2n}{3}\right\rceil$.
A graph with the partial order competition dimension greater than five
Published
• View Publication
• BIB
In this paper, we use the Erdös-Szekeres lemma to show that there exists a graph with partial order competition dimension greater than five.
The niche graphs of bipartite tournaments
Published
• View Publication
• BIB
In this paper, we completely characterize the niche graphs of bipartite tournaments and find their interesting properties.
A new minimal chordal completion
In this paper, we present a minimal chordal completion $G^*$ of a graph $G$ satisfying the inequality $ω(G^*) - ω(G) \le i(G)$ for the non-chordality index $i(G)$ of $G$. In terms of our chordal completions, we partially settle the Hadwiger conjecture and the Erdős-Faber-Lovász Conjecture, and extend the known $χ$-bounded class by adding to it the family of graphs with bounded non-chordality indices.
Maximizing Cliques in Shellable Clique Complexes
In extremal graph theory, the problem of finding the elements of a given class of graphs which contain the most cliques traces its routes back to Turán's famous theorem. We consider the implications of the connectivity property of simplicial complexes known as shellability on clique complexes associated with graphs. In this paper, we find the graphs which maximize cliques among all graphs on $n$ vertices with $Δ(G)\leq r$ that have shellable clique complexes.
Left-Right Pairs and Complex Forests of Infinite Rooted Binary Trees
Published
• View Publication
• BIB
Let $\mathcal{D}_0:= \{x + iy \ \vert x, y >0\}$, and let $(L, R)$ be a pair of Möbius transformations corresponding to $\mathrm{SL}_2(\mathbb{N}_0)$ matrices such that $R(\mathcal{D}_0)$ and $L(\mathcal{D}_0)$ are disjoint. Given such a pair (called a left-right pair), we can construct a directed graph $\mathcal{F}(L, R)$ with vertices $\mathcal{D}_0$ and edges $\{(z, R(z))\}_{z \in \mathcal{D}_0} \cup \{(z, L(z))\}_{z \in \mathcal{D}_0}$, which is a collection of infinite binary trees. We answer two questions of Nathanson by classifying all the pairs of elements of $\mathrm{SL}_2(\mathbb{N}_0)$ whose corresponding Möbius transformations form left-right pairs and showing that trees in $\mathcal{F}(L, R)$ are always rooted.
Positivity for quantum cluster algebras from unpunctured orbifolds
Published
• View Publication
• BIB
We give the quantum Laurent expansion formula for the quantum cluster algebras from unpunctured orbifolds with arbitrary coefficients and quantization. As an application, positivity for such class of quantum cluster algebras is given. For technical reasons, it will always be assumed that the weights of the orbifold points are 2.
On components of a Kerdock code and the dual of the BCH code $C_{1,3}$
In the paper we investigate the structure of $i$-components of two classes of codes: Kerdock codes and the duals of the primitive cyclic BCH code with designed distance 5 of length $n=2^m-1$, for odd $m$. We prove that for any admissible length a punctured Kerdock code consists of two $i$-components and the dual of BCH code is a $i$-component for any $i$. We give an alternative proof for the fact presented by De Caen and van Dam in 1999 that the restriction of the Hamming scheme to a doubly shortened Kerdock code is an association scheme.
Alternating Hamiltonian cycles in $2$-edge-colored multigraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (June 13, 2019) dmtcs:4882
• View Publication
• BIB
A path (cycle) in a $2$-edge-colored multigraph is alternating if no two consecutive edges have the same color. The problem of determining the existence of alternating Hamiltonian paths and cycles in $2$-edge-colored multigraphs is an $\mathcal{NP}$-complete problem and it has been studied by several authors. In Bang-Jensen and Gutin's book "Digraphs: Theory, Algorithms and Applications", it is devoted one chapter to survey the last results on this topic. Most results on the existence of alternating Hamiltonian paths and cycles concern on complete and bipartite complete multigraphs and a few ones on multigraphs with high monochromatic degrees or regular monochromatic subgraphs. In this work, we use a different approach imposing local conditions on the multigraphs and it is worthwhile to notice that the class of multigraphs we deal with is much larger than, and includes, complete multigraphs, and we provide a full characterization of this class.
Given a $2$-edge-colored multigraph $G$, we say that $G$ is $2$-$\mathcal{M}$-closed (resp. $2$-$\mathcal{NM}$-closed)} if for every monochromatic (resp. non-monochromatic) $2$-path $P=(x_1, x_2, x_3)$, there exists an edge between $x_1$ and $x_3$. In this work we provide the following characterization: A $2$-$\mathcal{M}$-closed multigraph has an alternating Hamiltonian cycle if and only if it is color-connected and it has an alternating cycle factor.
Furthermore, we construct an infinite family of $2$-$\mathcal{NM}$-closed graphs, color-connected, with an alternating cycle factor, and with no alternating Hamiltonian cycle.
Classifying k-Edge Colouring for H-free Graphs
Published
• View Publication
• BIB
A graph is $H$-free if it does not contain an induced subgraph isomorphic to $H$. For every integer $k$ and every graph $H$, we determine the computational complexity of $k$-Edge Colouring for $H$-free graphs.
Maker-Breaker domination number
Published
• View Publication
• BIB
The Maker-Breaker domination game is played on a graph $G$ by Dominator and Staller. The players alternatively select a vertex of $G$ that was not yet chosen in the course of the game. Dominator wins if at some point the vertices he has chosen form a dominating set. Staller wins if Dominator cannot form a dominating set. In this paper we introduce the Maker-Breaker domination number $γ_{\rm MB}(G)$ of $G$ as the minimum number of moves of Dominator to win the game provided that he has a winning strategy and is the first to play. If Staller plays first, then the corresponding invariant is denoted $γ_{\rm MB}'(G)$. Comparing the two invariants it turns out that they behave much differently than the related game domination numbers. The invariant $γ_{\rm MB}(G)$ is also compared with the domination number. Using the Erdős-Selfridge Criterion a large class of graphs $G$ is found for which $γ_{\rm MB}(G) > γ(G)$ holds. Residual graphs are introduced and used to bound/determine $γ_{\rm MB}(G)$ and $γ_{\rm MB}'(G)$. Using residual graphs, $γ_{\rm MB}(T)$ and $γ_{\rm MB}'(T)$ are determined for an arbitrary tree. The invariants are also obtained for cycles and bounded for union of graphs. A list of open problems and directions for further investigations is given.
The Zonotopal Algebra of the Broken Wheel Graph and its Generalization
Published
• View Publication
• BIB
The machinery of zonotopal algebra is linked with two particular polytopes: the Stanley-Pitman polytope and the regular simplex $\mathfrak{Sim}_n(t_1,...,t_n)$ with parameters $t_1,...,t_n\in \mathbb{R}_+^n$, defined by the inequalities $\sum_{i=1}^n r_i\leq \sum_{i=1}^n t_i, \mbox{ } r_i\in \mathbb{R}_+^n,$ where the $(r_i)_{i\in [n]}$ are variables. Specifically, we will discuss the central Dahmen-Micchelli space of the broken wheel graph $BW_n$ and its dual, the $\mathcal{P}$-central space. We will observe that the $\mathcal{P}$-central space of $BW_n$ is monomial, with a basis given by the $BW_n$-parking functions. We will show that the volume polynomial of the the Stanley-Pitman polytope lies in the central Dahmen-Micchelli space of $BW_n$ and is precisely the polynomial in a particular basis of the central Dahmen-Micchelli space which corresponds to the monomial $t_1t_2\cdots t_n$ in the dual monomial basis of the $\mathcal{P}$-central space. We will then define the generalized broken wheel graph $GBW_n(T)$ for a given rooted tree $T$ on $n$ vertices. For every such tree, we can construct $2^{n-1}$ directed graphs, which we will refer to as \textit{generalized broken wheel graphs}. Each generalized broken wheel graph constructed from $T$ will give us a polytope, its volume polynomial, and a \textit{reference monomial}. The $2^{n-1}$ polytopes together give a polyhedral subdivision of $\mathfrak{Sim}_n(t_1,...,t_n)$, their volume polynomials together give a basis for the subspace of homogeneous polynomials of degree $n$ of the corresponding central Dahmen-Micchelli space, and their reference monomials together give a basis for its dual.
Kräuter conjecture on permanents is true
Published
• View Publication
• BIB
In this paper we investigate the permanent of $(-1,1)$-matrices over fields of zero characteristics and our main goal is to provide a sharp upper bound for the value of the permanent of such matrices depending on matrix rank, solving Wang's problem posed in 1974 by confirming Kräuter conjecture formulated in 1985.
Uniquely restricted matchings in subcubic graphs without short cycles
A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We prove that any connected subcubic graph with $n$ vertices and girth at least $5$ contains a uniquely restricted matching of size at least $(n-1) / 3$ except for two exceptional cubic graphs of order $14$ and $20$.
The Mondrian Puzzle: A Connection to Number Theory
We obtain partial progress towards answering the question of whether the quantity defined in the Mondrian Puzzle can ever equal 0. More specifically, we obtain a nontrivial lower bound for the cardinality of the set $\{n\leq x: M(n)\neq0 \}$ where $M(n)$ is the quantity appearing in the Mondrian Puzzle and $x$ is the usual quantity that one thinks of as tending to infinity. More surprisingly, we do so by use of number theoretic techniques in juxtaposition to the innately geometric nature of the problem.
Relations in doubly laced crystal graphs via discrete Morse theory
Published
• View Publication
• BIB
We study the combinatorics of crystal graphs given by highest weight representations of types $A_{n}, B_{n}, C_{n}$, and $D_{n}$, uncovering new relations that exist among crystal operators. Much structure in these graphs has been revealed by local relations given by Stembridge and Sternberg. However, there exist relations among crystal operators that are not implied by Stembridge or Sternberg relations. Viewing crystal graphs as edge colored posets, we use poset topology to study them. Using the lexicographic discrete Morse functions of Babson and Hersh, we relate the Möbius function of a given interval in a crystal poset of simply laced or doubly laced type to the types of relations that can occur among crystal operators within this interval.
For a crystal of a highest weight representation of finite classical Cartan type, we show that whenever there exists an interval whose Möbius function is not equal to -1, 0, or 1, there must be a relation among crystal operators within this interval not implied by Stembridge or Sternberg relations. As an example of an application, this yields relations among crystal operators in type $C_{n}$ that were not previously known. Additionally, by studying the structure of Sternberg relations in the doubly laced case, we prove that crystals of highest weight representations of types $B_{2}$ and $C_{2}$ are not lattices.