Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Coloring Graphs with Forbidden Minors
Published
• View Publication
• BIB
Hadwiger's conjecture from 1943 states that for every integer $t\ge1$, every graph either can be $t$-colored or has a subgraph that can be contracted to the complete graph on $t+1$ vertices. As pointed out by Paul Seymour in his recent survey on Hadwiger's conjecture, proving that graphs with no $K_7$ minor are $6$-colorable is the first case of Hadwiger's conjecture that is still open. It is not known yet whether graphs with no $K_7$ minor are $7$-colorable. Using a Kempe-chain argument along with the fact that an induced path on three vertices is dominating in a graph with independence number two, we first give a very short and computer-free proof of a recent result of Albar and Gonçalves and generalize it to the next step by showing that every graph with no $K_t$ minor is $(2t-6)$-colorable, where $t\in\{7,8,9\}$. We then prove that graphs with no $K_8^-$ minor are $9$-colorable and graphs with no $K_8^=$ minor are $8$-colorable. Finally we prove that if Mader's bound for the extremal function for $K_p$ minors is true, then every graph with no $K_p$ minor is $(2t-6)$-colorable for all $p\ge5$. This implies our first result. We believe that the Kempe-chain method we have developed in this paper is of independent interest.
On the Zero Defect Conjecture
Published in European Journal of Combinatorics Volume 62, May 2017, Pages 132-146
• View Publication
• BIB
Brlek et al. conjectured in 2008 that any fixed point of a primitive morphism with finite palindromic defect is either periodic or its palindromic defect is zero. Bucci and Vaslet disproved this conjecture in 2012 by a counterexample over ternary alphabet. We prove that the conjecture is valid on binary alphabet. We also describe a class of morphisms over multiliteral alphabet for which the conjecture still holds. The proof is based on properties of extension graphs.
On computing the total displacement number via weighted Motzkin paths
Published in 27th International Workshop on Combinatorial Algorithms, IWOCA'16, 423-434, 2016
• View Publication
• BIB
Counting the number of permutations of a given total displacement is equivalent to counting weighted Motzkin paths of a given area (Guay-Paquet and Petersen, 2014). The former combinatorial problem is still open. In this work, we show that this connection allows to construct efficient algorithms for counting and for sampling such permutations. These algorithms provide a tool to better understand the original combinatorial problem. A by-product of our approach is a different way of counting based on certain building sequences for Motzkin paths, which may be of independent interest.
Admissible subsets and Littelmann paths in affine Kazhdan-Lusztig theory
Published
• View Publication
• BIB
The center of an extended affine Hecke algebra is known to be isomorphic to the ring of symmetric functions associated to the underlying finite Weyl group $W\_0$. The set of Weyl characters ${\sf s}\_\la$ forms a basis of the center and Lusztig showed in [Lus15] that these characters act as translations on the Kazhdan-Lusztig basis element $C\_{w\_0}$ where $w\_0$ is the longest element of $W\_0$, that is we have $C\_{w\_0}{\sf s}\_\la =C\_{w\_0t\_\la}$. As a consequence, the coefficients that appear when decomposing~$C\_{w\_0t\_{\la}}{\sf s}\_τ$ in the Kazhdan-Lusztig basis are tensor multiplicities of the Lie algebra with Weyl group $W\_0$. The aim of this paper is to explain how admissible subsets and Littelmann paths, which are models to compute such multiplicities, naturally appear when working out this decomposition.
A (human) proof of a triple binomial sum supercongruence
In the recent article arXiv:1606.03351, Apagodu and Zeilberger discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end they propose some supercongruences as conjectures. Here we prove one of them and we leave some remarks for the others.
Computing maximal subsemigroups of a finite semigroup
Published
• View Publication
• BIB
A proper subsemigroup of a semigroup is maximal if it is not contained in any other proper subsemigroup. A maximal subsemigroup of a finite semigroup has one of a small number of forms, as described in a paper of Graham, Graham, and Rhodes. Determining which of these forms arise in a given finite semigroup is difficult, and no practical mechanism for doing so appears in the literature. We present an algorithm for computing the maximal subsemigroups of a finite semigroup given knowledge of its Green's structure, and the ability to determine maximal subgroups of certain subgroups.
For a finite semigroup $S$ represented by a generating set $X$, in many examples, if it is practical to compute the Green's structure of $S$ from $X$, then it is also practical to find the maximal subsemigroups of $S$ using the algorithm we present. The generating set $X$ for $S$ may consist, for example, of transformations, or partial permutations, of a finite set, or of matrices over a semiring. In such examples, the time taken to determine the Green's structure of $S$ is comparable to that taken to find the maximal subsemigroups.
Certain aspects of the problem of finding maximal subsemigroups reduce to other well-known computational problems, such as finding all maximal cliques in a graph and computing the maximal subgroups in a group. The algorithm presented comprises two parts. One part relates to computing the maximal subsemigroups of a special class of semigroups, known as Rees 0-matrix semigroups. The other part involves a careful analysis of certain graphs associated to the semigroup $S$, which, roughly speaking, capture the essential information about the action of $S$ on its $\mathscr{J}$-classes.
A note on the independent domination number versus the domination number in bipartite graphs
Published
• View Publication
• BIB
Let $γ(G)$ and $i(G)$ be the domination number and the independent domination number of $G$, respectively. Rad and Volkmann posted a conjecture that $i(G)/ γ(G) \leq Δ(G)/2$ for any graph $G$, where $Δ(G)$ is its maximum degree (See \cite{5}: N.J. Rad, L. Volkmann, A note on the independent domination number in graphs. Discrete Appl. Math. 161(2013) 3087--3089). In this work, we verify the conjecture for bipartite graphs. Several graph classes attaining the extremal bound and graphs containing odd cycles with the ratio larger than $Δ(G)/2$ are provided as well.
The minimum vertex degree for an almost-spanning tight cycle in a $3$-uniform hypergraph
Published
• View Publication
• BIB
We prove that any $3$-uniform hypergraph whose minimum vertex degree is at least $\left(\frac{5}{9} + o(1) \right)\binom{n}{2}$ admits an almost-spanning tight cycle, that is, a tight cycle leaving $o(n)$ vertices uncovered. The bound on the vertex degree is asymptotically best possible. Our proof uses the hypergraph regularity method, and in particular a recent version of the hypergraph regularity lemma proved by Allen, Böttcher, Cooley and Mycroft.
On ordered Ramsey numbers of bounded-degree graphs
Published
• View Publication
• BIB
An ordered graph is a pair $\mathcal{G}=(G,\prec)$ where $G$ is a graph and $\prec$ is a total ordering of its vertices. The ordered Ramsey number $\overline{R}(\mathcal{G})$ is the minimum number $N$ such that every $2$-coloring of the edges of the ordered complete graph on $N$ vertices contains a monochromatic copy of $\mathcal{G}$.
We show that for every integer $d \geq 3$, almost every $d$-regular graph $G$ satisfies $\overline{R}(\mathcal{G}) \geq \frac{n^{3/2-1/d}}{4\log{n}\log{\log{n}}}$ for every ordering $\mathcal{G}$ of $G$. In particular, there are 3-regular graphs $G$ on $n$ vertices for which the numbers $\overline{R}(\mathcal{G})$ are superlinear in $n$, regardless of the ordering $\mathcal{G}$ of $G$. This solves a problem of Conlon, Fox, Lee, and Sudakov.
On the other hand, we prove that every graph $G$ on $n$ vertices with maximum degree 2 admits an ordering $\mathcal{G}$ of $G$ such that $\overline{R}(\mathcal{G})$ is linear in $n$.
We also show that almost every ordered matching $\mathcal{M}$ with $n$ vertices and with interval chromatic number two satisfies $\overline{R}(\mathcal{M}) \geq cn^2/\log^2{n}$ for some absolute constant $c$.
A cubic nonconventional ergodic average with multiplicative or Mangoldt weights
We show that the cubic nonconventional ergodic averages of any order with a bounded multiplicative function weight converge almost surely to zero provided that the multiplicative function satisfies a strong Daboussi-Delange condition. We further obtain that the Cesàro mean of the self-correlations and some moving average of the self-correlations of such multiplicative functions converge to zero. Our proof gives, for any $N \geq 2$, $$\frac1{N}\sum_{m=1}^{N}\Big|\frac1{N}\sum_{n=1}^{N} \bnu(n) \bnu(n+m)\Big| \leq \frac{C}{\log(N)^ε},$$ and $$\frac1{N^2}\sum_{n,p=1}^{N}\Big|\frac1{N}\sum_{m=1}^{N} \bnu(m) \bnu(n+m)\bnu(m+p)\bnu(n+m+p)\Big| \leq \frac{C}{\log(N)^{\varepsilon}},$$ where $C,\varepsilon$ are some positive constants and $\bnu$ is a bounded multiplicative function satisfying a Daboussi-Delange condition with logarithmic speed. We further establish that the cubic nonconventional ergodic averages of any order with Mangoldt weight converge almost surely provided that all the systems are nilsystems.
Symmetric Sums of Squares over $k$-Subset Hypercubes
Published
• View Publication
• BIB
We consider the problem of finding sum of squares (sos) expressions to establish the non-negativity of a symmetric polynomial over a discrete hypercube whose coordinates are indexed by the $k$-element subsets of $[n]$. For simplicity, we focus on the case $k=2$, but our results extend naturally to all values of $k \geq 2$. We develop a variant of the Gatermann-Parrilo symmetry-reduction method tailored to our setting that allows for several simplifications and a connection to flag algebras.
We show that every symmetric polynomial that has a sos expression of a fixed degree also has a succinct sos expression whose size depends only on the degree and not on the number of variables. Our method bypasses much of the technical difficulties needed to apply the Gatermann-Parrilo method, and offers flexibility in obtaining succinct sos expressions that are combinatorially meaningful. As a byproduct of our results, we arrive at a natural representation-theoretic justification for the concept of flags as introduced by Razborov in his flag algebra calculus. Furthermore, this connection exposes a family of non-negative polynomials that cannot be certified with any fixed set of flags, answering a question of Razborov in the context of our finite setting.
Bidimensionality and Kernels
Published
• View Publication
• BIB
Bidimensionality Theory was introduced by [E.D. Demaine, F.V. Fomin, M.Hajiaghayi, and D.M. Thilikos. Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, J. ACM, 52 (2005), pp.866--893] as a tool to obtain sub-exponential time parameterized algorithms on H-minor-free graphs. In [E.D. Demaine and M.Hajiaghayi, Bidimensionality: new connections between FPT algorithms and PTASs, in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM, 2005, pp.590--601] this theory was extended in order to obtain polynomial time approximation schemes (PTASs) for bidimensional problems. In this work, we establish a third meta-algorithmic direction for bidimensionality theory by relating it to the existence of linear kernels for parameterized problems. In particular, we prove that every minor (respectively contraction) bidimensional problem that satisfies a separation property and is expressible in Countable Monadic Second Order Logic (CMSO), admits a linear kernel for classes of graphs that exclude a fixed graph (respectively an apex graph) H as a minor. Our results imply that a multitude of bidimensional problems g graph classes. For most of these problems no polynomial kernels on H-minor-free graphs were known prior to our work.
A counterexample to the extension space conjecture for realizable oriented matroids
Published
• View Publication
• BIB
The extension space conjecture of oriented matroid theory states that the space of all one-element, non-loop, non-coloop extensions of a realizable oriented matroid of rank $d$ has the homotopy type of a sphere of dimension $d-1$. We disprove this conjecture by showing the existence of a realizable uniform oriented matroid of high rank and corank 3 with disconnected extension space.
Some properties and applications of odd-colorable $r$-hypergraphs
Let $r\geq2$ and $r$ be even. An $r$-hypergraph $G$ on $n$ vertices is called odd-colorable if there exists a map $\varphi:[n]\rightarrow\lbrack r]$ such that for any edge $\{j_{1},j_{2},\cdots,j_{r}\}$ of $G$, we have $\varphi(j_{1})+\varphi(j_{2})+\cdot\cdot\cdot+\varphi(j_{r})\equiv r/2(\operatorname{mod}r).$ In this paper, we first determine that, if $r=2^{q}(2t+1)$ and $n\ge 2^{q}(2^{q}-1)r$, then the maximum chromatic number in the class of the odd-colorable $r$-hypergraphs on $n$ vertices is $2^q$, which answers a question raised by V. Nikiforov recently in [V. Nikiforov, Hypergraphs and hypermatrices with symmetric spectrum. Prinprint available in arXiv:1605.00709v2, 10 May, 2016]. We also study some applications of the symmetric spectral property of the odd-colorable $r$-graphs given in that same paper by V. Nikiforov. We show that the Laplacian spectrum and the signless Laplacian spectrum of an $r$-hypergraph $G$ are equal if and only if $G$ is odd-colorable, and then study some further applications of these spectral properties.
Systems of sets of lengths: Transfer Krull monoids versus weakly Krull monoids
Published
• View Publication
• BIB
Transfer Krull monoids are monoids which allow a weak transfer homomorphism to a commutative Krull monoid, and hence the system of sets of lengths of a transfer Krull monoid coincides with that of the associated commutative Krull monoid. We unveil a couple of new features of the system of sets of lengths of transfer Krull monoids over finite abelian groups G, and we provide a complete description of the system for all groups G having Davenport constant D(G) = 5 (these are the smallest groups for which no such descriptions were known so far). Under reasonable algebraic finiteness assumptions, sets of lengths of transfer Krull monoids and of weakly Krull monoids satisfy the Structure Theorem for Sets of Lengths. In spite of this common feature we demonstrate that systems of sets of lengths for a variety of classes of weakly Krull monoids are different from the system of sets of lengths of any transfer Krull monoid.
On the Group of Almost-Riordan Arrays
We study a super group of the group of Riordan arrays, where the elements of the group are given by a triple of power series. We show that certain subsets are subgroups, and we identify a normal subgroup whose cosets correspond to Riordan arrays. We give an example of an almost-Riordan array that has been studied in the context of Hankel and Hankel plus Toepliz matrices, and we show that suitably chosen almost-Riordan arrays can lead to transformations that have interesting Hankel transform properties.
FinInG: a package for Finite Incidence Geometry
FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.
New nonbinary code bounds based on divisibility arguments
Published in Designs, Codes and Cryptography, 86 (4) (2018), 861-874
• View Publication
• BIB
For $q,n,d \in \mathbb{N}$, let $A_q(n,d)$ be the maximum size of a code $C \subseteq [q]^n$ with minimum distance at least $d$. We give a divisibility argument resulting in the new upper bounds $A_5(8,6) \leq 65$, $A_4(11,8)\leq 60$ and $A_3(16,11) \leq 29$. These in turn imply the new upper bounds $A_5(9,6) \leq 325$, $A_5(10,6) \leq 1625$, $A_5(11,6) \leq 8125$ and $A_4(12,8) \leq 240$. Furthermore, we prove that for $μ,q \in \mathbb{N}$, there is a 1-1-correspondence between symmetric $(μ,q)$-nets (which are certain designs) and codes $C \subseteq [q]^{μq}$ of size $μq^2$ with minimum distance at least $μq - μ$. We derive the new upper bounds $A_4(9,6) \leq 120$ and $A_4(10,6) \leq 480$ from these `symmetric net' codes.
Edge-fault-tolerant edge-bipancyclicity of balanced hypercubes
Published in Appl. Math. Comput., 307, 180-192 (2017)
• View Publication
• BIB
The balanced hypercube, $BH_n$, is a variant of hypercube $Q_n$. R.X. Hao et al. $(2014)$ \cite{R.X.Hao} showed that there exists a fault-free Hamiltonian path between any two adjacent vertices in $BH_n$ with $(2n-2)$ faulty edges. D.Q. Cheng et al. $(2015)$ \cite{Dongqincheng2} proved that $BH_n$ is $6$-edge-bipancyclic after $(2n-3)$ faulty edges occur for all $n\ge2$. In this paper, we improve these two results by demonstrating that $BH_n$ is $6$-edge-bipancyclic even when there exist $(2n-2)$ faulty edges for all $n\ge2$. Our result is optimal with respect to the maximum number of tolerated edge faults.
Asynchronous simulation of Boolean networks by monotone Boolean networks
Published
• View Publication
• BIB
We prove that the fully asynchronous dynamics of a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ without negative loop can be simulated, in a very specific way, by a monotone Boolean network with $2n$ components. We then use this result to prove that, for every even $n$, there exists a monotone Boolean network $f:\{0,1\}^n\to\{0,1\}^n$, an initial configuration $x$ and a fixed point $y$ of $f$ such that: (i) $y$ can be reached from $x$ with a fully asynchronous updating strategy, and (ii) all such strategies contains at least $2^{\frac{n}{2}}$ updates. This contrasts with the following known property: if $f:\{0,1\}^n\to\{0,1\}^n$ is monotone, then, for every initial configuration $x$, there exists a fixed point $y$ such that $y$ can be reached from $x$ with a fully asynchronous strategy that contains at most $n$ updates.