Showing 20 papers (Total: 82736 papers, 47815 authors in database)
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.
On the Hamilton-Waterloo Problem with odd orders
Published
• View Publication
• BIB
Given non-negative integers $v, m, n, α, β$, the Hamilton-Waterloo problem asks for a factorization of the complete graph $K_v$ into $α$ $C_m$-factors and $β$ $C_n$-factors. Clearly, $v$ odd, $n,m\geq 3$, $m\mid v$, $n\mid v$ and $α+β= (v-1)/2$ are necessary conditions. To date results have only been found for specific values of $m$ and $n$. In this paper we show that for any $m$ and $n$ the necessary conditions are sufficient when $v$ is a multiple of $mn$ and $v>mn$, except possibly when $β=1$ or 3, with five additional possible exceptions in $(m,n,β)$. For the case where $v=mn$ we show sufficiency when $β> (n+5)/2$ except possibly when $(m,α) = (3,2)$, $(3,4)$, with seven further possible exceptions in $(m,n,α,β)$. We also show that when $n\geq m\geq 3$ are odd integers, the lexicographic product of $C_m$ with the empty graph of order $n$ has a factorization into $α$ $C_m$-factors and $β$ $C_n$-factors for every $0\leq α\leq n$, $β= n-α$, except possibly when $α= 2,4$, $β= 1, 3$, with three additional possible exceptions in $(m,n,α)$.
On the existence of unparalleled even cycle systems
Published
• View Publication
• BIB
A $2t$-cycle system of order $v$ is a set $\mathcal{C}$ of cycles whose edges partition the edge-set of $K_v-I$ (i.e., the complete graph minus the $1$-factor $I$). If $v\equiv 0 \pmod{2t}$, a set of $v/2t$ vertex-disjoint cycles of $\mathcal{C}$ is a parallel class. If $\mathcal{C}$ has no parallel classes, we call such a system unparalleled.
We show that there exists an unparalleled $2t$-cycle system of order $v \equiv 0 \pmod{2t}$ if and only if $v>2t>2$.
Some advances on Sidorenko's conjecture
Published
• View Publication
• BIB
A bipartite graph $H$ is said to have Sidorenko's property if the probability that the uniform random mapping from $V(H)$ to the vertex set of any graph $G$ is a homomorphism is at least the product over all edges in $H$ of the probability that the edge is mapped to an edge of $G$. In this paper, we provide three distinct families of bipartite graphs that have Sidorenko's property. First, using branching random walks, we develop an embedding algorithm which allows us to prove that bipartite graphs admitting a certain type of tree decomposition have Sidorenko's property. Second, we use the concept of locally dense graphs to prove that subdivisions of certain graphs, including cliques, have Sidorenko's property. Third, we prove that if $H$ has Sidorenko's property, then the Cartesian product of $H$ with an even cycle also has Sidorenko's property.
A Bramble like Witness for Large Branch-Width
Using the new framework of graph separations developed recently by Diestel and Oum, we show that there is a natural witness to large branch-width which can be defined in a similar way to a bramble. We also apply our methods to a more recent object of study in the area, a common generalization of tangles and blocks, called profiles.
Disjoint cycles of different lengths in graphs and digraphs
Published
• View Publication
• BIB
Understanding how the cycles of a graph or digraph behave in general has always been an important point of graph theory. In this paper, we study the question of finding a set of $k$ vertex-disjoint cycles (resp. directed cycles) of distinct lengths in a given graph (resp. digraph). In the context of undirected graphs, we prove that, for every $k \geq 1$, every graph with minimum degree at least $\frac{k^2+5k-2}{2}$ has $k$ vertex-disjoint cycles of different lengths, where the degree bound is best possible. We also consider stronger situations, and exhibit degree bounds (some of which are best possible) when e.g. the graph is triangle-free, or the $k$ cycles are requested to have different lengths congruent to some values modulo some $r$. In the context of directed graphs, we consider a conjecture of Lichiardopol concerning the least minimum out-degree required for a digraph to have $k$ vertex-disjoint directed cycles of different lengths. We verify this conjecture for tournaments, and, by using the probabilistic method, for regular digraphs and digraphs of small order.
On the Greatest Common Divisor of Binomial Coefficients ${n \choose q}, {n \choose 2q}, {n \choose 3q}, \dots$
Published in Amer. Math. Monthly, Vol. 124, No. 4 (April 2017), pp. 353-356
• View Publication
• BIB
Every binomial coefficient aficionado knows that the greatest common divisor of the binomial coefficients $\binom n1,\binom n2,\dots,\binom n{n-1}$ equals $p$ if $n=p^i$ for some $i>0$ and equals 1 otherwise. It is less well known that the greatest common divisor of the binomial coefficients $\binom{2n}2,\binom{2n}4,\dots,\binom{2n}{2n-2}$ equals (a certain power of 2 times) the product of all odd primes $p$ such that $2n=p^i+p^j$ for some $0\le i\le j$. This note gives a concise proof of a tidy generalization of these facts.
Decomposition of Quaternary Signed-Graphic Matroids
Published
• View Publication
• BIB
In this work we provide a decomposition theorem for the class of quaternary and non-binary signed-graphic matroids. This generalizes previous results for binary signed-graphic matroids and graphic matroids, and it provides the theoretical basis for a recognition algorithm.
Improved Lower Bounds on the Classical Ramsey Numbers R(4,22) and R(4,25)
Circulant graphs have been used to effectively establish lower bounds on many classical Ramsey numbers. Here, we construct circulant graphs of prime order that sharpen the best published lower bounds on two Ramsey numbers. Generalizing previous work in which quadratic and cubic residues were used to construct circulant graphs for the same purpose, we report on the use of quartic and higher-order residues.
The Saturation Time of Graph Bootstrap Percolation
The process of $H$-bootstrap percolation for a graph $H$ is a cellular automaton, where, given a subset of the edges of $K_n$ as initial set, an edge is added at time $t$ if it is the only missing edge in a copy of $H$ in the graph obtained through this process at time $t-1$. We discuss an extremal question about the time of $K_r$-bootstrap percolation, namely determining maximal times for an $n$-vertex graph before the process stops. We determine exact values for $r=4$ and find a lower bound for the asymptotics for $r \geq 5$ by giving an explicit construction.
There is exactly one Z2Z4-cyclic 1-perfect code
Published
• View Publication
• BIB
Let ${\cal C}$ be a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code of length $n > 3$. We prove that if the binary Gray image of ${\cal C}$, $C=Φ({\cal C})$, is a 1-perfect nonlinear code, then ${\cal C}$ cannot be a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-cyclic code except for one case of length $n=15$. Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive 1-perfect code gives an extended 1-perfect code. We also prove that any such code cannot be ${\mathbb{Z}}_2{\mathbb{Z}}_4$-cyclic.
A preparation theorem for the kashiwara $b(\infty)$ crystal
Published
• View Publication
• BIB
The Kashiwara $B(\infty)$ crystal pertains to a Verma module for a Kac- Moody Lie algebra. Ostensibly it provides only a parametrisation of the global/canonical basis for the latter. Yet it is much more having a rich combinatorial structure from which one may read of a parametrisation of the corresponding basis for any integrable highest weight module, describe the decomposition of the tensor products of highest weight modules, the Demazure submodules of integrable highest weight modules and Demazure flags for translates of Demazure modules. $B(\infty)$ has in general infinitely many presentations as subsets of countably many copies of the natural numbers each given by successive reduced decompositions of Weyl group elements. In each presentation there is an action of Kashiwara operators determined by Kashiwara functions. These functions are linear in the entries. Thus a natural question is to show that in each presentation the subset $B(\infty)$ is polyhedral. Here a new approach to this question is initiated based on constructing dual Kashiwara functions and in this it is enough to show that the latter are also linear in the entries.
The present work resolves one of the two very difficult obstacles in a step-wise construction, namely that the resulting functions must satisfy a sum, or simply S, condition. It depends very subtly on inequalities between the coefficients occurring in functions obtained from the previous step. The only remaining obstacle, that sufficiently many functions are obtained, can at least be verified in many families of cases, though this is to be postponed to a subsequent paper.
This theory has some intriguing numerology which involves the Catalan numbers in two different ways.
On the number of SQSs, latin hypercubes and MDS codes
Published in Journal of Combinatorial Designs. 2018. V. 26 (5)
• View Publication
• BIB
It is established that the logarithm of the number of latin $d$-cubes of order $n$ is $Θ(n^{d}\ln n)$ and the logarithm of the number of pairs of orthogonal latin squares of order $n$ is $Θ(n^2\ln n)$. Similar estimations are obtained for systems of mutually strong orthogonal latin $d$-cubes. As a consequence, it is constructed a set of Steiner quadruple systems of order $n$ such that the logarithm of its cardinality is $Θ(n^3\ln n)$ as $n\rightarrow\infty$ and $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$.
An improved upper bound for the Erdős-Szekeres conjecture
Published
• View Publication
• BIB
Let $ES(n)$ denote the minimum natural number such that every set of $ES(n)$ points in general position in the plane contains $n$ points in convex position. In 1935, Erdős and Szekeres proved that $ES(n) \le {2n-4 \choose n-2}+1$. In 1961, they obtained the lower bound $2^{n-2}+1 \le ES(n)$, which they conjectured to be optimal. In this paper, we prove that $$ES(n) \le {2n-5 \choose n-2}-{2n-8 \choose n-3}+2 \approx \frac{7}{16} {2n-4 \choose n-2}.$$